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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sierra.opb
MD5SUM	0c242afd458949841d3ea7014466f311
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	31139
Biggest coefficient in the objective function	5007894118400
Number of bits for the biggest coefficient in the objective function	43
Sum of the numbers in the objective function	89107300928876
Number of bits of the sum of numbers in the objective function	47
Biggest number in a constraint	5007894118400
Number of bits of the biggest number in a constraint	43
Biggest sum of numbers in a constraint	89107300928876
Number of bits of the biggest sum of numbers	47
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.282956
Number of variables	32607
Total number of constraints	3263
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	3263
Minimum length of a constraint	7
Maximum length of a constraint	426
Trace number 27583

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-05-24 22:38:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16473 boxname=wulflinc28 idbench=1268 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  0c242afd458949841d3ea7014466f311  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-sierra.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-sierra.opb
IDLAUNCH: 16473
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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:        880856 kB
Buffers:         12432 kB
Cached:         119864 kB
SwapCached:       1052 kB
Active:          24464 kB
Inactive:       110360 kB
HighTotal:      131008 kB
HighFree:         9296 kB
LowTotal:       903652 kB
LowFree:        871560 kB
SwapTotal:     2097640 kB
SwapFree:      2096168 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5448 kB
Slab:            13412 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 22:58:23 (client local time) WITH STATUS 0 IN 1200.37 SECONDS
stats: 16473 7 1200.37 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 32607 variables and 3791 constraints.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/54 29475
Raw data (stat): 29475 (runsolver) R 29474 24821 24820 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833905587 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 1390 0 0 0 994 3 0 0 25 0 1 0 833905587 18186240 1314 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4440 1314 1111 63 0 4377 0
vsize: 17760
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 2166 0 0 0 1992 6 0 0 25 0 1 0 833905587 21422080 2090 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5230 2090 1111 63 0 5167 0
vsize: 20920
[startup+30.0009 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 2901 0 0 0 2990 9 0 0 25 0 1 0 833905587 24395776 2825 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5956 2825 1111 63 0 5893 0
vsize: 23824
[startup+40.0016 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 3905 0 0 0 3987 11 0 0 25 0 1 0 833905587 28532736 3829 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6966 3829 1111 63 0 6903 0
vsize: 27864
[startup+50.0018 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 4906 0 0 0 4986 13 0 0 25 0 1 0 833905587 32677888 4830 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7978 4830 1111 63 0 7915 0
vsize: 31912
[startup+60.0028 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 6053 0 0 0 5983 16 0 0 25 0 1 0 833905587 37343232 5977 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9117 5977 1111 63 0 9054 0
vsize: 36468
[startup+70.0034 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 7188 0 0 0 6981 18 0 0 25 0 1 0 833905587 41963520 7112 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10245 7112 1111 63 0 10182 0
vsize: 40980
[startup+80.0028 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 8370 0 0 0 7979 20 0 0 25 0 1 0 833905587 46809088 8294 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11428 8294 1111 63 0 11365 0
vsize: 45712
[startup+90.0028 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 9712 0 0 0 8977 22 0 0 25 0 1 0 833905587 52330496 9636 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12776 9636 1111 63 0 12713 0
vsize: 51104
[startup+100.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 11250 0 0 0 9974 26 0 0 25 0 1 0 833905587 58535936 11174 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14291 11174 1111 63 0 14228 0
vsize: 57164
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 12967 0 0 0 10971 29 0 0 25 0 1 0 833905587 65683456 12891 4294967295 134512640 134714508 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16036 12891 1111 63 0 15973 0
vsize: 64144
[startup+120.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 14742 0 0 0 11969 31 0 0 25 0 1 0 833905587 73011200 14666 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17825 14666 1111 63 0 17762 0
vsize: 71300
[startup+130.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 16181 0 0 0 12966 34 0 0 25 0 1 0 833905587 78950400 16105 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19275 16105 1111 63 0 19212 0
vsize: 77100
[startup+140.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 17709 0 0 0 13964 36 0 0 25 0 1 0 833905587 85168128 17633 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20793 17633 1111 63 0 20730 0
vsize: 83172
[startup+150.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 19402 0 0 0 14962 39 0 0 25 0 1 0 833905587 92086272 19326 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22482 19326 1111 63 0 22419 0
vsize: 89928
[startup+160.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 21072 0 0 0 15959 42 0 0 25 0 1 0 833905587 98848768 20996 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24133 20996 1111 63 0 24070 0
vsize: 96532
[startup+170.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 23228 0 0 0 16955 46 0 0 25 0 1 0 833905587 107655168 23152 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26283 23152 1111 63 0 26220 0
vsize: 105132
[startup+180.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 25212 0 0 0 17952 49 0 0 25 0 1 0 833905587 115789824 25136 4294967295 134512640 134714508 3221224576 3221221068 1077298583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28269 25136 1111 63 0 28206 0
vsize: 113076
[startup+190.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 29539 0 0 0 18943 58 0 0 25 0 1 0 833905587 133742592 29463 4294967295 134512640 134714508 3221224576 3221223224 134558477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32652 29464 1111 63 0 32589 0
vsize: 130608
[startup+200.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 91558 0 0 0 19803 197 0 0 25 0 1 0 833905587 377925632 91187 4294967295 134512640 134714508 3221224576 3221223216 134606456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92267 91187 1111 63 0 92204 0
vsize: 369068
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 92692 0 0 0 20801 200 0 0 25 0 1 0 833905587 377925632 91187 4294967295 134512640 134714508 3221224576 3221223216 134606468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92267 91187 1111 63 0 92204 0
vsize: 369068
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 93954 0 0 0 21798 202 0 0 25 0 1 0 833905587 377925632 91187 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92267 91187 1111 63 0 92204 0
vsize: 369068
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 95664 0 0 0 22794 207 0 0 25 0 1 0 833905587 377925632 91187 4294967295 134512640 134714508 3221224576 3221223216 134606468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92267 91187 1111 63 0 92204 0
vsize: 369068
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 97504 0 0 0 23790 211 0 0 25 0 1 0 833905587 381186048 91983 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93063 91983 1111 63 0 93000 0
vsize: 372252
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 97504 0 0 0 24790 211 0 0 25 0 1 0 833905587 381186048 91983 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93063 91983 1111 63 0 93000 0
vsize: 372252
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 97504 0 0 0 25790 211 0 0 25 0 1 0 833905587 381186048 91983 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93063 91983 1111 63 0 93000 0
vsize: 372252
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 97504 0 0 0 26790 211 0 0 25 0 1 0 833905587 381186048 91983 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93063 91983 1111 63 0 93000 0
vsize: 372252
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 97504 0 0 0 27790 211 0 0 25 0 1 0 833905587 381186048 91983 4294967295 134512640 134714508 3221224576 3221223216 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93063 91983 1111 63 0 93000 0
vsize: 372252
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 97504 0 0 0 28791 211 0 0 25 0 1 0 833905587 381186048 91983 4294967295 134512640 134714508 3221224576 3221223216 134606456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93063 91983 1111 63 0 93000 0
vsize: 372252
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 97504 0 0 0 29791 211 0 0 25 0 1 0 833905587 381186048 91983 4294967295 134512640 134714508 3221224576 3221223216 134606456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93063 91983 1111 63 0 93000 0
vsize: 372252
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 97504 0 0 0 30791 211 0 0 25 0 1 0 833905587 381186048 91983 4294967295 134512640 134714508 3221224576 3221223216 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93063 91983 1111 63 0 93000 0
vsize: 372252
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 97504 0 0 0 31791 211 0 0 25 0 1 0 833905587 381186048 91983 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93063 91983 1111 63 0 93000 0
vsize: 372252
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 97504 0 0 0 32791 211 0 0 25 0 1 0 833905587 381186048 91983 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93063 91983 1111 63 0 93000 0
vsize: 372252
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 97504 0 0 0 33792 211 0 0 25 0 1 0 833905587 381186048 91983 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93063 91983 1111 63 0 93000 0
vsize: 372252
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 97504 0 0 0 34792 211 0 0 25 0 1 0 833905587 381186048 91983 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93063 91983 1111 63 0 93000 0
vsize: 372252
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 97630 0 0 0 35791 212 0 0 25 0 1 0 833905587 381186048 91983 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93063 91983 1111 63 0 93000 0
vsize: 372252
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 97630 0 0 0 36791 212 0 0 25 0 1 0 833905587 381186048 91983 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93063 91983 1111 63 0 93000 0
vsize: 372252
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 97756 0 0 0 37791 212 0 0 25 0 1 0 833905587 381186048 91983 4294967295 134512640 134714508 3221224576 3221223216 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93063 91983 1111 63 0 93000 0
vsize: 372252
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 97756 0 0 0 38791 212 0 0 25 0 1 0 833905587 381186048 91983 4294967295 134512640 134714508 3221224576 3221223216 134606456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93063 91983 1111 63 0 93000 0
vsize: 372252
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 97882 0 0 0 39791 212 0 0 25 0 1 0 833905587 381186048 91983 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93063 91983 1111 63 0 93000 0
vsize: 372252
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 97882 0 0 0 40791 212 0 0 25 0 1 0 833905587 381186048 91983 4294967295 134512640 134714508 3221224576 3221223216 134606456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93063 91983 1111 63 0 93000 0
vsize: 372252
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 97882 0 0 0 41791 212 0 0 25 0 1 0 833905587 381186048 91983 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93063 91983 1111 63 0 93000 0
vsize: 372252
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 97882 0 0 0 42791 212 0 0 25 0 1 0 833905587 381186048 91983 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93063 91983 1111 63 0 93000 0
vsize: 372252
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98071 0 0 0 43791 213 0 0 25 0 1 0 833905587 381186048 91983 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93063 91983 1111 63 0 93000 0
vsize: 372252
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98071 0 0 0 44791 213 0 0 25 0 1 0 833905587 381186048 91983 4294967295 134512640 134714508 3221224576 3221223216 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93063 91983 1111 63 0 93000 0
vsize: 372252
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98325 0 0 0 45790 214 0 0 25 0 1 0 833905587 381968384 92174 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93254 92174 1111 63 0 93191 0
vsize: 373016
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98579 0 0 0 46790 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98579 0 0 0 47790 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98642 0 0 0 48790 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98642 0 0 0 49790 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 50790 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 51791 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223284 134618239 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 52791 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 53791 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 54791 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 55791 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 56792 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+580.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 57792 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+590.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 58792 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+600.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 59792 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 60792 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+620.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 61793 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+630.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 62793 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+640.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 63793 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+650.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 64793 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+660.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 65793 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+670.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 66794 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+680.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 67794 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+690.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 68794 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+700.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 69794 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+710.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 70795 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+720.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 71795 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+730.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 72795 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+740.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 73795 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+750.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 74795 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+760.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 75796 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+770.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 76796 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+780.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 77796 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+790.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 78796 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+800.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 79796 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+810.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 80797 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+820.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 81797 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+830.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 82797 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223212 134554941 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+840.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 83797 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+850.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 84797 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+860.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 85798 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+870.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 86798 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+880.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 87798 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+890.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 88798 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223236 134606665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+900.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 89798 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+910.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 90798 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+920.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 91799 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+930.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 92799 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+940.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 93799 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+950.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 94799 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+960.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 95800 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+970.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 96800 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+980.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 97800 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+990.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 98800 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 99800 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 100801 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98705 0 0 0 101801 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98768 0 0 0 102801 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98768 0 0 0 103801 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98831 0 0 0 104801 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98831 0 0 0 105801 215 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98894 0 0 0 106801 216 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98894 0 0 0 107802 216 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98957 0 0 0 108802 216 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 98957 0 0 0 109802 216 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 99020 0 0 0 110802 216 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 99020 0 0 0 111802 216 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 99020 0 0 0 112802 216 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 99020 0 0 0 113802 216 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 99020 0 0 0 114803 216 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 99020 0 0 0 115803 216 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 99020 0 0 0 116803 216 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 99020 0 0 0 117803 216 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 99020 0 0 0 118803 216 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) R 29474 24821 24820 0 -1 0 99020 0 0 0 119803 216 0 0 25 0 1 0 833905587 382750720 92365 4294967295 134512640 134714508 3221224576 3221223216 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.2 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 29475
Raw data (stat): 29475 (bsolo_lpr_cuts) Z 29474 24821 24820 0 -1 1036 99020 0 0 0 119803 233 0 0 25 0 1 0 833905587 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.2
CPU time (s): 1200.37
CPU user time (s): 1198.04
CPU system time (s): 2.33465
CPU usage (%): 100.014
Max. virtual memory (Kb): 373780
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####