Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.22 | 1800.7 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_1.opb |
MD5SUM | 5bf563c7058af01702ea80887f1d43ad |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 695.946 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1 |
Optimality of the best value was proved | NO |
Number of variables | 120 |
Total number of constraints | 10 |
Number of constraints which are clauses | 0 |
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 | 55 |
Maximum length of a constraint | 56 |
Number of terms in the objective function | 80 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 2550 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1086 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 3768 |
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 This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1875767-1245177496.opb. 0.00/0.00 c Instance file HOME/instance-1875767-1245177496.opb 0.00/0.00 c File size is 5459 bytes. 0.00/0.00 c Highest Coefficient sum: 3768 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 120 | 0.00/0.00 c | Number Clauses: 80 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 10 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 40 90 558 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 100 | 40 90 558 | 5500 100 58 | 66.674 % | 0.00/0.01 c | 250 | 40 90 558 | 6050 250 58 | 66.674 % | 0.00/0.03 c | 476 | 40 90 558 | 6655 476 59 | 66.674 % | 0.00/0.05 c | 813 | 40 90 558 | 7320 813 60 | 66.674 % | 0.06/0.08 c | 1319 | 40 90 558 | 8052 1319 61 | 66.674 % | 0.09/0.13 c | 2078 | 40 90 558 | 8857 2078 62 | 66.674 % | 0.19/0.22 c | 3218 | 40 90 558 | 9743 3218 63 | 66.674 % | 0.29/0.39 c | 4926 | 40 90 558 | 10717 4926 62 | 66.674 % | 0.69/0.70 c | 7488 | 40 90 558 | 11789 7488 63 | 66.674 % | 1.19/1.24 c | 11332 | 40 90 558 | 12968 11332 63 | 66.674 % | 2.10/2.13 c | 17098 | 40 90 558 | 14265 10560 64 | 66.674 % | 3.49/3.57 c | 25747 | 40 90 558 | 15692 12026 62 | 66.674 % | 5.79/5.86 c | 38722 | 40 90 558 | 17261 9200 63 | 66.674 % | 9.69/9.72 c | 58183 | 40 90 558 | 18987 11292 65 | 66.674 % | 16.59/16.62 c | 87375 | 40 90 558 | 20886 11848 67 | 66.674 % | 28.59/28.62 c | 131165 | 40 90 558 | 22974 13653 63 | 66.674 % | 48.68/48.71 c | 196850 | 40 90 558 | 25272 17658 64 | 66.674 % | 80.57/80.69 c | 295377 | 40 90 558 | 27799 14406 63 | 66.674 % | 135.16/135.25 c | 443166 | 40 90 558 | 30579 26413 64 | 66.674 % | 224.34/224.49 c | 664850 | 40 90 558 | 33637 12169 61 | 66.674 % | 370.10/370.29 c | 997375 | 40 90 558 | 37001 27981 64 | 66.674 % | 618.63/618.86 c | 1496163 | 40 90 558 | 40701 34838 58 | 66.674 % | 1024.53/1024.82 c | 2244346 | 40 90 558 | 44771 16146 65 | 66.674 % | 1689.54/1690.06 c | 3366621 | 40 90 558 | 49248 33897 65 | 66.674 % |
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-1875767-1245177496/watcher-1875767-1245177496 -o /tmp/evaluation-result-1875767-1245177496/solver-1875767-1245177496 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875767-1245177496.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.99 1.00 1.00 3/65 10522 /proc/meminfo: memFree=1849648/2055920 swapFree=4180892/4192956 [pid=10522] ppid=10520 vsize=2524 CPUtime=0 /proc/10522/stat : 10522 (wbo) R 10520 10522 10406 0 -1 4194304 196 0 0 0 0 0 0 0 20 0 1 0 185347595 2584576 178 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10522/statm: 631 178 134 292 0 336 0 [startup+0.0658279 s] /proc/loadavg: 0.99 1.00 1.00 3/65 10522 /proc/meminfo: memFree=1849648/2055920 swapFree=4180892/4192956 [pid=10522] ppid=10520 vsize=2916 CPUtime=0.06 /proc/10522/stat : 10522 (wbo) R 10520 10522 10406 0 -1 4194304 299 0 0 0 6 0 0 0 20 0 1 0 185347595 2985984 281 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10522/statm: 729 281 135 292 0 434 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2916 [startup+0.102833 s] /proc/loadavg: 0.99 1.00 1.00 3/65 10522 /proc/meminfo: memFree=1849648/2055920 swapFree=4180892/4192956 [pid=10522] ppid=10520 vsize=3048 CPUtime=0.09 /proc/10522/stat : 10522 (wbo) R 10520 10522 10406 0 -1 4194304 357 0 0 0 9 0 0 0 20 0 1 0 185347595 3121152 339 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10522/statm: 762 339 135 292 0 467 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3048 [startup+0.301863 s] /proc/loadavg: 0.99 1.00 1.00 3/65 10522 /proc/meminfo: memFree=1849648/2055920 swapFree=4180892/4192956 [pid=10522] ppid=10520 vsize=4092 CPUtime=0.29 /proc/10522/stat : 10522 (wbo) R 10520 10522 10406 0 -1 4194304 603 0 0 0 29 0 0 0 22 0 1 0 185347595 4190208 585 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10522/statm: 1023 585 135 292 0 728 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4092 [startup+0.701899 s] /proc/loadavg: 0.99 1.00 1.00 3/65 10522 /proc/meminfo: memFree=1849648/2055920 swapFree=4180892/4192956 [pid=10522] ppid=10520 vsize=5536 CPUtime=0.69 /proc/10522/stat : 10522 (wbo) R 10520 10522 10406 0 -1 4194304 953 0 0 0 68 1 0 0 25 0 1 0 185347595 5668864 935 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10522/statm: 1384 935 135 292 0 1089 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5536 [startup+1.50199 s] /proc/loadavg: 0.99 1.00 1.00 2/66 10523 /proc/meminfo: memFree=1845416/2055920 swapFree=4180892/4192956 [pid=10522] ppid=10520 vsize=7676 CPUtime=1.49 /proc/10522/stat : 10522 (wbo) R 10520 10522 10406 0 -1 4194304 1504 0 0 0 147 2 0 0 25 0 1 0 185347595 7860224 1486 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10522/statm: 1919 1486 135 292 0 1624 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7676 [startup+3.10117 s] /proc/loadavg: 0.99 1.00 1.00 2/66 10523 /proc/meminfo: memFree=1842408/2055920 swapFree=4180892/4192956 [pid=10522] ppid=10520 vsize=11612 CPUtime=3.09 /proc/10522/stat : 10522 (wbo) R 10520 10522 10406 0 -1 4194304 2487 0 0 0 305 4 0 0 25 0 1 0 185347595 11890688 2469 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10522/statm: 2903 2469 135 292 0 2608 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11612 [startup+6.30152 s] /proc/loadavg: 0.99 1.00 1.00 2/66 10523 /proc/meminfo: memFree=1834664/2055920 swapFree=4180892/4192956 [pid=10522] ppid=10520 vsize=19072 CPUtime=6.29 /proc/10522/stat : 10522 (wbo) R 10520 10522 10406 0 -1 4194304 4355 0 0 0 621 8 0 0 25 0 1 0 185347595 19529728 4337 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10522/statm: 4768 4337 135 292 0 4473 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19072 [startup+12.7012 s] /proc/loadavg: 0.99 1.00 1.00 2/66 10523 /proc/meminfo: memFree=1821992/2055920 swapFree=4180892/4192956 [pid=10522] ppid=10520 vsize=30880 CPUtime=12.68 /proc/10522/stat : 10522 (wbo) R 10520 10522 10406 0 -1 4194304 7288 0 0 0 1255 13 0 0 25 0 1 0 185347595 31621120 7270 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10522/statm: 7720 7270 135 292 0 7425 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 30880 [startup+25.5027 s] /proc/loadavg: 0.99 1.00 1.00 2/66 10523 /proc/meminfo: memFree=1802408/2055920 swapFree=4180892/4192956 [pid=10522] ppid=10520 vsize=49664 CPUtime=25.48 /proc/10522/stat : 10522 (wbo) R 10520 10522 10406 0 -1 4194304 12007 0 0 0 2525 23 0 0 25 0 1 0 185347595 50855936 11989 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10522/statm: 12416 11989 135 292 0 12121 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49664 [startup+51.1015 s] /proc/loadavg: 0.99 1.00 1.00 2/66 10523 /proc/meminfo: memFree=1769576/2055920 swapFree=4180892/4192956 [pid=10522] ppid=10520 vsize=82544 CPUtime=51.07 /proc/10522/stat : 10522 (wbo) R 10520 10522 10406 0 -1 4194304 20192 0 0 0 5064 43 0 0 25 0 1 0 185347595 84525056 20174 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10522/statm: 20636 20174 135 292 0 20341 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 82544 [startup+102.306 s] /proc/loadavg: 0.99 1.00 1.00 2/66 10523 /proc/meminfo: memFree=1710568/2055920 swapFree=4180892/4192956 [pid=10522] ppid=10520 vsize=140916 CPUtime=102.27 /proc/10522/stat : 10522 (wbo) R 10520 10522 10406 0 -1 4194304 34788 0 0 0 10149 78 0 0 25 0 1 0 185347595 144297984 34770 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10522/statm: 35229 34770 135 292 0 34934 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 140916 [startup+162.302 s] /proc/loadavg: 0.99 1.00 1.00 2/66 10523 /proc/meminfo: memFree=1650216/2055920 swapFree=4180892/4192956 [pid=10522] ppid=10520 vsize=202272 CPUtime=162.25 /proc/10522/stat : 10522 (wbo) R 10520 10522 10406 0 -1 4194304 50126 0 0 0 16109 116 0 0 25 0 1 0 185347595 207126528 50108 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10522/statm: 50568 50108 135 292 0 50273 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 202272 [startup+222.303 s] /proc/loadavg: 0.99 1.00 1.00 2/66 10523 /proc/meminfo: memFree=1591144/2055920 swapFree=4180892/4192956 [pid=10522] ppid=10520 vsize=260160 CPUtime=222.23 /proc/10522/stat : 10522 (wbo) R 10520 10522 10406 0 -1 4194304 64576 0 0 0 22068 155 0 0 25 0 1 0 185347595 266403840 64558 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10522/statm: 65040 64558 135 292 0 64745 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 260160 [startup+282.302 s] /proc/loadavg: 0.99 1.00 1.00 2/66 10523 /proc/meminfo: memFree=1539816/2055920 swapFree=4180892/4192956 [pid=10522] ppid=10520 vsize=311768 CPUtime=282.22 /proc/10522/stat : 10522 (wbo) R 10520 10522 10406 0 -1 4194304 77480 0 0 0 28030 192 0 0 25 0 1 0 185347595 319250432 77462 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10522/statm: 77942 77462 135 292 0 77647 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 311768 [startup+342.303 s] /proc/loadavg: 0.99 1.00 1.00 2/66 10523 /proc/meminfo: memFree=1485416/2055920 swapFree=4180892/4192956 [pid=10522] ppid=10520 vsize=365752 CPUtime=342.21 /proc/10522/stat : 10522 (wbo) R 10520 10522 10406 0 -1 4194304 90959 0 0 0 33990 231 0 0 25 0 1 0 185347595 374530048 90941 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10522/statm: 91438 90941 135 292 0 91143 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 365752 [startup+402.303 s] /proc/loadavg: 0.99 1.00 1.00 2/66 10523 /proc/meminfo: memFree=1436840/2055920 swapFree=4180892/4192956 [pid=10522] ppid=10520 vsize=414420 CPUtime=402.19 /proc/10522/stat : 10522 (wbo) R 10520 10522 10406 0 -1 4194304 103111 0 0 0 39954 265 0 0 25 0 1 0 185347595 424366080 103093 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10522/statm: 103605 103093 135 292 0 103310 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 414420 [startup+462.302 s] /proc/loadavg: 0.99 1.00 1.00 2/66 10523 /proc/meminfo: memFree=1389608/2055920 swapFree=4180892/4192956 [pid=10522] ppid=10520 vsize=461484 CPUtime=462.17 /proc/10522/stat : 10522 (wbo) R 10520 10522 10406 0 -1 4194304 114891 0 0 0 45921 296 0 0 25 0 1 0 185347595 472559616 114873 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10522/statm: 115371 114873 135 292 0 115076 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 461484 [startup+522.302 s] /proc/loadavg: 0.99 1.00 1.00 2/66 10523 /proc/meminfo: memFree=1343784/2055920 swapFree=4180892/4192956 [pid=10522] ppid=10520 vsize=508136 CPUtime=522.15 /proc/10522/stat : 10522 (wbo) R 10520 10522 10406 0 -1 4194304 126537 0 0 0 51887 328 0 0 25 0 1 0 185347595 520331264 126519 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10522/statm: 127034 126519 135 292 0 126739 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 508136 [startup+582.302 s] /proc/loadavg: 0.99 1.00 1.00 2/66 10523 /proc/meminfo: memFree=1296360/2055920 swapFree=4180892/4192956 [pid=10522] ppid=10520 vsize=554388 CPUtime=582.14 /proc/10522/stat : 10522 (wbo) R 10520 10522 10406 0 -1 4194304 138115 0 0 0 57856 358 0 0 25 0 1 0 185347595 567693312 138097 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10522/statm: 138597 138097 135 292 0 138302 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 554388 [startup+642.301 s] /proc/loadavg: 0.99 1.00 1.00 2/66 10523 /proc/meminfo: memFree=1249576/2055920 swapFree=4180892/4192956 [pid=10522] ppid=10520 vsize=600996 CPUtime=642.12 /proc/10522/stat : 10522 (wbo) R 10520 10522 10406 0 -1 4194304 149735 0 0 0 63826 386 0 0 25 0 1 0 185347595 615419904 149717 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10522/statm: 150249 149717 135 292 0 149954 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 600996 [startup+702.302 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 1.00 1.00 2/66 10523 /proc/meminfo: memFree=1073576/2055920 swapFree=4180892/4192956 [pid=10522] ppid=10520 vsize=776636 CPUtime=882.06 /proc/10522/stat : 10522 (wbo) R 10520 10522 10406 0 -1 4194304 193641 0 0 0 87697 509 0 0 25 0 1 0 185347595 795275264 193623 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10522/statm: 194159 193623 135 292 0 193864 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 776636 [startup+942.302 s] /proc/loadavg: 0.99 1.00 1.00 2/66 10525 /proc/meminfo: memFree=1032680/2055920 swapFree=4180892/4192956 [pid=10522] ppid=10520 vsize=818332 CPUtime=942.04 /proc/10522/stat : 10522 (wbo) R 10520 10522 10406 0 -1 4194304 204073 0 0 0 93665 539 0 0 25 0 1 0 185347595 837971968 204055 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10522/statm: 204583 204055 135 292 0 204288 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 818332 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 1.00 2/66 10525 /proc/meminfo: memFree=990120/2055920 swapFree=4180892/4192956 [pid=10522] ppid=10520 vsize=859800 CPUtime=1002.02 /proc/10522/stat : 10522 (wbo) R 10520 10522 10406 0 -1 4194304 214441 0 0 0 99637 565 0 0 25 0 1 0 185347595 880435200 214423 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10522/statm: 214950 214423 135 292 0 214655 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 859800 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 1.00 2/66 10525 /proc/meminfo: memFree=951848/2055920 swapFree=4180892/4192956 [pid=10522] ppid=10520 vsize=898080 CPUtime=1062.01 /proc/10522/stat : 10522 (wbo) R 10520 10522 10406 0 -1 4194304 223999 0 0 0 105609 592 0 0 25 0 1 0 185347595 919633920 223981 1992294400 134512640 135709839 4294956240 18446744073709551615 134568560 0 0 4096 3 0 0 0 17 1 0 0 /proc/10522/statm: 224520 223981 135 292 0 224225 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 898080 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 1.00 2/66 10525 /proc/meminfo: memFree=909672/2055920 swapFree=4180892/4192956 [pid=10522] ppid=10520 vsize=940552 CPUtime=1122 /proc/10522/stat : 10522 (wbo) R 10520 10522 10406 0 -1 4194304 234588 0 0 0 111576 624 0 0 25 0 1 0 185347595 963125248 234570 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10522/statm: 235138 234570 135 292 0 234843 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 940552 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 1.00 2/66 10525 /proc/meminfo: memFree=871464/2055920 swapFree=4180892/4192956 [pid=10522] ppid=10520 vsize=978796 CPUtime=1181.98 /proc/10522/stat : 10522 (wbo) R 10520 10522 10406 0 -1 4194304 244172 0 0 0 117544 654 0 0 25 0 1 0 185347595 1002287104 244154 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10522/statm: 244699 244154 135 292 0 244404 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 978796 [startup+1242.3 s] /proc/loadavg: 1.03 1.01 1.00 2/66 10525 /proc/meminfo: memFree=837480/2055920 swapFree=4180892/4192956 [pid=10522] ppid=10520 vsize=1012140 CPUtime=1241.96 /proc/10522/stat : 10522 (wbo) R 10520 10522 10406 0 -1 4194304 252489 0 0 0 123518 678 0 0 25 0 1 0 185347595 1036431360 252471 1992294400 134512640 135709839 4294956240 18446744073709551615 134568566 0 0 4096 3 0 0 0 17 1 0 0 /proc/10522/statm: 253035 252471 135 292 0 252740 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 1012140 [startup+1302.3 s] /proc/loadavg: 1.01 1.01 1.00 2/66 10525 /proc/meminfo: memFree=795432/2055920 swapFree=4180892/4192956 [pid=10522] ppid=10520 vsize=1054012 CPUtime=1301.95 /proc/10522/stat : 10522 (wbo) R 10520 10522 10406 0 -1 4194304 262962 0 0 0 129489 706 0 0 25 0 1 0 185347595 1079308288 262944 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10522/statm: 263503 262944 135 292 0 263208 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 1054012 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 10525 /proc/meminfo: memFree=759016/2055920 swapFree=4180892/4192956 [pid=10522] ppid=10520 vsize=1091176 CPUtime=1361.93 /proc/10522/stat : 10522 (wbo) R 10520 10522 10406 0 -1 4194304 272254 0 0 0 135461 732 0 0 25 0 1 0 185347595 1117364224 272236 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10522/statm: 272794 272236 135 292 0 272499 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 1091176 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/66 10531 /proc/meminfo: memFree=719208/2055920 swapFree=4180892/4192956 [pid=10522] ppid=10520 vsize=1130388 CPUtime=1421.91 /proc/10522/stat : 10522 (wbo) R 10520 10522 10406 0 -1 4194304 282027 0 0 0 141434 757 0 0 25 0 1 0 185347595 1157517312 282009 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10522/statm: 282597 282009 135 292 0 282302 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1130388 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 10531 /proc/meminfo: memFree=680744/2055920 swapFree=4180892/4192956 [pid=10522] ppid=10520 vsize=1169364 CPUtime=1481.9 /proc/10522/stat : 10522 (wbo) R 10520 10522 10406 0 -1 4194304 291782 0 0 0 147404 786 0 0 25 0 1 0 185347595 1197428736 291764 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10522/statm: 292341 291764 135 292 0 292046 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1169364 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 10531 /proc/meminfo: memFree=643496/2055920 swapFree=4180892/4192956 [pid=10522] ppid=10520 vsize=1206076 CPUtime=1541.88 /proc/10522/stat : 10522 (wbo) R 10520 10522 10406 0 -1 4194304 300977 0 0 0 153376 812 0 0 25 0 1 0 185347595 1235021824 300959 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10522/statm: 301519 300959 135 292 0 301224 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1206076 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 10531 /proc/meminfo: memFree=604136/2055920 swapFree=4180892/4192956 [pid=10522] ppid=10520 vsize=1246100 CPUtime=1601.86 /proc/10522/stat : 10522 (wbo) R 10520 10522 10406 0 -1 4194304 310972 0 0 0 159346 840 0 0 25 0 1 0 185347595 1276006400 310954 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10522/statm: 311525 310954 135 292 0 311230 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1246100 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 10531 /proc/meminfo: memFree=566248/2055920 swapFree=4180892/4192956 [pid=10522] ppid=10520 vsize=1283420 CPUtime=1661.85 /proc/10522/stat : 10522 (wbo) R 10520 10522 10406 0 -1 4194304 320277 0 0 0 165318 867 0 0 25 0 1 0 185347595 1314222080 320259 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10522/statm: 320855 320259 135 292 0 320560 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 1283420 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 10531 /proc/meminfo: memFree=528040/2055920 swapFree=4180892/4192956 [pid=10522] ppid=10520 vsize=1321332 CPUtime=1721.84 /proc/10522/stat : 10522 (wbo) R 10520 10522 10406 0 -1 4194304 329762 0 0 0 171292 892 0 0 25 0 1 0 185347595 1353043968 329744 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10522/statm: 330333 329744 135 292 0 330038 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1321332 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 10531 /proc/meminfo: memFree=497576/2055920 swapFree=4180892/4192956 [pid=10522] ppid=10520 vsize=1351476 CPUtime=1781.82 /proc/10522/stat : 10522 (wbo) R 10520 10522 10406 0 -1 4194304 337306 0 0 0 177266 916 0 0 25 0 1 0 185347595 1383911424 337288 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10522/statm: 337869 337288 135 292 0 337574 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1351476 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/66 10531 /proc/meminfo: memFree=484904/2055920 swapFree=4180892/4192956 [pid=10522] ppid=10520 vsize=1364092 CPUtime=1800.01 /proc/10522/stat : 10522 (wbo) R 10520 10522 10406 0 -1 4194304 340441 0 0 0 179075 926 0 0 25 0 1 0 185347595 1396830208 340423 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10522/statm: 341023 340423 135 292 0 340728 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1364092 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10532 /proc/meminfo: memFree=1169440/2055920 swapFree=4180892/4192956 [pid=10522] ppid=10520 vsize=0 CPUtime=1800.12 /proc/10522/stat : 10522 (wbo) R 10520 10522 10406 0 -1 4195332 340441 0 0 0 179075 937 0 0 25 0 1 0 185347595 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/10522/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.7 CPU time (s): 1800.22 CPU user time (s): 1790.76 CPU system time (s): 9.46256 CPU usage (%): 99.9735 Max. virtual memory (cumulated for all children) (KiB): 1364092 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.76 system time used= 9.46256 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 340441 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= 1880 runsolver used 1.9537 second user time and 4.6043 second system time The end
Begin job on node87 at 2009-06-16 20:38:16 IDJOB=1875767 IDBENCH=2923 IDSOLVER=698 FILE ID=node87/1875767-1245177496 PBS_JOBID= 9363913 Free space on /tmp= 66540 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_1.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875767-1245177496/watcher-1875767-1245177496 -o /tmp/evaluation-result-1875767-1245177496/solver-1875767-1245177496 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875767-1245177496.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5bf563c7058af01702ea80887f1d43ad RANDOM SEED=188494210 node87.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.235 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.235 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1850128 kB Buffers: 44892 kB Cached: 94996 kB SwapCached: 6176 kB Active: 57944 kB Inactive: 90688 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1850128 kB SwapTotal: 4192956 kB SwapFree: 4180892 kB Dirty: 2388 kB Writeback: 0 kB Mapped: 14440 kB Slab: 43048 kB Committed_AS: 78872 kB PageTables: 1460 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-1875767-1245177496.opb Free space on /tmp at the end= 66536 MiB End job on node87 at 2009-06-16 21:08:19