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-3727058-1338651607/watcher-3727058-1338651607 -o /tmp/evaluation-result-3727058-1338651607/solver-3727058-1338651607 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727058-1338651607.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: 1.98 1.57 1.49 3/180 4165
/proc/meminfo: memFree=29129204/32873844 swapFree=7620/7620
[pid=4165] ppid=4163 vsize=11592 CPUtime=0 cores=1,3,5,7
/proc/4165/stat : 4165 (wbo1.72) R 4163 4165 2201 0 -1 4202496 319 0 0 0 0 0 0 0 20 0 1 0 331285477 11870208 272 33554432000 4194304 5964350 140735283660976 140735283658856 4344563 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4165/statm: 2898 272 165 433 0 350 0
[startup+0.0864449 s]
/proc/loadavg: 1.98 1.57 1.49 3/180 4165
/proc/meminfo: memFree=29129204/32873844 swapFree=7620/7620
[pid=4165] ppid=4163 vsize=18988 CPUtime=0.08 cores=1,3,5,7
/proc/4165/stat : 4165 (wbo1.72) R 4163 4165 2201 0 -1 4202496 2330 0 0 0 8 0 0 0 20 0 1 0 331285477 19443712 2250 33554432000 4194304 5964350 140735283660976 140735283658856 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4165/statm: 4747 2251 447 433 0 2199 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 18988
[startup+0.100311 s]
/proc/loadavg: 1.98 1.57 1.49 3/180 4165
/proc/meminfo: memFree=29129204/32873844 swapFree=7620/7620
[pid=4165] ppid=4163 vsize=19936 CPUtime=0.09 cores=1,3,5,7
/proc/4165/stat : 4165 (wbo1.72) R 4163 4165 2201 0 -1 4202496 2613 0 0 0 9 0 0 0 20 0 1 0 331285477 20414464 2533 33554432000 4194304 5964350 140735283660976 140735283658856 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4165/statm: 4984 2533 493 433 0 2436 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19936
[startup+0.300278 s]
/proc/loadavg: 1.98 1.57 1.49 3/180 4165
/proc/meminfo: memFree=29129204/32873844 swapFree=7620/7620
[pid=4165] ppid=4163 vsize=37388 CPUtime=0.29 cores=1,3,5,7
/proc/4165/stat : 4165 (wbo1.72) R 4163 4165 2201 0 -1 4202496 7487 0 0 0 28 1 0 0 20 0 1 0 331285477 38285312 7059 33554432000 4194304 5964350 140735283660976 140735283658856 4353565 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4165/statm: 9347 7059 1149 433 0 6799 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37388
[startup+0.700186 s]
/proc/loadavg: 1.98 1.57 1.49 3/180 4165
/proc/meminfo: memFree=29129204/32873844 swapFree=7620/7620
[pid=4165] ppid=4163 vsize=142984 CPUtime=0.69 cores=1,3,5,7
/proc/4165/stat : 4165 (wbo1.72) S 4163 4165 2201 0 -1 4202496 22727 0 0 0 65 4 0 0 20 0 2 0 331285477 146415616 19882 33554432000 4194304 5964350 140735283660976 140735283660496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4165/statm: 35746 19882 177 433 0 35310 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 142984
[startup+1.50033 s]
/proc/loadavg: 1.98 1.57 1.49 3/182 4167
/proc/meminfo: memFree=29002692/32873844 swapFree=7620/7620
[pid=4165] ppid=4163 vsize=142304 CPUtime=1.49 cores=1,3,5,7
/proc/4165/stat : 4165 (wbo1.72) S 4163 4165 2201 0 -1 4202496 35633 0 0 0 142 7 0 0 20 0 2 0 331285477 145719296 30634 33554432000 4194304 5964350 140735283660976 140735283660496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4165/statm: 35576 30634 185 433 0 35140 0
[pid=4165/tid=4167] ppid=4163 vsize=142304 CPUtime=0.84 cores=1,3,5,7
/proc/4165/task/4167/stat : 4167 (wbo1.72) R 4163 4165 2201 0 -1 4202560 19957 0 0 0 79 5 0 0 20 0 2 0 331285541 145719296 30634 33554432000 4194304 5964350 140735283660976 140211481525352 4399835 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 142304
[startup+3.10031 s]
/proc/loadavg: 1.98 1.57 1.49 3/182 4167
/proc/meminfo: memFree=29002900/32873844 swapFree=7620/7620
[pid=4165] ppid=4163 vsize=142304 CPUtime=3.09 cores=1,3,5,7
/proc/4165/stat : 4165 (wbo1.72) S 4163 4165 2201 0 -1 4202496 35727 0 0 0 302 7 0 0 20 0 2 0 331285477 145719296 30728 33554432000 4194304 5964350 140735283660976 140735283660496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4165/statm: 35576 30728 187 433 0 35140 0
[pid=4165/tid=4167] ppid=4163 vsize=142304 CPUtime=2.44 cores=1,3,5,7
/proc/4165/task/4167/stat : 4167 (wbo1.72) R 4163 4165 2201 0 -1 4202560 20051 0 0 0 239 5 0 0 20 0 2 0 331285541 145719296 30728 33554432000 4194304 5964350 140735283660976 140211481524024 4399895 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 142304
[startup+6.30035 s]
/proc/loadavg: 1.98 1.58 1.49 3/182 4167
/proc/meminfo: memFree=28993096/32873844 swapFree=7620/7620
[pid=4165] ppid=4163 vsize=142304 CPUtime=6.28 cores=1,3,5,7
/proc/4165/stat : 4165 (wbo1.72) S 4163 4165 2201 0 -1 4202496 35937 0 0 0 621 7 0 0 20 0 2 0 331285477 145719296 30938 33554432000 4194304 5964350 140735283660976 140735283660496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4165/statm: 35576 30938 187 433 0 35140 0
[pid=4165/tid=4167] ppid=4163 vsize=142304 CPUtime=5.63 cores=1,3,5,7
/proc/4165/task/4167/stat : 4167 (wbo1.72) R 4163 4165 2201 0 -1 4202560 20261 0 0 0 558 5 0 0 20 0 2 0 331285541 145719296 30938 33554432000 4194304 5964350 140735283660976 140211481524024 4403337 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 142304
[startup+12.7003 s]
/proc/loadavg: 1.98 1.59 1.49 3/182 4167
/proc/meminfo: memFree=28975008/32873844 swapFree=7620/7620
[pid=4165] ppid=4163 vsize=207840 CPUtime=12.69 cores=1,3,5,7
/proc/4165/stat : 4165 (wbo1.72) S 4163 4165 2201 0 -1 4202496 36365 0 0 0 1260 9 0 0 20 0 2 0 331285477 212828160 31366 33554432000 4194304 5964350 140735283660976 140735283660496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4165/statm: 51960 31366 187 433 0 51524 0
[pid=4165/tid=4167] ppid=4163 vsize=207840 CPUtime=12.01 cores=1,3,5,7
/proc/4165/task/4167/stat : 4167 (wbo1.72) R 4163 4165 2201 0 -1 4202560 20689 0 0 0 1195 6 0 0 20 0 2 0 331285541 212828160 31366 33554432000 4194304 5964350 140735283660976 140211481524264 5136340 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 207840
[startup+25.5003 s]
/proc/loadavg: 1.99 1.61 1.50 3/182 4167
/proc/meminfo: memFree=28968228/32873844 swapFree=7620/7620
[pid=4165] ppid=4163 vsize=207840 CPUtime=25.49 cores=1,3,5,7
/proc/4165/stat : 4165 (wbo1.72) S 4163 4165 2201 0 -1 4202496 37279 0 0 0 2539 10 0 0 20 0 2 0 331285477 212828160 32280 33554432000 4194304 5964350 140735283660976 140735283660496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4165/statm: 51960 32280 187 433 0 51524 0
[pid=4165/tid=4167] ppid=4163 vsize=207840 CPUtime=24.77 cores=1,3,5,7
/proc/4165/task/4167/stat : 4167 (wbo1.72) R 4163 4165 2201 0 -1 4202560 21603 0 0 0 2470 7 0 0 20 0 2 0 331285541 212828160 32280 33554432000 4194304 5964350 140735283660976 140211481524216 4399793 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 207840
[startup+51.1003 s]
/proc/loadavg: 1.99 1.64 1.51 3/182 4167
/proc/meminfo: memFree=28962244/32873844 swapFree=7620/7620
[pid=4165] ppid=4163 vsize=207840 CPUtime=51.08 cores=1,3,5,7
/proc/4165/stat : 4165 (wbo1.72) S 4163 4165 2201 0 -1 4202496 38793 0 0 0 5096 12 0 0 20 0 2 0 331285477 212828160 33794 33554432000 4194304 5964350 140735283660976 140735283660496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4165/statm: 51960 33794 187 433 0 51524 0
[pid=4165/tid=4167] ppid=4163 vsize=207840 CPUtime=50.31 cores=1,3,5,7
/proc/4165/task/4167/stat : 4167 (wbo1.72) R 4163 4165 2201 0 -1 4202560 23117 0 0 0 5022 9 0 0 20 0 2 0 331285541 212828160 33794 33554432000 4194304 5964350 140735283660976 140211481524264 4222314 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 207840
[startup+102.307 s]
/proc/loadavg: 1.99 1.69 1.54 3/181 4168
/proc/meminfo: memFree=28905900/32873844 swapFree=7620/7620
[pid=4165] ppid=4163 vsize=207840 CPUtime=102.27 cores=1,3,5,7
/proc/4165/stat : 4165 (wbo1.72) S 4163 4165 2201 0 -1 4202496 42271 0 0 0 10213 14 0 0 20 0 2 0 331285477 212828160 37296 33554432000 4194304 5964350 140735283660976 140735283660496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4165/statm: 51960 37296 187 433 0 51524 0
[pid=4165/tid=4167] ppid=4163 vsize=207840 CPUtime=101.38 cores=1,3,5,7
/proc/4165/task/4167/stat : 4167 (wbo1.72) R 4163 4165 2201 0 -1 4202560 26595 0 0 0 10126 12 0 0 20 0 2 0 331285541 212828160 37296 33554432000 4194304 5964350 140735283660976 140211481524216 4400439 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 207840
[startup+162.3 s]
/proc/loadavg: 1.99 1.74 1.56 3/181 4168
/proc/meminfo: memFree=28872200/32873844 swapFree=7620/7620
[pid=4165] ppid=4163 vsize=207840 CPUtime=162.24 cores=1,3,5,7
/proc/4165/stat : 4165 (wbo1.72) S 4163 4165 2201 0 -1 4202496 44736 0 0 0 16207 17 0 0 20 0 2 0 331285477 212828160 40328 33554432000 4194304 5964350 140735283660976 140735283660496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4165/statm: 51960 40328 187 433 0 51524 0
[pid=4165/tid=4167] ppid=4163 vsize=207840 CPUtime=161.2 cores=1,3,5,7
/proc/4165/task/4167/stat : 4167 (wbo1.72) R 4163 4165 2201 0 -1 4202560 29060 0 0 0 16104 16 0 0 20 0 2 0 331285541 212828160 40328 33554432000 4194304 5964350 140735283660976 140211481524088 4392783 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 207840
[startup+222.3 s]
/proc/loadavg: 1.99 1.79 1.58 3/181 4168
/proc/meminfo: memFree=28744376/32873844 swapFree=7620/7620
[pid=4165] ppid=4163 vsize=207840 CPUtime=222.23 cores=1,3,5,7
/proc/4165/stat : 4165 (wbo1.72) S 4163 4165 2201 0 -1 4202496 47304 0 0 0 22203 20 0 0 20 0 2 0 331285477 212828160 42923 33554432000 4194304 5964350 140735283660976 140735283660496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4165/statm: 51960 42923 187 433 0 51524 0
[pid=4165/tid=4167] ppid=4163 vsize=207840 CPUtime=221.04 cores=1,3,5,7
/proc/4165/task/4167/stat : 4167 (wbo1.72) R 4163 4165 2201 0 -1 4202560 31628 0 0 0 22084 20 0 0 20 0 2 0 331285541 212828160 42923 33554432000 4194304 5964350 140735283660976 140211481524152 4399930 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 207840
[startup+282.3 s]
/proc/loadavg: 1.99 1.82 1.61 3/181 4168
/proc/meminfo: memFree=28712536/32873844 swapFree=7620/7620
[pid=4165] ppid=4163 vsize=207840 CPUtime=282.22 cores=1,3,5,7
/proc/4165/stat : 4165 (wbo1.72) S 4163 4165 2201 0 -1 4202496 49048 0 0 0 28200 22 0 0 20 0 2 0 331285477 212828160 44666 33554432000 4194304 5964350 140735283660976 140735283660496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4165/statm: 51960 44666 187 433 0 51524 0
[pid=4165/tid=4167] ppid=4163 vsize=207840 CPUtime=280.89 cores=1,3,5,7
/proc/4165/task/4167/stat : 4167 (wbo1.72) R 4163 4165 2201 0 -1 4202560 33372 0 0 0 28066 23 0 0 20 0 2 0 331285541 212828160 44666 33554432000 4194304 5964350 140735283660976 140211481524216 4390779 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 207840
[startup+342.3 s]
/proc/loadavg: 1.99 1.85 1.63 3/181 4168
/proc/meminfo: memFree=28701732/32873844 swapFree=7620/7620
[pid=4165] ppid=4163 vsize=207840 CPUtime=342.21 cores=1,3,5,7
/proc/4165/stat : 4165 (wbo1.72) S 4163 4165 2201 0 -1 4202496 51721 0 0 0 34197 24 0 0 20 0 2 0 331285477 212828160 47339 33554432000 4194304 5964350 140735283660976 140735283660496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4165/statm: 51960 47339 187 433 0 51524 0
[pid=4165/tid=4167] ppid=4163 vsize=207840 CPUtime=340.73 cores=1,3,5,7
/proc/4165/task/4167/stat : 4167 (wbo1.72) R 4163 4165 2201 0 -1 4202560 36045 0 0 0 34047 26 0 0 20 0 2 0 331285541 212828160 47339 33554432000 4194304 5964350 140735283660976 140211481524264 4381517 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 207840
[startup+402.3 s]
/proc/loadavg: 1.99 1.88 1.65 3/181 4169
/proc/meminfo: memFree=28562684/32873844 swapFree=7620/7620
[pid=4165] ppid=4163 vsize=273376 CPUtime=402.2 cores=1,3,5,7
/proc/4165/stat : 4165 (wbo1.72) S 4163 4165 2201 0 -1 4202496 53240 0 0 0 40194 26 0 0 20 0 2 0 331285477 279937024 49369 33554432000 4194304 5964350 140735283660976 140735283660496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4165/statm: 68344 49369 187 433 0 67908 0
[pid=4165/tid=4167] ppid=4163 vsize=273376 CPUtime=400.58 cores=1,3,5,7
/proc/4165/task/4167/stat : 4167 (wbo1.72) R 4163 4165 2201 0 -1 4202560 37564 0 0 0 40029 29 0 0 20 0 2 0 331285541 279937024 49369 33554432000 4194304 5964350 140735283660976 140211481524024 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 273376
[startup+462.3 s]
/proc/loadavg: 1.99 1.90 1.67 3/181 4169
/proc/meminfo: memFree=28527592/32873844 swapFree=7624/7624
[pid=4165] ppid=4163 vsize=273376 CPUtime=462.19 cores=1,3,5,7
/proc/4165/stat : 4165 (wbo1.72) S 4163 4165 2201 0 -1 4202496 54850 0 0 0 46192 27 0 0 20 0 2 0 331285477 279937024 50979 33554432000 4194304 5964350 140735283660976 140735283660496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4165/statm: 68344 50979 187 433 0 67908 0
[pid=4165/tid=4167] ppid=4163 vsize=273376 CPUtime=460.43 cores=1,3,5,7
/proc/4165/task/4167/stat : 4167 (wbo1.72) R 4163 4165 2201 0 -1 4202560 39174 0 0 0 46013 30 0 0 20 0 2 0 331285541 279937024 50979 33554432000 4194304 5964350 140735283660976 140211481524024 4399852 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 273376
[startup+522.3 s]
/proc/loadavg: 1.99 1.91 1.69 3/181 4169
/proc/meminfo: memFree=28506088/32873844 swapFree=7620/7620
[pid=4165] ppid=4163 vsize=273376 CPUtime=522.15 cores=1,3,5,7
/proc/4165/stat : 4165 (wbo1.72) S 4163 4165 2201 0 -1 4202496 57465 0 0 0 52186 29 0 0 20 0 2 0 331285477 279937024 53963 33554432000 4194304 5964350 140735283660976 140735283660496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4165/statm: 68344 53963 187 433 0 67908 0
[pid=4165/tid=4167] ppid=4163 vsize=273376 CPUtime=520.25 cores=1,3,5,7
/proc/4165/task/4167/stat : 4167 (wbo1.72) R 4163 4165 2201 0 -1 4202560 41789 0 0 0 51992 33 0 0 20 0 2 0 331285541 279937024 53963 33554432000 4194304 5964350 140735283660976 140211481524216 4399774 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 273376
Solver just ended. Dumping a history of the last processes samples
[startup+524.707 s]
/proc/loadavg: 1.99 1.91 1.69 3/181 4169
/proc/meminfo: memFree=28499888/32873844 swapFree=7620/7620
[pid=4165] ppid=4163 vsize=273376 CPUtime=524.56 cores=1,3,5,7
/proc/4165/stat : 4165 (wbo1.72) S 4163 4165 2201 0 -1 4202496 57544 0 0 0 52427 29 0 0 20 0 2 0 331285477 279937024 54042 33554432000 4194304 5964350 140735283660976 140735283660496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4165/statm: 68344 54042 187 433 0 67908 0
[pid=4165/tid=4167] ppid=4163 vsize=273376 CPUtime=522.65 cores=1,3,5,7
/proc/4165/task/4167/stat : 4167 (wbo1.72) R 4163 4165 2201 0 -1 4202560 41868 0 0 0 52232 33 0 0 20 0 2 0 331285541 279937024 54042 33554432000 4194304 5964350 140735283660976 140211481524264 4403290 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 524.56
Current children cumulated vsize (KiB) 273376
[startup+531.1 s]
/proc/loadavg: 1.99 1.91 1.69 3/181 4169
/proc/meminfo: memFree=28492200/32873844 swapFree=7620/7620
[pid=4165] ppid=4163 vsize=273376 CPUtime=530.96 cores=1,3,5,7
/proc/4165/stat : 4165 (wbo1.72) S 4163 4165 2201 0 -1 4202496 57832 0 0 0 53066 30 0 0 20 0 2 0 331285477 279937024 54330 33554432000 4194304 5964350 140735283660976 140735283660496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4165/statm: 68344 54330 187 433 0 67908 0
[pid=4165/tid=4167] ppid=4163 vsize=273376 CPUtime=529.03 cores=1,3,5,7
/proc/4165/task/4167/stat : 4167 (wbo1.72) R 4163 4165 2201 0 -1 4202560 42156 0 0 0 52868 35 0 0 20 0 2 0 331285541 279937024 54330 33554432000 4194304 5964350 140735283660976 140211481524024 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 530.96
Current children cumulated vsize (KiB) 273376
[startup+537.5 s]
/proc/loadavg: 1.99 1.92 1.69 3/181 4169
/proc/meminfo: memFree=28474964/32873844 swapFree=7620/7620
[pid=4165] ppid=4163 vsize=273376 CPUtime=537.35 cores=1,3,5,7
/proc/4165/stat : 4165 (wbo1.72) S 4163 4165 2201 0 -1 4202496 58021 0 0 0 53705 30 0 0 20 0 2 0 331285477 279937024 54519 33554432000 4194304 5964350 140735283660976 140735283660496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4165/statm: 68344 54519 187 433 0 67908 0
[pid=4165/tid=4167] ppid=4163 vsize=273376 CPUtime=535.41 cores=1,3,5,7
/proc/4165/task/4167/stat : 4167 (wbo1.72) R 4163 4165 2201 0 -1 4202560 42345 0 0 0 53506 35 0 0 20 0 2 0 331285541 279937024 54519 33554432000 4194304 5964350 140735283660976 140211481524216 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 537.35
Current children cumulated vsize (KiB) 273376
[startup+540.7 s]
/proc/loadavg: 1.99 1.92 1.69 3/181 4169
/proc/meminfo: memFree=28469012/32873844 swapFree=7620/7620
[pid=4165] ppid=4163 vsize=273376 CPUtime=540.55 cores=1,3,5,7
/proc/4165/stat : 4165 (wbo1.72) S 4163 4165 2201 0 -1 4202496 58069 0 0 0 54025 30 0 0 20 0 2 0 331285477 279937024 54567 33554432000 4194304 5964350 140735283660976 140735283660496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4165/statm: 68344 54567 187 433 0 67908 0
[pid=4165/tid=4167] ppid=4163 vsize=273376 CPUtime=538.6 cores=1,3,5,7
/proc/4165/task/4167/stat : 4167 (wbo1.72) R 4163 4165 2201 0 -1 4202560 42393 0 0 0 53825 35 0 0 20 0 2 0 331285541 279937024 54567 33554432000 4194304 5964350 140735283660976 140211481524264 4400568 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 540.55
Current children cumulated vsize (KiB) 273376
[startup+541.5 s]
/proc/loadavg: 1.99 1.92 1.69 3/181 4169
/proc/meminfo: memFree=28466780/32873844 swapFree=7620/7620
[pid=4165] ppid=4163 vsize=273376 CPUtime=541.35 cores=1,3,5,7
/proc/4165/stat : 4165 (wbo1.72) S 4163 4165 2201 0 -1 4202496 58087 0 0 0 54105 30 0 0 20 0 2 0 331285477 279937024 54585 33554432000 4194304 5964350 140735283660976 140735283660496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4165/statm: 68344 54585 187 433 0 67908 0
[pid=4165/tid=4167] ppid=4163 vsize=273376 CPUtime=539.4 cores=1,3,5,7
/proc/4165/task/4167/stat : 4167 (wbo1.72) R 4163 4165 2201 0 -1 4202560 42411 0 0 0 53905 35 0 0 20 0 2 0 331285541 279937024 54585 33554432000 4194304 5964350 140735283660976 140211481524216 4387871 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 541.35
Current children cumulated vsize (KiB) 273376
[startup+541.9 s]
/proc/loadavg: 1.99 1.92 1.69 3/181 4169
/proc/meminfo: memFree=28466780/32873844 swapFree=7620/7620
[pid=4165] ppid=4163 vsize=273376 CPUtime=541.75 cores=1,3,5,7
/proc/4165/stat : 4165 (wbo1.72) S 4163 4165 2201 0 -1 4202496 58090 0 0 0 54145 30 0 0 20 0 2 0 331285477 279937024 54588 33554432000 4194304 5964350 140735283660976 140735283660496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4165/statm: 68344 54588 187 433 0 67908 0
[pid=4165/tid=4167] ppid=4163 vsize=273376 CPUtime=539.8 cores=1,3,5,7
/proc/4165/task/4167/stat : 4167 (wbo1.72) R 4163 4165 2201 0 -1 4202560 42414 0 0 0 53945 35 0 0 20 0 2 0 331285541 279937024 54588 33554432000 4194304 5964350 140735283660976 140211481524216 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 541.75
Current children cumulated vsize (KiB) 273376
[startup+542.307 s]
/proc/loadavg: 1.99 1.92 1.69 3/181 4169
/proc/meminfo: memFree=28464548/32873844 swapFree=7620/7620
[pid=4165] ppid=4163 vsize=273376 CPUtime=542.16 cores=1,3,5,7
/proc/4165/stat : 4165 (wbo1.72) S 4163 4165 2201 0 -1 4202496 58096 0 0 0 54186 30 0 0 20 0 2 0 331285477 279937024 54594 33554432000 4194304 5964350 140735283660976 140735283660496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4165/statm: 68344 54594 187 433 0 67908 0
[pid=4165/tid=4167] ppid=4163 vsize=273376 CPUtime=540.21 cores=1,3,5,7
/proc/4165/task/4167/stat : 4167 (wbo1.72) R 4163 4165 2201 0 -1 4202560 42420 0 0 0 53986 35 0 0 20 0 2 0 331285541 279937024 54594 33554432000 4194304 5964350 140735283660976 140211481524024 4400352 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 542.16
Current children cumulated vsize (KiB) 273376
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4165 and gives
# childrusage.ru_utime.tv_sec=540
# childrusage.ru_utime.tv_usec=482834
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=389940
# CPU time returned by wait4() is 540.873
# while last known CPU time is 542.16
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 542.311
CPU time (s): 542.16
CPU user time (s): 541.86
CPU system time (s): 0.3
CPU usage (%): 99.9721
Max. virtual memory (cumulated for all children) (KiB): 273376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 540.483
system time used= 0.38994
maximum resident set size= 218396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58101
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= 63
involuntary context switches= 563
runsolver used 0.989849 second user time and 2.68359 second system time
The end