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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2668476-1276495838/watcher-2668476-1276495838 -o /tmp/evaluation-result-2668476-1276495838/solver-2668476-1276495838 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668476-1276495838.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.09 1.02 1.00 3/106 28893
/proc/meminfo: memFree=1728924/2059040 swapFree=4140228/4192956
[pid=28893] ppid=28891 vsize=2352 CPUtime=0
/proc/28893/stat : 28893 (pbct) R 28891 28893 28605 0 -1 4202496 283 0 0 0 0 0 0 0 17 0 1 0 23240127 2408448 205 1992294400 134512640 136485738 4291133680 18446744073709551615 135332318 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28893/statm: 588 205 156 482 0 104 0

[startup+0.0193351 s]
/proc/loadavg: 1.09 1.02 1.00 3/106 28893
/proc/meminfo: memFree=1728924/2059040 swapFree=4140228/4192956
[pid=28893] ppid=28891 vsize=2352 CPUtime=0.01
/proc/28893/stat : 28893 (pbct) R 28891 28893 28605 0 -1 4202496 287 0 0 0 1 0 0 0 17 0 1 0 23240127 2408448 209 1992294400 134512640 136485738 4291133680 18446744073709551615 134550178 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28893/statm: 588 209 156 482 0 104 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2352

[startup+0.101342 s]
/proc/loadavg: 1.09 1.02 1.00 3/106 28893
/proc/meminfo: memFree=1728924/2059040 swapFree=4140228/4192956
[pid=28893] ppid=28891 vsize=2500 CPUtime=0.09
/proc/28893/stat : 28893 (pbct) R 28891 28893 28605 0 -1 4202496 346 0 0 0 9 0 0 0 17 0 1 0 23240127 2560000 268 1992294400 134512640 136485738 4291133680 18446744073709551615 134519931 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28893/statm: 625 268 156 482 0 141 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2500

[startup+0.301361 s]
/proc/loadavg: 1.09 1.02 1.00 3/106 28893
/proc/meminfo: memFree=1728924/2059040 swapFree=4140228/4192956
[pid=28893] ppid=28891 vsize=3204 CPUtime=0.29
/proc/28893/stat : 28893 (pbct) R 28891 28893 28605 0 -1 4202496 492 0 0 0 29 0 0 0 17 0 1 0 23240127 3280896 414 1992294400 134512640 136485738 4291133680 18446744073709551615 135173519 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28893/statm: 801 414 156 482 0 317 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3204

[startup+0.7014 s]
/proc/loadavg: 1.09 1.02 1.00 3/106 28893
/proc/meminfo: memFree=1728924/2059040 swapFree=4140228/4192956
[pid=28893] ppid=28891 vsize=4256 CPUtime=0.69
/proc/28893/stat : 28893 (pbct) R 28891 28893 28605 0 -1 4202496 813 0 0 0 69 0 0 0 17 0 1 0 23240127 4358144 702 1992294400 134512640 136485738 4291133680 18446744073709551615 134534411 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28893/statm: 1064 702 156 482 0 580 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4256

[startup+1.50148 s]
/proc/loadavg: 1.09 1.02 1.00 2/107 28894
/proc/meminfo: memFree=1725692/2059040 swapFree=4140228/4192956
[pid=28893] ppid=28891 vsize=21528 CPUtime=1.5
/proc/28893/stat : 28893 (pbct) R 28891 28893 28605 0 -1 4202496 5142 0 0 0 148 2 0 0 18 0 1 0 23240127 22044672 4966 1992294400 134512640 136485738 4291133680 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28893/statm: 5382 4967 194 482 0 4898 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 21528

[startup+3.10163 s]
/proc/loadavg: 1.09 1.02 1.00 2/107 28896
/proc/meminfo: memFree=1597972/2059040 swapFree=4140228/4192956
[pid=28893] ppid=28891 vsize=182700 CPUtime=3.09
/proc/28893/stat : 28893 (pbct) R 28891 28893 28605 0 -1 4202496 47369 0 0 0 291 18 0 0 21 0 1 0 23240127 187084800 43504 1992294400 134512640 136485738 4291133680 18446744073709551615 134883204 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28893/statm: 45675 43504 243 482 0 45191 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 182700

[startup+6.30094 s]
/proc/loadavg: 1.24 1.06 1.02 2/107 28896
/proc/meminfo: memFree=1533368/2059040 swapFree=4140228/4192956
[pid=28893] ppid=28891 vsize=212708 CPUtime=6.29
/proc/28893/stat : 28893 (pbct) R 28891 28893 28605 0 -1 4202496 54869 0 0 0 603 26 0 0 25 0 1 0 23240127 217812992 51004 1992294400 134512640 136485738 4291133680 18446744073709551615 135025305 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28893/statm: 53177 51005 243 482 0 52693 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 212708

[startup+12.7015 s]
/proc/loadavg: 1.22 1.06 1.01 2/107 28896
/proc/meminfo: memFree=1474840/2059040 swapFree=4140228/4192956
[pid=28893] ppid=28891 vsize=268696 CPUtime=12.68
/proc/28893/stat : 28893 (pbct) R 28891 28893 28605 0 -1 4202496 68877 0 0 0 1228 40 0 0 25 0 1 0 23240127 275144704 65011 1992294400 134512640 136485738 4291133680 18446744073709551615 134669712 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28893/statm: 67174 65011 243 482 0 66690 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 268696

[startup+25.5008 s]
/proc/loadavg: 1.17 1.05 1.01 2/107 28896
/proc/meminfo: memFree=1373408/2059040 swapFree=4140228/4192956
[pid=28893] ppid=28891 vsize=366228 CPUtime=25.49
/proc/28893/stat : 28893 (pbct) R 28891 28893 28605 0 -1 4202496 93240 0 0 0 2482 67 0 0 25 0 1 0 23240127 375017472 89374 1992294400 134512640 136485738 4291133680 18446744073709551615 134878708 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28893/statm: 91557 89374 243 482 0 91073 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 366228

[startup+51.1012 s]
/proc/loadavg: 1.11 1.05 1.01 2/107 28896
/proc/meminfo: memFree=1259948/2059040 swapFree=4140228/4192956
[pid=28893] ppid=28891 vsize=477232 CPUtime=51.08
/proc/28893/stat : 28893 (pbct) R 28891 28893 28605 0 -1 4202496 121001 0 0 0 5002 106 0 0 25 0 1 0 23240127 488685568 117135 1992294400 134512640 136485738 4291133680 18446744073709551615 135040914 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28893/statm: 119308 117135 243 482 0 118824 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 477232

[startup+102.308 s]
/proc/loadavg: 1.08 1.05 1.01 2/107 28898
/proc/meminfo: memFree=1243332/2059040 swapFree=4140228/4192956
[pid=28893] ppid=28891 vsize=493628 CPUtime=102.27
/proc/28893/stat : 28893 (pbct) R 28891 28893 28605 0 -1 4202496 125090 0 0 0 10070 157 0 0 25 0 1 0 23240127 505475072 121223 1992294400 134512640 136485738 4291133680 18446744073709551615 134660737 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28893/statm: 123407 121223 243 482 0 122923 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 493628

[startup+162.301 s]
/proc/loadavg: 1.06 1.05 1.01 2/107 28900
/proc/meminfo: memFree=1243332/2059040 swapFree=4140228/4192956
[pid=28893] ppid=28891 vsize=493628 CPUtime=162.24
/proc/28893/stat : 28893 (pbct) R 28891 28893 28605 0 -1 4202496 125090 0 0 0 16006 218 0 0 25 0 1 0 23240127 505475072 121223 1992294400 134512640 136485738 4291133680 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28893/statm: 123407 121223 243 482 0 122923 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 493628

[startup+222.301 s]
/proc/loadavg: 1.13 1.07 1.02 2/107 28900
/proc/meminfo: memFree=1243208/2059040 swapFree=4140228/4192956
[pid=28893] ppid=28891 vsize=493628 CPUtime=222.22
/proc/28893/stat : 28893 (pbct) R 28891 28893 28605 0 -1 4202496 125090 0 0 0 21947 275 0 0 25 0 1 0 23240127 505475072 121223 1992294400 134512640 136485738 4291133680 18446744073709551615 135849522 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28893/statm: 123407 121223 243 482 0 122923 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 493628

[startup+282.301 s]
/proc/loadavg: 1.17 1.09 1.02 2/107 28902
/proc/meminfo: memFree=1243208/2059040 swapFree=4140228/4192956
[pid=28893] ppid=28891 vsize=493628 CPUtime=282.21
/proc/28893/stat : 28893 (pbct) R 28891 28893 28605 0 -1 4202496 125091 0 0 0 27887 334 0 0 25 0 1 0 23240127 505475072 121223 1992294400 134512640 136485738 4291133680 18446744073709551615 134661904 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28893/statm: 123407 121223 243 482 0 122923 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 493628

[startup+342.301 s]
/proc/loadavg: 1.06 1.07 1.01 2/107 28904
/proc/meminfo: memFree=1243208/2059040 swapFree=4140228/4192956
[pid=28893] ppid=28891 vsize=493628 CPUtime=342.19
/proc/28893/stat : 28893 (pbct) R 28891 28893 28605 0 -1 4202496 125091 0 0 0 33826 393 0 0 25 0 1 0 23240127 505475072 121223 1992294400 134512640 136485738 4291133680 18446744073709551615 135040914 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28893/statm: 123407 121223 243 482 0 122923 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 493628

[startup+402.301 s]
/proc/loadavg: 1.10 1.07 1.01 2/107 28906
/proc/meminfo: memFree=1243084/2059040 swapFree=4140228/4192956
[pid=28893] ppid=28891 vsize=493628 CPUtime=402.17
/proc/28893/stat : 28893 (pbct) R 28891 28893 28605 0 -1 4202496 125091 0 0 0 39781 436 0 0 25 0 1 0 23240127 505475072 121223 1992294400 134512640 136485738 4291133680 18446744073709551615 135040914 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28893/statm: 123407 121223 243 482 0 122923 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 493628

[startup+462.301 s]
/proc/loadavg: 1.04 1.05 1.01 2/107 28908
/proc/meminfo: memFree=1243084/2059040 swapFree=4140228/4192956
[pid=28893] ppid=28891 vsize=493628 CPUtime=462.15
/proc/28893/stat : 28893 (pbct) R 28891 28893 28605 0 -1 4202496 125091 0 0 0 45727 488 0 0 25 0 1 0 23240127 505475072 121223 1992294400 134512640 136485738 4291133680 18446744073709551615 134882747 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28893/statm: 123407 121223 243 482 0 122923 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 493628

[startup+522.301 s]
/proc/loadavg: 1.01 1.04 1.00 2/107 28908
/proc/meminfo: memFree=1242960/2059040 swapFree=4140228/4192956
[pid=28893] ppid=28891 vsize=493628 CPUtime=522.13
/proc/28893/stat : 28893 (pbct) R 28891 28893 28605 0 -1 4202496 125091 0 0 0 51669 544 0 0 25 0 1 0 23240127 505475072 121223 1992294400 134512640 136485738 4291133680 18446744073709551615 135040914 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28893/statm: 123407 121223 243 482 0 122923 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 493628

[startup+582.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 28910
/proc/meminfo: memFree=1242960/2059040 swapFree=4140228/4192956
[pid=28893] ppid=28891 vsize=493628 CPUtime=582.12
/proc/28893/stat : 28893 (pbct) R 28891 28893 28605 0 -1 4202496 125091 0 0 0 57610 602 0 0 25 0 1 0 23240127 505475072 121223 1992294400 134512640 136485738 4291133680 18446744073709551615 134878458 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28893/statm: 123407 121223 243 482 0 122923 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 493628

[startup+642.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 28912
/proc/meminfo: memFree=1242836/2059040 swapFree=4140228/4192956
[pid=28893] ppid=28891 vsize=493628 CPUtime=642.1
/proc/28893/stat : 28893 (pbct) R 28891 28893 28605 0 -1 4202496 125091 0 0 0 63559 651 0 0 25 0 1 0 23240127 505475072 121223 1992294400 134512640 136485738 4291133680 18446744073709551615 134878712 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28893/statm: 123407 121223 243 482 0 122923 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 493628

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 28916
/proc/meminfo: memFree=1242712/2059040 swapFree=4140228/4192956
[pid=28893] ppid=28891 vsize=493628 CPUtime=822.04
/proc/28893/stat : 28893 (pbct) R 28891 28893 28605 0 -1 4202496 125091 0 0 0 81400 804 0 0 25 0 1 0 23240127 505475072 121223 1992294400 134512640 136485738 4291133680 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28893/statm: 123407 121223 243 482 0 122923 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 493628

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28918
/proc/meminfo: memFree=1229568/2059040 swapFree=4140228/4192956
[pid=28893] ppid=28891 vsize=507080 CPUtime=882.03
/proc/28893/stat : 28893 (pbct) R 28891 28893 28605 0 -1 4202496 128441 0 0 0 87350 853 0 0 25 0 1 0 23240127 519249920 124573 1992294400 134512640 136485738 4291133680 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28893/statm: 126770 124573 243 482 0 126286 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 507080

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28920
/proc/meminfo: memFree=1228328/2059040 swapFree=4140228/4192956
[pid=28893] ppid=28891 vsize=508152 CPUtime=942.01
/proc/28893/stat : 28893 (pbct) R 28891 28893 28605 0 -1 4202496 128717 0 0 0 93315 886 0 0 25 0 1 0 23240127 520347648 124849 1992294400 134512640 136485738 4291133680 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28893/statm: 127038 124849 243 482 0 126554 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 508152

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28922
/proc/meminfo: memFree=1228328/2059040 swapFree=4140228/4192956
[pid=28893] ppid=28891 vsize=508152 CPUtime=1002
/proc/28893/stat : 28893 (pbct) R 28891 28893 28605 0 -1 4202496 128717 0 0 0 99272 928 0 0 25 0 1 0 23240127 520347648 124849 1992294400 134512640 136485738 4291133680 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28893/statm: 127038 124849 243 482 0 126554 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 508152

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28924
/proc/meminfo: memFree=1228204/2059040 swapFree=4140228/4192956
[pid=28893] ppid=28891 vsize=508152 CPUtime=1061.98
/proc/28893/stat : 28893 (pbct) R 28891 28893 28605 0 -1 4202496 128717 0 0 0 105216 982 0 0 25 0 1 0 23240127 520347648 124849 1992294400 134512640 136485738 4291133680 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28893/statm: 127038 124849 243 482 0 126554 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 508152

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28924
/proc/meminfo: memFree=1227832/2059040 swapFree=4140228/4192956
[pid=28893] ppid=28891 vsize=507932 CPUtime=1121.96
/proc/28893/stat : 28893 (pbct) R 28891 28893 28605 0 -1 4202496 129339 0 0 0 111158 1038 0 0 25 0 1 0 23240127 520122368 124812 1992294400 134512640 136485738 4291133680 18446744073709551615 134878718 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28893/statm: 126983 124812 243 482 0 126499 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 507932

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28926
/proc/meminfo: memFree=1227708/2059040 swapFree=4140228/4192956
[pid=28893] ppid=28891 vsize=507932 CPUtime=1181.95
/proc/28893/stat : 28893 (pbct) R 28891 28893 28605 0 -1 4202496 129339 0 0 0 117110 1085 0 0 25 0 1 0 23240127 520122368 124812 1992294400 134512640 136485738 4291133680 18446744073709551615 134876800 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28893/statm: 126983 124812 243 482 0 126499 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 507932

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28928
/proc/meminfo: memFree=1227708/2059040 swapFree=4140228/4192956
[pid=28893] ppid=28891 vsize=507932 CPUtime=1241.92
/proc/28893/stat : 28893 (pbct) R 28891 28893 28605 0 -1 4202496 129339 0 0 0 123053 1139 0 0 25 0 1 0 23240127 520122368 124812 1992294400 134512640 136485738 4291133680 18446744073709551615 134878494 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28893/statm: 126983 124812 243 482 0 126499 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 507932

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28930
/proc/meminfo: memFree=1227584/2059040 swapFree=4140228/4192956
[pid=28893] ppid=28891 vsize=507932 CPUtime=1301.91
/proc/28893/stat : 28893 (pbct) R 28891 28893 28605 0 -1 4202496 130530 0 0 0 128997 1194 0 0 25 0 1 0 23240127 520122368 124812 1992294400 134512640 136485738 4291133680 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28893/statm: 126983 124812 243 482 0 126499 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 507932

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28932
/proc/meminfo: memFree=1227584/2059040 swapFree=4140228/4192956
[pid=28893] ppid=28891 vsize=507932 CPUtime=1361.89
/proc/28893/stat : 28893 (pbct) R 28891 28893 28605 0 -1 4202496 130530 0 0 0 134948 1241 0 0 25 0 1 0 23240127 520122368 124812 1992294400 134512640 136485738 4291133680 18446744073709551615 134883302 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28893/statm: 126983 124812 243 482 0 126499 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 507932

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28932
/proc/meminfo: memFree=1227584/2059040 swapFree=4140228/4192956
[pid=28893] ppid=28891 vsize=507932 CPUtime=1421.88
/proc/28893/stat : 28893 (pbct) R 28891 28893 28605 0 -1 4202496 130531 0 0 0 140910 1278 0 0 25 0 1 0 23240127 520122368 124813 1992294400 134512640 136485738 4291133680 18446744073709551615 134880615 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28893/statm: 126983 124813 243 482 0 126499 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 507932

[startup+1482.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 28934
/proc/meminfo: memFree=1221880/2059040 swapFree=4140228/4192956
[pid=28893] ppid=28891 vsize=514320 CPUtime=1481.85
/proc/28893/stat : 28893 (pbct) R 28891 28893 28605 0 -1 4202496 132093 0 0 0 146861 1324 0 0 25 0 1 0 23240127 526663680 126375 1992294400 134512640 136485738 4291133680 18446744073709551615 134878419 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28893/statm: 128580 126375 243 482 0 128096 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 514320

[startup+1542.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 28936
/proc/meminfo: memFree=1221756/2059040 swapFree=4140228/4192956
[pid=28893] ppid=28891 vsize=514320 CPUtime=1541.84
/proc/28893/stat : 28893 (pbct) R 28891 28893 28605 0 -1 4202496 132093 0 0 0 152803 1381 0 0 25 0 1 0 23240127 526663680 126375 1992294400 134512640 136485738 4291133680 18446744073709551615 134880512 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28893/statm: 128580 126375 243 482 0 128096 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 514320

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28938
/proc/meminfo: memFree=1221756/2059040 swapFree=4140228/4192956
[pid=28893] ppid=28891 vsize=514320 CPUtime=1601.81
/proc/28893/stat : 28893 (pbct) R 28891 28893 28605 0 -1 4202496 132093 0 0 0 158743 1438 0 0 25 0 1 0 23240127 526663680 126375 1992294400 134512640 136485738 4291133680 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28893/statm: 128580 126375 243 482 0 128096 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 514320

[startup+1662.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 28943
/proc/meminfo: memFree=1220268/2059040 swapFree=4140228/4192956
[pid=28893] ppid=28891 vsize=514988 CPUtime=1661.8
/proc/28893/stat : 28893 (pbct) R 28891 28893 28605 0 -1 4202496 132282 0 0 0 164693 1487 0 0 25 0 1 0 23240127 527347712 126564 1992294400 134512640 136485738 4291133680 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28893/statm: 128747 126564 243 482 0 128263 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 514988

[startup+1722.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 28943
/proc/meminfo: memFree=1220268/2059040 swapFree=4140228/4192956
[pid=28893] ppid=28891 vsize=514988 CPUtime=1721.78
/proc/28893/stat : 28893 (pbct) R 28891 28893 28605 0 -1 4202496 132282 0 0 0 170636 1542 0 0 25 0 1 0 23240127 527347712 126564 1992294400 134512640 136485738 4291133680 18446744073709551615 134878465 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28893/statm: 128747 126564 243 482 0 128263 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 514988

[startup+1782.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 28945
/proc/meminfo: memFree=1220268/2059040 swapFree=4140228/4192956
[pid=28893] ppid=28891 vsize=514988 CPUtime=1781.76
/proc/28893/stat : 28893 (pbct) R 28891 28893 28605 0 -1 4202496 132282 0 0 0 176579 1597 0 0 25 0 1 0 23240127 527347712 126564 1992294400 134512640 136485738 4291133680 18446744073709551615 135028058 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28893/statm: 128747 126564 243 482 0 128263 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 514988



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28945
/proc/meminfo: memFree=1220268/2059040 swapFree=4140228/4192956
[pid=28893] ppid=28891 vsize=514988 CPUtime=1800.07
/proc/28893/stat : 28893 (pbct) R 28891 28893 28605 0 -1 4202496 132282 0 0 0 178392 1615 0 0 25 0 1 0 23240127 527347712 126564 1992294400 134512640 136485738 4291133680 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28893/statm: 128747 126564 243 482 0 128263 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 514988

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.67
CPU time (s): 1800.14
CPU user time (s): 1783.92
CPU system time (s): 16.2105
CPU usage (%): 99.9704
Max. virtual memory (cumulated for all children) (KiB): 514988

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

runsolver used 3.05054 second user time and 8.42872 second system time

The end