runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
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-3377000-1305476044/watcher-3377000-1305476044 -o /tmp/evaluation-result-3377000-1305476044/solver-3377000-1305476044 -C 2400 -W 1300 -M 7680 qutersat_release HOME/instance-3377000-1305476044.cnf 162612802
running on 2 cores: 0,2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.38 3.90 3.89 3/405 510
/proc/meminfo: memFree=23083068/32950928 swapFree=67056568/67111528
[pid=510] ppid=508 vsize=26264 CPUtime=0 cores=0,2
/proc/510/stat : 510 (qutersat_releas) R 508 510 31839 0 -1 4194304 245 0 0 0 0 0 0 0 22 0 1 0 659201468 26894336 197 33554432000 4194304 6014671 140734928663952 18446744073709551615 239471732625 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/510/statm: 6566 198 162 445 0 98 0
[startup+0.0777089 s]
/proc/loadavg: 3.38 3.90 3.89 3/405 510
/proc/meminfo: memFree=23083068/32950928 swapFree=67056568/67111528
[pid=510] ppid=508 vsize=46700 CPUtime=0.07 cores=0,2
/proc/510/stat : 510 (qutersat_releas) R 508 510 31839 0 -1 4202496 5553 0 0 0 7 0 0 0 22 0 1 0 659201468 47820800 5490 33554432000 4194304 6014671 140734928663952 18446744073709551615 4762232 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/510/statm: 11675 5490 378 445 0 5220 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 46700
[startup+0.100769 s]
/proc/loadavg: 3.38 3.90 3.89 3/405 510
/proc/meminfo: memFree=23083068/32950928 swapFree=67056568/67111528
[pid=510] ppid=508 vsize=49772 CPUtime=0.09 cores=0,2
/proc/510/stat : 510 (qutersat_releas) R 508 510 31839 0 -1 4202496 6332 0 0 0 9 0 0 0 22 0 1 0 659201468 50966528 6269 33554432000 4194304 6014671 140734928663952 18446744073709551615 4286620 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/510/statm: 12443 6269 383 445 0 5988 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 49772
[startup+0.300729 s]
/proc/loadavg: 3.38 3.90 3.89 3/405 510
/proc/meminfo: memFree=23083068/32950928 swapFree=67056568/67111528
[pid=510] ppid=508 vsize=72816 CPUtime=0.28 cores=0,2
/proc/510/stat : 510 (qutersat_releas) R 508 510 31839 0 -1 4202496 11603 0 0 0 28 0 0 0 23 0 1 0 659201468 74563584 11540 33554432000 4194304 6014671 140734928663952 18446744073709551615 4346047 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/510/statm: 18204 11541 668 445 0 11749 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 72816
[startup+0.700663 s]
/proc/loadavg: 3.38 3.90 3.89 3/405 510
/proc/meminfo: memFree=23083068/32950928 swapFree=67056568/67111528
[pid=510] ppid=508 vsize=93484 CPUtime=0.69 cores=0,2
/proc/510/stat : 510 (qutersat_releas) R 508 510 31839 0 -1 4202496 17079 0 0 0 68 1 0 0 25 0 1 0 659201468 95727616 17016 33554432000 4194304 6014671 140734928663952 18446744073709551615 4423623 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/510/statm: 23371 17016 697 445 0 16916 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 93484
[startup+1.5005 s]
/proc/loadavg: 3.38 3.90 3.89 4/416 552
/proc/meminfo: memFree=22863808/32950928 swapFree=67056568/67111528
[pid=510] ppid=508 vsize=93484 CPUtime=1.49 cores=0,2
/proc/510/stat : 510 (qutersat_releas) R 508 510 31839 0 -1 4202496 17094 0 0 0 148 1 0 0 25 0 1 0 659201468 95727616 17031 33554432000 4194304 6014671 140734928663952 18446744073709551615 4535045 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/510/statm: 23371 17031 712 445 0 16916 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 93484
[startup+3.10119 s]
/proc/loadavg: 3.38 3.90 3.89 6/420 625
/proc/meminfo: memFree=22857476/32950928 swapFree=67056568/67111528
[pid=510] ppid=508 vsize=93484 CPUtime=3.09 cores=0,2
/proc/510/stat : 510 (qutersat_releas) R 508 510 31839 0 -1 4202496 17104 0 0 0 308 1 0 0 25 0 1 0 659201468 95727616 17041 33554432000 4194304 6014671 140734928663952 18446744073709551615 4423505 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/510/statm: 23371 17041 721 445 0 16916 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 93484
[startup+6.30057 s]
/proc/loadavg: 3.43 3.90 3.89 5/421 626
/proc/meminfo: memFree=22822440/32950928 swapFree=67056568/67111528
[pid=510] ppid=508 vsize=104212 CPUtime=6.29 cores=0,2
/proc/510/stat : 510 (qutersat_releas) R 508 510 31839 0 -1 4202496 17822 0 0 0 628 1 0 0 25 0 1 0 659201468 106713088 17759 33554432000 4194304 6014671 140734928663952 18446744073709551615 4376920 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/510/statm: 26053 17759 722 445 0 19598 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 104212
[startup+12.7004 s]
/proc/loadavg: 3.48 3.91 3.89 5/421 654
/proc/meminfo: memFree=22808656/32950928 swapFree=67056568/67111528
[pid=510] ppid=508 vsize=104212 CPUtime=12.69 cores=0,2
/proc/510/stat : 510 (qutersat_releas) R 508 510 31839 0 -1 4202496 18235 0 0 0 1268 1 0 0 25 0 1 0 659201468 106713088 18172 33554432000 4194304 6014671 140734928663952 18446744073709551615 4422808 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/510/statm: 26053 18172 726 445 0 19598 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 104212
[startup+25.5009 s]
/proc/loadavg: 3.66 3.93 3.90 5/421 654
/proc/meminfo: memFree=22761896/32950928 swapFree=67056568/67111528
[pid=510] ppid=508 vsize=115284 CPUtime=25.49 cores=0,2
/proc/510/stat : 510 (qutersat_releas) R 508 510 31839 0 -1 4202496 18413 0 0 0 2548 1 0 0 25 0 1 0 659201468 118050816 18350 33554432000 4194304 6014671 140734928663952 18446744073709551615 4537285 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/510/statm: 28821 18350 726 445 0 22366 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 115284
[startup+51.101 s]
/proc/loadavg: 3.78 3.93 3.90 5/421 654
/proc/meminfo: memFree=22711880/32950928 swapFree=67056568/67111528
[pid=510] ppid=508 vsize=126512 CPUtime=51.1 cores=0,2
/proc/510/stat : 510 (qutersat_releas) R 508 510 31839 0 -1 4202496 19844 0 0 0 5108 2 0 0 25 0 1 0 659201468 129548288 19781 33554432000 4194304 6014671 140734928663952 18446744073709551615 4376964 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/510/statm: 31628 19781 726 445 0 25173 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 126512
[startup+102.315 s]
/proc/loadavg: 3.96 3.96 3.91 5/421 656
/proc/meminfo: memFree=22624948/32950928 swapFree=67056568/67111528
[pid=510] ppid=508 vsize=160244 CPUtime=102.31 cores=0,2
/proc/510/stat : 510 (qutersat_releas) R 508 510 31839 0 -1 4202496 25373 0 0 0 10228 3 0 0 25 0 1 0 659201468 164089856 25310 33554432000 4194304 6014671 140734928663952 18446744073709551615 4423518 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/510/statm: 40061 25310 726 445 0 33606 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 160244
[startup+162.301 s]
/proc/loadavg: 4.04 3.98 3.92 5/421 658
/proc/meminfo: memFree=22564168/32950928 swapFree=67056568/67111528
[pid=510] ppid=508 vsize=171584 CPUtime=162.29 cores=0,2
/proc/510/stat : 510 (qutersat_releas) R 508 510 31839 0 -1 4202496 28008 0 0 0 16226 3 0 0 25 0 1 0 659201468 175702016 27945 33554432000 4194304 6014671 140734928663952 18446744073709551615 4377006 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/510/statm: 42896 27945 726 445 0 36441 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 171584
[startup+222.301 s]
/proc/loadavg: 4.11 4.01 3.93 5/421 659
/proc/meminfo: memFree=22488500/32950928 swapFree=67056568/67111528
[pid=510] ppid=508 vsize=171584 CPUtime=222.3 cores=0,2
/proc/510/stat : 510 (qutersat_releas) R 508 510 31839 0 -1 4202496 30113 0 0 0 22225 5 0 0 25 0 1 0 659201468 175702016 30050 33554432000 4194304 6014671 140734928663952 18446744073709551615 4423994 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/510/statm: 42896 30050 726 445 0 36441 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 171584
[startup+282.301 s]
/proc/loadavg: 4.04 4.00 3.93 5/421 661
/proc/meminfo: memFree=22452520/32950928 swapFree=67056568/67111528
[pid=510] ppid=508 vsize=183332 CPUtime=282.3 cores=0,2
/proc/510/stat : 510 (qutersat_releas) R 508 510 31839 0 -1 4202496 33990 0 0 0 28225 5 0 0 25 0 1 0 659201468 187731968 33877 33554432000 4194304 6014671 140734928663952 18446744073709551615 4423501 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/510/statm: 45833 33877 729 445 0 39378 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 183332
[startup+342.301 s]
/proc/loadavg: 4.01 4.00 3.93 5/421 662
/proc/meminfo: memFree=22364964/32950928 swapFree=67056568/67111528
[pid=510] ppid=508 vsize=218972 CPUtime=342.3 cores=0,2
/proc/510/stat : 510 (qutersat_releas) R 508 510 31839 0 -1 4202496 38563 0 0 0 34224 6 0 0 25 0 1 0 659201468 224227328 38450 33554432000 4194304 6014671 140734928663952 18446744073709551615 4423623 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/510/statm: 54743 38450 729 445 0 48288 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 218972
[startup+402.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/421 664
/proc/meminfo: memFree=22312504/32950928 swapFree=67056568/67111528
[pid=510] ppid=508 vsize=218972 CPUtime=402.3 cores=0,2
/proc/510/stat : 510 (qutersat_releas) R 508 510 31839 0 -1 4202496 39933 0 0 0 40224 6 0 0 25 0 1 0 659201468 224227328 39820 33554432000 4194304 6014671 140734928663952 18446744073709551615 4423615 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/510/statm: 54743 39820 729 445 0 48288 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 218972
[startup+462.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/421 666
/proc/meminfo: memFree=22246032/32950928 swapFree=67056568/67111528
[pid=510] ppid=508 vsize=218972 CPUtime=462.3 cores=0,2
/proc/510/stat : 510 (qutersat_releas) R 508 510 31839 0 -1 4202496 40227 0 0 0 46224 6 0 0 25 0 1 0 659201468 224227328 40113 33554432000 4194304 6014671 140734928663952 18446744073709551615 4423518 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/510/statm: 54743 40113 729 445 0 48288 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 218972
[startup+522.301 s]
/proc/loadavg: 4.16 4.03 3.94 5/421 667
/proc/meminfo: memFree=22205224/32950928 swapFree=67056568/67111528
[pid=510] ppid=508 vsize=218972 CPUtime=522.31 cores=0,2
/proc/510/stat : 510 (qutersat_releas) R 508 510 31839 0 -1 4202496 40675 0 0 0 52224 7 0 0 25 0 1 0 659201468 224227328 40547 33554432000 4194304 6014671 140734928663952 18446744073709551615 4424296 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/510/statm: 54743 40547 729 445 0 48288 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 218972
[startup+582.3 s]
/proc/loadavg: 4.13 4.04 3.94 5/421 669
/proc/meminfo: memFree=22181292/32950928 swapFree=67056568/67111528
[pid=510] ppid=508 vsize=218972 CPUtime=582.31 cores=0,2
/proc/510/stat : 510 (qutersat_releas) R 508 510 31839 0 -1 4202496 41020 0 0 0 58224 7 0 0 25 0 1 0 659201468 224227328 40870 33554432000 4194304 6014671 140734928663952 18446744073709551615 4377028 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/510/statm: 54743 40870 729 445 0 48288 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 218972
[startup+642.301 s]
/proc/loadavg: 4.08 4.05 3.95 5/421 670
/proc/meminfo: memFree=22159700/32950928 swapFree=67056568/67111528
[pid=510] ppid=508 vsize=218972 CPUtime=642.32 cores=0,2
/proc/510/stat : 510 (qutersat_releas) R 508 510 31839 0 -1 4202496 41507 0 0 0 64225 7 0 0 25 0 1 0 659201468 224227328 41357 33554432000 4194304 6014671 140734928663952 18446744073709551615 4423631 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/510/statm: 54743 41357 729 445 0 48288 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 218972
[startup+702.301 s]
/proc/loadavg: 4.24 4.08 3.96 5/421 672
/proc/meminfo: memFree=22110092/32950928 swapFree=67056568/67111528
[pid=510] ppid=508 vsize=218972 CPUtime=702.31 cores=0,2
/proc/510/stat : 510 (qutersat_releas) R 508 510 31839 0 -1 4202496 41971 0 0 0 70224 7 0 0 25 0 1 0 659201468 224227328 41754 33554432000 4194304 6014671 140734928663952 18446744073709551615 4423904 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/510/statm: 54743 41754 729 445 0 48288 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 218972
[startup+762.316 s]
/proc/loadavg: 4.15 4.08 3.97 5/421 674
/proc/meminfo: memFree=22066300/32950928 swapFree=67056568/67111528
[pid=510] ppid=508 vsize=272916 CPUtime=762.34 cores=0,2
/proc/510/stat : 510 (qutersat_releas) R 508 510 31839 0 -1 4202496 45720 0 0 0 76226 8 0 0 25 0 1 0 659201468 279465984 45503 33554432000 4194304 6014671 140734928663952 18446744073709551615 4423518 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/510/statm: 68229 45503 729 445 0 61774 0
Current children cumulated CPU time (s) 762.34
Current children cumulated vsize (KiB) 272916
[startup+822.3 s]
/proc/loadavg: 4.05 4.06 3.97 5/421 675
/proc/meminfo: memFree=22072616/32950928 swapFree=67056568/67111528
[pid=510] ppid=508 vsize=272916 CPUtime=822.32 cores=0,2
/proc/510/stat : 510 (qutersat_releas) R 508 510 31839 0 -1 4202496 46193 0 0 0 82224 8 0 0 25 0 1 0 659201468 279465984 45976 33554432000 4194304 6014671 140734928663952 18446744073709551615 4422773 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/510/statm: 68229 45976 729 445 0 61774 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 272916
[startup+882.301 s]
/proc/loadavg: 4.02 4.05 3.97 5/421 677
/proc/meminfo: memFree=22073472/32950928 swapFree=67056568/67111528
[pid=510] ppid=508 vsize=272916 CPUtime=882.32 cores=0,2
/proc/510/stat : 510 (qutersat_releas) R 508 510 31839 0 -1 4202496 46410 0 0 0 88223 9 0 0 25 0 1 0 659201468 279465984 46101 33554432000 4194304 6014671 140734928663952 18446744073709551615 4372095 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/510/statm: 68229 46101 729 445 0 61774 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 272916
[startup+942.3 s]
/proc/loadavg: 4.00 4.04 3.97 5/421 678
/proc/meminfo: memFree=22064040/32950928 swapFree=67056568/67111528
[pid=510] ppid=508 vsize=272916 CPUtime=942.33 cores=0,2
/proc/510/stat : 510 (qutersat_releas) R 508 510 31839 0 -1 4202496 46681 0 0 0 94224 9 0 0 25 0 1 0 659201468 279465984 46372 33554432000 4194304 6014671 140734928663952 18446744073709551615 4376981 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/510/statm: 68229 46372 729 445 0 61774 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 272916
[startup+1002.3 s]
/proc/loadavg: 4.00 4.03 3.97 5/421 680
/proc/meminfo: memFree=22052624/32950928 swapFree=67056568/67111528
[pid=510] ppid=508 vsize=272916 CPUtime=1002.32 cores=0,2
/proc/510/stat : 510 (qutersat_releas) R 508 510 31839 0 -1 4202496 48852 0 0 0 100223 9 0 0 25 0 1 0 659201468 279465984 48536 33554432000 4194304 6014671 140734928663952 18446744073709551615 4424123 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/510/statm: 68229 48536 726 445 0 61774 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 272916
[startup+1062.3 s]
/proc/loadavg: 4.09 4.05 3.98 5/421 682
/proc/meminfo: memFree=22046292/32950928 swapFree=67056568/67111528
[pid=510] ppid=508 vsize=272916 CPUtime=1062.33 cores=0,2
/proc/510/stat : 510 (qutersat_releas) R 508 510 31839 0 -1 4202496 51640 0 0 0 106223 10 0 0 25 0 1 0 659201468 279465984 49159 33554432000 4194304 6014671 140734928663952 18446744073709551615 4424296 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/510/statm: 68229 49159 726 445 0 61774 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 272916
[startup+1122.3 s]
/proc/loadavg: 4.12 4.07 3.99 5/421 683
/proc/meminfo: memFree=21983156/32950928 swapFree=67056568/67111528
[pid=510] ppid=508 vsize=330796 CPUtime=1122.33 cores=0,2
/proc/510/stat : 510 (qutersat_releas) R 508 510 31839 0 -1 4202496 60168 0 0 0 112221 12 0 0 25 0 1 0 659201468 338735104 57673 33554432000 4194304 6014671 140734928663952 18446744073709551615 4422749 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/510/statm: 82699 57673 726 445 0 76244 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 330796
Solver just ended. Dumping a history of the last processes samples
[startup+1126.3 s]
/proc/loadavg: 4.11 4.07 3.99 5/421 683
/proc/meminfo: memFree=21982164/32950928 swapFree=67056568/67111528
[pid=510] ppid=508 vsize=330796 CPUtime=1126.34 cores=0,2
/proc/510/stat : 510 (qutersat_releas) R 508 510 31839 0 -1 4202496 60402 0 0 0 112622 12 0 0 25 0 1 0 659201468 338735104 57907 33554432000 4194304 6014671 140734928663952 18446744073709551615 4422773 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/510/statm: 82699 57907 726 445 0 76244 0
Current children cumulated CPU time (s) 1126.34
Current children cumulated vsize (KiB) 330796
[startup+1151.9 s]
/proc/loadavg: 4.15 4.08 4.00 5/421 684
/proc/meminfo: memFree=21980052/32950928 swapFree=67056568/67111528
[pid=510] ppid=508 vsize=330796 CPUtime=1151.93 cores=0,2
/proc/510/stat : 510 (qutersat_releas) R 508 510 31839 0 -1 4202496 60420 0 0 0 115181 12 0 0 25 0 1 0 659201468 338735104 57925 33554432000 4194304 6014671 140734928663952 18446744073709551615 4423501 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/510/statm: 82699 57925 726 445 0 76244 0
Current children cumulated CPU time (s) 1151.93
Current children cumulated vsize (KiB) 330796
[startup+1158.32 s]
/proc/loadavg: 4.14 4.08 4.00 5/421 684
/proc/meminfo: memFree=21976080/32950928 swapFree=67056568/67111528
[pid=510] ppid=508 vsize=330796 CPUtime=1158.35 cores=0,2
/proc/510/stat : 510 (qutersat_releas) R 508 510 31839 0 -1 4202496 60420 0 0 0 115823 12 0 0 25 0 1 0 659201468 338735104 57925 33554432000 4194304 6014671 140734928663952 18446744073709551615 4423301 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/510/statm: 82699 57925 726 445 0 76244 0
Current children cumulated CPU time (s) 1158.35
Current children cumulated vsize (KiB) 330796
[startup+1164.7 s]
/proc/loadavg: 4.13 4.07 4.00 5/421 684
/proc/meminfo: memFree=21971492/32950928 swapFree=67056568/67111528
[pid=510] ppid=508 vsize=330796 CPUtime=1164.73 cores=0,2
/proc/510/stat : 510 (qutersat_releas) R 508 510 31839 0 -1 4202496 60420 0 0 0 116461 12 0 0 25 0 1 0 659201468 338735104 57925 33554432000 4194304 6014671 140734928663952 18446744073709551615 4423994 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/510/statm: 82699 57925 726 445 0 76244 0
Current children cumulated CPU time (s) 1164.73
Current children cumulated vsize (KiB) 330796
[startup+1166.3 s]
/proc/loadavg: 4.12 4.07 4.00 5/421 684
/proc/meminfo: memFree=21970248/32950928 swapFree=67056568/67111528
[pid=510] ppid=508 vsize=330796 CPUtime=1166.33 cores=0,2
/proc/510/stat : 510 (qutersat_releas) R 508 510 31839 0 -1 4202496 60420 0 0 0 116621 12 0 0 25 0 1 0 659201468 338735104 57925 33554432000 4194304 6014671 140734928663952 18446744073709551615 4423472 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/510/statm: 82699 57925 726 445 0 76244 0
Current children cumulated CPU time (s) 1166.33
Current children cumulated vsize (KiB) 330796
[startup+1167.12 s]
/proc/loadavg: 4.12 4.07 4.00 5/421 684
/proc/meminfo: memFree=21969132/32950928 swapFree=67056568/67111528
[pid=510] ppid=508 vsize=330796 CPUtime=1167.15 cores=0,2
/proc/510/stat : 510 (qutersat_releas) R 508 510 31839 0 -1 4202496 60420 0 0 0 116703 12 0 0 25 0 1 0 659201468 338735104 57925 33554432000 4194304 6014671 140734928663952 18446744073709551615 4423640 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/510/statm: 82699 57925 726 445 0 76244 0
Current children cumulated CPU time (s) 1167.15
Current children cumulated vsize (KiB) 330796
[startup+1167.5 s]
/proc/loadavg: 4.12 4.07 4.00 5/421 684
/proc/meminfo: memFree=21969132/32950928 swapFree=67056568/67111528
[pid=510] ppid=508 vsize=330796 CPUtime=1167.54 cores=0,2
/proc/510/stat : 510 (qutersat_releas) R 508 510 31839 0 -1 4202496 60420 0 0 0 116742 12 0 0 25 0 1 0 659201468 338735104 57925 33554432000 4194304 6014671 140734928663952 18446744073709551615 4423994 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/510/statm: 82699 57925 726 445 0 76244 0
Current children cumulated CPU time (s) 1167.54
Current children cumulated vsize (KiB) 330796
[startup+1167.7 s]
/proc/loadavg: 4.12 4.07 4.00 5/421 684
/proc/meminfo: memFree=21969132/32950928 swapFree=67056568/67111528
[pid=510] ppid=508 vsize=0 CPUtime=1167.73 cores=0,2
/proc/510/stat : 510 (qutersat_releas) R 508 510 31839 0 -1 4202500 60425 0 0 0 116761 12 0 0 25 0 1 0 659201468 0 0 33554432000 0 0 0 0 0 0 0 4096 16386 18446744073709551615 0 0 17 0 0 0 0
/proc/510/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1167.73
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1167.71
CPU time (s): 1167.75
CPU user time (s): 1167.61
CPU system time (s): 0.132979
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 330796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1167.61
system time used= 0.132979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60425
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= 13
involuntary context switches= 2101
runsolver used 5.08423 second user time and 10.5254 second system time
The end
Begin job on node148 at 2011-05-15 18:14:04
IDJOB=3377000
IDBENCH=85973
IDSOLVER=1856
FILE ID=node148/3377000-1305476044
RUNJOBID= node148-1305476044-492
PBS_JOBID= 13325324
Free space on /tmp= 72856 MiB
SOLVER NAME= QuteRSat 2011-05-12 (fixed)
BENCH NAME= SAT05/industrial/grieu05/vmpc/vmpc_29.renamed-as.sat05-1916.cnf
COMMAND LINE= qutersat_release BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3377000-1305476044/watcher-3377000-1305476044 -o /tmp/evaluation-result-3377000-1305476044/solver-3377000-1305476044 -C 2400 -W 1300 -M 7680 qutersat_release HOME/instance-3377000-1305476044.cnf 162612802
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= f874c09c5787bb3c6a16f7a5f9ea0ad4
RANDOM SEED=162612802
node148.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.854
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.70
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.854
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.854
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.854
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.854
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.854
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.854
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.854
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 23080108 kB
Buffers: 344592 kB
Cached: 4982988 kB
SwapCached: 8488 kB
Active: 6172100 kB
Inactive: 3336852 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 23080108 kB
SwapTotal: 67111528 kB
SwapFree: 67056568 kB
Dirty: 6428 kB
Writeback: 0 kB
AnonPages: 4179636 kB
Mapped: 31712 kB
Slab: 259008 kB
PageTables: 36904 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 105091688 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 72848 MiB
End job on node148 at 2011-05-15 18:33:32