Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4b | ? (MO) | 1274.58 | 1274.53 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-61-60--soft-33-100-0.wbo |
MD5SUM | e56482878ee36dcbb361a64b1d161fc3 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 0.150976 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 3660 |
Total number of constraints | 121 |
Number of soft constraints | 81 |
Number of constraints which are clauses | 61 |
Number of constraints which are cardinality constraints (but not clauses) | 60 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 61 |
Top cost | 3401 |
Min constraint cost | 1 |
Max constraint cost | 96 |
Sum of constraints costs | 3400 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 62 |
Number of bits of the biggest sum of numbers | 6 |
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 wbo 1.4 beta - 20100610 0.00/0.00 c Parsing wbo file format. File HOME/instance-2690379-1277892497.wbo. 0.00/0.00 c Instance file HOME/instance-2690379-1277892497.wbo 0.00/0.00 c File size is 65230 bytes. 0.00/0.00 c Highest Coefficient sum: 62 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 s | 0.00/0.00 c | Number Variables: 3660 | 0.00/0.00 c | Number Clauses: 61 | 0.00/0.00 c | Number Cardinality: 60 | 0.00/0.00 c | Number PB Constraints: 0 | 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 | 3660 121 7320 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 104 | 3660 121 7320 | 5500 104 241 | 0.000 % | 0.01/0.03 c | 256 | 3660 121 7320 | 6050 256 375 | 0.000 % | 0.01/0.04 c | 485 | 3660 121 7320 | 6655 485 320 | 0.000 % | 0.01/0.07 c | 824 | 3660 121 7320 | 7320 824 296 | 0.000 % | 0.09/0.12 c | 1330 | 3660 121 7320 | 8052 1330 294 | 0.000 % | 0.19/0.20 c | 2093 | 3660 121 7320 | 8857 2093 288 | 0.000 % | 0.29/0.34 c | 3232 | 3660 121 7320 | 9743 3232 286 | 0.000 % | 0.59/0.61 c | 4941 | 3660 121 7320 | 10717 4941 343 | 0.000 % | 1.18/1.20 c | 7509 | 3660 121 7320 | 11789 7509 352 | 0.000 % | 2.09/2.18 c | 11353 | 3660 121 7320 | 12968 11353 341 | 0.000 % | 4.40/4.41 c | 17120 | 3660 121 7320 | 14265 8855 507 | 0.000 % | 8.39/8.40 c | 25770 | 3660 121 7320 | 15692 17505 437 | 0.000 % | 16.69/16.72 c | 38747 | 3660 121 7320 | 17261 12107 617 | 0.000 % | 28.60/28.68 c | 58209 | 3660 121 7320 | 18987 10752 576 | 0.000 % | 55.99/56.03 c | 87402 | 3660 121 7320 | 20886 17380 620 | 0.000 % | 89.49/89.51 c | 131193 | 3660 121 7320 | 22974 24128 907 | 0.000 % | 146.49/146.54 c | 196879 | 3660 121 7320 | 25272 23534 1220 | 0.000 % | 180.59/180.64 c There are 0 assigned variables. 0 in cost function. 180.69/180.77 c ============================[ Search Statistics ]============================== 180.69/180.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 180.69/180.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 180.69/180.77 c =============================================================================== 180.69/180.77 c | 0 | 3660 121 7320 | 5000 0 nan | 0.000 % | 180.79/180.81 c | 100 | 3660 121 7320 | 5500 100 248 | 0.000 % | 180.79/180.83 c | 251 | 3660 121 7320 | 6050 251 291 | 0.000 % | 180.79/180.88 c | 476 | 3660 121 7320 | 6655 476 276 | 0.000 % | 180.90/180.95 c | 813 | 3660 121 7320 | 7320 813 267 | 0.000 % | 180.99/181.07 c | 1320 | 3660 121 7320 | 8052 1320 263 | 0.000 % | 181.19/181.26 c | 2080 | 3660 121 7320 | 8857 2080 261 | 0.000 % | 181.50/181.57 c | 3220 | 3660 121 7320 | 9743 3220 268 | 0.000 % | 182.09/182.16 c | 4930 | 3660 121 7320 | 10717 4930 279 | 0.000 % | 183.20/183.29 c | 7494 | 3660 121 7320 | 11789 7494 316 | 0.000 % | 184.89/184.97 c | 11338 | 3660 121 7320 | 12968 11338 319 | 0.000 % | 188.40/188.43 c | 17106 | 3660 121 7320 | 14265 8845 432 | 0.000 % | 193.90/193.96 c | 25757 | 3660 121 7320 | 15692 17496 409 | 0.000 % | 204.29/204.32 c | 38732 | 3660 121 7320 | 17261 12090 595 | 0.000 % | 227.09/227.11 c | 58195 | 3660 121 7320 | 18987 10727 623 | 0.000 % | 260.30/260.32 c | 87387 | 3660 121 7320 | 20886 17272 795 | 0.000 % | 307.20/307.26 c | 131176 | 3660 121 7320 | 22974 12521 925 | 0.000 % | 399.60/399.66 c | 196862 | 3660 121 7320 | 25272 22659 796 | 0.000 % | 544.01/544.05 c | 295388 | 3660 121 7320 | 27799 14257 947 | 0.000 % | 783.42/783.47 c | 443179 | 3660 121 7320 | 30579 18156 1072 | 0.000 % | 1102.93/1102.98 c | 664862 | 3660 121 7320 | 33637 18406 931 | 0.000 % |
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-2690379-1277892497/watcher-2690379-1277892497 -o /tmp/evaluation-result-2690379-1277892497/solver-2690379-1277892497 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690379-1277892497.wbo 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.15 3/196 10055 /proc/meminfo: memFree=31789380/32950928 swapFree=67111528/67111528 [pid=10055] ppid=10053 vsize=3124 CPUtime=0 /proc/10055/stat : 10055 (wbo1.4b) R 10053 10055 8905 0 -1 4202496 419 0 0 0 0 0 0 0 25 0 1 0 130395345 3198976 338 4089446400 134512640 135752675 4290757488 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10055/statm: 781 338 144 303 0 460 0 [startup+0.0249629 s] /proc/loadavg: 2.00 2.00 2.15 3/196 10055 /proc/meminfo: memFree=31789380/32950928 swapFree=67111528/67111528 [pid=10055] ppid=10053 vsize=3556 CPUtime=0.01 /proc/10055/stat : 10055 (wbo1.4b) R 10053 10055 8905 0 -1 4202496 642 0 0 0 1 0 0 0 25 0 1 0 130395345 3641344 453 4089446400 134512640 135752675 4290757488 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10055/statm: 889 453 144 303 0 584 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 3556 [startup+0.100949 s] /proc/loadavg: 2.00 2.00 2.15 3/196 10055 /proc/meminfo: memFree=31789380/32950928 swapFree=67111528/67111528 [pid=10055] ppid=10053 vsize=4876 CPUtime=0.09 /proc/10055/stat : 10055 (wbo1.4b) R 10053 10055 8905 0 -1 4202496 959 0 0 0 8 1 0 0 25 0 1 0 130395345 4993024 770 4089446400 134512640 135752675 4290757488 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/10055/statm: 1219 770 144 303 0 914 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4876 [startup+0.301042 s] /proc/loadavg: 2.00 2.00 2.15 3/196 10055 /proc/meminfo: memFree=31789380/32950928 swapFree=67111528/67111528 [pid=10055] ppid=10053 vsize=7120 CPUtime=0.29 /proc/10055/stat : 10055 (wbo1.4b) R 10053 10055 8905 0 -1 4202496 1537 0 0 0 28 1 0 0 25 0 1 0 130395345 7290880 1348 4089446400 134512640 135752675 4290757488 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/10055/statm: 1780 1348 144 303 0 1475 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7120 [startup+0.700946 s] /proc/loadavg: 2.00 2.00 2.15 3/196 10055 /proc/meminfo: memFree=31789380/32950928 swapFree=67111528/67111528 [pid=10055] ppid=10053 vsize=11740 CPUtime=0.69 /proc/10055/stat : 10055 (wbo1.4b) R 10053 10055 8905 0 -1 4202496 2697 0 0 0 67 2 0 0 25 0 1 0 130395345 12021760 2508 4089446400 134512640 135752675 4290757488 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/10055/statm: 2935 2508 144 303 0 2630 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11740 [startup+1.50079 s] /proc/loadavg: 2.00 2.00 2.15 3/197 10056 /proc/meminfo: memFree=31778336/32950928 swapFree=67111528/67111528 [pid=10055] ppid=10053 vsize=17812 CPUtime=1.49 /proc/10055/stat : 10055 (wbo1.4b) R 10053 10055 8905 0 -1 4202496 4199 0 0 0 146 3 0 0 25 0 1 0 130395345 18239488 4010 4089446400 134512640 135752675 4290757488 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/10055/statm: 4453 4010 144 303 0 4148 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17812 [startup+3.10049 s] /proc/loadavg: 2.00 2.00 2.15 3/197 10056 /proc/meminfo: memFree=31771392/32950928 swapFree=67111528/67111528 [pid=10055] ppid=10053 vsize=27076 CPUtime=3.09 /proc/10055/stat : 10055 (wbo1.4b) R 10053 10055 8905 0 -1 4202496 6509 0 0 0 305 4 0 0 25 0 1 0 130395345 27725824 6320 4089446400 134512640 135752675 4290757488 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/10055/statm: 6769 6320 144 303 0 6464 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27076 [startup+6.30081 s] /proc/loadavg: 2.00 2.00 2.15 3/197 10056 /proc/meminfo: memFree=31750752/32950928 swapFree=67111528/67111528 [pid=10055] ppid=10053 vsize=43844 CPUtime=6.29 /proc/10055/stat : 10055 (wbo1.4b) R 10053 10055 8905 0 -1 4202496 10708 0 0 0 623 6 0 0 25 0 1 0 130395345 44896256 10519 4089446400 134512640 135752675 4290757488 18446744073709551615 134611804 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/10055/statm: 10961 10519 144 303 0 10656 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 43844 [startup+12.7005 s] /proc/loadavg: 2.00 2.00 2.15 3/197 10056 /proc/meminfo: memFree=31724696/32950928 swapFree=67111528/67111528 [pid=10055] ppid=10053 vsize=70128 CPUtime=12.68 /proc/10055/stat : 10055 (wbo1.4b) R 10053 10055 8905 0 -1 4202496 17298 0 0 0 1259 9 0 0 25 0 1 0 130395345 71811072 17109 4089446400 134512640 135752675 4290757488 18446744073709551615 134611753 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/10055/statm: 17532 17109 144 303 0 17227 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 70128 [startup+25.5001 s] /proc/loadavg: 2.00 2.00 2.15 3/197 10056 /proc/meminfo: memFree=31670632/32950928 swapFree=67111528/67111528 [pid=10055] ppid=10053 vsize=122084 CPUtime=25.49 /proc/10055/stat : 10055 (wbo1.4b) R 10053 10055 8905 0 -1 4202496 30275 0 0 0 2535 14 0 0 25 0 1 0 130395345 125014016 30086 4089446400 134512640 135752675 4290757488 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/10055/statm: 30521 30086 144 303 0 30216 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 122084 [startup+51.1003 s] /proc/loadavg: 2.00 2.00 2.14 3/197 10057 /proc/meminfo: memFree=31593404/32950928 swapFree=67111528/67111528 [pid=10055] ppid=10053 vsize=200972 CPUtime=51.09 /proc/10055/stat : 10055 (wbo1.4b) R 10053 10055 8905 0 -1 4202496 49956 0 0 0 5088 21 0 0 25 0 1 0 130395345 205795328 49767 4089446400 134512640 135752675 4290757488 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/10055/statm: 50243 49767 144 303 0 49938 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 200972 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.13 3/197 10058 /proc/meminfo: memFree=31315600/32950928 swapFree=67111528/67111528 [pid=10055] ppid=10053 vsize=476148 CPUtime=102.3 /proc/10055/stat : 10055 (wbo1.4b) R 10053 10055 8905 0 -1 4202496 118736 0 0 0 10191 39 0 0 25 0 1 0 130395345 487575552 118547 4089446400 134512640 135752675 4290757488 18446744073709551615 134611784 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/10055/statm: 119037 118547 144 303 0 118732 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 476148 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.12 3/197 10108 /proc/meminfo: memFree=30988384/32950928 swapFree=67111528/67111528 [pid=10055] ppid=10053 vsize=799468 CPUtime=162.29 /proc/10055/stat : 10055 (wbo1.4b) R 10053 10055 8905 0 -1 4202496 199552 0 0 0 16169 60 0 0 25 0 1 0 130395345 818655232 199363 4089446400 134512640 135752675 4290757488 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10055/statm: 199867 199363 144 303 0 199562 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 799468 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.11 3/197 10110 /proc/meminfo: memFree=30899492/32950928 swapFree=67111528/67111528 [pid=10055] ppid=10053 vsize=867936 CPUtime=222.29 /proc/10055/stat : 10055 (wbo1.4b) R 10053 10055 8905 0 -1 4202496 216752 0 0 0 22152 77 0 0 25 0 1 0 130395345 888766464 216534 4089446400 134512640 135752675 4290757488 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10055/statm: 216984 216534 146 303 0 216679 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 867936 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.10 3/197 10112 /proc/meminfo: memFree=30710720/32950928 swapFree=67111528/67111528 [pid=10055] ppid=10053 vsize=1052788 CPUtime=282.3 /proc/10055/stat : 10055 (wbo1.4b) R 10053 10055 8905 0 -1 4202496 262972 0 0 0 28133 97 0 0 25 0 1 0 130395345 1078054912 262754 4089446400 134512640 135752675 4290757488 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10055/statm: 263197 262754 146 303 0 262892 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 1052788 [startup+342.301 s] /proc/loadavg: 2.06 2.02 2.09 3/197 10113 /proc/meminfo: memFree=30548704/32950928 swapFree=67111528/67111528 [pid=10055] ppid=10053 vsize=1205292 CPUtime=342.3 /proc/10055/stat : 10055 (wbo1.4b) R 10053 10055 8905 0 -1 4202496 301048 0 0 0 34116 114 0 0 25 0 1 0 130395345 1234219008 300830 4089446400 134512640 135752675 4290757488 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10055/statm: 301323 300830 146 303 0 301018 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 1205292 [startup+402.301 s] /proc/loadavg: 2.02 2.01 2.09 3/197 10114 /proc/meminfo: memFree=30423784/32950928 swapFree=67111528/67111528 [pid=10055] ppid=10053 vsize=1330528 CPUtime=402.3 /proc/10055/stat : 10055 (wbo1.4b) R 10053 10055 8905 0 -1 4202496 332315 0 0 0 40104 126 0 0 25 0 1 0 130395345 1362460672 332097 4089446400 134512640 135752675 4290757488 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10055/statm: 332632 332097 146 303 0 332327 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 1330528 [startup+462.301 s] /proc/loadavg: 2.01 2.00 2.08 3/197 10116 /proc/meminfo: memFree=30206116/32950928 swapFree=67111528/67111528 [pid=10055] ppid=10053 vsize=1535988 CPUtime=462.31 /proc/10055/stat : 10055 (wbo1.4b) R 10053 10055 8905 0 -1 4202496 383672 0 0 0 46089 142 0 0 25 0 1 0 130395345 1572851712 383454 4089446400 134512640 135752675 4290757488 18446744073709551615 134611804 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10055/statm: 383997 383454 146 303 0 383692 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 1535988 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.07 3/197 10118 /proc/meminfo: memFree=30041392/32950928 swapFree=67111528/67111528 [pid=10055] ppid=10053 vsize=1699620 CPUtime=522.31 /proc/10055/stat : 10055 (wbo1.4b) R 10053 10055 8905 0 -1 4202496 424565 0 0 0 52075 156 0 0 25 0 1 0 130395345 1740410880 424347 4089446400 134512640 135752675 4290757488 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10055/statm: 424905 424347 146 303 0 424600 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 1699620 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.07 3/197 10120 /proc/meminfo: memFree=29862640/32950928 swapFree=67111528/67111528 [pid=10055] ppid=10053 vsize=1861872 CPUtime=582.31 /proc/10055/stat : 10055 (wbo1.4b) R 10053 10055 8905 0 -1 4202496 465087 0 0 0 58059 172 0 0 25 0 1 0 130395345 1906556928 464869 4089446400 134512640 135752675 4290757488 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10055/statm: 465468 464869 146 303 0 465163 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 1861872 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.06 3/197 10121 /proc/meminfo: memFree=29711424/32950928 swapFree=67111528/67111528 [pid=10055] ppid=10053 vsize=2011844 CPUtime=642.32 /proc/10055/stat : 10055 (wbo1.4b) R 10053 10055 8905 0 -1 4202496 502550 0 0 0 64048 184 0 0 25 0 1 0 130395345 2060128256 502332 4089446400 134512640 135752675 4290757488 18446744073709551615 134611753 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10055/statm: 502961 502332 146 303 0 502656 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 2011844 [startup+702.301 s] /proc/loadavg: 2.00 2.00 2.06 3/197 10122 /proc/meminfo: memFree=29560332/32950928 swapFree=67111528/67111528 [pid=10055] ppid=10053 vsize=2163176 CPUtime=702.32 /proc/10055/stat : 10055 (wbo1.4b) R 10053 10055 8905 0 -1 4202496 540406 0 0 0 70033 199 0 0 25 0 1 0 130395345 2215092224 540188 4089446400 134512640 135752675 4290757488 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10055/statm: 540794 540188 146 303 0 540489 0 Current children cumulated CPU time (s) 702.32 Current children cumulated vsize (KiB) 2163176 [startup+762.306 s] /proc/loadavg: 2.00 2.00 2.05 3/197 10124 /proc/meminfo: memFree=29411104/32950928 swapFree=67111528/67111528 [pid=10055] ppid=10053 vsize=2310964 CPUtime=762.32 /proc/10055/stat : 10055 (wbo1.4b) R 10053 10055 8905 0 -1 4202496 577300 0 0 0 76021 211 0 0 25 0 1 0 130395345 2366427136 577082 4089446400 134512640 135752675 4290757488 18446744073709551615 134611753 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10055/statm: 577741 577082 146 303 0 577436 0 Current children cumulated CPU time (s) 762.32 Current children cumulated vsize (KiB) 2310964 [startup+822.301 s] /proc/loadavg: 2.00 2.00 2.04 3/197 10126 /proc/meminfo: memFree=29221812/32950928 swapFree=67111528/67111528 [pid=10055] ppid=10053 vsize=2502100 CPUtime=822.32 /proc/10055/stat : 10055 (wbo1.4b) R 10053 10055 8905 0 -1 4202496 625084 0 0 0 82000 232 0 0 25 0 1 0 130395345 2562150400 624866 4089446400 134512640 135752675 4290757488 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10055/statm: 625525 624866 146 303 0 625220 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 2502100 [startup+882.301 s] /proc/loadavg: 2.03 2.01 2.04 3/197 10128 /proc/meminfo: memFree=29039732/32950928 swapFree=67111528/67111528 [pid=10055] ppid=10053 vsize=2682512 CPUtime=882.32 /proc/10055/stat : 10055 (wbo1.4b) R 10053 10055 8905 0 -1 4202496 670163 0 0 0 87982 250 0 0 25 0 1 0 130395345 2746892288 669945 4089446400 134512640 135752675 4290757488 18446744073709551615 134607306 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10055/statm: 670628 669945 146 303 0 670323 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 2682512 [startup+942.301 s] /proc/loadavg: 2.01 2.01 2.04 3/197 10129 /proc/meminfo: memFree=28866560/32950928 swapFree=67111528/67111528 [pid=10055] ppid=10053 vsize=2855656 CPUtime=942.32 /proc/10055/stat : 10055 (wbo1.4b) R 10053 10055 8905 0 -1 4202496 713422 0 0 0 93967 265 0 0 25 0 1 0 130395345 2924191744 713204 4089446400 134512640 135752675 4290757488 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10055/statm: 713914 713204 146 303 0 713609 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 2855656 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.03 3/197 10130 /proc/meminfo: memFree=28713348/32950928 swapFree=67111528/67111528 [pid=10055] ppid=10053 vsize=3007768 CPUtime=1002.32 /proc/10055/stat : 10055 (wbo1.4b) R 10053 10055 8905 0 -1 4202496 751462 0 0 0 99953 279 0 0 25 0 1 0 130395345 3079954432 751244 4089446400 134512640 135752675 4290757488 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10055/statm: 751942 751244 146 303 0 751637 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 3007768 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.03 3/197 10132 /proc/meminfo: memFree=28551472/32950928 swapFree=67111528/67111528 [pid=10055] ppid=10053 vsize=3171288 CPUtime=1062.33 /proc/10055/stat : 10055 (wbo1.4b) R 10053 10055 8905 0 -1 4202496 792319 0 0 0 105938 295 0 0 25 0 1 0 130395345 3247398912 792101 4089446400 134512640 135752675 4290757488 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10055/statm: 792822 792101 146 303 0 792517 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 3171288 [startup+1122.3 s] /proc/loadavg: 2.05 2.01 2.03 3/197 10134 /proc/meminfo: memFree=28346940/32950928 swapFree=67111528/67111528 [pid=10055] ppid=10053 vsize=3374356 CPUtime=1122.33 /proc/10055/stat : 10055 (wbo1.4b) R 10053 10055 8905 0 -1 4202496 843077 0 0 0 111918 315 0 0 25 0 1 0 130395345 3455340544 842859 4089446400 134512640 135752675 4290757488 18446744073709551615 134605463 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10055/statm: 843589 842859 146 303 0 843284 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 3374356 [startup+1182.3 s] /proc/loadavg: 2.02 2.01 2.02 3/197 10136 /proc/meminfo: memFree=28137688/32950928 swapFree=67111528/67111528 [pid=10055] ppid=10053 vsize=3584496 CPUtime=1182.33 /proc/10055/stat : 10055 (wbo1.4b) R 10053 10055 8905 0 -1 4202496 895588 0 0 0 117900 333 0 0 25 0 1 0 130395345 3670523904 895370 4089446400 134512640 135752675 4290757488 18446744073709551615 134611807 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10055/statm: 896124 895370 146 303 0 895819 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 3584496 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.01 3/197 10137 /proc/meminfo: memFree=27923368/32950928 swapFree=67111528/67111528 [pid=10055] ppid=10053 vsize=3796384 CPUtime=1242.33 /proc/10055/stat : 10055 (wbo1.4b) R 10053 10055 8905 0 -1 4202496 948561 0 0 0 123880 353 0 0 25 0 1 0 130395345 3887497216 948343 4089446400 134512640 135752675 4290757488 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10055/statm: 949096 948343 146 303 0 948791 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 3796384 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1274.4 s] /proc/loadavg: 2.00 2.00 2.01 3/197 10138 /proc/meminfo: memFree=27826620/32950928 swapFree=67111528/67111528 [pid=10055] ppid=10053 vsize=3891440 CPUtime=1274.44 /proc/10055/stat : 10055 (wbo1.4b) R 10053 10055 8905 0 -1 4202496 972290 0 0 0 127084 360 0 0 25 0 1 0 130395345 3984834560 972072 4089446400 134512640 135752675 4290757488 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10055/statm: 972860 972072 146 303 0 972555 0 Current children cumulated CPU time (s) 1274.44 Current children cumulated vsize (KiB) 3891440 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1274.51 s] /proc/loadavg: 2.00 2.00 2.01 3/197 10138 /proc/meminfo: memFree=27826620/32950928 swapFree=67111528/67111528 [pid=10055] ppid=10053 vsize=0 CPUtime=1274.54 /proc/10055/stat : 10055 (wbo1.4b) R 10053 10055 8905 0 -1 4203524 972290 0 0 0 127084 370 0 0 25 0 1 0 130395345 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 7 0 0 0 /proc/10055/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1274.54 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1274.53 CPU time (s): 1274.58 CPU user time (s): 1270.85 CPU system time (s): 3.72943 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 3891440 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1270.85 system time used= 3.72943 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 972290 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= 4 involuntary context switches= 801 runsolver used 1.92771 second user time and 4.03339 second system time The end
Begin job on node127 at 2010-06-30 12:08:17 IDJOB=2690379 IDBENCH=78714 IDSOLVER=1201 FILE ID=node127/2690379-1277892497 PBS_JOBID= 11197100 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-61-60--soft-33-100-0.wbo COMMAND LINE= wbo1.4b -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690379-1277892497/watcher-2690379-1277892497 -o /tmp/evaluation-result-2690379-1277892497/solver-2690379-1277892497 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690379-1277892497.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e56482878ee36dcbb361a64b1d161fc3 RANDOM SEED=1280813841 node127.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.72 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31789908 kB Buffers: 175324 kB Cached: 707568 kB SwapCached: 0 kB Active: 540452 kB Inactive: 481116 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31789908 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2792 kB Writeback: 0 kB AnonPages: 139336 kB Mapped: 20312 kB Slab: 75732 kB PageTables: 5128 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1640432 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74204 MiB End job on node127 at 2010-06-30 12:29:33