Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-bnl2.opb |
MD5SUM | 98512bff24b30a4b39304804d2f8a5cb |
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 | 50550 |
Biggest coefficient in the objective function | 322444669747200 |
Number of bits for the biggest coefficient in the objective function | 49 |
Sum of the numbers in the objective function | 11314136774293353 |
Number of bits of the sum of numbers in the objective function | 54 |
Biggest number in a constraint | 322444669747200 |
Number of bits of the biggest number in a constraint | 49 |
Biggest sum of numbers in a constraint | 11314136774293353 |
Number of bits of the biggest sum of numbers | 54 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.955853 |
Number of variables | 104670 |
Total number of constraints | 2280 |
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 | 2280 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 2460 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc23 THE 2005-05-25 04:32:41 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=10557 boxname=wulflinc23 idbench=813 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: 98512bff24b30a4b39304804d2f8a5cb /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-bnl2.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-bnl2.opb IDLAUNCH: 10557 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 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: 786792 kB Buffers: 27532 kB Cached: 198132 kB SwapCached: 640 kB Active: 71388 kB Inactive: 156748 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 786540 kB SwapTotal: 2097136 kB SwapFree: 2096032 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5624 kB Slab: 14036 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 04:43:47 (client local time) WITH STATUS 0 IN 665.198 SECONDS stats: 10557 7 665.198 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c ERROR Parsing file!!! c ERROR parsing line: -2500*Y2000301_bit_10 -5000*Y2000301_bit_9 -10000*Y2000301_bit_8 -20000*Y2000301_bit_7 -40000*Y2000301_bit_6 -80000*Y2000301_bit_5 -160000*Y2000301_bit_4 -320000*Y2000301_bit_3 -640000*Y2000301_bit_2 -1280000*Y2000301_bit_1 -2560000*Y2000301_bit0 -5120000*Y2000301_bit1 -10240000*Y2000301_bit2 -20480000*Y2000301_bit3 -40960000*Y2000301_bit4 -81920000*Y2000301_bit5 -163840000*Y2000301_bit6 -327680000*Y2000301_bit7 -655360000*Y2000301_bit8 -1310720000*Y2000301_bit9 -2621440000*Y2000301_bit10 -5242880000*Y2000301_bit11 -10485760000*Y2000301_bit12 -20971520000*Y2000301_bit13 -41943040000*Y2000301_bit14 -83886080000*Y2000301_bit15 -167772160000*Y2000301_bit16 -335544320000*Y2000301_bit17 -671088640000*Y2000301_bit18 -1342177280000*Y2000301_bit19 +525*Y2010301_bit_10 +1050*Y2010301_bit_9 +2100*Y2010301_bit_8 +4200*Y2010301_bit_7 +8400*Y2010301_bit_6 +16800*Y2010301_bit_5 +33600*Y2010301_bit_4 +67200*Y2010301_bit_3 +134400*Y2010301_bit_2 +268800*Y2010301_bit_1 +537600*Y2010301_bit0 +1075200*Y2010301_bit1 +2150400*Y2010301_bit2 +4300800*Y2010301_bit3 +8601600*Y2010301_bit4 +17203200*Y2010301_bit5 +34406400*Y2010301_bit6 +68812800*Y2010301_bit7 +137625600*Y2010301_bit8 +275251200*Y2010301_bit9 +550502400*Y2010301_bit10 +1101004800*Y2010301_bit11 +2202009600*Y2010301_bit12 +4404019200*Y2010301_bit13 +8808038400*Y2010301_bit14 +17616076800*Y2010301_bit15 +35232153600*Y2010301_bit16 +70464307200*Y2010301_bit17 +140928614400*Y2010301_bit18 +281857228800*Y2010301_bit19 >= -4791808; c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-bnl2.opb s UNKNOWN c Exit Code: 0 c Total time: 665.141 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.76 0.92 0.95 2/54 12994 Raw data (stat): 12994 (runsolver) R 12993 5562 5561 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836027804 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0003 s] Raw data (loadavg): 0.79 0.93 0.95 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 972 0 0 0 995 3 0 0 25 0 1 0 836027804 15945728 896 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3893 896 1111 63 0 3830 0 vsize: 15572 [startup+20.0013 s] Raw data (loadavg): 0.83 0.93 0.95 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 1192 0 0 0 1993 4 0 0 25 0 1 0 836027804 16838656 1116 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4111 1116 1111 63 0 4048 0 vsize: 16444 [startup+30.0013 s] Raw data (loadavg): 0.85 0.93 0.95 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 1402 0 0 0 2993 5 0 0 25 0 1 0 836027804 17702912 1326 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4322 1326 1111 63 0 4259 0 vsize: 17288 [startup+40.0006 s] Raw data (loadavg): 0.87 0.93 0.95 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 1599 0 0 0 3992 5 0 0 25 0 1 0 836027804 18444288 1523 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4503 1523 1111 63 0 4440 0 vsize: 18012 [startup+50.0012 s] Raw data (loadavg): 0.89 0.93 0.95 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 1817 0 0 0 4992 6 0 0 25 0 1 0 836027804 19341312 1741 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4722 1741 1111 63 0 4659 0 vsize: 18888 [startup+60.0013 s] Raw data (loadavg): 0.91 0.94 0.95 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 2038 0 0 0 5991 7 0 0 25 0 1 0 836027804 20242432 1962 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4942 1962 1111 63 0 4879 0 vsize: 19768 [startup+70.0015 s] Raw data (loadavg): 0.92 0.94 0.95 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 2251 0 0 0 6990 8 0 0 25 0 1 0 836027804 21143552 2175 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5162 2175 1111 63 0 5099 0 vsize: 20648 [startup+80.0021 s] Raw data (loadavg): 0.93 0.94 0.95 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 2479 0 0 0 7989 9 0 0 25 0 1 0 836027804 22048768 2403 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5383 2403 1111 63 0 5320 0 vsize: 21532 [startup+90.0108 s] Raw data (loadavg): 0.94 0.94 0.95 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 2714 0 0 0 8989 10 0 0 25 0 1 0 836027804 23101440 2638 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5640 2638 1111 63 0 5577 0 vsize: 22560 [startup+100.017 s] Raw data (loadavg): 0.95 0.94 0.95 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 2958 0 0 0 9989 11 0 0 25 0 1 0 836027804 24145920 2882 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5895 2882 1111 63 0 5832 0 vsize: 23580 [startup+110.024 s] Raw data (loadavg): 0.96 0.94 0.95 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 3208 0 0 0 10989 12 0 0 25 0 1 0 836027804 25051136 3132 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6116 3132 1111 63 0 6053 0 vsize: 24464 [startup+120.025 s] Raw data (loadavg): 0.96 0.94 0.95 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 3458 0 0 0 11989 12 0 0 25 0 1 0 836027804 26103808 3382 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6373 3382 1111 63 0 6310 0 vsize: 25492 [startup+130.026 s] Raw data (loadavg): 0.97 0.95 0.95 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 3709 0 0 0 12988 13 0 0 25 0 1 0 836027804 27127808 3633 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6623 3633 1111 63 0 6560 0 vsize: 26492 [startup+140.025 s] Raw data (loadavg): 0.97 0.95 0.95 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 3967 0 0 0 13987 14 0 0 25 0 1 0 836027804 28176384 3891 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6879 3891 1111 63 0 6816 0 vsize: 27516 [startup+150.026 s] Raw data (loadavg): 0.98 0.95 0.95 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 4211 0 0 0 14987 15 0 0 25 0 1 0 836027804 29233152 4135 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7137 4135 1111 63 0 7074 0 vsize: 28548 [startup+160.026 s] Raw data (loadavg): 0.98 0.95 0.95 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 4475 0 0 0 15986 15 0 0 25 0 1 0 836027804 30281728 4399 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7393 4399 1111 63 0 7330 0 vsize: 29572 [startup+170.026 s] Raw data (loadavg): 0.98 0.95 0.95 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 4753 0 0 0 16985 16 0 0 25 0 1 0 836027804 31526912 4677 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7697 4677 1111 63 0 7634 0 vsize: 30788 [startup+180.026 s] Raw data (loadavg): 0.98 0.95 0.95 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 5017 0 0 0 17985 17 0 0 25 0 1 0 836027804 32583680 4941 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7955 4941 1111 63 0 7892 0 vsize: 31820 [startup+190.027 s] Raw data (loadavg): 0.99 0.95 0.95 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 5283 0 0 0 18984 18 0 0 25 0 1 0 836027804 33632256 5207 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8211 5207 1111 63 0 8148 0 vsize: 32844 [startup+200.027 s] Raw data (loadavg): 0.99 0.95 0.95 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 5547 0 0 0 19984 18 0 0 25 0 1 0 836027804 34689024 5471 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8469 5471 1111 63 0 8406 0 vsize: 33876 [startup+210.026 s] Raw data (loadavg): 0.99 0.95 0.95 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 5827 0 0 0 20983 19 0 0 25 0 1 0 836027804 35889152 5751 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8762 5751 1111 63 0 8699 0 vsize: 35048 [startup+220.027 s] Raw data (loadavg): 0.99 0.95 0.95 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 6094 0 0 0 21982 20 0 0 25 0 1 0 836027804 36945920 6018 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9020 6018 1111 63 0 8957 0 vsize: 36080 [startup+230.028 s] Raw data (loadavg): 0.99 0.95 0.95 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 6375 0 0 0 22981 22 0 0 25 0 1 0 836027804 38146048 6299 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9313 6299 1111 63 0 9250 0 vsize: 37252 [startup+240.028 s] Raw data (loadavg): 0.99 0.96 0.95 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 6655 0 0 0 23980 22 0 0 25 0 1 0 836027804 39202816 6579 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9571 6579 1111 63 0 9508 0 vsize: 38284 [startup+250.028 s] Raw data (loadavg): 0.99 0.96 0.95 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 6934 0 0 0 24980 23 0 0 25 0 1 0 836027804 40402944 6858 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9864 6858 1111 63 0 9801 0 vsize: 39456 [startup+260.028 s] Raw data (loadavg): 0.99 0.96 0.95 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 7216 0 0 0 25979 24 0 0 25 0 1 0 836027804 41459712 7140 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10122 7140 1111 63 0 10059 0 vsize: 40488 [startup+270.029 s] Raw data (loadavg): 0.99 0.96 0.95 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 7510 0 0 0 26978 25 0 0 25 0 1 0 836027804 42782720 7434 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10445 7434 1111 63 0 10382 0 vsize: 41780 [startup+280.029 s] Raw data (loadavg): 0.99 0.96 0.95 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 7806 0 0 0 27977 26 0 0 25 0 1 0 836027804 43982848 7730 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10738 7730 1111 63 0 10675 0 vsize: 42952 [startup+290.032 s] Raw data (loadavg): 0.99 0.96 0.95 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 8108 0 0 0 28976 27 0 0 25 0 1 0 836027804 45191168 8032 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11033 8032 1111 63 0 10970 0 vsize: 44132 [startup+300.04 s] Raw data (loadavg): 0.99 0.96 0.95 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 8409 0 0 0 29977 28 0 0 25 0 1 0 836027804 46395392 8333 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11327 8333 1111 63 0 11264 0 vsize: 45308 [startup+310.039 s] Raw data (loadavg): 0.99 0.96 0.95 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 8728 0 0 0 30975 29 0 0 25 0 1 0 836027804 47849472 8652 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11682 8652 1111 63 0 11619 0 vsize: 46728 [startup+320.039 s] Raw data (loadavg): 0.99 0.96 0.95 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 9037 0 0 0 31975 30 0 0 25 0 1 0 836027804 49029120 8961 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11970 8961 1111 63 0 11907 0 vsize: 47880 [startup+330.04 s] Raw data (loadavg): 0.99 0.96 0.95 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 9354 0 0 0 32974 31 0 0 25 0 1 0 836027804 50376704 9278 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12299 9278 1111 63 0 12236 0 vsize: 49196 [startup+340.04 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 9667 0 0 0 33973 32 0 0 25 0 1 0 836027804 51707904 9591 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12624 9591 1111 63 0 12561 0 vsize: 50496 [startup+350.041 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 9989 0 0 0 34971 34 0 0 25 0 1 0 836027804 52908032 9913 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12917 9913 1111 63 0 12854 0 vsize: 51668 [startup+360.041 s] Raw data (loadavg): 1.07 0.98 0.96 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 10314 0 0 0 35970 35 0 0 25 0 1 0 836027804 54259712 10238 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13247 10238 1111 63 0 13184 0 vsize: 52988 [startup+370.042 s] Raw data (loadavg): 1.06 0.98 0.96 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 10639 0 0 0 36968 36 0 0 25 0 1 0 836027804 55615488 10563 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13578 10563 1111 63 0 13515 0 vsize: 54312 [startup+380.042 s] Raw data (loadavg): 1.05 0.98 0.96 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 10978 0 0 0 37967 37 0 0 25 0 1 0 836027804 56971264 10902 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13909 10902 1111 63 0 13846 0 vsize: 55636 [startup+390.042 s] Raw data (loadavg): 1.04 0.98 0.96 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 11318 0 0 0 38966 39 0 0 25 0 1 0 836027804 58327040 11242 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14240 11242 1111 63 0 14177 0 vsize: 56960 [startup+400.043 s] Raw data (loadavg): 1.04 0.98 0.96 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 11659 0 0 0 39965 40 0 0 25 0 1 0 836027804 59834368 11583 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14608 11583 1111 63 0 14545 0 vsize: 58432 [startup+410.044 s] Raw data (loadavg): 1.03 0.98 0.96 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 12010 0 0 0 40964 41 0 0 25 0 1 0 836027804 61186048 11934 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14938 11934 1111 63 0 14875 0 vsize: 59752 [startup+420.044 s] Raw data (loadavg): 1.03 0.98 0.96 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 12366 0 0 0 41963 42 0 0 25 0 1 0 836027804 62693376 12290 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15306 12290 1111 63 0 15243 0 vsize: 61224 [startup+430.045 s] Raw data (loadavg): 1.02 0.98 0.96 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 12734 0 0 0 42963 43 0 0 25 0 1 0 836027804 64196608 12658 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15673 12658 1111 63 0 15610 0 vsize: 62692 [startup+440.044 s] Raw data (loadavg): 1.02 0.98 0.96 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 13118 0 0 0 43962 44 0 0 25 0 1 0 836027804 65699840 13042 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16040 13042 1111 63 0 15977 0 vsize: 64160 [startup+450.044 s] Raw data (loadavg): 1.01 0.98 0.96 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 13502 0 0 0 44961 45 0 0 25 0 1 0 836027804 67354624 13426 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16444 13426 1111 63 0 16381 0 vsize: 65776 [startup+460.045 s] Raw data (loadavg): 1.01 0.98 0.96 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 13907 0 0 0 45960 46 0 0 25 0 1 0 836027804 69013504 13831 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16849 13831 1111 63 0 16786 0 vsize: 67396 [startup+470.045 s] Raw data (loadavg): 1.01 0.98 0.96 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 14315 0 0 0 46959 47 0 0 25 0 1 0 836027804 70668288 14239 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17253 14239 1111 63 0 17190 0 vsize: 69012 [startup+480.046 s] Raw data (loadavg): 1.01 0.98 0.96 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 14727 0 0 0 47958 48 0 0 25 0 1 0 836027804 72323072 14651 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17657 14651 1111 63 0 17594 0 vsize: 70628 [startup+490.047 s] Raw data (loadavg): 1.01 0.98 0.96 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 15154 0 0 0 48957 49 0 0 25 0 1 0 836027804 74096640 15078 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18090 15078 1111 63 0 18027 0 vsize: 72360 [startup+500.047 s] Raw data (loadavg): 1.00 0.98 0.96 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 15596 0 0 0 49956 50 0 0 25 0 1 0 836027804 75902976 15520 4294967295 134512640 134714508 3221224592 3221223248 134527930 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18531 15520 1111 63 0 18468 0 vsize: 74124 [startup+510.047 s] Raw data (loadavg): 1.00 0.98 0.96 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 16060 0 0 0 50955 52 0 0 25 0 1 0 836027804 77709312 15984 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18972 15984 1111 63 0 18909 0 vsize: 75888 [startup+520.048 s] Raw data (loadavg): 1.00 0.98 0.96 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 16604 0 0 0 51953 53 0 0 25 0 1 0 836027804 80183296 16528 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19576 16528 1111 63 0 19513 0 vsize: 78304 [startup+530.048 s] Raw data (loadavg): 1.00 0.98 0.96 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 17082 0 0 0 52953 54 0 0 25 0 1 0 836027804 82104320 17006 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20045 17006 1111 63 0 19982 0 vsize: 80180 [startup+540.048 s] Raw data (loadavg): 1.00 0.98 0.96 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 17619 0 0 0 53952 55 0 0 25 0 1 0 836027804 84357120 17543 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20595 17543 1111 63 0 20532 0 vsize: 82380 [startup+550.048 s] Raw data (loadavg): 1.00 0.98 0.96 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 18173 0 0 0 54950 56 0 0 25 0 1 0 836027804 86622208 18097 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21148 18097 1111 63 0 21085 0 vsize: 84592 [startup+560.05 s] Raw data (loadavg): 1.00 0.98 0.96 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 18740 0 0 0 55949 58 0 0 25 0 1 0 836027804 88875008 18664 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21698 18664 1111 63 0 21635 0 vsize: 86792 [startup+570.051 s] Raw data (loadavg): 1.00 0.98 0.96 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 19331 0 0 0 56949 58 0 0 25 0 1 0 836027804 91402240 19255 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22315 19255 1111 63 0 22252 0 vsize: 89260 [startup+580.051 s] Raw data (loadavg): 1.00 0.98 0.96 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 19922 0 0 0 57948 60 0 0 25 0 1 0 836027804 93814784 19846 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22904 19846 1111 63 0 22841 0 vsize: 91616 [startup+590.052 s] Raw data (loadavg): 1.00 0.98 0.96 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 20541 0 0 0 58946 61 0 0 25 0 1 0 836027804 96215040 20465 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23490 20465 1111 63 0 23427 0 vsize: 93960 [startup+600.053 s] Raw data (loadavg): 1.00 0.98 0.96 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 21168 0 0 0 59945 63 0 0 25 0 1 0 836027804 98779136 21092 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24116 21092 1111 63 0 24053 0 vsize: 96464 [startup+610.052 s] Raw data (loadavg): 1.00 0.98 0.96 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 21838 0 0 0 60943 65 0 0 25 0 1 0 836027804 101634048 21762 4294967295 134512640 134714508 3221224592 3221223248 134527935 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24813 21762 1111 63 0 24750 0 vsize: 99252 [startup+620.053 s] Raw data (loadavg): 1.00 0.98 0.96 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 22496 0 0 0 61942 66 0 0 25 0 1 0 836027804 104198144 22420 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25439 22420 1111 63 0 25376 0 vsize: 101756 [startup+630.054 s] Raw data (loadavg): 1.00 0.98 0.96 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 23174 0 0 0 62940 68 0 0 25 0 1 0 836027804 107053056 23098 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26136 23098 1111 63 0 26073 0 vsize: 104544 [startup+640.053 s] Raw data (loadavg): 1.00 0.98 0.96 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 23874 0 0 0 63939 70 0 0 25 0 1 0 836027804 109912064 23798 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26834 23798 1111 63 0 26771 0 vsize: 107336 [startup+650.054 s] Raw data (loadavg): 1.00 0.98 0.96 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 24592 0 0 0 64937 72 0 0 25 0 1 0 836027804 112775168 24516 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27533 24516 1111 63 0 27470 0 vsize: 110132 [startup+660.054 s] Raw data (loadavg): 1.00 0.98 0.96 2/54 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 25321 0 0 0 65935 73 0 0 25 0 1 0 836027804 115785728 25245 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28268 25245 1111 63 0 28205 0 vsize: 113072 [startup+665.16 s] Raw data (loadavg): 1.00 0.98 0.96 1/53 12994 Raw data (stat): 12994 (bsolo_lpr) R 12993 5562 5561 0 -1 0 25321 0 0 0 65935 73 0 0 25 0 1 0 836027804 115785728 25245 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28268 25245 1111 63 0 28205 0 vsize: 0 Child status: 0 Real time (s): 665.159 CPU time (s): 665.198 CPU user time (s): 664.4 CPU system time (s): 0.797878 CPU usage (%): 100.006 Max. virtual memory (Kb): 113072 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####