runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2681808-1277495447/watcher-2681808-1277495447 -o /tmp/evaluation-result-2681808-1277495447/solver-2681808-1277495447 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2681808-1277495447.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.10 1.06 1.01 3/105 30723
/proc/meminfo: memFree=1878156/2059040 swapFree=4139180/4192956
[pid=30723] ppid=30721 vsize=2280 CPUtime=0
/proc/30723/stat : 30723 (pbct) R 30721 30723 30372 0 -1 4202496 274 0 0 0 0 0 0 0 25 0 1 0 90838551 2334720 193 1992294400 134512640 136421960 4294203008 18446744073709551615 135873694 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30723/statm: 570 193 145 467 0 101 0

[startup+0.0276569 s]
/proc/loadavg: 1.10 1.06 1.01 3/105 30723
/proc/meminfo: memFree=1878156/2059040 swapFree=4139180/4192956
[pid=30723] ppid=30721 vsize=2280 CPUtime=0.02
/proc/30723/stat : 30723 (pbct) R 30721 30723 30372 0 -1 4202496 291 0 0 0 2 0 0 0 25 0 1 0 90838551 2334720 210 1992294400 134512640 136421960 4294203008 18446744073709551615 135158942 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30723/statm: 570 210 145 467 0 101 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2280

[startup+0.100665 s]
/proc/loadavg: 1.10 1.06 1.01 3/105 30723
/proc/meminfo: memFree=1878156/2059040 swapFree=4139180/4192956
[pid=30723] ppid=30721 vsize=6260 CPUtime=0.09
/proc/30723/stat : 30723 (pbct) R 30721 30723 30372 0 -1 4202496 1253 0 0 0 9 0 0 0 25 0 1 0 90838551 6410240 1172 1992294400 134512640 136421960 4294203008 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30723/statm: 1565 1174 189 467 0 1096 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6260

[startup+0.300687 s]
/proc/loadavg: 1.10 1.06 1.01 3/105 30723
/proc/meminfo: memFree=1878156/2059040 swapFree=4139180/4192956
[pid=30723] ppid=30721 vsize=31988 CPUtime=0.29
/proc/30723/stat : 30723 (pbct) R 30721 30723 30372 0 -1 4202496 7821 0 0 0 26 3 0 0 25 0 1 0 90838551 32755712 7486 1992294400 134512640 136421960 4294203008 18446744073709551615 134931666 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30723/statm: 7997 7486 204 467 0 7528 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31988

[startup+0.700733 s]
/proc/loadavg: 1.10 1.06 1.01 3/105 30723
/proc/meminfo: memFree=1878156/2059040 swapFree=4139180/4192956
[pid=30723] ppid=30721 vsize=33012 CPUtime=0.69
/proc/30723/stat : 30723 (pbct) R 30721 30723 30372 0 -1 4202496 8107 0 0 0 51 18 0 0 25 0 1 0 90838551 33804288 7769 1992294400 134512640 136421960 4294203008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30723/statm: 8253 7769 237 467 0 7784 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33012

[startup+1.50082 s]
/proc/loadavg: 1.09 1.06 1.01 2/106 30724
/proc/meminfo: memFree=1847768/2059040 swapFree=4139180/4192956
[pid=30723] ppid=30721 vsize=33012 CPUtime=1.49
/proc/30723/stat : 30723 (pbct) R 30721 30723 30372 0 -1 4202496 8108 0 0 0 100 49 0 0 25 0 1 0 90838551 33804288 7769 1992294400 134512640 136421960 4294203008 18446744073709551615 135025418 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30723/statm: 8253 7769 237 467 0 7784 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33012

[startup+3.101 s]
/proc/loadavg: 1.09 1.06 1.01 2/106 30724
/proc/meminfo: memFree=1847520/2059040 swapFree=4139180/4192956
[pid=30723] ppid=30721 vsize=33408 CPUtime=3.09
/proc/30723/stat : 30723 (pbct) R 30721 30723 30372 0 -1 4202496 8185 0 0 0 199 110 0 0 25 0 1 0 90838551 34209792 7846 1992294400 134512640 136421960 4294203008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30723/statm: 8352 7846 237 467 0 7883 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33408

[startup+6.30137 s]
/proc/loadavg: 1.09 1.06 1.01 2/106 30724
/proc/meminfo: memFree=1846900/2059040 swapFree=4139180/4192956
[pid=30723] ppid=30721 vsize=33816 CPUtime=6.29
/proc/30723/stat : 30723 (pbct) R 30721 30723 30372 0 -1 4202496 8285 0 0 0 405 224 0 0 25 0 1 0 90838551 34627584 7946 1992294400 134512640 136421960 4294203008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30723/statm: 8454 7946 237 467 0 7985 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33816

[startup+12.7011 s]
/proc/loadavg: 1.07 1.06 1.01 2/106 30724
/proc/meminfo: memFree=1846528/2059040 swapFree=4139180/4192956
[pid=30723] ppid=30721 vsize=33948 CPUtime=12.69
/proc/30723/stat : 30723 (pbct) R 30721 30723 30372 0 -1 4202496 8346 0 0 0 810 459 0 0 25 0 1 0 90838551 34762752 8006 1992294400 134512640 136421960 4294203008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30723/statm: 8487 8006 237 467 0 8018 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33948

[startup+25.5015 s]
/proc/loadavg: 1.06 1.06 1.01 2/106 30726
/proc/meminfo: memFree=1846528/2059040 swapFree=4139180/4192956
[pid=30723] ppid=30721 vsize=34080 CPUtime=25.48
/proc/30723/stat : 30723 (pbct) R 30721 30723 30372 0 -1 4202496 8356 0 0 0 1618 930 0 0 25 0 1 0 90838551 34897920 8016 1992294400 134512640 136421960 4294203008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30723/statm: 8520 8016 237 467 0 8051 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 34080

[startup+51.1014 s]
/proc/loadavg: 1.04 1.05 1.01 2/106 30726
/proc/meminfo: memFree=1846032/2059040 swapFree=4139180/4192956
[pid=30723] ppid=30721 vsize=34608 CPUtime=51.08
/proc/30723/stat : 30723 (pbct) R 30721 30723 30372 0 -1 4202496 8485 0 0 0 3215 1893 0 0 25 0 1 0 90838551 35438592 8145 1992294400 134512640 136421960 4294203008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30723/statm: 8652 8145 237 467 0 8183 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 34608

[startup+102.309 s]
/proc/loadavg: 1.01 1.04 1.00 2/106 30728
/proc/meminfo: memFree=1845660/2059040 swapFree=4139180/4192956
[pid=30723] ppid=30721 vsize=34608 CPUtime=102.27
/proc/30723/stat : 30723 (pbct) R 30721 30723 30372 0 -1 4202496 8505 0 0 0 6409 3818 0 0 25 0 1 0 90838551 35438592 8165 1992294400 134512640 136421960 4294203008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30723/statm: 8652 8165 237 467 0 8183 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 34608

[startup+162.302 s]
/proc/loadavg: 1.00 1.03 1.00 2/106 30728
/proc/meminfo: memFree=1845164/2059040 swapFree=4139180/4192956
[pid=30723] ppid=30721 vsize=35136 CPUtime=162.25
/proc/30723/stat : 30723 (pbct) R 30721 30723 30372 0 -1 4202496 8623 0 0 0 10188 6037 0 0 25 0 1 0 90838551 35979264 8283 1992294400 134512640 136421960 4294203008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30723/statm: 8784 8283 237 467 0 8315 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 35136

[startup+222.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 30730
/proc/meminfo: memFree=1845040/2059040 swapFree=4139180/4192956
[pid=30723] ppid=30721 vsize=35268 CPUtime=222.22
/proc/30723/stat : 30723 (pbct) R 30721 30723 30372 0 -1 4202496 8670 0 0 0 13966 8256 0 0 25 0 1 0 90838551 36114432 8330 1992294400 134512640 136421960 4294203008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30723/statm: 8817 8330 237 467 0 8348 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 35268

[startup+282.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 30732
/proc/meminfo: memFree=1844296/2059040 swapFree=4139180/4192956
[pid=30723] ppid=30721 vsize=36060 CPUtime=282.21
/proc/30723/stat : 30723 (pbct) R 30721 30723 30372 0 -1 4202496 8845 0 0 0 17753 10468 0 0 25 0 1 0 90838551 36925440 8505 1992294400 134512640 136421960 4294203008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30723/statm: 9015 8505 237 467 0 8546 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 36060

[startup+342.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 30734
/proc/meminfo: memFree=1844296/2059040 swapFree=4139180/4192956
[pid=30723] ppid=30721 vsize=36060 CPUtime=342.19
/proc/30723/stat : 30723 (pbct) R 30721 30723 30372 0 -1 4202496 8852 0 0 0 21539 12680 0 0 25 0 1 0 90838551 36925440 8512 1992294400 134512640 136421960 4294203008 18446744073709551615 134973951 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30723/statm: 9015 8512 237 467 0 8546 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 36060

[startup+402.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 30736
/proc/meminfo: memFree=1844172/2059040 swapFree=4139180/4192956
[pid=30723] ppid=30721 vsize=36192 CPUtime=402.17
/proc/30723/stat : 30723 (pbct) R 30721 30723 30372 0 -1 4202496 8887 0 0 0 25316 14901 0 0 25 0 1 0 90838551 37060608 8547 1992294400 134512640 136421960 4294203008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30723/statm: 9048 8547 237 467 0 8579 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 36192

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30736
/proc/meminfo: memFree=1843552/2059040 swapFree=4139180/4192956
[pid=30723] ppid=30721 vsize=36720 CPUtime=462.15
/proc/30723/stat : 30723 (pbct) R 30721 30723 30372 0 -1 4202496 9027 0 0 0 29130 17085 0 0 25 0 1 0 90838551 37601280 8687 1992294400 134512640 136421960 4294203008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30723/statm: 9180 8687 237 467 0 8711 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 36720

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30738
/proc/meminfo: memFree=1843552/2059040 swapFree=4139180/4192956
[pid=30723] ppid=30721 vsize=36720 CPUtime=522.13
/proc/30723/stat : 30723 (pbct) R 30721 30723 30372 0 -1 4202496 9027 0 0 0 32904 19309 0 0 25 0 1 0 90838551 37601280 8687 1992294400 134512640 136421960 4294203008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30723/statm: 9180 8687 237 467 0 8711 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 36720

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30740
/proc/meminfo: memFree=1843304/2059040 swapFree=4139180/4192956
[pid=30723] ppid=30721 vsize=36852 CPUtime=582.11
/proc/30723/stat : 30723 (pbct) R 30721 30723 30372 0 -1 4202496 9056 0 0 0 36689 21522 0 0 25 0 1 0 90838551 37736448 8716 1992294400 134512640 136421960 4294203008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30723/statm: 9213 8716 237 467 0 8744 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 36852

[startup+642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30751
/proc/meminfo: memFree=1841940/2059040 swapFree=4139180/4192956
[pid=30723] ppid=30721 vsize=37644 CPUtime=642.09
/proc/30723/stat : 30723 (pbct) R 30721 30723 30372 0 -1 4202496 9248 0 0 0 40528 23681 0 0 25 0 1 0 90838551 38547456 8908 1992294400 134512640 136421960 4294203008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30723/statm: 9411 8908 237 467 0 8942 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 37644

[startup+702.301 s]

################
# More data... #
################

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30755
/proc/meminfo: memFree=1841692/2059040 swapFree=4139180/4192956
[pid=30723] ppid=30721 vsize=37908 CPUtime=822.02
/proc/30723/stat : 30723 (pbct) R 30721 30723 30372 0 -1 4202496 9316 0 0 0 51914 30288 0 0 25 0 1 0 90838551 38817792 8976 1992294400 134512640 136421960 4294203008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30723/statm: 9477 8976 237 467 0 9008 0
Current children cumulated CPU time (s) 822.02
Current children cumulated vsize (KiB) 37908

[startup+882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30757
/proc/meminfo: memFree=1841692/2059040 swapFree=4139180/4192956
[pid=30723] ppid=30721 vsize=37908 CPUtime=882.01
/proc/30723/stat : 30723 (pbct) R 30721 30723 30372 0 -1 4202496 9316 0 0 0 55764 32437 0 0 25 0 1 0 90838551 38817792 8976 1992294400 134512640 136421960 4294203008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30723/statm: 9477 8976 237 467 0 9008 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 37908

[startup+942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30759
/proc/meminfo: memFree=1841692/2059040 swapFree=4139180/4192956
[pid=30723] ppid=30721 vsize=37908 CPUtime=941.98
/proc/30723/stat : 30723 (pbct) R 30721 30723 30372 0 -1 4202496 9316 0 0 0 59543 34655 0 0 25 0 1 0 90838551 38817792 8976 1992294400 134512640 136421960 4294203008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30723/statm: 9477 8976 237 467 0 9008 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 37908

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30761
/proc/meminfo: memFree=1841692/2059040 swapFree=4139180/4192956
[pid=30723] ppid=30721 vsize=37908 CPUtime=1001.97
/proc/30723/stat : 30723 (pbct) R 30721 30723 30372 0 -1 4202496 9316 0 0 0 63337 36860 0 0 25 0 1 0 90838551 38817792 8976 1992294400 134512640 136421960 4294203008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30723/statm: 9477 8976 237 467 0 9008 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 37908

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30761
/proc/meminfo: memFree=1841692/2059040 swapFree=4139180/4192956
[pid=30723] ppid=30721 vsize=37908 CPUtime=1061.95
/proc/30723/stat : 30723 (pbct) R 30721 30723 30372 0 -1 4202496 9316 0 0 0 67123 39072 0 0 25 0 1 0 90838551 38817792 8976 1992294400 134512640 136421960 4294203008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30723/statm: 9477 8976 237 467 0 9008 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 37908

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30763
/proc/meminfo: memFree=1841692/2059040 swapFree=4139180/4192956
[pid=30723] ppid=30721 vsize=38040 CPUtime=1121.93
/proc/30723/stat : 30723 (pbct) R 30721 30723 30372 0 -1 4202496 9371 0 0 0 70925 41268 0 0 25 0 1 0 90838551 38952960 9031 1992294400 134512640 136421960 4294203008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30723/statm: 9510 9031 237 467 0 9041 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 38040

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30765
/proc/meminfo: memFree=1841320/2059040 swapFree=4139180/4192956
[pid=30723] ppid=30721 vsize=38436 CPUtime=1181.91
/proc/30723/stat : 30723 (pbct) R 30721 30723 30372 0 -1 4202496 9450 0 0 0 74787 43404 0 0 25 0 1 0 90838551 39358464 9110 1992294400 134512640 136421960 4294203008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30723/statm: 9609 9110 237 467 0 9140 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 38436

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30767
/proc/meminfo: memFree=1840700/2059040 swapFree=4139180/4192956
[pid=30723] ppid=30721 vsize=38832 CPUtime=1241.89
/proc/30723/stat : 30723 (pbct) R 30721 30723 30372 0 -1 4202496 9555 0 0 0 78613 45576 0 0 25 0 1 0 90838551 39763968 9215 1992294400 134512640 136421960 4294203008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30723/statm: 9708 9215 237 467 0 9239 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 38832

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30769
/proc/meminfo: memFree=1840452/2059040 swapFree=4139180/4192956
[pid=30723] ppid=30721 vsize=39096 CPUtime=1301.88
/proc/30723/stat : 30723 (pbct) R 30721 30723 30372 0 -1 4202496 9607 0 0 0 82421 47767 0 0 25 0 1 0 90838551 40034304 9267 1992294400 134512640 136421960 4294203008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30723/statm: 9774 9267 237 467 0 9305 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 39096

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30769
/proc/meminfo: memFree=1840452/2059040 swapFree=4139180/4192956
[pid=30723] ppid=30721 vsize=39096 CPUtime=1361.85
/proc/30723/stat : 30723 (pbct) R 30721 30723 30372 0 -1 4202496 9607 0 0 0 86253 49932 0 0 25 0 1 0 90838551 40034304 9267 1992294400 134512640 136421960 4294203008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30723/statm: 9774 9267 237 467 0 9305 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 39096

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30771
/proc/meminfo: memFree=1840452/2059040 swapFree=4139180/4192956
[pid=30723] ppid=30721 vsize=39096 CPUtime=1421.83
/proc/30723/stat : 30723 (pbct) R 30721 30723 30372 0 -1 4202496 9607 0 0 0 90060 52123 0 0 25 0 1 0 90838551 40034304 9267 1992294400 134512640 136421960 4294203008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30723/statm: 9774 9267 237 467 0 9305 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 39096

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30773
/proc/meminfo: memFree=1840328/2059040 swapFree=4139180/4192956
[pid=30723] ppid=30721 vsize=39096 CPUtime=1481.81
/proc/30723/stat : 30723 (pbct) R 30721 30723 30372 0 -1 4202496 9607 0 0 0 93858 54323 0 0 25 0 1 0 90838551 40034304 9267 1992294400 134512640 136421960 4294203008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30723/statm: 9774 9267 237 467 0 9305 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 39096

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30775
/proc/meminfo: memFree=1840328/2059040 swapFree=4139180/4192956
[pid=30723] ppid=30721 vsize=39096 CPUtime=1541.79
/proc/30723/stat : 30723 (pbct) R 30721 30723 30372 0 -1 4202496 9607 0 0 0 97683 56496 0 0 25 0 1 0 90838551 40034304 9267 1992294400 134512640 136421960 4294203008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30723/statm: 9774 9267 237 467 0 9305 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 39096

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30777
/proc/meminfo: memFree=1840204/2059040 swapFree=4139180/4192956
[pid=30723] ppid=30721 vsize=39096 CPUtime=1601.77
/proc/30723/stat : 30723 (pbct) R 30721 30723 30372 0 -1 4202496 9607 0 0 0 101509 58668 0 0 25 0 1 0 90838551 40034304 9267 1992294400 134512640 136421960 4294203008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30723/statm: 9774 9267 237 467 0 9305 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 39096

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30777
/proc/meminfo: memFree=1840204/2059040 swapFree=4139180/4192956
[pid=30723] ppid=30721 vsize=39096 CPUtime=1661.75
/proc/30723/stat : 30723 (pbct) R 30721 30723 30372 0 -1 4202496 9614 0 0 0 105296 60879 0 0 25 0 1 0 90838551 40034304 9274 1992294400 134512640 136421960 4294203008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30723/statm: 9774 9274 237 467 0 9305 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 39096

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30779
/proc/meminfo: memFree=1840080/2059040 swapFree=4139180/4192956
[pid=30723] ppid=30721 vsize=39360 CPUtime=1721.74
/proc/30723/stat : 30723 (pbct) R 30721 30723 30372 0 -1 4202496 9681 0 0 0 109109 63065 0 0 25 0 1 0 90838551 40304640 9341 1992294400 134512640 136421960 4294203008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30723/statm: 9840 9341 237 467 0 9371 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 39360

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30781
/proc/meminfo: memFree=1839832/2059040 swapFree=4139180/4192956
[pid=30723] ppid=30721 vsize=39360 CPUtime=1781.71
/proc/30723/stat : 30723 (pbct) R 30721 30723 30372 0 -1 4202496 9681 0 0 0 112903 65268 0 0 25 0 1 0 90838551 40304640 9341 1992294400 134512640 136421960 4294203008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30723/statm: 9840 9341 237 467 0 9371 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 39360



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30781
/proc/meminfo: memFree=1839832/2059040 swapFree=4139180/4192956
[pid=30723] ppid=30721 vsize=39360 CPUtime=1800.02
/proc/30723/stat : 30723 (pbct) R 30721 30723 30372 0 -1 4202496 9681 0 0 0 114055 65947 0 0 25 0 1 0 90838551 40304640 9341 1992294400 134512640 136421960 4294203008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30723/statm: 9840 9341 237 467 0 9371 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 39360

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 0
Real time (s): 1800.62
CPU time (s): 1800.04
CPU user time (s): 1140.55
CPU system time (s): 659.485
CPU usage (%): 99.9676
Max. virtual memory (cumulated for all children) (KiB): 39360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1140.55
system time used= 659.485
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9682
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= 1
involuntary context switches= 5124

runsolver used 2.90056 second user time and 8.5777 second system time

The end