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-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-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.120981
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 41554

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-09 15:31:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29614 boxname=wulflinc4 idbench=1398 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  26490113618ae9605b5ebe6370b5910b  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-air04.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-air04.opb
IDLAUNCH: 29614
/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:        914592 kB
Buffers:           408 kB
Cached:          98892 kB
SwapCached:        864 kB
Active:          26384 kB
Inactive:        74936 kB
HighTotal:      131008 kB
HighFree:        29036 kB
LowTotal:       903652 kB
LowFree:        885556 kB
SwapTotal:     2097136 kB
SwapFree:      2095216 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           4924 kB
Slab:            12920 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 15:51:30 (client local time) WITH STATUS 0 IN 1175.19 SECONDS
stats: 29614 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 384.799 s
c Initial Lower Bound: 55536
c Lower Bound Elapsed time: 87.828
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.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (runsolver) R 18088 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 911367934 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 37596 0 0 0 923 74 0 0 25 0 1 0 911367934 167055360 37516 4294967295 134512640 134716908 3221224560 3221222428 1077246216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40785 37522 1111 63 0 40722 0
vsize: 163140
[startup+20.0014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 55092 0 0 0 1889 107 0 0 25 0 1 0 911367934 238710784 55012 4294967295 134512640 134716908 3221224560 3221222844 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58279 55012 1111 63 0 58216 0
vsize: 233116
[startup+30.0019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 55986 0 0 0 2885 110 0 0 25 0 1 0 911367934 242360320 55906 4294967295 134512640 134716908 3221224560 3221222836 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59170 55906 1111 63 0 59107 0
vsize: 236680
[startup+40.0027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 56860 0 0 0 3883 112 0 0 25 0 1 0 911367934 246009856 56780 4294967295 134512640 134716908 3221224560 3221222844 1077399564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60061 56780 1111 63 0 59998 0
vsize: 240244
[startup+50.0041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 59212 0 0 0 4878 118 0 0 25 0 1 0 911367934 245702656 59089 4294967295 134512640 134716908 3221224560 3221222972 134543653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59986 59089 1111 63 0 59923 0
vsize: 239944
[startup+60.0035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 61966 0 0 0 5872 124 0 0 25 0 1 0 911367934 257073152 61843 4294967295 134512640 134716908 3221224560 3221223200 134594947 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.0044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 64555 0 0 0 6867 129 0 0 25 0 1 0 911367934 267640832 64432 4294967295 134512640 134716908 3221224560 3221223040 134536638 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.0057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 66845 0 0 0 7863 134 0 0 25 0 1 0 911367934 276987904 66722 4294967295 134512640 134716908 3221224560 3221222924 134539301 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.0061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 69096 0 0 0 8858 139 0 0 25 0 1 0 911367934 286199808 68973 4294967295 134512640 134716908 3221224560 3221222972 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69873 68973 1111 63 0 69810 0
vsize: 279492
[startup+100.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 71276 0 0 0 9855 142 0 0 25 0 1 0 911367934 295137280 71153 4294967295 134512640 134716908 3221224560 3221223152 134587964 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 73362 0 0 0 10851 146 0 0 25 0 1 0 911367934 303677440 73239 4294967295 134512640 134716908 3221224560 3221223020 134543664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74140 73239 1111 63 0 74077 0
vsize: 296560
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 75246 0 0 0 11847 151 0 0 25 0 1 0 911367934 311390208 75123 4294967295 134512640 134716908 3221224560 3221223068 134543616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76023 75123 1111 63 0 75960 0
vsize: 304092
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 77111 0 0 0 12843 154 0 0 25 0 1 0 911367934 319111168 76988 4294967295 134512640 134716908 3221224560 3221223200 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77908 76988 1111 63 0 77845 0
vsize: 311632
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 78777 0 0 0 13840 157 0 0 25 0 1 0 911367934 325885952 78654 4294967295 134512640 134716908 3221224560 3221223328 134558542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79562 78654 1111 63 0 79499 0
vsize: 318248
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 80475 0 0 0 14837 161 0 0 25 0 1 0 911367934 332800000 80352 4294967295 134512640 134716908 3221224560 3221222968 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81250 80352 1111 63 0 81187 0
vsize: 325000
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 82258 0 0 0 15833 165 0 0 25 0 1 0 911367934 340111360 82135 4294967295 134512640 134716908 3221224560 3221223176 134536921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83035 82135 1111 63 0 82972 0
vsize: 332140
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 83646 0 0 0 16829 169 0 0 25 0 1 0 911367934 345800704 83523 4294967295 134512640 134716908 3221224560 3221223024 134536698 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84424 83523 1111 63 0 84361 0
vsize: 337696
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 85022 0 0 0 17826 172 0 0 25 0 1 0 911367934 351494144 84899 4294967295 134512640 134716908 3221224560 3221223040 134539382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85814 84899 1111 63 0 85751 0
vsize: 343256
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 86251 0 0 0 18824 175 0 0 25 0 1 0 911367934 356495360 86128 4294967295 134512640 134716908 3221224560 3221223288 134675274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87035 86128 1111 63 0 86972 0
vsize: 348140
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 87464 0 0 0 19821 178 0 0 25 0 1 0 911367934 361512960 87341 4294967295 134512640 134716908 3221224560 3221223088 134528410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88260 87341 1111 63 0 88197 0
vsize: 353040
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 88506 0 0 0 20819 180 0 0 25 0 1 0 911367934 365715456 88383 4294967295 134512640 134716908 3221224560 3221223188 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89286 88383 1111 63 0 89223 0
vsize: 357144
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 89411 0 0 0 21816 182 0 0 25 0 1 0 911367934 369381376 89288 4294967295 134512640 134716908 3221224560 3221223004 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90181 89288 1111 63 0 90118 0
vsize: 360724
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 90245 0 0 0 22815 184 0 0 25 0 1 0 911367934 372908032 90122 4294967295 134512640 134716908 3221224560 3221223200 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91042 90122 1111 63 0 90979 0
vsize: 364168
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 90978 0 0 0 23812 187 0 0 25 0 1 0 911367934 375889920 90855 4294967295 134512640 134716908 3221224560 3221223004 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91770 90855 1111 63 0 91707 0
vsize: 367080
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 91571 0 0 0 24811 188 0 0 25 0 1 0 911367934 378331136 91448 4294967295 134512640 134716908 3221224560 3221223088 134528533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92366 91448 1111 63 0 92303 0
vsize: 369464
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 92026 0 0 0 25810 189 0 0 25 0 1 0 911367934 380096512 91903 4294967295 134512640 134716908 3221224560 3221223200 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92797 91903 1111 63 0 92734 0
vsize: 371188
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 92459 0 0 0 26808 191 0 0 25 0 1 0 911367934 381861888 92336 4294967295 134512640 134716908 3221224560 3221223040 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93228 92336 1111 63 0 93165 0
vsize: 372912
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 92871 0 0 0 27808 192 0 0 25 0 1 0 911367934 383623168 92748 4294967295 134512640 134716908 3221224560 3221222972 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93658 92748 1111 63 0 93595 0
vsize: 374632
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 92977 0 0 0 28808 192 0 0 25 0 1 0 911367934 384028672 92854 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93757 92854 1111 63 0 93694 0
vsize: 375028
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 92989 0 0 0 29808 192 0 0 25 0 1 0 911367934 384163840 92866 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93790 92866 1111 63 0 93727 0
vsize: 375160
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 92997 0 0 0 30808 192 0 0 25 0 1 0 911367934 384163840 92874 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93790 92874 1111 63 0 93727 0
vsize: 375160
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 93004 0 0 0 31808 192 0 0 25 0 1 0 911367934 384163840 92881 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93790 92881 1111 63 0 93727 0
vsize: 375160
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 93007 0 0 0 32809 192 0 0 25 0 1 0 911367934 384163840 92884 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93790 92884 1111 63 0 93727 0
vsize: 375160
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 93009 0 0 0 33809 192 0 0 25 0 1 0 911367934 384163840 92886 4294967295 134512640 134716908 3221224560 3221223224 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93790 92886 1111 63 0 93727 0
vsize: 375160
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 93012 0 0 0 34809 192 0 0 25 0 1 0 911367934 384163840 92889 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93790 92889 1111 63 0 93727 0
vsize: 375160
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 93017 0 0 0 35809 192 0 0 25 0 1 0 911367934 384163840 92894 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93790 92894 1111 63 0 93727 0
vsize: 375160
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 93021 0 0 0 36809 192 0 0 25 0 1 0 911367934 384163840 92898 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93790 92898 1111 63 0 93727 0
vsize: 375160
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 93022 0 0 0 37809 192 0 0 25 0 1 0 911367934 384299008 92899 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93823 92899 1111 63 0 93760 0
vsize: 375292
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 93980 0 0 0 38806 195 0 0 25 0 1 0 911367934 387809280 93790 4294967295 134512640 134716908 3221224560 3221222464 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94680 93790 1111 63 0 94617 0
vsize: 378720
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 96095 0 0 0 39801 200 0 0 25 0 1 0 911367934 391745536 94812 4294967295 134512640 134716908 3221224560 3221220508 1074873478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95641 94812 1111 63 0 95578 0
vsize: 382564
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 96111 0 0 0 40801 200 0 0 25 0 1 0 911367934 391790592 94828 4294967295 134512640 134716908 3221224560 3221220508 1074873490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95652 94828 1111 63 0 95589 0
vsize: 382608
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 96111 0 0 0 41801 200 0 0 25 0 1 0 911367934 391790592 94828 4294967295 134512640 134716908 3221224560 3221220448 1074875081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95652 94828 1111 63 0 95589 0
vsize: 382608
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 96141 0 0 0 42801 200 0 0 25 0 1 0 911367934 391790592 94844 4294967295 134512640 134716908 3221224560 3221220320 1074868468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95652 94844 1111 63 0 95589 0
vsize: 382608
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 96141 0 0 0 43801 200 0 0 25 0 1 0 911367934 391790592 94844 4294967295 134512640 134716908 3221224560 3221221384 1074950102 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95652 94844 1111 63 0 95589 0
vsize: 382608
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 96141 0 0 0 44801 201 0 0 25 0 1 0 911367934 391790592 94844 4294967295 134512640 134716908 3221224560 3221220320 1074868602 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95652 94844 1111 63 0 95589 0
vsize: 382608
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 97552 0 0 0 45797 204 0 0 25 0 1 0 911367934 388460544 94074 4294967295 134512640 134716908 3221224560 3221222976 134646788 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94839 94074 1111 63 0 94776 0
vsize: 379356
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 97552 0 0 0 46797 204 0 0 25 0 1 0 911367934 388460544 94074 4294967295 134512640 134716908 3221224560 3221222716 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94839 94074 1111 63 0 94776 0
vsize: 379356
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 97553 0 0 0 47796 206 0 0 25 0 1 0 911367934 388460544 94075 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94839 94075 1111 63 0 94776 0
vsize: 379356
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 97562 0 0 0 48795 206 0 0 25 0 1 0 911367934 388575232 94084 4294967295 134512640 134716908 3221224560 3221223328 134592116 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 97596 0 0 0 49794 207 0 0 25 0 1 0 911367934 388710400 94118 4294967295 134512640 134716908 3221224560 3221223360 134597777 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 97642 0 0 0 50793 208 0 0 25 0 1 0 911367934 388845568 94164 4294967295 134512640 134716908 3221224560 3221223120 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94933 94164 1111 63 0 94870 0
vsize: 379732
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 97689 0 0 0 51792 210 0 0 25 0 1 0 911367934 389099520 94211 4294967295 134512640 134716908 3221224560 3221223128 134699232 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94995 94211 1111 63 0 94932 0
vsize: 379980
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 97714 0 0 0 52791 211 0 0 25 0 1 0 911367934 389234688 94236 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95028 94236 1111 63 0 94965 0
vsize: 380112
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 97786 0 0 0 53791 212 0 0 25 0 1 0 911367934 389492736 94308 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95091 94308 1111 63 0 95028 0
vsize: 380364
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 97877 0 0 0 54790 212 0 0 25 0 1 0 911367934 389775360 94399 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95160 94399 1111 63 0 95097 0
vsize: 380640
[startup+560.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 97886 0 0 0 55790 213 0 0 25 0 1 0 911367934 389804032 94407 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95167 94407 1111 63 0 95104 0
vsize: 380668
[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 97944 0 0 0 56789 214 0 0 25 0 1 0 911367934 389939200 94440 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95200 94440 1111 63 0 95137 0
vsize: 380800
[startup+580.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 97944 0 0 0 57789 214 0 0 25 0 1 0 911367934 389935104 94439 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95199 94439 1111 63 0 95136 0
vsize: 380796
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98001 0 0 0 58788 215 0 0 25 0 1 0 911367934 390189056 94496 4294967295 134512640 134716908 3221224560 3221223216 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95261 94496 1111 63 0 95198 0
vsize: 381044
[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98001 0 0 0 59787 216 0 0 25 0 1 0 911367934 390062080 94470 4294967295 134512640 134716908 3221224560 3221223172 134536752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95230 94470 1111 63 0 95167 0
vsize: 380920
[startup+610.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98024 0 0 0 60787 216 0 0 25 0 1 0 911367934 390197248 94493 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95263 94493 1111 63 0 95200 0
vsize: 381052
[startup+620.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98059 0 0 0 61787 217 0 0 25 0 1 0 911367934 390311936 94528 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95291 94528 1111 63 0 95228 0
vsize: 381164
[startup+630.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98059 0 0 0 62786 218 0 0 25 0 1 0 911367934 390238208 94513 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95273 94513 1111 63 0 95210 0
vsize: 381092
[startup+640.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98069 0 0 0 63785 219 0 0 25 0 1 0 911367934 390238208 94513 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95273 94513 1111 63 0 95210 0
vsize: 381092
[startup+650.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98087 0 0 0 64785 219 0 0 25 0 1 0 911367934 390352896 94531 4294967295 134512640 134716908 3221224560 3221223204 134543119 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95301 94531 1111 63 0 95238 0
vsize: 381204
[startup+660.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98087 0 0 0 65784 220 0 0 25 0 1 0 911367934 390336512 94531 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95297 94531 1111 63 0 95234 0
vsize: 381188
[startup+670.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98087 0 0 0 66784 221 0 0 25 0 1 0 911367934 390336512 94531 4294967295 134512640 134716908 3221224560 3221223200 134613470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95297 94531 1111 63 0 95234 0
vsize: 381188
[startup+680.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98087 0 0 0 67783 221 0 0 25 0 1 0 911367934 390336512 94531 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95297 94531 1111 63 0 95234 0
vsize: 381188
[startup+690.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98163 0 0 0 68782 222 0 0 25 0 1 0 911367934 390746112 94607 4294967295 134512640 134716908 3221224560 3221223200 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95397 94607 1111 63 0 95334 0
vsize: 381588
[startup+700.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98164 0 0 0 69782 223 0 0 25 0 1 0 911367934 390746112 94608 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95397 94608 1111 63 0 95334 0
vsize: 381588
[startup+710.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98164 0 0 0 70782 223 0 0 25 0 1 0 911367934 390746112 94608 4294967295 134512640 134716908 3221224560 3221223212 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95397 94608 1111 63 0 95334 0
vsize: 381588
[startup+720.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98164 0 0 0 71782 223 0 0 25 0 1 0 911367934 390746112 94608 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95397 94608 1111 63 0 95334 0
vsize: 381588
[startup+730.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98164 0 0 0 72781 224 0 0 25 0 1 0 911367934 390746112 94608 4294967295 134512640 134716908 3221224560 3221223312 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95397 94608 1111 63 0 95334 0
vsize: 381588
[startup+740.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98164 0 0 0 73781 225 0 0 25 0 1 0 911367934 390746112 94608 4294967295 134512640 134716908 3221224560 3221223264 134528410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95397 94608 1111 63 0 95334 0
vsize: 381588
[startup+750.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98189 0 0 0 74780 225 0 0 25 0 1 0 911367934 390746112 94633 4294967295 134512640 134716908 3221224560 3221223184 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95397 94633 1111 63 0 95334 0
vsize: 381588
[startup+760.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98189 0 0 0 75779 226 0 0 25 0 1 0 911367934 390746112 94633 4294967295 134512640 134716908 3221224560 3221223184 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95397 94633 1111 63 0 95334 0
vsize: 381588
[startup+770.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98224 0 0 0 76779 227 0 0 25 0 1 0 911367934 390873088 94668 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95428 94668 1111 63 0 95365 0
vsize: 381712
[startup+780.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98238 0 0 0 77778 228 0 0 25 0 1 0 911367934 390942720 94682 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95445 94682 1111 63 0 95382 0
vsize: 381780
[startup+790.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98253 0 0 0 78778 228 0 0 25 0 1 0 911367934 391069696 94697 4294967295 134512640 134716908 3221224560 3221223264 134528487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95476 94697 1111 63 0 95413 0
vsize: 381904
[startup+800.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98253 0 0 0 79778 229 0 0 25 0 1 0 911367934 391069696 94697 4294967295 134512640 134716908 3221224560 3221223216 134536730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95476 94697 1111 63 0 95413 0
vsize: 381904
[startup+810.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98298 0 0 0 80778 229 0 0 25 0 1 0 911367934 391155712 94737 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95497 94737 1111 63 0 95434 0
vsize: 381988
[startup+820.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98298 0 0 0 81778 229 0 0 25 0 1 0 911367934 391127040 94730 4294967295 134512640 134716908 3221224560 3221223144 134549708 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95490 94730 1111 63 0 95427 0
vsize: 381960
[startup+830.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98325 0 0 0 82777 230 0 0 25 0 1 0 911367934 391127040 94730 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95490 94730 1111 63 0 95427 0
vsize: 381960
[startup+840.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98325 0 0 0 83777 230 0 0 25 0 1 0 911367934 391127040 94730 4294967295 134512640 134716908 3221224560 3221223120 134542297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95490 94730 1111 63 0 95427 0
vsize: 381960
[startup+850.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98325 0 0 0 84777 231 0 0 25 0 1 0 911367934 391127040 94730 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95490 94730 1111 63 0 95427 0
vsize: 381960
[startup+860.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98418 0 0 0 85776 231 0 0 25 0 1 0 911367934 391536640 94823 4294967295 134512640 134716908 3221224560 3221223360 134597657 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95590 94823 1111 63 0 95527 0
vsize: 382360
[startup+870.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98418 0 0 0 86776 232 0 0 25 0 1 0 911367934 391536640 94823 4294967295 134512640 134716908 3221224560 3221223312 134592388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95590 94823 1111 63 0 95527 0
vsize: 382360
[startup+880.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98418 0 0 0 87776 232 0 0 25 0 1 0 911367934 391536640 94823 4294967295 134512640 134716908 3221224560 3221223328 134592449 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95590 94823 1111 63 0 95527 0
vsize: 382360
[startup+890.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98418 0 0 0 88776 232 0 0 25 0 1 0 911367934 391536640 94823 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95590 94823 1111 63 0 95527 0
vsize: 382360
[startup+900.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98448 0 0 0 89776 233 0 0 25 0 1 0 911367934 391671808 94853 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95623 94853 1111 63 0 95560 0
vsize: 382492
[startup+910.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98448 0 0 0 90775 233 0 0 25 0 1 0 911367934 391671808 94853 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95623 94853 1111 63 0 95560 0
vsize: 382492
[startup+920.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98488 0 0 0 91775 234 0 0 25 0 1 0 911367934 391925760 94893 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95685 94893 1111 63 0 95622 0
vsize: 382740
[startup+930.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98488 0 0 0 92775 234 0 0 25 0 1 0 911367934 391925760 94893 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95685 94893 1111 63 0 95622 0
vsize: 382740
[startup+940.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98488 0 0 0 93774 235 0 0 25 0 1 0 911367934 391925760 94893 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95685 94893 1111 63 0 95622 0
vsize: 382740
[startup+950.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98488 0 0 0 94774 235 0 0 25 0 1 0 911367934 391925760 94893 4294967295 134512640 134716908 3221224560 3221223344 134529021 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95685 94893 1111 63 0 95622 0
vsize: 382740
[startup+960.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98488 0 0 0 95774 236 0 0 25 0 1 0 911367934 391925760 94893 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95685 94893 1111 63 0 95622 0
vsize: 382740
[startup+970.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98488 0 0 0 96774 236 0 0 25 0 1 0 911367934 391925760 94893 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95685 94893 1111 63 0 95622 0
vsize: 382740
[startup+980.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98488 0 0 0 97773 237 0 0 25 0 1 0 911367934 391925760 94893 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95685 94893 1111 63 0 95622 0
vsize: 382740
[startup+990.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98521 0 0 0 98773 237 0 0 25 0 1 0 911367934 391991296 94907 4294967295 134512640 134716908 3221224560 3221223200 134613438 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95701 94907 1111 63 0 95638 0
vsize: 382804
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98521 0 0 0 99773 237 0 0 25 0 1 0 911367934 391991296 94907 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95701 94907 1111 63 0 95638 0
vsize: 382804
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98521 0 0 0 100773 238 0 0 25 0 1 0 911367934 391741440 94880 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95640 94880 1111 63 0 95577 0
vsize: 382560
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98521 0 0 0 101773 238 0 0 25 0 1 0 911367934 391741440 94880 4294967295 134512640 134716908 3221224560 3221223068 134535895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95640 94880 1111 63 0 95577 0
vsize: 382560
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98521 0 0 0 102772 239 0 0 25 0 1 0 911367934 391741440 94880 4294967295 134512640 134716908 3221224560 3221223224 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95640 94880 1111 63 0 95577 0
vsize: 382560
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98521 0 0 0 103772 239 0 0 25 0 1 0 911367934 391741440 94880 4294967295 134512640 134716908 3221224560 3221223212 134536802 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95640 94880 1111 63 0 95577 0
vsize: 382560
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98521 0 0 0 104772 239 0 0 25 0 1 0 911367934 391741440 94880 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95640 94880 1111 63 0 95577 0
vsize: 382560
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98582 0 0 0 105771 240 0 0 25 0 1 0 911367934 392011776 94941 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95706 94941 1111 63 0 95643 0
vsize: 382824
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98582 0 0 0 106771 241 0 0 25 0 1 0 911367934 391815168 94898 4294967295 134512640 134716908 3221224560 3221223168 134548843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95658 94898 1111 63 0 95595 0
vsize: 382632
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98582 0 0 0 107771 241 0 0 25 0 1 0 911367934 391815168 94898 4294967295 134512640 134716908 3221224560 3221223216 134523859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95658 94898 1111 63 0 95595 0
vsize: 382632
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98582 0 0 0 108771 241 0 0 25 0 1 0 911367934 391815168 94898 4294967295 134512640 134716908 3221224560 3221223120 134699092 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95658 94898 1111 63 0 95595 0
vsize: 382632
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98582 0 0 0 109771 242 0 0 25 0 1 0 911367934 391815168 94898 4294967295 134512640 134716908 3221224560 3221223120 134699191 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95658 94898 1111 63 0 95595 0
vsize: 382632
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98599 0 0 0 110771 242 0 0 25 0 1 0 911367934 391950336 94915 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95691 94915 1111 63 0 95628 0
vsize: 382764
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98599 0 0 0 111771 242 0 0 25 0 1 0 911367934 391950336 94915 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95691 94915 1111 63 0 95628 0
vsize: 382764
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98621 0 0 0 112771 242 0 0 25 0 1 0 911367934 392085504 94937 4294967295 134512640 134716908 3221224560 3221223092 134543025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95724 94937 1111 63 0 95661 0
vsize: 382896
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98640 0 0 0 113770 242 0 0 25 0 1 0 911367934 392085504 94956 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95724 94956 1111 63 0 95661 0
vsize: 382896
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98647 0 0 0 114770 243 0 0 25 0 1 0 911367934 392085504 94963 4294967295 134512640 134716908 3221224560 3221223128 1077377398 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95724 94963 1111 63 0 95661 0
vsize: 382896
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98647 0 0 0 115770 243 0 0 25 0 1 0 911367934 392015872 94947 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95707 94947 1111 63 0 95644 0
vsize: 382828
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98647 0 0 0 116770 243 0 0 25 0 1 0 911367934 392015872 94947 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95707 94947 1111 63 0 95644 0
vsize: 382828
[startup+1175.07 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 18089
Raw data (stat): 18089 (bsolo_lpr_cuts-) R 18088 21152 21151 0 -1 0 98647 0 0 0 116770 243 0 0 25 0 1 0 911367934 392015872 94947 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 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.57
CPU system time (s): 2.6206
CPU usage (%): 100.01
Max. virtual memory (Kb): 382896
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####