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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2682302-1277484650/watcher-2682302-1277484650 -o /tmp/evaluation-result-2682302-1277484650/solver-2682302-1277484650 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682302-1277484650.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.00 1.00 0.92 2/105 29856
/proc/meminfo: memFree=1866848/2059040 swapFree=4135840/4192956
[pid=29856] ppid=29854 vsize=2416 CPUtime=0
/proc/29856/stat : 29856 (pbct) R 29854 29856 29150 0 -1 4202496 296 0 0 0 0 0 0 0 25 0 1 0 89758676 2473984 215 1992294400 134512640 136421960 4291690320 18446744073709551615 135160329 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29856/statm: 604 216 138 467 0 135 0

[startup+0.0731091 s]
/proc/loadavg: 1.00 1.00 0.92 2/105 29856
/proc/meminfo: memFree=1866848/2059040 swapFree=4135840/4192956
[pid=29856] ppid=29854 vsize=6652 CPUtime=0.06
/proc/29856/stat : 29856 (pbct) R 29854 29856 29150 0 -1 4202496 1345 0 0 0 6 0 0 0 25 0 1 0 89758676 6811648 1264 1992294400 134512640 136421960 4291690320 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29856/statm: 1663 1268 188 467 0 1194 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6652

[startup+0.101112 s]
/proc/loadavg: 1.00 1.00 0.92 2/105 29856
/proc/meminfo: memFree=1866848/2059040 swapFree=4135840/4192956
[pid=29856] ppid=29854 vsize=9576 CPUtime=0.09
/proc/29856/stat : 29856 (pbct) R 29854 29856 29150 0 -1 4202496 2090 0 0 0 9 0 0 0 25 0 1 0 89758676 9805824 2009 1992294400 134512640 136421960 4291690320 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29856/statm: 2394 2010 194 467 0 1925 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9576

[startup+0.301175 s]
/proc/loadavg: 1.00 1.00 0.92 2/105 29856
/proc/meminfo: memFree=1866848/2059040 swapFree=4135840/4192956
[pid=29856] ppid=29854 vsize=24328 CPUtime=0.29
/proc/29856/stat : 29856 (pbct) R 29854 29856 29150 0 -1 4202496 5849 0 0 0 26 3 0 0 25 0 1 0 89758676 24911872 5702 1992294400 134512640 136421960 4291690320 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29856/statm: 6082 5704 194 467 0 5613 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24328

[startup+0.701178 s]
/proc/loadavg: 1.00 1.00 0.92 2/105 29856
/proc/meminfo: memFree=1866848/2059040 swapFree=4135840/4192956
[pid=29856] ppid=29854 vsize=49292 CPUtime=0.69
/proc/29856/stat : 29856 (pbct) R 29854 29856 29150 0 -1 4202496 12271 0 0 0 63 6 0 0 25 0 1 0 89758676 50475008 11526 1992294400 134512640 136421960 4291690320 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29856/statm: 12323 11526 217 467 0 11854 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49292

[startup+1.50127 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29857
/proc/meminfo: memFree=1821332/2059040 swapFree=4135840/4192956
[pid=29856] ppid=29854 vsize=49820 CPUtime=1.49
/proc/29856/stat : 29856 (pbct) R 29854 29856 29150 0 -1 4202496 12397 0 0 0 134 15 0 0 25 0 1 0 89758676 51015680 11652 1992294400 134512640 136421960 4291690320 18446744073709551615 134868284 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29856/statm: 12455 11652 217 467 0 11986 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49820

[startup+3.10144 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29857
/proc/meminfo: memFree=1820092/2059040 swapFree=4135840/4192956
[pid=29856] ppid=29854 vsize=51140 CPUtime=3.09
/proc/29856/stat : 29856 (pbct) R 29854 29856 29150 0 -1 4202496 12734 0 0 0 275 34 0 0 25 0 1 0 89758676 52367360 11989 1992294400 134512640 136421960 4291690320 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29856/statm: 12785 11989 217 467 0 12316 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 51140

[startup+6.30184 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29857
/proc/meminfo: memFree=1817860/2059040 swapFree=4135840/4192956
[pid=29856] ppid=29854 vsize=53140 CPUtime=6.29
/proc/29856/stat : 29856 (pbct) R 29854 29856 29150 0 -1 4202496 13245 0 0 0 559 70 0 0 25 0 1 0 89758676 54415360 12500 1992294400 134512640 136421960 4291690320 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29856/statm: 13285 12500 217 467 0 12816 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 53140

[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29857
/proc/meminfo: memFree=1814512/2059040 swapFree=4135840/4192956
[pid=29856] ppid=29854 vsize=55796 CPUtime=12.69
/proc/29856/stat : 29856 (pbct) R 29854 29856 29150 0 -1 4202496 13907 0 0 0 1132 137 0 0 25 0 1 0 89758676 57135104 13162 1992294400 134512640 136421960 4291690320 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29856/statm: 13949 13162 217 467 0 13480 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 55796

[startup+25.5009 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29857
/proc/meminfo: memFree=1814264/2059040 swapFree=4135840/4192956
[pid=29856] ppid=29854 vsize=56192 CPUtime=25.49
/proc/29856/stat : 29856 (pbct) R 29854 29856 29150 0 -1 4202496 14007 0 0 0 2277 272 0 0 25 0 1 0 89758676 57540608 13262 1992294400 134512640 136421960 4291690320 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29856/statm: 14048 13262 217 467 0 13579 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 56192

[startup+51.1008 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29859
/proc/meminfo: memFree=1811288/2059040 swapFree=4135840/4192956
[pid=29856] ppid=29854 vsize=59056 CPUtime=51.08
/proc/29856/stat : 29856 (pbct) R 29854 29856 29150 0 -1 4202496 14720 0 0 0 4579 529 0 0 25 0 1 0 89758676 60473344 13975 1992294400 134512640 136421960 4291690320 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29856/statm: 14764 13975 217 467 0 14295 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 59056

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29861
/proc/meminfo: memFree=1810792/2059040 swapFree=4135840/4192956
[pid=29856] ppid=29854 vsize=59452 CPUtime=102.27
/proc/29856/stat : 29856 (pbct) R 29854 29856 29150 0 -1 4202496 14801 0 0 0 9154 1073 0 0 25 0 1 0 89758676 60878848 14056 1992294400 134512640 136421960 4291690320 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29856/statm: 14863 14056 217 467 0 14394 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 59452

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29861
/proc/meminfo: memFree=1808560/2059040 swapFree=4135840/4192956
[pid=29856] ppid=29854 vsize=61564 CPUtime=162.24
/proc/29856/stat : 29856 (pbct) R 29854 29856 29150 0 -1 4202496 15336 0 0 0 14548 1676 0 0 25 0 1 0 89758676 63041536 14591 1992294400 134512640 136421960 4291690320 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29856/statm: 15391 14591 217 467 0 14922 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 61564

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29863
/proc/meminfo: memFree=1808560/2059040 swapFree=4135840/4192956
[pid=29856] ppid=29854 vsize=61564 CPUtime=222.22
/proc/29856/stat : 29856 (pbct) R 29854 29856 29150 0 -1 4202496 15336 0 0 0 19942 2280 0 0 25 0 1 0 89758676 63041536 14591 1992294400 134512640 136421960 4291690320 18446744073709551615 135020787 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29856/statm: 15391 14591 217 467 0 14922 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 61564

[startup+282.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29865
/proc/meminfo: memFree=1807072/2059040 swapFree=4135840/4192956
[pid=29856] ppid=29854 vsize=63496 CPUtime=282.2
/proc/29856/stat : 29856 (pbct) R 29854 29856 29150 0 -1 4202496 15800 0 0 0 25329 2891 0 0 25 0 1 0 89758676 65019904 14974 1992294400 134512640 136421960 4291690320 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29856/statm: 15874 14974 239 467 0 15405 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 63496

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29867
/proc/meminfo: memFree=1807072/2059040 swapFree=4135840/4192956
[pid=29856] ppid=29854 vsize=63496 CPUtime=342.19
/proc/29856/stat : 29856 (pbct) R 29854 29856 29150 0 -1 4202496 15800 0 0 0 30693 3526 0 0 25 0 1 0 89758676 65019904 14974 1992294400 134512640 136421960 4291690320 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29856/statm: 15874 14974 239 467 0 15405 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 63496

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29869
/proc/meminfo: memFree=1807072/2059040 swapFree=4135840/4192956
[pid=29856] ppid=29854 vsize=63496 CPUtime=402.17
/proc/29856/stat : 29856 (pbct) R 29854 29856 29150 0 -1 4202496 15800 0 0 0 36057 4160 0 0 25 0 1 0 89758676 65019904 14974 1992294400 134512640 136421960 4291690320 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29856/statm: 15874 14974 239 467 0 15405 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 63496

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29869
/proc/meminfo: memFree=1807072/2059040 swapFree=4135840/4192956
[pid=29856] ppid=29854 vsize=63496 CPUtime=462.15
/proc/29856/stat : 29856 (pbct) R 29854 29856 29150 0 -1 4202496 15800 0 0 0 41448 4767 0 0 25 0 1 0 89758676 65019904 14974 1992294400 134512640 136421960 4291690320 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29856/statm: 15874 14974 239 467 0 15405 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 63496

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29871
/proc/meminfo: memFree=1807072/2059040 swapFree=4135840/4192956
[pid=29856] ppid=29854 vsize=63496 CPUtime=522.13
/proc/29856/stat : 29856 (pbct) R 29854 29856 29150 0 -1 4202496 15800 0 0 0 46884 5329 0 0 25 0 1 0 89758676 65019904 14974 1992294400 134512640 136421960 4291690320 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29856/statm: 15874 14974 239 467 0 15405 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 63496

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29873
/proc/meminfo: memFree=1807072/2059040 swapFree=4135840/4192956
[pid=29856] ppid=29854 vsize=63496 CPUtime=582.12
/proc/29856/stat : 29856 (pbct) R 29854 29856 29150 0 -1 4202496 15800 0 0 0 52285 5927 0 0 25 0 1 0 89758676 65019904 14974 1992294400 134512640 136421960 4291690320 18446744073709551615 135020787 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29856/statm: 15874 14974 239 467 0 15405 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 63496

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29884
/proc/meminfo: memFree=1806080/2059040 swapFree=4135840/4192956
[pid=29856] ppid=29854 vsize=63496 CPUtime=642.09
/proc/29856/stat : 29856 (pbct) R 29854 29856 29150 0 -1 4202496 15800 0 0 0 57684 6525 0 0 25 0 1 0 89758676 65019904 14974 1992294400 134512640 136421960 4291690320 18446744073709551615 134870298 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29856/statm: 15874 14974 239 467 0 15405 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 63496

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29888
/proc/meminfo: memFree=1806080/2059040 swapFree=4135840/4192956
[pid=29856] ppid=29854 vsize=63496 CPUtime=822.03
/proc/29856/stat : 29856 (pbct) R 29854 29856 29150 0 -1 4202496 15800 0 0 0 73865 8338 0 0 25 0 1 0 89758676 65019904 14974 1992294400 134512640 136421960 4291690320 18446744073709551615 134868254 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29856/statm: 15874 14974 239 467 0 15405 0
Current children cumulated CPU time (s) 822.03
Current children cumulated vsize (KiB) 63496

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29890
/proc/meminfo: memFree=1806080/2059040 swapFree=4135840/4192956
[pid=29856] ppid=29854 vsize=63496 CPUtime=882.01
/proc/29856/stat : 29856 (pbct) R 29854 29856 29150 0 -1 4202496 15800 0 0 0 79266 8935 0 0 25 0 1 0 89758676 65019904 14974 1992294400 134512640 136421960 4291690320 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29856/statm: 15874 14974 239 467 0 15405 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 63496

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29892
/proc/meminfo: memFree=1806080/2059040 swapFree=4135840/4192956
[pid=29856] ppid=29854 vsize=63496 CPUtime=942
/proc/29856/stat : 29856 (pbct) R 29854 29856 29150 0 -1 4202496 15800 0 0 0 84613 9587 0 0 25 0 1 0 89758676 65019904 14974 1992294400 134512640 136421960 4291690320 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29856/statm: 15874 14974 239 467 0 15405 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 63496

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29894
/proc/meminfo: memFree=1806080/2059040 swapFree=4135840/4192956
[pid=29856] ppid=29854 vsize=63496 CPUtime=1001.97
/proc/29856/stat : 29856 (pbct) R 29854 29856 29150 0 -1 4202496 15800 0 0 0 89993 10204 0 0 25 0 1 0 89758676 65019904 14974 1992294400 134512640 136421960 4291690320 18446744073709551615 135026224 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29856/statm: 15874 14974 239 467 0 15405 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 63496

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29894
/proc/meminfo: memFree=1806080/2059040 swapFree=4135840/4192956
[pid=29856] ppid=29854 vsize=63496 CPUtime=1061.96
/proc/29856/stat : 29856 (pbct) R 29854 29856 29150 0 -1 4202496 15800 0 0 0 95427 10769 0 0 25 0 1 0 89758676 65019904 14974 1992294400 134512640 136421960 4291690320 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29856/statm: 15874 14974 239 467 0 15405 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 63496

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29896
/proc/meminfo: memFree=1806080/2059040 swapFree=4135840/4192956
[pid=29856] ppid=29854 vsize=63496 CPUtime=1121.94
/proc/29856/stat : 29856 (pbct) R 29854 29856 29150 0 -1 4202496 15800 0 0 0 100831 11363 0 0 25 0 1 0 89758676 65019904 14974 1992294400 134512640 136421960 4291690320 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29856/statm: 15874 14974 239 467 0 15405 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 63496

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29898
/proc/meminfo: memFree=1806080/2059040 swapFree=4135840/4192956
[pid=29856] ppid=29854 vsize=63496 CPUtime=1181.92
/proc/29856/stat : 29856 (pbct) R 29854 29856 29150 0 -1 4202496 15800 0 0 0 106258 11934 0 0 25 0 1 0 89758676 65019904 14974 1992294400 134512640 136421960 4291690320 18446744073709551615 135006071 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29856/statm: 15874 14974 239 467 0 15405 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 63496

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29900
/proc/meminfo: memFree=1804964/2059040 swapFree=4135840/4192956
[pid=29856] ppid=29854 vsize=64948 CPUtime=1241.9
/proc/29856/stat : 29856 (pbct) R 29854 29856 29150 0 -1 4202496 16185 0 0 0 111682 12508 0 0 25 0 1 0 89758676 66506752 15358 1992294400 134512640 136421960 4291690320 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29856/statm: 16237 15358 239 467 0 15768 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 64948

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29902
/proc/meminfo: memFree=1804964/2059040 swapFree=4135840/4192956
[pid=29856] ppid=29854 vsize=64948 CPUtime=1301.9
/proc/29856/stat : 29856 (pbct) R 29854 29856 29150 0 -1 4202496 16185 0 0 0 117069 13121 0 0 25 0 1 0 89758676 66506752 15358 1992294400 134512640 136421960 4291690320 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29856/statm: 16237 15358 239 467 0 15768 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 64948

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29902
/proc/meminfo: memFree=1804964/2059040 swapFree=4135840/4192956
[pid=29856] ppid=29854 vsize=64948 CPUtime=1361.87
/proc/29856/stat : 29856 (pbct) R 29854 29856 29150 0 -1 4202496 16185 0 0 0 122472 13715 0 0 25 0 1 0 89758676 66506752 15358 1992294400 134512640 136421960 4291690320 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29856/statm: 16237 15358 239 467 0 15768 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 64948

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29904
/proc/meminfo: memFree=1804964/2059040 swapFree=4135840/4192956
[pid=29856] ppid=29854 vsize=64948 CPUtime=1421.85
/proc/29856/stat : 29856 (pbct) R 29854 29856 29150 0 -1 4202496 16185 0 0 0 127872 14313 0 0 25 0 1 0 89758676 66506752 15358 1992294400 134512640 136421960 4291690320 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29856/statm: 16237 15358 239 467 0 15768 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 64948

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29906
/proc/meminfo: memFree=1804964/2059040 swapFree=4135840/4192956
[pid=29856] ppid=29854 vsize=64948 CPUtime=1481.83
/proc/29856/stat : 29856 (pbct) R 29854 29856 29150 0 -1 4202496 16186 0 0 0 133263 14920 0 0 25 0 1 0 89758676 66506752 15358 1992294400 134512640 136421960 4291690320 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29856/statm: 16237 15358 239 467 0 15768 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 64948

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29908
/proc/meminfo: memFree=1804964/2059040 swapFree=4135840/4192956
[pid=29856] ppid=29854 vsize=64948 CPUtime=1541.81
/proc/29856/stat : 29856 (pbct) R 29854 29856 29150 0 -1 4202496 16186 0 0 0 138639 15542 0 0 25 0 1 0 89758676 66506752 15358 1992294400 134512640 136421960 4291690320 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29856/statm: 16237 15358 239 467 0 15768 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 64948

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29910
/proc/meminfo: memFree=1804964/2059040 swapFree=4135840/4192956
[pid=29856] ppid=29854 vsize=64948 CPUtime=1601.8
/proc/29856/stat : 29856 (pbct) R 29854 29856 29150 0 -1 4202496 16186 0 0 0 144019 16161 0 0 25 0 1 0 89758676 66506752 15358 1992294400 134512640 136421960 4291690320 18446744073709551615 134597393 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29856/statm: 16237 15358 239 467 0 15768 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 64948

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29910
/proc/meminfo: memFree=1804964/2059040 swapFree=4135840/4192956
[pid=29856] ppid=29854 vsize=64948 CPUtime=1661.78
/proc/29856/stat : 29856 (pbct) R 29854 29856 29150 0 -1 4202496 16186 0 0 0 149372 16806 0 0 25 0 1 0 89758676 66506752 15358 1992294400 134512640 136421960 4291690320 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29856/statm: 16237 15358 239 467 0 15768 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 64948

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29912
/proc/meminfo: memFree=1804964/2059040 swapFree=4135840/4192956
[pid=29856] ppid=29854 vsize=64948 CPUtime=1721.76
/proc/29856/stat : 29856 (pbct) R 29854 29856 29150 0 -1 4202496 16186 0 0 0 154819 17357 0 0 25 0 1 0 89758676 66506752 15358 1992294400 134512640 136421960 4291690320 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29856/statm: 16237 15358 239 467 0 15768 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 64948

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29914
/proc/meminfo: memFree=1804840/2059040 swapFree=4135840/4192956
[pid=29856] ppid=29854 vsize=64948 CPUtime=1781.74
/proc/29856/stat : 29856 (pbct) R 29854 29856 29150 0 -1 4202496 16186 0 0 0 160294 17880 0 0 25 0 1 0 89758676 66506752 15358 1992294400 134512640 136421960 4291690320 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29856/statm: 16237 15358 239 467 0 15768 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 64948



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29914
/proc/meminfo: memFree=1804716/2059040 swapFree=4135840/4192956
[pid=29856] ppid=29854 vsize=64948 CPUtime=1800.05
/proc/29856/stat : 29856 (pbct) R 29854 29856 29150 0 -1 4202496 16186 0 0 0 161952 18053 0 0 25 0 1 0 89758676 66506752 15358 1992294400 134512640 136421960 4291690320 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29856/statm: 16237 15358 239 467 0 15768 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 64948

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.07
CPU user time (s): 1619.52
CPU system time (s): 180.546
CPU usage (%): 99.9692
Max. virtual memory (cumulated for all children) (KiB): 64948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1619.52
system time used= 180.546
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16187
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= 6574

runsolver used 3.19451 second user time and 8.28474 second system time

The end