runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007051419/inesct-1.0/randf17677.cudf.difficult.log.runsolver ./inesct-1.0 /home/misc2010/data/2010/difficult//randf17677.cudf /home/misc2010/tmp/201007051419/inesct-1.0/randf17677.cudf.difficult.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.09 1.05 1.06 1/95 8362 /proc/meminfo: memFree=1228392/2097152 swapFree=2055620/2097144 [pid=8362] ppid=8361 vsize=2380 CPUtime=0 /proc/8362/stat : 8362 (inesct-1.0) S 8361 8362 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 419053900 2437120 258 1283457024 134512640 135191968 4290825376 18446744073709551615 4159089294 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8362/statm: 595 258 221 166 0 27 0 [pid=8363] ppid=8362 vsize=2892 CPUtime=0 /proc/8363/stat : 8363 (cudf-solver.py) R 8362 8362 13759 34823 13904 4194304 156 0 0 0 0 0 0 0 20 0 1 0 419053900 2961408 94 1283457024 134512640 135539072 4287115552 18446744073709551615 4160693140 0 0 0 0 0 0 0 17 0 0 0 0 /proc/8363/statm: 723 95 73 251 0 19 0 [startup+0.164304 s] /proc/loadavg: 1.09 1.05 1.06 1/95 8362 /proc/meminfo: memFree=1228392/2097152 swapFree=2055620/2097144 [pid=8362] ppid=8361 vsize=2380 CPUtime=0 /proc/8362/stat : 8362 (inesct-1.0) S 8361 8362 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 419053900 2437120 258 1283457024 134512640 135191968 4290825376 18446744073709551615 4159089294 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8362/statm: 595 258 221 166 0 27 0 [pid=8363] ppid=8362 vsize=4000 CPUtime=0 /proc/8363/stat : 8363 (cudf-solver.py) S 8362 8362 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 20 0 1 0 419053900 4096000 642 1283457024 134512640 135539072 4287115552 18446744073709551615 4159593102 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/8363/statm: 1000 642 346 251 0 301 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6380 [startup+0.221534 s] /proc/loadavg: 1.09 1.05 1.06 1/95 8362 /proc/meminfo: memFree=1228392/2097152 swapFree=2055620/2097144 [pid=8362] ppid=8361 vsize=2380 CPUtime=0 /proc/8362/stat : 8362 (inesct-1.0) S 8361 8362 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 419053900 2437120 258 1283457024 134512640 135191968 4290825376 18446744073709551615 4159089294 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8362/statm: 595 258 221 166 0 27 0 [pid=8363] ppid=8362 vsize=4000 CPUtime=0 /proc/8363/stat : 8363 (cudf-solver.py) S 8362 8362 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 20 0 1 0 419053900 4096000 642 1283457024 134512640 135539072 4287115552 18446744073709551615 4159593102 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/8363/statm: 1000 642 346 251 0 301 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6380 [startup+0.309964 s] /proc/loadavg: 1.09 1.05 1.06 1/95 8362 /proc/meminfo: memFree=1228392/2097152 swapFree=2055620/2097144 [pid=8362] ppid=8361 vsize=2380 CPUtime=0 /proc/8362/stat : 8362 (inesct-1.0) S 8361 8362 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 419053900 2437120 258 1283457024 134512640 135191968 4290825376 18446744073709551615 4159089294 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8362/statm: 595 258 221 166 0 27 0 [pid=8363] ppid=8362 vsize=4000 CPUtime=0 /proc/8363/stat : 8363 (cudf-solver.py) S 8362 8362 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 20 0 1 0 419053900 4096000 642 1283457024 134512640 135539072 4287115552 18446744073709551615 4159593102 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/8363/statm: 1000 642 346 251 0 301 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6380 [startup+0.71124 s] /proc/loadavg: 1.09 1.05 1.06 1/95 8362 /proc/meminfo: memFree=1228392/2097152 swapFree=2055620/2097144 [pid=8362] ppid=8361 vsize=2380 CPUtime=0 /proc/8362/stat : 8362 (inesct-1.0) S 8361 8362 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 419053900 2437120 258 1283457024 134512640 135191968 4290825376 18446744073709551615 4159089294 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8362/statm: 595 258 221 166 0 27 0 [pid=8363] ppid=8362 vsize=4000 CPUtime=0 /proc/8363/stat : 8363 (cudf-solver.py) S 8362 8362 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 20 0 1 0 419053900 4096000 642 1283457024 134512640 135539072 4287115552 18446744073709551615 4159593102 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/8363/statm: 1000 642 346 251 0 301 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6380 [startup+1.50435 s] /proc/loadavg: 1.09 1.05 1.06 2/109 8376 /proc/meminfo: memFree=1169700/2097152 swapFree=2055620/2097144 [pid=8362] ppid=8361 vsize=2380 CPUtime=0 /proc/8362/stat : 8362 (inesct-1.0) S 8361 8362 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 419053900 2437120 258 1283457024 134512640 135191968 4290825376 18446744073709551615 4159089294 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8362/statm: 595 258 221 166 0 27 0 [pid=8363] ppid=8362 vsize=4000 CPUtime=0 /proc/8363/stat : 8363 (cudf-solver.py) S 8362 8362 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 20 0 1 0 419053900 4096000 642 1283457024 134512640 135539072 4287115552 18446744073709551615 4159593102 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/8363/statm: 1000 642 346 251 0 301 0 [pid=8365] ppid=8363 vsize=869120 CPUtime=1.97 /proc/8365/stat : 8365 (java) S 8363 8362 13759 34823 13904 4202496 26932 0 0 0 184 13 0 0 17 0 12 0 419053908 889978880 23343 1283457024 134512640 134550932 4289778432 18446744073709551615 4159841426 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/8365/statm: 217280 23343 1744 10 0 214367 0 [pid=8365/tid=8366] ppid=8363 vsize=869120 CPUtime=0.82 /proc/8365/task/8366/stat : 8366 (java) R 8363 8362 13759 34823 13904 4202560 9305 0 0 0 80 2 0 0 25 0 12 0 419053910 889978880 23343 1283457024 134512640 134550932 4289778432 18446744073709551615 4095409640 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=8365/tid=8367] ppid=8363 vsize=869120 CPUtime=0.18 /proc/8365/task/8367/stat : 8367 (java) S 8363 8362 13759 34823 13904 4202560 6424 0 0 0 14 4 0 0 16 0 12 0 419053910 889978880 23343 1283457024 134512640 134550932 4289778432 18446744073709551615 4159854832 0 4 0 16800975 18446612133612605696 0 0 -1 1 0 0 0 [pid=8365/tid=8368] ppid=8363 vsize=869120 CPUtime=0.11 /proc/8365/task/8368/stat : 8368 (java) S 8363 8362 13759 34823 13904 4202560 4760 0 0 0 10 1 0 0 15 0 12 0 419053910 889978880 23343 1283457024 134512640 134550932 4289778432 18446744073709551615 4159854832 0 4 0 16800975 18446612133612605696 0 0 -1 0 0 0 0 [pid=8365/tid=8369] ppid=8363 vsize=869120 CPUtime=0.08 /proc/8365/task/8369/stat : 8369 (java) S 8363 8362 13759 34823 13904 4202560 116 0 0 0 8 0 0 0 16 0 12 0 419053911 889978880 23343 1283457024 134512640 134550932 4289778432 18446744073709551615 4159855624 0 0 0 16800975 18446612133612605696 0 0 -1 0 0 0 0 [pid=8365/tid=8370] ppid=8363 vsize=869120 CPUtime=0 /proc/8365/task/8370/stat : 8370 (java) S 8363 8362 13759 34823 13904 4202560 13 0 0 0 0 0 0 0 18 0 12 0 419053912 889978880 23343 1283457024 134512640 134550932 4289778432 18446744073709551615 4159854832 0 4 0 16800975 18446612133612605696 0 0 -1 0 0 0 0 [pid=8365/tid=8371] ppid=8363 vsize=869120 CPUtime=0 /proc/8365/task/8371/stat : 8371 (java) S 8363 8362 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 18 0 12 0 419053912 889978880 23343 1283457024 134512640 134550932 4289778432 18446744073709551615 4159854832 0 4 0 16800975 18446612133612605696 0 0 -1 0 0 0 0 [pid=8365/tid=8372] ppid=8363 vsize=869120 CPUtime=0 /proc/8365/task/8372/stat : 8372 (java) S 8363 8362 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 24 0 12 0 419053915 889978880 23343 1283457024 134512640 134550932 4289778432 18446744073709551615 4159863120 0 4 0 16800975 18446612133612605696 0 0 -1 0 0 0 0 [pid=8365/tid=8373] ppid=8363 vsize=869120 CPUtime=0.45 /proc/8365/task/8373/stat : 8373 (java) S 8363 8362 13759 34823 13904 4202560 2256 0 0 0 42 3 0 0 15 0 12 0 419053915 889978880 23343 1283457024 134512640 134550932 4289778432 18446744073709551615 4159854832 0 4 0 16800975 18446612133612605696 0 0 -1 1 0 0 0 [pid=8365/tid=8374] ppid=8363 vsize=869120 CPUtime=0.29 /proc/8365/task/8374/stat : 8374 (java) S 8363 8362 13759 34823 13904 4202560 2660 0 0 0 29 0 0 0 15 0 12 0 419053915 889978880 23343 1283457024 134512640 134550932 4289778432 18446744073709551615 4159854832 0 4 0 16800975 18446612133612605696 0 0 -1 1 0 0 0 [pid=8365/tid=8375] ppid=8363 vsize=869120 CPUtime=0 /proc/8365/task/8375/stat : 8375 (java) S 8363 8362 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 419053915 889978880 23343 1283457024 134512640 134550932 4289778432 18446744073709551615 4159854832 0 4 0 16800975 18446612133612605696 0 0 -1 0 0 0 0 [pid=8365/tid=8376] ppid=8363 vsize=869120 CPUtime=0.01 /proc/8365/task/8376/stat : 8376 (java) S 8363 8362 13759 34823 13904 4202560 2 0 0 0 0 1 0 0 15 0 12 0 419053915 889978880 23343 1283457024 134512640 134550932 4289778432 18446744073709551615 4159855624 0 4 0 16800975 18446612133612605696 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.97 Current children cumulated vsize (KiB) 875500 [startup+3.10458 s] /proc/loadavg: 1.09 1.05 1.06 4/109 8376 /proc/meminfo: memFree=1085008/2097152 swapFree=2055620/2097144 [pid=8362] ppid=8361 vsize=2380 CPUtime=0 /proc/8362/stat : 8362 (inesct-1.0) S 8361 8362 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 419053900 2437120 258 1283457024 134512640 135191968 4290825376 18446744073709551615 4159089294 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8362/statm: 595 258 221 166 0 27 0 [pid=8363] ppid=8362 vsize=4000 CPUtime=0 /proc/8363/stat : 8363 (cudf-solver.py) S 8362 8362 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 20 0 1 0 419053900 4096000 642 1283457024 134512640 135539072 4287115552 18446744073709551615 4159593102 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/8363/statm: 1000 642 346 251 0 301 0 [pid=8365] ppid=8363 vsize=879104 CPUtime=4.68 /proc/8365/stat : 8365 (java) S 8363 8362 13759 34823 13904 4202496 50522 0 0 0 444 24 0 0 17 0 12 0 419053908 900202496 44472 1283457024 134512640 134550932 4289778432 18446744073709551615 4159841426 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/8365/statm: 219776 44472 1770 10 0 216863 0 [pid=8365/tid=8366] ppid=8363 vsize=879104 CPUtime=2.09 /proc/8365/task/8366/stat : 8366 (java) R 8363 8362 13759 34823 13904 4202560 15899 0 0 0 204 5 0 0 25 0 12 0 419053910 900202496 44472 1283457024 134512640 134550932 4289778432 18446744073709551615 4095742735 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=8365/tid=8367] ppid=8363 vsize=879104 CPUtime=0.31 /proc/8365/task/8367/stat : 8367 (java) S 8363 8362 13759 34823 13904 4202560 12270 0 0 0 24 7 0 0 15 0 12 0 419053910 900202496 44472 1283457024 134512640 134550932 4289778432 18446744073709551615 4159854832 0 4 0 16800975 18446612133612605696 0 0 -1 1 0 0 0 [pid=8365/tid=8368] ppid=8363 vsize=879104 CPUtime=0.25 /proc/8365/task/8368/stat : 8368 (java) S 8363 8362 13759 34823 13904 4202560 9830 0 0 0 21 4 0 0 16 0 12 0 419053910 900202496 44472 1283457024 134512640 134550932 4289778432 18446744073709551615 4159854832 0 4 0 16800975 18446612133612605696 0 0 -1 0 0 0 0 [pid=8365/tid=8369] ppid=8363 vsize=879104 CPUtime=0.25 /proc/8365/task/8369/stat : 8369 (java) S 8363 8362 13759 34823 13904 4202560 1965 0 0 0 24 1 0 0 16 0 12 0 419053911 900202496 44472 1283457024 134512640 134550932 4289778432 18446744073709551615 4159855624 0 0 0 16800975 18446612133612605696 0 0 -1 0 0 0 0 [pid=8365/tid=8370] ppid=8363 vsize=879104 CPUtime=0 /proc/8365/task/8370/stat : 8370 (java) S 8363 8362 13759 34823 13904 4202560 13 0 0 0 0 0 0 0 18 0 12 0 419053912 900202496 44472 1283457024 134512640 134550932 4289778432 18446744073709551615 4159854832 0 4 0 16800975 18446612133612605696 0 0 -1 0 0 0 0 [pid=8365/tid=8371] ppid=8363 vsize=879104 CPUtime=0 /proc/8365/task/8371/stat : 8371 (java) S 8363 8362 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 18 0 12 0 419053912 900202496 44472 1283457024 134512640 134550932 4289778432 18446744073709551615 4159854832 0 4 0 16800975 18446612133612605696 0 0 -1 0 0 0 0 [pid=8365/tid=8372] ppid=8363 vsize=879104 CPUtime=0 /proc/8365/task/8372/stat : 8372 (java) S 8363 8362 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 24 0 12 0 419053915 900202496 44472 1283457024 134512640 134550932 4289778432 18446744073709551615 4159863120 0 4 0 16800975 18446612133612605696 0 0 -1 0 0 0 0 [pid=8365/tid=8373] ppid=8363 vsize=879104 CPUtime=1.05 /proc/8365/task/8373/stat : 8373 (java) R 8363 8362 13759 34823 13904 4202560 3249 0 0 0 102 3 0 0 16 0 12 0 419053915 900202496 44472 1283457024 134512640 134550932 4289778432 18446744073709551615 4147459921 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=8365/tid=8374] ppid=8363 vsize=879104 CPUtime=0.68 /proc/8365/task/8374/stat : 8374 (java) R 8363 8362 13759 34823 13904 4202560 5898 0 0 0 68 0 0 0 16 0 12 0 419053915 900202496 44472 1283457024 134512640 134550932 4289778432 18446744073709551615 4149926839 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=8365/tid=8375] ppid=8363 vsize=879104 CPUtime=0 /proc/8365/task/8375/stat : 8375 (java) S 8363 8362 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 419053915 900202496 44472 1283457024 134512640 134550932 4289778432 18446744073709551615 4159854832 0 4 0 16800975 18446612133612605696 0 0 -1 0 0 0 0 [pid=8365/tid=8376] ppid=8363 vsize=879104 CPUtime=0.01 /proc/8365/task/8376/stat : 8376 (java) S 8363 8362 13759 34823 13904 4202560 2 0 0 0 0 1 0 0 15 0 12 0 419053915 900202496 44472 1283457024 134512640 134550932 4289778432 18446744073709551615 4159855624 0 4 0 16800975 18446612133612605696 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.68 Current children cumulated vsize (KiB) 885484 [startup+6.30457 s] /proc/loadavg: 1.08 1.05 1.06 2/98 8381 /proc/meminfo: memFree=1183180/2097152 swapFree=2055620/2097144 [pid=8362] ppid=8361 vsize=2380 CPUtime=0 /proc/8362/stat : 8362 (inesct-1.0) S 8361 8362 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 419053900 2437120 258 1283457024 134512640 135191968 4290825376 18446744073709551615 4159089294 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8362/statm: 595 258 221 166 0 27 0 [pid=8363] ppid=8362 vsize=4000 CPUtime=6.38 /proc/8363/stat : 8363 (cudf-solver.py) S 8362 8362 13759 34823 13904 4202496 811 51949 0 0 0 0 598 40 15 0 1 0 419053900 4096000 642 1283457024 134512640 135539072 4287115552 18446744073709551615 4159593102 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/8363/statm: 1000 642 346 251 0 301 0 [pid=8380] ppid=8363 vsize=2884 CPUtime=0 /proc/8380/stat : 8380 (sh) S 8363 8362 13759 34823 13904 4194304 355 0 0 0 0 0 0 0 17 0 1 0 419054334 2953216 319 1283457024 134512640 135191968 4293971984 18446744073709551615 4159404686 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8380/statm: 721 319 219 166 0 153 0 [pid=8381] ppid=8380 vsize=40660 CPUtime=1.94 /proc/8381/stat : 8381 (msuncore) R 8380 8362 13759 34823 13904 4202496 10763 0 0 0 189 5 0 0 22 0 1 0 419054335 41635840 9945 1283457024 134512640 135858300 4289022832 18446744073709551615 135400398 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/8381/statm: 10165 9945 137 329 0 9834 0 Current children cumulated CPU time (s) 8.32 Current children cumulated vsize (KiB) 49924 [startup+12.7049 s] /proc/loadavg: 1.07 1.05 1.06 2/98 8381 /proc/meminfo: memFree=1182840/2097152 swapFree=2055620/2097144 [pid=8362] ppid=8361 vsize=2380 CPUtime=0 /proc/8362/stat : 8362 (inesct-1.0) S 8361 8362 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 419053900 2437120 258 1283457024 134512640 135191968 4290825376 18446744073709551615 4159089294 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8362/statm: 595 258 221 166 0 27 0 [pid=8363] ppid=8362 vsize=4000 CPUtime=6.38 /proc/8363/stat : 8363 (cudf-solver.py) S 8362 8362 13759 34823 13904 4202496 811 51949 0 0 0 0 598 40 15 0 1 0 419053900 4096000 642 1283457024 134512640 135539072 4287115552 18446744073709551615 4159593102 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/8363/statm: 1000 642 346 251 0 301 0 [pid=8380] ppid=8363 vsize=2884 CPUtime=0 /proc/8380/stat : 8380 (sh) S 8363 8362 13759 34823 13904 4194304 355 0 0 0 0 0 0 0 17 0 1 0 419054334 2953216 319 1283457024 134512640 135191968 4293971984 18446744073709551615 4159404686 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8380/statm: 721 319 219 166 0 153 0 [pid=8381] ppid=8380 vsize=41060 CPUtime=8.35 /proc/8381/stat : 8381 (msuncore) R 8380 8362 13759 34823 13904 4202496 10883 0 0 0 830 5 0 0 25 0 1 0 419054335 42045440 10065 1283457024 134512640 135858300 4289022832 18446744073709551615 134620160 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/8381/statm: 10265 10065 137 329 0 9934 0 Current children cumulated CPU time (s) 14.73 Current children cumulated vsize (KiB) 50324 [startup+25.5054 s] /proc/loadavg: 1.06 1.05 1.06 2/98 8382 /proc/meminfo: memFree=1182352/2097152 swapFree=2055620/2097144 [pid=8362] ppid=8361 vsize=2380 CPUtime=0 /proc/8362/stat : 8362 (inesct-1.0) S 8361 8362 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 419053900 2437120 258 1283457024 134512640 135191968 4290825376 18446744073709551615 4159089294 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8362/statm: 595 258 221 166 0 27 0 [pid=8363] ppid=8362 vsize=4000 CPUtime=6.38 /proc/8363/stat : 8363 (cudf-solver.py) S 8362 8362 13759 34823 13904 4202496 811 51949 0 0 0 0 598 40 15 0 1 0 419053900 4096000 642 1283457024 134512640 135539072 4287115552 18446744073709551615 4159593102 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/8363/statm: 1000 642 346 251 0 301 0 [pid=8380] ppid=8363 vsize=2884 CPUtime=0 /proc/8380/stat : 8380 (sh) S 8363 8362 13759 34823 13904 4194304 355 0 0 0 0 0 0 0 17 0 1 0 419054334 2953216 319 1283457024 134512640 135191968 4293971984 18446744073709551615 4159404686 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8380/statm: 721 319 219 166 0 153 0 [pid=8381] ppid=8380 vsize=41060 CPUtime=21.14 /proc/8381/stat : 8381 (msuncore) R 8380 8362 13759 34823 13904 4202496 10883 0 0 0 2106 8 0 0 25 0 1 0 419054335 42045440 10065 1283457024 134512640 135858300 4289022832 18446744073709551615 134661615 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/8381/statm: 10265 10065 137 329 0 9934 0 Current children cumulated CPU time (s) 27.52 Current children cumulated vsize (KiB) 50324 [startup+51.1066 s] /proc/loadavg: 1.04 1.04 1.05 2/98 8384 /proc/meminfo: memFree=1176408/2097152 swapFree=2055620/2097144 [pid=8362] ppid=8361 vsize=2380 CPUtime=0 /proc/8362/stat : 8362 (inesct-1.0) S 8361 8362 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 419053900 2437120 258 1283457024 134512640 135191968 4290825376 18446744073709551615 4159089294 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8362/statm: 595 258 221 166 0 27 0 [pid=8363] ppid=8362 vsize=4000 CPUtime=6.38 /proc/8363/stat : 8363 (cudf-solver.py) S 8362 8362 13759 34823 13904 4202496 811 51949 0 0 0 0 598 40 15 0 1 0 419053900 4096000 642 1283457024 134512640 135539072 4287115552 18446744073709551615 4159593102 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/8363/statm: 1000 642 346 251 0 301 0 [pid=8380] ppid=8363 vsize=2884 CPUtime=0 /proc/8380/stat : 8380 (sh) S 8363 8362 13759 34823 13904 4194304 355 0 0 0 0 0 0 0 17 0 1 0 419054334 2953216 319 1283457024 134512640 135191968 4293971984 18446744073709551615 4159404686 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8380/statm: 721 319 219 166 0 153 0 [pid=8381] ppid=8380 vsize=47052 CPUtime=46.69 /proc/8381/stat : 8381 (msuncore) R 8380 8362 13759 34823 13904 4202496 12376 0 0 0 4661 8 0 0 25 0 1 0 419054335 48181248 11558 1283457024 134512640 135858300 4289022832 18446744073709551615 135344238 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/8381/statm: 11763 11558 137 329 0 11432 0 Current children cumulated CPU time (s) 53.07 Current children cumulated vsize (KiB) 56316 Solver just ended. Dumping a history of the last processes samples [startup+51.2066 s] /proc/loadavg: 1.04 1.04 1.05 2/98 8384 /proc/meminfo: memFree=1176408/2097152 swapFree=2055620/2097144 [pid=8362] ppid=8361 vsize=2380 CPUtime=0 /proc/8362/stat : 8362 (inesct-1.0) S 8361 8362 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 419053900 2437120 258 1283457024 134512640 135191968 4290825376 18446744073709551615 4159089294 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8362/statm: 595 258 221 166 0 27 0 [pid=8363] ppid=8362 vsize=4000 CPUtime=6.38 /proc/8363/stat : 8363 (cudf-solver.py) S 8362 8362 13759 34823 13904 4202496 811 51949 0 0 0 0 598 40 15 0 1 0 419053900 4096000 642 1283457024 134512640 135539072 4287115552 18446744073709551615 4159593102 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/8363/statm: 1000 642 346 251 0 301 0 [pid=8380] ppid=8363 vsize=2884 CPUtime=0 /proc/8380/stat : 8380 (sh) S 8363 8362 13759 34823 13904 4194304 355 0 0 0 0 0 0 0 17 0 1 0 419054334 2953216 319 1283457024 134512640 135191968 4293971984 18446744073709551615 4159404686 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8380/statm: 721 319 219 166 0 153 0 [pid=8381] ppid=8380 vsize=47052 CPUtime=46.79 /proc/8381/stat : 8381 (msuncore) R 8380 8362 13759 34823 13904 4202496 12376 0 0 0 4671 8 0 0 25 0 1 0 419054335 48181248 11558 1283457024 134512640 135858300 4289022832 18446744073709551615 134658657 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/8381/statm: 11763 11558 137 329 0 11432 0 Current children cumulated CPU time (s) 53.17 Current children cumulated vsize (KiB) 56316 [startup+64.0072 s] /proc/loadavg: 1.03 1.04 1.05 2/98 8385 /proc/meminfo: memFree=1176284/2097152 swapFree=2055620/2097144 [pid=8362] ppid=8361 vsize=2380 CPUtime=0 /proc/8362/stat : 8362 (inesct-1.0) S 8361 8362 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 419053900 2437120 258 1283457024 134512640 135191968 4290825376 18446744073709551615 4159089294 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8362/statm: 595 258 221 166 0 27 0 [pid=8363] ppid=8362 vsize=4000 CPUtime=6.38 /proc/8363/stat : 8363 (cudf-solver.py) S 8362 8362 13759 34823 13904 4202496 811 51949 0 0 0 0 598 40 15 0 1 0 419053900 4096000 642 1283457024 134512640 135539072 4287115552 18446744073709551615 4159593102 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/8363/statm: 1000 642 346 251 0 301 0 [pid=8380] ppid=8363 vsize=2884 CPUtime=0 /proc/8380/stat : 8380 (sh) S 8363 8362 13759 34823 13904 4194304 355 0 0 0 0 0 0 0 17 0 1 0 419054334 2953216 319 1283457024 134512640 135191968 4293971984 18446744073709551615 4159404686 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8380/statm: 721 319 219 166 0 153 0 [pid=8381] ppid=8380 vsize=47052 CPUtime=59.55 /proc/8381/stat : 8381 (msuncore) R 8380 8362 13759 34823 13904 4202496 12376 0 0 0 5947 8 0 0 25 0 1 0 419054335 48181248 11558 1283457024 134512640 135858300 4289022832 18446744073709551615 134626010 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/8381/statm: 11763 11558 137 329 0 11432 0 Current children cumulated CPU time (s) 65.93 Current children cumulated vsize (KiB) 56316 [startup+70.4075 s] /proc/loadavg: 1.02 1.04 1.05 2/98 8385 /proc/meminfo: memFree=1176276/2097152 swapFree=2055620/2097144 [pid=8362] ppid=8361 vsize=2380 CPUtime=0 /proc/8362/stat : 8362 (inesct-1.0) S 8361 8362 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 419053900 2437120 258 1283457024 134512640 135191968 4290825376 18446744073709551615 4159089294 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8362/statm: 595 258 221 166 0 27 0 [pid=8363] ppid=8362 vsize=4000 CPUtime=6.38 /proc/8363/stat : 8363 (cudf-solver.py) S 8362 8362 13759 34823 13904 4202496 811 51949 0 0 0 0 598 40 15 0 1 0 419053900 4096000 642 1283457024 134512640 135539072 4287115552 18446744073709551615 4159593102 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/8363/statm: 1000 642 346 251 0 301 0 [pid=8380] ppid=8363 vsize=2884 CPUtime=0 /proc/8380/stat : 8380 (sh) S 8363 8362 13759 34823 13904 4194304 355 0 0 0 0 0 0 0 17 0 1 0 419054334 2953216 319 1283457024 134512640 135191968 4293971984 18446744073709551615 4159404686 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8380/statm: 721 319 219 166 0 153 0 [pid=8381] ppid=8380 vsize=47052 CPUtime=65.93 /proc/8381/stat : 8381 (msuncore) R 8380 8362 13759 34823 13904 4202496 12376 0 0 0 6585 8 0 0 25 0 1 0 419054335 48181248 11558 1283457024 134512640 135858300 4289022832 18446744073709551615 135341730 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/8381/statm: 11763 11558 137 329 0 11432 0 Current children cumulated CPU time (s) 72.31 Current children cumulated vsize (KiB) 56316 [startup+73.6076 s] /proc/loadavg: 1.02 1.04 1.05 2/98 8385 /proc/meminfo: memFree=1176276/2097152 swapFree=2055620/2097144 [pid=8362] ppid=8361 vsize=2380 CPUtime=0 /proc/8362/stat : 8362 (inesct-1.0) S 8361 8362 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 419053900 2437120 258 1283457024 134512640 135191968 4290825376 18446744073709551615 4159089294 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8362/statm: 595 258 221 166 0 27 0 [pid=8363] ppid=8362 vsize=4000 CPUtime=6.38 /proc/8363/stat : 8363 (cudf-solver.py) S 8362 8362 13759 34823 13904 4202496 811 51949 0 0 0 0 598 40 15 0 1 0 419053900 4096000 642 1283457024 134512640 135539072 4287115552 18446744073709551615 4159593102 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/8363/statm: 1000 642 346 251 0 301 0 [pid=8380] ppid=8363 vsize=2884 CPUtime=0 /proc/8380/stat : 8380 (sh) S 8363 8362 13759 34823 13904 4194304 355 0 0 0 0 0 0 0 17 0 1 0 419054334 2953216 319 1283457024 134512640 135191968 4293971984 18446744073709551615 4159404686 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8380/statm: 721 319 219 166 0 153 0 [pid=8381] ppid=8380 vsize=47052 CPUtime=69.12 /proc/8381/stat : 8381 (msuncore) R 8380 8362 13759 34823 13904 4202496 12376 0 0 0 6904 8 0 0 25 0 1 0 419054335 48181248 11558 1283457024 134512640 135858300 4289022832 18446744073709551615 134657681 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/8381/statm: 11763 11558 137 329 0 11432 0 Current children cumulated CPU time (s) 75.5 Current children cumulated vsize (KiB) 56316 [startup+75.2076 s] /proc/loadavg: 1.02 1.04 1.05 2/98 8386 /proc/meminfo: memFree=1175656/2097152 swapFree=2055620/2097144 [pid=8362] ppid=8361 vsize=2380 CPUtime=0 /proc/8362/stat : 8362 (inesct-1.0) S 8361 8362 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 419053900 2437120 258 1283457024 134512640 135191968 4290825376 18446744073709551615 4159089294 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8362/statm: 595 258 221 166 0 27 0 [pid=8363] ppid=8362 vsize=4000 CPUtime=6.38 /proc/8363/stat : 8363 (cudf-solver.py) S 8362 8362 13759 34823 13904 4202496 811 51949 0 0 0 0 598 40 15 0 1 0 419053900 4096000 642 1283457024 134512640 135539072 4287115552 18446744073709551615 4159593102 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/8363/statm: 1000 642 346 251 0 301 0 [pid=8380] ppid=8363 vsize=2884 CPUtime=0 /proc/8380/stat : 8380 (sh) S 8363 8362 13759 34823 13904 4194304 355 0 0 0 0 0 0 0 17 0 1 0 419054334 2953216 319 1283457024 134512640 135191968 4293971984 18446744073709551615 4159404686 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8380/statm: 721 319 219 166 0 153 0 [pid=8381] ppid=8380 vsize=47052 CPUtime=70.71 /proc/8381/stat : 8381 (msuncore) R 8380 8362 13759 34823 13904 4202496 12376 0 0 0 7063 8 0 0 25 0 1 0 419054335 48181248 11558 1283457024 134512640 135858300 4289022832 18446744073709551615 134667249 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/8381/statm: 11763 11558 137 329 0 11432 0 Current children cumulated CPU time (s) 77.09 Current children cumulated vsize (KiB) 56316 [startup+76.0076 s] /proc/loadavg: 1.02 1.04 1.05 2/98 8386 /proc/meminfo: memFree=1175656/2097152 swapFree=2055620/2097144 [pid=8362] ppid=8361 vsize=2380 CPUtime=0 /proc/8362/stat : 8362 (inesct-1.0) S 8361 8362 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 419053900 2437120 258 1283457024 134512640 135191968 4290825376 18446744073709551615 4159089294 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8362/statm: 595 258 221 166 0 27 0 [pid=8363] ppid=8362 vsize=4000 CPUtime=6.38 /proc/8363/stat : 8363 (cudf-solver.py) S 8362 8362 13759 34823 13904 4202496 811 51949 0 0 0 0 598 40 15 0 1 0 419053900 4096000 642 1283457024 134512640 135539072 4287115552 18446744073709551615 4159593102 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/8363/statm: 1000 642 346 251 0 301 0 [pid=8380] ppid=8363 vsize=2884 CPUtime=0 /proc/8380/stat : 8380 (sh) S 8363 8362 13759 34823 13904 4194304 355 0 0 0 0 0 0 0 17 0 1 0 419054334 2953216 319 1283457024 134512640 135191968 4293971984 18446744073709551615 4159404686 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8380/statm: 721 319 219 166 0 153 0 [pid=8381] ppid=8380 vsize=47052 CPUtime=71.51 /proc/8381/stat : 8381 (msuncore) R 8380 8362 13759 34823 13904 4202496 12376 0 0 0 7143 8 0 0 25 0 1 0 419054335 48181248 11558 1283457024 134512640 135858300 4289022832 18446744073709551615 134684428 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/8381/statm: 11763 11558 137 329 0 11432 0 Current children cumulated CPU time (s) 77.89 Current children cumulated vsize (KiB) 56316 [startup+76.4078 s] /proc/loadavg: 1.02 1.04 1.05 2/98 8386 /proc/meminfo: memFree=1175656/2097152 swapFree=2055620/2097144 [pid=8362] ppid=8361 vsize=2380 CPUtime=0 /proc/8362/stat : 8362 (inesct-1.0) S 8361 8362 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 419053900 2437120 258 1283457024 134512640 135191968 4290825376 18446744073709551615 4159089294 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8362/statm: 595 258 221 166 0 27 0 [pid=8363] ppid=8362 vsize=4000 CPUtime=6.38 /proc/8363/stat : 8363 (cudf-solver.py) S 8362 8362 13759 34823 13904 4202496 811 51949 0 0 0 0 598 40 15 0 1 0 419053900 4096000 642 1283457024 134512640 135539072 4287115552 18446744073709551615 4159593102 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/8363/statm: 1000 642 346 251 0 301 0 [pid=8380] ppid=8363 vsize=2884 CPUtime=0 /proc/8380/stat : 8380 (sh) S 8363 8362 13759 34823 13904 4194304 355 0 0 0 0 0 0 0 17 0 1 0 419054334 2953216 319 1283457024 134512640 135191968 4293971984 18446744073709551615 4159404686 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8380/statm: 721 319 219 166 0 153 0 [pid=8381] ppid=8380 vsize=47052 CPUtime=71.91 /proc/8381/stat : 8381 (msuncore) R 8380 8362 13759 34823 13904 4202496 12376 0 0 0 7183 8 0 0 25 0 1 0 419054335 48181248 11558 1283457024 134512640 135858300 4289022832 18446744073709551615 134668454 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/8381/statm: 11763 11558 137 329 0 11432 0 Current children cumulated CPU time (s) 78.29 Current children cumulated vsize (KiB) 56316 [startup+76.8085 s] /proc/loadavg: 1.02 1.04 1.05 2/98 8386 /proc/meminfo: memFree=1175656/2097152 swapFree=2055620/2097144 [pid=8362] ppid=8361 vsize=2380 CPUtime=0 /proc/8362/stat : 8362 (inesct-1.0) S 8361 8362 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 419053900 2437120 258 1283457024 134512640 135191968 4290825376 18446744073709551615 4159089294 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8362/statm: 595 258 221 166 0 27 0 [pid=8363] ppid=8362 vsize=6468 CPUtime=78.59 /proc/8363/stat : 8363 (cudf-solver.py) R 8362 8362 13759 34823 13904 4202496 1579 64702 0 0 2 1 7805 51 15 0 1 0 419053900 6623232 1262 1283457024 134512640 135539072 4287115552 18446744073709551615 4159802065 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/8363/statm: 1617 1262 346 251 0 918 0 Current children cumulated CPU time (s) 78.59 Current children cumulated vsize (KiB) 8848 [startup+76.9037 s] /proc/loadavg: 1.02 1.04 1.05 2/98 8386 /proc/meminfo: memFree=1175656/2097152 swapFree=2055620/2097144 [pid=8362] ppid=8361 vsize=2380 CPUtime=0 /proc/8362/stat : 8362 (inesct-1.0) S 8361 8362 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 419053900 2437120 258 1283457024 134512640 135191968 4290825376 18446744073709551615 4159089294 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8362/statm: 595 258 221 166 0 27 0 [pid=8363] ppid=8362 vsize=7892 CPUtime=78.66 /proc/8363/stat : 8363 (cudf-solver.py) S 8362 8362 13759 34823 13904 4202496 1969 64702 0 0 8 2 7805 51 15 0 1 0 419053900 8081408 1590 1283457024 134512640 135539072 4287115552 18446744073709551615 4159593102 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/8363/statm: 1973 1590 346 251 0 1274 0 Current children cumulated CPU time (s) 78.66 Current children cumulated vsize (KiB) 10272 Child status: 0 Real time (s): 76.9934 CPU time (s): 78.6889 CPU user time (s): 78.1449 CPU system time (s): 0.544034 CPU usage (%): 102.202 Max. virtual memory (cumulated for all children) (KiB): 885484 getrusage(RUSAGE_CHILDREN,...) data: user time used= 78.1449 system time used= 0.544034 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 68457 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 648 involuntary context switches= 1016 runsolver used 0 second user time and 0.040002 second system time The end