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/miplib3/normalized-mps-v2-13-7-l152lav.opb
MD5SUM	9d4ce12b138a2bef65a1f401ec9d1f01
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5046
Optimality of the best value was proved	NO
Number of terms in the objective function	1989
Biggest coefficient in the objective function	268
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	382524
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	268
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	382524
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.69
Number of variables	1989
Total number of constraints	2086
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2085
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	1
Maximum length of a constraint	1989
Trace number 41578

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-09 16:11:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29638 boxname=wulflinc1 idbench=1422 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  9d4ce12b138a2bef65a1f401ec9d1f01  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-l152lav.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-l152lav.opb
IDLAUNCH: 29638
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        917048 kB
Buffers:          8136 kB
Cached:          85868 kB
SwapCached:       1128 kB
Active:          25056 kB
Inactive:        71136 kB
HighTotal:      131008 kB
HighFree:        42476 kB
LowTotal:       903652 kB
LowFree:        874572 kB
SwapTotal:     2097136 kB
SwapFree:      2094840 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5268 kB
Slab:            15616 kB
Committed_AS:    92684 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 16:31:32 (client local time) WITH STATUS 0 IN 1175.06 SECONDS
stats: 29638 7 1175.06 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1989 variables and 193 constraints.
c After prepocess the problem consists of 1988 variables and 397 constraints.
c preprocess terminated 75.087 s
c Initial Lower Bound: 4657
c Lower Bound Elapsed time: 2.463
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.85 0.97 0.94 2/55 7973
Raw data (stat): 7973 (runsolver) R 7972 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 854760837 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.87 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 16274 0 0 0 958 39 0 0 25 0 1 0 854760837 69804032 16183 4294967295 134512640 134716908 3221224560 3221223040 134543043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17042 16183 1111 63 0 16979 0
vsize: 68168
[startup+20.0009 s]
Raw data (loadavg): 0.89 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 17640 0 0 0 1955 41 0 0 25 0 1 0 854760837 75350016 17549 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18396 17549 1111 63 0 18333 0
vsize: 73584
[startup+30.0017 s]
Raw data (loadavg): 0.91 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 17693 0 0 0 2955 41 0 0 25 0 1 0 854760837 75620352 17602 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18462 17602 1111 63 0 18399 0
vsize: 73848
[startup+40.0014 s]
Raw data (loadavg): 0.92 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 17747 0 0 0 3955 41 0 0 25 0 1 0 854760837 75755520 17656 4294967295 134512640 134716908 3221224560 3221223224 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18495 17656 1111 63 0 18432 0
vsize: 73980
[startup+50.0022 s]
Raw data (loadavg): 0.93 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 17790 0 0 0 4956 41 0 0 25 0 1 0 854760837 76025856 17699 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18561 17699 1111 63 0 18498 0
vsize: 74244
[startup+60.002 s]
Raw data (loadavg): 0.94 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 17841 0 0 0 5956 42 0 0 25 0 1 0 854760837 76161024 17750 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18594 17750 1111 63 0 18531 0
vsize: 74376
[startup+70.0021 s]
Raw data (loadavg): 0.95 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 17884 0 0 0 6956 42 0 0 25 0 1 0 854760837 76431360 17793 4294967295 134512640 134716908 3221224560 3221223224 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18660 17793 1111 63 0 18597 0
vsize: 74640
[startup+80.0027 s]
Raw data (loadavg): 0.96 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 19174 0 0 0 7953 44 0 0 25 0 1 0 854760837 78082048 18361 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19063 18361 1111 63 0 19000 0
vsize: 76252
[startup+90.0025 s]
Raw data (loadavg): 0.96 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 19577 0 0 0 8950 48 0 0 25 0 1 0 854760837 79818752 18764 4294967295 134512640 134716908 3221224560 3221223168 134543744 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19487 18764 1111 63 0 19424 0
vsize: 77948
[startup+100.003 s]
Raw data (loadavg): 0.97 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 19821 0 0 0 9947 49 0 0 25 0 1 0 854760837 80748544 19008 4294967295 134512640 134716908 3221224560 3221223120 134542680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19714 19008 1111 63 0 19651 0
vsize: 78856
[startup+110.004 s]
Raw data (loadavg): 0.97 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 20126 0 0 0 10946 51 0 0 25 0 1 0 854760837 81965056 19313 4294967295 134512640 134716908 3221224560 3221223312 134592443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20011 19313 1111 63 0 19948 0
vsize: 80044
[startup+120.004 s]
Raw data (loadavg): 0.98 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 20345 0 0 0 11945 52 0 0 25 0 1 0 854760837 82911232 19532 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20242 19532 1111 63 0 20179 0
vsize: 80968
[startup+130.004 s]
Raw data (loadavg): 0.98 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 20513 0 0 0 12944 53 0 0 25 0 1 0 854760837 83574784 19700 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20404 19700 1111 63 0 20341 0
vsize: 81616
[startup+140.003 s]
Raw data (loadavg): 0.98 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 20649 0 0 0 13943 54 0 0 25 0 1 0 854760837 84107264 19835 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20534 19835 1111 63 0 20471 0
vsize: 82136
[startup+150.004 s]
Raw data (loadavg): 0.98 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 20833 0 0 0 14943 55 0 0 25 0 1 0 854760837 84914176 20019 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20731 20019 1111 63 0 20668 0
vsize: 82924
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 20833 0 0 0 15942 56 0 0 25 0 1 0 854760837 84836352 20019 4294967295 134512640 134716908 3221224560 3221223100 134539217 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20712 20019 1111 63 0 20649 0
vsize: 82848
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 20955 0 0 0 16941 56 0 0 25 0 1 0 854760837 85377024 20141 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20844 20141 1111 63 0 20781 0
vsize: 83376
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 20967 0 0 0 17941 57 0 0 25 0 1 0 854760837 85512192 20153 4294967295 134512640 134716908 3221224560 3221223316 134655223 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20877 20153 1111 63 0 20814 0
vsize: 83508
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 21006 0 0 0 18940 58 0 0 25 0 1 0 854760837 85647360 20192 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20910 20192 1111 63 0 20847 0
vsize: 83640
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 21134 0 0 0 19939 59 0 0 25 0 1 0 854760837 86188032 20320 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21042 20320 1111 63 0 20979 0
vsize: 84168
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 21271 0 0 0 20936 62 0 0 25 0 1 0 854760837 86626304 20457 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21149 20457 1111 63 0 21086 0
vsize: 84596
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 21408 0 0 0 21936 63 0 0 25 0 1 0 854760837 87142400 20582 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21275 20582 1111 63 0 21212 0
vsize: 85100
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 21509 0 0 0 22935 64 0 0 25 0 1 0 854760837 87683072 20683 4294967295 134512640 134716908 3221224560 3221223144 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21407 20683 1111 63 0 21344 0
vsize: 85628
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 21723 0 0 0 23934 65 0 0 25 0 1 0 854760837 88494080 20897 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21605 20897 1111 63 0 21542 0
vsize: 86420
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 21723 0 0 0 24933 66 0 0 25 0 1 0 854760837 88494080 20897 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21605 20897 1111 63 0 21542 0
vsize: 86420
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 21723 0 0 0 25933 66 0 0 25 0 1 0 854760837 88494080 20897 4294967295 134512640 134716908 3221224560 3221223200 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21605 20897 1111 63 0 21542 0
vsize: 86420
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 21750 0 0 0 26933 66 0 0 25 0 1 0 854760837 88629248 20924 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21638 20924 1111 63 0 21575 0
vsize: 86552
[startup+280.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 21890 0 0 0 27932 67 0 0 25 0 1 0 854760837 89169920 21064 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21770 21064 1111 63 0 21707 0
vsize: 87080
[startup+290.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 21890 0 0 0 28931 68 0 0 25 0 1 0 854760837 89169920 21064 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21770 21064 1111 63 0 21707 0
vsize: 87080
[startup+300.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 21987 0 0 0 29930 69 0 0 25 0 1 0 854760837 89559040 21161 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21865 21161 1111 63 0 21802 0
vsize: 87460
[startup+310.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 21987 0 0 0 30930 70 0 0 25 0 1 0 854760837 89559040 21161 4294967295 134512640 134716908 3221224560 3221223124 1077378704 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21865 21161 1111 63 0 21802 0
vsize: 87460
[startup+320.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 21987 0 0 0 31929 71 0 0 25 0 1 0 854760837 89559040 21161 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21865 21161 1111 63 0 21802 0
vsize: 87460
[startup+330.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 22025 0 0 0 32929 71 0 0 25 0 1 0 854760837 89694208 21199 4294967295 134512640 134716908 3221224560 3221223248 134524469 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21898 21199 1111 63 0 21835 0
vsize: 87592
[startup+340.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 22052 0 0 0 33929 71 0 0 25 0 1 0 854760837 89829376 21226 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21931 21226 1111 63 0 21868 0
vsize: 87724
[startup+350.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 22073 0 0 0 34929 72 0 0 25 0 1 0 854760837 89944064 21247 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21959 21247 1111 63 0 21896 0
vsize: 87836
[startup+360.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 22120 0 0 0 35928 72 0 0 25 0 1 0 854760837 90079232 21294 4294967295 134512640 134716908 3221224560 3221223328 134592119 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21992 21294 1111 63 0 21929 0
vsize: 87968
[startup+370.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 22176 0 0 0 36928 73 0 0 25 0 1 0 854760837 90349568 21350 4294967295 134512640 134716908 3221224560 3221223280 1076648076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22058 21350 1111 63 0 21995 0
vsize: 88232
[startup+380.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 22229 0 0 0 37927 74 0 0 25 0 1 0 854760837 90619904 21403 4294967295 134512640 134716908 3221224560 3221223200 134542340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22124 21403 1111 63 0 22061 0
vsize: 88496
[startup+390.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 22273 0 0 0 38926 75 0 0 25 0 1 0 854760837 90746880 21447 4294967295 134512640 134716908 3221224560 3221223120 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22155 21447 1111 63 0 22092 0
vsize: 88620
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 22350 0 0 0 39926 76 0 0 25 0 1 0 854760837 91013120 21524 4294967295 134512640 134716908 3221224560 3221223200 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22220 21524 1111 63 0 22157 0
vsize: 88880
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 22421 0 0 0 40925 77 0 0 25 0 1 0 854760837 91410432 21595 4294967295 134512640 134716908 3221224560 3221223032 134613981 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22317 21595 1111 63 0 22254 0
vsize: 89268
[startup+420.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 22585 0 0 0 41924 78 0 0 25 0 1 0 854760837 92016640 21756 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22465 21756 1111 63 0 22402 0
vsize: 89860
[startup+430.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 22630 0 0 0 42923 79 0 0 25 0 1 0 854760837 92151808 21801 4294967295 134512640 134716908 3221224560 3221223228 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22498 21801 1111 63 0 22435 0
vsize: 89992
[startup+440.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 22642 0 0 0 43922 80 0 0 25 0 1 0 854760837 92172288 21790 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22503 21790 1111 63 0 22440 0
vsize: 90012
[startup+450.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 22796 0 0 0 44921 82 0 0 25 0 1 0 854760837 92819456 21944 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22661 21944 1111 63 0 22598 0
vsize: 90644
[startup+460.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 22856 0 0 0 45919 83 0 0 25 0 1 0 854760837 93036544 22004 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22714 22004 1111 63 0 22651 0
vsize: 90856
[startup+470.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 22905 0 0 0 46919 84 0 0 25 0 1 0 854760837 93171712 22053 4294967295 134512640 134716908 3221224560 3221223292 134543835 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22747 22053 1111 63 0 22684 0
vsize: 90988
[startup+480.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 22988 0 0 0 47918 85 0 0 25 0 1 0 854760837 93577216 22136 4294967295 134512640 134716908 3221224560 3221222956 1077379843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22846 22136 1111 63 0 22783 0
vsize: 91384
[startup+490.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 23038 0 0 0 48918 86 0 0 25 0 1 0 854760837 93712384 22186 4294967295 134512640 134716908 3221224560 3221223108 134699080 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22879 22186 1111 63 0 22816 0
vsize: 91516
[startup+500.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 23038 0 0 0 49917 86 0 0 25 0 1 0 854760837 93712384 22186 4294967295 134512640 134716908 3221224560 3221223280 134535762 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22879 22186 1111 63 0 22816 0
vsize: 91516
[startup+510.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 23113 0 0 0 50916 87 0 0 25 0 1 0 854760837 94117888 22261 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22978 22261 1111 63 0 22915 0
vsize: 91912
[startup+520.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 23240 0 0 0 51915 89 0 0 25 0 1 0 854760837 94642176 22388 4294967295 134512640 134716908 3221224560 3221223116 134539315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23106 22388 1111 63 0 23043 0
vsize: 92424
[startup+530.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 23350 0 0 0 52914 90 0 0 25 0 1 0 854760837 95043584 22498 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23204 22498 1111 63 0 23141 0
vsize: 92816
[startup+540.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 23418 0 0 0 53914 91 0 0 25 0 1 0 854760837 95277056 22566 4294967295 134512640 134716908 3221224560 3221223276 1076647546 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23261 22566 1111 63 0 23198 0
vsize: 93044
[startup+550.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 23433 0 0 0 54913 91 0 0 25 0 1 0 854760837 95412224 22581 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23294 22581 1111 63 0 23231 0
vsize: 93176
[startup+560.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 23446 0 0 0 55913 92 0 0 25 0 1 0 854760837 95412224 22594 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23294 22594 1111 63 0 23231 0
vsize: 93176
[startup+570.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 23530 0 0 0 56912 93 0 0 25 0 1 0 854760837 95813632 22678 4294967295 134512640 134716908 3221224560 3221223304 134675312 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23392 22678 1111 63 0 23329 0
vsize: 93568
[startup+580.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 23560 0 0 0 57912 93 0 0 25 0 1 0 854760837 95948800 22708 4294967295 134512640 134716908 3221224560 3221223232 134535757 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23425 22708 1111 63 0 23362 0
vsize: 93700
[startup+590.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 23560 0 0 0 58910 95 0 0 25 0 1 0 854760837 95948800 22708 4294967295 134512640 134716908 3221224560 3221223264 134528481 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23425 22708 1111 63 0 23362 0
vsize: 93700
[startup+600.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 23560 0 0 0 59908 97 0 0 25 0 1 0 854760837 95948800 22708 4294967295 134512640 134716908 3221224560 3221223120 134542368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23425 22708 1111 63 0 23362 0
vsize: 93700
[startup+610.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 23643 0 0 0 60907 98 0 0 25 0 1 0 854760837 96186368 22791 4294967295 134512640 134716908 3221224560 3221223200 134539429 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23483 22791 1111 63 0 23420 0
vsize: 93932
[startup+620.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 23740 0 0 0 61907 99 0 0 25 0 1 0 854760837 96587776 22888 4294967295 134512640 134716908 3221224560 3221223128 1077377385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23581 22888 1111 63 0 23518 0
vsize: 94324
[startup+630.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 23885 0 0 0 62906 100 0 0 25 0 1 0 854760837 97218560 23033 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23735 23033 1111 63 0 23672 0
vsize: 94940
[startup+640.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 23939 0 0 0 63906 100 0 0 25 0 1 0 854760837 97488896 23087 4294967295 134512640 134716908 3221224560 3221223308 134675288 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23801 23087 1111 63 0 23738 0
vsize: 95204
[startup+650.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 23957 0 0 0 64905 101 0 0 25 0 1 0 854760837 97595392 23105 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23827 23105 1111 63 0 23764 0
vsize: 95308
[startup+660.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 24060 0 0 0 65904 102 0 0 25 0 1 0 854760837 97992704 23208 4294967295 134512640 134716908 3221224560 3221223272 134552673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23924 23208 1111 63 0 23861 0
vsize: 95696
[startup+670.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 24060 0 0 0 66903 103 0 0 25 0 1 0 854760837 97992704 23208 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23924 23208 1111 63 0 23861 0
vsize: 95696
[startup+680.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 24064 0 0 0 67903 104 0 0 25 0 1 0 854760837 97910784 23212 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23904 23212 1111 63 0 23841 0
vsize: 95616
[startup+690.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 24102 0 0 0 68902 105 0 0 25 0 1 0 854760837 98152448 23250 4294967295 134512640 134716908 3221224560 3221223128 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23963 23250 1111 63 0 23900 0
vsize: 95852
[startup+700.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 24150 0 0 0 69901 106 0 0 25 0 1 0 854760837 98287616 23298 4294967295 134512640 134716908 3221224560 3221223248 134542842 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23996 23298 1111 63 0 23933 0
vsize: 95984
[startup+710.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 24169 0 0 0 70901 106 0 0 25 0 1 0 854760837 98414592 23317 4294967295 134512640 134716908 3221224560 3221223236 1077374568 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24027 23317 1111 63 0 23964 0
vsize: 96108
[startup+720.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 24248 0 0 0 71900 108 0 0 25 0 1 0 854760837 98684928 23396 4294967295 134512640 134716908 3221224560 3221223136 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24093 23396 1111 63 0 24030 0
vsize: 96372
[startup+730.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 24282 0 0 0 72899 109 0 0 25 0 1 0 854760837 98910208 23430 4294967295 134512640 134716908 3221224560 3221223200 134543110 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24148 23430 1111 63 0 24085 0
vsize: 96592
[startup+740.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 24282 0 0 0 73898 110 0 0 25 0 1 0 854760837 98910208 23430 4294967295 134512640 134716908 3221224560 3221223296 134552101 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24148 23430 1111 63 0 24085 0
vsize: 96592
[startup+750.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 24282 0 0 0 74898 110 0 0 25 0 1 0 854760837 98910208 23430 4294967295 134512640 134716908 3221224560 3221223216 134536576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24148 23430 1111 63 0 24085 0
vsize: 96592
[startup+760.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 24282 0 0 0 75897 111 0 0 25 0 1 0 854760837 98910208 23430 4294967295 134512640 134716908 3221224560 3221223116 134535895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24148 23430 1111 63 0 24085 0
vsize: 96592
[startup+770.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 24282 0 0 0 76897 112 0 0 25 0 1 0 854760837 98910208 23430 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24148 23430 1111 63 0 24085 0
vsize: 96592
[startup+780.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 24368 0 0 0 77896 113 0 0 25 0 1 0 854760837 99180544 23516 4294967295 134512640 134716908 3221224560 3221223036 134535903 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24214 23516 1111 63 0 24151 0
vsize: 96856
[startup+790.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 24569 0 0 0 78895 114 0 0 25 0 1 0 854760837 100073472 23717 4294967295 134512640 134716908 3221224560 3221223344 134529243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24432 23717 1111 63 0 24369 0
vsize: 97728
[startup+800.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 24655 0 0 0 79894 115 0 0 25 0 1 0 854760837 100438016 23803 4294967295 134512640 134716908 3221224560 3221223152 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24521 23803 1111 63 0 24458 0
vsize: 98084
[startup+810.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 24655 0 0 0 80893 116 0 0 25 0 1 0 854760837 100438016 23803 4294967295 134512640 134716908 3221224560 3221223200 134698440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24521 23803 1111 63 0 24458 0
vsize: 98084
[startup+820.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 24655 0 0 0 81893 117 0 0 25 0 1 0 854760837 100429824 23803 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24519 23803 1111 63 0 24456 0
vsize: 98076
[startup+830.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 24655 0 0 0 82893 117 0 0 25 0 1 0 854760837 100429824 23803 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24519 23803 1111 63 0 24456 0
vsize: 98076
[startup+840.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 24655 0 0 0 83892 117 0 0 25 0 1 0 854760837 100429824 23803 4294967295 134512640 134716908 3221224560 3221223136 134549802 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24519 23803 1111 63 0 24456 0
vsize: 98076
[startup+850.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 24655 0 0 0 84892 118 0 0 25 0 1 0 854760837 100429824 23803 4294967295 134512640 134716908 3221224560 3221223120 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24519 23803 1111 63 0 24456 0
vsize: 98076
[startup+860.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 24655 0 0 0 85891 119 0 0 25 0 1 0 854760837 100421632 23803 4294967295 134512640 134716908 3221224560 3221223308 134675288 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24517 23803 1111 63 0 24454 0
vsize: 98068
[startup+870.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 24677 0 0 0 86891 120 0 0 25 0 1 0 854760837 100421632 23825 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24517 23825 1111 63 0 24454 0
vsize: 98068
[startup+880.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 24779 0 0 0 87889 122 0 0 25 0 1 0 854760837 100941824 23927 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24644 23927 1111 63 0 24581 0
vsize: 98576
[startup+890.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 24800 0 0 0 88888 123 0 0 25 0 1 0 854760837 100941824 23948 4294967295 134512640 134716908 3221224560 3221223184 134536680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24644 23948 1111 63 0 24581 0
vsize: 98576
[startup+900.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 24800 0 0 0 89888 123 0 0 25 0 1 0 854760837 100941824 23948 4294967295 134512640 134716908 3221224560 3221223144 134543647 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24644 23948 1111 63 0 24581 0
vsize: 98576
[startup+910.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 24847 0 0 0 90888 124 0 0 25 0 1 0 854760837 101154816 23995 4294967295 134512640 134716908 3221224560 3221223100 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24696 23995 1111 63 0 24633 0
vsize: 98784
[startup+920.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 24940 0 0 0 91887 124 0 0 25 0 1 0 854760837 101560320 24088 4294967295 134512640 134716908 3221224560 3221223296 134528816 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24795 24088 1111 63 0 24732 0
vsize: 99180
[startup+930.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 25020 0 0 0 92887 125 0 0 25 0 1 0 854760837 101945344 24168 4294967295 134512640 134716908 3221224560 3221223192 134543665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24889 24168 1111 63 0 24826 0
vsize: 99556
[startup+940.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 25020 0 0 0 93886 126 0 0 25 0 1 0 854760837 101945344 24168 4294967295 134512640 134716908 3221224560 3221223228 134542983 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24889 24168 1111 63 0 24826 0
vsize: 99556
[startup+950.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 25170 0 0 0 94885 127 0 0 25 0 1 0 854760837 102473728 24311 4294967295 134512640 134716908 3221224560 3221223144 134543589 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25018 24311 1111 63 0 24955 0
vsize: 100072
[startup+960.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 25404 0 0 0 95884 128 0 0 25 0 1 0 854760837 103374848 24545 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25238 24545 1111 63 0 25175 0
vsize: 100952
[startup+970.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 25437 0 0 0 96884 128 0 0 25 0 1 0 854760837 103510016 24578 4294967295 134512640 134716908 3221224560 3221223152 134539362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25271 24578 1111 63 0 25208 0
vsize: 101084
[startup+980.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 25684 0 0 0 97882 130 0 0 25 0 1 0 854760837 104542208 24825 4294967295 134512640 134716908 3221224560 3221223112 134698813 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25523 24825 1111 63 0 25460 0
vsize: 102092
[startup+990.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 25974 0 0 0 98881 131 0 0 25 0 1 0 854760837 105734144 25115 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25814 25115 1111 63 0 25751 0
vsize: 103256
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 26662 0 0 0 99879 134 0 0 25 0 1 0 854760837 108560384 25803 4294967295 134512640 134716908 3221224560 3221223200 134539518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26504 25803 1111 63 0 26441 0
vsize: 106016
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 26897 0 0 0 100878 135 0 0 25 0 1 0 854760837 109555712 26038 4294967295 134512640 134716908 3221224560 3221222968 134699786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26747 26038 1111 63 0 26684 0
vsize: 106988
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 27082 0 0 0 101877 136 0 0 25 0 1 0 854760837 110342144 26223 4294967295 134512640 134716908 3221224560 3221223120 134542300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26939 26223 1111 63 0 26876 0
vsize: 107756
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 27436 0 0 0 102876 138 0 0 25 0 1 0 854760837 111824896 26577 4294967295 134512640 134716908 3221224560 3221223180 134613972 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27301 26577 1111 63 0 27238 0
vsize: 109204
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 27962 0 0 0 103874 140 0 0 25 0 1 0 854760837 113934336 27103 4294967295 134512640 134716908 3221224560 3221223312 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27816 27103 1111 63 0 27753 0
vsize: 111264
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 28208 0 0 0 104873 141 0 0 25 0 1 0 854760837 114982912 27349 4294967295 134512640 134716908 3221224560 3221223312 134592421 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28072 27349 1111 63 0 28009 0
vsize: 112288
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 28397 0 0 0 105872 142 0 0 25 0 1 0 854760837 115658752 27538 4294967295 134512640 134716908 3221224560 3221223232 134594380 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28237 27538 1111 63 0 28174 0
vsize: 112948
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 28602 0 0 0 106871 144 0 0 25 0 1 0 854760837 116490240 27743 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28440 27743 1111 63 0 28377 0
vsize: 113760
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 28648 0 0 0 107870 144 0 0 25 0 1 0 854760837 116760576 27789 4294967295 134512640 134716908 3221224560 3221223296 134591997 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28506 27789 1111 63 0 28443 0
vsize: 114024
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 28801 0 0 0 108869 146 0 0 25 0 1 0 854760837 117399552 27942 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28662 27942 1111 63 0 28599 0
vsize: 114648
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 28883 0 0 0 109868 147 0 0 25 0 1 0 854760837 117665792 28024 4294967295 134512640 134716908 3221224560 3221223120 134542368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28727 28024 1111 63 0 28664 0
vsize: 114908
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 28974 0 0 0 110868 147 0 0 25 0 1 0 854760837 118013952 28115 4294967295 134512640 134716908 3221224560 3221223200 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28812 28115 1111 63 0 28749 0
vsize: 115248
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 29118 0 0 0 111867 149 0 0 25 0 1 0 854760837 118620160 28259 4294967295 134512640 134716908 3221224560 3221223200 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28960 28259 1111 63 0 28897 0
vsize: 115840
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 29214 0 0 0 112866 149 0 0 25 0 1 0 854760837 119025664 28355 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29059 28355 1111 63 0 28996 0
vsize: 116236
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 29214 0 0 0 113866 150 0 0 25 0 1 0 854760837 119025664 28355 4294967295 134512640 134716908 3221224560 3221223296 134523956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29059 28355 1111 63 0 28996 0
vsize: 116236
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 29315 0 0 0 114866 150 0 0 25 0 1 0 854760837 119431168 28456 4294967295 134512640 134716908 3221224560 3221223200 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29158 28456 1111 63 0 29095 0
vsize: 116632
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 29418 0 0 0 115866 151 0 0 25 0 1 0 854760837 119836672 28559 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29257 28559 1111 63 0 29194 0
vsize: 117028
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 29418 0 0 0 116866 151 0 0 25 0 1 0 854760837 119836672 28559 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29257 28559 1111 63 0 29194 0
vsize: 117028
[startup+1174.92 s]
Raw data (loadavg): 0.99 0.97 0.94 1/54 7973
Raw data (stat): 7973 (bsolo_lpr_cuts-) R 7972 8378 8377 0 -1 0 29418 0 0 0 116866 151 0 0 25 0 1 0 854760837 119836672 28559 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29257 28559 1111 63 0 29194 0
vsize: 0

Child status: 0
Real time (s): 1174.91
CPU time (s): 1175.06
CPU user time (s): 1173.5
CPU system time (s): 1.56876
CPU usage (%): 100.013
Max. virtual memory (Kb): 117028
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####