Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-degen3.opb |
MD5SUM | 7312c1a4c94073cc51821da54f781db8 |
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 | 47190 |
Biggest coefficient in the objective function | 1001264250880 |
Number of bits for the biggest coefficient in the objective function | 40 |
Sum of the numbers in the objective function | 339379725479256 |
Number of bits of the sum of numbers in the objective function | 49 |
Biggest number in a constraint | 1001264250880 |
Number of bits of the biggest number in a constraint | 40 |
Biggest sum of numbers in a constraint | 339379725479256 |
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.474927 |
Number of variables | 54540 |
Total number of constraints | 1503 |
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 | 1503 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 6090 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc29 THE 2005-05-25 04:26:24 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=10700 boxname=wulflinc29 idbench=824 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: 7312c1a4c94073cc51821da54f781db8 /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-degen3.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-degen3.opb IDLAUNCH: 10700 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.020 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.020 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: 752076 kB Buffers: 23392 kB Cached: 233280 kB SwapCached: 572 kB Active: 43808 kB Inactive: 218376 kB HighTotal: 131008 kB HighFree: 21672 kB LowTotal: 903652 kB LowFree: 730404 kB SwapTotal: 2097892 kB SwapFree: 2096728 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5608 kB Slab: 14640 kB Committed_AS: 63588 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 04:37:56 (client local time) WITH STATUS 20 IN 691.201 SECONDS stats: 10700 7 691.201 20 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 54540 variables and 1356 constraints. s UNSATISFIABLE c Exit Code: 20 c Total time: 691.121 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.96 0.95 0.91 2/54 28851 Raw data (stat): 28851 (runsolver) R 28850 20001 20000 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 835983453 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.0008 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 1003 0 0 0 988 2 0 0 25 0 1 0 835983453 16236544 927 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3964 927 1111 63 0 3901 0 vsize: 15856 [startup+20.0019 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 1299 0 0 0 1987 2 0 0 25 0 1 0 835983453 17420288 1223 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4253 1223 1111 63 0 4190 0 vsize: 17012 [startup+30.0071 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 1587 0 0 0 2988 3 0 0 25 0 1 0 835983453 18591744 1511 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4539 1511 1111 63 0 4476 0 vsize: 18156 [startup+40.0151 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 1886 0 0 0 3988 3 0 0 25 0 1 0 835983453 19795968 1810 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4833 1810 1111 63 0 4770 0 vsize: 19332 [startup+50.0242 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 2180 0 0 0 4988 4 0 0 25 0 1 0 835983453 20996096 2104 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5126 2104 1111 63 0 5063 0 vsize: 20504 [startup+60.0244 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 2475 0 0 0 5988 4 0 0 25 0 1 0 835983453 22200320 2399 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5420 2399 1111 63 0 5357 0 vsize: 21680 [startup+70.0243 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 2783 0 0 0 6988 5 0 0 25 0 1 0 835983453 23543808 2707 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5748 2707 1111 63 0 5685 0 vsize: 22992 [startup+80.0288 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 3090 0 0 0 7988 5 0 0 25 0 1 0 835983453 24743936 3014 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6041 3014 1111 63 0 5978 0 vsize: 24164 [startup+90.0303 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 3395 0 0 0 8988 6 0 0 25 0 1 0 835983453 26103808 3319 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6373 3319 1111 63 0 6310 0 vsize: 25492 [startup+100.031 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 3705 0 0 0 9987 7 0 0 25 0 1 0 835983453 27275264 3629 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6659 3629 1111 63 0 6596 0 vsize: 26636 [startup+110.032 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 4022 0 0 0 10987 8 0 0 25 0 1 0 835983453 28626944 3946 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6989 3946 1111 63 0 6926 0 vsize: 27956 [startup+120.041 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 4338 0 0 0 11987 8 0 0 25 0 1 0 835983453 29835264 4262 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7284 4262 1111 63 0 7221 0 vsize: 29136 [startup+130.041 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 4654 0 0 0 12987 9 0 0 25 0 1 0 835983453 31186944 4578 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7614 4578 1111 63 0 7551 0 vsize: 30456 [startup+140.042 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 4989 0 0 0 13986 9 0 0 25 0 1 0 835983453 32583680 4913 4294967295 134512640 134714508 3221224592 3221223248 134527972 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7955 4913 1111 63 0 7892 0 vsize: 31820 [startup+150.042 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 5314 0 0 0 14986 10 0 0 25 0 1 0 835983453 33931264 5238 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8284 5238 1111 63 0 8221 0 vsize: 33136 [startup+160.044 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 5646 0 0 0 15986 11 0 0 25 0 1 0 835983453 35291136 5570 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8616 5570 1111 63 0 8553 0 vsize: 34464 [startup+170.044 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 5977 0 0 0 16985 11 0 0 25 0 1 0 835983453 36642816 5901 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8946 5901 1111 63 0 8883 0 vsize: 35784 [startup+180.044 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 6318 0 0 0 17985 12 0 0 25 0 1 0 835983453 37998592 6242 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9277 6242 1111 63 0 9214 0 vsize: 37108 [startup+190.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 6657 0 0 0 18984 13 0 0 25 0 1 0 835983453 39350272 6581 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9607 6581 1111 63 0 9544 0 vsize: 38428 [startup+200.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 7003 0 0 0 19983 14 0 0 25 0 1 0 835983453 40857600 6927 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9975 6927 1111 63 0 9912 0 vsize: 39900 [startup+210.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 7357 0 0 0 20983 15 0 0 25 0 1 0 835983453 42209280 7281 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10305 7281 1111 63 0 10242 0 vsize: 41220 [startup+220.046 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 7712 0 0 0 21982 15 0 0 25 0 1 0 835983453 43683840 7636 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10665 7636 1111 63 0 10602 0 vsize: 42660 [startup+230.046 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 8072 0 0 0 22982 16 0 0 25 0 1 0 835983453 45191168 7996 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11033 7996 1111 63 0 10970 0 vsize: 44132 [startup+240.047 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 8432 0 0 0 23981 17 0 0 25 0 1 0 835983453 46694400 8356 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11400 8356 1111 63 0 11337 0 vsize: 45600 [startup+250.046 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 8819 0 0 0 24981 17 0 0 25 0 1 0 835983453 48304128 8743 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11793 8743 1111 63 0 11730 0 vsize: 47172 [startup+260.047 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 9196 0 0 0 25981 18 0 0 25 0 1 0 835983453 49930240 9120 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12190 9120 1111 63 0 12127 0 vsize: 48760 [startup+270.048 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 9564 0 0 0 26980 19 0 0 25 0 1 0 835983453 51400704 9488 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12549 9488 1111 63 0 12486 0 vsize: 50196 [startup+280.048 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 9961 0 0 0 27979 19 0 0 25 0 1 0 835983453 53059584 9885 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12954 9885 1111 63 0 12891 0 vsize: 51816 [startup+290.048 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 10361 0 0 0 28978 20 0 0 25 0 1 0 835983453 54714368 10285 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13358 10285 1111 63 0 13295 0 vsize: 53432 [startup+300.048 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 10790 0 0 0 29978 21 0 0 25 0 1 0 835983453 56373248 10714 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13763 10714 1111 63 0 13700 0 vsize: 55052 [startup+310.049 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 11233 0 0 0 30977 22 0 0 25 0 1 0 835983453 58179584 11157 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14204 11157 1111 63 0 14141 0 vsize: 56816 [startup+320.049 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 11704 0 0 0 31977 23 0 0 25 0 1 0 835983453 60133376 11628 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14681 11628 1111 63 0 14618 0 vsize: 58724 [startup+330.049 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 12205 0 0 0 32976 24 0 0 25 0 1 0 835983453 62238720 12129 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15195 12129 1111 63 0 15132 0 vsize: 60780 [startup+340.061 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 12730 0 0 0 33977 25 0 0 25 0 1 0 835983453 64348160 12654 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15710 12654 1111 63 0 15647 0 vsize: 62840 [startup+350.061 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 13269 0 0 0 34975 26 0 0 25 0 1 0 835983453 66453504 13193 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16224 13193 1111 63 0 16161 0 vsize: 64896 [startup+360.062 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 13830 0 0 0 35975 26 0 0 25 0 1 0 835983453 68861952 13754 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16812 13754 1111 63 0 16749 0 vsize: 67248 [startup+370.063 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 14404 0 0 0 36974 27 0 0 25 0 1 0 835983453 71118848 14328 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17363 14328 1111 63 0 17300 0 vsize: 69452 [startup+380.082 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 14994 0 0 0 37975 29 0 0 25 0 1 0 835983453 73506816 14918 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17946 14918 1111 63 0 17883 0 vsize: 71784 [startup+390.087 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 15599 0 0 0 38975 29 0 0 25 0 1 0 835983453 76054528 15523 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18568 15523 1111 63 0 18505 0 vsize: 74272 [startup+400.091 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 16203 0 0 0 39975 30 0 0 25 0 1 0 835983453 78462976 16127 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19156 16127 1111 63 0 19093 0 vsize: 76624 [startup+410.092 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 16868 0 0 0 40974 31 0 0 25 0 1 0 835983453 81502208 16792 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19898 16792 1111 63 0 19835 0 vsize: 79592 [startup+420.093 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 17511 0 0 0 41973 32 0 0 25 0 1 0 835983453 84058112 17435 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20522 17435 1111 63 0 20459 0 vsize: 82088 [startup+430.092 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 18168 0 0 0 42972 34 0 0 25 0 1 0 835983453 86769664 18092 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21184 18092 1111 63 0 21121 0 vsize: 84736 [startup+440.093 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 18831 0 0 0 43971 35 0 0 25 0 1 0 835983453 89477120 18755 4294967295 134512640 134714508 3221224592 3221222924 1077399562 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21845 18755 1111 63 0 21782 0 vsize: 87380 [startup+450.093 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 19512 0 0 0 44971 36 0 0 25 0 1 0 835983453 92307456 19436 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22536 19436 1111 63 0 22473 0 vsize: 90144 [startup+460.094 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 20205 0 0 0 45969 37 0 0 25 0 1 0 835983453 95014912 20129 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23197 20129 1111 63 0 23134 0 vsize: 92788 [startup+470.097 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 20919 0 0 0 46969 38 0 0 25 0 1 0 835983453 98021376 20843 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23931 20843 1111 63 0 23868 0 vsize: 95724 [startup+480.096 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 21643 0 0 0 47968 39 0 0 25 0 1 0 835983453 100884480 21567 4294967295 134512640 134714508 3221224592 3221222820 1077414372 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24630 21567 1111 63 0 24567 0 vsize: 98520 [startup+490.102 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 22386 0 0 0 48967 41 0 0 25 0 1 0 835983453 104046592 22310 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25402 22310 1111 63 0 25339 0 vsize: 101608 [startup+500.107 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 23147 0 0 0 49966 42 0 0 25 0 1 0 835983453 107053056 23071 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26136 23071 1111 63 0 26073 0 vsize: 104544 [startup+510.107 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 23936 0 0 0 50965 44 0 0 25 0 1 0 835983453 110366720 23860 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26945 23860 1111 63 0 26882 0 vsize: 107780 [startup+520.108 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 27252 0 0 0 51958 50 0 0 25 0 1 0 835983453 123527168 27078 4294967295 134512640 134714508 3221224592 3221222868 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30158 27078 1111 63 0 30095 0 vsize: 120632 [startup+530.107 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 28018 0 0 0 52957 52 0 0 25 0 1 0 835983453 126705664 27842 4294967295 134512640 134714508 3221224592 3221222868 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30934 27842 1111 63 0 30871 0 vsize: 123736 [startup+540.108 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 29157 0 0 0 53953 55 0 0 25 0 1 0 835983453 131395584 28979 4294967295 134512640 134714508 3221224592 3221222868 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 32079 28979 1111 63 0 32016 0 vsize: 128316 [startup+550.108 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 29459 0 0 0 54952 56 0 0 25 0 1 0 835983453 132632576 29281 4294967295 134512640 134714508 3221224592 3221222868 1077414383 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 32381 29281 1111 63 0 32318 0 vsize: 129524 [startup+560.107 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 29680 0 0 0 55951 57 0 0 25 0 1 0 835983453 133750784 29499 4294967295 134512640 134714508 3221224592 3221222868 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 32654 29499 1111 63 0 32591 0 vsize: 130616 [startup+570.108 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 30030 0 0 0 56951 58 0 0 25 0 1 0 835983453 135294976 29843 4294967295 134512640 134714508 3221224592 3221222868 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 33031 29843 1111 63 0 32968 0 vsize: 132124 [startup+580.108 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 30855 0 0 0 57948 60 0 0 25 0 1 0 835983453 138641408 30662 4294967295 134512640 134714508 3221224592 3221222868 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 33848 30662 1111 63 0 33785 0 vsize: 135392 [startup+590.109 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 31863 0 0 0 58945 64 0 0 25 0 1 0 835983453 142835712 31670 4294967295 134512640 134714508 3221224592 3221222868 1077414358 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 34872 31670 1111 63 0 34809 0 vsize: 139488 [startup+600.11 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 32367 0 0 0 59942 66 0 0 25 0 1 0 835983453 144896000 32174 4294967295 134512640 134714508 3221224592 3221222868 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35375 32174 1111 63 0 35312 0 vsize: 141500 [startup+610.109 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 32702 0 0 0 60941 67 0 0 25 0 1 0 835983453 146427904 32509 4294967295 134512640 134714508 3221224592 3221222868 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35749 32509 1111 63 0 35686 0 vsize: 142996 [startup+620.109 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 33010 0 0 0 61940 68 0 0 25 0 1 0 835983453 147660800 32817 4294967295 134512640 134714508 3221224592 3221222868 1077414336 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36050 32817 1111 63 0 35987 0 vsize: 144200 [startup+630.109 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 33386 0 0 0 62938 69 0 0 25 0 1 0 835983453 149303296 33193 4294967295 134512640 134714508 3221224592 3221222868 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36451 33193 1111 63 0 36388 0 vsize: 145804 [startup+640.11 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 33567 0 0 0 63938 70 0 0 25 0 1 0 835983453 149983232 33374 4294967295 134512640 134714508 3221224592 3221222868 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36617 33374 1111 63 0 36554 0 vsize: 146468 [startup+650.111 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 33877 0 0 0 64935 71 0 0 25 0 1 0 835983453 151396352 33680 4294967295 134512640 134714508 3221224592 3221222868 1077414410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36962 33680 1111 63 0 36899 0 vsize: 147848 [startup+660.111 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 34051 0 0 0 65933 72 0 0 25 0 1 0 835983453 152252416 33850 4294967295 134512640 134714508 3221224592 3221222868 1077414408 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37171 33850 1111 63 0 37108 0 vsize: 148684 [startup+670.111 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 34367 0 0 0 66932 73 0 0 25 0 1 0 835983453 153690112 34158 4294967295 134512640 134714508 3221224592 3221222868 1077414336 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37522 34158 1111 63 0 37459 0 vsize: 150088 [startup+680.112 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 34478 0 0 0 67931 74 0 0 25 0 1 0 835983453 154116096 34267 4294967295 134512640 134714508 3221224592 3221222868 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37626 34267 1111 63 0 37563 0 vsize: 150504 [startup+690.113 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 35956 0 0 0 68927 78 0 0 25 0 1 0 835983453 160284672 35741 4294967295 134512640 134714508 3221224592 3221221068 1077193061 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39132 35741 1111 63 0 39069 0 vsize: 156528 [startup+691.254 s] Raw data (loadavg): 1.06 0.99 0.91 1/53 28851 Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 35956 0 0 0 68927 78 0 0 25 0 1 0 835983453 160284672 35741 4294967295 134512640 134714508 3221224592 3221221068 1077193061 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39132 35741 1111 63 0 39069 0 vsize: 0 Child status: 20 Real time (s): 691.253 CPU time (s): 691.201 CPU user time (s): 690.235 CPU system time (s): 0.965853 CPU usage (%): 99.9924 Max. virtual memory (Kb): 156528 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####