PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-fixnet6.opb
MD5SUM	08a1ce7c6c4cc8e461ae1aeabdf15da0
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	3289593
Optimality of the best value was proved	NO
Number of terms in the objective function	8282
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	524133752
Number of bits of the sum of numbers in the objective function	29
Biggest number in a constraint	1048576
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	524133752
Number of bits of the biggest sum of numbers	29
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.04
Number of variables	9890
Total number of constraints	978
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	378
Number of constraints which are nor clauses,nor cardinality constraints	600
Minimum length of a constraint	1
Maximum length of a constraint	1072
Trace number 41510

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-09 14:14:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29566 boxname=wulflinc5 idbench=1350 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  08a1ce7c6c4cc8e461ae1aeabdf15da0  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-fixnet6.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-fixnet6.opb
IDLAUNCH: 29566
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        926912 kB
Buffers:         14008 kB
Cached:          72460 kB
SwapCached:        640 kB
Active:          22516 kB
Inactive:        65980 kB
HighTotal:      131008 kB
HighFree:        99960 kB
LowTotal:       903652 kB
LowFree:        826952 kB
SwapTotal:     2097136 kB
SwapFree:      2095484 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5072 kB
Slab:            13620 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 14:34:07 (client local time) WITH STATUS 0 IN 1176.15 SECONDS
stats: 29566 7 1176.15 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 9890 variables and 700 constraints.
c After prepocess the problem consists of 5883 variables and 789 constraints.
c preprocess terminated 816.484 s
c Initial Lower Bound: 172797
c Lower Bound Elapsed time: 0.7487
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1176.11 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): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (runsolver) R 2844 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 910913045 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 16460 0 0 0 956 39 0 0 25 0 1 0 910913045 70828032 16346 4294967295 134512640 134716908 3221224560 3221222844 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17292 16346 1111 63 0 17229 0
vsize: 69168
[startup+20.002 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 17665 0 0 0 1952 43 0 0 25 0 1 0 910913045 75149312 17451 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18347 17451 1111 63 0 18284 0
vsize: 73388
[startup+30.0037 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 17702 0 0 0 2952 44 0 0 25 0 1 0 910913045 75149312 17451 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18347 17451 1111 63 0 18284 0
vsize: 73388
[startup+40.004 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 17755 0 0 0 3951 44 0 0 25 0 1 0 910913045 75149312 17451 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18347 17451 1111 63 0 18284 0
vsize: 73388
[startup+50.0047 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 17915 0 0 0 4950 46 0 0 25 0 1 0 910913045 75149312 17451 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18347 17451 1111 63 0 18284 0
vsize: 73388
[startup+60.006 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 17963 0 0 0 5949 46 0 0 25 0 1 0 910913045 75149312 17451 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18347 17451 1111 63 0 18284 0
vsize: 73388
[startup+70.0062 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 18021 0 0 0 6948 47 0 0 25 0 1 0 910913045 75149312 17451 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18347 17451 1111 63 0 18284 0
vsize: 73388
[startup+80.007 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 18385 0 0 0 7946 49 0 0 25 0 1 0 910913045 75149312 17451 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18347 17451 1111 63 0 18284 0
vsize: 73388
[startup+90.0082 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 18515 0 0 0 8946 49 0 0 25 0 1 0 910913045 75149312 17451 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18347 17451 1111 63 0 18284 0
vsize: 73388
[startup+100.008 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 19707 0 0 0 9940 55 0 0 25 0 1 0 910913045 75149312 17451 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18347 17451 1111 63 0 18284 0
vsize: 73388
[startup+110.01 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 21410 0 0 0 10933 62 0 0 25 0 1 0 910913045 75149312 17451 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18347 17451 1111 63 0 18284 0
vsize: 73388
[startup+120.011 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 25580 0 0 0 11919 76 0 0 25 0 1 0 910913045 75149312 17451 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18347 17451 1111 63 0 18284 0
vsize: 73388
[startup+130.011 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 29721 0 0 0 12907 88 0 0 25 0 1 0 910913045 75149312 17451 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18347 17451 1111 63 0 18284 0
vsize: 73388
[startup+140.012 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 33978 0 0 0 13894 101 0 0 25 0 1 0 910913045 75149312 17451 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18347 17451 1111 63 0 18284 0
vsize: 73388
[startup+150.013 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 39285 0 0 0 14879 116 0 0 25 0 1 0 910913045 75149312 17451 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18347 17451 1111 63 0 18284 0
vsize: 73388
[startup+160.013 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 44729 0 0 0 15861 134 0 0 25 0 1 0 910913045 75149312 17451 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18347 17451 1111 63 0 18284 0
vsize: 73388
[startup+170.014 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 51252 0 0 0 16841 154 0 0 25 0 1 0 910913045 75149312 17451 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18347 17451 1111 63 0 18284 0
vsize: 73388
[startup+180.014 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 58173 0 0 0 17818 176 0 0 25 0 1 0 910913045 75149312 17451 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18347 17451 1111 63 0 18284 0
vsize: 73388
[startup+190.014 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 66220 0 0 0 18794 201 0 0 25 0 1 0 910913045 75149312 17451 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18347 17451 1111 63 0 18284 0
vsize: 73388
[startup+200.014 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 74482 0 0 0 19769 225 0 0 25 0 1 0 910913045 75149312 17451 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18347 17451 1111 63 0 18284 0
vsize: 73388
[startup+210.015 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 82776 0 0 0 20745 249 0 0 25 0 1 0 910913045 75149312 17451 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18347 17451 1111 63 0 18284 0
vsize: 73388
[startup+220.016 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 91760 0 0 0 21719 275 0 0 25 0 1 0 910913045 75149312 17451 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18347 17451 1111 63 0 18284 0
vsize: 73388
[startup+230.016 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 101547 0 0 0 22689 305 0 0 25 0 1 0 910913045 75149312 17451 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18347 17451 1111 63 0 18284 0
vsize: 73388
[startup+240.016 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 111276 0 0 0 23660 334 0 0 25 0 1 0 910913045 75149312 17451 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18347 17451 1111 63 0 18284 0
vsize: 73388
[startup+250.017 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 122053 0 0 0 24630 363 0 0 25 0 1 0 910913045 75149312 17451 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18347 17451 1111 63 0 18284 0
vsize: 73388
[startup+260.018 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 132870 0 0 0 25597 396 0 0 25 0 1 0 910913045 75149312 17451 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18347 17451 1111 63 0 18284 0
vsize: 73388
[startup+270.018 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 143861 0 0 0 26566 428 0 0 25 0 1 0 910913045 75149312 17451 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18347 17451 1111 63 0 18284 0
vsize: 73388
[startup+280.018 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 154881 0 0 0 27534 460 0 0 25 0 1 0 910913045 75149312 17451 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18347 17451 1111 63 0 18284 0
vsize: 73388
[startup+290.019 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 166941 0 0 0 28501 493 0 0 25 0 1 0 910913045 75149312 17451 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18347 17451 1111 63 0 18284 0
vsize: 73388
[startup+300.019 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 179098 0 0 0 29466 528 0 0 25 0 1 0 910913045 75149312 17451 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18347 17451 1111 63 0 18284 0
vsize: 73388
[startup+310.019 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 191252 0 0 0 30432 562 0 0 25 0 1 0 910913045 75149312 17451 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18347 17451 1111 63 0 18284 0
vsize: 73388
[startup+320.02 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 198260 0 0 0 31413 582 0 0 25 0 1 0 910913045 75624448 17565 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18463 17565 1111 63 0 18400 0
vsize: 73852
[startup+330.02 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 198333 0 0 0 32413 582 0 0 25 0 1 0 910913045 75628544 17568 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18464 17568 1111 63 0 18401 0
vsize: 73856
[startup+340.021 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 198375 0 0 0 33413 582 0 0 25 0 1 0 910913045 75628544 17568 4294967295 134512640 134716908 3221224560 3221222984 1077378477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18464 17568 1111 63 0 18401 0
vsize: 73856
[startup+350.02 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 198494 0 0 0 34412 583 0 0 25 0 1 0 910913045 75628544 17568 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18464 17568 1111 63 0 18401 0
vsize: 73856
[startup+360.021 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 198698 0 0 0 35412 583 0 0 25 0 1 0 910913045 75628544 17568 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18464 17568 1111 63 0 18401 0
vsize: 73856
[startup+370.021 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 198775 0 0 0 36412 584 0 0 25 0 1 0 910913045 75628544 17568 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18464 17568 1111 63 0 18401 0
vsize: 73856
[startup+380.022 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 199009 0 0 0 37411 584 0 0 25 0 1 0 910913045 75628544 17568 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18464 17568 1111 63 0 18401 0
vsize: 73856
[startup+390.022 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 199243 0 0 0 38411 585 0 0 25 0 1 0 910913045 75628544 17568 4294967295 134512640 134716908 3221224560 3221223200 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18464 17568 1111 63 0 18401 0
vsize: 73856
[startup+400.022 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 200275 0 0 0 39407 590 0 0 25 0 1 0 910913045 75628544 17568 4294967295 134512640 134716908 3221224560 3221223260 134606816 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18464 17568 1111 63 0 18401 0
vsize: 73856
[startup+410.023 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 201623 0 0 0 40401 596 0 0 25 0 1 0 910913045 75628544 17568 4294967295 134512640 134716908 3221224560 3221223200 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18464 17568 1111 63 0 18401 0
vsize: 73856
[startup+420.024 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 202775 0 0 0 41395 602 0 0 25 0 1 0 910913045 75628544 17568 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18464 17568 1111 63 0 18401 0
vsize: 73856
[startup+430.023 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 205201 0 0 0 42387 610 0 0 25 0 1 0 910913045 75628544 17568 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18464 17568 1111 63 0 18401 0
vsize: 73856
[startup+440.023 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 207816 0 0 0 43378 619 0 0 25 0 1 0 910913045 75628544 17568 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18464 17568 1111 63 0 18401 0
vsize: 73856
[startup+450.023 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 210622 0 0 0 44368 629 0 0 25 0 1 0 910913045 75628544 17568 4294967295 134512640 134716908 3221224560 3221222996 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18464 17568 1111 63 0 18401 0
vsize: 73856
[startup+460.023 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 213498 0 0 0 45359 639 0 0 25 0 1 0 910913045 75628544 17568 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18464 17568 1111 63 0 18401 0
vsize: 73856
[startup+470.023 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 214591 0 0 0 46354 644 0 0 25 0 1 0 910913045 75714560 17589 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18485 17589 1111 63 0 18422 0
vsize: 73940
[startup+480.023 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 215939 0 0 0 47349 649 0 0 25 0 1 0 910913045 75714560 17589 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18485 17589 1111 63 0 18422 0
vsize: 73940
[startup+490.023 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 217439 0 0 0 48344 654 0 0 25 0 1 0 910913045 75714560 17589 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18485 17589 1111 63 0 18422 0
vsize: 73940
[startup+500.023 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 219258 0 0 0 49338 660 0 0 25 0 1 0 910913045 75714560 17589 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18485 17589 1111 63 0 18422 0
vsize: 73940
[startup+510.024 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 222306 0 0 0 50329 669 0 0 25 0 1 0 910913045 75714560 17589 4294967295 134512640 134716908 3221224560 3221223200 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18485 17589 1111 63 0 18422 0
vsize: 73940
[startup+520.025 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 225364 0 0 0 51321 678 0 0 25 0 1 0 910913045 75714560 17589 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18485 17589 1111 63 0 18422 0
vsize: 73940
[startup+530.025 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 229366 0 0 0 52309 690 0 0 25 0 1 0 910913045 75714560 17589 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18485 17589 1111 63 0 18422 0
vsize: 73940
[startup+540.025 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 233394 0 0 0 53295 704 0 0 25 0 1 0 910913045 75714560 17589 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18485 17589 1111 63 0 18422 0
vsize: 73940
[startup+550.026 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 237483 0 0 0 54282 717 0 0 25 0 1 0 910913045 75714560 17589 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18485 17589 1111 63 0 18422 0
vsize: 73940
[startup+560.027 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 241424 0 0 0 55271 729 0 0 25 0 1 0 910913045 75714560 17589 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18485 17589 1111 63 0 18422 0
vsize: 73940
[startup+570.028 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 246633 0 0 0 56255 745 0 0 25 0 1 0 910913045 75714560 17589 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18485 17589 1111 63 0 18422 0
vsize: 73940
[startup+580.028 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 252056 0 0 0 57240 760 0 0 25 0 1 0 910913045 75714560 17589 4294967295 134512640 134716908 3221224560 3221223360 134617431 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18485 17589 1111 63 0 18422 0
vsize: 73940
[startup+590.029 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 257631 0 0 0 58224 776 0 0 25 0 1 0 910913045 75874304 17625 4294967295 134512640 134716908 3221224560 3221223076 1077378730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18485 17589 1111 63 0 18422 0
vsize: 74096
[startup+600.029 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 263083 0 0 0 59207 794 0 0 25 0 1 0 910913045 75714560 17589 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18485 17589 1111 63 0 18422 0
vsize: 73940
[startup+610.029 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 268877 0 0 0 60189 812 0 0 25 0 1 0 910913045 75714560 17589 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18485 17589 1111 63 0 18422 0
vsize: 73940
[startup+620.029 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 275679 0 0 0 61168 832 0 0 25 0 1 0 910913045 75714560 17589 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18485 17589 1111 63 0 18422 0
vsize: 73940
[startup+630.029 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 282394 0 0 0 62148 852 0 0 25 0 1 0 910913045 75714560 17589 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18485 17589 1111 63 0 18422 0
vsize: 73940
[startup+640.03 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 289089 0 0 0 63129 872 0 0 25 0 1 0 910913045 76029952 17614 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18562 17620 1111 63 0 18499 0
vsize: 74248
[startup+650.03 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 296040 0 0 0 64109 892 0 0 25 0 1 0 910913045 75714560 17589 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18485 17589 1111 63 0 18422 0
vsize: 73940
[startup+660.03 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 302784 0 0 0 65090 911 0 0 25 0 1 0 910913045 75714560 17589 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18485 17589 1111 63 0 18422 0
vsize: 73940
[startup+670.031 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 303341 0 0 0 66089 912 0 0 25 0 1 0 910913045 76038144 17668 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18564 17668 1111 63 0 18501 0
vsize: 74256
[startup+680.031 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 303521 0 0 0 67089 913 0 0 25 0 1 0 910913045 76791808 17848 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18748 17848 1111 63 0 18685 0
vsize: 74992
[startup+690.032 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 303521 0 0 0 68089 913 0 0 25 0 1 0 910913045 76791808 17848 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18748 17848 1111 63 0 18685 0
vsize: 74992
[startup+700.031 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 303521 0 0 0 69089 913 0 0 25 0 1 0 910913045 76791808 17848 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18748 17848 1111 63 0 18685 0
vsize: 74992
[startup+710.032 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 303521 0 0 0 70089 913 0 0 25 0 1 0 910913045 76791808 17848 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18748 17848 1111 63 0 18685 0
vsize: 74992
[startup+720.033 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 303521 0 0 0 71090 913 0 0 25 0 1 0 910913045 76791808 17848 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18748 17848 1111 63 0 18685 0
vsize: 74992
[startup+730.032 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 303521 0 0 0 72090 913 0 0 25 0 1 0 910913045 76791808 17848 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18748 17848 1111 63 0 18685 0
vsize: 74992
[startup+740.033 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 303521 0 0 0 73090 913 0 0 25 0 1 0 910913045 76791808 17848 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18748 17848 1111 63 0 18685 0
vsize: 74992
[startup+750.033 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 303521 0 0 0 74090 913 0 0 25 0 1 0 910913045 76791808 17848 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18748 17848 1111 63 0 18685 0
vsize: 74992
[startup+760.034 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 303521 0 0 0 75090 913 0 0 25 0 1 0 910913045 76791808 17848 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18748 17848 1111 63 0 18685 0
vsize: 74992
[startup+770.035 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 303521 0 0 0 76091 913 0 0 25 0 1 0 910913045 76791808 17848 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18748 17848 1111 63 0 18685 0
vsize: 74992
[startup+780.035 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 303521 0 0 0 77091 913 0 0 25 0 1 0 910913045 76791808 17848 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18748 17848 1111 63 0 18685 0
vsize: 74992
[startup+790.036 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 303521 0 0 0 78091 914 0 0 25 0 1 0 910913045 76791808 17848 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18748 17848 1111 63 0 18685 0
vsize: 74992
[startup+800.036 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 303521 0 0 0 79091 914 0 0 25 0 1 0 910913045 76791808 17848 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18748 17848 1111 63 0 18685 0
vsize: 74992
[startup+810.037 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 303521 0 0 0 80091 914 0 0 25 0 1 0 910913045 76791808 17848 4294967295 134512640 134716908 3221224560 3221223044 1077378730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18748 17848 1111 63 0 18685 0
vsize: 74992
[startup+820.037 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 305683 0 0 0 81085 920 0 0 25 0 1 0 910913045 77643776 18135 4294967295 134512640 134716908 3221224560 3221220368 1075965260 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18956 18135 1111 63 0 18893 0
vsize: 75824
[startup+830.036 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 310360 0 0 0 82074 930 0 0 25 0 1 0 910913045 76791808 17998 4294967295 134512640 134716908 3221224560 3221215952 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18748 17998 1111 63 0 18685 0
vsize: 74992
[startup+840.036 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 313850 0 0 0 83066 939 0 0 25 0 1 0 910913045 76791808 17998 4294967295 134512640 134716908 3221224560 3221215080 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18748 17998 1111 63 0 18685 0
vsize: 74992
[startup+850.036 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 317643 0 0 0 84056 949 0 0 25 0 1 0 910913045 77627392 18127 4294967295 134512640 134716908 3221224560 3221220720 1074794536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18952 18127 1111 63 0 18889 0
vsize: 75808
[startup+860.036 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 321138 0 0 0 85049 956 0 0 25 0 1 0 910913045 77746176 18162 4294967295 134512640 134716908 3221224560 3221220524 1074860620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18981 18162 1111 63 0 18918 0
vsize: 75924
[startup+870.036 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 324878 0 0 0 86041 964 0 0 25 0 1 0 910913045 77385728 18070 4294967295 134512640 134716908 3221224560 3221221544 1074831393 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18893 18070 1111 63 0 18830 0
vsize: 75572
[startup+880.036 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 327603 0 0 0 87036 970 0 0 25 0 1 0 910913045 76791808 17999 4294967295 134512640 134716908 3221224560 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18748 17999 1111 63 0 18685 0
vsize: 74992
[startup+890.036 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 329905 0 0 0 88030 976 0 0 25 0 1 0 910913045 76791808 17999 4294967295 134512640 134716908 3221224560 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18748 17999 1111 63 0 18685 0
vsize: 74992
[startup+900.036 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 332203 0 0 0 89024 981 0 0 25 0 1 0 910913045 76791808 17999 4294967295 134512640 134716908 3221224560 3221222840 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18748 17999 1111 63 0 18685 0
vsize: 74992
[startup+910.037 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 334503 0 0 0 90019 987 0 0 25 0 1 0 910913045 76791808 17999 4294967295 134512640 134716908 3221224560 3221222144 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18748 17999 1111 63 0 18685 0
vsize: 74992
[startup+920.038 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 337119 0 0 0 91012 994 0 0 25 0 1 0 910913045 76791808 17999 4294967295 134512640 134716908 3221224560 3221222912 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18748 17999 1111 63 0 18685 0
vsize: 74992
[startup+930.037 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 339484 0 0 0 92006 1001 0 0 25 0 1 0 910913045 76791808 18000 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18748 18000 1111 63 0 18685 0
vsize: 74992
[startup+940.038 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 341782 0 0 0 93001 1006 0 0 25 0 1 0 910913045 76791808 18000 4294967295 134512640 134716908 3221224560 3221221616 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18748 18000 1111 63 0 18685 0
vsize: 74992
[startup+950.039 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 344463 0 0 0 93995 1012 0 0 25 0 1 0 910913045 76791808 18000 4294967295 134512640 134716908 3221224560 3221223408 134623469 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18748 18000 1111 63 0 18685 0
vsize: 74992
[startup+960.04 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 346761 0 0 0 94990 1018 0 0 25 0 1 0 910913045 76791808 18001 4294967295 134512640 134716908 3221224560 3221222864 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18748 18001 1111 63 0 18685 0
vsize: 74992
[startup+970.039 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 349341 0 0 0 95984 1023 0 0 25 0 1 0 910913045 77377536 18073 4294967295 134512640 134716908 3221224560 3221220632 1074950215 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18891 18073 1111 63 0 18828 0
vsize: 75564
[startup+980.039 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 351695 0 0 0 96979 1029 0 0 25 0 1 0 910913045 76791808 18001 4294967295 134512640 134716908 3221224560 3221222944 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18748 18001 1111 63 0 18685 0
vsize: 74992
[startup+990.04 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 353963 0 0 0 97974 1034 0 0 25 0 1 0 910913045 76791808 18001 4294967295 134512640 134716908 3221224560 3221222768 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18748 18001 1111 63 0 18685 0
vsize: 74992
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 356520 0 0 0 98968 1040 0 0 25 0 1 0 910913045 77377536 18070 4294967295 134512640 134716908 3221224560 3221220524 1074860630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18891 18070 1111 63 0 18828 0
vsize: 75564
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 358877 0 0 0 99963 1045 0 0 25 0 1 0 910913045 76791808 18001 4294967295 134512640 134716908 3221224560 3221222524 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18748 18001 1111 63 0 18685 0
vsize: 74992
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 361145 0 0 0 100957 1051 0 0 25 0 1 0 910913045 76791808 18001 4294967295 134512640 134716908 3221224560 3221222848 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18748 18001 1111 63 0 18685 0
vsize: 74992
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 363704 0 0 0 101952 1057 0 0 25 0 1 0 910913045 77377536 18072 4294967295 134512640 134716908 3221224560 3221220632 1074950198 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18891 18072 1111 63 0 18828 0
vsize: 75564
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 365976 0 0 0 102946 1063 0 0 25 0 1 0 910913045 77377536 18076 4294967295 134512640 134716908 3221224560 3221220524 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18891 18076 1111 63 0 18828 0
vsize: 75564
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 368326 0 0 0 103939 1069 0 0 25 0 1 0 910913045 76791808 18001 4294967295 134512640 134716908 3221224560 3221223008 134652452 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18748 18001 1111 63 0 18685 0
vsize: 74992
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 370860 0 0 0 104934 1075 0 0 25 0 1 0 910913045 77373440 18075 4294967295 134512640 134716908 3221224560 3221220524 1074860595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18890 18075 1111 63 0 18827 0
vsize: 75560
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 373177 0 0 0 105928 1081 0 0 25 0 1 0 910913045 76791808 18001 4294967295 134512640 134716908 3221224560 3221222296 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18748 18001 1111 63 0 18685 0
vsize: 74992
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 375781 0 0 0 106922 1087 0 0 25 0 1 0 910913045 76791808 18001 4294967295 134512640 134716908 3221224560 3221222864 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18748 18001 1111 63 0 18685 0
vsize: 74992
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 378228 0 0 0 107916 1093 0 0 25 0 1 0 910913045 77021184 18057 4294967295 134512640 134716908 3221224560 3221221664 1074138863 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18804 18057 1111 63 0 18741 0
vsize: 75216
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 380604 0 0 0 108911 1098 0 0 25 0 1 0 910913045 76791808 18001 4294967295 134512640 134716908 3221224560 3221222848 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18748 18001 1111 63 0 18685 0
vsize: 74992
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 383168 0 0 0 109905 1105 0 0 25 0 1 0 910913045 76791808 18001 4294967295 134512640 134716908 3221224560 3221222912 1074142734 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18748 18001 1111 63 0 18685 0
vsize: 74992
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 385651 0 0 0 110899 1111 0 0 25 0 1 0 910913045 77369344 18073 4294967295 134512640 134716908 3221224560 3221221600 1075971304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18889 18073 1111 63 0 18826 0
vsize: 75556
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 388212 0 0 0 111892 1118 0 0 25 0 1 0 910913045 77369344 18071 4294967295 134512640 134716908 3221224560 3221220988 1075117859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18889 18071 1111 63 0 18826 0
vsize: 75556
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 390776 0 0 0 112887 1124 0 0 25 0 1 0 910913045 77369344 18073 4294967295 134512640 134716908 3221224560 3221220788 1075114950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18889 18073 1111 63 0 18826 0
vsize: 75556
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 393348 0 0 0 113880 1131 0 0 25 0 1 0 910913045 76791808 18001 4294967295 134512640 134716908 3221224560 3221221872 1075006831 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18748 18001 1111 63 0 18685 0
vsize: 74992
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 395888 0 0 0 114873 1138 0 0 25 0 1 0 910913045 77369344 18071 4294967295 134512640 134716908 3221224560 3221220632 1074950198 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18889 18071 1111 63 0 18826 0
vsize: 75556
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 398443 0 0 0 115868 1143 0 0 25 0 1 0 910913045 77369344 18068 4294967295 134512640 134716908 3221224560 3221220764 1075563855 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18889 18068 1111 63 0 18826 0
vsize: 75556
[startup+1176.07 s]
Raw data (loadavg): 1.00 0.98 0.93 1/53 2845
Raw data (stat): 2845 (bsolo_lpr_cuts-) R 2844 7266 7265 0 -1 0 398443 0 0 0 115868 1143 0 0 25 0 1 0 910913045 77369344 18068 4294967295 134512640 134716908 3221224560 3221220764 1075563855 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18889 18068 1111 63 0 18826 0
vsize: 0

Child status: 0
Real time (s): 1176.07
CPU time (s): 1176.15
CPU user time (s): 1164.64
CPU system time (s): 11.5092
CPU usage (%): 100.007
Max. virtual memory (Kb): 75924
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####