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-3714917-1338187603/watcher-3714917-1338187603 -o /tmp/evaluation-result-3714917-1338187603/solver-3714917-1338187603 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3714917-1338187603.wbo 483916049 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: 2.00 2.00 2.00 3/179 15303
/proc/meminfo: memFree=28015996/32873648 swapFree=6864/6864
[pid=15303] ppid=15301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15303/stat : 15303 (npSolver-wbo-It) S 15301 15303 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284886302 9367552 275 33554432000 4194304 5064252 140735925422144 140735925421056 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15303/statm: 2287 275 233 213 0 72 0
[startup+0.043459 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15303
/proc/meminfo: memFree=28015996/32873648 swapFree=6864/6864
[pid=15303] ppid=15301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15303/stat : 15303 (npSolver-wbo-It) S 15301 15303 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284886302 9367552 275 33554432000 4194304 5064252 140735925422144 140735925421056 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15303/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100162 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15303
/proc/meminfo: memFree=28015996/32873648 swapFree=6864/6864
[pid=15303] ppid=15301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15303/stat : 15303 (npSolver-wbo-It) S 15301 15303 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284886302 9367552 275 33554432000 4194304 5064252 140735925422144 140735925421056 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15303/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300112 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15303
/proc/meminfo: memFree=28015996/32873648 swapFree=6864/6864
[pid=15303] ppid=15301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15303/stat : 15303 (npSolver-wbo-It) S 15301 15303 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284886302 9367552 275 33554432000 4194304 5064252 140735925422144 140735925421056 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15303/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700101 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15303
/proc/meminfo: memFree=28015996/32873648 swapFree=6864/6864
[pid=15303] ppid=15301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15303/stat : 15303 (npSolver-wbo-It) S 15301 15303 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284886302 9367552 275 33554432000 4194304 5064252 140735925422144 140735925421056 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15303/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50014 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15317
/proc/meminfo: memFree=27996848/32873648 swapFree=6864/6864
[pid=15303] ppid=15301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15303/stat : 15303 (npSolver-wbo-It) S 15301 15303 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284886302 9367552 275 33554432000 4194304 5064252 140735925422144 140735925421056 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15303/statm: 2287 275 233 213 0 72 0
[pid=15304] ppid=15303 vsize=11384 CPUtime=1.19 cores=1,3,5,7
/proc/15304/stat : 15304 (npSolver-wbo) S 15303 15303 8283 0 -1 4202496 3998 12564 0 0 11 2 102 4 20 0 1 0 284886303 11657216 2128 33554432000 4194304 5990268 140734938734576 140734938726000 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15304/statm: 2846 2128 166 439 0 2403 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 20532
[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15324
/proc/meminfo: memFree=27992192/32873648 swapFree=6864/6864
[pid=15303] ppid=15301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15303/stat : 15303 (npSolver-wbo-It) S 15301 15303 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284886302 9367552 275 33554432000 4194304 5064252 140735925422144 140735925421056 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15303/statm: 2287 275 233 213 0 72 0
[pid=15304] ppid=15303 vsize=11384 CPUtime=2.58 cores=1,3,5,7
/proc/15304/stat : 15304 (npSolver-wbo) S 15303 15303 8283 0 -1 4202496 5404 18901 0 0 15 3 234 6 20 0 1 0 284886303 11657216 2128 33554432000 4194304 5990268 140734938734576 140734938726000 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15304/statm: 2846 2128 166 439 0 2403 0
Current children cumulated CPU time (s) 2.58
Current children cumulated vsize (KiB) 20532
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15359
/proc/meminfo: memFree=28002572/32873648 swapFree=6864/6864
[pid=15303] ppid=15301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15303/stat : 15303 (npSolver-wbo-It) S 15301 15303 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284886302 9367552 275 33554432000 4194304 5064252 140735925422144 140735925421056 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15303/statm: 2287 275 233 213 0 72 0
[pid=15304] ppid=15303 vsize=11384 CPUtime=5.96 cores=1,3,5,7
/proc/15304/stat : 15304 (npSolver-wbo) S 15303 15303 8283 0 -1 4202496 8216 32618 0 0 24 4 557 11 20 0 1 0 284886303 11657216 2128 33554432000 4194304 5990268 140734938734576 140734938726000 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15304/statm: 2846 2128 166 439 0 2403 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 20532
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15408
/proc/meminfo: memFree=28001924/32873648 swapFree=6864/6864
[pid=15303] ppid=15301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15303/stat : 15303 (npSolver-wbo-It) S 15301 15303 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284886302 9367552 275 33554432000 4194304 5064252 140735925422144 140735925421056 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15303/statm: 2287 275 233 213 0 72 0
[pid=15304] ppid=15303 vsize=11384 CPUtime=11.1 cores=1,3,5,7
/proc/15304/stat : 15304 (npSolver-wbo) S 15303 15303 8283 0 -1 4202496 12434 52294 0 0 37 6 1048 19 20 0 1 0 284886303 11657216 2128 33554432000 4194304 5990268 140734938734576 140734938726000 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15304/statm: 2846 2128 166 439 0 2403 0
[pid=15407] ppid=15304 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15407/stat : 15407 (satsolver.sh) S 15304 15303 8283 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284887422 9367552 266 33554432000 4194304 5064252 140736501387760 140736501386672 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15407/statm: 2287 266 226 213 0 72 0
[pid=15408] ppid=15407 vsize=12944 CPUtime=1.49 cores=1,3,5,7
/proc/15408/stat : 15408 (glucose) R 15407 15303 8283 0 -1 4202496 3494 0 0 0 149 0 0 0 20 0 1 0 284887422 13254656 2785 33554432000 4194304 5208918 140734735709712 140734735707672 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15408/statm: 3236 2785 104 248 0 2985 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 42624
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15485
/proc/meminfo: memFree=28004816/32873648 swapFree=6864/6864
[pid=15303] ppid=15301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15303/stat : 15303 (npSolver-wbo-It) S 15301 15303 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284886302 9367552 275 33554432000 4194304 5064252 140735925422144 140735925421056 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15303/statm: 2287 275 233 213 0 72 0
[pid=15304] ppid=15303 vsize=11384 CPUtime=23.6 cores=1,3,5,7
/proc/15304/stat : 15304 (npSolver-wbo) S 15303 15303 8283 0 -1 4202496 22276 98847 0 0 68 10 2246 36 20 0 1 0 284886303 11657216 2128 33554432000 4194304 5990268 140734938734576 140734938726000 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15304/statm: 2846 2128 166 439 0 2403 0
[pid=15477] ppid=15304 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15477/stat : 15477 (satsolver.sh) S 15304 15303 8283 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284888676 9367552 266 33554432000 4194304 5064252 140734715192256 140734715191168 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15477/statm: 2287 266 226 213 0 72 0
[pid=15478] ppid=15477 vsize=12916 CPUtime=1.75 cores=1,3,5,7
/proc/15478/stat : 15478 (glucose) R 15477 15303 8283 0 -1 4202496 3099 0 0 0 175 0 0 0 20 0 1 0 284888676 13225984 2891 33554432000 4194304 5208918 140736257916144 140736257914104 4228952 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15478/statm: 3229 2891 105 248 0 2978 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 42596
[startup+51.1003 s]
/proc/loadavg: 1.93 1.98 1.99 3/183 15688
/proc/meminfo: memFree=27932692/32873648 swapFree=6864/6864
[pid=15303] ppid=15301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15303/stat : 15303 (npSolver-wbo-It) S 15301 15303 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284886302 9367552 275 33554432000 4194304 5064252 140735925422144 140735925421056 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15303/statm: 2287 275 233 213 0 72 0
[pid=15304] ppid=15303 vsize=20352 CPUtime=49.17 cores=1,3,5,7
/proc/15304/stat : 15304 (npSolver-wbo) S 15303 15303 8283 0 -1 4202496 46475 208570 0 0 146 22 4669 80 20 0 1 0 284886303 20840448 3490 33554432000 4194304 5990268 140734938734576 140734938726000 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15304/statm: 5088 3490 166 439 0 4645 0
[pid=15687] ppid=15304 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15687/stat : 15687 (satsolver.sh) S 15304 15303 8283 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 284891232 9367552 267 33554432000 4194304 5064252 140734728828448 140734728827360 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15687/statm: 2287 267 226 213 0 72 0
[pid=15688] ppid=15687 vsize=95696 CPUtime=1.79 cores=1,3,5,7
/proc/15688/stat : 15688 (glucose) R 15687 15303 8283 0 -1 4202496 18376 0 0 0 176 3 0 0 20 0 1 0 284891232 97992704 19850 33554432000 4194304 5208918 140736711768992 140736711766840 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15688/statm: 23924 19850 95 248 0 23673 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 134344
[startup+102.307 s]
/proc/loadavg: 1.97 1.98 1.99 3/183 15912
/proc/meminfo: memFree=27963676/32873648 swapFree=6864/6864
[pid=15303] ppid=15301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15303/stat : 15303 (npSolver-wbo-It) S 15301 15303 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284886302 9367552 275 33554432000 4194304 5064252 140735925422144 140735925421056 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15303/statm: 2287 275 233 213 0 72 0
[pid=15304] ppid=15303 vsize=19956 CPUtime=100.71 cores=1,3,5,7
/proc/15304/stat : 15304 (npSolver-wbo) S 15303 15303 8283 0 -1 4202496 99769 624985 0 0 373 54 9161 483 20 0 1 0 284886303 20434944 4586 33554432000 4194304 5990268 140734938734576 140734938726000 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15304/statm: 4989 4586 166 439 0 4546 0
[pid=15911] ppid=15304 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15911/stat : 15911 (satsolver.sh) S 15304 15303 8283 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284896386 9367552 267 33554432000 4194304 5064252 140736345319792 140736345318704 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15911/statm: 2287 267 226 213 0 72 0
[pid=15912] ppid=15911 vsize=49580 CPUtime=1.45 cores=1,3,5,7
/proc/15912/stat : 15912 (glucose) R 15911 15303 8283 0 -1 4202496 10433 0 0 0 144 1 0 0 20 0 1 0 284896386 50769920 11678 33554432000 4194304 5208918 140734654481456 140734654479864 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15912/statm: 12395 11678 95 248 0 12144 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 87832
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 16585
/proc/meminfo: memFree=28007392/32873648 swapFree=6864/6864
[pid=15303] ppid=15301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15303/stat : 15303 (npSolver-wbo-It) S 15301 15303 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284886302 9367552 275 33554432000 4194304 5064252 140735925422144 140735925421056 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15303/statm: 2287 275 233 213 0 72 0
[pid=15304] ppid=15303 vsize=19956 CPUtime=155.78 cores=1,3,5,7
/proc/15304/stat : 15304 (npSolver-wbo) S 15303 15303 8283 0 -1 4202496 154005 1020892 0 0 528 72 14183 795 20 0 1 0 284886303 20434944 4586 33554432000 4194304 5990268 140734938734576 140734938726000 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15304/statm: 4989 4586 166 439 0 4546 0
[pid=16507] ppid=15304 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16507/stat : 16507 (satsolver.sh) S 15304 15303 8283 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284901909 9367552 266 33554432000 4194304 5064252 140734581219296 140734581218208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16507/statm: 2287 266 226 213 0 72 0
[pid=16508] ppid=16507 vsize=13404 CPUtime=6.21 cores=1,3,5,7
/proc/16508/stat : 16508 (glucose) R 16507 15303 8283 0 -1 4202496 3041 0 0 0 621 0 0 0 20 0 1 0 284901910 13725696 2763 33554432000 4194304 5208918 140736444174096 140736444172040 4229538 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16508/statm: 3351 2763 102 248 0 3100 0
Current children cumulated CPU time (s) 161.99
Current children cumulated vsize (KiB) 51656
Solver just ended. Dumping a history of the last processes samples
[startup+179.1 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 16697
/proc/meminfo: memFree=28002916/32873648 swapFree=6864/6864
[pid=15303] ppid=15301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15303/stat : 15303 (npSolver-wbo-It) S 15301 15303 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284886302 9367552 275 33554432000 4194304 5064252 140735925422144 140735925421056 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15303/statm: 2287 275 233 213 0 72 0
[pid=15304] ppid=15303 vsize=19956 CPUtime=167.57 cores=1,3,5,7
/proc/15304/stat : 15304 (npSolver-wbo) S 15303 15303 8283 0 -1 4202496 154862 1048711 0 0 529 73 15352 803 20 0 1 0 284886303 20434944 4586 33554432000 4194304 5990268 140734938734576 140734938726000 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15304/statm: 4989 4586 166 439 0 4546 0
[pid=16689] ppid=15304 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16689/stat : 16689 (satsolver.sh) S 15304 15303 8283 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284903092 9367552 267 33554432000 4194304 5064252 140733280995600 140733280994512 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16689/statm: 2287 267 226 213 0 72 0
[pid=16690] ppid=16689 vsize=12980 CPUtime=11.18 cores=1,3,5,7
/proc/16690/stat : 16690 (glucose) R 16689 15303 8283 0 -1 4202496 3700 0 0 0 1118 0 0 0 20 0 1 0 284903093 13291520 2793 33554432000 4194304 5208918 140735880594896 140735880592760 4229515 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16690/statm: 3245 2793 103 248 0 2994 0
Current children cumulated CPU time (s) 178.75
Current children cumulated vsize (KiB) 51232
[startup+204.7 s]
/proc/loadavg: 1.99 1.98 1.99 3/184 16714
/proc/meminfo: memFree=27990388/32873648 swapFree=6864/6864
[pid=15303] ppid=15301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15303/stat : 15303 (npSolver-wbo-It) S 15301 15303 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284886302 9367552 275 33554432000 4194304 5064252 140735925422144 140735925421056 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15303/statm: 2287 275 233 213 0 72 0
[pid=15304] ppid=15303 vsize=19956 CPUtime=192.51 cores=1,3,5,7
/proc/15304/stat : 15304 (npSolver-wbo) S 15303 15303 8283 0 -1 4202496 154974 1057139 0 0 529 73 17844 805 20 0 1 0 284886303 20434944 4586 33554432000 4194304 5990268 140734938734576 140734938726000 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15304/statm: 4989 4586 166 439 0 4546 0
[pid=16710] ppid=15304 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16710/stat : 16710 (satsolver.sh) S 15304 15303 8283 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284905587 9367552 267 33554432000 4194304 5064252 140736814851920 140736814850832 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16710/statm: 2287 267 226 213 0 72 0
[pid=16711] ppid=16710 vsize=16256 CPUtime=11.84 cores=1,3,5,7
/proc/16711/stat : 16711 (glucose) R 16710 15303 8283 0 -1 4202496 4177 0 0 0 1184 0 0 0 20 0 1 0 284905587 16646144 3453 33554432000 4194304 5208918 140734664040208 140734664038072 4229296 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16711/statm: 4064 3453 103 248 0 3813 0
Current children cumulated CPU time (s) 204.35
Current children cumulated vsize (KiB) 54508
[startup+211.1 s]
/proc/loadavg: 1.99 1.98 1.99 3/184 16714
/proc/meminfo: memFree=27989308/32873648 swapFree=6864/6864
[pid=15303] ppid=15301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15303/stat : 15303 (npSolver-wbo-It) S 15301 15303 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284886302 9367552 275 33554432000 4194304 5064252 140735925422144 140735925421056 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15303/statm: 2287 275 233 213 0 72 0
[pid=15304] ppid=15303 vsize=19956 CPUtime=192.51 cores=1,3,5,7
/proc/15304/stat : 15304 (npSolver-wbo) S 15303 15303 8283 0 -1 4202496 154974 1057139 0 0 529 73 17844 805 20 0 1 0 284886303 20434944 4586 33554432000 4194304 5990268 140734938734576 140734938726000 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15304/statm: 4989 4586 166 439 0 4546 0
[pid=16710] ppid=15304 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16710/stat : 16710 (satsolver.sh) S 15304 15303 8283 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284905587 9367552 267 33554432000 4194304 5064252 140736814851920 140736814850832 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16710/statm: 2287 267 226 213 0 72 0
[pid=16711] ppid=16710 vsize=16256 CPUtime=18.24 cores=1,3,5,7
/proc/16711/stat : 16711 (glucose) R 16710 15303 8283 0 -1 4202496 4249 0 0 0 1824 0 0 0 20 0 1 0 284905587 16646144 3523 33554432000 4194304 5208918 140734664040208 140734664036584 4229776 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16711/statm: 4064 3523 103 248 0 3813 0
Current children cumulated CPU time (s) 210.75
Current children cumulated vsize (KiB) 54508
[startup+214.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/184 16714
/proc/meminfo: memFree=27994392/32873648 swapFree=6864/6864
[pid=15303] ppid=15301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15303/stat : 15303 (npSolver-wbo-It) S 15301 15303 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284886302 9367552 275 33554432000 4194304 5064252 140735925422144 140735925421056 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15303/statm: 2287 275 233 213 0 72 0
[pid=15304] ppid=15303 vsize=19956 CPUtime=192.51 cores=1,3,5,7
/proc/15304/stat : 15304 (npSolver-wbo) S 15303 15303 8283 0 -1 4202496 154974 1057139 0 0 529 73 17844 805 20 0 1 0 284886303 20434944 4586 33554432000 4194304 5990268 140734938734576 140734938726000 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15304/statm: 4989 4586 166 439 0 4546 0
[pid=16710] ppid=15304 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16710/stat : 16710 (satsolver.sh) S 15304 15303 8283 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284905587 9367552 267 33554432000 4194304 5064252 140736814851920 140736814850832 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16710/statm: 2287 267 226 213 0 72 0
[pid=16711] ppid=16710 vsize=16256 CPUtime=21.43 cores=1,3,5,7
/proc/16711/stat : 16711 (glucose) R 16710 15303 8283 0 -1 4202496 5330 0 0 0 2143 0 0 0 20 0 1 0 284905587 16646144 3149 33554432000 4194304 5208918 140734664040208 140734664038152 4229299 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16711/statm: 4064 3149 103 248 0 3813 0
Current children cumulated CPU time (s) 213.94
Current children cumulated vsize (KiB) 54508
[startup+217.5 s]
/proc/loadavg: 1.99 1.98 1.99 3/184 16771
/proc/meminfo: memFree=27993368/32873648 swapFree=6864/6864
[pid=15303] ppid=15301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15303/stat : 15303 (npSolver-wbo-It) S 15301 15303 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284886302 9367552 275 33554432000 4194304 5064252 140735925422144 140735925421056 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15303/statm: 2287 275 233 213 0 72 0
[pid=15304] ppid=15303 vsize=19956 CPUtime=192.51 cores=1,3,5,7
/proc/15304/stat : 15304 (npSolver-wbo) S 15303 15303 8283 0 -1 4202496 154974 1057139 0 0 529 73 17844 805 20 0 1 0 284886303 20434944 4586 33554432000 4194304 5990268 140734938734576 140734938726000 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15304/statm: 4989 4586 166 439 0 4546 0
[pid=16710] ppid=15304 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16710/stat : 16710 (satsolver.sh) S 15304 15303 8283 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284905587 9367552 267 33554432000 4194304 5064252 140736814851920 140736814850832 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16710/statm: 2287 267 226 213 0 72 0
[pid=16711] ppid=16710 vsize=18976 CPUtime=24.63 cores=1,3,5,7
/proc/16711/stat : 16711 (glucose) R 16710 15303 8283 0 -1 4202496 5519 0 0 0 2463 0 0 0 20 0 1 0 284905587 19431424 3839 33554432000 4194304 5208918 140734664040208 140734664038072 4228930 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16711/statm: 4744 3839 103 248 0 4493 0
Current children cumulated CPU time (s) 217.14
Current children cumulated vsize (KiB) 57228
[startup+218.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/184 16771
/proc/meminfo: memFree=27992492/32873648 swapFree=6864/6864
[pid=15303] ppid=15301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15303/stat : 15303 (npSolver-wbo-It) S 15301 15303 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284886302 9367552 275 33554432000 4194304 5064252 140735925422144 140735925421056 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15303/statm: 2287 275 233 213 0 72 0
[pid=15304] ppid=15303 vsize=19956 CPUtime=192.51 cores=1,3,5,7
/proc/15304/stat : 15304 (npSolver-wbo) S 15303 15303 8283 0 -1 4202496 154974 1057139 0 0 529 73 17844 805 20 0 1 0 284886303 20434944 4586 33554432000 4194304 5990268 140734938734576 140734938726000 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15304/statm: 4989 4586 166 439 0 4546 0
[pid=16710] ppid=15304 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16710/stat : 16710 (satsolver.sh) S 15304 15303 8283 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284905587 9367552 267 33554432000 4194304 5064252 140736814851920 140736814850832 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16710/statm: 2287 267 226 213 0 72 0
[pid=16711] ppid=16710 vsize=18976 CPUtime=25.43 cores=1,3,5,7
/proc/16711/stat : 16711 (glucose) R 16710 15303 8283 0 -1 4202496 5519 0 0 0 2543 0 0 0 20 0 1 0 284905587 19431424 3839 33554432000 4194304 5208918 140734664040208 140734664038072 4229712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16711/statm: 4744 3839 103 248 0 4493 0
Current children cumulated CPU time (s) 217.94
Current children cumulated vsize (KiB) 57228
[startup+219.1 s]
/proc/loadavg: 1.99 1.98 1.99 3/184 16771
/proc/meminfo: memFree=27990384/32873648 swapFree=6864/6864
[pid=15303] ppid=15301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15303/stat : 15303 (npSolver-wbo-It) S 15301 15303 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284886302 9367552 275 33554432000 4194304 5064252 140735925422144 140735925421056 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15303/statm: 2287 275 233 213 0 72 0
[pid=15304] ppid=15303 vsize=19956 CPUtime=192.51 cores=1,3,5,7
/proc/15304/stat : 15304 (npSolver-wbo) S 15303 15303 8283 0 -1 4202496 154974 1057139 0 0 529 73 17844 805 20 0 1 0 284886303 20434944 4586 33554432000 4194304 5990268 140734938734576 140734938726000 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15304/statm: 4989 4586 166 439 0 4546 0
[pid=16710] ppid=15304 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16710/stat : 16710 (satsolver.sh) S 15304 15303 8283 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284905587 9367552 267 33554432000 4194304 5064252 140736814851920 140736814850832 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16710/statm: 2287 267 226 213 0 72 0
[pid=16711] ppid=16710 vsize=18976 CPUtime=26.24 cores=1,3,5,7
/proc/16711/stat : 16711 (glucose) R 16710 15303 8283 0 -1 4202496 6016 0 0 0 2623 1 0 0 20 0 1 0 284905587 19431424 4297 33554432000 4194304 5208918 140734664040208 140734664038072 4229515 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16711/statm: 4744 4297 103 248 0 4493 0
Current children cumulated CPU time (s) 218.75
Current children cumulated vsize (KiB) 57228
[startup+219.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/184 16771
/proc/meminfo: memFree=27990384/32873648 swapFree=6864/6864
[pid=15303] ppid=15301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15303/stat : 15303 (npSolver-wbo-It) S 15301 15303 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284886302 9367552 275 33554432000 4194304 5064252 140735925422144 140735925421056 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15303/statm: 2287 275 233 213 0 72 0
[pid=15304] ppid=15303 vsize=19956 CPUtime=192.51 cores=1,3,5,7
/proc/15304/stat : 15304 (npSolver-wbo) S 15303 15303 8283 0 -1 4202496 154974 1057139 0 0 529 73 17844 805 20 0 1 0 284886303 20434944 4586 33554432000 4194304 5990268 140734938734576 140734938726000 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15304/statm: 4989 4586 166 439 0 4546 0
[pid=16710] ppid=15304 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16710/stat : 16710 (satsolver.sh) S 15304 15303 8283 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284905587 9367552 267 33554432000 4194304 5064252 140736814851920 140736814850832 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16710/statm: 2287 267 226 213 0 72 0
[pid=16711] ppid=16710 vsize=18976 CPUtime=26.44 cores=1,3,5,7
/proc/16711/stat : 16711 (glucose) R 16710 15303 8283 0 -1 4202496 6016 0 0 0 2643 1 0 0 20 0 1 0 284905587 19431424 4297 33554432000 4194304 5208918 140734664040208 140734664038072 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16711/statm: 4744 4297 103 248 0 4493 0
Current children cumulated CPU time (s) 218.95
Current children cumulated vsize (KiB) 57228
[startup+219.4 s]
/proc/loadavg: 1.99 1.98 1.99 3/184 16771
/proc/meminfo: memFree=27990384/32873648 swapFree=6864/6864
[pid=15303] ppid=15301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15303/stat : 15303 (npSolver-wbo-It) S 15301 15303 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284886302 9367552 275 33554432000 4194304 5064252 140735925422144 140735925421056 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15303/statm: 2287 275 233 213 0 72 0
[pid=15304] ppid=15303 vsize=19956 CPUtime=192.51 cores=1,3,5,7
/proc/15304/stat : 15304 (npSolver-wbo) S 15303 15303 8283 0 -1 4202496 154974 1057139 0 0 529 73 17844 805 20 0 1 0 284886303 20434944 4586 33554432000 4194304 5990268 140734938734576 140734938726000 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15304/statm: 4989 4586 166 439 0 4546 0
[pid=16710] ppid=15304 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16710/stat : 16710 (satsolver.sh) S 15304 15303 8283 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284905587 9367552 267 33554432000 4194304 5064252 140736814851920 140736814850832 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16710/statm: 2287 267 226 213 0 72 0
[pid=16711] ppid=16710 vsize=18976 CPUtime=26.54 cores=1,3,5,7
/proc/16711/stat : 16711 (glucose) R 16710 15303 8283 0 -1 4202496 6016 0 0 0 2653 1 0 0 20 0 1 0 284905587 19431424 4297 33554432000 4194304 5208918 140734664040208 140734664038072 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16711/statm: 4744 4297 103 248 0 4493 0
Current children cumulated CPU time (s) 219.05
Current children cumulated vsize (KiB) 57228
Child status: 0
Real time (s): 219.494
CPU time (s): 219.159
CPU user time (s): 210.351
CPU system time (s): 8.80766
CPU usage (%): 99.8472
Max. virtual memory (cumulated for all children) (KiB): 142296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 210.351
system time used= 8.80766
maximum resident set size= 84380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1222518
page faults= 0
swaps= 0
block input operations= 0
block output operations= 888984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15316
involuntary context switches= 1383
runsolver used 0.39294 second user time and 1.2838 second system time
The end