Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.09 | 1800.61 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par32-2-c.opb |
MD5SUM | 02ee6f086501e1f86c8de97a222a24d7 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 2606 |
Total number of constraints | 6509 |
Number of constraints which are clauses | 6509 |
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 | 2 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 2606 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 2606 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2606 |
Number of bits of the biggest sum of numbers | 12 |
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 bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/432935-1177952408/instance-432935-1177952408.opb 0.00/0.00 c File size is 219721 bytes. 0.01/0.04 c Highest Coefficient sum: 2606 0.01/0.04 c Parsing was ok!! 0.01/0.04 c Total parsing time: 0.04 s 0.01/0.04 c Var: 2606 Constr: 6509 6509/0/0 Lit: 17852 Watch. Lit: 13018 0.01/0.04 c Obj. Vars: 2606 (100 % of total variables) 0.01/0.10 c Pre-processing Time: 0.095 s 0.01/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.10 c 0 2417 6192 17092 2 12384 2063 0 0 0.10 0.01/0.10 c Switching off LPR mode. 1800.08/1800.60 c 100 2417 6292 23040 3 12584 2270 100 675 0.15 1800.08/1800.60 c 250 2417 6442 28759 4 12884 2498 250 1136 0.22 1800.08/1800.60 c 476 2417 6668 38437 5 13336 2748 476 1412 0.34 1800.08/1800.60 c 815 2417 7007 51945 7 14014 3023 815 1386 0.59 1800.08/1800.60 c 1326 2417 7518 77971 10 15036 3326 1326 1385 0.96 1800.08/1800.60 c 2091 2417 8283 112199 13 16566 3659 2091 1385 1.51 1800.08/1800.60 c 3238 2417 9430 162001 17 18860 4025 3238 1293 2.50 1800.08/1800.60 c 4959 2417 8808 133942 15 17616 4428 2616 1232 4.02 1800.08/1800.60 c 7543 2417 8808 120445 13 17616 4871 2616 1244 6.06 1800.08/1800.60 c 11422 2417 9951 157008 15 19902 5359 3759 1140 10.02 1800.08/1800.60 c 17244 2417 9660 146964 15 19320 5895 3468 1102 15.64 1800.08/1800.60 c 25982 2417 11727 236184 20 23454 6485 5535 1041 24.94 1800.08/1800.60 c 39092 2417 10637 183026 17 21274 7134 4445 993 39.36 1800.08/1800.60 c 58762 2417 11001 193916 17 22002 7848 4809 933 62.95 1800.08/1800.61 c 88272 2417 10824 195208 18 21648 8633 4632 892 98.95 1800.08/1800.61 c 132542 2417 13398 322217 24 26796 9497 7206 842 157.25 1800.08/1800.61 c 198952 2417 13631 332047 24 27262 10447 7439 810 245.43 1800.08/1800.61 c 298573 2417 12515 294825 23 25030 11492 6323 765 389.87 1800.08/1800.61 c 448008 2417 15264 423934 27 30528 12642 9072 718 623.52 1800.08/1800.61 c 672166 2417 17544 584072 33 35088 13907 11352 677 992.04 1800.08/1800.61 c 1008409 2417 16872 544305 32 33744 15298 10680 630 1600.25 1800.08/1800.61 c Caught signal: 15 1800.08/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.08/1800.61 c 21 1115192 48813 1170433 19550 746038 13358 619 1800.08 1800.08/1800.61 s UNKNOWN 1800.08/1800.61 c Total time: 1800.08 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node65/watcher-432935-1177952408 -o ROOT/results/node65/solver-432935-1177952408 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432935-1177952408/instance-432935-1177952408.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.93 3/64 24749 /proc/meminfo: memFree=1852352/2055920 swapFree=4184072/4192956 [pid=24749] ppid=24747 vsize=11952 CPUtime=0 /proc/24749/stat : 24749 (bsolo3.0.17) R 24747 24749 23845 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 271230440 12238848 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 2988 335 279 324 0 2004 0 [startup+0.0220689 s] /proc/loadavg: 0.92 0.98 0.93 3/64 24749 /proc/meminfo: memFree=1852352/2055920 swapFree=4184072/4192956 [pid=24749] ppid=24747 vsize=4580 CPUtime=0.01 /proc/24749/stat : 24749 (bsolo3.0.17) R 24747 24749 23845 0 -1 4194304 499 0 0 0 1 0 0 0 18 0 1 0 271230440 4689920 469 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6121083 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 1145 469 303 324 0 161 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4580 [startup+0.101077 s] /proc/loadavg: 0.92 0.98 0.93 3/64 24749 /proc/meminfo: memFree=1852352/2055920 swapFree=4184072/4192956 [pid=24749] ppid=24747 vsize=5540 CPUtime=0.09 /proc/24749/stat : 24749 (bsolo3.0.17) R 24747 24749 23845 0 -1 4194304 886 0 0 0 8 1 0 0 18 0 1 0 271230440 5672960 761 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574279 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 1385 761 308 324 0 455 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5540 [startup+0.301092 s] /proc/loadavg: 0.92 0.98 0.93 3/64 24749 /proc/meminfo: memFree=1852352/2055920 swapFree=4184072/4192956 [pid=24749] ppid=24747 vsize=5672 CPUtime=0.29 /proc/24749/stat : 24749 (bsolo3.0.17) R 24747 24749 23845 0 -1 4194304 899 0 0 0 28 1 0 0 19 0 1 0 271230440 5808128 774 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571795 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 1418 774 309 324 0 488 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5672 [startup+0.701127 s] /proc/loadavg: 0.92 0.98 0.93 3/64 24749 /proc/meminfo: memFree=1852352/2055920 swapFree=4184072/4192956 [pid=24749] ppid=24747 vsize=5936 CPUtime=0.69 /proc/24749/stat : 24749 (bsolo3.0.17) R 24747 24749 23845 0 -1 4194304 989 0 0 0 68 1 0 0 22 0 1 0 271230440 6078464 864 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6121083 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 1484 864 309 324 0 554 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5936 [startup+1.50219 s] /proc/loadavg: 0.92 0.98 0.93 2/65 24750 /proc/meminfo: memFree=1849720/2055920 swapFree=4184072/4192956 [pid=24749] ppid=24747 vsize=6724 CPUtime=1.49 /proc/24749/stat : 24749 (bsolo3.0.17) R 24747 24749 23845 0 -1 4194304 1192 0 0 0 148 1 0 0 25 0 1 0 271230440 6885376 1067 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6127268 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 1681 1067 309 324 0 751 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6724 [startup+3.10133 s] /proc/loadavg: 0.92 0.98 0.93 2/65 24750 /proc/meminfo: memFree=1848632/2055920 swapFree=4184072/4192956 [pid=24749] ppid=24747 vsize=8020 CPUtime=3.09 /proc/24749/stat : 24749 (bsolo3.0.17) R 24747 24749 23845 0 -1 4194304 1488 0 0 0 308 1 0 0 25 0 1 0 271230440 8212480 1363 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 2005 1363 309 324 0 1075 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8020 [startup+6.30159 s] /proc/loadavg: 0.93 0.98 0.93 2/65 24750 /proc/meminfo: memFree=1847224/2055920 swapFree=4184072/4192956 [pid=24749] ppid=24747 vsize=8672 CPUtime=6.29 /proc/24749/stat : 24749 (bsolo3.0.17) R 24747 24749 23845 0 -1 4194304 1657 0 0 0 628 1 0 0 25 0 1 0 271230440 8880128 1532 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 2168 1532 309 324 0 1238 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8672 [startup+12.7011 s] /proc/loadavg: 0.93 0.98 0.93 2/65 24750 /proc/meminfo: memFree=1846904/2055920 swapFree=4184072/4192956 [pid=24749] ppid=24747 vsize=8808 CPUtime=12.69 /proc/24749/stat : 24749 (bsolo3.0.17) R 24747 24749 23845 0 -1 4194304 1700 0 0 0 1268 1 0 0 25 0 1 0 271230440 9019392 1575 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091745 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 2202 1575 309 324 0 1272 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8808 [startup+25.5012 s] /proc/loadavg: 0.95 0.98 0.93 2/65 24750 /proc/meminfo: memFree=1846584/2055920 swapFree=4184072/4192956 [pid=24749] ppid=24747 vsize=9316 CPUtime=25.48 /proc/24749/stat : 24749 (bsolo3.0.17) R 24747 24749 23845 0 -1 4194304 1815 0 0 0 2547 1 0 0 25 0 1 0 271230440 9539584 1690 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571991 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 2329 1690 309 324 0 1399 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 9316 [startup+51.1013 s] /proc/loadavg: 0.96 0.98 0.93 2/65 24750 /proc/meminfo: memFree=1845752/2055920 swapFree=4184072/4192956 [pid=24749] ppid=24747 vsize=10088 CPUtime=51.07 /proc/24749/stat : 24749 (bsolo3.0.17) R 24747 24749 23845 0 -1 4194304 2021 0 0 0 5106 1 0 0 25 0 1 0 271230440 10330112 1896 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5803124 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 2522 1896 309 324 0 1592 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 10088 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.93 2/71 24926 /proc/meminfo: memFree=1843400/2055920 swapFree=4184072/4192956 [pid=24749] ppid=24747 vsize=10992 CPUtime=102.19 /proc/24749/stat : 24749 (bsolo3.0.17) R 24747 24749 23845 0 -1 4194304 2250 0 0 0 10215 4 0 0 25 0 1 0 271230440 11255808 2125 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551368 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 2748 2125 309 324 0 1818 0 Current children cumulated CPU time (s) 102.19 Current children cumulated vsize (KiB) 10992 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.93 2/65 24948 /proc/meminfo: memFree=1843256/2055920 swapFree=4184072/4192956 [pid=24749] ppid=24747 vsize=12180 CPUtime=162.15 /proc/24749/stat : 24749 (bsolo3.0.17) R 24747 24749 23845 0 -1 4194304 2548 0 0 0 16211 4 0 0 25 0 1 0 271230440 12472320 2423 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 3045 2423 309 324 0 2115 0 Current children cumulated CPU time (s) 162.15 Current children cumulated vsize (KiB) 12180 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.93 2/65 24948 /proc/meminfo: memFree=1842872/2055920 swapFree=4184072/4192956 [pid=24749] ppid=24747 vsize=12572 CPUtime=222.13 /proc/24749/stat : 24749 (bsolo3.0.17) R 24747 24749 23845 0 -1 4194304 2652 0 0 0 22209 4 0 0 25 0 1 0 271230440 12873728 2527 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 3143 2527 309 324 0 2213 0 Current children cumulated CPU time (s) 222.13 Current children cumulated vsize (KiB) 12572 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.93 2/65 24948 /proc/meminfo: memFree=1841784/2055920 swapFree=4184072/4192956 [pid=24749] ppid=24747 vsize=13716 CPUtime=282.13 /proc/24749/stat : 24749 (bsolo3.0.17) R 24747 24749 23845 0 -1 4194304 2920 0 0 0 28208 5 0 0 25 0 1 0 271230440 14045184 2795 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551520 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 3429 2795 309 324 0 2499 0 Current children cumulated CPU time (s) 282.13 Current children cumulated vsize (KiB) 13716 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.93 2/65 24948 /proc/meminfo: memFree=1841528/2055920 swapFree=4184072/4192956 [pid=24749] ppid=24747 vsize=13936 CPUtime=342.11 /proc/24749/stat : 24749 (bsolo3.0.17) R 24747 24749 23845 0 -1 4194304 2977 0 0 0 34206 5 0 0 25 0 1 0 271230440 14270464 2852 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 3484 2852 309 324 0 2554 0 Current children cumulated CPU time (s) 342.11 Current children cumulated vsize (KiB) 13936 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.93 2/65 24948 /proc/meminfo: memFree=1840888/2055920 swapFree=4184072/4192956 [pid=24749] ppid=24747 vsize=14548 CPUtime=402.09 /proc/24749/stat : 24749 (bsolo3.0.17) R 24747 24749 23845 0 -1 4194304 3128 0 0 0 40204 5 0 0 25 0 1 0 271230440 14897152 3003 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551490 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 3637 3003 309 324 0 2707 0 Current children cumulated CPU time (s) 402.09 Current children cumulated vsize (KiB) 14548 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.93 2/65 24948 /proc/meminfo: memFree=1840760/2055920 swapFree=4184072/4192956 [pid=24749] ppid=24747 vsize=14680 CPUtime=462.08 /proc/24749/stat : 24749 (bsolo3.0.17) R 24747 24749 23845 0 -1 4194304 3165 0 0 0 46203 5 0 0 25 0 1 0 271230440 15032320 3040 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 3670 3040 309 324 0 2740 0 Current children cumulated CPU time (s) 462.08 Current children cumulated vsize (KiB) 14680 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.93 2/65 24948 /proc/meminfo: memFree=1840760/2055920 swapFree=4184072/4192956 [pid=24749] ppid=24747 vsize=14680 CPUtime=522.06 /proc/24749/stat : 24749 (bsolo3.0.17) R 24747 24749 23845 0 -1 4194304 3165 0 0 0 52201 5 0 0 25 0 1 0 271230440 15032320 3040 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 3670 3040 309 324 0 2740 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 14680 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.93 2/65 24948 /proc/meminfo: memFree=1840568/2055920 swapFree=4184072/4192956 [pid=24749] ppid=24747 vsize=14880 CPUtime=582.06 /proc/24749/stat : 24749 (bsolo3.0.17) R 24747 24749 23845 0 -1 4194304 3211 0 0 0 58200 6 0 0 25 0 1 0 271230440 15237120 3086 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551303 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 3720 3086 309 324 0 2790 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 14880 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.93 2/65 24948 /proc/meminfo: memFree=1839736/2055920 swapFree=4184072/4192956 [pid=24749] ppid=24747 vsize=15628 CPUtime=642.04 /proc/24749/stat : 24749 (bsolo3.0.17) R 24747 24749 23845 0 -1 4194304 3418 0 0 0 64198 6 0 0 25 0 1 0 271230440 16003072 3293 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 3907 3293 309 324 0 2977 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 15628 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.98 0.93 2/65 24948 /proc/meminfo: memFree=1838712/2055920 swapFree=4184072/4192956 [pid=24749] ppid=24747 vsize=16768 CPUtime=821.99 /proc/24749/stat : 24749 (bsolo3.0.17) R 24747 24749 23845 0 -1 4194304 3687 0 0 0 82193 6 0 0 25 0 1 0 271230440 17170432 3562 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 4192 3562 309 324 0 3262 0 Current children cumulated CPU time (s) 821.99 Current children cumulated vsize (KiB) 16768 [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.93 2/65 24948 /proc/meminfo: memFree=1838776/2055920 swapFree=4184072/4192956 [pid=24749] ppid=24747 vsize=16768 CPUtime=881.98 /proc/24749/stat : 24749 (bsolo3.0.17) R 24747 24749 23845 0 -1 4194304 3687 0 0 0 88192 6 0 0 25 0 1 0 271230440 17170432 3562 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6116690 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 4192 3562 309 324 0 3262 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 16768 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.93 2/65 24948 /proc/meminfo: memFree=1838776/2055920 swapFree=4184072/4192956 [pid=24749] ppid=24747 vsize=16768 CPUtime=941.97 /proc/24749/stat : 24749 (bsolo3.0.17) R 24747 24749 23845 0 -1 4194304 3687 0 0 0 94190 7 0 0 25 0 1 0 271230440 17170432 3562 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551482 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 4192 3562 309 324 0 3262 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 16768 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 24948 /proc/meminfo: memFree=1838712/2055920 swapFree=4184072/4192956 [pid=24749] ppid=24747 vsize=16776 CPUtime=1001.95 /proc/24749/stat : 24749 (bsolo3.0.17) R 24747 24749 23845 0 -1 4194304 3689 0 0 0 100188 7 0 0 25 0 1 0 271230440 17178624 3564 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 4194 3564 309 324 0 3264 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 16776 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 24948 /proc/meminfo: memFree=1838712/2055920 swapFree=4184072/4192956 [pid=24749] ppid=24747 vsize=16776 CPUtime=1061.94 /proc/24749/stat : 24749 (bsolo3.0.17) R 24747 24749 23845 0 -1 4194304 3704 0 0 0 106187 7 0 0 25 0 1 0 271230440 17178624 3579 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 4194 3579 309 324 0 3264 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 16776 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 24948 /proc/meminfo: memFree=1838712/2055920 swapFree=4184072/4192956 [pid=24749] ppid=24747 vsize=16776 CPUtime=1121.92 /proc/24749/stat : 24749 (bsolo3.0.17) R 24747 24749 23845 0 -1 4194304 3704 0 0 0 112185 7 0 0 25 0 1 0 271230440 17178624 3579 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 4194 3579 309 324 0 3264 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 16776 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 24948 /proc/meminfo: memFree=1837816/2055920 swapFree=4184072/4192956 [pid=24749] ppid=24747 vsize=17676 CPUtime=1181.91 /proc/24749/stat : 24749 (bsolo3.0.17) R 24747 24749 23845 0 -1 4194304 3928 0 0 0 118183 8 0 0 25 0 1 0 271230440 18100224 3803 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 4419 3803 309 324 0 3489 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 17676 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 24948 /proc/meminfo: memFree=1837624/2055920 swapFree=4184072/4192956 [pid=24749] ppid=24747 vsize=17852 CPUtime=1241.9 /proc/24749/stat : 24749 (bsolo3.0.17) R 24747 24749 23845 0 -1 4194304 3965 0 0 0 124182 8 0 0 25 0 1 0 271230440 18280448 3840 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521838 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 4463 3840 309 324 0 3533 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 17852 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.93 3/65 24948 /proc/meminfo: memFree=1837624/2055920 swapFree=4184072/4192956 [pid=24749] ppid=24747 vsize=17848 CPUtime=1301.88 /proc/24749/stat : 24749 (bsolo3.0.17) R 24747 24749 23845 0 -1 4194304 3965 0 0 0 130180 8 0 0 25 0 1 0 271230440 18276352 3840 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 4462 3840 309 324 0 3532 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 17848 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 24948 /proc/meminfo: memFree=1837624/2055920 swapFree=4184072/4192956 [pid=24749] ppid=24747 vsize=17844 CPUtime=1361.87 /proc/24749/stat : 24749 (bsolo3.0.17) R 24747 24749 23845 0 -1 4194304 3965 0 0 0 136178 9 0 0 25 0 1 0 271230440 18272256 3840 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551262 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 4461 3840 309 324 0 3531 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 17844 [startup+1422.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 24948 /proc/meminfo: memFree=1837624/2055920 swapFree=4184072/4192956 [pid=24749] ppid=24747 vsize=17844 CPUtime=1421.86 /proc/24749/stat : 24749 (bsolo3.0.17) R 24747 24749 23845 0 -1 4194304 3965 0 0 0 142177 9 0 0 25 0 1 0 271230440 18272256 3840 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6127246 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 4461 3840 309 324 0 3531 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 17844 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 24948 /proc/meminfo: memFree=1837624/2055920 swapFree=4184072/4192956 [pid=24749] ppid=24747 vsize=17844 CPUtime=1481.84 /proc/24749/stat : 24749 (bsolo3.0.17) R 24747 24749 23845 0 -1 4194304 3965 0 0 0 148175 9 0 0 25 0 1 0 271230440 18272256 3840 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 4461 3840 309 324 0 3531 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 17844 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 24948 /proc/meminfo: memFree=1837560/2055920 swapFree=4184072/4192956 [pid=24749] ppid=24747 vsize=17844 CPUtime=1541.82 /proc/24749/stat : 24749 (bsolo3.0.17) R 24747 24749 23845 0 -1 4194304 3965 0 0 0 154173 9 0 0 25 0 1 0 271230440 18272256 3840 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 4461 3840 309 324 0 3531 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 17844 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 24948 /proc/meminfo: memFree=1837560/2055920 swapFree=4184072/4192956 [pid=24749] ppid=24747 vsize=17844 CPUtime=1601.81 /proc/24749/stat : 24749 (bsolo3.0.17) R 24747 24749 23845 0 -1 4194304 3965 0 0 0 160172 9 0 0 25 0 1 0 271230440 18272256 3840 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6115480 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 4461 3840 309 324 0 3531 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 17844 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 24948 /proc/meminfo: memFree=1836792/2055920 swapFree=4184072/4192956 [pid=24749] ppid=24747 vsize=18772 CPUtime=1661.79 /proc/24749/stat : 24749 (bsolo3.0.17) R 24747 24749 23845 0 -1 4194304 4188 0 0 0 166170 9 0 0 25 0 1 0 271230440 19222528 4063 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 4693 4063 309 324 0 3763 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 18772 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 24948 /proc/meminfo: memFree=1836280/2055920 swapFree=4184072/4192956 [pid=24749] ppid=24747 vsize=19240 CPUtime=1721.79 /proc/24749/stat : 24749 (bsolo3.0.17) R 24747 24749 23845 0 -1 4194304 4306 0 0 0 172169 10 0 0 25 0 1 0 271230440 19701760 4181 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6118908 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 4810 4181 309 324 0 3880 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 19240 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 24948 /proc/meminfo: memFree=1836216/2055920 swapFree=4184072/4192956 [pid=24749] ppid=24747 vsize=19240 CPUtime=1781.77 /proc/24749/stat : 24749 (bsolo3.0.17) R 24747 24749 23845 0 -1 4194304 4306 0 0 0 178167 10 0 0 25 0 1 0 271230440 19701760 4181 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6118832 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 4810 4181 309 324 0 3880 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 19240 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.93 2/65 24948 /proc/meminfo: memFree=1836216/2055920 swapFree=4184072/4192956 [pid=24749] ppid=24747 vsize=19240 CPUtime=1800.08 /proc/24749/stat : 24749 (bsolo3.0.17) R 24747 24749 23845 0 -1 4194304 4306 0 0 0 179998 10 0 0 25 0 1 0 271230440 19701760 4181 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550945 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 4810 4181 309 324 0 3880 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 19240 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.61 CPU time (s): 1800.09 CPU user time (s): 1799.98 CPU system time (s): 0.107983 CPU usage (%): 99.9708 Max. virtual memory (cumulated for all children) (KiB): 19244 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.98 system time used= 0.107983 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4310 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= 12 involuntary context switches= 2853 runsolver used 1.39079 second user time and 3.58245 second system time The end
Begin job on node65 on Mon Apr 30 17:00:08 UTC 2007 IDJOB= 432935 IDBENCH= 2057 IDSOLVER= 199 FILE ID= node65/432935-1177952408 PBS_JOBID= 4727665 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-2-c.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432935-1177952408/instance-432935-1177952408.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node65/watcher-432935-1177952408 -o ROOT/results/node65/solver-432935-1177952408 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432935-1177952408/instance-432935-1177952408.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 02ee6f086501e1f86c8de97a222a24d7 RANDOM SEED= 711348376 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node65.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.245 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.245 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1852760 kB Buffers: 17720 kB Cached: 109504 kB SwapCached: 2860 kB Active: 32576 kB Inactive: 104424 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1852760 kB SwapTotal: 4192956 kB SwapFree: 4184072 kB Dirty: 6792 kB Writeback: 0 kB Mapped: 15764 kB Slab: 52168 kB Committed_AS: 2601480 kB PageTables: 1456 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node65 on Mon Apr 30 17:30:11 UTC 2007