Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship04l.opb |
MD5SUM | 96cffa4027013d4e1e663a2c8e2c78bc |
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 | 42360 |
Biggest coefficient in the objective function | 1930952704000 |
Number of bits for the biggest coefficient in the objective function | 41 |
Sum of the numbers in the objective function | 425698145420625 |
Number of bits of the sum of numbers in the objective function | 49 |
Biggest number in a constraint | 1930952704000 |
Number of bits of the biggest number in a constraint | 41 |
Biggest sum of numbers in a constraint | 425698145420625 |
Number of bits of the biggest sum of numbers | 49 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.365943 |
Number of variables | 42360 |
Total number of constraints | 352 |
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 | 352 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 1680 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc25 THE 2005-05-24 22:45:37 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=16396 boxname=wulflinc25 idbench=1262 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: 96cffa4027013d4e1e663a2c8e2c78bc /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-ship04l.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-ship04l.opb IDLAUNCH: 16396 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.220 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.220 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 870328 kB Buffers: 36112 kB Cached: 106828 kB SwapCached: 812 kB Active: 68064 kB Inactive: 77336 kB HighTotal: 131008 kB HighFree: 23548 kB LowTotal: 903652 kB LowFree: 846780 kB SwapTotal: 2097892 kB SwapFree: 2096616 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5600 kB Slab: 13256 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-24 22:53:36 (client local time) WITH STATUS 0 IN 478.718 SECONDS stats: 16396 7 478.718 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c ERROR Parsing file!!! c ERROR parsing line: +78125*SH040125_bit_7 +156250*SH040125_bit_6 +312500*SH040125_bit_5 +625000*SH040125_bit_4 +1250000*SH040125_bit_3 +2500000*SH040125_bit_2 +5000000*SH040125_bit_1 +10000000*SH040125_bit0 +20000000*SH040125_bit1 +40000000*SH040125_bit2 +80000000*SH040125_bit3 +160000000*SH040125_bit4 +320000000*SH040125_bit5 +640000000*SH040125_bit6 +1280000000*SH040125_bit7 +2560000000*SH040125_bit8 +5120000000*SH040125_bit9 +10240000000*SH040125_bit10 +20480000000*SH040125_bit11 +40960000000*SH040125_bit12 +78125*SH040225_bit_7 +156250*SH040225_bit_6 +312500*SH040225_bit_5 +625000*SH040225_bit_4 +1250000*SH040225_bit_3 +2500000*SH040225_bit_2 +5000000*SH040225_bit_1 +10000000*SH040225_bit0 +20000000*SH040225_bit1 +40000000*SH040225_bit2 +80000000*SH040225_bit3 +160000000*SH040225_bit4 +320000000*SH040225_bit5 +640000000*SH040225_bit6 +1280000000*SH040225_bit7 +2560000000*SH040225_bit8 +5120000000*SH040225_bit9 +10240000000*SH040225_bit10 +20480000000*SH040225_bit11 +40960000000*SH040225_bit12 +78125*SH040325_bit_7 +156250*SH040325_bit_6 +312500*SH040325_bit_5 +625000*SH040325_bit_4 +1250000*SH040325_bit_3 +2500000*SH040325_bit_2 +5000000*SH040325_bit_1 +10000000*SH040325_bit0 +20000000*SH040325_bit1 +40000000*SH040325_bit2 +80000000*SH040325_bit3 +160000000*SH040325_bit4 +320000000*SH040325_bit5 +640000000*SH040325_bit6 +1280000000*SH040325_bit7 +2560000000*SH040325_bit8 +5120000000*SH040325_bit9 +10240000000*SH040325_bit10 +20480000000*SH040325_bit11 +40960000000*SH040325_bit12 +78125*SH040425_bit_7 +156250*SH040425_bit_6 +312500*SH040425_bit_5 +625000*SH040425_bit_4 +1250000*SH040425_bit_3 +2500000*SH040425_bit_2 +5000000*SH040425_bit_1 +10000000*SH040425_bit0 +20000000*SH040425_bit1 +40000000*SH040425_bit2 +80000000*SH040425_bit3 +160000000*SH040425_bit4 +320000000*SH040425_bit5 +640000000*SH040425_bit6 +1280000000*SH040425_bit7 +2560000000*SH040425_bit8 +5120000000*SH040425_bit9 +10240000000*SH040425_bit10 +20480000000*SH040425_bit11 +40960000000*SH040425_bit12 +78125*SH040525_bit_7 +156250*SH040525_bit_6 +312500*SH040525_bit_5 +625000*SH040525_bit_4 +1250000*SH040525_bit_3 +2500000*SH040525_bit_2 +5000000*SH040525_bit_1 +10000000*SH040525_bit0 +20000000*SH040525_bit1 +40000000*SH040525_bit2 +80000000*SH040525_bit3 +160000000*SH040525_bit4 +320000000*SH040525_bit5 +640000000*SH040525_bit6 +1280000000*SH040525_bit7 +2560000000*SH040525_bit8 +5120000000*SH040525_bit9 +10240000000*SH040525_bit10 +20480000000*SH040525_bit11 +40960000000*SH040525_bit12 +78125*SH040625_bit_7 +156250*SH040625_bit_6 +312500*SH040625_bit_5 +625000*SH040625_bit_4 +1250000*SH040625_bit_3 +2500000*SH040625_bit_2 +5000000*SH040625_bit_1 +10000000*SH040625_bit0 +20000000*SH040625_bit1 +40000000*SH040625_bit2 +80000000*SH040625_bit3 +160000000*SH040625_bit4 +320000000*SH040625_bit5 +640000000*SH040625_bit6 +1280000000*SH040625_bit7 +2560000000*SH040625_bit8 +5120000000*SH040625_bit9 +10240000000*SH040625_bit10 +20480000000*SH040625_bit11 +40960000000*SH040625_bit12 +78125*SH040825_bit_7 +156250*SH040825_bit_6 +312500*SH040825_bit_5 +625000*SH040825_bit_4 +1250000*SH040825_bit_3 +2500000*SH040825_bit_2 +5000000*SH040825_bit_1 +10000000*SH040825_bit0 +20000000*SH040825_bit1 +40000000*SH040825_bit2 +80000000*SH040825_bit3 +160000000*SH040825_bit4 +320000000*SH040825_bit5 +640000000*SH040825_bit6 +1280000000*SH040825_bit7 +2560000000*SH040825_bit8 +5120000000*SH040825_bit9 +10240000000*SH040825_bit10 +20480000000*SH040825_bit11 +40960000000*SH040825_bit12 = +156302; c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-ship04l.opb s UNKNOWN c Exit Code: 0 c Total time: 478.651 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.94 0.96 1/54 4421 Raw data (stat): 4421 (runsolver) D 4420 1586 1585 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 833957358 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 3225161850 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0007 s] Raw data (loadavg): 0.88 0.94 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 917 0 0 0 992 2 0 0 25 0 1 0 833957358 16470016 895 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4021 895 1111 63 0 3958 0 vsize: 16084 [startup+20.0018 s] Raw data (loadavg): 0.90 0.94 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 1313 0 0 0 1992 3 0 0 25 0 1 0 833957358 18034688 1291 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4403 1291 1111 63 0 4340 0 vsize: 17612 [startup+30.0014 s] Raw data (loadavg): 0.91 0.94 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 1726 0 0 0 2991 4 0 0 25 0 1 0 833957358 19734528 1704 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4818 1704 1111 63 0 4755 0 vsize: 19272 [startup+40.001 s] Raw data (loadavg): 0.93 0.94 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 2138 0 0 0 3990 5 0 0 25 0 1 0 833957358 21422080 2116 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5230 2116 1111 63 0 5167 0 vsize: 20920 [startup+50.0013 s] Raw data (loadavg): 0.94 0.95 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 2545 0 0 0 4990 6 0 0 25 0 1 0 833957358 23113728 2523 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5643 2523 1111 63 0 5580 0 vsize: 22572 [startup+60.0012 s] Raw data (loadavg): 0.95 0.95 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 2960 0 0 0 5989 7 0 0 25 0 1 0 833957358 24809472 2938 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6057 2938 1111 63 0 5994 0 vsize: 24228 [startup+70.0018 s] Raw data (loadavg): 0.95 0.95 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 3380 0 0 0 6989 7 0 0 25 0 1 0 833957358 26509312 3358 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6472 3358 1111 63 0 6409 0 vsize: 25888 [startup+80.0024 s] Raw data (loadavg): 0.96 0.95 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 3808 0 0 0 7988 8 0 0 25 0 1 0 833957358 28360704 3786 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6924 3786 1111 63 0 6861 0 vsize: 27696 [startup+90.002 s] Raw data (loadavg): 0.97 0.95 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 4237 0 0 0 8987 9 0 0 25 0 1 0 833957358 30052352 4215 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7337 4215 1111 63 0 7274 0 vsize: 29348 [startup+100.002 s] Raw data (loadavg): 0.97 0.95 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 4673 0 0 0 9987 10 0 0 25 0 1 0 833957358 31891456 4651 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7786 4651 1111 63 0 7723 0 vsize: 31144 [startup+110.002 s] Raw data (loadavg): 0.98 0.95 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 5115 0 0 0 10986 11 0 0 25 0 1 0 833957358 33583104 5093 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8199 5093 1111 63 0 8136 0 vsize: 32796 [startup+120.002 s] Raw data (loadavg): 0.98 0.95 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 5564 0 0 0 11985 12 0 0 25 0 1 0 833957358 35422208 5542 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8648 5542 1111 63 0 8585 0 vsize: 34592 [startup+130.001 s] Raw data (loadavg): 0.98 0.95 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 6005 0 0 0 12985 13 0 0 25 0 1 0 833957358 37257216 5983 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9096 5983 1111 63 0 9033 0 vsize: 36384 [startup+140.001 s] Raw data (loadavg): 0.98 0.95 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 6472 0 0 0 13984 13 0 0 25 0 1 0 833957358 39276544 6450 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9589 6450 1111 63 0 9526 0 vsize: 38356 [startup+150.002 s] Raw data (loadavg): 0.99 0.95 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 6928 0 0 0 14984 14 0 0 25 0 1 0 833957358 41107456 6906 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10036 6906 1111 63 0 9973 0 vsize: 40144 [startup+160.001 s] Raw data (loadavg): 0.99 0.96 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 7384 0 0 0 15983 15 0 0 25 0 1 0 833957358 42946560 7362 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10485 7362 1111 63 0 10422 0 vsize: 41940 [startup+170.002 s] Raw data (loadavg): 0.99 0.96 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 7846 0 0 0 16983 15 0 0 25 0 1 0 833957358 44916736 7824 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10966 7824 1111 63 0 10903 0 vsize: 43864 [startup+180.002 s] Raw data (loadavg): 0.99 0.96 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 8324 0 0 0 17982 16 0 0 25 0 1 0 833957358 46755840 8302 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11415 8302 1111 63 0 11352 0 vsize: 45660 [startup+190.002 s] Raw data (loadavg): 0.99 0.96 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 8821 0 0 0 18981 17 0 0 25 0 1 0 833957358 48877568 8799 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11933 8799 1111 63 0 11870 0 vsize: 47732 [startup+200.003 s] Raw data (loadavg): 0.99 0.96 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 9312 0 0 0 19980 18 0 0 25 0 1 0 833957358 50847744 9290 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12414 9290 1111 63 0 12351 0 vsize: 49656 [startup+210.002 s] Raw data (loadavg): 0.99 0.96 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 9817 0 0 0 20980 19 0 0 25 0 1 0 833957358 52969472 9795 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12932 9795 1111 63 0 12869 0 vsize: 51728 [startup+220.003 s] Raw data (loadavg): 0.99 0.96 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 10329 0 0 0 21979 20 0 0 25 0 1 0 833957358 54947840 10307 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13415 10307 1111 63 0 13352 0 vsize: 53660 [startup+230.003 s] Raw data (loadavg): 0.99 0.96 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 10840 0 0 0 22978 21 0 0 25 0 1 0 833957358 57061376 10818 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13931 10818 1111 63 0 13868 0 vsize: 55724 [startup+240.002 s] Raw data (loadavg): 0.99 0.96 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 11378 0 0 0 23977 22 0 0 25 0 1 0 833957358 59322368 11356 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14483 11356 1111 63 0 14420 0 vsize: 57932 [startup+250.003 s] Raw data (loadavg): 0.99 0.96 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 11969 0 0 0 24977 23 0 0 25 0 1 0 833957358 61829120 11947 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15095 11947 1111 63 0 15032 0 vsize: 60380 [startup+260.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 12570 0 0 0 25976 24 0 0 25 0 1 0 833957358 64229376 12548 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15681 12548 1111 63 0 15618 0 vsize: 62724 [startup+270.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 13179 0 0 0 26975 25 0 0 25 0 1 0 833957358 66768896 13157 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16301 13157 1111 63 0 16238 0 vsize: 65204 [startup+280.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 13808 0 0 0 27974 26 0 0 25 0 1 0 833957358 69312512 13786 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16922 13786 1111 63 0 16859 0 vsize: 67688 [startup+290.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 14438 0 0 0 28973 28 0 0 25 0 1 0 833957358 71856128 14416 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17543 14416 1111 63 0 17480 0 vsize: 70172 [startup+300.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 15081 0 0 0 29971 29 0 0 25 0 1 0 833957358 74539008 15059 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18198 15059 1111 63 0 18135 0 vsize: 72792 [startup+310.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 15764 0 0 0 30970 31 0 0 25 0 1 0 833957358 77361152 15742 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18887 15742 1111 63 0 18824 0 vsize: 75548 [startup+320.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 16485 0 0 0 31969 32 0 0 25 0 1 0 833957358 80330752 16463 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19612 16463 1111 63 0 19549 0 vsize: 78448 [startup+330.005 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 17231 0 0 0 32967 34 0 0 25 0 1 0 833957358 83292160 17209 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20335 17209 1111 63 0 20272 0 vsize: 81340 [startup+340.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 17979 0 0 0 33966 35 0 0 25 0 1 0 833957358 86401024 17957 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21094 17957 1111 63 0 21031 0 vsize: 84376 [startup+350.005 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 18745 0 0 0 34965 37 0 0 25 0 1 0 833957358 89505792 18723 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21852 18723 1111 63 0 21789 0 vsize: 87408 [startup+360.005 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 19527 0 0 0 35964 38 0 0 25 0 1 0 833957358 92753920 19505 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22645 19505 1111 63 0 22582 0 vsize: 90580 [startup+370.006 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 20342 0 0 0 36963 39 0 0 25 0 1 0 833957358 96006144 20320 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23439 20320 1111 63 0 23376 0 vsize: 93756 [startup+380.005 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 21235 0 0 0 37961 41 0 0 25 0 1 0 833957358 99676160 21213 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24335 21213 1111 63 0 24272 0 vsize: 97340 [startup+390.005 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 22167 0 0 0 38960 42 0 0 25 0 1 0 833957358 103485440 22145 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25265 22145 1111 63 0 25202 0 vsize: 101060 [startup+400.006 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 23152 0 0 0 39959 44 0 0 25 0 1 0 833957358 107827200 23130 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26325 23130 1111 63 0 26262 0 vsize: 105300 [startup+410.006 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 24120 0 0 0 40957 46 0 0 25 0 1 0 833957358 111775744 24098 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27289 24098 1111 63 0 27226 0 vsize: 109156 [startup+420.006 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 25117 0 0 0 41955 48 0 0 25 0 1 0 833957358 115736576 25095 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28256 25095 1111 63 0 28193 0 vsize: 113024 [startup+430.006 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 26153 0 0 0 42953 50 0 0 25 0 1 0 833957358 119967744 26131 4294967295 134512640 134714540 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29289 26131 1111 63 0 29226 0 vsize: 117156 [startup+440.006 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 27225 0 0 0 43951 52 0 0 25 0 1 0 833957358 124350464 27203 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30359 27203 1111 63 0 30296 0 vsize: 121436 [startup+450.007 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 28353 0 0 0 44950 54 0 0 25 0 1 0 833957358 129007616 28331 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31496 28331 1111 63 0 31433 0 vsize: 125984 [startup+460.007 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 29514 0 0 0 45947 56 0 0 25 0 1 0 833957358 133808128 29492 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 32668 29492 1111 63 0 32605 0 vsize: 130672 [startup+470.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 31049 0 0 0 46943 61 0 0 25 0 1 0 833957358 139972608 31027 4294967295 134512640 134714540 3221224592 3221223264 134569340 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 34173 31027 1111 63 0 34110 0 vsize: 136692 [startup+478.69 s] Raw data (loadavg): 0.99 0.97 0.96 1/53 4421 Raw data (stat): 4421 (bsolo_mis) R 4420 1586 1585 0 -1 0 31049 0 0 0 46943 61 0 0 25 0 1 0 833957358 139972608 31027 4294967295 134512640 134714540 3221224592 3221223264 134569340 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 34173 31027 1111 63 0 34110 0 vsize: 0 Child status: 0 Real time (s): 478.69 CPU time (s): 478.718 CPU user time (s): 478.013 CPU system time (s): 0.704892 CPU usage (%): 100.006 Max. virtual memory (Kb): 136692 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####