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-3701651-1338111950/watcher-3701651-1338111950 -o /tmp/evaluation-result-3701651-1338111950/solver-3701651-1338111950 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701651-1338111950.opb 176336525 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: 4.93 3.50 2.73 2/172 16469
/proc/meminfo: memFree=30941336/32873844 swapFree=7116/7116
[pid=16469] ppid=16467 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/16469/stat : 16469 (runsolver) D 16467 16469 12793 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 277320002 12095488 50 33554432000 4194304 5436572 140736690882000 140736690878296 4883175 0 0 4096 24578 18446744071579943789 0 0 17 4 0 0 0 0 0
/proc/16469/statm: 2953 50 31 304 0 2645 0
[startup+0.0227121 s]
/proc/loadavg: 4.93 3.50 2.73 2/172 16469
/proc/meminfo: memFree=30941336/32873844 swapFree=7116/7116
[pid=16469] ppid=16467 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16469/stat : 16469 (npSolver-pbo.sh) S 16467 16469 12793 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277320002 9367552 275 33554432000 4194304 5064252 140735292508816 140735292507728 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16469/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100273 s]
/proc/loadavg: 4.93 3.50 2.73 2/172 16469
/proc/meminfo: memFree=30941336/32873844 swapFree=7116/7116
[pid=16469] ppid=16467 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16469/stat : 16469 (npSolver-pbo.sh) S 16467 16469 12793 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277320002 9367552 275 33554432000 4194304 5064252 140735292508816 140735292507728 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16469/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300257 s]
/proc/loadavg: 4.93 3.50 2.73 2/172 16469
/proc/meminfo: memFree=30941336/32873844 swapFree=7116/7116
[pid=16469] ppid=16467 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16469/stat : 16469 (npSolver-pbo.sh) S 16467 16469 12793 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277320002 9367552 275 33554432000 4194304 5064252 140735292508816 140735292507728 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16469/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700275 s]
/proc/loadavg: 4.93 3.50 2.73 2/172 16469
/proc/meminfo: memFree=30941336/32873844 swapFree=7116/7116
[pid=16469] ppid=16467 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16469/stat : 16469 (npSolver-pbo.sh) S 16467 16469 12793 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277320002 9367552 275 33554432000 4194304 5064252 140735292508816 140735292507728 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16469/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.65633 s]
/proc/loadavg: 4.93 3.50 2.73 2/172 16469
/proc/meminfo: memFree=30941336/32873844 swapFree=7116/7116
[pid=16469] ppid=16467 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16469/stat : 16469 (npSolver-pbo.sh) S 16467 16469 12793 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277320002 9367552 275 33554432000 4194304 5064252 140735292508816 140735292507728 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16469/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+3.10031 s]
/proc/loadavg: 4.93 3.50 2.73 3/174 16594
/proc/meminfo: memFree=30781752/32873844 swapFree=7116/7116
[pid=16469] ppid=16467 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16469/stat : 16469 (npSolver-pbo.sh) S 16467 16469 12793 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277320002 9367552 275 33554432000 4194304 5064252 140735292508816 140735292507728 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16469/statm: 2287 275 233 213 0 72 0
[pid=16471] ppid=16469 vsize=288800 CPUtime=3.08 cores=0,2,4,6
/proc/16471/stat : 16471 (npSolver-pbo) R 16469 16469 12793 0 -1 4202496 41208 0 0 0 300 8 0 0 20 0 1 0 277320003 295731200 56226 33554432000 4194304 5992684 140737448828544 140737448820904 4957503 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16471/statm: 72200 56228 156 440 0 71756 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 297948
[startup+6.30662 s]
/proc/loadavg: 4.70 3.48 2.73 3/180 16884
/proc/meminfo: memFree=30335668/32873844 swapFree=7116/7116
[pid=16469] ppid=16467 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16469/stat : 16469 (npSolver-pbo.sh) S 16467 16469 12793 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277320002 9367552 275 33554432000 4194304 5064252 140735292508816 140735292507728 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16469/statm: 2287 275 233 213 0 72 0
[pid=16471] ppid=16469 vsize=674680 CPUtime=6.28 cores=0,2,4,6
/proc/16471/stat : 16471 (npSolver-pbo) R 16469 16469 12793 0 -1 4202496 105570 0 0 0 605 23 0 0 20 0 1 0 277320003 690872320 164470 33554432000 4194304 5992684 140737448828544 140737448821096 4957503 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16471/statm: 168670 164470 156 440 0 168226 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 683828
[startup+12.7003 s]
/proc/loadavg: 4.40 3.43 2.72 2/183 17287
/proc/meminfo: memFree=29337940/32873844 swapFree=7116/7116
[pid=16469] ppid=16467 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16469/stat : 16469 (npSolver-pbo.sh) S 16467 16469 12793 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277320002 9367552 275 33554432000 4194304 5064252 140735292508816 140735292507728 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16469/statm: 2287 275 233 213 0 72 0
[pid=16471] ppid=16469 vsize=689848 CPUtime=6.92 cores=0,2,4,6
/proc/16471/stat : 16471 (npSolver-pbo) S 16469 16469 12793 0 -1 4202496 110047 0 0 0 628 64 0 0 20 0 1 0 277320003 706404352 170814 33554432000 4194304 5992684 140737448828544 140737448822576 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16471/statm: 172462 170814 163 440 0 172018 0
[pid=16955] ppid=16471 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16955/stat : 16955 (cp2_pre.sh) S 16471 16469 12793 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 277320695 9367552 277 33554432000 4194304 5064252 140735821943008 140735821941712 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16955/statm: 2287 277 234 213 0 72 0
[pid=16956] ppid=16955 vsize=841588 CPUtime=5.6 cores=0,2,4,6
/proc/16956/stat : 16956 (coprocessor) R 16955 16469 12793 0 -1 4202496 20030 0 0 0 531 29 0 0 20 0 1 0 277320696 861786112 162429 33554432000 4194304 6586260 140735636183984 140735636179736 5732496 0 0 4096 8404994 0 0 0 17 4 0 0 15 0 0
/proc/16956/statm: 210397 162429 158 584 0 209809 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 1549732
[startup+25.507 s]
/proc/loadavg: 3.93 3.38 2.71 3/183 17770
/proc/meminfo: memFree=29090908/32873844 swapFree=7116/7116
[pid=16469] ppid=16467 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16469/stat : 16469 (npSolver-pbo.sh) S 16467 16469 12793 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277320002 9367552 275 33554432000 4194304 5064252 140735292508816 140735292507728 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16469/statm: 2287 275 233 213 0 72 0
[pid=16471] ppid=16469 vsize=689848 CPUtime=21.59 cores=0,2,4,6
/proc/16471/stat : 16471 (npSolver-pbo) S 16469 16469 12793 0 -1 4202496 110054 20933 0 0 628 64 1391 76 20 0 1 0 277320003 706404352 170814 33554432000 4194304 5992684 140737448828544 140737448823664 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16471/statm: 172462 170814 163 440 0 172018 0
[pid=17649] ppid=16471 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17649/stat : 17649 (satsolver.sh) S 16471 16469 12793 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 277322180 9367552 267 33554432000 4194304 5064252 140734647481360 140734647480272 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17649/statm: 2287 267 226 213 0 72 0
[pid=17650] ppid=17649 vsize=1094052 CPUtime=3.69 cores=0,2,4,6
/proc/17650/stat : 17650 (glucose) R 17649 16469 12793 0 -1 4202496 118307 0 0 0 335 34 0 0 20 0 1 0 277322182 1120309248 231887 33554432000 4194304 5208918 140736905618240 140736904567640 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17650/statm: 273513 231887 94 248 0 273262 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 1802196
[startup+51.1003 s]
/proc/loadavg: 3.90 3.41 2.74 1/182 18015
/proc/meminfo: memFree=28443520/32873844 swapFree=7116/7116
[pid=16469] ppid=16467 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16469/stat : 16469 (npSolver-pbo.sh) S 16467 16469 12793 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277320002 9367552 275 33554432000 4194304 5064252 140735292508816 140735292507728 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16469/statm: 2287 275 233 213 0 72 0
[pid=16471] ppid=16469 vsize=769812 CPUtime=31.18 cores=0,2,4,6
/proc/16471/stat : 16471 (npSolver-pbo) S 16469 16469 12793 0 -1 4204032 115983 152402 0 0 773 130 2080 135 20 0 1 0 277320003 788287488 190823 33554432000 4194304 5992684 140737448828544 140737448822664 5240597 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/16471/statm: 192453 190823 181 440 0 192009 0
Current children cumulated CPU time (s) 31.18
Current children cumulated vsize (KiB) 778960
heavy processes:
%CPU=14 pid=17975 uid=0 cmd=
Solver just ended. Dumping a history of the last processes samples
[startup+52.4003 s]
/proc/loadavg: 3.90 3.41 2.74 1/182 18015
/proc/meminfo: memFree=28443916/32873844 swapFree=7116/7116
[pid=16469] ppid=16467 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16469/stat : 16469 (npSolver-pbo.sh) S 16467 16469 12793 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277320002 9367552 275 33554432000 4194304 5064252 140735292508816 140735292507728 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16469/statm: 2287 275 233 213 0 72 0
[pid=16471] ppid=16469 vsize=769812 CPUtime=31.18 cores=0,2,4,6
/proc/16471/stat : 16471 (npSolver-pbo) S 16469 16469 12793 0 -1 4204032 115983 152402 0 0 773 130 2080 135 20 0 1 0 277320003 788287488 190823 33554432000 4194304 5992684 140737448828544 140737448822664 5240597 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/16471/statm: 192453 190823 181 440 0 192009 0
Current children cumulated CPU time (s) 31.18
Current children cumulated vsize (KiB) 778960
[startup+58.8003 s]
/proc/loadavg: 3.91 3.42 2.75 1/182 18015
/proc/meminfo: memFree=28444040/32873844 swapFree=7116/7116
[pid=16469] ppid=16467 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16469/stat : 16469 (npSolver-pbo.sh) S 16467 16469 12793 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277320002 9367552 275 33554432000 4194304 5064252 140735292508816 140735292507728 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16469/statm: 2287 275 233 213 0 72 0
[pid=16471] ppid=16469 vsize=769812 CPUtime=31.18 cores=0,2,4,6
/proc/16471/stat : 16471 (npSolver-pbo) S 16469 16469 12793 0 -1 4204032 115983 152402 0 0 773 130 2080 135 20 0 1 0 277320003 788287488 190823 33554432000 4194304 5992684 140737448828544 140737448822664 5240597 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/16471/statm: 192453 190823 181 440 0 192009 0
Current children cumulated CPU time (s) 31.18
Current children cumulated vsize (KiB) 778960
[startup+62.0004 s]
/proc/loadavg: 3.92 3.43 2.75 1/182 18015
/proc/meminfo: memFree=28443792/32873844 swapFree=7116/7116
[pid=16469] ppid=16467 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16469/stat : 16469 (npSolver-pbo.sh) S 16467 16469 12793 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277320002 9367552 275 33554432000 4194304 5064252 140735292508816 140735292507728 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16469/statm: 2287 275 233 213 0 72 0
[pid=16471] ppid=16469 vsize=769812 CPUtime=31.18 cores=0,2,4,6
/proc/16471/stat : 16471 (npSolver-pbo) S 16469 16469 12793 0 -1 4204032 115983 152402 0 0 773 130 2080 135 20 0 1 0 277320003 788287488 190823 33554432000 4194304 5992684 140737448828544 140737448822664 5240597 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/16471/statm: 192453 190823 181 440 0 192009 0
Current children cumulated CPU time (s) 31.18
Current children cumulated vsize (KiB) 778960
[startup+62.8003 s]
/proc/loadavg: 3.92 3.43 2.75 1/182 18015
/proc/meminfo: memFree=28444040/32873844 swapFree=7116/7116
[pid=16469] ppid=16467 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16469/stat : 16469 (npSolver-pbo.sh) S 16467 16469 12793 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277320002 9367552 275 33554432000 4194304 5064252 140735292508816 140735292507728 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16469/statm: 2287 275 233 213 0 72 0
[pid=16471] ppid=16469 vsize=769812 CPUtime=31.18 cores=0,2,4,6
/proc/16471/stat : 16471 (npSolver-pbo) S 16469 16469 12793 0 -1 4204032 115983 152402 0 0 773 130 2080 135 20 0 1 0 277320003 788287488 190823 33554432000 4194304 5992684 140737448828544 140737448822664 5240597 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/16471/statm: 192453 190823 181 440 0 192009 0
Current children cumulated CPU time (s) 31.18
Current children cumulated vsize (KiB) 778960
[startup+63.6003 s]
/proc/loadavg: 3.92 3.43 2.75 1/182 18015
/proc/meminfo: memFree=28444040/32873844 swapFree=7116/7116
[pid=16469] ppid=16467 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16469/stat : 16469 (npSolver-pbo.sh) S 16467 16469 12793 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277320002 9367552 275 33554432000 4194304 5064252 140735292508816 140735292507728 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16469/statm: 2287 275 233 213 0 72 0
[pid=16471] ppid=16469 vsize=769812 CPUtime=31.18 cores=0,2,4,6
/proc/16471/stat : 16471 (npSolver-pbo) S 16469 16469 12793 0 -1 4204032 115983 152402 0 0 773 130 2080 135 20 0 1 0 277320003 788287488 190823 33554432000 4194304 5992684 140737448828544 140737448822664 5240597 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/16471/statm: 192453 190823 181 440 0 192009 0
Current children cumulated CPU time (s) 31.18
Current children cumulated vsize (KiB) 778960
[startup+63.8003 s]
/proc/loadavg: 3.92 3.43 2.75 1/182 18015
/proc/meminfo: memFree=28444040/32873844 swapFree=7116/7116
[pid=16469] ppid=16467 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16469/stat : 16469 (npSolver-pbo.sh) S 16467 16469 12793 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277320002 9367552 275 33554432000 4194304 5064252 140735292508816 140735292507728 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16469/statm: 2287 275 233 213 0 72 0
[pid=16471] ppid=16469 vsize=769812 CPUtime=31.18 cores=0,2,4,6
/proc/16471/stat : 16471 (npSolver-pbo) S 16469 16469 12793 0 -1 4204032 115983 152402 0 0 773 130 2080 135 20 0 1 0 277320003 788287488 190823 33554432000 4194304 5992684 140737448828544 140737448822664 5240597 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/16471/statm: 192453 190823 181 440 0 192009 0
Current children cumulated CPU time (s) 31.18
Current children cumulated vsize (KiB) 778960
[startup+63.9003 s]
/proc/loadavg: 3.92 3.43 2.75 2/182 18015
/proc/meminfo: memFree=28478264/32873844 swapFree=7116/7116
[pid=16469] ppid=16467 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16469/stat : 16469 (npSolver-pbo.sh) S 16467 16469 12793 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277320002 9367552 275 33554432000 4194304 5064252 140735292508816 140735292507728 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16469/statm: 2287 275 233 213 0 72 0
[pid=16471] ppid=16469 vsize=769812 CPUtime=31.18 cores=0,2,4,6
/proc/16471/stat : 16471 (npSolver-pbo) S 16469 16469 12793 0 -1 4204032 115983 152402 0 0 773 130 2080 135 20 0 1 0 277320003 788287488 190823 33554432000 4194304 5992684 140737448828544 140737448822664 5240597 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/16471/statm: 192453 190823 181 440 0 192009 0
Current children cumulated CPU time (s) 31.18
Current children cumulated vsize (KiB) 778960
Child status: 0
Real time (s): 63.9812
CPU time (s): 31.2462
CPU user time (s): 28.5477
CPU system time (s): 2.69859
CPU usage (%): 48.8366
Max. virtual memory (cumulated for all children) (KiB): 1830536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.5477
system time used= 2.69859
maximum resident set size= 962600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268759
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1137296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 178974
involuntary context switches= 81
runsolver used 0.133979 second user time and 0.352946 second system time
The end