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-3713553-1338185020/watcher-3713553-1338185020 -o /tmp/evaluation-result-3713553-1338185020/solver-3713553-1338185020 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3713553-1338185020.wbo 1069461571 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.99 1.98 1.99 3/179 26330
/proc/meminfo: memFree=31503168/32873844 swapFree=6872/6872
[pid=26330] ppid=26328 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26330/stat : 26330 (npSolver-wbo.sh) S 26328 26330 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284568978 9367552 274 33554432000 4194304 5064252 140733743767600 140733743766512 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26330/statm: 2287 274 233 213 0 72 0
[startup+0.065727 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 26330
/proc/meminfo: memFree=31503168/32873844 swapFree=6872/6872
[pid=26330] ppid=26328 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26330/stat : 26330 (npSolver-wbo.sh) S 26328 26330 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284568978 9367552 274 33554432000 4194304 5064252 140733743767600 140733743766512 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26330/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100286 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 26330
/proc/meminfo: memFree=31503168/32873844 swapFree=6872/6872
[pid=26330] ppid=26328 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26330/stat : 26330 (npSolver-wbo.sh) S 26328 26330 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284568978 9367552 274 33554432000 4194304 5064252 140733743767600 140733743766512 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26330/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300231 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 26330
/proc/meminfo: memFree=31503168/32873844 swapFree=6872/6872
[pid=26330] ppid=26328 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26330/stat : 26330 (npSolver-wbo.sh) S 26328 26330 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284568978 9367552 274 33554432000 4194304 5064252 140733743767600 140733743766512 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26330/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70019 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 26330
/proc/meminfo: memFree=31503168/32873844 swapFree=6872/6872
[pid=26330] ppid=26328 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26330/stat : 26330 (npSolver-wbo.sh) S 26328 26330 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284568978 9367552 274 33554432000 4194304 5064252 140733743767600 140733743766512 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26330/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 26351
/proc/meminfo: memFree=31486432/32873844 swapFree=6872/6872
[pid=26330] ppid=26328 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26330/stat : 26330 (npSolver-wbo.sh) S 26328 26330 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284568978 9367552 274 33554432000 4194304 5064252 140733743767600 140733743766512 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26330/statm: 2287 274 233 213 0 72 0
[pid=26331] ppid=26330 vsize=5844 CPUtime=1.47 cores=1,3,5,7
/proc/26331/stat : 26331 (npSolver-wbo) S 26330 26330 22152 0 -1 4202496 3582 26565 0 0 10 2 123 12 20 0 1 0 284568978 5984256 915 33554432000 4194304 5990268 140736932594080 140736932585520 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26331/statm: 1461 915 160 439 0 1018 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 14992
[startup+3.10034 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 26365
/proc/meminfo: memFree=31491512/32873844 swapFree=6872/6872
[pid=26330] ppid=26328 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26330/stat : 26330 (npSolver-wbo.sh) S 26328 26330 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284568978 9367552 274 33554432000 4194304 5064252 140733743767600 140733743766512 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26330/statm: 2287 274 233 213 0 72 0
[pid=26331] ppid=26330 vsize=5844 CPUtime=1.47 cores=1,3,5,7
/proc/26331/stat : 26331 (npSolver-wbo) S 26330 26330 22152 0 -1 4202496 3582 26565 0 0 10 2 123 12 20 0 1 0 284568978 5984256 915 33554432000 4194304 5990268 140736932594080 140736932585520 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26331/statm: 1461 915 160 439 0 1018 0
[pid=26364] ppid=26331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26364/stat : 26364 (satsolver.sh) S 26331 26330 22152 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284569128 9367552 265 33554432000 4194304 5064252 140733834752896 140733834751808 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26364/statm: 2287 265 226 213 0 72 0
[pid=26365] ppid=26364 vsize=10268 CPUtime=1.59 cores=1,3,5,7
/proc/26365/stat : 26365 (glucose) R 26364 26330 22152 0 -1 4202496 2460 0 0 0 159 0 0 0 20 0 1 0 284569128 10514432 2140 33554432000 4194304 5208918 140733664168016 140733664165960 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26365/statm: 2567 2140 103 248 0 2316 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 34408
[startup+6.30034 s]
/proc/loadavg: 2.07 2.00 2.00 3/183 26372
/proc/meminfo: memFree=31486552/32873844 swapFree=6872/6872
[pid=26330] ppid=26328 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26330/stat : 26330 (npSolver-wbo.sh) S 26328 26330 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284568978 9367552 274 33554432000 4194304 5064252 140733743767600 140733743766512 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26330/statm: 2287 274 233 213 0 72 0
[pid=26331] ppid=26330 vsize=5844 CPUtime=3.17 cores=1,3,5,7
/proc/26331/stat : 26331 (npSolver-wbo) S 26330 26330 22152 0 -1 4202496 3675 32141 0 0 10 2 291 14 20 0 1 0 284568978 5984256 915 33554432000 4194304 5990268 140736932594080 140736932585520 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26331/statm: 1461 915 160 439 0 1018 0
[pid=26371] ppid=26331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26371/stat : 26371 (satsolver.sh) S 26331 26330 22152 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284569297 9367552 267 33554432000 4194304 5064252 140734157916192 140734157915104 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26371/statm: 2287 267 226 213 0 72 0
[pid=26372] ppid=26371 vsize=9744 CPUtime=3.09 cores=1,3,5,7
/proc/26372/stat : 26372 (glucose) R 26371 26330 22152 0 -1 4202496 2830 0 0 0 309 0 0 0 20 0 1 0 284569298 9977856 2082 33554432000 4194304 5208918 140737473942736 140737473940600 4229728 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26372/statm: 2436 2082 103 248 0 2185 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 33884
[startup+12.7004 s]
/proc/loadavg: 2.07 2.00 2.00 3/183 26386
/proc/meminfo: memFree=31484264/32873844 swapFree=6872/6872
[pid=26330] ppid=26328 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26330/stat : 26330 (npSolver-wbo.sh) S 26328 26330 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284568978 9367552 274 33554432000 4194304 5064252 140733743767600 140733743766512 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26330/statm: 2287 274 233 213 0 72 0
[pid=26331] ppid=26330 vsize=5844 CPUtime=7.56 cores=1,3,5,7
/proc/26331/stat : 26331 (npSolver-wbo) S 26330 26330 22152 0 -1 4202496 3738 38036 0 0 10 2 728 16 20 0 1 0 284568978 5984256 915 33554432000 4194304 5990268 140736932594080 140736932585520 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26331/statm: 1461 915 160 439 0 1018 0
[pid=26385] ppid=26331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26385/stat : 26385 (satsolver.sh) S 26331 26330 22152 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 284569736 9367552 267 33554432000 4194304 5064252 140734756160640 140734756159552 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26385/statm: 2287 267 226 213 0 72 0
[pid=26386] ppid=26385 vsize=12764 CPUtime=5.1 cores=1,3,5,7
/proc/26386/stat : 26386 (glucose) R 26385 26330 22152 0 -1 4202496 3368 0 0 0 510 0 0 0 20 0 1 0 284569736 13070336 2634 33554432000 4194304 5208918 140735151804512 140735151802456 4212457 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26386/statm: 3191 2634 104 248 0 2940 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 36904
[startup+25.5003 s]
/proc/loadavg: 2.05 2.00 2.00 3/183 26485
/proc/meminfo: memFree=31486700/32873844 swapFree=6872/6872
[pid=26330] ppid=26328 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26330/stat : 26330 (npSolver-wbo.sh) S 26328 26330 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284568978 9367552 274 33554432000 4194304 5064252 140733743767600 140733743766512 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26330/statm: 2287 274 233 213 0 72 0
[pid=26331] ppid=26330 vsize=5844 CPUtime=17.52 cores=1,3,5,7
/proc/26331/stat : 26331 (npSolver-wbo) S 26330 26330 22152 0 -1 4202496 3839 46103 0 0 10 2 1722 18 20 0 1 0 284568978 5984256 915 33554432000 4194304 5990268 140736932594080 140736932585520 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26331/statm: 1461 915 160 439 0 1018 0
[pid=26449] ppid=26331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26449/stat : 26449 (satsolver.sh) S 26331 26330 22152 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284570733 9367552 266 33554432000 4194304 5064252 140736015143360 140736015142272 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26449/statm: 2287 266 226 213 0 72 0
[pid=26450] ppid=26449 vsize=12624 CPUtime=7.92 cores=1,3,5,7
/proc/26450/stat : 26450 (glucose) R 26449 26330 22152 0 -1 4202496 3688 0 0 0 792 0 0 0 20 0 1 0 284570734 12926976 2809 33554432000 4194304 5208918 140734500708272 140734500704584 4229748 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26450/statm: 3156 2809 103 248 0 2905 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 36764
Solver just ended. Dumping a history of the last processes samples
[startup+31.9073 s]
/proc/loadavg: 2.05 2.00 2.00 3/183 26499
/proc/meminfo: memFree=31483980/32873844 swapFree=6872/6872
[pid=26330] ppid=26328 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26330/stat : 26330 (npSolver-wbo.sh) S 26328 26330 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284568978 9367552 274 33554432000 4194304 5064252 140733743767600 140733743766512 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26330/statm: 2287 274 233 213 0 72 0
[pid=26331] ppid=26330 vsize=5844 CPUtime=27.21 cores=1,3,5,7
/proc/26331/stat : 26331 (npSolver-wbo) S 26330 26330 22152 0 -1 4202496 3900 52856 0 0 10 3 2688 20 20 0 1 0 284568978 5984256 915 33554432000 4194304 5990268 140736932594080 140736932585520 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26331/statm: 1461 915 160 439 0 1018 0
[pid=26491] ppid=26331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26491/stat : 26491 (satsolver.sh) S 26331 26330 22152 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284571702 9367552 267 33554432000 4194304 5064252 140733241092704 140733241091616 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26491/statm: 2287 267 226 213 0 72 0
[pid=26492] ppid=26491 vsize=14140 CPUtime=4.64 cores=1,3,5,7
/proc/26492/stat : 26492 (glucose) R 26491 26330 22152 0 -1 4202496 3485 0 0 0 464 0 0 0 20 0 1 0 284571702 14479360 3157 33554432000 4194304 5208918 140733744373824 140733744371768 4229307 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26492/statm: 3535 3157 103 248 0 3284 0
Current children cumulated CPU time (s) 31.85
Current children cumulated vsize (KiB) 38280
[startup+35.1004 s]
/proc/loadavg: 2.04 2.00 2.00 3/183 26499
/proc/meminfo: memFree=31479584/32873844 swapFree=6872/6872
[pid=26330] ppid=26328 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26330/stat : 26330 (npSolver-wbo.sh) S 26328 26330 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284568978 9367552 274 33554432000 4194304 5064252 140733743767600 140733743766512 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26330/statm: 2287 274 233 213 0 72 0
[pid=26331] ppid=26330 vsize=5844 CPUtime=27.21 cores=1,3,5,7
/proc/26331/stat : 26331 (npSolver-wbo) S 26330 26330 22152 0 -1 4202496 3900 52856 0 0 10 3 2688 20 20 0 1 0 284568978 5984256 915 33554432000 4194304 5990268 140736932594080 140736932585520 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26331/statm: 1461 915 160 439 0 1018 0
[pid=26491] ppid=26331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26491/stat : 26491 (satsolver.sh) S 26331 26330 22152 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284571702 9367552 267 33554432000 4194304 5064252 140733241092704 140733241091616 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26491/statm: 2287 267 226 213 0 72 0
[pid=26492] ppid=26491 vsize=14140 CPUtime=7.84 cores=1,3,5,7
/proc/26492/stat : 26492 (glucose) R 26491 26330 22152 0 -1 4202496 3485 0 0 0 784 0 0 0 20 0 1 0 284571702 14479360 3157 33554432000 4194304 5208918 140733744373824 140733744370136 4229999 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26492/statm: 3535 3157 103 248 0 3284 0
Current children cumulated CPU time (s) 35.05
Current children cumulated vsize (KiB) 38280
[startup+36.7003 s]
/proc/loadavg: 2.04 2.00 2.00 3/183 26506
/proc/meminfo: memFree=31488272/32873844 swapFree=6872/6872
[pid=26330] ppid=26328 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26330/stat : 26330 (npSolver-wbo.sh) S 26328 26330 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284568978 9367552 274 33554432000 4194304 5064252 140733743767600 140733743766512 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26330/statm: 2287 274 233 213 0 72 0
[pid=26331] ppid=26330 vsize=5844 CPUtime=27.21 cores=1,3,5,7
/proc/26331/stat : 26331 (npSolver-wbo) S 26330 26330 22152 0 -1 4202496 3900 52856 0 0 10 3 2688 20 20 0 1 0 284568978 5984256 915 33554432000 4194304 5990268 140736932594080 140736932585520 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26331/statm: 1461 915 160 439 0 1018 0
[pid=26491] ppid=26331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26491/stat : 26491 (satsolver.sh) S 26331 26330 22152 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284571702 9367552 267 33554432000 4194304 5064252 140733241092704 140733241091616 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26491/statm: 2287 267 226 213 0 72 0
[pid=26492] ppid=26491 vsize=14140 CPUtime=9.44 cores=1,3,5,7
/proc/26492/stat : 26492 (glucose) R 26491 26330 22152 0 -1 4202496 3495 0 0 0 944 0 0 0 20 0 1 0 284571702 14479360 3167 33554432000 4194304 5208918 140733744373824 140733744370136 4211668 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26492/statm: 3535 3167 103 248 0 3284 0
Current children cumulated CPU time (s) 36.65
Current children cumulated vsize (KiB) 38280
[startup+37.1003 s]
/proc/loadavg: 2.04 2.00 2.00 3/183 26506
/proc/meminfo: memFree=31488272/32873844 swapFree=6872/6872
[pid=26330] ppid=26328 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26330/stat : 26330 (npSolver-wbo.sh) S 26328 26330 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284568978 9367552 274 33554432000 4194304 5064252 140733743767600 140733743766512 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26330/statm: 2287 274 233 213 0 72 0
[pid=26331] ppid=26330 vsize=5844 CPUtime=27.21 cores=1,3,5,7
/proc/26331/stat : 26331 (npSolver-wbo) S 26330 26330 22152 0 -1 4202496 3900 52856 0 0 10 3 2688 20 20 0 1 0 284568978 5984256 915 33554432000 4194304 5990268 140736932594080 140736932585520 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26331/statm: 1461 915 160 439 0 1018 0
[pid=26491] ppid=26331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26491/stat : 26491 (satsolver.sh) S 26331 26330 22152 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284571702 9367552 267 33554432000 4194304 5064252 140733241092704 140733241091616 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26491/statm: 2287 267 226 213 0 72 0
[pid=26492] ppid=26491 vsize=14140 CPUtime=9.84 cores=1,3,5,7
/proc/26492/stat : 26492 (glucose) R 26491 26330 22152 0 -1 4202496 3495 0 0 0 984 0 0 0 20 0 1 0 284571702 14479360 3167 33554432000 4194304 5208918 140733744373824 140733744370136 4229528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26492/statm: 3535 3167 103 248 0 3284 0
Current children cumulated CPU time (s) 37.05
Current children cumulated vsize (KiB) 38280
[startup+37.5003 s]
/proc/loadavg: 2.04 2.00 2.00 3/183 26506
/proc/meminfo: memFree=31486040/32873844 swapFree=6872/6872
[pid=26330] ppid=26328 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26330/stat : 26330 (npSolver-wbo.sh) S 26328 26330 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284568978 9367552 274 33554432000 4194304 5064252 140733743767600 140733743766512 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26330/statm: 2287 274 233 213 0 72 0
[pid=26331] ppid=26330 vsize=5844 CPUtime=27.21 cores=1,3,5,7
/proc/26331/stat : 26331 (npSolver-wbo) S 26330 26330 22152 0 -1 4202496 3900 52856 0 0 10 3 2688 20 20 0 1 0 284568978 5984256 915 33554432000 4194304 5990268 140736932594080 140736932585520 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26331/statm: 1461 915 160 439 0 1018 0
[pid=26491] ppid=26331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26491/stat : 26491 (satsolver.sh) S 26331 26330 22152 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284571702 9367552 267 33554432000 4194304 5064252 140733241092704 140733241091616 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26491/statm: 2287 267 226 213 0 72 0
[pid=26492] ppid=26491 vsize=14140 CPUtime=10.24 cores=1,3,5,7
/proc/26492/stat : 26492 (glucose) R 26491 26330 22152 0 -1 4202496 3495 0 0 0 1024 0 0 0 20 0 1 0 284571702 14479360 3167 33554432000 4194304 5208918 140733744373824 140733744370136 4229410 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26492/statm: 3535 3167 103 248 0 3284 0
Current children cumulated CPU time (s) 37.45
Current children cumulated vsize (KiB) 38280
Child status: 0
Real time (s): 37.5531
CPU time (s): 37.5393
CPU user time (s): 37.2793
CPU system time (s): 0.25996
CPU usage (%): 99.9631
Max. virtual memory (cumulated for all children) (KiB): 42304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.2793
system time used= 0.25996
maximum resident set size= 18412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64696
page faults= 0
swaps= 0
block input operations= 0
block output operations= 19776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 271
involuntary context switches= 140
runsolver used 0.091986 second user time and 0.224965 second system time
The end