Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | ? | 1798.1 | 1798.63 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_5_40_2.opb |
MD5SUM | 4618b6422bdc12197131d1d37f567363 |
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 | 41 |
Total number of constraints | 11 |
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 | 10 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 40 |
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 | 1196 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 3589 |
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.2 - 23/05/2010 : 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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2656416-1276600787.opb 0.00/0.00 c File size is 3356 bytes. 0.00/0.00 c Highest Coefficient sum: 3589 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: 41 Constr: 11 1/0/10 Lit: 395 Watch. Lit: 135 0.00/0.00 c Obj. Vars: 1 (2.43902 % of total variables) 0.00/0.00 c Pre-processing Time: 0.001 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 40 10 394 39 140 788 0 0 0.00 0.00/0.00 c Switching off lower bounding mode. 1798.07/1798.62 c 100 40 149 4395 29 535 867 139 6666 0.01 1798.07/1798.62 c 251 40 362 10451 28 1078 954 352 7171 0.04 1798.07/1798.62 c 476 40 670 18899 28 1917 1050 660 7212 0.07 1798.07/1798.62 c 814 40 568 15935 28 1353 1156 558 6840 0.12 1798.07/1798.62 c 1322 40 622 17301 27 1439 1272 612 6814 0.19 1798.07/1798.62 c 2085 40 1017 29247 28 2323 1400 1007 6836 0.30 1798.07/1798.62 c 3232 40 1161 33589 28 2772 1541 1151 6804 0.47 1798.07/1798.62 c 4953 40 1293 37656 29 3226 1696 1283 6595 0.75 1798.07/1798.62 c 7537 40 920 27822 30 2196 1866 910 6193 1.22 1798.07/1798.62 c 11416 40 1864 53766 28 4563 2053 1854 6021 1.90 1798.07/1798.62 c 17239 40 1616 44572 27 3758 2259 1606 5820 2.96 1798.07/1798.62 c 25978 40 1444 42862 29 3731 2485 1434 5530 4.70 1798.07/1798.62 c 39088 40 1614 48228 29 4312 2734 1604 5171 7.56 1798.07/1798.62 c 58759 40 2623 78452 29 6903 3008 2613 4887 12.02 1798.07/1798.62 c 88269 40 2876 82765 28 7137 3309 2866 4676 18.87 1798.07/1798.62 c 132539 40 2618 73981 28 6286 3640 2608 4529 29.26 1798.07/1798.62 c 198949 40 2323 68135 29 6178 4005 2313 4276 46.52 1798.07/1798.62 c 298569 40 2168 64172 29 5571 4406 2158 4042 73.87 1798.07/1798.62 c 448005 40 4018 117646 29 9940 4847 4008 3729 120.11 1798.07/1798.62 c 672163 40 3665 108790 29 10008 5332 3655 3533 190.21 1798.07/1798.62 c 1008406 40 4860 143085 29 13561 5866 4850 3321 303.63 1798.07/1798.62 c 1512777 40 2957 90804 30 7996 6453 2947 3094 488.81 1798.07/1798.62 c 2269343 40 5146 152796 29 13853 7099 5136 2877 788.76 1798.07/1798.62 c 3404197 40 6992 208168 29 17751 7809 6982 2656 1281.70 1798.07/1798.62 c Resources Exceeded 1798.07/1798.62 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.07/1798.62 c 24 4581399 40517 4622764 3919 116353 3909 2547 1798.09 1798.07/1798.62 s UNKNOWN 1798.07/1798.62 c Total time: 1798.09 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-2656416-1276600787/watcher-2656416-1276600787 -o /tmp/evaluation-result-2656416-1276600787/solver-2656416-1276600787 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656416-1276600787.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.94 1.04 1.00 3/106 9323 /proc/meminfo: memFree=1541992/2059040 swapFree=4192956/4192956 [pid=9323] ppid=9321 vsize=26284 CPUtime=0 /proc/9323/stat : 9323 (bsolo_pb10) R 9321 9323 2335 0 -1 4202496 322 0 0 0 0 0 0 0 17 0 1 0 1371502 26914816 240 1992294400 134512640 137138936 4290203056 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9323/statm: 6571 240 192 642 0 5927 0 [startup+0.102196 s] /proc/loadavg: 0.94 1.04 1.00 3/106 9323 /proc/meminfo: memFree=1541992/2059040 swapFree=4192956/4192956 [pid=9323] ppid=9321 vsize=18988 CPUtime=0.09 /proc/9323/stat : 9323 (bsolo_pb10) R 9321 9323 2335 0 -1 4202496 432 0 0 0 9 0 0 0 17 0 1 0 1371502 19443712 350 1992294400 134512640 137138936 4290203056 18446744073709551615 134599815 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9323/statm: 4747 350 192 642 0 4103 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18988 [startup+0.20121 s] /proc/loadavg: 0.94 1.04 1.00 3/106 9323 /proc/meminfo: memFree=1541992/2059040 swapFree=4192956/4192956 [pid=9323] ppid=9321 vsize=19120 CPUtime=0.19 /proc/9323/stat : 9323 (bsolo_pb10) R 9321 9323 2335 0 -1 4202496 455 0 0 0 19 0 0 0 17 0 1 0 1371502 19578880 373 1992294400 134512640 137138936 4290203056 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9323/statm: 4780 373 192 642 0 4136 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 19120 [startup+0.301224 s] /proc/loadavg: 0.94 1.04 1.00 3/106 9323 /proc/meminfo: memFree=1541992/2059040 swapFree=4192956/4192956 [pid=9323] ppid=9321 vsize=19120 CPUtime=0.29 /proc/9323/stat : 9323 (bsolo_pb10) R 9321 9323 2335 0 -1 4202496 473 0 0 0 29 0 0 0 17 0 1 0 1371502 19578880 391 1992294400 134512640 137138936 4290203056 18446744073709551615 134542808 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9323/statm: 4780 391 192 642 0 4136 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19120 [startup+0.701279 s] /proc/loadavg: 0.94 1.04 1.00 3/106 9323 /proc/meminfo: memFree=1541992/2059040 swapFree=4192956/4192956 [pid=9323] ppid=9321 vsize=19248 CPUtime=0.69 /proc/9323/stat : 9323 (bsolo_pb10) R 9321 9323 2335 0 -1 4202496 514 0 0 0 69 0 0 0 17 0 1 0 1371502 19709952 432 1992294400 134512640 137138936 4290203056 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9323/statm: 4812 432 192 642 0 4168 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19248 [startup+1.50139 s] /proc/loadavg: 0.94 1.04 1.00 2/107 9324 /proc/meminfo: memFree=1540868/2059040 swapFree=4192956/4192956 [pid=9323] ppid=9321 vsize=19504 CPUtime=1.49 /proc/9323/stat : 9323 (bsolo_pb10) R 9321 9323 2335 0 -1 4202496 552 0 0 0 148 1 0 0 18 0 1 0 1371502 19972096 470 1992294400 134512640 137138936 4290203056 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9323/statm: 4876 470 192 642 0 4232 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19504 [startup+3.10162 s] /proc/loadavg: 0.94 1.04 1.00 2/107 9324 /proc/meminfo: memFree=1540248/2059040 swapFree=4192956/4192956 [pid=9323] ppid=9321 vsize=19636 CPUtime=3.09 /proc/9323/stat : 9323 (bsolo_pb10) R 9321 9323 2335 0 -1 4202496 592 0 0 0 306 3 0 0 21 0 1 0 1371502 20107264 510 1992294400 134512640 137138936 4290203056 18446744073709551615 136500305 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9323/statm: 4909 510 192 642 0 4265 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19636 [startup+6.30107 s] /proc/loadavg: 0.94 1.04 1.00 2/107 9324 /proc/meminfo: memFree=1540000/2059040 swapFree=4192956/4192956 [pid=9323] ppid=9321 vsize=19884 CPUtime=6.29 /proc/9323/stat : 9323 (bsolo_pb10) R 9321 9323 2335 0 -1 4202496 645 0 0 0 624 5 0 0 25 0 1 0 1371502 20361216 563 1992294400 134512640 137138936 4290203056 18446744073709551615 134542469 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9323/statm: 4971 563 192 642 0 4327 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19884 [startup+12.701 s] /proc/loadavg: 0.95 1.04 1.00 2/107 9324 /proc/meminfo: memFree=1539752/2059040 swapFree=4192956/4192956 [pid=9323] ppid=9321 vsize=20016 CPUtime=12.69 /proc/9323/stat : 9323 (bsolo_pb10) R 9321 9323 2335 0 -1 4202496 706 0 0 0 1260 9 0 0 25 0 1 0 1371502 20496384 624 1992294400 134512640 137138936 4290203056 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9323/statm: 5004 624 192 642 0 4360 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20016 [startup+25.5008 s] /proc/loadavg: 0.96 1.03 1.00 2/107 9324 /proc/meminfo: memFree=1539628/2059040 swapFree=4192956/4192956 [pid=9323] ppid=9321 vsize=20264 CPUtime=25.48 /proc/9323/stat : 9323 (bsolo_pb10) R 9321 9323 2335 0 -1 4202496 743 0 0 0 2532 16 0 0 25 0 1 0 1371502 20750336 661 1992294400 134512640 137138936 4290203056 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9323/statm: 5066 661 192 642 0 4422 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 20264 [startup+51.1004 s] /proc/loadavg: 0.97 1.03 1.00 2/107 9326 /proc/meminfo: memFree=1539256/2059040 swapFree=4192956/4192956 [pid=9323] ppid=9321 vsize=20632 CPUtime=51.07 /proc/9323/stat : 9323 (bsolo_pb10) R 9321 9323 2335 0 -1 4202496 836 0 0 0 5078 29 0 0 25 0 1 0 1371502 21127168 754 1992294400 134512640 137138936 4290203056 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9323/statm: 5158 754 192 642 0 4514 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 20632 [startup+102.301 s] /proc/loadavg: 0.99 1.02 1.00 2/107 9326 /proc/meminfo: memFree=1538884/2059040 swapFree=4192956/4192956 [pid=9323] ppid=9321 vsize=20868 CPUtime=102.26 /proc/9323/stat : 9323 (bsolo_pb10) R 9321 9323 2335 0 -1 4202496 896 0 0 0 10178 48 0 0 25 0 1 0 1371502 21368832 814 1992294400 134512640 137138936 4290203056 18446744073709551615 136501668 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9323/statm: 5217 814 192 642 0 4573 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 20868 [startup+162.301 s] /proc/loadavg: 0.99 1.02 1.00 2/107 9328 /proc/meminfo: memFree=1538636/2059040 swapFree=4192956/4192956 [pid=9323] ppid=9321 vsize=21108 CPUtime=162.24 /proc/9323/stat : 9323 (bsolo_pb10) R 9321 9323 2335 0 -1 4202496 960 0 0 0 16154 70 0 0 25 0 1 0 1371502 21614592 878 1992294400 134512640 137138936 4290203056 18446744073709551615 134618924 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9323/statm: 5277 878 192 642 0 4633 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 21108 [startup+222.309 s] /proc/loadavg: 0.99 1.01 1.00 2/107 9330 /proc/meminfo: memFree=1538264/2059040 swapFree=4192956/4192956 [pid=9323] ppid=9321 vsize=21372 CPUtime=222.23 /proc/9323/stat : 9323 (bsolo_pb10) R 9321 9323 2335 0 -1 4202496 1028 0 0 0 22127 96 0 0 25 0 1 0 1371502 21884928 946 1992294400 134512640 137138936 4290203056 18446744073709551615 135984550 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9323/statm: 5343 946 192 642 0 4699 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 21372 [startup+282.301 s] /proc/loadavg: 0.99 1.01 1.00 2/107 9332 /proc/meminfo: memFree=1538140/2059040 swapFree=4192956/4192956 [pid=9323] ppid=9321 vsize=21372 CPUtime=282.21 /proc/9323/stat : 9323 (bsolo_pb10) R 9321 9323 2335 0 -1 4202496 1037 0 0 0 28101 120 0 0 25 0 1 0 1371502 21884928 955 1992294400 134512640 137138936 4290203056 18446744073709551615 135984564 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9323/statm: 5343 955 192 642 0 4699 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 21372 [startup+342.301 s] /proc/loadavg: 1.04 1.02 1.00 2/107 9334 /proc/meminfo: memFree=1537892/2059040 swapFree=4192956/4192956 [pid=9323] ppid=9321 vsize=21612 CPUtime=342.19 /proc/9323/stat : 9323 (bsolo_pb10) R 9321 9323 2335 0 -1 4202496 1103 0 0 0 34078 141 0 0 25 0 1 0 1371502 22130688 1021 1992294400 134512640 137138936 4290203056 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9323/statm: 5403 1021 192 642 0 4759 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 21612 [startup+402.301 s] /proc/loadavg: 1.05 1.03 1.00 2/107 9334 /proc/meminfo: memFree=1537892/2059040 swapFree=4192956/4192956 [pid=9323] ppid=9321 vsize=21612 CPUtime=402.17 /proc/9323/stat : 9323 (bsolo_pb10) R 9321 9323 2335 0 -1 4202496 1103 0 0 0 40056 161 0 0 25 0 1 0 1371502 22130688 1021 1992294400 134512640 137138936 4290203056 18446744073709551615 134542430 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9323/statm: 5403 1021 192 642 0 4759 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 21612 [startup+462.301 s] /proc/loadavg: 1.02 1.02 1.00 2/107 9336 /proc/meminfo: memFree=1537892/2059040 swapFree=4192956/4192956 [pid=9323] ppid=9321 vsize=21612 CPUtime=462.15 /proc/9323/stat : 9323 (bsolo_pb10) R 9321 9323 2335 0 -1 4202496 1103 0 0 0 46033 182 0 0 25 0 1 0 1371502 22130688 1021 1992294400 134512640 137138936 4290203056 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9323/statm: 5403 1021 192 642 0 4759 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 21612 [startup+522.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 9338 /proc/meminfo: memFree=1537520/2059040 swapFree=4192956/4192956 [pid=9323] ppid=9321 vsize=21984 CPUtime=522.14 /proc/9323/stat : 9323 (bsolo_pb10) R 9321 9323 2335 0 -1 4202496 1175 0 0 0 52007 207 0 0 25 0 1 0 1371502 22511616 1093 1992294400 134512640 137138936 4290203056 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9323/statm: 5496 1093 192 642 0 4852 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 21984 [startup+582.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 9340 /proc/meminfo: memFree=1537520/2059040 swapFree=4192956/4192956 [pid=9323] ppid=9321 vsize=21976 CPUtime=582.12 /proc/9323/stat : 9323 (bsolo_pb10) R 9321 9323 2335 0 -1 4202496 1175 0 0 0 57983 229 0 0 25 0 1 0 1371502 22503424 1093 1992294400 134512640 137138936 4290203056 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9323/statm: 5494 1093 192 642 0 4850 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 21976 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9342 /proc/meminfo: memFree=1537520/2059040 swapFree=4192956/4192956 [pid=9323] ppid=9321 vsize=21968 CPUtime=642.11 /proc/9323/stat : 9323 (bsolo_pb10) R 9321 9323 2335 0 -1 4202496 1175 0 0 0 63963 248 0 0 25 0 1 0 1371502 22495232 1093 1992294400 134512640 137138936 4290203056 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9323/statm: 5492 1093 192 642 0 4848 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 21968 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1536404/2059040 swapFree=4192956/4192956 [pid=9323] ppid=9321 vsize=22292 CPUtime=1061.98 /proc/9323/stat : 9323 (bsolo_pb10) R 9321 9323 2335 0 -1 4202496 1262 0 0 0 105810 388 0 0 25 0 1 0 1371502 22827008 1180 1992294400 134512640 137138936 4290203056 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9323/statm: 5573 1180 192 642 0 4929 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 22292 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9357 /proc/meminfo: memFree=1536280/2059040 swapFree=4192956/4192956 [pid=9323] ppid=9321 vsize=22292 CPUtime=1121.96 /proc/9323/stat : 9323 (bsolo_pb10) R 9321 9323 2335 0 -1 4202496 1263 0 0 0 111787 409 0 0 25 0 1 0 1371502 22827008 1181 1992294400 134512640 137138936 4290203056 18446744073709551615 134603129 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9323/statm: 5573 1181 192 642 0 4929 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 22292 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9359 /proc/meminfo: memFree=1536280/2059040 swapFree=4192956/4192956 [pid=9323] ppid=9321 vsize=22292 CPUtime=1181.94 /proc/9323/stat : 9323 (bsolo_pb10) R 9321 9323 2335 0 -1 4202496 1263 0 0 0 117769 425 0 0 25 0 1 0 1371502 22827008 1181 1992294400 134512640 137138936 4290203056 18446744073709551615 136504022 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9323/statm: 5573 1181 192 642 0 4929 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 22292 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9361 /proc/meminfo: memFree=1536280/2059040 swapFree=4192956/4192956 [pid=9323] ppid=9321 vsize=22292 CPUtime=1241.93 /proc/9323/stat : 9323 (bsolo_pb10) R 9321 9323 2335 0 -1 4202496 1263 0 0 0 123748 445 0 0 25 0 1 0 1371502 22827008 1181 1992294400 134512640 137138936 4290203056 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9323/statm: 5573 1181 192 642 0 4929 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 22292 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9361 /proc/meminfo: memFree=1536032/2059040 swapFree=4192956/4192956 [pid=9323] ppid=9321 vsize=22544 CPUtime=1301.91 /proc/9323/stat : 9323 (bsolo_pb10) R 9321 9323 2335 0 -1 4202496 1323 0 0 0 129728 463 0 0 25 0 1 0 1371502 23085056 1241 1992294400 134512640 137138936 4290203056 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9323/statm: 5636 1241 192 642 0 4992 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 22544 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9363 /proc/meminfo: memFree=1536032/2059040 swapFree=4192956/4192956 [pid=9323] ppid=9321 vsize=22544 CPUtime=1361.89 /proc/9323/stat : 9323 (bsolo_pb10) R 9321 9323 2335 0 -1 4202496 1339 0 0 0 135708 481 0 0 25 0 1 0 1371502 23085056 1257 1992294400 134512640 137138936 4290203056 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9323/statm: 5636 1257 192 642 0 4992 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 22544 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9365 /proc/meminfo: memFree=1535908/2059040 swapFree=4192956/4192956 [pid=9323] ppid=9321 vsize=22640 CPUtime=1421.88 /proc/9323/stat : 9323 (bsolo_pb10) R 9321 9323 2335 0 -1 4202496 1349 0 0 0 141687 501 0 0 25 0 1 0 1371502 23183360 1267 1992294400 134512640 137138936 4290203056 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9323/statm: 5660 1267 192 642 0 5016 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 22640 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9367 /proc/meminfo: memFree=1535908/2059040 swapFree=4192956/4192956 [pid=9323] ppid=9321 vsize=22640 CPUtime=1481.86 /proc/9323/stat : 9323 (bsolo_pb10) R 9321 9323 2335 0 -1 4202496 1349 0 0 0 147663 523 0 0 25 0 1 0 1371502 23183360 1267 1992294400 134512640 137138936 4290203056 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9323/statm: 5660 1267 192 642 0 5016 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 22640 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9369 /proc/meminfo: memFree=1535908/2059040 swapFree=4192956/4192956 [pid=9323] ppid=9321 vsize=22640 CPUtime=1541.84 /proc/9323/stat : 9323 (bsolo_pb10) R 9321 9323 2335 0 -1 4202496 1349 0 0 0 153641 543 0 0 25 0 1 0 1371502 23183360 1267 1992294400 134512640 137138936 4290203056 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9323/statm: 5660 1267 192 642 0 5016 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 22640 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9369 /proc/meminfo: memFree=1535908/2059040 swapFree=4192956/4192956 [pid=9323] ppid=9321 vsize=22640 CPUtime=1601.82 /proc/9323/stat : 9323 (bsolo_pb10) R 9321 9323 2335 0 -1 4202496 1349 0 0 0 159619 563 0 0 25 0 1 0 1371502 23183360 1267 1992294400 134512640 137138936 4290203056 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9323/statm: 5660 1267 192 642 0 5016 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 22640 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9371 /proc/meminfo: memFree=1535908/2059040 swapFree=4192956/4192956 [pid=9323] ppid=9321 vsize=22640 CPUtime=1661.8 /proc/9323/stat : 9323 (bsolo_pb10) R 9321 9323 2335 0 -1 4202496 1349 0 0 0 165596 584 0 0 25 0 1 0 1371502 23183360 1267 1992294400 134512640 137138936 4290203056 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9323/statm: 5660 1267 192 642 0 5016 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 22640 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9373 /proc/meminfo: memFree=1535784/2059040 swapFree=4192956/4192956 [pid=9323] ppid=9321 vsize=22640 CPUtime=1721.78 /proc/9323/stat : 9323 (bsolo_pb10) R 9321 9323 2335 0 -1 4202496 1349 0 0 0 171575 603 0 0 25 0 1 0 1371502 23183360 1267 1992294400 134512640 137138936 4290203056 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9323/statm: 5660 1267 192 642 0 5016 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 22640 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9375 /proc/meminfo: memFree=1535784/2059040 swapFree=4192956/4192956 [pid=9323] ppid=9321 vsize=22636 CPUtime=1781.77 /proc/9323/stat : 9323 (bsolo_pb10) R 9321 9323 2335 0 -1 4202496 1349 0 0 0 177556 621 0 0 25 0 1 0 1371502 23179264 1267 1992294400 134512640 137138936 4290203056 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9323/statm: 5659 1267 192 642 0 5015 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 22636 Solver just ended. Dumping a history of the last processes samples [startup+1792.01 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9375 /proc/meminfo: memFree=1535784/2059040 swapFree=4192956/4192956 [pid=9323] ppid=9321 vsize=22636 CPUtime=1791.47 /proc/9323/stat : 9323 (bsolo_pb10) R 9321 9323 2335 0 -1 4202496 1349 0 0 0 178523 624 0 0 25 0 1 0 1371502 23179264 1267 1992294400 134512640 137138936 4290203056 18446744073709551615 134551367 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9323/statm: 5659 1267 192 642 0 5015 0 Current children cumulated CPU time (s) 1791.47 Current children cumulated vsize (KiB) 22636 [startup+1795.2 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9375 /proc/meminfo: memFree=1535784/2059040 swapFree=4192956/4192956 [pid=9323] ppid=9321 vsize=22636 CPUtime=1794.67 /proc/9323/stat : 9323 (bsolo_pb10) R 9321 9323 2335 0 -1 4202496 1349 0 0 0 178842 625 0 0 25 0 1 0 1371502 23179264 1267 1992294400 134512640 137138936 4290203056 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9323/statm: 5659 1267 192 642 0 5015 0 Current children cumulated CPU time (s) 1794.67 Current children cumulated vsize (KiB) 22636 [startup+1796.8 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9375 /proc/meminfo: memFree=1535784/2059040 swapFree=4192956/4192956 [pid=9323] ppid=9321 vsize=22636 CPUtime=1796.26 /proc/9323/stat : 9323 (bsolo_pb10) R 9321 9323 2335 0 -1 4202496 1349 0 0 0 179001 625 0 0 25 0 1 0 1371502 23179264 1267 1992294400 134512640 137138936 4290203056 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9323/statm: 5659 1267 192 642 0 5015 0 Current children cumulated CPU time (s) 1796.26 Current children cumulated vsize (KiB) 22636 [startup+1797.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9375 /proc/meminfo: memFree=1535784/2059040 swapFree=4192956/4192956 [pid=9323] ppid=9321 vsize=22636 CPUtime=1797.07 /proc/9323/stat : 9323 (bsolo_pb10) R 9321 9323 2335 0 -1 4202496 1349 0 0 0 179081 626 0 0 25 0 1 0 1371502 23179264 1267 1992294400 134512640 137138936 4290203056 18446744073709551615 136511190 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9323/statm: 5659 1267 192 642 0 5015 0 Current children cumulated CPU time (s) 1797.07 Current children cumulated vsize (KiB) 22636 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9375 /proc/meminfo: memFree=1535784/2059040 swapFree=4192956/4192956 [pid=9323] ppid=9321 vsize=22636 CPUtime=1797.86 /proc/9323/stat : 9323 (bsolo_pb10) R 9321 9323 2335 0 -1 4202496 1349 0 0 0 179160 626 0 0 25 0 1 0 1371502 23179264 1267 1992294400 134512640 137138936 4290203056 18446744073709551615 134542351 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9323/statm: 5659 1267 192 642 0 5015 0 Current children cumulated CPU time (s) 1797.86 Current children cumulated vsize (KiB) 22636 [startup+1798.61 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9375 /proc/meminfo: memFree=1535784/2059040 swapFree=4192956/4192956 [pid=9323] ppid=9321 vsize=22636 CPUtime=1798.07 /proc/9323/stat : 9323 (bsolo_pb10) R 9321 9323 2335 0 -1 4202496 1349 0 0 0 179181 626 0 0 25 0 1 0 1371502 23179264 1267 1992294400 134512640 137138936 4290203056 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9323/statm: 5659 1267 192 642 0 5015 0 Current children cumulated CPU time (s) 1798.07 Current children cumulated vsize (KiB) 22636 Child status: 0 Real time (s): 1798.63 CPU time (s): 1798.1 CPU user time (s): 1791.83 CPU system time (s): 6.26605 CPU usage (%): 99.9705 Max. virtual memory (cumulated for all children) (KiB): 22656 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.83 system time used= 6.26605 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1349 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= 22782 runsolver used 3.16252 second user time and 8.29374 second system time The end
Begin job on node039 at 2010-06-15 13:19:47 IDJOB=2656416 IDBENCH=2903 IDSOLVER=1162 FILE ID=node039/2656416-1276600787 PBS_JOBID= 11172212 Free space on /tmp= 62552 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_2.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656416-1276600787/watcher-2656416-1276600787 -o /tmp/evaluation-result-2656416-1276600787/solver-2656416-1276600787 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656416-1276600787.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4618b6422bdc12197131d1d37f567363 RANDOM SEED=2119246223 node039.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.267 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.53 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.267 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1542520 kB Buffers: 48608 kB Cached: 341952 kB SwapCached: 0 kB Active: 194796 kB Inactive: 255156 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1542520 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3884 kB Writeback: 0 kB AnonPages: 59448 kB Mapped: 15448 kB Slab: 44756 kB PageTables: 4028 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182700 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= 62548 MiB End job on node039 at 2010-06-15 13:49:46