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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2682217-1277481004/watcher-2682217-1277481004 -o /tmp/evaluation-result-2682217-1277481004/solver-2682217-1277481004 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682217-1277481004.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.98 1.00 0.96 3/106 27102
/proc/meminfo: memFree=1790156/2059040 swapFree=4140544/4192956
[pid=27102] ppid=27100 vsize=2280 CPUtime=0
/proc/27102/stat : 27102 (pbct) R 27100 27102 26649 0 -1 4202496 273 0 0 0 0 0 0 0 20 0 1 0 89391187 2334720 193 1992294400 134512640 136421960 4294266944 18446744073709551615 135809884 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27102/statm: 570 193 145 467 0 101 0

[startup+0.0718239 s]
/proc/loadavg: 0.98 1.00 0.96 3/106 27102
/proc/meminfo: memFree=1790156/2059040 swapFree=4140544/4192956
[pid=27102] ppid=27100 vsize=3748 CPUtime=0.07
/proc/27102/stat : 27102 (pbct) R 27100 27102 26649 0 -1 4202496 632 0 0 0 7 0 0 0 20 0 1 0 89391187 3837952 552 1992294400 134512640 136421960 4294266944 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27102/statm: 937 553 188 467 0 468 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3748

[startup+0.100826 s]
/proc/loadavg: 0.98 1.00 0.96 3/106 27102
/proc/meminfo: memFree=1790156/2059040 swapFree=4140544/4192956
[pid=27102] ppid=27100 vsize=6896 CPUtime=0.09
/proc/27102/stat : 27102 (pbct) R 27100 27102 26649 0 -1 4202496 1412 0 0 0 9 0 0 0 20 0 1 0 89391187 7061504 1332 1992294400 134512640 136421960 4294266944 18446744073709551615 134560362 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27102/statm: 1724 1333 188 467 0 1255 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6896

[startup+0.300844 s]
/proc/loadavg: 0.98 1.00 0.96 3/106 27102
/proc/meminfo: memFree=1790156/2059040 swapFree=4140544/4192956
[pid=27102] ppid=27100 vsize=29900 CPUtime=0.29
/proc/27102/stat : 27102 (pbct) R 27100 27102 26649 0 -1 4202496 7344 0 0 0 27 2 0 0 20 0 1 0 89391187 30617600 6959 1992294400 134512640 136421960 4294266944 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27102/statm: 7475 6959 236 467 0 7006 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29900

[startup+0.700878 s]
/proc/loadavg: 0.98 1.00 0.96 3/106 27102
/proc/meminfo: memFree=1790156/2059040 swapFree=4140544/4192956
[pid=27102] ppid=27100 vsize=31880 CPUtime=0.69
/proc/27102/stat : 27102 (pbct) R 27100 27102 26649 0 -1 4202496 7850 0 0 0 66 3 0 0 20 0 1 0 89391187 32645120 7464 1992294400 134512640 136421960 4294266944 18446744073709551615 134651041 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27102/statm: 7970 7465 237 467 0 7501 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31880

[startup+1.50095 s]
/proc/loadavg: 0.98 1.00 0.96 2/107 27103
/proc/meminfo: memFree=1759644/2059040 swapFree=4140544/4192956
[pid=27102] ppid=27100 vsize=35840 CPUtime=1.49
/proc/27102/stat : 27102 (pbct) R 27100 27102 26649 0 -1 4202496 8834 0 0 0 143 6 0 0 23 0 1 0 89391187 36700160 8447 1992294400 134512640 136421960 4294266944 18446744073709551615 135010270 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27102/statm: 8960 8447 237 467 0 8491 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35840

[startup+3.10108 s]
/proc/loadavg: 0.98 1.00 0.96 2/107 27103
/proc/meminfo: memFree=1753568/2059040 swapFree=4140544/4192956
[pid=27102] ppid=27100 vsize=39536 CPUtime=3.09
/proc/27102/stat : 27102 (pbct) R 27100 27102 26649 0 -1 4202496 9771 0 0 0 299 10 0 0 25 0 1 0 89391187 40484864 9384 1992294400 134512640 136421960 4294266944 18446744073709551615 135011058 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27102/statm: 9884 9384 237 467 0 9415 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39536

[startup+6.30136 s]
/proc/loadavg: 0.98 1.00 0.96 2/107 27103
/proc/meminfo: memFree=1749848/2059040 swapFree=4140544/4192956
[pid=27102] ppid=27100 vsize=42340 CPUtime=6.29
/proc/27102/stat : 27102 (pbct) R 27100 27102 26649 0 -1 4202496 10580 0 0 0 613 16 0 0 25 0 1 0 89391187 43356160 10103 1992294400 134512640 136421960 4294266944 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27102/statm: 10585 10103 237 467 0 10116 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42340

[startup+12.7009 s]
/proc/loadavg: 0.99 1.00 0.96 2/107 27103
/proc/meminfo: memFree=1749600/2059040 swapFree=4140544/4192956
[pid=27102] ppid=27100 vsize=42868 CPUtime=12.69
/proc/27102/stat : 27102 (pbct) R 27100 27102 26649 0 -1 4202496 10708 0 0 0 1240 29 0 0 25 0 1 0 89391187 43896832 10231 1992294400 134512640 136421960 4294266944 18446744073709551615 134860016 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27102/statm: 10717 10231 237 467 0 10248 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42868

[startup+25.501 s]
/proc/loadavg: 0.99 1.00 0.96 3/107 27103
/proc/meminfo: memFree=1746252/2059040 swapFree=4140544/4192956
[pid=27102] ppid=27100 vsize=46432 CPUtime=25.49
/proc/27102/stat : 27102 (pbct) R 27100 27102 26649 0 -1 4202496 11587 0 0 0 2486 63 0 0 25 0 1 0 89391187 47546368 11110 1992294400 134512640 136421960 4294266944 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27102/statm: 11608 11110 237 467 0 11139 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 46432

[startup+51.1002 s]
/proc/loadavg: 0.99 1.00 0.96 2/107 27103
/proc/meminfo: memFree=1741168/2059040 swapFree=4140544/4192956
[pid=27102] ppid=27100 vsize=50980 CPUtime=51.08
/proc/27102/stat : 27102 (pbct) R 27100 27102 26649 0 -1 4202496 12896 0 0 0 4987 121 0 0 25 0 1 0 89391187 52203520 12262 1992294400 134512640 136421960 4294266944 18446744073709551615 135006289 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27102/statm: 12745 12262 237 467 0 12276 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 50980

[startup+102.308 s]
/proc/loadavg: 0.99 1.00 0.96 2/107 27105
/proc/meminfo: memFree=1738564/2059040 swapFree=4140544/4192956
[pid=27102] ppid=27100 vsize=53884 CPUtime=102.27
/proc/27102/stat : 27102 (pbct) R 27100 27102 26649 0 -1 4202496 13604 0 0 0 9976 251 0 0 25 0 1 0 89391187 55177216 12970 1992294400 134512640 136421960 4294266944 18446744073709551615 134859887 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27102/statm: 13471 12970 237 467 0 13002 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 53884

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 0.96 2/107 27107
/proc/meminfo: memFree=1738564/2059040 swapFree=4140544/4192956
[pid=27102] ppid=27100 vsize=53560 CPUtime=162.26
/proc/27102/stat : 27102 (pbct) R 27100 27102 26649 0 -1 4202496 13630 0 0 0 15854 372 0 0 25 0 1 0 89391187 54845440 12901 1992294400 134512640 136421960 4294266944 18446744073709551615 135022256 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27102/statm: 13390 12901 237 467 0 12921 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 53560

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 0.96 2/107 27109
/proc/meminfo: memFree=1732116/2059040 swapFree=4140544/4192956
[pid=27102] ppid=27100 vsize=60196 CPUtime=222.24
/proc/27102/stat : 27102 (pbct) R 27100 27102 26649 0 -1 4202496 15494 0 0 0 21718 506 0 0 25 0 1 0 89391187 61640704 14540 1992294400 134512640 136421960 4294266944 18446744073709551615 135022284 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27102/statm: 15049 14540 237 467 0 14580 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 60196

[startup+282.3 s]
/proc/loadavg: 0.99 1.00 0.96 2/107 27109
/proc/meminfo: memFree=1732116/2059040 swapFree=4140544/4192956
[pid=27102] ppid=27100 vsize=60196 CPUtime=282.22
/proc/27102/stat : 27102 (pbct) R 27100 27102 26649 0 -1 4202496 15509 0 0 0 27583 639 0 0 25 0 1 0 89391187 61640704 14554 1992294400 134512640 136421960 4294266944 18446744073709551615 135022223 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27102/statm: 15049 14554 237 467 0 14580 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 60196

[startup+342.3 s]
/proc/loadavg: 0.99 1.00 0.96 2/107 27111
/proc/meminfo: memFree=1732116/2059040 swapFree=4140544/4192956
[pid=27102] ppid=27100 vsize=60196 CPUtime=342.21
/proc/27102/stat : 27102 (pbct) R 27100 27102 26649 0 -1 4202496 15510 0 0 0 33477 744 0 0 25 0 1 0 89391187 61640704 14554 1992294400 134512640 136421960 4294266944 18446744073709551615 134864577 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27102/statm: 15049 14554 237 467 0 14580 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 60196

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 0.96 2/107 27113
/proc/meminfo: memFree=1732116/2059040 swapFree=4140544/4192956
[pid=27102] ppid=27100 vsize=60196 CPUtime=402.19
/proc/27102/stat : 27102 (pbct) R 27100 27102 26649 0 -1 4202496 15511 0 0 0 39355 864 0 0 25 0 1 0 89391187 61640704 14555 1992294400 134512640 136421960 4294266944 18446744073709551615 134859865 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27102/statm: 15049 14555 237 467 0 14580 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 60196

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 0.96 2/107 27115
/proc/meminfo: memFree=1731868/2059040 swapFree=4140544/4192956
[pid=27102] ppid=27100 vsize=60196 CPUtime=462.18
/proc/27102/stat : 27102 (pbct) R 27100 27102 26649 0 -1 4202496 15511 0 0 0 45224 994 0 0 25 0 1 0 89391187 61640704 14555 1992294400 134512640 136421960 4294266944 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27102/statm: 15049 14555 237 467 0 14580 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 60196

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 0.96 2/107 27115
/proc/meminfo: memFree=1731868/2059040 swapFree=4140544/4192956
[pid=27102] ppid=27100 vsize=60196 CPUtime=522.17
/proc/27102/stat : 27102 (pbct) R 27100 27102 26649 0 -1 4202496 15511 0 0 0 50988 1229 0 0 25 0 1 0 89391187 61640704 14555 1992294400 134512640 136421960 4294266944 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27102/statm: 15049 14555 237 467 0 14580 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 60196

[startup+582.301 s]
/proc/loadavg: 0.99 1.00 0.96 2/107 27117
/proc/meminfo: memFree=1731868/2059040 swapFree=4140544/4192956
[pid=27102] ppid=27100 vsize=60196 CPUtime=582.15
/proc/27102/stat : 27102 (pbct) R 27100 27102 26649 0 -1 4202496 15511 0 0 0 56860 1355 0 0 25 0 1 0 89391187 61640704 14555 1992294400 134512640 136421960 4294266944 18446744073709551615 134859834 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27102/statm: 15049 14555 237 467 0 14580 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 60196

[startup+642.3 s]
/proc/loadavg: 0.99 1.00 0.96 2/107 27119
/proc/meminfo: memFree=1731868/2059040 swapFree=4140544/4192956
[pid=27102] ppid=27100 vsize=60196 CPUtime=642.14
/proc/27102/stat : 27102 (pbct) R 27100 27102 26649 0 -1 4202496 15511 0 0 0 62738 1476 0 0 25 0 1 0 89391187 61640704 14555 1992294400 134512640 136421960 4294266944 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27102/statm: 15049 14555 237 467 0 14580 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 60196

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 0.99 1.00 0.96 2/107 27134
/proc/meminfo: memFree=1731124/2059040 swapFree=4140544/4192956
[pid=27102] ppid=27100 vsize=60196 CPUtime=882.07
/proc/27102/stat : 27102 (pbct) R 27100 27102 26649 0 -1 4202496 15511 0 0 0 86284 1923 0 0 25 0 1 0 89391187 61640704 14555 1992294400 134512640 136421960 4294266944 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27102/statm: 15049 14555 237 467 0 14580 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 60196

[startup+942.3 s]
/proc/loadavg: 0.99 1.00 0.96 2/107 27136
/proc/meminfo: memFree=1731124/2059040 swapFree=4140544/4192956
[pid=27102] ppid=27100 vsize=60196 CPUtime=942.05
/proc/27102/stat : 27102 (pbct) R 27100 27102 26649 0 -1 4202496 15511 0 0 0 92176 2029 0 0 25 0 1 0 89391187 61640704 14555 1992294400 134512640 136421960 4294266944 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27102/statm: 15049 14555 237 467 0 14580 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 60196

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 0.96 2/107 27138
/proc/meminfo: memFree=1731124/2059040 swapFree=4140544/4192956
[pid=27102] ppid=27100 vsize=60196 CPUtime=1002.04
/proc/27102/stat : 27102 (pbct) R 27100 27102 26649 0 -1 4202496 15511 0 0 0 98075 2129 0 0 25 0 1 0 89391187 61640704 14555 1992294400 134512640 136421960 4294266944 18446744073709551615 134859893 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27102/statm: 15049 14555 237 467 0 14580 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 60196

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 0.96 2/107 27140
/proc/meminfo: memFree=1731124/2059040 swapFree=4140544/4192956
[pid=27102] ppid=27100 vsize=60196 CPUtime=1062.03
/proc/27102/stat : 27102 (pbct) R 27100 27102 26649 0 -1 4202496 15511 0 0 0 103993 2210 0 0 25 0 1 0 89391187 61640704 14555 1992294400 134512640 136421960 4294266944 18446744073709551615 135022228 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27102/statm: 15049 14555 237 467 0 14580 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 60196

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 0.96 2/107 27142
/proc/meminfo: memFree=1731000/2059040 swapFree=4140544/4192956
[pid=27102] ppid=27100 vsize=60196 CPUtime=1122.02
/proc/27102/stat : 27102 (pbct) R 27100 27102 26649 0 -1 4202496 15511 0 0 0 109828 2374 0 0 25 0 1 0 89391187 61640704 14555 1992294400 134512640 136421960 4294266944 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27102/statm: 15049 14555 237 467 0 14580 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 60196

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 0.96 2/107 27142
/proc/meminfo: memFree=1731000/2059040 swapFree=4140544/4192956
[pid=27102] ppid=27100 vsize=60196 CPUtime=1182
/proc/27102/stat : 27102 (pbct) R 27100 27102 26649 0 -1 4202496 15511 0 0 0 115653 2547 0 0 25 0 1 0 89391187 61640704 14555 1992294400 134512640 136421960 4294266944 18446744073709551615 135022334 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27102/statm: 15049 14555 237 467 0 14580 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 60196

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 0.96 2/107 27144
/proc/meminfo: memFree=1731000/2059040 swapFree=4140544/4192956
[pid=27102] ppid=27100 vsize=60196 CPUtime=1241.99
/proc/27102/stat : 27102 (pbct) R 27100 27102 26649 0 -1 4202496 15511 0 0 0 121526 2673 0 0 25 0 1 0 89391187 61640704 14555 1992294400 134512640 136421960 4294266944 18446744073709551615 135022228 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27102/statm: 15049 14555 237 467 0 14580 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 60196

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 0.96 2/107 27146
/proc/meminfo: memFree=1731000/2059040 swapFree=4140544/4192956
[pid=27102] ppid=27100 vsize=60196 CPUtime=1301.97
/proc/27102/stat : 27102 (pbct) R 27100 27102 26649 0 -1 4202496 15511 0 0 0 127418 2779 0 0 25 0 1 0 89391187 61640704 14555 1992294400 134512640 136421960 4294266944 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27102/statm: 15049 14555 237 467 0 14580 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 60196

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 0.96 2/107 27148
/proc/meminfo: memFree=1731000/2059040 swapFree=4140544/4192956
[pid=27102] ppid=27100 vsize=60196 CPUtime=1361.95
/proc/27102/stat : 27102 (pbct) R 27100 27102 26649 0 -1 4202496 15511 0 0 0 133310 2885 0 0 25 0 1 0 89391187 61640704 14555 1992294400 134512640 136421960 4294266944 18446744073709551615 134859995 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27102/statm: 15049 14555 237 467 0 14580 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 60196

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 0.96 2/107 27150
/proc/meminfo: memFree=1731000/2059040 swapFree=4140544/4192956
[pid=27102] ppid=27100 vsize=60196 CPUtime=1421.95
/proc/27102/stat : 27102 (pbct) R 27100 27102 26649 0 -1 4202496 15511 0 0 0 139212 2983 0 0 25 0 1 0 89391187 61640704 14555 1992294400 134512640 136421960 4294266944 18446744073709551615 134860005 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27102/statm: 15049 14555 237 467 0 14580 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 60196

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 0.96 2/107 27150
/proc/meminfo: memFree=1731000/2059040 swapFree=4140544/4192956
[pid=27102] ppid=27100 vsize=60196 CPUtime=1481.92
/proc/27102/stat : 27102 (pbct) R 27100 27102 26649 0 -1 4202496 15511 0 0 0 145088 3104 0 0 25 0 1 0 89391187 61640704 14555 1992294400 134512640 136421960 4294266944 18446744073709551615 135686762 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27102/statm: 15049 14555 237 467 0 14580 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 60196

[startup+1542.3 s]
/proc/loadavg: 1.03 1.01 0.97 2/107 27152
/proc/meminfo: memFree=1730876/2059040 swapFree=4140544/4192956
[pid=27102] ppid=27100 vsize=60196 CPUtime=1541.91
/proc/27102/stat : 27102 (pbct) R 27100 27102 26649 0 -1 4202496 15511 0 0 0 150954 3237 0 0 25 0 1 0 89391187 61640704 14555 1992294400 134512640 136421960 4294266944 18446744073709551615 134863931 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27102/statm: 15049 14555 237 467 0 14580 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 60196

[startup+1602.3 s]
/proc/loadavg: 1.05 1.02 0.97 2/107 27154
/proc/meminfo: memFree=1730876/2059040 swapFree=4140544/4192956
[pid=27102] ppid=27100 vsize=60196 CPUtime=1601.9
/proc/27102/stat : 27102 (pbct) R 27100 27102 26649 0 -1 4202496 15511 0 0 0 156841 3349 0 0 25 0 1 0 89391187 61640704 14555 1992294400 134512640 136421960 4294266944 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27102/statm: 15049 14555 237 467 0 14580 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 60196

[startup+1662.3 s]
/proc/loadavg: 1.13 1.05 0.98 2/107 27156
/proc/meminfo: memFree=1730876/2059040 swapFree=4140544/4192956
[pid=27102] ppid=27100 vsize=60196 CPUtime=1661.88
/proc/27102/stat : 27102 (pbct) R 27100 27102 26649 0 -1 4202496 15511 0 0 0 162753 3435 0 0 25 0 1 0 89391187 61640704 14555 1992294400 134512640 136421960 4294266944 18446744073709551615 134859688 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27102/statm: 15049 14555 237 467 0 14580 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 60196

[startup+1722.3 s]
/proc/loadavg: 1.12 1.05 0.99 2/107 27156
/proc/meminfo: memFree=1730876/2059040 swapFree=4140544/4192956
[pid=27102] ppid=27100 vsize=60196 CPUtime=1721.87
/proc/27102/stat : 27102 (pbct) R 27100 27102 26649 0 -1 4202496 15511 0 0 0 168650 3537 0 0 25 0 1 0 89391187 61640704 14555 1992294400 134512640 136421960 4294266944 18446744073709551615 135810061 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27102/statm: 15049 14555 237 467 0 14580 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 60196

[startup+1782.3 s]
/proc/loadavg: 1.04 1.04 0.99 2/107 27158
/proc/meminfo: memFree=1730876/2059040 swapFree=4140544/4192956
[pid=27102] ppid=27100 vsize=60196 CPUtime=1781.85
/proc/27102/stat : 27102 (pbct) R 27100 27102 26649 0 -1 4202496 15511 0 0 0 174532 3653 0 0 25 0 1 0 89391187 61640704 14555 1992294400 134512640 136421960 4294266944 18446744073709551615 134860107 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27102/statm: 15049 14555 237 467 0 14580 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 60196



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.03 1.04 0.99 2/107 27160
/proc/meminfo: memFree=1730876/2059040 swapFree=4140544/4192956
[pid=27102] ppid=27100 vsize=60196 CPUtime=1800.06
/proc/27102/stat : 27102 (pbct) R 27100 27102 26649 0 -1 4202496 15511 0 0 0 176301 3705 0 0 25 0 1 0 89391187 61640704 14555 1992294400 134512640 136421960 4294266944 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27102/statm: 15049 14555 237 467 0 14580 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 60196

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.03 1.04 0.99 2/107 27160
/proc/meminfo: memFree=1730876/2059040 swapFree=4140544/4192956
[pid=27102] ppid=27100 vsize=60196 CPUtime=1800.06
/proc/27102/stat : 27102 (pbct) R 27100 27102 26649 0 -1 4202496 15511 0 0 0 176301 3705 0 0 25 0 1 0 89391187 61640704 14555 1992294400 134512640 136421960 4294266944 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27102/statm: 15049 14555 237 467 0 14580 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 60196

Child status: 0
Real time (s): 1800.52
CPU time (s): 1800.07
CPU user time (s): 1763.01
CPU system time (s): 37.0594
CPU usage (%): 99.9754
Max. virtual memory (cumulated for all children) (KiB): 60196

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

runsolver used 2.80457 second user time and 8.67568 second system time

The end