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-3752762-1339213452/watcher-3752762-1339213452 -o /tmp/evaluation-result-3752762-1339213452/solver-3752762-1339213452 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752762-1339213452.wbo 1744375306 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.02 2.01 1.91 3/179 17082
/proc/meminfo: memFree=27885224/32873648 swapFree=7112/7112
[pid=17082] ppid=17080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17082/stat : 17082 (npSolver-wbo-It) S 17080 17082 2126 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387471104 9367552 275 33554432000 4194304 5064252 140735523853632 140735523852544 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17082/statm: 2287 275 233 213 0 72 0
[startup+0.0133569 s]
/proc/loadavg: 2.02 2.01 1.91 3/179 17082
/proc/meminfo: memFree=27885224/32873648 swapFree=7112/7112
[pid=17082] ppid=17080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17082/stat : 17082 (npSolver-wbo-It) S 17080 17082 2126 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387471104 9367552 275 33554432000 4194304 5064252 140735523853632 140735523852544 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17082/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100229 s]
/proc/loadavg: 2.02 2.01 1.91 3/179 17082
/proc/meminfo: memFree=27885224/32873648 swapFree=7112/7112
[pid=17082] ppid=17080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17082/stat : 17082 (npSolver-wbo-It) S 17080 17082 2126 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387471104 9367552 275 33554432000 4194304 5064252 140735523853632 140735523852544 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17082/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.355775 s]
/proc/loadavg: 2.02 2.01 1.91 3/179 17082
/proc/meminfo: memFree=27885224/32873648 swapFree=7112/7112
[pid=17082] ppid=17080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17082/stat : 17082 (npSolver-wbo-It) S 17080 17082 2126 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387471104 9367552 275 33554432000 4194304 5064252 140735523853632 140735523852544 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17082/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700308 s]
/proc/loadavg: 2.02 2.01 1.91 3/179 17082
/proc/meminfo: memFree=27885224/32873648 swapFree=7112/7112
[pid=17082] ppid=17080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17082/stat : 17082 (npSolver-wbo-It) S 17080 17082 2126 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387471104 9367552 275 33554432000 4194304 5064252 140735523853632 140735523852544 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17082/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50023 s]
/proc/loadavg: 2.02 2.01 1.91 3/181 17084
/proc/meminfo: memFree=27767868/32873648 swapFree=7112/7112
[pid=17082] ppid=17080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17082/stat : 17082 (npSolver-wbo-It) S 17080 17082 2126 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387471104 9367552 275 33554432000 4194304 5064252 140735523853632 140735523852544 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17082/statm: 2287 275 233 213 0 72 0
[pid=17083] ppid=17082 vsize=124584 CPUtime=1.49 cores=1,3,5,7
/proc/17083/stat : 17083 (npSolver-wbo) R 17082 17082 2126 0 -1 4202496 18642 0 0 0 146 3 0 0 20 0 1 0 387471104 127574016 29288 33554432000 4194304 6006132 140736511682224 140736511676408 4428887 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17083/statm: 31146 29288 151 443 0 30699 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 133732
[startup+3.10025 s]
/proc/loadavg: 2.02 2.01 1.91 3/181 17084
/proc/meminfo: memFree=27754904/32873648 swapFree=7112/7112
[pid=17082] ppid=17080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17082/stat : 17082 (npSolver-wbo-It) S 17080 17082 2126 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387471104 9367552 275 33554432000 4194304 5064252 140735523853632 140735523852544 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17082/statm: 2287 275 233 213 0 72 0
[pid=17083] ppid=17082 vsize=130832 CPUtime=2.4 cores=1,3,5,7
/proc/17083/stat : 17083 (npSolver-wbo) S 17082 17082 2126 0 -1 4202496 18690 0 0 0 181 59 0 0 20 0 1 0 387471104 133971968 30868 33554432000 4194304 6006132 140736511682224 140736511675328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17083/statm: 32708 30868 158 443 0 32261 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 139980
heavy processes:
[startup+6.3003 s]
/proc/loadavg: 2.02 2.01 1.91 3/183 17086
/proc/meminfo: memFree=27570612/32873648 swapFree=7112/7112
[pid=17082] ppid=17080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17082/stat : 17082 (npSolver-wbo-It) S 17080 17082 2126 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387471104 9367552 275 33554432000 4194304 5064252 140735523853632 140735523852544 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17082/statm: 2287 275 233 213 0 72 0
[pid=17083] ppid=17082 vsize=130832 CPUtime=2.4 cores=1,3,5,7
/proc/17083/stat : 17083 (npSolver-wbo) S 17082 17082 2126 0 -1 4202496 18690 0 0 0 181 59 0 0 20 0 1 0 387471104 133971968 30868 33554432000 4194304 6006132 140736511682224 140736511675328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17083/statm: 32708 30868 158 443 0 32261 0
[pid=17085] ppid=17083 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17085/stat : 17085 (cp2_pre.sh) S 17083 17082 2126 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 387471345 9367552 277 33554432000 4194304 5064252 140735267955856 140735267954560 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17085/statm: 2287 277 234 213 0 72 0
[pid=17086] ppid=17085 vsize=188448 CPUtime=3.87 cores=1,3,5,7
/proc/17086/stat : 17086 (coprocessor) R 17085 17082 2126 0 -1 4202496 24896 0 0 0 382 5 0 0 20 0 1 0 387471346 192970752 45988 33554432000 4194304 6586260 140735972691168 140735972687032 5599182 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/17086/statm: 47112 45988 190 584 0 46524 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 337576
[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 1.91 3/183 17086
/proc/meminfo: memFree=27570396/32873648 swapFree=7112/7112
[pid=17082] ppid=17080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17082/stat : 17082 (npSolver-wbo-It) S 17080 17082 2126 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387471104 9367552 275 33554432000 4194304 5064252 140735523853632 140735523852544 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17082/statm: 2287 275 233 213 0 72 0
[pid=17083] ppid=17082 vsize=130832 CPUtime=2.4 cores=1,3,5,7
/proc/17083/stat : 17083 (npSolver-wbo) S 17082 17082 2126 0 -1 4202496 18690 0 0 0 181 59 0 0 20 0 1 0 387471104 133971968 30868 33554432000 4194304 6006132 140736511682224 140736511675328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17083/statm: 32708 30868 158 443 0 32261 0
[pid=17085] ppid=17083 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17085/stat : 17085 (cp2_pre.sh) S 17083 17082 2126 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 387471345 9367552 277 33554432000 4194304 5064252 140735267955856 140735267954560 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17085/statm: 2287 277 234 213 0 72 0
[pid=17086] ppid=17085 vsize=188712 CPUtime=10.27 cores=1,3,5,7
/proc/17086/stat : 17086 (coprocessor) R 17085 17082 2126 0 -1 4202496 24941 0 0 0 1022 5 0 0 20 0 1 0 387471346 193241088 46033 33554432000 4194304 6586260 140735972691168 140735972686760 5599182 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/17086/statm: 47178 46033 190 584 0 46590 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 337840
Solver just ended. Dumping a history of the last processes samples
[startup+12.8004 s]
/proc/loadavg: 2.02 2.01 1.91 3/183 17086
/proc/meminfo: memFree=27570396/32873648 swapFree=7112/7112
[pid=17082] ppid=17080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17082/stat : 17082 (npSolver-wbo-It) S 17080 17082 2126 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387471104 9367552 275 33554432000 4194304 5064252 140735523853632 140735523852544 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17082/statm: 2287 275 233 213 0 72 0
[pid=17083] ppid=17082 vsize=130832 CPUtime=2.4 cores=1,3,5,7
/proc/17083/stat : 17083 (npSolver-wbo) S 17082 17082 2126 0 -1 4202496 18690 0 0 0 181 59 0 0 20 0 1 0 387471104 133971968 30868 33554432000 4194304 6006132 140736511682224 140736511675328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17083/statm: 32708 30868 158 443 0 32261 0
[pid=17085] ppid=17083 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17085/stat : 17085 (cp2_pre.sh) S 17083 17082 2126 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 387471345 9367552 277 33554432000 4194304 5064252 140735267955856 140735267954560 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17085/statm: 2287 277 234 213 0 72 0
[pid=17086] ppid=17085 vsize=188712 CPUtime=10.37 cores=1,3,5,7
/proc/17086/stat : 17086 (coprocessor) R 17085 17082 2126 0 -1 4202496 24941 0 0 0 1032 5 0 0 20 0 1 0 387471346 193241088 46033 33554432000 4194304 6586260 140735972691168 140735972686760 5599447 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/17086/statm: 47178 46033 190 584 0 46590 0
Current children cumulated CPU time (s) 12.77
Current children cumulated vsize (KiB) 337840
[startup+16.0003 s]
/proc/loadavg: 2.02 2.01 1.91 3/181 17126
/proc/meminfo: memFree=29385440/32873648 swapFree=7112/7112
[pid=17082] ppid=17080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17082/stat : 17082 (npSolver-wbo-It) S 17080 17082 2126 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387471104 9367552 275 33554432000 4194304 5064252 140735523853632 140735523852544 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17082/statm: 2287 275 233 213 0 72 0
[pid=17083] ppid=17082 vsize=130832 CPUtime=2.4 cores=1,3,5,7
/proc/17083/stat : 17083 (npSolver-wbo) S 17082 17082 2126 0 -1 4202496 18690 0 0 0 181 59 0 0 20 0 1 0 387471104 133971968 30868 33554432000 4194304 6006132 140736511682224 140736511675328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17083/statm: 32708 30868 158 443 0 32261 0
[pid=17085] ppid=17083 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17085/stat : 17085 (cp2_pre.sh) S 17083 17082 2126 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 387471345 9367552 277 33554432000 4194304 5064252 140735267955856 140735267954560 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17085/statm: 2287 277 234 213 0 72 0
[pid=17086] ppid=17085 vsize=188712 CPUtime=13.57 cores=1,3,5,7
/proc/17086/stat : 17086 (coprocessor) R 17085 17082 2126 0 -1 4202496 24953 0 0 0 1352 5 0 0 20 0 1 0 387471346 193241088 46045 33554432000 4194304 6586260 140735972691168 140735972686760 5599216 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/17086/statm: 47178 46045 190 584 0 46590 0
Current children cumulated CPU time (s) 15.97
Current children cumulated vsize (KiB) 337840
[startup+17.6002 s]
/proc/loadavg: 2.02 2.01 1.91 3/182 17132
/proc/meminfo: memFree=29246824/32873648 swapFree=7112/7112
[pid=17082] ppid=17080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17082/stat : 17082 (npSolver-wbo-It) S 17080 17082 2126 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387471104 9367552 275 33554432000 4194304 5064252 140735523853632 140735523852544 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17082/statm: 2287 275 233 213 0 72 0
[pid=17083] ppid=17082 vsize=130832 CPUtime=17.52 cores=1,3,5,7
/proc/17083/stat : 17083 (npSolver-wbo) S 17082 17082 2126 0 -1 4202496 18708 39971 0 0 181 59 1502 10 20 0 1 0 387471104 133971968 30869 33554432000 4194304 6006132 140736511682224 140736511675904 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17083/statm: 32708 30869 159 443 0 32261 0
[pid=17130] ppid=17083 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17130/stat : 17130 (cp2_post.sh) S 17083 17082 2126 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 387472859 9367552 265 33554432000 4194304 5064252 140735403359504 140735403357792 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17130/statm: 2287 265 225 213 0 72 0
[pid=17131] ppid=17130 vsize=4004 CPUtime=0 cores=1,3,5,7
/proc/17131/stat : 17131 (cat) S 17130 17082 2126 0 -1 4202496 215 0 0 0 0 0 0 0 20 0 1 0 387472859 4100096 121 33554432000 4194304 4236627 140734214458816 140734214457912 242167399904 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/17131/statm: 1001 121 96 11 0 67 0
[pid=17132] ppid=17130 vsize=10548 CPUtime=0.04 cores=1,3,5,7
/proc/17132/stat : 17132 (coprocessor) R 17130 17082 2126 0 -1 4202496 2547 0 0 0 4 0 0 0 20 0 1 0 387472859 10801152 1991 33554432000 4194304 6586260 140736835948752 140735403357816 4967814 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/17132/statm: 2637 1991 148 584 0 2049 0
Current children cumulated CPU time (s) 17.56
Current children cumulated vsize (KiB) 163680
[startup+19.2003 s]
/proc/loadavg: 2.02 2.01 1.91 3/179 17133
/proc/meminfo: memFree=29185672/32873648 swapFree=7112/7112
[pid=17082] ppid=17080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17082/stat : 17082 (npSolver-wbo-It) S 17080 17082 2126 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387471104 9367552 275 33554432000 4194304 5064252 140735523853632 140735523852544 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17082/statm: 2287 275 233 213 0 72 0
[pid=17083] ppid=17082 vsize=151316 CPUtime=18.17 cores=1,3,5,7
/proc/17083/stat : 17083 (npSolver-wbo) R 17082 17082 2126 0 -1 4202496 22279 45758 0 0 197 87 1519 14 20 0 1 0 387471104 154947584 36024 33554432000 4194304 6006132 140736511682224 140736511673616 5187998 0 65536 4102 0 0 0 0 17 3 0 0 0 0 0
/proc/17083/statm: 37829 36024 192 443 0 37382 0
Current children cumulated CPU time (s) 18.17
Current children cumulated vsize (KiB) 160464
[startup+20.0004 s]
/proc/loadavg: 2.10 2.02 1.92 3/182 17146
/proc/meminfo: memFree=29077968/32873648 swapFree=7112/7112
[pid=17082] ppid=17080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17082/stat : 17082 (npSolver-wbo-It) S 17080 17082 2126 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387471104 9367552 275 33554432000 4194304 5064252 140735523853632 140735523852544 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17082/statm: 2287 275 233 213 0 72 0
[pid=17083] ppid=17082 vsize=151316 CPUtime=19.24 cores=1,3,5,7
/proc/17083/stat : 17083 (npSolver-wbo) R 17082 17082 2126 0 -1 4202496 27991 83872 0 0 209 89 1598 28 20 0 1 0 387471104 154947584 36025 33554432000 4194304 6006132 140736511682224 140736511674192 4353032 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17083/statm: 37829 36025 193 443 0 37382 0
Current children cumulated CPU time (s) 19.24
Current children cumulated vsize (KiB) 160464
[startup+20.2003 s]
/proc/loadavg: 2.10 2.02 1.92 3/182 17146
/proc/meminfo: memFree=29077968/32873648 swapFree=7112/7112
[pid=17082] ppid=17080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17082/stat : 17082 (npSolver-wbo-It) S 17080 17082 2126 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387471104 9367552 275 33554432000 4194304 5064252 140735523853632 140735523852544 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17082/statm: 2287 275 233 213 0 72 0
[pid=17083] ppid=17082 vsize=151316 CPUtime=19.44 cores=1,3,5,7
/proc/17083/stat : 17083 (npSolver-wbo) S 17082 17082 2126 0 -1 4202496 28968 99019 0 0 215 90 1607 32 20 0 1 0 387471104 154947584 36026 33554432000 4194304 6006132 140736511682224 140736511674192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17083/statm: 37829 36026 194 443 0 37382 0
Current children cumulated CPU time (s) 19.44
Current children cumulated vsize (KiB) 160464
Child status: 0
Real time (s): 20.242
CPU time (s): 19.496
CPU user time (s): 18.2472
CPU system time (s): 1.24881
CPU usage (%): 96.3148
Max. virtual memory (cumulated for all children) (KiB): 337844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.2472
system time used= 1.24881
maximum resident set size= 193624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136238
page faults= 0
swaps= 0
block input operations= 0
block output operations= 131072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2318
involuntary context switches= 71
runsolver used 0.029995 second user time and 0.136979 second system time
The end