Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | ? (MO) | 1467.35 | 1468.38 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb |
MD5SUM | 35ffbede57b8807d38d913370f4c4486 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 419 |
Best CPU time to get the best result obtained on this benchmark | 1800.12 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 419 |
Optimality of the best value was proved | NO |
Number of variables | 10000 |
Total number of constraints | 656900 |
Number of constraints which are clauses | 656900 |
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 | 100 |
Number of terms in the objective function | 10000 |
Biggest coefficient in the objective function | 99 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 495618 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 99 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 495618 |
Number of bits of the biggest sum of numbers | 19 |
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 Pueblo version 1.4 (September 2005) 0.00/0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00/0.00 c by Hossein Sheini 17.48/17.56 c starting to Solve 17.48/17.57 c #variables read: 10000 - #constraints read: 656901 23.48/23.52 o 6846 23.58/23.70 o 6826 23.78/23.86 o 6757 24.18/24.23 o 6607 24.38/24.40 o 6560 24.48/24.59 o 6545 24.68/24.75 o 6537 25.88/25.98 o 6488 26.08/26.14 o 6485 26.38/26.43 o 6435 26.47/26.59 o 6419 26.67/26.74 o 6410 26.87/26.91 o 6406 26.97/27.08 o 6391 27.17/27.24 o 6361 27.27/27.40 o 6319 27.48/27.55 o 6313 28.27/28.38 o 6292 28.48/28.56 o 6277 28.67/28.72 o 6271 28.77/28.88 o 6260 28.97/29.02 o 6254 30.97/31.08 o 6239 32.28/32.34 o 6237 32.38/32.48 o 6204 49.75/49.83 o 6150 78.74/78.86 o 5976 78.94/79.02 o 5962 79.34/79.48 o 5954 79.54/79.63 o 5940 81.24/81.31 o 5916 96.82/96.90 o 5904 96.92/97.07 o 5860 103.22/103.35 o 5854 105.53/105.67 o 5823 105.72/105.83 o 5794 108.22/108.39 o 5751 108.42/108.53 o 5750 108.62/108.73 o 5743 108.82/108.96 o 5738 113.42/113.58 o 5623 113.62/113.73 o 5575 113.82/113.91 o 5559 113.92/114.05 o 5511 197.56/197.72 o 5509 197.66/197.89 o 5470 197.86/198.05 o 5451 198.36/198.53 o 5426 198.57/198.70 o 5420 198.67/198.89 o 5400 200.76/200.90 o 5399 201.06/201.23 o 5389 201.87/202.04 o 5385 202.56/202.75 o 5375 202.76/202.99 o 5365 202.96/203.19 o 5352 203.16/203.35 o 5346 203.37/203.51 o 5336 203.86/204.07 o 5334
ERROR: no interpretation found !
/tmp/evaluation/352294-1176628243/instance-352294-1176628243.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node61/watcher-352294-1176628243 -o ROOT/results/node61/solver-352294-1176628243 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/352294-1176628243/instance-352294-1176628243.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.99 0.97 0.99 3/64 1287 /proc/meminfo: memFree=1547512/2055920 swapFree=4191892/4192956 [pid=1287] ppid=1285 vsize=2552 CPUtime=0 /proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 262 0 0 0 0 0 0 0 18 0 1 0 74787935 2613248 232 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10850007 0 0 4096 0 0 0 0 17 0 0 0 /proc/1287/statm: 638 232 193 16 0 77 0 [startup+0.0543139 s] /proc/loadavg: 0.99 0.97 0.99 3/64 1287 /proc/meminfo: memFree=1547512/2055920 swapFree=4191892/4192956 [pid=1287] ppid=1285 vsize=3748 CPUtime=0.05 /proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 583 0 0 0 5 0 0 0 18 0 1 0 74787935 3837952 553 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10649196 0 0 4096 0 0 0 0 17 0 0 0 /proc/1287/statm: 937 553 199 16 0 376 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3748 [startup+0.101318 s] /proc/loadavg: 0.99 0.97 0.99 3/64 1287 /proc/meminfo: memFree=1547512/2055920 swapFree=4191892/4192956 [pid=1287] ppid=1285 vsize=4416 CPUtime=0.09 /proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 749 0 0 0 9 0 0 0 18 0 1 0 74787935 4521984 719 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10782381 0 0 4096 0 0 0 0 17 0 0 0 /proc/1287/statm: 1104 719 199 16 0 543 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4416 [startup+0.301338 s] /proc/loadavg: 0.99 0.97 0.99 3/64 1287 /proc/meminfo: memFree=1547512/2055920 swapFree=4191892/4192956 [pid=1287] ppid=1285 vsize=7212 CPUtime=0.29 /proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 1437 0 0 0 29 0 0 0 19 0 1 0 74787935 7385088 1407 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10850007 0 0 4096 0 0 0 0 17 0 0 0 /proc/1287/statm: 1803 1407 199 16 0 1242 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7212 [startup+0.701375 s] /proc/loadavg: 0.99 0.97 0.99 3/64 1287 /proc/meminfo: memFree=1547512/2055920 swapFree=4191892/4192956 [pid=1287] ppid=1285 vsize=12540 CPUtime=0.69 /proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 2779 0 0 0 68 1 0 0 23 0 1 0 74787935 12840960 2749 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/1287/statm: 3135 2749 199 16 0 2574 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12540 [startup+1.50145 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1288 /proc/meminfo: memFree=1533296/2055920 swapFree=4191892/4192956 [pid=1287] ppid=1285 vsize=23064 CPUtime=1.49 /proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 5412 0 0 0 147 2 0 0 25 0 1 0 74787935 23617536 5382 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134543098 0 0 4096 0 0 0 0 17 0 0 0 /proc/1287/statm: 5766 5382 199 16 0 5205 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 23064 [startup+3.10161 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1288 /proc/meminfo: memFree=1518896/2055920 swapFree=4191892/4192956 [pid=1287] ppid=1285 vsize=43712 CPUtime=3.09 /proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 10558 0 0 0 304 5 0 0 25 0 1 0 74787935 44761088 10528 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134546737 0 0 4096 0 0 0 0 17 0 0 0 /proc/1287/statm: 10928 10528 199 16 0 10367 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 43712 [startup+6.30191 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1288 /proc/meminfo: memFree=1476528/2055920 swapFree=4191892/4192956 [pid=1287] ppid=1285 vsize=83428 CPUtime=6.29 /proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 20367 0 0 0 618 11 0 0 25 0 1 0 74787935 85430272 20337 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134532451 0 0 4096 0 0 0 0 17 0 0 0 /proc/1287/statm: 20857 20337 204 16 0 20296 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 83428 [startup+12.7015 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1288 /proc/meminfo: memFree=1465400/2055920 swapFree=4191892/4192956 [pid=1287] ppid=1285 vsize=85476 CPUtime=12.68 /proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 20770 0 0 0 1257 11 0 0 25 0 1 0 74787935 87527424 20740 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134532044 0 0 4096 0 0 0 0 17 0 0 0 /proc/1287/statm: 21369 20740 204 16 0 20808 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 85476 [startup+25.5017 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1288 /proc/meminfo: memFree=1456376/2055920 swapFree=4191892/4192956 [pid=1287] ppid=1285 vsize=95448 CPUtime=25.48 /proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 23016 0 0 0 2536 12 0 0 25 0 1 0 74787935 97738752 22986 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 0 0 0 /proc/1287/statm: 23862 22986 206 16 0 23301 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 95448 [startup+51.1012 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1288 /proc/meminfo: memFree=1456248/2055920 swapFree=4191892/4192956 [pid=1287] ppid=1285 vsize=95448 CPUtime=51.05 /proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 23016 0 0 0 5091 14 0 0 25 0 1 0 74787935 97738752 22986 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 0 0 0 /proc/1287/statm: 23862 22986 206 16 0 23301 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 95448 [startup+102.305 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1288 /proc/meminfo: memFree=1418168/2055920 swapFree=4191892/4192956 [pid=1287] ppid=1285 vsize=133768 CPUtime=102.22 /proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 32593 0 0 0 10203 19 0 0 25 0 1 0 74787935 136978432 32563 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 0 0 0 /proc/1287/statm: 33442 32563 206 16 0 32881 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 133768 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1288 /proc/meminfo: memFree=1352184/2055920 swapFree=4191892/4192956 [pid=1287] ppid=1285 vsize=200384 CPUtime=162.19 /proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 49225 0 0 0 16190 29 0 0 25 0 1 0 74787935 205193216 49195 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527942 0 0 4096 0 0 0 0 17 0 0 0 /proc/1287/statm: 50096 49195 206 16 0 49535 0 Current children cumulated CPU time (s) 162.19 Current children cumulated vsize (KiB) 200384 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1288 /proc/meminfo: memFree=1257912/2055920 swapFree=4191892/4192956 [pid=1287] ppid=1285 vsize=294076 CPUtime=222.15 /proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 72652 0 0 0 22171 44 0 0 25 0 1 0 74787935 301133824 72622 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 0 0 0 /proc/1287/statm: 73519 72622 206 16 0 72958 0 Current children cumulated CPU time (s) 222.15 Current children cumulated vsize (KiB) 294076 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1288 /proc/meminfo: memFree=1169720/2055920 swapFree=4191892/4192956 [pid=1287] ppid=1285 vsize=383456 CPUtime=282.12 /proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 94958 0 0 0 28154 58 0 0 25 0 1 0 74787935 392658944 94928 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528622 0 0 4096 0 0 0 0 17 0 0 0 /proc/1287/statm: 95864 94928 206 16 0 95303 0 Current children cumulated CPU time (s) 282.12 Current children cumulated vsize (KiB) 383456 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1288 /proc/meminfo: memFree=1076408/2055920 swapFree=4191892/4192956 [pid=1287] ppid=1285 vsize=475228 CPUtime=342.08 /proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 117942 0 0 0 34136 72 0 0 25 0 1 0 74787935 486633472 117912 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 0 0 0 /proc/1287/statm: 118807 117912 206 16 0 118246 0 Current children cumulated CPU time (s) 342.08 Current children cumulated vsize (KiB) 475228 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1288 /proc/meminfo: memFree=986360/2055920 swapFree=4191892/4192956 [pid=1287] ppid=1285 vsize=566636 CPUtime=402.04 /proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 140682 0 0 0 40114 90 0 0 25 0 1 0 74787935 580235264 140652 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 0 0 0 /proc/1287/statm: 141659 140652 206 16 0 141098 0 Current children cumulated CPU time (s) 402.04 Current children cumulated vsize (KiB) 566636 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1288 /proc/meminfo: memFree=890104/2055920 swapFree=4191892/4192956 [pid=1287] ppid=1285 vsize=661740 CPUtime=462.01 /proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 164466 0 0 0 46093 108 0 0 25 0 1 0 74787935 677621760 164436 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 0 0 0 /proc/1287/statm: 165435 164436 206 16 0 164874 0 Current children cumulated CPU time (s) 462.01 Current children cumulated vsize (KiB) 661740 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1288 /proc/meminfo: memFree=803896/2055920 swapFree=4191892/4192956 [pid=1287] ppid=1285 vsize=748860 CPUtime=521.97 /proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 186288 0 0 0 52073 124 0 0 25 0 1 0 74787935 766832640 186258 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517887 0 0 4096 0 0 0 0 17 0 0 0 /proc/1287/statm: 187215 186258 206 16 0 186654 0 Current children cumulated CPU time (s) 521.97 Current children cumulated vsize (KiB) 748860 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1288 /proc/meminfo: memFree=706744/2055920 swapFree=4191892/4192956 [pid=1287] ppid=1285 vsize=845484 CPUtime=581.93 /proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 210207 0 0 0 58054 139 0 0 25 0 1 0 74787935 865775616 210177 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517913 0 0 4096 0 0 0 0 17 0 0 0 /proc/1287/statm: 211371 210177 206 16 0 210810 0 Current children cumulated CPU time (s) 581.93 Current children cumulated vsize (KiB) 845484 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1288 /proc/meminfo: memFree=616376/2055920 swapFree=4191892/4192956 [pid=1287] ppid=1285 vsize=935104 CPUtime=641.9 /proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 232603 0 0 0 64035 155 0 0 25 0 1 0 74787935 957546496 232573 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527981 0 0 4096 0 0 0 0 17 0 0 0 /proc/1287/statm: 233776 232573 206 16 0 233215 0 Current children cumulated CPU time (s) 641.9 Current children cumulated vsize (KiB) 935104 [startup+702.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1288 /proc/meminfo: memFree=527736/2055920 swapFree=4191892/4192956 [pid=1287] ppid=1285 vsize=1024512 CPUtime=701.86 /proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 254981 0 0 0 70010 176 0 0 25 0 1 0 74787935 1049100288 254951 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 0 0 0 /proc/1287/statm: 256128 254951 206 16 0 255567 0 Current children cumulated CPU time (s) 701.86 Current children cumulated vsize (KiB) 1024512 [startup+762.306 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1288 /proc/meminfo: memFree=437112/2055920 swapFree=4191892/4192956 [pid=1287] ppid=1285 vsize=1114004 CPUtime=761.83 /proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 277358 0 0 0 75988 195 0 0 25 0 1 0 74787935 1140740096 277328 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 0 0 0 /proc/1287/statm: 278501 277328 206 16 0 277940 0 Current children cumulated CPU time (s) 761.83 Current children cumulated vsize (KiB) 1114004 [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1288 /proc/meminfo: memFree=367288/2055920 swapFree=4191892/4192956 [pid=1287] ppid=1285 vsize=1184652 CPUtime=821.79 /proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 295018 0 0 0 81971 208 0 0 25 0 1 0 74787935 1213083648 294987 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 0 0 0 /proc/1287/statm: 296163 294987 206 16 0 295602 0 Current children cumulated CPU time (s) 821.79 Current children cumulated vsize (KiB) 1184652 [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1288 /proc/meminfo: memFree=305784/2055920 swapFree=4191892/4192956 [pid=1287] ppid=1285 vsize=1245076 CPUtime=881.75 /proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 310145 0 0 0 87957 218 0 0 25 0 1 0 74787935 1274957824 310108 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 0 0 0 /proc/1287/statm: 311269 310108 206 16 0 310708 0 Current children cumulated CPU time (s) 881.75 Current children cumulated vsize (KiB) 1245076 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1288 /proc/meminfo: memFree=241592/2055920 swapFree=4191892/4192956 [pid=1287] ppid=1285 vsize=1310528 CPUtime=941.71 /proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 326457 0 0 0 93940 231 0 0 25 0 1 0 74787935 1341980672 326419 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528574 0 0 4096 0 0 0 0 17 0 0 0 /proc/1287/statm: 327632 326419 206 16 0 327071 0 Current children cumulated CPU time (s) 941.71 Current children cumulated vsize (KiB) 1310528 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1288 /proc/meminfo: memFree=169016/2055920 swapFree=4191892/4192956 [pid=1287] ppid=1285 vsize=1381844 CPUtime=1001.67 /proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 344314 0 0 0 99923 244 0 0 25 0 1 0 74787935 1415008256 344276 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/1287/statm: 345461 344276 206 16 0 344900 0 Current children cumulated CPU time (s) 1001.67 Current children cumulated vsize (KiB) 1381844 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1288 /proc/meminfo: memFree=103800/2055920 swapFree=4191892/4192956 [pid=1287] ppid=1285 vsize=1447080 CPUtime=1061.64 /proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 360609 0 0 0 105905 259 0 0 25 0 1 0 74787935 1481809920 360571 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/1287/statm: 361770 360571 206 16 0 361209 0 Current children cumulated CPU time (s) 1061.64 Current children cumulated vsize (KiB) 1447080 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1290 /proc/meminfo: memFree=48440/2055920 swapFree=4191892/4192956 [pid=1287] ppid=1285 vsize=1504484 CPUtime=1121.59 /proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 374403 0 0 0 111890 269 0 0 25 0 1 0 74787935 1540591616 374365 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 0 0 0 /proc/1287/statm: 376121 374365 206 16 0 375560 0 Current children cumulated CPU time (s) 1121.59 Current children cumulated vsize (KiB) 1504484 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1290 /proc/meminfo: memFree=14840/2055920 swapFree=4191892/4192956 [pid=1287] ppid=1285 vsize=1563256 CPUtime=1181.48 /proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 389120 0 0 0 117870 278 0 0 25 0 1 0 74787935 1600774144 389082 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/1287/statm: 390814 389082 206 16 0 390253 0 Current children cumulated CPU time (s) 1181.48 Current children cumulated vsize (KiB) 1563256 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1290 /proc/meminfo: memFree=15416/2055920 swapFree=4191892/4192956 [pid=1287] ppid=1285 vsize=1622384 CPUtime=1241.39 /proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 403924 0 0 0 123852 287 0 0 25 0 1 0 74787935 1661321216 403886 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 0 0 0 /proc/1287/statm: 405596 403886 206 16 0 405035 0 Current children cumulated CPU time (s) 1241.39 Current children cumulated vsize (KiB) 1622384 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1290 /proc/meminfo: memFree=14968/2055920 swapFree=4191892/4192956 [pid=1287] ppid=1285 vsize=1684164 CPUtime=1301.35 /proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 419370 0 0 0 129836 299 0 0 25 0 1 0 74787935 1724583936 419332 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559383 0 0 4096 0 0 0 0 17 0 0 0 /proc/1287/statm: 421041 419332 206 16 0 420480 0 Current children cumulated CPU time (s) 1301.35 Current children cumulated vsize (KiB) 1684164 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1290 /proc/meminfo: memFree=15032/2055920 swapFree=4184896/4192956 [pid=1287] ppid=1285 vsize=1749124 CPUtime=1361.31 /proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 435577 0 0 0 135820 311 0 0 25 0 1 0 74787935 1791102976 435539 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559528 0 0 4096 0 0 0 0 17 0 0 0 /proc/1287/statm: 437281 435539 206 16 0 436720 0 Current children cumulated CPU time (s) 1361.31 Current children cumulated vsize (KiB) 1749124 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1290 /proc/meminfo: memFree=16056/2055920 swapFree=4184896/4192956 [pid=1287] ppid=1285 vsize=1802556 CPUtime=1421.29 /proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 448940 0 0 0 141810 319 0 0 25 0 1 0 74787935 1845817344 448902 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 0 0 0 /proc/1287/statm: 450639 448902 206 16 0 450078 0 Current children cumulated CPU time (s) 1421.29 Current children cumulated vsize (KiB) 1802556 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1468.1 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1290 /proc/meminfo: memFree=16312/2055920 swapFree=4184896/4192956 [pid=1287] ppid=1285 vsize=1843212 CPUtime=1467.06 /proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 459091 0 0 0 146381 325 0 0 25 0 1 0 74787935 1887449088 459053 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 0 0 0 /proc/1287/statm: 460803 459053 206 16 0 460242 0 Current children cumulated CPU time (s) 1467.06 Current children cumulated vsize (KiB) 1843212 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1468.21 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1290 /proc/meminfo: memFree=16312/2055920 swapFree=4184896/4192956 [pid=1287] ppid=1285 vsize=0 CPUtime=1467.17 /proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4195332 459091 0 0 0 146382 335 0 0 25 0 1 0 74787935 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0 /proc/1287/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1467.17 Current children cumulated vsize (KiB) 0 [startup+1468.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1290 /proc/meminfo: memFree=16312/2055920 swapFree=4184896/4192956 [pid=1287] ppid=1285 vsize=0 CPUtime=1467.27 /proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4195332 459091 0 0 0 146382 345 0 0 25 0 1 0 74787935 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0 /proc/1287/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1467.27 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1468.38 CPU time (s): 1467.35 CPU user time (s): 1463.82 CPU system time (s): 3.52846 CPU usage (%): 99.9298 Max. virtual memory (cumulated for all children) (KiB): 1843212 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1463.82 system time used= 3.52846 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 459091 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= 11 involuntary context switches= 4382 runsolver used 1.41078 second user time and 3.9484 second system time The end
Begin job on node61 on Sun Apr 15 09:10:43 UTC 2007 IDJOB= 352294 IDBENCH= 1964 IDSOLVER= 165 FILE ID= node61/352294-1176628243 PBS_JOBID= 4559798 Free space on /tmp= 66546 MiB SOLVER NAME= Pueblo 1.4 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb COMMAND LINE= Pueblo /tmp/evaluation/352294-1176628243/instance-352294-1176628243.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node61/convwatcher-352294-1176628243 -o ROOT/results/node61/conversion-352294-1176628243 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/352294-1176628243/instance-352294-1176628243.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-352294-1176628243 -o ROOT/results/node61/solver-352294-1176628243 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/352294-1176628243/instance-352294-1176628243.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= 35ffbede57b8807d38d913370f4c4486 RANDOM SEED= 760412490 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node61.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.240 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.240 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: 1547984 kB Buffers: 17840 kB Cached: 374124 kB SwapCached: 396 kB Active: 168672 kB Inactive: 238284 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1547984 kB SwapTotal: 4192956 kB SwapFree: 4191892 kB Dirty: 19104 kB Writeback: 0 kB Mapped: 23768 kB Slab: 87168 kB Committed_AS: 134620 kB PageTables: 1388 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= 66546 MiB End job on node61 on Sun Apr 15 09:35:13 UTC 2007