Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | ? (TO) | 1800.05 | 1800.01 |
Name | /PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph13reduc_wcsp.wbo |
MD5SUM | e8a3fc4e5070ef9b31eb0b16df3c02d4 |
Bench Category | PARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints) |
Best result obtained on this benchmark | |
Best cost obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 13155 |
Total number of constraints | 970906 |
Number of soft constraints | 970450 |
Number of constraints which are clauses | 970450 |
Number of constraints which are cardinality constraints (but not clauses) | 456 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 44 |
Top cost | 10110 |
Min constraint cost | 1 |
Max constraint cost | 3670 |
Sum of constraints costs | 307075871 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 45 |
Number of bits of the biggest sum of numbers | 6 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c PB/CT 0.1.1 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2701813-1278541622/watcher-2701813-1278541622 -o /tmp/evaluation-result-2701813-1278541622/solver-2701813-1278541622 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701813-1278541622.wbo 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.04 2.23 2.15 4/195 21370 /proc/meminfo: memFree=28053752/32950928 swapFree=67111528/67111528 [pid=21370] ppid=21368 vsize=2400 CPUtime=0 /proc/21370/stat : 21370 (pbct) R 21368 21370 19071 0 -1 4202496 301 0 0 0 0 0 0 0 21 0 1 0 22375841 2457600 220 4089446400 134512640 136421960 4291751152 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21370/statm: 600 220 140 467 0 131 0 [startup+0.063128 s] /proc/loadavg: 2.04 2.23 2.15 4/195 21370 /proc/meminfo: memFree=28053752/32950928 swapFree=67111528/67111528 [pid=21370] ppid=21368 vsize=3980 CPUtime=0.06 /proc/21370/stat : 21370 (pbct) R 21368 21370 19071 0 -1 4202496 712 0 0 0 6 0 0 0 21 0 1 0 22375841 4075520 598 4089446400 134512640 136421960 4291751152 18446744073709551615 134517520 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21370/statm: 995 599 144 467 0 526 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3980 [startup+0.101115 s] /proc/loadavg: 2.04 2.23 2.15 4/195 21370 /proc/meminfo: memFree=28053752/32950928 swapFree=67111528/67111528 [pid=21370] ppid=21368 vsize=4244 CPUtime=0.09 /proc/21370/stat : 21370 (pbct) R 21368 21370 19071 0 -1 4202496 802 0 0 0 9 0 0 0 22 0 1 0 22375841 4345856 688 4089446400 134512640 136421960 4291751152 18446744073709551615 135818454 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21370/statm: 1061 688 144 467 0 592 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4244 [startup+0.301083 s] /proc/loadavg: 2.04 2.23 2.15 4/195 21370 /proc/meminfo: memFree=28053752/32950928 swapFree=67111528/67111528 [pid=21370] ppid=21368 vsize=6860 CPUtime=0.29 /proc/21370/stat : 21370 (pbct) R 21368 21370 19071 0 -1 4202496 1606 0 0 0 29 0 0 0 22 0 1 0 22375841 7024640 1298 4089446400 134512640 136421960 4291751152 18446744073709551615 135521396 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21370/statm: 1715 1298 144 467 0 1246 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6860 [startup+0.701005 s] /proc/loadavg: 2.04 2.23 2.15 4/195 21370 /proc/meminfo: memFree=28053752/32950928 swapFree=67111528/67111528 [pid=21370] ppid=21368 vsize=15476 CPUtime=0.69 /proc/21370/stat : 21370 (pbct) R 21368 21370 19071 0 -1 4202496 4077 0 0 0 69 0 0 0 24 0 1 0 22375841 15847424 2999 4089446400 134512640 136421960 4291751152 18446744073709551615 135160348 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21370/statm: 3869 2999 144 467 0 3400 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15476 [startup+1.50088 s] /proc/loadavg: 2.04 2.23 2.15 3/196 21371 /proc/meminfo: memFree=28041228/32950928 swapFree=67111528/67111528 [pid=21370] ppid=21368 vsize=27756 CPUtime=1.49 /proc/21370/stat : 21370 (pbct) R 21368 21370 19071 0 -1 4202496 7759 0 0 0 148 1 0 0 25 0 1 0 22375841 28422144 5656 4089446400 134512640 136421960 4291751152 18446744073709551615 135154730 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21370/statm: 6939 5656 144 467 0 6470 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27756 [startup+3.10047 s] /proc/loadavg: 2.03 2.23 2.15 3/196 21371 /proc/meminfo: memFree=28026596/32950928 swapFree=67111528/67111528 [pid=21370] ppid=21368 vsize=52316 CPUtime=3.09 /proc/21370/stat : 21370 (pbct) R 21368 21370 19071 0 -1 4202496 15120 0 0 0 306 3 0 0 25 0 1 0 22375841 53571584 10968 4089446400 134512640 136421960 4291751152 18446744073709551615 135154826 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21370/statm: 13079 10968 144 467 0 12610 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 52316 [startup+6.30099 s] /proc/loadavg: 2.03 2.23 2.15 3/196 21371 /proc/meminfo: memFree=27992856/32950928 swapFree=67111528/67111528 [pid=21370] ppid=21368 vsize=65124 CPUtime=6.29 /proc/21370/stat : 21370 (pbct) R 21368 21370 19071 0 -1 4202496 19741 0 0 0 625 4 0 0 25 0 1 0 22375841 66686976 15589 4089446400 134512640 136421960 4291751152 18446744073709551615 135161837 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21370/statm: 16281 15589 145 467 0 15812 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 65124 [startup+12.7009 s] /proc/loadavg: 2.10 2.24 2.15 3/196 21371 /proc/meminfo: memFree=27976992/32950928 swapFree=67111528/67111528 [pid=21370] ppid=21368 vsize=65124 CPUtime=12.69 /proc/21370/stat : 21370 (pbct) R 21368 21370 19071 0 -1 4202496 19741 0 0 0 1265 4 0 0 25 0 1 0 22375841 66686976 15589 4089446400 134512640 136421960 4291751152 18446744073709551615 135161800 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21370/statm: 16281 15589 145 467 0 15812 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 65124 [startup+25.5006 s] /proc/loadavg: 2.08 2.23 2.15 3/196 21372 /proc/meminfo: memFree=27994344/32950928 swapFree=67111528/67111528 [pid=21370] ppid=21368 vsize=65124 CPUtime=25.49 /proc/21370/stat : 21370 (pbct) R 21368 21370 19071 0 -1 4202496 19741 0 0 0 2545 4 0 0 25 0 1 0 22375841 66686976 15589 4089446400 134512640 136421960 4291751152 18446744073709551615 135161803 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21370/statm: 16281 15589 145 467 0 15812 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 65124 [startup+51.101 s] /proc/loadavg: 2.06 2.21 2.14 3/196 21373 /proc/meminfo: memFree=27994288/32950928 swapFree=67111528/67111528 [pid=21370] ppid=21368 vsize=65124 CPUtime=51.09 /proc/21370/stat : 21370 (pbct) R 21368 21370 19071 0 -1 4202496 19741 0 0 0 5105 4 0 0 25 0 1 0 22375841 66686976 15589 4089446400 134512640 136421960 4291751152 18446744073709551615 134545340 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21370/statm: 16281 15589 145 467 0 15812 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 65124 [startup+102.307 s] /proc/loadavg: 3.14 2.42 2.21 6/196 21465 /proc/meminfo: memFree=29386560/32950928 swapFree=67111528/67111528 [pid=21370] ppid=21368 vsize=65124 CPUtime=102.3 /proc/21370/stat : 21370 (pbct) R 21368 21370 19071 0 -1 4202496 19741 0 0 0 10226 4 0 0 25 0 1 0 22375841 66686976 15589 4089446400 134512640 136421960 4291751152 18446744073709551615 135161868 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21370/statm: 16281 15589 145 467 0 15812 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 65124 [startup+162.301 s] /proc/loadavg: 2.74 2.43 2.23 3/196 21466 /proc/meminfo: memFree=29266040/32950928 swapFree=67111528/67111528 [pid=21370] ppid=21368 vsize=65124 CPUtime=162.29 /proc/21370/stat : 21370 (pbct) R 21368 21370 19071 0 -1 4202496 19741 0 0 0 16225 4 0 0 25 0 1 0 22375841 66686976 15589 4089446400 134512640 136421960 4291751152 18446744073709551615 135161837 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21370/statm: 16281 15589 145 467 0 15812 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 65124 [startup+222.3 s] /proc/loadavg: 2.25 2.35 2.21 3/196 21468 /proc/meminfo: memFree=29198208/32950928 swapFree=67111528/67111528 [pid=21370] ppid=21368 vsize=65124 CPUtime=222.29 /proc/21370/stat : 21370 (pbct) R 21368 21370 19071 0 -1 4202496 19741 0 0 0 22225 4 0 0 25 0 1 0 22375841 66686976 15589 4089446400 134512640 136421960 4291751152 18446744073709551615 135161806 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21370/statm: 16281 15589 145 467 0 15812 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 65124 [startup+282.301 s] /proc/loadavg: 2.42 2.35 2.22 3/196 21470 /proc/meminfo: memFree=29131936/32950928 swapFree=67111528/67111528 [pid=21370] ppid=21368 vsize=65124 CPUtime=282.3 /proc/21370/stat : 21370 (pbct) R 21368 21370 19071 0 -1 4202496 19741 0 0 0 28226 4 0 0 25 0 1 0 22375841 66686976 15589 4089446400 134512640 136421960 4291751152 18446744073709551615 135161837 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21370/statm: 16281 15589 145 467 0 15812 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 65124 [startup+342.304 s] /proc/loadavg: 3.24 2.65 2.33 3/196 21472 /proc/meminfo: memFree=29041088/32950928 swapFree=67111528/67111528 [pid=21370] ppid=21368 vsize=65124 CPUtime=342.3 /proc/21370/stat : 21370 (pbct) R 21368 21370 19071 0 -1 4202496 19741 0 0 0 34226 4 0 0 25 0 1 0 22375841 66686976 15589 4089446400 134512640 136421960 4291751152 18446744073709551615 135161794 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/21370/statm: 16281 15589 145 467 0 15812 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 65124 [startup+402.3 s] /proc/loadavg: 2.99 2.66 2.35 3/197 21523 /proc/meminfo: memFree=28889688/32950928 swapFree=67111528/67111528 [pid=21370] ppid=21368 vsize=65124 CPUtime=402.29 /proc/21370/stat : 21370 (pbct) R 21368 21370 19071 0 -1 4202496 19741 0 0 0 40225 4 0 0 25 0 1 0 22375841 66686976 15589 4089446400 134512640 136421960 4291751152 18446744073709551615 135161828 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/21370/statm: 16281 15589 145 467 0 15812 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 65124 [startup+462.301 s] /proc/loadavg: 2.33 2.53 2.32 3/197 21524 /proc/meminfo: memFree=28889616/32950928 swapFree=67111528/67111528 [pid=21370] ppid=21368 vsize=65124 CPUtime=462.29 /proc/21370/stat : 21370 (pbct) R 21368 21370 19071 0 -1 4202496 19741 0 0 0 46225 4 0 0 25 0 1 0 22375841 66686976 15589 4089446400 134512640 136421960 4291751152 18446744073709551615 135161837 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/21370/statm: 16281 15589 145 467 0 15812 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 65124 [startup+522.301 s] /proc/loadavg: 2.13 2.44 2.30 3/197 21526 /proc/meminfo: memFree=28889392/32950928 swapFree=67111528/67111528 [pid=21370] ppid=21368 vsize=65124 CPUtime=522.3 /proc/21370/stat : 21370 (pbct) R 21368 21370 19071 0 -1 4202496 19741 0 0 0 52226 4 0 0 25 0 1 0 22375841 66686976 15589 4089446400 134512640 136421960 4291751152 18446744073709551615 135161837 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/21370/statm: 16281 15589 145 467 0 15812 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 65124 [startup+582.3 s] /proc/loadavg: 2.04 2.35 2.28 3/197 21528 /proc/meminfo: memFree=28889196/32950928 swapFree=67111528/67111528 [pid=21370] ppid=21368 vsize=65124 CPUtime=582.31 /proc/21370/stat : 21370 (pbct) R 21368 21370 19071 0 -1 4202496 19741 0 0 0 58226 5 0 0 25 0 1 0 22375841 66686976 15589 4089446400 134512640 136421960 4291751152 18446744073709551615 135161837 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/21370/statm: 16281 15589 145 467 0 15812 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 65124 [startup+642.3 s] /proc/loadavg: 2.01 2.28 2.26 3/197 21530 /proc/meminfo: memFree=28889184/32950928 swapFree=67111528/67111528 [pid=21370] ppid=21368 vsize=65124 CPUtime=642.31 /proc/21370/stat : 21370 (pbct) R 21368 21370 19071 0 -1 4202496 19741 0 0 0 64226 5 0 0 25 0 1 0 22375841 66686976 15589 4089446400 134512640 136421960 4291751152 18446744073709551615 135161825 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/21370/statm: 16281 15589 145 467 0 15812 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 65124 [startup+702.301 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.01 2.16 2.21 3/197 21534 /proc/meminfo: memFree=28889468/32950928 swapFree=67111528/67111528 [pid=21370] ppid=21368 vsize=65124 CPUtime=822.31 /proc/21370/stat : 21370 (pbct) R 21368 21370 19071 0 -1 4202496 19741 0 0 0 82226 5 0 0 25 0 1 0 22375841 66686976 15589 4089446400 134512640 136421960 4291751152 18446744073709551615 135161794 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/21370/statm: 16281 15589 145 467 0 15812 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 65124 [startup+882.301 s] /proc/loadavg: 2.00 2.13 2.19 3/197 21536 /proc/meminfo: memFree=28889616/32950928 swapFree=67111528/67111528 [pid=21370] ppid=21368 vsize=65124 CPUtime=882.31 /proc/21370/stat : 21370 (pbct) R 21368 21370 19071 0 -1 4202496 19741 0 0 0 88226 5 0 0 25 0 1 0 22375841 66686976 15589 4089446400 134512640 136421960 4291751152 18446744073709551615 135161813 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/21370/statm: 16281 15589 145 467 0 15812 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 65124 [startup+942.301 s] /proc/loadavg: 2.00 2.10 2.18 3/197 21538 /proc/meminfo: memFree=28889544/32950928 swapFree=67111528/67111528 [pid=21370] ppid=21368 vsize=65124 CPUtime=942.31 /proc/21370/stat : 21370 (pbct) R 21368 21370 19071 0 -1 4202496 19741 0 0 0 94226 5 0 0 25 0 1 0 22375841 66686976 15589 4089446400 134512640 136421960 4291751152 18446744073709551615 135161846 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/21370/statm: 16281 15589 145 467 0 15812 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 65124 [startup+1002.3 s] /proc/loadavg: 2.03 2.10 2.17 3/197 21539 /proc/meminfo: memFree=28889504/32950928 swapFree=67111528/67111528 [pid=21370] ppid=21368 vsize=65124 CPUtime=1002.31 /proc/21370/stat : 21370 (pbct) R 21368 21370 19071 0 -1 4202496 19741 0 0 0 100226 5 0 0 25 0 1 0 22375841 66686976 15589 4089446400 134512640 136421960 4291751152 18446744073709551615 135161776 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/21370/statm: 16281 15589 145 467 0 15812 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 65124 [startup+1062.3 s] /proc/loadavg: 2.01 2.08 2.16 3/197 21540 /proc/meminfo: memFree=28889460/32950928 swapFree=67111528/67111528 [pid=21370] ppid=21368 vsize=65124 CPUtime=1062.32 /proc/21370/stat : 21370 (pbct) R 21368 21370 19071 0 -1 4202496 19741 0 0 0 106227 5 0 0 25 0 1 0 22375841 66686976 15589 4089446400 134512640 136421960 4291751152 18446744073709551615 135161837 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/21370/statm: 16281 15589 145 467 0 15812 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 65124 [startup+1122.3 s] /proc/loadavg: 2.00 2.06 2.15 3/197 21542 /proc/meminfo: memFree=28889260/32950928 swapFree=67111528/67111528 [pid=21370] ppid=21368 vsize=65124 CPUtime=1122.32 /proc/21370/stat : 21370 (pbct) R 21368 21370 19071 0 -1 4202496 19741 0 0 0 112227 5 0 0 25 0 1 0 22375841 66686976 15589 4089446400 134512640 136421960 4291751152 18446744073709551615 135161846 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/21370/statm: 16281 15589 145 467 0 15812 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 65124 [startup+1182.3 s] /proc/loadavg: 2.00 2.05 2.14 3/197 21544 /proc/meminfo: memFree=28889044/32950928 swapFree=67111528/67111528 [pid=21370] ppid=21368 vsize=65124 CPUtime=1182.32 /proc/21370/stat : 21370 (pbct) R 21368 21370 19071 0 -1 4202496 19741 0 0 0 118227 5 0 0 25 0 1 0 22375841 66686976 15589 4089446400 134512640 136421960 4291751152 18446744073709551615 134545340 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/21370/statm: 16281 15589 145 467 0 15812 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 65124 [startup+1242.3 s] /proc/loadavg: 2.00 2.04 2.12 3/197 21546 /proc/meminfo: memFree=28888844/32950928 swapFree=67111528/67111528 [pid=21370] ppid=21368 vsize=65124 CPUtime=1242.32 /proc/21370/stat : 21370 (pbct) R 21368 21370 19071 0 -1 4202496 19741 0 0 0 124227 5 0 0 25 0 1 0 22375841 66686976 15589 4089446400 134512640 136421960 4291751152 18446744073709551615 135161846 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/21370/statm: 16281 15589 145 467 0 15812 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 65124 [startup+1302.3 s] /proc/loadavg: 2.05 2.04 2.12 3/197 21547 /proc/meminfo: memFree=28888900/32950928 swapFree=67111528/67111528 [pid=21370] ppid=21368 vsize=65124 CPUtime=1302.33 /proc/21370/stat : 21370 (pbct) R 21368 21370 19071 0 -1 4202496 19741 0 0 0 130228 5 0 0 25 0 1 0 22375841 66686976 15589 4089446400 134512640 136421960 4291751152 18446744073709551615 135161837 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/21370/statm: 16281 15589 145 467 0 15812 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 65124 [startup+1362.3 s] /proc/loadavg: 2.02 2.03 2.11 3/197 21548 /proc/meminfo: memFree=28888712/32950928 swapFree=67111528/67111528 [pid=21370] ppid=21368 vsize=65124 CPUtime=1362.32 /proc/21370/stat : 21370 (pbct) R 21368 21370 19071 0 -1 4202496 19741 0 0 0 136227 5 0 0 25 0 1 0 22375841 66686976 15589 4089446400 134512640 136421960 4291751152 18446744073709551615 135161794 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/21370/statm: 16281 15589 145 467 0 15812 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 65124 [startup+1422.31 s] /proc/loadavg: 2.00 2.02 2.09 3/197 21550 /proc/meminfo: memFree=28888428/32950928 swapFree=67111528/67111528 [pid=21370] ppid=21368 vsize=65124 CPUtime=1422.33 /proc/21370/stat : 21370 (pbct) R 21368 21370 19071 0 -1 4202496 19741 0 0 0 142228 5 0 0 25 0 1 0 22375841 66686976 15589 4089446400 134512640 136421960 4291751152 18446744073709551615 135161871 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/21370/statm: 16281 15589 145 467 0 15812 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 65124 [startup+1482.3 s] /proc/loadavg: 2.56 2.13 2.12 3/197 21552 /proc/meminfo: memFree=28798844/32950928 swapFree=67111528/67111528 [pid=21370] ppid=21368 vsize=65124 CPUtime=1482.33 /proc/21370/stat : 21370 (pbct) R 21368 21370 19071 0 -1 4202496 19741 0 0 0 148228 5 0 0 25 0 1 0 22375841 66686976 15589 4089446400 134512640 136421960 4291751152 18446744073709551615 135161837 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/21370/statm: 16281 15589 145 467 0 15812 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 65124 [startup+1542.3 s] /proc/loadavg: 2.25 2.12 2.12 3/197 21554 /proc/meminfo: memFree=28684108/32950928 swapFree=67111528/67111528 [pid=21370] ppid=21368 vsize=65124 CPUtime=1542.33 /proc/21370/stat : 21370 (pbct) R 21368 21370 19071 0 -1 4202496 19741 0 0 0 154228 5 0 0 25 0 1 0 22375841 66686976 15589 4089446400 134512640 136421960 4291751152 18446744073709551615 135161837 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/21370/statm: 16281 15589 145 467 0 15812 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 65124 [startup+1602.3 s] /proc/loadavg: 2.09 2.10 2.11 3/197 21555 /proc/meminfo: memFree=28683672/32950928 swapFree=67111528/67111528 [pid=21370] ppid=21368 vsize=65124 CPUtime=1602.33 /proc/21370/stat : 21370 (pbct) R 21368 21370 19071 0 -1 4202496 19741 0 0 0 160228 5 0 0 25 0 1 0 22375841 66686976 15589 4089446400 134512640 136421960 4291751152 18446744073709551615 135161837 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/21370/statm: 16281 15589 145 467 0 15812 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 65124 [startup+1662.3 s] /proc/loadavg: 2.03 2.08 2.09 3/197 21556 /proc/meminfo: memFree=28683400/32950928 swapFree=67111528/67111528 [pid=21370] ppid=21368 vsize=65124 CPUtime=1662.33 /proc/21370/stat : 21370 (pbct) R 21368 21370 19071 0 -1 4202496 19741 0 0 0 166228 5 0 0 25 0 1 0 22375841 66686976 15589 4089446400 134512640 136421960 4291751152 18446744073709551615 135161828 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/21370/statm: 16281 15589 145 467 0 15812 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 65124 [startup+1722.3 s] /proc/loadavg: 2.01 2.06 2.09 3/197 21558 /proc/meminfo: memFree=28683324/32950928 swapFree=67111528/67111528 [pid=21370] ppid=21368 vsize=65124 CPUtime=1722.33 /proc/21370/stat : 21370 (pbct) R 21368 21370 19071 0 -1 4202496 19741 0 0 0 172228 5 0 0 25 0 1 0 22375841 66686976 15589 4089446400 134512640 136421960 4291751152 18446744073709551615 135161837 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/21370/statm: 16281 15589 145 467 0 15812 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 65124 [startup+1782.3 s] /proc/loadavg: 2.00 2.05 2.08 3/197 21560 /proc/meminfo: memFree=28683260/32950928 swapFree=67111528/67111528 [pid=21370] ppid=21368 vsize=65124 CPUtime=1782.33 /proc/21370/stat : 21370 (pbct) R 21368 21370 19071 0 -1 4202496 19741 0 0 0 178228 5 0 0 25 0 1 0 22375841 66686976 15589 4089446400 134512640 136421960 4291751152 18446744073709551615 135161776 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/21370/statm: 16281 15589 145 467 0 15812 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 65124 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.04 2.08 3/197 21560 /proc/meminfo: memFree=28683252/32950928 swapFree=67111528/67111528 [pid=21370] ppid=21368 vsize=65124 CPUtime=1800.04 /proc/21370/stat : 21370 (pbct) R 21368 21370 19071 0 -1 4202496 19741 0 0 0 179999 5 0 0 25 0 1 0 22375841 66686976 15589 4089446400 134512640 136421960 4291751152 18446744073709551615 135161837 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/21370/statm: 16281 15589 145 467 0 15812 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 65124 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.01 CPU time (s): 1800.05 CPU user time (s): 1799.99 CPU system time (s): 0.06099 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 65124 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.99 system time used= 0.06099 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 19741 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= 1 involuntary context switches= 30377 runsolver used 2.71059 second user time and 5.77912 second system time The end
Begin job on node122 at 2010-07-08 00:27:03 IDJOB=2701813 IDBENCH=79641 IDSOLVER=1208 FILE ID=node122/2701813-1278541622 PBS_JOBID= 11239234 Free space on /tmp= 73128 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/graphs/normalized-graph13reduc_wcsp.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2701813-1278541622/watcher-2701813-1278541622 -o /tmp/evaluation-result-2701813-1278541622/solver-2701813-1278541622 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701813-1278541622.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e8a3fc4e5070ef9b31eb0b16df3c02d4 RANDOM SEED=1296897071 node122.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.839 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.67 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.839 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 : 5226.16 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.839 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.75 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.839 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.81 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.839 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.76 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.839 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.67 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.839 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.839 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 28054272 kB Buffers: 148816 kB Cached: 3095328 kB SwapCached: 0 kB Active: 2792712 kB Inactive: 1938616 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 28054272 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 247592 kB Writeback: 0 kB AnonPages: 1487428 kB Mapped: 20468 kB Slab: 97760 kB PageTables: 8208 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1661560 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= 73344 MiB End job on node122 at 2010-07-08 00:57:05