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-3749469-1339111836/watcher-3749469-1339111836 -o /tmp/evaluation-result-3749469-1339111836/solver-3749469-1339111836 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3749469-1339111836.opb 152905875 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.92 1.83 3/180 25817
/proc/meminfo: memFree=31746392/32873648 swapFree=7376/7376
[pid=25817] ppid=25815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25817/stat : 25817 (npSolver-pbo.sh) S 25815 25817 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377309582 9367552 274 33554432000 4194304 5064252 140735092785616 140735092784528 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25817/statm: 2287 274 233 213 0 72 0
[startup+0.042359 s]
/proc/loadavg: 1.97 1.92 1.83 3/180 25817
/proc/meminfo: memFree=31746392/32873648 swapFree=7376/7376
[pid=25817] ppid=25815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25817/stat : 25817 (npSolver-pbo.sh) S 25815 25817 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377309582 9367552 274 33554432000 4194304 5064252 140735092785616 140735092784528 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25817/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100174 s]
/proc/loadavg: 1.97 1.92 1.83 3/180 25817
/proc/meminfo: memFree=31746392/32873648 swapFree=7376/7376
[pid=25817] ppid=25815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25817/stat : 25817 (npSolver-pbo.sh) S 25815 25817 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377309582 9367552 274 33554432000 4194304 5064252 140735092785616 140735092784528 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25817/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300177 s]
/proc/loadavg: 1.97 1.92 1.83 3/180 25817
/proc/meminfo: memFree=31746392/32873648 swapFree=7376/7376
[pid=25817] ppid=25815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25817/stat : 25817 (npSolver-pbo.sh) S 25815 25817 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377309582 9367552 274 33554432000 4194304 5064252 140735092785616 140735092784528 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25817/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700125 s]
/proc/loadavg: 1.97 1.92 1.83 3/180 25817
/proc/meminfo: memFree=31746392/32873648 swapFree=7376/7376
[pid=25817] ppid=25815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25817/stat : 25817 (npSolver-pbo.sh) S 25815 25817 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377309582 9367552 274 33554432000 4194304 5064252 140735092785616 140735092784528 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25817/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 1.97 1.92 1.83 3/184 25824
/proc/meminfo: memFree=31739804/32873648 swapFree=7376/7376
[pid=25817] ppid=25815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25817/stat : 25817 (npSolver-pbo.sh) S 25815 25817 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377309582 9367552 274 33554432000 4194304 5064252 140735092785616 140735092784528 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25817/statm: 2287 274 233 213 0 72 0
[pid=25818] ppid=25817 vsize=3116 CPUtime=0.07 cores=1,3,5,7
/proc/25818/stat : 25818 (npSolver-pbo) S 25817 25817 21354 0 -1 4202496 1647 1821 0 0 1 0 6 0 20 0 1 0 377309582 3190784 443 33554432000 4194304 6004724 140736354977328 140736354972464 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25818/statm: 779 443 148 442 0 333 0
[pid=25823] ppid=25818 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25823/stat : 25823 (satsolver.sh) S 25818 25817 21354 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377309591 9367552 266 33554432000 4194304 5064252 140734085702336 140734085701248 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25823/statm: 2287 266 226 213 0 72 0
[pid=25824] ppid=25823 vsize=8344 CPUtime=1.4 cores=1,3,5,7
/proc/25824/stat : 25824 (glucose) R 25823 25817 21354 0 -1 4202496 1898 0 0 0 140 0 0 0 20 0 1 0 377309591 8544256 1444 33554432000 4194304 5208918 140734492084176 140734492082120 4229734 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25824/statm: 2086 1444 102 248 0 1835 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 29756
[startup+3.10034 s]
/proc/loadavg: 1.97 1.92 1.83 3/184 25824
/proc/meminfo: memFree=31737440/32873648 swapFree=7376/7376
[pid=25817] ppid=25815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25817/stat : 25817 (npSolver-pbo.sh) S 25815 25817 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377309582 9367552 274 33554432000 4194304 5064252 140735092785616 140735092784528 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25817/statm: 2287 274 233 213 0 72 0
[pid=25818] ppid=25817 vsize=3116 CPUtime=0.07 cores=1,3,5,7
/proc/25818/stat : 25818 (npSolver-pbo) S 25817 25817 21354 0 -1 4202496 1647 1821 0 0 1 0 6 0 20 0 1 0 377309582 3190784 443 33554432000 4194304 6004724 140736354977328 140736354972464 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25818/statm: 779 443 148 442 0 333 0
[pid=25823] ppid=25818 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25823/stat : 25823 (satsolver.sh) S 25818 25817 21354 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377309591 9367552 266 33554432000 4194304 5064252 140734085702336 140734085701248 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25823/statm: 2287 266 226 213 0 72 0
[pid=25824] ppid=25823 vsize=8532 CPUtime=2.99 cores=1,3,5,7
/proc/25824/stat : 25824 (glucose) R 25823 25817 21354 0 -1 4202496 2100 0 0 0 299 0 0 0 20 0 1 0 377309591 8736768 1640 33554432000 4194304 5208918 140734492084176 140734492082120 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25824/statm: 2133 1640 102 248 0 1882 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 29944
Solver just ended. Dumping a history of the last processes samples
[startup+3.90029 s]
/proc/loadavg: 1.97 1.92 1.83 3/184 25824
/proc/meminfo: memFree=31734524/32873648 swapFree=7376/7376
[pid=25817] ppid=25815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25817/stat : 25817 (npSolver-pbo.sh) S 25815 25817 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377309582 9367552 274 33554432000 4194304 5064252 140735092785616 140735092784528 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25817/statm: 2287 274 233 213 0 72 0
[pid=25818] ppid=25817 vsize=3116 CPUtime=0.07 cores=1,3,5,7
/proc/25818/stat : 25818 (npSolver-pbo) S 25817 25817 21354 0 -1 4202496 1647 1821 0 0 1 0 6 0 20 0 1 0 377309582 3190784 443 33554432000 4194304 6004724 140736354977328 140736354972464 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25818/statm: 779 443 148 442 0 333 0
[pid=25823] ppid=25818 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25823/stat : 25823 (satsolver.sh) S 25818 25817 21354 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377309591 9367552 266 33554432000 4194304 5064252 140734085702336 140734085701248 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25823/statm: 2287 266 226 213 0 72 0
[pid=25824] ppid=25823 vsize=10180 CPUtime=3.79 cores=1,3,5,7
/proc/25824/stat : 25824 (glucose) R 25823 25817 21354 0 -1 4202496 2589 0 0 0 379 0 0 0 20 0 1 0 377309591 10424320 2104 33554432000 4194304 5208918 140734492084176 140734492082040 4229125 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25824/statm: 2545 2104 102 248 0 2294 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 31592
[startup+4.30028 s]
/proc/loadavg: 1.97 1.93 1.83 3/184 25824
/proc/meminfo: memFree=31730780/32873648 swapFree=7376/7376
[pid=25817] ppid=25815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25817/stat : 25817 (npSolver-pbo.sh) S 25815 25817 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377309582 9367552 274 33554432000 4194304 5064252 140735092785616 140735092784528 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25817/statm: 2287 274 233 213 0 72 0
[pid=25818] ppid=25817 vsize=3116 CPUtime=0.07 cores=1,3,5,7
/proc/25818/stat : 25818 (npSolver-pbo) S 25817 25817 21354 0 -1 4202496 1647 1821 0 0 1 0 6 0 20 0 1 0 377309582 3190784 443 33554432000 4194304 6004724 140736354977328 140736354972464 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25818/statm: 779 443 148 442 0 333 0
[pid=25823] ppid=25818 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25823/stat : 25823 (satsolver.sh) S 25818 25817 21354 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377309591 9367552 266 33554432000 4194304 5064252 140734085702336 140734085701248 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25823/statm: 2287 266 226 213 0 72 0
[pid=25824] ppid=25823 vsize=10180 CPUtime=4.2 cores=1,3,5,7
/proc/25824/stat : 25824 (glucose) R 25823 25817 21354 0 -1 4202496 2589 0 0 0 420 0 0 0 20 0 1 0 377309591 10424320 2104 33554432000 4194304 5208918 140734492084176 140734492082040 4211162 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25824/statm: 2545 2104 102 248 0 2294 0
Current children cumulated CPU time (s) 4.27
Current children cumulated vsize (KiB) 31592
[startup+4.50029 s]
/proc/loadavg: 1.97 1.93 1.83 3/184 25824
/proc/meminfo: memFree=31730780/32873648 swapFree=7376/7376
[pid=25817] ppid=25815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25817/stat : 25817 (npSolver-pbo.sh) S 25815 25817 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377309582 9367552 274 33554432000 4194304 5064252 140735092785616 140735092784528 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25817/statm: 2287 274 233 213 0 72 0
[pid=25818] ppid=25817 vsize=3116 CPUtime=0.07 cores=1,3,5,7
/proc/25818/stat : 25818 (npSolver-pbo) S 25817 25817 21354 0 -1 4202496 1647 1821 0 0 1 0 6 0 20 0 1 0 377309582 3190784 443 33554432000 4194304 6004724 140736354977328 140736354972464 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25818/statm: 779 443 148 442 0 333 0
[pid=25823] ppid=25818 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25823/stat : 25823 (satsolver.sh) S 25818 25817 21354 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377309591 9367552 266 33554432000 4194304 5064252 140734085702336 140734085701248 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25823/statm: 2287 266 226 213 0 72 0
[pid=25824] ppid=25823 vsize=10180 CPUtime=4.39 cores=1,3,5,7
/proc/25824/stat : 25824 (glucose) R 25823 25817 21354 0 -1 4202496 2589 0 0 0 439 0 0 0 20 0 1 0 377309591 10424320 2104 33554432000 4194304 5208918 140734492084176 140734492082040 4229776 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25824/statm: 2545 2104 102 248 0 2294 0
Current children cumulated CPU time (s) 4.46
Current children cumulated vsize (KiB) 31592
[startup+4.60029 s]
/proc/loadavg: 1.97 1.93 1.83 3/184 25824
/proc/meminfo: memFree=31730780/32873648 swapFree=7376/7376
[pid=25817] ppid=25815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25817/stat : 25817 (npSolver-pbo.sh) S 25815 25817 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377309582 9367552 274 33554432000 4194304 5064252 140735092785616 140735092784528 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25817/statm: 2287 274 233 213 0 72 0
[pid=25818] ppid=25817 vsize=3116 CPUtime=0.07 cores=1,3,5,7
/proc/25818/stat : 25818 (npSolver-pbo) S 25817 25817 21354 0 -1 4202496 1647 1821 0 0 1 0 6 0 20 0 1 0 377309582 3190784 443 33554432000 4194304 6004724 140736354977328 140736354972464 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25818/statm: 779 443 148 442 0 333 0
[pid=25823] ppid=25818 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25823/stat : 25823 (satsolver.sh) S 25818 25817 21354 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377309591 9367552 266 33554432000 4194304 5064252 140734085702336 140734085701248 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25823/statm: 2287 266 226 213 0 72 0
[pid=25824] ppid=25823 vsize=10180 CPUtime=4.49 cores=1,3,5,7
/proc/25824/stat : 25824 (glucose) R 25823 25817 21354 0 -1 4202496 2589 0 0 0 449 0 0 0 20 0 1 0 377309591 10424320 2104 33554432000 4194304 5208918 140734492084176 140734492082040 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25824/statm: 2545 2104 102 248 0 2294 0
Current children cumulated CPU time (s) 4.56
Current children cumulated vsize (KiB) 31592
Child status: 0
Real time (s): 4.64608
CPU time (s): 4.64529
CPU user time (s): 4.6253
CPU system time (s): 0.019996
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 31592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.6253
system time used= 0.019996
maximum resident set size= 30256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8956
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= 22
involuntary context switches= 19
runsolver used 0.003999 second user time and 0.030995 second system time
The end