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:1-11,19,21.opb
MD5SUM	552cc7fcebca47ae66a3cb1c13679513
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
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	103
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	4602
Total number of constraints	34781
Number of constraints which are clauses	29160
Number of constraints which are cardinality constraints (but not clauses)	5543
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 40907

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-09 01:43:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28973 boxname=wulflinc2 idbench=359 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  552cc7fcebca47ae66a3cb1c13679513  /oldhome/oroussel/tmp/wulflinc2/normalized-ppp:1-11,19,21.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-ppp:1-11,19,21.opb
IDLAUNCH: 28973
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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	: 2
cpu MHz		: 451.191
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:        888800 kB
Buffers:         16248 kB
Cached:         104744 kB
SwapCached:       4468 kB
Active:          26080 kB
Inactive:       100040 kB
HighTotal:      131008 kB
HighFree:        27104 kB
LowTotal:       903652 kB
LowFree:        861696 kB
SwapTotal:     2097136 kB
SwapFree:      2091616 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           4988 kB
Slab:            14172 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 02:03:17 (client local time) WITH STATUS 0 IN 1175.06 SECONDS
stats: 28973 7 1175.06 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 4602 variables and 30353 constraints.
c After prepocess the problem consists of 4602 variables and 30353 constraints.
c preprocess terminated 50.492 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 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.92 0.95 0.90 2/54 17928
Raw data (stat): 17928 (runsolver) R 17927 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 906411327 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99972 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 45362 0 0 0 885 111 0 0 25 0 1 0 906411327 53592064 12192 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13084 12198 1111 63 0 13021 0
vsize: 52336
[startup+20.0007 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 128985 0 0 0 1683 314 0 0 25 0 1 0 906411327 56537088 12916 4294967295 134512640 134716908 3221224560 3221223176 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13803 12916 1111 63 0 13740 0
vsize: 55212
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 137539 0 0 0 2661 335 0 0 25 0 1 0 906411327 70369280 16320 4294967295 134512640 134716908 3221224560 3221223064 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17180 16320 1111 63 0 17117 0
vsize: 68720
[startup+40.0018 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 149848 0 0 0 3630 367 0 0 25 0 1 0 906411327 70369280 16320 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17180 16320 1111 63 0 17117 0
vsize: 68720
[startup+50.0031 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 156198 0 0 0 4616 381 0 0 25 0 1 0 906411327 70369280 16320 4294967295 134512640 134716908 3221224560 3221223104 134535807 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17180 16320 1111 63 0 17117 0
vsize: 68720
[startup+60.0025 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 156213 0 0 0 5613 384 0 0 25 0 1 0 906411327 70369280 16335 4294967295 134512640 134716908 3221224560 3221223324 134552632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17180 16335 1111 63 0 17117 0
vsize: 68720
[startup+70.0028 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 156213 0 0 0 6612 385 0 0 25 0 1 0 906411327 70369280 16335 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17180 16335 1111 63 0 17117 0
vsize: 68720
[startup+80.0029 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 156213 0 0 0 7612 386 0 0 25 0 1 0 906411327 70369280 16335 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17180 16335 1111 63 0 17117 0
vsize: 68720
[startup+90.0036 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 156213 0 0 0 8611 387 0 0 25 0 1 0 906411327 70369280 16335 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17180 16335 1111 63 0 17117 0
vsize: 68720
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 156213 0 0 0 9610 388 0 0 25 0 1 0 906411327 70369280 16335 4294967295 134512640 134716908 3221224560 3221223344 134529331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17180 16335 1111 63 0 17117 0
vsize: 68720
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 156213 0 0 0 10610 388 0 0 25 0 1 0 906411327 70369280 16335 4294967295 134512640 134716908 3221224560 3221223184 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17180 16335 1111 63 0 17117 0
vsize: 68720
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 156213 0 0 0 11609 389 0 0 25 0 1 0 906411327 70369280 16335 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17180 16335 1111 63 0 17117 0
vsize: 68720
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 156213 0 0 0 12609 389 0 0 25 0 1 0 906411327 70369280 16335 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17180 16335 1111 63 0 17117 0
vsize: 68720
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 156213 0 0 0 13609 390 0 0 25 0 1 0 906411327 70369280 16335 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17180 16335 1111 63 0 17117 0
vsize: 68720
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 156213 0 0 0 14608 390 0 0 25 0 1 0 906411327 70369280 16335 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17180 16335 1111 63 0 17117 0
vsize: 68720
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 156213 0 0 0 15608 391 0 0 25 0 1 0 906411327 70369280 16335 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17180 16335 1111 63 0 17117 0
vsize: 68720
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 156213 0 0 0 16608 391 0 0 25 0 1 0 906411327 70369280 16335 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17180 16335 1111 63 0 17117 0
vsize: 68720
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 156213 0 0 0 17607 392 0 0 25 0 1 0 906411327 70369280 16335 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17180 16335 1111 63 0 17117 0
vsize: 68720
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 156213 0 0 0 18607 393 0 0 25 0 1 0 906411327 70369280 16335 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17180 16335 1111 63 0 17117 0
vsize: 68720
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 156213 0 0 0 19607 393 0 0 25 0 1 0 906411327 70369280 16335 4294967295 134512640 134716908 3221224560 3221223316 134592339 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17180 16335 1111 63 0 17117 0
vsize: 68720
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 156213 0 0 0 20606 393 0 0 25 0 1 0 906411327 70369280 16335 4294967295 134512640 134716908 3221224560 3221223164 134536848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17180 16335 1111 63 0 17117 0
vsize: 68720
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 156213 0 0 0 21606 394 0 0 25 0 1 0 906411327 70369280 16335 4294967295 134512640 134716908 3221224560 3221223164 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17180 16335 1111 63 0 17117 0
vsize: 68720
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 156213 0 0 0 22606 394 0 0 25 0 1 0 906411327 70369280 16335 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17180 16335 1111 63 0 17117 0
vsize: 68720
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 156213 0 0 0 23606 394 0 0 25 0 1 0 906411327 70369280 16335 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17180 16335 1111 63 0 17117 0
vsize: 68720
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 156326 0 0 0 24605 395 0 0 25 0 1 0 906411327 70897664 16448 4294967295 134512640 134716908 3221224560 3221223256 134528705 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17309 16448 1111 63 0 17246 0
vsize: 69236
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 156418 0 0 0 25605 396 0 0 25 0 1 0 906411327 71294976 16540 4294967295 134512640 134716908 3221224560 3221223184 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17406 16540 1111 63 0 17343 0
vsize: 69624
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 156564 0 0 0 26603 397 0 0 25 0 1 0 906411327 71835648 16686 4294967295 134512640 134716908 3221224560 3221223240 134552642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17538 16686 1111 63 0 17475 0
vsize: 70152
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 156657 0 0 0 27603 398 0 0 25 0 1 0 906411327 72241152 16779 4294967295 134512640 134716908 3221224560 3221223100 134539246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17637 16779 1111 63 0 17574 0
vsize: 70548
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 156702 0 0 0 28603 399 0 0 25 0 1 0 906411327 72376320 16824 4294967295 134512640 134716908 3221224560 3221223280 134535795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17670 16824 1111 63 0 17607 0
vsize: 70680
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 156763 0 0 0 29602 400 0 0 25 0 1 0 906411327 72650752 16885 4294967295 134512640 134716908 3221224560 3221223100 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17737 16885 1111 63 0 17674 0
vsize: 70948
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 156878 0 0 0 30601 401 0 0 25 0 1 0 906411327 73191424 17000 4294967295 134512640 134716908 3221224560 3221223324 134543540 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17869 17000 1111 63 0 17806 0
vsize: 71476
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 157012 0 0 0 31601 401 0 0 25 0 1 0 906411327 73732096 17134 4294967295 134512640 134716908 3221224560 3221223172 134523378 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18001 17134 1111 63 0 17938 0
vsize: 72004
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 157107 0 0 0 32601 401 0 0 25 0 1 0 906411327 74137600 17229 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18100 17229 1111 63 0 18037 0
vsize: 72400
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 157196 0 0 0 33600 402 0 0 25 0 1 0 906411327 74403840 17318 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18165 17318 1111 63 0 18102 0
vsize: 72660
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 157289 0 0 0 34600 403 0 0 25 0 1 0 906411327 74809344 17411 4294967295 134512640 134716908 3221224560 3221223344 134529234 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18264 17411 1111 63 0 18201 0
vsize: 73056
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 157340 0 0 0 35599 403 0 0 25 0 1 0 906411327 75079680 17462 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18330 17462 1111 63 0 18267 0
vsize: 73320
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 157444 0 0 0 36599 404 0 0 25 0 1 0 906411327 75485184 17566 4294967295 134512640 134716908 3221224560 3221223296 134528943 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18429 17566 1111 63 0 18366 0
vsize: 73716
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 157580 0 0 0 37598 405 0 0 25 0 1 0 906411327 76025856 17702 4294967295 134512640 134716908 3221224560 3221223200 134698727 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18561 17702 1111 63 0 18498 0
vsize: 74244
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 157719 0 0 0 38598 405 0 0 25 0 1 0 906411327 76562432 17841 4294967295 134512640 134716908 3221224560 3221223152 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18692 17841 1111 63 0 18629 0
vsize: 74768
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 157835 0 0 0 39598 406 0 0 25 0 1 0 906411327 77103104 17957 4294967295 134512640 134716908 3221224560 3221223312 134591808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18824 17957 1111 63 0 18761 0
vsize: 75296
[startup+410.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 157903 0 0 0 40598 406 0 0 25 0 1 0 906411327 77357056 18025 4294967295 134512640 134716908 3221224560 3221223216 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18886 18025 1111 63 0 18823 0
vsize: 75544
[startup+420.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 157929 0 0 0 41597 406 0 0 25 0 1 0 906411327 77410304 18051 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18899 18051 1111 63 0 18836 0
vsize: 75596
[startup+430.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 158018 0 0 0 42597 407 0 0 25 0 1 0 906411327 77885440 18140 4294967295 134512640 134716908 3221224560 3221222964 134699569 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19015 18140 1111 63 0 18952 0
vsize: 76060
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 158110 0 0 0 43597 407 0 0 25 0 1 0 906411327 78147584 18232 4294967295 134512640 134716908 3221224560 3221223224 134551881 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19079 18232 1111 63 0 19016 0
vsize: 76316
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 158142 0 0 0 44596 408 0 0 25 0 1 0 906411327 78282752 18264 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19112 18264 1111 63 0 19049 0
vsize: 76448
[startup+460.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 158194 0 0 0 45596 409 0 0 25 0 1 0 906411327 78553088 18316 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19178 18316 1111 63 0 19115 0
vsize: 76712
[startup+470.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 158239 0 0 0 46596 409 0 0 25 0 1 0 906411327 78680064 18361 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19209 18361 1111 63 0 19146 0
vsize: 76836
[startup+480.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 158292 0 0 0 47595 409 0 0 25 0 1 0 906411327 78950400 18414 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19275 18414 1111 63 0 19212 0
vsize: 77100
[startup+490.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 158352 0 0 0 48595 410 0 0 25 0 1 0 906411327 79167488 18474 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19328 18474 1111 63 0 19265 0
vsize: 77312
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 158394 0 0 0 49594 411 0 0 25 0 1 0 906411327 79302656 18516 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19361 18516 1111 63 0 19298 0
vsize: 77444
[startup+510.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 158406 0 0 0 50594 412 0 0 25 0 1 0 906411327 79413248 18528 4294967295 134512640 134716908 3221224560 3221223152 134549680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19388 18528 1111 63 0 19325 0
vsize: 77552
[startup+520.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 158514 0 0 0 51593 412 0 0 25 0 1 0 906411327 79818752 18636 4294967295 134512640 134716908 3221224560 3221223092 134543025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19487 18636 1111 63 0 19424 0
vsize: 77948
[startup+530.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 158562 0 0 0 52593 413 0 0 25 0 1 0 906411327 80089088 18684 4294967295 134512640 134716908 3221224560 3221223200 134698363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19553 18684 1111 63 0 19490 0
vsize: 78212
[startup+540.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 158665 0 0 0 53592 414 0 0 25 0 1 0 906411327 80470016 18787 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19646 18787 1111 63 0 19583 0
vsize: 78584
[startup+550.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 158738 0 0 0 54592 414 0 0 25 0 1 0 906411327 80740352 18860 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19712 18860 1111 63 0 19649 0
vsize: 78848
[startup+560.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 158773 0 0 0 55592 414 0 0 25 0 1 0 906411327 80855040 18895 4294967295 134512640 134716908 3221224560 3221223152 134539374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19740 18895 1111 63 0 19677 0
vsize: 78960
[startup+570.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 158819 0 0 0 56592 415 0 0 25 0 1 0 906411327 81092608 18941 4294967295 134512640 134716908 3221224560 3221223164 134536845 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19798 18941 1111 63 0 19735 0
vsize: 79192
[startup+580.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 158841 0 0 0 57592 415 0 0 25 0 1 0 906411327 81219584 18963 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19829 18963 1111 63 0 19766 0
vsize: 79316
[startup+590.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 158884 0 0 0 58591 416 0 0 25 0 1 0 906411327 81354752 19006 4294967295 134512640 134716908 3221224560 3221223264 134528617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19862 19006 1111 63 0 19799 0
vsize: 79448
[startup+600.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 158941 0 0 0 59590 417 0 0 25 0 1 0 906411327 81571840 19063 4294967295 134512640 134716908 3221224560 3221223344 134529174 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19915 19063 1111 63 0 19852 0
vsize: 79660
[startup+610.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 159034 0 0 0 60589 418 0 0 25 0 1 0 906411327 81977344 19156 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20014 19156 1111 63 0 19951 0
vsize: 80056
[startup+620.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 159112 0 0 0 61589 419 0 0 25 0 1 0 906411327 82329600 19234 4294967295 134512640 134716908 3221224560 3221223300 134591823 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20100 19234 1111 63 0 20037 0
vsize: 80400
[startup+630.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 159161 0 0 0 62589 419 0 0 25 0 1 0 906411327 82464768 19283 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20133 19283 1111 63 0 20070 0
vsize: 80532
[startup+640.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 159262 0 0 0 63589 419 0 0 25 0 1 0 906411327 82870272 19384 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20232 19384 1111 63 0 20169 0
vsize: 80928
[startup+650.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 159351 0 0 0 64588 420 0 0 25 0 1 0 906411327 83275776 19473 4294967295 134512640 134716908 3221224560 3221223200 134698432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20331 19473 1111 63 0 20268 0
vsize: 81324
[startup+660.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 159501 0 0 0 65586 422 0 0 25 0 1 0 906411327 83947520 19623 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20495 19623 1111 63 0 20432 0
vsize: 81980
[startup+670.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 159562 0 0 0 66586 423 0 0 25 0 1 0 906411327 84217856 19684 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20561 19684 1111 63 0 20498 0
vsize: 82244
[startup+680.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 159597 0 0 0 67585 423 0 0 25 0 1 0 906411327 84353024 19719 4294967295 134512640 134716908 3221224560 3221223056 134535477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20594 19719 1111 63 0 20531 0
vsize: 82376
[startup+690.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 159678 0 0 0 68585 424 0 0 25 0 1 0 906411327 84590592 19800 4294967295 134512640 134716908 3221224560 3221223224 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20652 19800 1111 63 0 20589 0
vsize: 82608
[startup+700.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 159776 0 0 0 69585 424 0 0 25 0 1 0 906411327 84992000 19898 4294967295 134512640 134716908 3221224560 3221223200 134539460 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20750 19898 1111 63 0 20687 0
vsize: 83000
[startup+710.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 159840 0 0 0 70584 425 0 0 25 0 1 0 906411327 85262336 19962 4294967295 134512640 134716908 3221224560 3221223320 134592427 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20816 19962 1111 63 0 20753 0
vsize: 83264
[startup+720.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 159924 0 0 0 71584 426 0 0 25 0 1 0 906411327 85647360 20046 4294967295 134512640 134716908 3221224560 3221223368 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20910 20046 1111 63 0 20847 0
vsize: 83640
[startup+730.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 159978 0 0 0 72583 426 0 0 25 0 1 0 906411327 85917696 20100 4294967295 134512640 134716908 3221224560 3221223104 134698767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20976 20100 1111 63 0 20913 0
vsize: 83904
[startup+740.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 160010 0 0 0 73583 427 0 0 25 0 1 0 906411327 86028288 20132 4294967295 134512640 134716908 3221224560 3221223244 134552651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21003 20132 1111 63 0 20940 0
vsize: 84012
[startup+750.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 160061 0 0 0 74583 427 0 0 25 0 1 0 906411327 86163456 20183 4294967295 134512640 134716908 3221224560 3221223168 134523399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21036 20183 1111 63 0 20973 0
vsize: 84144
[startup+760.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 160132 0 0 0 75582 428 0 0 25 0 1 0 906411327 86511616 20254 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21121 20254 1111 63 0 21058 0
vsize: 84484
[startup+770.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 160196 0 0 0 76582 428 0 0 25 0 1 0 906411327 86781952 20318 4294967295 134512640 134716908 3221224560 3221223284 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21187 20318 1111 63 0 21124 0
vsize: 84748
[startup+780.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 160219 0 0 0 77582 429 0 0 25 0 1 0 906411327 86781952 20341 4294967295 134512640 134716908 3221224560 3221223044 134699695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21187 20341 1111 63 0 21124 0
vsize: 84748
[startup+790.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 160268 0 0 0 78581 430 0 0 25 0 1 0 906411327 87052288 20390 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21253 20390 1111 63 0 21190 0
vsize: 85012
[startup+800.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 160356 0 0 0 79581 430 0 0 25 0 1 0 906411327 87457792 20478 4294967295 134512640 134716908 3221224560 3221223152 134549668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21352 20478 1111 63 0 21289 0
vsize: 85408
[startup+810.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 160417 0 0 0 80580 431 0 0 25 0 1 0 906411327 87592960 20539 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21385 20539 1111 63 0 21322 0
vsize: 85540
[startup+820.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 160502 0 0 0 81579 432 0 0 25 0 1 0 906411327 87994368 20624 4294967295 134512640 134716908 3221224560 3221223344 134529237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21483 20624 1111 63 0 21420 0
vsize: 85932
[startup+830.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 160555 0 0 0 82579 432 0 0 25 0 1 0 906411327 88264704 20677 4294967295 134512640 134716908 3221224560 3221223240 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21549 20677 1111 63 0 21486 0
vsize: 86196
[startup+840.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 160637 0 0 0 83579 433 0 0 25 0 1 0 906411327 88510464 20759 4294967295 134512640 134716908 3221224560 3221223196 134543760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21609 20759 1111 63 0 21546 0
vsize: 86436
[startup+850.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 160701 0 0 0 84578 433 0 0 25 0 1 0 906411327 88780800 20823 4294967295 134512640 134716908 3221224560 3221223088 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21675 20823 1111 63 0 21612 0
vsize: 86700
[startup+860.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 160732 0 0 0 85578 434 0 0 25 0 1 0 906411327 88903680 20854 4294967295 134512640 134716908 3221224560 3221223212 134536842 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21705 20854 1111 63 0 21642 0
vsize: 86820
[startup+870.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 160732 0 0 0 86578 434 0 0 25 0 1 0 906411327 88903680 20854 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21705 20854 1111 63 0 21642 0
vsize: 86820
[startup+880.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 160773 0 0 0 87577 435 0 0 25 0 1 0 906411327 89165824 20895 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21769 20895 1111 63 0 21706 0
vsize: 87076
[startup+890.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 160859 0 0 0 88577 436 0 0 25 0 1 0 906411327 89522176 20981 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21856 20981 1111 63 0 21793 0
vsize: 87424
[startup+900.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 160941 0 0 0 89577 436 0 0 25 0 1 0 906411327 89788416 21063 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21921 21063 1111 63 0 21858 0
vsize: 87684
[startup+910.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 160996 0 0 0 90576 437 0 0 25 0 1 0 906411327 90058752 21118 4294967295 134512640 134716908 3221224560 3221223200 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21987 21118 1111 63 0 21924 0
vsize: 87948
[startup+920.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 161046 0 0 0 91576 437 0 0 25 0 1 0 906411327 90193920 21168 4294967295 134512640 134716908 3221224560 3221223100 134539301 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22020 21168 1111 63 0 21957 0
vsize: 88080
[startup+930.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 161140 0 0 0 92576 437 0 0 25 0 1 0 906411327 90595328 21262 4294967295 134512640 134716908 3221224560 3221223392 134551450 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22118 21262 1111 63 0 22055 0
vsize: 88472
[startup+940.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 161145 0 0 0 93575 438 0 0 25 0 1 0 906411327 90595328 21267 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22118 21267 1111 63 0 22055 0
vsize: 88472
[startup+950.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 161187 0 0 0 94576 438 0 0 25 0 1 0 906411327 90865664 21309 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22184 21309 1111 63 0 22121 0
vsize: 88736
[startup+960.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 161233 0 0 0 95575 438 0 0 25 0 1 0 906411327 90968064 21355 4294967295 134512640 134716908 3221224560 3221223152 134542677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22209 21355 1111 63 0 22146 0
vsize: 88836
[startup+970.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 161315 0 0 0 96575 439 0 0 25 0 1 0 906411327 91340800 21437 4294967295 134512640 134716908 3221224560 3221223200 134613427 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22300 21437 1111 63 0 22237 0
vsize: 89200
[startup+980.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17928
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 161380 0 0 0 97574 440 0 0 25 0 1 0 906411327 91611136 21502 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22366 21502 1111 63 0 22303 0
vsize: 89464
[startup+990.012 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 17981
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 161415 0 0 0 98573 441 0 0 25 0 1 0 906411327 91746304 21537 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22399 21537 1111 63 0 22336 0
vsize: 89596
[startup+1000.01 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 17981
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 161439 0 0 0 99572 442 0 0 25 0 1 0 906411327 91807744 21561 4294967295 134512640 134716908 3221224560 3221223200 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22414 21561 1111 63 0 22351 0
vsize: 89656
[startup+1010.01 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 17981
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 161461 0 0 0 100572 443 0 0 25 0 1 0 906411327 91942912 21583 4294967295 134512640 134716908 3221224560 3221223152 134549780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22447 21583 1111 63 0 22384 0
vsize: 89788
[startup+1020.01 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 17981
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 161500 0 0 0 101571 443 0 0 25 0 1 0 906411327 92065792 21622 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22477 21622 1111 63 0 22414 0
vsize: 89908
[startup+1030.01 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 17981
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 161596 0 0 0 102570 444 0 0 25 0 1 0 906411327 92467200 21718 4294967295 134512640 134716908 3221224560 3221223288 134536904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22575 21718 1111 63 0 22512 0
vsize: 90300
[startup+1040.01 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 17981
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 161643 0 0 0 103570 445 0 0 25 0 1 0 906411327 92737536 21765 4294967295 134512640 134716908 3221224560 3221223148 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22641 21765 1111 63 0 22578 0
vsize: 90564
[startup+1050.01 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 17983
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 161658 0 0 0 104569 446 0 0 25 0 1 0 906411327 92737536 21780 4294967295 134512640 134716908 3221224560 3221223148 134543616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22641 21780 1111 63 0 22578 0
vsize: 90564
[startup+1060.01 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 17983
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 161720 0 0 0 105569 447 0 0 25 0 1 0 906411327 93003776 21842 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22706 21842 1111 63 0 22643 0
vsize: 90824
[startup+1070.01 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 17983
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 161756 0 0 0 106568 447 0 0 25 0 1 0 906411327 93130752 21878 4294967295 134512640 134716908 3221224560 3221223044 134699539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22737 21878 1111 63 0 22674 0
vsize: 90948
[startup+1080.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 17983
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 161839 0 0 0 107567 448 0 0 25 0 1 0 906411327 93507584 21961 4294967295 134512640 134716908 3221224560 3221223088 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22829 21961 1111 63 0 22766 0
vsize: 91316
[startup+1090.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 17983
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 161892 0 0 0 108567 449 0 0 25 0 1 0 906411327 93642752 22014 4294967295 134512640 134716908 3221224560 3221223200 134539362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22862 22014 1111 63 0 22799 0
vsize: 91448
[startup+1100.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 17983
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 161892 0 0 0 109567 449 0 0 25 0 1 0 906411327 93642752 22014 4294967295 134512640 134716908 3221224560 3221223168 134549457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22862 22014 1111 63 0 22799 0
vsize: 91448
[startup+1110.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 17983
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 161912 0 0 0 110566 450 0 0 25 0 1 0 906411327 93777920 22034 4294967295 134512640 134716908 3221224560 3221223212 134536825 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22895 22034 1111 63 0 22832 0
vsize: 91580
[startup+1120.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17983
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 161939 0 0 0 111566 450 0 0 25 0 1 0 906411327 93913088 22061 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22928 22061 1111 63 0 22865 0
vsize: 91712
[startup+1130.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17983
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 162004 0 0 0 112566 451 0 0 25 0 1 0 906411327 94183424 22126 4294967295 134512640 134716908 3221224560 3221223344 134529288 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22994 22126 1111 63 0 22931 0
vsize: 91976
[startup+1140.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17983
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 162074 0 0 0 113565 451 0 0 25 0 1 0 906411327 94453760 22196 4294967295 134512640 134716908 3221224560 3221223072 134535026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23060 22196 1111 63 0 22997 0
vsize: 92240
[startup+1150.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17983
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 162133 0 0 0 114565 452 0 0 25 0 1 0 906411327 94687232 22255 4294967295 134512640 134716908 3221224560 3221223304 134523854 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23117 22255 1111 63 0 23054 0
vsize: 92468
[startup+1160.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17983
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 162196 0 0 0 115565 453 0 0 25 0 1 0 906411327 94957568 22318 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23183 22318 1111 63 0 23120 0
vsize: 92732
[startup+1170.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17983
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 162205 0 0 0 116564 453 0 0 25 0 1 0 906411327 94957568 22327 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23183 22327 1111 63 0 23120 0
vsize: 92732
[startup+1174.89 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 17983
Raw data (stat): 17928 (bsolo_lpr_cuts-) R 17927 31399 31398 0 -1 0 162205 0 0 0 116564 453 0 0 25 0 1 0 906411327 94957568 22327 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23183 22327 1111 63 0 23120 0
vsize: 0

Child status: 0
Real time (s): 1174.89
CPU time (s): 1175.06
CPU user time (s): 1170.47
CPU system time (s): 4.5853
CPU usage (%): 100.014
Max. virtual memory (Kb): 92732
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####