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-3713558-1338184809/watcher-3713558-1338184809 -o /tmp/evaluation-result-3713558-1338184809/solver-3713558-1338184809 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3713558-1338184809.wbo 1326728620 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.95 1.98 1.99 3/180 30668
/proc/meminfo: memFree=29092744/32873648 swapFree=7116/7116
[pid=30668] ppid=30666 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30668/stat : 30668 (npSolver-wbo.sh) S 30666 30668 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284608271 9367552 275 33554432000 4194304 5064252 140734371936400 140734371935312 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30668/statm: 2287 275 233 213 0 72 0
[startup+0.019343 s]
/proc/loadavg: 1.95 1.98 1.99 3/180 30668
/proc/meminfo: memFree=29092744/32873648 swapFree=7116/7116
[pid=30668] ppid=30666 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30668/stat : 30668 (npSolver-wbo.sh) S 30666 30668 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284608271 9367552 275 33554432000 4194304 5064252 140734371936400 140734371935312 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30668/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100262 s]
/proc/loadavg: 1.95 1.98 1.99 3/180 30668
/proc/meminfo: memFree=29092744/32873648 swapFree=7116/7116
[pid=30668] ppid=30666 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30668/stat : 30668 (npSolver-wbo.sh) S 30666 30668 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284608271 9367552 275 33554432000 4194304 5064252 140734371936400 140734371935312 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30668/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300126 s]
/proc/loadavg: 1.95 1.98 1.99 3/180 30668
/proc/meminfo: memFree=29092744/32873648 swapFree=7116/7116
[pid=30668] ppid=30666 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30668/stat : 30668 (npSolver-wbo.sh) S 30666 30668 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284608271 9367552 275 33554432000 4194304 5064252 140734371936400 140734371935312 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30668/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700241 s]
/proc/loadavg: 1.95 1.98 1.99 3/180 30668
/proc/meminfo: memFree=29092744/32873648 swapFree=7116/7116
[pid=30668] ppid=30666 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30668/stat : 30668 (npSolver-wbo.sh) S 30666 30668 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284608271 9367552 275 33554432000 4194304 5064252 140734371936400 140734371935312 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30668/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 1.95 1.98 1.99 3/184 30696
/proc/meminfo: memFree=29079552/32873648 swapFree=7116/7116
[pid=30668] ppid=30666 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30668/stat : 30668 (npSolver-wbo.sh) S 30666 30668 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284608271 9367552 275 33554432000 4194304 5064252 140734371936400 140734371935312 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30668/statm: 2287 275 233 213 0 72 0
[pid=30669] ppid=30668 vsize=7416 CPUtime=1.21 cores=1,3,5,7
/proc/30669/stat : 30669 (npSolver-wbo) S 30668 30668 26029 0 -1 4202496 4557 28057 0 0 11 3 94 13 20 0 1 0 284608271 7593984 1254 33554432000 4194304 5990268 140735931764752 140735931756192 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30669/statm: 1854 1254 160 439 0 1411 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 16564
[startup+3.10034 s]
/proc/loadavg: 1.95 1.98 1.99 3/184 30710
/proc/meminfo: memFree=29083240/32873648 swapFree=7116/7116
[pid=30668] ppid=30666 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30668/stat : 30668 (npSolver-wbo.sh) S 30666 30668 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284608271 9367552 275 33554432000 4194304 5064252 140734371936400 140734371935312 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30668/statm: 2287 275 233 213 0 72 0
[pid=30669] ppid=30668 vsize=7416 CPUtime=1.74 cores=1,3,5,7
/proc/30669/stat : 30669 (npSolver-wbo) S 30668 30668 26029 0 -1 4202496 4673 32943 0 0 11 3 145 15 20 0 1 0 284608271 7593984 1254 33554432000 4194304 5990268 140735931764752 140735931756192 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30669/statm: 1854 1254 160 439 0 1411 0
[pid=30709] ppid=30669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30709/stat : 30709 (satsolver.sh) S 30669 30668 26029 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284608446 9367552 267 33554432000 4194304 5064252 140734380466304 140734380465216 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30709/statm: 2287 267 226 213 0 72 0
[pid=30710] ppid=30709 vsize=10148 CPUtime=1.34 cores=1,3,5,7
/proc/30710/stat : 30710 (glucose) R 30709 30668 26029 0 -1 4202496 2646 0 0 0 134 0 0 0 20 0 1 0 284608446 10391552 1848 33554432000 4194304 5208918 140737083967040 140737083964984 4229344 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30710/statm: 2537 1849 102 248 0 2286 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 35860
[startup+6.30034 s]
/proc/loadavg: 1.95 1.98 1.99 3/184 30717
/proc/meminfo: memFree=29079024/32873648 swapFree=7116/7116
[pid=30668] ppid=30666 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30668/stat : 30668 (npSolver-wbo.sh) S 30666 30668 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284608271 9367552 275 33554432000 4194304 5064252 140734371936400 140734371935312 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30668/statm: 2287 275 233 213 0 72 0
[pid=30669] ppid=30668 vsize=7416 CPUtime=3.98 cores=1,3,5,7
/proc/30669/stat : 30669 (npSolver-wbo) S 30668 30668 26029 0 -1 4202496 4769 39439 0 0 11 3 368 16 20 0 1 0 284608271 7593984 1254 33554432000 4194304 5990268 140735931764752 140735931756192 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30669/statm: 1854 1254 160 439 0 1411 0
[pid=30716] ppid=30669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30716/stat : 30716 (satsolver.sh) S 30669 30668 26029 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284608670 9367552 266 33554432000 4194304 5064252 140734638390016 140734638388928 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30716/statm: 2287 266 226 213 0 72 0
[pid=30717] ppid=30716 vsize=9956 CPUtime=2.3 cores=1,3,5,7
/proc/30717/stat : 30717 (glucose) R 30716 30668 26029 0 -1 4202496 2841 0 0 0 230 0 0 0 20 0 1 0 284608670 10194944 2047 33554432000 4194304 5208918 140733206030384 140733206028232 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30717/statm: 2489 2047 102 248 0 2238 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 35668
[startup+12.7003 s]
/proc/loadavg: 1.96 1.98 1.99 3/184 30724
/proc/meminfo: memFree=29077320/32873648 swapFree=7116/7116
[pid=30668] ppid=30666 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30668/stat : 30668 (npSolver-wbo.sh) S 30666 30668 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284608271 9367552 275 33554432000 4194304 5064252 140734371936400 140734371935312 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30668/statm: 2287 275 233 213 0 72 0
[pid=30669] ppid=30668 vsize=7416 CPUtime=8.23 cores=1,3,5,7
/proc/30669/stat : 30669 (npSolver-wbo) S 30668 30668 26029 0 -1 4202496 4858 45447 0 0 11 3 792 17 20 0 1 0 284608271 7593984 1254 33554432000 4194304 5990268 140735931764752 140735931756192 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30669/statm: 1854 1254 160 439 0 1411 0
[pid=30723] ppid=30669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30723/stat : 30723 (satsolver.sh) S 30669 30668 26029 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 284609100 9367552 267 33554432000 4194304 5064252 140734362711424 140734362710336 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30723/statm: 2287 267 226 213 0 72 0
[pid=30724] ppid=30723 vsize=11460 CPUtime=4.39 cores=1,3,5,7
/proc/30724/stat : 30724 (glucose) R 30723 30668 26029 0 -1 4202496 2490 0 0 0 439 0 0 0 20 0 1 0 284609100 11735040 1959 33554432000 4194304 5208918 140733570975392 140733570973336 4229296 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30724/statm: 2865 1959 103 248 0 2614 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 37172
[startup+25.5003 s]
/proc/loadavg: 2.04 2.00 2.00 3/184 30739
/proc/meminfo: memFree=29071864/32873648 swapFree=7116/7116
[pid=30668] ppid=30666 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30668/stat : 30668 (npSolver-wbo.sh) S 30666 30668 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284608271 9367552 275 33554432000 4194304 5064252 140734371936400 140734371935312 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30668/statm: 2287 275 233 213 0 72 0
[pid=30669] ppid=30668 vsize=7416 CPUtime=23.54 cores=1,3,5,7
/proc/30669/stat : 30669 (npSolver-wbo) S 30668 30668 26029 0 -1 4202496 4966 58597 0 0 11 3 2320 20 20 0 1 0 284608271 7593984 1254 33554432000 4194304 5990268 140735931764752 140735931756192 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30669/statm: 1854 1254 160 439 0 1411 0
[pid=30738] ppid=30669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30738/stat : 30738 (satsolver.sh) S 30669 30668 26029 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 284610632 9367552 267 33554432000 4194304 5064252 140734801118384 140734801117296 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30738/statm: 2287 267 226 213 0 72 0
[pid=30739] ppid=30738 vsize=9912 CPUtime=1.88 cores=1,3,5,7
/proc/30739/stat : 30739 (glucose) R 30738 30668 26029 0 -1 4202496 2783 0 0 0 188 0 0 0 20 0 1 0 284610632 10149888 1968 33554432000 4194304 5208918 140735780193904 140735780191848 4229338 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30739/statm: 2478 1968 102 248 0 2227 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 35624
Solver just ended. Dumping a history of the last processes samples
[startup+28.7004 s]
/proc/loadavg: 2.04 2.00 2.00 3/184 30739
/proc/meminfo: memFree=29068576/32873648 swapFree=7116/7116
[pid=30668] ppid=30666 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30668/stat : 30668 (npSolver-wbo.sh) S 30666 30668 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284608271 9367552 275 33554432000 4194304 5064252 140734371936400 140734371935312 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30668/statm: 2287 275 233 213 0 72 0
[pid=30669] ppid=30668 vsize=7416 CPUtime=23.54 cores=1,3,5,7
/proc/30669/stat : 30669 (npSolver-wbo) S 30668 30668 26029 0 -1 4202496 4966 58597 0 0 11 3 2320 20 20 0 1 0 284608271 7593984 1254 33554432000 4194304 5990268 140735931764752 140735931756192 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30669/statm: 1854 1254 160 439 0 1411 0
[pid=30738] ppid=30669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30738/stat : 30738 (satsolver.sh) S 30669 30668 26029 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 284610632 9367552 267 33554432000 4194304 5064252 140734801118384 140734801117296 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30738/statm: 2287 267 226 213 0 72 0
[pid=30739] ppid=30738 vsize=12756 CPUtime=5.08 cores=1,3,5,7
/proc/30739/stat : 30739 (glucose) R 30738 30668 26029 0 -1 4202496 3047 0 0 0 508 0 0 0 20 0 1 0 284610632 13062144 2724 33554432000 4194304 5208918 140735780193904 140735780191848 4228930 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30739/statm: 3189 2724 103 248 0 2938 0
Current children cumulated CPU time (s) 28.62
Current children cumulated vsize (KiB) 38468
[startup+30.3003 s]
/proc/loadavg: 2.04 2.00 2.00 3/184 30739
/proc/meminfo: memFree=29068328/32873648 swapFree=7116/7116
[pid=30668] ppid=30666 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30668/stat : 30668 (npSolver-wbo.sh) S 30666 30668 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284608271 9367552 275 33554432000 4194304 5064252 140734371936400 140734371935312 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30668/statm: 2287 275 233 213 0 72 0
[pid=30669] ppid=30668 vsize=7416 CPUtime=23.54 cores=1,3,5,7
/proc/30669/stat : 30669 (npSolver-wbo) S 30668 30668 26029 0 -1 4202496 4966 58597 0 0 11 3 2320 20 20 0 1 0 284608271 7593984 1254 33554432000 4194304 5990268 140735931764752 140735931756192 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30669/statm: 1854 1254 160 439 0 1411 0
[pid=30738] ppid=30669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30738/stat : 30738 (satsolver.sh) S 30669 30668 26029 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 284610632 9367552 267 33554432000 4194304 5064252 140734801118384 140734801117296 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30738/statm: 2287 267 226 213 0 72 0
[pid=30739] ppid=30738 vsize=12756 CPUtime=6.68 cores=1,3,5,7
/proc/30739/stat : 30739 (glucose) R 30738 30668 26029 0 -1 4202496 3047 0 0 0 668 0 0 0 20 0 1 0 284610632 13062144 2724 33554432000 4194304 5208918 140735780193904 140735780191848 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30739/statm: 3189 2724 103 248 0 2938 0
Current children cumulated CPU time (s) 30.22
Current children cumulated vsize (KiB) 38468
[startup+31.1003 s]
/proc/loadavg: 2.04 2.00 2.00 3/184 30739
/proc/meminfo: memFree=29066468/32873648 swapFree=7116/7116
[pid=30668] ppid=30666 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30668/stat : 30668 (npSolver-wbo.sh) S 30666 30668 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284608271 9367552 275 33554432000 4194304 5064252 140734371936400 140734371935312 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30668/statm: 2287 275 233 213 0 72 0
[pid=30669] ppid=30668 vsize=7416 CPUtime=23.54 cores=1,3,5,7
/proc/30669/stat : 30669 (npSolver-wbo) S 30668 30668 26029 0 -1 4202496 4966 58597 0 0 11 3 2320 20 20 0 1 0 284608271 7593984 1254 33554432000 4194304 5990268 140735931764752 140735931756192 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30669/statm: 1854 1254 160 439 0 1411 0
[pid=30738] ppid=30669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30738/stat : 30738 (satsolver.sh) S 30669 30668 26029 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 284610632 9367552 267 33554432000 4194304 5064252 140734801118384 140734801117296 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30738/statm: 2287 267 226 213 0 72 0
[pid=30739] ppid=30738 vsize=15432 CPUtime=7.47 cores=1,3,5,7
/proc/30739/stat : 30739 (glucose) R 30738 30668 26029 0 -1 4202496 3721 0 0 0 747 0 0 0 20 0 1 0 284610632 15802368 3354 33554432000 4194304 5208918 140735780193904 140735780191768 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30739/statm: 3858 3354 103 248 0 3607 0
Current children cumulated CPU time (s) 31.01
Current children cumulated vsize (KiB) 41144
[startup+31.9066 s]
/proc/loadavg: 2.03 2.00 2.00 3/184 30739
/proc/meminfo: memFree=29065848/32873648 swapFree=7116/7116
[pid=30668] ppid=30666 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30668/stat : 30668 (npSolver-wbo.sh) S 30666 30668 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284608271 9367552 275 33554432000 4194304 5064252 140734371936400 140734371935312 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30668/statm: 2287 275 233 213 0 72 0
[pid=30669] ppid=30668 vsize=7416 CPUtime=23.54 cores=1,3,5,7
/proc/30669/stat : 30669 (npSolver-wbo) S 30668 30668 26029 0 -1 4202496 4966 58597 0 0 11 3 2320 20 20 0 1 0 284608271 7593984 1254 33554432000 4194304 5990268 140735931764752 140735931756192 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30669/statm: 1854 1254 160 439 0 1411 0
[pid=30738] ppid=30669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30738/stat : 30738 (satsolver.sh) S 30669 30668 26029 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 284610632 9367552 267 33554432000 4194304 5064252 140734801118384 140734801117296 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30738/statm: 2287 267 226 213 0 72 0
[pid=30739] ppid=30738 vsize=15432 CPUtime=8.28 cores=1,3,5,7
/proc/30739/stat : 30739 (glucose) R 30738 30668 26029 0 -1 4202496 3739 0 0 0 828 0 0 0 20 0 1 0 284610632 15802368 3371 33554432000 4194304 5208918 140735780193904 140735780191768 4229843 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30739/statm: 3858 3371 103 248 0 3607 0
Current children cumulated CPU time (s) 31.82
Current children cumulated vsize (KiB) 41144
[startup+32.3003 s]
/proc/loadavg: 2.03 2.00 2.00 3/184 30739
/proc/meminfo: memFree=29065848/32873648 swapFree=7116/7116
[pid=30668] ppid=30666 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30668/stat : 30668 (npSolver-wbo.sh) S 30666 30668 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284608271 9367552 275 33554432000 4194304 5064252 140734371936400 140734371935312 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30668/statm: 2287 275 233 213 0 72 0
[pid=30669] ppid=30668 vsize=7416 CPUtime=23.54 cores=1,3,5,7
/proc/30669/stat : 30669 (npSolver-wbo) S 30668 30668 26029 0 -1 4202496 4966 58597 0 0 11 3 2320 20 20 0 1 0 284608271 7593984 1254 33554432000 4194304 5990268 140735931764752 140735931756192 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30669/statm: 1854 1254 160 439 0 1411 0
[pid=30738] ppid=30669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30738/stat : 30738 (satsolver.sh) S 30669 30668 26029 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 284610632 9367552 267 33554432000 4194304 5064252 140734801118384 140734801117296 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30738/statm: 2287 267 226 213 0 72 0
[pid=30739] ppid=30738 vsize=15432 CPUtime=8.67 cores=1,3,5,7
/proc/30739/stat : 30739 (glucose) R 30738 30668 26029 0 -1 4202496 3739 0 0 0 867 0 0 0 20 0 1 0 284610632 15802368 3371 33554432000 4194304 5208918 140735780193904 140735780190280 4229717 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30739/statm: 3858 3371 103 248 0 3607 0
Current children cumulated CPU time (s) 32.21
Current children cumulated vsize (KiB) 41144
[startup+32.4003 s]
/proc/loadavg: 2.03 2.00 2.00 3/184 30739
/proc/meminfo: memFree=29065848/32873648 swapFree=7116/7116
[pid=30668] ppid=30666 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30668/stat : 30668 (npSolver-wbo.sh) S 30666 30668 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284608271 9367552 275 33554432000 4194304 5064252 140734371936400 140734371935312 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30668/statm: 2287 275 233 213 0 72 0
[pid=30669] ppid=30668 vsize=7416 CPUtime=23.54 cores=1,3,5,7
/proc/30669/stat : 30669 (npSolver-wbo) S 30668 30668 26029 0 -1 4202496 4966 58597 0 0 11 3 2320 20 20 0 1 0 284608271 7593984 1254 33554432000 4194304 5990268 140735931764752 140735931756192 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30669/statm: 1854 1254 160 439 0 1411 0
[pid=30738] ppid=30669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30738/stat : 30738 (satsolver.sh) S 30669 30668 26029 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 284610632 9367552 267 33554432000 4194304 5064252 140734801118384 140734801117296 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30738/statm: 2287 267 226 213 0 72 0
[pid=30739] ppid=30738 vsize=15432 CPUtime=8.77 cores=1,3,5,7
/proc/30739/stat : 30739 (glucose) R 30738 30668 26029 0 -1 4202496 3739 0 0 0 877 0 0 0 20 0 1 0 284610632 15802368 3371 33554432000 4194304 5208918 140735780193904 140735780190280 4212115 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30739/statm: 3858 3371 103 248 0 3607 0
Current children cumulated CPU time (s) 32.31
Current children cumulated vsize (KiB) 41144
Child status: 0
Real time (s): 32.4304
CPU time (s): 32.3821
CPU user time (s): 32.1231
CPU system time (s): 0.25896
CPU usage (%): 99.8509
Max. virtual memory (cumulated for all children) (KiB): 41144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.1231
system time used= 0.25896
maximum resident set size= 20544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71236
page faults= 0
swaps= 0
block input operations= 0
block output operations= 22400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 333
involuntary context switches= 146
runsolver used 0.052991 second user time and 0.203968 second system time
The end