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-3753754-1339208186/watcher-3753754-1339208186 -o /tmp/evaluation-result-3753754-1339208186/solver-3753754-1339208186 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753754-1339208186.wbo 952324557 HOME HOME
running on 4 cores: 0,2,4,6
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: 4.71 3.55 2.65 2/178 14360
/proc/meminfo: memFree=5572076/32873844 swapFree=7116/7116
[pid=14360] ppid=14358 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14360/stat : 14360 (npSolver-wbo-It) S 14358 14360 14023 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386945585 9367552 275 33554432000 4194304 5064252 140734278598544 140734278597456 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14360/statm: 2287 275 233 213 0 72 0
[startup+0.081668 s]
/proc/loadavg: 4.71 3.55 2.65 2/178 14360
/proc/meminfo: memFree=5572076/32873844 swapFree=7116/7116
[pid=14360] ppid=14358 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14360/stat : 14360 (npSolver-wbo-It) S 14358 14360 14023 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386945585 9367552 275 33554432000 4194304 5064252 140734278598544 140734278597456 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14360/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100239 s]
/proc/loadavg: 4.71 3.55 2.65 2/178 14360
/proc/meminfo: memFree=5572076/32873844 swapFree=7116/7116
[pid=14360] ppid=14358 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14360/stat : 14360 (npSolver-wbo-It) S 14358 14360 14023 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386945585 9367552 275 33554432000 4194304 5064252 140734278598544 140734278597456 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14360/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300266 s]
/proc/loadavg: 4.71 3.55 2.65 2/178 14360
/proc/meminfo: memFree=5572076/32873844 swapFree=7116/7116
[pid=14360] ppid=14358 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14360/stat : 14360 (npSolver-wbo-It) S 14358 14360 14023 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386945585 9367552 275 33554432000 4194304 5064252 140734278598544 140734278597456 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14360/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700261 s]
/proc/loadavg: 4.71 3.55 2.65 2/178 14360
/proc/meminfo: memFree=5572076/32873844 swapFree=7116/7116
[pid=14360] ppid=14358 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14360/stat : 14360 (npSolver-wbo-It) S 14358 14360 14023 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386945585 9367552 275 33554432000 4194304 5064252 140734278598544 140734278597456 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14360/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50035 s]
/proc/loadavg: 4.71 3.55 2.65 1/181 14386
/proc/meminfo: memFree=5568928/32873844 swapFree=7116/7116
[pid=14360] ppid=14358 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14360/stat : 14360 (npSolver-wbo-It) S 14358 14360 14023 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386945585 9367552 275 33554432000 4194304 5064252 140734278598544 140734278597456 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14360/statm: 2287 275 233 213 0 72 0
[pid=14361] ppid=14360 vsize=3028 CPUtime=0.09 cores=0,2,4,6
/proc/14361/stat : 14361 (npSolver-wbo) S 14360 14360 14023 0 -1 4202496 2322 12633 0 0 1 0 4 4 20 0 1 0 386945585 3100672 413 33554432000 4194304 6006132 140733238507472 140733238499440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14361/statm: 757 413 176 443 0 310 0
[pid=14386] ppid=14361 vsize=16712 CPUtime=0 cores=0,2,4,6
/proc/14386/stat : 14386 (cp) D 14361 14360 14023 0 -1 4202496 502 0 0 0 0 0 0 0 20 0 1 0 386945597 17113088 186 33554432000 4194304 4305796 140736956201632 140736956199576 233411789712 0 0 4096 0 18446744071579943789 0 0 17 6 0 0 0 0 0
/proc/14386/statm: 4178 186 154 28 0 74 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28888
[startup+3.10035 s]
/proc/loadavg: 4.71 3.55 2.65 1/181 14386
/proc/meminfo: memFree=5460596/32873844 swapFree=7116/7116
[pid=14360] ppid=14358 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14360/stat : 14360 (npSolver-wbo-It) S 14358 14360 14023 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386945585 9367552 275 33554432000 4194304 5064252 140734278598544 140734278597456 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14360/statm: 2287 275 233 213 0 72 0
[pid=14361] ppid=14360 vsize=3028 CPUtime=0.09 cores=0,2,4,6
/proc/14361/stat : 14361 (npSolver-wbo) S 14360 14360 14023 0 -1 4202496 2322 12633 0 0 1 0 4 4 20 0 1 0 386945585 3100672 413 33554432000 4194304 6006132 140733238507472 140733238499440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14361/statm: 757 413 176 443 0 310 0
[pid=14386] ppid=14361 vsize=16712 CPUtime=0 cores=0,2,4,6
/proc/14386/stat : 14386 (cp) D 14361 14360 14023 0 -1 4202496 502 0 0 0 0 0 0 0 20 0 1 0 386945597 17113088 186 33554432000 4194304 4305796 140736956201632 140736956199576 233411789712 0 0 4096 0 18446744071579943789 0 0 17 6 0 0 0 0 0
/proc/14386/statm: 4178 186 154 28 0 74 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28888
heavy processes:
%CPU=15 pid=14322 uid=0 cmd=
[startup+6.3004 s]
/proc/loadavg: 4.65 3.56 2.66 1/181 14386
/proc/meminfo: memFree=5441376/32873844 swapFree=7116/7116
[pid=14360] ppid=14358 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14360/stat : 14360 (npSolver-wbo-It) S 14358 14360 14023 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386945585 9367552 275 33554432000 4194304 5064252 140734278598544 140734278597456 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14360/statm: 2287 275 233 213 0 72 0
[pid=14361] ppid=14360 vsize=3028 CPUtime=0.1 cores=0,2,4,6
/proc/14361/stat : 14361 (npSolver-wbo) S 14360 14360 14023 0 -1 4202496 2514 13142 0 0 2 0 4 4 20 0 1 0 386945585 3100672 413 33554432000 4194304 6006132 140733238507472 140733238498864 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14361/statm: 757 413 176 443 0 310 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 12176
heavy processes:
%CPU=15 pid=14322 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 14319 6 506 18446744073709551615
############
# WARNING:
# current cumulated CPU time (1.05 s) is less than in the last sample (3.09 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (2.04 s) to the 'lost time'.
[startup+9.30035 s]
/proc/loadavg: 4.60 3.56 2.66 2/182 14423
/proc/meminfo: memFree=5421420/32873844 swapFree=7116/7116
[pid=14360] ppid=14358 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14360/stat : 14360 (npSolver-wbo-It) S 14358 14360 14023 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386945585 9367552 275 33554432000 4194304 5064252 140734278598544 140734278597456 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14360/statm: 2287 275 233 213 0 72 0
[pid=14361] ppid=14360 vsize=3028 CPUtime=1.05 cores=0,2,4,6
/proc/14361/stat : 14361 (npSolver-wbo) S 14360 14360 14023 0 -1 4202496 3540 34316 0 0 4 0 90 11 20 0 1 0 386945585 3100672 447 33554432000 4194304 6006132 140733238507472 140733238498864 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14361/statm: 757 447 178 443 0 310 0
[pid=14422] ppid=14361 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14422/stat : 14422 (satsolver.sh) S 14361 14360 14023 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386946310 9367552 267 33554432000 4194304 5064252 140733706795632 140733706794544 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14422/statm: 2287 267 226 213 0 72 0
[pid=14423] ppid=14422 vsize=7664 CPUtime=2.04 cores=0,2,4,6
/proc/14423/stat : 14423 (glucose) R 14422 14360 14023 0 -1 4202496 1905 0 0 0 204 0 0 0 20 0 1 0 386946310 7847936 1431 33554432000 4194304 5208918 140736878626896 140736878624840 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14423/statm: 1916 1431 96 248 0 1665 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28988
[startup+9.4004 s]
/proc/loadavg: 4.60 3.56 2.66 2/182 14423
/proc/meminfo: memFree=5421420/32873844 swapFree=7116/7116
[pid=14360] ppid=14358 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14360/stat : 14360 (npSolver-wbo-It) S 14358 14360 14023 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386945585 9367552 275 33554432000 4194304 5064252 140734278598544 140734278597456 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14360/statm: 2287 275 233 213 0 72 0
[pid=14361] ppid=14360 vsize=3028 CPUtime=1.05 cores=0,2,4,6
/proc/14361/stat : 14361 (npSolver-wbo) R 14360 14360 14023 0 -1 4202496 3540 34316 0 0 4 0 90 11 20 0 1 0 386945585 3100672 447 33554432000 4194304 6006132 140733238507472 140733238498864 5187998 0 65536 4102 0 0 0 0 17 0 0 0 0 0 0
/proc/14361/statm: 757 447 178 443 0 310 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 12176
#
############
[startup+12.7004 s]
/proc/loadavg: 4.60 3.56 2.66 2/182 14430
/proc/meminfo: memFree=5398028/32873844 swapFree=7116/7116
[pid=14360] ppid=14358 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14360/stat : 14360 (npSolver-wbo-It) S 14358 14360 14023 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386945585 9367552 275 33554432000 4194304 5064252 140734278598544 140734278597456 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14360/statm: 2287 275 233 213 0 72 0
[pid=14361] ppid=14360 vsize=3028 CPUtime=3.23 cores=0,2,4,6
/proc/14361/stat : 14361 (npSolver-wbo) S 14360 14360 14023 0 -1 4202496 3721 39110 0 0 4 0 306 13 20 0 1 0 386945585 3100672 447 33554432000 4194304 6006132 140733238507472 140733238498864 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14361/statm: 757 447 178 443 0 310 0
[pid=14429] ppid=14361 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14429/stat : 14429 (satsolver.sh) S 14361 14360 14023 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386946527 9367552 266 33554432000 4194304 5064252 140735514091184 140735514090096 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14429/statm: 2287 266 226 213 0 72 0
[pid=14430] ppid=14429 vsize=9284 CPUtime=3.27 cores=0,2,4,6
/proc/14430/stat : 14430 (glucose) R 14429 14360 14023 0 -1 4202496 2008 0 0 0 327 0 0 0 20 0 1 0 386946527 9506816 1554 33554432000 4194304 5208918 140736625123088 140736625121032 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14430/statm: 2321 1554 96 248 0 2070 0
Current children cumulated CPU time (s) 6.5
Current children cumulated vsize (KiB) 30608
heavy processes:
%CPU=15 pid=14322 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 14319 6 506 18446744073709551615
Solver just ended. Dumping a history of the last processes samples
[startup+15.9004 s]
/proc/loadavg: 4.55 3.57 2.67 2/182 14437
/proc/meminfo: memFree=5375576/32873844 swapFree=7116/7116
[pid=14360] ppid=14358 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14360/stat : 14360 (npSolver-wbo-It) S 14358 14360 14023 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386945585 9367552 275 33554432000 4194304 5064252 140734278598544 140734278597456 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14360/statm: 2287 275 233 213 0 72 0
[pid=14361] ppid=14360 vsize=3028 CPUtime=7.62 cores=0,2,4,6
/proc/14361/stat : 14361 (npSolver-wbo) S 14360 14360 14023 0 -1 4202496 3898 44604 0 0 4 1 743 14 20 0 1 0 386945585 3100672 447 33554432000 4194304 6006132 140733238507472 140733238498864 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14361/statm: 757 447 178 443 0 310 0
[pid=14436] ppid=14361 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14436/stat : 14436 (satsolver.sh) S 14361 14360 14023 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386946967 9367552 267 33554432000 4194304 5064252 140733193971792 140733193970704 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14436/statm: 2287 267 226 213 0 72 0
[pid=14437] ppid=14436 vsize=7576 CPUtime=2.07 cores=0,2,4,6
/proc/14437/stat : 14437 (glucose) R 14436 14360 14023 0 -1 4202496 1863 0 0 0 207 0 0 0 20 0 1 0 386946967 7757824 1394 33554432000 4194304 5208918 140733402181872 140733402179736 4213121 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14437/statm: 1894 1394 96 248 0 1643 0
Current children cumulated CPU time (s) 9.69
Current children cumulated vsize (KiB) 28900
[startup+19.1004 s]
/proc/loadavg: 4.51 3.58 2.68 2/182 14437
/proc/meminfo: memFree=5336404/32873844 swapFree=7116/7116
[pid=14360] ppid=14358 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14360/stat : 14360 (npSolver-wbo-It) S 14358 14360 14023 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386945585 9367552 275 33554432000 4194304 5064252 140734278598544 140734278597456 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14360/statm: 2287 275 233 213 0 72 0
[pid=14361] ppid=14360 vsize=3028 CPUtime=7.62 cores=0,2,4,6
/proc/14361/stat : 14361 (npSolver-wbo) S 14360 14360 14023 0 -1 4202496 3898 44604 0 0 4 1 743 14 20 0 1 0 386945585 3100672 447 33554432000 4194304 6006132 140733238507472 140733238498864 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14361/statm: 757 447 178 443 0 310 0
[pid=14436] ppid=14361 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14436/stat : 14436 (satsolver.sh) S 14361 14360 14023 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386946967 9367552 267 33554432000 4194304 5064252 140733193971792 140733193970704 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14436/statm: 2287 267 226 213 0 72 0
[pid=14437] ppid=14436 vsize=9860 CPUtime=5.27 cores=0,2,4,6
/proc/14437/stat : 14437 (glucose) R 14436 14360 14023 0 -1 4202496 2315 0 0 0 527 0 0 0 20 0 1 0 386946967 10096640 1835 33554432000 4194304 5208918 140733402181872 140733402179816 4212649 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14437/statm: 2465 1835 96 248 0 2214 0
Current children cumulated CPU time (s) 12.89
Current children cumulated vsize (KiB) 31184
[startup+20.7004 s]
/proc/loadavg: 4.51 3.58 2.68 2/182 14437
/proc/meminfo: memFree=5323532/32873844 swapFree=7116/7116
[pid=14360] ppid=14358 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14360/stat : 14360 (npSolver-wbo-It) S 14358 14360 14023 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386945585 9367552 275 33554432000 4194304 5064252 140734278598544 140734278597456 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14360/statm: 2287 275 233 213 0 72 0
[pid=14361] ppid=14360 vsize=3028 CPUtime=7.62 cores=0,2,4,6
/proc/14361/stat : 14361 (npSolver-wbo) S 14360 14360 14023 0 -1 4202496 3898 44604 0 0 4 1 743 14 20 0 1 0 386945585 3100672 447 33554432000 4194304 6006132 140733238507472 140733238498864 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14361/statm: 757 447 178 443 0 310 0
[pid=14436] ppid=14361 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14436/stat : 14436 (satsolver.sh) S 14361 14360 14023 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386946967 9367552 267 33554432000 4194304 5064252 140733193971792 140733193970704 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14436/statm: 2287 267 226 213 0 72 0
[pid=14437] ppid=14436 vsize=9860 CPUtime=6.87 cores=0,2,4,6
/proc/14437/stat : 14437 (glucose) R 14436 14360 14023 0 -1 4202496 2315 0 0 0 687 0 0 0 20 0 1 0 386946967 10096640 1835 33554432000 4194304 5208918 140733402181872 140733402179816 4229776 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14437/statm: 2465 1835 96 248 0 2214 0
Current children cumulated CPU time (s) 14.49
Current children cumulated vsize (KiB) 31184
[startup+21.5003 s]
/proc/loadavg: 4.51 3.58 2.68 2/182 14437
/proc/meminfo: memFree=5311752/32873844 swapFree=7116/7116
[pid=14360] ppid=14358 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14360/stat : 14360 (npSolver-wbo-It) S 14358 14360 14023 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386945585 9367552 275 33554432000 4194304 5064252 140734278598544 140734278597456 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14360/statm: 2287 275 233 213 0 72 0
[pid=14361] ppid=14360 vsize=3028 CPUtime=7.62 cores=0,2,4,6
/proc/14361/stat : 14361 (npSolver-wbo) S 14360 14360 14023 0 -1 4202496 3898 44604 0 0 4 1 743 14 20 0 1 0 386945585 3100672 447 33554432000 4194304 6006132 140733238507472 140733238498864 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14361/statm: 757 447 178 443 0 310 0
[pid=14436] ppid=14361 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14436/stat : 14436 (satsolver.sh) S 14361 14360 14023 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386946967 9367552 267 33554432000 4194304 5064252 140733193971792 140733193970704 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14436/statm: 2287 267 226 213 0 72 0
[pid=14437] ppid=14436 vsize=9860 CPUtime=7.67 cores=0,2,4,6
/proc/14437/stat : 14437 (glucose) R 14436 14360 14023 0 -1 4202496 2315 0 0 0 767 0 0 0 20 0 1 0 386946967 10096640 1835 33554432000 4194304 5208918 140733402181872 140733402179816 4211648 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14437/statm: 2465 1835 96 248 0 2214 0
Current children cumulated CPU time (s) 15.29
Current children cumulated vsize (KiB) 31184
[startup+21.7006 s]
/proc/loadavg: 4.51 3.58 2.68 2/182 14437
/proc/meminfo: memFree=5311752/32873844 swapFree=7116/7116
[pid=14360] ppid=14358 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14360/stat : 14360 (npSolver-wbo-It) S 14358 14360 14023 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386945585 9367552 275 33554432000 4194304 5064252 140734278598544 140734278597456 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14360/statm: 2287 275 233 213 0 72 0
[pid=14361] ppid=14360 vsize=3028 CPUtime=15.51 cores=0,2,4,6
/proc/14361/stat : 14361 (npSolver-wbo) S 14360 14360 14023 0 -1 4202496 3906 47526 0 0 4 1 1531 15 20 0 1 0 386945585 3100672 447 33554432000 4194304 6006132 140733238507472 140733238498352 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14361/statm: 757 447 178 443 0 310 0
Current children cumulated CPU time (s) 15.51
Current children cumulated vsize (KiB) 12176
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): 2.04
# lost CPU user time (s): 2.04
# lost CPU system time (s): 0
Real time (s): 21.7088
CPU time (s): 17.5756
CPU user time (s): 17.4027
CPU system time (s): 0.172973
CPU usage (%): 80.9609
Max. virtual memory (cumulated for all children) (KiB): 31184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.3627
system time used= 0.172973
maximum resident set size= 29316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55057
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 169
involuntary context switches= 138
runsolver used 0.090986 second user time and 0.218966 second system time
The end