Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-khb05250.opb |
MD5SUM | 5d4b655a5461d6a0782bca8bd105f9c2 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2147483647 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 37494 |
Biggest coefficient in the objective function | 6251324899328 |
Number of bits for the biggest coefficient in the objective function | 43 |
Sum of the numbers in the objective function | 5652283493428566 |
Number of bits of the sum of numbers in the objective function | 53 |
Biggest number in a constraint | 6251324899328 |
Number of bits of the biggest number in a constraint | 43 |
Biggest sum of numbers in a constraint | 5652283493428566 |
Number of bits of the biggest sum of numbers | 53 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1250.4 |
Number of variables | 38297 |
Total number of constraints | 126 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 24 |
Number of constraints which are nor clauses,nor cardinality constraints | 102 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 1530 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-06-09 07:41:31 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=29253 boxname=wulflinc5 idbench=1037 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: 5d4b655a5461d6a0782bca8bd105f9c2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-khb05250.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-khb05250.opb IDLAUNCH: 29253 /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: 747548 kB Buffers: 5844 kB Cached: 259576 kB SwapCached: 664 kB Active: 28268 kB Inactive: 239148 kB HighTotal: 131008 kB HighFree: 5488 kB LowTotal: 903652 kB LowFree: 742060 kB SwapTotal: 2097136 kB SwapFree: 2095460 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5072 kB Slab: 13872 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 07:49:26 (client local time) WITH STATUS 20 IN 475.044 SECONDS stats: 29253 7 475.044 20 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 38297 variables and 179 constraints. s UNSATISFIABLE c Exit Code: 20 c Total time: 474.987 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 Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.81 0.90 0.90 1/54 31558 Raw data (stat): 31558 (runsolver) R 31557 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 908554775 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.0005 s] Raw data (loadavg): 0.84 0.90 0.90 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 1133 0 0 0 994 3 0 0 25 0 1 0 908554775 16568320 1053 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4045 1053 1111 63 0 3982 0 vsize: 16180 [startup+20.0016 s] Raw data (loadavg): 0.86 0.91 0.90 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 1369 0 0 0 1994 4 0 0 25 0 1 0 908554775 17625088 1289 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4303 1289 1111 63 0 4240 0 vsize: 17212 [startup+30.001 s] Raw data (loadavg): 0.88 0.91 0.90 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 1608 0 0 0 2994 4 0 0 25 0 1 0 908554775 18485248 1528 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4513 1528 1111 63 0 4450 0 vsize: 18052 [startup+40.0007 s] Raw data (loadavg): 0.90 0.91 0.90 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 1845 0 0 0 3993 4 0 0 25 0 1 0 908554775 19513344 1765 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4764 1765 1111 63 0 4701 0 vsize: 19056 [startup+50.0018 s] Raw data (loadavg): 0.91 0.91 0.90 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 2101 0 0 0 4993 5 0 0 25 0 1 0 908554775 20566016 2021 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5021 2021 1111 63 0 4958 0 vsize: 20084 [startup+60.0012 s] Raw data (loadavg): 0.93 0.92 0.90 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 2339 0 0 0 5993 5 0 0 25 0 1 0 908554775 21475328 2259 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5243 2259 1111 63 0 5180 0 vsize: 20972 [startup+70.0019 s] Raw data (loadavg): 0.94 0.92 0.90 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 2589 0 0 0 6993 5 0 0 25 0 1 0 908554775 22503424 2509 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5494 2509 1111 63 0 5431 0 vsize: 21976 [startup+80.003 s] Raw data (loadavg): 0.95 0.92 0.90 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 2840 0 0 0 7993 6 0 0 25 0 1 0 908554775 23560192 2760 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5752 2760 1111 63 0 5689 0 vsize: 23008 [startup+90.0024 s] Raw data (loadavg): 0.95 0.92 0.90 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 3107 0 0 0 8993 6 0 0 25 0 1 0 908554775 24739840 3027 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6040 3027 1111 63 0 5977 0 vsize: 24160 [startup+100.002 s] Raw data (loadavg): 0.96 0.92 0.91 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 3366 0 0 0 9992 6 0 0 25 0 1 0 908554775 25792512 3286 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6297 3286 1111 63 0 6234 0 vsize: 25188 [startup+110.002 s] Raw data (loadavg): 0.97 0.93 0.91 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 3634 0 0 0 10992 7 0 0 25 0 1 0 908554775 26849280 3554 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6555 3554 1111 63 0 6492 0 vsize: 26220 [startup+120.003 s] Raw data (loadavg): 0.97 0.93 0.91 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 3901 0 0 0 11992 7 0 0 25 0 1 0 908554775 27910144 3821 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6814 3821 1111 63 0 6751 0 vsize: 27256 [startup+130.002 s] Raw data (loadavg): 0.98 0.93 0.91 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 4175 0 0 0 12992 8 0 0 25 0 1 0 908554775 29118464 4095 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7109 4095 1111 63 0 7046 0 vsize: 28436 [startup+140.002 s] Raw data (loadavg): 0.98 0.93 0.91 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 4449 0 0 0 13992 8 0 0 25 0 1 0 908554775 30179328 4369 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7368 4369 1111 63 0 7305 0 vsize: 29472 [startup+150.003 s] Raw data (loadavg): 0.98 0.93 0.91 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 4735 0 0 0 14991 9 0 0 25 0 1 0 908554775 31383552 4655 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7662 4655 1111 63 0 7599 0 vsize: 30648 [startup+160.003 s] Raw data (loadavg): 0.98 0.94 0.91 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 5031 0 0 0 15991 9 0 0 25 0 1 0 908554775 32591872 4951 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7957 4951 1111 63 0 7894 0 vsize: 31828 [startup+170.004 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 5321 0 0 0 16990 10 0 0 25 0 1 0 908554775 33796096 5241 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8251 5241 1111 63 0 8188 0 vsize: 33004 [startup+180.003 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 5622 0 0 0 17990 10 0 0 25 0 1 0 908554775 35008512 5542 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8547 5542 1111 63 0 8484 0 vsize: 34188 [startup+190.003 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 5919 0 0 0 18990 11 0 0 25 0 1 0 908554775 36212736 5839 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8841 5839 1111 63 0 8778 0 vsize: 35364 [startup+200.003 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 6222 0 0 0 19990 11 0 0 25 0 1 0 908554775 37416960 6142 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9135 6142 1111 63 0 9072 0 vsize: 36540 [startup+210.002 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 6532 0 0 0 20990 11 0 0 25 0 1 0 908554775 38772736 6452 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9466 6452 1111 63 0 9403 0 vsize: 37864 [startup+220.003 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 6849 0 0 0 21989 12 0 0 25 0 1 0 908554775 39976960 6769 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9760 6769 1111 63 0 9697 0 vsize: 39040 [startup+230.003 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 7161 0 0 0 22989 12 0 0 25 0 1 0 908554775 41336832 7081 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10092 7081 1111 63 0 10029 0 vsize: 40368 [startup+240.003 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 7493 0 0 0 23989 12 0 0 25 0 1 0 908554775 42688512 7413 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10422 7413 1111 63 0 10359 0 vsize: 41688 [startup+250.002 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 7825 0 0 0 24989 13 0 0 25 0 1 0 908554775 44052480 7745 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10755 7745 1111 63 0 10692 0 vsize: 43020 [startup+260.002 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 8164 0 0 0 25988 14 0 0 25 0 1 0 908554775 45404160 8084 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11085 8084 1111 63 0 11022 0 vsize: 44340 [startup+270.003 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 8505 0 0 0 26988 14 0 0 25 0 1 0 908554775 46764032 8425 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11417 8425 1111 63 0 11354 0 vsize: 45668 [startup+280.003 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 8876 0 0 0 27987 15 0 0 25 0 1 0 908554775 48373760 8796 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11810 8796 1111 63 0 11747 0 vsize: 47240 [startup+290.003 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 9252 0 0 0 28987 15 0 0 25 0 1 0 908554775 50028544 9172 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12214 9172 1111 63 0 12151 0 vsize: 48856 [startup+300.003 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 9653 0 0 0 29987 16 0 0 25 0 1 0 908554775 51539968 9573 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12583 9573 1111 63 0 12520 0 vsize: 50332 [startup+310.003 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 10074 0 0 0 30986 16 0 0 25 0 1 0 908554775 53346304 9994 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13024 9994 1111 63 0 12961 0 vsize: 52096 [startup+320.004 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 10503 0 0 0 31986 17 0 0 25 0 1 0 908554775 55005184 10423 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13429 10423 1111 63 0 13366 0 vsize: 53716 [startup+330.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 10946 0 0 0 32985 18 0 0 25 0 1 0 908554775 56811520 10866 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13870 10866 1111 63 0 13807 0 vsize: 55480 [startup+340.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 11417 0 0 0 33984 19 0 0 25 0 1 0 908554775 58773504 11337 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14349 11337 1111 63 0 14286 0 vsize: 57396 [startup+350.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 11912 0 0 0 34983 20 0 0 25 0 1 0 908554775 60882944 11832 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14864 11832 1111 63 0 14801 0 vsize: 59456 [startup+360.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 12435 0 0 0 35983 20 0 0 25 0 1 0 908554775 62988288 12355 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15378 12355 1111 63 0 15315 0 vsize: 61512 [startup+370.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 12984 0 0 0 36982 21 0 0 25 0 1 0 908554775 65253376 12904 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15931 12904 1111 63 0 15868 0 vsize: 63724 [startup+380.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 13598 0 0 0 37981 23 0 0 25 0 1 0 908554775 67665920 13518 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16520 13518 1111 63 0 16457 0 vsize: 66080 [startup+390.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 14270 0 0 0 38980 24 0 0 25 0 1 0 908554775 70377472 14190 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17182 14190 1111 63 0 17119 0 vsize: 68728 [startup+400.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 14979 0 0 0 39979 25 0 0 25 0 1 0 908554775 73392128 14899 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17918 14899 1111 63 0 17855 0 vsize: 71672 [startup+410.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 15718 0 0 0 40978 26 0 0 25 0 1 0 908554775 76402688 15638 4294967295 134512640 134716908 3221224560 3221222788 1077414349 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18653 15638 1111 63 0 18590 0 vsize: 74612 [startup+420.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 16522 0 0 0 41977 28 0 0 25 0 1 0 908554775 79695872 16442 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19457 16442 1111 63 0 19394 0 vsize: 77828 [startup+430.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 17405 0 0 0 42976 29 0 0 25 0 1 0 908554775 83521536 17325 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20391 17325 1111 63 0 20328 0 vsize: 81564 [startup+440.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 18321 0 0 0 43975 31 0 0 25 0 1 0 908554775 87257088 18241 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21303 18241 1111 63 0 21240 0 vsize: 85212 [startup+450.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 19333 0 0 0 44973 32 0 0 25 0 1 0 908554775 91324416 19253 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22296 19253 1111 63 0 22233 0 vsize: 89184 [startup+460.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 21038 0 0 0 45968 37 0 0 25 0 1 0 908554775 97738752 20810 4294967295 134512640 134716908 3221224560 3221221160 1076880158 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23862 20810 1111 63 0 23799 0 vsize: 95448 [startup+470.008 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 22260 0 0 0 46964 41 0 0 25 0 1 0 908554775 102756352 22032 4294967295 134512640 134716908 3221224560 3221223056 134539129 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25087 22032 1111 63 0 25024 0 vsize: 100348 [startup+474.997 s] Raw data (loadavg): 1.07 0.99 0.91 1/53 31558 Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 22260 0 0 0 46964 41 0 0 25 0 1 0 908554775 102756352 22032 4294967295 134512640 134716908 3221224560 3221223056 134539129 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25087 22032 1111 63 0 25024 0 vsize: 0 Child status: 20 Real time (s): 474.996 CPU time (s): 475.044 CPU user time (s): 474.513 CPU system time (s): 0.530919 CPU usage (%): 100.01 Max. virtual memory (Kb): 100348 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####