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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2681780-1277504547/watcher-2681780-1277504547 -o /tmp/evaluation-result-2681780-1277504547/solver-2681780-1277504547 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2681780-1277504547.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/106 26126
/proc/meminfo: memFree=1807464/2059040 swapFree=4136400/4192956
[pid=26126] ppid=26124 vsize=2268 CPUtime=0
/proc/26126/stat : 26126 (pbct) R 26124 26126 25364 0 -1 4202496 295 0 0 0 0 0 0 0 23 0 1 0 124110162 2322432 214 1992294400 134512640 136421960 4286738480 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26126/statm: 567 214 145 467 0 98 0

[startup+0.0191659 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 26126
/proc/meminfo: memFree=1807464/2059040 swapFree=4136400/4192956
[pid=26126] ppid=26124 vsize=2664 CPUtime=0.01
/proc/26126/stat : 26126 (pbct) R 26124 26126 25364 0 -1 4202496 373 0 0 0 1 0 0 0 23 0 1 0 124110162 2727936 292 1992294400 134512640 136421960 4286738480 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26126/statm: 666 292 145 467 0 197 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2664

[startup+0.101173 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 26126
/proc/meminfo: memFree=1807464/2059040 swapFree=4136400/4192956
[pid=26126] ppid=26124 vsize=4908 CPUtime=0.09
/proc/26126/stat : 26126 (pbct) R 26124 26126 25364 0 -1 4202496 957 0 0 0 9 0 0 0 23 0 1 0 124110162 5025792 876 1992294400 134512640 136421960 4286738480 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26126/statm: 1227 876 145 467 0 758 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4908

[startup+0.301189 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 26126
/proc/meminfo: memFree=1807464/2059040 swapFree=4136400/4192956
[pid=26126] ppid=26124 vsize=10188 CPUtime=0.29
/proc/26126/stat : 26126 (pbct) R 26124 26126 25364 0 -1 4202496 2276 0 0 0 29 0 0 0 24 0 1 0 124110162 10432512 2195 1992294400 134512640 136421960 4286738480 18446744073709551615 135818487 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26126/statm: 2547 2195 146 467 0 2078 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10188

[startup+0.70122 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 26126
/proc/meminfo: memFree=1807464/2059040 swapFree=4136400/4192956
[pid=26126] ppid=26124 vsize=29220 CPUtime=0.69
/proc/26126/stat : 26126 (pbct) R 26124 26126 25364 0 -1 4202496 7020 0 0 0 66 3 0 0 25 0 1 0 124110162 29921280 6906 1992294400 134512640 136421960 4286738480 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26126/statm: 7305 6907 190 467 0 6836 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29220

[startup+1.50128 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26127
/proc/meminfo: memFree=1752524/2059040 swapFree=4136400/4192956
[pid=26126] ppid=26124 vsize=101776 CPUtime=1.49
/proc/26126/stat : 26126 (pbct) R 26124 26126 25364 0 -1 4202496 25884 0 0 0 140 9 0 0 25 0 1 0 124110162 104218624 24553 1992294400 134512640 136421960 4286738480 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26126/statm: 25444 24554 190 467 0 24975 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 101776

[startup+3.10141 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26127
/proc/meminfo: memFree=1664608/2059040 swapFree=4136400/4192956
[pid=26126] ppid=26124 vsize=216068 CPUtime=3.09
/proc/26126/stat : 26126 (pbct) R 26124 26126 25364 0 -1 4202496 56555 0 0 0 285 24 0 0 25 0 1 0 124110162 221253632 53233 1992294400 134512640 136421960 4286738480 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26126/statm: 54017 53233 194 467 0 53548 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 216068

[startup+6.30166 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26127
/proc/meminfo: memFree=1445748/2059040 swapFree=4136400/4192956
[pid=26126] ppid=26124 vsize=423168 CPUtime=6.29
/proc/26126/stat : 26126 (pbct) R 26124 26126 25364 0 -1 4202496 111917 0 0 0 578 51 0 0 25 0 1 0 124110162 433324032 105262 1992294400 134512640 136421960 4286738480 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26126/statm: 105792 105262 194 467 0 105323 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 423168

[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26127
/proc/meminfo: memFree=980252/2059040 swapFree=4136400/4192956
[pid=26126] ppid=26124 vsize=903940 CPUtime=12.69
/proc/26126/stat : 26126 (pbct) R 26124 26126 25364 0 -1 4202496 237665 0 0 0 1170 99 0 0 25 0 1 0 124110162 925634560 218394 1992294400 134512640 136421960 4286738480 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26126/statm: 225985 218396 209 467 0 225516 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 903940

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26127
/proc/meminfo: memFree=894444/2059040 swapFree=4136400/4192956
[pid=26126] ppid=26124 vsize=958168 CPUtime=25.48
/proc/26126/stat : 26126 (pbct) R 26124 26126 25364 0 -1 4202496 252017 0 0 0 2434 114 0 0 25 0 1 0 124110162 981164032 227824 1992294400 134512640 136421960 4286738480 18446744073709551615 134620057 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26126/statm: 239542 227824 238 467 0 239073 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 958168

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26127
/proc/meminfo: memFree=894072/2059040 swapFree=4136400/4192956
[pid=26126] ppid=26124 vsize=958828 CPUtime=51.08
/proc/26126/stat : 26126 (pbct) R 26124 26126 25364 0 -1 4202496 252197 0 0 0 4968 140 0 0 25 0 1 0 124110162 981839872 228004 1992294400 134512640 136421960 4286738480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26126/statm: 239707 228004 238 467 0 239238 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 958828

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26129
/proc/meminfo: memFree=892336/2059040 swapFree=4136400/4192956
[pid=26126] ppid=26124 vsize=960416 CPUtime=102.27
/proc/26126/stat : 26126 (pbct) R 26124 26126 25364 0 -1 4202496 252599 0 0 0 10036 191 0 0 25 0 1 0 124110162 983465984 228406 1992294400 134512640 136421960 4286738480 18446744073709551615 134859887 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26126/statm: 240104 228406 238 467 0 239635 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 960416

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26131
/proc/meminfo: memFree=889484/2059040 swapFree=4136400/4192956
[pid=26126] ppid=26124 vsize=963192 CPUtime=162.26
/proc/26126/stat : 26126 (pbct) R 26124 26126 25364 0 -1 4202496 253286 0 0 0 15977 249 0 0 25 0 1 0 124110162 986308608 229093 1992294400 134512640 136421960 4286738480 18446744073709551615 134861937 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26126/statm: 240798 229093 238 467 0 240329 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 963192

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26131
/proc/meminfo: memFree=887872/2059040 swapFree=4136400/4192956
[pid=26126] ppid=26124 vsize=964912 CPUtime=222.24
/proc/26126/stat : 26126 (pbct) R 26124 26126 25364 0 -1 4202496 253721 0 0 0 21920 304 0 0 25 0 1 0 124110162 988069888 229528 1992294400 134512640 136421960 4286738480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26126/statm: 241228 229528 238 467 0 240759 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 964912

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26133
/proc/meminfo: memFree=885020/2059040 swapFree=4136400/4192956
[pid=26126] ppid=26124 vsize=967684 CPUtime=282.23
/proc/26126/stat : 26126 (pbct) R 26124 26126 25364 0 -1 4202496 254388 0 0 0 27862 361 0 0 25 0 1 0 124110162 990908416 230195 1992294400 134512640 136421960 4286738480 18446744073709551615 135818454 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26126/statm: 241921 230195 238 467 0 241452 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 967684

[startup+342.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26135
/proc/meminfo: memFree=878572/2059040 swapFree=4136400/4192956
[pid=26126] ppid=26124 vsize=974164 CPUtime=342.21
/proc/26126/stat : 26126 (pbct) R 26124 26126 25364 0 -1 4202496 256007 0 0 0 33799 422 0 0 25 0 1 0 124110162 997543936 231814 1992294400 134512640 136421960 4286738480 18446744073709551615 135005960 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26126/statm: 243541 231814 238 467 0 243072 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 974164

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26137
/proc/meminfo: memFree=877208/2059040 swapFree=4136400/4192956
[pid=26126] ppid=26124 vsize=975352 CPUtime=402.2
/proc/26126/stat : 26126 (pbct) R 26124 26126 25364 0 -1 4202496 256332 0 0 0 39750 470 0 0 25 0 1 0 124110162 998760448 232139 1992294400 134512640 136421960 4286738480 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26126/statm: 243838 232139 238 467 0 243369 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 975352

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26139
/proc/meminfo: memFree=874728/2059040 swapFree=4136400/4192956
[pid=26126] ppid=26124 vsize=977728 CPUtime=462.18
/proc/26126/stat : 26126 (pbct) R 26124 26126 25364 0 -1 4202496 256921 0 0 0 45692 526 0 0 25 0 1 0 124110162 1001193472 232728 1992294400 134512640 136421960 4286738480 18446744073709551615 135021849 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26126/statm: 244432 232728 238 467 0 243963 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 977728

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26139
/proc/meminfo: memFree=870140/2059040 swapFree=4136400/4192956
[pid=26126] ppid=26124 vsize=982748 CPUtime=522.17
/proc/26126/stat : 26126 (pbct) R 26124 26126 25364 0 -1 4202496 258168 0 0 0 51640 577 0 0 25 0 1 0 124110162 1006333952 233975 1992294400 134512640 136421960 4286738480 18446744073709551615 134643000 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26126/statm: 245687 233975 238 467 0 245218 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 982748

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26141
/proc/meminfo: memFree=867040/2059040 swapFree=4136400/4192956
[pid=26126] ppid=26124 vsize=985396 CPUtime=582.16
/proc/26126/stat : 26126 (pbct) R 26124 26126 25364 0 -1 4202496 258829 0 0 0 57586 630 0 0 25 0 1 0 124110162 1009045504 234636 1992294400 134512640 136421960 4286738480 18446744073709551615 135020548 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26126/statm: 246349 234636 238 467 0 245880 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 985396

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26143
/proc/meminfo: memFree=862452/2059040 swapFree=4136400/4192956
[pid=26126] ppid=26124 vsize=989904 CPUtime=642.15
/proc/26126/stat : 26126 (pbct) R 26124 26126 25364 0 -1 4202496 259962 0 0 0 63529 686 0 0 25 0 1 0 124110162 1013661696 235769 1992294400 134512640 136421960 4286738480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26126/statm: 247476 235769 238 467 0 247007 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 989904

[startup+702.301 s]

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

/proc/loadavg: 1.12 1.05 1.01 2/107 26160
/proc/meminfo: memFree=833560/2059040 swapFree=4136400/4192956
[pid=26126] ppid=26124 vsize=1018328 CPUtime=1182.02
/proc/26126/stat : 26126 (pbct) R 26124 26126 25364 0 -1 4202496 267044 0 0 0 117061 1141 0 0 25 0 1 0 124110162 1042767872 242851 1992294400 134512640 136421960 4286738480 18446744073709551615 134643263 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26126/statm: 254582 242851 238 467 0 254113 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 1018328

[startup+1242.3 s]
/proc/loadavg: 1.04 1.03 1.00 2/107 26162
/proc/meminfo: memFree=829964/2059040 swapFree=4136400/4192956
[pid=26126] ppid=26124 vsize=1021904 CPUtime=1242
/proc/26126/stat : 26126 (pbct) R 26124 26126 25364 0 -1 4202496 267950 0 0 0 123003 1197 0 0 25 0 1 0 124110162 1046429696 243757 1992294400 134512640 136421960 4286738480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26126/statm: 255476 243757 238 467 0 255007 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 1021904

[startup+1302.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 26164
/proc/meminfo: memFree=827608/2059040 swapFree=4136400/4192956
[pid=26126] ppid=26124 vsize=1024148 CPUtime=1302
/proc/26126/stat : 26126 (pbct) R 26124 26126 25364 0 -1 4202496 268518 0 0 0 128957 1243 0 0 25 0 1 0 124110162 1048727552 244325 1992294400 134512640 136421960 4286738480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26126/statm: 256037 244325 238 467 0 255568 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 1024148

[startup+1362.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 26166
/proc/meminfo: memFree=822028/2059040 swapFree=4136400/4192956
[pid=26126] ppid=26124 vsize=1029836 CPUtime=1361.98
/proc/26126/stat : 26126 (pbct) R 26124 26126 25364 0 -1 4202496 269929 0 0 0 134903 1295 0 0 25 0 1 0 124110162 1054552064 245736 1992294400 134512640 136421960 4286738480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26126/statm: 257459 245736 238 467 0 256990 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 1029836

[startup+1422.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 26166
/proc/meminfo: memFree=812480/2059040 swapFree=4136400/4192956
[pid=26126] ppid=26124 vsize=1039356 CPUtime=1421.97
/proc/26126/stat : 26126 (pbct) R 26124 26126 25364 0 -1 4202496 272328 0 0 0 140851 1346 0 0 25 0 1 0 124110162 1064300544 248135 1992294400 134512640 136421960 4286738480 18446744073709551615 135006251 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26126/statm: 259839 248135 238 467 0 259370 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 1039356

[startup+1482.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 26168
/proc/meminfo: memFree=808264/2059040 swapFree=4136400/4192956
[pid=26126] ppid=26124 vsize=1043452 CPUtime=1481.95
/proc/26126/stat : 26126 (pbct) R 26124 26126 25364 0 -1 4202496 273345 0 0 0 146805 1390 0 0 25 0 1 0 124110162 1068494848 249152 1992294400 134512640 136421960 4286738480 18446744073709551615 135686967 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26126/statm: 260863 249152 238 467 0 260394 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 1043452

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26170
/proc/meminfo: memFree=801568/2059040 swapFree=4136400/4192956
[pid=26126] ppid=26124 vsize=1050292 CPUtime=1541.94
/proc/26126/stat : 26126 (pbct) R 26124 26126 25364 0 -1 4202496 275027 0 0 0 152760 1434 0 0 25 0 1 0 124110162 1075499008 250834 1992294400 134512640 136421960 4286738480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26126/statm: 262573 250834 238 467 0 262104 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 1050292

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26172
/proc/meminfo: memFree=798716/2059040 swapFree=4136400/4192956
[pid=26126] ppid=26124 vsize=1053200 CPUtime=1601.92
/proc/26126/stat : 26126 (pbct) R 26124 26126 25364 0 -1 4202496 275760 0 0 0 158713 1479 0 0 25 0 1 0 124110162 1078476800 251567 1992294400 134512640 136421960 4286738480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26126/statm: 263300 251567 238 467 0 262831 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 1053200

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26174
/proc/meminfo: memFree=796360/2059040 swapFree=4136400/4192956
[pid=26126] ppid=26124 vsize=1055444 CPUtime=1661.91
/proc/26126/stat : 26126 (pbct) R 26124 26126 25364 0 -1 4202496 276328 0 0 0 164665 1526 0 0 25 0 1 0 124110162 1080774656 252135 1992294400 134512640 136421960 4286738480 18446744073709551615 135028336 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26126/statm: 263861 252135 238 467 0 263392 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 1055444

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26174
/proc/meminfo: memFree=794128/2059040 swapFree=4136400/4192956
[pid=26126] ppid=26124 vsize=1058088 CPUtime=1721.89
/proc/26126/stat : 26126 (pbct) R 26124 26126 25364 0 -1 4202496 277000 0 0 0 170619 1570 0 0 25 0 1 0 124110162 1083482112 252807 1992294400 134512640 136421960 4286738480 18446744073709551615 134861890 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26126/statm: 264522 252807 238 467 0 264053 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 1058088

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26176
/proc/meminfo: memFree=791152/2059040 swapFree=4136400/4192956
[pid=26126] ppid=26124 vsize=1060336 CPUtime=1781.88
/proc/26126/stat : 26126 (pbct) R 26124 26126 25364 0 -1 4202496 277548 0 0 0 176572 1616 0 0 25 0 1 0 124110162 1085784064 253355 1992294400 134512640 136421960 4286738480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26126/statm: 265084 253355 238 467 0 264615 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 1060336



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26178
/proc/meminfo: memFree=789664/2059040 swapFree=4136400/4192956
[pid=26126] ppid=26124 vsize=1061788 CPUtime=1800.08
/proc/26126/stat : 26126 (pbct) R 26124 26126 25364 0 -1 4202496 277916 0 0 0 178379 1629 0 0 25 0 1 0 124110162 1087270912 253723 1992294400 134512640 136421960 4286738480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26126/statm: 265447 253723 238 467 0 264978 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1061788

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

############
# WARNING:
# current cumulated CPU time (0 s) is less than in the last sample (1800.08 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (1800.08 s) to the 'lost time'.

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26178
/proc/meminfo: memFree=789664/2059040 swapFree=4136400/4192956
[pid=26126] ppid=26124 vsize=1061788 CPUtime=1800.08
/proc/26126/stat : 26126 (pbct) R 26124 26126 25364 0 -1 4202496 277916 0 0 0 178379 1629 0 0 25 0 1 0 124110162 1087270912 253723 1992294400 134512640 136421960 4286738480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26126/statm: 265447 253723 238 467 0 264978 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1061788

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 26179
/proc/meminfo: memFree=1789592/2059040 swapFree=4136400/4192956
[pid=26126] ppid=-1 vsize=0 CPUtime=0
/proc/26126/stat : -- couldn't open stat file --/proc/26126/statm: Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
#
############


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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 26179
/proc/meminfo: memFree=1789592/2059040 swapFree=4136400/4192956
[pid=26126] ppid=-1 vsize=0 CPUtime=0
/proc/26126/stat : -- couldn't open stat file --/proc/26126/statm: Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26126 and gives
#  childrusage.ru_utime.tv_sec=1783
#  childrusage.ru_utime.tv_usec=794821
#  childrusage.ru_stime.tv_sec=16
#  childrusage.ru_stime.tv_usec=400506
# CPU time returned by wait4() is 1800.2
# while last known CPU time is 0
#
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 1800.08
#  lost CPU user time (s): 1783.79
#  lost CPU system time (s): 16.29

Real time (s): 1800.61
CPU time (s): 1800.08
CPU user time (s): 1783.79
CPU system time (s): 16.29
CPU usage (%): 99.9705
Max. virtual memory (cumulated for all children) (KiB): 1061788

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

runsolver used 3.04254 second user time and 8.43772 second system time

The end