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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2668145-1276666528/watcher-2668145-1276666528 -o /tmp/evaluation-result-2668145-1276666528/solver-2668145-1276666528 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668145-1276666528.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 1.00 3/105 17226
/proc/meminfo: memFree=1798328/2059040 swapFree=4148288/4192956
[pid=17226] ppid=17224 vsize=2340 CPUtime=0
/proc/17226/stat : 17226 (pbct) R 17224 17226 16681 0 -1 4202496 303 0 0 0 0 0 0 0 25 0 1 0 7946309 2396160 225 1992294400 134512640 136485738 4294055888 18446744073709551615 134528812 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17226/statm: 585 225 156 482 0 101 0

[startup+0.060227 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 17226
/proc/meminfo: memFree=1798328/2059040 swapFree=4148288/4192956
[pid=17226] ppid=17224 vsize=3924 CPUtime=0.05
/proc/17226/stat : 17226 (pbct) R 17224 17226 16681 0 -1 4202496 678 0 0 0 5 0 0 0 25 0 1 0 7946309 4018176 600 1992294400 134512640 136485738 4294055888 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17226/statm: 981 600 156 482 0 497 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 3924

[startup+0.101231 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 17226
/proc/meminfo: memFree=1798328/2059040 swapFree=4148288/4192956
[pid=17226] ppid=17224 vsize=4980 CPUtime=0.09
/proc/17226/stat : 17226 (pbct) R 17224 17226 16681 0 -1 4202496 966 0 0 0 9 0 0 0 25 0 1 0 7946309 5099520 888 1992294400 134512640 136485738 4294055888 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17226/statm: 1245 888 156 482 0 761 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4980

[startup+0.301252 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 17226
/proc/meminfo: memFree=1798328/2059040 swapFree=4148288/4192956
[pid=17226] ppid=17224 vsize=9872 CPUtime=0.29
/proc/17226/stat : 17226 (pbct) R 17224 17226 16681 0 -1 4202496 2192 0 0 0 28 1 0 0 25 0 1 0 7946309 10108928 2114 1992294400 134512640 136485738 4294055888 18446744073709551615 135178833 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17226/statm: 2468 2115 156 482 0 1984 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9872

[startup+0.701294 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 17226
/proc/meminfo: memFree=1798328/2059040 swapFree=4148288/4192956
[pid=17226] ppid=17224 vsize=21116 CPUtime=0.69
/proc/17226/stat : 17226 (pbct) R 17224 17226 16681 0 -1 4202496 4996 0 0 0 67 2 0 0 25 0 1 0 7946309 21622784 4885 1992294400 134512640 136485738 4294055888 18446744073709551615 134519038 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17226/statm: 5279 4886 156 482 0 4795 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21116

[startup+1.50138 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17227
/proc/meminfo: memFree=1749588/2059040 swapFree=4148288/4192956
[pid=17226] ppid=17224 vsize=97388 CPUtime=1.49
/proc/17226/stat : 17226 (pbct) R 17224 17226 16681 0 -1 4202496 24704 0 0 0 139 10 0 0 25 0 1 0 7946309 99725312 23376 1992294400 134512640 136485738 4294055888 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/17226/statm: 24347 23377 194 482 0 23863 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 97388

[startup+3.10155 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17227
/proc/meminfo: memFree=1659440/2059040 swapFree=4148288/4192956
[pid=17226] ppid=17224 vsize=209144 CPUtime=3.09
/proc/17226/stat : 17226 (pbct) R 17224 17226 16681 0 -1 4202496 54706 0 0 0 286 23 0 0 25 0 1 0 7946309 214163456 51387 1992294400 134512640 136485738 4294055888 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/17226/statm: 52286 51387 198 482 0 51802 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 209144

[startup+6.30088 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17227
/proc/meminfo: memFree=1452236/2059040 swapFree=4148288/4192956
[pid=17226] ppid=17224 vsize=405008 CPUtime=6.29
/proc/17226/stat : 17226 (pbct) R 17224 17226 16681 0 -1 4202496 107101 0 0 0 583 46 0 0 25 0 1 0 7946309 414728192 100449 1992294400 134512640 136485738 4294055888 18446744073709551615 135689873 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/17226/statm: 101252 100450 198 482 0 100768 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 405008

[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17227
/proc/meminfo: memFree=973224/2059040 swapFree=4148288/4192956
[pid=17226] ppid=17224 vsize=874600 CPUtime=12.69
/proc/17226/stat : 17226 (pbct) R 17224 17226 16681 0 -1 4202496 230327 0 0 0 1176 93 0 0 25 0 1 0 7946309 895590400 211054 1992294400 134512640 136485738 4294055888 18446744073709551615 135047395 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/17226/statm: 218650 211054 216 482 0 218166 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 874600

[startup+25.5009 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17227
/proc/meminfo: memFree=884068/2059040 swapFree=4148288/4192956
[pid=17226] ppid=17224 vsize=959384 CPUtime=25.48
/proc/17226/stat : 17226 (pbct) R 17224 17226 16681 0 -1 4202496 252341 0 0 0 2435 113 0 0 25 0 1 0 7946309 982409216 228140 1992294400 134512640 136485738 4294055888 18446744073709551615 135047552 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/17226/statm: 239846 228140 245 482 0 239362 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 959384

[startup+51.1006 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17227
/proc/meminfo: memFree=884068/2059040 swapFree=4148288/4192956
[pid=17226] ppid=17224 vsize=959780 CPUtime=51.06
/proc/17226/stat : 17226 (pbct) R 17224 17226 16681 0 -1 4202496 252442 0 0 0 4970 136 0 0 25 0 1 0 7946309 982814720 228241 1992294400 134512640 136485738 4294055888 18446744073709551615 135044309 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/17226/statm: 239945 228241 245 482 0 239461 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 959780

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17229
/proc/meminfo: memFree=881960/2059040 swapFree=4148288/4192956
[pid=17226] ppid=17224 vsize=961632 CPUtime=102.26
/proc/17226/stat : 17226 (pbct) R 17224 17226 16681 0 -1 4202496 252894 0 0 0 10038 188 0 0 25 0 1 0 7946309 984711168 228693 1992294400 134512640 136485738 4294055888 18446744073709551615 135024568 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/17226/statm: 240408 228693 245 482 0 239924 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 961632

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17231
/proc/meminfo: memFree=879108/2059040 swapFree=4148288/4192956
[pid=17226] ppid=17224 vsize=964540 CPUtime=162.23
/proc/17226/stat : 17226 (pbct) R 17224 17226 16681 0 -1 4202496 253614 0 0 0 15983 240 0 0 25 0 1 0 7946309 987688960 229413 1992294400 134512640 136485738 4294055888 18446744073709551615 135047563 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/17226/statm: 241135 229413 245 482 0 240651 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 964540

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17233
/proc/meminfo: memFree=876876/2059040 swapFree=4148288/4192956
[pid=17226] ppid=17224 vsize=966652 CPUtime=222.22
/proc/17226/stat : 17226 (pbct) R 17224 17226 16681 0 -1 4202496 254147 0 0 0 21933 289 0 0 25 0 1 0 7946309 989851648 229946 1992294400 134512640 136485738 4294055888 18446744073709551615 135044309 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/17226/statm: 241663 229946 245 482 0 241179 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 966652

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17233
/proc/meminfo: memFree=873404/2059040 swapFree=4148288/4192956
[pid=17226] ppid=17224 vsize=970092 CPUtime=282.2
/proc/17226/stat : 17226 (pbct) R 17224 17226 16681 0 -1 4202496 255026 0 0 0 27879 341 0 0 25 0 1 0 7946309 993374208 230825 1992294400 134512640 136485738 4294055888 18446744073709551615 135044309 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/17226/statm: 242523 230825 245 482 0 242039 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 970092

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17235
/proc/meminfo: memFree=870676/2059040 swapFree=4148288/4192956
[pid=17226] ppid=17224 vsize=972872 CPUtime=342.19
/proc/17226/stat : 17226 (pbct) R 17224 17226 16681 0 -1 4202496 255713 0 0 0 33820 399 0 0 25 0 1 0 7946309 996220928 231512 1992294400 134512640 136485738 4294055888 18446744073709551615 135045785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/17226/statm: 243218 231512 245 482 0 242734 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 972872

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17237
/proc/meminfo: memFree=868072/2059040 swapFree=4148288/4192956
[pid=17226] ppid=17224 vsize=975380 CPUtime=402.17
/proc/17226/stat : 17226 (pbct) R 17224 17226 16681 0 -1 4202496 256338 0 0 0 39767 450 0 0 25 0 1 0 7946309 998789120 232137 1992294400 134512640 136485738 4294055888 18446744073709551615 135044241 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/17226/statm: 243845 232137 245 482 0 243361 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 975380

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17239
/proc/meminfo: memFree=866088/2059040 swapFree=4148288/4192956
[pid=17226] ppid=17224 vsize=977364 CPUtime=462.15
/proc/17226/stat : 17226 (pbct) R 17224 17226 16681 0 -1 4202496 256839 0 0 0 45711 504 0 0 25 0 1 0 7946309 1000820736 232638 1992294400 134512640 136485738 4294055888 18446744073709551615 135024568 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/17226/statm: 244341 232638 245 482 0 243857 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 977364

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17239
/proc/meminfo: memFree=864476/2059040 swapFree=4148288/4192956
[pid=17226] ppid=17224 vsize=978948 CPUtime=522.12
/proc/17226/stat : 17226 (pbct) R 17224 17226 16681 0 -1 4202496 257243 0 0 0 51660 552 0 0 25 0 1 0 7946309 1002442752 233042 1992294400 134512640 136485738 4294055888 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/17226/statm: 244737 233042 245 482 0 244253 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 978948

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17241
/proc/meminfo: memFree=862244/2059040 swapFree=4148288/4192956
[pid=17226] ppid=17224 vsize=981212 CPUtime=582.11
/proc/17226/stat : 17226 (pbct) R 17224 17226 16681 0 -1 4202496 257797 0 0 0 57604 607 0 0 25 0 1 0 7946309 1004761088 233596 1992294400 134512640 136485738 4294055888 18446744073709551615 135047563 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/17226/statm: 245303 233596 245 482 0 244819 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 981212

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17243
/proc/meminfo: memFree=858152/2059040 swapFree=4148288/4192956
[pid=17226] ppid=17224 vsize=985308 CPUtime=642.1
/proc/17226/stat : 17226 (pbct) R 17224 17226 16681 0 -1 4202496 258807 0 0 0 63554 656 0 0 25 0 1 0 7946309 1008955392 234606 1992294400 134512640 136485738 4294055888 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/17226/statm: 246327 234606 245 482 0 245843 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 985308

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17247
/proc/meminfo: memFree=845504/2059040 swapFree=4148288/4192956
[pid=17226] ppid=17224 vsize=997628 CPUtime=822.04
/proc/17226/stat : 17226 (pbct) R 17224 17226 16681 0 -1 4202496 261886 0 0 0 81392 812 0 0 25 0 1 0 7946309 1021571072 237685 1992294400 134512640 136485738 4294055888 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/17226/statm: 249407 237685 245 482 0 248923 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 997628

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17249
/proc/meminfo: memFree=842404/2059040 swapFree=4148288/4192956
[pid=17226] ppid=17224 vsize=1000664 CPUtime=882.02
/proc/17226/stat : 17226 (pbct) R 17224 17226 16681 0 -1 4202496 262669 0 0 0 87340 862 0 0 25 0 1 0 7946309 1024679936 238468 1992294400 134512640 136485738 4294055888 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/17226/statm: 250166 238468 245 482 0 249682 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 1000664

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17251
/proc/meminfo: memFree=840172/2059040 swapFree=4148288/4192956
[pid=17226] ppid=17224 vsize=1002776 CPUtime=942
/proc/17226/stat : 17226 (pbct) R 17224 17226 16681 0 -1 4202496 263191 0 0 0 93288 912 0 0 25 0 1 0 7946309 1026842624 238990 1992294400 134512640 136485738 4294055888 18446744073709551615 135044912 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/17226/statm: 250694 238990 245 482 0 250210 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 1002776

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17253
/proc/meminfo: memFree=835708/2059040 swapFree=4148288/4192956
[pid=17226] ppid=17224 vsize=1007396 CPUtime=1001.99
/proc/17226/stat : 17226 (pbct) R 17224 17226 16681 0 -1 4202496 264331 0 0 0 99237 962 0 0 25 0 1 0 7946309 1031573504 240130 1992294400 134512640 136485738 4294055888 18446744073709551615 135024897 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/17226/statm: 251849 240130 245 482 0 251365 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 1007396

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17255
/proc/meminfo: memFree=832856/2059040 swapFree=4148288/4192956
[pid=17226] ppid=17224 vsize=1010168 CPUtime=1061.97
/proc/17226/stat : 17226 (pbct) R 17224 17226 16681 0 -1 4202496 265046 0 0 0 105188 1009 0 0 25 0 1 0 7946309 1034412032 240845 1992294400 134512640 136485738 4294055888 18446744073709551615 135045060 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/17226/statm: 252542 240845 245 482 0 252058 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 1010168

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17255
/proc/meminfo: memFree=830252/2059040 swapFree=4148288/4192956
[pid=17226] ppid=17224 vsize=1012676 CPUtime=1121.94
/proc/17226/stat : 17226 (pbct) R 17224 17226 16681 0 -1 4202496 265662 0 0 0 111139 1055 0 0 25 0 1 0 7946309 1036980224 241461 1992294400 134512640 136485738 4294055888 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/17226/statm: 253169 241461 245 482 0 252685 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 1012676

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17257
/proc/meminfo: memFree=826160/2059040 swapFree=4148288/4192956
[pid=17226] ppid=17224 vsize=1016644 CPUtime=1181.93
/proc/17226/stat : 17226 (pbct) R 17224 17226 16681 0 -1 4202496 266655 0 0 0 117092 1101 0 0 25 0 1 0 7946309 1041043456 242454 1992294400 134512640 136485738 4294055888 18446744073709551615 135047545 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/17226/statm: 254161 242454 245 482 0 253677 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 1016644

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17259
/proc/meminfo: memFree=822812/2059040 swapFree=4148288/4192956
[pid=17226] ppid=17224 vsize=1019820 CPUtime=1241.91
/proc/17226/stat : 17226 (pbct) R 17224 17226 16681 0 -1 4202496 267428 0 0 0 123045 1146 0 0 25 0 1 0 7946309 1044295680 243227 1992294400 134512640 136485738 4294055888 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/17226/statm: 254955 243227 245 482 0 254471 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1019820

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17261
/proc/meminfo: memFree=819340/2059040 swapFree=4148288/4192956
[pid=17226] ppid=17224 vsize=1023252 CPUtime=1301.9
/proc/17226/stat : 17226 (pbct) R 17224 17226 16681 0 -1 4202496 268301 0 0 0 128997 1193 0 0 25 0 1 0 7946309 1047810048 244100 1992294400 134512640 136485738 4294055888 18446744073709551615 135044875 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/17226/statm: 255813 244100 245 482 0 255329 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1023252

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17263
/proc/meminfo: memFree=810164/2059040 swapFree=4148288/4192956
[pid=17226] ppid=17224 vsize=1032244 CPUtime=1361.87
/proc/17226/stat : 17226 (pbct) R 17224 17226 16681 0 -1 4202496 270552 0 0 0 134943 1244 0 0 25 0 1 0 7946309 1057017856 246351 1992294400 134512640 136485738 4294055888 18446744073709551615 134880498 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/17226/statm: 258061 246351 245 482 0 257577 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1032244

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17265
/proc/meminfo: memFree=807188/2059040 swapFree=4148288/4192956
[pid=17226] ppid=17224 vsize=1035148 CPUtime=1421.86
/proc/17226/stat : 17226 (pbct) R 17224 17226 16681 0 -1 4202496 271295 0 0 0 140902 1284 0 0 25 0 1 0 7946309 1059991552 247094 1992294400 134512640 136485738 4294055888 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/17226/statm: 258787 247094 245 482 0 258303 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1035148

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17265
/proc/meminfo: memFree=803096/2059040 swapFree=4148288/4192956
[pid=17226] ppid=17224 vsize=1039448 CPUtime=1481.84
/proc/17226/stat : 17226 (pbct) R 17224 17226 16681 0 -1 4202496 272319 0 0 0 146855 1329 0 0 25 0 1 0 7946309 1064394752 248118 1992294400 134512640 136485738 4294055888 18446744073709551615 135025011 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/17226/statm: 259862 248118 245 482 0 259378 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1039448

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17276
/proc/meminfo: memFree=791316/2059040 swapFree=4148288/4192956
[pid=17226] ppid=17224 vsize=1050416 CPUtime=1541.81
/proc/17226/stat : 17226 (pbct) R 17224 17226 16681 0 -1 4202496 275094 0 0 0 152804 1377 0 0 25 0 1 0 7946309 1075625984 250893 1992294400 134512640 136485738 4294055888 18446744073709551615 135024897 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/17226/statm: 262604 250893 245 482 0 262120 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1050416

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17278
/proc/meminfo: memFree=788836/2059040 swapFree=4148288/4192956
[pid=17226] ppid=17224 vsize=1053716 CPUtime=1601.79
/proc/17226/stat : 17226 (pbct) R 17224 17226 16681 0 -1 4202496 275923 0 0 0 158753 1426 0 0 25 0 1 0 7946309 1079005184 251722 1992294400 134512640 136485738 4294055888 18446744073709551615 135024568 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/17226/statm: 263429 251722 245 482 0 262945 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1053716

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17280
/proc/meminfo: memFree=786356/2059040 swapFree=4148288/4192956
[pid=17226] ppid=17224 vsize=1055960 CPUtime=1661.77
/proc/17226/stat : 17226 (pbct) R 17224 17226 16681 0 -1 4202496 276457 0 0 0 164713 1464 0 0 25 0 1 0 7946309 1081303040 252256 1992294400 134512640 136485738 4294055888 18446744073709551615 135024897 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/17226/statm: 263990 252256 245 482 0 263506 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1055960

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17280
/proc/meminfo: memFree=784248/2059040 swapFree=4148288/4192956
[pid=17226] ppid=17224 vsize=1058072 CPUtime=1721.76
/proc/17226/stat : 17226 (pbct) R 17224 17226 16681 0 -1 4202496 277012 0 0 0 170671 1505 0 0 25 0 1 0 7946309 1083465728 252811 1992294400 134512640 136485738 4294055888 18446744073709551615 135040470 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/17226/statm: 264518 252811 245 482 0 264034 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1058072

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17282
/proc/meminfo: memFree=779784/2059040 swapFree=4148288/4192956
[pid=17226] ppid=17224 vsize=1062300 CPUtime=1781.74
/proc/17226/stat : 17226 (pbct) R 17224 17226 16681 0 -1 4202496 278056 0 0 0 176620 1554 0 0 25 0 1 0 7946309 1087795200 253855 1992294400 134512640 136485738 4294055888 18446744073709551615 135025159 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/17226/statm: 265575 253855 245 482 0 265091 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1062300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17284
/proc/meminfo: memFree=779164/2059040 swapFree=4148288/4192956
[pid=17226] ppid=17224 vsize=1062828 CPUtime=1800.05
/proc/17226/stat : 17226 (pbct) R 17224 17226 16681 0 -1 4202496 278190 0 0 0 178437 1568 0 0 25 0 1 0 7946309 1088335872 253989 1992294400 134512640 136485738 4294055888 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/17226/statm: 265707 253989 245 482 0 265223 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1062828

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.71
CPU time (s): 1800.15
CPU user time (s): 1784.37
CPU system time (s): 15.7806
CPU usage (%): 99.9691
Max. virtual memory (cumulated for all children) (KiB): 1062828

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

runsolver used 2.92256 second user time and 8.5557 second system time

The end