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-3701090-1338050215/watcher-3701090-1338050215 -o /tmp/evaluation-result-3701090-1338050215/solver-3701090-1338050215 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701090-1338050215.opb 174179553 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.03 1.31 1.41 3/180 1114
/proc/meminfo: memFree=27184884/32873844 swapFree=6088/6088
[pid=1114] ppid=1112 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1114/stat : 1114 (npSolver-pbo.sh) S 1112 1114 30587 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271150089 9367552 275 33554432000 4194304 5064252 140736976553312 140736976552224 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1114/statm: 2287 275 233 213 0 72 0
[startup+0.067874 s]
/proc/loadavg: 2.03 1.31 1.41 3/180 1114
/proc/meminfo: memFree=27184884/32873844 swapFree=6088/6088
[pid=1114] ppid=1112 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1114/stat : 1114 (npSolver-pbo.sh) S 1112 1114 30587 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271150089 9367552 275 33554432000 4194304 5064252 140736976553312 140736976552224 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1114/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100243 s]
/proc/loadavg: 2.03 1.31 1.41 3/180 1114
/proc/meminfo: memFree=27184884/32873844 swapFree=6088/6088
[pid=1114] ppid=1112 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1114/stat : 1114 (npSolver-pbo.sh) S 1112 1114 30587 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271150089 9367552 275 33554432000 4194304 5064252 140736976553312 140736976552224 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1114/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300208 s]
/proc/loadavg: 2.03 1.31 1.41 3/180 1114
/proc/meminfo: memFree=27184884/32873844 swapFree=6088/6088
[pid=1114] ppid=1112 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1114/stat : 1114 (npSolver-pbo.sh) S 1112 1114 30587 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271150089 9367552 275 33554432000 4194304 5064252 140736976553312 140736976552224 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1114/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700212 s]
/proc/loadavg: 2.03 1.31 1.41 3/180 1114
/proc/meminfo: memFree=27184884/32873844 swapFree=6088/6088
[pid=1114] ppid=1112 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1114/stat : 1114 (npSolver-pbo.sh) S 1112 1114 30587 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271150089 9367552 275 33554432000 4194304 5064252 140736976553312 140736976552224 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1114/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 2.03 1.31 1.41 3/184 1142
/proc/meminfo: memFree=27181140/32873844 swapFree=6088/6088
[pid=1114] ppid=1112 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1114/stat : 1114 (npSolver-pbo.sh) S 1112 1114 30587 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271150089 9367552 275 33554432000 4194304 5064252 140736976553312 140736976552224 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1114/statm: 2287 275 233 213 0 72 0
[pid=1115] ppid=1114 vsize=2296 CPUtime=0.12 cores=1,3,5,7
/proc/1115/stat : 1115 (npSolver-pbo) S 1114 1114 30587 0 -1 4202496 590 12401 0 0 0 0 9 3 20 0 1 0 271150090 2351104 262 33554432000 4194304 5992684 140733989789552 140733989781872 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1115/statm: 574 262 179 440 0 130 0
[pid=1141] ppid=1115 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1141/stat : 1141 (satsolver.sh) S 1115 1114 30587 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271150103 9367552 266 33554432000 4194304 5064252 140736007863504 140736007862416 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1141/statm: 2287 266 226 213 0 72 0
[pid=1142] ppid=1141 vsize=5460 CPUtime=1.36 cores=1,3,5,7
/proc/1142/stat : 1142 (glucose) R 1141 1114 30587 0 -1 4202496 1283 0 0 0 136 0 0 0 20 0 1 0 271150103 5591040 920 33554432000 4194304 5208918 140737239231536 140737239229400 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1142/statm: 1365 920 102 248 0 1114 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 26052
[startup+3.10033 s]
/proc/loadavg: 2.03 1.32 1.41 3/184 1142
/proc/meminfo: memFree=27180644/32873844 swapFree=6088/6088
[pid=1114] ppid=1112 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1114/stat : 1114 (npSolver-pbo.sh) S 1112 1114 30587 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271150089 9367552 275 33554432000 4194304 5064252 140736976553312 140736976552224 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1114/statm: 2287 275 233 213 0 72 0
[pid=1115] ppid=1114 vsize=2296 CPUtime=0.12 cores=1,3,5,7
/proc/1115/stat : 1115 (npSolver-pbo) S 1114 1114 30587 0 -1 4202496 590 12401 0 0 0 0 9 3 20 0 1 0 271150090 2351104 262 33554432000 4194304 5992684 140733989789552 140733989781872 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1115/statm: 574 262 179 440 0 130 0
[pid=1141] ppid=1115 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1141/stat : 1141 (satsolver.sh) S 1115 1114 30587 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271150103 9367552 266 33554432000 4194304 5064252 140736007863504 140736007862416 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1141/statm: 2287 266 226 213 0 72 0
[pid=1142] ppid=1141 vsize=6096 CPUtime=2.95 cores=1,3,5,7
/proc/1142/stat : 1142 (glucose) R 1141 1114 30587 0 -1 4202496 1478 0 0 0 295 0 0 0 20 0 1 0 271150103 6242304 1102 33554432000 4194304 5208918 140737239231536 140737239229400 4205203 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1142/statm: 1524 1102 102 248 0 1273 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 26688
[startup+6.30033 s]
/proc/loadavg: 2.03 1.32 1.41 3/184 1163
/proc/meminfo: memFree=27180272/32873844 swapFree=6088/6088
[pid=1114] ppid=1112 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1114/stat : 1114 (npSolver-pbo.sh) S 1112 1114 30587 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271150089 9367552 275 33554432000 4194304 5064252 140736976553312 140736976552224 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1114/statm: 2287 275 233 213 0 72 0
[pid=1115] ppid=1114 vsize=2296 CPUtime=3.19 cores=1,3,5,7
/proc/1115/stat : 1115 (npSolver-pbo) S 1114 1114 30587 0 -1 4202496 890 24202 0 0 0 0 313 6 20 0 1 0 271150090 2351104 262 33554432000 4194304 5992684 140733989789552 140733989781872 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1115/statm: 574 262 179 440 0 130 0
[pid=1162] ppid=1115 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1162/stat : 1162 (satsolver.sh) S 1115 1114 30587 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 271150411 9367552 267 33554432000 4194304 5064252 140735396235424 140735396234336 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1162/statm: 2287 267 226 213 0 72 0
[pid=1163] ppid=1162 vsize=8540 CPUtime=3.07 cores=1,3,5,7
/proc/1163/stat : 1163 (glucose) R 1162 1114 30587 0 -1 4202496 1893 0 0 0 307 0 0 0 20 0 1 0 271150411 8744960 1490 33554432000 4194304 5208918 140734539667952 140734539665896 4229010 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1163/statm: 2135 1490 102 248 0 1884 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 29132
Solver just ended. Dumping a history of the last processes samples
[startup+9.50033 s]
/proc/loadavg: 2.03 1.33 1.41 3/184 1163
/proc/meminfo: memFree=27176920/32873844 swapFree=6088/6088
[pid=1114] ppid=1112 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1114/stat : 1114 (npSolver-pbo.sh) S 1112 1114 30587 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271150089 9367552 275 33554432000 4194304 5064252 140736976553312 140736976552224 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1114/statm: 2287 275 233 213 0 72 0
[pid=1115] ppid=1114 vsize=2296 CPUtime=3.19 cores=1,3,5,7
/proc/1115/stat : 1115 (npSolver-pbo) S 1114 1114 30587 0 -1 4202496 890 24202 0 0 0 0 313 6 20 0 1 0 271150090 2351104 262 33554432000 4194304 5992684 140733989789552 140733989781872 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1115/statm: 574 262 179 440 0 130 0
[pid=1162] ppid=1115 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1162/stat : 1162 (satsolver.sh) S 1115 1114 30587 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 271150411 9367552 267 33554432000 4194304 5064252 140735396235424 140735396234336 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1162/statm: 2287 267 226 213 0 72 0
[pid=1163] ppid=1162 vsize=10188 CPUtime=6.27 cores=1,3,5,7
/proc/1163/stat : 1163 (glucose) R 1162 1114 30587 0 -1 4202496 2453 0 0 0 627 0 0 0 20 0 1 0 271150411 10432512 2011 33554432000 4194304 5208918 140734539667952 140734539665816 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1163/statm: 2547 2011 102 248 0 2296 0
Current children cumulated CPU time (s) 9.46
Current children cumulated vsize (KiB) 30780
[startup+11.1003 s]
/proc/loadavg: 2.03 1.33 1.41 3/184 1163
/proc/meminfo: memFree=27174408/32873844 swapFree=6088/6088
[pid=1114] ppid=1112 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1114/stat : 1114 (npSolver-pbo.sh) S 1112 1114 30587 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271150089 9367552 275 33554432000 4194304 5064252 140736976553312 140736976552224 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1114/statm: 2287 275 233 213 0 72 0
[pid=1115] ppid=1114 vsize=2296 CPUtime=3.19 cores=1,3,5,7
/proc/1115/stat : 1115 (npSolver-pbo) S 1114 1114 30587 0 -1 4202496 890 24202 0 0 0 0 313 6 20 0 1 0 271150090 2351104 262 33554432000 4194304 5992684 140733989789552 140733989781872 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1115/statm: 574 262 179 440 0 130 0
[pid=1162] ppid=1115 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1162/stat : 1162 (satsolver.sh) S 1115 1114 30587 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 271150411 9367552 267 33554432000 4194304 5064252 140735396235424 140735396234336 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1162/statm: 2287 267 226 213 0 72 0
[pid=1163] ppid=1162 vsize=10188 CPUtime=7.87 cores=1,3,5,7
/proc/1163/stat : 1163 (glucose) R 1162 1114 30587 0 -1 4202496 2488 0 0 0 787 0 0 0 20 0 1 0 271150411 10432512 2045 33554432000 4194304 5208918 140734539667952 140734539665816 4213749 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1163/statm: 2547 2045 102 248 0 2296 0
Current children cumulated CPU time (s) 11.06
Current children cumulated vsize (KiB) 30780
[startup+11.5003 s]
/proc/loadavg: 2.03 1.33 1.41 3/184 1163
/proc/meminfo: memFree=27174408/32873844 swapFree=6088/6088
[pid=1114] ppid=1112 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1114/stat : 1114 (npSolver-pbo.sh) S 1112 1114 30587 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271150089 9367552 275 33554432000 4194304 5064252 140736976553312 140736976552224 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1114/statm: 2287 275 233 213 0 72 0
[pid=1115] ppid=1114 vsize=2296 CPUtime=3.19 cores=1,3,5,7
/proc/1115/stat : 1115 (npSolver-pbo) S 1114 1114 30587 0 -1 4202496 890 24202 0 0 0 0 313 6 20 0 1 0 271150090 2351104 262 33554432000 4194304 5992684 140733989789552 140733989781872 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1115/statm: 574 262 179 440 0 130 0
[pid=1162] ppid=1115 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1162/stat : 1162 (satsolver.sh) S 1115 1114 30587 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 271150411 9367552 267 33554432000 4194304 5064252 140735396235424 140735396234336 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1162/statm: 2287 267 226 213 0 72 0
[pid=1163] ppid=1162 vsize=10188 CPUtime=8.27 cores=1,3,5,7
/proc/1163/stat : 1163 (glucose) R 1162 1114 30587 0 -1 4202496 2488 0 0 0 827 0 0 0 20 0 1 0 271150411 10432512 2045 33554432000 4194304 5208918 140734539667952 140734539665816 4229776 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1163/statm: 2547 2045 102 248 0 2296 0
Current children cumulated CPU time (s) 11.46
Current children cumulated vsize (KiB) 30780
[startup+11.7003 s]
/proc/loadavg: 2.03 1.33 1.41 3/184 1163
/proc/meminfo: memFree=27174408/32873844 swapFree=6088/6088
[pid=1114] ppid=1112 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1114/stat : 1114 (npSolver-pbo.sh) S 1112 1114 30587 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271150089 9367552 275 33554432000 4194304 5064252 140736976553312 140736976552224 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1114/statm: 2287 275 233 213 0 72 0
[pid=1115] ppid=1114 vsize=2296 CPUtime=3.19 cores=1,3,5,7
/proc/1115/stat : 1115 (npSolver-pbo) S 1114 1114 30587 0 -1 4202496 890 24202 0 0 0 0 313 6 20 0 1 0 271150090 2351104 262 33554432000 4194304 5992684 140733989789552 140733989781872 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1115/statm: 574 262 179 440 0 130 0
[pid=1162] ppid=1115 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1162/stat : 1162 (satsolver.sh) S 1115 1114 30587 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 271150411 9367552 267 33554432000 4194304 5064252 140735396235424 140735396234336 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1162/statm: 2287 267 226 213 0 72 0
[pid=1163] ppid=1162 vsize=10188 CPUtime=8.47 cores=1,3,5,7
/proc/1163/stat : 1163 (glucose) R 1162 1114 30587 0 -1 4202496 2488 0 0 0 847 0 0 0 20 0 1 0 271150411 10432512 2045 33554432000 4194304 5208918 140734539667952 140734539665816 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1163/statm: 2547 2045 102 248 0 2296 0
Current children cumulated CPU time (s) 11.66
Current children cumulated vsize (KiB) 30780
[startup+11.8003 s]
/proc/loadavg: 2.03 1.33 1.41 3/184 1163
/proc/meminfo: memFree=27174408/32873844 swapFree=6088/6088
[pid=1114] ppid=1112 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1114/stat : 1114 (npSolver-pbo.sh) S 1112 1114 30587 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271150089 9367552 275 33554432000 4194304 5064252 140736976553312 140736976552224 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1114/statm: 2287 275 233 213 0 72 0
[pid=1115] ppid=1114 vsize=2296 CPUtime=11.77 cores=1,3,5,7
/proc/1115/stat : 1115 (npSolver-pbo) S 1114 1114 30587 0 -1 4202496 899 27297 0 0 0 0 1170 7 20 0 1 0 271150090 2351104 262 33554432000 4194304 5992684 140733989789552 140733989781360 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1115/statm: 574 262 179 440 0 130 0
Current children cumulated CPU time (s) 11.77
Current children cumulated vsize (KiB) 11444
Child status: 0
Real time (s): 11.8098
CPU time (s): 11.8082
CPU user time (s): 11.7202
CPU system time (s): 0.087986
CPU usage (%): 99.9869
Max. virtual memory (cumulated for all children) (KiB): 30780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.7202
system time used= 0.087986
maximum resident set size= 8184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31329
page faults= 0
swaps= 0
block input operations= 0
block output operations= 824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111
involuntary context switches= 97
runsolver used 0.010998 second user time and 0.086986 second system time
The end