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/miplib/normalized-mps-v2-20-10-air04.opb
MD5SUM	eb0734273e24196dd14c6f237b52fa81
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.12098
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 41061

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        742472 kB
Buffers:         31260 kB
Cached:         239072 kB
SwapCached:       1192 kB
Active:          34448 kB
Inactive:       238228 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        742220 kB
SwapTotal:     2097136 kB
SwapFree:      2094880 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           4912 kB
Slab:            13780 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 05:14:04 (client local time) WITH STATUS 0 IN 1175.19 SECONDS
stats: 29113 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 386.289 s
c Initial Lower Bound: 55536
c Lower Bound Elapsed time: 88.219
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.91 2/54 9470
Raw data (stat): 9470 (runsolver) R 9469 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907542843 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 9470
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 36916 0 0 0 929 68 0 0 25 0 1 0 907542843 164220928 36836 4294967295 134512640 134716908 3221224560 3221222788 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40093 36836 1111 63 0 40030 0
vsize: 160372
[startup+20.0012 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 9470
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 55070 0 0 0 1897 100 0 0 25 0 1 0 907542843 238575616 54990 4294967295 134512640 134716908 3221224560 3221222864 134566802 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58246 54990 1111 63 0 58183 0
vsize: 232984
[startup+30.0023 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 9470
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 55972 0 0 0 2894 103 0 0 25 0 1 0 907542843 242360320 55892 4294967295 134512640 134716908 3221224560 3221222844 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59170 55892 1111 63 0 59107 0
vsize: 236680
[startup+40.0016 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 9470
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 56850 0 0 0 3890 105 0 0 25 0 1 0 907542843 245874688 56770 4294967295 134512640 134716908 3221224560 3221222844 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60028 56770 1111 63 0 59965 0
vsize: 240112
[startup+50.0026 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 9470
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 59200 0 0 0 4885 110 0 0 25 0 1 0 907542843 245702656 59077 4294967295 134512640 134716908 3221224560 3221223048 134543628 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59986 59077 1111 63 0 59923 0
vsize: 239944
[startup+60.0028 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 9470
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 61966 0 0 0 5879 116 0 0 25 0 1 0 907542843 257073152 61843 4294967295 134512640 134716908 3221224560 3221223188 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62762 61843 1111 63 0 62699 0
vsize: 251048
[startup+70.0032 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 9470
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 64555 0 0 0 6874 121 0 0 25 0 1 0 907542843 267640832 64432 4294967295 134512640 134716908 3221224560 3221222944 134542300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65342 64432 1111 63 0 65279 0
vsize: 261368
[startup+80.0044 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 9470
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 66845 0 0 0 7869 126 0 0 25 0 1 0 907542843 276987904 66722 4294967295 134512640 134716908 3221224560 3221223040 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67624 66722 1111 63 0 67561 0
vsize: 270496
[startup+90.0043 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 9470
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 69106 0 0 0 8865 130 0 0 25 0 1 0 907542843 286334976 68983 4294967295 134512640 134716908 3221224560 3221223040 134539427 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69906 68983 1111 63 0 69843 0
vsize: 279624
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 9470
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 71276 0 0 0 9861 135 0 0 25 0 1 0 907542843 295137280 71153 4294967295 134512640 134716908 3221224560 3221223040 134539429 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72055 71153 1111 63 0 71992 0
vsize: 288220
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 9470
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 73366 0 0 0 10857 139 0 0 25 0 1 0 907542843 303677440 73243 4294967295 134512640 134716908 3221224560 3221223120 134588000 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74140 73243 1111 63 0 74077 0
vsize: 296560
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9470
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 75256 0 0 0 11854 142 0 0 25 0 1 0 907542843 311525376 75133 4294967295 134512640 134716908 3221224560 3221223288 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76056 75133 1111 63 0 75993 0
vsize: 304224
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9470
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 77118 0 0 0 12850 146 0 0 25 0 1 0 907542843 319111168 76995 4294967295 134512640 134716908 3221224560 3221223040 134536736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77908 76995 1111 63 0 77845 0
vsize: 311632
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9470
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 78783 0 0 0 13847 149 0 0 25 0 1 0 907542843 325885952 78660 4294967295 134512640 134716908 3221224560 3221223104 134584814 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79562 78660 1111 63 0 79499 0
vsize: 318248
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9470
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 80487 0 0 0 14845 152 0 0 25 0 1 0 907542843 332935168 80364 4294967295 134512640 134716908 3221224560 3221223212 134528756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81283 80364 1111 63 0 81220 0
vsize: 325132
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9470
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 82267 0 0 0 15841 156 0 0 25 0 1 0 907542843 340246528 82144 4294967295 134512640 134716908 3221224560 3221222956 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83068 82144 1111 63 0 83005 0
vsize: 332272
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9470
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 83650 0 0 0 16839 159 0 0 25 0 1 0 907542843 345800704 83527 4294967295 134512640 134716908 3221224560 3221222960 134542817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84424 83527 1111 63 0 84361 0
vsize: 337696
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9470
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 85030 0 0 0 17837 161 0 0 25 0 1 0 907542843 351494144 84907 4294967295 134512640 134716908 3221224560 3221223200 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85814 84907 1111 63 0 85751 0
vsize: 343256
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9470
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 86265 0 0 0 18834 164 0 0 25 0 1 0 907542843 356495360 86142 4294967295 134512640 134716908 3221224560 3221223068 134543615 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.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9470
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 87474 0 0 0 19831 167 0 0 25 0 1 0 907542843 361512960 87351 4294967295 134512640 134716908 3221224560 3221223312 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88260 87351 1111 63 0 88197 0
vsize: 353040
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9470
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 88514 0 0 0 20830 168 0 0 25 0 1 0 907542843 365715456 88391 4294967295 134512640 134716908 3221224560 3221223312 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89286 88391 1111 63 0 89223 0
vsize: 357144
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9470
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 89416 0 0 0 21828 170 0 0 25 0 1 0 907542843 369520640 89293 4294967295 134512640 134716908 3221224560 3221223184 134528780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90215 89293 1111 63 0 90152 0
vsize: 360860
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9470
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 90253 0 0 0 22827 172 0 0 25 0 1 0 907542843 372908032 90130 4294967295 134512640 134716908 3221224560 3221223088 134543674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91042 90130 1111 63 0 90979 0
vsize: 364168
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9470
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 90985 0 0 0 23826 173 0 0 25 0 1 0 907542843 375889920 90862 4294967295 134512640 134716908 3221224560 3221223288 134675281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91770 90862 1111 63 0 91707 0
vsize: 367080
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9470
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 91576 0 0 0 24825 174 0 0 25 0 1 0 907542843 378331136 91453 4294967295 134512640 134716908 3221224560 3221223048 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92366 91453 1111 63 0 92303 0
vsize: 369464
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9470
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 92025 0 0 0 25824 175 0 0 25 0 1 0 907542843 380096512 91902 4294967295 134512640 134716908 3221224560 3221223088 134542848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92797 91902 1111 63 0 92734 0
vsize: 371188
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9470
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 92452 0 0 0 26824 176 0 0 25 0 1 0 907542843 381861888 92329 4294967295 134512640 134716908 3221224560 3221223040 134539374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93228 92329 1111 63 0 93165 0
vsize: 372912
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9470
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 92848 0 0 0 27823 177 0 0 25 0 1 0 907542843 383488000 92725 4294967295 134512640 134716908 3221224560 3221223288 134675274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93625 92725 1111 63 0 93562 0
vsize: 374500
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9470
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 92977 0 0 0 28822 177 0 0 25 0 1 0 907542843 384028672 92854 4294967295 134512640 134716908 3221224560 3221223220 134627213 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9470
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 92989 0 0 0 29823 177 0 0 25 0 1 0 907542843 384163840 92866 4294967295 134512640 134716908 3221224560 3221223232 134627203 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9470
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 92995 0 0 0 30823 177 0 0 25 0 1 0 907542843 384163840 92872 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93790 92872 1111 63 0 93727 0
vsize: 375160
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9470
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 93004 0 0 0 31823 177 0 0 25 0 1 0 907542843 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.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9470
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 93007 0 0 0 32823 177 0 0 25 0 1 0 907542843 384163840 92884 4294967295 134512640 134716908 3221224560 3221223232 134627203 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.015 s]
Raw data (loadavg): 1.07 0.99 0.91 2/56 9506
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 93008 0 0 0 33816 184 0 0 25 0 1 0 907542843 384163840 92885 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93790 92885 1111 63 0 93727 0
vsize: 375160
[startup+350.06 s]
Raw data (loadavg): 1.22 1.02 0.93 3/58 9523
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 93012 0 0 0 34820 185 0 0 25 0 1 0 907542843 384163840 92889 4294967295 134512640 134716908 3221224560 3221223232 134627203 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.061 s]
Raw data (loadavg): 1.18 1.02 0.93 2/54 9523
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 93017 0 0 0 35820 185 0 0 25 0 1 0 907542843 384163840 92894 4294967295 134512640 134716908 3221224560 3221223232 134627266 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.062 s]
Raw data (loadavg): 1.23 1.03 0.93 2/54 9523
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 93020 0 0 0 36820 185 0 0 25 0 1 0 907542843 384163840 92897 4294967295 134512640 134716908 3221224560 3221223232 134627200 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93790 92897 1111 63 0 93727 0
vsize: 375160
[startup+380.062 s]
Raw data (loadavg): 1.20 1.03 0.93 2/54 9523
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 93022 0 0 0 37820 185 0 0 25 0 1 0 907542843 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.063 s]
Raw data (loadavg): 1.17 1.03 0.93 2/54 9523
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 93937 0 0 0 38818 187 0 0 25 0 1 0 907542843 387633152 93747 4294967295 134512640 134716908 3221224560 3221222608 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94637 93747 1111 63 0 94574 0
vsize: 378548
[startup+400.063 s]
Raw data (loadavg): 1.14 1.03 0.93 2/54 9523
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 96053 0 0 0 39813 192 0 0 25 0 1 0 907542843 391663616 94791 4294967295 134512640 134716908 3221224560 3221220508 1074873474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95621 94791 1111 63 0 95558 0
vsize: 382484
[startup+410.062 s]
Raw data (loadavg): 1.12 1.03 0.93 2/54 9525
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 96111 0 0 0 40813 192 0 0 25 0 1 0 907542843 391790592 94828 4294967295 134512640 134716908 3221224560 3221220508 1074873465 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.063 s]
Raw data (loadavg): 1.10 1.03 0.93 2/54 9525
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 96111 0 0 0 41814 192 0 0 25 0 1 0 907542843 391790592 94828 4294967295 134512640 134716908 3221224560 3221220448 1074875123 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.063 s]
Raw data (loadavg): 1.08 1.03 0.93 2/54 9525
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 96111 0 0 0 42814 192 0 0 25 0 1 0 907542843 391790592 94828 4294967295 134512640 134716908 3221224560 3221220448 1074875034 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95652 94828 1111 63 0 95589 0
vsize: 382608
[startup+440.063 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 9525
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 96141 0 0 0 43814 192 0 0 25 0 1 0 907542843 391790592 94844 4294967295 134512640 134716908 3221224560 3221220528 1074881428 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.064 s]
Raw data (loadavg): 1.06 1.02 0.93 2/54 9525
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 96141 0 0 0 44814 192 0 0 25 0 1 0 907542843 391790592 94844 4294967295 134512640 134716908 3221224560 3221221056 1074886745 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.064 s]
Raw data (loadavg): 1.05 1.02 0.93 2/54 9525
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 97552 0 0 0 45812 195 0 0 25 0 1 0 907542843 388460544 94074 4294967295 134512640 134716908 3221224560 3221222928 134606976 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.065 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 9525
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 97552 0 0 0 46812 195 0 0 25 0 1 0 907542843 388460544 94074 4294967295 134512640 134716908 3221224560 3221222976 134646693 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.066 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 9525
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 97553 0 0 0 47811 196 0 0 25 0 1 0 907542843 388460544 94075 4294967295 134512640 134716908 3221224560 3221223152 134539376 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.065 s]
Raw data (loadavg): 1.03 1.02 0.93 2/54 9525
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 97553 0 0 0 48810 197 0 0 25 0 1 0 907542843 388460544 94075 4294967295 134512640 134716908 3221224560 3221223336 134613533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94839 94075 1111 63 0 94776 0
vsize: 379356
[startup+500.065 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 9525
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 97596 0 0 0 49809 198 0 0 25 0 1 0 907542843 388710400 94118 4294967295 134512640 134716908 3221224560 3221223312 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94900 94118 1111 63 0 94837 0
vsize: 379600
[startup+510.066 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 9525
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 97642 0 0 0 50808 199 0 0 25 0 1 0 907542843 388845568 94164 4294967295 134512640 134716908 3221224560 3221223344 134597619 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94933 94164 1111 63 0 94870 0
vsize: 379732
[startup+520.066 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 9525
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 97689 0 0 0 51808 199 0 0 25 0 1 0 907542843 389099520 94211 4294967295 134512640 134716908 3221224560 3221223348 134597574 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.066 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 9525
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 97707 0 0 0 52807 200 0 0 25 0 1 0 907542843 389099520 94229 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94995 94229 1111 63 0 94932 0
vsize: 379980
[startup+540.066 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 9525
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 97768 0 0 0 53806 201 0 0 25 0 1 0 907542843 389357568 94290 4294967295 134512640 134716908 3221224560 3221223180 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95058 94290 1111 63 0 94995 0
vsize: 380232
[startup+550.066 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 9525
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 97871 0 0 0 54805 202 0 0 25 0 1 0 907542843 389783552 94393 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95162 94393 1111 63 0 95099 0
vsize: 380648
[startup+560.067 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 9525
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 97886 0 0 0 55805 203 0 0 25 0 1 0 907542843 389804032 94407 4294967295 134512640 134716908 3221224560 3221223176 134613973 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.067 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 9525
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 97944 0 0 0 56804 204 0 0 25 0 1 0 907542843 390172672 94465 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95257 94465 1111 63 0 95194 0
vsize: 381028
[startup+580.068 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 9525
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 97944 0 0 0 57804 204 0 0 25 0 1 0 907542843 389935104 94439 4294967295 134512640 134716908 3221224560 3221223344 134528780 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.068 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 9525
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 97982 0 0 0 58804 205 0 0 25 0 1 0 907542843 390189056 94477 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95261 94477 1111 63 0 95198 0
vsize: 381044
[startup+600.068 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 9525
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98001 0 0 0 59803 205 0 0 25 0 1 0 907542843 390189056 94496 4294967295 134512640 134716908 3221224560 3221223200 134542325 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95261 94496 1111 63 0 95198 0
vsize: 381044
[startup+610.068 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 9525
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98001 0 0 0 60803 206 0 0 25 0 1 0 907542843 390062080 94470 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95230 94470 1111 63 0 95167 0
vsize: 380920
[startup+620.068 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 9525
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98038 0 0 0 61803 206 0 0 25 0 1 0 907542843 390311936 94507 4294967295 134512640 134716908 3221224560 3221223168 134548843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95291 94507 1111 63 0 95228 0
vsize: 381164
[startup+630.067 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 9525
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98059 0 0 0 62802 207 0 0 25 0 1 0 907542843 390238208 94513 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95273 94513 1111 63 0 95210 0
vsize: 381092
[startup+640.067 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 9525
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98069 0 0 0 63801 208 0 0 25 0 1 0 907542843 390373376 94523 4294967295 134512640 134716908 3221224560 3221223168 134549470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95306 94523 1111 63 0 95243 0
vsize: 381224
[startup+650.068 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9525
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98069 0 0 0 64800 209 0 0 25 0 1 0 907542843 390238208 94513 4294967295 134512640 134716908 3221224560 3221223228 1076647536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95273 94513 1111 63 0 95210 0
vsize: 381092
[startup+660.068 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9525
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98087 0 0 0 65800 209 0 0 25 0 1 0 907542843 390336512 94531 4294967295 134512640 134716908 3221224560 3221223204 134613648 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.069 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98087 0 0 0 66800 210 0 0 25 0 1 0 907542843 390336512 94531 4294967295 134512640 134716908 3221224560 3221223484 1077781665 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.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98087 0 0 0 67800 210 0 0 25 0 1 0 907542843 390336512 94531 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95297 94531 1111 63 0 95234 0
vsize: 381188
[startup+690.069 s]
Raw data (loadavg): 1.08 1.02 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98126 0 0 0 68799 211 0 0 25 0 1 0 907542843 390471680 94570 4294967295 134512640 134716908 3221224560 3221223100 134539243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95330 94570 1111 63 0 95267 0
vsize: 381320
[startup+700.069 s]
Raw data (loadavg): 1.07 1.02 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98164 0 0 0 69799 211 0 0 25 0 1 0 907542843 390746112 94608 4294967295 134512640 134716908 3221224560 3221223136 134543097 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.069 s]
Raw data (loadavg): 1.06 1.02 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98164 0 0 0 70798 212 0 0 25 0 1 0 907542843 390746112 94608 4294967295 134512640 134716908 3221224560 3221223304 134558492 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.07 s]
Raw data (loadavg): 1.05 1.01 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98164 0 0 0 71798 212 0 0 25 0 1 0 907542843 390746112 94608 4294967295 134512640 134716908 3221224560 3221223168 134549470 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.07 s]
Raw data (loadavg): 1.04 1.01 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98164 0 0 0 72798 213 0 0 25 0 1 0 907542843 390746112 94608 4294967295 134512640 134716908 3221224560 3221223328 134592116 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.07 s]
Raw data (loadavg): 1.03 1.01 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98164 0 0 0 73798 213 0 0 25 0 1 0 907542843 390746112 94608 4294967295 134512640 134716908 3221224560 3221223152 134542677 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.071 s]
Raw data (loadavg): 1.03 1.01 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98164 0 0 0 74797 214 0 0 25 0 1 0 907542843 390746112 94608 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95397 94608 1111 63 0 95334 0
vsize: 381588
[startup+760.07 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98189 0 0 0 75796 215 0 0 25 0 1 0 907542843 390746112 94633 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95397 94633 1111 63 0 95334 0
vsize: 381588
[startup+770.071 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98199 0 0 0 76796 215 0 0 25 0 1 0 907542843 390873088 94643 4294967295 134512640 134716908 3221224560 3221223360 134597600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95428 94643 1111 63 0 95365 0
vsize: 381712
[startup+780.071 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98238 0 0 0 77796 216 0 0 25 0 1 0 907542843 390967296 94682 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95451 94682 1111 63 0 95388 0
vsize: 381804
[startup+790.071 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98246 0 0 0 78796 216 0 0 25 0 1 0 907542843 390983680 94690 4294967295 134512640 134716908 3221224560 3221223168 134549457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95455 94690 1111 63 0 95392 0
vsize: 381820
[startup+800.071 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98253 0 0 0 79795 217 0 0 25 0 1 0 907542843 391069696 94697 4294967295 134512640 134716908 3221224560 3221223344 134529222 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.071 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98253 0 0 0 80795 217 0 0 25 0 1 0 907542843 391020544 94697 4294967295 134512640 134716908 3221224560 3221223208 134543638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95464 94697 1111 63 0 95401 0
vsize: 381856
[startup+820.072 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98298 0 0 0 81795 218 0 0 25 0 1 0 907542843 391155712 94737 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95497 94737 1111 63 0 95434 0
vsize: 381988
[startup+830.072 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98298 0 0 0 82795 218 0 0 25 0 1 0 907542843 391127040 94730 4294967295 134512640 134716908 3221224560 3221223180 134543588 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.071 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98325 0 0 0 83794 218 0 0 25 0 1 0 907542843 391127040 94730 4294967295 134512640 134716908 3221224560 3221223152 134549689 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.071 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98325 0 0 0 84794 219 0 0 25 0 1 0 907542843 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+860.072 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98346 0 0 0 85794 219 0 0 25 0 1 0 907542843 391266304 94751 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95524 94751 1111 63 0 95461 0
vsize: 382096
[startup+870.072 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98418 0 0 0 86793 220 0 0 25 0 1 0 907542843 391536640 94823 4294967295 134512640 134716908 3221224560 3221223152 134549541 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.072 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98418 0 0 0 87793 220 0 0 25 0 1 0 907542843 391536640 94823 4294967295 134512640 134716908 3221224560 3221223224 134551620 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.072 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98418 0 0 0 88793 221 0 0 25 0 1 0 907542843 391536640 94823 4294967295 134512640 134716908 3221224560 3221223016 134699437 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.072 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98418 0 0 0 89792 221 0 0 25 0 1 0 907542843 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+910.071 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98448 0 0 0 90792 222 0 0 25 0 1 0 907542843 391671808 94853 4294967295 134512640 134716908 3221224560 3221223344 134528996 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.073 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98448 0 0 0 91792 222 0 0 25 0 1 0 907542843 391671808 94853 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95623 94853 1111 63 0 95560 0
vsize: 382492
[startup+930.073 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98488 0 0 0 92792 223 0 0 25 0 1 0 907542843 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+940.073 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98488 0 0 0 93792 223 0 0 25 0 1 0 907542843 391925760 94893 4294967295 134512640 134716908 3221224560 3221223348 134597574 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.073 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98488 0 0 0 94791 223 0 0 25 0 1 0 907542843 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+960.073 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98488 0 0 0 95791 224 0 0 25 0 1 0 907542843 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+970.073 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98488 0 0 0 96790 225 0 0 25 0 1 0 907542843 391925760 94893 4294967295 134512640 134716908 3221224560 3221223168 134549305 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.074 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98488 0 0 0 97790 225 0 0 25 0 1 0 907542843 391925760 94893 4294967295 134512640 134716908 3221224560 3221223128 1077377891 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.073 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98488 0 0 0 98790 225 0 0 25 0 1 0 907542843 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+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98521 0 0 0 99790 226 0 0 25 0 1 0 907542843 391991296 94907 4294967295 134512640 134716908 3221224560 3221223168 134549313 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.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98521 0 0 0 100790 226 0 0 25 0 1 0 907542843 391991296 94907 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95701 94907 1111 63 0 95638 0
vsize: 382804
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98521 0 0 0 101789 226 0 0 25 0 1 0 907542843 391741440 94880 4294967295 134512640 134716908 3221224560 3221223328 134592104 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.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98521 0 0 0 102789 227 0 0 25 0 1 0 907542843 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.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98521 0 0 0 103789 228 0 0 25 0 1 0 907542843 391741440 94880 4294967295 134512640 134716908 3221224560 3221223484 1077781665 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.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98521 0 0 0 104789 228 0 0 25 0 1 0 907542843 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+1060.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98535 0 0 0 105789 228 0 0 25 0 1 0 907542843 391876608 94894 4294967295 134512640 134716908 3221224560 3221223304 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95673 94894 1111 63 0 95610 0
vsize: 382692
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98582 0 0 0 106788 228 0 0 25 0 1 0 907542843 392011776 94941 4294967295 134512640 134716908 3221224560 3221223120 134699211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95706 94941 1111 63 0 95643 0
vsize: 382824
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98582 0 0 0 107788 229 0 0 25 0 1 0 907542843 391815168 94898 4294967295 134512640 134716908 3221224560 3221223152 134549700 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.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98582 0 0 0 108788 229 0 0 25 0 1 0 907542843 391815168 94898 4294967295 134512640 134716908 3221224560 3221223188 1077374082 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.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98582 0 0 0 109788 229 0 0 25 0 1 0 907542843 391815168 94898 4294967295 134512640 134716908 3221224560 3221223484 1077781665 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.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98582 0 0 0 110787 230 0 0 25 0 1 0 907542843 391815168 94898 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95658 94898 1111 63 0 95595 0
vsize: 382632
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98599 0 0 0 111787 231 0 0 25 0 1 0 907542843 391950336 94915 4294967295 134512640 134716908 3221224560 3221223208 134542289 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.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98599 0 0 0 112787 231 0 0 25 0 1 0 907542843 391950336 94915 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95691 94915 1111 63 0 95628 0
vsize: 382764
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98621 0 0 0 113787 231 0 0 25 0 1 0 907542843 392085504 94937 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95724 94937 1111 63 0 95661 0
vsize: 382896
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98640 0 0 0 114787 232 0 0 25 0 1 0 907542843 392085504 94956 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95724 94956 1111 63 0 95661 0
vsize: 382896
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98647 0 0 0 115786 232 0 0 25 0 1 0 907542843 392085504 94963 4294967295 134512640 134716908 3221224560 3221223288 134543830 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95724 94963 1111 63 0 95661 0
vsize: 382896
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98647 0 0 0 116786 233 0 0 25 0 1 0 907542843 392015872 94947 4294967295 134512640 134716908 3221224560 3221223360 134597604 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.07 s]
Raw data (loadavg): 1.00 1.00 0.94 1/53 9527
Raw data (stat): 9470 (bsolo_lpr_cuts-) R 9469 21152 21151 0 -1 0 98647 0 0 0 116786 233 0 0 25 0 1 0 907542843 392015872 94947 4294967295 134512640 134716908 3221224560 3221223360 134597604 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.07
CPU time (s): 1175.19
CPU user time (s): 1172.68
CPU system time (s): 2.50562
CPU usage (%): 100.01
Max. virtual memory (Kb): 382896
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####