Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | ? | 1798 | 1798.44 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_8_70_3.opb |
MD5SUM | dc0a3aac3e055af09a2312e5ef9f2aef |
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 | 71 |
Total number of constraints | 17 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 16 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 70 |
Number of terms in the objective function | 1 |
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 | 1 |
Number of bits of the sum of numbers in the objective function | 1 |
Biggest number in a constraint | 1782 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 5346 |
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.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Clause Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1878401-1245174001.opb 0.00/0.00 c File size is 8963 bytes. 0.00/0.00 c Highest Coefficient sum: 5346 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.001 s 0.00/0.00 c Var: 71 Constr: 17 1/0/16 Lit: 1099 Watch. Lit: 355 0.00/0.00 c Obj. Vars: 1 (1.40845 % of total variables) 0.00/0.00 c Pre-processing Time: 0.003 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 70 16 1098 68 357 2196 0 0 0.00 0.00/0.00 c Switching off lower bounding mode. 1797.95/1798.43 c 100 70 116 6409 55 769 2416 100 7692 0.01 1797.95/1798.43 c 251 70 267 14338 53 1058 2658 251 8964 0.03 1797.95/1798.43 c 476 70 492 26196 53 1512 2924 476 9333 0.05 1797.95/1798.43 c 814 70 830 44189 53 2203 3217 814 9044 0.09 1797.95/1798.43 c 1322 70 1338 70871 52 3222 3539 1322 8584 0.15 1797.95/1798.43 c 2085 70 2101 109804 52 4733 3893 2085 8112 0.26 1797.95/1798.43 c 3232 70 3248 170047 52 7036 4283 3232 7262 0.45 1797.95/1798.43 c 4953 70 2776 148853 53 6110 4712 2760 6317 0.78 1797.95/1798.43 c 7537 70 2966 163578 55 6487 5184 2950 6157 1.22 1797.95/1798.43 c 11416 70 4198 232849 55 8961 5703 4182 5528 2.06 1797.95/1798.43 c 17239 70 4212 238426 56 8993 6274 4196 4950 3.48 1797.95/1798.43 c 25976 70 3406 186103 54 7368 6902 3390 4744 5.47 1797.95/1798.43 c 39088 70 6016 336861 55 12594 7593 6000 4372 8.94 1797.95/1798.43 c 58758 70 6470 354709 54 13510 8353 6454 4000 14.69 1797.95/1798.44 c 88268 70 6381 369188 57 13319 9189 6365 3609 24.46 1797.95/1798.44 c 132538 70 8826 507028 57 18193 10108 8810 3275 40.46 1797.95/1798.44 c 198948 70 8826 514670 58 18210 11119 8810 2833 70.21 1797.95/1798.44 c 298569 70 7417 427640 57 15401 12231 7401 2597 114.94 1797.95/1798.44 c 448005 70 8919 496369 55 18404 13455 8903 2350 190.62 1797.95/1798.44 c 672164 70 9493 504329 53 19533 14801 9477 2175 308.99 1797.95/1798.44 c 1008407 70 10514 600824 57 21580 16282 10498 1975 510.55 1797.95/1798.44 c 1512779 70 15368 867035 56 31290 17911 15352 1804 838.39 1797.95/1798.44 c 2269342 70 15674 904111 57 31908 19703 15658 1571 1444.00 1797.95/1798.44 c Resources Exceeded 1797.95/1798.44 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.95/1798.44 c 23 2727807 39391 2768928 18635 1045000 18619 1517 1798.00 1797.95/1798.44 s UNKNOWN 1797.95/1798.44 c Total time: 1798 s
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-1878401-1245174001/watcher-1878401-1245174001 -o /tmp/evaluation-result-1878401-1245174001/solver-1878401-1245174001 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878401-1245174001.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: 1.00 1.00 1.00 3/64 6552 /proc/meminfo: memFree=1910904/2055920 swapFree=4181748/4192956 [pid=6552] ppid=6550 vsize=26332 CPUtime=0 /proc/6552/stat : 6552 (bsolo) R 6550 6552 6382 0 -1 4194304 259 0 0 0 0 0 0 0 18 0 1 0 185000470 26963968 240 1992294400 134512640 137136520 4294956256 18446744073709551615 134570864 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6552/statm: 6583 242 195 640 0 5939 0 [startup+0.066672 s] /proc/loadavg: 1.00 1.00 1.00 3/64 6552 /proc/meminfo: memFree=1910904/2055920 swapFree=4181748/4192956 [pid=6552] ppid=6550 vsize=18904 CPUtime=0.06 /proc/6552/stat : 6552 (bsolo) R 6550 6552 6382 0 -1 4194304 374 0 0 0 6 0 0 0 18 0 1 0 185000470 19357696 355 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6552/statm: 4726 355 196 640 0 4082 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 18904 [startup+0.101673 s] /proc/loadavg: 1.00 1.00 1.00 3/64 6552 /proc/meminfo: memFree=1910904/2055920 swapFree=4181748/4192956 [pid=6552] ppid=6550 vsize=19160 CPUtime=0.09 /proc/6552/stat : 6552 (bsolo) R 6550 6552 6382 0 -1 4194304 433 0 0 0 9 0 0 0 18 0 1 0 185000470 19619840 414 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6552/statm: 4790 414 196 640 0 4146 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19160 [startup+0.301686 s] /proc/loadavg: 1.00 1.00 1.00 3/64 6552 /proc/meminfo: memFree=1910904/2055920 swapFree=4181748/4192956 [pid=6552] ppid=6550 vsize=20320 CPUtime=0.29 /proc/6552/stat : 6552 (bsolo) R 6550 6552 6382 0 -1 4194304 720 0 0 0 29 0 0 0 19 0 1 0 185000470 20807680 701 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6552/statm: 5080 701 196 640 0 4436 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20320 [startup+0.701712 s] /proc/loadavg: 1.00 1.00 1.00 3/64 6552 /proc/meminfo: memFree=1910904/2055920 swapFree=4181748/4192956 [pid=6552] ppid=6550 vsize=21864 CPUtime=0.69 /proc/6552/stat : 6552 (bsolo) R 6550 6552 6382 0 -1 4194304 1117 0 0 0 68 1 0 0 22 0 1 0 185000470 22388736 1098 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6552/statm: 5466 1098 196 640 0 4822 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 21864 [startup+1.50276 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6553 /proc/meminfo: memFree=1907184/2055920 swapFree=4181748/4192956 [pid=6552] ppid=6550 vsize=22248 CPUtime=1.49 /proc/6552/stat : 6552 (bsolo) R 6550 6552 6382 0 -1 4194304 1225 0 0 0 148 1 0 0 25 0 1 0 185000470 22781952 1206 1992294400 134512640 137136520 4294956256 18446744073709551615 136518971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6552/statm: 5562 1206 196 640 0 4918 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 22248 [startup+3.10187 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6553 /proc/meminfo: memFree=1906160/2055920 swapFree=4181748/4192956 [pid=6552] ppid=6550 vsize=23264 CPUtime=3.08 /proc/6552/stat : 6552 (bsolo) R 6550 6552 6382 0 -1 4194304 1454 0 0 0 307 1 0 0 25 0 1 0 185000470 23822336 1435 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6552/statm: 5816 1435 196 640 0 5172 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 23264 [startup+6.30107 s] /proc/loadavg: 1.08 1.02 1.01 2/65 6553 /proc/meminfo: memFree=1905072/2055920 swapFree=4181748/4192956 [pid=6552] ppid=6550 vsize=24164 CPUtime=6.28 /proc/6552/stat : 6552 (bsolo) R 6550 6552 6382 0 -1 4194304 1684 0 0 0 626 2 0 0 25 0 1 0 185000470 24743936 1665 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6552/statm: 6041 1665 196 640 0 5397 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 24164 [startup+12.7015 s] /proc/loadavg: 1.07 1.02 1.00 2/65 6553 /proc/meminfo: memFree=1903920/2055920 swapFree=4181748/4192956 [pid=6552] ppid=6550 vsize=24808 CPUtime=12.69 /proc/6552/stat : 6552 (bsolo) R 6550 6552 6382 0 -1 4194304 1850 0 0 0 1264 5 0 0 25 0 1 0 185000470 25403392 1831 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6552/statm: 6202 1831 196 640 0 5558 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 24808 [startup+25.5013 s] /proc/loadavg: 1.06 1.01 1.00 2/65 6553 /proc/meminfo: memFree=1902448/2055920 swapFree=4181748/4192956 [pid=6552] ppid=6550 vsize=26332 CPUtime=25.49 /proc/6552/stat : 6552 (bsolo) R 6550 6552 6382 0 -1 4194304 2224 0 0 0 2540 9 0 0 25 0 1 0 185000470 26963968 2205 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6552/statm: 6583 2205 196 640 0 5939 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 26332 [startup+51.102 s] /proc/loadavg: 1.04 1.01 1.00 2/65 6553 /proc/meminfo: memFree=1901424/2055920 swapFree=4181748/4192956 [pid=6552] ppid=6550 vsize=27336 CPUtime=51.08 /proc/6552/stat : 6552 (bsolo) R 6550 6552 6382 0 -1 4194304 2477 0 0 0 5093 15 0 0 25 0 1 0 185000470 27992064 2458 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6552/statm: 6834 2458 196 640 0 6190 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 27336 [startup+102.305 s] /proc/loadavg: 1.01 1.01 1.00 2/65 6553 /proc/meminfo: memFree=1900656/2055920 swapFree=4181748/4192956 [pid=6552] ppid=6550 vsize=28064 CPUtime=102.27 /proc/6552/stat : 6552 (bsolo) R 6550 6552 6382 0 -1 4194304 2675 0 0 0 10199 28 0 0 25 0 1 0 185000470 28737536 2656 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6552/statm: 7016 2656 196 640 0 6372 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 28064 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6553 /proc/meminfo: memFree=1899952/2055920 swapFree=4181748/4192956 [pid=6552] ppid=6550 vsize=28712 CPUtime=162.25 /proc/6552/stat : 6552 (bsolo) R 6550 6552 6382 0 -1 4194304 2831 0 0 0 16184 41 0 0 25 0 1 0 185000470 29401088 2812 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6552/statm: 7178 2812 196 640 0 6534 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 28712 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6553 /proc/meminfo: memFree=1898928/2055920 swapFree=4181748/4192956 [pid=6552] ppid=6550 vsize=29712 CPUtime=222.24 /proc/6552/stat : 6552 (bsolo) R 6550 6552 6382 0 -1 4194304 3085 0 0 0 22171 53 0 0 25 0 1 0 185000470 30425088 3066 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6552/statm: 7428 3066 196 640 0 6784 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 29712 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6553 /proc/meminfo: memFree=1898800/2055920 swapFree=4181748/4192956 [pid=6552] ppid=6550 vsize=29796 CPUtime=282.22 /proc/6552/stat : 6552 (bsolo) R 6550 6552 6382 0 -1 4194304 3105 0 0 0 28157 65 0 0 25 0 1 0 185000470 30511104 3086 1992294400 134512640 137136520 4294956256 18446744073709551615 134544449 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6552/statm: 7449 3086 196 640 0 6805 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 29796 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6553 /proc/meminfo: memFree=1897584/2055920 swapFree=4181748/4192956 [pid=6552] ppid=6550 vsize=31000 CPUtime=342.2 /proc/6552/stat : 6552 (bsolo) R 6550 6552 6382 0 -1 4194304 3397 0 0 0 34142 78 0 0 25 0 1 0 185000470 31744000 3378 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6552/statm: 7750 3378 196 640 0 7106 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 31000 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6553 /proc/meminfo: memFree=1897392/2055920 swapFree=4181748/4192956 [pid=6552] ppid=6550 vsize=31092 CPUtime=402.19 /proc/6552/stat : 6552 (bsolo) R 6550 6552 6382 0 -1 4194304 3433 0 0 0 40129 90 0 0 25 0 1 0 185000470 31838208 3414 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6552/statm: 7773 3414 196 640 0 7129 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 31092 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6553 /proc/meminfo: memFree=1897392/2055920 swapFree=4181748/4192956 [pid=6552] ppid=6550 vsize=31092 CPUtime=462.17 /proc/6552/stat : 6552 (bsolo) R 6550 6552 6382 0 -1 4194304 3433 0 0 0 46115 102 0 0 25 0 1 0 185000470 31838208 3414 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6552/statm: 7773 3414 196 640 0 7129 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 31092 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6553 /proc/meminfo: memFree=1896496/2055920 swapFree=4181748/4192956 [pid=6552] ppid=6550 vsize=32096 CPUtime=522.16 /proc/6552/stat : 6552 (bsolo) R 6550 6552 6382 0 -1 4194304 3671 0 0 0 52102 114 0 0 25 0 1 0 185000470 32866304 3652 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6552/statm: 8024 3652 196 640 0 7380 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 32096 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6553 /proc/meminfo: memFree=1896432/2055920 swapFree=4181748/4192956 [pid=6552] ppid=6550 vsize=32088 CPUtime=582.15 /proc/6552/stat : 6552 (bsolo) R 6550 6552 6382 0 -1 4194304 3683 0 0 0 58089 126 0 0 25 0 1 0 185000470 32858112 3664 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6552/statm: 8022 3664 196 640 0 7378 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 32088 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6553 /proc/meminfo: memFree=1896368/2055920 swapFree=4181748/4192956 [pid=6552] ppid=6550 vsize=32088 CPUtime=642.14 /proc/6552/stat : 6552 (bsolo) R 6550 6552 6382 0 -1 4194304 3683 0 0 0 64078 136 0 0 25 0 1 0 185000470 32858112 3664 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6552/statm: 8022 3664 196 640 0 7378 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 32088 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1894256/2055920 swapFree=4181748/4192956 [pid=6552] ppid=6550 vsize=34032 CPUtime=1122.02 /proc/6552/stat : 6552 (bsolo) R 6550 6552 6382 0 -1 4194304 4158 0 0 0 111983 219 0 0 25 0 1 0 185000470 34848768 4139 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6552/statm: 8508 4139 196 640 0 7864 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 34032 [startup+1182.3 s] /proc/loadavg: 1.12 1.04 1.01 2/65 6555 /proc/meminfo: memFree=1894192/2055920 swapFree=4181748/4192956 [pid=6552] ppid=6550 vsize=34032 CPUtime=1182 /proc/6552/stat : 6552 (bsolo) R 6550 6552 6382 0 -1 4194304 4163 0 0 0 117969 231 0 0 25 0 1 0 185000470 34848768 4144 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6552/statm: 8508 4144 196 640 0 7864 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 34032 [startup+1242.3 s] /proc/loadavg: 1.04 1.03 1.00 2/65 6555 /proc/meminfo: memFree=1894128/2055920 swapFree=4181748/4192956 [pid=6552] ppid=6550 vsize=34032 CPUtime=1241.99 /proc/6552/stat : 6552 (bsolo) R 6550 6552 6382 0 -1 4194304 4163 0 0 0 123959 240 0 0 25 0 1 0 185000470 34848768 4144 1992294400 134512640 137136520 4294956256 18446744073709551615 136503089 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6552/statm: 8508 4144 196 640 0 7864 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 34032 [startup+1302.3 s] /proc/loadavg: 1.01 1.02 1.00 2/65 6561 /proc/meminfo: memFree=1893872/2055920 swapFree=4181748/4192956 [pid=6552] ppid=6550 vsize=34032 CPUtime=1301.97 /proc/6552/stat : 6552 (bsolo) R 6550 6552 6382 0 -1 4194304 4163 0 0 0 129948 249 0 0 25 0 1 0 185000470 34848768 4144 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6552/statm: 8508 4144 196 640 0 7864 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 34032 [startup+1362.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 6561 /proc/meminfo: memFree=1893872/2055920 swapFree=4181748/4192956 [pid=6552] ppid=6550 vsize=34032 CPUtime=1361.96 /proc/6552/stat : 6552 (bsolo) R 6550 6552 6382 0 -1 4194304 4163 0 0 0 135937 259 0 0 25 0 1 0 185000470 34848768 4144 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6552/statm: 8508 4144 196 640 0 7864 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 34032 [startup+1422.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 6561 /proc/meminfo: memFree=1893872/2055920 swapFree=4181748/4192956 [pid=6552] ppid=6550 vsize=34032 CPUtime=1421.95 /proc/6552/stat : 6552 (bsolo) R 6550 6552 6382 0 -1 4194304 4168 0 0 0 141927 268 0 0 25 0 1 0 185000470 34848768 4149 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6552/statm: 8508 4149 196 640 0 7864 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 34032 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6561 /proc/meminfo: memFree=1892656/2055920 swapFree=4181748/4192956 [pid=6552] ppid=6550 vsize=35280 CPUtime=1481.92 /proc/6552/stat : 6552 (bsolo) R 6550 6552 6382 0 -1 4194304 4472 0 0 0 147917 275 0 0 25 0 1 0 185000470 36126720 4453 1992294400 134512640 137136520 4294956256 18446744073709551615 136502083 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6552/statm: 8820 4453 196 640 0 8176 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 35280 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6561 /proc/meminfo: memFree=1892848/2055920 swapFree=4181748/4192956 [pid=6552] ppid=6550 vsize=35276 CPUtime=1541.91 /proc/6552/stat : 6552 (bsolo) R 6550 6552 6382 0 -1 4194304 4472 0 0 0 153907 284 0 0 25 0 1 0 185000470 36122624 4453 1992294400 134512640 137136520 4294956256 18446744073709551615 134543834 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6552/statm: 8819 4453 196 640 0 8175 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 35276 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6561 /proc/meminfo: memFree=1892784/2055920 swapFree=4181748/4192956 [pid=6552] ppid=6550 vsize=35272 CPUtime=1601.9 /proc/6552/stat : 6552 (bsolo) R 6550 6552 6382 0 -1 4194304 4472 0 0 0 159896 294 0 0 25 0 1 0 185000470 36118528 4453 1992294400 134512640 137136520 4294956256 18446744073709551615 134543846 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6552/statm: 8818 4453 196 640 0 8174 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 35272 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6561 /proc/meminfo: memFree=1892784/2055920 swapFree=4181748/4192956 [pid=6552] ppid=6550 vsize=35256 CPUtime=1661.88 /proc/6552/stat : 6552 (bsolo) R 6550 6552 6382 0 -1 4194304 4472 0 0 0 165883 305 0 0 25 0 1 0 185000470 36102144 4453 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6552/statm: 8814 4453 196 640 0 8170 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 35256 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6561 /proc/meminfo: memFree=1892592/2055920 swapFree=4181748/4192956 [pid=6552] ppid=6550 vsize=35376 CPUtime=1721.87 /proc/6552/stat : 6552 (bsolo) R 6550 6552 6382 0 -1 4194304 4496 0 0 0 171871 316 0 0 25 0 1 0 185000470 36225024 4477 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6552/statm: 8844 4477 196 640 0 8200 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 35376 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6561 /proc/meminfo: memFree=1892528/2055920 swapFree=4181748/4192956 [pid=6552] ppid=6550 vsize=35372 CPUtime=1781.85 /proc/6552/stat : 6552 (bsolo) R 6550 6552 6382 0 -1 4194304 4496 0 0 0 177859 326 0 0 25 0 1 0 185000470 36220928 4477 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6552/statm: 8843 4477 196 640 0 8199 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 35372 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6561 /proc/meminfo: memFree=1892528/2055920 swapFree=4181748/4192956 [pid=6552] ppid=6550 vsize=35368 CPUtime=1791.46 /proc/6552/stat : 6552 (bsolo) R 6550 6552 6382 0 -1 4194304 4496 0 0 0 178818 328 0 0 25 0 1 0 185000470 36216832 4477 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6552/statm: 8842 4477 196 640 0 8198 0 Current children cumulated CPU time (s) 1791.46 Current children cumulated vsize (KiB) 35368 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6561 /proc/meminfo: memFree=1892528/2055920 swapFree=4181748/4192956 [pid=6552] ppid=6550 vsize=35368 CPUtime=1794.66 /proc/6552/stat : 6552 (bsolo) R 6550 6552 6382 0 -1 4194304 4496 0 0 0 179137 329 0 0 25 0 1 0 185000470 36216832 4477 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6552/statm: 8842 4477 196 640 0 8198 0 Current children cumulated CPU time (s) 1794.66 Current children cumulated vsize (KiB) 35368 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6561 /proc/meminfo: memFree=1892528/2055920 swapFree=4181748/4192956 [pid=6552] ppid=6550 vsize=35368 CPUtime=1796.25 /proc/6552/stat : 6552 (bsolo) R 6550 6552 6382 0 -1 4194304 4496 0 0 0 179296 329 0 0 25 0 1 0 185000470 36216832 4477 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6552/statm: 8842 4477 196 640 0 8198 0 Current children cumulated CPU time (s) 1796.25 Current children cumulated vsize (KiB) 35368 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6561 /proc/meminfo: memFree=1892528/2055920 swapFree=4181748/4192956 [pid=6552] ppid=6550 vsize=35368 CPUtime=1797.05 /proc/6552/stat : 6552 (bsolo) R 6550 6552 6382 0 -1 4194304 4496 0 0 0 179376 329 0 0 25 0 1 0 185000470 36216832 4477 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6552/statm: 8842 4477 196 640 0 8198 0 Current children cumulated CPU time (s) 1797.05 Current children cumulated vsize (KiB) 35368 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6561 /proc/meminfo: memFree=1892528/2055920 swapFree=4181748/4192956 [pid=6552] ppid=6550 vsize=35368 CPUtime=1797.45 /proc/6552/stat : 6552 (bsolo) R 6550 6552 6382 0 -1 4194304 4496 0 0 0 179416 329 0 0 25 0 1 0 185000470 36216832 4477 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6552/statm: 8842 4477 196 640 0 8198 0 Current children cumulated CPU time (s) 1797.45 Current children cumulated vsize (KiB) 35368 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6561 /proc/meminfo: memFree=1892528/2055920 swapFree=4181748/4192956 [pid=6552] ppid=6550 vsize=35368 CPUtime=1797.85 /proc/6552/stat : 6552 (bsolo) R 6550 6552 6382 0 -1 4194304 4496 0 0 0 179456 329 0 0 25 0 1 0 185000470 36216832 4477 1992294400 134512640 137136520 4294956256 18446744073709551615 134543834 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6552/statm: 8842 4477 196 640 0 8198 0 Current children cumulated CPU time (s) 1797.85 Current children cumulated vsize (KiB) 35368 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6561 /proc/meminfo: memFree=1892528/2055920 swapFree=4181748/4192956 [pid=6552] ppid=6550 vsize=35368 CPUtime=1797.95 /proc/6552/stat : 6552 (bsolo) R 6550 6552 6382 0 -1 4194304 4496 0 0 0 179466 329 0 0 25 0 1 0 185000470 36216832 4477 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6552/statm: 8842 4477 196 640 0 8198 0 Current children cumulated CPU time (s) 1797.95 Current children cumulated vsize (KiB) 35368 Child status: 0 Real time (s): 1798.44 CPU time (s): 1798 CPU user time (s): 1794.7 CPU system time (s): 3.3015 CPU usage (%): 99.9756 Max. virtual memory (cumulated for all children) (KiB): 35376 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.7 system time used= 3.3015 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4497 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= 2 involuntary context switches= 2771 runsolver used 1.43678 second user time and 3.54946 second system time The end
Begin job on node22 at 2009-06-16 19:40:01 IDJOB=1878401 IDBENCH=2893 IDSOLVER=700 FILE ID=node22/1878401-1245174001 PBS_JOBID= 9363893 Free space on /tmp= 66156 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_3.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878401-1245174001/watcher-1878401-1245174001 -o /tmp/evaluation-result-1878401-1245174001/solver-1878401-1245174001 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878401-1245174001.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= dc0a3aac3e055af09a2312e5ef9f2aef RANDOM SEED=1498408462 node22.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.231 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.231 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: 1911256 kB Buffers: 34756 kB Cached: 60992 kB SwapCached: 5504 kB Active: 52736 kB Inactive: 50848 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1911256 kB SwapTotal: 4192956 kB SwapFree: 4181748 kB Dirty: 3948 kB Writeback: 0 kB Mapped: 12900 kB Slab: 27112 kB Committed_AS: 160332 kB PageTables: 1372 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878401-1245174001.opb Free space on /tmp at the end= 66152 MiB End job on node22 at 2009-06-16 20:09:59