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-ship08l.opb
MD5SUM	0a05016ca1456223450d9ec498a510c4
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	85660
Biggest coefficient in the objective function	425249996800
Number of bits for the biggest coefficient in the objective function	39
Sum of the numbers in the objective function	200022778005600
Number of bits of the sum of numbers in the objective function	48
Biggest number in a constraint	425249996800
Number of bits of the biggest number in a constraint	39
Biggest sum of numbers in a constraint	200022778005600
Number of bits of the biggest sum of numbers	48
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.776881
Number of variables	85660
Total number of constraints	712
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	712
Minimum length of a constraint	20
Maximum length of a constraint	1700
Trace number 41426

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-09 12:04:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29480 boxname=wulflinc1 idbench=1264 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  0a05016ca1456223450d9ec498a510c4  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-ship08l.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-ship08l.opb
IDLAUNCH: 29480
/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:        583744 kB
Buffers:         27368 kB
Cached:         399080 kB
SwapCached:       1136 kB
Active:          34868 kB
Inactive:       393772 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        583492 kB
SwapTotal:     2097136 kB
SwapFree:      2094824 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5260 kB
Slab:            16588 kB
Committed_AS:    92708 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 12:24:06 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 29480 7 1200.27 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.97 0.91 2/55 5598
Raw data (stat): 5598 (runsolver) R 5597 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 853273277 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.0003 s]
Raw data (loadavg): 0.93 0.97 0.91 2/55 5598
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 1161 0 0 0 994 3 0 0 25 0 1 0 853273277 15917056 1081 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3886 1081 1111 63 0 3823 0
vsize: 15544
[startup+20.001 s]
Raw data (loadavg): 0.94 0.97 0.91 2/55 5598
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 1341 0 0 0 1994 4 0 0 25 0 1 0 853273277 16621568 1261 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4058 1261 1111 63 0 3995 0
vsize: 16232
[startup+30.0008 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 5598
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 1548 0 0 0 2994 4 0 0 25 0 1 0 853273277 17473536 1468 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4266 1468 1111 63 0 4203 0
vsize: 17064
[startup+40.0006 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 5598
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 1764 0 0 0 3994 5 0 0 25 0 1 0 853273277 18325504 1684 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4474 1684 1111 63 0 4411 0
vsize: 17896
[startup+50.0014 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 5598
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 1978 0 0 0 4994 5 0 0 25 0 1 0 853273277 19177472 1898 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4682 1898 1111 63 0 4619 0
vsize: 18728
[startup+60.0011 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 5598
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 2192 0 0 0 5994 5 0 0 25 0 1 0 853273277 20025344 2112 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4889 2112 1111 63 0 4826 0
vsize: 19556
[startup+70.0019 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 5598
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 2411 0 0 0 6994 5 0 0 25 0 1 0 853273277 21008384 2331 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5129 2331 1111 63 0 5066 0
vsize: 20516
[startup+80.0028 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 5598
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 2624 0 0 0 7994 5 0 0 25 0 1 0 853273277 21852160 2544 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5335 2544 1111 63 0 5272 0
vsize: 21340
[startup+90.0025 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 2839 0 0 0 8993 6 0 0 25 0 1 0 853273277 22700032 2759 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5542 2759 1111 63 0 5479 0
vsize: 22168
[startup+100.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 3053 0 0 0 9993 6 0 0 25 0 1 0 853273277 23552000 2973 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5750 2973 1111 63 0 5687 0
vsize: 23000
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 3272 0 0 0 10993 7 0 0 25 0 1 0 853273277 24535040 3192 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5990 3192 1111 63 0 5927 0
vsize: 23960
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 3480 0 0 0 11992 8 0 0 25 0 1 0 853273277 25382912 3400 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6197 3400 1111 63 0 6134 0
vsize: 24788
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 3700 0 0 0 12992 8 0 0 25 0 1 0 853273277 26234880 3620 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6405 3620 1111 63 0 6342 0
vsize: 25620
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 3922 0 0 0 13992 8 0 0 25 0 1 0 853273277 27242496 3842 4294967295 134512640 134716908 3221224560 3221222788 1077414347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6651 3842 1111 63 0 6588 0
vsize: 26604
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 4136 0 0 0 14992 9 0 0 25 0 1 0 853273277 28086272 4056 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6857 4056 1111 63 0 6794 0
vsize: 27428
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 4356 0 0 0 15991 9 0 0 25 0 1 0 853273277 28934144 4276 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7064 4276 1111 63 0 7001 0
vsize: 28256
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 4578 0 0 0 16991 9 0 0 25 0 1 0 853273277 29925376 4498 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7306 4498 1111 63 0 7243 0
vsize: 29224
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 4800 0 0 0 17991 10 0 0 25 0 1 0 853273277 30773248 4720 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7513 4720 1111 63 0 7450 0
vsize: 30052
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 5019 0 0 0 18991 10 0 0 25 0 1 0 853273277 31617024 4939 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7719 4939 1111 63 0 7656 0
vsize: 30876
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 5241 0 0 0 19991 10 0 0 25 0 1 0 853273277 32604160 5161 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7960 5161 1111 63 0 7897 0
vsize: 31840
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 5463 0 0 0 20991 10 0 0 25 0 1 0 853273277 33456128 5383 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8168 5383 1111 63 0 8105 0
vsize: 32672
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 5685 0 0 0 21990 11 0 0 25 0 1 0 853273277 34443264 5605 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8409 5605 1111 63 0 8346 0
vsize: 33636
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 5904 0 0 0 22991 11 0 0 25 0 1 0 853273277 35287040 5824 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8615 5824 1111 63 0 8552 0
vsize: 34460
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 6125 0 0 0 23991 11 0 0 25 0 1 0 853273277 36134912 6045 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8822 6045 1111 63 0 8759 0
vsize: 35288
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 6347 0 0 0 24990 12 0 0 25 0 1 0 853273277 37126144 6267 4294967295 134512640 134716908 3221224560 3221222788 1077414372 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9064 6267 1111 63 0 9001 0
vsize: 36256
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 6585 0 0 0 25990 12 0 0 25 0 1 0 853273277 38125568 6505 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9308 6505 1111 63 0 9245 0
vsize: 37232
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 6811 0 0 0 26990 12 0 0 25 0 1 0 853273277 39108608 6731 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9548 6731 1111 63 0 9485 0
vsize: 38192
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 7034 0 0 0 27990 13 0 0 25 0 1 0 853273277 39956480 6954 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9755 6954 1111 63 0 9692 0
vsize: 39020
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 7262 0 0 0 28990 13 0 0 25 0 1 0 853273277 40947712 7182 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9997 7182 1111 63 0 9934 0
vsize: 39988
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 7477 0 0 0 29989 13 0 0 25 0 1 0 853273277 41799680 7397 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10205 7397 1111 63 0 10142 0
vsize: 40820
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 7704 0 0 0 30989 14 0 0 25 0 1 0 853273277 42639360 7624 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10410 7624 1111 63 0 10347 0
vsize: 41640
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 7926 0 0 0 31989 14 0 0 25 0 1 0 853273277 43630592 7846 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10652 7846 1111 63 0 10589 0
vsize: 42608
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 8154 0 0 0 32989 15 0 0 25 0 1 0 853273277 44478464 8074 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10859 8074 1111 63 0 10796 0
vsize: 43436
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 8376 0 0 0 33989 15 0 0 25 0 1 0 853273277 45469696 8296 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11101 8296 1111 63 0 11038 0
vsize: 44404
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 8598 0 0 0 34988 16 0 0 25 0 1 0 853273277 46313472 8518 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11307 8518 1111 63 0 11244 0
vsize: 45228
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 8831 0 0 0 35988 16 0 0 25 0 1 0 853273277 47300608 8751 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11548 8751 1111 63 0 11485 0
vsize: 46192
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 9060 0 0 0 36988 16 0 0 25 0 1 0 853273277 48291840 8980 4294967295 134512640 134716908 3221224560 3221222788 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11790 8980 1111 63 0 11727 0
vsize: 47160
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 9296 0 0 0 37988 17 0 0 25 0 1 0 853273277 49139712 9216 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11997 9216 1111 63 0 11934 0
vsize: 47988
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 9524 0 0 0 38988 17 0 0 25 0 1 0 853273277 50126848 9444 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12238 9444 1111 63 0 12175 0
vsize: 48952
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 9758 0 0 0 39988 17 0 0 25 0 1 0 853273277 51113984 9678 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12479 9678 1111 63 0 12416 0
vsize: 49916
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 9992 0 0 0 40987 18 0 0 25 0 1 0 853273277 52101120 9912 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12720 9912 1111 63 0 12657 0
vsize: 50880
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 10227 0 0 0 41987 18 0 0 25 0 1 0 853273277 52948992 10147 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12927 10147 1111 63 0 12864 0
vsize: 51708
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 10463 0 0 0 42987 18 0 0 25 0 1 0 853273277 53940224 10383 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13169 10383 1111 63 0 13106 0
vsize: 52676
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 10698 0 0 0 43987 19 0 0 25 0 1 0 853273277 54927360 10618 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13410 10618 1111 63 0 13347 0
vsize: 53640
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 10925 0 0 0 44986 20 0 0 25 0 1 0 853273277 55914496 10845 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13651 10845 1111 63 0 13588 0
vsize: 54604
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 11161 0 0 0 45986 20 0 0 25 0 1 0 853273277 56762368 11081 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13858 11081 1111 63 0 13795 0
vsize: 55432
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 11402 0 0 0 46985 21 0 0 25 0 1 0 853273277 57749504 11322 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14099 11322 1111 63 0 14036 0
vsize: 56396
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 11637 0 0 0 47985 21 0 0 25 0 1 0 853273277 58740736 11557 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14341 11557 1111 63 0 14278 0
vsize: 57364
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 11872 0 0 0 48985 21 0 0 25 0 1 0 853273277 59731968 11792 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14583 11792 1111 63 0 14520 0
vsize: 58332
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 12131 0 0 0 49985 22 0 0 25 0 1 0 853273277 60936192 12051 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14877 12051 1111 63 0 14814 0
vsize: 59508
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 12373 0 0 0 50985 22 0 0 25 0 1 0 853273277 61923328 12293 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15118 12293 1111 63 0 15055 0
vsize: 60472
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 12609 0 0 0 51985 23 0 0 25 0 1 0 853273277 62914560 12529 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15360 12529 1111 63 0 15297 0
vsize: 61440
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 12857 0 0 0 52985 23 0 0 25 0 1 0 853273277 63901696 12777 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15601 12777 1111 63 0 15538 0
vsize: 62404
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 13094 0 0 0 53984 23 0 0 25 0 1 0 853273277 64892928 13014 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15843 13014 1111 63 0 15780 0
vsize: 63372
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 13341 0 0 0 54984 24 0 0 25 0 1 0 853273277 65875968 13261 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16083 13261 1111 63 0 16020 0
vsize: 64332
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 13575 0 0 0 55984 24 0 0 25 0 1 0 853273277 66863104 13495 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16324 13495 1111 63 0 16261 0
vsize: 65296
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 13824 0 0 0 56983 25 0 0 25 0 1 0 853273277 67854336 13744 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16566 13744 1111 63 0 16503 0
vsize: 66264
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 14066 0 0 0 57983 25 0 0 25 0 1 0 853273277 68845568 13986 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16808 13986 1111 63 0 16745 0
vsize: 67232
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 14309 0 0 0 58983 25 0 0 25 0 1 0 853273277 69832704 14229 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17049 14229 1111 63 0 16986 0
vsize: 68196
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 14558 0 0 0 59983 25 0 0 25 0 1 0 853273277 70823936 14478 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17291 14478 1111 63 0 17228 0
vsize: 69164
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 14798 0 0 0 60983 26 0 0 25 0 1 0 853273277 71806976 14718 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17531 14718 1111 63 0 17468 0
vsize: 70124
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 15041 0 0 0 61983 26 0 0 25 0 1 0 853273277 72794112 14961 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17772 14961 1111 63 0 17709 0
vsize: 71088
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 15283 0 0 0 62983 27 0 0 25 0 1 0 853273277 73785344 15203 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18014 15203 1111 63 0 17951 0
vsize: 72056
[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 15525 0 0 0 63983 27 0 0 25 0 1 0 853273277 74772480 15445 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18255 15445 1111 63 0 18192 0
vsize: 73020
[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 15775 0 0 0 64983 28 0 0 25 0 1 0 853273277 75763712 15695 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18497 15695 1111 63 0 18434 0
vsize: 73988
[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 16024 0 0 0 65983 28 0 0 25 0 1 0 853273277 76754944 15944 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18739 15944 1111 63 0 18676 0
vsize: 74956
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 16272 0 0 0 66982 28 0 0 25 0 1 0 853273277 77877248 16192 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19013 16192 1111 63 0 18950 0
vsize: 76052
[startup+680.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 16528 0 0 0 67982 29 0 0 25 0 1 0 853273277 78868480 16448 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19255 16448 1111 63 0 19192 0
vsize: 77020
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 16783 0 0 0 68982 30 0 0 25 0 1 0 853273277 79855616 16703 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19496 16703 1111 63 0 19433 0
vsize: 77984
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 17039 0 0 0 69981 30 0 0 25 0 1 0 853273277 80986112 16959 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19772 16959 1111 63 0 19709 0
vsize: 79088
[startup+710.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 17296 0 0 0 70981 30 0 0 25 0 1 0 853273277 81977344 17216 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20014 17216 1111 63 0 19951 0
vsize: 80056
[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 17551 0 0 0 71980 31 0 0 25 0 1 0 853273277 83107840 17471 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20290 17471 1111 63 0 20227 0
vsize: 81160
[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 17807 0 0 0 72980 31 0 0 25 0 1 0 853273277 84094976 17727 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20531 17727 1111 63 0 20468 0
vsize: 82124
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 18057 0 0 0 73980 32 0 0 25 0 1 0 853273277 85078016 17977 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20771 17977 1111 63 0 20708 0
vsize: 83084
[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 18318 0 0 0 74980 32 0 0 25 0 1 0 853273277 86208512 18238 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21047 18238 1111 63 0 20984 0
vsize: 84188
[startup+760.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 18574 0 0 0 75980 32 0 0 25 0 1 0 853273277 87199744 18494 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21289 18494 1111 63 0 21226 0
vsize: 85156
[startup+770.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 18830 0 0 0 76980 33 0 0 25 0 1 0 853273277 88330240 18750 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21565 18750 1111 63 0 21502 0
vsize: 86260
[startup+780.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 19093 0 0 0 77980 33 0 0 25 0 1 0 853273277 89317376 19013 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21806 19013 1111 63 0 21743 0
vsize: 87224
[startup+790.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 19356 0 0 0 78980 33 0 0 25 0 1 0 853273277 90447872 19276 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22082 19276 1111 63 0 22019 0
vsize: 88328
[startup+800.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 19619 0 0 0 79980 33 0 0 25 0 1 0 853273277 91439104 19539 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22324 19539 1111 63 0 22261 0
vsize: 89296
[startup+810.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 19882 0 0 0 80980 34 0 0 25 0 1 0 853273277 92565504 19802 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22599 19802 1111 63 0 22536 0
vsize: 90396
[startup+820.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 20145 0 0 0 81979 34 0 0 25 0 1 0 853273277 93696000 20065 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22875 20065 1111 63 0 22812 0
vsize: 91500
[startup+830.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 20407 0 0 0 82979 35 0 0 25 0 1 0 853273277 94683136 20327 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23116 20327 1111 63 0 23053 0
vsize: 92464
[startup+840.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 20675 0 0 0 83978 36 0 0 25 0 1 0 853273277 95813632 20595 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23392 20595 1111 63 0 23329 0
vsize: 93568
[startup+850.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 20939 0 0 0 84978 36 0 0 25 0 1 0 853273277 96940032 20859 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23667 20859 1111 63 0 23604 0
vsize: 94668
[startup+860.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 21209 0 0 0 85978 37 0 0 25 0 1 0 853273277 97931264 21129 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23909 21129 1111 63 0 23846 0
vsize: 95636
[startup+870.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 21478 0 0 0 86978 37 0 0 25 0 1 0 853273277 99061760 21398 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24185 21398 1111 63 0 24122 0
vsize: 96740
[startup+880.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 21747 0 0 0 87977 37 0 0 25 0 1 0 853273277 100188160 21667 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24460 21667 1111 63 0 24397 0
vsize: 97840
[startup+890.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 22011 0 0 0 88977 38 0 0 25 0 1 0 853273277 101318656 21931 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24736 21931 1111 63 0 24673 0
vsize: 98944
[startup+900.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 22274 0 0 0 89977 38 0 0 25 0 1 0 853273277 102309888 22194 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22194 1111 63 0 24915 0
vsize: 99912
[startup+910.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 22536 0 0 0 90976 39 0 0 25 0 1 0 853273277 103440384 22456 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25254 22456 1111 63 0 25191 0
vsize: 101016
[startup+920.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 22805 0 0 0 91976 39 0 0 25 0 1 0 853273277 104570880 22725 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25530 22725 1111 63 0 25467 0
vsize: 102120
[startup+930.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 23074 0 0 0 92976 40 0 0 25 0 1 0 853273277 105553920 22994 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25770 22994 1111 63 0 25707 0
vsize: 103080
[startup+940.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 23382 0 0 0 93976 40 0 0 25 0 1 0 853273277 107069440 23302 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26140 23302 1111 63 0 26077 0
vsize: 104560
[startup+950.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 23658 0 0 0 94976 40 0 0 25 0 1 0 853273277 108199936 23578 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26416 23578 1111 63 0 26353 0
vsize: 105664
[startup+960.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 23936 0 0 0 95975 41 0 0 25 0 1 0 853273277 109330432 23856 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26692 23856 1111 63 0 26629 0
vsize: 106768
[startup+970.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 24212 0 0 0 96974 42 0 0 25 0 1 0 853273277 110460928 24132 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26968 24132 1111 63 0 26905 0
vsize: 107872
[startup+980.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 24489 0 0 0 97974 42 0 0 25 0 1 0 853273277 111591424 24409 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27244 24409 1111 63 0 27181 0
vsize: 108976
[startup+990.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 24773 0 0 0 98974 43 0 0 25 0 1 0 853273277 112861184 24693 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27554 24693 1111 63 0 27491 0
vsize: 110216
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 25055 0 0 0 99974 43 0 0 25 0 1 0 853273277 113991680 24975 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27830 24975 1111 63 0 27767 0
vsize: 111320
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 25333 0 0 0 100973 43 0 0 25 0 1 0 853273277 115122176 25253 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28106 25253 1111 63 0 28043 0
vsize: 112424
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 25616 0 0 0 101973 44 0 0 25 0 1 0 853273277 116252672 25536 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28382 25536 1111 63 0 28319 0
vsize: 113528
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 25899 0 0 0 102973 44 0 0 25 0 1 0 853273277 117383168 25819 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28658 25819 1111 63 0 28595 0
vsize: 114632
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 26177 0 0 0 103972 45 0 0 25 0 1 0 853273277 118513664 26097 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28934 26097 1111 63 0 28871 0
vsize: 115736
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 26466 0 0 0 104972 46 0 0 25 0 1 0 853273277 119783424 26386 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29244 26386 1111 63 0 29181 0
vsize: 116976
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 26751 0 0 0 105971 46 0 0 25 0 1 0 853273277 120913920 26671 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29520 26671 1111 63 0 29457 0
vsize: 118080
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 27040 0 0 0 106971 47 0 0 25 0 1 0 853273277 122040320 26960 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29795 26960 1111 63 0 29732 0
vsize: 119180
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 27326 0 0 0 107971 47 0 0 25 0 1 0 853273277 123170816 27246 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30071 27246 1111 63 0 30008 0
vsize: 120284
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 27615 0 0 0 108970 48 0 0 25 0 1 0 853273277 124444672 27535 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30382 27535 1111 63 0 30319 0
vsize: 121528
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 27905 0 0 0 109969 49 0 0 25 0 1 0 853273277 125575168 27825 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30658 27825 1111 63 0 30595 0
vsize: 122632
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 28196 0 0 0 110969 49 0 0 25 0 1 0 853273277 126840832 28116 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30967 28116 1111 63 0 30904 0
vsize: 123868
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 28486 0 0 0 111969 50 0 0 25 0 1 0 853273277 127971328 28406 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31243 28406 1111 63 0 31180 0
vsize: 124972
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 28784 0 0 0 112968 51 0 0 25 0 1 0 853273277 129245184 28704 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31554 28704 1111 63 0 31491 0
vsize: 126216
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 29080 0 0 0 113968 51 0 0 25 0 1 0 853273277 130375680 29000 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31830 29000 1111 63 0 31767 0
vsize: 127320
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 29371 0 0 0 114968 52 0 0 25 0 1 0 853273277 131645440 29291 4294967295 134512640 134716908 3221224560 3221222788 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32140 29291 1111 63 0 32077 0
vsize: 128560
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 29661 0 0 0 115968 52 0 0 25 0 1 0 853273277 132771840 29581 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32415 29581 1111 63 0 32352 0
vsize: 129660
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 29951 0 0 0 116967 53 0 0 25 0 1 0 853273277 133902336 29871 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32691 29871 1111 63 0 32628 0
vsize: 130764
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 30242 0 0 0 117967 53 0 0 25 0 1 0 853273277 135176192 30162 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33002 30162 1111 63 0 32939 0
vsize: 132008
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 30545 0 0 0 118966 53 0 0 25 0 1 0 853273277 136445952 30465 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33312 30465 1111 63 0 33249 0
vsize: 133248
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) R 5597 8378 8377 0 -1 0 30837 0 0 0 119966 54 0 0 25 0 1 0 853273277 137576448 30757 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33588 30757 1111 63 0 33525 0
vsize: 134352
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 5600
Raw data (stat): 5598 (bsolo_lpr_cuts-) Z 5597 8378 8377 0 -1 1036 30837 0 0 0 119966 60 0 0 25 0 1 0 853273277 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.09
CPU time (s): 1200.27
CPU user time (s): 1199.67
CPU system time (s): 0.601908
CPU usage (%): 100.015
Max. virtual memory (Kb): 134352
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####