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-3713920-1338212783/watcher-3713920-1338212783 -o /tmp/evaluation-result-3713920-1338212783/solver-3713920-1338212783 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3713920-1338212783.wbo 655160478 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.61 2.24 2.01 3/177 32691
/proc/meminfo: memFree=27689524/32873844 swapFree=7900/7900
[pid=32691] ppid=32689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32691/stat : 32691 (npSolver-wbo-I.) S 32689 32691 27515 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 287402791 9367552 274 33554432000 4194304 5064252 140734882086432 140734882085344 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32691/statm: 2287 274 233 213 0 72 0

[startup+0.083189 s]
/proc/loadavg: 2.61 2.24 2.01 3/177 32691
/proc/meminfo: memFree=27689524/32873844 swapFree=7900/7900
[pid=32691] ppid=32689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32691/stat : 32691 (npSolver-wbo-I.) S 32689 32691 27515 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 287402791 9367552 274 33554432000 4194304 5064252 140734882086432 140734882085344 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32691/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100346 s]
/proc/loadavg: 2.61 2.24 2.01 3/177 32691
/proc/meminfo: memFree=27689524/32873844 swapFree=7900/7900
[pid=32691] ppid=32689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32691/stat : 32691 (npSolver-wbo-I.) S 32689 32691 27515 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 287402791 9367552 274 33554432000 4194304 5064252 140734882086432 140734882085344 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32691/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300218 s]
/proc/loadavg: 2.61 2.24 2.01 3/177 32691
/proc/meminfo: memFree=27689524/32873844 swapFree=7900/7900
[pid=32691] ppid=32689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32691/stat : 32691 (npSolver-wbo-I.) S 32689 32691 27515 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 287402791 9367552 274 33554432000 4194304 5064252 140734882086432 140734882085344 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32691/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.934897 s]
/proc/loadavg: 2.61 2.24 2.01 3/177 32691
/proc/meminfo: memFree=27689524/32873844 swapFree=7900/7900
[pid=32691] ppid=32689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32691/stat : 32691 (npSolver-wbo-I.) S 32689 32691 27515 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 287402791 9367552 274 33554432000 4194304 5064252 140734882086432 140734882085344 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32691/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50018 s]
/proc/loadavg: 2.61 2.24 2.01 3/179 32693
/proc/meminfo: memFree=27491092/32873844 swapFree=7900/7900
[pid=32691] ppid=32689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32691/stat : 32691 (npSolver-wbo-I.) S 32689 32691 27515 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 287402791 9367552 274 33554432000 4194304 5064252 140734882086432 140734882085344 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32691/statm: 2287 274 233 213 0 72 0
[pid=32692] ppid=32691 vsize=166332 CPUtime=1.49 cores=0,2,4,6
/proc/32692/stat : 32692 (npSolver-wbo) R 32691 32691 27515 0 -1 4202496 8119 0 0 0 144 5 0 0 20 0 1 0 287402792 170323968 40912 33554432000 4194304 5990268 140737177442800 140737177438680 4981556 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32692/statm: 41583 40912 145 439 0 41140 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 175480

[startup+3.10027 s]
/proc/loadavg: 2.64 2.25 2.01 3/179 32693
/proc/meminfo: memFree=27473600/32873844 swapFree=7900/7900
[pid=32691] ppid=32689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32691/stat : 32691 (npSolver-wbo-I.) S 32689 32691 27515 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 287402791 9367552 274 33554432000 4194304 5064252 140734882086432 140734882085344 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32691/statm: 2287 274 233 213 0 72 0
[pid=32692] ppid=32691 vsize=166332 CPUtime=3.08 cores=0,2,4,6
/proc/32692/stat : 32692 (npSolver-wbo) R 32691 32691 27515 0 -1 4202496 8119 0 0 0 303 5 0 0 20 0 1 0 287402792 170323968 40912 33554432000 4194304 5990268 140737177442800 140737177438680 4566223 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32692/statm: 41583 40912 145 439 0 41140 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 175480

[startup+6.30035 s]
/proc/loadavg: 2.64 2.25 2.01 3/179 32693
/proc/meminfo: memFree=27284896/32873844 swapFree=7900/7900
[pid=32691] ppid=32689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32691/stat : 32691 (npSolver-wbo-I.) S 32689 32691 27515 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 287402791 9367552 274 33554432000 4194304 5064252 140734882086432 140734882085344 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32691/statm: 2287 274 233 213 0 72 0
[pid=32692] ppid=32691 vsize=231868 CPUtime=6.05 cores=0,2,4,6
/proc/32692/stat : 32692 (npSolver-wbo) S 32691 32691 27515 0 -1 4202496 8976 0 0 0 579 26 0 0 20 0 1 0 287402792 237432832 47737 33554432000 4194304 5990268 140737177442800 140737177435952 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32692/statm: 57967 47737 153 439 0 57524 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 241016

[startup+12.7004 s]
/proc/loadavg: 2.70 2.28 2.02 2/181 32696
/proc/meminfo: memFree=27130876/32873844 swapFree=7900/7900
[pid=32691] ppid=32689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32691/stat : 32691 (npSolver-wbo-I.) S 32689 32691 27515 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 287402791 9367552 274 33554432000 4194304 5064252 140734882086432 140734882085344 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32691/statm: 2287 274 233 213 0 72 0
[pid=32692] ppid=32691 vsize=231868 CPUtime=6.05 cores=0,2,4,6
/proc/32692/stat : 32692 (npSolver-wbo) S 32691 32691 27515 0 -1 4202496 8976 0 0 0 579 26 0 0 20 0 1 0 287402792 237432832 47737 33554432000 4194304 5990268 140737177442800 140737177435952 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32692/statm: 57967 47737 153 439 0 57524 0
[pid=32694] ppid=32692 vsize=9148 CPUtime=4.94 cores=0,2,4,6
/proc/32694/stat : 32694 (cp2_pre.sh) S 32692 32691 27515 0 -1 4202496 633 15559 0 0 0 0 461 33 20 0 1 0 287403399 9367552 281 33554432000 4194304 5064252 140734576104416 140734576103120 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/32694/statm: 2287 281 238 213 0 72 0
[pid=32696] ppid=32694 vsize=16692 CPUtime=0.01 cores=0,2,4,6
/proc/32696/stat : 32696 (mv) D 32694 32691 27515 0 -1 4202496 250 0 0 0 0 1 0 0 20 0 1 0 287403922 17092608 185 33554432000 4194304 4296580 140736196982592 140736196980824 225444248919 0 0 4096 0 18446744071580543392 0 0 17 0 0 0 67 0 0
/proc/32696/statm: 4173 185 154 25 0 73 0
Current children cumulated CPU time (s) 11
Current children cumulated vsize (KiB) 266856

[startup+25.5003 s]
/proc/loadavg: 2.74 2.30 2.03 3/179 32702
/proc/meminfo: memFree=26859140/32873844 swapFree=7900/7900
[pid=32691] ppid=32689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32691/stat : 32691 (npSolver-wbo-I.) S 32689 32691 27515 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 287402791 9367552 274 33554432000 4194304 5064252 140734882086432 140734882085344 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32691/statm: 2287 274 233 213 0 72 0
[pid=32692] ppid=32691 vsize=244980 CPUtime=22.55 cores=0,2,4,6
/proc/32692/stat : 32692 (npSolver-wbo) R 32691 32691 27515 0 -1 4202496 14711 92941 0 0 702 742 728 83 20 0 1 0 287402792 250859520 51053 33554432000 4194304 5990268 140737177442800 140737177435952 4566796 0 0 4096 0 0 0 0 17 0 0 0 31 0 0
/proc/32692/statm: 61245 51053 164 439 0 60802 0
Current children cumulated CPU time (s) 22.55
Current children cumulated vsize (KiB) 254128

[startup+51.1004 s]
/proc/loadavg: 2.98 2.39 2.07 3/183 32736
/proc/meminfo: memFree=22428300/32873844 swapFree=7900/7900
[pid=32691] ppid=32689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32691/stat : 32691 (npSolver-wbo-I.) S 32689 32691 27515 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 287402791 9367552 274 33554432000 4194304 5064252 140734882086432 140734882085344 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32691/statm: 2287 274 233 213 0 72 0
[pid=32692] ppid=32691 vsize=281844 CPUtime=38.77 cores=0,2,4,6
/proc/32692/stat : 32692 (npSolver-wbo) S 32691 32691 27515 0 -1 4202496 32920 413541 0 0 815 754 2014 294 20 0 1 0 287402792 288608256 58735 33554432000 4194304 5990268 140737177442800 140737177434240 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 31 0 0
/proc/32692/statm: 70461 58735 166 439 0 70018 0
[pid=32735] ppid=32692 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32735/stat : 32735 (satsolver.sh) S 32692 32691 27515 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287407738 9367552 267 33554432000 4194304 5064252 140734809100624 140734809099536 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32735/statm: 2287 267 226 213 0 72 0
[pid=32736] ppid=32735 vsize=470172 CPUtime=1.62 cores=0,2,4,6
/proc/32736/stat : 32736 (glucose) R 32735 32691 27515 0 -1 4202496 68060 0 0 0 146 16 0 0 20 0 1 0 287407739 481456128 107363 33554432000 4194304 5208918 140734296684528 140734296682488 4607488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32736/statm: 117543 107363 105 248 0 117292 0
Current children cumulated CPU time (s) 40.39
Current children cumulated vsize (KiB) 770312
heavy processes:

Solver just ended. Dumping a history of the last processes samples

[startup+52.6003 s]
/proc/loadavg: 2.99 2.40 2.07 3/184 32739
/proc/meminfo: memFree=22809396/32873844 swapFree=7900/7900
[pid=32691] ppid=32689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32691/stat : 32691 (npSolver-wbo-I.) S 32689 32691 27515 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 287402791 9367552 274 33554432000 4194304 5064252 140734882086432 140734882085344 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32691/statm: 2287 274 233 213 0 72 0
[pid=32692] ppid=32691 vsize=281844 CPUtime=40.9 cores=0,2,4,6
/proc/32692/stat : 32692 (npSolver-wbo) S 32691 32691 27515 0 -1 4202496 32926 482206 0 0 815 754 2206 315 20 0 1 0 287402792 288608256 58735 33554432000 4194304 5990268 140737177442800 140737177433728 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 31 0 0
/proc/32692/statm: 70461 58735 166 439 0 70018 0
[pid=32737] ppid=32692 vsize=9148 CPUtime=0.99 cores=0,2,4,6
/proc/32737/stat : 32737 (cp2_post.sh) S 32692 32691 27515 0 -1 4202496 634 7963 0 0 0 0 92 7 20 0 1 0 287407951 9367552 269 33554432000 4194304 5064252 140735373941248 140735373940160 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32737/statm: 2287 269 228 213 0 72 0
Current children cumulated CPU time (s) 41.89
Current children cumulated vsize (KiB) 300140

[startup+55.8004 s]
/proc/loadavg: 2.99 2.40 2.07 3/184 32746
/proc/meminfo: memFree=22820908/32873844 swapFree=7900/7900
[pid=32691] ppid=32689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32691/stat : 32691 (npSolver-wbo-I.) S 32689 32691 27515 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 287402791 9367552 274 33554432000 4194304 5064252 140734882086432 140734882085344 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32691/statm: 2287 274 233 213 0 72 0
[pid=32692] ppid=32691 vsize=281844 CPUtime=44.53 cores=0,2,4,6
/proc/32692/stat : 32692 (npSolver-wbo) S 32691 32691 27515 0 -1 4202496 35640 559125 0 0 829 754 2510 360 20 0 1 0 287402792 288608256 58735 33554432000 4194304 5990268 140737177442800 140737177433728 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 31 0 0
/proc/32692/statm: 70461 58735 166 439 0 70018 0
[pid=32744] ppid=32692 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32744/stat : 32744 (cp2_post.sh) S 32692 32691 27515 0 -1 4202496 611 0 0 0 0 0 0 0 20 0 1 0 287408315 9367552 266 33554432000 4194304 5064252 140735008753520 140735008751808 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32744/statm: 2287 266 225 213 0 72 0
[pid=32745] ppid=32744 vsize=4004 CPUtime=0 cores=0,2,4,6
/proc/32745/stat : 32745 (cat) S 32744 32691 27515 0 -1 4202496 217 0 0 0 0 0 0 0 20 0 1 0 287408315 4100096 122 33554432000 4194304 4236627 140736814394096 140736814393192 225444709856 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/32745/statm: 1001 122 96 11 0 67 0
[pid=32746] ppid=32744 vsize=34168 CPUtime=0.55 cores=0,2,4,6
/proc/32746/stat : 32746 (coprocessor) R 32744 32691 27515 0 -1 4202496 4190 0 0 0 54 1 0 0 20 0 1 0 287408315 34988032 7701 33554432000 4194304 6586260 140737310285616 140737310282632 5732400 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/32746/statm: 8542 7701 145 584 0 7954 0
Current children cumulated CPU time (s) 45.08
Current children cumulated vsize (KiB) 338312

[startup+56.6004 s]
/proc/loadavg: 2.99 2.40 2.07 3/182 32748
/proc/meminfo: memFree=22921316/32873844 swapFree=7900/7900
[pid=32691] ppid=32689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32691/stat : 32691 (npSolver-wbo-I.) S 32689 32691 27515 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 287402791 9367552 274 33554432000 4194304 5064252 140734882086432 140734882085344 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32691/statm: 2287 274 233 213 0 72 0
[pid=32692] ppid=32691 vsize=281844 CPUtime=45.84 cores=0,2,4,6
/proc/32692/stat : 32692 (npSolver-wbo) S 32691 32691 27515 0 -1 4202496 39017 567892 0 0 842 755 2602 385 20 0 1 0 287402792 288608256 58735 33554432000 4194304 5990268 140737177442800 140737177434240 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 31 0 0
/proc/32692/statm: 70461 58735 166 439 0 70018 0
Current children cumulated CPU time (s) 45.84
Current children cumulated vsize (KiB) 290992

[startup+57.4004 s]
/proc/loadavg: 2.99 2.40 2.07 3/182 32748
/proc/meminfo: memFree=22921316/32873844 swapFree=7900/7900
[pid=32691] ppid=32689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32691/stat : 32691 (npSolver-wbo-I.) S 32689 32691 27515 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 287402791 9367552 274 33554432000 4194304 5064252 140734882086432 140734882085344 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32691/statm: 2287 274 233 213 0 72 0
[pid=32692] ppid=32691 vsize=281844 CPUtime=45.84 cores=0,2,4,6
/proc/32692/stat : 32692 (npSolver-wbo) S 32691 32691 27515 0 -1 4202496 39017 567892 0 0 842 755 2602 385 20 0 1 0 287402792 288608256 58735 33554432000 4194304 5990268 140737177442800 140737177434240 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 31 0 0
/proc/32692/statm: 70461 58735 166 439 0 70018 0
Current children cumulated CPU time (s) 45.84
Current children cumulated vsize (KiB) 290992

[startup+57.8003 s]
/proc/loadavg: 2.99 2.41 2.08 3/183 32750
/proc/meminfo: memFree=22464124/32873844 swapFree=7900/7900
[pid=32691] ppid=32689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32691/stat : 32691 (npSolver-wbo-I.) S 32689 32691 27515 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 287402791 9367552 274 33554432000 4194304 5064252 140734882086432 140734882085344 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32691/statm: 2287 274 233 213 0 72 0
[pid=32692] ppid=32691 vsize=281844 CPUtime=47 cores=0,2,4,6
/proc/32692/stat : 32692 (npSolver-wbo) S 32691 32691 27515 0 -1 4202496 39045 629080 0 0 842 755 2698 405 20 0 1 0 287402792 288608256 58735 33554432000 4194304 5990268 140737177442800 140737177434816 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 31 0 0
/proc/32692/statm: 70461 58735 166 439 0 70018 0
Current children cumulated CPU time (s) 47
Current children cumulated vsize (KiB) 290992

Child status: 0
Real time (s): 57.896
CPU time (s): 47.2168
CPU user time (s): 35.4116
CPU system time (s): 11.8052
CPU usage (%): 81.5546
Max. virtual memory (cumulated for all children) (KiB): 822244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 35.4116
system time used= 11.8052
maximum resident set size= 464828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 669545
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2534808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28418
involuntary context switches= 247

runsolver used 0.123981 second user time and 0.32295 second system time

The end