Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBPASSolver 2010-06-13 | ? (TO) | 1800.01 | 1800.82 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-cc.opb |
MD5SUM | 2dad588c047f66368bead690393575a4 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1567 |
Best CPU time to get the best result obtained on this benchmark | 0.031994 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1567 |
Optimality of the best value was proved | YES |
Number of variables | 133 |
Total number of constraints | 229 |
Number of constraints which are clauses | 229 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 31 |
Number of terms in the objective function | 133 |
Biggest coefficient in the objective function | 60 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 5699 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 60 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 5699 |
Number of bits of the biggest sum of numbers | 13 |
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.13 c 133 229 0 0 0 0 0 0 0.00/0.13 o 1846 0.00/0.13 c 4096 ~x346+2048 ~x345+1024 ~x344+512 ~x343+256 ~x342+128 ~x341+64 ~x340+32 ~x339+16 ~x338+8 ~x337+4 ~x336+2 ~x335+1 ~x334+60 ~x134+60 ~x133+60 ~x132+60 ~x131+60 ~x130+60 ~x129+60 ~x128+60 ~x127+60 ~x126+60 ~x125+60 ~x124+60 ~x123+60 ~x122+60 ~x121+60 ~x120+60 ~x119+60 ~x118+60 ~x117+60 ~x116+54 ~x115+51 ~x114+51 ~x113+51 ~x112+51 ~x111+51 ~x110+51 ~x109+51 ~x108+51 ~x107+51 ~x106+51 ~x105+51 ~x104+51 ~x103+51 ~x102+51 ~x101+51 ~x100+51 ~x99+51 ~x98+51 ~x97+51 ~x96+51 ~x95+51 ~x94+50 ~x93+50 ~x92+50 ~x91+50 ~x90+50 ~x89+50 ~x88+50 ~x87+50 ~x86+50 ~x85+42 ~x84+42 ~x83+42 ~x82+42 ~x81+42 ~x80+42 ~x79+42 ~x78+42 ~x77+42 ~x75+42 ~x74+42 ~x73+42 ~x72+42 ~x71+42 ~x70+42 ~x68+42 ~x67+42 ~x66+42 ~x65+42 ~x64+42 ~x62+42 ~x61+42 ~x60+42 ~x59+42 ~x58+42 ~x57+42 ~x56+42 ~x55+42 ~x53+42 ~x51+42 ~x50+42 ~x48+42 ~x47+42 ~x46+42 ~x45+42 ~x44+42 ~x43+42 ~x42+42 ~x41+34 ~x40+34 ~x39+34 ~x38+34 ~x37+34 ~x36+34 ~x35+34 ~x34+34 ~x33+34 ~x32+34 ~x31+34 ~x30+34 ~x29+34 ~x28+34 ~x27+32 ~x26+32 ~x25+32 ~
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-2674595-1276794841/watcher-2674595-1276794841 -o /tmp/evaluation-result-2674595-1276794841/solver-2674595-1276794841 -C 1800 -W 2000 -M 1800 run HOME/instance-2674595-1276794841.opb 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): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/106 18655 /proc/meminfo: memFree=1622804/2059040 swapFree=4140256/4192956 [pid=18655] ppid=18653 vsize=8700 CPUtime=0 /proc/18655/stat : 18655 (run) S 18653 18655 18124 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 53140405 8908800 250 1992294400 4194304 4922060 140734492869264 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18655/statm: 2175 250 211 178 0 68 0 [startup+0.10203 s] /proc/loadavg: 0.92 0.98 0.99 3/106 18655 /proc/meminfo: memFree=1622804/2059040 swapFree=4140256/4192956 [pid=18655] ppid=18653 vsize=8700 CPUtime=0 /proc/18655/stat : 18655 (run) S 18653 18655 18124 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 53140405 8908800 250 1992294400 4194304 4922060 140734492869264 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18655/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.200028 s] /proc/loadavg: 0.92 0.98 0.99 3/106 18655 /proc/meminfo: memFree=1622804/2059040 swapFree=4140256/4192956 [pid=18655] ppid=18653 vsize=8700 CPUtime=0 /proc/18655/stat : 18655 (run) S 18653 18655 18124 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 53140405 8908800 250 1992294400 4194304 4922060 140734492869264 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18655/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300026 s] /proc/loadavg: 0.92 0.98 0.99 3/106 18655 /proc/meminfo: memFree=1622804/2059040 swapFree=4140256/4192956 [pid=18655] ppid=18653 vsize=8700 CPUtime=0 /proc/18655/stat : 18655 (run) S 18653 18655 18124 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 53140405 8908800 250 1992294400 4194304 4922060 140734492869264 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18655/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700018 s] /proc/loadavg: 0.92 0.98 0.99 3/106 18655 /proc/meminfo: memFree=1622804/2059040 swapFree=4140256/4192956 [pid=18655] ppid=18653 vsize=8700 CPUtime=0 /proc/18655/stat : 18655 (run) S 18653 18655 18124 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 53140405 8908800 250 1992294400 4194304 4922060 140734492869264 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18655/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.5 s] /proc/loadavg: 0.92 0.98 0.99 2/108 18658 /proc/meminfo: memFree=1599104/2059040 swapFree=4140256/4192956 [pid=18655] ppid=18653 vsize=8700 CPUtime=0 /proc/18655/stat : 18655 (run) S 18653 18655 18124 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 53140405 8908800 250 1992294400 4194304 4922060 140734492869264 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18655/statm: 2175 250 211 178 0 68 0 [pid=18657] ppid=18655 vsize=26676 CPUtime=1.48 /proc/18657/stat : 18657 (PBPASSolver) R 18655 18655 18124 0 -1 4202496 6693 0 0 0 143 5 0 0 25 0 1 0 53140405 27316224 6055 1992294400 134512640 134902295 4286978672 18446744073709551615 4159775339 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18657/statm: 6669 6055 269 96 0 5881 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 35376 [startup+3.10097 s] /proc/loadavg: 0.92 0.98 0.99 2/108 18658 /proc/meminfo: memFree=1598732/2059040 swapFree=4140256/4192956 [pid=18655] ppid=18653 vsize=8700 CPUtime=0 /proc/18655/stat : 18655 (run) S 18653 18655 18124 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 53140405 8908800 250 1992294400 4194304 4922060 140734492869264 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18655/statm: 2175 250 211 178 0 68 0 [pid=18657] ppid=18655 vsize=27344 CPUtime=3.09 /proc/18657/stat : 18657 (PBPASSolver) R 18655 18655 18124 0 -1 4202496 6863 0 0 0 303 6 0 0 25 0 1 0 53140405 28000256 6225 1992294400 134512640 134902295 4286978672 18446744073709551615 4159811255 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18657/statm: 6836 6225 269 96 0 6048 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 36044 [startup+6.3019 s] /proc/loadavg: 0.93 0.98 0.99 2/108 18658 /proc/meminfo: memFree=1597492/2059040 swapFree=4140256/4192956 [pid=18655] ppid=18653 vsize=8700 CPUtime=0 /proc/18655/stat : 18655 (run) S 18653 18655 18124 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 53140405 8908800 250 1992294400 4194304 4922060 140734492869264 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18655/statm: 2175 250 211 178 0 68 0 [pid=18657] ppid=18655 vsize=28404 CPUtime=6.29 /proc/18657/stat : 18657 (PBPASSolver) R 18655 18655 18124 0 -1 4202496 7141 0 0 0 623 6 0 0 25 0 1 0 53140405 29085696 6503 1992294400 134512640 134902295 4286978672 18446744073709551615 4159787843 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18657/statm: 7101 6503 269 96 0 6313 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 37104 [startup+12.7008 s] /proc/loadavg: 0.93 0.98 0.99 2/108 18658 /proc/meminfo: memFree=1594392/2059040 swapFree=4140256/4192956 [pid=18655] ppid=18653 vsize=8700 CPUtime=0 /proc/18655/stat : 18655 (run) S 18653 18655 18124 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 53140405 8908800 250 1992294400 4194304 4922060 140734492869264 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18655/statm: 2175 250 211 178 0 68 0 [pid=18657] ppid=18655 vsize=31316 CPUtime=12.68 /proc/18657/stat : 18657 (PBPASSolver) R 18655 18655 18124 0 -1 4202496 7872 0 0 0 1262 6 0 0 25 0 1 0 53140405 32067584 7234 1992294400 134512640 134902295 4286978672 18446744073709551615 4159787548 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18657/statm: 7829 7234 269 96 0 7041 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 40016 [startup+25.5005 s] /proc/loadavg: 0.95 0.98 0.99 2/108 18658 /proc/meminfo: memFree=1589556/2059040 swapFree=4140256/4192956 [pid=18655] ppid=18653 vsize=8700 CPUtime=0 /proc/18655/stat : 18655 (run) S 18653 18655 18124 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 53140405 8908800 250 1992294400 4194304 4922060 140734492869264 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18655/statm: 2175 250 211 178 0 68 0 [pid=18657] ppid=18655 vsize=35988 CPUtime=25.48 /proc/18657/stat : 18657 (PBPASSolver) R 18655 18655 18124 0 -1 4202496 9032 0 0 0 2540 8 0 0 25 0 1 0 53140405 36851712 8394 1992294400 134512640 134902295 4286978672 18446744073709551615 4159805566 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18657/statm: 8997 8394 269 96 0 8209 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 44688 [startup+51.101 s] /proc/loadavg: 0.96 0.98 0.99 2/108 18658 /proc/meminfo: memFree=1583852/2059040 swapFree=4140256/4192956 [pid=18655] ppid=18653 vsize=8700 CPUtime=0 /proc/18655/stat : 18655 (run) S 18653 18655 18124 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 53140405 8908800 250 1992294400 4194304 4922060 140734492869264 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18655/statm: 2175 250 211 178 0 68 0 [pid=18657] ppid=18655 vsize=41712 CPUtime=51.07 /proc/18657/stat : 18657 (PBPASSolver) R 18655 18655 18124 0 -1 4202496 10448 0 0 0 5098 9 0 0 25 0 1 0 53140405 42713088 9810 1992294400 134512640 134902295 4286978672 18446744073709551615 4159775487 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18657/statm: 10428 9810 269 96 0 9640 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 50412 [startup+102.301 s] /proc/loadavg: 0.98 0.98 0.99 2/108 18660 /proc/meminfo: memFree=1571700/2059040 swapFree=4140256/4192956 [pid=18655] ppid=18653 vsize=8700 CPUtime=0 /proc/18655/stat : 18655 (run) S 18653 18655 18124 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 53140405 8908800 250 1992294400 4194304 4922060 140734492869264 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18655/statm: 2175 250 211 178 0 68 0 [pid=18657] ppid=18655 vsize=53556 CPUtime=102.24 /proc/18657/stat : 18657 (PBPASSolver) R 18655 18655 18124 0 -1 4202496 13408 0 0 0 10211 13 0 0 25 0 1 0 53140405 54841344 12770 1992294400 134512640 134902295 4286978672 18446744073709551615 4159805916 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18657/statm: 13389 12770 269 96 0 12601 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 62256 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 18662 /proc/meminfo: memFree=1570460/2059040 swapFree=4140256/4192956 [pid=18655] ppid=18653 vsize=8700 CPUtime=0 /proc/18655/stat : 18655 (run) S 18653 18655 18124 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 53140405 8908800 250 1992294400 4194304 4922060 140734492869264 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18655/statm: 2175 250 211 178 0 68 0 [pid=18657] ppid=18655 vsize=54744 CPUtime=162.21 /proc/18657/stat : 18657 (PBPASSolver) R 18655 18655 18124 0 -1 4202496 13701 0 0 0 16207 14 0 0 25 0 1 0 53140405 56057856 13063 1992294400 134512640 134902295 4286978672 18446744073709551615 4159775350 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18657/statm: 13686 13063 269 96 0 12898 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 63444 [startup+222.308 s] /proc/loadavg: 0.99 0.98 0.99 2/108 18662 /proc/meminfo: memFree=1559424/2059040 swapFree=4140256/4192956 [pid=18655] ppid=18653 vsize=8700 CPUtime=0 /proc/18655/stat : 18655 (run) S 18653 18655 18124 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 53140405 8908800 250 1992294400 4194304 4922060 140734492869264 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18655/statm: 2175 250 211 178 0 68 0 [pid=18657] ppid=18655 vsize=65848 CPUtime=222.19 /proc/18657/stat : 18657 (PBPASSolver) R 18655 18655 18124 0 -1 4202496 16493 0 0 0 22201 18 0 0 25 0 1 0 53140405 67428352 15855 1992294400 134512640 134902295 4286978672 18446744073709551615 4159796678 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18657/statm: 16462 15855 269 96 0 15674 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 74548 [startup+282.3 s] /proc/loadavg: 0.99 0.98 0.99 2/108 18664 /proc/meminfo: memFree=1552480/2059040 swapFree=4140256/4192956 [pid=18655] ppid=18653 vsize=8700 CPUtime=0 /proc/18655/stat : 18655 (run) S 18653 18655 18124 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 53140405 8908800 250 1992294400 4194304 4922060 140734492869264 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18655/statm: 2175 250 211 178 0 68 0 [pid=18657] ppid=18655 vsize=72872 CPUtime=282.17 /proc/18657/stat : 18657 (PBPASSolver) R 18655 18655 18124 0 -1 4202496 18230 0 0 0 28195 22 0 0 25 0 1 0 53140405 74620928 17592 1992294400 134512640 134902295 4286978672 18446744073709551615 4159805566 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18657/statm: 18218 17592 269 96 0 17430 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 81572 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 18666 /proc/meminfo: memFree=1550124/2059040 swapFree=4140256/4192956 [pid=18655] ppid=18653 vsize=8700 CPUtime=0 /proc/18655/stat : 18655 (run) S 18653 18655 18124 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 53140405 8908800 250 1992294400 4194304 4922060 140734492869264 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18655/statm: 2175 250 211 178 0 68 0 [pid=18657] ppid=18655 vsize=75116 CPUtime=342.13 /proc/18657/stat : 18657 (PBPASSolver) R 18655 18655 18124 0 -1 4202496 18783 0 0 0 34191 22 0 0 25 0 1 0 53140405 76918784 18145 1992294400 134512640 134902295 4286978672 18446744073709551615 4159808515 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18657/statm: 18779 18145 269 96 0 17991 0 Current children cumulated CPU time (s) 342.13 Current children cumulated vsize (KiB) 83816 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 18668 /proc/meminfo: memFree=1550124/2059040 swapFree=4140256/4192956 [pid=18655] ppid=18653 vsize=8700 CPUtime=0 /proc/18655/stat : 18655 (run) S 18653 18655 18124 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 53140405 8908800 250 1992294400 4194304 4922060 140734492869264 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18655/statm: 2175 250 211 178 0 68 0 [pid=18657] ppid=18655 vsize=75116 CPUtime=402.11 /proc/18657/stat : 18657 (PBPASSolver) R 18655 18655 18124 0 -1 4202496 18784 0 0 0 40188 23 0 0 25 0 1 0 53140405 76918784 18146 1992294400 134512640 134902295 4286978672 18446744073709551615 4159787496 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18657/statm: 18779 18146 269 96 0 17991 0 Current children cumulated CPU time (s) 402.11 Current children cumulated vsize (KiB) 83816 [startup+462.3 s] ################ # More data... # ################ /proc/18657/statm: 21539 20922 269 96 0 20751 0 Current children cumulated CPU time (s) 1181.77 Current children cumulated vsize (KiB) 94856 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18690 /proc/meminfo: memFree=1538344/2059040 swapFree=4140256/4192956 [pid=18655] ppid=18653 vsize=8700 CPUtime=0 /proc/18655/stat : 18655 (run) S 18653 18655 18124 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 53140405 8908800 250 1992294400 4194304 4922060 140734492869264 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18655/statm: 2175 250 211 178 0 68 0 [pid=18657] ppid=18655 vsize=86156 CPUtime=1241.75 /proc/18657/stat : 18657 (PBPASSolver) R 18655 18655 18124 0 -1 4202496 21563 0 0 0 124136 39 0 0 25 0 1 0 53140405 88223744 20925 1992294400 134512640 134902295 4286978672 18446744073709551615 4159775355 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18657/statm: 21539 20925 269 96 0 20751 0 Current children cumulated CPU time (s) 1241.75 Current children cumulated vsize (KiB) 94856 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18692 /proc/meminfo: memFree=1538344/2059040 swapFree=4140256/4192956 [pid=18655] ppid=18653 vsize=8700 CPUtime=0 /proc/18655/stat : 18655 (run) S 18653 18655 18124 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 53140405 8908800 250 1992294400 4194304 4922060 140734492869264 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18655/statm: 2175 250 211 178 0 68 0 [pid=18657] ppid=18655 vsize=86156 CPUtime=1301.71 /proc/18657/stat : 18657 (PBPASSolver) R 18655 18655 18124 0 -1 4202496 21563 0 0 0 130132 39 0 0 25 0 1 0 53140405 88223744 20925 1992294400 134512640 134902295 4286978672 18446744073709551615 4159794349 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18657/statm: 21539 20925 269 96 0 20751 0 Current children cumulated CPU time (s) 1301.71 Current children cumulated vsize (KiB) 94856 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18694 /proc/meminfo: memFree=1538344/2059040 swapFree=4140256/4192956 [pid=18655] ppid=18653 vsize=8700 CPUtime=0 /proc/18655/stat : 18655 (run) S 18653 18655 18124 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 53140405 8908800 250 1992294400 4194304 4922060 140734492869264 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18655/statm: 2175 250 211 178 0 68 0 [pid=18657] ppid=18655 vsize=86156 CPUtime=1361.69 /proc/18657/stat : 18657 (PBPASSolver) R 18655 18655 18124 0 -1 4202496 21571 0 0 0 136129 40 0 0 25 0 1 0 53140405 88223744 20933 1992294400 134512640 134902295 4286978672 18446744073709551615 4159775597 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18657/statm: 21539 20933 269 96 0 20751 0 Current children cumulated CPU time (s) 1361.69 Current children cumulated vsize (KiB) 94856 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18694 /proc/meminfo: memFree=1538220/2059040 swapFree=4140256/4192956 [pid=18655] ppid=18653 vsize=8700 CPUtime=0 /proc/18655/stat : 18655 (run) S 18653 18655 18124 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 53140405 8908800 250 1992294400 4194304 4922060 140734492869264 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18655/statm: 2175 250 211 178 0 68 0 [pid=18657] ppid=18655 vsize=86336 CPUtime=1421.67 /proc/18657/stat : 18657 (PBPASSolver) R 18655 18655 18124 0 -1 4202496 21580 0 0 0 142126 41 0 0 25 0 1 0 53140405 88408064 20942 1992294400 134512640 134902295 4286978672 18446744073709551615 4159790968 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18657/statm: 21584 20942 269 96 0 20796 0 Current children cumulated CPU time (s) 1421.67 Current children cumulated vsize (KiB) 95036 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 3/108 18699 /proc/meminfo: memFree=1537352/2059040 swapFree=4140256/4192956 [pid=18655] ppid=18653 vsize=8700 CPUtime=0 /proc/18655/stat : 18655 (run) S 18653 18655 18124 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 53140405 8908800 250 1992294400 4194304 4922060 140734492869264 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18655/statm: 2175 250 211 178 0 68 0 [pid=18657] ppid=18655 vsize=86336 CPUtime=1481.64 /proc/18657/stat : 18657 (PBPASSolver) R 18655 18655 18124 0 -1 4202496 21580 0 0 0 148120 44 0 0 25 0 1 0 53140405 88408064 20942 1992294400 134512640 134902295 4286978672 18446744073709551615 4159775343 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18657/statm: 21584 20942 269 96 0 20796 0 Current children cumulated CPU time (s) 1481.64 Current children cumulated vsize (KiB) 95036 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18701 /proc/meminfo: memFree=1537352/2059040 swapFree=4140256/4192956 [pid=18655] ppid=18653 vsize=8700 CPUtime=0 /proc/18655/stat : 18655 (run) S 18653 18655 18124 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 53140405 8908800 250 1992294400 4194304 4922060 140734492869264 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18655/statm: 2175 250 211 178 0 68 0 [pid=18657] ppid=18655 vsize=86336 CPUtime=1541.62 /proc/18657/stat : 18657 (PBPASSolver) R 18655 18655 18124 0 -1 4202496 21580 0 0 0 154116 46 0 0 25 0 1 0 53140405 88408064 20942 1992294400 134512640 134902295 4286978672 18446744073709551615 4159787639 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18657/statm: 21584 20942 269 96 0 20796 0 Current children cumulated CPU time (s) 1541.62 Current children cumulated vsize (KiB) 95036 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18703 /proc/meminfo: memFree=1537476/2059040 swapFree=4140256/4192956 [pid=18655] ppid=18653 vsize=8700 CPUtime=0 /proc/18655/stat : 18655 (run) S 18653 18655 18124 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 53140405 8908800 250 1992294400 4194304 4922060 140734492869264 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18655/statm: 2175 250 211 178 0 68 0 [pid=18657] ppid=18655 vsize=86336 CPUtime=1601.58 /proc/18657/stat : 18657 (PBPASSolver) R 18655 18655 18124 0 -1 4202496 21580 0 0 0 160110 48 0 0 25 0 1 0 53140405 88408064 20942 1992294400 134512640 134902295 4286978672 18446744073709551615 4159805566 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18657/statm: 21584 20942 269 96 0 20796 0 Current children cumulated CPU time (s) 1601.58 Current children cumulated vsize (KiB) 95036 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18705 /proc/meminfo: memFree=1537476/2059040 swapFree=4140256/4192956 [pid=18655] ppid=18653 vsize=8700 CPUtime=0 /proc/18655/stat : 18655 (run) S 18653 18655 18124 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 53140405 8908800 250 1992294400 4194304 4922060 140734492869264 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18655/statm: 2175 250 211 178 0 68 0 [pid=18657] ppid=18655 vsize=86336 CPUtime=1661.56 /proc/18657/stat : 18657 (PBPASSolver) R 18655 18655 18124 0 -1 4202496 21580 0 0 0 166106 50 0 0 25 0 1 0 53140405 88408064 20942 1992294400 134512640 134902295 4286978672 18446744073709551615 4159805566 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18657/statm: 21584 20942 269 96 0 20796 0 Current children cumulated CPU time (s) 1661.56 Current children cumulated vsize (KiB) 95036 [startup+1722.3 s] /proc/loadavg: 1.04 1.01 1.00 2/108 18705 /proc/meminfo: memFree=1537476/2059040 swapFree=4140256/4192956 [pid=18655] ppid=18653 vsize=8700 CPUtime=0 /proc/18655/stat : 18655 (run) S 18653 18655 18124 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 53140405 8908800 250 1992294400 4194304 4922060 140734492869264 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18655/statm: 2175 250 211 178 0 68 0 [pid=18657] ppid=18655 vsize=86336 CPUtime=1721.54 /proc/18657/stat : 18657 (PBPASSolver) R 18655 18655 18124 0 -1 4202496 21580 0 0 0 172102 52 0 0 25 0 1 0 53140405 88408064 20942 1992294400 134512640 134902295 4286978672 18446744073709551615 4159805566 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18657/statm: 21584 20942 269 96 0 20796 0 Current children cumulated CPU time (s) 1721.54 Current children cumulated vsize (KiB) 95036 [startup+1782.3 s] /proc/loadavg: 1.05 1.02 1.00 2/108 18707 /proc/meminfo: memFree=1537476/2059040 swapFree=4140256/4192956 [pid=18655] ppid=18653 vsize=8700 CPUtime=0 /proc/18655/stat : 18655 (run) S 18653 18655 18124 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 53140405 8908800 250 1992294400 4194304 4922060 140734492869264 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18655/statm: 2175 250 211 178 0 68 0 [pid=18657] ppid=18655 vsize=86336 CPUtime=1781.51 /proc/18657/stat : 18657 (PBPASSolver) R 18655 18655 18124 0 -1 4202496 21580 0 0 0 178097 54 0 0 25 0 1 0 53140405 88408064 20942 1992294400 134512640 134902295 4286978672 18446744073709551615 4159805566 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18657/statm: 21584 20942 269 96 0 20796 0 Current children cumulated CPU time (s) 1781.51 Current children cumulated vsize (KiB) 95036 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.81 s] /proc/loadavg: 1.10 1.04 1.00 2/108 18709 /proc/meminfo: memFree=1537476/2059040 swapFree=4140256/4192956 [pid=18655] ppid=18653 vsize=8700 CPUtime=0 /proc/18655/stat : 18655 (run) S 18653 18655 18124 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 53140405 8908800 250 1992294400 4194304 4922060 140734492869264 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18655/statm: 2175 250 211 178 0 68 0 [pid=18657] ppid=18655 vsize=86336 CPUtime=1800.01 /proc/18657/stat : 18657 (PBPASSolver) R 18655 18655 18124 0 -1 4202496 21580 0 0 0 179947 54 0 0 25 0 1 0 53140405 88408064 20942 1992294400 134512640 134902295 4286978672 18446744073709551615 4159789257 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18657/statm: 21584 20942 269 96 0 20796 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 95036 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.10 1.04 1.00 2/108 18709 /proc/meminfo: memFree=1537476/2059040 swapFree=4140256/4192956 [pid=18655] ppid=18653 vsize=8700 CPUtime=0 /proc/18655/stat : 18655 (run) S 18653 18655 18124 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 53140405 8908800 250 1992294400 4194304 4922060 140734492869264 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18655/statm: 2175 250 211 178 0 68 0 [pid=18657] ppid=18655 vsize=86336 CPUtime=1800.01 /proc/18657/stat : 18657 (PBPASSolver) R 18655 18655 18124 0 -1 4202496 21580 0 0 0 179947 54 0 0 25 0 1 0 53140405 88408064 20942 1992294400 134512640 134902295 4286978672 18446744073709551615 4159789257 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18657/statm: 21584 20942 269 96 0 20796 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 95036 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 18655 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=999 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=2999 # CPU time returned by wait4() is 0.003998 # while last known CPU time is 1800.01 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1800.82 CPU time (s): 1800.01 CPU user time (s): 1799.47 CPU system time (s): 0.54 CPU usage (%): 99.9549 Max. virtual memory (cumulated for all children) (KiB): 95036 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.000999 system time used= 0.002999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 524 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= 3 involuntary context switches= 3 runsolver used 4.42533 second user time and 8.65368 second system time The end
Begin job on node018 at 2010-06-17 19:14:01 IDJOB=2674595 IDBENCH=2023 IDSOLVER=1174 FILE ID=node018/2674595-1276794841 PBS_JOBID= 11176579 Free space on /tmp= 62468 MiB SOLVER NAME= PBPASSolver 2010-06-13 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-cc.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674595-1276794841/watcher-2674595-1276794841 -o /tmp/evaluation-result-2674595-1276794841/solver-2674595-1276794841 -C 1800 -W 2000 -M 1800 run HOME/instance-2674595-1276794841.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2dad588c047f66368bead690393575a4 RANDOM SEED=67828568 node018.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.248 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.49 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.248 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1623324 kB Buffers: 176596 kB Cached: 164868 kB SwapCached: 6364 kB Active: 166980 kB Inactive: 187984 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1623324 kB SwapTotal: 4192956 kB SwapFree: 4140256 kB Dirty: 656 kB Writeback: 0 kB AnonPages: 11668 kB Mapped: 13080 kB Slab: 58988 kB PageTables: 4004 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180092 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62468 MiB End job on node018 at 2010-06-17 19:44:04