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 wulflinc6 THE 2005-06-07 21:19:57 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=27916 boxname=wulflinc6 idbench=872 idsolver=20 numberseed=0 MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048 /oldhome/oroussel/solvers/bsolo_lpr-v2 MD5SUM BENCH: c5a9e8be191d07f712a0a357db2fa392 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-sctap2.opb REAL COMMAND: bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-sctap2.opb IDLAUNCH: 27916 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 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.042 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: 792424 kB Buffers: 34276 kB Cached: 184520 kB SwapCached: 1796 kB Active: 40488 kB Inactive: 181256 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 792172 kB SwapTotal: 2097136 kB SwapFree: 2094416 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5052 kB Slab: 14828 kB Committed_AS: 63736 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-07 21:26:20 (client local time) WITH STATUS 0 IN 383.385 SECONDS stats: 27916 7 383.385 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. 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/wulflinc6/normalized-mps-v2-20-10-sctap2.opb s UNKNOWN c Exit Code: 0 c Total time: 383.336 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 Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.87 0.90 0.89 2/54 19727 Raw data (stat): 19727 (runsolver) R 19726 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 896182834 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+9.99955 s] Raw data (loadavg): 0.89 0.90 0.89 2/54 19727 Raw data (stat): 19727 (bsolo_lpr-v2) R 19726 25568 25567 0 -1 0 1042 0 0 0 994 3 0 0 25 0 1 0 896182834 16535552 962 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4037 962 1111 63 0 3974 0 vsize: 16148 [startup+19.9996 s] Raw data (loadavg): 0.91 0.90 0.89 2/54 19727 Raw data (stat): 19727 (bsolo_lpr-v2) R 19726 25568 25567 0 -1 0 1398 0 0 0 1994 3 0 0 25 0 1 0 896182834 17993728 1318 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4393 1318 1111 63 0 4330 0 vsize: 17572 [startup+29.9991 s] Raw data (loadavg): 0.92 0.90 0.89 2/54 19727 Raw data (stat): 19727 (bsolo_lpr-v2) R 19726 25568 25567 0 -1 0 1763 0 0 0 2994 4 0 0 25 0 1 0 896182834 19488768 1683 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4758 1683 1111 63 0 4695 0 vsize: 19032 [startup+39.9989 s] Raw data (loadavg): 0.93 0.91 0.90 2/54 19727 Raw data (stat): 19727 (bsolo_lpr-v2) R 19726 25568 25567 0 -1 0 2131 0 0 0 3993 5 0 0 25 0 1 0 896182834 20996096 2051 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5126 2051 1111 63 0 5063 0 vsize: 20504 [startup+49.999 s] Raw data (loadavg): 0.94 0.91 0.90 2/54 19727 Raw data (stat): 19727 (bsolo_lpr-v2) R 19726 25568 25567 0 -1 0 2499 0 0 0 4993 5 0 0 25 0 1 0 896182834 22503424 2419 4294967295 134512640 134716908 3221224576 3221221404 1077253638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5494 2419 1111 63 0 5431 0 vsize: 21976 [startup+59.9986 s] Raw data (loadavg): 0.95 0.91 0.90 2/54 19727 Raw data (stat): 19727 (bsolo_lpr-v2) R 19726 25568 25567 0 -1 0 2873 0 0 0 5992 6 0 0 25 0 1 0 896182834 23994368 2793 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5858 2793 1111 63 0 5795 0 vsize: 23432 [startup+69.9984 s] Raw data (loadavg): 0.96 0.91 0.90 2/54 19727 Raw data (stat): 19727 (bsolo_lpr-v2) R 19726 25568 25567 0 -1 0 3257 0 0 0 6992 7 0 0 25 0 1 0 896182834 25649152 3177 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6262 3177 1111 63 0 6199 0 vsize: 25048 [startup+79.9985 s] Raw data (loadavg): 0.96 0.92 0.90 2/54 19727 Raw data (stat): 19727 (bsolo_lpr-v2) R 19726 25568 25567 0 -1 0 3640 0 0 0 7992 8 0 0 25 0 1 0 896182834 27127808 3560 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6623 3560 1111 63 0 6560 0 vsize: 26492 [startup+89.998 s] Raw data (loadavg): 0.97 0.92 0.90 2/54 19727 Raw data (stat): 19727 (bsolo_lpr-v2) R 19726 25568 25567 0 -1 0 4025 0 0 0 8991 8 0 0 25 0 1 0 896182834 28782592 3945 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7027 3945 1111 63 0 6964 0 vsize: 28108 [startup+99.9978 s] Raw data (loadavg): 0.97 0.92 0.90 2/54 19727 Raw data (stat): 19727 (bsolo_lpr-v2) R 19726 25568 25567 0 -1 0 4420 0 0 0 9991 9 0 0 25 0 1 0 896182834 30281728 4340 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7393 4340 1111 63 0 7330 0 vsize: 29572 [startup+109.998 s] Raw data (loadavg): 0.98 0.92 0.90 2/54 19727 Raw data (stat): 19727 (bsolo_lpr-v2) R 19726 25568 25567 0 -1 0 4821 0 0 0 10990 10 0 0 25 0 1 0 896182834 31977472 4741 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7807 4741 1111 63 0 7744 0 vsize: 31228 [startup+119.998 s] Raw data (loadavg): 0.98 0.92 0.90 2/54 19727 Raw data (stat): 19727 (bsolo_lpr-v2) R 19726 25568 25567 0 -1 0 5228 0 0 0 11989 11 0 0 25 0 1 0 896182834 33632256 5148 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8211 5148 1111 63 0 8148 0 vsize: 32844 [startup+129.998 s] Raw data (loadavg): 0.98 0.93 0.90 2/54 19727 Raw data (stat): 19727 (bsolo_lpr-v2) R 19726 25568 25567 0 -1 0 5641 0 0 0 12989 12 0 0 25 0 1 0 896182834 35438592 5561 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8652 5561 1111 63 0 8589 0 vsize: 34608 [startup+139.997 s] Raw data (loadavg): 0.98 0.93 0.91 2/54 19727 Raw data (stat): 19727 (bsolo_lpr-v2) R 19726 25568 25567 0 -1 0 6060 0 0 0 13988 13 0 0 25 0 1 0 896182834 37097472 5980 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9057 5980 1111 63 0 8994 0 vsize: 36228 [startup+149.998 s] Raw data (loadavg): 0.99 0.93 0.91 2/54 19727 Raw data (stat): 19727 (bsolo_lpr-v2) R 19726 25568 25567 0 -1 0 6481 0 0 0 14988 13 0 0 25 0 1 0 896182834 38752256 6401 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9461 6401 1111 63 0 9398 0 vsize: 37844 [startup+159.998 s] Raw data (loadavg): 0.99 0.93 0.91 2/54 19727 Raw data (stat): 19727 (bsolo_lpr-v2) R 19726 25568 25567 0 -1 0 6910 0 0 0 15988 14 0 0 25 0 1 0 896182834 40558592 6830 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9902 6830 1111 63 0 9839 0 vsize: 39608 [startup+169.997 s] Raw data (loadavg): 0.99 0.93 0.91 2/54 19727 Raw data (stat): 19727 (bsolo_lpr-v2) R 19726 25568 25567 0 -1 0 7367 0 0 0 16987 15 0 0 25 0 1 0 896182834 42356736 7287 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10341 7287 1111 63 0 10278 0 vsize: 41364 [startup+179.996 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 19727 Raw data (stat): 19727 (bsolo_lpr-v2) R 19726 25568 25567 0 -1 0 7832 0 0 0 17986 16 0 0 25 0 1 0 896182834 44290048 7752 4294967295 134512640 134716908 3221224576 3221222536 1077377159 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10813 7752 1111 63 0 10750 0 vsize: 43252 [startup+189.996 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 19727 Raw data (stat): 19727 (bsolo_lpr-v2) R 19726 25568 25567 0 -1 0 8311 0 0 0 18986 17 0 0 25 0 1 0 896182834 46247936 8231 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11291 8231 1111 63 0 11228 0 vsize: 45164 [startup+199.995 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 19727 Raw data (stat): 19727 (bsolo_lpr-v2) R 19726 25568 25567 0 -1 0 8821 0 0 0 19985 18 0 0 25 0 1 0 896182834 48451584 8741 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11829 8741 1111 63 0 11766 0 vsize: 47316 [startup+209.995 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 19727 Raw data (stat): 19727 (bsolo_lpr-v2) R 19726 25568 25567 0 -1 0 9337 0 0 0 20984 19 0 0 25 0 1 0 896182834 50528256 9257 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12336 9257 1111 63 0 12273 0 vsize: 49344 [startup+219.995 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 19727 Raw data (stat): 19727 (bsolo_lpr-v2) R 19726 25568 25567 0 -1 0 9876 0 0 0 21983 20 0 0 25 0 1 0 896182834 52760576 9796 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12881 9796 1111 63 0 12818 0 vsize: 51524 [startup+229.994 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 19727 Raw data (stat): 19727 (bsolo_lpr-v2) R 19726 25568 25567 0 -1 0 10422 0 0 0 22982 22 0 0 25 0 1 0 896182834 55013376 10342 4294967295 134512640 134716908 3221224576 3221221244 1077253638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13431 10342 1111 63 0 13368 0 vsize: 53724 [startup+239.993 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 19727 Raw data (stat): 19727 (bsolo_lpr-v2) R 19726 25568 25567 0 -1 0 10982 0 0 0 23981 23 0 0 25 0 1 0 896182834 57274368 10902 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13983 10902 1111 63 0 13920 0 vsize: 55932 [startup+249.993 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 19727 Raw data (stat): 19727 (bsolo_lpr-v2) R 19726 25568 25567 0 -1 0 11551 0 0 0 24980 25 0 0 25 0 1 0 896182834 59678720 11471 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14570 11471 1111 63 0 14507 0 vsize: 58280 [startup+259.993 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 19727 Raw data (stat): 19727 (bsolo_lpr-v2) R 19726 25568 25567 0 -1 0 12135 0 0 0 25980 25 0 0 25 0 1 0 896182834 61939712 12055 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15122 12055 1111 63 0 15059 0 vsize: 60488 [startup+269.993 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 19727 Raw data (stat): 19727 (bsolo_lpr-v2) R 19726 25568 25567 0 -1 0 12740 0 0 0 26978 27 0 0 25 0 1 0 896182834 64499712 12660 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15747 12660 1111 63 0 15684 0 vsize: 62988 [startup+279.993 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 19727 Raw data (stat): 19727 (bsolo_lpr-v2) R 19726 25568 25567 0 -1 0 13352 0 0 0 27978 28 0 0 25 0 1 0 896182834 66904064 13272 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16334 13272 1111 63 0 16271 0 vsize: 65336 [startup+289.993 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 19727 Raw data (stat): 19727 (bsolo_lpr-v2) R 19726 25568 25567 0 -1 0 13992 0 0 0 28977 29 0 0 25 0 1 0 896182834 69611520 13912 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16995 13912 1111 63 0 16932 0 vsize: 67980 [startup+299.992 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 19727 Raw data (stat): 19727 (bsolo_lpr-v2) R 19726 25568 25567 0 -1 0 14658 0 0 0 29976 30 0 0 25 0 1 0 896182834 72323072 14578 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17657 14578 1111 63 0 17594 0 vsize: 70628 [startup+309.992 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 19727 Raw data (stat): 19727 (bsolo_lpr-v2) R 19726 25568 25567 0 -1 0 15351 0 0 0 30975 31 0 0 25 0 1 0 896182834 75149312 15271 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18347 15271 1111 63 0 18284 0 vsize: 73388 [startup+319.991 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 19727 Raw data (stat): 19727 (bsolo_lpr-v2) R 19726 25568 25567 0 -1 0 16073 0 0 0 31974 32 0 0 25 0 1 0 896182834 78012416 15993 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19046 15993 1111 63 0 18983 0 vsize: 76184 [startup+329.992 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 19727 Raw data (stat): 19727 (bsolo_lpr-v2) R 19726 25568 25567 0 -1 0 16870 0 0 0 32973 34 0 0 25 0 1 0 896182834 81649664 16790 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19934 16790 1111 63 0 19871 0 vsize: 79736 [startup+339.991 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 19727 Raw data (stat): 19727 (bsolo_lpr-v2) R 19726 25568 25567 0 -1 0 17669 0 0 0 33972 35 0 0 25 0 1 0 896182834 84815872 17589 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20707 17589 1111 63 0 20644 0 vsize: 82828 [startup+349.991 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 19727 Raw data (stat): 19727 (bsolo_lpr-v2) R 19726 25568 25567 0 -1 0 18511 0 0 0 34970 37 0 0 25 0 1 0 896182834 88276992 18431 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21552 18431 1111 63 0 21489 0 vsize: 86208 [startup+359.991 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 19727 Raw data (stat): 19727 (bsolo_lpr-v2) R 19726 25568 25567 0 -1 0 19381 0 0 0 35970 38 0 0 25 0 1 0 896182834 91852800 19301 4294967295 134512640 134716908 3221224576 3221223232 134527935 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22425 19301 1111 63 0 22362 0 vsize: 89700 [startup+369.991 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 19727 Raw data (stat): 19727 (bsolo_lpr-v2) R 19726 25568 25567 0 -1 0 20296 0 0 0 36969 40 0 0 25 0 1 0 896182834 95621120 20216 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23345 20216 1111 63 0 23282 0 vsize: 93380 [startup+379.99 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 19727 Raw data (stat): 19727 (bsolo_lpr-v2) R 19726 25568 25567 0 -1 0 21254 0 0 0 37967 41 0 0 25 0 1 0 896182834 99528704 21174 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24299 21174 1111 63 0 24236 0 vsize: 97196 [startup+383.286 s] Raw data (loadavg): 0.99 0.96 0.91 1/53 19727 Raw data (stat): 19727 (bsolo_lpr-v2) R 19726 25568 25567 0 -1 0 21254 0 0 0 37967 41 0 0 25 0 1 0 896182834 99528704 21174 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24299 21174 1111 63 0 24236 0 vsize: 0 Child status: 0 Real time (s): 383.284 CPU time (s): 383.385 CPU user time (s): 382.916 CPU system time (s): 0.468928 CPU usage (%): 100.026 Max. virtual memory (Kb): 97196 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####