runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3261458-1304059019/watcher-3261458-1304059019 -o /tmp/evaluation-result-3261458-1304059019/solver-3261458-1304059019 -C 4800 -W 1300 -M 15500 HOME/prissup.sh HOME HOME/instance-3261458-1304059019.cnf 1106111402 4800 15500 4
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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.49 6.87 7.72 3/177 21936
/proc/meminfo: memFree=25105020/32951132 swapFree=67111524/67111528
[pid=21936] ppid=21934 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/21936/stat : 21936 (prissup.sh) S 21934 21936 18837 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517501565 8908800 251 33554432000 4194304 4922060 140734215724688 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/21936/statm: 2175 251 211 178 0 68 0
[startup+0.0975521 s]
/proc/loadavg: 4.49 6.87 7.72 3/177 21936
/proc/meminfo: memFree=25105020/32951132 swapFree=67111524/67111528
[pid=21936] ppid=21934 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/21936/stat : 21936 (prissup.sh) S 21934 21936 18837 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517501565 8908800 251 33554432000 4194304 4922060 140734215724688 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/21936/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.100556 s]
/proc/loadavg: 4.49 6.87 7.72 3/177 21936
/proc/meminfo: memFree=25105020/32951132 swapFree=67111524/67111528
[pid=21936] ppid=21934 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/21936/stat : 21936 (prissup.sh) S 21934 21936 18837 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517501565 8908800 251 33554432000 4194304 4922060 140734215724688 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/21936/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.300524 s]
/proc/loadavg: 4.49 6.87 7.72 3/177 21936
/proc/meminfo: memFree=25105020/32951132 swapFree=67111524/67111528
[pid=21936] ppid=21934 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/21936/stat : 21936 (prissup.sh) S 21934 21936 18837 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517501565 8908800 251 33554432000 4194304 4922060 140734215724688 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/21936/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.700448 s]
/proc/loadavg: 4.49 6.87 7.72 3/177 21936
/proc/meminfo: memFree=25105020/32951132 swapFree=67111524/67111528
[pid=21936] ppid=21934 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/21936/stat : 21936 (prissup.sh) S 21934 21936 18837 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517501565 8908800 251 33554432000 4194304 4922060 140734215724688 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/21936/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+1.5003 s]
/proc/loadavg: 4.49 6.87 7.72 5/180 21939
/proc/meminfo: memFree=25091528/32951132 swapFree=67111524/67111528
[pid=21936] ppid=21934 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/21936/stat : 21936 (prissup.sh) S 21934 21936 18837 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517501565 8908800 251 33554432000 4194304 4922060 140734215724688 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/21936/statm: 2175 251 211 178 0 68 0
[pid=21937] ppid=21936 vsize=102464 CPUtime=1.93 cores=1,3,5,7
/proc/21937/stat : 21937 (priss) R 21936 21936 18837 0 -1 4202496 3097 0 0 0 168 25 0 0 25 0 2 0 517501565 104923136 2652 33554432000 4194304 5787044 140734508261776 18446744073709551615 274676632431 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/21937/statm: 25616 2652 392 389 0 21366 0
[pid=21937/tid=21939] ppid=21936 vsize=102464 CPUtime=0.44 cores=1,3,5,7
/proc/21937/task/21939/stat : 21939 (priss) S 21936 21936 18837 0 -1 4202560 25 0 0 0 29 15 0 0 15 0 2 0 517501637 104923136 2652 33554432000 4194304 5787044 140734508261776 18446744073709551615 274676631985 0 0 4096 0 18446604470944843776 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 111164
[startup+3.10099 s]
/proc/loadavg: 4.45 6.82 7.70 5/180 21939
/proc/meminfo: memFree=25089172/32951132 swapFree=67111524/67111528
[pid=21936] ppid=21934 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/21936/stat : 21936 (prissup.sh) S 21934 21936 18837 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517501565 8908800 251 33554432000 4194304 4922060 140734215724688 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/21936/statm: 2175 251 211 178 0 68 0
[pid=21937] ppid=21936 vsize=103604 CPUtime=4.42 cores=1,3,5,7
/proc/21937/stat : 21937 (priss) R 21936 21936 18837 0 -1 4202496 3437 0 0 0 371 71 0 0 25 0 2 0 517501565 106090496 2992 33554432000 4194304 5787044 140734508261776 18446744073709551615 274676632431 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/21937/statm: 25901 2992 392 389 0 21651 0
[pid=21937/tid=21939] ppid=21936 vsize=103604 CPUtime=1.32 cores=1,3,5,7
/proc/21937/task/21939/stat : 21939 (priss) S 21936 21936 18837 0 -1 4202560 72 0 0 0 85 47 0 0 15 0 2 0 517501637 106090496 2992 33554432000 4194304 5787044 140734508261776 18446744073709551615 274676631985 0 0 4096 0 18446604470944843776 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.42
Current children cumulated vsize (KiB) 112304
[startup+6.30047 s]
/proc/loadavg: 4.45 6.82 7.70 4/180 21939
/proc/meminfo: memFree=25082932/32951132 swapFree=67111524/67111528
[pid=21936] ppid=21934 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/21936/stat : 21936 (prissup.sh) S 21934 21936 18837 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517501565 8908800 251 33554432000 4194304 4922060 140734215724688 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/21936/statm: 2175 251 211 178 0 68 0
[pid=21937] ppid=21936 vsize=106264 CPUtime=9.56 cores=1,3,5,7
/proc/21937/stat : 21937 (priss) R 21936 21936 18837 0 -1 4202496 4176 0 0 0 820 136 0 0 25 0 2 0 517501565 108814336 3731 33554432000 4194304 5787044 140734508261776 18446744073709551615 274676632431 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/21937/statm: 26566 3731 392 389 0 22316 0
[pid=21937/tid=21939] ppid=21936 vsize=106264 CPUtime=3.27 cores=1,3,5,7
/proc/21937/task/21939/stat : 21939 (priss) S 21936 21936 18837 0 -1 4202560 165 0 0 0 240 87 0 0 15 0 2 0 517501637 108814336 3731 33554432000 4194304 5787044 140734508261776 18446744073709551615 274676631985 0 0 4096 0 18446604470944843776 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 9.56
Current children cumulated vsize (KiB) 114964
[startup+12.7004 s]
/proc/loadavg: 4.30 6.71 7.65 5/180 21939
/proc/meminfo: memFree=25076596/32951132 swapFree=67111524/67111528
[pid=21936] ppid=21934 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/21936/stat : 21936 (prissup.sh) S 21934 21936 18837 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517501565 8908800 251 33554432000 4194304 4922060 140734215724688 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/21936/statm: 2175 251 211 178 0 68 0
[pid=21937] ppid=21936 vsize=110668 CPUtime=20.19 cores=1,3,5,7
/proc/21937/stat : 21937 (priss) R 21936 21936 18837 0 -1 4202496 5364 0 0 0 1780 239 0 0 25 0 2 0 517501565 113324032 4919 33554432000 4194304 5787044 140734508261776 18446744073709551615 274676632431 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/21937/statm: 27667 4919 392 389 0 23417 0
[pid=21937/tid=21939] ppid=21936 vsize=110668 CPUtime=7.5 cores=1,3,5,7
/proc/21937/task/21939/stat : 21939 (priss) R 21936 21936 18837 0 -1 4202560 320 0 0 0 597 153 0 0 15 0 2 0 517501637 113324032 4919 33554432000 4194304 5787044 140734508261776 18446744073709551615 274676631985 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 20.19
Current children cumulated vsize (KiB) 119368
[startup+25.5012 s]
/proc/loadavg: 4.25 6.62 7.61 5/180 21939
/proc/meminfo: memFree=25058124/32951132 swapFree=67111524/67111528
[pid=21936] ppid=21934 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/21936/stat : 21936 (prissup.sh) S 21934 21936 18837 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517501565 8908800 251 33554432000 4194304 4922060 140734215724688 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/21936/statm: 2175 251 211 178 0 68 0
[pid=21937] ppid=21936 vsize=121712 CPUtime=42.09 cores=1,3,5,7
/proc/21937/stat : 21937 (priss) R 21936 21936 18837 0 -1 4202496 8328 0 0 0 3826 383 0 0 25 0 2 0 517501565 124633088 7883 33554432000 4194304 5787044 140734508261776 18446744073709551615 274676632431 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/21937/statm: 30428 7883 392 389 0 26178 0
[pid=21937/tid=21939] ppid=21936 vsize=121712 CPUtime=16.59 cores=1,3,5,7
/proc/21937/task/21939/stat : 21939 (priss) R 21936 21936 18837 0 -1 4202560 556 0 0 0 1416 243 0 0 15 0 2 0 517501637 124633088 7883 33554432000 4194304 5787044 140734508261776 18446744073709551615 274676631985 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 42.09
Current children cumulated vsize (KiB) 130412
Solver just ended. Dumping a history of the last processes samples
[startup+28.7006 s]
/proc/loadavg: 4.23 6.58 7.59 5/180 21939
/proc/meminfo: memFree=25056880/32951132 swapFree=67111524/67111528
[pid=21936] ppid=21934 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/21936/stat : 21936 (prissup.sh) S 21934 21936 18837 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517501565 8908800 251 33554432000 4194304 4922060 140734215724688 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/21936/statm: 2175 251 211 178 0 68 0
[pid=21937] ppid=21936 vsize=122848 CPUtime=47.53 cores=1,3,5,7
/proc/21937/stat : 21937 (priss) R 21936 21936 18837 0 -1 4202496 8590 0 0 0 4336 417 0 0 25 0 2 0 517501565 125796352 8145 33554432000 4194304 5787044 140734508261776 18446744073709551615 274676632431 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/21937/statm: 30712 8145 392 389 0 26462 0
[pid=21937/tid=21939] ppid=21936 vsize=122848 CPUtime=18.84 cores=1,3,5,7
/proc/21937/task/21939/stat : 21939 (priss) R 21936 21936 18837 0 -1 4202560 580 0 0 0 1619 265 0 0 16 0 2 0 517501637 125796352 8145 33554432000 4194304 5787044 140734508261776 18446744073709551615 274676631985 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 47.53
Current children cumulated vsize (KiB) 131548
[startup+30.3003 s]
/proc/loadavg: 4.23 6.58 7.59 5/180 21940
/proc/meminfo: memFree=25056880/32951132 swapFree=67111524/67111528
[pid=21936] ppid=21934 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/21936/stat : 21936 (prissup.sh) S 21934 21936 18837 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517501565 8908800 251 33554432000 4194304 4922060 140734215724688 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/21936/statm: 2175 251 211 178 0 68 0
[pid=21937] ppid=21936 vsize=122848 CPUtime=50.29 cores=1,3,5,7
/proc/21937/stat : 21937 (priss) R 21936 21936 18837 0 -1 4202496 8592 0 0 0 4594 435 0 0 25 0 2 0 517501565 125796352 8147 33554432000 4194304 5787044 140734508261776 18446744073709551615 274676632431 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/21937/statm: 30712 8147 392 389 0 26462 0
[pid=21937/tid=21939] ppid=21936 vsize=122848 CPUtime=19.99 cores=1,3,5,7
/proc/21937/task/21939/stat : 21939 (priss) R 21936 21936 18837 0 -1 4202560 582 0 0 0 1723 276 0 0 16 0 2 0 517501637 125796352 8147 33554432000 4194304 5787044 140734508261776 18446744073709551615 274676631985 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.29
Current children cumulated vsize (KiB) 131548
[startup+31.1012 s]
/proc/loadavg: 4.23 6.58 7.59 4/180 21940
/proc/meminfo: memFree=25056756/32951132 swapFree=67111524/67111528
[pid=21936] ppid=21934 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/21936/stat : 21936 (prissup.sh) S 21934 21936 18837 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517501565 8908800 251 33554432000 4194304 4922060 140734215724688 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/21936/statm: 2175 251 211 178 0 68 0
[pid=21937] ppid=21936 vsize=122848 CPUtime=51.66 cores=1,3,5,7
/proc/21937/stat : 21937 (priss) R 21936 21936 18837 0 -1 4202496 8595 0 0 0 4723 443 0 0 25 0 2 0 517501565 125796352 8150 33554432000 4194304 5787044 140734508261776 18446744073709551615 274676632431 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/21937/statm: 30712 8150 392 389 0 26462 0
[pid=21937/tid=21939] ppid=21936 vsize=122848 CPUtime=20.56 cores=1,3,5,7
/proc/21937/task/21939/stat : 21939 (priss) R 21936 21936 18837 0 -1 4202560 585 0 0 0 1776 280 0 0 15 0 2 0 517501637 125796352 8150 33554432000 4194304 5787044 140734508261776 18446744073709551615 274676631985 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 51.66
Current children cumulated vsize (KiB) 131548
[startup+31.5011 s]
/proc/loadavg: 4.23 6.58 7.59 4/180 21940
/proc/meminfo: memFree=25056756/32951132 swapFree=67111524/67111528
[pid=21936] ppid=21934 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/21936/stat : 21936 (prissup.sh) S 21934 21936 18837 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517501565 8908800 251 33554432000 4194304 4922060 140734215724688 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/21936/statm: 2175 251 211 178 0 68 0
[pid=21937] ppid=21936 vsize=122848 CPUtime=52.35 cores=1,3,5,7
/proc/21937/stat : 21937 (priss) R 21936 21936 18837 0 -1 4202496 8603 0 0 0 4788 447 0 0 25 0 2 0 517501565 125796352 8158 33554432000 4194304 5787044 140734508261776 18446744073709551615 274676632431 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/21937/statm: 30712 8158 392 389 0 26462 0
[pid=21937/tid=21939] ppid=21936 vsize=122848 CPUtime=20.84 cores=1,3,5,7
/proc/21937/task/21939/stat : 21939 (priss) S 21936 21936 18837 0 -1 4202560 593 0 0 0 1802 282 0 0 15 0 2 0 517501637 125796352 8158 33554432000 4194304 5787044 140734508261776 18446744073709551615 274676631985 0 0 4096 0 18446604470944843776 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 52.35
Current children cumulated vsize (KiB) 131548
[startup+31.907 s]
/proc/loadavg: 4.13 6.52 7.57 4/180 21940
/proc/meminfo: memFree=25056632/32951132 swapFree=67111524/67111528
[pid=21936] ppid=21934 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/21936/stat : 21936 (prissup.sh) S 21934 21936 18837 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517501565 8908800 251 33554432000 4194304 4922060 140734215724688 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/21936/statm: 2175 251 211 178 0 68 0
[pid=21937] ppid=21936 vsize=122848 CPUtime=53.05 cores=1,3,5,7
/proc/21937/stat : 21937 (priss) R 21936 21936 18837 0 -1 4202496 8607 0 0 0 4853 452 0 0 25 0 2 0 517501565 125796352 8162 33554432000 4194304 5787044 140734508261776 18446744073709551615 274676632431 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/21937/statm: 30712 8162 392 389 0 26462 0
[pid=21937/tid=21939] ppid=21936 vsize=122848 CPUtime=21.16 cores=1,3,5,7
/proc/21937/task/21939/stat : 21939 (priss) R 21936 21936 18837 0 -1 4202560 597 0 0 0 1830 286 0 0 15 0 2 0 517501637 125796352 8162 33554432000 4194304 5787044 140734508261776 18446744073709551615 274676631985 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 53.05
Current children cumulated vsize (KiB) 131548
Child status: 10
Real time (s): 31.9351
CPU time (s): 53.0969
CPU user time (s): 48.5646
CPU system time (s): 4.53231
CPU usage (%): 166.265
Max. virtual memory (cumulated for all children) (KiB): 131548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 48.5646
system time used= 4.53231
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8979
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= 2059811
involuntary context switches= 84
runsolver used 0.051992 second user time and 0.120981 second system time
The end