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-3702118-1338094139/watcher-3702118-1338094139 -o /tmp/evaluation-result-3702118-1338094139/solver-3702118-1338094139 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702118-1338094139.opb 127576307 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: 3.10 2.86 2.46 2/181 32676
/proc/meminfo: memFree=30831468/32873844 swapFree=7112/7112
[pid=32676] ppid=32674 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32676/stat : 32676 (npSolver-pbo-It) S 32674 32676 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275540382 9367552 275 33554432000 4194304 5064252 140735986136688 140735986135600 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32676/statm: 2287 275 233 213 0 72 0
[startup+0.0688261 s]
/proc/loadavg: 3.10 2.86 2.46 2/181 32676
/proc/meminfo: memFree=30831468/32873844 swapFree=7112/7112
[pid=32676] ppid=32674 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32676/stat : 32676 (npSolver-pbo-It) S 32674 32676 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275540382 9367552 275 33554432000 4194304 5064252 140735986136688 140735986135600 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32676/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10021 s]
/proc/loadavg: 3.10 2.86 2.46 2/181 32676
/proc/meminfo: memFree=30831468/32873844 swapFree=7112/7112
[pid=32676] ppid=32674 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32676/stat : 32676 (npSolver-pbo-It) S 32674 32676 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275540382 9367552 275 33554432000 4194304 5064252 140735986136688 140735986135600 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32676/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300161 s]
/proc/loadavg: 3.10 2.86 2.46 2/181 32676
/proc/meminfo: memFree=30831468/32873844 swapFree=7112/7112
[pid=32676] ppid=32674 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32676/stat : 32676 (npSolver-pbo-It) S 32674 32676 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275540382 9367552 275 33554432000 4194304 5064252 140735986136688 140735986135600 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32676/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700194 s]
/proc/loadavg: 3.10 2.86 2.46 2/181 32676
/proc/meminfo: memFree=30831468/32873844 swapFree=7112/7112
[pid=32676] ppid=32674 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32676/stat : 32676 (npSolver-pbo-It) S 32674 32676 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275540382 9367552 275 33554432000 4194304 5064252 140735986136688 140735986135600 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32676/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50014 s]
/proc/loadavg: 3.10 2.86 2.46 3/183 32678
/proc/meminfo: memFree=30828536/32873844 swapFree=7112/7112
[pid=32676] ppid=32674 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32676/stat : 32676 (npSolver-pbo-It) S 32674 32676 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275540382 9367552 275 33554432000 4194304 5064252 140735986136688 140735986135600 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32676/statm: 2287 275 233 213 0 72 0
[pid=32677] ppid=32676 vsize=10440 CPUtime=1.49 cores=1,3,5,7
/proc/32677/stat : 32677 (npSolver-pbo) R 32676 32676 23606 0 -1 4202496 1992 0 0 0 148 1 0 0 20 0 1 0 275540382 10690560 1975 33554432000 4194304 5992684 140736306935888 140736306932008 4809151 0 0 4096 0 0 0 0 17 7 0 0 0 0 0
/proc/32677/statm: 2610 1975 146 440 0 2166 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19588
[startup+3.10022 s]
/proc/loadavg: 3.09 2.86 2.47 2/177 32701
/proc/meminfo: memFree=30924504/32873844 swapFree=7112/7112
[pid=32676] ppid=32674 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32676/stat : 32676 (npSolver-pbo-It) S 32674 32676 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275540382 9367552 275 33554432000 4194304 5064252 140735986136688 140735986135600 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32676/statm: 2287 275 233 213 0 72 0
[pid=32677] ppid=32676 vsize=18768 CPUtime=3.08 cores=1,3,5,7
/proc/32677/stat : 32677 (npSolver-pbo) R 32676 32676 23606 0 -1 4202496 2535 0 0 0 307 1 0 0 20 0 1 0 275540382 19218432 3025 33554432000 4194304 5992684 140736306935888 140736306932008 5179600 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/32677/statm: 4692 3025 146 440 0 4248 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 27916
[startup+6.30022 s]
/proc/loadavg: 3.09 2.86 2.47 2/183 32718
/proc/meminfo: memFree=30992824/32873844 swapFree=7112/7112
[pid=32676] ppid=32674 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32676/stat : 32676 (npSolver-pbo-It) S 32674 32676 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275540382 9367552 275 33554432000 4194304 5064252 140735986136688 140735986135600 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32676/statm: 2287 275 233 213 0 72 0
[pid=32677] ppid=32676 vsize=35404 CPUtime=6.28 cores=1,3,5,7
/proc/32677/stat : 32677 (npSolver-pbo) R 32676 32676 23606 0 -1 4202496 3118 0 0 0 626 2 0 0 20 0 1 0 275540382 36253696 6666 33554432000 4194304 5992684 140736306935888 140736306932008 5179600 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/32677/statm: 8851 6666 146 440 0 8407 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 44552
[startup+12.7068 s]
/proc/loadavg: 3.00 2.85 2.47 3/182 329
/proc/meminfo: memFree=30976492/32873844 swapFree=7112/7112
[pid=32676] ppid=32674 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32676/stat : 32676 (npSolver-pbo-It) S 32674 32676 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275540382 9367552 275 33554432000 4194304 5064252 140735986136688 140735986135600 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32676/statm: 2287 275 233 213 0 72 0
[pid=32677] ppid=32676 vsize=68696 CPUtime=12.68 cores=1,3,5,7
/proc/32677/stat : 32677 (npSolver-pbo) R 32676 32676 23606 0 -1 4202496 3775 0 0 0 1264 4 0 0 20 0 1 0 275540382 70344704 12928 33554432000 4194304 5992684 140736306935888 140736306932008 4374662 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/32677/statm: 17174 12928 146 440 0 16730 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 77844
[startup+25.5002 s]
/proc/loadavg: 2.84 2.82 2.46 3/182 369
/proc/meminfo: memFree=30853840/32873844 swapFree=7112/7112
[pid=32676] ppid=32674 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32676/stat : 32676 (npSolver-pbo-It) S 32674 32676 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275540382 9367552 275 33554432000 4194304 5064252 140735986136688 140735986135600 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32676/statm: 2287 275 233 213 0 72 0
[pid=32677] ppid=32676 vsize=135304 CPUtime=25.48 cores=1,3,5,7
/proc/32677/stat : 32677 (npSolver-pbo) R 32676 32676 23606 0 -1 4202496 4574 0 0 0 2539 9 0 0 20 0 1 0 275540382 138551296 26470 33554432000 4194304 5992684 140736306935888 140736306932008 4475536 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/32677/statm: 33826 26470 149 440 0 33382 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 144452
[startup+51.1002 s]
/proc/loadavg: 2.64 2.77 2.45 3/182 622
/proc/meminfo: memFree=30748572/32873844 swapFree=7112/7112
[pid=32676] ppid=32674 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32676/stat : 32676 (npSolver-pbo-It) S 32674 32676 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275540382 9367552 275 33554432000 4194304 5064252 140735986136688 140735986135600 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32676/statm: 2287 275 233 213 0 72 0
[pid=32677] ppid=32676 vsize=268420 CPUtime=51.08 cores=1,3,5,7
/proc/32677/stat : 32677 (npSolver-pbo) R 32676 32676 23606 0 -1 4202496 5639 0 0 0 5089 19 0 0 20 0 1 0 275540382 274862080 56087 33554432000 4194304 5992684 140736306935888 140736306932392 5179600 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/32677/statm: 67105 56087 149 440 0 66661 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 277568
Solver just ended. Dumping a history of the last processes samples
[startup+51.7002 s]
/proc/loadavg: 2.64 2.77 2.45 3/182 622
/proc/meminfo: memFree=30748572/32873844 swapFree=7112/7112
[pid=32676] ppid=32674 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32676/stat : 32676 (npSolver-pbo-It) S 32674 32676 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275540382 9367552 275 33554432000 4194304 5064252 140735986136688 140735986135600 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32676/statm: 2287 275 233 213 0 72 0
[pid=32677] ppid=32676 vsize=268424 CPUtime=51.68 cores=1,3,5,7
/proc/32677/stat : 32677 (npSolver-pbo) R 32676 32676 23606 0 -1 4202496 5644 0 0 0 5148 20 0 0 20 0 1 0 275540382 274866176 56602 33554432000 4194304 5992684 140736306935888 140736306932008 5179600 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/32677/statm: 67106 56602 149 440 0 66662 0
Current children cumulated CPU time (s) 51.68
Current children cumulated vsize (KiB) 277572
[startup+64.5003 s]
/proc/loadavg: 2.50 2.73 2.44 3/185 669
/proc/meminfo: memFree=30666612/32873844 swapFree=7112/7112
[pid=32676] ppid=32674 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32676/stat : 32676 (npSolver-pbo-It) S 32674 32676 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275540382 9367552 275 33554432000 4194304 5064252 140735986136688 140735986135600 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32676/statm: 2287 275 233 213 0 72 0
[pid=32677] ppid=32676 vsize=530624 CPUtime=64.47 cores=1,3,5,7
/proc/32677/stat : 32677 (npSolver-pbo) R 32676 32676 23606 0 -1 4202496 6373 0 0 0 6419 28 0 0 20 0 1 0 275540382 543358976 71511 33554432000 4194304 5992684 140736306935888 140736306931624 5179600 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/32677/statm: 132656 71511 149 440 0 132212 0
Current children cumulated CPU time (s) 64.47
Current children cumulated vsize (KiB) 539772
[startup+70.9003 s]
/proc/loadavg: 2.46 2.72 2.44 2/186 670
/proc/meminfo: memFree=29985272/32873844 swapFree=7112/7112
[pid=32676] ppid=32674 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32676/stat : 32676 (npSolver-pbo-It) S 32674 32676 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275540382 9367552 275 33554432000 4194304 5064252 140735986136688 140735986135600 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32676/statm: 2287 275 233 213 0 72 0
[pid=32677] ppid=32676 vsize=538648 CPUtime=67.73 cores=1,3,5,7
/proc/32677/stat : 32677 (npSolver-pbo) S 32676 32676 23606 0 -1 4204032 8313 0 0 0 6707 66 0 0 20 0 1 0 275540382 551575552 78561 33554432000 4194304 5992684 140736306935888 140736306932360 4336000 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32677/statm: 134662 78561 166 440 0 134218 0
Current children cumulated CPU time (s) 67.73
Current children cumulated vsize (KiB) 547796
[startup+77.3003 s]
/proc/loadavg: 2.42 2.71 2.44 2/186 670
/proc/meminfo: memFree=29983040/32873844 swapFree=7112/7112
[pid=32676] ppid=32674 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32676/stat : 32676 (npSolver-pbo-It) S 32674 32676 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275540382 9367552 275 33554432000 4194304 5064252 140735986136688 140735986135600 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32676/statm: 2287 275 233 213 0 72 0
[pid=32677] ppid=32676 vsize=538648 CPUtime=67.73 cores=1,3,5,7
/proc/32677/stat : 32677 (npSolver-pbo) S 32676 32676 23606 0 -1 4204032 8313 0 0 0 6707 66 0 0 20 0 1 0 275540382 551575552 78767 33554432000 4194304 5992684 140736306935888 140736306932360 4336000 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32677/statm: 134662 78767 166 440 0 134218 0
Current children cumulated CPU time (s) 67.73
Current children cumulated vsize (KiB) 547796
[startup+78.9003 s]
/proc/loadavg: 2.55 2.73 2.45 2/186 670
/proc/meminfo: memFree=29983904/32873844 swapFree=7112/7112
[pid=32676] ppid=32674 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32676/stat : 32676 (npSolver-pbo-It) S 32674 32676 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275540382 9367552 275 33554432000 4194304 5064252 140735986136688 140735986135600 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32676/statm: 2287 275 233 213 0 72 0
[pid=32677] ppid=32676 vsize=538648 CPUtime=67.73 cores=1,3,5,7
/proc/32677/stat : 32677 (npSolver-pbo) S 32676 32676 23606 0 -1 4204032 8313 0 0 0 6707 66 0 0 20 0 1 0 275540382 551575552 78767 33554432000 4194304 5992684 140736306935888 140736306932360 4336000 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32677/statm: 134662 78767 166 440 0 134218 0
Current children cumulated CPU time (s) 67.73
Current children cumulated vsize (KiB) 547796
[startup+80.5003 s]
/proc/loadavg: 2.55 2.73 2.45 2/186 670
/proc/meminfo: memFree=29984152/32873844 swapFree=7112/7112
[pid=32676] ppid=32674 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32676/stat : 32676 (npSolver-pbo-It) S 32674 32676 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275540382 9367552 275 33554432000 4194304 5064252 140735986136688 140735986135600 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32676/statm: 2287 275 233 213 0 72 0
[pid=32677] ppid=32676 vsize=538648 CPUtime=67.73 cores=1,3,5,7
/proc/32677/stat : 32677 (npSolver-pbo) S 32676 32676 23606 0 -1 4204032 8313 0 0 0 6707 66 0 0 20 0 1 0 275540382 551575552 78767 33554432000 4194304 5992684 140736306935888 140736306932360 4336000 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32677/statm: 134662 78767 166 440 0 134218 0
Current children cumulated CPU time (s) 67.73
Current children cumulated vsize (KiB) 547796
[startup+81.3003 s]
/proc/loadavg: 2.55 2.73 2.45 2/186 670
/proc/meminfo: memFree=29983904/32873844 swapFree=7112/7112
[pid=32676] ppid=32674 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32676/stat : 32676 (npSolver-pbo-It) S 32674 32676 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275540382 9367552 275 33554432000 4194304 5064252 140735986136688 140735986135600 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32676/statm: 2287 275 233 213 0 72 0
[pid=32677] ppid=32676 vsize=538648 CPUtime=67.73 cores=1,3,5,7
/proc/32677/stat : 32677 (npSolver-pbo) S 32676 32676 23606 0 -1 4204032 8313 0 0 0 6707 66 0 0 20 0 1 0 275540382 551575552 78767 33554432000 4194304 5992684 140736306935888 140736306932360 4336000 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32677/statm: 134662 78767 166 440 0 134218 0
Current children cumulated CPU time (s) 67.73
Current children cumulated vsize (KiB) 547796
[startup+81.7003 s]
/proc/loadavg: 2.55 2.73 2.45 2/186 670
/proc/meminfo: memFree=29983904/32873844 swapFree=7112/7112
[pid=32676] ppid=32674 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32676/stat : 32676 (npSolver-pbo-It) S 32674 32676 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275540382 9367552 275 33554432000 4194304 5064252 140735986136688 140735986135600 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32676/statm: 2287 275 233 213 0 72 0
[pid=32677] ppid=32676 vsize=538648 CPUtime=67.73 cores=1,3,5,7
/proc/32677/stat : 32677 (npSolver-pbo) S 32676 32676 23606 0 -1 4204032 8313 0 0 0 6707 66 0 0 20 0 1 0 275540382 551575552 78767 33554432000 4194304 5992684 140736306935888 140736306932360 4336000 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32677/statm: 134662 78767 166 440 0 134218 0
Current children cumulated CPU time (s) 67.73
Current children cumulated vsize (KiB) 547796
Child status: 0
Real time (s): 81.7338
CPU time (s): 67.7517
CPU user time (s): 67.0798
CPU system time (s): 0.671897
CPU usage (%): 82.8931
Max. virtual memory (cumulated for all children) (KiB): 801900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 67.0798
system time used= 0.671897
maximum resident set size= 529684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8688
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 129823
involuntary context switches= 182
runsolver used 0.12798 second user time and 0.334949 second system time
The end