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-3717073-1338187558/watcher-3717073-1338187558 -o /tmp/evaluation-result-3717073-1338187558/solver-3717073-1338187558 -C 1800 -W 1900 -M 15500 HOME/runWbo2satCp2.sh HOME/instance-3717073-1338187558.wbo 1144468768 HOME HOME
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.94 1.98 2.01 4/179 31067
/proc/meminfo: memFree=30167392/32873844 swapFree=7116/7116
[pid=31067] ppid=31065 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31067/stat : 31067 (runWbo2satCp2.s) S 31065 31067 25434 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284880703 9367552 274 33554432000 4194304 5064252 140735045237488 140735045236400 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31067/statm: 2287 274 233 213 0 72 0
[startup+0.033934 s]
/proc/loadavg: 1.94 1.98 2.01 4/179 31067
/proc/meminfo: memFree=30167392/32873844 swapFree=7116/7116
[pid=31067] ppid=31065 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31067/stat : 31067 (runWbo2satCp2.s) S 31065 31067 25434 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284880703 9367552 274 33554432000 4194304 5064252 140735045237488 140735045236400 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31067/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100269 s]
/proc/loadavg: 1.94 1.98 2.01 4/179 31067
/proc/meminfo: memFree=30167392/32873844 swapFree=7116/7116
[pid=31067] ppid=31065 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31067/stat : 31067 (runWbo2satCp2.s) S 31065 31067 25434 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284880703 9367552 274 33554432000 4194304 5064252 140735045237488 140735045236400 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31067/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300238 s]
/proc/loadavg: 1.94 1.98 2.01 4/179 31067
/proc/meminfo: memFree=30167392/32873844 swapFree=7116/7116
[pid=31067] ppid=31065 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31067/stat : 31067 (runWbo2satCp2.s) S 31065 31067 25434 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284880703 9367552 274 33554432000 4194304 5064252 140735045237488 140735045236400 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31067/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700185 s]
/proc/loadavg: 1.94 1.98 2.01 4/179 31067
/proc/meminfo: memFree=30167392/32873844 swapFree=7116/7116
[pid=31067] ppid=31065 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31067/stat : 31067 (runWbo2satCp2.s) S 31065 31067 25434 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284880703 9367552 274 33554432000 4194304 5064252 140735045237488 140735045236400 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31067/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 1.94 1.98 2.01 3/181 31069
/proc/meminfo: memFree=30154928/32873844 swapFree=7116/7116
[pid=31067] ppid=31065 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31067/stat : 31067 (runWbo2satCp2.s) S 31065 31067 25434 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284880703 9367552 274 33554432000 4194304 5064252 140735045237488 140735045236400 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31067/statm: 2287 274 233 213 0 72 0
[pid=31068] ppid=31067 vsize=34772 CPUtime=1.49 cores=1,3,5,7
/proc/31068/stat : 31068 (wbo2sat) R 31067 31067 25434 0 -1 4202496 3242 0 0 0 148 1 0 0 20 0 1 0 284880703 35606528 4748 33554432000 4194304 5872148 140734779624320 140734779618776 4745812 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31068/statm: 8693 4748 144 410 0 8275 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43920
[startup+3.10031 s]
/proc/loadavg: 1.94 1.98 2.01 3/181 31069
/proc/meminfo: memFree=30139972/32873844 swapFree=7116/7116
[pid=31067] ppid=31065 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31067/stat : 31067 (runWbo2satCp2.s) S 31065 31067 25434 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284880703 9367552 274 33554432000 4194304 5064252 140735045237488 140735045236400 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31067/statm: 2287 274 233 213 0 72 0
[pid=31068] ppid=31067 vsize=67540 CPUtime=3.08 cores=1,3,5,7
/proc/31068/stat : 31068 (wbo2sat) R 31067 31067 25434 0 -1 4202496 3779 0 0 0 306 2 0 0 20 0 1 0 284880703 69160960 9868 33554432000 4194304 5872148 140734779624320 140734779618872 4745509 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31068/statm: 16885 9868 144 410 0 16467 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 76688
[startup+6.30031 s]
/proc/loadavg: 1.94 1.98 2.01 3/181 31069
/proc/meminfo: memFree=30056208/32873844 swapFree=7116/7116
[pid=31067] ppid=31065 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31067/stat : 31067 (runWbo2satCp2.s) S 31065 31067 25434 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284880703 9367552 274 33554432000 4194304 5064252 140735045237488 140735045236400 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31067/statm: 2287 274 233 213 0 72 0
[pid=31068] ppid=31067 vsize=133088 CPUtime=6.29 cores=1,3,5,7
/proc/31068/stat : 31068 (wbo2sat) R 31067 31067 25434 0 -1 4202496 6161 0 0 0 623 6 0 0 20 0 1 0 284880703 136282112 27748 33554432000 4194304 5872148 140734779624320 140734779621704 4393654 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31068/statm: 33272 27748 155 410 0 32854 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 142236
[startup+12.7004 s]
/proc/loadavg: 1.95 1.98 2.01 3/183 31074
/proc/meminfo: memFree=29819976/32873844 swapFree=7116/7116
[pid=31067] ppid=31065 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31067/stat : 31067 (runWbo2satCp2.s) S 31065 31067 25434 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284880703 9367552 274 33554432000 4194304 5064252 140735045237488 140735045236400 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31067/statm: 2287 274 233 213 0 72 0
[pid=31068] ppid=31067 vsize=150964 CPUtime=9.57 cores=1,3,5,7
/proc/31068/stat : 31068 (wbo2sat) S 31067 31067 25434 0 -1 4202496 9450 10343 0 0 734 135 72 16 20 0 1 0 284880703 154587136 32569 33554432000 4194304 5872148 140734779624320 140734779617592 5123914 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31068/statm: 37741 32569 177 410 0 37323 0
[pid=31073] ppid=31068 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31073/stat : 31073 (satsolver.sh) S 31068 31067 25434 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284881663 9367552 267 33554432000 4194304 5064252 140734125414000 140734125412912 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31073/statm: 2287 267 226 213 0 72 0
[pid=31074] ppid=31073 vsize=119248 CPUtime=3.08 cores=1,3,5,7
/proc/31074/stat : 31074 (glucose_static) R 31073 31067 25434 0 -1 4202496 11962 0 0 0 302 6 0 0 20 0 1 0 284881664 122109952 22468 33554432000 4194304 4896791 140737101399440 140737101396648 4203877 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31074/statm: 29812 22468 77 172 0 29638 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 288508
[startup+25.5005 s]
/proc/loadavg: 1.96 1.98 2.01 3/183 31074
/proc/meminfo: memFree=29820968/32873844 swapFree=7116/7116
[pid=31067] ppid=31065 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31067/stat : 31067 (runWbo2satCp2.s) S 31065 31067 25434 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284880703 9367552 274 33554432000 4194304 5064252 140735045237488 140735045236400 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31067/statm: 2287 274 233 213 0 72 0
[pid=31068] ppid=31067 vsize=150964 CPUtime=9.57 cores=1,3,5,7
/proc/31068/stat : 31068 (wbo2sat) S 31067 31067 25434 0 -1 4202496 9450 10343 0 0 734 135 72 16 20 0 1 0 284880703 154587136 32569 33554432000 4194304 5872148 140734779624320 140734779617592 5123914 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31068/statm: 37741 32569 177 410 0 37323 0
[pid=31073] ppid=31068 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31073/stat : 31073 (satsolver.sh) S 31068 31067 25434 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284881663 9367552 267 33554432000 4194304 5064252 140734125414000 140734125412912 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31073/statm: 2287 267 226 213 0 72 0
[pid=31074] ppid=31073 vsize=124480 CPUtime=15.88 cores=1,3,5,7
/proc/31074/stat : 31074 (glucose_static) R 31073 31067 25434 0 -1 4202496 13258 0 0 0 1582 6 0 0 20 0 1 0 284881664 127467520 23649 33554432000 4194304 4896791 140737101399440 140737101396760 4203064 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31074/statm: 31120 23649 77 172 0 30946 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 293740
############
# WARNING:
# current cumulated CPU time (0 s) is less than in the last sample (40.23 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (40.23 s) to the 'lost time'.
[startup+40.5002 s]
/proc/loadavg: 1.97 1.98 2.01 3/183 31089
/proc/meminfo: memFree=29867564/32873844 swapFree=7116/7116
[pid=31067] ppid=31065 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31067/stat : 31067 (runWbo2satCp2.s) S 31065 31067 25434 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284880703 9367552 274 33554432000 4194304 5064252 140735045237488 140735045236400 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31067/statm: 2287 274 233 213 0 72 0
[pid=31068] ppid=31067 vsize=167684 CPUtime=40.23 cores=1,3,5,7
/proc/31068/stat : 31068 (wbo2sat) S 31067 31067 25434 0 -1 4202496 19067 106723 0 0 770 140 2998 115 20 0 1 0 284880703 171708416 35947 33554432000 4194304 5872148 140734779624320 140734779618088 5123914 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31068/statm: 41921 35947 177 410 0 41503 0
Current children cumulated CPU time (s) 40.23
Current children cumulated vsize (KiB) 176832
[startup+40.6004 s]
/proc/loadavg: 1.97 1.98 2.01 3/181 31091
/proc/meminfo: memFree=29968312/32873844 swapFree=7116/7116
[pid=31067] ppid=-1 vsize=0 CPUtime=0 cores=
/proc/31067/stat : -- couldn't open stat file --/proc/31067/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+31.9073 s]
/proc/loadavg: 1.96 1.98 2.01 3/183 31077
/proc/meminfo: memFree=29818640/32873844 swapFree=7116/7116
[pid=31067] ppid=31065 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31067/stat : 31067 (runWbo2satCp2.s) S 31065 31067 25434 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284880703 9367552 274 33554432000 4194304 5064252 140735045237488 140735045236400 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31067/statm: 2287 274 233 213 0 72 0
[pid=31068] ppid=31067 vsize=151124 CPUtime=25.86 cores=1,3,5,7
/proc/31068/stat : 31068 (wbo2sat) S 31067 31067 25434 0 -1 4202496 11809 25122 0 0 746 136 1670 34 20 0 1 0 284880703 154750976 32570 33554432000 4194304 5872148 140734779624320 140734779617592 5123914 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31068/statm: 37781 32570 177 410 0 37363 0
[pid=31076] ppid=31068 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31076/stat : 31076 (satsolver.sh) S 31068 31067 25434 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284883293 9367552 266 33554432000 4194304 5064252 140734204756256 140734204755168 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31076/statm: 2287 266 226 213 0 72 0
[pid=31077] ppid=31076 vsize=123716 CPUtime=5.99 cores=1,3,5,7
/proc/31077/stat : 31077 (glucose_static) R 31076 31067 25434 0 -1 4202496 13698 0 0 0 594 5 0 0 20 0 1 0 284883293 126685184 23175 33554432000 4194304 4896791 140734923551152 140734923548360 4202698 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31077/statm: 30929 23175 78 172 0 30755 0
Current children cumulated CPU time (s) 31.85
Current children cumulated vsize (KiB) 293136
[startup+35.1004 s]
/proc/loadavg: 1.96 1.98 2.01 3/183 31080
/proc/meminfo: memFree=29861968/32873844 swapFree=7116/7116
[pid=31067] ppid=31065 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31067/stat : 31067 (runWbo2satCp2.s) S 31065 31067 25434 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284880703 9367552 274 33554432000 4194304 5064252 140735045237488 140735045236400 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31067/statm: 2287 274 233 213 0 72 0
[pid=31068] ppid=31067 vsize=167684 CPUtime=34.79 cores=1,3,5,7
/proc/31068/stat : 31068 (wbo2sat) S 31067 31067 25434 0 -1 4202496 14710 40143 0 0 761 139 2527 52 20 0 1 0 284880703 171708416 35947 33554432000 4194304 5872148 140734779624320 140734779617592 5123914 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31068/statm: 41921 35947 177 410 0 41503 0
[pid=31079] ppid=31068 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31079/stat : 31079 (satsolver.sh) S 31068 31067 25434 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 284884185 9367552 267 33554432000 4194304 5064252 140737268798576 140737268797488 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31079/statm: 2287 267 226 213 0 72 0
[pid=31080] ppid=31079 vsize=41144 CPUtime=0.27 cores=1,3,5,7
/proc/31080/stat : 31080 (glucose_static) R 31079 31067 25434 0 -1 4202496 5284 0 0 0 25 2 0 0 20 0 1 0 284884186 42131456 8228 33554432000 4194304 4896791 140734561393584 140737268797512 4229413 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31080/statm: 10286 8228 58 172 0 10112 0
Current children cumulated CPU time (s) 35.06
Current children cumulated vsize (KiB) 227124
[startup+38.3004 s]
/proc/loadavg: 1.96 1.98 2.01 3/183 31083
/proc/meminfo: memFree=29859872/32873844 swapFree=7116/7116
[pid=31067] ppid=31065 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31067/stat : 31067 (runWbo2satCp2.s) S 31065 31067 25434 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284880703 9367552 274 33554432000 4194304 5064252 140735045237488 140735045236400 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31067/statm: 2287 274 233 213 0 72 0
[pid=31068] ppid=31067 vsize=167684 CPUtime=38.14 cores=1,3,5,7
/proc/31068/stat : 31068 (wbo2sat) S 31067 31067 25434 0 -1 4202496 18804 82464 0 0 770 140 2813 91 20 0 1 0 284880703 171708416 35947 33554432000 4194304 5872148 140734779624320 140734779617592 5123914 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31068/statm: 41921 35947 177 410 0 41503 0
Current children cumulated CPU time (s) 38.14
Current children cumulated vsize (KiB) 176832
[startup+39.9005 s]
/proc/loadavg: 1.97 1.98 2.01 3/183 31089
/proc/meminfo: memFree=29867564/32873844 swapFree=7116/7116
[pid=31067] ppid=31065 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31067/stat : 31067 (runWbo2satCp2.s) S 31065 31067 25434 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284880703 9367552 274 33554432000 4194304 5064252 140735045237488 140735045236400 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31067/statm: 2287 274 233 213 0 72 0
[pid=31068] ppid=31067 vsize=167684 CPUtime=39.13 cores=1,3,5,7
/proc/31068/stat : 31068 (wbo2sat) S 31067 31067 25434 0 -1 4202496 19043 95596 0 0 770 140 2895 108 20 0 1 0 284880703 171708416 35947 33554432000 4194304 5872148 140734779624320 140734779617592 5123914 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31068/statm: 41921 35947 177 410 0 41503 0
[pid=31088] ppid=31068 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31088/stat : 31088 (satsolver.sh) S 31068 31067 25434 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 284884621 9367552 267 33554432000 4194304 5064252 140736428689056 140736428687968 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31088/statm: 2287 267 226 213 0 72 0
[pid=31089] ppid=31088 vsize=79240 CPUtime=0.71 cores=1,3,5,7
/proc/31089/stat : 31089 (glucose_static) R 31088 31067 25434 0 -1 4202496 9959 0 0 0 66 5 0 0 20 0 1 0 284884621 81141760 18489 33554432000 4194304 4896791 140736539257472 140736538206264 4225029 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31089/statm: 19810 18489 76 172 0 19636 0
Current children cumulated CPU time (s) 39.84
Current children cumulated vsize (KiB) 265220
[startup+40.3004 s]
/proc/loadavg: 1.97 1.98 2.01 3/183 31089
/proc/meminfo: memFree=29867564/32873844 swapFree=7116/7116
[pid=31067] ppid=31065 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31067/stat : 31067 (runWbo2satCp2.s) S 31065 31067 25434 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284880703 9367552 274 33554432000 4194304 5064252 140735045237488 140735045236400 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31067/statm: 2287 274 233 213 0 72 0
[pid=31068] ppid=31067 vsize=167684 CPUtime=40.23 cores=1,3,5,7
/proc/31068/stat : 31068 (wbo2sat) S 31067 31067 25434 0 -1 4202496 19067 106723 0 0 770 140 2998 115 20 0 1 0 284880703 171708416 35947 33554432000 4194304 5872148 140734779624320 140734779618088 5123914 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31068/statm: 41921 35947 177 410 0 41503 0
Current children cumulated CPU time (s) 40.23
Current children cumulated vsize (KiB) 176832
[startup+40.5002 s]
/proc/loadavg: 1.97 1.98 2.01 3/183 31089
/proc/meminfo: memFree=29867564/32873844 swapFree=7116/7116
[pid=31067] ppid=31065 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31067/stat : 31067 (runWbo2satCp2.s) S 31065 31067 25434 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284880703 9367552 274 33554432000 4194304 5064252 140735045237488 140735045236400 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31067/statm: 2287 274 233 213 0 72 0
[pid=31068] ppid=31067 vsize=167684 CPUtime=40.23 cores=1,3,5,7
/proc/31068/stat : 31068 (wbo2sat) S 31067 31067 25434 0 -1 4202496 19067 106723 0 0 770 140 2998 115 20 0 1 0 284880703 171708416 35947 33554432000 4194304 5872148 140734779624320 140734779618088 5123914 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31068/statm: 41921 35947 177 410 0 41503 0
Current children cumulated CPU time (s) 40.23
Current children cumulated vsize (KiB) 176832
[startup+40.6004 s]
/proc/loadavg: 1.97 1.98 2.01 3/181 31091
/proc/meminfo: memFree=29968312/32873844 swapFree=7116/7116
[pid=31067] ppid=-1 vsize=0 CPUtime=0 cores=
/proc/31067/stat : -- couldn't open stat file --/proc/31067/statm: Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
Child status: 0
# 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): 40.23
# lost CPU user time (s): 37.68
# lost CPU system time (s): 2.55
Real time (s): 40.6073
CPU time (s): 80.6169
CPU user time (s): 75.3673
CPU system time (s): 5.24959
CPU usage (%): 198.528
Max. virtual memory (cumulated for all children) (KiB): 375556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.6873
system time used= 2.69959
maximum resident set size= 177736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127143
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1091064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 85
involuntary context switches= 192
runsolver used 0.084987 second user time and 0.202969 second system time
The end