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/rand95e48b.cudf.difficult.log.runsolver ./inesct-1.0 /home/misc2010/data/2010/difficult//rand95e48b.cudf /home/misc2010/tmp/201007051419/inesct-1.0/rand95e48b.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: 0.98 1.00 0.99 2/94 18784 /proc/meminfo: memFree=1255660/2097152 swapFree=2055620/2097144 [pid=18784] ppid=18783 vsize=2376 CPUtime=0 /proc/18784/stat : 18784 (inesct-1.0) S 18783 18784 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 25 0 1 0 418138767 2433024 257 1283457024 134512640 135191968 4292324880 18446744073709551615 4159019662 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18784/statm: 594 257 221 166 0 26 0 [pid=18785] ppid=18784 vsize=1612 CPUtime=0 /proc/18785/stat : 18785 (cudf-solver.py) R 18784 18784 13759 34823 13904 4194304 111 0 0 0 0 0 0 0 18 0 1 0 418138768 1650688 50 1283457024 134512640 135539072 4292335136 18446744073709551615 4160483460 0 2147483391 0 0 0 0 0 17 1 0 0 0 /proc/18785/statm: 403 50 33 251 0 14 0 [startup+0.134351 s] /proc/loadavg: 0.98 1.00 0.99 2/94 18784 /proc/meminfo: memFree=1255660/2097152 swapFree=2055620/2097144 [pid=18784] ppid=18783 vsize=2376 CPUtime=0 /proc/18784/stat : 18784 (inesct-1.0) S 18783 18784 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 25 0 1 0 418138767 2433024 257 1283457024 134512640 135191968 4292324880 18446744073709551615 4159019662 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18784/statm: 594 257 221 166 0 26 0 [pid=18785] ppid=18784 vsize=3996 CPUtime=0 /proc/18785/stat : 18785 (cudf-solver.py) S 18784 18784 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 18 0 1 0 418138768 4091904 641 1283457024 134512640 135539072 4292335136 18446744073709551615 4159384206 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18785/statm: 999 641 346 251 0 300 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6372 [startup+0.214365 s] /proc/loadavg: 0.98 1.00 0.99 2/94 18784 /proc/meminfo: memFree=1255660/2097152 swapFree=2055620/2097144 [pid=18784] ppid=18783 vsize=2376 CPUtime=0 /proc/18784/stat : 18784 (inesct-1.0) S 18783 18784 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 25 0 1 0 418138767 2433024 257 1283457024 134512640 135191968 4292324880 18446744073709551615 4159019662 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18784/statm: 594 257 221 166 0 26 0 [pid=18785] ppid=18784 vsize=3996 CPUtime=0 /proc/18785/stat : 18785 (cudf-solver.py) S 18784 18784 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 18 0 1 0 418138768 4091904 641 1283457024 134512640 135539072 4292335136 18446744073709551615 4159384206 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18785/statm: 999 641 346 251 0 300 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6372 [startup+0.314384 s] /proc/loadavg: 0.98 1.00 0.99 2/94 18784 /proc/meminfo: memFree=1255660/2097152 swapFree=2055620/2097144 [pid=18784] ppid=18783 vsize=2376 CPUtime=0 /proc/18784/stat : 18784 (inesct-1.0) S 18783 18784 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 25 0 1 0 418138767 2433024 257 1283457024 134512640 135191968 4292324880 18446744073709551615 4159019662 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18784/statm: 594 257 221 166 0 26 0 [pid=18785] ppid=18784 vsize=3996 CPUtime=0 /proc/18785/stat : 18785 (cudf-solver.py) S 18784 18784 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 18 0 1 0 418138768 4091904 641 1283457024 134512640 135539072 4292335136 18446744073709551615 4159384206 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18785/statm: 999 641 346 251 0 300 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6372 [startup+0.739556 s] /proc/loadavg: 0.98 1.00 0.99 2/94 18784 /proc/meminfo: memFree=1255660/2097152 swapFree=2055620/2097144 [pid=18784] ppid=18783 vsize=2376 CPUtime=0 /proc/18784/stat : 18784 (inesct-1.0) S 18783 18784 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 25 0 1 0 418138767 2433024 257 1283457024 134512640 135191968 4292324880 18446744073709551615 4159019662 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18784/statm: 594 257 221 166 0 26 0 [pid=18785] ppid=18784 vsize=3996 CPUtime=0 /proc/18785/stat : 18785 (cudf-solver.py) S 18784 18784 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 18 0 1 0 418138768 4091904 641 1283457024 134512640 135539072 4292335136 18446744073709551615 4159384206 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18785/statm: 999 641 346 251 0 300 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6372 [startup+1.53047 s] /proc/loadavg: 1.15 1.03 1.00 5/108 18798 /proc/meminfo: memFree=1174832/2097152 swapFree=2055620/2097144 [pid=18784] ppid=18783 vsize=2376 CPUtime=0 /proc/18784/stat : 18784 (inesct-1.0) S 18783 18784 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 25 0 1 0 418138767 2433024 257 1283457024 134512640 135191968 4292324880 18446744073709551615 4159019662 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18784/statm: 594 257 221 166 0 26 0 [pid=18785] ppid=18784 vsize=3996 CPUtime=0 /proc/18785/stat : 18785 (cudf-solver.py) S 18784 18784 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 18 0 1 0 418138768 4091904 641 1283457024 134512640 135539072 4292335136 18446744073709551615 4159384206 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18785/statm: 999 641 346 251 0 300 0 [pid=18787] ppid=18785 vsize=874476 CPUtime=2.17 /proc/18787/stat : 18787 (java) S 18785 18784 13759 34823 13904 4202496 26142 0 0 0 202 15 0 0 19 0 12 0 418138769 895463424 22697 1283457024 134512640 134550932 4290087744 18446744073709551615 4160459922 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18787/statm: 218619 22698 1745 10 0 215706 0 [pid=18787/tid=18788] ppid=18785 vsize=874476 CPUtime=0.97 /proc/18787/task/18788/stat : 18788 (java) S 18785 18784 13759 34823 13904 4202560 9276 0 0 0 90 7 0 0 16 0 12 0 418138771 895463424 22699 1283457024 134512640 134550932 4290087744 18446744073709551615 4160473328 0 4 0 16800975 18446612134451769664 0 0 -1 1 0 0 0 [pid=18787/tid=18789] ppid=18785 vsize=874476 CPUtime=0.17 /proc/18787/task/18789/stat : 18789 (java) R 18785 18784 13759 34823 13904 4202560 5691 0 0 0 15 2 0 0 15 0 12 0 418138771 895463424 22700 1283457024 134512640 134550932 4290087744 18446744073709551615 4152945320 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=18787/tid=18790] ppid=18785 vsize=874476 CPUtime=0.05 /proc/18787/task/18790/stat : 18790 (java) R 18785 18784 13759 34823 13904 4202560 2287 0 0 0 4 1 0 0 15 0 12 0 418138771 895463424 22702 1283457024 134512640 134550932 4290087744 18446744073709551615 4152945320 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=18787/tid=18791] ppid=18785 vsize=874476 CPUtime=0.08 /proc/18787/task/18791/stat : 18791 (java) S 18785 18784 13759 34823 13904 4202560 84 0 0 0 8 0 0 0 15 0 12 0 418138772 895463424 22703 1283457024 134512640 134550932 4290087744 18446744073709551615 4160473328 0 0 0 16800975 18446612134451769664 0 0 -1 0 0 0 0 [pid=18787/tid=18792] ppid=18785 vsize=874476 CPUtime=0 /proc/18787/task/18792/stat : 18792 (java) S 18785 18784 13759 34823 13904 4202560 13 0 0 0 0 0 0 0 18 0 12 0 418138773 895463424 22704 1283457024 134512640 134550932 4290087744 18446744073709551615 4160473328 0 4 0 16800975 18446612134451769664 0 0 -1 0 0 0 0 [pid=18787/tid=18793] ppid=18785 vsize=874476 CPUtime=0 /proc/18787/task/18793/stat : 18793 (java) S 18785 18784 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 18 0 12 0 418138773 895463424 22705 1283457024 134512640 134550932 4290087744 18446744073709551615 4160473328 0 4 0 16800975 18446612134451769664 0 0 -1 0 0 0 0 [pid=18787/tid=18794] ppid=18785 vsize=874476 CPUtime=0 /proc/18787/task/18794/stat : 18794 (java) S 18785 18784 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 418138776 895463424 22707 1283457024 134512640 134550932 4290087744 18446744073709551615 4160481616 0 4 0 16800975 18446612134451769664 0 0 -1 0 0 0 0 [pid=18787/tid=18795] ppid=18785 vsize=874476 CPUtime=0.68 /proc/18787/task/18795/stat : 18795 (java) S 18785 18784 13759 34823 13904 4202560 6039 0 0 0 66 2 0 0 17 0 12 0 418138776 895463424 22708 1283457024 134512640 134550932 4290087744 18446744073709551615 4160473328 0 4 0 16800975 18446612134451769664 0 0 -1 1 0 0 0 [pid=18787/tid=18796] ppid=18785 vsize=874476 CPUtime=0.18 /proc/18787/task/18796/stat : 18796 (java) S 18785 18784 13759 34823 13904 4202560 1364 0 0 0 18 0 0 0 15 0 12 0 418138776 895463424 22710 1283457024 134512640 134550932 4290087744 18446744073709551615 4160473328 0 4 0 16800975 18446612134451769664 0 0 -1 0 0 0 0 [pid=18787/tid=18797] ppid=18785 vsize=874476 CPUtime=0 /proc/18787/task/18797/stat : 18797 (java) S 18785 18784 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 418138776 895463424 22711 1283457024 134512640 134550932 4290087744 18446744073709551615 4160473328 0 4 0 16800975 18446612134451769664 0 0 -1 0 0 0 0 [pid=18787/tid=18798] ppid=18785 vsize=874476 CPUtime=0 /proc/18787/task/18798/stat : 18798 (java) S 18785 18784 13759 34823 13904 4202560 0 0 0 0 0 0 0 0 15 0 12 0 418138776 895463424 22712 1283457024 134512640 134550932 4290087744 18446744073709551615 4160474120 0 4 0 16800975 18446612134451769664 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.17 Current children cumulated vsize (KiB) 880848 [startup+3.12484 s] /proc/loadavg: 1.15 1.03 1.00 4/108 18798 /proc/meminfo: memFree=1105888/2097152 swapFree=2055620/2097144 [pid=18784] ppid=18783 vsize=2376 CPUtime=0 /proc/18784/stat : 18784 (inesct-1.0) S 18783 18784 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 25 0 1 0 418138767 2433024 257 1283457024 134512640 135191968 4292324880 18446744073709551615 4159019662 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18784/statm: 594 257 221 166 0 26 0 [pid=18785] ppid=18784 vsize=3996 CPUtime=0 /proc/18785/stat : 18785 (cudf-solver.py) S 18784 18784 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 18 0 1 0 418138768 4091904 641 1283457024 134512640 135539072 4292335136 18446744073709551615 4159384206 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18785/statm: 999 641 346 251 0 300 0 [pid=18787] ppid=18785 vsize=878172 CPUtime=4.75 /proc/18787/stat : 18787 (java) S 18785 18784 13759 34823 13904 4202496 49585 0 0 0 452 23 0 0 19 0 12 0 418138769 899248128 42374 1283457024 134512640 134550932 4290087744 18446744073709551615 4160459922 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18787/statm: 219307 42374 1770 10 0 216394 0 [pid=18787/tid=18788] ppid=18785 vsize=877228 CPUtime=2.15 /proc/18787/task/18788/stat : 18788 (java) S 18785 18784 13759 34823 13904 4202560 15850 0 0 0 206 9 0 0 16 0 12 0 418138771 898281472 42375 1283457024 134512640 134550932 4290087744 18446744073709551615 4160473328 0 4 0 16800975 18446612134451769664 0 0 -1 0 0 0 0 [pid=18787/tid=18789] ppid=18785 vsize=877228 CPUtime=0.33 /proc/18787/task/18789/stat : 18789 (java) D 18785 18784 13759 34823 13904 4202560 11958 0 0 0 28 5 0 0 16 0 12 0 418138771 898281472 42376 1283457024 134512640 134550932 4290087744 18446744073709551615 4152945320 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=18787/tid=18790] ppid=18785 vsize=877228 CPUtime=0.19 /proc/18787/task/18790/stat : 18790 (java) R 18785 18784 13759 34823 13904 4202560 7759 0 0 0 16 3 0 0 16 0 12 0 418138771 898281472 42376 1283457024 134512640 134550932 4290087744 18446744073709551615 4152945333 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=18787/tid=18791] ppid=18785 vsize=877228 CPUtime=0.25 /proc/18787/task/18791/stat : 18791 (java) S 18785 18784 13759 34823 13904 4202560 1570 0 0 0 24 1 0 0 15 0 12 0 418138772 898281472 42376 1283457024 134512640 134550932 4290087744 18446744073709551615 4160473328 0 0 0 16800975 18446612134451769664 0 0 -1 0 0 0 0 [pid=18787/tid=18792] ppid=18785 vsize=877228 CPUtime=0 /proc/18787/task/18792/stat : 18792 (java) S 18785 18784 13759 34823 13904 4202560 13 0 0 0 0 0 0 0 18 0 12 0 418138773 898281472 42376 1283457024 134512640 134550932 4290087744 18446744073709551615 4160473328 0 4 0 16800975 18446612134451769664 0 0 -1 0 0 0 0 [pid=18787/tid=18793] ppid=18785 vsize=877228 CPUtime=0 /proc/18787/task/18793/stat : 18793 (java) S 18785 18784 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 18 0 12 0 418138773 898281472 42376 1283457024 134512640 134550932 4290087744 18446744073709551615 4160473328 0 4 0 16800975 18446612134451769664 0 0 -1 0 0 0 0 [pid=18787/tid=18794] ppid=18785 vsize=877228 CPUtime=0 /proc/18787/task/18794/stat : 18794 (java) S 18785 18784 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 418138776 898281472 42376 1283457024 134512640 134550932 4290087744 18446744073709551615 4160481616 0 4 0 16800975 18446612134451769664 0 0 -1 0 0 0 0 [pid=18787/tid=18795] ppid=18785 vsize=877228 CPUtime=0.99 /proc/18787/task/18795/stat : 18795 (java) S 18785 18784 13759 34823 13904 4202560 7016 0 0 0 97 2 0 0 16 0 12 0 418138776 898281472 42376 1283457024 134512640 134550932 4290087744 18446744073709551615 4160473328 0 4 0 16800975 18446612134451769664 0 0 -1 1 0 0 0 [pid=18787/tid=18796] ppid=18785 vsize=877228 CPUtime=0.8 /proc/18787/task/18796/stat : 18796 (java) D 18785 18784 13759 34823 13904 4202560 4028 0 0 0 80 0 0 0 16 0 12 0 418138776 898281472 42376 1283457024 134512640 134550932 4290087744 18446744073709551615 4159892177 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=18787/tid=18797] ppid=18785 vsize=877228 CPUtime=0 /proc/18787/task/18797/stat : 18797 (java) S 18785 18784 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 418138776 898281472 42376 1283457024 134512640 134550932 4290087744 18446744073709551615 4160473328 0 4 0 16800975 18446612134451769664 0 0 -1 0 0 0 0 [pid=18787/tid=18798] ppid=18785 vsize=877228 CPUtime=0 /proc/18787/task/18798/stat : 18798 (java) R 18785 18784 13759 34823 13904 4202560 0 0 0 0 0 0 0 0 16 0 12 0 418138776 898281472 42376 1283457024 134512640 134550932 4290087744 18446744073709551615 4160484039 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.75 Current children cumulated vsize (KiB) 884544 [startup+6.31105 s] /proc/loadavg: 1.13 1.03 1.00 2/98 18803 /proc/meminfo: memFree=1211236/2097152 swapFree=2055620/2097144 [pid=18784] ppid=18783 vsize=2376 CPUtime=0 /proc/18784/stat : 18784 (inesct-1.0) S 18783 18784 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 25 0 1 0 418138767 2433024 257 1283457024 134512640 135191968 4292324880 18446744073709551615 4159019662 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18784/statm: 594 257 221 166 0 26 0 [pid=18785] ppid=18784 vsize=3996 CPUtime=6.88 /proc/18785/stat : 18785 (cudf-solver.py) S 18784 18784 13759 34823 13904 4202496 813 55651 0 0 0 0 651 37 15 0 1 0 418138768 4091904 641 1283457024 134512640 135539072 4292335136 18446744073709551615 4159384206 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18785/statm: 999 641 346 251 0 300 0 [pid=18802] ppid=18785 vsize=2888 CPUtime=0 /proc/18802/stat : 18802 (sh) S 18785 18784 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 17 0 1 0 418139220 2957312 321 1283457024 134512640 135191968 4286621968 18446744073709551615 4159158926 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18802/statm: 722 321 219 166 0 154 0 [pid=18803] ppid=18802 vsize=40944 CPUtime=1.77 /proc/18803/stat : 18803 (msuncore) R 18802 18784 13759 34823 13904 4202496 10857 0 0 0 174 3 0 0 22 0 1 0 418139221 41926656 10032 1283457024 134512640 135858300 4291026272 18446744073709551615 134665916 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/18803/statm: 10236 10032 137 329 0 9905 0 Current children cumulated CPU time (s) 8.65 Current children cumulated vsize (KiB) 50204 [startup+12.7125 s] /proc/loadavg: 1.12 1.03 1.00 2/98 18803 /proc/meminfo: memFree=1208648/2097152 swapFree=2055620/2097144 [pid=18784] ppid=18783 vsize=2376 CPUtime=0 /proc/18784/stat : 18784 (inesct-1.0) S 18783 18784 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 25 0 1 0 418138767 2433024 257 1283457024 134512640 135191968 4292324880 18446744073709551615 4159019662 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18784/statm: 594 257 221 166 0 26 0 [pid=18785] ppid=18784 vsize=3996 CPUtime=6.88 /proc/18785/stat : 18785 (cudf-solver.py) S 18784 18784 13759 34823 13904 4202496 813 55651 0 0 0 0 651 37 15 0 1 0 418138768 4091904 641 1283457024 134512640 135539072 4292335136 18446744073709551615 4159384206 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18785/statm: 999 641 346 251 0 300 0 [pid=18802] ppid=18785 vsize=2888 CPUtime=0 /proc/18802/stat : 18802 (sh) S 18785 18784 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 17 0 1 0 418139220 2957312 321 1283457024 134512640 135191968 4286621968 18446744073709551615 4159158926 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18802/statm: 722 321 219 166 0 154 0 [pid=18803] ppid=18802 vsize=41392 CPUtime=8.16 /proc/18803/stat : 18803 (msuncore) R 18802 18784 13759 34823 13904 4202496 11524 0 0 0 812 4 0 0 25 0 1 0 418139221 42385408 10125 1283457024 134512640 135858300 4291026272 18446744073709551615 134620078 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/18803/statm: 10348 10125 137 329 0 10017 0 Current children cumulated CPU time (s) 15.04 Current children cumulated vsize (KiB) 50652 [startup+25.5075 s] /proc/loadavg: 1.10 1.03 1.00 2/98 18804 /proc/meminfo: memFree=1208036/2097152 swapFree=2055620/2097144 [pid=18784] ppid=18783 vsize=2376 CPUtime=0 /proc/18784/stat : 18784 (inesct-1.0) S 18783 18784 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 25 0 1 0 418138767 2433024 257 1283457024 134512640 135191968 4292324880 18446744073709551615 4159019662 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18784/statm: 594 257 221 166 0 26 0 [pid=18785] ppid=18784 vsize=3996 CPUtime=6.88 /proc/18785/stat : 18785 (cudf-solver.py) S 18784 18784 13759 34823 13904 4202496 813 55651 0 0 0 0 651 37 15 0 1 0 418138768 4091904 641 1283457024 134512640 135539072 4292335136 18446744073709551615 4159384206 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18785/statm: 999 641 346 251 0 300 0 [pid=18802] ppid=18785 vsize=2888 CPUtime=0 /proc/18802/stat : 18802 (sh) S 18785 18784 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 17 0 1 0 418139220 2957312 321 1283457024 134512640 135191968 4286621968 18446744073709551615 4159158926 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18802/statm: 722 321 219 166 0 154 0 [pid=18803] ppid=18802 vsize=41392 CPUtime=20.93 /proc/18803/stat : 18803 (msuncore) R 18802 18784 13759 34823 13904 4202496 11524 0 0 0 2088 5 0 0 25 0 1 0 418139221 42385408 10125 1283457024 134512640 135858300 4291026272 18446744073709551615 134657142 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/18803/statm: 10348 10125 137 329 0 10017 0 Current children cumulated CPU time (s) 27.81 Current children cumulated vsize (KiB) 50652 [startup+51.1046 s] /proc/loadavg: 1.06 1.03 1.00 2/99 19287 /proc/meminfo: memFree=1200448/2097152 swapFree=2055620/2097144 [pid=18784] ppid=18783 vsize=2376 CPUtime=0 /proc/18784/stat : 18784 (inesct-1.0) S 18783 18784 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 25 0 1 0 418138767 2433024 257 1283457024 134512640 135191968 4292324880 18446744073709551615 4159019662 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18784/statm: 594 257 221 166 0 26 0 [pid=18785] ppid=18784 vsize=3996 CPUtime=6.88 /proc/18785/stat : 18785 (cudf-solver.py) S 18784 18784 13759 34823 13904 4202496 813 55651 0 0 0 0 651 37 15 0 1 0 418138768 4091904 641 1283457024 134512640 135539072 4292335136 18446744073709551615 4159384206 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18785/statm: 999 641 346 251 0 300 0 [pid=18802] ppid=18785 vsize=2888 CPUtime=0 /proc/18802/stat : 18802 (sh) S 18785 18784 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 17 0 1 0 418139220 2957312 321 1283457024 134512640 135191968 4286621968 18446744073709551615 4159158926 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18802/statm: 722 321 219 166 0 154 0 [pid=18803] ppid=18802 vsize=48264 CPUtime=46.22 /proc/18803/stat : 18803 (msuncore) R 18802 18784 13759 34823 13904 4202496 13680 0 0 0 4614 8 0 0 25 0 1 0 418139221 49422336 11868 1283457024 134512640 135858300 4291026272 18446744073709551615 135401313 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/18803/statm: 12066 11868 137 329 0 11735 0 Current children cumulated CPU time (s) 53.1 Current children cumulated vsize (KiB) 57524 Solver just ended. Dumping a history of the last processes samples [startup+51.2046 s] /proc/loadavg: 1.06 1.03 1.00 2/99 19287 /proc/meminfo: memFree=1200448/2097152 swapFree=2055620/2097144 [pid=18784] ppid=18783 vsize=2376 CPUtime=0 /proc/18784/stat : 18784 (inesct-1.0) S 18783 18784 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 25 0 1 0 418138767 2433024 257 1283457024 134512640 135191968 4292324880 18446744073709551615 4159019662 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18784/statm: 594 257 221 166 0 26 0 [pid=18785] ppid=18784 vsize=3996 CPUtime=6.88 /proc/18785/stat : 18785 (cudf-solver.py) S 18784 18784 13759 34823 13904 4202496 813 55651 0 0 0 0 651 37 15 0 1 0 418138768 4091904 641 1283457024 134512640 135539072 4292335136 18446744073709551615 4159384206 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18785/statm: 999 641 346 251 0 300 0 [pid=18802] ppid=18785 vsize=2888 CPUtime=0 /proc/18802/stat : 18802 (sh) S 18785 18784 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 17 0 1 0 418139220 2957312 321 1283457024 134512640 135191968 4286621968 18446744073709551615 4159158926 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18802/statm: 722 321 219 166 0 154 0 [pid=18803] ppid=18802 vsize=48264 CPUtime=46.32 /proc/18803/stat : 18803 (msuncore) R 18802 18784 13759 34823 13904 4202496 13680 0 0 0 4624 8 0 0 25 0 1 0 418139221 49422336 11868 1283457024 134512640 135858300 4291026272 18446744073709551615 134620075 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/18803/statm: 12066 11868 137 329 0 11735 0 Current children cumulated CPU time (s) 53.2 Current children cumulated vsize (KiB) 57524 [startup+64.0052 s] /proc/loadavg: 1.05 1.02 1.00 2/99 19288 /proc/meminfo: memFree=1201076/2097152 swapFree=2055620/2097144 [pid=18784] ppid=18783 vsize=2376 CPUtime=0 /proc/18784/stat : 18784 (inesct-1.0) S 18783 18784 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 25 0 1 0 418138767 2433024 257 1283457024 134512640 135191968 4292324880 18446744073709551615 4159019662 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18784/statm: 594 257 221 166 0 26 0 [pid=18785] ppid=18784 vsize=3996 CPUtime=6.88 /proc/18785/stat : 18785 (cudf-solver.py) S 18784 18784 13759 34823 13904 4202496 813 55651 0 0 0 0 651 37 15 0 1 0 418138768 4091904 641 1283457024 134512640 135539072 4292335136 18446744073709551615 4159384206 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18785/statm: 999 641 346 251 0 300 0 [pid=18802] ppid=18785 vsize=2888 CPUtime=0 /proc/18802/stat : 18802 (sh) S 18785 18784 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 17 0 1 0 418139220 2957312 321 1283457024 134512640 135191968 4286621968 18446744073709551615 4159158926 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18802/statm: 722 321 219 166 0 154 0 [pid=18803] ppid=18802 vsize=48264 CPUtime=59.1 /proc/18803/stat : 18803 (msuncore) R 18802 18784 13759 34823 13904 4202496 13680 0 0 0 5902 8 0 0 25 0 1 0 418139221 49422336 11868 1283457024 134512640 135858300 4291026272 18446744073709551615 134658791 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/18803/statm: 12066 11868 137 329 0 11735 0 Current children cumulated CPU time (s) 65.98 Current children cumulated vsize (KiB) 57524 [startup+70.4055 s] /proc/loadavg: 1.04 1.02 1.00 2/99 19288 /proc/meminfo: memFree=1201092/2097152 swapFree=2055620/2097144 [pid=18784] ppid=18783 vsize=2376 CPUtime=0 /proc/18784/stat : 18784 (inesct-1.0) S 18783 18784 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 25 0 1 0 418138767 2433024 257 1283457024 134512640 135191968 4292324880 18446744073709551615 4159019662 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18784/statm: 594 257 221 166 0 26 0 [pid=18785] ppid=18784 vsize=3996 CPUtime=6.88 /proc/18785/stat : 18785 (cudf-solver.py) S 18784 18784 13759 34823 13904 4202496 813 55651 0 0 0 0 651 37 15 0 1 0 418138768 4091904 641 1283457024 134512640 135539072 4292335136 18446744073709551615 4159384206 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18785/statm: 999 641 346 251 0 300 0 [pid=18802] ppid=18785 vsize=2888 CPUtime=0 /proc/18802/stat : 18802 (sh) S 18785 18784 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 17 0 1 0 418139220 2957312 321 1283457024 134512640 135191968 4286621968 18446744073709551615 4159158926 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18802/statm: 722 321 219 166 0 154 0 [pid=18803] ppid=18802 vsize=48264 CPUtime=65.51 /proc/18803/stat : 18803 (msuncore) R 18802 18784 13759 34823 13904 4202496 13680 0 0 0 6543 8 0 0 25 0 1 0 418139221 49422336 11868 1283457024 134512640 135858300 4291026272 18446744073709551615 134658582 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/18803/statm: 12066 11868 137 329 0 11735 0 Current children cumulated CPU time (s) 72.39 Current children cumulated vsize (KiB) 57524 [startup+73.6056 s] /proc/loadavg: 1.04 1.02 1.00 2/99 19288 /proc/meminfo: memFree=1201092/2097152 swapFree=2055620/2097144 [pid=18784] ppid=18783 vsize=2376 CPUtime=0 /proc/18784/stat : 18784 (inesct-1.0) S 18783 18784 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 25 0 1 0 418138767 2433024 257 1283457024 134512640 135191968 4292324880 18446744073709551615 4159019662 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18784/statm: 594 257 221 166 0 26 0 [pid=18785] ppid=18784 vsize=3996 CPUtime=6.88 /proc/18785/stat : 18785 (cudf-solver.py) S 18784 18784 13759 34823 13904 4202496 813 55651 0 0 0 0 651 37 15 0 1 0 418138768 4091904 641 1283457024 134512640 135539072 4292335136 18446744073709551615 4159384206 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18785/statm: 999 641 346 251 0 300 0 [pid=18802] ppid=18785 vsize=2888 CPUtime=0 /proc/18802/stat : 18802 (sh) S 18785 18784 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 17 0 1 0 418139220 2957312 321 1283457024 134512640 135191968 4286621968 18446744073709551615 4159158926 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18802/statm: 722 321 219 166 0 154 0 [pid=18803] ppid=18802 vsize=48264 CPUtime=68.71 /proc/18803/stat : 18803 (msuncore) R 18802 18784 13759 34823 13904 4202496 13680 0 0 0 6863 8 0 0 25 0 1 0 418139221 49422336 11868 1283457024 134512640 135858300 4291026272 18446744073709551615 134626301 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/18803/statm: 12066 11868 137 329 0 11735 0 Current children cumulated CPU time (s) 75.59 Current children cumulated vsize (KiB) 57524 [startup+74.4056 s] /proc/loadavg: 1.04 1.02 1.00 2/99 19289 /proc/meminfo: memFree=1200720/2097152 swapFree=2055620/2097144 [pid=18784] ppid=18783 vsize=2376 CPUtime=0 /proc/18784/stat : 18784 (inesct-1.0) S 18783 18784 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 25 0 1 0 418138767 2433024 257 1283457024 134512640 135191968 4292324880 18446744073709551615 4159019662 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18784/statm: 594 257 221 166 0 26 0 [pid=18785] ppid=18784 vsize=3996 CPUtime=6.88 /proc/18785/stat : 18785 (cudf-solver.py) S 18784 18784 13759 34823 13904 4202496 813 55651 0 0 0 0 651 37 15 0 1 0 418138768 4091904 641 1283457024 134512640 135539072 4292335136 18446744073709551615 4159384206 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18785/statm: 999 641 346 251 0 300 0 [pid=18802] ppid=18785 vsize=2888 CPUtime=0 /proc/18802/stat : 18802 (sh) S 18785 18784 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 17 0 1 0 418139220 2957312 321 1283457024 134512640 135191968 4286621968 18446744073709551615 4159158926 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18802/statm: 722 321 219 166 0 154 0 [pid=18803] ppid=18802 vsize=48264 CPUtime=69.51 /proc/18803/stat : 18803 (msuncore) R 18802 18784 13759 34823 13904 4202496 13680 0 0 0 6943 8 0 0 25 0 1 0 418139221 49422336 11868 1283457024 134512640 135858300 4291026272 18446744073709551615 134626417 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/18803/statm: 12066 11868 137 329 0 11735 0 Current children cumulated CPU time (s) 76.39 Current children cumulated vsize (KiB) 57524 [startup+75.2057 s] /proc/loadavg: 1.04 1.02 1.00 2/99 19289 /proc/meminfo: memFree=1200720/2097152 swapFree=2055620/2097144 [pid=18784] ppid=18783 vsize=2376 CPUtime=0 /proc/18784/stat : 18784 (inesct-1.0) S 18783 18784 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 25 0 1 0 418138767 2433024 257 1283457024 134512640 135191968 4292324880 18446744073709551615 4159019662 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18784/statm: 594 257 221 166 0 26 0 [pid=18785] ppid=18784 vsize=3996 CPUtime=6.88 /proc/18785/stat : 18785 (cudf-solver.py) S 18784 18784 13759 34823 13904 4202496 813 55651 0 0 0 0 651 37 15 0 1 0 418138768 4091904 641 1283457024 134512640 135539072 4292335136 18446744073709551615 4159384206 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18785/statm: 999 641 346 251 0 300 0 [pid=18802] ppid=18785 vsize=2888 CPUtime=0 /proc/18802/stat : 18802 (sh) S 18785 18784 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 17 0 1 0 418139220 2957312 321 1283457024 134512640 135191968 4286621968 18446744073709551615 4159158926 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18802/statm: 722 321 219 166 0 154 0 [pid=18803] ppid=18802 vsize=48264 CPUtime=70.31 /proc/18803/stat : 18803 (msuncore) R 18802 18784 13759 34823 13904 4202496 13680 0 0 0 7023 8 0 0 25 0 1 0 418139221 49422336 11868 1283457024 134512640 135858300 4291026272 18446744073709551615 134670971 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/18803/statm: 12066 11868 137 329 0 11735 0 Current children cumulated CPU time (s) 77.19 Current children cumulated vsize (KiB) 57524 [startup+75.4057 s] /proc/loadavg: 1.04 1.02 1.00 2/99 19289 /proc/meminfo: memFree=1200720/2097152 swapFree=2055620/2097144 [pid=18784] ppid=18783 vsize=2376 CPUtime=0 /proc/18784/stat : 18784 (inesct-1.0) S 18783 18784 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 25 0 1 0 418138767 2433024 257 1283457024 134512640 135191968 4292324880 18446744073709551615 4159019662 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18784/statm: 594 257 221 166 0 26 0 [pid=18785] ppid=18784 vsize=3996 CPUtime=6.88 /proc/18785/stat : 18785 (cudf-solver.py) S 18784 18784 13759 34823 13904 4202496 813 55651 0 0 0 0 651 37 15 0 1 0 418138768 4091904 641 1283457024 134512640 135539072 4292335136 18446744073709551615 4159384206 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18785/statm: 999 641 346 251 0 300 0 [pid=18802] ppid=18785 vsize=2888 CPUtime=0 /proc/18802/stat : 18802 (sh) S 18785 18784 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 17 0 1 0 418139220 2957312 321 1283457024 134512640 135191968 4286621968 18446744073709551615 4159158926 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18802/statm: 722 321 219 166 0 154 0 [pid=18803] ppid=18802 vsize=48264 CPUtime=70.51 /proc/18803/stat : 18803 (msuncore) R 18802 18784 13759 34823 13904 4202496 13680 0 0 0 7043 8 0 0 25 0 1 0 418139221 49422336 11868 1283457024 134512640 135858300 4291026272 18446744073709551615 135400398 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/18803/statm: 12066 11868 137 329 0 11735 0 Current children cumulated CPU time (s) 77.39 Current children cumulated vsize (KiB) 57524 [startup+75.5078 s] /proc/loadavg: 1.04 1.02 1.00 2/99 19289 /proc/meminfo: memFree=1200720/2097152 swapFree=2055620/2097144 [pid=18784] ppid=18783 vsize=2376 CPUtime=0 /proc/18784/stat : 18784 (inesct-1.0) S 18783 18784 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 25 0 1 0 418138767 2433024 257 1283457024 134512640 135191968 4292324880 18446744073709551615 4159019662 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18784/statm: 594 257 221 166 0 26 0 [pid=18785] ppid=18784 vsize=7876 CPUtime=77.5 /proc/18785/stat : 18785 (cudf-solver.py) R 18784 18784 13759 34823 13904 4202496 1925 69711 0 0 8 2 7695 45 16 0 1 0 418138768 8065024 1592 1283457024 134512640 135539072 4292335136 18446744073709551615 4159545342 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/18785/statm: 1969 1592 346 251 0 1270 0 Current children cumulated CPU time (s) 77.5 Current children cumulated vsize (KiB) 10252 Child status: 0 Real time (s): 75.5489 CPU time (s): 77.5168 CPU user time (s): 77.0448 CPU system time (s): 0.472029 CPU usage (%): 102.605 Max. virtual memory (cumulated for all children) (KiB): 890204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 77.0448 system time used= 0.472029 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 73434 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= 489 involuntary context switches= 1098 runsolver used 0.004 second user time and 0.020001 second system time The end