PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-air04.opb
MD5SUM	26490113618ae9605b5ebe6370b5910b
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	8904
Biggest coefficient in the objective function	2258
Number of bits for the biggest coefficient in the objective function	12
Sum of the numbers in the objective function	5135151
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	2258
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	5135151
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.116981
Number of variables	8904
Total number of constraints	9727
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	9727
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	368
Trace number 41176

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-09 07:20:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29230 boxname=wulflinc1 idbench=1014 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  26490113618ae9605b5ebe6370b5910b  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-air04.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-air04.opb
IDLAUNCH: 29230
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        905392 kB
Buffers:          9892 kB
Cached:          95048 kB
SwapCached:       1140 kB
Active:          25284 kB
Inactive:        81816 kB
HighTotal:      131008 kB
HighFree:        33516 kB
LowTotal:       903652 kB
LowFree:        871876 kB
SwapTotal:     2097136 kB
SwapFree:      2094820 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5260 kB
Slab:            16220 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 07:39:56 (client local time) WITH STATUS 0 IN 1175.19 SECONDS
stats: 29230 7 1175.19 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 8904 variables and 1646 constraints.
c After prepocess the problem consists of 7524 variables and 1269 constraints.
c preprocess terminated 383.99 s
c Initial Lower Bound: 55536
c Lower Bound Elapsed time: 87.024
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 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.91 0.95 0.90 1/55 914
Raw data (stat): 914 (runsolver) R 913 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 851570791 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0002 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 30860 0 0 0 936 61 0 0 25 0 1 0 851570791 139427840 30780 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34040 30784 1111 63 0 33977 0
vsize: 136160
[startup+20.0006 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 54942 0 0 0 1893 103 0 0 25 0 1 0 851570791 238034944 54862 4294967295 134512640 134716908 3221224560 3221222844 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58114 54862 1111 63 0 58051 0
vsize: 232456
[startup+30.0005 s]
Raw data (loadavg): 1.03 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 55833 0 0 0 2891 104 0 0 25 0 1 0 851570791 241684480 55753 4294967295 134512640 134716908 3221224560 3221222580 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59005 55753 1111 63 0 58942 0
vsize: 236020
[startup+40.0012 s]
Raw data (loadavg): 1.02 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 56703 0 0 0 3888 108 0 0 25 0 1 0 851570791 245334016 56623 4294967295 134512640 134716908 3221224560 3221222832 134566627 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59896 56623 1111 63 0 59833 0
vsize: 239584
[startup+50.0021 s]
Raw data (loadavg): 1.02 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 58760 0 0 0 4882 113 0 0 25 0 1 0 851570791 243941376 58637 4294967295 134512640 134716908 3221224560 3221223040 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59556 58637 1111 63 0 59493 0
vsize: 238224
[startup+60.0019 s]
Raw data (loadavg): 1.02 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 61543 0 0 0 5876 119 0 0 25 0 1 0 851570791 255311872 61420 4294967295 134512640 134716908 3221224560 3221222976 134542677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62332 61420 1111 63 0 62269 0
vsize: 249328
[startup+70.0029 s]
Raw data (loadavg): 1.01 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 64212 0 0 0 6871 124 0 0 25 0 1 0 851570791 266285056 64089 4294967295 134512640 134716908 3221224560 3221223100 134543664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65011 64089 1111 63 0 64948 0
vsize: 260044
[startup+80.0033 s]
Raw data (loadavg): 1.01 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 66517 0 0 0 7868 127 0 0 25 0 1 0 851570791 275636224 66394 4294967295 134512640 134716908 3221224560 3221222940 134539324 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67294 66394 1111 63 0 67231 0
vsize: 269176
[startup+90.0031 s]
Raw data (loadavg): 1.01 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 68884 0 0 0 8863 132 0 0 25 0 1 0 851570791 285384704 68761 4294967295 134512640 134716908 3221224560 3221222972 134543653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69674 68761 1111 63 0 69611 0
vsize: 278696
[startup+100.003 s]
Raw data (loadavg): 1.01 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 71075 0 0 0 9860 136 0 0 25 0 1 0 851570791 294322176 70952 4294967295 134512640 134716908 3221224560 3221223040 134539455 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71856 70952 1111 63 0 71793 0
vsize: 287424
[startup+110.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 73167 0 0 0 10856 140 0 0 25 0 1 0 851570791 302862336 73044 4294967295 134512640 134716908 3221224560 3221222968 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73941 73044 1111 63 0 73878 0
vsize: 295764
[startup+120.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 75084 0 0 0 11852 144 0 0 25 0 1 0 851570791 310714368 74961 4294967295 134512640 134716908 3221224560 3221223040 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75858 74961 1111 63 0 75795 0
vsize: 303432
[startup+130.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 77008 0 0 0 12848 148 0 0 25 0 1 0 851570791 318701568 76885 4294967295 134512640 134716908 3221224560 3221223360 134617258 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77808 76885 1111 63 0 77745 0
vsize: 311232
[startup+140.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 78677 0 0 0 13845 152 0 0 25 0 1 0 851570791 325476352 78554 4294967295 134512640 134716908 3221224560 3221223180 134543776 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79462 78554 1111 63 0 79399 0
vsize: 317848
[startup+150.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 80432 0 0 0 14842 155 0 0 25 0 1 0 851570791 332664832 80309 4294967295 134512640 134716908 3221224560 3221223176 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81217 80309 1111 63 0 81154 0
vsize: 324868
[startup+160.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 82214 0 0 0 15839 158 0 0 25 0 1 0 851570791 339976192 82091 4294967295 134512640 134716908 3221224560 3221223004 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83002 82091 1111 63 0 82939 0
vsize: 332008
[startup+170.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 83625 0 0 0 16837 160 0 0 25 0 1 0 851570791 345800704 83502 4294967295 134512640 134716908 3221224560 3221223200 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84424 83502 1111 63 0 84361 0
vsize: 337696
[startup+180.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 85015 0 0 0 17835 162 0 0 25 0 1 0 851570791 351494144 84892 4294967295 134512640 134716908 3221224560 3221222976 134542677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85814 84892 1111 63 0 85751 0
vsize: 343256
[startup+190.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 86265 0 0 0 18833 165 0 0 25 0 1 0 851570791 356495360 86142 4294967295 134512640 134716908 3221224560 3221222940 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87035 86142 1111 63 0 86972 0
vsize: 348140
[startup+200.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 87486 0 0 0 19830 167 0 0 25 0 1 0 851570791 361512960 87363 4294967295 134512640 134716908 3221224560 3221222968 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88260 87363 1111 63 0 88197 0
vsize: 353040
[startup+210.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 88535 0 0 0 20829 169 0 0 25 0 1 0 851570791 365850624 88412 4294967295 134512640 134716908 3221224560 3221223028 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89319 88412 1111 63 0 89256 0
vsize: 357276
[startup+220.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 89430 0 0 0 21827 171 0 0 25 0 1 0 851570791 369520640 89307 4294967295 134512640 134716908 3221224560 3221223044 134539352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90215 89307 1111 63 0 90152 0
vsize: 360860
[startup+230.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 90281 0 0 0 22825 173 0 0 25 0 1 0 851570791 373043200 90158 4294967295 134512640 134716908 3221224560 3221223088 134542848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91075 90158 1111 63 0 91012 0
vsize: 364300
[startup+240.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 91018 0 0 0 23824 174 0 0 25 0 1 0 851570791 376029184 90895 4294967295 134512640 134716908 3221224560 3221222960 134542794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91804 90895 1111 63 0 91741 0
vsize: 367216
[startup+250.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 91616 0 0 0 24823 176 0 0 25 0 1 0 851570791 378466304 91493 4294967295 134512640 134716908 3221224560 3221223028 134536691 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92399 91493 1111 63 0 92336 0
vsize: 369596
[startup+260.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 92074 0 0 0 25822 177 0 0 25 0 1 0 851570791 380366848 91951 4294967295 134512640 134716908 3221224560 3221223040 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92863 91951 1111 63 0 92800 0
vsize: 371452
[startup+270.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 92506 0 0 0 26821 178 0 0 25 0 1 0 851570791 382132224 92383 4294967295 134512640 134716908 3221224560 3221222956 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93294 92383 1111 63 0 93231 0
vsize: 373176
[startup+280.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 92905 0 0 0 27820 179 0 0 25 0 1 0 851570791 383758336 92782 4294967295 134512640 134716908 3221224560 3221223056 134543681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93691 92782 1111 63 0 93628 0
vsize: 374764
[startup+290.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 92977 0 0 0 28820 179 0 0 25 0 1 0 851570791 384028672 92854 4294967295 134512640 134716908 3221224560 3221223232 134627233 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93757 92854 1111 63 0 93694 0
vsize: 375028
[startup+300.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 92989 0 0 0 29820 179 0 0 25 0 1 0 851570791 384163840 92866 4294967295 134512640 134716908 3221224560 3221223216 134627282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93790 92866 1111 63 0 93727 0
vsize: 375160
[startup+310.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 92997 0 0 0 30820 180 0 0 25 0 1 0 851570791 384163840 92874 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93790 92874 1111 63 0 93727 0
vsize: 375160
[startup+320.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 93004 0 0 0 31820 180 0 0 25 0 1 0 851570791 384163840 92881 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93790 92881 1111 63 0 93727 0
vsize: 375160
[startup+330.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 93007 0 0 0 32820 180 0 0 25 0 1 0 851570791 384163840 92884 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93790 92884 1111 63 0 93727 0
vsize: 375160
[startup+340.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 93009 0 0 0 33820 180 0 0 25 0 1 0 851570791 384163840 92886 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93790 92886 1111 63 0 93727 0
vsize: 375160
[startup+350.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 93012 0 0 0 34820 180 0 0 25 0 1 0 851570791 384163840 92889 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93790 92889 1111 63 0 93727 0
vsize: 375160
[startup+360.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 93017 0 0 0 35820 180 0 0 25 0 1 0 851570791 384163840 92894 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93790 92894 1111 63 0 93727 0
vsize: 375160
[startup+370.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 93021 0 0 0 36820 180 0 0 25 0 1 0 851570791 384163840 92898 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93790 92898 1111 63 0 93727 0
vsize: 375160
[startup+380.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 93022 0 0 0 37820 180 0 0 25 0 1 0 851570791 384299008 92899 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93823 92899 1111 63 0 93760 0
vsize: 375292
[startup+390.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 94654 0 0 0 38816 184 0 0 25 0 1 0 851570791 391065600 94464 4294967295 134512640 134716908 3221224560 3221222576 1074867344 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95475 94464 1111 63 0 95412 0
vsize: 381900
[startup+400.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 96095 0 0 0 39814 187 0 0 25 0 1 0 851570791 391745536 94812 4294967295 134512640 134716908 3221224560 3221220448 1074875093 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95641 94812 1111 63 0 95578 0
vsize: 382564
[startup+410.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 96111 0 0 0 40814 187 0 0 25 0 1 0 851570791 391790592 94828 4294967295 134512640 134716908 3221224560 3221220448 1074874996 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95652 94828 1111 63 0 95589 0
vsize: 382608
[startup+420.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 96111 0 0 0 41814 187 0 0 25 0 1 0 851570791 391790592 94828 4294967295 134512640 134716908 3221224560 3221221064 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95652 94828 1111 63 0 95589 0
vsize: 382608
[startup+430.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 96141 0 0 0 42814 187 0 0 25 0 1 0 851570791 391790592 94844 4294967295 134512640 134716908 3221224560 3221220692 1075115076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95652 94844 1111 63 0 95589 0
vsize: 382608
[startup+440.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 96141 0 0 0 43814 187 0 0 25 0 1 0 851570791 391790592 94844 4294967295 134512640 134716908 3221224560 3221220320 1074868658 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95652 94844 1111 63 0 95589 0
vsize: 382608
[startup+450.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 96141 0 0 0 44814 187 0 0 25 0 1 0 851570791 391790592 94844 4294967295 134512640 134716908 3221224560 3221220624 1074794542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95652 94844 1111 63 0 95589 0
vsize: 382608
[startup+460.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 97552 0 0 0 45810 191 0 0 25 0 1 0 851570791 388460544 94074 4294967295 134512640 134716908 3221224560 3221222948 134646662 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94839 94074 1111 63 0 94776 0
vsize: 379356
[startup+470.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 97552 0 0 0 46810 192 0 0 25 0 1 0 851570791 388460544 94074 4294967295 134512640 134716908 3221224560 3221222956 134543192 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94839 94074 1111 63 0 94776 0
vsize: 379356
[startup+480.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 97553 0 0 0 47809 192 0 0 25 0 1 0 851570791 388460544 94075 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94839 94075 1111 63 0 94776 0
vsize: 379356
[startup+490.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 97562 0 0 0 48808 193 0 0 25 0 1 0 851570791 388575232 94084 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94867 94084 1111 63 0 94804 0
vsize: 379468
[startup+500.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 97596 0 0 0 49807 194 0 0 25 0 1 0 851570791 388710400 94118 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94900 94118 1111 63 0 94837 0
vsize: 379600
[startup+510.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 97650 0 0 0 50806 195 0 0 25 0 1 0 851570791 388845568 94172 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94933 94172 1111 63 0 94870 0
vsize: 379732
[startup+520.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 97689 0 0 0 51806 195 0 0 25 0 1 0 851570791 389099520 94211 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94995 94211 1111 63 0 94932 0
vsize: 379980
[startup+530.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 97736 0 0 0 52805 196 0 0 25 0 1 0 851570791 389222400 94258 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95025 94258 1111 63 0 94962 0
vsize: 380100
[startup+540.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 97792 0 0 0 53803 198 0 0 25 0 1 0 851570791 389455872 94314 4294967295 134512640 134716908 3221224560 3221223288 134558807 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95082 94314 1111 63 0 95019 0
vsize: 380328
[startup+550.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 97877 0 0 0 54802 199 0 0 25 0 1 0 851570791 389775360 94399 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95160 94399 1111 63 0 95097 0
vsize: 380640
[startup+560.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 97886 0 0 0 55802 199 0 0 25 0 1 0 851570791 389804032 94407 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95167 94407 1111 63 0 95104 0
vsize: 380668
[startup+570.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 97944 0 0 0 56801 200 0 0 25 0 1 0 851570791 389935104 94439 4294967295 134512640 134716908 3221224560 3221223152 134539432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95199 94439 1111 63 0 95136 0
vsize: 380796
[startup+580.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 97944 0 0 0 57801 201 0 0 25 0 1 0 851570791 389935104 94439 4294967295 134512640 134716908 3221224560 3221223200 134698412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95199 94439 1111 63 0 95136 0
vsize: 380796
[startup+590.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98001 0 0 0 58800 202 0 0 25 0 1 0 851570791 390189056 94496 4294967295 134512640 134716908 3221224560 3221223288 134543830 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95261 94496 1111 63 0 95198 0
vsize: 381044
[startup+600.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98001 0 0 0 59800 202 0 0 25 0 1 0 851570791 390062080 94470 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95230 94470 1111 63 0 95167 0
vsize: 380920
[startup+610.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98024 0 0 0 60800 203 0 0 25 0 1 0 851570791 390197248 94493 4294967295 134512640 134716908 3221224560 3221223328 134592128 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95263 94493 1111 63 0 95200 0
vsize: 381052
[startup+620.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98059 0 0 0 61800 203 0 0 25 0 1 0 851570791 390254592 94517 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95277 94517 1111 63 0 95214 0
vsize: 381108
[startup+630.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98069 0 0 0 62799 203 0 0 25 0 1 0 851570791 390373376 94523 4294967295 134512640 134716908 3221224560 3221223216 134543686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95306 94523 1111 63 0 95243 0
vsize: 381224
[startup+640.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98069 0 0 0 63800 204 0 0 25 0 1 0 851570791 390238208 94513 4294967295 134512640 134716908 3221224560 3221223232 134528623 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95273 94513 1111 63 0 95210 0
vsize: 381092
[startup+650.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98087 0 0 0 64799 204 0 0 25 0 1 0 851570791 390352896 94531 4294967295 134512640 134716908 3221224560 3221223168 134549470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95301 94531 1111 63 0 95238 0
vsize: 381204
[startup+660.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98087 0 0 0 65799 205 0 0 25 0 1 0 851570791 390336512 94531 4294967295 134512640 134716908 3221224560 3221223304 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95297 94531 1111 63 0 95234 0
vsize: 381188
[startup+670.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98087 0 0 0 66798 206 0 0 25 0 1 0 851570791 390336512 94531 4294967295 134512640 134716908 3221224560 3221223128 1077377371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95297 94531 1111 63 0 95234 0
vsize: 381188
[startup+680.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98089 0 0 0 67798 206 0 0 25 0 1 0 851570791 390336512 94533 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95297 94533 1111 63 0 95234 0
vsize: 381188
[startup+690.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98164 0 0 0 68798 206 0 0 25 0 1 0 851570791 390746112 94608 4294967295 134512640 134716908 3221224560 3221223152 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95397 94608 1111 63 0 95334 0
vsize: 381588
[startup+700.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98164 0 0 0 69797 207 0 0 25 0 1 0 851570791 390746112 94608 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95397 94608 1111 63 0 95334 0
vsize: 381588
[startup+710.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98164 0 0 0 70797 207 0 0 25 0 1 0 851570791 390746112 94608 4294967295 134512640 134716908 3221224560 3221223264 134524393 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95397 94608 1111 63 0 95334 0
vsize: 381588
[startup+720.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98164 0 0 0 71797 207 0 0 25 0 1 0 851570791 390746112 94608 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95397 94608 1111 63 0 95334 0
vsize: 381588
[startup+730.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98164 0 0 0 72797 208 0 0 25 0 1 0 851570791 390746112 94608 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95397 94608 1111 63 0 95334 0
vsize: 381588
[startup+740.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98164 0 0 0 73797 208 0 0 25 0 1 0 851570791 390746112 94608 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95397 94608 1111 63 0 95334 0
vsize: 381588
[startup+750.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98189 0 0 0 74796 209 0 0 25 0 1 0 851570791 390746112 94633 4294967295 134512640 134716908 3221224560 3221223200 134613470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95397 94633 1111 63 0 95334 0
vsize: 381588
[startup+760.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98190 0 0 0 75795 210 0 0 25 0 1 0 851570791 390746112 94634 4294967295 134512640 134716908 3221224560 3221223120 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95397 94634 1111 63 0 95334 0
vsize: 381588
[startup+770.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98224 0 0 0 76795 210 0 0 25 0 1 0 851570791 390873088 94668 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95428 94668 1111 63 0 95365 0
vsize: 381712
[startup+780.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98238 0 0 0 77795 211 0 0 25 0 1 0 851570791 390942720 94682 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95445 94682 1111 63 0 95382 0
vsize: 381780
[startup+790.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98253 0 0 0 78794 212 0 0 25 0 1 0 851570791 391069696 94697 4294967295 134512640 134716908 3221224560 3221223136 134542325 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95476 94697 1111 63 0 95413 0
vsize: 381904
[startup+800.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98253 0 0 0 79794 212 0 0 25 0 1 0 851570791 391069696 94697 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95476 94697 1111 63 0 95413 0
vsize: 381904
[startup+810.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98298 0 0 0 80793 212 0 0 25 0 1 0 851570791 391155712 94737 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95497 94737 1111 63 0 95434 0
vsize: 381988
[startup+820.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98298 0 0 0 81793 213 0 0 25 0 1 0 851570791 391127040 94730 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95490 94730 1111 63 0 95427 0
vsize: 381960
[startup+830.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98325 0 0 0 82793 213 0 0 25 0 1 0 851570791 391127040 94730 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95490 94730 1111 63 0 95427 0
vsize: 381960
[startup+840.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98325 0 0 0 83793 213 0 0 25 0 1 0 851570791 391127040 94730 4294967295 134512640 134716908 3221224560 3221223168 134549470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95490 94730 1111 63 0 95427 0
vsize: 381960
[startup+850.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98325 0 0 0 84793 213 0 0 25 0 1 0 851570791 391127040 94730 4294967295 134512640 134716908 3221224560 3221223200 134613440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95490 94730 1111 63 0 95427 0
vsize: 381960
[startup+860.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98418 0 0 0 85793 214 0 0 25 0 1 0 851570791 391536640 94823 4294967295 134512640 134716908 3221224560 3221223236 134543677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95590 94823 1111 63 0 95527 0
vsize: 382360
[startup+870.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98418 0 0 0 86793 214 0 0 25 0 1 0 851570791 391536640 94823 4294967295 134512640 134716908 3221224560 3221222976 134699769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95590 94823 1111 63 0 95527 0
vsize: 382360
[startup+880.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98418 0 0 0 87792 215 0 0 25 0 1 0 851570791 391536640 94823 4294967295 134512640 134716908 3221224560 3221223288 134558801 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95590 94823 1111 63 0 95527 0
vsize: 382360
[startup+890.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98418 0 0 0 88792 215 0 0 25 0 1 0 851570791 391536640 94823 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95590 94823 1111 63 0 95527 0
vsize: 382360
[startup+900.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98448 0 0 0 89791 216 0 0 25 0 1 0 851570791 391671808 94853 4294967295 134512640 134716908 3221224560 3221223200 134539427 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95623 94853 1111 63 0 95560 0
vsize: 382492
[startup+910.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98448 0 0 0 90790 217 0 0 25 0 1 0 851570791 391671808 94853 4294967295 134512640 134716908 3221224560 3221223224 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95623 94853 1111 63 0 95560 0
vsize: 382492
[startup+920.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98488 0 0 0 91789 218 0 0 25 0 1 0 851570791 391925760 94893 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95685 94893 1111 63 0 95622 0
vsize: 382740
[startup+930.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98488 0 0 0 92789 219 0 0 25 0 1 0 851570791 391925760 94893 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95685 94893 1111 63 0 95622 0
vsize: 382740
[startup+940.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98488 0 0 0 93789 219 0 0 25 0 1 0 851570791 391925760 94893 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95685 94893 1111 63 0 95622 0
vsize: 382740
[startup+950.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98488 0 0 0 94788 220 0 0 25 0 1 0 851570791 391925760 94893 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95685 94893 1111 63 0 95622 0
vsize: 382740
[startup+960.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98488 0 0 0 95788 220 0 0 25 0 1 0 851570791 391925760 94893 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95685 94893 1111 63 0 95622 0
vsize: 382740
[startup+970.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98488 0 0 0 96788 221 0 0 25 0 1 0 851570791 391925760 94893 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95685 94893 1111 63 0 95622 0
vsize: 382740
[startup+980.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98488 0 0 0 97787 221 0 0 25 0 1 0 851570791 391925760 94893 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95685 94893 1111 63 0 95622 0
vsize: 382740
[startup+990.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98521 0 0 0 98787 222 0 0 25 0 1 0 851570791 391991296 94907 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95701 94907 1111 63 0 95638 0
vsize: 382804
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98521 0 0 0 99787 222 0 0 25 0 1 0 851570791 391991296 94907 4294967295 134512640 134716908 3221224560 3221223120 134699205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95701 94907 1111 63 0 95638 0
vsize: 382804
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98521 0 0 0 100786 223 0 0 25 0 1 0 851570791 391741440 94880 4294967295 134512640 134716908 3221224560 3221223060 134543025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95640 94880 1111 63 0 95577 0
vsize: 382560
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98521 0 0 0 101786 223 0 0 25 0 1 0 851570791 391741440 94880 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95640 94880 1111 63 0 95577 0
vsize: 382560
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98521 0 0 0 102786 224 0 0 25 0 1 0 851570791 391741440 94880 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95640 94880 1111 63 0 95577 0
vsize: 382560
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98521 0 0 0 103786 224 0 0 25 0 1 0 851570791 391741440 94880 4294967295 134512640 134716908 3221224560 3221223224 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95640 94880 1111 63 0 95577 0
vsize: 382560
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98540 0 0 0 104786 224 0 0 25 0 1 0 851570791 391876608 94899 4294967295 134512640 134716908 3221224560 3221223248 134542836 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95673 94899 1111 63 0 95610 0
vsize: 382692
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98582 0 0 0 105786 225 0 0 25 0 1 0 851570791 391815168 94898 4294967295 134512640 134716908 3221224560 3221223120 134542368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95658 94898 1111 63 0 95595 0
vsize: 382632
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98582 0 0 0 106786 225 0 0 25 0 1 0 851570791 391815168 94898 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95658 94898 1111 63 0 95595 0
vsize: 382632
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98582 0 0 0 107786 225 0 0 25 0 1 0 851570791 391815168 94898 4294967295 134512640 134716908 3221224560 3221223168 134549321 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95658 94898 1111 63 0 95595 0
vsize: 382632
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98582 0 0 0 108786 225 0 0 25 0 1 0 851570791 391815168 94898 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95658 94898 1111 63 0 95595 0
vsize: 382632
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98582 0 0 0 109785 226 0 0 25 0 1 0 851570791 391815168 94898 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95658 94898 1111 63 0 95595 0
vsize: 382632
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98599 0 0 0 110785 226 0 0 25 0 1 0 851570791 391950336 94915 4294967295 134512640 134716908 3221224560 3221223328 134592107 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95691 94915 1111 63 0 95628 0
vsize: 382764
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98599 0 0 0 111785 227 0 0 25 0 1 0 851570791 391950336 94915 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95691 94915 1111 63 0 95628 0
vsize: 382764
[startup+1130.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98636 0 0 0 112785 227 0 0 25 0 1 0 851570791 392085504 94952 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95724 94952 1111 63 0 95661 0
vsize: 382896
[startup+1140.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98640 0 0 0 113785 227 0 0 25 0 1 0 851570791 392085504 94956 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95724 94956 1111 63 0 95661 0
vsize: 382896
[startup+1150.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98647 0 0 0 114785 227 0 0 25 0 1 0 851570791 392085504 94963 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95724 94963 1111 63 0 95661 0
vsize: 382896
[startup+1160.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98647 0 0 0 115784 228 0 0 25 0 1 0 851570791 392015872 94947 4294967295 134512640 134716908 3221224560 3221223392 134551454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95707 94947 1111 63 0 95644 0
vsize: 382828
[startup+1170.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98647 0 0 0 116784 228 0 0 25 0 1 0 851570791 392015872 94947 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95707 94947 1111 63 0 95644 0
vsize: 382828
[startup+1175.08 s]
Raw data (loadavg): 1.00 0.97 0.91 1/54 914
Raw data (stat): 914 (bsolo_lpr_cuts-) R 913 8378 8377 0 -1 0 98647 0 0 0 116784 228 0 0 25 0 1 0 851570791 392015872 94947 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95707 94947 1111 63 0 95644 0
vsize: 0

Child status: 0
Real time (s): 1175.08
CPU time (s): 1175.19
CPU user time (s): 1172.73
CPU system time (s): 2.46362
CPU usage (%): 100.009
Max. virtual memory (Kb): 382896
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####