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-3701508-1338079776/watcher-3701508-1338079776 -o /tmp/evaluation-result-3701508-1338079776/solver-3701508-1338079776 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701508-1338079776.opb 538689644 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.39 2.10 2.03 3/180 16333
/proc/meminfo: memFree=31208120/32873844 swapFree=6080/6080
[pid=16333] ppid=16331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16333/stat : 16333 (npSolver-pbo.sh) S 16331 16333 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274102128 9367552 274 33554432000 4194304 5064252 140735874064656 140735874063568 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16333/statm: 2287 274 233 213 0 72 0

[startup+0.0679831 s]
/proc/loadavg: 2.39 2.10 2.03 3/180 16333
/proc/meminfo: memFree=31208120/32873844 swapFree=6080/6080
[pid=16333] ppid=16331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16333/stat : 16333 (npSolver-pbo.sh) S 16331 16333 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274102128 9367552 274 33554432000 4194304 5064252 140735874064656 140735874063568 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16333/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100258 s]
/proc/loadavg: 2.39 2.10 2.03 3/180 16333
/proc/meminfo: memFree=31208120/32873844 swapFree=6080/6080
[pid=16333] ppid=16331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16333/stat : 16333 (npSolver-pbo.sh) S 16331 16333 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274102128 9367552 274 33554432000 4194304 5064252 140735874064656 140735874063568 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16333/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300248 s]
/proc/loadavg: 2.39 2.10 2.03 3/180 16333
/proc/meminfo: memFree=31208120/32873844 swapFree=6080/6080
[pid=16333] ppid=16331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16333/stat : 16333 (npSolver-pbo.sh) S 16331 16333 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274102128 9367552 274 33554432000 4194304 5064252 140735874064656 140735874063568 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16333/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700246 s]
/proc/loadavg: 2.39 2.10 2.03 3/180 16333
/proc/meminfo: memFree=31208120/32873844 swapFree=6080/6080
[pid=16333] ppid=16331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16333/stat : 16333 (npSolver-pbo.sh) S 16331 16333 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274102128 9367552 274 33554432000 4194304 5064252 140735874064656 140735874063568 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16333/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50035 s]
/proc/loadavg: 2.39 2.10 2.03 3/184 16354
/proc/meminfo: memFree=31190416/32873844 swapFree=6080/6080
[pid=16333] ppid=16331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16333/stat : 16333 (npSolver-pbo.sh) S 16331 16333 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274102128 9367552 274 33554432000 4194304 5064252 140735874064656 140735874063568 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16333/statm: 2287 274 233 213 0 72 0
[pid=16334] ppid=16333 vsize=4856 CPUtime=1.48 cores=1,3,5,7
/proc/16334/stat : 16334 (npSolver-pbo) R 16333 16333 11113 0 -1 4202496 1955 16994 0 0 20 4 118 6 20 0 1 0 274102128 4972544 875 33554432000 4194304 5992684 140735497167392 140735497159200 5179600 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16334/statm: 1214 875 173 440 0 770 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 14004

[startup+3.10028 s]
/proc/loadavg: 2.27 2.08 2.02 3/184 16368
/proc/meminfo: memFree=31191904/32873844 swapFree=6080/6080
[pid=16333] ppid=16331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16333/stat : 16333 (npSolver-pbo.sh) S 16331 16333 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274102128 9367552 274 33554432000 4194304 5064252 140735874064656 140735874063568 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16333/statm: 2287 274 233 213 0 72 0
[pid=16334] ppid=16333 vsize=4852 CPUtime=2.44 cores=1,3,5,7
/proc/16334/stat : 16334 (npSolver-pbo) S 16333 16333 11113 0 -1 4202496 3588 29270 0 0 25 5 205 9 20 0 1 0 274102128 4968448 860 33554432000 4194304 5992684 140735497167392 140735497159712 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16334/statm: 1213 860 173 440 0 769 0
Current children cumulated CPU time (s) 2.44
Current children cumulated vsize (KiB) 14000
heavy processes:

[startup+6.30035 s]
/proc/loadavg: 2.27 2.08 2.02 3/184 16389
/proc/meminfo: memFree=31191052/32873844 swapFree=6080/6080
[pid=16333] ppid=16331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16333/stat : 16333 (npSolver-pbo.sh) S 16331 16333 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274102128 9367552 274 33554432000 4194304 5064252 140735874064656 140735874063568 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16333/statm: 2287 274 233 213 0 72 0
[pid=16334] ppid=16333 vsize=4852 CPUtime=5.14 cores=1,3,5,7
/proc/16334/stat : 16334 (npSolver-pbo) S 16333 16333 11113 0 -1 4202496 4744 42605 0 0 28 5 469 12 20 0 1 0 274102128 4968448 869 33554432000 4194304 5992684 140735497167392 140735497159712 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16334/statm: 1213 869 173 440 0 769 0
[pid=16388] ppid=16334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16388/stat : 16388 (satsolver.sh) S 16334 16333 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274102654 9367552 267 33554432000 4194304 5064252 140736377155712 140736377154624 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16388/statm: 2287 267 226 213 0 72 0
[pid=16389] ppid=16388 vsize=15788 CPUtime=1.03 cores=1,3,5,7
/proc/16389/stat : 16389 (glucose) R 16388 16333 11113 0 -1 4202496 2818 0 0 0 103 0 0 0 20 0 1 0 274102654 16166912 3206 33554432000 4194304 5208918 140734146611408 140734146609256 4212649 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16389/statm: 3947 3206 101 248 0 3696 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 38936

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

[startup+7.10031 s]
/proc/loadavg: 2.27 2.08 2.02 3/184 16389
/proc/meminfo: memFree=31190688/32873844 swapFree=6080/6080
[pid=16333] ppid=16331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16333/stat : 16333 (npSolver-pbo.sh) S 16331 16333 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274102128 9367552 274 33554432000 4194304 5064252 140735874064656 140735874063568 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16333/statm: 2287 274 233 213 0 72 0
[pid=16334] ppid=16333 vsize=4852 CPUtime=6.61 cores=1,3,5,7
/proc/16334/stat : 16334 (npSolver-pbo) S 16333 16333 11113 0 -1 4202496 5324 48910 0 0 29 5 613 14 20 0 1 0 274102128 4968448 870 33554432000 4194304 5992684 140735497167392 140735497159712 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16334/statm: 1213 870 173 440 0 769 0
Current children cumulated CPU time (s) 6.61
Current children cumulated vsize (KiB) 14000

[startup+7.50028 s]
/proc/loadavg: 2.27 2.08 2.02 3/184 16389
/proc/meminfo: memFree=31190688/32873844 swapFree=6080/6080
[pid=16333] ppid=16331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16333/stat : 16333 (npSolver-pbo.sh) S 16331 16333 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274102128 9367552 274 33554432000 4194304 5064252 140735874064656 140735874063568 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16333/statm: 2287 274 233 213 0 72 0
[pid=16334] ppid=16333 vsize=4852 CPUtime=6.61 cores=1,3,5,7
/proc/16334/stat : 16334 (npSolver-pbo) S 16333 16333 11113 0 -1 4202496 5324 48910 0 0 29 5 613 14 20 0 1 0 274102128 4968448 870 33554432000 4194304 5992684 140735497167392 140735497159712 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16334/statm: 1213 870 173 440 0 769 0
Current children cumulated CPU time (s) 6.61
Current children cumulated vsize (KiB) 14000

[startup+7.90044 s]
/proc/loadavg: 2.25 2.08 2.02 3/184 16396
/proc/meminfo: memFree=31190356/32873844 swapFree=6080/6080
[pid=16333] ppid=16331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16333/stat : 16333 (npSolver-pbo.sh) S 16331 16333 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274102128 9367552 274 33554432000 4194304 5064252 140735874064656 140735874063568 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16333/statm: 2287 274 233 213 0 72 0
[pid=16334] ppid=16333 vsize=4852 CPUtime=6.61 cores=1,3,5,7
/proc/16334/stat : 16334 (npSolver-pbo) S 16333 16333 11113 0 -1 4202496 5324 48910 0 0 29 5 613 14 20 0 1 0 274102128 4968448 870 33554432000 4194304 5992684 140735497167392 140735497159712 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16334/statm: 1213 870 173 440 0 769 0
[pid=16395] ppid=16334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16395/stat : 16395 (satsolver.sh) S 16334 16333 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274102800 9367552 267 33554432000 4194304 5064252 140734275158240 140734275157152 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16395/statm: 2287 267 226 213 0 72 0
[pid=16396] ppid=16395 vsize=14164 CPUtime=1.17 cores=1,3,5,7
/proc/16396/stat : 16396 (glucose) R 16395 16333 11113 0 -1 4202496 3556 0 0 0 117 0 0 0 20 0 1 0 274102800 14503936 2942 33554432000 4194304 5208918 140735383855088 140735383853112 4229010 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16396/statm: 3541 2942 101 248 0 3290 0
Current children cumulated CPU time (s) 7.78
Current children cumulated vsize (KiB) 37312

[startup+8.00037 s]
/proc/loadavg: 2.25 2.08 2.02 3/184 16396
/proc/meminfo: memFree=31190356/32873844 swapFree=6080/6080
[pid=16333] ppid=16331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16333/stat : 16333 (npSolver-pbo.sh) S 16331 16333 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274102128 9367552 274 33554432000 4194304 5064252 140735874064656 140735874063568 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16333/statm: 2287 274 233 213 0 72 0
[pid=16334] ppid=16333 vsize=4852 CPUtime=6.61 cores=1,3,5,7
/proc/16334/stat : 16334 (npSolver-pbo) S 16333 16333 11113 0 -1 4202496 5324 48910 0 0 29 5 613 14 20 0 1 0 274102128 4968448 870 33554432000 4194304 5992684 140735497167392 140735497159712 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16334/statm: 1213 870 173 440 0 769 0
[pid=16395] ppid=16334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16395/stat : 16395 (satsolver.sh) S 16334 16333 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274102800 9367552 267 33554432000 4194304 5064252 140734275158240 140734275157152 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16395/statm: 2287 267 226 213 0 72 0
[pid=16396] ppid=16395 vsize=14164 CPUtime=1.27 cores=1,3,5,7
/proc/16396/stat : 16396 (glucose) R 16395 16333 11113 0 -1 4202496 3566 0 0 0 127 0 0 0 20 0 1 0 274102800 14503936 2951 33554432000 4194304 5208918 140735383855088 140735383853112 4212856 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16396/statm: 3541 2951 101 248 0 3290 0
Current children cumulated CPU time (s) 7.88
Current children cumulated vsize (KiB) 37312

Child status: 0
Real time (s): 8.09536
CPU time (s): 8.01378
CPU user time (s): 7.78782
CPU system time (s): 0.225965
CPU usage (%): 98.9923
Max. virtual memory (cumulated for all children) (KiB): 41760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.78782
system time used= 0.225965
maximum resident set size= 15776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61522
page faults= 0
swaps= 0
block input operations= 0
block output operations= 27408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 180
involuntary context switches= 110

runsolver used 0.010998 second user time and 0.051992 second system time

The end