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-3714923-1338187369/watcher-3714923-1338187369 -o /tmp/evaluation-result-3714923-1338187369/solver-3714923-1338187369 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3714923-1338187369.wbo 821597295 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: 2.00 2.00 2.00 3/179 14247
/proc/meminfo: memFree=27848768/32873648 swapFree=6864/6864
[pid=14247] ppid=14245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14247/stat : 14247 (npSolver-wbo-It) S 14245 14247 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284862858 9367552 275 33554432000 4194304 5064252 140735099728416 140735099727328 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14247/statm: 2287 275 233 213 0 72 0
[startup+0.104181 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14247
/proc/meminfo: memFree=27848768/32873648 swapFree=6864/6864
[pid=14247] ppid=14245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14247/stat : 14247 (npSolver-wbo-It) S 14245 14247 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284862858 9367552 275 33554432000 4194304 5064252 140735099728416 140735099727328 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14247/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200241 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14247
/proc/meminfo: memFree=27848768/32873648 swapFree=6864/6864
[pid=14247] ppid=14245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14247/stat : 14247 (npSolver-wbo-It) S 14245 14247 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284862858 9367552 275 33554432000 4194304 5064252 140735099728416 140735099727328 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14247/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300248 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14247
/proc/meminfo: memFree=27848768/32873648 swapFree=6864/6864
[pid=14247] ppid=14245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14247/stat : 14247 (npSolver-wbo-It) S 14245 14247 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284862858 9367552 275 33554432000 4194304 5064252 140735099728416 140735099727328 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14247/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700181 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14247
/proc/meminfo: memFree=27848768/32873648 swapFree=6864/6864
[pid=14247] ppid=14245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14247/stat : 14247 (npSolver-wbo-It) S 14245 14247 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284862858 9367552 275 33554432000 4194304 5064252 140735099728416 140735099727328 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14247/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14261
/proc/meminfo: memFree=27817916/32873648 swapFree=6864/6864
[pid=14247] ppid=14245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14247/stat : 14247 (npSolver-wbo-It) S 14245 14247 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284862858 9367552 275 33554432000 4194304 5064252 140735099728416 140735099727328 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14247/statm: 2287 275 233 213 0 72 0
[pid=14248] ppid=14247 vsize=11816 CPUtime=0.23 cores=0,2,4,6
/proc/14248/stat : 14248 (npSolver-wbo) S 14247 14247 8283 0 -1 4202496 3228 5764 0 0 11 2 8 2 20 0 1 0 284862858 12099584 2279 33554432000 4194304 5990268 140736713972192 140736713963616 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14248/statm: 2954 2279 166 439 0 2511 0
[pid=14260] ppid=14248 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14260/stat : 14260 (satsolver.sh) S 14248 14247 8283 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284862883 9367552 266 33554432000 4194304 5064252 140733270679200 140733270678112 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14260/statm: 2287 266 226 213 0 72 0
[pid=14261] ppid=14260 vsize=19316 CPUtime=1.24 cores=0,2,4,6
/proc/14261/stat : 14261 (glucose) R 14260 14247 8283 0 -1 4202496 4596 0 0 0 123 1 0 0 20 0 1 0 284862883 19779584 4144 33554432000 4194304 5208918 140736321807776 140736321805736 4205755 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14261/statm: 4829 4144 104 248 0 4578 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 49428
[startup+3.10035 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14261
/proc/meminfo: memFree=27816544/32873648 swapFree=6864/6864
[pid=14247] ppid=14245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14247/stat : 14247 (npSolver-wbo-It) S 14245 14247 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284862858 9367552 275 33554432000 4194304 5064252 140735099728416 140735099727328 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14247/statm: 2287 275 233 213 0 72 0
[pid=14248] ppid=14247 vsize=11816 CPUtime=0.23 cores=0,2,4,6
/proc/14248/stat : 14248 (npSolver-wbo) S 14247 14247 8283 0 -1 4202496 3228 5764 0 0 11 2 8 2 20 0 1 0 284862858 12099584 2279 33554432000 4194304 5990268 140736713972192 140736713963616 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14248/statm: 2954 2279 166 439 0 2511 0
[pid=14260] ppid=14248 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14260/stat : 14260 (satsolver.sh) S 14248 14247 8283 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284862883 9367552 266 33554432000 4194304 5064252 140733270679200 140733270678112 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14260/statm: 2287 266 226 213 0 72 0
[pid=14261] ppid=14260 vsize=19752 CPUtime=2.84 cores=0,2,4,6
/proc/14261/stat : 14261 (glucose) R 14260 14247 8283 0 -1 4202496 4767 0 0 0 283 1 0 0 20 0 1 0 284862883 20226048 4309 33554432000 4194304 5208918 140736321807776 140736321805624 4231508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14261/statm: 4938 4309 104 248 0 4687 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 49864
[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14261
/proc/meminfo: memFree=27812140/32873648 swapFree=6864/6864
[pid=14247] ppid=14245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14247/stat : 14247 (npSolver-wbo-It) S 14245 14247 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284862858 9367552 275 33554432000 4194304 5064252 140735099728416 140735099727328 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14247/statm: 2287 275 233 213 0 72 0
[pid=14248] ppid=14247 vsize=20004 CPUtime=5.81 cores=0,2,4,6
/proc/14248/stat : 14248 (npSolver-wbo) S 14247 14247 8283 0 -1 4202496 5554 14046 0 0 19 3 554 5 20 0 1 0 284862858 20484096 4067 33554432000 4194304 5990268 140736713972192 140736713963616 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14248/statm: 5001 4067 166 439 0 4558 0
Current children cumulated CPU time (s) 5.81
Current children cumulated vsize (KiB) 29152
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14275
/proc/meminfo: memFree=27804320/32873648 swapFree=6864/6864
[pid=14247] ppid=14245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14247/stat : 14247 (npSolver-wbo-It) S 14245 14247 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284862858 9367552 275 33554432000 4194304 5064252 140735099728416 140735099727328 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14247/statm: 2287 275 233 213 0 72 0
[pid=14248] ppid=14247 vsize=20004 CPUtime=11.63 cores=0,2,4,6
/proc/14248/stat : 14248 (npSolver-wbo) S 14247 14247 8283 0 -1 4202496 7881 21562 0 0 27 4 1124 8 20 0 1 0 284862858 20484096 4067 33554432000 4194304 5990268 140736713972192 140736713963616 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14248/statm: 5001 4067 166 439 0 4558 0
[pid=14274] ppid=14248 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14274/stat : 14274 (satsolver.sh) S 14248 14247 8283 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284864024 9367552 267 33554432000 4194304 5064252 140733843883472 140733843882384 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14274/statm: 2287 267 226 213 0 72 0
[pid=14275] ppid=14274 vsize=19160 CPUtime=1.03 cores=0,2,4,6
/proc/14275/stat : 14275 (glucose) R 14274 14247 8283 0 -1 4202496 4469 0 0 0 103 0 0 0 20 0 1 0 284864025 19619840 4067 33554432000 4194304 5208918 140733795456992 140733795454952 4228952 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14275/statm: 4790 4067 104 248 0 4539 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 57460
[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14341
/proc/meminfo: memFree=27990184/32873648 swapFree=6864/6864
[pid=14247] ppid=14245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14247/stat : 14247 (npSolver-wbo-It) S 14245 14247 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284862858 9367552 275 33554432000 4194304 5064252 140735099728416 140735099727328 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14247/statm: 2287 275 233 213 0 72 0
[pid=14248] ppid=14247 vsize=20004 CPUtime=22.32 cores=0,2,4,6
/proc/14248/stat : 14248 (npSolver-wbo) S 14247 14247 8283 0 -1 4202496 12535 38447 0 0 44 6 2167 15 20 0 1 0 284862858 20484096 4067 33554432000 4194304 5990268 140736713972192 140736713963616 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14248/statm: 5001 4067 166 439 0 4558 0
[pid=14340] ppid=14248 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14340/stat : 14340 (satsolver.sh) S 14248 14247 8283 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284865093 9367552 267 33554432000 4194304 5064252 140733596750368 140733596749280 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14340/statm: 2287 267 226 213 0 72 0
[pid=14341] ppid=14340 vsize=19704 CPUtime=3.15 cores=0,2,4,6
/proc/14341/stat : 14341 (glucose) R 14340 14247 8283 0 -1 4202496 4916 0 0 0 314 1 0 0 20 0 1 0 284865093 20176896 4449 33554432000 4194304 5208918 140737348019904 140737348017752 4211162 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14341/statm: 4926 4449 104 248 0 4675 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 58004
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14418
/proc/meminfo: memFree=27982760/32873648 swapFree=6864/6864
[pid=14247] ppid=14245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14247/stat : 14247 (npSolver-wbo-It) S 14245 14247 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284862858 9367552 275 33554432000 4194304 5064252 140735099728416 140735099727328 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14247/statm: 2287 275 233 213 0 72 0
[pid=14248] ppid=14247 vsize=20004 CPUtime=47.2 cores=0,2,4,6
/proc/14248/stat : 14248 (npSolver-wbo) S 14247 14247 8283 0 -1 4202496 26497 89561 0 0 93 13 4575 39 20 0 1 0 284862858 20484096 4067 33554432000 4194304 5990268 140736713972192 140736713963616 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14248/statm: 5001 4067 166 439 0 4558 0
[pid=14417] ppid=14248 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14417/stat : 14417 (satsolver.sh) S 14248 14247 8283 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284867582 9367552 267 33554432000 4194304 5064252 140737089595856 140737089594768 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14417/statm: 2287 267 226 213 0 72 0
[pid=14418] ppid=14417 vsize=19880 CPUtime=3.86 cores=0,2,4,6
/proc/14418/stat : 14418 (glucose) R 14417 14247 8283 0 -1 4202496 4393 0 0 0 385 1 0 0 20 0 1 0 284867582 20357120 4492 33554432000 4194304 5208918 140735654150080 140735654147752 4211584 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14418/statm: 4970 4492 104 248 0 4719 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 58180
[startup+102.301 s]
/proc/loadavg: 2.07 2.02 2.00 4/184 14659
/proc/meminfo: memFree=27929060/32873648 swapFree=6864/6864
[pid=14247] ppid=14245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14247/stat : 14247 (npSolver-wbo-It) S 14245 14247 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284862858 9367552 275 33554432000 4194304 5064252 140735099728416 140735099727328 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14247/statm: 2287 275 233 213 0 72 0
[pid=14248] ppid=14247 vsize=20152 CPUtime=101.86 cores=0,2,4,6
/proc/14248/stat : 14248 (npSolver-wbo) S 14247 14247 8283 0 -1 4202496 92757 626891 0 0 386 56 9204 540 20 0 1 0 284862858 20635648 4639 33554432000 4194304 5990268 140736713972192 140736713963104 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 10 0 0
/proc/14248/statm: 5038 4639 166 439 0 4595 0
[pid=14657] ppid=14248 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14657/stat : 14657 (cp2_post.sh) S 14248 14247 8283 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 284873088 9367552 265 33554432000 4194304 5064252 140733281722800 140733281721088 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14657/statm: 2287 265 225 213 0 72 0
[pid=14658] ppid=14657 vsize=4004 CPUtime=0 cores=0,2,4,6
/proc/14658/stat : 14658 (cat) S 14657 14247 8283 0 -1 4202496 216 0 0 0 0 0 0 0 20 0 1 0 284873088 4100096 122 33554432000 4194304 4236627 140736782484192 140736782483288 226084341216 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14658/statm: 1001 122 96 11 0 67 0
[pid=14659] ppid=14657 vsize=6540 CPUtime=0 cores=0,2,4,6
/proc/14659/stat : 14659 (coprocessor) R 14657 14247 8283 0 -1 4202496 1227 0 0 0 0 0 0 0 20 0 1 0 284873088 6696960 1112 33554432000 4194304 6586260 140737385792000 140733281721112 4967814 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/14659/statm: 1635 1112 148 584 0 1047 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 48992
Solver just ended. Dumping a history of the last processes samples
[startup+102.407 s]
/proc/loadavg: 2.07 2.02 2.00 4/184 14659
/proc/meminfo: memFree=27929060/32873648 swapFree=6864/6864
[pid=14247] ppid=14245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14247/stat : 14247 (npSolver-wbo-It) S 14245 14247 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284862858 9367552 275 33554432000 4194304 5064252 140735099728416 140735099727328 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14247/statm: 2287 275 233 213 0 72 0
[pid=14248] ppid=14247 vsize=20152 CPUtime=101.86 cores=0,2,4,6
/proc/14248/stat : 14248 (npSolver-wbo) S 14247 14247 8283 0 -1 4202496 92757 626891 0 0 386 56 9204 540 20 0 1 0 284862858 20635648 4639 33554432000 4194304 5990268 140736713972192 140736713963104 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 10 0 0
/proc/14248/statm: 5038 4639 166 439 0 4595 0
[pid=14657] ppid=14248 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14657/stat : 14657 (cp2_post.sh) S 14248 14247 8283 0 -1 4202496 609 225 0 0 0 0 0 0 20 0 1 0 284873088 9367552 265 33554432000 4194304 5064252 140733281722800 140733281721088 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14657/statm: 2287 265 225 213 0 72 0
[pid=14659] ppid=14657 vsize=8476 CPUtime=0.1 cores=0,2,4,6
/proc/14659/stat : 14659 (coprocessor) R 14657 14247 8283 0 -1 4202496 2015 0 0 0 7 3 0 0 20 0 1 0 284873088 8679424 1505 33554432000 4194304 6586260 140737385792000 140733281721112 5732496 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/14659/statm: 2119 1505 148 584 0 1531 0
Current children cumulated CPU time (s) 101.96
Current children cumulated vsize (KiB) 46924
[startup+128 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 14838
/proc/meminfo: memFree=27974740/32873648 swapFree=6864/6864
[pid=14247] ppid=14245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14247/stat : 14247 (npSolver-wbo-It) S 14245 14247 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284862858 9367552 275 33554432000 4194304 5064252 140735099728416 140735099727328 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14247/statm: 2287 275 233 213 0 72 0
[pid=14248] ppid=14247 vsize=20152 CPUtime=109.89 cores=0,2,4,6
/proc/14248/stat : 14248 (npSolver-wbo) S 14247 14247 8283 0 -1 4202496 100010 724150 0 0 398 58 9949 584 20 0 1 0 284862858 20635648 4639 33554432000 4194304 5990268 140736713972192 140736713963616 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 10 0 0
/proc/14248/statm: 5038 4639 166 439 0 4595 0
[pid=14816] ppid=14248 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14816/stat : 14816 (satsolver.sh) S 14248 14247 8283 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284873891 9367552 267 33554432000 4194304 5064252 140736277550272 140736277549184 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14816/statm: 2287 267 226 213 0 72 0
[pid=14817] ppid=14816 vsize=18472 CPUtime=17.65 cores=0,2,4,6
/proc/14817/stat : 14817 (glucose) R 14816 14247 8283 0 -1 4202496 3965 0 0 0 1765 0 0 0 20 0 1 0 284873891 18915328 3921 33554432000 4194304 5208918 140735927533968 140735927531832 4229299 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14817/statm: 4618 3921 103 248 0 4367 0
Current children cumulated CPU time (s) 127.54
Current children cumulated vsize (KiB) 56920
[startup+140.8 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 14838
/proc/meminfo: memFree=27966724/32873648 swapFree=6864/6864
[pid=14247] ppid=14245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14247/stat : 14247 (npSolver-wbo-It) S 14245 14247 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284862858 9367552 275 33554432000 4194304 5064252 140735099728416 140735099727328 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14247/statm: 2287 275 233 213 0 72 0
[pid=14248] ppid=14247 vsize=20152 CPUtime=109.89 cores=0,2,4,6
/proc/14248/stat : 14248 (npSolver-wbo) S 14247 14247 8283 0 -1 4202496 100010 724150 0 0 398 58 9949 584 20 0 1 0 284862858 20635648 4639 33554432000 4194304 5990268 140736713972192 140736713963616 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 10 0 0
/proc/14248/statm: 5038 4639 166 439 0 4595 0
[pid=14816] ppid=14248 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14816/stat : 14816 (satsolver.sh) S 14248 14247 8283 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284873891 9367552 267 33554432000 4194304 5064252 140736277550272 140736277549184 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14816/statm: 2287 267 226 213 0 72 0
[pid=14817] ppid=14816 vsize=15752 CPUtime=30.46 cores=0,2,4,6
/proc/14817/stat : 14817 (glucose) R 14816 14247 8283 0 -1 4202496 5904 0 0 0 3045 1 0 0 20 0 1 0 284873891 16130048 3436 33554432000 4194304 5208918 140735927533968 140735927531912 4229776 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14817/statm: 3938 3436 103 248 0 3687 0
Current children cumulated CPU time (s) 140.35
Current children cumulated vsize (KiB) 54200
[startup+147.2 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 14838
/proc/meminfo: memFree=27962820/32873648 swapFree=6864/6864
[pid=14247] ppid=14245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14247/stat : 14247 (npSolver-wbo-It) S 14245 14247 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284862858 9367552 275 33554432000 4194304 5064252 140735099728416 140735099727328 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14247/statm: 2287 275 233 213 0 72 0
[pid=14248] ppid=14247 vsize=20152 CPUtime=109.89 cores=0,2,4,6
/proc/14248/stat : 14248 (npSolver-wbo) S 14247 14247 8283 0 -1 4202496 100010 724150 0 0 398 58 9949 584 20 0 1 0 284862858 20635648 4639 33554432000 4194304 5990268 140736713972192 140736713963616 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 10 0 0
/proc/14248/statm: 5038 4639 166 439 0 4595 0
[pid=14816] ppid=14248 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14816/stat : 14816 (satsolver.sh) S 14248 14247 8283 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284873891 9367552 267 33554432000 4194304 5064252 140736277550272 140736277549184 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14816/statm: 2287 267 226 213 0 72 0
[pid=14817] ppid=14816 vsize=27292 CPUtime=36.85 cores=0,2,4,6
/proc/14817/stat : 14817 (glucose) R 14816 14247 8283 0 -1 4202496 7320 0 0 0 3684 1 0 0 20 0 1 0 284873891 27947008 5800 33554432000 4194304 5208918 140735927533968 140735927531912 4229338 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14817/statm: 6823 5800 103 248 0 6572 0
Current children cumulated CPU time (s) 146.74
Current children cumulated vsize (KiB) 65740
[startup+150.4 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 14838
/proc/meminfo: memFree=27956864/32873648 swapFree=6864/6864
[pid=14247] ppid=14245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14247/stat : 14247 (npSolver-wbo-It) S 14245 14247 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284862858 9367552 275 33554432000 4194304 5064252 140735099728416 140735099727328 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14247/statm: 2287 275 233 213 0 72 0
[pid=14248] ppid=14247 vsize=20152 CPUtime=109.89 cores=0,2,4,6
/proc/14248/stat : 14248 (npSolver-wbo) S 14247 14247 8283 0 -1 4202496 100010 724150 0 0 398 58 9949 584 20 0 1 0 284862858 20635648 4639 33554432000 4194304 5990268 140736713972192 140736713963616 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 10 0 0
/proc/14248/statm: 5038 4639 166 439 0 4595 0
[pid=14816] ppid=14248 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14816/stat : 14816 (satsolver.sh) S 14248 14247 8283 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284873891 9367552 267 33554432000 4194304 5064252 140736277550272 140736277549184 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14816/statm: 2287 267 226 213 0 72 0
[pid=14817] ppid=14816 vsize=27292 CPUtime=40.05 cores=0,2,4,6
/proc/14817/stat : 14817 (glucose) R 14816 14247 8283 0 -1 4202496 7320 0 0 0 4004 1 0 0 20 0 1 0 284873891 27947008 5800 33554432000 4194304 5208918 140735927533968 140735927531912 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14817/statm: 6823 5800 103 248 0 6572 0
Current children cumulated CPU time (s) 149.94
Current children cumulated vsize (KiB) 65740
[startup+152 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 14838
/proc/meminfo: memFree=27954072/32873648 swapFree=6864/6864
[pid=14247] ppid=14245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14247/stat : 14247 (npSolver-wbo-It) S 14245 14247 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284862858 9367552 275 33554432000 4194304 5064252 140735099728416 140735099727328 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14247/statm: 2287 275 233 213 0 72 0
[pid=14248] ppid=14247 vsize=20152 CPUtime=109.89 cores=0,2,4,6
/proc/14248/stat : 14248 (npSolver-wbo) S 14247 14247 8283 0 -1 4202496 100010 724150 0 0 398 58 9949 584 20 0 1 0 284862858 20635648 4639 33554432000 4194304 5990268 140736713972192 140736713963616 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 10 0 0
/proc/14248/statm: 5038 4639 166 439 0 4595 0
[pid=14816] ppid=14248 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14816/stat : 14816 (satsolver.sh) S 14248 14247 8283 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284873891 9367552 267 33554432000 4194304 5064252 140736277550272 140736277549184 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14816/statm: 2287 267 226 213 0 72 0
[pid=14817] ppid=14816 vsize=27292 CPUtime=41.65 cores=0,2,4,6
/proc/14817/stat : 14817 (glucose) R 14816 14247 8283 0 -1 4202496 7320 0 0 0 4164 1 0 0 20 0 1 0 284873891 27947008 5800 33554432000 4194304 5208918 140735927533968 140735927531912 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14817/statm: 6823 5800 103 248 0 6572 0
Current children cumulated CPU time (s) 151.54
Current children cumulated vsize (KiB) 65740
[startup+153.6 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 14845
/proc/meminfo: memFree=27972828/32873648 swapFree=6864/6864
[pid=14247] ppid=14245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14247/stat : 14247 (npSolver-wbo-It) S 14245 14247 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284862858 9367552 275 33554432000 4194304 5064252 140735099728416 140735099727328 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14247/statm: 2287 275 233 213 0 72 0
[pid=14248] ppid=14247 vsize=20152 CPUtime=109.89 cores=0,2,4,6
/proc/14248/stat : 14248 (npSolver-wbo) S 14247 14247 8283 0 -1 4202496 100010 724150 0 0 398 58 9949 584 20 0 1 0 284862858 20635648 4639 33554432000 4194304 5990268 140736713972192 140736713963616 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 10 0 0
/proc/14248/statm: 5038 4639 166 439 0 4595 0
[pid=14816] ppid=14248 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14816/stat : 14816 (satsolver.sh) S 14248 14247 8283 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284873891 9367552 267 33554432000 4194304 5064252 140736277550272 140736277549184 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14816/statm: 2287 267 226 213 0 72 0
[pid=14817] ppid=14816 vsize=27292 CPUtime=43.25 cores=0,2,4,6
/proc/14817/stat : 14817 (glucose) R 14816 14247 8283 0 -1 4202496 7320 0 0 0 4324 1 0 0 20 0 1 0 284873891 27947008 5800 33554432000 4194304 5208918 140735927533968 140735927530344 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14817/statm: 6823 5800 103 248 0 6572 0
Current children cumulated CPU time (s) 153.14
Current children cumulated vsize (KiB) 65740
[startup+154 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 14845
/proc/meminfo: memFree=27972320/32873648 swapFree=6864/6864
[pid=14247] ppid=14245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14247/stat : 14247 (npSolver-wbo-It) S 14245 14247 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284862858 9367552 275 33554432000 4194304 5064252 140735099728416 140735099727328 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14247/statm: 2287 275 233 213 0 72 0
[pid=14248] ppid=14247 vsize=20152 CPUtime=109.89 cores=0,2,4,6
/proc/14248/stat : 14248 (npSolver-wbo) S 14247 14247 8283 0 -1 4202496 100010 724150 0 0 398 58 9949 584 20 0 1 0 284862858 20635648 4639 33554432000 4194304 5990268 140736713972192 140736713963616 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 10 0 0
/proc/14248/statm: 5038 4639 166 439 0 4595 0
[pid=14816] ppid=14248 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14816/stat : 14816 (satsolver.sh) S 14248 14247 8283 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284873891 9367552 267 33554432000 4194304 5064252 140736277550272 140736277549184 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14816/statm: 2287 267 226 213 0 72 0
[pid=14817] ppid=14816 vsize=27292 CPUtime=43.66 cores=0,2,4,6
/proc/14817/stat : 14817 (glucose) R 14816 14247 8283 0 -1 4202496 7321 0 0 0 4365 1 0 0 20 0 1 0 284873891 27947008 5800 33554432000 4194304 5208918 140735927533968 140735927530344 4229528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14817/statm: 6823 5800 103 248 0 6572 0
Current children cumulated CPU time (s) 153.55
Current children cumulated vsize (KiB) 65740
[startup+154.2 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 14845
/proc/meminfo: memFree=27972320/32873648 swapFree=6864/6864
[pid=14247] ppid=14245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14247/stat : 14247 (npSolver-wbo-It) S 14245 14247 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284862858 9367552 275 33554432000 4194304 5064252 140735099728416 140735099727328 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14247/statm: 2287 275 233 213 0 72 0
[pid=14248] ppid=14247 vsize=20152 CPUtime=109.89 cores=0,2,4,6
/proc/14248/stat : 14248 (npSolver-wbo) S 14247 14247 8283 0 -1 4202496 100010 724150 0 0 398 58 9949 584 20 0 1 0 284862858 20635648 4639 33554432000 4194304 5990268 140736713972192 140736713963616 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 10 0 0
/proc/14248/statm: 5038 4639 166 439 0 4595 0
[pid=14816] ppid=14248 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14816/stat : 14816 (satsolver.sh) S 14248 14247 8283 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284873891 9367552 267 33554432000 4194304 5064252 140736277550272 140736277549184 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14816/statm: 2287 267 226 213 0 72 0
[pid=14817] ppid=14816 vsize=27292 CPUtime=43.85 cores=0,2,4,6
/proc/14817/stat : 14817 (glucose) R 14816 14247 8283 0 -1 4202496 7321 0 0 0 4384 1 0 0 20 0 1 0 284873891 27947008 5800 33554432000 4194304 5208918 140735927533968 140735927530344 4229354 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14817/statm: 6823 5800 103 248 0 6572 0
Current children cumulated CPU time (s) 153.74
Current children cumulated vsize (KiB) 65740
Child status: 0
Real time (s): 154.273
CPU time (s): 153.848
CPU user time (s): 147.389
CPU system time (s): 6.45902
CPU usage (%): 99.7243
Max. virtual memory (cumulated for all children) (KiB): 140048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 147.389
system time used= 6.45902
maximum resident set size= 84168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 835307
page faults= 0
swaps= 0
block input operations= 0
block output operations= 658672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11569
involuntary context switches= 863
runsolver used 0.277957 second user time and 0.694894 second system time
The end