Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | ? (TO) | 1800.04 | 1800.64 |
Name | /DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12036_3-sat.opb |
MD5SUM | cf899369697891a2aa5256c136e26408 |
Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
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 | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 55660 |
Total number of constraints | 186884 |
Number of constraints which are clauses | 185968 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 916 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 120 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 20 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 689 |
Number of bits of the biggest sum of numbers | 10 |
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.01 c wbo 1.4 beta - 20100517 0.00/0.01 c Parsing opb file format. File HOME/instance-2685060-1278439087.opb. 0.00/0.01 c Instance file HOME/instance-2685060-1278439087.opb 0.00/0.01 c File size is 6314548 bytes. 1.19/1.22 c Highest Coefficient sum: 689 1.19/1.22 c ============================[ Problem Statistics ]============================= 1.19/1.22 c | | 1.19/1.22 c | Parsing time: 1.20 s | 1.19/1.22 c | Number Variables: 55660 | 1.19/1.22 c | Number Clauses: 185968 | 1.19/1.22 c | Number Cardinality: 0 | 1.19/1.22 c | Number PB Constraints: 916 | 1.19/1.23 c ============================[ Search Statistics ]============================== 1.19/1.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.23 c =============================================================================== 1.19/1.23 c | 0 | 39203 186884 417905 | 62294 0 nan | 0.000 % | 1.28/1.33 c | 100 | 39203 186884 417905 | 68524 100 12 | 29.567 % | 1.39/1.40 c | 251 | 39203 186884 417905 | 75376 251 19 | 29.567 % | 1.49/1.59 c | 477 | 39203 186884 417905 | 82914 477 22 | 29.567 % | 1.79/1.84 c | 814 | 39203 186884 417905 | 91205 814 23 | 29.567 % | 2.28/2.30 c | 1320 | 39203 186884 417905 | 100326 1320 26 | 29.567 % | 2.89/2.97 c | 2079 | 39203 186884 417905 | 110358 2079 26 | 29.567 % | 3.49/3.54 c | 3219 | 39203 186884 417905 | 121394 3219 29 | 29.567 % | 4.59/4.69 c | 4927 | 39203 186884 417905 | 133534 4927 31 | 29.567 % | 6.69/6.79 c | 7489 | 39203 186884 417905 | 146887 7489 32 | 29.567 % | 8.59/8.64 c | 11333 | 39203 186884 417905 | 161576 11333 32 | 29.567 % | 12.88/12.91 c | 17099 | 39203 186884 417905 | 177733 17099 36 | 29.567 % | 17.49/17.52 c | 25749 | 39203 186884 417905 | 195507 25749 37 | 29.567 % | 27.78/27.85 c | 38724 | 39203 186884 417905 | 215058 38724 42 | 29.567 % | 47.66/47.74 c | 58185 | 39203 186884 417905 | 236563 58185 47 | 29.567 % | 86.65/86.73 c | 87377 | 39203 186884 417905 | 260220 87377 56 | 29.567 % | 130.04/130.16 c | 131166 | 39203 186884 417905 | 286242 131166 52 | 29.567 % | 215.79/215.94 c | 196850 | 39177 186884 417905 | 314866 196846 50 | 29.614 % | 387.54/387.74 c | 295376 | 39177 186884 417905 | 346353 295372 52 | 29.614 % | 659.66/659.94 c | 443165 | 39177 186884 417905 | 380988 81927 50 | 29.614 % | 1310.66/1311.15 c | 664848 | 39177 186884 417905 | 419087 303610 42 | 29.614 % |
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-2685060-1278439087/watcher-2685060-1278439087 -o /tmp/evaluation-result-2685060-1278439087/solver-2685060-1278439087 -C 1800 -W 2000 -M 1800 wbo1.4a -file-format=opb -time-limit=1800 HOME/instance-2685060-1278439087.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.01 1.02 1.00 3/105 21906 /proc/meminfo: memFree=1747664/2059040 swapFree=4192956/4192956 [pid=21906] ppid=21904 vsize=9172 CPUtime=0 /proc/21906/stat : 21906 (wbo1.4a) R 21904 21906 21384 0 -1 4202496 369 0 0 0 0 0 0 0 16 0 1 0 12115445 9392128 287 1992294400 134512640 135751879 4290829216 18446744073709551615 134574114 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21906/statm: 2293 288 139 303 0 446 0 [startup+0.0211681 s] /proc/loadavg: 1.01 1.02 1.00 3/105 21906 /proc/meminfo: memFree=1747664/2059040 swapFree=4192956/4192956 [pid=21906] ppid=21904 vsize=9768 CPUtime=0.01 /proc/21906/stat : 21906 (wbo1.4a) R 21904 21906 21384 0 -1 4202496 533 0 0 0 1 0 0 0 16 0 1 0 12115445 10002432 451 1992294400 134512640 135751879 4290829216 18446744073709551615 135378141 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21906/statm: 2442 451 156 303 0 595 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9768 [startup+0.101178 s] /proc/loadavg: 1.01 1.02 1.00 3/105 21906 /proc/meminfo: memFree=1747664/2059040 swapFree=4192956/4192956 [pid=21906] ppid=21904 vsize=13700 CPUtime=0.09 /proc/21906/stat : 21906 (wbo1.4a) R 21904 21906 21384 0 -1 4202496 1562 0 0 0 9 0 0 0 16 0 1 0 12115445 14028800 1480 1992294400 134512640 135751879 4290829216 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21906/statm: 3425 1481 282 303 0 1578 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13700 [startup+0.301204 s] /proc/loadavg: 1.01 1.02 1.00 3/105 21906 /proc/meminfo: memFree=1747664/2059040 swapFree=4192956/4192956 [pid=21906] ppid=21904 vsize=16484 CPUtime=0.28 /proc/21906/stat : 21906 (wbo1.4a) R 21904 21906 21384 0 -1 4202496 2529 0 0 0 28 0 0 0 17 0 1 0 12115445 16879616 2447 1992294400 134512640 135751879 4290829216 18446744073709551615 134559693 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21906/statm: 4121 2447 581 303 0 2274 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 16484 [startup+0.701254 s] /proc/loadavg: 1.01 1.02 1.00 3/105 21906 /proc/meminfo: memFree=1747664/2059040 swapFree=4192956/4192956 [pid=21906] ppid=21904 vsize=24076 CPUtime=0.68 /proc/21906/stat : 21906 (wbo1.4a) R 21904 21906 21384 0 -1 4202496 4822 0 0 0 67 1 0 0 17 0 1 0 12115445 24653824 4667 1992294400 134512640 135751879 4290829216 18446744073709551615 135225321 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21906/statm: 6019 4668 1227 303 0 4172 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 24076 [startup+1.50136 s] /proc/loadavg: 1.01 1.02 1.00 2/106 21907 /proc/meminfo: memFree=1730048/2059040 swapFree=4192956/4192956 [pid=21906] ppid=21904 vsize=25464 CPUtime=1.49 /proc/21906/stat : 21906 (wbo1.4a) R 21904 21906 21384 0 -1 4202496 7517 0 0 0 146 3 0 0 18 0 1 0 12115445 26075136 5577 1992294400 134512640 135751879 4290829216 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21906/statm: 6366 5577 143 303 0 6061 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 25464 [startup+3.10056 s] /proc/loadavg: 1.01 1.01 1.00 2/106 21907 /proc/meminfo: memFree=1725584/2059040 swapFree=4192956/4192956 [pid=21906] ppid=21904 vsize=25864 CPUtime=3.09 /proc/21906/stat : 21906 (wbo1.4a) R 21904 21906 21384 0 -1 4202496 7620 0 0 0 305 4 0 0 21 0 1 0 12115445 26484736 5680 1992294400 134512640 135751879 4290829216 18446744073709551615 134611179 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21906/statm: 6466 5680 143 303 0 6161 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25864 [startup+6.30096 s] /proc/loadavg: 1.01 1.01 1.00 2/106 21907 /proc/meminfo: memFree=1724220/2059040 swapFree=4192956/4192956 [pid=21906] ppid=21904 vsize=26920 CPUtime=6.29 /proc/21906/stat : 21906 (wbo1.4a) R 21904 21906 21384 0 -1 4202496 7886 0 0 0 624 5 0 0 25 0 1 0 12115445 27566080 5946 1992294400 134512640 135751879 4290829216 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21906/statm: 6730 5946 143 303 0 6425 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26920 [startup+12.7008 s] /proc/loadavg: 1.00 1.01 1.00 2/106 21908 /proc/meminfo: memFree=1721864/2059040 swapFree=4192956/4192956 [pid=21906] ppid=21904 vsize=29296 CPUtime=12.69 /proc/21906/stat : 21906 (wbo1.4a) R 21904 21906 21384 0 -1 4202496 8499 0 0 0 1260 9 0 0 25 0 1 0 12115445 29999104 6559 1992294400 134512640 135751879 4290829216 18446744073709551615 134616526 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21906/statm: 7324 6559 143 303 0 7019 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 29296 [startup+25.5014 s] /proc/loadavg: 1.00 1.01 1.00 2/106 21909 /proc/meminfo: memFree=1716532/2059040 swapFree=4192956/4192956 [pid=21906] ppid=21904 vsize=34716 CPUtime=25.48 /proc/21906/stat : 21906 (wbo1.4a) R 21904 21906 21384 0 -1 4202496 9829 0 0 0 2532 16 0 0 25 0 1 0 12115445 35549184 7889 1992294400 134512640 135751879 4290829216 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21906/statm: 8679 7889 143 303 0 8374 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 34716 [startup+51.1016 s] /proc/loadavg: 1.00 1.01 1.00 2/106 21909 /proc/meminfo: memFree=1708472/2059040 swapFree=4192956/4192956 [pid=21906] ppid=21904 vsize=43180 CPUtime=51.06 /proc/21906/stat : 21906 (wbo1.4a) R 21904 21906 21384 0 -1 4202496 11951 0 0 0 5077 29 0 0 25 0 1 0 12115445 44216320 10011 1992294400 134512640 135751879 4290829216 18446744073709551615 134605320 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21906/statm: 10795 10011 143 303 0 10490 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 43180 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/106 21911 /proc/meminfo: memFree=1693096/2059040 swapFree=4192956/4192956 [pid=21906] ppid=21904 vsize=58012 CPUtime=102.25 /proc/21906/stat : 21906 (wbo1.4a) R 21904 21906 21384 0 -1 4202496 15647 0 0 0 10176 49 0 0 25 0 1 0 12115445 59404288 13707 1992294400 134512640 135751879 4290829216 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21906/statm: 14503 13707 143 303 0 14198 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 58012 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 21912 /proc/meminfo: memFree=1678836/2059040 swapFree=4192956/4192956 [pid=21906] ppid=21904 vsize=72404 CPUtime=162.23 /proc/21906/stat : 21906 (wbo1.4a) R 21904 21906 21384 0 -1 4202496 19228 0 0 0 16152 71 0 0 25 0 1 0 12115445 74141696 17288 1992294400 134512640 135751879 4290829216 18446744073709551615 134604644 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21906/statm: 18101 17288 143 303 0 17796 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 72404 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 21922 /proc/meminfo: memFree=1664472/2059040 swapFree=4192956/4192956 [pid=21906] ppid=21904 vsize=85220 CPUtime=222.19 /proc/21906/stat : 21906 (wbo1.4a) R 21904 21906 21384 0 -1 4202496 22462 0 0 0 22128 91 0 0 25 0 1 0 12115445 87265280 20522 1992294400 134512640 135751879 4290829216 18446744073709551615 134611016 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21906/statm: 21305 20522 143 303 0 21000 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 85220 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 21924 /proc/meminfo: memFree=1651824/2059040 swapFree=4192956/4192956 [pid=21906] ppid=21904 vsize=98204 CPUtime=282.18 /proc/21906/stat : 21906 (wbo1.4a) R 21904 21906 21384 0 -1 4202496 25652 0 0 0 28102 116 0 0 25 0 1 0 12115445 100560896 23712 1992294400 134512640 135751879 4290829216 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21906/statm: 24551 23712 143 303 0 24246 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 98204 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 21926 /proc/meminfo: memFree=1641904/2059040 swapFree=4192956/4192956 [pid=21906] ppid=21904 vsize=107868 CPUtime=342.15 /proc/21906/stat : 21906 (wbo1.4a) R 21904 21906 21384 0 -1 4202496 28084 0 0 0 34082 133 0 0 25 0 1 0 12115445 110456832 26144 1992294400 134512640 135751879 4290829216 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21906/statm: 26967 26144 143 303 0 26662 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 107868 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 21928 /proc/meminfo: memFree=1631860/2059040 swapFree=4192956/4192956 [pid=21906] ppid=21904 vsize=117928 CPUtime=402.13 /proc/21906/stat : 21906 (wbo1.4a) R 21904 21906 21384 0 -1 4202496 30640 0 0 0 40064 149 0 0 25 0 1 0 12115445 120758272 28700 1992294400 134512640 135751879 4290829216 18446744073709551615 134611013 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21906/statm: 29482 28700 143 303 0 29177 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 117928 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 21929 /proc/meminfo: memFree=1620824/2059040 swapFree=4192956/4192956 [pid=21906] ppid=21904 vsize=129244 CPUtime=462.12 /proc/21906/stat : 21906 (wbo1.4a) R 21904 21906 21384 0 -1 4202496 33337 0 0 0 46043 169 0 0 25 0 1 0 12115445 132345856 31397 1992294400 134512640 135751879 4290829216 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21906/statm: 32311 31397 143 303 0 32006 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 129244 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 21930 /proc/meminfo: memFree=1613260/2059040 swapFree=4192956/4192956 [pid=21906] ppid=21904 vsize=136616 CPUtime=522.09 /proc/21906/stat : 21906 (wbo1.4a) R 21904 21906 21384 0 -1 4202496 35223 0 0 0 52026 183 0 0 25 0 1 0 12115445 139894784 33283 1992294400 134512640 135751879 4290829216 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21906/statm: 34154 33283 143 303 0 33849 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 136616 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 21932 /proc/meminfo: memFree=1604208/2059040 swapFree=4192956/4192956 [pid=21906] ppid=21904 vsize=145668 CPUtime=582.07 /proc/21906/stat : 21906 (wbo1.4a) R 21904 21906 21384 0 -1 4202496 37491 0 0 0 58009 198 0 0 25 0 1 0 12115445 149164032 35551 1992294400 134512640 135751879 4290829216 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21906/statm: 36417 35551 143 303 0 36112 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 145668 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 21934 /proc/meminfo: memFree=1595404/2059040 swapFree=4192956/4192956 [pid=21906] ppid=21904 vsize=154396 CPUtime=642.06 /proc/21906/stat : 21906 (wbo1.4a) R 21904 21906 21384 0 -1 4202496 39649 0 0 0 63993 213 0 0 25 0 1 0 12115445 158101504 37709 1992294400 134512640 135751879 4290829216 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21906/statm: 38599 37709 143 303 0 38294 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 154396 [startup+702.302 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 21938 /proc/meminfo: memFree=1573084/2059040 swapFree=4192956/4192956 [pid=21906] ppid=21904 vsize=176696 CPUtime=822 /proc/21906/stat : 21906 (wbo1.4a) R 21904 21906 21384 0 -1 4202496 45225 0 0 0 81938 262 0 0 25 0 1 0 12115445 180936704 43285 1992294400 134512640 135751879 4290829216 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21906/statm: 44174 43285 143 303 0 43869 0 Current children cumulated CPU time (s) 822 Current children cumulated vsize (KiB) 176696 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 21940 /proc/meminfo: memFree=1567380/2059040 swapFree=4192956/4192956 [pid=21906] ppid=21904 vsize=182428 CPUtime=881.99 /proc/21906/stat : 21906 (wbo1.4a) R 21904 21906 21384 0 -1 4202496 46645 0 0 0 87924 275 0 0 25 0 1 0 12115445 186806272 44705 1992294400 134512640 135751879 4290829216 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21906/statm: 45607 44705 143 303 0 45302 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 182428 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 21942 /proc/meminfo: memFree=1562296/2059040 swapFree=4192956/4192956 [pid=21906] ppid=21904 vsize=187444 CPUtime=941.97 /proc/21906/stat : 21906 (wbo1.4a) R 21904 21906 21384 0 -1 4202496 47917 0 0 0 93910 287 0 0 25 0 1 0 12115445 191942656 45977 1992294400 134512640 135751879 4290829216 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21906/statm: 46861 45977 143 303 0 46556 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 187444 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 21944 /proc/meminfo: memFree=1557708/2059040 swapFree=4192956/4192956 [pid=21906] ppid=21904 vsize=192000 CPUtime=1001.95 /proc/21906/stat : 21906 (wbo1.4a) R 21904 21906 21384 0 -1 4202496 49042 0 0 0 99896 299 0 0 25 0 1 0 12115445 196608000 47102 1992294400 134512640 135751879 4290829216 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21906/statm: 48000 47102 143 303 0 47695 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 192000 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 21945 /proc/meminfo: memFree=1553864/2059040 swapFree=4192956/4192956 [pid=21906] ppid=21904 vsize=195916 CPUtime=1061.93 /proc/21906/stat : 21906 (wbo1.4a) R 21904 21906 21384 0 -1 4202496 49990 0 0 0 105885 308 0 0 25 0 1 0 12115445 200617984 48050 1992294400 134512640 135751879 4290829216 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21906/statm: 48979 48050 143 303 0 48674 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 195916 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 21946 /proc/meminfo: memFree=1550268/2059040 swapFree=4192956/4192956 [pid=21906] ppid=21904 vsize=199400 CPUtime=1121.92 /proc/21906/stat : 21906 (wbo1.4a) R 21904 21906 21384 0 -1 4202496 50893 0 0 0 111873 319 0 0 25 0 1 0 12115445 204185600 48953 1992294400 134512640 135751879 4290829216 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21906/statm: 49850 48953 143 303 0 49545 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 199400 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 21948 /proc/meminfo: memFree=1546548/2059040 swapFree=4192956/4192956 [pid=21906] ppid=21904 vsize=203208 CPUtime=1181.89 /proc/21906/stat : 21906 (wbo1.4a) R 21904 21906 21384 0 -1 4202496 51824 0 0 0 117861 328 0 0 25 0 1 0 12115445 208084992 49884 1992294400 134512640 135751879 4290829216 18446744073709551615 134606038 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21906/statm: 50802 49884 143 303 0 50497 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 203208 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 21950 /proc/meminfo: memFree=1542952/2059040 swapFree=4192956/4192956 [pid=21906] ppid=21904 vsize=206648 CPUtime=1241.87 /proc/21906/stat : 21906 (wbo1.4a) R 21904 21906 21384 0 -1 4202496 52664 0 0 0 123850 337 0 0 25 0 1 0 12115445 211607552 50724 1992294400 134512640 135751879 4290829216 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21906/statm: 51662 50724 143 303 0 51357 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 206648 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 21954 /proc/meminfo: memFree=1537548/2059040 swapFree=4192956/4192956 [pid=21906] ppid=21904 vsize=209884 CPUtime=1301.86 /proc/21906/stat : 21906 (wbo1.4a) R 21904 21906 21384 0 -1 4202496 53491 0 0 0 129838 348 0 0 25 0 1 0 12115445 214921216 51551 1992294400 134512640 135751879 4290829216 18446744073709551615 134611013 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21906/statm: 52471 51551 143 303 0 52166 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 209884 [startup+1362.3 s] /proc/loadavg: 1.03 1.01 1.00 2/106 21956 /proc/meminfo: memFree=1513392/2059040 swapFree=4192956/4192956 [pid=21906] ppid=21904 vsize=223948 CPUtime=1361.83 /proc/21906/stat : 21906 (wbo1.4a) R 21904 21906 21384 0 -1 4202496 56989 0 0 0 135812 371 0 0 25 0 1 0 12115445 229322752 55049 1992294400 134512640 135751879 4290829216 18446744073709551615 134616273 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21906/statm: 55987 55049 143 303 0 55682 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 223948 [startup+1422.31 s] /proc/loadavg: 1.01 1.01 1.00 2/106 21957 /proc/meminfo: memFree=1499876/2059040 swapFree=4192956/4192956 [pid=21906] ppid=21904 vsize=237396 CPUtime=1421.83 /proc/21906/stat : 21906 (wbo1.4a) R 21904 21906 21384 0 -1 4202496 60378 0 0 0 141790 393 0 0 25 0 1 0 12115445 243093504 58438 1992294400 134512640 135751879 4290829216 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21906/statm: 59349 58438 143 303 0 59044 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 237396 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 21959 /proc/meminfo: memFree=1489336/2059040 swapFree=4192956/4192956 [pid=21906] ppid=21904 vsize=247652 CPUtime=1481.79 /proc/21906/stat : 21906 (wbo1.4a) R 21904 21906 21384 0 -1 4202496 62998 0 0 0 147766 413 0 0 25 0 1 0 12115445 253595648 61058 1992294400 134512640 135751879 4290829216 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21906/statm: 61913 61058 143 303 0 61608 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 247652 [startup+1542.3 s] /proc/loadavg: 1.08 1.02 1.01 2/106 21961 /proc/meminfo: memFree=1479168/2059040 swapFree=4192956/4192956 [pid=21906] ppid=21904 vsize=258732 CPUtime=1541.77 /proc/21906/stat : 21906 (wbo1.4a) R 21904 21906 21384 0 -1 4202496 65536 0 0 0 153746 431 0 0 25 0 1 0 12115445 264941568 63596 1992294400 134512640 135751879 4290829216 18446744073709551615 134616866 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21906/statm: 64683 63596 143 303 0 64378 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 258732 [startup+1602.3 s] /proc/loadavg: 1.03 1.01 1.00 2/106 21963 /proc/meminfo: memFree=1470116/2059040 swapFree=4192956/4192956 [pid=21906] ppid=21904 vsize=267892 CPUtime=1601.75 /proc/21906/stat : 21906 (wbo1.4a) R 21904 21906 21384 0 -1 4202496 67830 0 0 0 159728 447 0 0 25 0 1 0 12115445 274321408 65890 1992294400 134512640 135751879 4290829216 18446744073709551615 134616344 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21906/statm: 66973 65890 143 303 0 66668 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 267892 [startup+1662.3 s] /proc/loadavg: 1.01 1.00 1.00 2/106 21964 /proc/meminfo: memFree=1462924/2059040 swapFree=4192956/4192956 [pid=21906] ppid=21904 vsize=275008 CPUtime=1661.73 /proc/21906/stat : 21906 (wbo1.4a) R 21904 21906 21384 0 -1 4202496 69590 0 0 0 165712 461 0 0 25 0 1 0 12115445 281608192 67650 1992294400 134512640 135751879 4290829216 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21906/statm: 68752 67650 143 303 0 68447 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 275008 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 21965 /proc/meminfo: memFree=1457716/2059040 swapFree=4192956/4192956 [pid=21906] ppid=21904 vsize=280288 CPUtime=1721.71 /proc/21906/stat : 21906 (wbo1.4a) R 21904 21906 21384 0 -1 4202496 70910 0 0 0 171698 473 0 0 25 0 1 0 12115445 287014912 68970 1992294400 134512640 135751879 4290829216 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21906/statm: 70072 68970 143 303 0 69767 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 280288 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 21967 /proc/meminfo: memFree=1452880/2059040 swapFree=4192956/4192956 [pid=21906] ppid=21904 vsize=284836 CPUtime=1781.7 /proc/21906/stat : 21906 (wbo1.4a) R 21904 21906 21384 0 -1 4202496 72038 0 0 0 177687 483 0 0 25 0 1 0 12115445 291672064 70098 1992294400 134512640 135751879 4290829216 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21906/statm: 71209 70098 143 303 0 70904 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 284836 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/106 21967 /proc/meminfo: memFree=1451268/2059040 swapFree=4192956/4192956 [pid=21906] ppid=21904 vsize=286296 CPUtime=1800.01 /proc/21906/stat : 21906 (wbo1.4a) R 21904 21906 21384 0 -1 4202496 72423 0 0 0 179514 487 0 0 25 0 1 0 12115445 293167104 70483 1992294400 134512640 135751879 4290829216 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21906/statm: 71574 70483 143 303 0 71269 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 286296 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.64 CPU time (s): 1800.04 CPU user time (s): 1795.14 CPU system time (s): 4.90025 CPU usage (%): 99.9666 Max. virtual memory (cumulated for all children) (KiB): 286296 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.14 system time used= 4.90025 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 72423 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= 3 involuntary context switches= 3834 runsolver used 2.95855 second user time and 8.5247 second system time The end
Begin job on node054 at 2010-07-06 19:58:08 IDJOB=2685060 IDBENCH=74391 IDSOLVER=1160 FILE ID=node054/2685060-1278439087 PBS_JOBID= 11233485 Free space on /tmp= 62432 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12036_3-sat.opb COMMAND LINE= wbo1.4a -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2685060-1278439087/watcher-2685060-1278439087 -o /tmp/evaluation-result-2685060-1278439087/solver-2685060-1278439087 -C 1800 -W 2000 -M 1800 wbo1.4a -file-format=opb -time-limit=1800 HOME/instance-2685060-1278439087.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= cf899369697891a2aa5256c136e26408 RANDOM SEED=1467197795 node054.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.239 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.47 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.239 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: 1748316 kB Buffers: 18096 kB Cached: 157996 kB SwapCached: 0 kB Active: 68040 kB Inactive: 167928 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1748316 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 8896 kB Writeback: 0 kB AnonPages: 59988 kB Mapped: 14356 kB Slab: 52880 kB PageTables: 4132 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179136 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2685060-1278439087.opb Free space on /tmp at the end= 62432 MiB End job on node054 at 2010-07-06 20:28:11