Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-stp3d.opb |
MD5SUM | bd41ba4f2ddbc80664ba643e2dc93b96 |
Bench Category | optimization, medium integers (OPTMEDINT) |
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 | 75648 |
Biggest coefficient in the objective function | 100303 |
Number of bits for the biggest coefficient in the objective function | 17 |
Sum of the numbers in the objective function | 7576279200 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 100303 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 7576279200 |
Number of bits of the biggest sum of numbers | 33 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 2.75158 |
Number of variables | 204880 |
Total number of constraints | 364368 |
Number of constraints which are clauses | 129232 |
Number of constraints which are cardinality constraints (but not clauses) | 210685 |
Number of constraints which are nor clauses,nor cardinality constraints | 24451 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 120 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-05-24 19:57:20 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=18032 boxname=wulflinc5 idbench=1388 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: bd41ba4f2ddbc80664ba643e2dc93b96 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-stp3d.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-stp3d.opb IDLAUNCH: 18032 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 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.007 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: 798768 kB Buffers: 8332 kB Cached: 205844 kB SwapCached: 636 kB Active: 52964 kB Inactive: 163848 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 798516 kB SwapTotal: 2097136 kB SwapFree: 2096140 kB Dirty: 14460 kB Writeback: 0 kB Mapped: 5756 kB Slab: 13420 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-24 20:08:40 (client local time) WITH STATUS 0 IN 678.622 SECONDS stats: 18032 7 678.622 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. #### 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.93 0.96 0.91 2/54 11457 Raw data (stat): 11457 (runsolver) R 11456 7266 7265 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774711774 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.0011 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 11457 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 3375 0 0 0 988 10 0 0 25 0 1 0 774711774 25534464 3299 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6234 3299 1111 63 0 6171 0 vsize: 24936 [startup+20.0014 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 11457 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 6031 0 0 0 1983 14 0 0 25 0 1 0 774711774 36433920 5955 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8895 5955 1111 63 0 8832 0 vsize: 35580 [startup+30.0015 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 11457 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 8700 0 0 0 2979 18 0 0 25 0 1 0 774711774 47316992 8624 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11552 8624 1111 63 0 11489 0 vsize: 46208 [startup+40.0019 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 11457 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 11379 0 0 0 3974 23 0 0 25 0 1 0 774711774 58368000 11303 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14250 11303 1111 63 0 14187 0 vsize: 57000 [startup+50.0026 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 11457 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 14076 0 0 0 4970 28 0 0 25 0 1 0 774711774 69390336 14000 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16941 14000 1111 63 0 16878 0 vsize: 67764 [startup+60.0028 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 11457 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 16780 0 0 0 5966 32 0 0 25 0 1 0 774711774 80441344 16704 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19639 16704 1111 63 0 19576 0 vsize: 78556 [startup+70.0021 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 11457 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 19496 0 0 0 6961 38 0 0 25 0 1 0 774711774 91492352 19420 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22337 19420 1111 63 0 22274 0 vsize: 89348 [startup+80.0029 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 11457 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 22229 0 0 0 7957 42 0 0 25 0 1 0 774711774 102682624 22153 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25069 22153 1111 63 0 25006 0 vsize: 100276 [startup+90.003 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 11457 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 24981 0 0 0 8950 48 0 0 25 0 1 0 774711774 114032640 24905 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27840 24905 1111 63 0 27777 0 vsize: 111360 [startup+100.003 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 11457 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 27747 0 0 0 9945 53 0 0 25 0 1 0 774711774 125358080 27671 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30605 27671 1111 63 0 30542 0 vsize: 122420 [startup+110.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11457 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 30529 0 0 0 10941 58 0 0 25 0 1 0 774711774 136699904 30453 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 33374 30453 1111 63 0 33311 0 vsize: 133496 [startup+120.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11457 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 33325 0 0 0 11936 64 0 0 25 0 1 0 774711774 148197376 33249 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36181 33249 1111 63 0 36118 0 vsize: 144724 [startup+130.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11457 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 36139 0 0 0 12932 68 0 0 25 0 1 0 774711774 159694848 36063 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38988 36063 1111 63 0 38925 0 vsize: 155952 [startup+140.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11457 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 38964 0 0 0 13927 73 0 0 25 0 1 0 774711774 171335680 38888 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 41830 38888 1111 63 0 41767 0 vsize: 167320 [startup+150.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11457 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 41809 0 0 0 14923 78 0 0 25 0 1 0 774711774 182984704 41733 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44674 41733 1111 63 0 44611 0 vsize: 178696 [startup+160.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11457 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 44671 0 0 0 15918 83 0 0 25 0 1 0 774711774 194629632 44595 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 47517 44595 1111 63 0 47454 0 vsize: 190068 [startup+170.021 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 11510 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 47545 0 0 0 16913 88 0 0 25 0 1 0 774711774 206426112 47469 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 50397 47469 1111 63 0 50334 0 vsize: 201588 [startup+180.021 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 11510 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 50423 0 0 0 17909 92 0 0 25 0 1 0 774711774 218214400 50347 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 53275 50347 1111 63 0 53212 0 vsize: 213100 [startup+190.021 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 11510 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 53296 0 0 0 18903 98 0 0 25 0 1 0 774711774 230010880 53220 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 56155 53220 1111 63 0 56092 0 vsize: 224620 [startup+200.022 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 11510 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 56202 0 0 0 19899 103 0 0 25 0 1 0 774711774 241954816 56126 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 59071 56126 1111 63 0 59008 0 vsize: 236284 [startup+210.022 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 11510 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 59113 0 0 0 20893 109 0 0 25 0 1 0 774711774 253902848 59037 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 61988 59037 1111 63 0 61925 0 vsize: 247952 [startup+220.022 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 11510 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 62061 0 0 0 21888 114 0 0 25 0 1 0 774711774 265998336 61985 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 64941 61985 1111 63 0 64878 0 vsize: 259764 [startup+230.022 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 11510 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 65045 0 0 0 22883 119 0 0 25 0 1 0 774711774 278089728 64969 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 67893 64969 1111 63 0 67830 0 vsize: 271572 [startup+240.022 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 11510 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 68047 0 0 0 23878 124 0 0 25 0 1 0 774711774 290484224 67971 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 70919 67971 1111 63 0 70856 0 vsize: 283676 [startup+250.023 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 11512 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 71066 0 0 0 24873 130 0 0 25 0 1 0 774711774 302870528 70990 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73943 70990 1111 63 0 73880 0 vsize: 295772 [startup+260.023 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 11512 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 74111 0 0 0 25867 136 0 0 25 0 1 0 774711774 315265024 74035 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 76969 74035 1111 63 0 76906 0 vsize: 307876 [startup+270.023 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 11512 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 77174 0 0 0 26862 142 0 0 25 0 1 0 774711774 327806976 77098 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 80031 77098 1111 63 0 79968 0 vsize: 320124 [startup+280.024 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 11512 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 80261 0 0 0 27857 146 0 0 25 0 1 0 774711774 340496384 80185 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 83129 80185 1111 63 0 83066 0 vsize: 332516 [startup+290.024 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 11512 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 83366 0 0 0 28852 151 0 0 25 0 1 0 774711774 353185792 83290 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 86227 83290 1111 63 0 86164 0 vsize: 344908 [startup+300.025 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11512 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 86496 0 0 0 29847 157 0 0 25 0 1 0 774711774 366026752 86420 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 89362 86420 1111 63 0 89299 0 vsize: 357448 [startup+310.024 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11512 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 89650 0 0 0 30841 163 0 0 25 0 1 0 774711774 378867712 89574 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 92497 89574 1111 63 0 92434 0 vsize: 369988 [startup+320.024 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11512 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 92827 0 0 0 31835 169 0 0 25 0 1 0 774711774 391856128 92751 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 95668 92751 1111 63 0 95605 0 vsize: 382672 [startup+330.025 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11512 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 96029 0 0 0 32831 173 0 0 25 0 1 0 774711774 404996096 95953 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 98876 95953 1111 63 0 98813 0 vsize: 395504 [startup+340.025 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11512 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 99274 0 0 0 33825 179 0 0 25 0 1 0 774711774 418504704 99198 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 102174 99198 1111 63 0 102111 0 vsize: 408696 [startup+350.025 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11512 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 102525 0 0 0 34820 185 0 0 25 0 1 0 774711774 431792128 102449 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 105418 102449 1111 63 0 105355 0 vsize: 421672 [startup+360.026 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11512 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 105806 0 0 0 35815 190 0 0 25 0 1 0 774711774 445227008 105730 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 108698 105730 1111 63 0 108635 0 vsize: 434792 [startup+370.026 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11512 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 109112 0 0 0 36809 196 0 0 25 0 1 0 774711774 458665984 109036 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 111979 109036 1111 63 0 111916 0 vsize: 447916 [startup+380.026 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11512 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 112448 0 0 0 37803 203 0 0 25 0 1 0 774711774 472399872 112372 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 115332 112372 1111 63 0 115269 0 vsize: 461328 [startup+390.026 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11512 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 115816 0 0 0 38797 208 0 0 25 0 1 0 774711774 486141952 115740 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 118687 115743 1111 63 0 118624 0 vsize: 474748 [startup+400.027 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11512 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 119212 0 0 0 39790 215 0 0 25 0 1 0 774711774 500023296 119136 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 122076 119136 1111 63 0 122013 0 vsize: 488304 [startup+410.027 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11512 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 122646 0 0 0 40784 222 0 0 25 0 1 0 774711774 514203648 122570 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 125538 122570 1111 63 0 125475 0 vsize: 502152 [startup+420.028 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11512 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 126121 0 0 0 41780 226 0 0 25 0 1 0 774711774 528388096 126045 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 129001 126045 1111 63 0 128938 0 vsize: 516004 [startup+430.028 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11512 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 129617 0 0 0 42773 233 0 0 25 0 1 0 774711774 542724096 129541 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 132501 129541 1111 63 0 132438 0 vsize: 530004 [startup+440.028 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11512 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 133141 0 0 0 43768 238 0 0 25 0 1 0 774711774 557056000 133065 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 136000 133065 1111 63 0 135937 0 vsize: 544000 [startup+450.029 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11512 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 136703 0 0 0 44763 244 0 0 25 0 1 0 774711774 571691008 136627 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 139573 136627 1111 63 0 139510 0 vsize: 558292 [startup+460.029 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11512 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 140294 0 0 0 45755 252 0 0 25 0 1 0 774711774 586469376 140218 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 143181 140218 1111 63 0 143118 0 vsize: 572724 [startup+470.029 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11512 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 143923 0 0 0 46749 259 0 0 25 0 1 0 774711774 601251840 143847 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 146790 143847 1111 63 0 146727 0 vsize: 587160 [startup+480.029 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11512 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 147593 0 0 0 47742 265 0 0 25 0 1 0 774711774 616329216 147517 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 150471 147517 1111 63 0 150408 0 vsize: 601884 [startup+490.029 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11512 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 151288 0 0 0 48737 271 0 0 25 0 1 0 774711774 631410688 151212 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 154153 151212 1111 63 0 154090 0 vsize: 616612 [startup+500.029 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11512 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 155031 0 0 0 49732 276 0 0 25 0 1 0 774711774 646787072 154955 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 157907 154955 1111 63 0 157844 0 vsize: 631628 [startup+510.029 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11512 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 158817 0 0 0 50725 283 0 0 25 0 1 0 774711774 662315008 158741 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 161698 158741 1111 63 0 161635 0 vsize: 646792 [startup+520.029 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11512 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 162634 0 0 0 51719 289 0 0 25 0 1 0 774711774 677847040 162558 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 165490 162558 1111 63 0 165427 0 vsize: 661960 [startup+530.029 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11514 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 166505 0 0 0 52712 296 0 0 25 0 1 0 774711774 693665792 166429 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 169352 166429 1111 63 0 169289 0 vsize: 677408 [startup+540.029 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11514 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 170425 0 0 0 53706 303 0 0 25 0 1 0 774711774 709795840 170349 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 173290 170349 1111 63 0 173227 0 vsize: 693160 [startup+550.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11514 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 174381 0 0 0 54699 310 0 0 25 0 1 0 774711774 725921792 174305 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 177227 174305 1111 63 0 177164 0 vsize: 708908 [startup+560.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11514 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 178447 0 0 0 55691 317 0 0 25 0 1 0 774711774 742641664 178371 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 181309 178371 1111 63 0 181246 0 vsize: 725236 [startup+570.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11514 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 182615 0 0 0 56686 323 0 0 25 0 1 0 774711774 759664640 182539 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 185465 182539 1111 63 0 185402 0 vsize: 741860 [startup+580.031 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11514 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 186384 0 0 0 57679 330 0 0 25 0 1 0 774711774 775192576 186308 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 189256 186308 1111 63 0 189193 0 vsize: 757024 [startup+590.031 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11514 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 190175 0 0 0 58675 335 0 0 25 0 1 0 774711774 790716416 190099 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 193046 190099 1111 63 0 192983 0 vsize: 772184 [startup+600.032 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11514 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 194064 0 0 0 59668 341 0 0 25 0 1 0 774711774 806543360 193988 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 196910 193988 1111 63 0 196847 0 vsize: 787640 [startup+610.032 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11514 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 198095 0 0 0 60663 347 0 0 25 0 1 0 774711774 823332864 198019 4294967295 134512640 134714508 3221224592 3221222820 1077414347 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 201009 198019 1111 63 0 200946 0 vsize: 804036 [startup+620.031 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11514 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 202204 0 0 0 61655 353 0 0 25 0 1 0 774711774 840204288 202064 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 205128 202064 1111 63 0 205065 0 vsize: 820512 [startup+630.031 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11514 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 206421 0 0 0 62642 364 0 0 25 0 1 0 774711774 857374720 205897 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 209320 205897 1111 63 0 209257 0 vsize: 837280 [startup+640.031 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11514 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 210711 0 0 0 63632 373 0 0 25 0 1 0 774711774 874991616 209484 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 213621 209484 1111 63 0 213558 0 vsize: 854484 [startup+650.032 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11514 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 214965 0 0 0 64621 383 0 0 25 0 1 0 774711774 892456960 213002 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 217885 213002 1111 63 0 217822 0 vsize: 871540 [startup+660.032 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11514 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 219358 0 0 0 65610 393 0 0 25 0 1 0 774711774 910372864 216730 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 222259 216730 1111 63 0 222196 0 vsize: 889036 [startup+670.032 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11514 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 223801 0 0 0 66599 404 0 0 25 0 1 0 774711774 928591872 220196 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 226707 220196 1111 63 0 226644 0 vsize: 906828 [startup+678.666 s] Raw data (loadavg): 1.00 0.99 0.91 1/53 11514 Raw data (stat): 11457 (bsolo_lpr) R 11456 7266 7265 0 -1 0 223801 0 0 0 66599 404 0 0 25 0 1 0 774711774 928591872 220196 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 226707 220196 1111 63 0 226644 0 vsize: 0 Child ended because it received signal 6 (SIGABRT) Real time (s): 678.66 CPU time (s): 678.622 CPU user time (s): 674.053 CPU system time (s): 4.56831 CPU usage (%): 99.9943 Max. virtual memory (Kb): 906828 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####