Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | ? (TO) | 1800.07 | 1800.04 |
Name | /PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen07reduc_wcsp.wbo |
MD5SUM | 6effabdb5f06e7cb39e8e89923338a20 |
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 | 4824 |
Total number of constraints | 564001 |
Number of soft constraints | 563839 |
Number of constraints which are clauses | 563839 |
Number of constraints which are cardinality constraints (but not clauses) | 162 |
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 | 343592 |
Min constraint cost | 1 |
Max constraint cost | 343592 |
Sum of constraints costs | 24999659190 |
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 1171.91/1171.92 c constraints 162/0 clauses 0/159592 units 1815 1171.91/1171.92 c vars 4824 1171.91/1171.93 c Setting top cost 343592 1800.03/1800.00 s UNKNOWN
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-2701405-1278539891/watcher-2701405-1278539891 -o /tmp/evaluation-result-2701405-1278539891/solver-2701405-1278539891 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701405-1278539891.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.06 2.09 2.06 3/196 21554 /proc/meminfo: memFree=28075488/32950940 swapFree=67111528/67111528 [pid=21554] ppid=21552 vsize=2400 CPUtime=0 /proc/21554/stat : 21554 (pbct) R 21552 21554 19710 0 -1 4202496 315 0 0 0 0 0 0 0 25 0 1 0 22203256 2457600 234 4089446400 134512640 136421960 4287249520 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/21554/statm: 600 234 140 467 0 131 0 [startup+0.0221119 s] /proc/loadavg: 2.06 2.09 2.06 3/196 21554 /proc/meminfo: memFree=28075488/32950940 swapFree=67111528/67111528 [pid=21554] ppid=21552 vsize=2664 CPUtime=0.02 /proc/21554/stat : 21554 (pbct) R 21552 21554 19710 0 -1 4202496 393 0 0 0 2 0 0 0 25 0 1 0 22203256 2727936 312 4089446400 134512640 136421960 4287249520 18446744073709551615 135161636 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/21554/statm: 666 312 144 467 0 197 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2664 [startup+0.101102 s] /proc/loadavg: 2.06 2.09 2.06 3/196 21554 /proc/meminfo: memFree=28075488/32950940 swapFree=67111528/67111528 [pid=21554] ppid=21552 vsize=3972 CPUtime=0.1 /proc/21554/stat : 21554 (pbct) R 21552 21554 19710 0 -1 4202496 765 0 0 0 10 0 0 0 25 0 1 0 22203256 4067328 586 4089446400 134512640 136421960 4287249520 18446744073709551615 134556916 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/21554/statm: 993 586 144 467 0 524 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3972 [startup+0.301064 s] /proc/loadavg: 2.06 2.09 2.06 3/196 21554 /proc/meminfo: memFree=28075488/32950940 swapFree=67111528/67111528 [pid=21554] ppid=21552 vsize=6200 CPUtime=0.29 /proc/21554/stat : 21554 (pbct) R 21552 21554 19710 0 -1 4202496 1451 0 0 0 29 0 0 0 25 0 1 0 22203256 6348800 1143 4089446400 134512640 136421960 4287249520 18446744073709551615 135809631 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/21554/statm: 1550 1143 144 467 0 1081 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6200 [startup+0.700949 s] /proc/loadavg: 2.06 2.09 2.06 3/196 21554 /proc/meminfo: memFree=28075488/32950940 swapFree=67111528/67111528 [pid=21554] ppid=21552 vsize=14816 CPUtime=0.69 /proc/21554/stat : 21554 (pbct) R 21552 21554 19710 0 -1 4202496 3899 0 0 0 69 0 0 0 25 0 1 0 22203256 15171584 2821 4089446400 134512640 136421960 4287249520 18446744073709551615 135805316 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/21554/statm: 3704 2821 144 467 0 3235 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14816 [startup+1.50087 s] /proc/loadavg: 2.06 2.09 2.06 3/197 21555 /proc/meminfo: memFree=28062212/32950940 swapFree=67111528/67111528 [pid=21554] ppid=21552 vsize=27096 CPUtime=1.49 /proc/21554/stat : 21554 (pbct) R 21552 21554 19710 0 -1 4202496 7563 0 0 0 148 1 0 0 25 0 1 0 22203256 27746304 5460 4089446400 134512640 136421960 4287249520 18446744073709551615 135160348 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/21554/statm: 6774 5460 144 467 0 6305 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27096 [startup+3.10058 s] /proc/loadavg: 2.06 2.09 2.06 3/197 21555 /proc/meminfo: memFree=28048944/32950940 swapFree=67111528/67111528 [pid=21554] ppid=21552 vsize=51656 CPUtime=3.09 /proc/21554/stat : 21554 (pbct) R 21552 21554 19710 0 -1 4202496 14801 0 0 0 307 2 0 0 25 0 1 0 22203256 52895744 10649 4089446400 134512640 136421960 4287249520 18446744073709551615 135161806 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/21554/statm: 12914 10649 145 467 0 12445 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 51656 [startup+6.30102 s] /proc/loadavg: 2.06 2.08 2.06 3/197 21555 /proc/meminfo: memFree=28032672/32950940 swapFree=67111528/67111528 [pid=21554] ppid=21552 vsize=51656 CPUtime=6.29 /proc/21554/stat : 21554 (pbct) R 21552 21554 19710 0 -1 4202496 14801 0 0 0 627 2 0 0 25 0 1 0 22203256 52895744 10649 4089446400 134512640 136421960 4287249520 18446744073709551615 134545312 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/21554/statm: 12914 10649 145 467 0 12445 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 51656 [startup+12.7009 s] /proc/loadavg: 2.05 2.08 2.06 3/197 21556 /proc/meminfo: memFree=28032856/32950940 swapFree=67111528/67111528 [pid=21554] ppid=21552 vsize=51656 CPUtime=12.69 /proc/21554/stat : 21554 (pbct) R 21552 21554 19710 0 -1 4202496 14801 0 0 0 1267 2 0 0 25 0 1 0 22203256 52895744 10649 4089446400 134512640 136421960 4287249520 18446744073709551615 135161811 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21554/statm: 12914 10649 145 467 0 12445 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 51656 [startup+25.5007 s] /proc/loadavg: 2.04 2.08 2.06 3/197 21556 /proc/meminfo: memFree=28033120/32950940 swapFree=67111528/67111528 [pid=21554] ppid=21552 vsize=51656 CPUtime=25.49 /proc/21554/stat : 21554 (pbct) R 21552 21554 19710 0 -1 4202496 14801 0 0 0 2547 2 0 0 25 0 1 0 22203256 52895744 10649 4089446400 134512640 136421960 4287249520 18446744073709551615 135161817 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21554/statm: 12914 10649 145 467 0 12445 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 51656 [startup+51.1011 s] /proc/loadavg: 2.02 2.07 2.06 3/197 21556 /proc/meminfo: memFree=28033028/32950940 swapFree=67111528/67111528 [pid=21554] ppid=21552 vsize=51656 CPUtime=51.09 /proc/21554/stat : 21554 (pbct) R 21552 21554 19710 0 -1 4202496 14801 0 0 0 5107 2 0 0 25 0 1 0 22203256 52895744 10649 4089446400 134512640 136421960 4287249520 18446744073709551615 134545312 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21554/statm: 12914 10649 145 467 0 12445 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 51656 [startup+102.306 s] /proc/loadavg: 2.01 2.06 2.05 3/197 21558 /proc/meminfo: memFree=28032860/32950940 swapFree=67111528/67111528 [pid=21554] ppid=21552 vsize=51656 CPUtime=102.3 /proc/21554/stat : 21554 (pbct) R 21552 21554 19710 0 -1 4202496 14801 0 0 0 10228 2 0 0 25 0 1 0 22203256 52895744 10649 4089446400 134512640 136421960 4287249520 18446744073709551615 135161817 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21554/statm: 12914 10649 145 467 0 12445 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 51656 [startup+162.301 s] /proc/loadavg: 2.00 2.05 2.05 3/197 21560 /proc/meminfo: memFree=28032852/32950940 swapFree=67111528/67111528 [pid=21554] ppid=21552 vsize=51656 CPUtime=162.29 /proc/21554/stat : 21554 (pbct) R 21552 21554 19710 0 -1 4202496 14801 0 0 0 16227 2 0 0 25 0 1 0 22203256 52895744 10649 4089446400 134512640 136421960 4287249520 18446744073709551615 135161828 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21554/statm: 12914 10649 145 467 0 12445 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 51656 [startup+222.301 s] /proc/loadavg: 2.00 2.03 2.04 3/197 21570 /proc/meminfo: memFree=28031792/32950940 swapFree=67111528/67111528 [pid=21554] ppid=21552 vsize=51656 CPUtime=222.29 /proc/21554/stat : 21554 (pbct) R 21552 21554 19710 0 -1 4202496 14801 0 0 0 22227 2 0 0 25 0 1 0 22203256 52895744 10649 4089446400 134512640 136421960 4287249520 18446744073709551615 135161806 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21554/statm: 12914 10649 145 467 0 12445 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 51656 [startup+282.301 s] /proc/loadavg: 2.00 2.03 2.04 3/197 21571 /proc/meminfo: memFree=28032008/32950940 swapFree=67111528/67111528 [pid=21554] ppid=21552 vsize=51656 CPUtime=282.29 /proc/21554/stat : 21554 (pbct) R 21552 21554 19710 0 -1 4202496 14801 0 0 0 28227 2 0 0 25 0 1 0 22203256 52895744 10649 4089446400 134512640 136421960 4287249520 18446744073709551615 134545330 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21554/statm: 12914 10649 145 467 0 12445 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 51656 [startup+342.301 s] /proc/loadavg: 2.00 2.02 2.03 3/197 21573 /proc/meminfo: memFree=28032092/32950940 swapFree=67111528/67111528 [pid=21554] ppid=21552 vsize=51656 CPUtime=342.3 /proc/21554/stat : 21554 (pbct) R 21552 21554 19710 0 -1 4202496 14801 0 0 0 34227 3 0 0 25 0 1 0 22203256 52895744 10649 4089446400 134512640 136421960 4287249520 18446744073709551615 135161856 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21554/statm: 12914 10649 145 467 0 12445 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 51656 [startup+402.301 s] /proc/loadavg: 2.00 2.01 2.02 3/197 21575 /proc/meminfo: memFree=28032288/32950940 swapFree=67111528/67111528 [pid=21554] ppid=21552 vsize=51656 CPUtime=402.3 /proc/21554/stat : 21554 (pbct) R 21552 21554 19710 0 -1 4202496 14801 0 0 0 40227 3 0 0 25 0 1 0 22203256 52895744 10649 4089446400 134512640 136421960 4287249520 18446744073709551615 135161837 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21554/statm: 12914 10649 145 467 0 12445 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 51656 [startup+462.301 s] /proc/loadavg: 2.00 2.01 2.02 3/197 21577 /proc/meminfo: memFree=28032124/32950940 swapFree=67111528/67111528 [pid=21554] ppid=21552 vsize=51656 CPUtime=462.3 /proc/21554/stat : 21554 (pbct) R 21552 21554 19710 0 -1 4202496 14801 0 0 0 46227 3 0 0 25 0 1 0 22203256 52895744 10649 4089446400 134512640 136421960 4287249520 18446744073709551615 135161837 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21554/statm: 12914 10649 145 467 0 12445 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 51656 [startup+522.301 s] /proc/loadavg: 2.04 2.02 2.02 3/197 21578 /proc/meminfo: memFree=28032216/32950940 swapFree=67111528/67111528 [pid=21554] ppid=21552 vsize=51656 CPUtime=522.3 /proc/21554/stat : 21554 (pbct) R 21552 21554 19710 0 -1 4202496 14801 0 0 0 52227 3 0 0 25 0 1 0 22203256 52895744 10649 4089446400 134512640 136421960 4287249520 18446744073709551615 135161817 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21554/statm: 12914 10649 145 467 0 12445 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 51656 [startup+582.301 s] /proc/loadavg: 2.01 2.01 2.01 3/197 21579 /proc/meminfo: memFree=28032420/32950940 swapFree=67111528/67111528 [pid=21554] ppid=21552 vsize=51656 CPUtime=582.3 /proc/21554/stat : 21554 (pbct) R 21552 21554 19710 0 -1 4202496 14801 0 0 0 58227 3 0 0 25 0 1 0 22203256 52895744 10649 4089446400 134512640 136421960 4287249520 18446744073709551615 135161846 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21554/statm: 12914 10649 145 467 0 12445 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 51656 [startup+642.3 s] /proc/loadavg: 2.00 2.01 2.01 3/197 21581 /proc/meminfo: memFree=28032376/32950940 swapFree=67111528/67111528 [pid=21554] ppid=21552 vsize=51656 CPUtime=642.31 /proc/21554/stat : 21554 (pbct) R 21552 21554 19710 0 -1 4202496 14801 0 0 0 64228 3 0 0 25 0 1 0 22203256 52895744 10649 4089446400 134512640 136421960 4287249520 18446744073709551615 135161806 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21554/statm: 12914 10649 145 467 0 12445 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 51656 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 21586 /proc/meminfo: memFree=28032396/32950940 swapFree=67111528/67111528 [pid=21554] ppid=21552 vsize=51656 CPUtime=822.31 /proc/21554/stat : 21554 (pbct) R 21552 21554 19710 0 -1 4202496 14801 0 0 0 82228 3 0 0 25 0 1 0 22203256 52895744 10649 4089446400 134512640 136421960 4287249520 18446744073709551615 135161776 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21554/statm: 12914 10649 145 467 0 12445 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 51656 [startup+882.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 21587 /proc/meminfo: memFree=28032236/32950940 swapFree=67111528/67111528 [pid=21554] ppid=21552 vsize=51656 CPUtime=882.31 /proc/21554/stat : 21554 (pbct) R 21552 21554 19710 0 -1 4202496 14801 0 0 0 88228 3 0 0 25 0 1 0 22203256 52895744 10649 4089446400 134512640 136421960 4287249520 18446744073709551615 134545340 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21554/statm: 12914 10649 145 467 0 12445 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 51656 [startup+942.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 21589 /proc/meminfo: memFree=28032328/32950940 swapFree=67111528/67111528 [pid=21554] ppid=21552 vsize=51656 CPUtime=942.31 /proc/21554/stat : 21554 (pbct) R 21552 21554 19710 0 -1 4202496 14801 0 0 0 94228 3 0 0 25 0 1 0 22203256 52895744 10649 4089446400 134512640 136421960 4287249520 18446744073709551615 135161806 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21554/statm: 12914 10649 145 467 0 12445 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 51656 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 21591 /proc/meminfo: memFree=28032408/32950940 swapFree=67111528/67111528 [pid=21554] ppid=21552 vsize=51656 CPUtime=1002.31 /proc/21554/stat : 21554 (pbct) R 21552 21554 19710 0 -1 4202496 14801 0 0 0 100228 3 0 0 25 0 1 0 22203256 52895744 10649 4089446400 134512640 136421960 4287249520 18446744073709551615 135161803 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21554/statm: 12914 10649 145 467 0 12445 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 51656 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 21593 /proc/meminfo: memFree=28032488/32950940 swapFree=67111528/67111528 [pid=21554] ppid=21552 vsize=51656 CPUtime=1062.31 /proc/21554/stat : 21554 (pbct) R 21552 21554 19710 0 -1 4202496 14801 0 0 0 106228 3 0 0 25 0 1 0 22203256 52895744 10649 4089446400 134512640 136421960 4287249520 18446744073709551615 135161846 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21554/statm: 12914 10649 145 467 0 12445 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 51656 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 21594 /proc/meminfo: memFree=28032576/32950940 swapFree=67111528/67111528 [pid=21554] ppid=21552 vsize=51656 CPUtime=1122.31 /proc/21554/stat : 21554 (pbct) R 21552 21554 19710 0 -1 4202496 14801 0 0 0 112228 3 0 0 25 0 1 0 22203256 52895744 10649 4089446400 134512640 136421960 4287249520 18446744073709551615 134545330 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21554/statm: 12914 10649 145 467 0 12445 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 51656 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 21595 /proc/meminfo: memFree=27197756/32950940 swapFree=67111528/67111528 [pid=21554] ppid=21552 vsize=903360 CPUtime=1182.31 /proc/21554/stat : 21554 (pbct) R 21552 21554 19710 0 -1 4202496 239231 0 0 0 118198 33 0 0 25 0 1 0 22203256 925040640 219144 4089446400 134512640 136421960 4287249520 18446744073709551615 135017513 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/21554/statm: 225840 219144 211 467 0 225371 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 903360 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 21600 /proc/meminfo: memFree=27185896/32950940 swapFree=67111528/67111528 [pid=21554] ppid=21552 vsize=913992 CPUtime=1242.31 /proc/21554/stat : 21554 (pbct) R 21552 21554 19710 0 -1 4202496 241900 0 0 0 124198 33 0 0 25 0 1 0 22203256 935927808 221813 4089446400 134512640 136421960 4287249520 18446744073709551615 135017513 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/21554/statm: 228498 221813 211 467 0 228029 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 913992 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 21602 /proc/meminfo: memFree=27175568/32950940 swapFree=67111528/67111528 [pid=21554] ppid=21552 vsize=925124 CPUtime=1302.33 /proc/21554/stat : 21554 (pbct) R 21552 21554 19710 0 -1 4202496 244412 0 0 0 128992 1241 0 0 25 0 1 0 22203256 947326976 224325 4089446400 134512640 136421960 4287249520 18446744073709551615 135022223 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/21554/statm: 231281 224325 217 467 0 230812 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 925124 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 21634 /proc/meminfo: memFree=28414356/32950940 swapFree=67111528/67111528 [pid=21554] ppid=21552 vsize=926444 CPUtime=1362.32 /proc/21554/stat : 21554 (pbct) R 21552 21554 19710 0 -1 4202496 244782 0 0 0 132955 3277 0 0 25 0 1 0 22203256 948678656 224695 4089446400 134512640 136421960 4287249520 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/21554/statm: 231611 224695 217 467 0 231142 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 926444 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 21635 /proc/meminfo: memFree=28410380/32950940 swapFree=67111528/67111528 [pid=21554] ppid=21552 vsize=931540 CPUtime=1422.33 /proc/21554/stat : 21554 (pbct) R 21552 21554 19710 0 -1 4202496 246190 0 0 0 136288 5945 0 0 25 0 1 0 22203256 953896960 225587 4089446400 134512640 136421960 4287249520 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/21554/statm: 232885 225587 217 467 0 232416 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 931540 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 21663 /proc/meminfo: memFree=28355700/32950940 swapFree=67111528/67111528 [pid=21554] ppid=21552 vsize=931936 CPUtime=1482.33 /proc/21554/stat : 21554 (pbct) R 21552 21554 19710 0 -1 4202496 246307 0 0 0 139528 8705 0 0 25 0 1 0 22203256 954302464 225704 4089446400 134512640 136421960 4287249520 18446744073709551615 135026187 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/21554/statm: 232984 225704 217 467 0 232515 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 931936 [startup+1542.3 s] /proc/loadavg: 2.88 2.21 2.07 2/176 21682 /proc/meminfo: memFree=27245172/32950940 swapFree=67111528/67111528 [pid=21554] ppid=21552 vsize=932772 CPUtime=1542.32 /proc/21554/stat : 21554 (pbct) R 21552 21554 19710 0 -1 4202496 246501 0 0 0 142648 11584 0 0 25 0 1 0 22203256 955158528 225898 4089446400 134512640 136421960 4287249520 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/21554/statm: 233193 225898 217 467 0 232724 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 932772 [startup+1602.3 s] /proc/loadavg: 2.53 2.25 2.09 3/197 21713 /proc/meminfo: memFree=27702272/32950940 swapFree=67111528/67111528 [pid=21554] ppid=21552 vsize=934092 CPUtime=1602.33 /proc/21554/stat : 21554 (pbct) R 21552 21554 19710 0 -1 4202496 246835 0 0 0 146463 13770 0 0 25 0 1 0 22203256 956510208 226232 4089446400 134512640 136421960 4287249520 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/21554/statm: 233523 226232 217 467 0 233054 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 934092 [startup+1662.3 s] /proc/loadavg: 2.19 2.20 2.08 3/197 21715 /proc/meminfo: memFree=27701312/32950940 swapFree=67111528/67111528 [pid=21554] ppid=21552 vsize=935148 CPUtime=1662.32 /proc/21554/stat : 21554 (pbct) R 21552 21554 19710 0 -1 4202496 247100 0 0 0 150639 15593 0 0 25 0 1 0 22203256 957591552 226497 4089446400 134512640 136421960 4287249520 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/21554/statm: 233787 226497 217 467 0 233318 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 935148 [startup+1722.3 s] /proc/loadavg: 2.07 2.16 2.08 3/197 21716 /proc/meminfo: memFree=27699752/32950940 swapFree=67111528/67111528 [pid=21554] ppid=21552 vsize=936948 CPUtime=1722.32 /proc/21554/stat : 21554 (pbct) R 21552 21554 19710 0 -1 4202496 247527 0 0 0 154832 17400 0 0 25 0 1 0 22203256 959434752 226924 4089446400 134512640 136421960 4287249520 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/21554/statm: 234237 226924 217 467 0 233768 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 936948 [startup+1782.3 s] /proc/loadavg: 2.02 2.13 2.07 3/197 21717 /proc/meminfo: memFree=27698080/32950940 swapFree=67111528/67111528 [pid=21554] ppid=21552 vsize=937872 CPUtime=1782.33 /proc/21554/stat : 21554 (pbct) R 21552 21554 19710 0 -1 4202496 247766 0 0 0 159024 19209 0 0 25 0 1 0 22203256 960380928 227163 4089446400 134512640 136421960 4287249520 18446744073709551615 135005960 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/21554/statm: 234468 227163 217 467 0 233999 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 937872 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.02 2.12 2.07 3/197 21718 /proc/meminfo: memFree=27697936/32950940 swapFree=67111528/67111528 [pid=21554] ppid=21552 vsize=938136 CPUtime=1800.03 /proc/21554/stat : 21554 (pbct) R 21552 21554 19710 0 -1 4202496 247844 0 0 0 160248 19755 0 0 25 0 1 0 22203256 960651264 227241 4089446400 134512640 136421960 4287249520 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/21554/statm: 234534 227241 217 467 0 234065 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 938136 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.04 CPU time (s): 1800.07 CPU user time (s): 1602.49 CPU system time (s): 197.585 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 938136 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1602.49 system time used= 197.585 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 247846 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= 5711 runsolver used 3.09953 second user time and 5.73513 second system time The end
Begin job on node117 at 2010-07-07 23:58:12 IDJOB=2701405 IDBENCH=79574 IDSOLVER=1208 FILE ID=node117/2701405-1278539891 PBS_JOBID= 11239243 Free space on /tmp= 73460 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/scens/normalized-scen07reduc_wcsp.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2701405-1278539891/watcher-2701405-1278539891 -o /tmp/evaluation-result-2701405-1278539891/solver-2701405-1278539891 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701405-1278539891.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6effabdb5f06e7cb39e8e89923338a20 RANDOM SEED=383159308 node117.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.846 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.69 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.846 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.83 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.846 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.846 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.87 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.846 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.74 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.846 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.82 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.846 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.62 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.846 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 : 5251.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950940 kB MemFree: 28076008 kB Buffers: 149060 kB Cached: 3297412 kB SwapCached: 0 kB Active: 2735520 kB Inactive: 1973872 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950940 kB LowFree: 28076008 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 27388 kB Writeback: 0 kB AnonPages: 1263072 kB Mapped: 20372 kB Slab: 100880 kB PageTables: 7560 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586996 kB Committed_AS: 1652020 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= 73476 MiB End job on node117 at 2010-07-08 00:28:14