Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-a1c1s1.opb |
MD5SUM | ab27bfd879fc4acac2b1d87511f2d291 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 41280 |
Biggest coefficient in the objective function | 1342177280000000 |
Number of bits for the biggest coefficient in the objective function | 51 |
Sum of the numbers in the objective function | 260295726093315792 |
Number of bits of the sum of numbers in the objective function | 58 |
Biggest number in a constraint | 1342177280000000 |
Number of bits of the biggest number in a constraint | 51 |
Biggest sum of numbers in a constraint | 260295726093315792 |
Number of bits of the biggest sum of numbers | 58 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.973851 |
Number of variables | 107520 |
Total number of constraints | 3312 |
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 | 3312 |
Minimum length of a constraint | 50 |
Maximum length of a constraint | 820 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-05-24 16:23:03 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=12392 boxname=wulflinc5 idbench=954 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: ab27bfd879fc4acac2b1d87511f2d291 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-a1c1s1.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-a1c1s1.opb IDLAUNCH: 12392 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 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.007 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: 894692 kB Buffers: 2776 kB Cached: 115384 kB SwapCached: 636 kB Active: 32800 kB Inactive: 87992 kB HighTotal: 131008 kB HighFree: 13160 kB LowTotal: 903652 kB LowFree: 881532 kB SwapTotal: 2097136 kB SwapFree: 2096140 kB Dirty: 44 kB Writeback: 0 kB Mapped: 5752 kB Slab: 13424 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-24 16:29:27 (client local time) WITH STATUS 0 IN 383.96 SECONDS stats: 12392 7 383.96 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c ERROR Parsing file!!! c ERROR parsing line: -1*x1249_bit_10 -2*x1249_bit_9 -4*x1249_bit_8 -8*x1249_bit_7 -16*x1249_bit_6 -32*x1249_bit_5 -64*x1249_bit_4 -128*x1249_bit_3 -256*x1249_bit_2 -512*x1249_bit_1 -1024*x1249_bit0 -2048*x1249_bit1 -4096*x1249_bit2 -8192*x1249_bit3 -16384*x1249_bit4 -32768*x1249_bit5 -65536*x1249_bit6 -131072*x1249_bit7 -262144*x1249_bit8 -524288*x1249_bit9 -1048576*x1249_bit10 -2097152*x1249_bit11 -4194304*x1249_bit12 -8388608*x1249_bit13 -16777216*x1249_bit14 -33554432*x1249_bit15 -67108864*x1249_bit16 -134217728*x1249_bit17 -268435456*x1249_bit18 -536870912*x1249_bit19 +480*x2497_bit_10 +960*x2497_bit_9 +1920*x2497_bit_8 +3840*x2497_bit_7 +7680*x2497_bit_6 +15360*x2497_bit_5 +30720*x2497_bit_4 +61440*x2497_bit_3 +122880*x2497_bit_2 +245760*x2497_bit_1 +491520*x2497_bit0 +983040*x2497_bit1 +1966080*x2497_bit2 +3932160*x2497_bit3 +7864320*x2497_bit4 +15728640*x2497_bit5 +31457280*x2497_bit6 +62914560*x2497_bit7 +125829120*x2497_bit8 +251658240*x2497_bit9 +503316480*x2497_bit10 +1006632960*x2497_bit11 +2013265920*x2497_bit12 +4026531840*x2497_bit13 +8053063680*x2497_bit14 +16106127360*x2497_bit15 +32212254720*x2497_bit16 +64424509440*x2497_bit17 +128849018880*x2497_bit18 +257698037760*x2497_bit19 >= +0; c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-a1c1s1.opb s UNKNOWN c Exit Code: 0 c Total time: 383.903 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.86 0.95 0.96 2/54 9109 Raw data (stat): 9109 (runsolver) R 9108 7266 7265 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773425823 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+10.0001 s] Raw data (loadavg): 0.88 0.95 0.96 2/54 9109 Raw data (stat): 9109 (bsolo_mis) R 9108 7266 7265 0 -1 0 820 0 0 0 996 1 0 0 25 0 1 0 773425823 16257024 798 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3969 798 1111 63 0 3906 0 vsize: 15876 [startup+20.0008 s] Raw data (loadavg): 0.90 0.95 0.96 2/54 9109 Raw data (stat): 9109 (bsolo_mis) R 9108 7266 7265 0 -1 0 1129 0 0 0 1995 2 0 0 25 0 1 0 773425823 17403904 1107 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4249 1107 1111 63 0 4186 0 vsize: 16996 [startup+30.0009 s] Raw data (loadavg): 0.91 0.95 0.96 2/54 9109 Raw data (stat): 9109 (bsolo_mis) R 9108 7266 7265 0 -1 0 1438 0 0 0 2995 3 0 0 25 0 1 0 773425823 18759680 1416 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4580 1416 1111 63 0 4517 0 vsize: 18320 [startup+40.0013 s] Raw data (loadavg): 0.93 0.96 0.96 2/54 9109 Raw data (stat): 9109 (bsolo_mis) R 9108 7266 7265 0 -1 0 1764 0 0 0 3995 3 0 0 25 0 1 0 773425823 20066304 1742 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4899 1742 1111 63 0 4836 0 vsize: 19596 [startup+50.0011 s] Raw data (loadavg): 0.94 0.96 0.96 2/54 9109 Raw data (stat): 9109 (bsolo_mis) R 9108 7266 7265 0 -1 0 2073 0 0 0 4994 4 0 0 25 0 1 0 773425823 21270528 2051 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5193 2051 1111 63 0 5130 0 vsize: 20772 [startup+60.0014 s] Raw data (loadavg): 0.95 0.96 0.96 2/54 9109 Raw data (stat): 9109 (bsolo_mis) R 9108 7266 7265 0 -1 0 2381 0 0 0 5993 5 0 0 25 0 1 0 773425823 22618112 2359 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5522 2359 1111 63 0 5459 0 vsize: 22088 [startup+70.0016 s] Raw data (loadavg): 0.95 0.96 0.96 2/54 9109 Raw data (stat): 9109 (bsolo_mis) R 9108 7266 7265 0 -1 0 2717 0 0 0 6993 6 0 0 25 0 1 0 773425823 23953408 2695 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5848 2695 1111 63 0 5785 0 vsize: 23392 [startup+80.0013 s] Raw data (loadavg): 0.96 0.96 0.96 2/54 9109 Raw data (stat): 9109 (bsolo_mis) R 9108 7266 7265 0 -1 0 3048 0 0 0 7992 6 0 0 25 0 1 0 773425823 25276416 3026 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6171 3026 1111 63 0 6108 0 vsize: 24684 [startup+90.0014 s] Raw data (loadavg): 0.97 0.96 0.96 2/54 9109 Raw data (stat): 9109 (bsolo_mis) R 9108 7266 7265 0 -1 0 3386 0 0 0 8991 7 0 0 25 0 1 0 773425823 26775552 3364 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6537 3364 1111 63 0 6474 0 vsize: 26148 [startup+100.001 s] Raw data (loadavg): 0.97 0.96 0.96 2/54 9109 Raw data (stat): 9109 (bsolo_mis) R 9108 7266 7265 0 -1 0 3730 0 0 0 9990 8 0 0 25 0 1 0 773425823 28123136 3708 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6866 3708 1111 63 0 6803 0 vsize: 27464 [startup+110.002 s] Raw data (loadavg): 0.97 0.96 0.96 2/54 9109 Raw data (stat): 9109 (bsolo_mis) R 9108 7266 7265 0 -1 0 4090 0 0 0 10990 9 0 0 25 0 1 0 773425823 29626368 4068 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7233 4068 1111 63 0 7170 0 vsize: 28932 [startup+120.003 s] Raw data (loadavg): 0.98 0.96 0.96 2/54 9109 Raw data (stat): 9109 (bsolo_mis) R 9108 7266 7265 0 -1 0 4440 0 0 0 11989 10 0 0 25 0 1 0 773425823 30969856 4418 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7561 4418 1111 63 0 7498 0 vsize: 30244 [startup+130.002 s] Raw data (loadavg): 0.98 0.96 0.96 2/54 9109 Raw data (stat): 9109 (bsolo_mis) R 9108 7266 7265 0 -1 0 4806 0 0 0 12988 11 0 0 25 0 1 0 773425823 32624640 4784 4294967295 134512640 134714540 3221224592 3221222552 1077378037 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7965 4784 1111 63 0 7902 0 vsize: 31860 [startup+140.002 s] Raw data (loadavg): 0.98 0.97 0.96 2/54 9109 Raw data (stat): 9109 (bsolo_mis) R 9108 7266 7265 0 -1 0 5194 0 0 0 13988 12 0 0 25 0 1 0 773425823 34127872 5172 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8332 5172 1111 63 0 8269 0 vsize: 33328 [startup+150.002 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 9109 Raw data (stat): 9109 (bsolo_mis) R 9108 7266 7265 0 -1 0 5569 0 0 0 14987 12 0 0 25 0 1 0 773425823 35622912 5547 4294967295 134512640 134714540 3221224592 3221221260 1077253682 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8697 5547 1111 63 0 8634 0 vsize: 34788 [startup+160.002 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 9109 Raw data (stat): 9109 (bsolo_mis) R 9108 7266 7265 0 -1 0 5979 0 0 0 15987 13 0 0 25 0 1 0 773425823 37421056 5957 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9136 5957 1111 63 0 9073 0 vsize: 36544 [startup+170.002 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 9109 Raw data (stat): 9109 (bsolo_mis) R 9108 7266 7265 0 -1 0 6391 0 0 0 16986 14 0 0 25 0 1 0 773425823 39071744 6369 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9539 6369 1111 63 0 9476 0 vsize: 38156 [startup+180.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 9109 Raw data (stat): 9109 (bsolo_mis) R 9108 7266 7265 0 -1 0 6804 0 0 0 17986 15 0 0 25 0 1 0 773425823 40722432 6782 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9942 6782 1111 63 0 9879 0 vsize: 39768 [startup+190.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 9109 Raw data (stat): 9109 (bsolo_mis) R 9108 7266 7265 0 -1 0 7236 0 0 0 18985 15 0 0 25 0 1 0 773425823 42520576 7214 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10381 7214 1111 63 0 10318 0 vsize: 41524 [startup+200.002 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 9109 Raw data (stat): 9109 (bsolo_mis) R 9108 7266 7265 0 -1 0 7684 0 0 0 19984 17 0 0 25 0 1 0 773425823 44318720 7662 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10820 7662 1111 63 0 10757 0 vsize: 43280 [startup+210.002 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 9109 Raw data (stat): 9109 (bsolo_mis) R 9108 7266 7265 0 -1 0 8139 0 0 0 20983 18 0 0 25 0 1 0 773425823 46116864 8117 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11259 8117 1111 63 0 11196 0 vsize: 45036 [startup+220.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 9109 Raw data (stat): 9109 (bsolo_mis) R 9108 7266 7265 0 -1 0 8642 0 0 0 21982 19 0 0 25 0 1 0 773425823 48406528 8620 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11818 8620 1111 63 0 11755 0 vsize: 47272 [startup+230.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 9109 Raw data (stat): 9109 (bsolo_mis) R 9108 7266 7265 0 -1 0 9127 0 0 0 22981 20 0 0 25 0 1 0 773425823 50356224 9105 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12294 9105 1111 63 0 12231 0 vsize: 49176 [startup+240.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 9109 Raw data (stat): 9109 (bsolo_mis) R 9108 7266 7265 0 -1 0 9657 0 0 0 23981 20 0 0 25 0 1 0 773425823 52457472 9635 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12807 9635 1111 63 0 12744 0 vsize: 51228 [startup+250.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 9109 Raw data (stat): 9109 (bsolo_mis) R 9108 7266 7265 0 -1 0 10184 0 0 0 24980 21 0 0 25 0 1 0 773425823 54702080 10162 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13355 10162 1111 63 0 13292 0 vsize: 53420 [startup+260.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 9109 Raw data (stat): 9109 (bsolo_mis) R 9108 7266 7265 0 -1 0 10742 0 0 0 25979 22 0 0 25 0 1 0 773425823 56954880 10720 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13905 10720 1111 63 0 13842 0 vsize: 55620 [startup+270.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 9109 Raw data (stat): 9109 (bsolo_mis) R 9108 7266 7265 0 -1 0 11315 0 0 0 26978 23 0 0 25 0 1 0 773425823 59318272 11293 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14482 11293 1111 63 0 14419 0 vsize: 57928 [startup+280.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 9109 Raw data (stat): 9109 (bsolo_mis) R 9108 7266 7265 0 -1 0 11919 0 0 0 27977 25 0 0 25 0 1 0 773425823 61718528 11897 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15068 11897 1111 63 0 15005 0 vsize: 60272 [startup+290.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 9109 Raw data (stat): 9109 (bsolo_mis) R 9108 7266 7265 0 -1 0 12537 0 0 0 28976 26 0 0 25 0 1 0 773425823 64270336 12515 4294967295 134512640 134714540 3221224592 3221222820 1077414422 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15691 12515 1111 63 0 15628 0 vsize: 62764 [startup+300.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 9109 Raw data (stat): 9109 (bsolo_mis) R 9108 7266 7265 0 -1 0 13198 0 0 0 29975 27 0 0 25 0 1 0 773425823 66969600 13176 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16350 13176 1111 63 0 16287 0 vsize: 65400 [startup+310.005 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 9109 Raw data (stat): 9109 (bsolo_mis) R 9108 7266 7265 0 -1 0 13910 0 0 0 30974 29 0 0 25 0 1 0 773425823 69812224 13888 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17044 13888 1111 63 0 16981 0 vsize: 68176 [startup+320.005 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 9109 Raw data (stat): 9109 (bsolo_mis) R 9108 7266 7265 0 -1 0 14644 0 0 0 31973 30 0 0 25 0 1 0 773425823 72810496 14622 4294967295 134512640 134714540 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17776 14622 1111 63 0 17713 0 vsize: 71104 [startup+330.005 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 9109 Raw data (stat): 9109 (bsolo_mis) R 9108 7266 7265 0 -1 0 15402 0 0 0 32972 31 0 0 25 0 1 0 773425823 75960320 15380 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18545 15380 1111 63 0 18482 0 vsize: 74180 [startup+340.005 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 9109 Raw data (stat): 9109 (bsolo_mis) R 9108 7266 7265 0 -1 0 16192 0 0 0 33971 32 0 0 25 0 1 0 773425823 79106048 16170 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19313 16170 1111 63 0 19250 0 vsize: 77252 [startup+350.005 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 9109 Raw data (stat): 9109 (bsolo_mis) R 9108 7266 7265 0 -1 0 17048 0 0 0 34969 35 0 0 25 0 1 0 773425823 82886656 17026 4294967295 134512640 134714540 3221224592 3221223248 134527972 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20236 17026 1111 63 0 20173 0 vsize: 80944 [startup+360.006 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 9109 Raw data (stat): 9109 (bsolo_mis) R 9108 7266 7265 0 -1 0 17903 0 0 0 35967 37 0 0 25 0 1 0 773425823 86450176 17881 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21106 17881 1111 63 0 21043 0 vsize: 84424 [startup+370.005 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 9109 Raw data (stat): 9109 (bsolo_mis) R 9108 7266 7265 0 -1 0 18828 0 0 0 36965 39 0 0 25 0 1 0 773425823 90202112 18806 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22022 18806 1111 63 0 21959 0 vsize: 88088 [startup+380.005 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 9109 Raw data (stat): 9109 (bsolo_mis) R 9108 7266 7265 0 -1 0 20287 0 0 0 37962 42 0 0 25 0 1 0 773425823 96149504 20265 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23474 20265 1111 63 0 23411 0 vsize: 93896 [startup+383.921 s] Raw data (loadavg): 0.99 0.97 0.96 1/53 9109 Raw data (stat): 9109 (bsolo_mis) R 9108 7266 7265 0 -1 0 20287 0 0 0 37962 42 0 0 25 0 1 0 773425823 96149504 20265 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23474 20265 1111 63 0 23411 0 vsize: 0 Child status: 0 Real time (s): 383.921 CPU time (s): 383.96 CPU user time (s): 383.329 CPU system time (s): 0.630904 CPU usage (%): 100.01 Max. virtual memory (Kb): 93896 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####