Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-dc1l.opb |
MD5SUM | 5b92932a8bc350218da666e6f064f13f |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 68818 |
Biggest coefficient in the objective function | 524288000000000000 |
Number of bits for the biggest coefficient in the objective function | 59 |
Sum of the numbers in the objective function | 6652856940207324781 |
Number of bits of the sum of numbers in the objective function | 63 |
Biggest number in a constraint | 524288000000000000 |
Number of bits of the biggest number in a constraint | 59 |
Biggest sum of numbers in a constraint | 6652856940207324781 |
Number of bits of the biggest sum of numbers | 63 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.758884 |
Number of variables | 68678 |
Total number of constraints | 37291 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 35639 |
Number of constraints which are nor clauses,nor cardinality constraints | 1652 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 35119 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc2 THE 2005-06-09 20:12:59 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=29762 boxname=wulflinc2 idbench=1546 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: 5b92932a8bc350218da666e6f064f13f /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-dc1l.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-dc1l.opb IDLAUNCH: 29762 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 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.191 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: 894820 kB Buffers: 3440 kB Cached: 111900 kB SwapCached: 4408 kB Active: 34860 kB Inactive: 85468 kB HighTotal: 131008 kB HighFree: 31332 kB LowTotal: 903652 kB LowFree: 863488 kB SwapTotal: 2097136 kB SwapFree: 2091668 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4976 kB Slab: 13660 kB Committed_AS: 71792 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 20:33:02 (client local time) WITH STATUS 0 IN 1200.67 SECONDS stats: 29762 7 1200.67 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): 0.87 0.93 0.90 2/54 394 Raw data (stat): 394 (runsolver) R 393 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 913067966 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0006 s] Raw data (loadavg): 0.89 0.93 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 2045 0 0 0 994 4 0 0 25 0 1 0 913067966 19861504 1965 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4849 1965 1111 63 0 4786 0 vsize: 19396 [startup+20.0005 s] Raw data (loadavg): 0.91 0.94 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 3224 0 0 0 1992 6 0 0 25 0 1 0 913067966 24637440 3144 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6015 3144 1111 63 0 5952 0 vsize: 24060 [startup+30.0009 s] Raw data (loadavg): 0.92 0.94 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 4408 0 0 0 2990 8 0 0 25 0 1 0 913067966 29564928 4328 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7218 4328 1111 63 0 7155 0 vsize: 28872 [startup+40.0006 s] Raw data (loadavg): 0.93 0.94 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 5593 0 0 0 3988 10 0 0 25 0 1 0 913067966 34340864 5513 4294967295 134512640 134716908 3221224560 3221222788 1077414349 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8384 5513 1111 63 0 8321 0 vsize: 33536 [startup+50.0019 s] Raw data (loadavg): 0.94 0.94 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 6783 0 0 0 4986 12 0 0 25 0 1 0 913067966 39268352 6703 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9587 6703 1111 63 0 9524 0 vsize: 38348 [startup+60.002 s] Raw data (loadavg): 0.95 0.94 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 7978 0 0 0 5985 14 0 0 25 0 1 0 913067966 44187648 7898 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10788 7898 1111 63 0 10725 0 vsize: 43152 [startup+70.0017 s] Raw data (loadavg): 0.96 0.94 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 9181 0 0 0 6983 16 0 0 25 0 1 0 913067966 49115136 9101 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11991 9101 1111 63 0 11928 0 vsize: 47964 [startup+80.0035 s] Raw data (loadavg): 0.96 0.94 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 10383 0 0 0 7981 18 0 0 25 0 1 0 913067966 54038528 10303 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13193 10303 1111 63 0 13130 0 vsize: 52772 [startup+90.0031 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 11586 0 0 0 8980 19 0 0 25 0 1 0 913067966 58966016 11506 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14396 11506 1111 63 0 14333 0 vsize: 57584 [startup+100.004 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 12801 0 0 0 9979 21 0 0 25 0 1 0 913067966 63893504 12721 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15599 12721 1111 63 0 15536 0 vsize: 62396 [startup+110.004 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 14015 0 0 0 10977 22 0 0 25 0 1 0 913067966 68939776 13935 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16831 13935 1111 63 0 16768 0 vsize: 67324 [startup+120.004 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 15232 0 0 0 11975 24 0 0 25 0 1 0 913067966 73875456 15152 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18036 15152 1111 63 0 17973 0 vsize: 72144 [startup+130.004 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 16447 0 0 0 12973 26 0 0 25 0 1 0 913067966 78798848 16367 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19238 16367 1111 63 0 19175 0 vsize: 76952 [startup+140.004 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 17862 0 0 0 13972 28 0 0 25 0 1 0 913067966 84619264 17782 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20659 17782 1111 63 0 20596 0 vsize: 82636 [startup+150.106 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 19101 0 0 0 14980 30 0 0 25 0 1 0 913067966 89694208 19021 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21898 19021 1111 63 0 21835 0 vsize: 87592 [startup+160.106 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 20334 0 0 0 15979 32 0 0 25 0 1 0 913067966 94769152 20254 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23137 20254 1111 63 0 23074 0 vsize: 92548 [startup+170.106 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 21750 0 0 0 16977 34 0 0 25 0 1 0 913067966 100597760 21670 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24560 21670 1111 63 0 24497 0 vsize: 98240 [startup+180.106 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 22989 0 0 0 17974 37 0 0 25 0 1 0 913067966 105672704 22909 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25799 22909 1111 63 0 25736 0 vsize: 103196 [startup+190.106 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 24428 0 0 0 18973 39 0 0 25 0 1 0 913067966 111493120 24348 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27220 24348 1111 63 0 27157 0 vsize: 108880 [startup+200.107 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 25767 0 0 0 19970 42 0 0 25 0 1 0 913067966 116994048 25687 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28563 25687 1111 63 0 28500 0 vsize: 114252 [startup+210.108 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 27018 0 0 0 20968 44 0 0 25 0 1 0 913067966 122220544 26938 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29839 26938 1111 63 0 29776 0 vsize: 119356 [startup+220.107 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 28397 0 0 0 21966 46 0 0 25 0 1 0 913067966 127889408 28317 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31223 28317 1111 63 0 31160 0 vsize: 124892 [startup+230.107 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 29655 0 0 0 22964 48 0 0 25 0 1 0 913067966 132964352 29575 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32462 29575 1111 63 0 32399 0 vsize: 129848 [startup+240.107 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 30919 0 0 0 23962 50 0 0 25 0 1 0 913067966 138194944 30839 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 33739 30839 1111 63 0 33676 0 vsize: 134956 [startup+250.107 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 32384 0 0 0 24959 53 0 0 25 0 1 0 913067966 144166912 32304 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35197 32304 1111 63 0 35134 0 vsize: 140788 [startup+260.109 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 33732 0 0 0 25957 55 0 0 25 0 1 0 913067966 149688320 33652 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36545 33652 1111 63 0 36482 0 vsize: 146180 [startup+270.108 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 35010 0 0 0 26956 57 0 0 25 0 1 0 913067966 154918912 34930 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37822 34930 1111 63 0 37759 0 vsize: 151288 [startup+280.107 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 36286 0 0 0 27953 59 0 0 25 0 1 0 913067966 160141312 36206 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 39097 36206 1111 63 0 39034 0 vsize: 156388 [startup+290.108 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 37629 0 0 0 28951 61 0 0 25 0 1 0 913067966 165666816 37549 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 40446 37549 1111 63 0 40383 0 vsize: 161784 [startup+300.108 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 38916 0 0 0 29949 64 0 0 25 0 1 0 913067966 170889216 38836 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 41721 38836 1111 63 0 41658 0 vsize: 166884 [startup+310.108 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 40302 0 0 0 30947 66 0 0 25 0 1 0 913067966 176566272 40222 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 43107 40222 1111 63 0 43044 0 vsize: 172428 [startup+320.108 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 41779 0 0 0 31945 68 0 0 25 0 1 0 913067966 182685696 41699 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 44601 41699 1111 63 0 44538 0 vsize: 178404 [startup+330.108 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 43079 0 0 0 32943 70 0 0 25 0 1 0 913067966 187912192 42999 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 45877 42999 1111 63 0 45814 0 vsize: 183508 [startup+340.108 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 44513 0 0 0 33941 73 0 0 25 0 1 0 913067966 193884160 44433 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 47335 44433 1111 63 0 47272 0 vsize: 189340 [startup+350.109 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 45959 0 0 0 34939 75 0 0 25 0 1 0 913067966 199704576 45879 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 48756 45879 1111 63 0 48693 0 vsize: 195024 [startup+360.109 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 47277 0 0 0 35938 77 0 0 25 0 1 0 913067966 205078528 47197 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 50068 47197 1111 63 0 50005 0 vsize: 200272 [startup+370.109 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 48602 0 0 0 36936 78 0 0 25 0 1 0 913067966 210608128 48522 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 51418 48522 1111 63 0 51355 0 vsize: 205672 [startup+380.109 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 49937 0 0 0 37934 81 0 0 25 0 1 0 913067966 216125440 49857 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 52765 49857 1111 63 0 52702 0 vsize: 211060 [startup+390.109 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 51268 0 0 0 38932 82 0 0 25 0 1 0 913067966 221499392 51188 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 54077 51188 1111 63 0 54014 0 vsize: 216308 [startup+400.11 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 52605 0 0 0 39931 84 0 0 25 0 1 0 913067966 227028992 52525 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 55427 52525 1111 63 0 55364 0 vsize: 221708 [startup+410.11 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 53941 0 0 0 40928 87 0 0 25 0 1 0 913067966 232550400 53861 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 56775 53861 1111 63 0 56712 0 vsize: 227100 [startup+420.109 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 55362 0 0 0 41926 89 0 0 25 0 1 0 913067966 238370816 55282 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58196 55282 1111 63 0 58133 0 vsize: 232784 [startup+430.11 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 56719 0 0 0 42924 91 0 0 25 0 1 0 913067966 243900416 56639 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 59546 56639 1111 63 0 59483 0 vsize: 238184 [startup+440.11 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 58147 0 0 0 43923 93 0 0 25 0 1 0 913067966 249720832 58067 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 60967 58067 1111 63 0 60904 0 vsize: 243868 [startup+450.11 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 59514 0 0 0 44921 95 0 0 25 0 1 0 913067966 255242240 59434 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 62315 59434 1111 63 0 62252 0 vsize: 249260 [startup+460.11 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 60882 0 0 0 45919 97 0 0 25 0 1 0 913067966 260923392 60802 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 63702 60802 1111 63 0 63639 0 vsize: 254808 [startup+470.11 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 62267 0 0 0 46917 100 0 0 25 0 1 0 913067966 266592256 62187 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 65086 62187 1111 63 0 65023 0 vsize: 260344 [startup+480.111 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 63762 0 0 0 47915 102 0 0 25 0 1 0 913067966 272711680 63682 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 66580 63682 1111 63 0 66517 0 vsize: 266320 [startup+490.11 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 65154 0 0 0 48912 105 0 0 25 0 1 0 913067966 278388736 65074 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 67966 65074 1111 63 0 67903 0 vsize: 271864 [startup+500.112 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 66594 0 0 0 49910 107 0 0 25 0 1 0 913067966 284360704 66514 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 69424 66514 1111 63 0 69361 0 vsize: 277696 [startup+510.112 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 68028 0 0 0 50907 110 0 0 25 0 1 0 913067966 290181120 67948 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 70845 67948 1111 63 0 70782 0 vsize: 283380 [startup+520.111 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 69439 0 0 0 51905 113 0 0 25 0 1 0 913067966 296005632 69359 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 72267 69359 1111 63 0 72204 0 vsize: 289068 [startup+530.111 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 70848 0 0 0 52902 115 0 0 25 0 1 0 913067966 301678592 70768 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73652 70768 1111 63 0 73589 0 vsize: 294608 [startup+540.112 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 72283 0 0 0 53900 118 0 0 25 0 1 0 913067966 307654656 72203 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 75111 72203 1111 63 0 75048 0 vsize: 300444 [startup+550.112 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 73710 0 0 0 54897 121 0 0 25 0 1 0 913067966 313475072 73630 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 76532 73630 1111 63 0 76469 0 vsize: 306128 [startup+560.113 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 75187 0 0 0 55895 123 0 0 25 0 1 0 913067966 319442944 75107 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 77989 75107 1111 63 0 77926 0 vsize: 311956 [startup+570.113 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 76628 0 0 0 56893 126 0 0 25 0 1 0 913067966 325419008 76548 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 79448 76548 1111 63 0 79385 0 vsize: 317792 [startup+580.113 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 78068 0 0 0 57891 127 0 0 25 0 1 0 913067966 331239424 77988 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 80869 77988 1111 63 0 80806 0 vsize: 323476 [startup+590.113 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 79514 0 0 0 58889 130 0 0 25 0 1 0 913067966 337215488 79434 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 82328 79434 1111 63 0 82265 0 vsize: 329312 [startup+600.113 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 80973 0 0 0 59887 132 0 0 25 0 1 0 913067966 343187456 80893 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 83786 80893 1111 63 0 83723 0 vsize: 335144 [startup+610.114 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 82455 0 0 0 60886 133 0 0 25 0 1 0 913067966 349302784 82375 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 85279 82375 1111 63 0 85216 0 vsize: 341116 [startup+620.114 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 83993 0 0 0 61883 136 0 0 25 0 1 0 913067966 355577856 83913 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 86811 83913 1111 63 0 86748 0 vsize: 347244 [startup+630.114 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 85542 0 0 0 62881 139 0 0 25 0 1 0 913067966 361844736 85462 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 88341 85462 1111 63 0 88278 0 vsize: 353364 [startup+640.114 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 87038 0 0 0 63878 141 0 0 25 0 1 0 913067966 367972352 86958 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 89837 86958 1111 63 0 89774 0 vsize: 359348 [startup+650.115 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 88551 0 0 0 64876 144 0 0 25 0 1 0 913067966 374239232 88471 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 91367 88471 1111 63 0 91304 0 vsize: 365468 [startup+660.115 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 90137 0 0 0 65874 146 0 0 25 0 1 0 913067966 380661760 90057 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 92935 90057 1111 63 0 92872 0 vsize: 371740 [startup+670.115 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 91728 0 0 0 66872 149 0 0 25 0 1 0 913067966 387227648 91648 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 94538 91648 1111 63 0 94475 0 vsize: 378152 [startup+680.116 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 93333 0 0 0 67870 151 0 0 25 0 1 0 913067966 393801728 93253 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96143 93253 1111 63 0 96080 0 vsize: 384572 [startup+690.116 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 94875 0 0 0 68866 154 0 0 25 0 1 0 913067966 400068608 94795 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 97673 94795 1111 63 0 97610 0 vsize: 390692 [startup+700.117 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 96401 0 0 0 69864 157 0 0 25 0 1 0 913067966 406343680 96321 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 99205 96321 1111 63 0 99142 0 vsize: 396820 [startup+710.118 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 97974 0 0 0 70861 160 0 0 25 0 1 0 913067966 412758016 97894 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 100771 97894 1111 63 0 100708 0 vsize: 403084 [startup+720.117 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 99578 0 0 0 71859 162 0 0 25 0 1 0 913067966 419549184 99498 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 102429 99498 1111 63 0 102366 0 vsize: 409716 [startup+730.117 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 101120 0 0 0 72857 165 0 0 25 0 1 0 913067966 425816064 101040 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 103959 101040 1111 63 0 103896 0 vsize: 415836 [startup+740.117 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 102708 0 0 0 73854 168 0 0 25 0 1 0 913067966 432238592 102628 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 105527 102628 1111 63 0 105464 0 vsize: 422108 [startup+750.119 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 104342 0 0 0 74852 170 0 0 25 0 1 0 913067966 438956032 104262 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 107167 104262 1111 63 0 107104 0 vsize: 428668 [startup+760.118 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 106013 0 0 0 75850 173 0 0 25 0 1 0 913067966 445825024 105933 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 108844 105933 1111 63 0 108781 0 vsize: 435376 [startup+770.118 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 107630 0 0 0 76847 175 0 0 25 0 1 0 913067966 452395008 107550 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 110448 107550 1111 63 0 110385 0 vsize: 441792 [startup+780.119 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 109367 0 0 0 77845 178 0 0 25 0 1 0 913067966 459558912 109287 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 112197 109287 1111 63 0 112134 0 vsize: 448788 [startup+790.118 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 110973 0 0 0 78843 180 0 0 25 0 1 0 913067966 466132992 110893 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 113802 110893 1111 63 0 113739 0 vsize: 455208 [startup+800.12 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 112576 0 0 0 79839 184 0 0 25 0 1 0 913067966 472698880 112496 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 115405 112496 1111 63 0 115342 0 vsize: 461620 [startup+810.12 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 114223 0 0 0 80836 187 0 0 25 0 1 0 913067966 479420416 114143 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 117046 114143 1111 63 0 116983 0 vsize: 468184 [startup+820.119 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 115853 0 0 0 81833 190 0 0 25 0 1 0 913067966 486141952 115773 4294967295 134512640 134716908 3221224560 3221222788 1077414374 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 118687 115773 1111 63 0 118624 0 vsize: 474748 [startup+830.119 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 117487 0 0 0 82831 192 0 0 25 0 1 0 913067966 492855296 117407 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 120326 117407 1111 63 0 120263 0 vsize: 481304 [startup+840.119 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 119183 0 0 0 83829 194 0 0 25 0 1 0 913067966 499724288 119103 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 122003 119103 1111 63 0 121940 0 vsize: 488012 [startup+850.12 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 120902 0 0 0 84827 197 0 0 25 0 1 0 913067966 506740736 120822 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 123716 120822 1111 63 0 123653 0 vsize: 494864 [startup+860.12 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 122617 0 0 0 85824 200 0 0 25 0 1 0 913067966 513757184 122537 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 125429 122537 1111 63 0 125366 0 vsize: 501716 [startup+870.119 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 124312 0 0 0 86820 205 0 0 25 0 1 0 913067966 520777728 124232 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 127143 124232 1111 63 0 127080 0 vsize: 508572 [startup+880.119 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 126000 0 0 0 87817 207 0 0 25 0 1 0 913067966 527642624 125920 4294967295 134512640 134716908 3221224560 3221222912 134567410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 128819 125920 1111 63 0 128756 0 vsize: 515276 [startup+890.12 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 127721 0 0 0 88814 210 0 0 25 0 1 0 913067966 534663168 127641 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 130533 127641 1111 63 0 130470 0 vsize: 522132 [startup+900.12 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 129515 0 0 0 89811 214 0 0 25 0 1 0 913067966 542126080 129435 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 132355 129435 1111 63 0 132292 0 vsize: 529420 [startup+910.12 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 131293 0 0 0 90808 217 0 0 25 0 1 0 913067966 549289984 131213 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 134104 131213 1111 63 0 134041 0 vsize: 536416 [startup+920.121 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 133051 0 0 0 91805 220 0 0 25 0 1 0 913067966 556609536 132971 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 135891 132971 1111 63 0 135828 0 vsize: 543564 [startup+930.121 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 134826 0 0 0 92803 222 0 0 25 0 1 0 913067966 563777536 134746 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 137641 134746 1111 63 0 137578 0 vsize: 550564 [startup+940.121 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 136582 0 0 0 93801 225 0 0 25 0 1 0 913067966 570937344 136502 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 139389 136502 1111 63 0 139326 0 vsize: 557556 [startup+950.122 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 138361 0 0 0 94797 229 0 0 25 0 1 0 913067966 578256896 138281 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 141176 138281 1111 63 0 141113 0 vsize: 564704 [startup+960.122 s] Raw data (loadavg): 1.14 1.00 0.92 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 140137 0 0 0 95794 232 0 0 25 0 1 0 913067966 585572352 140057 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 142962 140057 1111 63 0 142899 0 vsize: 571848 [startup+970.122 s] Raw data (loadavg): 1.11 1.00 0.92 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 141930 0 0 0 96790 236 0 0 25 0 1 0 913067966 592891904 141850 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 144749 141850 1111 63 0 144686 0 vsize: 578996 [startup+980.123 s] Raw data (loadavg): 1.10 1.00 0.92 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 143721 0 0 0 97788 239 0 0 25 0 1 0 913067966 600203264 143641 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 146534 143641 1111 63 0 146471 0 vsize: 586136 [startup+990.123 s] Raw data (loadavg): 1.08 1.00 0.92 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 145533 0 0 0 98785 242 0 0 25 0 1 0 913067966 607670272 145453 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 148357 145453 1111 63 0 148294 0 vsize: 593428 [startup+1000.12 s] Raw data (loadavg): 1.07 1.00 0.92 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 147363 0 0 0 99781 246 0 0 25 0 1 0 913067966 615137280 147283 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 150180 147283 1111 63 0 150117 0 vsize: 600720 [startup+1010.13 s] Raw data (loadavg): 1.06 1.00 0.92 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 149271 0 0 0 100779 249 0 0 25 0 1 0 913067966 622903296 149191 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 152076 149191 1111 63 0 152013 0 vsize: 608304 [startup+1020.12 s] Raw data (loadavg): 1.05 1.00 0.92 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 151124 0 0 0 101775 252 0 0 25 0 1 0 913067966 630517760 151044 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 153935 151044 1111 63 0 153872 0 vsize: 615740 [startup+1030.13 s] Raw data (loadavg): 1.04 1.00 0.92 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 153020 0 0 0 102772 256 0 0 25 0 1 0 913067966 638275584 152940 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 155829 152940 1111 63 0 155766 0 vsize: 623316 [startup+1040.13 s] Raw data (loadavg): 1.03 1.00 0.92 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 154898 0 0 0 103769 259 0 0 25 0 1 0 913067966 646041600 154818 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 157725 154818 1111 63 0 157662 0 vsize: 630900 [startup+1050.13 s] Raw data (loadavg): 1.03 1.00 0.92 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 156775 0 0 0 104766 262 0 0 25 0 1 0 913067966 653656064 156695 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 159584 156695 1111 63 0 159521 0 vsize: 638336 [startup+1060.13 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 158672 0 0 0 105763 266 0 0 25 0 1 0 913067966 661422080 158592 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 161480 158592 1111 63 0 161417 0 vsize: 645920 [startup+1070.13 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 160581 0 0 0 106760 269 0 0 25 0 1 0 913067966 669335552 160501 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 163412 160501 1111 63 0 163349 0 vsize: 653648 [startup+1080.13 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 162507 0 0 0 107756 273 0 0 25 0 1 0 913067966 677093376 162427 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 165306 162427 1111 63 0 165243 0 vsize: 661224 [startup+1090.13 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 164445 0 0 0 108754 275 0 0 25 0 1 0 913067966 685158400 164365 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 167275 164365 1111 63 0 167212 0 vsize: 669100 [startup+1100.13 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 166402 0 0 0 109751 278 0 0 25 0 1 0 913067966 693071872 166322 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 169207 166322 1111 63 0 169144 0 vsize: 676828 [startup+1110.13 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 168365 0 0 0 110748 281 0 0 25 0 1 0 913067966 701132800 168285 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 171175 168285 1111 63 0 171112 0 vsize: 684700 [startup+1120.13 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 170358 0 0 0 111746 284 0 0 25 0 1 0 913067966 709345280 170278 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 173180 170278 1111 63 0 173117 0 vsize: 692720 [startup+1130.13 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 172358 0 0 0 112743 287 0 0 25 0 1 0 913067966 717557760 172278 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 175185 172278 1111 63 0 175122 0 vsize: 700740 [startup+1140.13 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 174375 0 0 0 113738 292 0 0 25 0 1 0 913067966 725770240 174295 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 177190 174295 1111 63 0 177127 0 vsize: 708760 [startup+1150.13 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 176429 0 0 0 114735 295 0 0 25 0 1 0 913067966 734130176 176349 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 179231 176349 1111 63 0 179168 0 vsize: 716924 [startup+1160.13 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 178490 0 0 0 115733 298 0 0 25 0 1 0 913067966 742641664 178410 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 181309 178410 1111 63 0 181246 0 vsize: 725236 [startup+1170.13 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 180562 0 0 0 116730 301 0 0 25 0 1 0 913067966 751153152 180482 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 183387 180482 1111 63 0 183324 0 vsize: 733548 [startup+1180.13 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 182664 0 0 0 117727 304 0 0 25 0 1 0 913067966 759664640 182584 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 185465 182584 1111 63 0 185402 0 vsize: 741860 [startup+1190.13 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 184798 0 0 0 118724 307 0 0 25 0 1 0 913067966 768471040 184718 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 187615 184718 1111 63 0 187552 0 vsize: 750460 [startup+1200.13 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 186937 0 0 0 119721 311 0 0 25 0 1 0 913067966 777129984 186857 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 189729 186857 1111 63 0 189666 0 vsize: 758916 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.47 s] Raw data (loadavg): 1.00 1.00 0.92 1/54 394 Raw data (stat): 394 (bsolo_lpr_cuts-) Z 393 31399 31398 0 -1 1036 186937 0 0 0 119721 345 0 0 25 0 1 0 913067966 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child ended because it received signal 15 (SIGTERM) Real time (s): 1200.47 CPU time (s): 1200.67 CPU user time (s): 1197.21 CPU system time (s): 3.45447 CPU usage (%): 100.016 Max. virtual memory (Kb): 758916 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####