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/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb
MD5SUM	85cf0fb6ed84e77eea7ef88259fe2fe8
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	10
Number of bits of the biggest number in a constraint	4
Biggest sum of numbers in a constraint	104
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	16.5575
Number of variables	4644
Total number of constraints	35898
Number of constraints which are clauses	30228
Number of constraints which are cardinality constraints (but not clauses)	5592
Number of constraints which are nor clauses,nor cardinality constraints	78
Minimum length of a constraint	1
Maximum length of a constraint	29
Trace number 40909

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-09 01:54:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28975 boxname=wulflinc4 idbench=361 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  85cf0fb6ed84e77eea7ef88259fe2fe8  /oldhome/oroussel/tmp/wulflinc4/normalized-ppp:3-13,25,26.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-ppp:3-13,25,26.opb
IDLAUNCH: 28975
/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:        910564 kB
Buffers:         27732 kB
Cached:          74712 kB
SwapCached:       1188 kB
Active:          27560 kB
Inactive:        77212 kB
HighTotal:      131008 kB
HighFree:        55272 kB
LowTotal:       903652 kB
LowFree:        855292 kB
SwapTotal:     2097136 kB
SwapFree:      2094880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4908 kB
Slab:            13680 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 02:13:38 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 28975 7 1175.05 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 4644 variables and 31428 constraints.
c After prepocess the problem consists of 4644 variables and 31428 constraints.
c preprocess terminated 57.875 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/54 7258
Raw data (stat): 7258 (runsolver) R 7257 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 906460167 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 7258
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 41723 0 0 0 880 116 0 0 25 0 1 0 906460167 56664064 12942 4294967295 134512640 134716908 3221224560 3221223024 134539747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13834 12942 1111 63 0 13771 0
vsize: 55336
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 7258
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 66339 0 0 0 1809 186 0 0 25 0 1 0 906460167 70680576 16396 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17256 16396 1111 63 0 17193 0
vsize: 69024
[startup+30.0021 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 7258
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 78548 0 0 0 2779 217 0 0 25 0 1 0 906460167 70680576 16396 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17256 16396 1111 63 0 17193 0
vsize: 69024
[startup+40.0017 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 7258
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 89472 0 0 0 3752 244 0 0 25 0 1 0 906460167 70680576 16396 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17256 16396 1111 63 0 17193 0
vsize: 69024
[startup+50.0024 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 7258
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 110215 0 0 0 4700 297 0 0 25 0 1 0 906460167 70979584 16435 4294967295 134512640 134716908 3221224560 3221222984 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17329 16442 1111 63 0 17266 0
vsize: 69316
[startup+60.0029 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 7258
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 130731 0 0 0 5651 345 0 0 25 0 1 0 906460167 70680576 16410 4294967295 134512640 134716908 3221224560 3221223100 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17256 16410 1111 63 0 17193 0
vsize: 69024
[startup+70.0032 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 7258
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 130733 0 0 0 6649 347 0 0 25 0 1 0 906460167 70680576 16412 4294967295 134512640 134716908 3221224560 3221223100 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17256 16412 1111 63 0 17193 0
vsize: 69024
[startup+80.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 7258
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 130733 0 0 0 7648 349 0 0 25 0 1 0 906460167 70680576 16412 4294967295 134512640 134716908 3221224560 3221223184 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17256 16412 1111 63 0 17193 0
vsize: 69024
[startup+90.0042 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 7258
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 130733 0 0 0 8646 350 0 0 25 0 1 0 906460167 70680576 16412 4294967295 134512640 134716908 3221224560 3221223264 134584836 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17256 16412 1111 63 0 17193 0
vsize: 69024
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 7258
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 130733 0 0 0 9646 351 0 0 25 0 1 0 906460167 70680576 16412 4294967295 134512640 134716908 3221224560 3221223248 134524417 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17256 16412 1111 63 0 17193 0
vsize: 69024
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 7258
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 130733 0 0 0 10645 352 0 0 25 0 1 0 906460167 70680576 16412 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17256 16412 1111 63 0 17193 0
vsize: 69024
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7258
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 130733 0 0 0 11645 353 0 0 25 0 1 0 906460167 70680576 16412 4294967295 134512640 134716908 3221224560 3221223176 134538945 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17256 16412 1111 63 0 17193 0
vsize: 69024
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7258
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 130733 0 0 0 12644 353 0 0 25 0 1 0 906460167 70680576 16412 4294967295 134512640 134716908 3221224560 3221222964 134699551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17256 16412 1111 63 0 17193 0
vsize: 69024
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7258
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 130733 0 0 0 13643 354 0 0 25 0 1 0 906460167 70680576 16412 4294967295 134512640 134716908 3221224560 3221223368 134558582 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17256 16412 1111 63 0 17193 0
vsize: 69024
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7258
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 130733 0 0 0 14643 355 0 0 25 0 1 0 906460167 70680576 16412 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17256 16412 1111 63 0 17193 0
vsize: 69024
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7258
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 130733 0 0 0 15642 356 0 0 25 0 1 0 906460167 70680576 16412 4294967295 134512640 134716908 3221224560 3221223228 134542828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17256 16412 1111 63 0 17193 0
vsize: 69024
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7258
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 130733 0 0 0 16642 356 0 0 25 0 1 0 906460167 70680576 16412 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17256 16412 1111 63 0 17193 0
vsize: 69024
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7258
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 130733 0 0 0 17642 357 0 0 25 0 1 0 906460167 70680576 16412 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17256 16412 1111 63 0 17193 0
vsize: 69024
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7258
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 130733 0 0 0 18642 357 0 0 25 0 1 0 906460167 70680576 16412 4294967295 134512640 134716908 3221224560 3221223144 134543606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17256 16412 1111 63 0 17193 0
vsize: 69024
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7258
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 130733 0 0 0 19641 358 0 0 25 0 1 0 906460167 70680576 16412 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17256 16412 1111 63 0 17193 0
vsize: 69024
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7258
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 130733 0 0 0 20641 358 0 0 25 0 1 0 906460167 70680576 16412 4294967295 134512640 134716908 3221224560 3221223164 1076999581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17256 16412 1111 63 0 17193 0
vsize: 69024
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7258
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 130733 0 0 0 21640 359 0 0 25 0 1 0 906460167 70680576 16412 4294967295 134512640 134716908 3221224560 3221223200 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17256 16412 1111 63 0 17193 0
vsize: 69024
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7258
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 130733 0 0 0 22640 359 0 0 25 0 1 0 906460167 70680576 16412 4294967295 134512640 134716908 3221224560 3221223344 134529252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17256 16412 1111 63 0 17193 0
vsize: 69024
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7258
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 130733 0 0 0 23640 359 0 0 25 0 1 0 906460167 70680576 16412 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17256 16412 1111 63 0 17193 0
vsize: 69024
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7258
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 130733 0 0 0 24640 360 0 0 25 0 1 0 906460167 70680576 16412 4294967295 134512640 134716908 3221224560 3221223216 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17256 16412 1111 63 0 17193 0
vsize: 69024
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7258
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 130733 0 0 0 25639 361 0 0 25 0 1 0 906460167 70680576 16412 4294967295 134512640 134716908 3221224560 3221223212 134543653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17256 16412 1111 63 0 17193 0
vsize: 69024
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7258
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 130757 0 0 0 26639 361 0 0 25 0 1 0 906460167 70811648 16436 4294967295 134512640 134716908 3221224560 3221223288 134532457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17288 16436 1111 63 0 17225 0
vsize: 69152
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7258
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 130939 0 0 0 27639 362 0 0 25 0 1 0 906460167 71606272 16618 4294967295 134512640 134716908 3221224560 3221222320 134699701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17482 16618 1111 63 0 17419 0
vsize: 69928
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7258
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 131149 0 0 0 28638 363 0 0 25 0 1 0 906460167 72441856 16828 4294967295 134512640 134716908 3221224560 3221223152 134549594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17686 16828 1111 63 0 17623 0
vsize: 70744
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7258
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 131256 0 0 0 29637 364 0 0 25 0 1 0 906460167 72847360 16935 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17785 16935 1111 63 0 17722 0
vsize: 71140
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7258
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 131357 0 0 0 30636 365 0 0 25 0 1 0 906460167 73252864 17036 4294967295 134512640 134716908 3221224560 3221223296 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17884 17036 1111 63 0 17821 0
vsize: 71536
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7258
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 131550 0 0 0 31635 366 0 0 25 0 1 0 906460167 74059776 17229 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18081 17229 1111 63 0 18018 0
vsize: 72324
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7258
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 131648 0 0 0 32634 367 0 0 25 0 1 0 906460167 74432512 17327 4294967295 134512640 134716908 3221224560 3221223236 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18172 17327 1111 63 0 18109 0
vsize: 72688
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7258
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 131709 0 0 0 33634 368 0 0 25 0 1 0 906460167 74702848 17388 4294967295 134512640 134716908 3221224560 3221223200 134698432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18238 17388 1111 63 0 18175 0
vsize: 72952
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7258
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 131813 0 0 0 34632 369 0 0 25 0 1 0 906460167 75108352 17492 4294967295 134512640 134716908 3221224560 3221223168 134549302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18337 17492 1111 63 0 18274 0
vsize: 73348
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7284
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 131841 0 0 0 35631 371 0 0 25 0 1 0 906460167 75243520 17520 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18370 17520 1111 63 0 18307 0
vsize: 73480
[startup+370.013 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 7311
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 131944 0 0 0 36630 372 0 0 25 0 1 0 906460167 75649024 17623 4294967295 134512640 134716908 3221224560 3221223416 134589925 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18469 17623 1111 63 0 18406 0
vsize: 73876
[startup+380.013 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 7311
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 132011 0 0 0 37629 373 0 0 25 0 1 0 906460167 75919360 17690 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18535 17690 1111 63 0 18472 0
vsize: 74140
[startup+390.013 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 7311
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 132050 0 0 0 38629 373 0 0 25 0 1 0 906460167 76189696 17729 4294967295 134512640 134716908 3221224560 3221223344 134528816 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18601 17729 1111 63 0 18538 0
vsize: 74404
[startup+400.014 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 7311
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 132069 0 0 0 39629 374 0 0 25 0 1 0 906460167 76189696 17748 4294967295 134512640 134716908 3221224560 3221223164 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18601 17748 1111 63 0 18538 0
vsize: 74404
[startup+410.014 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 7311
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 132125 0 0 0 40628 375 0 0 25 0 1 0 906460167 76435456 17804 4294967295 134512640 134716908 3221224560 3221223296 134594957 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18661 17804 1111 63 0 18598 0
vsize: 74644
[startup+420.013 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 7311
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 132182 0 0 0 41627 376 0 0 25 0 1 0 906460167 76701696 17861 4294967295 134512640 134716908 3221224560 3221223216 134536713 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18726 17861 1111 63 0 18663 0
vsize: 74904
[startup+430.014 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 7311
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 132182 0 0 0 42627 376 0 0 25 0 1 0 906460167 76701696 17861 4294967295 134512640 134716908 3221224560 3221223192 134543090 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18726 17861 1111 63 0 18663 0
vsize: 74904
[startup+440.014 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 7313
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 132272 0 0 0 43626 377 0 0 25 0 1 0 906460167 77090816 17951 4294967295 134512640 134716908 3221224560 3221223128 1077377891 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18821 17951 1111 63 0 18758 0
vsize: 75284
[startup+450.015 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 7313
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 132319 0 0 0 44626 378 0 0 25 0 1 0 906460167 77225984 17998 4294967295 134512640 134716908 3221224560 3221223264 134528677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18854 17998 1111 63 0 18791 0
vsize: 75416
[startup+460.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 7313
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 132420 0 0 0 45625 379 0 0 25 0 1 0 906460167 77631488 18099 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18953 18099 1111 63 0 18890 0
vsize: 75812
[startup+470.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 7313
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 132711 0 0 0 46624 380 0 0 25 0 1 0 906460167 78848000 18390 4294967295 134512640 134716908 3221224560 3221223308 134584724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19250 18390 1111 63 0 19187 0
vsize: 77000
[startup+480.016 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 7313
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 132958 0 0 0 47623 381 0 0 25 0 1 0 906460167 79794176 18637 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19481 18637 1111 63 0 19418 0
vsize: 77924
[startup+490.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 7313
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 133122 0 0 0 48622 383 0 0 25 0 1 0 906460167 80470016 18801 4294967295 134512640 134716908 3221224560 3221223368 134558490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19646 18801 1111 63 0 19583 0
vsize: 78584
[startup+500.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7313
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 133297 0 0 0 49621 383 0 0 25 0 1 0 906460167 81281024 18976 4294967295 134512640 134716908 3221224560 3221223200 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19844 18976 1111 63 0 19781 0
vsize: 79376
[startup+510.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7313
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 133351 0 0 0 50620 384 0 0 25 0 1 0 906460167 81416192 19030 4294967295 134512640 134716908 3221224560 3221223176 134613978 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19877 19030 1111 63 0 19814 0
vsize: 79508
[startup+520.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7313
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 133388 0 0 0 51620 385 0 0 25 0 1 0 906460167 81686528 19067 4294967295 134512640 134716908 3221224560 3221223120 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19943 19067 1111 63 0 19880 0
vsize: 79772
[startup+530.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7313
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 133479 0 0 0 52619 386 0 0 25 0 1 0 906460167 82059264 19158 4294967295 134512640 134716908 3221224560 3221223168 134549324 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20034 19158 1111 63 0 19971 0
vsize: 80136
[startup+540.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7313
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 133581 0 0 0 53618 388 0 0 25 0 1 0 906460167 82464768 19260 4294967295 134512640 134716908 3221224560 3221223140 134542747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20133 19260 1111 63 0 20070 0
vsize: 80532
[startup+550.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7313
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 133612 0 0 0 54618 388 0 0 25 0 1 0 906460167 82599936 19291 4294967295 134512640 134716908 3221224560 3221223200 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20166 19291 1111 63 0 20103 0
vsize: 80664
[startup+560.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7313
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 133736 0 0 0 55617 389 0 0 25 0 1 0 906460167 83001344 19415 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20264 19415 1111 63 0 20201 0
vsize: 81056
[startup+570.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7313
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 133845 0 0 0 56617 389 0 0 25 0 1 0 906460167 83431424 19524 4294967295 134512640 134716908 3221224560 3221223212 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20369 19524 1111 63 0 20306 0
vsize: 81476
[startup+580.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7313
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 133894 0 0 0 57616 390 0 0 25 0 1 0 906460167 83701760 19573 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20435 19573 1111 63 0 20372 0
vsize: 81740
[startup+590.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7313
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 133914 0 0 0 58616 391 0 0 25 0 1 0 906460167 83836928 19593 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20468 19593 1111 63 0 20405 0
vsize: 81872
[startup+600.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7313
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 133981 0 0 0 59616 391 0 0 25 0 1 0 906460167 84107264 19660 4294967295 134512640 134716908 3221224560 3221223120 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20534 19660 1111 63 0 20471 0
vsize: 82136
[startup+610.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7313
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 133998 0 0 0 60615 392 0 0 25 0 1 0 906460167 84107264 19677 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20534 19677 1111 63 0 20471 0
vsize: 82136
[startup+620.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7313
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 134028 0 0 0 61614 392 0 0 25 0 1 0 906460167 84242432 19707 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20567 19707 1111 63 0 20504 0
vsize: 82268
[startup+630.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7313
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 134051 0 0 0 62614 393 0 0 25 0 1 0 906460167 84377600 19730 4294967295 134512640 134716908 3221224560 3221223088 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20600 19730 1111 63 0 20537 0
vsize: 82400
[startup+640.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7313
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 134201 0 0 0 63612 395 0 0 25 0 1 0 906460167 84918272 19880 4294967295 134512640 134716908 3221224560 3221223292 134528753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20732 19880 1111 63 0 20669 0
vsize: 82928
[startup+650.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7313
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 134258 0 0 0 64612 395 0 0 25 0 1 0 906460167 85188608 19937 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20798 19937 1111 63 0 20735 0
vsize: 83192
[startup+660.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7313
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 134292 0 0 0 65611 396 0 0 25 0 1 0 906460167 85323776 19971 4294967295 134512640 134716908 3221224560 3221223264 134528665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20831 19971 1111 63 0 20768 0
vsize: 83324
[startup+670.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7313
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 134351 0 0 0 66609 398 0 0 25 0 1 0 906460167 85585920 20030 4294967295 134512640 134716908 3221224560 3221223200 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20895 20030 1111 63 0 20832 0
vsize: 83580
[startup+680.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7313
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 134374 0 0 0 67608 398 0 0 25 0 1 0 906460167 85721088 20053 4294967295 134512640 134716908 3221224560 3221222956 1077379846 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20928 20053 1111 63 0 20865 0
vsize: 83712
[startup+690.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7313
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 134399 0 0 0 68608 399 0 0 25 0 1 0 906460167 85721088 20078 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20928 20078 1111 63 0 20865 0
vsize: 83712
[startup+700.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 134457 0 0 0 69607 400 0 0 25 0 1 0 906460167 85991424 20136 4294967295 134512640 134716908 3221224560 3221223116 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20994 20136 1111 63 0 20931 0
vsize: 83976
[startup+710.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 134463 0 0 0 70607 400 0 0 25 0 1 0 906460167 85991424 20142 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20994 20142 1111 63 0 20931 0
vsize: 83976
[startup+720.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 134531 0 0 0 71606 401 0 0 25 0 1 0 906460167 86261760 20210 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21060 20210 1111 63 0 20997 0
vsize: 84240
[startup+730.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 134531 0 0 0 72605 402 0 0 25 0 1 0 906460167 86261760 20210 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21060 20210 1111 63 0 20997 0
vsize: 84240
[startup+740.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 134583 0 0 0 73604 403 0 0 25 0 1 0 906460167 86532096 20262 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21126 20262 1111 63 0 21063 0
vsize: 84504
[startup+750.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 134615 0 0 0 74604 404 0 0 25 0 1 0 906460167 86667264 20294 4294967295 134512640 134716908 3221224560 3221223308 134551608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21159 20294 1111 63 0 21096 0
vsize: 84636
[startup+760.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 134636 0 0 0 75603 405 0 0 25 0 1 0 906460167 86667264 20315 4294967295 134512640 134716908 3221224560 3221223044 134699695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21159 20315 1111 63 0 21096 0
vsize: 84636
[startup+770.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 134666 0 0 0 76602 406 0 0 25 0 1 0 906460167 86802432 20345 4294967295 134512640 134716908 3221224560 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21192 20345 1111 63 0 21129 0
vsize: 84768
[startup+780.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 134691 0 0 0 77602 407 0 0 25 0 1 0 906460167 86937600 20370 4294967295 134512640 134716908 3221224560 3221223152 134549668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21225 20370 1111 63 0 21162 0
vsize: 84900
[startup+790.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 134747 0 0 0 78601 408 0 0 25 0 1 0 906460167 87207936 20426 4294967295 134512640 134716908 3221224560 3221223116 134535981 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21291 20426 1111 63 0 21228 0
vsize: 85164
[startup+800.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 134747 0 0 0 79601 408 0 0 25 0 1 0 906460167 87207936 20426 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21291 20426 1111 63 0 21228 0
vsize: 85164
[startup+810.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 134748 0 0 0 80600 409 0 0 25 0 1 0 906460167 87207936 20427 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21291 20427 1111 63 0 21228 0
vsize: 85164
[startup+820.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 134808 0 0 0 81599 410 0 0 25 0 1 0 906460167 87478272 20487 4294967295 134512640 134716908 3221224560 3221223200 134539567 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21357 20487 1111 63 0 21294 0
vsize: 85428
[startup+830.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 134813 0 0 0 82599 410 0 0 25 0 1 0 906460167 87478272 20492 4294967295 134512640 134716908 3221224560 3221223220 134524380 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21357 20492 1111 63 0 21294 0
vsize: 85428
[startup+840.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 134871 0 0 0 83598 411 0 0 25 0 1 0 906460167 87699456 20550 4294967295 134512640 134716908 3221224560 3221223240 134594352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21411 20550 1111 63 0 21348 0
vsize: 85644
[startup+850.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 134935 0 0 0 84598 412 0 0 25 0 1 0 906460167 87969792 20614 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21477 20614 1111 63 0 21414 0
vsize: 85908
[startup+860.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 134964 0 0 0 85597 413 0 0 25 0 1 0 906460167 88104960 20643 4294967295 134512640 134716908 3221224560 3221223072 134535017 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21510 20643 1111 63 0 21447 0
vsize: 86040
[startup+870.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 134984 0 0 0 86596 414 0 0 25 0 1 0 906460167 88104960 20663 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21510 20663 1111 63 0 21447 0
vsize: 86040
[startup+880.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 135028 0 0 0 87596 414 0 0 25 0 1 0 906460167 88375296 20707 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21576 20707 1111 63 0 21513 0
vsize: 86304
[startup+890.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 135052 0 0 0 88595 415 0 0 25 0 1 0 906460167 88498176 20731 4294967295 134512640 134716908 3221224560 3221223100 134539282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21606 20731 1111 63 0 21543 0
vsize: 86424
[startup+900.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 135064 0 0 0 89595 415 0 0 25 0 1 0 906460167 88489984 20743 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21604 20743 1111 63 0 21541 0
vsize: 86416
[startup+910.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 135077 0 0 0 90595 416 0 0 25 0 1 0 906460167 88489984 20756 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21604 20756 1111 63 0 21541 0
vsize: 86416
[startup+920.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 135087 0 0 0 91595 416 0 0 25 0 1 0 906460167 88621056 20766 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21636 20766 1111 63 0 21573 0
vsize: 86544
[startup+930.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 135131 0 0 0 92594 417 0 0 25 0 1 0 906460167 88756224 20810 4294967295 134512640 134716908 3221224560 3221223200 134543110 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21669 20810 1111 63 0 21606 0
vsize: 86676
[startup+940.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 135151 0 0 0 93594 417 0 0 25 0 1 0 906460167 88891392 20830 4294967295 134512640 134716908 3221224560 3221223296 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21702 20830 1111 63 0 21639 0
vsize: 86808
[startup+950.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 135156 0 0 0 94593 418 0 0 25 0 1 0 906460167 88891392 20835 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21702 20835 1111 63 0 21639 0
vsize: 86808
[startup+960.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 135196 0 0 0 95592 419 0 0 25 0 1 0 906460167 89026560 20875 4294967295 134512640 134716908 3221224560 3221223376 134590271 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21735 20875 1111 63 0 21672 0
vsize: 86940
[startup+970.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 135196 0 0 0 96592 420 0 0 25 0 1 0 906460167 89026560 20875 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21735 20875 1111 63 0 21672 0
vsize: 86940
[startup+980.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 135205 0 0 0 97592 420 0 0 25 0 1 0 906460167 89026560 20884 4294967295 134512640 134716908 3221224560 3221223392 134551454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21735 20884 1111 63 0 21672 0
vsize: 86940
[startup+990.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 135214 0 0 0 98591 421 0 0 25 0 1 0 906460167 89161728 20893 4294967295 134512640 134716908 3221224560 3221223152 134548599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21768 20893 1111 63 0 21705 0
vsize: 87072
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 135232 0 0 0 99591 422 0 0 25 0 1 0 906460167 89145344 20911 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21764 20911 1111 63 0 21701 0
vsize: 87056
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 135261 0 0 0 100590 422 0 0 25 0 1 0 906460167 89280512 20940 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21797 20940 1111 63 0 21734 0
vsize: 87188
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 135287 0 0 0 101590 423 0 0 25 0 1 0 906460167 89370624 20966 4294967295 134512640 134716908 3221224560 3221223120 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21819 20966 1111 63 0 21756 0
vsize: 87276
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 135540 0 0 0 102589 424 0 0 25 0 1 0 906460167 90394624 21219 4294967295 134512640 134716908 3221224560 3221223352 134558582 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22069 21219 1111 63 0 22006 0
vsize: 88276
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 135693 0 0 0 103589 425 0 0 25 0 1 0 906460167 91049984 21372 4294967295 134512640 134716908 3221224560 3221222956 1077379941 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22229 21372 1111 63 0 22166 0
vsize: 88916
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 135816 0 0 0 104588 425 0 0 25 0 1 0 906460167 91574272 21495 4294967295 134512640 134716908 3221224560 3221223344 134529243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22357 21495 1111 63 0 22294 0
vsize: 89428
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 135904 0 0 0 105587 426 0 0 25 0 1 0 906460167 91979776 21583 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22456 21583 1111 63 0 22393 0
vsize: 89824
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 135992 0 0 0 106587 427 0 0 25 0 1 0 906460167 92241920 21671 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22520 21671 1111 63 0 22457 0
vsize: 90080
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 136074 0 0 0 107586 428 0 0 25 0 1 0 906460167 92647424 21753 4294967295 134512640 134716908 3221224560 3221223200 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22619 21753 1111 63 0 22556 0
vsize: 90476
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 136139 0 0 0 108586 428 0 0 25 0 1 0 906460167 92897280 21818 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22680 21818 1111 63 0 22617 0
vsize: 90720
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 136167 0 0 0 109586 428 0 0 25 0 1 0 906460167 93032448 21846 4294967295 134512640 134716908 3221224560 3221223212 134543616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22713 21846 1111 63 0 22650 0
vsize: 90852
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 136170 0 0 0 110586 429 0 0 25 0 1 0 906460167 93032448 21849 4294967295 134512640 134716908 3221224560 3221223212 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22713 21849 1111 63 0 22650 0
vsize: 90852
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 136214 0 0 0 111586 429 0 0 25 0 1 0 906460167 93167616 21893 4294967295 134512640 134716908 3221224560 3221223272 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22746 21893 1111 63 0 22683 0
vsize: 90984
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 136243 0 0 0 112585 430 0 0 25 0 1 0 906460167 93265920 21922 4294967295 134512640 134716908 3221224560 3221223200 134613470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22770 21922 1111 63 0 22707 0
vsize: 91080
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 136277 0 0 0 113584 430 0 0 25 0 1 0 906460167 93401088 21956 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22803 21956 1111 63 0 22740 0
vsize: 91212
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 136306 0 0 0 114583 431 0 0 25 0 1 0 906460167 93536256 21985 4294967295 134512640 134716908 3221224560 3221223248 134528605 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22836 21985 1111 63 0 22773 0
vsize: 91344
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 136376 0 0 0 115582 432 0 0 25 0 1 0 906460167 93806592 22055 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22902 22055 1111 63 0 22839 0
vsize: 91608
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 136402 0 0 0 116581 433 0 0 25 0 1 0 906460167 93941760 22081 4294967295 134512640 134716908 3221224560 3221223088 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22935 22081 1111 63 0 22872 0
vsize: 91740
[startup+1174.94 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 7315
Raw data (stat): 7258 (bsolo_lpr_cuts-) R 7257 21152 21151 0 -1 0 136402 0 0 0 116581 433 0 0 25 0 1 0 906460167 93941760 22081 4294967295 134512640 134716908 3221224560 3221223088 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22935 22081 1111 63 0 22872 0
vsize: 0

Child status: 0
Real time (s): 1174.94
CPU time (s): 1175.05
CPU user time (s): 1170.67
CPU system time (s): 4.37833
CPU usage (%): 100.01
Max. virtual memory (Kb): 91740
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####