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-3749466-1339111841/watcher-3749466-1339111841 -o /tmp/evaluation-result-3749466-1339111841/solver-3749466-1339111841 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3749466-1339111841.opb 939927359 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: 1.97 1.93 1.83 3/180 25913
/proc/meminfo: memFree=31739864/32873648 swapFree=7376/7376
[pid=25913] ppid=25911 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25913/stat : 25913 (npSolver-pbo.sh) S 25911 25913 21354 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377310114 9367552 274 33554432000 4194304 5064252 140734935585696 140734935584608 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25913/statm: 2287 274 233 213 0 72 0
[startup+0.0650931 s]
/proc/loadavg: 1.97 1.93 1.83 3/180 25913
/proc/meminfo: memFree=31739864/32873648 swapFree=7376/7376
[pid=25913] ppid=25911 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25913/stat : 25913 (npSolver-pbo.sh) S 25911 25913 21354 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377310114 9367552 274 33554432000 4194304 5064252 140734935585696 140734935584608 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25913/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100175 s]
/proc/loadavg: 1.97 1.93 1.83 3/180 25913
/proc/meminfo: memFree=31739864/32873648 swapFree=7376/7376
[pid=25913] ppid=25911 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25913/stat : 25913 (npSolver-pbo.sh) S 25911 25913 21354 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377310114 9367552 274 33554432000 4194304 5064252 140734935585696 140734935584608 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25913/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300181 s]
/proc/loadavg: 1.97 1.93 1.83 3/180 25913
/proc/meminfo: memFree=31739864/32873648 swapFree=7376/7376
[pid=25913] ppid=25911 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25913/stat : 25913 (npSolver-pbo.sh) S 25911 25913 21354 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377310114 9367552 274 33554432000 4194304 5064252 140734935585696 140734935584608 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25913/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700178 s]
/proc/loadavg: 1.97 1.93 1.83 3/180 25913
/proc/meminfo: memFree=31739864/32873648 swapFree=7376/7376
[pid=25913] ppid=25911 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25913/stat : 25913 (npSolver-pbo.sh) S 25911 25913 21354 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377310114 9367552 274 33554432000 4194304 5064252 140734935585696 140734935584608 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25913/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 1.97 1.93 1.83 3/184 25920
/proc/meminfo: memFree=31775140/32873648 swapFree=7376/7376
[pid=25913] ppid=25911 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25913/stat : 25913 (npSolver-pbo.sh) S 25911 25913 21354 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377310114 9367552 274 33554432000 4194304 5064252 140734935585696 140734935584608 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25913/statm: 2287 274 233 213 0 72 0
[pid=25914] ppid=25913 vsize=3116 CPUtime=0.07 cores=1,3,5,7
/proc/25914/stat : 25914 (npSolver-pbo) S 25913 25913 21354 0 -1 4202496 2158 1827 0 0 1 0 6 0 20 0 1 0 377310115 3190784 442 33554432000 4194304 6004724 140734552539440 140734552534576 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25914/statm: 779 442 148 442 0 333 0
[pid=25919] ppid=25914 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25919/stat : 25919 (satsolver.sh) S 25914 25913 21354 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 377310124 9367552 267 33554432000 4194304 5064252 140735432525296 140735432524208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25919/statm: 2287 267 226 213 0 72 0
[pid=25920] ppid=25919 vsize=6712 CPUtime=1.4 cores=1,3,5,7
/proc/25920/stat : 25920 (glucose) R 25919 25913 21354 0 -1 4202496 1762 0 0 0 140 0 0 0 20 0 1 0 377310124 6873088 1231 33554432000 4194304 5208918 140735448466112 140735448464056 4229512 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25920/statm: 1678 1231 96 248 0 1427 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 28124
[startup+3.10029 s]
/proc/loadavg: 1.97 1.93 1.83 3/184 25920
/proc/meminfo: memFree=31774396/32873648 swapFree=7376/7376
[pid=25913] ppid=25911 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25913/stat : 25913 (npSolver-pbo.sh) S 25911 25913 21354 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377310114 9367552 274 33554432000 4194304 5064252 140734935585696 140734935584608 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25913/statm: 2287 274 233 213 0 72 0
[pid=25914] ppid=25913 vsize=3116 CPUtime=0.07 cores=1,3,5,7
/proc/25914/stat : 25914 (npSolver-pbo) S 25913 25913 21354 0 -1 4202496 2158 1827 0 0 1 0 6 0 20 0 1 0 377310115 3190784 442 33554432000 4194304 6004724 140734552539440 140734552534576 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25914/statm: 779 442 148 442 0 333 0
[pid=25919] ppid=25914 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25919/stat : 25919 (satsolver.sh) S 25914 25913 21354 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 377310124 9367552 267 33554432000 4194304 5064252 140735432525296 140735432524208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25919/statm: 2287 267 226 213 0 72 0
[pid=25920] ppid=25919 vsize=9500 CPUtime=2.99 cores=1,3,5,7
/proc/25920/stat : 25920 (glucose) R 25919 25913 21354 0 -1 4202496 2282 0 0 0 299 0 0 0 20 0 1 0 377310124 9728000 1728 33554432000 4194304 5208918 140735448466112 140735448464056 4211620 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25920/statm: 2375 1728 102 248 0 2124 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 30912
Solver just ended. Dumping a history of the last processes samples
[startup+3.20035 s]
/proc/loadavg: 1.97 1.93 1.83 3/184 25920
/proc/meminfo: memFree=31774396/32873648 swapFree=7376/7376
[pid=25913] ppid=25911 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25913/stat : 25913 (npSolver-pbo.sh) S 25911 25913 21354 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377310114 9367552 274 33554432000 4194304 5064252 140734935585696 140734935584608 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25913/statm: 2287 274 233 213 0 72 0
[pid=25914] ppid=25913 vsize=3116 CPUtime=0.07 cores=1,3,5,7
/proc/25914/stat : 25914 (npSolver-pbo) S 25913 25913 21354 0 -1 4202496 2158 1827 0 0 1 0 6 0 20 0 1 0 377310115 3190784 442 33554432000 4194304 6004724 140734552539440 140734552534576 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25914/statm: 779 442 148 442 0 333 0
[pid=25919] ppid=25914 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25919/stat : 25919 (satsolver.sh) S 25914 25913 21354 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 377310124 9367552 267 33554432000 4194304 5064252 140735432525296 140735432524208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25919/statm: 2287 267 226 213 0 72 0
[pid=25920] ppid=25919 vsize=9500 CPUtime=3.09 cores=1,3,5,7
/proc/25920/stat : 25920 (glucose) R 25919 25913 21354 0 -1 4202496 2282 0 0 0 309 0 0 0 20 0 1 0 377310124 9728000 1728 33554432000 4194304 5208918 140735448466112 140735448464056 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25920/statm: 2375 1728 102 248 0 2124 0
Current children cumulated CPU time (s) 3.16
Current children cumulated vsize (KiB) 30912
[startup+3.60035 s]
/proc/loadavg: 1.97 1.93 1.83 3/184 25920
/proc/meminfo: memFree=31772800/32873648 swapFree=7376/7376
[pid=25913] ppid=25911 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25913/stat : 25913 (npSolver-pbo.sh) S 25911 25913 21354 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377310114 9367552 274 33554432000 4194304 5064252 140734935585696 140734935584608 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25913/statm: 2287 274 233 213 0 72 0
[pid=25914] ppid=25913 vsize=3116 CPUtime=0.07 cores=1,3,5,7
/proc/25914/stat : 25914 (npSolver-pbo) S 25913 25913 21354 0 -1 4202496 2158 1827 0 0 1 0 6 0 20 0 1 0 377310115 3190784 442 33554432000 4194304 6004724 140734552539440 140734552534576 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25914/statm: 779 442 148 442 0 333 0
[pid=25919] ppid=25914 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25919/stat : 25919 (satsolver.sh) S 25914 25913 21354 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 377310124 9367552 267 33554432000 4194304 5064252 140735432525296 140735432524208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25919/statm: 2287 267 226 213 0 72 0
[pid=25920] ppid=25919 vsize=9500 CPUtime=3.49 cores=1,3,5,7
/proc/25920/stat : 25920 (glucose) R 25919 25913 21354 0 -1 4202496 2353 0 0 0 349 0 0 0 20 0 1 0 377310124 9728000 1798 33554432000 4194304 5208918 140735448466112 140735448463976 4229776 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25920/statm: 2375 1798 102 248 0 2124 0
Current children cumulated CPU time (s) 3.56
Current children cumulated vsize (KiB) 30912
[startup+4.00034 s]
/proc/loadavg: 1.97 1.93 1.83 3/184 25920
/proc/meminfo: memFree=31772800/32873648 swapFree=7376/7376
[pid=25913] ppid=25911 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25913/stat : 25913 (npSolver-pbo.sh) S 25911 25913 21354 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377310114 9367552 274 33554432000 4194304 5064252 140734935585696 140734935584608 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25913/statm: 2287 274 233 213 0 72 0
[pid=25914] ppid=25913 vsize=3116 CPUtime=0.07 cores=1,3,5,7
/proc/25914/stat : 25914 (npSolver-pbo) S 25913 25913 21354 0 -1 4202496 2158 1827 0 0 1 0 6 0 20 0 1 0 377310115 3190784 442 33554432000 4194304 6004724 140734552539440 140734552534576 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25914/statm: 779 442 148 442 0 333 0
[pid=25919] ppid=25914 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25919/stat : 25919 (satsolver.sh) S 25914 25913 21354 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 377310124 9367552 267 33554432000 4194304 5064252 140735432525296 140735432524208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25919/statm: 2287 267 226 213 0 72 0
[pid=25920] ppid=25919 vsize=9500 CPUtime=3.89 cores=1,3,5,7
/proc/25920/stat : 25920 (glucose) R 25919 25913 21354 0 -1 4202496 2458 0 0 0 389 0 0 0 20 0 1 0 377310124 9728000 1898 33554432000 4194304 5208918 140735448466112 140735448463976 4211572 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25920/statm: 2375 1898 102 248 0 2124 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 30912
Child status: 0
Real time (s): 4.03928
CPU time (s): 4.03639
CPU user time (s): 4.01639
CPU system time (s): 0.019996
CPU usage (%): 99.9283
Max. virtual memory (cumulated for all children) (KiB): 30912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.01639
system time used= 0.019996
maximum resident set size= 30252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9854
page faults= 0
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21
involuntary context switches= 20
runsolver used 0.010998 second user time and 0.014997 second system time
The end