Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sctap2.opb |
MD5SUM | c5a9e8be191d07f712a0a357db2fa392 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2147483647 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 42300 |
Biggest coefficient in the objective function | 42949672960 |
Number of bits for the biggest coefficient in the objective function | 36 |
Sum of the numbers in the objective function | 26381836591110 |
Number of bits of the sum of numbers in the objective function | 45 |
Biggest number in a constraint | 42949672960 |
Number of bits of the biggest number in a constraint | 36 |
Biggest sum of numbers in a constraint | 26381836591110 |
Number of bits of the biggest sum of numbers | 45 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1304.69 |
Number of variables | 56400 |
Total number of constraints | 1090 |
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 | 1090 |
Minimum length of a constraint | 90 |
Maximum length of a constraint | 720 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc27 THE 2005-05-25 04:10:45 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=11326 boxname=wulflinc27 idbench=872 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: c5a9e8be191d07f712a0a357db2fa392 /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-sctap2.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-sctap2.opb IDLAUNCH: 11326 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.169 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 : 3 cpu MHz : 451.169 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: 660884 kB Buffers: 30236 kB Cached: 321568 kB SwapCached: 640 kB Active: 66388 kB Inactive: 287880 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 660632 kB SwapTotal: 2097892 kB SwapFree: 2096760 kB Dirty: 44 kB Writeback: 0 kB Mapped: 5644 kB Slab: 13900 kB Committed_AS: 63596 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 04:17:09 (client local time) WITH STATUS 0 IN 382.861 SECONDS stats: 11326 7 382.861 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c ERROR Parsing file!!! c ERROR parsing line: -5*Z3Z10ZZ9_bit_10 -10*Z3Z10ZZ9_bit_9 -20*Z3Z10ZZ9_bit_8 -40*Z3Z10ZZ9_bit_7 -80*Z3Z10ZZ9_bit_6 -160*Z3Z10ZZ9_bit_5 -320*Z3Z10ZZ9_bit_4 -640*Z3Z10ZZ9_bit_3 -1280*Z3Z10ZZ9_bit_2 -2560*Z3Z10ZZ9_bit_1 -5120*Z3Z10ZZ9_bit0 -10240*Z3Z10ZZ9_bit1 -20480*Z3Z10ZZ9_bit2 -40960*Z3Z10ZZ9_bit3 -81920*Z3Z10ZZ9_bit4 -163840*Z3Z10ZZ9_bit5 -327680*Z3Z10ZZ9_bit6 -655360*Z3Z10ZZ9_bit7 -1310720*Z3Z10ZZ9_bit8 -2621440*Z3Z10ZZ9_bit9 -5242880*Z3Z10ZZ9_bit10 -10485760*Z3Z10ZZ9_bit11 -20971520*Z3Z10ZZ9_bit12 -41943040*Z3Z10ZZ9_bit13 -83886080*Z3Z10ZZ9_bit14 -167772160*Z3Z10ZZ9_bit15 -335544320*Z3Z10ZZ9_bit16 -671088640*Z3Z10ZZ9_bit17 -1342177280*Z3Z10ZZ9_bit18 -2684354560*Z3Z10ZZ9_bit19 -1*Z4Z10ZZ9_bit_10 -2*Z4Z10ZZ9_bit_9 -4*Z4Z10ZZ9_bit_8 -8*Z4Z10ZZ9_bit_7 -16*Z4Z10ZZ9_bit_6 -32*Z4Z10ZZ9_bit_5 -64*Z4Z10ZZ9_bit_4 -128*Z4Z10ZZ9_bit_3 -256*Z4Z10ZZ9_bit_2 -512*Z4Z10ZZ9_bit_1 -1024*Z4Z10ZZ9_bit0 -2048*Z4Z10ZZ9_bit1 -4096*Z4Z10ZZ9_bit2 -8192*Z4Z10ZZ9_bit3 -16384*Z4Z10ZZ9_bit4 -32768*Z4Z10ZZ9_bit5 -65536*Z4Z10ZZ9_bit6 -131072*Z4Z10ZZ9_bit7 -262144*Z4Z10ZZ9_bit8 -524288*Z4Z10ZZ9_bit9 -1048576*Z4Z10ZZ9_bit10 -2097152*Z4Z10ZZ9_bit11 -4194304*Z4Z10ZZ9_bit12 -8388608*Z4Z10ZZ9_bit13 -16777216*Z4Z10ZZ9_bit14 -33554432*Z4Z10ZZ9_bit15 -67108864*Z4Z10ZZ9_bit16 -134217728*Z4Z10ZZ9_bit17 -268435456*Z4Z10ZZ9_bit18 -536870912*Z4Z10ZZ9_bit19 +10*Z2Z10Z10_bit_10 +20*Z2Z10Z10_bit_9 +40*Z2Z10Z10_bit_8 +80*Z2Z10Z10_bit_7 +160*Z2Z10Z10_bit_6 +320*Z2Z10Z10_bit_5 +640*Z2Z10Z10_bit_4 +1280*Z2Z10Z10_bit_3 +2560*Z2Z10Z10_bit_2 +5120*Z2Z10Z10_bit_1 +10240*Z2Z10Z10_bit0 +20480*Z2Z10Z10_bit1 +40960*Z2Z10Z10_bit2 +81920*Z2Z10Z10_bit3 +163840*Z2Z10Z10_bit4 +327680*Z2Z10Z10_bit5 +655360*Z2Z10Z10_bit6 +1310720*Z2Z10Z10_bit7 +2621440*Z2Z10Z10_bit8 +5242880*Z2Z10Z10_bit9 +10485760*Z2Z10Z10_bit10 +20971520*Z2Z10Z10_bit11 +41943040*Z2Z10Z10_bit12 +83886080*Z2Z10Z10_bit13 +167772160*Z2Z10Z10_bit14 +335544320*Z2Z10Z10_bit15 +671088640*Z2Z10Z10_bit16 +1342177280*Z2Z10Z10_bit17 +2684354560*Z2Z10Z10_bit18 +5368709120*Z2Z10Z10_bit19 +20*Z3Z10Z10_bit_10 +40*Z3Z10Z10_bit_9 +80*Z3Z10Z10_bit_8 +160*Z3Z10Z10_bit_7 +320*Z3Z10Z10_bit_6 +640*Z3Z10Z10_bit_5 +1280*Z3Z10Z10_bit_4 +2560*Z3Z10Z10_bit_3 +5120*Z3Z10Z10_bit_2 +10240*Z3Z10Z10_bit_1 +20480*Z3Z10Z10_bit0 +40960*Z3Z10Z10_bit1 +81920*Z3Z10Z10_bit2 +163840*Z3Z10Z10_bit3 +327680*Z3Z10Z10_bit4 +655360*Z3Z10Z10_bit5 +1310720*Z3Z10Z10_bit6 +2621440*Z3Z10Z10_bit7 +5242880*Z3Z10Z10_bit8 +10485760*Z3Z10Z10_bit9 +20971520*Z3Z10Z10_bit10 +41943040*Z3Z10Z10_bit11 +83886080*Z3Z10Z10_bit12 +167772160*Z3Z10Z10_bit13 +335544320*Z3Z10Z10_bit14 +671088640*Z3Z10Z10_bit15 +1342177280*Z3Z10Z10_bit16 +2684354560*Z3Z10Z10_bit17 +5368709120*Z3Z10Z10_bit18 +10737418240*Z3Z10Z10_bit19 +1*Z4Z10Z10_bit_10 +2*Z4Z10Z10_bit_9 +4*Z4Z10Z10_bit_8 +8*Z4Z10Z10_bit_7 +16*Z4Z10Z10_bit_6 +32*Z4Z10Z10_bit_5 +64*Z4Z10Z10_bit_4 +128*Z4Z10Z10_bit_3 +256*Z4Z10Z10_bit_2 +512*Z4Z10Z10_bit_1 +1024*Z4Z10Z10_bit0 +2048*Z4Z10Z10_bit1 +4096*Z4Z10Z10_bit2 +8192*Z4Z10Z10_bit3 +16384*Z4Z10Z10_bit4 +32768*Z4Z10Z10_bit5 +65536*Z4Z10Z10_bit6 +131072*Z4Z10Z10_bit7 +262144*Z4Z10Z10_bit8 +524288*Z4Z10Z10_bit9 +1048576*Z4Z10Z10_bit10 +2097152*Z4Z10Z10_bit11 +4194304*Z4Z10Z10_bit12 +8388608*Z4Z10Z10_bit13 +16777216*Z4Z10Z10_bit14 +33554432*Z4Z10Z10_bit15 +67108864*Z4Z10Z10_bit16 +134217728*Z4Z10Z10_bit17 +268435456*Z4Z10Z10_bit18 +536870912*Z4Z10Z10_bit19 >= +0; c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-sctap2.opb s UNKNOWN c Exit Code: 0 c Total time: 382.811 s #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.87 0.94 0.90 2/54 13064 Raw data (stat): 13064 (runsolver) R 13063 3394 3393 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 835888573 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+9.99991 s] Raw data (loadavg): 0.89 0.94 0.90 2/54 13064 Raw data (stat): 13064 (bsolo_mis) R 13063 3394 3393 0 -1 0 877 0 0 0 997 1 0 0 25 0 1 0 835888573 16379904 855 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3999 855 1111 63 0 3936 0 vsize: 15996 [startup+20.0007 s] Raw data (loadavg): 0.91 0.94 0.90 2/54 13064 Raw data (stat): 13064 (bsolo_mis) R 13063 3394 3393 0 -1 0 1225 0 0 0 1997 2 0 0 25 0 1 0 835888573 17838080 1203 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4355 1203 1111 63 0 4292 0 vsize: 17420 [startup+30.0098 s] Raw data (loadavg): 0.92 0.94 0.90 2/54 13064 Raw data (stat): 13064 (bsolo_mis) R 13063 3394 3393 0 -1 0 1575 0 0 0 2997 2 0 0 25 0 1 0 835888573 19304448 1553 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4713 1553 1111 63 0 4650 0 vsize: 18852 [startup+40.0096 s] Raw data (loadavg): 0.93 0.94 0.90 2/54 13064 Raw data (stat): 13064 (bsolo_mis) R 13063 3394 3393 0 -1 0 1929 0 0 0 3996 3 0 0 25 0 1 0 835888573 20631552 1907 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5037 1907 1111 63 0 4974 0 vsize: 20148 [startup+50.0102 s] Raw data (loadavg): 0.94 0.95 0.91 2/54 13064 Raw data (stat): 13064 (bsolo_mis) R 13063 3394 3393 0 -1 0 2276 0 0 0 4996 4 0 0 25 0 1 0 835888573 22106112 2254 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5397 2254 1111 63 0 5334 0 vsize: 21588 [startup+60.0103 s] Raw data (loadavg): 0.95 0.95 0.91 2/54 13064 Raw data (stat): 13064 (bsolo_mis) R 13063 3394 3393 0 -1 0 2640 0 0 0 5995 5 0 0 25 0 1 0 835888573 23601152 2618 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5762 2618 1111 63 0 5699 0 vsize: 23048 [startup+70.0108 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 13064 Raw data (stat): 13064 (bsolo_mis) R 13063 3394 3393 0 -1 0 3010 0 0 0 6995 6 0 0 25 0 1 0 835888573 25108480 2988 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6130 2988 1111 63 0 6067 0 vsize: 24520 [startup+80.0182 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 13064 Raw data (stat): 13064 (bsolo_mis) R 13063 3394 3393 0 -1 0 3394 0 0 0 7995 6 0 0 25 0 1 0 835888573 26755072 3372 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6532 3372 1111 63 0 6469 0 vsize: 26128 [startup+90.0174 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 13064 Raw data (stat): 13064 (bsolo_mis) R 13063 3394 3393 0 -1 0 3792 0 0 0 8994 7 0 0 25 0 1 0 835888573 28381184 3770 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6929 3770 1111 63 0 6866 0 vsize: 27716 [startup+100.02 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 13064 Raw data (stat): 13064 (bsolo_mis) R 13063 3394 3393 0 -1 0 4211 0 0 0 9993 8 0 0 25 0 1 0 835888573 30040064 4189 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7334 4189 1111 63 0 7271 0 vsize: 29336 [startup+110.028 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 13064 Raw data (stat): 13064 (bsolo_mis) R 13063 3394 3393 0 -1 0 4641 0 0 0 10994 9 0 0 25 0 1 0 835888573 31883264 4619 4294967295 134512640 134714540 3221224592 3221223248 134527935 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7784 4619 1111 63 0 7721 0 vsize: 31136 [startup+120.036 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 13064 Raw data (stat): 13064 (bsolo_mis) R 13063 3394 3393 0 -1 0 5070 0 0 0 11994 9 0 0 25 0 1 0 835888573 33538048 5048 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8188 5048 1111 63 0 8125 0 vsize: 32752 [startup+130.036 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 13064 Raw data (stat): 13064 (bsolo_mis) R 13063 3394 3393 0 -1 0 5512 0 0 0 12994 10 0 0 25 0 1 0 835888573 35344384 5490 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8629 5490 1111 63 0 8566 0 vsize: 34516 [startup+140.036 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 13064 Raw data (stat): 13064 (bsolo_mis) R 13063 3394 3393 0 -1 0 5953 0 0 0 13993 11 0 0 25 0 1 0 835888573 37150720 5931 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9070 5931 1111 63 0 9007 0 vsize: 36280 [startup+150.036 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 13064 Raw data (stat): 13064 (bsolo_mis) R 13063 3394 3393 0 -1 0 6397 0 0 0 14993 12 0 0 25 0 1 0 835888573 38957056 6375 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9511 6375 1111 63 0 9448 0 vsize: 38044 [startup+160.036 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 13064 Raw data (stat): 13064 (bsolo_mis) R 13063 3394 3393 0 -1 0 6868 0 0 0 15991 13 0 0 25 0 1 0 835888573 40914944 6846 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9989 6846 1111 63 0 9926 0 vsize: 39956 [startup+170.037 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 13064 Raw data (stat): 13064 (bsolo_mis) R 13063 3394 3393 0 -1 0 7355 0 0 0 16991 14 0 0 25 0 1 0 835888573 42987520 7333 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10495 7333 1111 63 0 10432 0 vsize: 41980 [startup+180.037 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 13064 Raw data (stat): 13064 (bsolo_mis) R 13063 3394 3393 0 -1 0 7844 0 0 0 17991 14 0 0 25 0 1 0 835888573 44945408 7822 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10973 7822 1111 63 0 10910 0 vsize: 43892 [startup+190.037 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 13064 Raw data (stat): 13064 (bsolo_mis) R 13063 3394 3393 0 -1 0 8344 0 0 0 18989 16 0 0 25 0 1 0 835888573 46903296 8322 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11451 8322 1111 63 0 11388 0 vsize: 45804 [startup+200.038 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 13064 Raw data (stat): 13064 (bsolo_mis) R 13063 3394 3393 0 -1 0 8870 0 0 0 19988 17 0 0 25 0 1 0 835888573 49233920 8848 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12020 8848 1111 63 0 11957 0 vsize: 48080 [startup+210.037 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 13064 Raw data (stat): 13064 (bsolo_mis) R 13063 3394 3393 0 -1 0 9394 0 0 0 20987 19 0 0 25 0 1 0 835888573 51306496 9372 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12526 9372 1111 63 0 12463 0 vsize: 50104 [startup+220.042 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 13064 Raw data (stat): 13064 (bsolo_mis) R 13063 3394 3393 0 -1 0 9935 0 0 0 21986 20 0 0 25 0 1 0 835888573 53567488 9913 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13078 9913 1111 63 0 13015 0 vsize: 52312 [startup+230.042 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 13064 Raw data (stat): 13064 (bsolo_mis) R 13063 3394 3393 0 -1 0 10480 0 0 0 22985 21 0 0 25 0 1 0 835888573 55820288 10458 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13628 10458 1111 63 0 13565 0 vsize: 54512 [startup+240.042 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 13064 Raw data (stat): 13064 (bsolo_mis) R 13063 3394 3393 0 -1 0 11034 0 0 0 23985 21 0 0 25 0 1 0 835888573 58085376 11012 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14181 11012 1111 63 0 14118 0 vsize: 56724 [startup+250.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13064 Raw data (stat): 13064 (bsolo_mis) R 13063 3394 3393 0 -1 0 11615 0 0 0 24984 22 0 0 25 0 1 0 835888573 60489728 11593 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14768 11593 1111 63 0 14705 0 vsize: 59072 [startup+260.048 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13064 Raw data (stat): 13064 (bsolo_mis) R 13063 3394 3393 0 -1 0 12198 0 0 0 25984 23 0 0 25 0 1 0 835888573 62746624 12176 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15319 12176 1111 63 0 15256 0 vsize: 61276 [startup+270.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13064 Raw data (stat): 13064 (bsolo_mis) R 13063 3394 3393 0 -1 0 12789 0 0 0 26983 25 0 0 25 0 1 0 835888573 65155072 12767 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15907 12767 1111 63 0 15844 0 vsize: 63628 [startup+280.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13064 Raw data (stat): 13064 (bsolo_mis) R 13063 3394 3393 0 -1 0 13393 0 0 0 27982 26 0 0 25 0 1 0 835888573 67710976 13371 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16531 13371 1111 63 0 16468 0 vsize: 66124 [startup+290.051 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13064 Raw data (stat): 13064 (bsolo_mis) R 13063 3394 3393 0 -1 0 14021 0 0 0 28981 27 0 0 25 0 1 0 835888573 70270976 13999 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17156 13999 1111 63 0 17093 0 vsize: 68624 [startup+300.053 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13064 Raw data (stat): 13064 (bsolo_mis) R 13063 3394 3393 0 -1 0 14662 0 0 0 29980 29 0 0 25 0 1 0 835888573 72830976 14640 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17781 14640 1111 63 0 17718 0 vsize: 71124 [startup+310.056 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13064 Raw data (stat): 13064 (bsolo_mis) R 13063 3394 3393 0 -1 0 15326 0 0 0 30978 30 0 0 25 0 1 0 835888573 75509760 15304 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18435 15304 1111 63 0 18372 0 vsize: 73740 [startup+320.062 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13064 Raw data (stat): 13064 (bsolo_mis) R 13063 3394 3393 0 -1 0 16017 0 0 0 31978 31 0 0 25 0 1 0 835888573 78368768 15995 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19133 15995 1111 63 0 19070 0 vsize: 76532 [startup+330.067 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13064 Raw data (stat): 13064 (bsolo_mis) R 13063 3394 3393 0 -1 0 16757 0 0 0 32977 33 0 0 25 0 1 0 835888573 81707008 16735 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19948 16735 1111 63 0 19885 0 vsize: 79792 [startup+340.067 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13064 Raw data (stat): 13064 (bsolo_mis) R 13063 3394 3393 0 -1 0 17512 0 0 0 33976 34 0 0 25 0 1 0 835888573 84721664 17490 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20684 17490 1111 63 0 20621 0 vsize: 82736 [startup+350.068 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13064 Raw data (stat): 13064 (bsolo_mis) R 13063 3394 3393 0 -1 0 18360 0 0 0 34975 35 0 0 25 0 1 0 835888573 88178688 18338 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21528 18338 1111 63 0 21465 0 vsize: 86112 [startup+360.068 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13064 Raw data (stat): 13064 (bsolo_mis) R 13063 3394 3393 0 -1 0 19238 0 0 0 35974 37 0 0 25 0 1 0 835888573 91758592 19216 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22402 19216 1111 63 0 22339 0 vsize: 89608 [startup+370.073 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13064 Raw data (stat): 13064 (bsolo_mis) R 13063 3394 3393 0 -1 0 20167 0 0 0 36972 39 0 0 25 0 1 0 835888573 95522816 20145 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23321 20145 1111 63 0 23258 0 vsize: 93284 [startup+380.075 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13064 Raw data (stat): 13064 (bsolo_mis) R 13063 3394 3393 0 -1 0 21140 0 0 0 37970 42 0 0 25 0 1 0 835888573 99586048 21118 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24313 21118 1111 63 0 24250 0 vsize: 97252 [startup+382.816 s] Raw data (loadavg): 0.99 0.97 0.91 1/53 13064 Raw data (stat): 13064 (bsolo_mis) R 13063 3394 3393 0 -1 0 21140 0 0 0 37970 42 0 0 25 0 1 0 835888573 99586048 21118 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24313 21118 1111 63 0 24250 0 vsize: 0 Child status: 0 Real time (s): 382.815 CPU time (s): 382.861 CPU user time (s): 382.397 CPU system time (s): 0.463929 CPU usage (%): 100.012 Max. virtual memory (Kb): 97252 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####