runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3737227-1339248587/watcher-3737227-1339248587 -o /tmp/evaluation-result-3737227-1339248587/solver-3737227-1339248587 -C 1800 -W 1900 -M 15500 run HOME/instance-3737227-1339248587.opb
running on 4 cores: 1,3,5,7
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 11.08 11.32 8.99 9/184 24286
/proc/meminfo: memFree=29243812/32873844 swapFree=7372/7372
[pid=24286] ppid=24284 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24286/stat : 24286 (run) S 24284 24286 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390987339 9367552 270 33554432000 4194304 5064252 140736494871808 140736494870720 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24286/statm: 2287 270 229 213 0 72 0
[startup+0.0576599 s]
/proc/loadavg: 11.08 11.32 8.99 9/184 24286
/proc/meminfo: memFree=29243812/32873844 swapFree=7372/7372
[pid=24286] ppid=24284 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24286/stat : 24286 (run) S 24284 24286 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390987339 9367552 270 33554432000 4194304 5064252 140736494871808 140736494870720 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24286/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100225 s]
/proc/loadavg: 11.08 11.32 8.99 9/184 24286
/proc/meminfo: memFree=29243812/32873844 swapFree=7372/7372
[pid=24286] ppid=24284 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24286/stat : 24286 (run) S 24284 24286 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390987339 9367552 270 33554432000 4194304 5064252 140736494871808 140736494870720 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24286/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300184 s]
/proc/loadavg: 11.08 11.32 8.99 9/184 24286
/proc/meminfo: memFree=29243812/32873844 swapFree=7372/7372
[pid=24286] ppid=24284 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24286/stat : 24286 (run) S 24284 24286 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390987339 9367552 270 33554432000 4194304 5064252 140736494871808 140736494870720 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24286/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700188 s]
/proc/loadavg: 11.08 11.32 8.99 9/184 24286
/proc/meminfo: memFree=29243812/32873844 swapFree=7372/7372
[pid=24286] ppid=24284 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24286/stat : 24286 (run) S 24284 24286 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390987339 9367552 270 33554432000 4194304 5064252 140736494871808 140736494870720 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24286/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50022 s]
/proc/loadavg: 11.08 11.32 8.99 6/186 24288
/proc/meminfo: memFree=29235024/32873844 swapFree=7372/7372
[pid=24286] ppid=24284 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24286/stat : 24286 (run) S 24284 24286 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390987339 9367552 270 33554432000 4194304 5064252 140736494871808 140736494870720 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24286/statm: 2287 270 229 213 0 72 0
[pid=24287] ppid=24286 vsize=21864 CPUtime=1.49 cores=1,3,5,7
/proc/24287/stat : 24287 (pb_cplex) R 24286 24286 23197 0 -1 4202496 6465 0 0 0 148 1 0 0 20 0 1 0 390987339 22388736 2955 33554432000 134512640 146736320 4293132096 4293124884 135455417 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/24287/statm: 5466 2955 896 2985 0 2400 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31012
[startup+3.10041 s]
/proc/loadavg: 11.08 11.32 8.99 4/193 24295
/proc/meminfo: memFree=29226660/32873844 swapFree=7372/7372
[pid=24286] ppid=24284 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24286/stat : 24286 (run) S 24284 24286 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390987339 9367552 270 33554432000 4194304 5064252 140736494871808 140736494870720 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24286/statm: 2287 270 229 213 0 72 0
[pid=24287] ppid=24286 vsize=117572 CPUtime=5.13 cores=1,3,5,7
/proc/24287/stat : 24287 (pb_cplex) S 24286 24286 23197 0 -1 4202496 11013 0 0 0 508 5 0 0 20 0 8 0 390987339 120393728 7303 33554432000 134512640 146736320 4293132096 4293128464 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24287/statm: 29393 7303 927 2985 0 26327 0
[pid=24287/tid=24289] ppid=24286 vsize=117572 CPUtime=0.41 cores=1,3,5,7
/proc/24287/task/24289/stat : 24289 (pb_cplex) R 24286 24286 23197 0 -1 4202560 295 0 0 0 41 0 0 0 20 0 8 0 390987522 120393728 7303 33554432000 134512640 146736320 4293132096 4150404072 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24287/tid=24290] ppid=24286 vsize=117572 CPUtime=0.31 cores=1,3,5,7
/proc/24287/task/24290/stat : 24290 (pb_cplex) R 24286 24286 23197 0 -1 4202560 325 0 0 0 31 0 0 0 20 0 8 0 390987522 120393728 7303 33554432000 134512640 146736320 4293132096 4139917952 138423585 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24287/tid=24291] ppid=24286 vsize=117572 CPUtime=0.41 cores=1,3,5,7
/proc/24287/task/24291/stat : 24291 (pb_cplex) R 24286 24286 23197 0 -1 4202560 339 0 0 0 41 0 0 0 20 0 8 0 390987522 120393728 7303 33554432000 134512640 146736320 4293132096 4129432016 139044932 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=24287/tid=24292] ppid=24286 vsize=117572 CPUtime=0.41 cores=1,3,5,7
/proc/24287/task/24292/stat : 24292 (pb_cplex) R 24286 24286 23197 0 -1 4202560 348 0 0 0 41 0 0 0 20 0 8 0 390987522 120393728 7303 33554432000 134512640 146736320 4293132096 4118946184 136388081 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24287/tid=24293] ppid=24286 vsize=117572 CPUtime=0.3 cores=1,3,5,7
/proc/24287/task/24293/stat : 24293 (pb_cplex) R 24286 24286 23197 0 -1 4202560 313 0 0 0 30 0 0 0 20 0 8 0 390987522 120393728 7303 33554432000 134512640 146736320 4293132096 4108460200 135983228 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24287/tid=24294] ppid=24286 vsize=117572 CPUtime=0.33 cores=1,3,5,7
/proc/24287/task/24294/stat : 24294 (pb_cplex) R 24286 24286 23197 0 -1 4202560 336 0 0 0 33 0 0 0 20 0 8 0 390987522 120393728 7303 33554432000 134512640 146736320 4293132096 4097974184 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24287/tid=24295] ppid=24286 vsize=117572 CPUtime=0.26 cores=1,3,5,7
/proc/24287/task/24295/stat : 24295 (pb_cplex) S 24286 24286 23197 0 -1 4202560 298 0 0 0 26 0 0 0 20 0 8 0 390987522 120393728 7303 33554432000 134512640 146736320 4293132096 4087492240 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 5.13
Current children cumulated vsize (KiB) 126720
[startup+6.30025 s]
/proc/loadavg: 10.68 11.23 8.98 9/193 24295
/proc/meminfo: memFree=29216408/32873844 swapFree=7372/7372
[pid=24286] ppid=24284 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24286/stat : 24286 (run) S 24284 24286 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390987339 9367552 270 33554432000 4194304 5064252 140736494871808 140736494870720 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24286/statm: 2287 270 229 213 0 72 0
[pid=24287] ppid=24286 vsize=78708 CPUtime=13.76 cores=1,3,5,7
/proc/24287/stat : 24287 (pb_cplex) R 24286 24286 23197 0 -1 4202496 11452 0 0 0 1356 20 0 0 20 0 1 0 390987339 80596992 5767 33554432000 134512640 146736320 4293132096 4293128024 144757825 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/24287/statm: 19677 5767 931 2985 0 16611 0
Current children cumulated CPU time (s) 13.76
Current children cumulated vsize (KiB) 87856
[startup+12.7004 s]
/proc/loadavg: 9.98 11.08 8.94 15/193 24309
/proc/meminfo: memFree=29184568/32873844 swapFree=7372/7372
[pid=24286] ppid=24284 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24286/stat : 24286 (run) S 24284 24286 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390987339 9367552 270 33554432000 4194304 5064252 140736494871808 140736494870720 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24286/statm: 2287 270 229 213 0 72 0
[pid=24287] ppid=24286 vsize=142396 CPUtime=27.81 cores=1,3,5,7
/proc/24287/stat : 24287 (pb_cplex) R 24286 24286 23197 0 -1 4202496 25531 0 0 0 2741 40 0 0 20 0 8 0 390987339 145813504 15183 33554432000 134512640 146736320 4293132096 4293125736 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24287/statm: 35599 15183 957 2985 0 32533 0
[pid=24287/tid=24303] ppid=24286 vsize=142396 CPUtime=1.16 cores=1,3,5,7
/proc/24287/task/24303/stat : 24303 (pb_cplex) R 24286 24286 23197 0 -1 4202560 509 0 0 0 114 2 0 0 20 0 8 0 390988093 145813504 15183 33554432000 134512640 146736320 4293132096 4130624192 138374169 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24287/tid=24304] ppid=24286 vsize=142396 CPUtime=1.19 cores=1,3,5,7
/proc/24287/task/24304/stat : 24304 (pb_cplex) R 24286 24286 23197 0 -1 4202560 780 0 0 0 118 1 0 0 20 0 8 0 390988093 145813504 15183 33554432000 134512640 146736320 4293132096 4141108752 136403109 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=24287/tid=24305] ppid=24286 vsize=142396 CPUtime=1.41 cores=1,3,5,7
/proc/24287/task/24305/stat : 24305 (pb_cplex) R 24286 24286 23197 0 -1 4202560 38 0 0 0 141 0 0 0 20 0 8 0 390988093 145813504 15183 33554432000 134512640 146736320 4293132096 4151596008 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24287/tid=24306] ppid=24286 vsize=142396 CPUtime=1.15 cores=1,3,5,7
/proc/24287/task/24306/stat : 24306 (pb_cplex) R 24286 24286 23197 0 -1 4202560 567 0 0 0 114 1 0 0 20 0 8 0 390988093 145813504 15183 33554432000 134512640 146736320 4293132096 4118946016 139028308 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24287/tid=24307] ppid=24286 vsize=142396 CPUtime=1.54 cores=1,3,5,7
/proc/24287/task/24307/stat : 24307 (pb_cplex) R 24286 24286 23197 0 -1 4202560 91 0 0 0 152 2 0 0 20 0 8 0 390988094 145813504 15183 33554432000 134512640 146736320 4293132096 4066369704 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24287/tid=24308] ppid=24286 vsize=142396 CPUtime=1.2 cores=1,3,5,7
/proc/24287/task/24308/stat : 24308 (pb_cplex) R 24286 24286 23197 0 -1 4202560 68 0 0 0 118 2 0 0 20 0 8 0 390988094 145813504 15183 33554432000 134512640 146736320 4293132096 4055882504 135525908 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=24287/tid=24309] ppid=24286 vsize=142396 CPUtime=1.07 cores=1,3,5,7
/proc/24287/task/24309/stat : 24309 (pb_cplex) R 24286 24286 23197 0 -1 4202560 85 0 0 0 106 1 0 0 20 0 8 0 390988094 145813504 15183 33554432000 134512640 146736320 4293132096 4045397136 136008226 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 27.81
Current children cumulated vsize (KiB) 151544
[startup+25.5005 s]
/proc/loadavg: 10.41 11.12 8.99 16/194 24312
/proc/meminfo: memFree=29177916/32873844 swapFree=7372/7372
[pid=24286] ppid=24284 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24286/stat : 24286 (run) S 24284 24286 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390987339 9367552 270 33554432000 4194304 5064252 140736494871808 140736494870720 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24286/statm: 2287 270 229 213 0 72 0
[pid=24287] ppid=24286 vsize=147144 CPUtime=71.89 cores=1,3,5,7
/proc/24287/stat : 24287 (pb_cplex) R 24286 24286 23197 0 -1 4202496 28671 0 0 0 7082 107 0 0 20 0 8 0 390987339 150675456 16417 33554432000 134512640 146736320 4293132096 4293125192 136000487 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24287/statm: 36786 16417 957 2985 0 33720 0
[pid=24287/tid=24303] ppid=24286 vsize=147144 CPUtime=6.55 cores=1,3,5,7
/proc/24287/task/24303/stat : 24303 (pb_cplex) R 24286 24286 23197 0 -1 4202560 894 0 0 0 643 12 0 0 20 0 8 0 390988093 150675456 16417 33554432000 134512640 146736320 4293132096 4130624488 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24287/tid=24304] ppid=24286 vsize=147144 CPUtime=6.86 cores=1,3,5,7
/proc/24287/task/24304/stat : 24304 (pb_cplex) R 24286 24286 23197 0 -1 4202560 1240 0 0 0 678 8 0 0 20 0 8 0 390988093 150675456 16417 33554432000 134512640 146736320 4293132096 4141109456 136008065 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=24287/tid=24305] ppid=24286 vsize=147144 CPUtime=6.84 cores=1,3,5,7
/proc/24287/task/24305/stat : 24305 (pb_cplex) R 24286 24286 23197 0 -1 4202560 42 0 0 0 675 9 0 0 20 0 8 0 390988093 150675456 16417 33554432000 134512640 146736320 4293132096 4151596008 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24287/tid=24306] ppid=24286 vsize=147144 CPUtime=6.53 cores=1,3,5,7
/proc/24287/task/24306/stat : 24306 (pb_cplex) R 24286 24286 23197 0 -1 4202560 995 0 0 0 644 9 0 0 20 0 8 0 390988093 150675456 16417 33554432000 134512640 146736320 4293132096 4118946792 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24287/tid=24307] ppid=24286 vsize=147144 CPUtime=7.06 cores=1,3,5,7
/proc/24287/task/24307/stat : 24307 (pb_cplex) R 24286 24286 23197 0 -1 4202560 317 0 0 0 697 9 0 0 20 0 8 0 390988094 150675456 16417 33554432000 134512640 146736320 4293132096 4066370536 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24287/tid=24308] ppid=24286 vsize=147144 CPUtime=6.54 cores=1,3,5,7
/proc/24287/task/24308/stat : 24308 (pb_cplex) R 24286 24286 23197 0 -1 4202560 654 0 0 0 646 8 0 0 20 0 8 0 390988094 150675456 16417 33554432000 134512640 146736320 4293132096 4055884016 136493311 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24287/tid=24309] ppid=24286 vsize=147144 CPUtime=6.38 cores=1,3,5,7
/proc/24287/task/24309/stat : 24309 (pb_cplex) R 24286 24286 23197 0 -1 4202560 561 0 0 0 627 11 0 0 20 0 8 0 390988094 150675456 16417 33554432000 134512640 146736320 4293132096 4045398088 139042885 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 71.89
Current children cumulated vsize (KiB) 156292
[startup+51.1004 s]
/proc/loadavg: 11.34 11.29 9.10 10/194 24312
/proc/meminfo: memFree=29166876/32873844 swapFree=7372/7372
[pid=24286] ppid=24284 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24286/stat : 24286 (run) S 24284 24286 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390987339 9367552 270 33554432000 4194304 5064252 140736494871808 140736494870720 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24286/statm: 2287 270 229 213 0 72 0
[pid=24287] ppid=24286 vsize=158408 CPUtime=162.38 cores=1,3,5,7
/proc/24287/stat : 24287 (pb_cplex) S 24286 24286 23197 0 -1 4202496 44693 0 0 0 16021 217 0 0 20 0 8 0 390987339 162209792 19354 33554432000 134512640 146736320 4293132096 4293128464 144580073 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24287/statm: 39602 19354 973 2985 0 36536 0
[pid=24287/tid=24303] ppid=24286 vsize=158408 CPUtime=20.17 cores=1,3,5,7
/proc/24287/task/24303/stat : 24303 (pb_cplex) R 24286 24286 23197 0 -1 4202560 4692 0 0 0 1991 26 0 0 20 0 8 0 390988093 162209792 19354 33554432000 134512640 146736320 4293132096 4130619912 135982686 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24287/tid=24304] ppid=24286 vsize=158408 CPUtime=15.99 cores=1,3,5,7
/proc/24287/task/24304/stat : 24304 (pb_cplex) S 24286 24286 23197 0 -1 4202560 1889 0 0 0 1578 21 0 0 20 0 8 0 390988093 162209792 19354 33554432000 134512640 146736320 4293132096 4141112976 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24287/tid=24305] ppid=24286 vsize=158408 CPUtime=19.85 cores=1,3,5,7
/proc/24287/task/24305/stat : 24305 (pb_cplex) R 24286 24286 23197 0 -1 4202560 4298 0 0 0 1962 23 0 0 20 0 8 0 390988093 162209792 19354 33554432000 134512640 146736320 4293132096 4151590988 136388893 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24287/tid=24306] ppid=24286 vsize=158408 CPUtime=15.07 cores=1,3,5,7
/proc/24287/task/24306/stat : 24306 (pb_cplex) S 24286 24286 23197 0 -1 4202560 4206 0 0 0 1485 22 0 0 20 0 8 0 390988093 162209792 19354 33554432000 134512640 146736320 4293132096 4118949520 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24287/tid=24307] ppid=24286 vsize=158408 CPUtime=19.23 cores=1,3,5,7
/proc/24287/task/24307/stat : 24307 (pb_cplex) S 24286 24286 23197 0 -1 4202560 1130 0 0 0 1899 24 0 0 20 0 8 0 390988094 162209792 19354 33554432000 134512640 146736320 4293132096 4066373264 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24287/tid=24308] ppid=24286 vsize=158408 CPUtime=16.56 cores=1,3,5,7
/proc/24287/task/24308/stat : 24308 (pb_cplex) S 24286 24286 23197 0 -1 4202560 2889 0 0 0 1634 22 0 0 20 0 8 0 390988094 162209792 19354 33554432000 134512640 146736320 4293132096 4055887504 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24287/tid=24309] ppid=24286 vsize=158408 CPUtime=18.2 cores=1,3,5,7
/proc/24287/task/24309/stat : 24309 (pb_cplex) S 24286 24286 23197 0 -1 4202560 1585 0 0 0 1795 25 0 0 20 0 8 0 390988094 162209792 19354 33554432000 134512640 146736320 4293132096 4045401744 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.38
Current children cumulated vsize (KiB) 167556
############
# WARNING:
# current cumulated CPU time (163.04 s) is less than in the last sample (163.26 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (0.219986 s) to the 'lost time'.
[startup+51.8004 s]
################
# More data... #
################
[pid=24287] ppid=24286 vsize=170884 CPUtime=1084.06 cores=1,3,5,7
/proc/24287/stat : 24287 (pb_cplex) R 24286 24286 23197 0 -1 4202496 93246 0 0 0 104452 3954 0 0 20 0 1 0 390987339 174985216 29424 33554432000 134512640 146736320 4293132096 4293129072 139023109 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/24287/statm: 42721 29427 973 2985 0 39655 0
Current children cumulated CPU time (s) 1084.06
Current children cumulated vsize (KiB) 180032
#
############
[startup+342.3 s]
/proc/loadavg: 7.78 9.73 9.08 3/186 24456
/proc/meminfo: memFree=29250696/32873844 swapFree=7372/7372
[pid=24286] ppid=24284 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24286/stat : 24286 (run) S 24284 24286 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390987339 9367552 270 33554432000 4194304 5064252 140736494871808 140736494870720 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24286/statm: 2287 270 229 213 0 72 0
[pid=24287] ppid=24286 vsize=223624 CPUtime=1151.62 cores=1,3,5,7
/proc/24287/stat : 24287 (pb_cplex) S 24286 24286 23197 0 -1 4202496 99141 0 0 0 110705 4457 0 0 20 0 8 0 390987339 228990976 34585 33554432000 134512640 146736320 4293132096 4293128464 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24287/statm: 55906 34585 973 2985 0 52840 0
[pid=24287/tid=24450] ppid=24286 vsize=223624 CPUtime=8.3 cores=1,3,5,7
/proc/24287/task/24450/stat : 24450 (pb_cplex) R 24286 24286 23197 0 -1 4202560 211 0 0 0 780 50 0 0 20 0 8 0 391019681 228990976 34585 33554432000 134512640 146736320 4293132096 4045399016 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24287/tid=24451] ppid=24286 vsize=223624 CPUtime=8.51 cores=1,3,5,7
/proc/24287/task/24451/stat : 24451 (pb_cplex) R 24286 24286 23197 0 -1 4202560 502 0 0 0 753 98 0 0 20 0 8 0 391019681 228990976 34585 33554432000 134512640 146736320 4293132096 4055884776 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24287/tid=24452] ppid=24286 vsize=223624 CPUtime=8.25 cores=1,3,5,7
/proc/24287/task/24452/stat : 24452 (pb_cplex) S 24286 24286 23197 0 -1 4202560 710 0 0 0 746 79 0 0 20 0 8 0 391019681 228990976 34585 33554432000 134512640 146736320 4293132096 4066373264 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24287/tid=24453] ppid=24286 vsize=223624 CPUtime=8.42 cores=1,3,5,7
/proc/24287/task/24453/stat : 24453 (pb_cplex) R 24286 24286 23197 0 -1 4202560 653 0 0 0 795 47 0 0 20 0 8 0 391019681 228990976 34585 33554432000 134512640 146736320 4293132096 4118946000 136008234 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24287/tid=24454] ppid=24286 vsize=223624 CPUtime=8.58 cores=1,3,5,7
/proc/24287/task/24454/stat : 24454 (pb_cplex) R 24286 24286 23197 0 -1 4202560 151 0 0 0 809 49 0 0 20 0 8 0 391019681 228990976 34585 33554432000 134512640 146736320 4293132096 4008698064 136008050 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24287/tid=24455] ppid=24286 vsize=223624 CPUtime=8.35 cores=1,3,5,7
/proc/24287/task/24455/stat : 24455 (pb_cplex) R 24286 24286 23197 0 -1 4202560 538 0 0 0 768 67 0 0 20 0 8 0 391019681 228990976 34585 33554432000 134512640 146736320 4293132096 3998212304 136008042 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=24287/tid=24456] ppid=24286 vsize=223624 CPUtime=8.32 cores=1,3,5,7
/proc/24287/task/24456/stat : 24456 (pb_cplex) R 24286 24286 23197 0 -1 4202560 815 0 0 0 773 59 0 0 20 0 8 0 391019681 228990976 34585 33554432000 134512640 146736320 4293132096 3970949328 136008263 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1151.62
Current children cumulated vsize (KiB) 232772
[startup+402.3 s]
/proc/loadavg: 7.56 9.32 8.98 7/186 24457
/proc/meminfo: memFree=29213100/32873844 swapFree=7372/7372
[pid=24286] ppid=24284 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24286/stat : 24286 (run) S 24284 24286 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390987339 9367552 270 33554432000 4194304 5064252 140736494871808 140736494870720 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24286/statm: 2287 270 229 213 0 72 0
[pid=24287] ppid=24286 vsize=227440 CPUtime=1365.39 cores=1,3,5,7
/proc/24287/stat : 24287 (pb_cplex) S 24286 24286 23197 0 -1 4202496 102679 0 0 0 130511 6028 0 0 20 0 8 0 390987339 232898560 36081 33554432000 134512640 146736320 4293132096 4293128464 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24287/statm: 56860 36081 973 2985 0 53794 0
[pid=24287/tid=24450] ppid=24286 vsize=227440 CPUtime=35.06 cores=1,3,5,7
/proc/24287/task/24450/stat : 24450 (pb_cplex) S 24286 24286 23197 0 -1 4202560 448 0 0 0 3228 278 0 0 20 0 8 0 391019681 232898560 36081 33554432000 134512640 146736320 4293132096 4045401744 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24287/tid=24451] ppid=24286 vsize=227440 CPUtime=34.98 cores=1,3,5,7
/proc/24287/task/24451/stat : 24451 (pb_cplex) R 24286 24286 23197 0 -1 4202560 1123 0 0 0 3172 326 0 0 20 0 8 0 391019681 232898560 36081 33554432000 134512640 146736320 4293132096 4055884776 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24287/tid=24452] ppid=24286 vsize=227440 CPUtime=34.68 cores=1,3,5,7
/proc/24287/task/24452/stat : 24452 (pb_cplex) R 24286 24286 23197 0 -1 4202560 967 0 0 0 3177 291 0 0 20 0 8 0 391019681 232898560 36081 33554432000 134512640 146736320 4293132096 4066370584 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24287/tid=24453] ppid=24286 vsize=227440 CPUtime=35.17 cores=1,3,5,7
/proc/24287/task/24453/stat : 24453 (pb_cplex) R 24286 24286 23197 0 -1 4202560 849 0 0 0 3274 243 0 0 20 0 8 0 391019681 232898560 36081 33554432000 134512640 146736320 4293132096 4118946000 136008065 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24287/tid=24454] ppid=24286 vsize=227440 CPUtime=35.09 cores=1,3,5,7
/proc/24287/task/24454/stat : 24454 (pb_cplex) S 24286 24286 23197 0 -1 4202560 595 0 0 0 3229 280 0 0 20 0 8 0 391019681 232898560 36081 33554432000 134512640 146736320 4293132096 4008701584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24287/tid=24455] ppid=24286 vsize=227440 CPUtime=35.2 cores=1,3,5,7
/proc/24287/task/24455/stat : 24455 (pb_cplex) S 24286 24286 23197 0 -1 4202560 1225 0 0 0 3264 256 0 0 20 0 8 0 391019681 232898560 36081 33554432000 134512640 146736320 4293132096 3998215824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24287/tid=24456] ppid=24286 vsize=227440 CPUtime=34.8 cores=1,3,5,7
/proc/24287/task/24456/stat : 24456 (pb_cplex) R 24286 24286 23197 0 -1 4202560 1709 0 0 0 3261 219 0 0 20 0 8 0 391019681 232898560 36081 33554432000 134512640 146736320 4293132096 3970949328 136008306 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1365.39
Current children cumulated vsize (KiB) 236588
[startup+462.3 s]
/proc/loadavg: 6.53 8.75 8.81 9/186 24457
/proc/meminfo: memFree=29198560/32873844 swapFree=7372/7372
[pid=24286] ppid=24284 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24286/stat : 24286 (run) S 24284 24286 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390987339 9367552 270 33554432000 4194304 5064252 140736494871808 140736494870720 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24286/statm: 2287 270 229 213 0 72 0
[pid=24287] ppid=24286 vsize=234904 CPUtime=1579.86 cores=1,3,5,7
/proc/24287/stat : 24287 (pb_cplex) S 24286 24286 23197 0 -1 4202496 109948 0 0 0 150391 7595 0 0 20 0 8 0 390987339 240541696 38452 33554432000 134512640 146736320 4293132096 4293128464 144580073 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24287/statm: 58726 38452 973 2985 0 55660 0
[pid=24287/tid=24450] ppid=24286 vsize=234904 CPUtime=61.84 cores=1,3,5,7
/proc/24287/task/24450/stat : 24450 (pb_cplex) S 24286 24286 23197 0 -1 4202560 958 0 0 0 5746 438 0 0 20 0 8 0 391019681 240541696 38452 33554432000 134512640 146736320 4293132096 4045401744 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24287/tid=24451] ppid=24286 vsize=234904 CPUtime=61.76 cores=1,3,5,7
/proc/24287/task/24451/stat : 24451 (pb_cplex) S 24286 24286 23197 0 -1 4202560 2204 0 0 0 5639 537 0 0 20 0 8 0 391019681 240541696 38452 33554432000 134512640 146736320 4293132096 4055887504 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24287/tid=24452] ppid=24286 vsize=234904 CPUtime=61.56 cores=1,3,5,7
/proc/24287/task/24452/stat : 24452 (pb_cplex) S 24286 24286 23197 0 -1 4202560 1449 0 0 0 5625 531 0 0 20 0 8 0 391019681 240541696 38452 33554432000 134512640 146736320 4293132096 4066373264 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24287/tid=24453] ppid=24286 vsize=234904 CPUtime=61.85 cores=1,3,5,7
/proc/24287/task/24453/stat : 24453 (pb_cplex) S 24286 24286 23197 0 -1 4202560 1724 0 0 0 5724 461 0 0 20 0 8 0 391019681 240541696 38452 33554432000 134512640 146736320 4293132096 4118949520 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24287/tid=24454] ppid=24286 vsize=234904 CPUtime=61.81 cores=1,3,5,7
/proc/24287/task/24454/stat : 24454 (pb_cplex) R 24286 24286 23197 0 -1 4202560 1941 0 0 0 5723 458 0 0 20 0 8 0 391019681 240541696 38452 33554432000 134512640 146736320 4293132096 4008697768 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24287/tid=24455] ppid=24286 vsize=234904 CPUtime=61.78 cores=1,3,5,7
/proc/24287/task/24455/stat : 24455 (pb_cplex) S 24286 24286 23197 0 -1 4202560 1975 0 0 0 5741 437 0 0 20 0 8 0 391019681 240541696 38452 33554432000 134512640 146736320 4293132096 3998215824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24287/tid=24456] ppid=24286 vsize=234904 CPUtime=61.6 cores=1,3,5,7
/proc/24287/task/24456/stat : 24456 (pb_cplex) S 24286 24286 23197 0 -1 4202560 2706 0 0 0 5740 420 0 0 20 0 8 0 391019681 240541696 38452 33554432000 134512640 146736320 4293132096 3970952848 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1579.86
Current children cumulated vsize (KiB) 244052
[startup+522.3 s]
/proc/loadavg: 6.45 8.29 8.64 8/186 24457
/proc/meminfo: memFree=29183544/32873844 swapFree=7372/7372
[pid=24286] ppid=24284 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24286/stat : 24286 (run) S 24284 24286 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390987339 9367552 270 33554432000 4194304 5064252 140736494871808 140736494870720 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24286/statm: 2287 270 229 213 0 72 0
[pid=24287] ppid=24286 vsize=246772 CPUtime=1794.53 cores=1,3,5,7
/proc/24287/stat : 24287 (pb_cplex) S 24286 24286 23197 0 -1 4202496 117442 0 0 0 170273 9180 0 0 20 0 8 0 390987339 252694528 41030 33554432000 134512640 146736320 4293132096 4293128464 144580073 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24287/statm: 61693 41030 973 2985 0 58627 0
[pid=24287/tid=24450] ppid=24286 vsize=246772 CPUtime=88.72 cores=1,3,5,7
/proc/24287/task/24450/stat : 24450 (pb_cplex) S 24286 24286 23197 0 -1 4202560 1743 0 0 0 8219 653 0 0 20 0 8 0 391019681 252694528 41030 33554432000 134512640 146736320 4293132096 4045401744 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24287/tid=24451] ppid=24286 vsize=246772 CPUtime=88.12 cores=1,3,5,7
/proc/24287/task/24451/stat : 24451 (pb_cplex) R 24286 24286 23197 0 -1 4202560 3120 0 0 0 8111 701 0 0 20 0 8 0 391019681 252694528 41030 33554432000 134512640 146736320 4293132096 4055884776 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24287/tid=24452] ppid=24286 vsize=246772 CPUtime=88.28 cores=1,3,5,7
/proc/24287/task/24452/stat : 24452 (pb_cplex) R 24286 24286 23197 0 -1 4202560 2409 0 0 0 8070 758 0 0 20 0 8 0 391019681 252694528 41030 33554432000 134512640 146736320 4293132096 4066370128 136403117 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=24287/tid=24453] ppid=24286 vsize=246772 CPUtime=88.93 cores=1,3,5,7
/proc/24287/task/24453/stat : 24453 (pb_cplex) S 24286 24286 23197 0 -1 4202560 2226 0 0 0 8282 611 0 0 20 0 8 0 391019681 252694528 41030 33554432000 134512640 146736320 4293132096 4118949520 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24287/tid=24454] ppid=24286 vsize=246772 CPUtime=88.47 cores=1,3,5,7
/proc/24287/task/24454/stat : 24454 (pb_cplex) R 24286 24286 23197 0 -1 4202560 3301 0 0 0 8191 656 0 0 20 0 8 0 391019681 252694528 41030 33554432000 134512640 146736320 4293132096 4008697672 135526312 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24287/tid=24455] ppid=24286 vsize=246772 CPUtime=88.45 cores=1,3,5,7
/proc/24287/task/24455/stat : 24455 (pb_cplex) R 24286 24286 23197 0 -1 4202560 2746 0 0 0 8187 658 0 0 20 0 8 0 391019681 252694528 41030 33554432000 134512640 146736320 4293132096 3998214764 144580073 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24287/tid=24456] ppid=24286 vsize=246772 CPUtime=88.4 cores=1,3,5,7
/proc/24287/task/24456/stat : 24456 (pb_cplex) R 24286 24286 23197 0 -1 4202560 3863 0 0 0 8212 628 0 0 20 0 8 0 391019681 252694528 41030 33554432000 134512640 146736320 4293132096 3970949328 136008438 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1794.53
Current children cumulated vsize (KiB) 255920
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+523.4 s]
/proc/loadavg: 6.45 8.29 8.64 10/186 24457
/proc/meminfo: memFree=29183108/32873844 swapFree=7372/7372
[pid=24286] ppid=24284 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24286/stat : 24286 (run) S 24284 24286 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390987339 9367552 270 33554432000 4194304 5064252 140736494871808 140736494870720 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24286/statm: 2287 270 229 213 0 72 0
[pid=24287] ppid=24286 vsize=246772 CPUtime=1798.47 cores=1,3,5,7
/proc/24287/stat : 24287 (pb_cplex) R 24286 24286 23197 0 -1 4202496 117471 0 0 0 170640 9207 0 0 20 0 8 0 390987339 252694528 41138 33554432000 134512640 146736320 4293132096 4293125736 144757825 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24287/statm: 61693 41138 973 2985 0 58627 0
[pid=24287/tid=24450] ppid=24286 vsize=246772 CPUtime=89.18 cores=1,3,5,7
/proc/24287/task/24450/stat : 24450 (pb_cplex) R 24286 24286 23197 0 -1 4202560 1744 0 0 0 8256 662 0 0 20 0 8 0 391019681 252694528 41138 33554432000 134512640 146736320 4293132096 4045398224 136008234 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24287/tid=24451] ppid=24286 vsize=246772 CPUtime=88.59 cores=1,3,5,7
/proc/24287/task/24451/stat : 24451 (pb_cplex) R 24286 24286 23197 0 -1 4202560 3127 0 0 0 8157 702 0 0 20 0 8 0 391019681 252694528 41138 33554432000 134512640 146736320 4293132096 4055884776 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24287/tid=24452] ppid=24286 vsize=246772 CPUtime=88.83 cores=1,3,5,7
/proc/24287/task/24452/stat : 24452 (pb_cplex) R 24286 24286 23197 0 -1 4202560 2409 0 0 0 8121 762 0 0 20 0 8 0 391019681 252694528 41138 33554432000 134512640 146736320 4293132096 4066370536 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24287/tid=24453] ppid=24286 vsize=246772 CPUtime=89.43 cores=1,3,5,7
/proc/24287/task/24453/stat : 24453 (pb_cplex) R 24286 24286 23197 0 -1 4202560 2226 0 0 0 8329 614 0 0 20 0 8 0 391019681 252694528 41138 33554432000 134512640 146736320 4293132096 4118946000 136008065 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24287/tid=24454] ppid=24286 vsize=246772 CPUtime=88.96 cores=1,3,5,7
/proc/24287/task/24454/stat : 24454 (pb_cplex) R 24286 24286 23197 0 -1 4202560 3311 0 0 0 8236 660 0 0 20 0 8 0 391019681 252694528 41138 33554432000 134512640 146736320 4293132096 4008698312 136001712 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=24287/tid=24455] ppid=24286 vsize=246772 CPUtime=88.95 cores=1,3,5,7
/proc/24287/task/24455/stat : 24455 (pb_cplex) R 24286 24286 23197 0 -1 4202560 2746 0 0 0 8234 661 0 0 20 0 8 0 391019681 252694528 41138 33554432000 134512640 146736320 4293132096 3998214364 135962099 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24287/tid=24456] ppid=24286 vsize=246772 CPUtime=88.88 cores=1,3,5,7
/proc/24287/task/24456/stat : 24456 (pb_cplex) R 24286 24286 23197 0 -1 4202560 3870 0 0 0 8258 630 0 0 20 0 8 0 391019681 252694528 41138 33554432000 134512640 146736320 4293132096 3970950080 136365649 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1798.47
Current children cumulated vsize (KiB) 255920
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24286 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0
# while last known CPU time is 1798.47
#
# Solver probably didn't/couldn't wait for its children
# 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): 1.55989
# lost CPU user time (s): 1.74997
# lost CPU system time (s): -0.190001
Real time (s): 523.417
CPU time (s): 1800.03
CPU user time (s): 1708.15
CPU system time (s): 91.88
CPU usage (%): 343.9
Max. virtual memory (cumulated for all children) (KiB): 257968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0
maximum resident set size= 1080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 355
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= 2
involuntary context switches= 1
runsolver used 1.42978 second user time and 3.86741 second system time
The end