Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-air03.opb |
MD5SUM | 69337cf8d2b6f6cf8cc02fedc291ffcc |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 199224 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 10757 |
Biggest coefficient in the objective function | 6873 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 13748961 |
Number of bits of the sum of numbers in the objective function | 24 |
Biggest number in a constraint | 6873 |
Number of bits of the biggest number in a constraint | 13 |
Biggest sum of numbers in a constraint | 13748961 |
Number of bits of the biggest sum of numbers | 24 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.13 |
Number of variables | 10757 |
Total number of constraints | 10881 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 10881 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 3861 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc1 THE 2005-06-08 08:36:45 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=28441 boxname=wulflinc1 idbench=1397 idsolver=20 numberseed=0 MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048 /oldhome/oroussel/solvers/bsolo_lpr-v2 MD5SUM BENCH: 69337cf8d2b6f6cf8cc02fedc291ffcc /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-air03.opb REAL COMMAND: bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-air03.opb IDLAUNCH: 28441 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 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.053 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: 591796 kB Buffers: 30968 kB Cached: 386676 kB SwapCached: 1168 kB Active: 46904 kB Inactive: 372972 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 591544 kB SwapTotal: 2097136 kB SwapFree: 2094844 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5260 kB Slab: 17220 kB Committed_AS: 92720 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-08 08:47:20 (client local time) WITH STATUS 0 IN 633.091 SECONDS stats: 28441 7 633.091 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 10757 variables and 248 constraints. #### 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.99 0.97 0.91 1/55 20560 Raw data (stat): 20560 (runsolver) R 20559 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 843388163 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 31387 0 0 0 936 61 0 0 25 0 1 0 843388163 141516800 31307 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 34550 31313 1111 63 0 34487 0 vsize: 138200 [startup+20.0016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 60874 0 0 0 1888 110 0 0 25 0 1 0 843388163 262344704 60794 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 64049 60794 1111 63 0 63986 0 vsize: 256196 [startup+30.0024 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 66689 0 0 0 2876 121 0 0 25 0 1 0 843388163 286117888 66609 4294967295 134512640 134716908 3221224576 3221222864 134566780 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 69853 66609 1111 63 0 69790 0 vsize: 279412 [startup+40.0022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 67376 0 0 0 3874 122 0 0 25 0 1 0 843388163 288960512 67296 4294967295 134512640 134716908 3221224576 3221222864 134566780 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 70547 67296 1111 63 0 70484 0 vsize: 282188 [startup+50.0019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 67961 0 0 0 4873 123 0 0 25 0 1 0 843388163 291405824 67881 4294967295 134512640 134716908 3221224576 3221222852 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 71144 67881 1111 63 0 71081 0 vsize: 284576 [startup+60.0017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 68569 0 0 0 5871 125 0 0 25 0 1 0 843388163 294047744 68489 4294967295 134512640 134716908 3221224576 3221222904 1077378037 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 71789 68489 1111 63 0 71726 0 vsize: 287156 [startup+70.0015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 69153 0 0 0 6869 127 0 0 25 0 1 0 843388163 296521728 69073 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 72393 69073 1111 63 0 72330 0 vsize: 289572 [startup+80.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 72218 0 0 0 7863 134 0 0 25 0 1 0 843388163 299302912 72081 4294967295 134512640 134716908 3221224576 3221223132 134543664 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 73072 72081 1111 63 0 73009 0 vsize: 292288 [startup+90.0031 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 75366 0 0 0 8857 138 0 0 25 0 1 0 843388163 312152064 75229 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 76209 75229 1111 63 0 76146 0 vsize: 304836 [startup+100.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 78445 0 0 0 9852 144 0 0 25 0 1 0 843388163 324861952 78308 4294967295 134512640 134716908 3221224576 3221222984 134543647 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 79312 78308 1111 63 0 79249 0 vsize: 317248 [startup+110.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 81562 0 0 0 10846 150 0 0 25 0 1 0 843388163 337571840 81425 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 82415 81425 1111 63 0 82352 0 vsize: 329660 [startup+120.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 84542 0 0 0 11841 155 0 0 25 0 1 0 843388163 349745152 84405 4294967295 134512640 134716908 3221224576 3221223192 134543785 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 85387 84405 1111 63 0 85324 0 vsize: 341548 [startup+130.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 87635 0 0 0 12836 161 0 0 25 0 1 0 843388163 362455040 87498 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 88490 87498 1111 63 0 88427 0 vsize: 353960 [startup+140.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 90782 0 0 0 13831 165 0 0 25 0 1 0 843388163 375300096 90645 4294967295 134512640 134716908 3221224576 3221223200 134529009 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 91626 90645 1111 63 0 91563 0 vsize: 366504 [startup+150.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 93839 0 0 0 14825 172 0 0 25 0 1 0 843388163 387878912 93702 4294967295 134512640 134716908 3221224576 3221222988 134543615 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 94697 93702 1111 63 0 94634 0 vsize: 378788 [startup+160.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 96959 0 0 0 15819 178 0 0 25 0 1 0 843388163 400588800 96822 4294967295 134512640 134716908 3221224576 3221222984 134543614 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 97800 96822 1111 63 0 97737 0 vsize: 391200 [startup+170.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 99973 0 0 0 16814 183 0 0 25 0 1 0 843388163 413028352 99836 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 100837 99836 1111 63 0 100774 0 vsize: 403348 [startup+180.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 103010 0 0 0 17809 189 0 0 25 0 1 0 843388163 425472000 102873 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 103875 102873 1111 63 0 103812 0 vsize: 415500 [startup+190.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 106060 0 0 0 18804 194 0 0 25 0 1 0 843388163 437911552 105923 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 106912 105923 1111 63 0 106849 0 vsize: 427648 [startup+200.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 109028 0 0 0 19800 198 0 0 25 0 1 0 843388163 450080768 108891 4294967295 134512640 134716908 3221224576 3221223152 134535728 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 109883 108891 1111 63 0 109820 0 vsize: 439532 [startup+210.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 112007 0 0 0 20793 205 0 0 25 0 1 0 843388163 462254080 111870 4294967295 134512640 134716908 3221224576 3221223192 134536900 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 112855 111870 1111 63 0 112792 0 vsize: 451420 [startup+220.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 114998 0 0 0 21788 210 0 0 25 0 1 0 843388163 474558464 114861 4294967295 134512640 134716908 3221224576 3221223192 134536894 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 115859 114861 1111 63 0 115796 0 vsize: 463436 [startup+230.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 118005 0 0 0 22783 215 0 0 25 0 1 0 843388163 486862848 117868 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 118863 117868 1111 63 0 118800 0 vsize: 475452 [startup+240.006 s] Raw data (loadavg): 0.99 0.97 0.91 3/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 120972 0 0 0 23777 221 0 0 25 0 1 0 843388163 499032064 120835 4294967295 134512640 134716908 3221224576 3221223440 134615885 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 121834 120835 1111 63 0 121771 0 vsize: 487336 [startup+250.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 123920 0 0 0 24772 226 0 0 25 0 1 0 843388163 511070208 123783 4294967295 134512640 134716908 3221224576 3221223072 134543756 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 124773 123783 1111 63 0 124710 0 vsize: 499092 [startup+260.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 126864 0 0 0 25767 232 0 0 25 0 1 0 843388163 523104256 126727 4294967295 134512640 134716908 3221224576 3221223056 134542362 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 127711 126727 1111 63 0 127648 0 vsize: 510844 [startup+270.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 129691 0 0 0 26761 238 0 0 25 0 1 0 843388163 534732800 129554 4294967295 134512640 134716908 3221224576 3221222960 134542306 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 130550 129554 1111 63 0 130487 0 vsize: 522200 [startup+280.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 132637 0 0 0 27756 243 0 0 25 0 1 0 843388163 546770944 132500 4294967295 134512640 134716908 3221224576 3221223216 134584866 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 133489 132500 1111 63 0 133426 0 vsize: 533956 [startup+290.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 135674 0 0 0 28751 248 0 0 25 0 1 0 843388163 559210496 135537 4294967295 134512640 134716908 3221224576 3221223192 134536900 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 136526 135537 1111 63 0 136463 0 vsize: 546104 [startup+300.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 138585 0 0 0 29745 254 0 0 25 0 1 0 843388163 571109376 138448 4294967295 134512640 134716908 3221224576 3221223200 134594994 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 139431 138448 1111 63 0 139368 0 vsize: 557724 [startup+310.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 141443 0 0 0 30741 259 0 0 25 0 1 0 843388163 582873088 141306 4294967295 134512640 134716908 3221224576 3221223192 134543825 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 142303 141306 1111 63 0 142240 0 vsize: 569212 [startup+320.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 144364 0 0 0 31736 264 0 0 25 0 1 0 843388163 594776064 144227 4294967295 134512640 134716908 3221224576 3221223084 134542288 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 145209 144227 1111 63 0 145146 0 vsize: 580836 [startup+330.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 147201 0 0 0 32730 270 0 0 25 0 1 0 843388163 606404608 147064 4294967295 134512640 134716908 3221224576 3221223040 134543030 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 148048 147064 1111 63 0 147985 0 vsize: 592192 [startup+340.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 150023 0 0 0 33724 274 0 0 25 0 1 0 843388163 618033152 149886 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 150887 149886 1111 63 0 150824 0 vsize: 603548 [startup+350.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 152961 0 0 0 34717 280 0 0 25 0 1 0 843388163 630067200 152824 4294967295 134512640 134716908 3221224576 3221223056 134543046 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 153825 152824 1111 63 0 153762 0 vsize: 615300 [startup+360.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 155849 0 0 0 35710 286 0 0 25 0 1 0 843388163 641835008 155712 4294967295 134512640 134716908 3221224576 3221223192 134536900 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 156698 155712 1111 63 0 156635 0 vsize: 626792 [startup+370.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 158631 0 0 0 36705 291 0 0 25 0 1 0 843388163 653193216 158494 4294967295 134512640 134716908 3221224576 3221222956 134539273 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 159471 158494 1111 63 0 159408 0 vsize: 637884 [startup+380.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 161480 0 0 0 37698 297 0 0 25 0 1 0 843388163 664956928 161343 4294967295 134512640 134716908 3221224576 3221223180 134535874 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 162343 161343 1111 63 0 162280 0 vsize: 649372 [startup+390.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 164262 0 0 0 38693 301 0 0 25 0 1 0 843388163 676315136 164125 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 165116 164125 1111 63 0 165053 0 vsize: 660464 [startup+400.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 167089 0 0 0 39687 306 0 0 25 0 1 0 843388163 687943680 166952 4294967295 134512640 134716908 3221224576 3221223056 134539429 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 167955 166952 1111 63 0 167892 0 vsize: 671820 [startup+410.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 169947 0 0 0 40681 311 0 0 25 0 1 0 843388163 699576320 169810 4294967295 134512640 134716908 3221224576 3221223056 134539567 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 170795 169810 1111 63 0 170732 0 vsize: 683180 [startup+420.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 172699 0 0 0 41675 316 0 0 25 0 1 0 843388163 710934528 172562 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 173568 172562 1111 63 0 173505 0 vsize: 694272 [startup+430.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 175521 0 0 0 42669 321 0 0 25 0 1 0 843388163 722427904 175384 4294967295 134512640 134716908 3221224576 3221222960 134542325 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 176374 175384 1111 63 0 176311 0 vsize: 705496 [startup+440.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 178327 0 0 0 43663 325 0 0 25 0 1 0 843388163 733921280 178190 4294967295 134512640 134716908 3221224576 3221223104 134542851 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 179180 178190 1111 63 0 179117 0 vsize: 716720 [startup+450.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 181043 0 0 0 44658 330 0 0 25 0 1 0 843388163 745009152 180906 4294967295 134512640 134716908 3221224576 3221222952 1077378037 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 181887 180908 1111 63 0 181824 0 vsize: 727548 [startup+460.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 183863 0 0 0 45653 334 0 0 25 0 1 0 843388163 756641792 183726 4294967295 134512640 134716908 3221224576 3221223064 1077378037 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 184727 183727 1111 63 0 184664 0 vsize: 738908 [startup+470.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 186629 0 0 0 46647 339 0 0 25 0 1 0 843388163 768000000 186492 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 187500 186492 1111 63 0 187437 0 vsize: 750000 [startup+480.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 189333 0 0 0 47641 344 0 0 25 0 1 0 843388163 778952704 189196 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 190174 189196 1111 63 0 190111 0 vsize: 760696 [startup+490.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 191994 0 0 0 48635 349 0 0 25 0 1 0 843388163 789905408 191857 4294967295 134512640 134716908 3221224576 3221222956 134539251 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 192848 191857 1111 63 0 192785 0 vsize: 771392 [startup+500.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 194721 0 0 0 49630 352 0 0 25 0 1 0 843388163 801132544 194584 4294967295 134512640 134716908 3221224576 3221222976 134542808 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 195589 194584 1111 63 0 195526 0 vsize: 782356 [startup+510.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 197454 0 0 0 50624 358 0 0 25 0 1 0 843388163 812220416 197285 4294967295 134512640 134716908 3221224576 3221223080 134543614 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 198296 197285 1111 63 0 198233 0 vsize: 793184 [startup+520.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 200100 0 0 0 51617 363 0 0 25 0 1 0 843388163 823173120 199810 4294967295 134512640 134716908 3221224576 3221223036 1077386340 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 200970 199810 1111 63 0 200907 0 vsize: 803880 [startup+530.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 202755 0 0 0 52610 369 0 0 25 0 1 0 843388163 833990656 202209 4294967295 134512640 134716908 3221224576 3221223080 134543614 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 203611 202209 1111 63 0 203548 0 vsize: 814444 [startup+540.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 205429 0 6 0 53597 375 0 0 25 0 1 0 843388163 844943360 204474 4294967295 134512640 134716908 3221224576 3221223196 134543776 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 206285 204474 1111 63 0 206222 0 vsize: 825140 [startup+550.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 207975 0 12 0 54584 378 0 0 25 0 1 0 843388163 855355392 206650 4294967295 134512640 134716908 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 208827 206650 1111 63 0 208764 0 vsize: 835308 [startup+560.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 210626 0 15 0 55575 383 0 0 25 0 1 0 843388163 866172928 209045 4294967295 134512640 134716908 3221224576 3221223072 134543707 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 211468 209045 1111 63 0 211405 0 vsize: 845872 [startup+570.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 213167 0 23 0 56556 389 0 0 25 0 1 0 843388163 876589056 211288 4294967295 134512640 134716908 3221224576 3221223056 134536624 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 214011 211288 1111 63 0 213948 0 vsize: 856044 [startup+580.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 215733 0 36 0 57538 395 0 0 25 0 1 0 843388163 887001088 213553 4294967295 134512640 134716908 3221224576 3221223064 1077377571 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 216553 213553 1111 63 0 216490 0 vsize: 866212 [startup+590.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 218282 0 45 0 58522 399 0 0 25 0 1 0 843388163 897413120 215756 4294967295 134512640 134716908 3221224576 3221222960 134542342 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 219095 215756 1111 63 0 219032 0 vsize: 876380 [startup+600.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 220889 0 76 0 59481 405 0 0 25 0 1 0 843388163 907960320 218041 4294967295 134512640 134716908 3221224576 3221223064 134542295 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 221670 218041 1111 63 0 221607 0 vsize: 886680 [startup+610.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 223456 0 91 0 60456 409 0 0 25 0 1 0 843388163 918507520 220177 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 224245 220177 1111 63 0 224182 0 vsize: 896980 [startup+620.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 226039 0 97 0 61443 414 0 0 25 0 1 0 843388163 929054720 222241 4294967295 134512640 134716908 3221224576 3221223080 134542289 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 226820 222241 1111 63 0 226757 0 vsize: 907280 [startup+630.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 228543 0 110 0 62421 419 0 0 25 0 1 0 843388163 939196416 224262 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 229296 224262 1111 63 0 229233 0 vsize: 917184 [startup+634.768 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 20560 Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 228543 0 110 0 62421 419 0 0 25 0 1 0 843388163 939196416 224262 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 229296 224262 1111 63 0 229233 0 vsize: 0 Child ended because it received signal 6 (SIGABRT) Real time (s): 634.768 CPU time (s): 633.091 CPU user time (s): 628.446 CPU system time (s): 4.64429 CPU usage (%): 99.7358 Max. virtual memory (Kb): 917184 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####