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/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-A2C1S1.opb
MD5SUM	f3b47743eaaf66ad8d0ab01c3e7b5088
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	25152
Biggest coefficient in the objective function	30395596800
Number of bits for the biggest coefficient in the objective function	35
Sum of the numbers in the objective function	14310357806800
Number of bits of the sum of numbers in the objective function	44
Biggest number in a constraint	30395596800
Number of bits of the biggest number in a constraint	35
Biggest sum of numbers in a constraint	14310357806800
Number of bits of the biggest sum of numbers	44
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.625904
Number of variables	69312
Total number of constraints	3504
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	192
Number of constraints which are nor clauses,nor cardinality constraints	3312
Minimum length of a constraint	1
Maximum length of a constraint	485
Trace number 41680

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-09 19:47:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29746 boxname=wulflinc4 idbench=1530 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  f3b47743eaaf66ad8d0ab01c3e7b5088  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-A2C1S1.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-A2C1S1.opb
IDLAUNCH: 29746
/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:        866904 kB
Buffers:          4064 kB
Cached:         143144 kB
SwapCached:        896 kB
Active:          29844 kB
Inactive:       119348 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        866652 kB
SwapTotal:     2097136 kB
SwapFree:      2095168 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4908 kB
Slab:            12828 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 20:07:09 (client local time) WITH STATUS 0 IN 1175.19 SECONDS
stats: 29746 7 1175.19 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 69312 variables and 4560 constraints.
c After prepocess the problem consists of 50352 variables and 5256 constraints.
c preprocess terminated 291.065 s
c Initial Lower Bound: 2147483344
c Lower Bound Elapsed time: 132.184
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.05 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.75 0.92 0.90 2/54 20173
Raw data (stat): 20173 (runsolver) R 20172 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 912901965 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.001 s]
Raw data (loadavg): 0.79 0.93 0.90 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1531 0 0 0 994 3 0 0 25 0 1 0 912901965 18894848 1451 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4613 1451 1111 63 0 4550 0
vsize: 18452
[startup+20.0018 s]
Raw data (loadavg): 0.82 0.93 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 2515 0 0 0 1992 5 0 0 25 0 1 0 912901965 22843392 2435 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5577 2435 1111 63 0 5514 0
vsize: 22308
[startup+30.0027 s]
Raw data (loadavg): 0.85 0.93 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 3563 0 0 0 2990 8 0 0 25 0 1 0 912901965 27242496 3483 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6651 3483 1111 63 0 6588 0
vsize: 26604
[startup+40.0035 s]
Raw data (loadavg): 0.87 0.93 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 4641 0 0 0 3987 11 0 0 25 0 1 0 912901965 31617024 4561 4294967295 134512640 134716908 3221224560 3221221276 1077198280 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7719 4561 1111 63 0 7656 0
vsize: 30876
[startup+50.0044 s]
Raw data (loadavg): 0.89 0.93 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 5794 0 0 0 4985 13 0 0 25 0 1 0 912901965 36278272 5714 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8857 5714 1111 63 0 8794 0
vsize: 35428
[startup+60.0048 s]
Raw data (loadavg): 0.91 0.94 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 7057 0 0 0 5982 15 0 0 25 0 1 0 912901965 41508864 6977 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10134 6977 1111 63 0 10071 0
vsize: 40536
[startup+70.0061 s]
Raw data (loadavg): 0.92 0.94 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 8397 0 0 0 6979 19 0 0 25 0 1 0 912901965 47017984 8317 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11479 8317 1111 63 0 11416 0
vsize: 45916
[startup+80.007 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 9793 0 0 0 7976 22 0 0 25 0 1 0 912901965 52670464 9713 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12859 9713 1111 63 0 12796 0
vsize: 51436
[startup+90.0078 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 11279 0 0 0 8973 25 0 0 25 0 1 0 912901965 58740736 11199 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14341 11199 1111 63 0 14278 0
vsize: 57364
[startup+100.008 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 12920 0 0 0 9970 28 0 0 25 0 1 0 912901965 65593344 12840 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16014 12840 1111 63 0 15951 0
vsize: 64056
[startup+110.01 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 14760 0 0 0 10968 31 0 0 25 0 1 0 912901965 73076736 14680 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17841 14680 1111 63 0 17778 0
vsize: 71364
[startup+120.011 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 16709 0 0 0 11963 36 0 0 25 0 1 0 912901965 81129472 16629 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19807 16629 1111 63 0 19744 0
vsize: 79228
[startup+130.012 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 37251 0 0 0 12922 77 0 0 25 0 1 0 912901965 165212160 37171 4294967295 134512640 134716908 3221224560 3221222836 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40335 37171 1111 63 0 40272 0
vsize: 161340
[startup+140.013 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 40362 0 0 0 13914 84 0 0 25 0 1 0 912901965 178053120 40282 4294967295 134512640 134716908 3221224560 3221222540 1076999581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43470 40282 1111 63 0 43407 0
vsize: 173880
[startup+150.014 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 69899 0 0 0 14853 145 0 0 25 0 1 0 912901965 261488640 62406 4294967295 134512640 134716908 3221224560 3221223312 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63840 62406 1111 63 0 63777 0
vsize: 255360
[startup+160.014 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 69973 0 0 0 15852 145 0 0 25 0 1 0 912901965 261758976 62480 4294967295 134512640 134716908 3221224560 3221223296 134630829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63906 62480 1111 63 0 63843 0
vsize: 255624
[startup+170.014 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 88101 0 0 0 16812 186 0 0 25 0 1 0 912901965 265875456 63472 4294967295 134512640 134716908 3221224560 3221223300 134630799 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64911 63472 1111 63 0 64848 0
vsize: 259644
[startup+180.014 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 88293 0 0 0 17812 186 0 0 25 0 1 0 912901965 266555392 63664 4294967295 134512640 134716908 3221224560 3221223360 134617258 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65077 63664 1111 63 0 65014 0
vsize: 260308
[startup+190.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 88461 0 0 0 18812 187 0 0 25 0 1 0 912901965 267243520 63832 4294967295 134512640 134716908 3221224560 3221223312 134630791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65245 63832 1111 63 0 65182 0
vsize: 260980
[startup+200.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 88532 0 0 0 19812 187 0 0 25 0 1 0 912901965 267517952 63903 4294967295 134512640 134716908 3221224560 3221223288 134675289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65312 63903 1111 63 0 65249 0
vsize: 261248
[startup+210.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 212395 0 0 0 20545 454 0 0 25 0 1 0 912901965 267784192 63938 4294967295 134512640 134716908 3221224560 3221223288 134675274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65377 63938 1111 63 0 65314 0
vsize: 261508
[startup+220.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 313217 0 0 0 21328 671 0 0 25 0 1 0 912901965 267919360 63984 4294967295 134512640 134716908 3221224560 3221223312 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65410 63984 1111 63 0 65347 0
vsize: 261640
[startup+230.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 422601 0 0 0 22089 910 0 0 25 0 1 0 912901965 268054528 64024 4294967295 134512640 134716908 3221224560 3221223312 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65443 64024 1111 63 0 65380 0
vsize: 261772
[startup+240.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 434137 0 0 0 23063 937 0 0 25 0 1 0 912901965 268468224 64136 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65544 64136 1111 63 0 65481 0
vsize: 262176
[startup+250.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 434137 0 0 0 24063 937 0 0 25 0 1 0 912901965 268468224 64136 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65544 64136 1111 63 0 65481 0
vsize: 262176
[startup+260.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 434137 0 0 0 25063 937 0 0 25 0 1 0 912901965 268468224 64136 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65544 64136 1111 63 0 65481 0
vsize: 262176
[startup+270.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 434137 0 0 0 26063 937 0 0 25 0 1 0 912901965 268468224 64136 4294967295 134512640 134716908 3221224560 3221223232 134627186 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65544 64136 1111 63 0 65481 0
vsize: 262176
[startup+280.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 434137 0 0 0 27063 937 0 0 25 0 1 0 912901965 268468224 64136 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65544 64136 1111 63 0 65481 0
vsize: 262176
[startup+290.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 434137 0 0 0 28064 937 0 0 25 0 1 0 912901965 268468224 64136 4294967295 134512640 134716908 3221224560 3221223232 134627257 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65544 64136 1111 63 0 65481 0
vsize: 262176
[startup+300.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 558127 0 0 0 28795 1205 0 0 25 0 1 0 912901965 283103232 67494 4294967295 134512640 134716908 3221224560 3221222680 1074138158 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69117 67498 1111 63 0 69054 0
vsize: 276468
[startup+310.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 682239 0 0 0 29515 1485 0 0 25 0 1 0 912901965 283246592 67560 4294967295 134512640 134716908 3221224560 3221222680 1074138158 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69152 67564 1111 63 0 69089 0
vsize: 276608
[startup+320.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 795799 0 0 0 30253 1748 0 0 25 0 1 0 912901965 283430912 67560 4294967295 134512640 134716908 3221224560 3221222472 1074138158 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69197 67564 1111 63 0 69134 0
vsize: 276788
[startup+330.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 890616 0 0 0 31027 1973 0 0 25 0 1 0 912901965 284008448 67698 4294967295 134512640 134716908 3221224560 3221222040 1074138158 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69338 67703 1111 63 0 69275 0
vsize: 277352
[startup+340.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 968860 0 0 0 31834 2166 0 0 25 0 1 0 912901965 284205056 67810 4294967295 134512640 134716908 3221224560 3221222128 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69386 67810 1111 63 0 69323 0
vsize: 277544
[startup+350.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1035747 0 0 0 32672 2329 0 0 25 0 1 0 912901965 284659712 67921 4294967295 134512640 134716908 3221224560 3221222032 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69497 67921 1111 63 0 69434 0
vsize: 277988
[startup+360.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1095403 0 0 0 33525 2476 0 0 25 0 1 0 912901965 285016064 68009 4294967295 134512640 134716908 3221224560 3221222048 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69584 68009 1111 63 0 69521 0
vsize: 278336
[startup+370.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1149484 0 0 0 34392 2609 0 0 25 0 1 0 912901965 285380608 68098 4294967295 134512640 134716908 3221224560 3221221904 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69605 68030 1111 63 0 69542 0
vsize: 278692
[startup+380.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1162250 0 0 0 35363 2638 0 0 25 0 1 0 912901965 300949504 71326 4294967295 134512640 134716908 3221224560 3221220680 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73474 71326 1111 63 0 73411 0
vsize: 293896
[startup+390.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1162262 0 0 0 36363 2638 0 0 25 0 1 0 912901965 300949504 71338 4294967295 134512640 134716908 3221224560 3221220684 1075116489 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73474 71338 1111 63 0 73411 0
vsize: 293896
[startup+400.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1162270 0 0 0 37364 2638 0 0 25 0 1 0 912901965 300949504 71346 4294967295 134512640 134716908 3221224560 3221221488 1074810483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73474 71346 1111 63 0 73411 0
vsize: 293896
[startup+410.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1162271 0 0 0 38364 2638 0 0 25 0 1 0 912901965 300949504 71347 4294967295 134512640 134716908 3221224560 3221220684 1075116722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73474 71347 1111 63 0 73411 0
vsize: 293896
[startup+420.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1162272 0 0 0 39364 2638 0 0 25 0 1 0 912901965 300949504 71348 4294967295 134512640 134716908 3221224560 3221221584 1074834239 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73474 71348 1111 63 0 73411 0
vsize: 293896
[startup+430.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1162275 0 0 0 40364 2638 0 0 25 0 1 0 912901965 300949504 71351 4294967295 134512640 134716908 3221224560 3221221468 1074621120 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73474 71351 1111 63 0 73411 0
vsize: 293896
[startup+440.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1162291 0 0 0 41365 2638 0 0 25 0 1 0 912901965 301666304 71367 4294967295 134512640 134716908 3221224560 3221220488 1074860223 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73649 71367 1111 63 0 73586 0
vsize: 294596
[startup+450.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1162291 0 0 0 42365 2638 0 0 25 0 1 0 912901965 301666304 71367 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73649 71367 1111 63 0 73586 0
vsize: 294596
[startup+460.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1162296 0 0 0 43365 2638 0 0 25 0 1 0 912901965 301666304 71372 4294967295 134512640 134716908 3221224560 3221220736 1074960865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73649 71372 1111 63 0 73586 0
vsize: 294596
[startup+470.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1162296 0 0 0 44365 2638 0 0 25 0 1 0 912901965 301666304 71372 4294967295 134512640 134716908 3221224560 3221220428 1074860598 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73649 71372 1111 63 0 73586 0
vsize: 294596
[startup+480.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1162300 0 0 0 45366 2638 0 0 25 0 1 0 912901965 301666304 71376 4294967295 134512640 134716908 3221224560 3221220488 1074860217 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73649 71376 1111 63 0 73586 0
vsize: 294596
[startup+490.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1162300 0 0 0 46366 2638 0 0 25 0 1 0 912901965 301666304 71376 4294967295 134512640 134716908 3221224560 3221220428 1074860595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73649 71376 1111 63 0 73586 0
vsize: 294596
[startup+500.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1162300 0 0 0 47366 2638 0 0 25 0 1 0 912901965 301666304 71376 4294967295 134512640 134716908 3221224560 3221221008 1075088573 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73649 71376 1111 63 0 73586 0
vsize: 294596
[startup+510.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1162300 0 0 0 48366 2638 0 0 25 0 1 0 912901965 301666304 71376 4294967295 134512640 134716908 3221224560 3221220428 1074860617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73649 71376 1111 63 0 73586 0
vsize: 294596
[startup+520.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1162300 0 0 0 49366 2638 0 0 25 0 1 0 912901965 301666304 71376 4294967295 134512640 134716908 3221224560 3221220488 1074860223 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73649 71376 1111 63 0 73586 0
vsize: 294596
[startup+530.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1162300 0 0 0 50367 2638 0 0 25 0 1 0 912901965 301666304 71376 4294967295 134512640 134716908 3221224560 3221220684 1075116560 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73649 71376 1111 63 0 73586 0
vsize: 294596
[startup+540.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1162300 0 0 0 51367 2638 0 0 25 0 1 0 912901965 301666304 71376 4294967295 134512640 134716908 3221224560 3221220488 1074860246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73649 71376 1111 63 0 73586 0
vsize: 294596
[startup+550.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1162300 0 0 0 52367 2638 0 0 25 0 1 0 912901965 301666304 71376 4294967295 134512640 134716908 3221224560 3221220460 1074860977 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73649 71376 1111 63 0 73586 0
vsize: 294596
[startup+560.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1162300 0 0 0 53367 2638 0 0 25 0 1 0 912901965 301666304 71376 4294967295 134512640 134716908 3221224560 3221220460 1074860959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73649 71376 1111 63 0 73586 0
vsize: 294596
[startup+570.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1162300 0 0 0 54367 2638 0 0 25 0 1 0 912901965 301666304 71376 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73649 71376 1111 63 0 73586 0
vsize: 294596
[startup+580.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1162300 0 0 0 55368 2638 0 0 25 0 1 0 912901965 301666304 71376 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73649 71376 1111 63 0 73586 0
vsize: 294596
[startup+590.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1162300 0 0 0 56368 2638 0 0 25 0 1 0 912901965 301666304 71376 4294967295 134512640 134716908 3221224560 3221220684 1075116767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73649 71376 1111 63 0 73586 0
vsize: 294596
[startup+600.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1162300 0 0 0 57368 2638 0 0 25 0 1 0 912901965 301666304 71376 4294967295 134512640 134716908 3221224560 3221220428 1074860632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73649 71376 1111 63 0 73586 0
vsize: 294596
[startup+610.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1162300 0 0 0 58368 2638 0 0 25 0 1 0 912901965 301666304 71376 4294967295 134512640 134716908 3221224560 3221220624 1074794542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73649 71376 1111 63 0 73586 0
vsize: 294596
[startup+620.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1182637 0 0 0 59324 2683 0 0 25 0 1 0 912901965 303296512 71937 4294967295 134512640 134716908 3221224560 3221221504 1075859966 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74047 71937 1111 63 0 73984 0
vsize: 296188
[startup+630.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1199443 0 0 0 60288 2719 0 0 25 0 1 0 912901965 301387776 71247 4294967295 134512640 134716908 3221224560 3221222576 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73581 71247 1111 63 0 73518 0
vsize: 294324
[startup+640.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1202929 0 0 0 61281 2727 0 0 25 0 1 0 912901965 303484928 71994 4294967295 134512640 134716908 3221224560 3221220736 1074960800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74093 71994 1111 63 0 74030 0
vsize: 296372
[startup+650.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1202929 0 0 0 62281 2727 0 0 25 0 1 0 912901965 303484928 71994 4294967295 134512640 134716908 3221224560 3221220460 1074860977 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74093 71994 1111 63 0 74030 0
vsize: 296372
[startup+660.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1220861 0 0 0 63241 2767 0 0 25 0 1 0 912901965 303869952 72090 4294967295 134512640 134716908 3221224560 3221221488 1074810492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74187 72090 1111 63 0 74124 0
vsize: 296748
[startup+670.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1220880 0 0 0 64241 2767 0 0 25 0 1 0 912901965 303869952 72109 4294967295 134512640 134716908 3221224560 3221220684 1075116866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74187 72109 1111 63 0 74124 0
vsize: 296748
[startup+680.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1220880 0 0 0 65241 2767 0 0 25 0 1 0 912901965 303869952 72109 4294967295 134512640 134716908 3221224560 3221220428 1074860611 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74187 72109 1111 63 0 74124 0
vsize: 296748
[startup+690.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1220880 0 0 0 66241 2767 0 0 25 0 1 0 912901965 303869952 72109 4294967295 134512640 134716908 3221224560 3221220684 1075116784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74187 72109 1111 63 0 74124 0
vsize: 296748
[startup+700.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1220881 0 0 0 67241 2767 0 0 25 0 1 0 912901965 303869952 72110 4294967295 134512640 134716908 3221224560 3221221408 1074620382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74187 72110 1111 63 0 74124 0
vsize: 296748
[startup+710.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1220881 0 0 0 68242 2767 0 0 25 0 1 0 912901965 303869952 72110 4294967295 134512640 134716908 3221224560 3221220428 1074860617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74187 72110 1111 63 0 74124 0
vsize: 296748
[startup+720.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1220881 0 0 0 69242 2767 0 0 25 0 1 0 912901965 303869952 72110 4294967295 134512640 134716908 3221224560 3221220684 1075116508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74187 72110 1111 63 0 74124 0
vsize: 296748
[startup+730.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1220881 0 0 0 70242 2767 0 0 25 0 1 0 912901965 303869952 72110 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74187 72110 1111 63 0 74124 0
vsize: 296748
[startup+740.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20173
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1220881 0 0 0 71242 2767 0 0 25 0 1 0 912901965 303869952 72110 4294967295 134512640 134716908 3221224560 3221220684 1075116784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74187 72110 1111 63 0 74124 0
vsize: 296748
[startup+750.045 s]
Raw data (loadavg): 0.99 0.97 0.91 3/56 20185
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1220881 0 0 0 72240 2769 0 0 25 0 1 0 912901965 303869952 72110 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74187 72110 1111 63 0 74124 0
vsize: 296748
[startup+760.047 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 20226
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1220882 0 0 0 73240 2770 0 0 25 0 1 0 912901965 303869952 72111 4294967295 134512640 134716908 3221224560 3221221384 1074950082 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74187 72111 1111 63 0 74124 0
vsize: 296748
[startup+770.048 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 20226
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1220882 0 0 0 74240 2770 0 0 25 0 1 0 912901965 303869952 72111 4294967295 134512640 134716908 3221224560 3221220428 1074860595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74187 72111 1111 63 0 74124 0
vsize: 296748
[startup+780.048 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 20226
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1220882 0 0 0 75239 2771 0 0 25 0 1 0 912901965 303869952 72111 4294967295 134512640 134716908 3221224560 3221220460 1074860959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74187 72111 1111 63 0 74124 0
vsize: 296748
[startup+790.048 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 20226
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1220882 0 0 0 76239 2771 0 0 25 0 1 0 912901965 303869952 72111 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74187 72111 1111 63 0 74124 0
vsize: 296748
[startup+800.048 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 20226
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1220894 0 1 0 77236 2772 0 0 25 0 1 0 912901965 304586752 72124 4294967295 134512640 134716908 3221224560 3221220460 1074860977 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74362 72124 1111 63 0 74299 0
vsize: 297448
[startup+810.048 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 20226
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1220894 0 1 0 78236 2772 0 0 25 0 1 0 912901965 304586752 72124 4294967295 134512640 134716908 3221224560 3221220460 1074860948 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74362 72124 1111 63 0 74299 0
vsize: 297448
[startup+820.05 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 20226
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1225498 0 1 0 79225 2783 0 0 25 0 1 0 912901965 288309248 68966 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70388 68966 1111 63 0 70325 0
vsize: 281552
[startup+830.05 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 20228
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1225499 0 1 0 80225 2783 0 0 25 0 1 0 912901965 288309248 68967 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70388 68967 1111 63 0 70325 0
vsize: 281552
[startup+840.05 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 20228
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1225499 0 1 0 81224 2784 0 0 25 0 1 0 912901965 288309248 68967 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70388 68967 1111 63 0 70325 0
vsize: 281552
[startup+850.05 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 20228
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1225499 0 1 0 82224 2784 0 0 25 0 1 0 912901965 288309248 68967 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70388 68967 1111 63 0 70325 0
vsize: 281552
[startup+860.051 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 20228
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1225499 0 1 0 83224 2784 0 0 25 0 1 0 912901965 288309248 68967 4294967295 134512640 134716908 3221224560 3221223340 134613516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70388 68967 1111 63 0 70325 0
vsize: 281552
[startup+870.051 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 20228
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1225499 0 1 0 84223 2785 0 0 25 0 1 0 912901965 288309248 68967 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70388 68967 1111 63 0 70325 0
vsize: 281552
[startup+880.051 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 20228
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1225499 0 1 0 85223 2785 0 0 25 0 1 0 912901965 288309248 68967 4294967295 134512640 134716908 3221224560 3221223360 134597642 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70388 68967 1111 63 0 70325 0
vsize: 281552
[startup+890.052 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20228
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1225499 0 1 0 86224 2785 0 0 25 0 1 0 912901965 288309248 68967 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70388 68967 1111 63 0 70325 0
vsize: 281552
[startup+900.052 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20228
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1225499 0 1 0 87224 2785 0 0 25 0 1 0 912901965 288309248 68967 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70388 68967 1111 63 0 70325 0
vsize: 281552
[startup+910.052 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20228
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1225499 0 1 0 88224 2785 0 0 25 0 1 0 912901965 288309248 68967 4294967295 134512640 134716908 3221224560 3221223360 134597690 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70388 68967 1111 63 0 70325 0
vsize: 281552
[startup+920.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20228
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1225499 0 1 0 89224 2785 0 0 25 0 1 0 912901965 288309248 68967 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70388 68967 1111 63 0 70325 0
vsize: 281552
[startup+930.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20228
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1225499 0 1 0 90224 2786 0 0 25 0 1 0 912901965 288309248 68967 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70388 68967 1111 63 0 70325 0
vsize: 281552
[startup+940.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20228
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1225499 0 1 0 91224 2786 0 0 25 0 1 0 912901965 288309248 68967 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70388 68967 1111 63 0 70325 0
vsize: 281552
[startup+950.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20228
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1225499 0 1 0 92224 2786 0 0 25 0 1 0 912901965 288309248 68967 4294967295 134512640 134716908 3221224560 3221223336 134613544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70388 68967 1111 63 0 70325 0
vsize: 281552
[startup+960.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20228
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1225499 0 1 0 93224 2786 0 0 25 0 1 0 912901965 288309248 68967 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70388 68967 1111 63 0 70325 0
vsize: 281552
[startup+970.054 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20228
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1225499 0 1 0 94224 2786 0 0 25 0 1 0 912901965 288309248 68967 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70388 68967 1111 63 0 70325 0
vsize: 281552
[startup+980.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20228
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1225499 0 1 0 95224 2786 0 0 25 0 1 0 912901965 288309248 68967 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70388 68967 1111 63 0 70325 0
vsize: 281552
[startup+990.054 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20228
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1225499 0 1 0 96225 2786 0 0 25 0 1 0 912901965 288309248 68967 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70388 68967 1111 63 0 70325 0
vsize: 281552
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20228
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1225499 0 1 0 97225 2786 0 0 25 0 1 0 912901965 288309248 68967 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70388 68967 1111 63 0 70325 0
vsize: 281552
[startup+1010.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20228
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1225499 0 1 0 98225 2786 0 0 25 0 1 0 912901965 288309248 68967 4294967295 134512640 134716908 3221224560 3221223324 134613559 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70388 68967 1111 63 0 70325 0
vsize: 281552
[startup+1020.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20228
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1225499 0 1 0 99225 2786 0 0 25 0 1 0 912901965 288309248 68967 4294967295 134512640 134716908 3221224560 3221223360 134597692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70388 68967 1111 63 0 70325 0
vsize: 281552
[startup+1030.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20228
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1225499 0 1 0 100225 2787 0 0 25 0 1 0 912901965 288309248 68967 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70388 68967 1111 63 0 70325 0
vsize: 281552
[startup+1040.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20228
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1225499 0 1 0 101225 2787 0 0 25 0 1 0 912901965 288309248 68967 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70388 68967 1111 63 0 70325 0
vsize: 281552
[startup+1050.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20228
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1225499 0 1 0 102225 2787 0 0 25 0 1 0 912901965 288309248 68967 4294967295 134512640 134716908 3221224560 3221223324 134613516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70388 68967 1111 63 0 70325 0
vsize: 281552
[startup+1060.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20228
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1225499 0 1 0 103225 2787 0 0 25 0 1 0 912901965 288309248 68967 4294967295 134512640 134716908 3221224560 3221223360 134597735 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70388 68967 1111 63 0 70325 0
vsize: 281552
[startup+1070.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20228
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1225499 0 1 0 104226 2787 0 0 25 0 1 0 912901965 288309248 68967 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70388 68967 1111 63 0 70325 0
vsize: 281552
[startup+1080.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20230
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1225499 0 1 0 105226 2787 0 0 25 0 1 0 912901965 288309248 68967 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70388 68967 1111 63 0 70325 0
vsize: 281552
[startup+1090.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20230
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1225499 0 1 0 106226 2787 0 0 25 0 1 0 912901965 288309248 68967 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70388 68967 1111 63 0 70325 0
vsize: 281552
[startup+1100.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20230
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1225499 0 1 0 107226 2787 0 0 25 0 1 0 912901965 288309248 68967 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70388 68967 1111 63 0 70325 0
vsize: 281552
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20230
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1225499 0 1 0 108226 2787 0 0 25 0 1 0 912901965 288309248 68967 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70388 68967 1111 63 0 70325 0
vsize: 281552
[startup+1120.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20230
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1225499 0 1 0 109226 2787 0 0 25 0 1 0 912901965 288309248 68967 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70388 68967 1111 63 0 70325 0
vsize: 281552
[startup+1130.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20230
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1225499 0 1 0 110226 2787 0 0 25 0 1 0 912901965 288309248 68967 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70388 68967 1111 63 0 70325 0
vsize: 281552
[startup+1140.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20230
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1225499 0 1 0 111226 2787 0 0 25 0 1 0 912901965 288309248 68967 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70388 68967 1111 63 0 70325 0
vsize: 281552
[startup+1150.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20230
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1225499 0 1 0 112227 2787 0 0 25 0 1 0 912901965 288309248 68967 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70388 68967 1111 63 0 70325 0
vsize: 281552
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20230
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1225501 0 1 0 113227 2787 0 0 25 0 1 0 912901965 288309248 68969 4294967295 134512640 134716908 3221224560 3221223360 134597735 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70388 68969 1111 63 0 70325 0
vsize: 281552
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20230
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1225501 0 1 0 114227 2787 0 0 25 0 1 0 912901965 288309248 68969 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70388 68969 1111 63 0 70325 0
vsize: 281552
[startup+1175.1 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 20230
Raw data (stat): 20173 (bsolo_lpr_cuts-) R 20172 21152 21151 0 -1 0 1225501 0 1 0 114227 2787 0 0 25 0 1 0 912901965 288309248 68969 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70388 68969 1111 63 0 70325 0
vsize: 0

Child status: 0
Real time (s): 1175.1
CPU time (s): 1175.19
CPU user time (s): 1147.18
CPU system time (s): 28.0067
CPU usage (%): 100.007
Max. virtual memory (Kb): 297448
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####