Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-khb05250.opb |
MD5SUM | 5d4b655a5461d6a0782bca8bd105f9c2 |
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 | 37494 |
Biggest coefficient in the objective function | 6251324899328 |
Number of bits for the biggest coefficient in the objective function | 43 |
Sum of the numbers in the objective function | 5652283493428566 |
Number of bits of the sum of numbers in the objective function | 53 |
Biggest number in a constraint | 6251324899328 |
Number of bits of the biggest number in a constraint | 43 |
Biggest sum of numbers in a constraint | 5652283493428566 |
Number of bits of the biggest sum of numbers | 53 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1250.4 |
Number of variables | 38297 |
Total number of constraints | 126 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 24 |
Number of constraints which are nor clauses,nor cardinality constraints | 102 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 1530 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc2 THE 2005-05-24 15:38:26 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=13471 boxname=wulflinc2 idbench=1037 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: 5d4b655a5461d6a0782bca8bd105f9c2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-khb05250.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-khb05250.opb IDLAUNCH: 13471 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 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.191 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: 904728 kB Buffers: 33492 kB Cached: 75588 kB SwapCached: 876 kB Active: 72248 kB Inactive: 39456 kB HighTotal: 131008 kB HighFree: 51912 kB LowTotal: 903652 kB LowFree: 852816 kB SwapTotal: 2097136 kB SwapFree: 2095788 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5616 kB Slab: 12556 kB Committed_AS: 71788 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-24 15:46:17 (client local time) WITH STATUS 20 IN 470.324 SECONDS stats: 13471 7 470.324 20 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Initial problem consists of 38297 variables and 179 constraints. s UNSATISFIABLE c Exit Code: 20 c Total time: 470.268 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.85 0.95 0.99 2/54 32263 Raw data (stat): 32263 (runsolver) R 32262 31399 31398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773161287 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.0004 s] Raw data (loadavg): 0.87 0.95 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 975 0 0 0 996 2 0 0 25 0 1 0 773161287 16535552 953 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4037 953 1111 63 0 3974 0 vsize: 16148 [startup+20.0005 s] Raw data (loadavg): 0.89 0.95 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 1211 0 0 0 1996 3 0 0 25 0 1 0 773161287 17444864 1189 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4259 1189 1111 63 0 4196 0 vsize: 17036 [startup+30.0016 s] Raw data (loadavg): 0.91 0.95 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 1450 0 0 0 2996 3 0 0 25 0 1 0 773161287 18481152 1428 4294967295 134512640 134714540 3221224592 3221222820 1077414347 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4512 1428 1111 63 0 4449 0 vsize: 18048 [startup+40.0012 s] Raw data (loadavg): 0.92 0.95 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 1688 0 0 0 3995 4 0 0 25 0 1 0 773161287 19361792 1666 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4727 1666 1111 63 0 4664 0 vsize: 18908 [startup+50.0019 s] Raw data (loadavg): 0.93 0.95 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 1943 0 0 0 4994 5 0 0 25 0 1 0 773161287 20533248 1921 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5013 1921 1111 63 0 4950 0 vsize: 20052 [startup+60.0016 s] Raw data (loadavg): 0.94 0.95 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 2181 0 0 0 5994 5 0 0 25 0 1 0 773161287 21409792 2159 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5227 2159 1111 63 0 5164 0 vsize: 20908 [startup+70.0013 s] Raw data (loadavg): 0.95 0.96 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 2431 0 0 0 6993 6 0 0 25 0 1 0 773161287 22466560 2409 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5485 2409 1111 63 0 5422 0 vsize: 21940 [startup+80.002 s] Raw data (loadavg): 0.96 0.96 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 2682 0 0 0 7993 7 0 0 25 0 1 0 773161287 23527424 2660 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5744 2660 1111 63 0 5681 0 vsize: 22976 [startup+90.0017 s] Raw data (loadavg): 0.96 0.96 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 2948 0 0 0 8992 7 0 0 25 0 1 0 773161287 24576000 2926 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6000 2926 1111 63 0 5937 0 vsize: 24000 [startup+100.002 s] Raw data (loadavg): 0.97 0.96 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 3208 0 0 0 9992 8 0 0 25 0 1 0 773161287 25636864 3186 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6259 3186 1111 63 0 6196 0 vsize: 25036 [startup+110.003 s] Raw data (loadavg): 0.97 0.96 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 3475 0 0 0 10992 8 0 0 25 0 1 0 773161287 26693632 3453 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6517 3453 1111 63 0 6454 0 vsize: 26068 [startup+120.003 s] Raw data (loadavg): 0.98 0.96 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 3743 0 0 0 11992 9 0 0 25 0 1 0 773161287 27901952 3721 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6812 3721 1111 63 0 6749 0 vsize: 27248 [startup+130.004 s] Raw data (loadavg): 0.98 0.96 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 4016 0 0 0 12992 9 0 0 25 0 1 0 773161287 28962816 3994 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7071 3994 1111 63 0 7008 0 vsize: 28284 [startup+140.004 s] Raw data (loadavg): 0.98 0.96 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 4291 0 0 0 13991 10 0 0 25 0 1 0 773161287 30142464 4269 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7359 4269 1111 63 0 7296 0 vsize: 29436 [startup+150.005 s] Raw data (loadavg): 0.98 0.96 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 4576 0 0 0 14991 10 0 0 25 0 1 0 773161287 31199232 4554 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7617 4554 1111 63 0 7554 0 vsize: 30468 [startup+160.005 s] Raw data (loadavg): 0.99 0.96 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 4867 0 0 0 15990 11 0 0 25 0 1 0 773161287 32559104 4845 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7949 4845 1111 63 0 7886 0 vsize: 31796 [startup+170.004 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 5162 0 0 0 16990 11 0 0 25 0 1 0 773161287 33730560 5140 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8235 5140 1111 63 0 8172 0 vsize: 32940 [startup+180.006 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 5458 0 0 0 17990 12 0 0 25 0 1 0 773161287 34914304 5436 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8524 5436 1111 63 0 8461 0 vsize: 34096 [startup+190.007 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 5760 0 0 0 18990 12 0 0 25 0 1 0 773161287 36118528 5738 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8818 5738 1111 63 0 8755 0 vsize: 35272 [startup+200.007 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 6057 0 0 0 19990 13 0 0 25 0 1 0 773161287 37318656 6035 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9111 6035 1111 63 0 9048 0 vsize: 36444 [startup+210.007 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 6367 0 0 0 20989 13 0 0 25 0 1 0 773161287 38678528 6345 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9443 6345 1111 63 0 9380 0 vsize: 37772 [startup+220.006 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 6683 0 0 0 21988 14 0 0 25 0 1 0 773161287 39882752 6661 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9737 6661 1111 63 0 9674 0 vsize: 38948 [startup+230.006 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 7002 0 0 0 22988 15 0 0 25 0 1 0 773161287 41242624 6980 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10069 6980 1111 63 0 10006 0 vsize: 40276 [startup+240.007 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 7327 0 0 0 23988 15 0 0 25 0 1 0 773161287 42594304 7305 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10399 7305 1111 63 0 10336 0 vsize: 41596 [startup+250.007 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 7660 0 0 0 24987 16 0 0 25 0 1 0 773161287 43958272 7638 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10732 7638 1111 63 0 10669 0 vsize: 42928 [startup+260.013 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 7992 0 0 0 25988 16 0 0 25 0 1 0 773161287 45309952 7970 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11062 7970 1111 63 0 10999 0 vsize: 44248 [startup+270.013 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 8339 0 0 0 26987 17 0 0 25 0 1 0 773161287 46669824 8317 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11394 8317 1111 63 0 11331 0 vsize: 45576 [startup+280.014 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 8718 0 0 0 27987 17 0 0 25 0 1 0 773161287 48279552 8696 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11787 8696 1111 63 0 11724 0 vsize: 47148 [startup+290.028 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 9115 0 0 0 28988 18 0 0 25 0 1 0 773161287 49934336 9093 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12191 9093 1111 63 0 12128 0 vsize: 48764 [startup+300.046 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 9529 0 0 0 29989 19 0 0 25 0 1 0 773161287 51593216 9507 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12596 9507 1111 63 0 12533 0 vsize: 50384 [startup+310.046 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 9951 0 0 0 30988 20 0 0 25 0 1 0 773161287 53399552 9929 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13037 9929 1111 63 0 12974 0 vsize: 52148 [startup+320.057 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 10388 0 0 0 31988 21 0 0 25 0 1 0 773161287 55209984 10366 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13479 10366 1111 63 0 13416 0 vsize: 53916 [startup+330.069 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 10861 0 0 0 32988 22 0 0 25 0 1 0 773161287 57016320 10839 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13920 10839 1111 63 0 13857 0 vsize: 55680 [startup+340.068 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 11392 0 0 0 33987 24 0 0 25 0 1 0 773161287 59277312 11370 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14472 11370 1111 63 0 14409 0 vsize: 57888 [startup+350.069 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 11954 0 0 0 34986 25 0 0 25 0 1 0 773161287 61542400 11932 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15025 11932 1111 63 0 14962 0 vsize: 60100 [startup+360.069 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 12545 0 0 0 35985 26 0 0 25 0 1 0 773161287 63954944 12523 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15614 12523 1111 63 0 15551 0 vsize: 62456 [startup+370.069 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 13165 0 0 0 36985 27 0 0 25 0 1 0 773161287 66514944 13143 4294967295 134512640 134714540 3221224592 3221223248 134527928 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16239 13143 1111 63 0 16176 0 vsize: 64956 [startup+380.069 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 13814 0 0 0 37984 28 0 0 25 0 1 0 773161287 69074944 13792 4294967295 134512640 134714540 3221224592 3221223248 134527972 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16864 13792 1111 63 0 16801 0 vsize: 67456 [startup+390.069 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 14488 0 0 0 38982 29 0 0 25 0 1 0 773161287 71938048 14466 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17563 14466 1111 63 0 17500 0 vsize: 70252 [startup+400.07 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 15198 0 0 0 39981 31 0 0 25 0 1 0 773161287 74805248 15176 4294967295 134512640 134714540 3221224592 3221223248 134527956 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18263 15176 1111 63 0 18200 0 vsize: 73052 [startup+410.069 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 15952 0 0 0 40980 32 0 0 25 0 1 0 773161287 77791232 15930 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18992 15930 1111 63 0 18929 0 vsize: 75968 [startup+420.069 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 16802 0 0 0 41979 33 0 0 25 0 1 0 773161287 81616896 16780 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19926 16780 1111 63 0 19863 0 vsize: 79704 [startup+430.07 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 17683 0 0 0 42978 34 0 0 25 0 1 0 773161287 85204992 17661 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20802 17661 1111 63 0 20739 0 vsize: 83208 [startup+440.07 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 18650 0 0 0 43976 36 0 0 25 0 1 0 773161287 89120768 18628 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21758 18628 1111 63 0 21695 0 vsize: 87032 [startup+450.071 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 20256 0 0 0 44973 40 0 0 25 0 1 0 773161287 95076352 20086 4294967295 134512640 134714540 3221224592 3221222876 1077364384 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23212 20086 1111 63 0 23149 0 vsize: 92848 [startup+460.072 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 21670 0 0 0 45969 43 0 0 25 0 1 0 773161287 100904960 21500 4294967295 134512640 134714540 3221224592 3221222868 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24635 21500 1111 63 0 24572 0 vsize: 98540 [startup+470.071 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 22553 0 0 0 46966 46 0 0 25 0 1 0 773161287 104423424 22383 4294967295 134512640 134714540 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25494 22383 1111 63 0 25431 0 vsize: 101976 [startup+470.316 s] Raw data (loadavg): 0.99 0.97 0.99 1/53 32263 Raw data (stat): 32263 (bsolo_mis) R 32262 31399 31398 0 -1 0 22553 0 0 0 46966 46 0 0 25 0 1 0 773161287 104423424 22383 4294967295 134512640 134714540 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25494 22383 1111 63 0 25431 0 vsize: 0 Child status: 20 Real time (s): 470.315 CPU time (s): 470.324 CPU user time (s): 469.741 CPU system time (s): 0.582911 CPU usage (%): 100.002 Max. virtual memory (Kb): 101976 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####