Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-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.74658 |
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 wulflinc3 THE 2005-06-09 07:02:01 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=29220 boxname=wulflinc3 idbench=1004 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: bd41ba4f2ddbc80664ba643e2dc93b96 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-stp3d.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-stp3d.opb IDLAUNCH: 29220 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 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 : 2 cpu MHz : 451.190 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: 438396 kB Buffers: 32164 kB Cached: 539900 kB SwapCached: 3488 kB Active: 70584 kB Inactive: 506296 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 438144 kB SwapTotal: 2097136 kB SwapFree: 2092672 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5036 kB Slab: 13680 kB Committed_AS: 71792 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 07:12:45 (client local time) WITH STATUS 0 IN 641.713 SECONDS stats: 29220 7 641.713 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 Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 1.02 1.01 0.94 2/54 4911 Raw data (stat): 4911 (runsolver) R 4910 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 908309315 884736 94 4294967295 134512640 135332820 3221224448 3221219628 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.0006 s] Raw data (loadavg): 1.02 1.01 0.94 2/54 4911 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 3419 0 0 0 987 10 0 0 25 0 1 0 908309315 25681920 3339 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6270 3339 1111 63 0 6207 0 vsize: 25080 [startup+20.0011 s] Raw data (loadavg): 1.01 1.01 0.94 2/54 4911 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 6124 0 0 0 1981 17 0 0 25 0 1 0 908309315 36732928 6044 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8968 6044 1111 63 0 8905 0 vsize: 35872 [startup+30.0013 s] Raw data (loadavg): 1.01 1.01 0.94 2/54 4911 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 8835 0 0 0 2975 23 0 0 25 0 1 0 908309315 47915008 8755 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11698 8755 1111 63 0 11635 0 vsize: 46792 [startup+40.0025 s] Raw data (loadavg): 1.01 1.01 0.94 2/54 4911 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 11557 0 0 0 3969 28 0 0 25 0 1 0 908309315 58966016 11477 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14396 11477 1111 63 0 14333 0 vsize: 57584 [startup+50.0036 s] Raw data (loadavg): 1.01 1.01 0.94 2/54 4911 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 14304 0 0 0 4964 34 0 0 25 0 1 0 908309315 70287360 14224 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17160 14224 1111 63 0 17097 0 vsize: 68640 [startup+60.0038 s] Raw data (loadavg): 1.01 1.01 0.94 2/54 4911 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 17055 0 0 0 5959 39 0 0 25 0 1 0 908309315 81481728 16975 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19893 16975 1111 63 0 19830 0 vsize: 79572 [startup+70.0047 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4911 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 19819 0 0 0 6954 44 0 0 25 0 1 0 908309315 92831744 19739 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22664 19739 1111 63 0 22601 0 vsize: 90656 [startup+80.0051 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4911 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 22608 0 0 0 7949 49 0 0 25 0 1 0 908309315 104329216 22528 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25471 22528 1111 63 0 25408 0 vsize: 101884 [startup+90.0053 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4911 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 25433 0 0 0 8944 55 0 0 25 0 1 0 908309315 115945472 25353 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28307 25353 1111 63 0 28244 0 vsize: 113228 [startup+100.006 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4911 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 28265 0 0 0 9939 59 0 0 25 0 1 0 908309315 127442944 28185 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31114 28185 1111 63 0 31051 0 vsize: 124456 [startup+110.007 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4911 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 31121 0 0 0 10934 64 0 0 25 0 1 0 908309315 139239424 31041 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 33994 31041 1111 63 0 33931 0 vsize: 135976 [startup+120.008 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4911 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 33996 0 0 0 11929 70 0 0 25 0 1 0 908309315 150888448 33916 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36838 33916 1111 63 0 36775 0 vsize: 147352 [startup+130.009 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4911 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 36906 0 0 0 12924 75 0 0 25 0 1 0 908309315 162828288 36826 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39753 36826 1111 63 0 39690 0 vsize: 159012 [startup+140.009 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4911 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 39848 0 0 0 13919 80 0 0 25 0 1 0 908309315 174919680 39768 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42705 39768 1111 63 0 42642 0 vsize: 170820 [startup+150.009 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4911 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 42813 0 0 0 14914 86 0 0 25 0 1 0 908309315 187015168 42733 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45658 42733 1111 63 0 45595 0 vsize: 182632 [startup+160.01 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4911 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 45784 0 0 0 15907 92 0 0 25 0 1 0 908309315 199258112 45704 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48647 45704 1111 63 0 48584 0 vsize: 194588 [startup+170.011 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4911 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 48786 0 0 0 16903 97 0 0 25 0 1 0 908309315 211501056 48706 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 51636 48706 1111 63 0 51573 0 vsize: 206544 [startup+180.011 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4911 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 51823 0 0 0 17896 103 0 0 25 0 1 0 908309315 224043008 51743 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54698 51743 1111 63 0 54635 0 vsize: 218792 [startup+190.011 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4911 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 54885 0 0 0 18891 109 0 0 25 0 1 0 908309315 236584960 54805 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 57760 54805 1111 63 0 57697 0 vsize: 231040 [startup+200.011 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4911 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 57961 0 0 0 19885 114 0 0 25 0 1 0 908309315 249126912 57881 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 60822 57881 1111 63 0 60759 0 vsize: 243288 [startup+210.011 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4913 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 61065 0 0 0 20880 120 0 0 25 0 1 0 908309315 261816320 60985 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 63920 60985 1111 63 0 63857 0 vsize: 255680 [startup+220.013 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4913 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 64226 0 0 0 21874 126 0 0 25 0 1 0 908309315 274804736 64146 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 67091 64146 1111 63 0 67028 0 vsize: 268364 [startup+230.013 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4913 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 67422 0 0 0 22867 133 0 0 25 0 1 0 908309315 287944704 67342 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 70299 67342 1111 63 0 70236 0 vsize: 281196 [startup+240.013 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4913 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 70656 0 0 0 23862 138 0 0 25 0 1 0 908309315 301080576 70576 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 73506 70576 1111 63 0 73443 0 vsize: 294024 [startup+250.014 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4913 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 73931 0 0 0 24856 144 0 0 25 0 1 0 908309315 314519552 73851 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 76787 73851 1111 63 0 76724 0 vsize: 307148 [startup+260.013 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4913 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 77218 0 0 0 25851 149 0 0 25 0 1 0 908309315 327954432 77138 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 80067 77138 1111 63 0 80004 0 vsize: 320268 [startup+270.014 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4913 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 80544 0 0 0 26845 155 0 0 25 0 1 0 908309315 341544960 80464 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 83385 80464 1111 63 0 83322 0 vsize: 333540 [startup+280.016 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4913 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 83892 0 0 0 27838 162 0 0 25 0 1 0 908309315 355278848 83812 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 86738 83812 1111 63 0 86675 0 vsize: 346952 [startup+290.016 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4913 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 87270 0 0 0 28832 168 0 0 25 0 1 0 908309315 369164288 87190 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 90128 87190 1111 63 0 90065 0 vsize: 360512 [startup+300.016 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4913 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 90673 0 0 0 29826 174 0 0 25 0 1 0 908309315 383049728 90593 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 93518 90593 1111 63 0 93455 0 vsize: 374072 [startup+310.017 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4913 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 94125 0 0 0 30820 181 0 0 25 0 1 0 908309315 397234176 94045 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96981 94045 1111 63 0 96918 0 vsize: 387924 [startup+320.017 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4913 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 97635 0 0 0 31814 186 0 0 25 0 1 0 908309315 411566080 97555 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 100480 97555 1111 63 0 100417 0 vsize: 401920 [startup+330.017 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4913 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 101188 0 0 0 32807 194 0 0 25 0 1 0 908309315 426262528 101108 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 104068 101108 1111 63 0 104005 0 vsize: 416272 [startup+340.017 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4913 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 104770 0 0 0 33801 200 0 0 25 0 1 0 908309315 440897536 104690 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 107641 104690 1111 63 0 107578 0 vsize: 430564 [startup+350.018 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4913 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 108366 0 0 0 34796 205 0 0 25 0 1 0 908309315 455675904 108286 4294967295 134512640 134716908 3221224560 3221222788 1077414349 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 111249 108286 1111 63 0 111186 0 vsize: 444996 [startup+360.017 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4913 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 112013 0 0 0 35789 212 0 0 25 0 1 0 908309315 470609920 111933 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 114895 111933 1111 63 0 114832 0 vsize: 459580 [startup+370.019 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4913 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 115695 0 0 0 36783 219 0 0 25 0 1 0 908309315 485687296 115615 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 118576 115615 1111 63 0 118513 0 vsize: 474304 [startup+380.019 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4913 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 119403 0 0 0 37776 226 0 0 25 0 1 0 908309315 500916224 119323 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 122294 119323 1111 63 0 122231 0 vsize: 489176 [startup+390.019 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4913 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 123184 0 0 0 38769 233 0 0 25 0 1 0 908309315 516300800 123104 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 126050 123104 1111 63 0 125987 0 vsize: 504200 [startup+400.019 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4913 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 126981 0 0 0 39763 239 0 0 25 0 1 0 908309315 531820544 126901 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 129839 126901 1111 63 0 129776 0 vsize: 519356 [startup+410.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4913 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 130822 0 0 0 40757 246 0 0 25 0 1 0 908309315 547651584 130742 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 133704 130742 1111 63 0 133641 0 vsize: 534816 [startup+420.021 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4913 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 134694 0 0 0 41749 254 0 0 25 0 1 0 908309315 563478528 134614 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 137568 134614 1111 63 0 137505 0 vsize: 550272 [startup+430.021 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4913 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 138607 0 0 0 42741 262 0 0 25 0 1 0 908309315 579457024 138527 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 141469 138527 1111 63 0 141406 0 vsize: 565876 [startup+440.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4913 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 142569 0 0 0 43735 269 0 0 25 0 1 0 908309315 595726336 142489 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 145441 142489 1111 63 0 145378 0 vsize: 581764 [startup+450.021 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4913 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 146561 0 0 0 44727 276 0 0 25 0 1 0 908309315 611999744 146481 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 149414 146481 1111 63 0 149351 0 vsize: 597656 [startup+460.022 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4913 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 150590 0 0 0 45720 284 0 0 25 0 1 0 908309315 628572160 150510 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 153460 150510 1111 63 0 153397 0 vsize: 613840 [startup+470.022 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4913 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 154663 0 0 0 46713 291 0 0 25 0 1 0 908309315 645296128 154583 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 157543 154583 1111 63 0 157480 0 vsize: 630172 [startup+480.024 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4913 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 158771 0 0 0 47706 298 0 0 25 0 1 0 908309315 662016000 158691 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 161625 158691 1111 63 0 161562 0 vsize: 646500 [startup+490.024 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4913 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 162927 0 0 0 48698 307 0 0 25 0 1 0 908309315 679038976 162847 4294967295 134512640 134716908 3221224560 3221222912 134567410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 165781 162847 1111 63 0 165718 0 vsize: 663124 [startup+500.024 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4913 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 167145 0 0 0 49692 313 0 0 25 0 1 0 908309315 696356864 167065 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 170009 167065 1111 63 0 169946 0 vsize: 680036 [startup+510.024 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4913 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 171406 0 0 0 50685 320 0 0 25 0 1 0 908309315 713826304 171326 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 174274 171326 1111 63 0 174211 0 vsize: 697096 [startup+520.026 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4913 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 175677 0 0 0 51678 327 0 0 25 0 1 0 908309315 731291648 175597 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 178538 175597 1111 63 0 178475 0 vsize: 714152 [startup+530.026 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4913 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 180013 0 0 0 52669 336 0 0 25 0 1 0 908309315 749060096 179933 4294967295 134512640 134716908 3221224560 3221222912 134567410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 182876 179936 1111 63 0 182813 0 vsize: 731504 [startup+540.026 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4913 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 184179 0 0 0 53664 342 0 0 25 0 1 0 908309315 766078976 184099 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 187031 184099 1111 63 0 186968 0 vsize: 748124 [startup+550.027 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4913 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 188104 0 0 0 54656 349 0 0 25 0 1 0 908309315 782204928 188024 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 190968 188024 1111 63 0 190905 0 vsize: 763872 [startup+560.026 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4913 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 192055 0 0 0 55649 357 0 0 25 0 1 0 908309315 798330880 191975 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 194905 191975 1111 63 0 194842 0 vsize: 779620 [startup+570.028 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4913 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 196092 0 0 0 56640 366 0 0 25 0 1 0 908309315 815120384 196012 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 199004 196012 1111 63 0 198941 0 vsize: 796016 [startup+580.029 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4913 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 200333 0 0 0 57633 373 0 0 25 0 1 0 908309315 832438272 200253 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 203232 200253 1111 63 0 203169 0 vsize: 812928 [startup+590.029 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4913 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 204635 0 0 0 58626 380 0 0 25 0 1 0 908309315 850055168 204555 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 207533 204555 1111 63 0 207470 0 vsize: 830132 [startup+600.029 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4913 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 208987 0 0 0 59618 389 0 0 25 0 1 0 908309315 867971072 208907 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 211907 208907 1111 63 0 211844 0 vsize: 847628 [startup+610.029 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4913 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 213382 0 0 0 60610 397 0 0 25 0 1 0 908309315 885891072 213238 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 216282 213238 1111 63 0 216219 0 vsize: 865128 [startup+620.029 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4913 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 217793 0 0 0 61599 408 0 0 25 0 1 0 908309315 903954432 217425 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 220692 217425 1111 63 0 220629 0 vsize: 882768 [startup+630.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4913 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 222338 0 0 0 62587 420 0 0 25 0 1 0 908309315 922615808 221650 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 225248 221650 1111 63 0 225185 0 vsize: 900992 [startup+640.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 4913 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 226989 0 0 0 63574 433 0 0 25 0 1 0 908309315 941580288 225917 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 229878 225917 1111 63 0 229815 0 vsize: 919512 [startup+641.66 s] Raw data (loadavg): 1.00 1.00 0.94 1/53 4913 Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 226989 0 0 0 63574 433 0 0 25 0 1 0 908309315 941580288 225917 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 229878 225917 1111 63 0 229815 0 vsize: 0 Child ended because it received signal 6 (SIGABRT) Real time (s): 641.66 CPU time (s): 641.713 CPU user time (s): 636.945 CPU system time (s): 4.76827 CPU usage (%): 100.008 Max. virtual memory (Kb): 919512 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####