Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-clasp 2007-04-10 | SAT (TO) | 1382 | 1802.09 | 1804.63 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell5.opb |
MD5SUM | 6b5a85fbc00dc0684845d7179dbc62de |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 862 |
Best CPU time to get the best result obtained on this benchmark | 1782.73 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 770 |
Optimality of the best value was proved | NO |
Number of variables | 1704 |
Total number of constraints | 118 |
Number of constraints which are clauses | 15 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 103 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 135 |
Number of terms in the objective function | 1268 |
Biggest coefficient in the objective function | 29693 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 525250 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 261970 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 525250 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.10/0.23 o 3697 0.22/0.30 o 3696 0.22/0.38 o 3692 0.38/0.45 o 3689 0.45/0.52 o 3687 0.52/0.60 o 3684 0.52/0.67 o 3680 0.66/0.75 o 3678 0.72/0.82 o 3675 0.81/0.90 o 3671 0.81/0.97 o 3565 0.96/1.05 o 3551 1.03/1.12 o 3544 1.03/1.20 o 3542 1.15/1.27 o 3539 1.25/1.35 o 3535 1.31/1.42 o 3533 1.31/1.50 o 3530 1.45/1.60 o 3526 1.45/1.68 o 3518 1.60/1.75 o 3516 1.67/1.87 o 3502 1.73/1.94 o 3499 1.81/2.06 o 3498 1.89/2.16 o 3496 1.96/2.24 o 3490 2.03/2.31 o 3489 2.03/2.38 o 3486 2.16/2.46 o 3485 2.24/2.53 o 3482 2.32/2.61 o 3478 2.38/2.76 o 3476 2.45/2.84 o 3474 2.53/2.91 o 3473 2.59/3.06 o 3469 2.72/3.20 o 3467 2.72/3.28 o 3466 2.81/3.35 o 3465 2.88/3.43 o 3464 2.96/3.50 o 3463 2.96/3.58 o 3461 3.10/3.65 o 3460 3.17/3.73 o 3459 3.25/3.80 o 3458 3.25/3.88 o 3457 3.41/3.95 o 3456 3.47/4.02 o 3455 3.54/4.10 o 3454 3.54/4.17 o 3453 3.68/4.25 o 3452 3.80/4.32 o 3451 3.80/4.40 o 3450 3.91/4.47 o 3449 3.98/4.55 o 3448 4.06/4.62 o 3447 4.13/4.76 o 3446 4.20/4.84 o 3445 4.29/4.91 o 3444 4.29/4.98 o 3442 4.41/5.06 o 3441 4.49/5.13 o 3440 4.57/5.21 o 3437 4.57/5.28 o 3432 4.72/5.36 o 3430 4.80/5.43 o 3428 4.85/5.51 o 3427 4.85/5.58 o 3426 5.00/5.65 o 3424 5.06/5.73 o 3423 5.14/5.80 o 3422 5.14/5.88 o 3420 5.28/5.95 o 3419 5.35/6.02 o 3418 5.42/6.10 o 3417 5.42/6.17 o 3415 5.57/6.25 o 3414 5.64/6.32 o 3413 5.70/6.46 o 3412 5.81/6.54 o 3411 5.84/6.67 o 3410 5.93/6.74 o 3409 6.00/6.82 o 3408 6.00/6.89 o 3407 6.13/6.96 o 3406 6.22/7.04 o 3404 6.29/7.11 o 3403 6.36/7.20 o 3402 6.36/7.28 o 3401 6.50/7.35 o 3400 6.58/7.43 o 3399 6.66/7.50 o 3398 6.72/7.66 o 3397 6.80/7.74 o 3396 6.87/7.82 o 3395 6.87/7.89 o 3394 7.02/7.96 o 3393 7.09/8.04 o 3392 7.17/8.16 o 3391 7.23/8.23 o 3362 7.32/8.31 o 3351 7.32/8.38 o 3346 7.46/8.46 o 3343 7.54/8.53 o 3322 7.60/8.61 o 3313 7.60/8.68 o 3310 7.74/8.76 o 3309 7.81/8.83 o 3306 7.89/8.91 o 3302 7.89/8.98 o 3288 8.05/9.05 o 3284 8.11/9.16 o 3275 8.18/9.24 o 3269 8.25/9.31 o 3265 8.25/9.38 o 3264 8.39/9.46 o 3262 8.48/9.53 o 3260 8.54/9.60 o 3257 8.54/9.68 o 3255 8.68/9.75 o 3253 8.77/9.82 o 3252 8.77/9.90 o 3250 8.89/9.97 o 3249 8.96/10.05 o 3245 9.03/10.26 o 3243 9.10/10.33 o 3241 9.18/10.41 o 3240 9.18/10.48 o 3236 9.32/10.56 o 3234 9.39/10.64 o 3227 9.47/10.71 o 3222 9.47/10.78 o 3220 9.61/10.86 o 3219 9.72/10.93 o 3218 9.76/11.01 o 3217 9.76/11.08 o 3215 9.90/11.16 o 3214 9.96/11.23 o 3213 10.04/11.31 o 3211 10.04/11.38 o 3208 10.19/11.46 o 3206 10.26/11.56 o 3203 10.34/11.64 o 3201 10.41/11.71 o 3198 10.41/11.79 o 3196 10.55/11.86 o 3194 10.63/11.94 o 3192 10.74/12.02 o 3189 10.74/12.09 o 3187 10.85/12.17 o 3185 10.93/12.25 o 3184 11.01/12.33 o 3183 11.08/12.40 o 3181 11.08/12.48 o 3180 11.23/12.56 o 3179 11.31/12.63 o 3178 11.37/12.71 o 3177 11.37/12.79 o 3176 11.54/12.86 o 3175 11.61/12.94 o 3174 11.68/13.02 o 3172 11.68/13.09 o 3171 11.81/13.17 o 3170 11.89/13.25 o 3169 11.98/13.32 o 3168 12.06/13.40 o 3167 12.06/13.48 o 3166 12.20/13.55 o 3165 12.28/13.63 o 3164 12.35/13.71 o 3162 12.35/13.78 o 3161 12.49/13.86 o 3160 12.56/13.93 o 3159 12.64/14.01 o 3158 12.64/14.09 o 3157 12.79/14.16 o 3156 12.88/14.24 o 3155 12.93/14.31 o 3154 13.00/14.48 o 3152 13.09/14.55 o 3151 13.17/14.63 o 3150 13.24/14.70 o 3149 13.24/14.78 o 3148 13.39/14.86 o 3147 13.46/14.93 o 3146 13.53/15.01 o 3145 13.53/15.08 o 3144 13.69/15.16 o 3143 13.76/15.24 o 3142 13.87/15.31 o 3141 13.87/15.39 o 3140 13.99/15.46 o 3139 14.07/15.54 o 3138 14.15/15.62 o 3137 14.15/15.69 o 3136 14.28/15.77 o 3134 14.35/15.84 o 3133 14.42/15.96 o 3132 14.50/16.04 o 3131 14.58/16.12 o 3130 14.58/16.19 o 3129 14.72/16.26 o 3128 14.79/16.34 o 3127 14.91/16.41 o 3126 14.91/16.49 o 3125 15.01/16.57 o 3124 15.10/16.64 o 3123 15.17/16.72 o 3122 15.17/16.79 o 3121 15.32/16.87 o 3120 15.40/16.95 o 3119 15.47/17.03 o 3118 15.56/17.10 o 3117 15.56/17.18 o 3116 15.70/17.26 o 3115 15.78/17.34 o 3114 15.86/17.41 o 3113 15.86/17.49 o 3112 16.00/17.57 o 3111 16.08/17.65 o 3110 16.15/17.72 o 3109 16.23/17.80 o 3091 16.23/17.88 o 3082 16.39/17.95 o 3078 16.47/18.03 o 3075 16.54/18.10 o 3071 16.54/18.18 o 3064 16.68/18.25 o 3063 16.74/18.33 o 3060 16.82/18.41 o 3059 16.82/18.48 o 3052 16.96/18.56 o 3046 17.04/18.63 o 3043 17.11/18.71 o 3038 17.11/18.78 o 3037 17.26/18.85 o 3033 17.33/18.93 o 3031 17.40/19.00 o 3025 17.40/19.08 o 3022 17.54/19.15 o 3017 17.62/19.23 o 3013 17.69/19.30 o 3003 17.69/19.38 o 3000 17.84/19.45 o 2999 17.90/19.53 o 2996 17.97/19.60 o 2992 17.97/19.67 o 2990 18.12/19.75 o 2988 18.19/19.83 o 2985 18.26/19.90 o 2983 18.26/19.97 o 2981 18.41/20.11 o 2977 18.41/20.18 o 2976 18.55/20.26 o 2974 18.63/20.33 o 2972 18.71/20.41 o 2970 18.71/20.49 o 2969 18.85/20.56 o 2965 18.91/20.64 o 2963 18.99/20.71 o 2962 18.99/20.79 o 2961 19.15/20.92 o 2960 19.28/21.05 o 2660 19.41/21.54 o 1421 377.78/379.64 o 1420 437.17/439.00 o 1419 447.26/449.14 o 1418 482.85/484.78 o 1414 632.68/634.63 o 1413 635.18/637.12 o 1412 738.73/740.76 o 1411 739.33/741.34 o 1406 866.77/868.86 o 1405 871.77/873.84 o 1404 875.06/877.10 o 1403 910.86/912.99 o 1402 911.96/914.10 o 1400 914.47/916.56 o 1399 925.39/927.56 o 1398 928.39/930.52 o 1397 929.87/932.02 o 1396 933.08/935.21 o 1395 934.47/936.69 o 1394 939.17/941.33 o 1393 940.48/942.67 o 1392 1718.28/1720.75 o 1391 1725.17/1727.63 o 1390 1730.07/1732.61 o 1389 1738.70/1741.24 o 1388 1769.77/1772.30 o 1387 1795.86/1798.49 o 1386 1795.96/1799.33 o 1385 1797.05/1799.63 o 1382 1800.04/1802.60 sh: line 1: 32600 Done cat /tmp/evaluation/351425-1176599606/temp/instance-351425-1176599606.opb.op 1800.04/1802.60 32601 Terminated | clasp-1.0 --trans=no >/tmp/evaluation/351425-1176599606/temp/instance-351425-1176599606.opb.clasp 1800.04/1802.61 c Somebody sent me a SIGTERM 1800.04/1802.61 s SATISFIABLE 1800.04/1802.61 v x82 x121 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x139 x142 x143 x173 x202 x231 x263 x413 x414 x441 x443 x618 x620 1800.04/1802.61 v x621 x691 x961 x962 x963 x964 x965 x969 x970 x971 x972 x973 x974 x975 x976 x1008 x1009 x1010 x1011 x1013 x1031 x1032 x1033 x1036 1800.04/1802.61 v x1037 x1038 x1042 x1102 x1111 x1112 x1113 x1114 x1115 x1116 x1117 x1118 x1119 x1120 x1121 x1122 x1125 x1127 x1128 x1129 x1131 1800.04/1802.61 v x1220 x1221 x1223 x1252 x1282 x1311 x1313 x1314 x1342 x1403 x1413 x1414 x1415 x1416 x1417 x1418 x1421 x1422 x1423 x1424 x1425 1800.04/1802.61 v x1427 x1440 x1441 x1442 x1443 x1444 x1445 x1446 x1447 x1467 x1468 x1469 x1470 x1478 x1479 x1488 x1489 x1499 x1502 x1504 x1505 1800.04/1802.61 v x1507 x1509 x1529 x1530 x1533 x1535 x1548 x1568 x1610 x1623 x1637 x1653 x1664 x1678 x1694 1800.04/1802.62 pb2clasp1: no process killed 1800.04/1802.62 clasp-1.0: no process killed 1802.03/1804.62 sh: line 1: 32611 Done cat /tmp/evaluation/351425-1176599606/temp/instance-351425-1176599606.opb.op 1802.03/1804.62 32612 Killed | clasp-1.0 --trans=no >/tmp/evaluation/351425-1176599606/temp/instance-351425-1176599606.opb.clasp
OK 1382
/tmp/evaluation/351425-1176599606/instance-351425-1176599606.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node10/watcher-351425-1176599606 -o ROOT/results/node10/solver-351425-1176599606 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-351425-1176599606.opb /tmp/evaluation/351425-1176599606/temp 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.97 0.97 0.99 3/77 30253 /proc/meminfo: memFree=1688008/2055920 swapFree=4165840/4192956 [pid=30253] ppid=30251 vsize=12268 CPUtime=0 /proc/30253/stat : 30253 (pbclasp) D 30251 30253 29495 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 135998147 12562432 317 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214920034917 0 2147483391 4224 0 18446744072099781622 0 0 17 1 0 0 /proc/30253/statm: 3067 317 242 3 0 167 0 [startup+0.0900531 s] /proc/loadavg: 0.97 0.97 0.99 3/77 30253 /proc/meminfo: memFree=1688008/2055920 swapFree=4165840/4192956 [pid=30253] ppid=30251 vsize=12796 CPUtime=0.02 /proc/30253/stat : 30253 (pbclasp) S 30251 30253 29495 0 -1 4194304 574 0 0 0 2 0 0 0 16 0 1 0 135998147 13103104 527 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928765026 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/30253/statm: 3199 527 324 3 0 299 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 12796 [startup+0.101054 s] /proc/loadavg: 0.97 0.97 0.99 3/77 30253 /proc/meminfo: memFree=1688008/2055920 swapFree=4165840/4192956 [pid=30253] ppid=30251 vsize=12796 CPUtime=0.02 /proc/30253/stat : 30253 (pbclasp) S 30251 30253 29495 0 -1 4194304 574 0 0 0 2 0 0 0 16 0 1 0 135998147 13103104 527 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928765026 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/30253/statm: 3199 527 324 3 0 299 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 12796 [startup+0.301101 s] /proc/loadavg: 0.97 0.97 0.99 3/77 30253 /proc/meminfo: memFree=1688008/2055920 swapFree=4165840/4192956 [pid=30253] ppid=30251 vsize=12924 CPUtime=0.22 /proc/30253/stat : 30253 (pbclasp) S 30251 30253 29495 0 -1 4194304 876 3473 0 0 3 0 17 2 16 0 1 0 135998147 13234176 578 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30253/statm: 3231 578 343 3 0 331 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 12924 [startup+0.701189 s] /proc/loadavg: 0.97 0.97 0.99 3/77 30253 /proc/meminfo: memFree=1688008/2055920 swapFree=4165840/4192956 [pid=30253] ppid=30251 vsize=12924 CPUtime=0.66 /proc/30253/stat : 30253 (pbclasp) S 30251 30253 29495 0 -1 4194304 1569 14644 0 0 4 1 50 11 16 0 1 0 135998147 13234176 578 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30253/statm: 3231 578 343 3 0 331 0 Current children cumulated CPU time (s) 0.66 Current children cumulated vsize (KiB) 12924 [startup+1.50236 s] /proc/loadavg: 0.97 0.97 0.99 2/81 30351 /proc/meminfo: memFree=1685944/2055920 swapFree=4165840/4192956 [pid=30253] ppid=30251 vsize=12924 CPUtime=1.45 /proc/30253/stat : 30253 (pbclasp) R 30251 30253 29495 0 -1 4194304 2736 34204 0 0 6 3 111 25 16 0 1 0 135998147 13234176 578 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928765026 0 0 4224 16384 0 0 0 17 0 0 0 /proc/30253/statm: 3231 578 343 3 0 331 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 12924 [startup+3.10171 s] /proc/loadavg: 0.97 0.97 0.99 1/79 30452 /proc/meminfo: memFree=1686136/2055920 swapFree=4165840/4192956 [pid=30253] ppid=30251 vsize=12924 CPUtime=2.67 /proc/30253/stat : 30253 (pbclasp) S 30251 30253 29495 0 -1 4194304 4695 66786 0 0 10 5 207 45 16 0 1 0 135998147 13234176 578 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30253/statm: 3231 578 343 3 0 331 0 Current children cumulated CPU time (s) 2.67 Current children cumulated vsize (KiB) 12924 [startup+6.3014 s] /proc/loadavg: 0.97 0.97 0.99 2/80 30775 /proc/meminfo: memFree=1685480/2055920 swapFree=4165840/4192956 [pid=30253] ppid=30251 vsize=12924 CPUtime=5.64 /proc/30253/stat : 30253 (pbclasp) S 30251 30253 29495 0 -1 4194304 9262 143112 0 0 17 11 439 97 16 0 1 0 135998147 13234176 578 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30253/statm: 3231 578 343 3 0 331 0 Current children cumulated CPU time (s) 5.64 Current children cumulated vsize (KiB) 12924 [startup+12.7018 s] /proc/loadavg: 0.97 0.97 0.99 2/80 31431 /proc/meminfo: memFree=1684840/2055920 swapFree=4165840/4192956 [pid=30253] ppid=30251 vsize=12924 CPUtime=11.37 /proc/30253/stat : 30253 (pbclasp) S 30251 30253 29495 0 -1 4194304 18055 290230 0 0 31 21 883 202 16 0 1 0 135998147 13234176 578 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30253/statm: 3231 578 343 3 0 331 0 Current children cumulated CPU time (s) 11.37 Current children cumulated vsize (KiB) 12924 [startup+25.5015 s] /proc/loadavg: 0.98 0.97 0.99 2/80 32367 /proc/meminfo: memFree=1683360/2055920 swapFree=4165840/4192956 [pid=30253] ppid=30251 vsize=12920 CPUtime=19.89 /proc/30253/stat : 30253 (pbclasp) S 30251 30253 29495 0 -1 4194304 30144 491454 0 0 50 36 1560 343 16 0 1 0 135998147 13230080 579 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30253/statm: 3230 579 343 3 0 330 0 [pid=32365] ppid=30253 vsize=5352 CPUtime=0 /proc/32365/stat : 32365 (sh) S 30253 30253 29495 0 -1 4194304 286 121 0 0 0 0 0 0 18 0 1 0 136000303 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32365/statm: 1338 224 188 169 0 49 0 [pid=32367] ppid=32365 vsize=4920 CPUtime=3.92 /proc/32367/stat : 32367 (clasp-1.0) R 32365 30253 29495 0 -1 4194304 890 0 0 0 392 0 0 0 25 0 1 0 136000304 5038080 852 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134715924 0 0 4096 0 0 0 0 17 1 0 0 /proc/32367/statm: 1230 852 249 81 0 604 0 Current children cumulated CPU time (s) 23.81 Current children cumulated vsize (KiB) 23192 [startup+51.1011 s] /proc/loadavg: 0.98 0.97 0.99 2/80 32367 /proc/meminfo: memFree=1680616/2055920 swapFree=4165840/4192956 [pid=30253] ppid=30251 vsize=12920 CPUtime=19.89 /proc/30253/stat : 30253 (pbclasp) S 30251 30253 29495 0 -1 4194304 30144 491454 0 0 50 36 1560 343 16 0 1 0 135998147 13230080 579 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30253/statm: 3230 579 343 3 0 330 0 [pid=32365] ppid=30253 vsize=5352 CPUtime=0 /proc/32365/stat : 32365 (sh) S 30253 30253 29495 0 -1 4194304 286 121 0 0 0 0 0 0 18 0 1 0 136000303 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32365/statm: 1338 224 188 169 0 49 0 [pid=32367] ppid=32365 vsize=7528 CPUtime=29.51 /proc/32367/stat : 32367 (clasp-1.0) R 32365 30253 29495 0 -1 4194304 1543 0 0 0 2951 0 0 0 25 0 1 0 136000304 7708672 1505 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134741312 0 0 4096 0 0 0 0 17 1 0 0 /proc/32367/statm: 1882 1505 249 81 0 1256 0 Current children cumulated CPU time (s) 49.4 Current children cumulated vsize (KiB) 25800 [startup+102.305 s] /proc/loadavg: 0.99 0.97 0.99 2/80 32367 /proc/meminfo: memFree=1677352/2055920 swapFree=4165840/4192956 [pid=30253] ppid=30251 vsize=12920 CPUtime=19.89 /proc/30253/stat : 30253 (pbclasp) S 30251 30253 29495 0 -1 4194304 30144 491454 0 0 50 36 1560 343 16 0 1 0 135998147 13230080 579 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30253/statm: 3230 579 343 3 0 330 0 [pid=32365] ppid=30253 vsize=5352 CPUtime=0 /proc/32365/stat : 32365 (sh) S 30253 30253 29495 0 -1 4194304 286 121 0 0 0 0 0 0 18 0 1 0 136000303 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32365/statm: 1338 224 188 169 0 49 0 [pid=32367] ppid=32365 vsize=10904 CPUtime=80.7 /proc/32367/stat : 32367 (clasp-1.0) R 32365 30253 29495 0 -1 4194304 2363 0 0 0 8069 1 0 0 25 0 1 0 136000304 11165696 2325 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784608 0 0 4096 0 0 0 0 17 1 0 0 /proc/32367/statm: 2726 2325 249 81 0 2100 0 Current children cumulated CPU time (s) 100.59 Current children cumulated vsize (KiB) 29176 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/80 32367 /proc/meminfo: memFree=1675432/2055920 swapFree=4165840/4192956 [pid=30253] ppid=30251 vsize=12920 CPUtime=19.89 /proc/30253/stat : 30253 (pbclasp) S 30251 30253 29495 0 -1 4194304 30144 491454 0 0 50 36 1560 343 16 0 1 0 135998147 13230080 579 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30253/statm: 3230 579 343 3 0 330 0 [pid=32365] ppid=30253 vsize=5352 CPUtime=0 /proc/32365/stat : 32365 (sh) S 30253 30253 29495 0 -1 4194304 286 121 0 0 0 0 0 0 18 0 1 0 136000303 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32365/statm: 1338 224 188 169 0 49 0 [pid=32367] ppid=32365 vsize=12940 CPUtime=140.68 /proc/32367/stat : 32367 (clasp-1.0) R 32365 30253 29495 0 -1 4194304 2850 0 0 0 14066 2 0 0 25 0 1 0 136000304 13250560 2812 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784617 0 0 4096 0 0 0 0 17 1 0 0 /proc/32367/statm: 3235 2812 249 81 0 2609 0 Current children cumulated CPU time (s) 160.57 Current children cumulated vsize (KiB) 31212 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/80 32367 /proc/meminfo: memFree=1674024/2055920 swapFree=4165840/4192956 [pid=30253] ppid=30251 vsize=12920 CPUtime=19.89 /proc/30253/stat : 30253 (pbclasp) S 30251 30253 29495 0 -1 4194304 30144 491454 0 0 50 36 1560 343 16 0 1 0 135998147 13230080 579 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30253/statm: 3230 579 343 3 0 330 0 [pid=32365] ppid=30253 vsize=5352 CPUtime=0 /proc/32365/stat : 32365 (sh) S 30253 30253 29495 0 -1 4194304 286 121 0 0 0 0 0 0 18 0 1 0 136000303 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32365/statm: 1338 224 188 169 0 49 0 [pid=32367] ppid=32365 vsize=14308 CPUtime=200.66 /proc/32367/stat : 32367 (clasp-1.0) R 32365 30253 29495 0 -1 4194304 3209 0 0 0 20063 3 0 0 25 0 1 0 136000304 14651392 3171 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134748373 0 0 4096 0 0 0 0 17 1 0 0 /proc/32367/statm: 3577 3171 249 81 0 2951 0 Current children cumulated CPU time (s) 220.55 Current children cumulated vsize (KiB) 32580 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/80 32367 /proc/meminfo: memFree=1672168/2055920 swapFree=4165840/4192956 [pid=30253] ppid=30251 vsize=12920 CPUtime=19.89 /proc/30253/stat : 30253 (pbclasp) S 30251 30253 29495 0 -1 4194304 30144 491454 0 0 50 36 1560 343 16 0 1 0 135998147 13230080 579 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30253/statm: 3230 579 343 3 0 330 0 [pid=32365] ppid=30253 vsize=5352 CPUtime=0 /proc/32365/stat : 32365 (sh) S 30253 30253 29495 0 -1 4194304 286 121 0 0 0 0 0 0 18 0 1 0 136000303 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32365/statm: 1338 224 188 169 0 49 0 [pid=32367] ppid=32365 vsize=16052 CPUtime=260.63 /proc/32367/stat : 32367 (clasp-1.0) R 32365 30253 29495 0 -1 4194304 3706 0 0 0 26060 3 0 0 25 0 1 0 136000304 16437248 3619 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737597 0 0 4096 0 0 0 0 17 1 0 0 /proc/32367/statm: 4013 3619 249 81 0 3387 0 Current children cumulated CPU time (s) 280.52 Current children cumulated vsize (KiB) 34324 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/80 32367 /proc/meminfo: memFree=1670952/2055920 swapFree=4165840/4192956 [pid=30253] ppid=30251 vsize=12920 CPUtime=19.89 /proc/30253/stat : 30253 (pbclasp) S 30251 30253 29495 0 -1 4194304 30144 491454 0 0 50 36 1560 343 16 0 1 0 135998147 13230080 579 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30253/statm: 3230 579 343 3 0 330 0 [pid=32365] ppid=30253 vsize=5352 CPUtime=0 /proc/32365/stat : 32365 (sh) S 30253 30253 29495 0 -1 4194304 286 121 0 0 0 0 0 0 18 0 1 0 136000303 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32365/statm: 1338 224 188 169 0 49 0 [pid=32367] ppid=32365 vsize=17344 CPUtime=320.61 /proc/32367/stat : 32367 (clasp-1.0) R 32365 30253 29495 0 -1 4194304 4011 0 0 0 32057 4 0 0 25 0 1 0 136000304 17760256 3924 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784657 0 0 4096 0 0 0 0 17 1 0 0 /proc/32367/statm: 4336 3924 249 81 0 3710 0 Current children cumulated CPU time (s) 340.5 Current children cumulated vsize (KiB) 35616 [startup+402.303 s] /proc/loadavg: 0.99 0.97 0.99 2/80 32375 /proc/meminfo: memFree=1681648/2055920 swapFree=4165840/4192956 ################ # More data... # ################ /proc/30253/statm: 3230 579 343 3 0 330 0 [pid=32533] ppid=30253 vsize=5352 CPUtime=0 /proc/32533/stat : 32533 (sh) S 30253 30253 29495 0 -1 4194304 287 121 0 0 0 0 0 0 18 0 1 0 136092416 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32533/statm: 1338 224 188 169 0 49 0 [pid=32535] ppid=32533 vsize=20516 CPUtime=539.4 /proc/32535/stat : 32535 (clasp-1.0) R 32533 30253 29495 0 -1 4194304 4760 0 0 0 53934 6 0 0 25 0 1 0 136092416 21008384 4641 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784511 0 0 4096 0 0 0 0 17 1 0 0 /proc/32535/statm: 5129 4641 249 81 0 4503 0 Current children cumulated CPU time (s) 1479.97 Current children cumulated vsize (KiB) 38788 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/80 32537 /proc/meminfo: memFree=1667624/2055920 swapFree=4165840/4192956 [pid=30253] ppid=30251 vsize=12920 CPUtime=940.57 /proc/30253/stat : 30253 (pbclasp) S 30251 30253 29495 0 -1 4194304 32756 549786 0 0 54 39 93574 390 16 0 1 0 135998147 13230080 579 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30253/statm: 3230 579 343 3 0 330 0 [pid=32533] ppid=30253 vsize=5352 CPUtime=0 /proc/32533/stat : 32533 (sh) S 30253 30253 29495 0 -1 4194304 287 121 0 0 0 0 0 0 18 0 1 0 136092416 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32533/statm: 1338 224 188 169 0 49 0 [pid=32535] ppid=32533 vsize=20684 CPUtime=599.38 /proc/32535/stat : 32535 (clasp-1.0) R 32533 30253 29495 0 -1 4194304 4791 0 0 0 59931 7 0 0 25 0 1 0 136092416 21180416 4672 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134792691 0 0 4096 0 0 0 0 17 1 0 0 /proc/32535/statm: 5171 4672 249 81 0 4545 0 Current children cumulated CPU time (s) 1539.95 Current children cumulated vsize (KiB) 38956 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/80 32537 /proc/meminfo: memFree=1667496/2055920 swapFree=4165840/4192956 [pid=30253] ppid=30251 vsize=12920 CPUtime=940.57 /proc/30253/stat : 30253 (pbclasp) S 30251 30253 29495 0 -1 4194304 32756 549786 0 0 54 39 93574 390 16 0 1 0 135998147 13230080 579 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30253/statm: 3230 579 343 3 0 330 0 [pid=32533] ppid=30253 vsize=5352 CPUtime=0 /proc/32533/stat : 32533 (sh) S 30253 30253 29495 0 -1 4194304 287 121 0 0 0 0 0 0 18 0 1 0 136092416 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32533/statm: 1338 224 188 169 0 49 0 [pid=32535] ppid=32533 vsize=20840 CPUtime=659.36 /proc/32535/stat : 32535 (clasp-1.0) R 32533 30253 29495 0 -1 4194304 4818 0 0 0 65929 7 0 0 25 0 1 0 136092416 21340160 4699 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134713707 0 0 4096 0 0 0 0 17 1 0 0 /proc/32535/statm: 5210 4699 249 81 0 4584 0 Current children cumulated CPU time (s) 1599.93 Current children cumulated vsize (KiB) 39112 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/80 32537 /proc/meminfo: memFree=1667432/2055920 swapFree=4165840/4192956 [pid=30253] ppid=30251 vsize=12920 CPUtime=940.57 /proc/30253/stat : 30253 (pbclasp) S 30251 30253 29495 0 -1 4194304 32756 549786 0 0 54 39 93574 390 16 0 1 0 135998147 13230080 579 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30253/statm: 3230 579 343 3 0 330 0 [pid=32533] ppid=30253 vsize=5352 CPUtime=0 /proc/32533/stat : 32533 (sh) S 30253 30253 29495 0 -1 4194304 287 121 0 0 0 0 0 0 18 0 1 0 136092416 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32533/statm: 1338 224 188 169 0 49 0 [pid=32535] ppid=32533 vsize=20840 CPUtime=719.33 /proc/32535/stat : 32535 (clasp-1.0) R 32533 30253 29495 0 -1 4194304 4839 0 0 0 71926 7 0 0 25 0 1 0 136092416 21340160 4720 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616831 0 0 4096 0 0 0 0 17 1 0 0 /proc/32535/statm: 5210 4720 249 81 0 4584 0 Current children cumulated CPU time (s) 1659.9 Current children cumulated vsize (KiB) 39112 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/80 32545 /proc/meminfo: memFree=1683944/2055920 swapFree=4165840/4192956 [pid=30253] ppid=30251 vsize=12920 CPUtime=1718.36 /proc/30253/stat : 30253 (pbclasp) S 30251 30253 29495 0 -1 4194304 32879 556689 0 0 54 39 171343 400 16 0 1 0 135998147 13230080 579 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/30253/statm: 3230 579 343 3 0 330 0 [pid=32543] ppid=30253 vsize=5352 CPUtime=0 /proc/32543/stat : 32543 (sh) S 30253 30253 29495 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 136170224 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32543/statm: 1338 224 188 169 0 49 0 [pid=32545] ppid=32543 vsize=4404 CPUtime=1.52 /proc/32545/stat : 32545 (clasp-1.0) R 32543 30253 29495 0 -1 4194304 748 0 0 0 152 0 0 0 25 0 1 0 136170225 4509696 710 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134741346 0 0 4096 0 0 0 0 17 1 0 0 /proc/32545/statm: 1101 710 249 81 0 475 0 Current children cumulated CPU time (s) 1719.88 Current children cumulated vsize (KiB) 22676 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/80 32577 /proc/meminfo: memFree=1681968/2055920 swapFree=4165840/4192956 [pid=30253] ppid=30251 vsize=12920 CPUtime=1769.8 /proc/30253/stat : 30253 (pbclasp) S 30251 30253 29495 0 -1 4194304 33352 566824 0 0 55 40 176479 406 16 0 1 0 135998147 13230080 579 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30253/statm: 3230 579 343 3 0 330 0 [pid=32575] ppid=30253 vsize=5352 CPUtime=0 /proc/32575/stat : 32575 (sh) S 30253 30253 29495 0 -1 4194304 287 121 0 0 0 0 0 0 18 0 1 0 136175379 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32575/statm: 1338 224 188 169 0 49 0 [pid=32577] ppid=32575 vsize=5848 CPUtime=9.96 /proc/32577/stat : 32577 (clasp-1.0) R 32575 30253 29495 0 -1 4194304 1123 0 0 0 996 0 0 0 25 0 1 0 136175380 5988352 1085 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134782595 0 0 4096 0 0 0 0 17 1 0 0 /proc/32577/statm: 1462 1085 249 81 0 836 0 Current children cumulated CPU time (s) 1779.76 Current children cumulated vsize (KiB) 24120 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1802.6 s] /proc/loadavg: 0.99 0.97 0.99 2/80 32601 /proc/meminfo: memFree=1683304/2055920 swapFree=4165840/4192956 [pid=30253] ppid=30251 vsize=12920 CPUtime=1797.1 /proc/30253/stat : 30253 (pbclasp) S 30251 30253 29495 0 -1 4194304 33710 573588 0 0 56 40 179204 410 16 0 1 0 135998147 13230080 579 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30253/statm: 3230 579 343 3 0 330 0 [pid=32599] ppid=30253 vsize=5352 CPUtime=0 /proc/32599/stat : 32599 (sh) S 30253 30253 29495 0 -1 4194304 287 121 0 0 0 0 0 0 18 0 1 0 136178112 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32599/statm: 1338 224 188 169 0 49 0 [pid=32601] ppid=32599 vsize=4544 CPUtime=2.94 /proc/32601/stat : 32601 (clasp-1.0) R 32599 30253 29495 0 -1 4194304 785 0 0 0 294 0 0 0 25 0 1 0 136178112 4653056 747 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134714323 0 0 4096 0 0 0 0 17 1 0 0 /proc/32601/statm: 1136 747 249 81 0 510 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 22816 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1803 s] /proc/loadavg: 0.99 0.97 0.99 2/81 32612 /proc/meminfo: memFree=1684064/2055920 swapFree=4165840/4192956 [pid=30253] ppid=30251 vsize=12920 CPUtime=1800.08 /proc/30253/stat : 30253 (pbclasp) S 30251 30253 29495 0 -1 4194304 33880 576170 0 0 56 40 179499 413 16 0 1 0 135998147 13230080 580 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/30253/statm: 3230 580 343 3 0 330 0 [pid=32610] ppid=30253 vsize=5352 CPUtime=0 /proc/32610/stat : 32610 (sh) S 30253 30253 29495 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 136178410 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32610/statm: 1338 224 188 169 0 49 0 [pid=32612] ppid=32610 vsize=3628 CPUtime=0.36 /proc/32612/stat : 32612 (clasp-1.0) R 32610 30253 29495 0 -1 4194304 557 0 0 0 36 0 0 0 19 0 1 0 136178410 3715072 519 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617549 0 0 4096 0 0 0 0 17 1 0 0 /proc/32612/statm: 907 519 249 81 0 281 0 Current children cumulated CPU time (s) 1800.44 Current children cumulated vsize (KiB) 21900 [startup+1803.8 s] /proc/loadavg: 0.99 0.97 0.99 2/81 32612 /proc/meminfo: memFree=1684064/2055920 swapFree=4165840/4192956 [pid=30253] ppid=30251 vsize=12920 CPUtime=1800.08 /proc/30253/stat : 30253 (pbclasp) S 30251 30253 29495 0 -1 4194304 33880 576170 0 0 56 40 179499 413 16 0 1 0 135998147 13230080 580 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/30253/statm: 3230 580 343 3 0 330 0 [pid=32610] ppid=30253 vsize=5352 CPUtime=0 /proc/32610/stat : 32610 (sh) S 30253 30253 29495 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 136178410 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32610/statm: 1338 224 188 169 0 49 0 [pid=32612] ppid=32610 vsize=4148 CPUtime=1.15 /proc/32612/stat : 32612 (clasp-1.0) R 32610 30253 29495 0 -1 4194304 678 0 0 0 115 0 0 0 25 0 1 0 136178410 4247552 640 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134714264 0 0 4096 0 0 0 0 17 1 0 0 /proc/32612/statm: 1037 640 249 81 0 411 0 Current children cumulated CPU time (s) 1801.23 Current children cumulated vsize (KiB) 22420 [startup+1804.2 s] /proc/loadavg: 0.99 0.97 0.99 2/81 32612 /proc/meminfo: memFree=1683360/2055920 swapFree=4165840/4192956 [pid=30253] ppid=30251 vsize=12920 CPUtime=1800.08 /proc/30253/stat : 30253 (pbclasp) S 30251 30253 29495 0 -1 4194304 33880 576170 0 0 56 40 179499 413 16 0 1 0 135998147 13230080 580 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/30253/statm: 3230 580 343 3 0 330 0 [pid=32610] ppid=30253 vsize=5352 CPUtime=0 /proc/32610/stat : 32610 (sh) S 30253 30253 29495 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 136178410 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32610/statm: 1338 224 188 169 0 49 0 [pid=32612] ppid=32610 vsize=4280 CPUtime=1.55 /proc/32612/stat : 32612 (clasp-1.0) R 32610 30253 29495 0 -1 4194304 731 0 0 0 155 0 0 0 25 0 1 0 136178410 4382720 693 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134715266 0 0 4096 0 0 0 0 17 1 0 0 /proc/32612/statm: 1070 693 249 81 0 444 0 Current children cumulated CPU time (s) 1801.63 Current children cumulated vsize (KiB) 22552 [startup+1804.6 s] /proc/loadavg: 0.99 0.97 0.99 2/81 32612 /proc/meminfo: memFree=1683360/2055920 swapFree=4165840/4192956 [pid=30253] ppid=30251 vsize=12920 CPUtime=1800.08 /proc/30253/stat : 30253 (pbclasp) S 30251 30253 29495 0 -1 4194304 33880 576170 0 0 56 40 179499 413 16 0 1 0 135998147 13230080 580 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/30253/statm: 3230 580 343 3 0 330 0 [pid=32610] ppid=30253 vsize=5352 CPUtime=0 /proc/32610/stat : 32610 (sh) S 30253 30253 29495 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 136178410 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32610/statm: 1338 224 188 169 0 49 0 [pid=32612] ppid=32610 vsize=4412 CPUtime=1.95 /proc/32612/stat : 32612 (clasp-1.0) R 32610 30253 29495 0 -1 4194304 748 0 0 0 195 0 0 0 25 0 1 0 136178410 4517888 710 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134714962 0 0 4096 0 0 0 0 17 1 0 0 /proc/32612/statm: 1103 710 249 81 0 477 0 Current children cumulated CPU time (s) 1802.03 Current children cumulated vsize (KiB) 22684 Child status: 0 Real time (s): 1804.63 CPU time (s): 1802.09 CPU user time (s): 1797.54 CPU system time (s): 4.55031 CPU usage (%): 99.8594 Max. virtual memory (cumulated for all children) (KiB): 42004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.54 system time used= 4.55031 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 611399 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= 21704 involuntary context switches= 26100 runsolver used 1.78073 second user time and 4.80627 second system time The end
Begin job on node10 on Sun Apr 15 01:13:26 UTC 2007 IDJOB= 351425 IDBENCH= 1752 IDSOLVER= 167 FILE ID= node10/351425-1176599606 PBS_JOBID= 4556817 Free space on /tmp= 66560 MiB SOLVER NAME= PB-clasp 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell5.opb COMMAND LINE= pbclasp instance-351425-1176599606.opb /tmp/evaluation/351425-1176599606/temp CONVERSION COMMAND LINE= runsolver -w ROOT/results/node10/convwatcher-351425-1176599606 -o ROOT/results/node10/conversion-351425-1176599606 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351425-1176599606/instance-351425-1176599606.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-351425-1176599606 -o ROOT/results/node10/solver-351425-1176599606 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-351425-1176599606.opb /tmp/evaluation/351425-1176599606/temp META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36 MD5SUM BENCH= 6b5a85fbc00dc0684845d7179dbc62de RANDOM SEED= 343458407 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node10.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.259 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.259 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: 1688416 kB Buffers: 57992 kB Cached: 225272 kB SwapCached: 2336 kB Active: 168692 kB Inactive: 147612 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1688416 kB SwapTotal: 4192956 kB SwapFree: 4165840 kB Dirty: 548 kB Writeback: 0 kB Mapped: 41140 kB Slab: 36780 kB Committed_AS: 2930376 kB PageTables: 1712 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= 66560 MiB End job on node10 on Sun Apr 15 01:43:31 UTC 2007