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-3701504-1338079941/watcher-3701504-1338079941 -o /tmp/evaluation-result-3701504-1338079941/solver-3701504-1338079941 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701504-1338079941.opb 835723221 HOME HOME 

running on 4 cores: 0,2,4,6

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.00 2.00 2.00 3/179 16618
/proc/meminfo: memFree=29111096/32873648 swapFree=6864/6864
[pid=16618] ppid=16616 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16618/stat : 16618 (npSolver-pbo.sh) S 16616 16618 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274119563 9367552 275 33554432000 4194304 5064252 140736998763120 140736998762032 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16618/statm: 2287 275 233 213 0 72 0

[startup+0.0332221 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16618
/proc/meminfo: memFree=29111096/32873648 swapFree=6864/6864
[pid=16618] ppid=16616 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16618/stat : 16618 (npSolver-pbo.sh) S 16616 16618 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274119563 9367552 275 33554432000 4194304 5064252 140736998763120 140736998762032 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16618/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100138 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16618
/proc/meminfo: memFree=29111096/32873648 swapFree=6864/6864
[pid=16618] ppid=16616 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16618/stat : 16618 (npSolver-pbo.sh) S 16616 16618 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274119563 9367552 275 33554432000 4194304 5064252 140736998763120 140736998762032 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16618/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300132 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16618
/proc/meminfo: memFree=29111096/32873648 swapFree=6864/6864
[pid=16618] ppid=16616 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16618/stat : 16618 (npSolver-pbo.sh) S 16616 16618 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274119563 9367552 275 33554432000 4194304 5064252 140736998763120 140736998762032 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16618/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700125 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16618
/proc/meminfo: memFree=29111096/32873648 swapFree=6864/6864
[pid=16618] ppid=16616 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16618/stat : 16618 (npSolver-pbo.sh) S 16616 16618 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274119563 9367552 275 33554432000 4194304 5064252 140736998763120 140736998762032 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16618/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.00 2.00 2.00 3/183 16639
/proc/meminfo: memFree=29093144/32873648 swapFree=6864/6864
[pid=16618] ppid=16616 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16618/stat : 16618 (npSolver-pbo.sh) S 16616 16618 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274119563 9367552 275 33554432000 4194304 5064252 140736998763120 140736998762032 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16618/statm: 2287 275 233 213 0 72 0
[pid=16619] ppid=16618 vsize=4880 CPUtime=0.38 cores=0,2,4,6
/proc/16619/stat : 16619 (npSolver-pbo) S 16618 16618 11614 0 -1 4202496 2513 11631 0 0 17 4 15 2 20 0 1 0 274119563 4997120 684 33554432000 4194304 5992684 140736022155856 140736022148176 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16619/statm: 1220 684 173 440 0 776 0
[pid=16638] ppid=16619 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16638/stat : 16638 (satsolver.sh) S 16619 16618 11614 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274119603 9367552 267 33554432000 4194304 5064252 140735787244928 140735787243840 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16638/statm: 2287 267 226 213 0 72 0
[pid=16639] ppid=16638 vsize=16868 CPUtime=1.08 cores=0,2,4,6
/proc/16639/stat : 16639 (glucose) R 16638 16618 11614 0 -1 4202496 3067 0 0 0 108 0 0 0 20 0 1 0 274119603 17272832 3456 33554432000 4194304 5208918 140735258755776 140735258753624 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16639/statm: 4217 3456 95 248 0 3966 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 40044

[startup+3.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16639
/proc/meminfo: memFree=29093208/32873648 swapFree=6864/6864
[pid=16618] ppid=16616 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16618/stat : 16618 (npSolver-pbo.sh) S 16616 16618 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274119563 9367552 275 33554432000 4194304 5064252 140736998763120 140736998762032 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16618/statm: 2287 275 233 213 0 72 0
[pid=16619] ppid=16618 vsize=6928 CPUtime=2.85 cores=0,2,4,6
/proc/16619/stat : 16619 (npSolver-pbo) S 16618 16618 11614 0 -1 4202496 5290 32779 0 0 31 4 239 11 20 0 1 0 274119563 7094272 1175 33554432000 4194304 5992684 140736022155856 140736022148176 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16619/statm: 1732 1175 173 440 0 1288 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 16076

[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16667
/proc/meminfo: memFree=29087880/32873648 swapFree=6864/6864
[pid=16618] ppid=16616 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16618/stat : 16618 (npSolver-pbo.sh) S 16616 16618 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274119563 9367552 275 33554432000 4194304 5064252 140736998763120 140736998762032 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16618/statm: 2287 275 233 213 0 72 0
[pid=16619] ppid=16618 vsize=6928 CPUtime=5.14 cores=0,2,4,6
/proc/16619/stat : 16619 (npSolver-pbo) S 16618 16618 11614 0 -1 4202496 6184 39996 0 0 33 5 463 13 20 0 1 0 274119563 7094272 1180 33554432000 4194304 5992684 140736022155856 140736022148176 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16619/statm: 1732 1180 173 440 0 1288 0
[pid=16666] ppid=16619 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16666/stat : 16666 (satsolver.sh) S 16619 16618 11614 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274120088 9367552 267 33554432000 4194304 5064252 140735389321728 140735389320640 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16666/statm: 2287 267 226 213 0 72 0
[pid=16667] ppid=16666 vsize=17060 CPUtime=1.04 cores=0,2,4,6
/proc/16667/stat : 16667 (glucose) R 16666 16618 11614 0 -1 4202496 3315 0 0 0 104 0 0 0 20 0 1 0 274120088 17469440 3692 33554432000 4194304 5208918 140733552753232 140733552751080 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16667/statm: 4265 3692 95 248 0 4014 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 42284

############
# WARNING:
# current cumulated CPU time (0 s) is less than in the last sample (11.78 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (11.78 s) to the 'lost time'.

[startup+11.9004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16681
/proc/meminfo: memFree=29088576/32873648 swapFree=6864/6864
[pid=16618] ppid=16616 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16618/stat : 16618 (npSolver-pbo.sh) S 16616 16618 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274119563 9367552 275 33554432000 4194304 5064252 140736998763120 140736998762032 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16618/statm: 2287 275 233 213 0 72 0
[pid=16619] ppid=16618 vsize=6928 CPUtime=9.2 cores=0,2,4,6
/proc/16619/stat : 16619 (npSolver-pbo) S 16618 16618 11614 0 -1 4202496 7996 53455 0 0 41 5 855 19 20 0 1 0 274119563 7094272 1179 33554432000 4194304 5992684 140736022155856 140736022148176 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16619/statm: 1732 1179 173 440 0 1288 0
[pid=16680] ppid=16619 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16680/stat : 16680 (satsolver.sh) S 16619 16618 11614 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 274120494 9367552 267 33554432000 4194304 5064252 140735392351472 140735392350384 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16680/statm: 2287 267 226 213 0 72 0
[pid=16681] ppid=16680 vsize=15776 CPUtime=2.58 cores=0,2,4,6
/proc/16681/stat : 16681 (glucose) R 16680 16618 11614 0 -1 4202496 4067 0 0 0 258 0 0 0 20 0 1 0 274120494 16154624 3411 33554432000 4194304 5208918 140737042276416 140737042274248 4205231 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16681/statm: 3944 3411 102 248 0 3693 0
Current children cumulated CPU time (s) 11.78
Current children cumulated vsize (KiB) 41000

[startup+12.0002 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 16686
/proc/meminfo: memFree=29102856/32873648 swapFree=6864/6864
[pid=16618] ppid=-1 vsize=0 CPUtime=0 cores=
/proc/16618/stat : -- couldn't open stat file --/proc/16618/statm: Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
#
############


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

[startup+9.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16674
/proc/meminfo: memFree=29088368/32873648 swapFree=6864/6864
[pid=16618] ppid=16616 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16618/stat : 16618 (npSolver-pbo.sh) S 16616 16618 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274119563 9367552 275 33554432000 4194304 5064252 140736998763120 140736998762032 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16618/statm: 2287 275 233 213 0 72 0
[pid=16619] ppid=16618 vsize=6928 CPUtime=9.2 cores=0,2,4,6
/proc/16619/stat : 16619 (npSolver-pbo) S 16618 16618 11614 0 -1 4202496 7996 53455 0 0 41 5 855 19 20 0 1 0 274119563 7094272 1179 33554432000 4194304 5992684 140736022155856 140736022148176 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16619/statm: 1732 1179 173 440 0 1288 0
Current children cumulated CPU time (s) 9.2
Current children cumulated vsize (KiB) 16076

[startup+11.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16681
/proc/meminfo: memFree=29088576/32873648 swapFree=6864/6864
[pid=16618] ppid=16616 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16618/stat : 16618 (npSolver-pbo.sh) S 16616 16618 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274119563 9367552 275 33554432000 4194304 5064252 140736998763120 140736998762032 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16618/statm: 2287 275 233 213 0 72 0
[pid=16619] ppid=16618 vsize=6928 CPUtime=9.2 cores=0,2,4,6
/proc/16619/stat : 16619 (npSolver-pbo) S 16618 16618 11614 0 -1 4202496 7996 53455 0 0 41 5 855 19 20 0 1 0 274119563 7094272 1179 33554432000 4194304 5992684 140736022155856 140736022148176 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16619/statm: 1732 1179 173 440 0 1288 0
[pid=16680] ppid=16619 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16680/stat : 16680 (satsolver.sh) S 16619 16618 11614 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 274120494 9367552 267 33554432000 4194304 5064252 140735392351472 140735392350384 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16680/statm: 2287 267 226 213 0 72 0
[pid=16681] ppid=16680 vsize=15776 CPUtime=1.78 cores=0,2,4,6
/proc/16681/stat : 16681 (glucose) R 16680 16618 11614 0 -1 4202496 3982 0 0 0 178 0 0 0 20 0 1 0 274120494 16154624 3329 33554432000 4194304 5208918 140737042276416 140737042274248 4229072 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16681/statm: 3944 3329 102 248 0 3693 0
Current children cumulated CPU time (s) 10.98
Current children cumulated vsize (KiB) 41000

[startup+11.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16681
/proc/meminfo: memFree=29088576/32873648 swapFree=6864/6864
[pid=16618] ppid=16616 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16618/stat : 16618 (npSolver-pbo.sh) S 16616 16618 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274119563 9367552 275 33554432000 4194304 5064252 140736998763120 140736998762032 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16618/statm: 2287 275 233 213 0 72 0
[pid=16619] ppid=16618 vsize=6928 CPUtime=9.2 cores=0,2,4,6
/proc/16619/stat : 16619 (npSolver-pbo) S 16618 16618 11614 0 -1 4202496 7996 53455 0 0 41 5 855 19 20 0 1 0 274119563 7094272 1179 33554432000 4194304 5992684 140736022155856 140736022148176 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16619/statm: 1732 1179 173 440 0 1288 0
[pid=16680] ppid=16619 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16680/stat : 16680 (satsolver.sh) S 16619 16618 11614 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 274120494 9367552 267 33554432000 4194304 5064252 140735392351472 140735392350384 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16680/statm: 2287 267 226 213 0 72 0
[pid=16681] ppid=16680 vsize=15776 CPUtime=2.18 cores=0,2,4,6
/proc/16681/stat : 16681 (glucose) R 16680 16618 11614 0 -1 4202496 4017 0 0 0 218 0 0 0 20 0 1 0 274120494 16154624 3362 33554432000 4194304 5208918 140737042276416 140737042274248 4229039 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16681/statm: 3944 3362 102 248 0 3693 0
Current children cumulated CPU time (s) 11.38
Current children cumulated vsize (KiB) 41000

[startup+11.9004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16681
/proc/meminfo: memFree=29088576/32873648 swapFree=6864/6864
[pid=16618] ppid=16616 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16618/stat : 16618 (npSolver-pbo.sh) S 16616 16618 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274119563 9367552 275 33554432000 4194304 5064252 140736998763120 140736998762032 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16618/statm: 2287 275 233 213 0 72 0
[pid=16619] ppid=16618 vsize=6928 CPUtime=9.2 cores=0,2,4,6
/proc/16619/stat : 16619 (npSolver-pbo) S 16618 16618 11614 0 -1 4202496 7996 53455 0 0 41 5 855 19 20 0 1 0 274119563 7094272 1179 33554432000 4194304 5992684 140736022155856 140736022148176 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16619/statm: 1732 1179 173 440 0 1288 0
[pid=16680] ppid=16619 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16680/stat : 16680 (satsolver.sh) S 16619 16618 11614 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 274120494 9367552 267 33554432000 4194304 5064252 140735392351472 140735392350384 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16680/statm: 2287 267 226 213 0 72 0
[pid=16681] ppid=16680 vsize=15776 CPUtime=2.58 cores=0,2,4,6
/proc/16681/stat : 16681 (glucose) R 16680 16618 11614 0 -1 4202496 4067 0 0 0 258 0 0 0 20 0 1 0 274120494 16154624 3411 33554432000 4194304 5208918 140737042276416 140737042274248 4205231 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16681/statm: 3944 3411 102 248 0 3693 0
Current children cumulated CPU time (s) 11.78
Current children cumulated vsize (KiB) 41000

[startup+12.0002 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 16686
/proc/meminfo: memFree=29102856/32873648 swapFree=6864/6864
[pid=16618] ppid=-1 vsize=0 CPUtime=0 cores=
/proc/16618/stat : -- couldn't open stat file --/proc/16618/statm: Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0

Child status: 0

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 11.78
#  lost CPU user time (s): 11.54
#  lost CPU system time (s): 0.24

Real time (s): 12.0025
CPU time (s): 23.7002
CPU user time (s): 23.1892
CPU system time (s): 0.510958
CPU usage (%): 197.46
Max. virtual memory (cumulated for all children) (KiB): 42420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.6492
system time used= 0.270958
maximum resident set size= 17440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69746
page faults= 0
swaps= 0
block input operations= 0
block output operations= 32032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 296
involuntary context switches= 117

runsolver used 0.022996 second user time and 0.050992 second system time

The end