Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-NSR8K.opb |
MD5SUM | 4969ff20db6e3c380ff3de77937a8672 |
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 | 221520 |
Biggest coefficient in the objective function | 536870912000000000000 |
Number of bits for the biggest coefficient in the objective function | 69 |
Sum of the numbers in the objective function | 34400198927214220148736 |
Number of bits of the sum of numbers in the objective function | 75 |
Biggest number in a constraint | 536870912000000000000 |
Number of bits of the biggest number in a constraint | 69 |
Biggest sum of numbers in a constraint | 34400301327214220148736 |
Number of bits of the biggest sum of numbers | 75 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 2.17367 |
Number of variables | 221520 |
Total number of constraints | 38324 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 32041 |
Number of constraints which are nor clauses,nor cardinality constraints | 6283 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 221520 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc11 THE 2005-05-24 23:44:28 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=15147 boxname=wulflinc11 idbench=1166 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 4969ff20db6e3c380ff3de77937a8672 /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-NSR8K.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-NSR8K.opb IDLAUNCH: 15147 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.028 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.028 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: 894900 kB Buffers: 25748 kB Cached: 88576 kB SwapCached: 868 kB Active: 75804 kB Inactive: 44416 kB HighTotal: 131008 kB HighFree: 44408 kB LowTotal: 903652 kB LowFree: 850492 kB SwapTotal: 2097136 kB SwapFree: 2095460 kB Dirty: 4 kB Writeback: 0 kB Mapped: 5000 kB Slab: 13604 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 00:04:32 (client local time) WITH STATUS 0 IN 1200.4 SECONDS stats: 15147 7 1200.4 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.81 0.93 0.95 2/54 32512 Raw data (stat): 32512 (runsolver) R 32511 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776070949 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0006 s] Raw data (loadavg): 0.84 0.93 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 2203 0 0 0 987 9 0 0 25 0 1 0 776070949 16429056 2127 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4011 2127 1111 63 0 3948 0 vsize: 16044 [startup+20.001 s] Raw data (loadavg): 0.86 0.93 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 2549 0 0 0 1986 10 0 0 25 0 1 0 776070949 17915904 2473 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4374 2473 1111 63 0 4311 0 vsize: 17496 [startup+30.0008 s] Raw data (loadavg): 0.88 0.93 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 2902 0 0 0 2986 11 0 0 25 0 1 0 776070949 19415040 2826 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4740 2826 1111 63 0 4677 0 vsize: 18960 [startup+40.0041 s] Raw data (loadavg): 0.90 0.93 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 3254 0 0 0 3985 12 0 0 25 0 1 0 776070949 20758528 3178 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5068 3178 1111 63 0 5005 0 vsize: 20272 [startup+50.0063 s] Raw data (loadavg): 0.91 0.94 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 3600 0 0 0 4985 12 0 0 25 0 1 0 776070949 22249472 3524 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5432 3524 1111 63 0 5369 0 vsize: 21728 [startup+60.0071 s] Raw data (loadavg): 0.93 0.94 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 3953 0 0 0 5984 13 0 0 25 0 1 0 776070949 23597056 3877 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5761 3877 1111 63 0 5698 0 vsize: 23044 [startup+70.0079 s] Raw data (loadavg): 0.94 0.94 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 4299 0 0 0 6983 14 0 0 25 0 1 0 776070949 25088000 4223 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6125 4223 1111 63 0 6062 0 vsize: 24500 [startup+80.0087 s] Raw data (loadavg): 0.95 0.94 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 4651 0 0 0 7983 15 0 0 25 0 1 0 776070949 26578944 4575 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6489 4575 1111 63 0 6426 0 vsize: 25956 [startup+90.0085 s] Raw data (loadavg): 0.95 0.94 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 5004 0 0 0 8982 15 0 0 25 0 1 0 776070949 27926528 4928 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6818 4928 1111 63 0 6755 0 vsize: 27272 [startup+100.009 s] Raw data (loadavg): 0.96 0.94 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 5350 0 0 0 9981 16 0 0 25 0 1 0 776070949 29417472 5274 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7182 5274 1111 63 0 7119 0 vsize: 28728 [startup+110.009 s] Raw data (loadavg): 0.97 0.94 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 5702 0 0 0 10981 16 0 0 25 0 1 0 776070949 30756864 5626 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7509 5626 1111 63 0 7446 0 vsize: 30036 [startup+120.01 s] Raw data (loadavg): 0.97 0.95 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 6055 0 0 0 11980 17 0 0 25 0 1 0 776070949 32256000 5979 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7875 5979 1111 63 0 7812 0 vsize: 31500 [startup+130.01 s] Raw data (loadavg): 0.98 0.95 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 6401 0 0 0 12980 18 0 0 25 0 1 0 776070949 33746944 6325 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8239 6325 1111 63 0 8176 0 vsize: 32956 [startup+140.01 s] Raw data (loadavg): 0.98 0.95 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 6753 0 0 0 13979 19 0 0 25 0 1 0 776070949 35086336 6677 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8566 6677 1111 63 0 8503 0 vsize: 34264 [startup+150.015 s] Raw data (loadavg): 0.98 0.95 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 7106 0 0 0 14978 20 0 0 25 0 1 0 776070949 36585472 7030 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8932 7030 1111 63 0 8869 0 vsize: 35728 [startup+160.015 s] Raw data (loadavg): 0.98 0.95 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 7458 0 0 0 15977 21 0 0 25 0 1 0 776070949 38076416 7382 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9296 7382 1111 63 0 9233 0 vsize: 37184 [startup+170.015 s] Raw data (loadavg): 0.99 0.95 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 7804 0 0 0 16976 22 0 0 25 0 1 0 776070949 39415808 7728 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9623 7728 1111 63 0 9560 0 vsize: 38492 [startup+180.015 s] Raw data (loadavg): 0.99 0.95 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 8160 0 0 0 17976 23 0 0 25 0 1 0 776070949 40902656 8084 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9986 8084 1111 63 0 9923 0 vsize: 39944 [startup+190.015 s] Raw data (loadavg): 0.99 0.95 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 8512 0 0 0 18975 24 0 0 25 0 1 0 776070949 42393600 8436 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10350 8436 1111 63 0 10287 0 vsize: 41400 [startup+200.016 s] Raw data (loadavg): 0.99 0.95 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 8864 0 0 0 19974 25 0 0 25 0 1 0 776070949 43732992 8788 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10677 8788 1111 63 0 10614 0 vsize: 42708 [startup+210.016 s] Raw data (loadavg): 0.99 0.95 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 9217 0 0 0 20973 26 0 0 25 0 1 0 776070949 45232128 9141 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11043 9141 1111 63 0 10980 0 vsize: 44172 [startup+220.017 s] Raw data (loadavg): 0.99 0.95 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 9563 0 0 0 21973 27 0 0 25 0 1 0 776070949 46571520 9487 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11370 9487 1111 63 0 11307 0 vsize: 45480 [startup+230.017 s] Raw data (loadavg): 0.99 0.96 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 9915 0 0 0 22973 27 0 0 25 0 1 0 776070949 48062464 9839 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11734 9839 1111 63 0 11671 0 vsize: 46936 [startup+240.017 s] Raw data (loadavg): 0.99 0.96 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 10262 0 0 0 23972 27 0 0 25 0 1 0 776070949 49561600 10186 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12100 10186 1111 63 0 12037 0 vsize: 48400 [startup+250.017 s] Raw data (loadavg): 0.99 0.96 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 10608 0 0 0 24972 28 0 0 25 0 1 0 776070949 50900992 10532 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12427 10532 1111 63 0 12364 0 vsize: 49708 [startup+260.018 s] Raw data (loadavg): 0.99 0.96 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 10953 0 0 0 25971 29 0 0 25 0 1 0 776070949 52391936 10877 4294967295 134512640 134714508 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12791 10877 1111 63 0 12728 0 vsize: 51164 [startup+270.019 s] Raw data (loadavg): 0.99 0.96 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 11307 0 0 0 26971 30 0 0 25 0 1 0 776070949 53743616 11231 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13121 11231 1111 63 0 13058 0 vsize: 52484 [startup+280.018 s] Raw data (loadavg): 0.99 0.96 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 11653 0 0 0 27971 30 0 0 25 0 1 0 776070949 55230464 11577 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13484 11577 1111 63 0 13421 0 vsize: 53936 [startup+290.019 s] Raw data (loadavg): 0.99 0.96 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 11998 0 0 0 28970 31 0 0 25 0 1 0 776070949 56573952 11922 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13812 11922 1111 63 0 13749 0 vsize: 55248 [startup+300.019 s] Raw data (loadavg): 0.99 0.96 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 12352 0 0 0 29970 31 0 0 25 0 1 0 776070949 58073088 12276 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14178 12276 1111 63 0 14115 0 vsize: 56712 [startup+310.019 s] Raw data (loadavg): 0.99 0.96 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 12698 0 0 0 30969 32 0 0 25 0 1 0 776070949 59412480 12622 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14505 12622 1111 63 0 14442 0 vsize: 58020 [startup+320.023 s] Raw data (loadavg): 0.99 0.96 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 13045 0 0 0 31969 33 0 0 25 0 1 0 776070949 60903424 12969 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14869 12969 1111 63 0 14806 0 vsize: 59476 [startup+330.024 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 13397 0 0 0 32969 33 0 0 25 0 1 0 776070949 62402560 13321 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15235 13321 1111 63 0 15172 0 vsize: 60940 [startup+340.024 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 13742 0 0 0 33969 33 0 0 25 0 1 0 776070949 63741952 13666 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15562 13666 1111 63 0 15499 0 vsize: 62248 [startup+350.032 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 14101 0 0 0 34969 34 0 0 25 0 1 0 776070949 65212416 14025 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15921 14025 1111 63 0 15858 0 vsize: 63684 [startup+360.032 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 14446 0 0 0 35968 35 0 0 25 0 1 0 776070949 66703360 14370 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16285 14370 1111 63 0 16222 0 vsize: 65140 [startup+370.031 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 14798 0 0 0 36968 36 0 0 25 0 1 0 776070949 68046848 14722 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16613 14722 1111 63 0 16550 0 vsize: 66452 [startup+380.153 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 15153 0 0 0 37980 36 0 0 25 0 1 0 776070949 69541888 15077 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16978 15077 1111 63 0 16915 0 vsize: 67912 [startup+390.153 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 15498 0 0 0 38979 37 0 0 25 0 1 0 776070949 70885376 15422 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17306 15422 1111 63 0 17243 0 vsize: 69224 [startup+400.153 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 15850 0 0 0 39978 38 0 0 25 0 1 0 776070949 72376320 15774 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17670 15774 1111 63 0 17607 0 vsize: 70680 [startup+410.154 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 16198 0 0 0 40977 39 0 0 25 0 1 0 776070949 73875456 16122 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18036 16122 1111 63 0 17973 0 vsize: 72144 [startup+420.153 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 16549 0 0 0 41977 39 0 0 25 0 1 0 776070949 75214848 16473 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18363 16473 1111 63 0 18300 0 vsize: 73452 [startup+430.153 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 16895 0 0 0 42977 40 0 0 25 0 1 0 776070949 76705792 16819 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18727 16819 1111 63 0 18664 0 vsize: 74908 [startup+440.153 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 17249 0 0 0 43977 40 0 0 25 0 1 0 776070949 78053376 17173 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19056 17173 1111 63 0 18993 0 vsize: 76224 [startup+450.154 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 17594 0 0 0 44976 41 0 0 25 0 1 0 776070949 79544320 17518 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19420 17518 1111 63 0 19357 0 vsize: 77680 [startup+460.153 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 17946 0 0 0 45975 42 0 0 25 0 1 0 776070949 81035264 17870 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19784 17870 1111 63 0 19721 0 vsize: 79136 [startup+470.153 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 18300 0 0 0 46975 42 0 0 25 0 1 0 776070949 82382848 18224 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20113 18224 1111 63 0 20050 0 vsize: 80452 [startup+480.153 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 18645 0 0 0 47975 43 0 0 25 0 1 0 776070949 83873792 18569 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20477 18569 1111 63 0 20414 0 vsize: 81908 [startup+490.153 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 18997 0 0 0 48974 43 0 0 25 0 1 0 776070949 85217280 18921 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20805 18921 1111 63 0 20742 0 vsize: 83220 [startup+500.153 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 19344 0 0 0 49973 45 0 0 25 0 1 0 776070949 86712320 19268 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21170 19268 1111 63 0 21107 0 vsize: 84680 [startup+510.153 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 19696 0 0 0 50973 45 0 0 25 0 1 0 776070949 88203264 19620 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21534 19620 1111 63 0 21471 0 vsize: 86136 [startup+520.153 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 20048 0 0 0 51972 46 0 0 25 0 1 0 776070949 89546752 19972 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21862 19972 1111 63 0 21799 0 vsize: 87448 [startup+530.153 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 20395 0 0 0 52972 47 0 0 25 0 1 0 776070949 91041792 20319 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22227 20319 1111 63 0 22164 0 vsize: 88908 [startup+540.153 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 20747 0 0 0 53971 48 0 0 25 0 1 0 776070949 92385280 20671 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22555 20671 1111 63 0 22492 0 vsize: 90220 [startup+550.153 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 21099 0 0 0 54970 48 0 0 25 0 1 0 776070949 93876224 21023 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22919 21023 1111 63 0 22856 0 vsize: 91676 [startup+560.153 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 21453 0 0 0 55970 49 0 0 25 0 1 0 776070949 95371264 21377 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23284 21377 1111 63 0 23221 0 vsize: 93136 [startup+570.152 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 21798 0 0 0 56970 49 0 0 25 0 1 0 776070949 96714752 21722 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23612 21722 1111 63 0 23549 0 vsize: 94448 [startup+580.152 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 22150 0 0 0 57969 50 0 0 25 0 1 0 776070949 98205696 22074 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23976 22074 1111 63 0 23913 0 vsize: 95904 [startup+590.153 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 22504 0 0 0 58969 51 0 0 25 0 1 0 776070949 99700736 22428 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24341 22428 1111 63 0 24278 0 vsize: 97364 [startup+600.152 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 22855 0 0 0 59968 51 0 0 25 0 1 0 776070949 101044224 22779 4294967295 134512640 134714508 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24669 22779 1111 63 0 24606 0 vsize: 98676 [startup+610.153 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 23201 0 0 0 60968 52 0 0 25 0 1 0 776070949 102535168 23125 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25033 23125 1111 63 0 24970 0 vsize: 100132 [startup+620.153 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 23554 0 0 0 61967 52 0 0 25 0 1 0 776070949 103882752 23478 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25362 23478 1111 63 0 25299 0 vsize: 101448 [startup+630.153 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 23906 0 0 0 62967 53 0 0 25 0 1 0 776070949 105373696 23830 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25726 23830 1111 63 0 25663 0 vsize: 102904 [startup+640.153 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 24258 0 0 0 63966 54 0 0 25 0 1 0 776070949 106864640 24182 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26090 24182 1111 63 0 26027 0 vsize: 104360 [startup+650.152 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 24612 0 0 0 64966 55 0 0 25 0 1 0 776070949 108212224 24536 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26419 24536 1111 63 0 26356 0 vsize: 105676 [startup+660.154 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 24963 0 0 0 65965 55 0 0 25 0 1 0 776070949 109703168 24887 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26783 24887 1111 63 0 26720 0 vsize: 107132 [startup+670.153 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 25315 0 0 0 66965 56 0 0 25 0 1 0 776070949 111194112 25239 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27147 25239 1111 63 0 27084 0 vsize: 108588 [startup+680.153 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 25663 0 0 0 67964 57 0 0 25 0 1 0 776070949 112541696 25587 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27476 25587 1111 63 0 27413 0 vsize: 109904 [startup+690.154 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 26014 0 0 0 68964 57 0 0 25 0 1 0 776070949 114032640 25938 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27840 25938 1111 63 0 27777 0 vsize: 111360 [startup+700.155 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 26373 0 0 0 69963 58 0 0 25 0 1 0 776070949 115499008 26297 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28198 26297 1111 63 0 28135 0 vsize: 112792 [startup+710.155 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 26726 0 0 0 70963 59 0 0 25 0 1 0 776070949 116994048 26650 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28563 26650 1111 63 0 28500 0 vsize: 114252 [startup+720.156 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 27078 0 0 0 71963 59 0 0 25 0 1 0 776070949 118337536 27002 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28891 27002 1111 63 0 28828 0 vsize: 115564 [startup+730.156 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 27430 0 0 0 72962 60 0 0 25 0 1 0 776070949 119828480 27354 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29255 27354 1111 63 0 29192 0 vsize: 117020 [startup+740.16 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 27783 0 0 0 73962 61 0 0 25 0 1 0 776070949 121323520 27707 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29620 27707 1111 63 0 29557 0 vsize: 118480 [startup+750.159 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 28135 0 0 0 74961 62 0 0 25 0 1 0 776070949 122667008 28059 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29948 28059 1111 63 0 29885 0 vsize: 119792 [startup+760.16 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 28487 0 0 0 75961 62 0 0 25 0 1 0 776070949 124157952 28411 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30312 28411 1111 63 0 30249 0 vsize: 121248 [startup+770.16 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 28840 0 0 0 76961 62 0 0 25 0 1 0 776070949 125652992 28764 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30677 28764 1111 63 0 30614 0 vsize: 122708 [startup+780.16 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 29192 0 0 0 77960 63 0 0 25 0 1 0 776070949 126996480 29116 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31005 29116 1111 63 0 30942 0 vsize: 124020 [startup+790.159 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 29545 0 0 0 78960 64 0 0 25 0 1 0 776070949 128487424 29469 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31369 29469 1111 63 0 31306 0 vsize: 125476 [startup+800.161 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 29905 0 0 0 79960 64 0 0 25 0 1 0 776070949 129982464 29829 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31734 29829 1111 63 0 31671 0 vsize: 126936 [startup+810.161 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 30256 0 0 0 80959 65 0 0 25 0 1 0 776070949 131473408 30180 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32098 30180 1111 63 0 32035 0 vsize: 128392 [startup+820.161 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 30608 0 0 0 81959 65 0 0 25 0 1 0 776070949 132816896 30532 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32426 30532 1111 63 0 32363 0 vsize: 129704 [startup+830.16 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 30962 0 0 0 82959 65 0 0 25 0 1 0 776070949 134311936 30886 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32791 30886 1111 63 0 32728 0 vsize: 131164 [startup+840.16 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 31313 0 0 0 83958 66 0 0 25 0 1 0 776070949 135802880 31237 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 33155 31237 1111 63 0 33092 0 vsize: 132620 [startup+850.16 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 31665 0 0 0 84958 66 0 0 25 0 1 0 776070949 137146368 31589 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 33483 31589 1111 63 0 33420 0 vsize: 133932 [startup+860.161 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 32019 0 0 0 85958 67 0 0 25 0 1 0 776070949 138645504 31943 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 33849 31943 1111 63 0 33786 0 vsize: 135396 [startup+870.162 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 32378 0 0 0 86958 67 0 0 25 0 1 0 776070949 140132352 32302 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 34212 32302 1111 63 0 34149 0 vsize: 136848 [startup+880.162 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 32729 0 0 0 87958 68 0 0 25 0 1 0 776070949 141475840 32653 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 34540 32653 1111 63 0 34477 0 vsize: 138160 [startup+890.161 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 33083 0 0 0 88957 68 0 0 25 0 1 0 776070949 142974976 33007 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 34906 33007 1111 63 0 34843 0 vsize: 139624 [startup+900.161 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 33435 0 0 0 89957 69 0 0 25 0 1 0 776070949 144465920 33359 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35270 33359 1111 63 0 35207 0 vsize: 141080 [startup+910.162 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 33794 0 0 0 90956 69 0 0 25 0 1 0 776070949 145956864 33718 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35634 33718 1111 63 0 35571 0 vsize: 142536 [startup+920.162 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 34146 0 0 0 91956 70 0 0 25 0 1 0 776070949 147304448 34070 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35963 34070 1111 63 0 35900 0 vsize: 143852 [startup+930.162 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 32512 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 34498 0 0 0 92956 70 0 0 25 0 1 0 776070949 148795392 34422 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36327 34422 1111 63 0 36264 0 vsize: 145308 [startup+940.163 s] Raw data (loadavg): 1.15 1.00 0.96 2/54 32565 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 34857 0 0 0 93948 78 0 0 25 0 1 0 776070949 150290432 34781 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36692 34781 1111 63 0 36629 0 vsize: 146768 [startup+950.162 s] Raw data (loadavg): 1.12 1.00 0.96 2/54 32565 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 35215 0 0 0 94947 79 0 0 25 0 1 0 776070949 151781376 35139 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37056 35139 1111 63 0 36993 0 vsize: 148224 [startup+960.163 s] Raw data (loadavg): 1.10 1.00 0.96 2/54 32565 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 35574 0 0 0 95947 79 0 0 25 0 1 0 776070949 153124864 35498 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37384 35498 1111 63 0 37321 0 vsize: 149536 [startup+970.164 s] Raw data (loadavg): 1.09 1.00 0.96 2/54 32565 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 35933 0 0 0 96946 80 0 0 25 0 1 0 776070949 154619904 35857 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37749 35857 1111 63 0 37686 0 vsize: 150996 [startup+980.164 s] Raw data (loadavg): 1.07 1.00 0.96 2/54 32565 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 36291 0 0 0 97946 81 0 0 25 0 1 0 776070949 156110848 36215 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38113 36215 1111 63 0 38050 0 vsize: 152452 [startup+990.164 s] Raw data (loadavg): 1.06 1.00 0.96 2/54 32565 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 36649 0 0 0 98945 82 0 0 25 0 1 0 776070949 157601792 36573 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38477 36573 1111 63 0 38414 0 vsize: 153908 [startup+1000.16 s] Raw data (loadavg): 1.05 1.00 0.96 2/54 32565 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 37009 0 0 0 99945 82 0 0 25 0 1 0 776070949 159100928 36933 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38843 36933 1111 63 0 38780 0 vsize: 155372 [startup+1010.17 s] Raw data (loadavg): 1.04 1.00 0.96 2/54 32565 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 37367 0 0 0 100944 83 0 0 25 0 1 0 776070949 160591872 37291 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39207 37291 1111 63 0 39144 0 vsize: 156828 [startup+1020.17 s] Raw data (loadavg): 1.04 1.00 0.96 2/54 32567 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 37725 0 0 0 101944 83 0 0 25 0 1 0 776070949 161931264 37649 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39534 37649 1111 63 0 39471 0 vsize: 158136 [startup+1030.17 s] Raw data (loadavg): 1.03 1.00 0.96 2/54 32567 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 38084 0 0 0 102944 84 0 0 25 0 1 0 776070949 163430400 38008 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39900 38008 1111 63 0 39837 0 vsize: 159600 [startup+1040.17 s] Raw data (loadavg): 1.03 1.00 0.96 2/54 32567 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 38443 0 0 0 103943 84 0 0 25 0 1 0 776070949 164921344 38367 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 40264 38367 1111 63 0 40201 0 vsize: 161056 [startup+1050.17 s] Raw data (loadavg): 1.02 1.00 0.96 2/54 32567 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 38801 0 0 0 104943 85 0 0 25 0 1 0 776070949 166412288 38725 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 40628 38725 1111 63 0 40565 0 vsize: 162512 [startup+1060.17 s] Raw data (loadavg): 1.02 1.00 0.96 2/54 32567 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 39166 0 0 0 105942 86 0 0 25 0 1 0 776070949 167907328 39090 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 40993 39090 1111 63 0 40930 0 vsize: 163972 [startup+1070.17 s] Raw data (loadavg): 1.01 1.00 0.96 2/54 32567 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 39524 0 0 0 106942 87 0 0 25 0 1 0 776070949 169398272 39448 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 41357 39448 1111 63 0 41294 0 vsize: 165428 [startup+1080.17 s] Raw data (loadavg): 1.01 1.00 0.96 2/54 32567 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 39882 0 0 0 107941 87 0 0 25 0 1 0 776070949 170889216 39806 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 41721 39806 1111 63 0 41658 0 vsize: 166884 [startup+1090.17 s] Raw data (loadavg): 1.01 1.00 0.96 2/54 32567 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 40242 0 0 0 108941 88 0 0 25 0 1 0 776070949 172236800 40166 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42050 40166 1111 63 0 41987 0 vsize: 168200 [startup+1100.17 s] Raw data (loadavg): 1.01 1.00 0.96 2/54 32567 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 40599 0 0 0 109940 89 0 0 25 0 1 0 776070949 173727744 40523 4294967295 134512640 134714508 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42414 40523 1111 63 0 42351 0 vsize: 169656 [startup+1110.17 s] Raw data (loadavg): 1.01 1.00 0.96 2/54 32567 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 40963 0 0 0 110940 89 0 0 25 0 1 0 776070949 175218688 40887 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42778 40887 1111 63 0 42715 0 vsize: 171112 [startup+1120.17 s] Raw data (loadavg): 1.00 1.00 0.96 2/54 32567 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 41323 0 0 0 111940 90 0 0 25 0 1 0 776070949 176717824 41247 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43144 41247 1111 63 0 43081 0 vsize: 172576 [startup+1130.17 s] Raw data (loadavg): 1.00 1.00 0.96 2/54 32567 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 41682 0 0 0 112939 90 0 0 25 0 1 0 776070949 178208768 41606 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43508 41606 1111 63 0 43445 0 vsize: 174032 [startup+1140.17 s] Raw data (loadavg): 1.00 1.00 0.96 2/54 32567 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 42046 0 0 0 113938 91 0 0 25 0 1 0 776070949 179699712 41970 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43872 41970 1111 63 0 43809 0 vsize: 175488 [startup+1150.17 s] Raw data (loadavg): 1.00 1.00 0.96 2/54 32567 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 42405 0 0 0 114938 92 0 0 25 0 1 0 776070949 181194752 42329 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44237 42329 1111 63 0 44174 0 vsize: 176948 [startup+1160.17 s] Raw data (loadavg): 1.00 1.00 0.96 2/54 32567 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 42763 0 0 0 115938 92 0 0 25 0 1 0 776070949 182685696 42687 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44601 42687 1111 63 0 44538 0 vsize: 178404 [startup+1170.17 s] Raw data (loadavg): 1.00 1.00 0.96 2/54 32567 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 43129 0 0 0 116938 93 0 0 25 0 1 0 776070949 184176640 43053 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44965 43053 1111 63 0 44902 0 vsize: 179860 [startup+1180.17 s] Raw data (loadavg): 1.00 1.00 0.96 2/54 32567 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 43486 0 0 0 117937 94 0 0 25 0 1 0 776070949 185524224 43410 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45294 43410 1111 63 0 45231 0 vsize: 181176 [startup+1190.17 s] Raw data (loadavg): 1.00 1.00 0.96 2/54 32567 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 43844 0 0 0 118937 94 0 0 25 0 1 0 776070949 187015168 43768 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45658 43768 1111 63 0 45595 0 vsize: 182632 [startup+1200.17 s] Raw data (loadavg): 1.00 1.00 0.96 2/54 32567 Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 44210 0 0 0 119936 95 0 0 25 0 1 0 776070949 188514304 44134 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 46024 44134 1111 63 0 45961 0 vsize: 184096 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.26 s] Raw data (loadavg): 1.00 1.00 0.96 1/54 32567 Raw data (stat): 32512 (bsolo_lpr_cuts) Z 32511 25830 25829 0 -1 1036 44210 0 0 0 119936 103 0 0 25 0 1 0 776070949 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 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.25 CPU time (s): 1200.4 CPU user time (s): 1199.37 CPU system time (s): 1.03484 CPU usage (%): 100.012 Max. virtual memory (Kb): 184096 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####