Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | ? (TO) | 1800.1 | 1800.04 |
Name | /PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen06-18reduc_wcsp.wbo |
MD5SUM | da80b320d983b4610e4558746e61248d |
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 | 1758 |
Total number of constraints | 105203 |
Number of soft constraints | 105121 |
Number of constraints which are clauses | 105121 |
Number of constraints which are cardinality constraints (but not clauses) | 82 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 26 |
Top cost | 3389 |
Min constraint cost | 1 |
Max constraint cost | 2436 |
Sum of constraints costs | 36645766 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 27 |
Number of bits of the biggest sum of numbers | 5 |
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.2 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.49/0.59 c constraints 82/0 clauses 0/105121 units 0 0.49/0.59 c vars 1758 0.49/0.59 c Setting top cost 3389 1800.07/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-2701353-1278539374/watcher-2701353-1278539374 -o /tmp/evaluation-result-2701353-1278539374/solver-2701353-1278539374 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701353-1278539374.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.00 2.00 1.94 4/178 20846 /proc/meminfo: memFree=29914136/32951124 swapFree=67111528/67111528 [pid=20846] ppid=20844 vsize=2268 CPUtime=0 /proc/20846/stat : 20846 (pbct) R 20844 20846 19312 0 -1 4202496 289 0 0 0 0 0 0 0 19 0 1 0 22149671 2322432 209 4089446400 134512640 136422188 4287657248 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/20846/statm: 567 209 144 467 0 98 0 [startup+0.0961179 s] /proc/loadavg: 2.00 2.00 1.94 4/178 20846 /proc/meminfo: memFree=29914136/32951124 swapFree=67111528/67111528 [pid=20846] ppid=20844 vsize=3708 CPUtime=0.09 /proc/20846/stat : 20846 (pbct) R 20844 20846 19312 0 -1 4202496 696 0 0 0 9 0 0 0 21 0 1 0 22149671 3796992 518 4089446400 134512640 136422188 4287657248 18446744073709551615 135818334 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/20846/statm: 927 518 144 467 0 458 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3708 [startup+0.101116 s] /proc/loadavg: 2.00 2.00 1.94 4/178 20846 /proc/meminfo: memFree=29914136/32951124 swapFree=67111528/67111528 [pid=20846] ppid=20844 vsize=3708 CPUtime=0.09 /proc/20846/stat : 20846 (pbct) R 20844 20846 19312 0 -1 4202496 700 0 0 0 9 0 0 0 21 0 1 0 22149671 3796992 522 4089446400 134512640 136422188 4287657248 18446744073709551615 135372878 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/20846/statm: 927 522 144 467 0 458 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3708 [startup+0.30108 s] /proc/loadavg: 2.00 2.00 1.94 4/178 20846 /proc/meminfo: memFree=29914136/32951124 swapFree=67111528/67111528 [pid=20846] ppid=20844 vsize=5804 CPUtime=0.29 /proc/20846/stat : 20846 (pbct) R 20844 20846 19312 0 -1 4202496 1343 0 0 0 29 0 0 0 21 0 1 0 22149671 5943296 1036 4089446400 134512640 136422188 4287657248 18446744073709551615 135826003 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/20846/statm: 1451 1036 144 467 0 982 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5804 [startup+0.701002 s] /proc/loadavg: 2.00 2.00 1.94 4/178 20846 /proc/meminfo: memFree=29914136/32951124 swapFree=67111528/67111528 [pid=20846] ppid=20844 vsize=34312 CPUtime=0.69 /proc/20846/stat : 20846 (pbct) R 20844 20846 19312 0 -1 4202496 8682 0 0 0 68 1 0 0 22 0 1 0 22149671 35135488 8118 4089446400 134512640 136422188 4287657248 18446744073709551615 135806281 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/20846/statm: 8578 8118 195 467 0 8109 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 34312 [startup+1.50085 s] /proc/loadavg: 2.00 2.00 1.94 3/179 20847 /proc/meminfo: memFree=29815176/32951124 swapFree=67111528/67111528 [pid=20846] ppid=20844 vsize=210504 CPUtime=1.49 /proc/20846/stat : 20846 (pbct) R 20844 20846 19312 0 -1 4202496 54847 0 0 0 141 8 0 0 25 0 1 0 22149671 215556096 51715 4089446400 134512640 136422188 4287657248 18446744073709551615 134632651 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/20846/statm: 52626 51715 195 467 0 52157 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 210504 [startup+3.10055 s] /proc/loadavg: 2.00 2.00 1.94 3/179 20847 /proc/meminfo: memFree=29581188/32951124 swapFree=67111528/67111528 [pid=20846] ppid=20844 vsize=581236 CPUtime=3.09 /proc/20846/stat : 20846 (pbct) R 20844 20846 19312 0 -1 4202496 151980 0 0 0 288 21 0 0 25 0 1 0 22149671 595185664 140400 4089446400 134512640 136422188 4287657248 18446744073709551615 135818568 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/20846/statm: 145309 140400 201 467 0 144840 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 581236 [startup+6.30094 s] /proc/loadavg: 2.00 2.00 1.94 3/179 20848 /proc/meminfo: memFree=29345492/32951124 swapFree=67111528/67111528 [pid=20846] ppid=20844 vsize=588660 CPUtime=6.29 /proc/20846/stat : 20846 (pbct) R 20844 20846 19312 0 -1 4202496 153909 0 0 0 608 21 0 0 25 0 1 0 22149671 602787840 142224 4089446400 134512640 136422188 4287657248 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/20846/statm: 147165 142224 209 467 0 146696 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 588660 [startup+12.7007 s] /proc/loadavg: 2.00 2.00 1.94 3/179 20848 /proc/meminfo: memFree=29342852/32951124 swapFree=67111528/67111528 [pid=20846] ppid=20844 vsize=591888 CPUtime=12.69 /proc/20846/stat : 20846 (pbct) R 20844 20846 19312 0 -1 4202496 154702 0 0 0 1247 22 0 0 25 0 1 0 22149671 606093312 143017 4089446400 134512640 136422188 4287657248 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/20846/statm: 147972 143017 209 467 0 147503 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 591888 [startup+25.5003 s] /proc/loadavg: 2.00 2.00 1.94 3/196 20893 /proc/meminfo: memFree=29166912/32951124 swapFree=67111528/67111528 [pid=20846] ppid=20844 vsize=594660 CPUtime=25.49 /proc/20846/stat : 20846 (pbct) R 20844 20846 19312 0 -1 4202496 155422 0 0 0 2527 22 0 0 25 0 1 0 22149671 608931840 143737 4089446400 134512640 136422188 4287657248 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/20846/statm: 148665 143737 209 467 0 148196 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 594660 [startup+51.1005 s] /proc/loadavg: 2.00 2.00 1.94 3/197 20940 /proc/meminfo: memFree=29146916/32951124 swapFree=67111528/67111528 [pid=20846] ppid=20844 vsize=602192 CPUtime=51.09 /proc/20846/stat : 20846 (pbct) R 20844 20846 19312 0 -1 4202496 157255 0 0 0 3953 1156 0 0 25 0 1 0 22149671 616644608 145570 4089446400 134512640 136422188 4287657248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/20846/statm: 150548 145570 217 467 0 150079 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 602192 [startup+102.307 s] /proc/loadavg: 2.07 2.02 1.95 3/197 20942 /proc/meminfo: memFree=29144728/32951124 swapFree=67111528/67111528 [pid=20846] ppid=20844 vsize=604568 CPUtime=102.3 /proc/20846/stat : 20846 (pbct) R 20844 20846 19312 0 -1 4202496 157820 0 0 0 5872 4358 0 0 25 0 1 0 22149671 619077632 146135 4089446400 134512640 136422188 4287657248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/20846/statm: 151142 146135 217 467 0 150673 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 604568 [startup+162.3 s] /proc/loadavg: 2.02 2.01 1.95 3/197 20944 /proc/meminfo: memFree=29139928/32951124 swapFree=67111528/67111528 [pid=20846] ppid=20844 vsize=608660 CPUtime=162.3 /proc/20846/stat : 20846 (pbct) R 20844 20846 19312 0 -1 4202496 158863 0 0 0 8442 7788 0 0 25 0 1 0 22149671 623267840 147178 4089446400 134512640 136422188 4287657248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/20846/statm: 152165 147178 217 467 0 151696 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 608660 [startup+222.301 s] /proc/loadavg: 2.01 2.00 1.95 3/197 20945 /proc/meminfo: memFree=29137532/32951124 swapFree=67111528/67111528 [pid=20846] ppid=20844 vsize=611316 CPUtime=222.3 /proc/20846/stat : 20846 (pbct) R 20844 20846 19312 0 -1 4202496 159522 0 0 0 11543 10687 0 0 25 0 1 0 22149671 625987584 147837 4089446400 134512640 136422188 4287657248 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/20846/statm: 152829 147837 217 467 0 152360 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 611316 [startup+282.301 s] /proc/loadavg: 2.00 2.00 1.95 3/197 20946 /proc/meminfo: memFree=29131268/32951124 swapFree=67111528/67111528 [pid=20846] ppid=20844 vsize=617256 CPUtime=282.3 /proc/20846/stat : 20846 (pbct) R 20844 20846 19312 0 -1 4202496 161003 0 0 0 14493 13737 0 0 25 0 1 0 22149671 632070144 149318 4089446400 134512640 136422188 4287657248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/20846/statm: 154314 149318 217 467 0 153845 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 617256 [startup+342.3 s] /proc/loadavg: 2.00 2.00 1.95 3/197 20948 /proc/meminfo: memFree=29125360/32951124 swapFree=67111528/67111528 [pid=20846] ppid=20844 vsize=622948 CPUtime=342.31 /proc/20846/stat : 20846 (pbct) R 20844 20846 19312 0 -1 4202496 162435 0 0 0 17074 17157 0 0 25 0 1 0 22149671 637898752 150750 4089446400 134512640 136422188 4287657248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/20846/statm: 155737 150750 217 467 0 155268 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 622948 [startup+402.301 s] /proc/loadavg: 2.00 2.00 1.95 3/197 20950 /proc/meminfo: memFree=29117460/32951124 swapFree=67111528/67111528 [pid=20846] ppid=20844 vsize=630736 CPUtime=402.3 /proc/20846/stat : 20846 (pbct) R 20844 20846 19312 0 -1 4202496 164392 0 0 0 20083 20147 0 0 25 0 1 0 22149671 645873664 152707 4089446400 134512640 136422188 4287657248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/20846/statm: 157684 152707 217 467 0 157215 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 630736 [startup+462.301 s] /proc/loadavg: 2.00 2.00 1.95 3/197 20952 /proc/meminfo: memFree=29112428/32951124 swapFree=67111528/67111528 [pid=20846] ppid=20844 vsize=636000 CPUtime=462.31 /proc/20846/stat : 20846 (pbct) R 20844 20846 19312 0 -1 4202496 165694 0 0 0 22782 23449 0 0 25 0 1 0 22149671 651264000 154009 4089446400 134512640 136422188 4287657248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/20846/statm: 159000 154009 217 467 0 158531 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 636000 [startup+522.3 s] /proc/loadavg: 2.00 2.00 1.95 3/197 20953 /proc/meminfo: memFree=29106524/32951124 swapFree=67111528/67111528 [pid=20846] ppid=20844 vsize=641812 CPUtime=522.31 /proc/20846/stat : 20846 (pbct) R 20844 20846 19312 0 -1 4202496 167126 0 0 0 25772 26459 0 0 25 0 1 0 22149671 657215488 155441 4089446400 134512640 136422188 4287657248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/20846/statm: 160453 155441 217 467 0 159984 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 641812 [startup+582.301 s] /proc/loadavg: 2.00 2.00 1.95 3/197 20954 /proc/meminfo: memFree=29078556/32951124 swapFree=67111528/67111528 [pid=20846] ppid=20844 vsize=648944 CPUtime=582.31 /proc/20846/stat : 20846 (pbct) R 20844 20846 19312 0 -1 4202496 168938 0 0 0 28958 29273 0 0 25 0 1 0 22149671 664518656 157253 4089446400 134512640 136422188 4287657248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/20846/statm: 162236 157253 217 467 0 161767 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 648944 [startup+642.3 s] /proc/loadavg: 2.00 2.00 1.95 3/197 20956 /proc/meminfo: memFree=29075292/32951124 swapFree=67111528/67111528 [pid=20846] ppid=20844 vsize=652460 CPUtime=642.32 /proc/20846/stat : 20846 (pbct) R 20844 20846 19312 0 -1 4202496 169792 0 0 0 32354 31878 0 0 25 0 1 0 22149671 668119040 158107 4089446400 134512640 136422188 4287657248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/20846/statm: 163115 158107 217 467 0 162646 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 652460 [startup+702.301 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.06 2.02 1.95 3/197 20970 /proc/meminfo: memFree=29055768/32951124 swapFree=67111528/67111528 [pid=20846] ppid=20844 vsize=670956 CPUtime=822.32 /proc/20846/stat : 20846 (pbct) R 20844 20846 19312 0 -1 4202496 174415 0 0 0 42003 40229 0 0 25 0 1 0 22149671 687058944 162730 4089446400 134512640 136422188 4287657248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/20846/statm: 167739 162730 217 467 0 167270 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 670956 [startup+882.301 s] /proc/loadavg: 2.02 2.01 1.95 3/197 20971 /proc/meminfo: memFree=29050752/32951124 swapFree=67111528/67111528 [pid=20846] ppid=20844 vsize=675976 CPUtime=882.33 /proc/20846/stat : 20846 (pbct) R 20844 20846 19312 0 -1 4202496 175693 0 0 0 44943 43290 0 0 25 0 1 0 22149671 692199424 164008 4089446400 134512640 136422188 4287657248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/20846/statm: 168994 164008 217 467 0 168525 0 Current children cumulated CPU time (s) 882.33 Current children cumulated vsize (KiB) 675976 [startup+942.301 s] /proc/loadavg: 2.01 2.00 1.95 3/197 20973 /proc/meminfo: memFree=29044844/32951124 swapFree=67111528/67111528 [pid=20846] ppid=20844 vsize=681652 CPUtime=942.33 /proc/20846/stat : 20846 (pbct) R 20844 20846 19312 0 -1 4202496 177096 0 0 0 47880 46353 0 0 25 0 1 0 22149671 698011648 165411 4089446400 134512640 136422188 4287657248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/20846/statm: 170413 165411 217 467 0 169944 0 Current children cumulated CPU time (s) 942.33 Current children cumulated vsize (KiB) 681652 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 1.95 3/197 20975 /proc/meminfo: memFree=29038360/32951124 swapFree=67111528/67111528 [pid=20846] ppid=20844 vsize=687464 CPUtime=1002.33 /proc/20846/stat : 20846 (pbct) R 20844 20846 19312 0 -1 4202496 178586 0 0 0 51079 49154 0 0 25 0 1 0 22149671 703963136 166901 4089446400 134512640 136422188 4287657248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/20846/statm: 171866 166901 217 467 0 171397 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 687464 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 1.95 3/197 20977 /proc/meminfo: memFree=29034832/32951124 swapFree=67111528/67111528 [pid=20846] ppid=20844 vsize=691292 CPUtime=1062.33 /proc/20846/stat : 20846 (pbct) R 20844 20846 19312 0 -1 4202496 179549 0 0 0 53645 52588 0 0 25 0 1 0 22149671 707883008 167864 4089446400 134512640 136422188 4287657248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/20846/statm: 172823 167864 217 467 0 172354 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 691292 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.95 3/197 20978 /proc/meminfo: memFree=29031408/32951124 swapFree=67111528/67111528 [pid=20846] ppid=20844 vsize=694872 CPUtime=1122.34 /proc/20846/stat : 20846 (pbct) R 20844 20846 19312 0 -1 4202496 180386 0 0 0 55903 56331 0 0 25 0 1 0 22149671 711548928 168701 4089446400 134512640 136422188 4287657248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/20846/statm: 173718 168701 217 467 0 173249 0 Current children cumulated CPU time (s) 1122.34 Current children cumulated vsize (KiB) 694872 [startup+1182.3 s] /proc/loadavg: 2.06 2.01 1.96 3/197 20979 /proc/meminfo: memFree=29027744/32951124 swapFree=67111528/67111528 [pid=20846] ppid=20844 vsize=698568 CPUtime=1182.34 /proc/20846/stat : 20846 (pbct) R 20844 20846 19312 0 -1 4202496 181334 0 0 0 57903 60331 0 0 25 0 1 0 22149671 715333632 169649 4089446400 134512640 136422188 4287657248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/20846/statm: 174642 169649 217 467 0 174173 0 Current children cumulated CPU time (s) 1182.34 Current children cumulated vsize (KiB) 698568 [startup+1242.3 s] /proc/loadavg: 2.02 2.01 1.96 3/197 20981 /proc/meminfo: memFree=29023588/32951124 swapFree=67111528/67111528 [pid=20846] ppid=20844 vsize=702528 CPUtime=1242.34 /proc/20846/stat : 20846 (pbct) R 20844 20846 19312 0 -1 4202496 182318 0 0 0 60425 63809 0 0 25 0 1 0 22149671 719388672 170633 4089446400 134512640 136422188 4287657248 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/20846/statm: 175632 170633 217 467 0 175163 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 702528 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.96 3/197 20983 /proc/meminfo: memFree=29015608/32951124 swapFree=67111528/67111528 [pid=20846] ppid=20844 vsize=710456 CPUtime=1302.34 /proc/20846/stat : 20846 (pbct) R 20844 20846 19312 0 -1 4202496 184310 0 0 0 63612 66622 0 0 25 0 1 0 22149671 727506944 172625 4089446400 134512640 136422188 4287657248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/20846/statm: 177614 172625 217 467 0 177145 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 710456 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.96 3/197 20985 /proc/meminfo: memFree=29010676/32951124 swapFree=67111528/67111528 [pid=20846] ppid=20844 vsize=715348 CPUtime=1362.34 /proc/20846/stat : 20846 (pbct) R 20844 20846 19312 0 -1 4202496 185533 0 0 0 67399 68835 0 0 25 0 1 0 22149671 732516352 173848 4089446400 134512640 136422188 4287657248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/20846/statm: 178837 173848 217 467 0 178368 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 715348 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.96 3/197 20986 /proc/meminfo: memFree=29005268/32951124 swapFree=67111528/67111528 [pid=20846] ppid=20844 vsize=720644 CPUtime=1422.35 /proc/20846/stat : 20846 (pbct) R 20844 20846 19312 0 -1 4202496 186853 0 0 0 70889 71346 0 0 25 0 1 0 22149671 737939456 175168 4089446400 134512640 136422188 4287657248 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/20846/statm: 180161 175168 217 467 0 179692 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 720644 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.96 3/197 20987 /proc/meminfo: memFree=28995060/32951124 swapFree=67111528/67111528 [pid=20846] ppid=20844 vsize=730312 CPUtime=1482.34 /proc/20846/stat : 20846 (pbct) R 20844 20846 19312 0 -1 4202496 189264 0 0 0 74583 73651 0 0 25 0 1 0 22149671 747839488 177579 4089446400 134512640 136422188 4287657248 18446744073709551615 135022543 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/20846/statm: 182578 177579 217 467 0 182109 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 730312 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.96 3/197 20989 /proc/meminfo: memFree=28987424/32951124 swapFree=67111528/67111528 [pid=20846] ppid=20844 vsize=737852 CPUtime=1542.34 /proc/20846/stat : 20846 (pbct) R 20844 20846 19312 0 -1 4202496 191168 0 0 0 78039 76195 0 0 25 0 1 0 22149671 755560448 179483 4089446400 134512640 136422188 4287657248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/20846/statm: 184463 179483 217 467 0 183994 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 737852 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.96 3/197 20991 /proc/meminfo: memFree=28982008/32951124 swapFree=67111528/67111528 [pid=20846] ppid=20844 vsize=743400 CPUtime=1602.35 /proc/20846/stat : 20846 (pbct) R 20844 20846 19312 0 -1 4202496 192546 0 0 0 81161 79074 0 0 25 0 1 0 22149671 761241600 180861 4089446400 134512640 136422188 4287657248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/20846/statm: 185850 180861 217 467 0 185381 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 743400 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.96 3/197 20993 /proc/meminfo: memFree=28977836/32951124 swapFree=67111528/67111528 [pid=20846] ppid=20844 vsize=747232 CPUtime=1662.35 /proc/20846/stat : 20846 (pbct) R 20844 20846 19312 0 -1 4202496 193510 0 0 0 84890 81345 0 0 25 0 1 0 22149671 765165568 181825 4089446400 134512640 136422188 4287657248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/20846/statm: 186808 181825 217 467 0 186339 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 747232 [startup+1722.3 s] /proc/loadavg: 2.03 2.01 1.96 3/197 20994 /proc/meminfo: memFree=28971572/32951124 swapFree=67111528/67111528 [pid=20846] ppid=20844 vsize=753568 CPUtime=1722.35 /proc/20846/stat : 20846 (pbct) R 20844 20846 19312 0 -1 4202496 195116 0 0 0 88146 84089 0 0 25 0 1 0 22149671 771653632 183431 4089446400 134512640 136422188 4287657248 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/20846/statm: 188392 183431 217 467 0 187923 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 753568 [startup+1782.3 s] /proc/loadavg: 2.01 2.01 1.96 3/197 20998 /proc/meminfo: memFree=28963660/32951124 swapFree=67111528/67111528 [pid=20846] ppid=20844 vsize=761360 CPUtime=1782.35 /proc/20846/stat : 20846 (pbct) R 20844 20846 19312 0 -1 4202496 196997 0 0 0 91328 86907 0 0 25 0 1 0 22149671 779632640 185312 4089446400 134512640 136422188 4287657248 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/20846/statm: 190340 185312 217 467 0 189871 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 761360 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.01 2.00 1.96 3/197 20999 /proc/meminfo: memFree=28962336/32951124 swapFree=67111528/67111528 [pid=20846] ppid=20844 vsize=762548 CPUtime=1800.07 /proc/20846/stat : 20846 (pbct) R 20844 20846 19312 0 -1 4202496 197306 0 0 0 92017 87990 0 0 25 0 1 0 22149671 780849152 185621 4089446400 134512640 136422188 4287657248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/20846/statm: 190637 185621 217 467 0 190168 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 762548 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.1 CPU user time (s): 920.172 CPU system time (s): 879.93 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 762548 getrusage(RUSAGE_CHILDREN,...) data: user time used= 920.172 system time used= 879.93 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 197308 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= 21698 runsolver used 3.12652 second user time and 6.06308 second system time The end
Begin job on node141 at 2010-07-07 23:49:34 IDJOB=2701353 IDBENCH=79565 IDSOLVER=1212 FILE ID=node141/2701353-1278539374 PBS_JOBID= 11239196 Free space on /tmp= 73640 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/scens/normalized-scen06-18reduc_wcsp.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2701353-1278539374/watcher-2701353-1278539374 -o /tmp/evaluation-result-2701353-1278539374/solver-2701353-1278539374 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701353-1278539374.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= da80b320d983b4610e4558746e61248d RANDOM SEED=717971177 node141.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 : 5265.34 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.82 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.74 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.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.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: 32951124 kB MemFree: 29914408 kB Buffers: 148768 kB Cached: 2651016 kB SwapCached: 0 kB Active: 1277832 kB Inactive: 1607220 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29914408 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 5056 kB Writeback: 0 kB AnonPages: 85120 kB Mapped: 15452 kB Slab: 88104 kB PageTables: 4704 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 227796 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= 73636 MiB End job on node141 at 2010-07-08 00:19:36