PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc105.opb
MD5SUM	c822b1c022f6bb2b01940173213da6e2
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	8388608
Number of bits of the biggest number in a constraint	24
Biggest sum of numbers in a constraint	22020075
Number of bits of the biggest sum of numbers	25
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	2.85756
Number of variables	2060
Total number of constraints	104
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	104
Minimum length of a constraint	40
Maximum length of a constraint	80
Trace number 27732

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        881352 kB
Buffers:         15860 kB
Cached:         115044 kB
SwapCached:       1628 kB
Active:          23412 kB
Inactive:       110484 kB
HighTotal:      131008 kB
HighFree:        66220 kB
LowTotal:       903652 kB
LowFree:        815132 kB
SwapTotal:     2097892 kB
SwapFree:      2095420 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5020 kB
Slab:            13644 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 23:24:11 (client local time) WITH STATUS 0 IN 1175.54 SECONDS
stats: 16122 7 1175.54 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2060 variables and 149 constraints.
c After prepocess the problem consists of 1726 variables and 191 constraints.
c preprocess terminated 0.914 s
c Initial Lower Bound: -6681
c Lower Bound Elapsed time: 0.20975
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.52 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
Raw data (loadavg): 0.65 0.87 0.93 2/54 28600
Raw data (stat): 28600 (runsolver) R 28599 22056 22055 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834051877 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 0.70 0.87 0.93 2/54 28600
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 7243 0 0 0 978 19 0 0 25 0 1 0 834051877 17264640 3466 4294967295 134512640 134714508 3221224592 3221220752 1075094193 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4215 3466 1111 63 0 4152 0
vsize: 16860
[startup+20.0004 s]
Raw data (loadavg): 0.75 0.88 0.93 2/54 28600
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 11713 0 0 0 1966 32 0 0 25 0 1 0 834051877 16912384 3434 4294967295 134512640 134714508 3221224592 3221222640 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4129 3434 1111 63 0 4066 0
vsize: 16516
[startup+30.0012 s]
Raw data (loadavg): 0.79 0.88 0.93 2/54 28600
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 17944 0 0 0 2949 49 0 0 25 0 1 0 834051877 17690624 3550 4294967295 134512640 134714508 3221224592 3221220664 1074950169 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4319 3550 1111 63 0 4256 0
vsize: 17276
[startup+40.0007 s]
Raw data (loadavg): 0.82 0.89 0.93 2/54 28600
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 24924 0 0 0 3928 70 0 0 25 0 1 0 834051877 17891328 3640 4294967295 134512640 134714508 3221224592 3221220556 1074860620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4368 3640 1111 63 0 4305 0
vsize: 17472
[startup+50.0019 s]
Raw data (loadavg): 0.85 0.89 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 30354 0 0 0 4914 84 0 0 25 0 1 0 834051877 18321408 3734 4294967295 134512640 134714508 3221224592 3221222460 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4473 3734 1111 63 0 4410 0
vsize: 17892
[startup+60.0026 s]
Raw data (loadavg): 0.87 0.89 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 35990 0 0 0 5898 101 0 0 25 0 1 0 834051877 19177472 3987 4294967295 134512640 134714508 3221224592 3221222376 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4682 3987 1111 63 0 4619 0
vsize: 18728
[startup+70.0021 s]
Raw data (loadavg): 0.89 0.89 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 38322 0 0 0 6890 109 0 0 25 0 1 0 834051877 19177472 3987 4294967295 134512640 134714508 3221224592 3221222704 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4682 3987 1111 63 0 4619 0
vsize: 18728
[startup+80.0032 s]
Raw data (loadavg): 0.91 0.90 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 41290 0 0 0 7880 119 0 0 25 0 1 0 834051877 19496960 4065 4294967295 134512640 134714508 3221224592 3221222640 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4760 4065 1111 63 0 4697 0
vsize: 19040
[startup+90.003 s]
Raw data (loadavg): 0.92 0.90 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 43583 0 0 0 8872 127 0 0 25 0 1 0 834051877 19496960 4065 4294967295 134512640 134714508 3221224592 3221222376 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4760 4065 1111 63 0 4697 0
vsize: 19040
[startup+100.003 s]
Raw data (loadavg): 0.93 0.90 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 45126 0 0 0 9866 133 0 0 25 0 1 0 834051877 19898368 4125 4294967295 134512640 134714508 3221224592 3221220752 1074815253 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4858 4125 1111 63 0 4795 0
vsize: 19432
[startup+110.004 s]
Raw data (loadavg): 0.94 0.91 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 48131 0 0 0 10856 144 0 0 25 0 1 0 834051877 19750912 4079 4294967295 134512640 134714508 3221224592 3221222704 1074867328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4822 4079 1111 63 0 4759 0
vsize: 19288
[startup+120.003 s]
Raw data (loadavg): 0.95 0.91 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 52356 0 0 0 11842 157 0 0 25 0 1 0 834051877 20283392 4221 4294967295 134512640 134714508 3221224592 3221222944 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4952 4221 1111 63 0 4889 0
vsize: 19808
[startup+130.004 s]
Raw data (loadavg): 0.96 0.91 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 55536 0 0 0 12833 166 0 0 25 0 1 0 834051877 20340736 4272 4294967295 134512640 134714508 3221224592 3221221124 1075863657 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4966 4272 1111 63 0 4903 0
vsize: 19864
[startup+140.004 s]
Raw data (loadavg): 0.96 0.91 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 55579 0 0 0 13832 168 0 0 25 0 1 0 834051877 20340736 4272 4294967295 134512640 134714508 3221224592 3221222480 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4966 4272 1111 63 0 4903 0
vsize: 19864
[startup+150.005 s]
Raw data (loadavg): 0.97 0.92 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 56145 0 0 0 14830 170 0 0 25 0 1 0 834051877 20496384 4279 4294967295 134512640 134714508 3221224592 3221220844 1077410128 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5004 4279 1111 63 0 4941 0
vsize: 20016
[startup+160.004 s]
Raw data (loadavg): 0.97 0.92 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 59391 0 0 0 15820 180 0 0 25 0 1 0 834051877 20709376 4324 4294967295 134512640 134714508 3221224592 3221222592 1074056610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5056 4324 1111 63 0 4993 0
vsize: 20224
[startup+170.004 s]
Raw data (loadavg): 0.98 0.92 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 64087 0 0 0 16807 194 0 0 25 0 1 0 834051877 20811776 4350 4294967295 134512640 134714508 3221224592 3221222816 1074057922 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5081 4350 1111 63 0 5018 0
vsize: 20324
[startup+180.005 s]
Raw data (loadavg): 0.98 0.92 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 68792 0 0 0 17792 209 0 0 25 0 1 0 834051877 20721664 4329 4294967295 134512640 134714508 3221224592 3221222816 134650508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5059 4329 1111 63 0 4996 0
vsize: 20236
[startup+190.005 s]
Raw data (loadavg): 0.98 0.92 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 72813 0 0 0 18780 221 0 0 25 0 1 0 834051877 20877312 4361 4294967295 134512640 134714508 3221224592 3221223304 1077377848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5097 4361 1111 63 0 5034 0
vsize: 20388
[startup+200.006 s]
Raw data (loadavg): 0.98 0.93 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 77389 0 0 0 19768 233 0 0 25 0 1 0 834051877 20541440 4321 4294967295 134512640 134714508 3221224592 3221222896 1074153812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5015 4321 1111 63 0 4952 0
vsize: 20060
[startup+210.006 s]
Raw data (loadavg): 0.99 0.93 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 82156 0 0 0 20756 245 0 0 25 0 1 0 834051877 20914176 4376 4294967295 134512640 134714508 3221224592 3221222272 1074051558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5106 4376 1111 63 0 5043 0
vsize: 20424
[startup+220.006 s]
Raw data (loadavg): 0.99 0.93 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 87219 0 0 0 21741 260 0 0 25 0 1 0 834051877 20824064 4382 4294967295 134512640 134714508 3221224592 3221221872 1074140041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5084 4384 1111 63 0 5021 0
vsize: 20336
[startup+230.006 s]
Raw data (loadavg): 0.99 0.93 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 92363 0 0 0 22728 274 0 0 25 0 1 0 834051877 21323776 4444 4294967295 134512640 134714508 3221224592 3221220912 1075169987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5206 4444 1111 63 0 5143 0
vsize: 20824
[startup+240.006 s]
Raw data (loadavg): 0.99 0.93 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 97468 0 0 0 23712 290 0 0 25 0 1 0 834051877 21282816 4463 4294967295 134512640 134714508 3221224592 3221222856 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5196 4463 1111 63 0 5133 0
vsize: 20784
[startup+250.007 s]
Raw data (loadavg): 0.99 0.94 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 102578 0 0 0 24699 303 0 0 25 0 1 0 834051877 21336064 4451 4294967295 134512640 134714508 3221224592 3221222896 1074115298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5209 4454 1111 63 0 5146 0
vsize: 20836
[startup+260.009 s]
Raw data (loadavg): 0.99 0.94 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 105432 0 0 0 25691 312 0 0 25 0 1 0 834051877 21340160 4488 4294967295 134512640 134714508 3221224592 3221222560 1075961292 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5210 4488 1111 63 0 5147 0
vsize: 20840
[startup+270.008 s]
Raw data (loadavg): 0.99 0.94 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 108716 0 0 0 26681 322 0 0 25 0 1 0 834051877 21221376 4487 4294967295 134512640 134714508 3221224592 3221222000 1074050818 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5181 4487 1111 63 0 5118 0
vsize: 20724
[startup+280.008 s]
Raw data (loadavg): 0.99 0.94 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 110969 0 0 0 27673 330 0 0 25 0 1 0 834051877 21291008 4499 4294967295 134512640 134714508 3221224592 3221222320 1075828224 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5198 4499 1111 63 0 5135 0
vsize: 20792
[startup+290.008 s]
Raw data (loadavg): 0.99 0.94 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 111717 0 0 0 28669 334 0 0 25 0 1 0 834051877 21291008 4498 4294967295 134512640 134714508 3221224592 3221222644 1077378730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5198 4498 1111 63 0 5135 0
vsize: 20792
[startup+300.008 s]
Raw data (loadavg): 0.99 0.94 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 112009 0 0 0 29666 337 0 0 25 0 1 0 834051877 21291008 4499 4294967295 134512640 134714508 3221224592 3221222316 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5198 4499 1111 63 0 5135 0
vsize: 20792
[startup+310.009 s]
Raw data (loadavg): 0.99 0.94 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 112549 0 0 0 30662 342 0 0 25 0 1 0 834051877 21311488 4504 4294967295 134512640 134714508 3221224592 3221222232 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5198 4504 1111 63 0 5135 0
vsize: 20812
[startup+320.009 s]
Raw data (loadavg): 0.99 0.95 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 113142 0 0 0 31658 346 0 0 25 0 1 0 834051877 21291008 4498 4294967295 134512640 134714508 3221224592 3221221648 1074138732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5198 4498 1111 63 0 5135 0
vsize: 20792
[startup+330.01 s]
Raw data (loadavg): 0.99 0.95 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 113694 0 0 0 32654 350 0 0 25 0 1 0 834051877 21291008 4498 4294967295 134512640 134714508 3221224592 3221222896 1074115298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5198 4498 1111 63 0 5135 0
vsize: 20792
[startup+340.009 s]
Raw data (loadavg): 0.99 0.95 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 114191 0 0 0 33650 354 0 0 25 0 1 0 834051877 21377024 4520 4294967295 134512640 134714508 3221224592 3221222000 1074050818 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5219 4520 1111 63 0 5156 0
vsize: 20876
[startup+350.01 s]
Raw data (loadavg): 0.99 0.95 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 114315 0 0 0 34648 356 0 0 25 0 1 0 834051877 21532672 4521 4294967295 134512640 134714508 3221224592 3221220588 1074873456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5257 4521 1111 63 0 5194 0
vsize: 21028
[startup+360.01 s]
Raw data (loadavg): 0.99 0.95 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 114418 0 0 0 35648 356 0 0 25 0 1 0 834051877 21356544 4520 4294967295 134512640 134714508 3221224592 3221222656 1074153766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5214 4520 1111 63 0 5151 0
vsize: 20856
[startup+370.009 s]
Raw data (loadavg): 0.99 0.95 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 114578 0 0 0 36646 358 0 0 25 0 1 0 834051877 21356544 4520 4294967295 134512640 134714508 3221224592 3221222416 1075823504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5214 4520 1111 63 0 5151 0
vsize: 20856
[startup+380.009 s]
Raw data (loadavg): 0.99 0.95 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 114728 0 0 0 37645 360 0 0 25 0 1 0 834051877 21377024 4520 4294967295 134512640 134714508 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5219 4520 1111 63 0 5156 0
vsize: 20876
[startup+390.01 s]
Raw data (loadavg): 0.99 0.95 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 114844 0 0 0 38644 361 0 0 25 0 1 0 834051877 21356544 4520 4294967295 134512640 134714508 3221224592 3221222704 1074867344 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5214 4520 1111 63 0 5151 0
vsize: 20856
[startup+400.01 s]
Raw data (loadavg): 0.99 0.95 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 114864 0 0 0 39643 362 0 0 25 0 1 0 834051877 21532672 4521 4294967295 134512640 134714508 3221224592 3221221696 1075969877 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5257 4521 1111 63 0 5194 0
vsize: 21028
[startup+410.01 s]
Raw data (loadavg): 0.99 0.95 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 115077 0 0 0 40642 363 0 0 25 0 1 0 834051877 21377024 4525 4294967295 134512640 134714508 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5219 4525 1111 63 0 5156 0
vsize: 20876
[startup+420.01 s]
Raw data (loadavg): 0.99 0.95 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 115325 0 0 0 41640 366 0 0 25 0 1 0 834051877 21377024 4520 4294967295 134512640 134714508 3221224592 3221222544 1074153812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5219 4520 1111 63 0 5156 0
vsize: 20876
[startup+430.01 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 115605 0 0 0 42638 368 0 0 25 0 1 0 834051877 21377024 4520 4294967295 134512640 134714508 3221224592 3221222880 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5219 4520 1111 63 0 5156 0
vsize: 20876
[startup+440.01 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 115857 0 0 0 43636 370 0 0 25 0 1 0 834051877 21377024 4520 4294967295 134512640 134714508 3221224592 3221222592 1074916864 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5219 4520 1111 63 0 5156 0
vsize: 20876
[startup+450.01 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 116014 0 0 0 44634 372 0 0 25 0 1 0 834051877 21356544 4520 4294967295 134512640 134714508 3221224592 3221222240 1075818209 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5214 4520 1111 63 0 5151 0
vsize: 20856
[startup+460.01 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 116100 0 0 0 45633 373 0 0 25 0 1 0 834051877 21377024 4520 4294967295 134512640 134714508 3221224592 3221222944 1074142880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5219 4520 1111 63 0 5156 0
vsize: 20876
[startup+470.01 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 116229 0 0 0 46632 374 0 0 25 0 1 0 834051877 21377024 4520 4294967295 134512640 134714508 3221224592 3221223232 1074028241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5219 4520 1111 63 0 5156 0
vsize: 20876
[startup+480.011 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 116365 0 0 0 47630 376 0 0 25 0 1 0 834051877 21356544 4520 4294967295 134512640 134714508 3221224592 3221221512 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5214 4520 1111 63 0 5151 0
vsize: 20856
[startup+490.011 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 116585 0 0 0 48629 378 0 0 25 0 1 0 834051877 21377024 4525 4294967295 134512640 134714508 3221224592 3221222456 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5219 4525 1111 63 0 5156 0
vsize: 20876
[startup+500.012 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 116901 0 0 0 49627 379 0 0 25 0 1 0 834051877 21377024 4520 4294967295 134512640 134714508 3221224592 3221222944 1074115298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5219 4520 1111 63 0 5156 0
vsize: 20876
[startup+510.017 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 117183 0 0 0 50626 382 0 0 25 0 1 0 834051877 21356544 4520 4294967295 134512640 134714508 3221224592 3221222776 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5214 4520 1111 63 0 5151 0
vsize: 20856
[startup+520.016 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 117561 0 0 0 51623 384 0 0 25 0 1 0 834051877 21377024 4520 4294967295 134512640 134714508 3221224592 3221222416 1075823337 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5219 4520 1111 63 0 5156 0
vsize: 20876
[startup+530.017 s]
Raw data (loadavg): 1.07 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 118850 0 0 0 52619 389 0 0 25 0 1 0 834051877 21377024 4525 4294967295 134512640 134714508 3221224592 3221222688 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5219 4525 1111 63 0 5156 0
vsize: 20876
[startup+540.018 s]
Raw data (loadavg): 1.06 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 119456 0 0 0 53616 392 0 0 25 0 1 0 834051877 21377024 4524 4294967295 134512640 134714508 3221224592 3221222592 1074918533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5219 4524 1111 63 0 5156 0
vsize: 20876
[startup+550.018 s]
Raw data (loadavg): 1.05 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 120250 0 0 0 54613 395 0 0 25 0 1 0 834051877 21585920 4527 4294967295 134512640 134714508 3221224592 3221220556 1074860632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5270 4527 1111 63 0 5207 0
vsize: 21080
[startup+560.018 s]
Raw data (loadavg): 1.04 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 122478 0 0 0 55607 401 0 0 25 0 1 0 834051877 21377024 4525 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5219 4525 1111 63 0 5156 0
vsize: 20876
[startup+570.018 s]
Raw data (loadavg): 1.03 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 124392 0 0 0 56599 409 0 0 25 0 1 0 834051877 21377024 4525 4294967295 134512640 134714508 3221224592 3221222776 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5219 4525 1111 63 0 5156 0
vsize: 20876
[startup+580.018 s]
Raw data (loadavg): 1.03 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 125380 0 0 0 57595 414 0 0 25 0 1 0 834051877 21377024 4524 4294967295 134512640 134714508 3221224592 3221222896 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5219 4524 1111 63 0 5156 0
vsize: 20876
[startup+590.018 s]
Raw data (loadavg): 1.02 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 126471 0 0 0 58590 419 0 0 25 0 1 0 834051877 21532672 4526 4294967295 134512640 134714508 3221224592 3221221632 1075859942 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5257 4526 1111 63 0 5194 0
vsize: 21028
[startup+600.018 s]
Raw data (loadavg): 1.02 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 127604 0 0 0 59585 424 0 0 25 0 1 0 834051877 21532672 4526 4294967295 134512640 134714508 3221224592 3221221632 1075860599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5257 4526 1111 63 0 5194 0
vsize: 21028
[startup+610.019 s]
Raw data (loadavg): 1.02 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 128903 0 0 0 60579 430 0 0 25 0 1 0 834051877 21377024 4520 4294967295 134512640 134714508 3221224592 3221221648 1074138642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5219 4520 1111 63 0 5156 0
vsize: 20876
[startup+620.018 s]
Raw data (loadavg): 1.01 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 131538 0 0 0 61571 439 0 0 25 0 1 0 834051877 21524480 4526 4294967295 134512640 134714508 3221224592 3221222704 1074867352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5255 4526 1111 63 0 5192 0
vsize: 21020
[startup+630.019 s]
Raw data (loadavg): 1.01 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 134683 0 0 0 62560 450 0 0 25 0 1 0 834051877 21712896 4543 4294967295 134512640 134714508 3221224592 3221221664 1074867337 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5301 4543 1111 63 0 5238 0
vsize: 21204
[startup+640.019 s]
Raw data (loadavg): 1.01 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 137327 0 0 0 63551 459 0 0 25 0 1 0 834051877 21626880 4551 4294967295 134512640 134714508 3221224592 3221222648 1074138285 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5280 4551 1111 63 0 5217 0
vsize: 21120
[startup+650.021 s]
Raw data (loadavg): 1.01 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 140379 0 0 0 64542 468 0 0 25 0 1 0 834051877 21757952 4555 4294967295 134512640 134714508 3221224592 3221220752 1074794542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5312 4555 1111 63 0 5249 0
vsize: 21248
[startup+660.024 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 143586 0 0 0 65532 478 0 0 25 0 1 0 834051877 21356544 4520 4294967295 134512640 134714508 3221224592 3221222384 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5214 4520 1111 63 0 5151 0
vsize: 20856
[startup+670.024 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 147082 0 0 0 66522 489 0 0 25 0 1 0 834051877 21729280 4548 4294967295 134512640 134714508 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5305 4550 1111 63 0 5242 0
vsize: 21220
[startup+680.023 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 150883 0 0 0 67510 501 0 0 25 0 1 0 834051877 21549056 4540 4294967295 134512640 134714508 3221224592 3221222544 1074918093 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5261 4540 1111 63 0 5198 0
vsize: 21044
[startup+690.023 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 154421 0 0 0 68501 510 0 0 25 0 1 0 834051877 21377024 4525 4294967295 134512640 134714508 3221224592 3221222832 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5219 4525 1111 63 0 5156 0
vsize: 20876
[startup+700.024 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 157817 0 0 0 69491 521 0 0 25 0 1 0 834051877 21524480 4534 4294967295 134512640 134714508 3221224592 3221222544 1074918343 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5255 4534 1111 63 0 5192 0
vsize: 21020
[startup+710.024 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 161275 0 0 0 70480 532 0 0 25 0 1 0 834051877 21377024 4525 4294967295 134512640 134714508 3221224592 3221222336 1075636586 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5219 4525 1111 63 0 5156 0
vsize: 20876
[startup+720.024 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 165335 0 0 0 71468 543 0 0 25 0 1 0 834051877 21520384 4528 4294967295 134512640 134714508 3221224592 3221222512 1075799503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5254 4528 1111 63 0 5191 0
vsize: 21016
[startup+730.024 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 169392 0 0 0 72457 555 0 0 25 0 1 0 834051877 21708800 4536 4294967295 134512640 134714508 3221224592 3221221536 1074620182 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5300 4536 1111 63 0 5237 0
vsize: 21200
[startup+740.024 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 174273 0 0 0 73444 568 0 0 25 0 1 0 834051877 21770240 4552 4294967295 134512640 134714508 3221224592 3221222624 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5315 4552 1111 63 0 5252 0
vsize: 21260
[startup+750.025 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 178673 0 0 0 74431 582 0 0 25 0 1 0 834051877 21377024 4525 4294967295 134512640 134714508 3221224592 3221222632 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5219 4525 1111 63 0 5156 0
vsize: 20876
[startup+760.026 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 183549 0 0 0 75416 597 0 0 25 0 1 0 834051877 21512192 4556 4294967295 134512640 134714508 3221224592 3221222332 1077411566 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5252 4556 1111 63 0 5189 0
vsize: 21008
[startup+770.026 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 189146 0 0 0 76400 613 0 0 25 0 1 0 834051877 21991424 4615 4294967295 134512640 134714508 3221224592 3221222320 1075635444 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5369 4615 1111 63 0 5306 0
vsize: 21476
[startup+780.027 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 192430 0 0 0 77391 622 0 0 25 0 1 0 834051877 21655552 4593 4294967295 134512640 134714508 3221224592 3221222816 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5287 4593 1111 63 0 5224 0
vsize: 21148
[startup+790.026 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 194924 0 0 0 78381 632 0 0 25 0 1 0 834051877 21860352 4600 4294967295 134512640 134714508 3221224592 3221222576 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5337 4600 1111 63 0 5274 0
vsize: 21348
[startup+800.027 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 196854 0 0 0 79374 639 0 0 25 0 1 0 834051877 21655552 4593 4294967295 134512640 134714508 3221224592 3221222600 1077374896 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5287 4593 1111 63 0 5224 0
vsize: 21148
[startup+810.027 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 199350 0 0 0 80363 650 0 0 25 0 1 0 834051877 21655552 4593 4294967295 134512640 134714508 3221224592 3221221824 1074139998 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5287 4593 1111 63 0 5224 0
vsize: 21148
[startup+820.027 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 201559 0 0 0 81355 658 0 0 25 0 1 0 834051877 21995520 4610 4294967295 134512640 134714508 3221224592 3221220736 1074968932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5370 4610 1111 63 0 5307 0
vsize: 21480
[startup+830.028 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 203943 0 0 0 82345 669 0 0 25 0 1 0 834051877 21680128 4595 4294967295 134512640 134714508 3221224592 3221222188 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5293 4595 1111 63 0 5230 0
vsize: 21172
[startup+840.027 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 206468 0 0 0 83335 679 0 0 25 0 1 0 834051877 21860352 4600 4294967295 134512640 134714508 3221224592 3221222624 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5337 4600 1111 63 0 5274 0
vsize: 21348
[startup+850.028 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 209361 0 0 0 84327 687 0 0 25 0 1 0 834051877 21655552 4593 4294967295 134512640 134714508 3221224592 3221222800 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5287 4593 1111 63 0 5224 0
vsize: 21148
[startup+860.028 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 212821 0 0 0 85317 698 0 0 25 0 1 0 834051877 21655552 4593 4294967295 134512640 134714508 3221224592 3221222752 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5287 4593 1111 63 0 5224 0
vsize: 21148
[startup+870.028 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 216804 0 0 0 86303 711 0 0 25 0 1 0 834051877 21676032 4598 4294967295 134512640 134714508 3221224592 3221222568 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5292 4598 1111 63 0 5229 0
vsize: 21168
[startup+880.027 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 220942 0 0 0 87289 725 0 0 25 0 1 0 834051877 21946368 4630 4294967295 134512640 134714508 3221224592 3221222752 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5358 4630 1111 63 0 5295 0
vsize: 21432
[startup+890.028 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 226034 0 0 0 88276 738 0 0 25 0 1 0 834051877 22077440 4627 4294967295 134512640 134714508 3221224592 3221221656 1077377851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5390 4630 1111 63 0 5327 0
vsize: 21560
[startup+900.028 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 231867 0 0 0 89262 752 0 0 25 0 1 0 834051877 21901312 4616 4294967295 134512640 134714508 3221224592 3221222704 1074867274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5347 4616 1111 63 0 5284 0
vsize: 21388
[startup+910.028 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 237420 0 0 0 90247 768 0 0 25 0 1 0 834051877 22147072 4674 4294967295 134512640 134714508 3221224592 3221222120 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5407 4674 1111 63 0 5344 0
vsize: 21628
[startup+920.028 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 241065 0 0 0 91235 780 0 0 25 0 1 0 834051877 22020096 4637 4294967295 134512640 134714508 3221224592 3221222320 1075828215 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5376 4637 1111 63 0 5313 0
vsize: 21504
[startup+930.028 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 244032 0 0 0 92224 791 0 0 25 0 1 0 834051877 21999616 4637 4294967295 134512640 134714508 3221224592 3221222512 1075799725 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5371 4637 1111 63 0 5308 0
vsize: 21484
[startup+940.028 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 247136 0 0 0 93212 804 0 0 25 0 1 0 834051877 21831680 4636 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5330 4636 1111 63 0 5267 0
vsize: 21320
[startup+950.029 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 250176 0 0 0 94201 815 0 0 25 0 1 0 834051877 21831680 4636 4294967295 134512640 134714508 3221224592 3221222336 1075645385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5330 4636 1111 63 0 5267 0
vsize: 21320
[startup+960.03 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 253246 0 0 0 95190 826 0 0 25 0 1 0 834051877 21831680 4636 4294967295 134512640 134714508 3221224592 3221222752 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5330 4636 1111 63 0 5267 0
vsize: 21320
[startup+970.03 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 256403 0 0 0 96179 837 0 0 25 0 1 0 834051877 22175744 4664 4294967295 134512640 134714508 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5414 4664 1111 63 0 5351 0
vsize: 21656
[startup+980.03 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 259578 0 0 0 97168 848 0 0 25 0 1 0 834051877 21856256 4642 4294967295 134512640 134714508 3221224592 3221222848 1074153466 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5336 4642 1111 63 0 5273 0
vsize: 21344
[startup+990.029 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 262734 0 0 0 98157 860 0 0 25 0 1 0 834051877 22102016 4668 4294967295 134512640 134714508 3221224592 3221222896 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5396 4668 1111 63 0 5333 0
vsize: 21584
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 266083 0 0 0 99147 870 0 0 25 0 1 0 834051877 22126592 4666 4294967295 134512640 134714508 3221224592 3221222288 1075646971 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5402 4666 1111 63 0 5339 0
vsize: 21608
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 269577 0 0 0 100136 881 0 0 25 0 1 0 834051877 21876736 4642 4294967295 134512640 134714508 3221224592 3221221704 1077378088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5341 4642 1111 63 0 5278 0
vsize: 21364
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 273215 0 0 0 101125 892 0 0 25 0 1 0 834051877 22122496 4646 4294967295 134512640 134714508 3221224592 3221222592 1074056262 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5401 4646 1111 63 0 5338 0
vsize: 21604
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 277426 0 0 0 102111 906 0 0 25 0 1 0 834051877 22286336 4678 4294967295 134512640 134714508 3221224592 3221222392 1075007302 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5441 4678 1111 63 0 5378 0
vsize: 21764
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 282498 0 0 0 103095 922 0 0 25 0 1 0 834051877 21925888 4657 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5353 4657 1111 63 0 5290 0
vsize: 21412
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 287860 0 0 0 104078 939 0 0 25 0 1 0 834051877 22261760 4702 4294967295 134512640 134714508 3221224592 3221222600 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5435 4702 1111 63 0 5372 0
vsize: 21740
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 292365 0 0 0 105065 952 0 0 25 0 1 0 834051877 21950464 4665 4294967295 134512640 134714508 3221224592 3221222688 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5359 4665 1111 63 0 5296 0
vsize: 21436
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 297325 0 0 0 106051 967 0 0 25 0 1 0 834051877 22257664 4695 4294967295 134512640 134714508 3221224592 3221222272 1075635940 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5434 4695 1111 63 0 5371 0
vsize: 21736
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 302593 0 0 0 107033 985 0 0 25 0 1 0 834051877 22405120 4687 4294967295 134512640 134714508 3221224592 3221221436 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5470 4687 1111 63 0 5407 0
vsize: 21880
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 308876 0 0 0 108017 1001 0 0 25 0 1 0 834051877 21987328 4655 4294967295 134512640 134714508 3221224592 3221223008 1074116176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5368 4655 1111 63 0 5305 0
vsize: 21472
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 314644 0 0 0 108998 1020 0 0 25 0 1 0 834051877 22302720 4680 4294967295 134512640 134714508 3221224592 3221222816 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5445 4680 1111 63 0 5382 0
vsize: 21780
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 320062 0 0 0 109982 1036 0 0 25 0 1 0 834051877 22265856 4690 4294967295 134512640 134714508 3221224592 3221222108 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5436 4690 1111 63 0 5373 0
vsize: 21744
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 325113 0 0 0 110966 1053 0 0 25 0 1 0 834051877 21991424 4674 4294967295 134512640 134714508 3221224592 3221222724 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5369 4674 1111 63 0 5306 0
vsize: 21476
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 330313 0 0 0 111949 1070 0 0 25 0 1 0 834051877 22048768 4659 4294967295 134512640 134714508 3221224592 3221222512 1075802510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5383 4659 1111 63 0 5320 0
vsize: 21532
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 335180 0 0 0 112934 1085 0 0 25 0 1 0 834051877 22224896 4698 4294967295 134512640 134714508 3221224592 3221222808 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5426 4698 1111 63 0 5363 0
vsize: 21704
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 339862 0 0 0 113922 1097 0 0 25 0 1 0 834051877 22245376 4675 4294967295 134512640 134714508 3221224592 3221222352 1075823604 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5431 4675 1111 63 0 5368 0
vsize: 21724
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 345073 0 0 0 114908 1111 0 0 25 0 1 0 834051877 22253568 4703 4294967295 134512640 134714508 3221224592 3221222740 1077374149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5433 4703 1111 63 0 5370 0
vsize: 21732
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.98 0.94 2/54 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 349874 0 0 0 115892 1128 0 0 25 0 1 0 834051877 21929984 4660 4294967295 134512640 134714508 3221224592 3221222280 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5354 4660 1111 63 0 5291 0
vsize: 21416
[startup+1175.37 s]
Raw data (loadavg): 1.00 0.98 0.94 1/53 28602
Raw data (stat): 28600 (bsolo_lpr_cuts) R 28599 22056 22055 0 -1 0 349874 0 0 0 115892 1128 0 0 25 0 1 0 834051877 21929984 4660 4294967295 134512640 134714508 3221224592 3221222280 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5354 4660 1111 63 0 5291 0
vsize: 0

Child status: 0
Real time (s): 1175.37
CPU time (s): 1175.54
CPU user time (s): 1164.18
CPU system time (s): 11.3513
CPU usage (%): 100.014
Max. virtual memory (Kb): 21880
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####