| Name | mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-maros.opb |
| MD5SUM | df23206734a7a5ecc1a5d03632e7fa81 |
| Bench Category | optimization, big integers (OPTBIGINT) |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 344750 |
| Optimality of the best value was proved | YES |
| Number of terms in the objective function | 90 |
| Biggest coefficient in the objective function | 4831838208 |
| Number of bits for the biggest coefficient in the objective function | 33 |
| Sum of the numbers in the objective function | 15032909794 |
| Number of bits of the sum of numbers in the objective function | 34 |
| Biggest number in a constraint | 4831838208 |
| Number of bits of the biggest number in a constraint | 33 |
| Biggest sum of numbers in a constraint | 15032909794 |
| Number of bits of the biggest sum of numbers | 34 |
| Best result obtained on this benchmark | OPTIMUM FOUND |
| Best CPU time to get the best result obtained on this benchmark | 30.9553 |
| Number of variables | 90 |
| Total number of constraints | 6 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6 |
| Minimum length of a constraint | 15 |
| Maximum length of a constraint | 90 |
LAUNCH ON wulflinc11 THE 2005-09-23 17:41:58 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8987 boxname=wulflinc11 idbench=783 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: df23206734a7a5ecc1a5d03632e7fa81 /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-maros.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-maros.opb IDLAUNCH: 8987 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.045 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.045 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 907696 kB Buffers: 9392 kB Cached: 92404 kB SwapCached: 0 kB Active: 56040 kB Inactive: 55288 kB HighTotal: 131008 kB HighFree: 36372 kB LowTotal: 903652 kB LowFree: 871324 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6980 kB Slab: 9996 kB Committed_AS: 63624 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 17:45:38 (client local time) WITH STATUS 30 IN 216.065 SECONDS stats: 8987 0 216.065 30
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c got solution with objective value: 408868 c small objective detected c CONFLICT during preprocess c [startup+0.299904 s] setting bit 33 to 0 c CONFLICT during preprocess c [startup+0.317184 s] setting bit 32 to 0 c CONFLICT during preprocess c [startup+0.334559 s] setting bit 31 to 0 c CONFLICT during preprocess c [startup+0.352235 s] setting bit 30 to 0 c CONFLICT during preprocess c [startup+0.369955 s] setting bit 29 to 0 c CONFLICT during preprocess c [startup+0.387879 s] setting bit 28 to 0 c CONFLICT during preprocess c [startup+0.405764 s] setting bit 27 to 0 c CONFLICT during preprocess c [startup+0.42384 s] setting bit 26 to 0 c CONFLICT during preprocess c [startup+0.44192 s] setting bit 25 to 0 c CONFLICT during preprocess c [startup+0.460101 s] setting bit 24 to 0 c CONFLICT during preprocess c [startup+0.478297 s] setting bit 23 to 0 c CONFLICT during preprocess c [startup+0.496557 s] setting bit 22 to 0 c CONFLICT during preprocess c [startup+0.514837 s] setting bit 21 to 0 c CONFLICT during preprocess c [startup+0.533218 s] setting bit 20 to 0 c CONFLICT during preprocess c [startup+0.551613 s] setting bit 19 to 0 c [startup+0.611142 s] setting bit 18 to 0 c [startup+0.965693 s] setting bit 17 to 0 c Decision: 968/6449 Time: 2.98555/86400 c Decision: 990/6449 Time: 4.5853/86400 c Decision: 990/6449 Time: 5.77412/86400 c Decision: 995/6449 Time: 7.02893/86400 c Decision: 1119/6449 Time: 8.94064/86400 c [startup+13.3529 s] setting bit 16 to 0 c Decision: 907/6449 Time: 12.83/86400 c got solution with objective value: 372032 c [startup+26.6068 s] setting bit 15 to 1 c got solution with objective value: 358846 c [startup+26.9478 s] setting bit 14 to 1 c got solution with objective value: 351499 c [startup+27.5958 s] setting bit 13 to 1 c got solution with objective value: 347392 c [startup+28.7739 s] setting bit 12 to 1 c Decision: 926/6449 Time: 1.65675/86400 c Decision: 926/6449 Time: 3.16952/86400 c Decision: 932/6449 Time: 4.44332/86400 c got solution with objective value: 345361 c [startup+34.1983 s] setting bit 11 to 1 c Decision: 933/6449 Time: 1.87472/86400 c Decision: 939/6449 Time: 3.61145/86400 c Decision: 939/6449 Time: 5.21921/86400 c Decision: 951/6449 Time: 7.83381/86400 c Decision: 951/6449 Time: 9.55755/86400 c Decision: 1022/6449 Time: 12.2791/86400 c Decision: 1022/6449 Time: 14.2038/86400 c Decision: 1035/6449 Time: 16.4015/86400 c Decision: 1215/6449 Time: 19.1801/86400 c Decision: 1215/6449 Time: 21.7417/86400 c [startup+57.5147 s] setting bit 10 to 0 c Decision: 1025/6449 Time: 5.36119/86400 c Decision: 1025/6449 Time: 6.86496/86400 c Decision: 1031/6449 Time: 9.39557/86400 c Decision: 1031/6449 Time: 11.2673/86400 c got solution with objective value: 344827 c [startup+69.9518 s] setting bit 9 to 1 c Decision: 1049/6449 Time: 5.51216/86400 c Decision: 1049/6449 Time: 7.95079/86400 c Decision: 1224/6449 Time: 11.9832/86400 c Decision: 1333/6449 Time: 14.8337/86400 c Decision: 1333/6449 Time: 17.1944/86400 c Decision: 1333/6449 Time: 19.835/86400 c [startup+93.7534 s] setting bit 8 to 0 c Decision: 1031/6449 Time: 3.9444/86400 c Decision: 1031/6449 Time: 6.98794/86400 c Decision: 1031/6449 Time: 9.44956/86400 c Decision: 1128/6449 Time: 14.6278/86400 c Decision: 1279/6449 Time: 18.9541/86400 c Decision: 1384/6449 Time: 21.9997/86400 c Decision: 1384/6449 Time: 25.0322/86400 c Decision: 1472/6449 Time: 29.8355/86400 c Decision: 1932/6449 Time: 33.8079/86400 c Decision: 1932/6449 Time: 36.8674/86400 c Decision: 1932/6449 Time: 40.0939/86400 c Decision: 2149/6449 Time: 45.838/86400 c Decision: 2360/6449 Time: 53.5949/86400 c [startup+149.956 s] setting bit 7 to 0 c got solution with objective value: 344802 c [startup+154.928 s] setting bit 6 to 1 c got solution with objective value: 344768 c [startup+160.843 s] setting bit 5 to 1 c Decision: 1106/6449 Time: 3.2635/86400 c Decision: 1106/6449 Time: 5.96109/86400 c got solution with objective value: 344751 c [startup+168.294 s] setting bit 4 to 1 c Decision: 1427/6449 Time: 4.50531/86400 c Decision: 1427/6449 Time: 7.53485/86400 c Decision: 1427/6449 Time: 10.2174/86400 c Decision: 1427/6449 Time: 14.4728/86400 c Decision: 1944/6449 Time: 16.8044/86400 c Decision: 2122/6449 Time: 19.743/86400 c Decision: 3026/6449 Time: 24.3923/86400 c Decision: 3026/6449 Time: 26.8749/86400 c [startup+198.024 s] setting bit 3 to 0 c got solution with objective value: 344751 c [startup+200.633 s] setting bit 2 to 1 c Decision: 1570/6449 Time: 6.41503/86400 c Decision: 1662/6449 Time: 12.3781/86400 c [startup+217.793 s] setting bit 1 to 0 c got solution with objective value: 344750 c [startup+219.546 s] setting bit 0 to 1 s OPTIMUM FOUND v VOL1_bit0 VOL1_bit1 -VOL1_bit10 -VOL1_bit11 -VOL1_bit12 -VOL1_bit13 -VOL1_bit14 -VOL1_bit15 -VOL1_bit16 -VOL1_bit17 -VOL1_bit18 -VOL1_bit19 -VOL1_bit2 -VOL1_bit3 -VOL1_bit4 -VOL1_bit5 -VOL1_bit6 -VOL1_bit7 -VOL1_bit8 -VOL1_bit9 -VOL1_bit_1 VOL1_bit_10 VOL1_bit_2 -VOL1_bit_3 VOL1_bit_4 -VOL1_bit_5 VOL1_bit_6 -VOL1_bit_7 VOL1_bit_8 -VOL1_bit_9 VOL2_bit0 -VOL2_bit1 -VOL2_bit10 -VOL2_bit11 -VOL2_bit12 -VOL2_bit13 -VOL2_bit14 -VOL2_bit15 -VOL2_bit16 -VOL2_bit17 -VOL2_bit18 -VOL2_bit19 VOL2_bit2 VOL2_bit3 -VOL2_bit4 -VOL2_bit5 -VOL2_bit6 -VOL2_bit7 -VOL2_bit8 -VOL2_bit9 -VOL2_bit_1 VOL2_bit_10 VOL2_bit_2 -VOL2_bit_3 VOL2_bit_4 -VOL2_bit_5 VOL2_bit_6 -VOL2_bit_7 VOL2_bit_8 -VOL2_bit_9 -VOL3_bit0 VOL3_bit1 VOL3_bit2 VOL3_bit3 VOL3_bit4 -VOL3_bit_1 -VOL3_bit_10 -VOL3_bit_2 -VOL3_bit_3 -VOL3_bit_4 -VOL3_bit_5 -VOL3_bit_6 -VOL3_bit_7 -VOL3_bit_8 -VOL3_bit_9 -VOL4_bit0 -VOL4_bit1 -VOL4_bit2 -VOL4_bit3 -VOL4_bit4 -VOL4_bit_1 VOL4_bit_10 -VOL4_bit_2 -VOL4_bit_3 -VOL4_bit_4 -VOL4_bit_5 -VOL4_bit_6 -VOL4_bit_7 -VOL4_bit_8 -VOL4_bit_9
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb Enforcing VSIZE limit: 994918400 bytes Current StackSize limit: 67108864 bytes Raw data (/proc/10554/stat): 10554 (pb2sat) R 10553 10554 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 22070981 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10554/statm): 373 2 364 364 0 9 0 [pid=10554] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-maros.opb [startup+10.0017 s] Raw data (loadavg): 0.93 0.95 0.93 1/55 10554 Raw data (/proc/10554/stat): 10554 (pb2sat) T 10553 10554 4060 0 -1 0 1383 0 0 0 959 16 0 0 25 0 1 0 22070981 5672960 1101 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10554/statm): 1385 1101 364 364 0 1021 0 [pid=10554] vsize: 5540 Current children cumulated CPU time (s) 9.75 Current children cumulated vsize (Kb) 5540 [startup+20.0025 s] Raw data (loadavg): 0.94 0.96 0.93 2/55 10554 Raw data (/proc/10554/stat): 10554 (pb2sat) R 10553 10554 4060 0 -1 0 1869 0 0 0 1917 33 0 0 25 0 1 0 22070981 8052736 1394 4294967295 134512640 135987407 3221224560 3221223232 134824232 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10554/statm): 1966 1394 364 364 0 1602 0 [pid=10554] vsize: 7864 Current children cumulated CPU time (s) 19.5 Current children cumulated vsize (Kb) 7864 [startup+30.0043 s] Raw data (loadavg): 1.02 0.97 0.94 2/55 10554 Raw data (/proc/10554/stat): 10554 (pb2sat) R 10553 10554 4060 0 -1 0 2112 0 0 0 2881 47 0 0 25 0 1 0 22070981 8421376 1637 4294967295 134512640 135987407 3221224560 3221223200 134812334 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10554/statm): 2056 1637 364 364 0 1692 0 [pid=10554] vsize: 8224 Current children cumulated CPU time (s) 29.28 Current children cumulated vsize (Kb) 8224 [startup+40.0041 s] Raw data (loadavg): 1.02 0.97 0.94 1/55 10554 Raw data (/proc/10554/stat): 10554 (pb2sat) T 10553 10554 4060 0 -1 0 2213 0 0 0 3847 59 0 0 25 0 1 0 22070981 8753152 1738 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10554/statm): 2137 1738 364 364 0 1773 0 [pid=10554] vsize: 8548 Current children cumulated CPU time (s) 39.06 Current children cumulated vsize (Kb) 8548 [startup+50.0049 s] Raw data (loadavg): 1.01 0.97 0.94 2/55 10554 Raw data (/proc/10554/stat): 10554 (pb2sat) R 10553 10554 4060 0 -1 0 2466 0 0 0 4817 69 0 0 25 0 1 0 22070981 11120640 1991 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10554/statm): 2715 1991 364 364 0 2351 0 [pid=10554] vsize: 10860 Current children cumulated CPU time (s) 48.86 Current children cumulated vsize (Kb) 10860 [startup+60.0057 s] Raw data (loadavg): 1.01 0.97 0.94 2/55 10554 Raw data (/proc/10554/stat): 10554 (pb2sat) R 10553 10554 4060 0 -1 0 2762 0 0 0 5792 78 0 0 25 0 1 0 22070981 11354112 2287 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10554/statm): 2772 2287 364 364 0 2408 0 [pid=10554] vsize: 11088 Current children cumulated CPU time (s) 58.7 Current children cumulated vsize (Kb) 11088 [startup+70.0065 s] Raw data (loadavg): 1.01 0.97 0.94 2/55 10554 Raw data (/proc/10554/stat): 10554 (pb2sat) R 10553 10554 4060 0 -1 0 2898 0 0 0 6766 89 0 0 25 0 1 0 22070981 11583488 2423 4294967295 134512640 135987407 3221224560 3221223104 134811813 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10554/statm): 2828 2423 364 364 0 2464 0 [pid=10554] vsize: 11312 Current children cumulated CPU time (s) 68.55 Current children cumulated vsize (Kb) 11312 [startup+80.0083 s] Raw data (loadavg): 1.01 0.97 0.94 2/55 10554 Raw data (/proc/10554/stat): 10554 (pb2sat) R 10553 10554 4060 0 -1 0 2944 0 0 0 7744 97 0 0 25 0 1 0 22070981 11718656 2469 4294967295 134512640 135987407 3221224560 3221223104 134811768 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10554/statm): 2861 2469 364 364 0 2497 0 [pid=10554] vsize: 11444 Current children cumulated CPU time (s) 78.41 Current children cumulated vsize (Kb) 11444 [startup+90.0091 s] Raw data (loadavg): 1.01 0.97 0.94 2/55 10554 Raw data (/proc/10554/stat): 10554 (pb2sat) R 10553 10554 4060 0 -1 0 3014 0 0 0 8723 104 0 0 25 0 1 0 22070981 11964416 2539 4294967295 134512640 135987407 3221224560 3221223232 134876948 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10554/statm): 2921 2539 364 364 0 2557 0 [pid=10554] vsize: 11684 Current children cumulated CPU time (s) 88.27 Current children cumulated vsize (Kb) 11684 [startup+100.01 s] Raw data (loadavg): 1.00 0.97 0.94 1/55 10554 Raw data (/proc/10554/stat): 10554 (pb2sat) T 10553 10554 4060 0 -1 0 3087 0 0 0 9697 113 0 0 25 0 1 0 22070981 12181504 2612 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10554/statm): 2974 2612 364 364 0 2610 0 [pid=10554] vsize: 11896 Current children cumulated CPU time (s) 98.1 Current children cumulated vsize (Kb) 11896 [startup+110.011 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 10554 Raw data (/proc/10554/stat): 10554 (pb2sat) R 10553 10554 4060 0 -1 0 3524 0 0 0 10674 121 0 0 25 0 1 0 22070981 13864960 2664 4294967295 134512640 135987407 3221224560 3221223104 134811813 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10554/statm): 3385 2664 364 364 0 3021 0 [pid=10554] vsize: 13540 Current children cumulated CPU time (s) 107.95 Current children cumulated vsize (Kb) 13540 [startup+120.011 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 10554 Raw data (/proc/10554/stat): 10554 (pb2sat) R 10553 10554 4060 0 -1 0 3684 0 0 0 11656 127 0 0 25 0 1 0 22070981 14110720 2824 4294967295 134512640 135987407 3221224560 3221223104 134811901 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10554/statm): 3445 2824 364 364 0 3081 0 [pid=10554] vsize: 13780 Current children cumulated CPU time (s) 117.83 Current children cumulated vsize (Kb) 13780 [startup+130.012 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 10554 Raw data (/proc/10554/stat): 10554 (pb2sat) R 10553 10554 4060 0 -1 0 4025 0 0 0 12634 136 0 0 25 0 1 0 22070981 18710528 3165 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10554/statm): 4568 3165 364 364 0 4204 0 [pid=10554] vsize: 18272 Current children cumulated CPU time (s) 127.7 Current children cumulated vsize (Kb) 18272 [startup+140.013 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 10554 Raw data (/proc/10554/stat): 10554 (pb2sat) R 10553 10554 4060 0 -1 0 4238 0 0 0 13610 143 0 0 25 0 1 0 22070981 18821120 3378 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10554/statm): 4595 3378 364 364 0 4231 0 [pid=10554] vsize: 18380 Current children cumulated CPU time (s) 137.53 Current children cumulated vsize (Kb) 18380 [startup+150.015 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 10554 Raw data (/proc/10554/stat): 10554 (pb2sat) R 10553 10554 4060 0 -1 0 4318 0 0 0 14596 148 0 0 25 0 1 0 22070981 19087360 3458 4294967295 134512640 135987407 3221224560 3221223280 134812597 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10554/statm): 4660 3458 364 364 0 4296 0 [pid=10554] vsize: 18640 Current children cumulated CPU time (s) 147.44 Current children cumulated vsize (Kb) 18640 [startup+160.016 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 10554 Raw data (/proc/10554/stat): 10554 (pb2sat) R 10553 10554 4060 0 -1 0 4565 0 0 0 15568 157 0 0 25 0 1 0 22070981 19087360 3705 4294967295 134512640 135987407 3221224560 3221223200 134812383 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10554/statm): 4660 3705 364 364 0 4296 0 [pid=10554] vsize: 18640 Current children cumulated CPU time (s) 157.25 Current children cumulated vsize (Kb) 18640 [startup+170.015 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 10554 Raw data (/proc/10554/stat): 10554 (pb2sat) R 10553 10554 4060 0 -1 0 4761 0 0 0 16545 165 0 0 25 0 1 0 22070981 19341312 3901 4294967295 134512640 135987407 3221224560 3221223036 134931504 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10554/statm): 4722 3901 364 364 0 4358 0 [pid=10554] vsize: 18888 Current children cumulated CPU time (s) 167.1 Current children cumulated vsize (Kb) 18888 [startup+180.016 s] Raw data (loadavg): 1.08 0.99 0.94 2/55 10554 Raw data (/proc/10554/stat): 10554 (pb2sat) R 10553 10554 4060 0 -1 0 4831 0 0 0 17523 173 0 0 25 0 1 0 22070981 19574784 3971 4294967295 134512640 135987407 3221224560 3221223280 134813091 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10554/statm): 4779 3971 364 364 0 4415 0 [pid=10554] vsize: 19116 Current children cumulated CPU time (s) 176.96 Current children cumulated vsize (Kb) 19116 [startup+190.017 s] Raw data (loadavg): 1.07 0.99 0.94 2/55 10554 Raw data (/proc/10554/stat): 10554 (pb2sat) R 10553 10554 4060 0 -1 0 4868 0 0 0 18503 180 0 0 25 0 1 0 22070981 19705856 4008 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10554/statm): 4811 4008 364 364 0 4447 0 [pid=10554] vsize: 19244 Current children cumulated CPU time (s) 186.83 Current children cumulated vsize (Kb) 19244 [startup+200.018 s] Raw data (loadavg): 1.06 0.99 0.94 2/55 10554 Raw data (/proc/10554/stat): 10554 (pb2sat) R 10553 10554 4060 0 -1 0 4961 0 0 0 19483 188 0 0 25 0 1 0 22070981 19939328 4101 4294967295 134512640 135987407 3221224560 3221223280 134812672 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10554/statm): 4868 4101 364 364 0 4504 0 [pid=10554] vsize: 19472 Current children cumulated CPU time (s) 196.71 Current children cumulated vsize (Kb) 19472 [startup+210.018 s] Raw data (loadavg): 1.05 0.99 0.94 2/55 10554 Raw data (/proc/10554/stat): 10554 (pb2sat) R 10553 10554 4060 0 -1 0 4993 0 0 0 20464 195 0 0 25 0 1 0 22070981 20037632 4133 4294967295 134512640 135987407 3221224560 3221222880 134849898 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10554/statm): 4892 4133 364 364 0 4528 0 [pid=10554] vsize: 19568 Current children cumulated CPU time (s) 206.59 Current children cumulated vsize (Kb) 19568 One traced child (pid=10554) exited with status: 30 All traced children have exited ! Game is over. Child status: 30 Real time (s): 219.594 CPU time (s): 216.065 CPU user time (s): 214.046 CPU system time (s): 2.01869 CPU usage (%): 98.3929 Max. virtual memory (cumulated for all children) (Kb): 19568
Verifier: OK 344750