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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2682088-1277482983/watcher-2682088-1277482983 -o /tmp/evaluation-result-2682088-1277482983/solver-2682088-1277482983 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682088-1277482983.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: 0.92 0.97 0.91 2/106 28300
/proc/meminfo: memFree=1804812/2059040 swapFree=4140380/4192956
[pid=28300] ppid=28298 vsize=2280 CPUtime=0
/proc/28300/stat : 28300 (pbct) R 28298 28300 27889 0 -1 4202496 272 0 0 0 0 0 0 0 24 0 1 0 89590721 2334720 192 1992294400 134512640 136421960 4294792528 18446744073709551615 135377252 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28300/statm: 570 192 145 467 0 101 0

[startup+0.0690719 s]
/proc/loadavg: 0.92 0.97 0.91 2/106 28300
/proc/meminfo: memFree=1804812/2059040 swapFree=4140380/4192956
[pid=28300] ppid=28298 vsize=2428 CPUtime=0.06
/proc/28300/stat : 28300 (pbct) R 28298 28300 27889 0 -1 4202496 331 0 0 0 6 0 0 0 24 0 1 0 89590721 2486272 251 1992294400 134512640 136421960 4294792528 18446744073709551615 135873694 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28300/statm: 607 251 145 467 0 138 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2428

[startup+0.101074 s]
/proc/loadavg: 0.92 0.97 0.91 2/106 28300
/proc/meminfo: memFree=1804812/2059040 swapFree=4140380/4192956
[pid=28300] ppid=28298 vsize=2604 CPUtime=0.1
/proc/28300/stat : 28300 (pbct) R 28298 28300 27889 0 -1 4202496 363 0 0 0 10 0 0 0 24 0 1 0 89590721 2666496 283 1992294400 134512640 136421960 4294792528 18446744073709551615 135821971 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28300/statm: 651 283 145 467 0 182 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2604

[startup+0.301092 s]
/proc/loadavg: 0.92 0.97 0.91 2/106 28300
/proc/meminfo: memFree=1804812/2059040 swapFree=4140380/4192956
[pid=28300] ppid=28298 vsize=3524 CPUtime=0.29
/proc/28300/stat : 28300 (pbct) R 28298 28300 27889 0 -1 4202496 597 0 0 0 29 0 0 0 25 0 1 0 89590721 3608576 484 1992294400 134512640 136421960 4294792528 18446744073709551615 135805345 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28300/statm: 881 484 145 467 0 412 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3524

[startup+0.701127 s]
/proc/loadavg: 0.92 0.97 0.91 2/106 28300
/proc/meminfo: memFree=1804812/2059040 swapFree=4140380/4192956
[pid=28300] ppid=28298 vsize=5232 CPUtime=0.69
/proc/28300/stat : 28300 (pbct) R 28298 28300 27889 0 -1 4202496 1062 0 0 0 69 0 0 0 25 0 1 0 89590721 5357568 884 1992294400 134512640 136421960 4294792528 18446744073709551615 135372696 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28300/statm: 1308 884 145 467 0 839 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5232

[startup+1.5012 s]
/proc/loadavg: 0.92 0.97 0.91 2/107 28301
/proc/meminfo: memFree=1796992/2059040 swapFree=4140380/4192956
[pid=28300] ppid=28298 vsize=50520 CPUtime=1.49
/proc/28300/stat : 28300 (pbct) R 28298 28300 27889 0 -1 4202496 13130 0 0 0 144 5 0 0 25 0 1 0 89590721 51732480 12075 1992294400 134512640 136421960 4294792528 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28300/statm: 12630 12076 189 467 0 12161 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 50520

[startup+3.10134 s]
/proc/loadavg: 0.92 0.97 0.91 2/107 28301
/proc/meminfo: memFree=1639264/2059040 swapFree=4140380/4192956
[pid=28300] ppid=28298 vsize=186544 CPUtime=3.09
/proc/28300/stat : 28300 (pbct) R 28298 28300 27889 0 -1 4202496 48368 0 0 0 290 19 0 0 25 0 1 0 89590721 191021056 44482 1992294400 134512640 136421960 4294792528 18446744073709551615 134859688 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28300/statm: 46636 44482 236 467 0 46167 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 186544

[startup+6.30162 s]
/proc/loadavg: 0.93 0.97 0.91 2/107 28301
/proc/meminfo: memFree=1605288/2059040 swapFree=4140380/4192956
[pid=28300] ppid=28298 vsize=216228 CPUtime=6.29
/proc/28300/stat : 28300 (pbct) R 28298 28300 27889 0 -1 4202496 55779 0 0 0 604 25 0 0 25 0 1 0 89590721 221417472 51893 1992294400 134512640 136421960 4294792528 18446744073709551615 135022357 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28300/statm: 54057 51893 236 467 0 53588 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 216228

[startup+12.7012 s]
/proc/loadavg: 0.93 0.97 0.91 2/107 28301
/proc/meminfo: memFree=1547264/2059040 swapFree=4140380/4192956
[pid=28300] ppid=28298 vsize=272148 CPUtime=12.69
/proc/28300/stat : 28300 (pbct) R 28298 28300 27889 0 -1 4202496 69764 0 0 0 1231 38 0 0 25 0 1 0 89590721 278679552 65877 1992294400 134512640 136421960 4294792528 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28300/statm: 68037 65877 236 467 0 67568 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 272148

[startup+25.5003 s]
/proc/loadavg: 0.95 0.97 0.91 2/107 28301
/proc/meminfo: memFree=1445344/2059040 swapFree=4140380/4192956
[pid=28300] ppid=28298 vsize=370360 CPUtime=25.49
/proc/28300/stat : 28300 (pbct) R 28298 28300 27889 0 -1 4202496 94320 0 0 0 2487 62 0 0 25 0 1 0 89590721 379248640 90433 1992294400 134512640 136421960 4294792528 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28300/statm: 92590 90433 236 467 0 92121 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 370360

[startup+51.1006 s]
/proc/loadavg: 0.96 0.97 0.91 2/107 28303
/proc/meminfo: memFree=1334488/2059040 swapFree=4140380/4192956
[pid=28300] ppid=28298 vsize=478608 CPUtime=51.08
/proc/28300/stat : 28300 (pbct) R 28298 28300 27889 0 -1 4202496 121362 0 0 0 5009 99 0 0 25 0 1 0 89590721 490094592 117475 1992294400 134512640 136421960 4294792528 18446744073709551615 135022223 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28300/statm: 119652 117475 236 467 0 119183 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 478608

[startup+102.308 s]
/proc/loadavg: 0.98 0.97 0.91 2/107 28303
/proc/meminfo: memFree=1267032/2059040 swapFree=4140380/4192956
[pid=28300] ppid=28298 vsize=545752 CPUtime=102.27
/proc/28300/stat : 28300 (pbct) R 28298 28300 27889 0 -1 4202496 138145 0 0 0 10076 151 0 0 25 0 1 0 89590721 558850048 134258 1992294400 134512640 136421960 4294792528 18446744073709551615 134859850 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28300/statm: 136438 134258 236 467 0 135969 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 545752

[startup+162.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 28305
/proc/meminfo: memFree=1266040/2059040 swapFree=4140380/4192956
[pid=28300] ppid=28298 vsize=546808 CPUtime=162.25
/proc/28300/stat : 28300 (pbct) R 28298 28300 27889 0 -1 4202496 138395 0 0 0 16019 206 0 0 25 0 1 0 89590721 559931392 134508 1992294400 134512640 136421960 4294792528 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28300/statm: 136702 134508 236 467 0 136233 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 546808

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 28307
/proc/meminfo: memFree=1186060/2059040 swapFree=4140380/4192956
[pid=28300] ppid=28298 vsize=626604 CPUtime=222.24
/proc/28300/stat : 28300 (pbct) R 28298 28300 27889 0 -1 4202496 158322 0 0 0 21962 262 0 0 25 0 1 0 89590721 641642496 154435 1992294400 134512640 136421960 4294792528 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28300/statm: 156651 154435 236 467 0 156182 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 626604

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 28309
/proc/meminfo: memFree=1182836/2059040 swapFree=4140380/4192956
[pid=28300] ppid=28298 vsize=629784 CPUtime=282.22
/proc/28300/stat : 28300 (pbct) R 28298 28300 27889 0 -1 4202496 159122 0 0 0 27911 311 0 0 25 0 1 0 89590721 644898816 155234 1992294400 134512640 136421960 4294792528 18446744073709551615 134862075 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28300/statm: 157446 155234 236 467 0 156977 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 629784

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 28309
/proc/meminfo: memFree=1185316/2059040 swapFree=4140380/4192956
[pid=28300] ppid=28298 vsize=626596 CPUtime=342.21
/proc/28300/stat : 28300 (pbct) R 28298 28300 27889 0 -1 4202496 159122 0 0 0 33850 371 0 0 25 0 1 0 89590721 641634304 154462 1992294400 134512640 136421960 4294792528 18446744073709551615 134859865 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28300/statm: 156649 154462 236 467 0 156180 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 626596

[startup+402.301 s]
/proc/loadavg: 1.07 0.99 0.91 2/107 28311
/proc/meminfo: memFree=1185316/2059040 swapFree=4140380/4192956
[pid=28300] ppid=28298 vsize=626596 CPUtime=402.19
/proc/28300/stat : 28300 (pbct) R 28298 28300 27889 0 -1 4202496 159123 0 0 0 39807 412 0 0 25 0 1 0 89590721 641634304 154463 1992294400 134512640 136421960 4294792528 18446744073709551615 134859728 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28300/statm: 156649 154463 236 467 0 156180 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 626596

[startup+462.301 s]
/proc/loadavg: 1.02 0.99 0.91 2/107 28313
/proc/meminfo: memFree=1185192/2059040 swapFree=4140380/4192956
[pid=28300] ppid=28298 vsize=626596 CPUtime=462.18
/proc/28300/stat : 28300 (pbct) R 28298 28300 27889 0 -1 4202496 159123 0 0 0 45763 455 0 0 25 0 1 0 89590721 641634304 154463 1992294400 134512640 136421960 4294792528 18446744073709551615 134864117 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28300/statm: 156649 154463 236 467 0 156180 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 626596

[startup+522.3 s]
/proc/loadavg: 1.01 0.99 0.91 2/107 28315
/proc/meminfo: memFree=1185192/2059040 swapFree=4140380/4192956
[pid=28300] ppid=28298 vsize=626596 CPUtime=522.17
/proc/28300/stat : 28300 (pbct) R 28298 28300 27889 0 -1 4202496 159123 0 0 0 51707 510 0 0 25 0 1 0 89590721 641634304 154463 1992294400 134512640 136421960 4294792528 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28300/statm: 156649 154463 236 467 0 156180 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 626596

[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 28320
/proc/meminfo: memFree=1184572/2059040 swapFree=4140380/4192956
[pid=28300] ppid=28298 vsize=626596 CPUtime=582.14
/proc/28300/stat : 28300 (pbct) R 28298 28300 27889 0 -1 4202496 159123 0 0 0 57652 562 0 0 25 0 1 0 89590721 641634304 154463 1992294400 134512640 136421960 4294792528 18446744073709551615 134859748 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28300/statm: 156649 154463 236 467 0 156180 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 626596

[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 28320
/proc/meminfo: memFree=1184572/2059040 swapFree=4140380/4192956
[pid=28300] ppid=28298 vsize=626596 CPUtime=642.15
/proc/28300/stat : 28300 (pbct) R 28298 28300 27889 0 -1 4202496 159123 0 0 0 63603 612 0 0 25 0 1 0 89590721 641634304 154463 1992294400 134512640 136421960 4294792528 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28300/statm: 156649 154463 236 467 0 156180 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 626596

[startup+702.3 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 28328
/proc/meminfo: memFree=1184696/2059040 swapFree=4140380/4192956
[pid=28300] ppid=28298 vsize=626596 CPUtime=882.08
/proc/28300/stat : 28300 (pbct) R 28298 28300 27889 0 -1 4202496 159125 0 0 0 87403 805 0 0 25 0 1 0 89590721 641634304 154465 1992294400 134512640 136421960 4294792528 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28300/statm: 156649 154465 236 467 0 156180 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 626596

[startup+942.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 28328
/proc/meminfo: memFree=1184696/2059040 swapFree=4140380/4192956
[pid=28300] ppid=28298 vsize=626596 CPUtime=942.06
/proc/28300/stat : 28300 (pbct) R 28298 28300 27889 0 -1 4202496 159125 0 0 0 93367 839 0 0 25 0 1 0 89590721 641634304 154465 1992294400 134512640 136421960 4294792528 18446744073709551615 135006694 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28300/statm: 156649 154465 236 467 0 156180 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 626596

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 28330
/proc/meminfo: memFree=1184696/2059040 swapFree=4140380/4192956
[pid=28300] ppid=28298 vsize=626596 CPUtime=1002.05
/proc/28300/stat : 28300 (pbct) R 28298 28300 27889 0 -1 4202496 159125 0 0 0 99322 883 0 0 25 0 1 0 89590721 641634304 154465 1992294400 134512640 136421960 4294792528 18446744073709551615 134860118 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28300/statm: 156649 154465 236 467 0 156180 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 626596

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 28332
/proc/meminfo: memFree=1184696/2059040 swapFree=4140380/4192956
[pid=28300] ppid=28298 vsize=626596 CPUtime=1062.03
/proc/28300/stat : 28300 (pbct) R 28298 28300 27889 0 -1 4202496 159125 0 0 0 105267 936 0 0 25 0 1 0 89590721 641634304 154465 1992294400 134512640 136421960 4294792528 18446744073709551615 135006000 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28300/statm: 156649 154465 236 467 0 156180 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 626596

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 28334
/proc/meminfo: memFree=1184820/2059040 swapFree=4140380/4192956
[pid=28300] ppid=28298 vsize=626596 CPUtime=1122.01
/proc/28300/stat : 28300 (pbct) R 28298 28300 27889 0 -1 4202496 159125 0 0 0 111212 989 0 0 25 0 1 0 89590721 641634304 154465 1992294400 134512640 136421960 4294792528 18446744073709551615 134859688 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28300/statm: 156649 154465 236 467 0 156180 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 626596

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 28336
/proc/meminfo: memFree=1184696/2059040 swapFree=4140380/4192956
[pid=28300] ppid=28298 vsize=626596 CPUtime=1182
/proc/28300/stat : 28300 (pbct) R 28298 28300 27889 0 -1 4202496 159126 0 0 0 117160 1040 0 0 25 0 1 0 89590721 641634304 154466 1992294400 134512640 136421960 4294792528 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28300/statm: 156649 154466 236 467 0 156180 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 626596

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 28336
/proc/meminfo: memFree=1184572/2059040 swapFree=4140380/4192956
[pid=28300] ppid=28298 vsize=626596 CPUtime=1241.99
/proc/28300/stat : 28300 (pbct) R 28298 28300 27889 0 -1 4202496 159126 0 0 0 123105 1094 0 0 25 0 1 0 89590721 641634304 154466 1992294400 134512640 136421960 4294792528 18446744073709551615 134859743 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28300/statm: 156649 154466 236 467 0 156180 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 626596

[startup+1302.3 s]
/proc/loadavg: 1.05 1.00 0.92 2/107 28338
/proc/meminfo: memFree=1184448/2059040 swapFree=4140380/4192956
[pid=28300] ppid=28298 vsize=626596 CPUtime=1301.98
/proc/28300/stat : 28300 (pbct) R 28298 28300 27889 0 -1 4202496 159126 0 0 0 129051 1147 0 0 25 0 1 0 89590721 641634304 154466 1992294400 134512640 136421960 4294792528 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28300/statm: 156649 154466 236 467 0 156180 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 626596

[startup+1362.3 s]
/proc/loadavg: 1.07 1.01 0.93 2/107 28340
/proc/meminfo: memFree=1184448/2059040 swapFree=4140380/4192956
[pid=28300] ppid=28298 vsize=626596 CPUtime=1361.96
/proc/28300/stat : 28300 (pbct) R 28298 28300 27889 0 -1 4202496 159126 0 0 0 135002 1194 0 0 25 0 1 0 89590721 641634304 154466 1992294400 134512640 136421960 4294792528 18446744073709551615 134864596 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28300/statm: 156649 154466 236 467 0 156180 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 626596

[startup+1422.31 s]
/proc/loadavg: 1.07 1.02 0.93 2/107 28342
/proc/meminfo: memFree=1184448/2059040 swapFree=4140380/4192956
[pid=28300] ppid=28298 vsize=626596 CPUtime=1421.95
/proc/28300/stat : 28300 (pbct) R 28298 28300 27889 0 -1 4202496 159127 0 0 0 140968 1227 0 0 25 0 1 0 89590721 641634304 154467 1992294400 134512640 136421960 4294792528 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28300/statm: 156649 154467 236 467 0 156180 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 626596

[startup+1482.3 s]
/proc/loadavg: 1.06 1.03 0.94 2/107 28344
/proc/meminfo: memFree=1184448/2059040 swapFree=4140380/4192956
[pid=28300] ppid=28298 vsize=626596 CPUtime=1481.93
/proc/28300/stat : 28300 (pbct) R 28298 28300 27889 0 -1 4202496 159127 0 0 0 146914 1279 0 0 25 0 1 0 89590721 641634304 154467 1992294400 134512640 136421960 4294792528 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28300/statm: 156649 154467 236 467 0 156180 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 626596

[startup+1542.3 s]
/proc/loadavg: 1.09 1.05 0.95 2/107 28344
/proc/meminfo: memFree=1184448/2059040 swapFree=4140380/4192956
[pid=28300] ppid=28298 vsize=626596 CPUtime=1541.92
/proc/28300/stat : 28300 (pbct) R 28298 28300 27889 0 -1 4202496 159127 0 0 0 152860 1332 0 0 25 0 1 0 89590721 641634304 154467 1992294400 134512640 136421960 4294792528 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28300/statm: 156649 154467 236 467 0 156180 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 626596

[startup+1602.3 s]
/proc/loadavg: 1.03 1.04 0.95 2/107 28346
/proc/meminfo: memFree=1184448/2059040 swapFree=4140380/4192956
[pid=28300] ppid=28298 vsize=626596 CPUtime=1601.89
/proc/28300/stat : 28300 (pbct) R 28298 28300 27889 0 -1 4202496 159128 0 0 0 158807 1382 0 0 25 0 1 0 89590721 641634304 154468 1992294400 134512640 136421960 4294792528 18446744073709551615 135022305 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28300/statm: 156649 154468 236 467 0 156180 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 626596

[startup+1662.3 s]
/proc/loadavg: 1.01 1.03 0.95 2/107 28348
/proc/meminfo: memFree=1184324/2059040 swapFree=4140380/4192956
[pid=28300] ppid=28298 vsize=626596 CPUtime=1661.88
/proc/28300/stat : 28300 (pbct) R 28298 28300 27889 0 -1 4202496 159128 0 0 0 164756 1432 0 0 25 0 1 0 89590721 641634304 154468 1992294400 134512640 136421960 4294792528 18446744073709551615 135022230 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28300/statm: 156649 154468 236 467 0 156180 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 626596

[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 0.95 2/107 28350
/proc/meminfo: memFree=1184200/2059040 swapFree=4140380/4192956
[pid=28300] ppid=28298 vsize=626596 CPUtime=1721.87
/proc/28300/stat : 28300 (pbct) R 28298 28300 27889 0 -1 4202496 159128 0 0 0 170700 1487 0 0 25 0 1 0 89590721 641634304 154468 1992294400 134512640 136421960 4294792528 18446744073709551615 134864622 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28300/statm: 156649 154468 236 467 0 156180 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 626596

[startup+1782.3 s]
/proc/loadavg: 1.00 1.02 0.95 2/107 28352
/proc/meminfo: memFree=1184076/2059040 swapFree=4140380/4192956
[pid=28300] ppid=28298 vsize=626596 CPUtime=1781.85
/proc/28300/stat : 28300 (pbct) R 28298 28300 27889 0 -1 4202496 159128 0 0 0 176645 1540 0 0 25 0 1 0 89590721 641634304 154468 1992294400 134512640 136421960 4294792528 18446744073709551615 135010304 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28300/statm: 156649 154468 236 467 0 156180 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 626596



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.02 0.95 2/107 28352
/proc/meminfo: memFree=1184076/2059040 swapFree=4140380/4192956
[pid=28300] ppid=28298 vsize=626596 CPUtime=1800.06
/proc/28300/stat : 28300 (pbct) R 28298 28300 27889 0 -1 4202496 159128 0 0 0 178452 1554 0 0 25 0 1 0 89590721 641634304 154468 1992294400 134512640 136421960 4294792528 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28300/statm: 156649 154468 236 467 0 156180 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 626596

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.02 0.95 2/107 28352
/proc/meminfo: memFree=1184076/2059040 swapFree=4140380/4192956
[pid=28300] ppid=28298 vsize=626596 CPUtime=1800.06
/proc/28300/stat : 28300 (pbct) R 28298 28300 27889 0 -1 4202496 159128 0 0 0 178452 1554 0 0 25 0 1 0 89590721 641634304 154468 1992294400 134512640 136421960 4294792528 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28300/statm: 156649 154468 236 467 0 156180 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 626596

Child status: 0
Real time (s): 1800.58
CPU time (s): 1800.14
CPU user time (s): 1784.52
CPU system time (s): 15.6106
CPU usage (%): 99.9755
Max. virtual memory (cumulated for all children) (KiB): 629784

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

runsolver used 3.01154 second user time and 8.46971 second system time

The end