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-3713563-1338184976/watcher-3713563-1338184976 -o /tmp/evaluation-result-3713563-1338184976/solver-3713563-1338184976 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3713563-1338184976.wbo 708477148 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 26090
/proc/meminfo: memFree=31502744/32873844 swapFree=6872/6872
[pid=26090] ppid=26088 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26090/stat : 26090 (npSolver-wbo.sh) S 26088 26090 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284564569 9367552 274 33554432000 4194304 5064252 140733313014864 140733313013776 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26090/statm: 2287 274 233 213 0 72 0
[startup+0.0767091 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 26090
/proc/meminfo: memFree=31502744/32873844 swapFree=6872/6872
[pid=26090] ppid=26088 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26090/stat : 26090 (npSolver-wbo.sh) S 26088 26090 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284564569 9367552 274 33554432000 4194304 5064252 140733313014864 140733313013776 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26090/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100317 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 26090
/proc/meminfo: memFree=31502744/32873844 swapFree=6872/6872
[pid=26090] ppid=26088 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26090/stat : 26090 (npSolver-wbo.sh) S 26088 26090 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284564569 9367552 274 33554432000 4194304 5064252 140733313014864 140733313013776 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26090/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300228 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 26090
/proc/meminfo: memFree=31502744/32873844 swapFree=6872/6872
[pid=26090] ppid=26088 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26090/stat : 26090 (npSolver-wbo.sh) S 26088 26090 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284564569 9367552 274 33554432000 4194304 5064252 140733313014864 140733313013776 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26090/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700193 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 26090
/proc/meminfo: memFree=31502744/32873844 swapFree=6872/6872
[pid=26090] ppid=26088 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26090/stat : 26090 (npSolver-wbo.sh) S 26088 26090 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284564569 9367552 274 33554432000 4194304 5064252 140733313014864 140733313013776 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26090/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50035 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 26125
/proc/meminfo: memFree=31493852/32873844 swapFree=6872/6872
[pid=26090] ppid=26088 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26090/stat : 26090 (npSolver-wbo.sh) S 26088 26090 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284564569 9367552 274 33554432000 4194304 5064252 140733313014864 140733313013776 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26090/statm: 2287 274 233 213 0 72 0
[pid=26091] ppid=26090 vsize=5860 CPUtime=0.93 cores=1,3,5,7
/proc/26091/stat : 26091 (npSolver-wbo) S 26090 26090 22152 0 -1 4202496 3590 21230 0 0 10 3 70 10 20 0 1 0 284564569 6000640 959 33554432000 4194304 5990268 140737093895296 140737093886736 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26091/statm: 1465 959 160 439 0 1022 0
[pid=26124] ppid=26091 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26124/stat : 26124 (satsolver.sh) S 26091 26090 22152 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284564664 9367552 266 33554432000 4194304 5064252 140736235781664 140736235780576 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26124/statm: 2287 266 226 213 0 72 0
[pid=26125] ppid=26124 vsize=11772 CPUtime=0.54 cores=1,3,5,7
/proc/26125/stat : 26125 (glucose) R 26124 26090 22152 0 -1 4202496 1637 0 0 0 54 0 0 0 20 0 1 0 284564664 12054528 2061 33554432000 4194304 5208918 140737380272304 140737380270152 4229504 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26125/statm: 2943 2061 103 248 0 2692 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 35928
[startup+3.10035 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 26132
/proc/meminfo: memFree=31492504/32873844 swapFree=6872/6872
[pid=26090] ppid=26088 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26090/stat : 26090 (npSolver-wbo.sh) S 26088 26090 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284564569 9367552 274 33554432000 4194304 5064252 140733313014864 140733313013776 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26090/statm: 2287 274 233 213 0 72 0
[pid=26091] ppid=26090 vsize=5860 CPUtime=1.67 cores=1,3,5,7
/proc/26091/stat : 26091 (npSolver-wbo) S 26090 26090 22152 0 -1 4202496 3738 26543 0 0 10 3 142 12 20 0 1 0 284564569 6000640 959 33554432000 4194304 5990268 140737093895296 140737093886736 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26091/statm: 1465 959 160 439 0 1022 0
[pid=26131] ppid=26091 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26131/stat : 26131 (satsolver.sh) S 26091 26090 22152 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284564757 9367552 265 33554432000 4194304 5064252 140735337218944 140735337217856 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26131/statm: 2287 265 226 213 0 72 0
[pid=26132] ppid=26131 vsize=9572 CPUtime=1.21 cores=1,3,5,7
/proc/26132/stat : 26132 (glucose) R 26131 26090 22152 0 -1 4202496 2082 0 0 0 121 0 0 0 20 0 1 0 284564757 9801728 1985 33554432000 4194304 5208918 140737222670608 140737222668456 4229483 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26132/statm: 2393 1985 104 248 0 2142 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 33728
[startup+6.30027 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 26146
/proc/meminfo: memFree=31491636/32873844 swapFree=6872/6872
[pid=26090] ppid=26088 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26090/stat : 26090 (npSolver-wbo.sh) S 26088 26090 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284564569 9367552 274 33554432000 4194304 5064252 140733313014864 140733313013776 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26090/statm: 2287 274 233 213 0 72 0
[pid=26091] ppid=26090 vsize=5860 CPUtime=5.8 cores=1,3,5,7
/proc/26091/stat : 26091 (npSolver-wbo) S 26090 26090 22152 0 -1 4202496 3938 38664 0 0 10 3 552 15 20 0 1 0 284564569 6000640 959 33554432000 4194304 5990268 140737093895296 140737093886736 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26091/statm: 1465 959 160 439 0 1022 0
Current children cumulated CPU time (s) 5.8
Current children cumulated vsize (KiB) 15008
[startup+12.7003 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 26167
/proc/meminfo: memFree=31491924/32873844 swapFree=6872/6872
[pid=26090] ppid=26088 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26090/stat : 26090 (npSolver-wbo.sh) S 26088 26090 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284564569 9367552 274 33554432000 4194304 5064252 140733313014864 140733313013776 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26090/statm: 2287 274 233 213 0 72 0
[pid=26091] ppid=26090 vsize=5860 CPUtime=5.8 cores=1,3,5,7
/proc/26091/stat : 26091 (npSolver-wbo) S 26090 26090 22152 0 -1 4202496 3938 38664 0 0 10 3 552 15 20 0 1 0 284564569 6000640 959 33554432000 4194304 5990268 140737093895296 140737093886736 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26091/statm: 1465 959 160 439 0 1022 0
[pid=26152] ppid=26091 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26152/stat : 26152 (satsolver.sh) S 26091 26090 22152 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284565171 9367552 267 33554432000 4194304 5064252 140734961726784 140734961725696 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26152/statm: 2287 267 226 213 0 72 0
[pid=26153] ppid=26152 vsize=12640 CPUtime=6.67 cores=1,3,5,7
/proc/26153/stat : 26153 (glucose) R 26152 26090 22152 0 -1 4202496 2801 0 0 0 667 0 0 0 20 0 1 0 284565171 12943360 2637 33554432000 4194304 5208918 140734030032656 140734030030600 4229738 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26153/statm: 3160 2637 103 248 0 2909 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 36796
[startup+25.5003 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 26259
/proc/meminfo: memFree=31493252/32873844 swapFree=6872/6872
[pid=26090] ppid=26088 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26090/stat : 26090 (npSolver-wbo.sh) S 26088 26090 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284564569 9367552 274 33554432000 4194304 5064252 140733313014864 140733313013776 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26090/statm: 2287 274 233 213 0 72 0
[pid=26091] ppid=26090 vsize=5860 CPUtime=22.4 cores=1,3,5,7
/proc/26091/stat : 26091 (npSolver-wbo) S 26090 26090 22152 0 -1 4202496 4062 52368 0 0 10 3 2208 19 20 0 1 0 284564569 6000640 959 33554432000 4194304 5990268 140737093895296 140737093886736 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26091/statm: 1465 959 160 439 0 1022 0
[pid=26237] ppid=26091 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26237/stat : 26237 (satsolver.sh) S 26091 26090 22152 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284566832 9367552 267 33554432000 4194304 5064252 140735923565824 140735923564736 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26237/statm: 2287 267 226 213 0 72 0
[pid=26238] ppid=26237 vsize=9920 CPUtime=2.86 cores=1,3,5,7
/proc/26238/stat : 26238 (glucose) R 26237 26090 22152 0 -1 4202496 2908 0 0 0 286 0 0 0 20 0 1 0 284566832 10158080 2056 33554432000 4194304 5208918 140734442017520 140734442015464 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26238/statm: 2480 2056 103 248 0 2229 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 34076
Solver just ended. Dumping a history of the last processes samples
[startup+31.9071 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 26266
/proc/meminfo: memFree=31484544/32873844 swapFree=6872/6872
[pid=26090] ppid=26088 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26090/stat : 26090 (npSolver-wbo.sh) S 26088 26090 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284564569 9367552 274 33554432000 4194304 5064252 140733313014864 140733313013776 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26090/statm: 2287 274 233 213 0 72 0
[pid=26091] ppid=26090 vsize=5860 CPUtime=22.4 cores=1,3,5,7
/proc/26091/stat : 26091 (npSolver-wbo) S 26090 26090 22152 0 -1 4202496 4062 52368 0 0 10 3 2208 19 20 0 1 0 284564569 6000640 959 33554432000 4194304 5990268 140737093895296 140737093886736 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26091/statm: 1465 959 160 439 0 1022 0
[pid=26237] ppid=26091 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26237/stat : 26237 (satsolver.sh) S 26091 26090 22152 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284566832 9367552 267 33554432000 4194304 5064252 140735923565824 140735923564736 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26237/statm: 2287 267 226 213 0 72 0
[pid=26238] ppid=26237 vsize=17024 CPUtime=9.26 cores=1,3,5,7
/proc/26238/stat : 26238 (glucose) R 26237 26090 22152 0 -1 4202496 3900 0 0 0 926 0 0 0 20 0 1 0 284566832 17432576 3520 33554432000 4194304 5208918 140734442017520 140734442015464 4229512 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26238/statm: 4256 3520 103 248 0 4005 0
Current children cumulated CPU time (s) 31.66
Current children cumulated vsize (KiB) 41180
[startup+38.3003 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 26280
/proc/meminfo: memFree=31488972/32873844 swapFree=6872/6872
[pid=26090] ppid=26088 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26090/stat : 26090 (npSolver-wbo.sh) S 26088 26090 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284564569 9367552 274 33554432000 4194304 5064252 140733313014864 140733313013776 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26090/statm: 2287 274 233 213 0 72 0
[pid=26091] ppid=26090 vsize=5860 CPUtime=33.3 cores=1,3,5,7
/proc/26091/stat : 26091 (npSolver-wbo) S 26090 26090 22152 0 -1 4202496 4126 59705 0 0 10 3 3296 21 20 0 1 0 284564569 6000640 959 33554432000 4194304 5990268 140737093895296 140737093886736 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26091/statm: 1465 959 160 439 0 1022 0
[pid=26272] ppid=26091 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26272/stat : 26272 (satsolver.sh) S 26091 26090 22152 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284567922 9367552 267 33554432000 4194304 5064252 140735922753040 140735922751952 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26272/statm: 2287 267 226 213 0 72 0
[pid=26273] ppid=26272 vsize=12784 CPUtime=4.75 cores=1,3,5,7
/proc/26273/stat : 26273 (glucose) R 26272 26090 22152 0 -1 4202496 3309 0 0 0 475 0 0 0 20 0 1 0 284567922 13090816 2464 33554432000 4194304 5208918 140733759836608 140733759834456 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26273/statm: 3196 2464 103 248 0 2945 0
Current children cumulated CPU time (s) 38.05
Current children cumulated vsize (KiB) 36940
[startup+41.5003 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 26280
/proc/meminfo: memFree=31484756/32873844 swapFree=6872/6872
[pid=26090] ppid=26088 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26090/stat : 26090 (npSolver-wbo.sh) S 26088 26090 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284564569 9367552 274 33554432000 4194304 5064252 140733313014864 140733313013776 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26090/statm: 2287 274 233 213 0 72 0
[pid=26091] ppid=26090 vsize=5860 CPUtime=33.3 cores=1,3,5,7
/proc/26091/stat : 26091 (npSolver-wbo) S 26090 26090 22152 0 -1 4202496 4126 59705 0 0 10 3 3296 21 20 0 1 0 284564569 6000640 959 33554432000 4194304 5990268 140737093895296 140737093886736 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26091/statm: 1465 959 160 439 0 1022 0
[pid=26272] ppid=26091 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26272/stat : 26272 (satsolver.sh) S 26091 26090 22152 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284567922 9367552 267 33554432000 4194304 5064252 140735922753040 140735922751952 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26272/statm: 2287 267 226 213 0 72 0
[pid=26273] ppid=26272 vsize=13788 CPUtime=7.95 cores=1,3,5,7
/proc/26273/stat : 26273 (glucose) R 26272 26090 22152 0 -1 4202496 3870 0 0 0 795 0 0 0 20 0 1 0 284567922 14118912 2997 33554432000 4194304 5208918 140733759836608 140733759832984 4229344 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26273/statm: 3447 2997 103 248 0 3196 0
Current children cumulated CPU time (s) 41.25
Current children cumulated vsize (KiB) 37944
[startup+43.1004 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 26287
/proc/meminfo: memFree=31486668/32873844 swapFree=6872/6872
[pid=26090] ppid=26088 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26090/stat : 26090 (npSolver-wbo.sh) S 26088 26090 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284564569 9367552 274 33554432000 4194304 5064252 140733313014864 140733313013776 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26090/statm: 2287 274 233 213 0 72 0
[pid=26091] ppid=26090 vsize=5860 CPUtime=33.3 cores=1,3,5,7
/proc/26091/stat : 26091 (npSolver-wbo) S 26090 26090 22152 0 -1 4202496 4126 59705 0 0 10 3 3296 21 20 0 1 0 284564569 6000640 959 33554432000 4194304 5990268 140737093895296 140737093886736 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26091/statm: 1465 959 160 439 0 1022 0
[pid=26272] ppid=26091 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26272/stat : 26272 (satsolver.sh) S 26091 26090 22152 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284567922 9367552 267 33554432000 4194304 5064252 140735922753040 140735922751952 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26272/statm: 2287 267 226 213 0 72 0
[pid=26273] ppid=26272 vsize=11108 CPUtime=9.55 cores=1,3,5,7
/proc/26273/stat : 26273 (glucose) R 26272 26090 22152 0 -1 4202496 4654 0 0 0 955 0 0 0 20 0 1 0 284567922 11374592 2229 33554432000 4194304 5208918 140733759836608 140733759834552 4212508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26273/statm: 2777 2229 103 248 0 2526 0
Current children cumulated CPU time (s) 42.85
Current children cumulated vsize (KiB) 35264
[startup+43.5003 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 26287
/proc/meminfo: memFree=31486668/32873844 swapFree=6872/6872
[pid=26090] ppid=26088 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26090/stat : 26090 (npSolver-wbo.sh) S 26088 26090 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284564569 9367552 274 33554432000 4194304 5064252 140733313014864 140733313013776 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26090/statm: 2287 274 233 213 0 72 0
[pid=26091] ppid=26090 vsize=5860 CPUtime=33.3 cores=1,3,5,7
/proc/26091/stat : 26091 (npSolver-wbo) S 26090 26090 22152 0 -1 4202496 4126 59705 0 0 10 3 3296 21 20 0 1 0 284564569 6000640 959 33554432000 4194304 5990268 140737093895296 140737093886736 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26091/statm: 1465 959 160 439 0 1022 0
[pid=26272] ppid=26091 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26272/stat : 26272 (satsolver.sh) S 26091 26090 22152 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284567922 9367552 267 33554432000 4194304 5064252 140735922753040 140735922751952 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26272/statm: 2287 267 226 213 0 72 0
[pid=26273] ppid=26272 vsize=11108 CPUtime=9.95 cores=1,3,5,7
/proc/26273/stat : 26273 (glucose) R 26272 26090 22152 0 -1 4202496 4791 0 0 0 995 0 0 0 20 0 1 0 284567922 11374592 2361 33554432000 4194304 5208918 140733759836608 140733759834552 4211665 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26273/statm: 2777 2361 103 248 0 2526 0
Current children cumulated CPU time (s) 43.25
Current children cumulated vsize (KiB) 35264
[startup+43.7003 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 26287
/proc/meminfo: memFree=31486668/32873844 swapFree=6872/6872
[pid=26090] ppid=26088 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26090/stat : 26090 (npSolver-wbo.sh) S 26088 26090 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284564569 9367552 274 33554432000 4194304 5064252 140733313014864 140733313013776 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26090/statm: 2287 274 233 213 0 72 0
[pid=26091] ppid=26090 vsize=5860 CPUtime=33.3 cores=1,3,5,7
/proc/26091/stat : 26091 (npSolver-wbo) S 26090 26090 22152 0 -1 4202496 4126 59705 0 0 10 3 3296 21 20 0 1 0 284564569 6000640 959 33554432000 4194304 5990268 140737093895296 140737093886736 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26091/statm: 1465 959 160 439 0 1022 0
[pid=26272] ppid=26091 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26272/stat : 26272 (satsolver.sh) S 26091 26090 22152 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284567922 9367552 267 33554432000 4194304 5064252 140735922753040 140735922751952 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26272/statm: 2287 267 226 213 0 72 0
[pid=26273] ppid=26272 vsize=11108 CPUtime=10.15 cores=1,3,5,7
/proc/26273/stat : 26273 (glucose) R 26272 26090 22152 0 -1 4202496 4834 0 0 0 1015 0 0 0 20 0 1 0 284567922 11374592 2403 33554432000 4194304 5208918 140733759836608 140733759834552 4231456 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26273/statm: 2777 2403 103 248 0 2526 0
Current children cumulated CPU time (s) 43.45
Current children cumulated vsize (KiB) 35264
[startup+43.8003 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 26287
/proc/meminfo: memFree=31486668/32873844 swapFree=6872/6872
[pid=26090] ppid=26088 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26090/stat : 26090 (npSolver-wbo.sh) S 26088 26090 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284564569 9367552 274 33554432000 4194304 5064252 140733313014864 140733313013776 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26090/statm: 2287 274 233 213 0 72 0
[pid=26091] ppid=26090 vsize=5860 CPUtime=33.3 cores=1,3,5,7
/proc/26091/stat : 26091 (npSolver-wbo) S 26090 26090 22152 0 -1 4202496 4126 59705 0 0 10 3 3296 21 20 0 1 0 284564569 6000640 959 33554432000 4194304 5990268 140737093895296 140737093886736 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26091/statm: 1465 959 160 439 0 1022 0
[pid=26272] ppid=26091 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26272/stat : 26272 (satsolver.sh) S 26091 26090 22152 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284567922 9367552 267 33554432000 4194304 5064252 140735922753040 140735922751952 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26272/statm: 2287 267 226 213 0 72 0
[pid=26273] ppid=26272 vsize=11108 CPUtime=10.25 cores=1,3,5,7
/proc/26273/stat : 26273 (glucose) R 26272 26090 22152 0 -1 4202496 4852 0 0 0 1025 0 0 0 20 0 1 0 284567922 11374592 2419 33554432000 4194304 5208918 140733759836608 140733759834552 4229344 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26273/statm: 2777 2419 103 248 0 2526 0
Current children cumulated CPU time (s) 43.55
Current children cumulated vsize (KiB) 35264
Child status: 0
Real time (s): 43.8363
CPU time (s): 43.6294
CPU user time (s): 43.3574
CPU system time (s): 0.271958
CPU usage (%): 99.528
Max. virtual memory (cumulated for all children) (KiB): 42296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.3574
system time used= 0.271958
maximum resident set size= 17808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73129
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 290
involuntary context switches= 158
runsolver used 0.087986 second user time and 0.209968 second system time
The end