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-3712926-1338201045/watcher-3712926-1338201045 -o /tmp/evaluation-result-3712926-1338201045/solver-3712926-1338201045 -C 1800 -W 1900 -M 15500 wbo1.71 -file-format=wbo HOME/instance-3712926-1338201045.wbo
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: 2.00 2.00 2.00 3/178 22812
/proc/meminfo: memFree=28053340/32873648 swapFree=7372/7372
[pid=22812] ppid=22810 vsize=83716 CPUtime=0 cores=1,3,5,7
/proc/22812/stat : 22812 (wbo1.71) S 22810 22812 22137 0 -1 4202496 780 0 0 0 0 0 0 0 20 0 2 0 286230471 85725184 730 33554432000 4194304 5964318 140737439828800 140737439828320 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22812/statm: 20929 730 192 433 0 20493 0
[pid=22812/tid=22813] ppid=22810 vsize=83716 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22813/stat : 22813 (wbo1.71) R 22810 22812 22137 0 -1 4202560 60 0 0 0 0 0 0 0 20 0 2 0 286230471 85725184 730 33554432000 4194304 5964318 140737439828800 140736137393544 5136324 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.056535 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22812
/proc/meminfo: memFree=28053340/32873648 swapFree=7372/7372
[pid=22812] ppid=22810 vsize=83716 CPUtime=0.05 cores=1,3,5,7
/proc/22812/stat : 22812 (wbo1.71) S 22810 22812 22137 0 -1 4202496 967 0 0 0 5 0 0 0 20 0 2 0 286230471 85725184 917 33554432000 4194304 5964318 140737439828800 140737439828320 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22812/statm: 20929 917 194 433 0 20493 0
[pid=22812/tid=22813] ppid=22810 vsize=83716 CPUtime=0.04 cores=1,3,5,7
/proc/22812/task/22813/stat : 22813 (wbo1.71) R 22810 22812 22137 0 -1 4202560 247 0 0 0 4 0 0 0 20 0 2 0 286230471 85725184 917 33554432000 4194304 5964318 140737439828800 140736137393544 5179488 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 83716
[startup+0.100168 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22812
/proc/meminfo: memFree=28053340/32873648 swapFree=7372/7372
[pid=22812] ppid=22810 vsize=83716 CPUtime=0.09 cores=1,3,5,7
/proc/22812/stat : 22812 (wbo1.71) S 22810 22812 22137 0 -1 4202496 1072 0 0 0 9 0 0 0 20 0 2 0 286230471 85725184 1022 33554432000 4194304 5964318 140737439828800 140737439828320 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22812/statm: 20929 1022 194 433 0 20493 0
[pid=22812/tid=22813] ppid=22810 vsize=83716 CPUtime=0.08 cores=1,3,5,7
/proc/22812/task/22813/stat : 22813 (wbo1.71) R 22810 22812 22137 0 -1 4202560 352 0 0 0 8 0 0 0 20 0 2 0 286230471 85725184 1022 33554432000 4194304 5964318 140737439828800 140736137393544 4400019 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83716
[startup+0.300127 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22812
/proc/meminfo: memFree=28053340/32873648 swapFree=7372/7372
[pid=22812] ppid=22810 vsize=83716 CPUtime=0.29 cores=1,3,5,7
/proc/22812/stat : 22812 (wbo1.71) S 22810 22812 22137 0 -1 4202496 1413 0 0 0 29 0 0 0 20 0 2 0 286230471 85725184 1363 33554432000 4194304 5964318 140737439828800 140737439828320 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22812/statm: 20929 1363 194 433 0 20493 0
[pid=22812/tid=22813] ppid=22810 vsize=83716 CPUtime=0.28 cores=1,3,5,7
/proc/22812/task/22813/stat : 22813 (wbo1.71) R 22810 22812 22137 0 -1 4202560 693 0 0 0 28 0 0 0 20 0 2 0 286230471 85725184 1363 33554432000 4194304 5964318 140737439828800 140736137393544 5179147 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83716
[startup+0.700126 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22812
/proc/meminfo: memFree=28053340/32873648 swapFree=7372/7372
[pid=22812] ppid=22810 vsize=83860 CPUtime=0.69 cores=1,3,5,7
/proc/22812/stat : 22812 (wbo1.71) S 22810 22812 22137 0 -1 4202496 1886 0 0 0 69 0 0 0 20 0 2 0 286230471 85872640 1836 33554432000 4194304 5964318 140737439828800 140737439828320 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22812/statm: 20965 1836 194 433 0 20529 0
[pid=22812/tid=22813] ppid=22810 vsize=83860 CPUtime=0.68 cores=1,3,5,7
/proc/22812/task/22813/stat : 22813 (wbo1.71) R 22810 22812 22137 0 -1 4202560 1166 0 0 0 68 0 0 0 20 0 2 0 286230471 85872640 1836 33554432000 4194304 5964318 140737439828800 140736137393544 5179592 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83860
[startup+1.50013 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 22814
/proc/meminfo: memFree=28046744/32873648 swapFree=7372/7372
[pid=22812] ppid=22810 vsize=83860 CPUtime=1.48 cores=1,3,5,7
/proc/22812/stat : 22812 (wbo1.71) S 22810 22812 22137 0 -1 4202496 2265 0 0 0 148 0 0 0 20 0 2 0 286230471 85872640 2215 33554432000 4194304 5964318 140737439828800 140737439828320 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22812/statm: 20965 2215 194 433 0 20529 0
[pid=22812/tid=22813] ppid=22810 vsize=83860 CPUtime=1.48 cores=1,3,5,7
/proc/22812/task/22813/stat : 22813 (wbo1.71) R 22810 22812 22137 0 -1 4202560 1545 0 0 0 148 0 0 0 20 0 2 0 286230471 85872640 2215 33554432000 4194304 5964318 140737439828800 140591000102712 4391624 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 83860
[startup+3.10015 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 22814
/proc/meminfo: memFree=28043644/32873648 swapFree=7372/7372
[pid=22812] ppid=22810 vsize=83932 CPUtime=3.09 cores=1,3,5,7
/proc/22812/stat : 22812 (wbo1.71) S 22810 22812 22137 0 -1 4202496 3074 0 0 0 308 1 0 0 20 0 2 0 286230471 85946368 3024 33554432000 4194304 5964318 140737439828800 140737439828320 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22812/statm: 20983 3024 194 433 0 20547 0
[pid=22812/tid=22813] ppid=22810 vsize=83932 CPUtime=3.08 cores=1,3,5,7
/proc/22812/task/22813/stat : 22813 (wbo1.71) R 22810 22812 22137 0 -1 4202560 2354 0 0 0 307 1 0 0 20 0 2 0 286230471 85946368 3024 33554432000 4194304 5964318 140737439828800 140591000102904 4399824 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83932
[startup+6.30012 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 22814
/proc/meminfo: memFree=28037248/32873648 swapFree=7372/7372
[pid=22812] ppid=22810 vsize=83716 CPUtime=6.29 cores=1,3,5,7
/proc/22812/stat : 22812 (wbo1.71) S 22810 22812 22137 0 -1 4202496 4187 0 0 0 628 1 0 0 20 0 2 0 286230471 85725184 4082 33554432000 4194304 5964318 140737439828800 140737439828320 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22812/statm: 20929 4082 198 433 0 20493 0
[pid=22812/tid=22813] ppid=22810 vsize=83716 CPUtime=6.29 cores=1,3,5,7
/proc/22812/task/22813/stat : 22813 (wbo1.71) R 22810 22812 22137 0 -1 4202560 3467 0 0 0 627 2 0 0 20 0 2 0 286230471 85725184 4082 33554432000 4194304 5964318 140737439828800 140591000103864 4400336 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 83716
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 22815
/proc/meminfo: memFree=28037032/32873648 swapFree=7372/7372
[pid=22812] ppid=22810 vsize=83716 CPUtime=12.69 cores=1,3,5,7
/proc/22812/stat : 22812 (wbo1.71) S 22810 22812 22137 0 -1 4202496 4213 0 0 0 1268 1 0 0 20 0 2 0 286230471 85725184 4108 33554432000 4194304 5964318 140737439828800 140737439828320 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22812/statm: 20929 4108 198 433 0 20493 0
[pid=22812/tid=22813] ppid=22810 vsize=83716 CPUtime=12.68 cores=1,3,5,7
/proc/22812/task/22813/stat : 22813 (wbo1.71) R 22810 22812 22137 0 -1 4202560 3493 0 0 0 1266 2 0 0 20 0 2 0 286230471 85725184 4108 33554432000 4194304 5964318 140737439828800 140591000103448 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 83716
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22815
/proc/meminfo: memFree=28033576/32873648 swapFree=7372/7372
[pid=22812] ppid=22810 vsize=83716 CPUtime=25.48 cores=1,3,5,7
/proc/22812/stat : 22812 (wbo1.71) S 22810 22812 22137 0 -1 4202496 5440 0 0 0 2547 1 0 0 20 0 2 0 286230471 85725184 5335 33554432000 4194304 5964318 140737439828800 140737439828320 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22812/statm: 20929 5335 198 433 0 20493 0
[pid=22812/tid=22813] ppid=22810 vsize=83716 CPUtime=25.48 cores=1,3,5,7
/proc/22812/task/22813/stat : 22813 (wbo1.71) R 22810 22812 22137 0 -1 4202560 4720 0 0 0 2546 2 0 0 20 0 2 0 286230471 85725184 5335 33554432000 4194304 5964318 140737439828800 140591000103256 4381344 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 83716
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22815
/proc/meminfo: memFree=28031188/32873648 swapFree=7372/7372
[pid=22812] ppid=22810 vsize=83716 CPUtime=51.08 cores=1,3,5,7
/proc/22812/stat : 22812 (wbo1.71) S 22810 22812 22137 0 -1 4202496 5807 0 0 0 5107 1 0 0 20 0 2 0 286230471 85725184 5702 33554432000 4194304 5964318 140737439828800 140737439828320 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22812/statm: 20929 5702 198 433 0 20493 0
[pid=22812/tid=22813] ppid=22810 vsize=83716 CPUtime=51.08 cores=1,3,5,7
/proc/22812/task/22813/stat : 22813 (wbo1.71) R 22810 22812 22137 0 -1 4202560 5087 0 0 0 5106 2 0 0 20 0 2 0 286230471 85725184 5702 33554432000 4194304 5964318 140737439828800 140591000102712 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 83716
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22815
/proc/meminfo: memFree=28017304/32873648 swapFree=7372/7372
[pid=22812] ppid=22810 vsize=83716 CPUtime=102.27 cores=1,3,5,7
/proc/22812/stat : 22812 (wbo1.71) S 22810 22812 22137 0 -1 4202496 7401 0 0 0 10225 2 0 0 20 0 2 0 286230471 85725184 7989 33554432000 4194304 5964318 140737439828800 140737439828320 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22812/statm: 20929 7989 198 433 0 20493 0
[pid=22812/tid=22813] ppid=22810 vsize=83716 CPUtime=102.28 cores=1,3,5,7
/proc/22812/task/22813/stat : 22813 (wbo1.71) R 22810 22812 22137 0 -1 4202560 6681 0 0 0 10224 4 0 0 20 0 2 0 286230471 85725184 7989 33554432000 4194304 5964318 140737439828800 140591000103256 4400336 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 83716
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22815
/proc/meminfo: memFree=27950020/32873648 swapFree=7372/7372
[pid=22812] ppid=22810 vsize=83716 CPUtime=162.25 cores=1,3,5,7
/proc/22812/stat : 22812 (wbo1.71) S 22810 22812 22137 0 -1 4202496 9821 0 0 0 16223 2 0 0 20 0 2 0 286230471 85725184 9894 33554432000 4194304 5964318 140737439828800 140737439828320 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22812/statm: 20929 9894 198 433 0 20493 0
[pid=22812/tid=22813] ppid=22810 vsize=83716 CPUtime=162.28 cores=1,3,5,7
/proc/22812/task/22813/stat : 22813 (wbo1.71) R 22810 22812 22137 0 -1 4202560 9101 0 0 0 16223 5 0 0 20 0 2 0 286230471 85725184 9894 33554432000 4194304 5964318 140737439828800 140591000103448 4400380 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 83716
############
# WARNING:
# current cumulated CPU time (0 s) is less than in the last sample (212.04 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (212.04 s) to the 'lost time'.
[startup+212.1 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 22815
/proc/meminfo: memFree=27908276/32873648 swapFree=7372/7372
[pid=22812] ppid=22810 vsize=83716 CPUtime=212.04 cores=1,3,5,7
/proc/22812/stat : 22812 (wbo1.71) S 22810 22812 22137 0 -1 4202496 9827 0 0 0 21202 2 0 0 20 0 2 0 286230471 85725184 9900 33554432000 4194304 5964318 140737439828800 140737439828320 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22812/statm: 20929 9900 198 433 0 20493 0
[pid=22812/tid=22813] ppid=22810 vsize=83716 CPUtime=212.08 cores=1,3,5,7
/proc/22812/task/22813/stat : 22813 (wbo1.71) R 22810 22812 22137 0 -1 4202560 9107 0 0 0 21202 6 0 0 20 0 2 0 286230471 85725184 9900 33554432000 4194304 5964318 140737439828800 140591000103448 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 212.04
Current children cumulated vsize (KiB) 83716
[startup+212.2 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 22815
/proc/meminfo: memFree=27907408/32873648 swapFree=7372/7372
[pid=22812] ppid=-1 vsize=0 CPUtime=0 cores=
/proc/22812/stat : -- couldn't open stat file --/proc/22812/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+179.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22815
/proc/meminfo: memFree=27932952/32873648 swapFree=7372/7372
[pid=22812] ppid=22810 vsize=83716 CPUtime=179.05 cores=1,3,5,7
/proc/22812/stat : 22812 (wbo1.71) S 22810 22812 22137 0 -1 4202496 9821 0 0 0 17903 2 0 0 20 0 2 0 286230471 85725184 9894 33554432000 4194304 5964318 140737439828800 140737439828320 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22812/statm: 20929 9894 198 433 0 20493 0
[pid=22812/tid=22813] ppid=22810 vsize=83716 CPUtime=179.08 cores=1,3,5,7
/proc/22812/task/22813/stat : 22813 (wbo1.71) R 22810 22812 22137 0 -1 4202560 9101 0 0 0 17903 5 0 0 20 0 2 0 286230471 85725184 9894 33554432000 4194304 5964318 140737439828800 140591000103448 4400412 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 179.05
Current children cumulated vsize (KiB) 83716
[startup+191.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22815
/proc/meminfo: memFree=27922660/32873648 swapFree=7372/7372
[pid=22812] ppid=22810 vsize=83716 CPUtime=191.85 cores=1,3,5,7
/proc/22812/stat : 22812 (wbo1.71) S 22810 22812 22137 0 -1 4202496 9821 0 0 0 19183 2 0 0 20 0 2 0 286230471 85725184 9894 33554432000 4194304 5964318 140737439828800 140737439828320 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22812/statm: 20929 9894 198 433 0 20493 0
[pid=22812/tid=22813] ppid=22810 vsize=83716 CPUtime=191.88 cores=1,3,5,7
/proc/22812/task/22813/stat : 22813 (wbo1.71) R 22810 22812 22137 0 -1 4202560 9101 0 0 0 19183 5 0 0 20 0 2 0 286230471 85725184 9894 33554432000 4194304 5964318 140737439828800 140591000103448 4399914 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 191.85
Current children cumulated vsize (KiB) 83716
[startup+204.7 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 22815
/proc/meminfo: memFree=27914228/32873648 swapFree=7372/7372
[pid=22812] ppid=22810 vsize=83716 CPUtime=204.64 cores=1,3,5,7
/proc/22812/stat : 22812 (wbo1.71) S 22810 22812 22137 0 -1 4202496 9827 0 0 0 20462 2 0 0 20 0 2 0 286230471 85725184 9900 33554432000 4194304 5964318 140737439828800 140737439828320 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22812/statm: 20929 9900 198 433 0 20493 0
[pid=22812/tid=22813] ppid=22810 vsize=83716 CPUtime=204.68 cores=1,3,5,7
/proc/22812/task/22813/stat : 22813 (wbo1.71) R 22810 22812 22137 0 -1 4202560 9107 0 0 0 20462 6 0 0 20 0 2 0 286230471 85725184 9900 33554432000 4194304 5964318 140737439828800 140591000103448 4399960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.64
Current children cumulated vsize (KiB) 83716
[startup+207.907 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 22815
/proc/meminfo: memFree=27911748/32873648 swapFree=7372/7372
[pid=22812] ppid=22810 vsize=83716 CPUtime=207.85 cores=1,3,5,7
/proc/22812/stat : 22812 (wbo1.71) S 22810 22812 22137 0 -1 4202496 9827 0 0 0 20783 2 0 0 20 0 2 0 286230471 85725184 9900 33554432000 4194304 5964318 140737439828800 140737439828320 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22812/statm: 20929 9900 198 433 0 20493 0
[pid=22812/tid=22813] ppid=22810 vsize=83716 CPUtime=207.89 cores=1,3,5,7
/proc/22812/task/22813/stat : 22813 (wbo1.71) R 22810 22812 22137 0 -1 4202560 9107 0 0 0 20783 6 0 0 20 0 2 0 286230471 85725184 9900 33554432000 4194304 5964318 140737439828800 140591000103448 4399830 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 207.85
Current children cumulated vsize (KiB) 83716
[startup+209.5 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 22815
/proc/meminfo: memFree=27910384/32873648 swapFree=7372/7372
[pid=22812] ppid=22810 vsize=83716 CPUtime=209.44 cores=1,3,5,7
/proc/22812/stat : 22812 (wbo1.71) S 22810 22812 22137 0 -1 4202496 9827 0 0 0 20942 2 0 0 20 0 2 0 286230471 85725184 9900 33554432000 4194304 5964318 140737439828800 140737439828320 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22812/statm: 20929 9900 198 433 0 20493 0
[pid=22812/tid=22813] ppid=22810 vsize=83716 CPUtime=209.48 cores=1,3,5,7
/proc/22812/task/22813/stat : 22813 (wbo1.71) R 22810 22812 22137 0 -1 4202560 9107 0 0 0 20942 6 0 0 20 0 2 0 286230471 85725184 9900 33554432000 4194304 5964318 140737439828800 140591000103448 4399824 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 209.44
Current children cumulated vsize (KiB) 83716
[startup+211.1 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 22815
/proc/meminfo: memFree=27908276/32873648 swapFree=7372/7372
[pid=22812] ppid=22810 vsize=83716 CPUtime=211.05 cores=1,3,5,7
/proc/22812/stat : 22812 (wbo1.71) S 22810 22812 22137 0 -1 4202496 9827 0 0 0 21103 2 0 0 20 0 2 0 286230471 85725184 9900 33554432000 4194304 5964318 140737439828800 140737439828320 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22812/statm: 20929 9900 198 433 0 20493 0
[pid=22812/tid=22813] ppid=22810 vsize=83716 CPUtime=211.09 cores=1,3,5,7
/proc/22812/task/22813/stat : 22813 (wbo1.71) R 22810 22812 22137 0 -1 4202560 9107 0 0 0 21103 6 0 0 20 0 2 0 286230471 85725184 9900 33554432000 4194304 5964318 140737439828800 140591000103448 4403351 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 211.05
Current children cumulated vsize (KiB) 83716
[startup+211.9 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 22815
/proc/meminfo: memFree=27908276/32873648 swapFree=7372/7372
[pid=22812] ppid=22810 vsize=83716 CPUtime=211.84 cores=1,3,5,7
/proc/22812/stat : 22812 (wbo1.71) S 22810 22812 22137 0 -1 4202496 9827 0 0 0 21182 2 0 0 20 0 2 0 286230471 85725184 9900 33554432000 4194304 5964318 140737439828800 140737439828320 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22812/statm: 20929 9900 198 433 0 20493 0
[pid=22812/tid=22813] ppid=22810 vsize=83716 CPUtime=211.88 cores=1,3,5,7
/proc/22812/task/22813/stat : 22813 (wbo1.71) R 22810 22812 22137 0 -1 4202560 9107 0 0 0 21182 6 0 0 20 0 2 0 286230471 85725184 9900 33554432000 4194304 5964318 140737439828800 140591000103448 4399960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 211.84
Current children cumulated vsize (KiB) 83716
[startup+212.1 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 22815
/proc/meminfo: memFree=27908276/32873648 swapFree=7372/7372
[pid=22812] ppid=22810 vsize=83716 CPUtime=212.04 cores=1,3,5,7
/proc/22812/stat : 22812 (wbo1.71) S 22810 22812 22137 0 -1 4202496 9827 0 0 0 21202 2 0 0 20 0 2 0 286230471 85725184 9900 33554432000 4194304 5964318 140737439828800 140737439828320 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22812/statm: 20929 9900 198 433 0 20493 0
[pid=22812/tid=22813] ppid=22810 vsize=83716 CPUtime=212.08 cores=1,3,5,7
/proc/22812/task/22813/stat : 22813 (wbo1.71) R 22810 22812 22137 0 -1 4202560 9107 0 0 0 21202 6 0 0 20 0 2 0 286230471 85725184 9900 33554432000 4194304 5964318 140737439828800 140591000103448 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 212.04
Current children cumulated vsize (KiB) 83716
[startup+212.2 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 22815
/proc/meminfo: memFree=27907408/32873648 swapFree=7372/7372
[pid=22812] ppid=-1 vsize=0 CPUtime=0 cores=
/proc/22812/stat : -- couldn't open stat file --/proc/22812/statm: Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22812 and gives
# childrusage.ru_utime.tv_sec=212
# childrusage.ru_utime.tv_usec=128751
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=71989
# CPU time returned by wait4() is 212.201
# 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): 212.04
# lost CPU user time (s): 212.02
# lost CPU system time (s): 0.02
Real time (s): 212.202
CPU time (s): 212.04
CPU user time (s): 212.02
CPU system time (s): 0.02
CPU usage (%): 99.9237
Max. virtual memory (cumulated for all children) (KiB): 84040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 212.129
system time used= 0.071989
maximum resident set size= 39612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9830
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= 14
involuntary context switches= 226
runsolver used 0.310952 second user time and 0.85487 second system time
The end