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/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370c.opb
MD5SUM	b99a0e1987692fd9762e75d45288f75a
Bench Category	optimization, medium integers (OPTMEDINT)
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	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39256355821
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39256355821
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.97785
Number of variables	105000
Total number of constraints	5150
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	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 41625

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-09 17:56:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29690 boxname=wulflinc3 idbench=1474 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  b99a0e1987692fd9762e75d45288f75a  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-n370c.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-n370c.opb
IDLAUNCH: 29690
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        770608 kB
Buffers:         12324 kB
Cached:         231648 kB
SwapCached:        692 kB
Active:          39064 kB
Inactive:       206896 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        770356 kB
SwapTotal:     2097136 kB
SwapFree:      2095384 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5020 kB
Slab:            12336 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 18:16:17 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 29690 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.85 0.94 0.90 1/54 14128
Raw data (stat): 14128 (runsolver) R 14127 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 912235012 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99996 s]
Raw data (loadavg): 0.88 0.94 0.90 2/54 14128
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 1160 0 0 0 993 4 0 0 25 0 1 0 912235012 16052224 1080 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3919 1080 1111 63 0 3856 0
vsize: 15676
[startup+20.0008 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 14128
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 1400 0 0 0 1993 4 0 0 25 0 1 0 912235012 17039360 1320 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4160 1320 1111 63 0 4097 0
vsize: 16640
[startup+30.0006 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 14128
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 1650 0 0 0 2993 5 0 0 25 0 1 0 912235012 18178048 1570 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4438 1570 1111 63 0 4375 0
vsize: 17752
[startup+40.0014 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 14128
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 1892 0 0 0 3992 5 0 0 25 0 1 0 912235012 19165184 1812 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4679 1812 1111 63 0 4616 0
vsize: 18716
[startup+50.0023 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 14128
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 2139 0 0 0 4992 6 0 0 25 0 1 0 912235012 20152320 2059 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4920 2059 1111 63 0 4857 0
vsize: 19680
[startup+60.0021 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 14128
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 2392 0 0 0 5992 6 0 0 25 0 1 0 912235012 21135360 2312 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5160 2312 1111 63 0 5097 0
vsize: 20640
[startup+70.0029 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 14128
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 2639 0 0 0 6991 7 0 0 25 0 1 0 912235012 22114304 2559 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5399 2559 1111 63 0 5336 0
vsize: 21596
[startup+80.0038 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 14128
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 2887 0 0 0 7990 8 0 0 25 0 1 0 912235012 23240704 2807 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5674 2807 1111 63 0 5611 0
vsize: 22696
[startup+90.0042 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 14128
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 3134 0 0 0 8990 9 0 0 25 0 1 0 912235012 24227840 3054 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5915 3054 1111 63 0 5852 0
vsize: 23660
[startup+100.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 14128
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 3382 0 0 0 9990 9 0 0 25 0 1 0 912235012 25214976 3302 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6156 3302 1111 63 0 6093 0
vsize: 24624
[startup+110.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 14128
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 3630 0 0 0 10989 10 0 0 25 0 1 0 912235012 26202112 3550 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6397 3550 1111 63 0 6334 0
vsize: 25588
[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 14128
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 3886 0 0 0 11989 10 0 0 25 0 1 0 912235012 27348992 3806 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6677 3806 1111 63 0 6614 0
vsize: 26708
[startup+130.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 14128
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 4134 0 0 0 12989 11 0 0 25 0 1 0 912235012 28336128 4054 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6918 4054 1111 63 0 6855 0
vsize: 27672
[startup+140.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 14128
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 4387 0 0 0 13988 12 0 0 25 0 1 0 912235012 29315072 4307 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7157 4307 1111 63 0 7094 0
vsize: 28628
[startup+150.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 14128
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 4636 0 0 0 14987 13 0 0 25 0 1 0 912235012 30302208 4556 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7398 4556 1111 63 0 7335 0
vsize: 29592
[startup+160.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14128
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 4890 0 0 0 15987 13 0 0 25 0 1 0 912235012 31428608 4810 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7673 4810 1111 63 0 7610 0
vsize: 30692
[startup+170.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14128
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 5139 0 0 0 16986 14 0 0 25 0 1 0 912235012 32415744 5059 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7914 5059 1111 63 0 7851 0
vsize: 31656
[startup+180.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14128
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 5395 0 0 0 17984 16 0 0 25 0 1 0 912235012 33402880 5315 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8155 5315 1111 63 0 8092 0
vsize: 32620
[startup+190.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14128
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 5649 0 0 0 18984 17 0 0 25 0 1 0 912235012 34529280 5569 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8430 5569 1111 63 0 8367 0
vsize: 33720
[startup+200.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14128
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 5897 0 0 0 19984 17 0 0 25 0 1 0 912235012 35516416 5817 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8671 5817 1111 63 0 8608 0
vsize: 34684
[startup+210.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14128
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 6150 0 0 0 20983 19 0 0 25 0 1 0 912235012 36495360 6070 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8910 6070 1111 63 0 8847 0
vsize: 35640
[startup+220.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14128
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 6405 0 0 0 21982 20 0 0 25 0 1 0 912235012 37625856 6325 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9186 6325 1111 63 0 9123 0
vsize: 36744
[startup+230.01 s]
Raw data (loadavg): 0.99 0.96 0.91 3/57 14166
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 6664 0 0 0 22976 26 0 0 25 0 1 0 912235012 38760448 6584 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9463 6584 1111 63 0 9400 0
vsize: 37852
[startup+240.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14181
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 6925 0 0 0 23974 28 0 0 25 0 1 0 912235012 39747584 6845 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9704 6845 1111 63 0 9641 0
vsize: 38816
[startup+250.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14181
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 7181 0 0 0 24974 28 0 0 25 0 1 0 912235012 40878080 7101 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9980 7101 1111 63 0 9917 0
vsize: 39920
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14181
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 7436 0 0 0 25973 29 0 0 25 0 1 0 912235012 41861120 7356 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10220 7356 1111 63 0 10157 0
vsize: 40880
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14181
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 7691 0 0 0 26973 29 0 0 25 0 1 0 912235012 42848256 7611 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10461 7611 1111 63 0 10398 0
vsize: 41844
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14181
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 7947 0 0 0 27972 30 0 0 25 0 1 0 912235012 43974656 7867 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10736 7867 1111 63 0 10673 0
vsize: 42944
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14181
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 8207 0 0 0 28972 30 0 0 25 0 1 0 912235012 44957696 8127 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10976 8127 1111 63 0 10913 0
vsize: 43904
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14181
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 8462 0 0 0 29972 31 0 0 25 0 1 0 912235012 46084096 8382 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11251 8382 1111 63 0 11188 0
vsize: 45004
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14183
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 8719 0 0 0 30972 31 0 0 25 0 1 0 912235012 47071232 8639 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11492 8639 1111 63 0 11429 0
vsize: 45968
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14183
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 8980 0 0 0 31972 31 0 0 25 0 1 0 912235012 48197632 8900 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11767 8900 1111 63 0 11704 0
vsize: 47068
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14183
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 9242 0 0 0 32971 32 0 0 25 0 1 0 912235012 49184768 9162 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12008 9162 1111 63 0 11945 0
vsize: 48032
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14183
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 9504 0 0 0 33971 32 0 0 25 0 1 0 912235012 50311168 9424 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12283 9424 1111 63 0 12220 0
vsize: 49132
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14183
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 9760 0 0 0 34970 33 0 0 25 0 1 0 912235012 51298304 9680 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12524 9680 1111 63 0 12461 0
vsize: 50096
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14183
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 10022 0 0 0 35970 33 0 0 25 0 1 0 912235012 52424704 9942 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12799 9942 1111 63 0 12736 0
vsize: 51196
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14183
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 10284 0 0 0 36970 34 0 0 25 0 1 0 912235012 53551104 10204 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13074 10204 1111 63 0 13011 0
vsize: 52296
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14183
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 10544 0 0 0 37970 34 0 0 25 0 1 0 912235012 54530048 10464 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13313 10464 1111 63 0 13250 0
vsize: 53252
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14183
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 10808 0 0 0 38969 35 0 0 25 0 1 0 912235012 55656448 10728 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13588 10728 1111 63 0 13525 0
vsize: 54352
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14183
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 11069 0 0 0 39969 35 0 0 25 0 1 0 912235012 56643584 10989 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13829 10989 1111 63 0 13766 0
vsize: 55316
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14183
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 11331 0 0 0 40969 36 0 0 25 0 1 0 912235012 57774080 11251 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14105 11251 1111 63 0 14042 0
vsize: 56420
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14183
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 11598 0 0 0 41968 36 0 0 25 0 1 0 912235012 58900480 11518 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14380 11518 1111 63 0 14317 0
vsize: 57520
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14183
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 11860 0 0 0 42968 36 0 0 25 0 1 0 912235012 59883520 11780 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14620 11780 1111 63 0 14557 0
vsize: 58480
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14183
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 12140 0 0 0 43968 37 0 0 25 0 1 0 912235012 61231104 12060 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14949 12060 1111 63 0 14886 0
vsize: 59796
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14183
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 12409 0 0 0 44967 38 0 0 25 0 1 0 912235012 62357504 12329 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15224 12329 1111 63 0 15161 0
vsize: 60896
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14183
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 12671 0 0 0 45967 38 0 0 25 0 1 0 912235012 63340544 12591 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15464 12591 1111 63 0 15401 0
vsize: 61856
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14183
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 12938 0 0 0 46967 39 0 0 25 0 1 0 912235012 64466944 12858 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15739 12858 1111 63 0 15676 0
vsize: 62956
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14183
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 13201 0 0 0 47966 39 0 0 25 0 1 0 912235012 65593344 13121 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16014 13121 1111 63 0 15951 0
vsize: 64056
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14183
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 13470 0 0 0 48966 40 0 0 25 0 1 0 912235012 66580480 13390 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16255 13390 1111 63 0 16192 0
vsize: 65020
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14183
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 13739 0 0 0 49966 40 0 0 25 0 1 0 912235012 67706880 13659 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16530 13659 1111 63 0 16467 0
vsize: 66120
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14183
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 14007 0 0 0 50966 40 0 0 25 0 1 0 912235012 68833280 13927 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16805 13927 1111 63 0 16742 0
vsize: 67220
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14183
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 14276 0 0 0 51965 41 0 0 25 0 1 0 912235012 69959680 14196 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17080 14196 1111 63 0 17017 0
vsize: 68320
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14183
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 14545 0 0 0 52965 42 0 0 25 0 1 0 912235012 71086080 14465 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17355 14465 1111 63 0 17292 0
vsize: 69420
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14183
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 14815 0 0 0 53964 43 0 0 25 0 1 0 912235012 72073216 14735 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17596 14735 1111 63 0 17533 0
vsize: 70384
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14183
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 15083 0 0 0 54963 43 0 0 25 0 1 0 912235012 73199616 15003 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17871 15003 1111 63 0 17808 0
vsize: 71484
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 15353 0 0 0 55963 44 0 0 25 0 1 0 912235012 74326016 15273 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18146 15273 1111 63 0 18083 0
vsize: 72584
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 15628 0 0 0 56963 44 0 0 25 0 1 0 912235012 75452416 15548 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18421 15548 1111 63 0 18358 0
vsize: 73684
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 15898 0 0 0 57962 45 0 0 25 0 1 0 912235012 76578816 15818 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18696 15818 1111 63 0 18633 0
vsize: 74784
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 16166 0 0 0 58963 45 0 0 25 0 1 0 912235012 77701120 16086 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18970 16086 1111 63 0 18907 0
vsize: 75880
[startup+600.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 16440 0 0 0 59962 45 0 0 25 0 1 0 912235012 78827520 16360 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19245 16360 1111 63 0 19182 0
vsize: 76980
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 16716 0 0 0 60962 46 0 0 25 0 1 0 912235012 79953920 16636 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19520 16636 1111 63 0 19457 0
vsize: 78080
[startup+620.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 16986 0 0 0 61962 46 0 0 25 0 1 0 912235012 80941056 16906 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19761 16906 1111 63 0 19698 0
vsize: 79044
[startup+630.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 17262 0 0 0 62962 47 0 0 25 0 1 0 912235012 82067456 17182 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20036 17182 1111 63 0 19973 0
vsize: 80144
[startup+640.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 17538 0 0 0 63961 47 0 0 25 0 1 0 912235012 83193856 17458 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20311 17458 1111 63 0 20248 0
vsize: 81244
[startup+650.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 17813 0 0 0 64961 48 0 0 25 0 1 0 912235012 84324352 17733 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20587 17733 1111 63 0 20524 0
vsize: 82348
[startup+660.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 18089 0 0 0 65960 49 0 0 25 0 1 0 912235012 85450752 18009 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20862 18009 1111 63 0 20799 0
vsize: 83448
[startup+670.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 18366 0 0 0 66960 49 0 0 25 0 1 0 912235012 86577152 18286 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21137 18286 1111 63 0 21074 0
vsize: 84548
[startup+680.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 18647 0 0 0 67959 50 0 0 25 0 1 0 912235012 87842816 18567 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21446 18567 1111 63 0 21383 0
vsize: 85784
[startup+690.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 18924 0 0 0 68959 51 0 0 25 0 1 0 912235012 88969216 18844 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21721 18844 1111 63 0 21658 0
vsize: 86884
[startup+700.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 19200 0 0 0 69959 51 0 0 25 0 1 0 912235012 90095616 19120 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21996 19120 1111 63 0 21933 0
vsize: 87984
[startup+710.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 19482 0 0 0 70958 52 0 0 25 0 1 0 912235012 91222016 19402 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22271 19402 1111 63 0 22208 0
vsize: 89084
[startup+720.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 19765 0 0 0 71957 53 0 0 25 0 1 0 912235012 92348416 19685 4294967295 134512640 134716908 3221224560 3221222788 1077414347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22546 19685 1111 63 0 22483 0
vsize: 90184
[startup+730.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 20041 0 0 0 72957 53 0 0 25 0 1 0 912235012 93474816 19961 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22821 19961 1111 63 0 22758 0
vsize: 91284
[startup+740.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 20324 0 0 0 73957 54 0 0 25 0 1 0 912235012 94601216 20244 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23096 20244 1111 63 0 23033 0
vsize: 92384
[startup+750.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 20606 0 0 0 74957 54 0 0 25 0 1 0 912235012 95723520 20526 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23370 20526 1111 63 0 23307 0
vsize: 93480
[startup+760.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 20889 0 0 0 75956 54 0 0 25 0 1 0 912235012 96997376 20809 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23681 20809 1111 63 0 23618 0
vsize: 94724
[startup+770.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 21171 0 0 0 76956 55 0 0 25 0 1 0 912235012 98119680 21091 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23955 21091 1111 63 0 23892 0
vsize: 95820
[startup+780.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 21453 0 0 0 77956 56 0 0 25 0 1 0 912235012 99246080 21373 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24230 21373 1111 63 0 24167 0
vsize: 96920
[startup+790.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 21737 0 0 0 78955 56 0 0 25 0 1 0 912235012 100372480 21657 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24505 21657 1111 63 0 24442 0
vsize: 98020
[startup+800.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 22025 0 0 0 79955 57 0 0 25 0 1 0 912235012 101638144 21945 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24814 21945 1111 63 0 24751 0
vsize: 99256
[startup+810.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 22308 0 0 0 80955 57 0 0 25 0 1 0 912235012 102764544 22228 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25089 22228 1111 63 0 25026 0
vsize: 100356
[startup+820.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 22591 0 0 0 81954 58 0 0 25 0 1 0 912235012 103890944 22511 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25364 22511 1111 63 0 25301 0
vsize: 101456
[startup+830.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 22879 0 0 0 82954 58 0 0 25 0 1 0 912235012 105017344 22799 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25639 22799 1111 63 0 25576 0
vsize: 102556
[startup+840.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 23201 0 0 0 83953 59 0 0 25 0 1 0 912235012 106643456 23121 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26036 23121 1111 63 0 25973 0
vsize: 104144
[startup+850.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 23490 0 0 0 84953 60 0 0 25 0 1 0 912235012 107769856 23410 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26311 23410 1111 63 0 26248 0
vsize: 105244
[startup+860.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 23774 0 0 0 85952 60 0 0 25 0 1 0 912235012 109039616 23694 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26621 23694 1111 63 0 26558 0
vsize: 106484
[startup+870.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 24063 0 0 0 86952 61 0 0 25 0 1 0 912235012 110166016 23983 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26896 23983 1111 63 0 26833 0
vsize: 107584
[startup+880.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 24353 0 0 0 87952 61 0 0 25 0 1 0 912235012 111292416 24273 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27171 24273 1111 63 0 27108 0
vsize: 108684
[startup+890.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 24643 0 0 0 88951 62 0 0 25 0 1 0 912235012 112558080 24563 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27480 24563 1111 63 0 27417 0
vsize: 109920
[startup+900.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 24938 0 0 0 89951 62 0 0 25 0 1 0 912235012 113684480 24858 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27755 24858 1111 63 0 27692 0
vsize: 111020
[startup+910.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 25229 0 0 0 90951 63 0 0 25 0 1 0 912235012 114954240 25149 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28065 25149 1111 63 0 28002 0
vsize: 112260
[startup+920.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 25518 0 0 0 91951 63 0 0 25 0 1 0 912235012 116080640 25438 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28340 25438 1111 63 0 28277 0
vsize: 113360
[startup+930.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 25815 0 0 0 92950 64 0 0 25 0 1 0 912235012 117346304 25735 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28649 25735 1111 63 0 28586 0
vsize: 114596
[startup+940.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 26104 0 0 0 93950 64 0 0 25 0 1 0 912235012 118472704 26024 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28924 26024 1111 63 0 28861 0
vsize: 115696
[startup+950.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 26401 0 0 0 94949 65 0 0 25 0 1 0 912235012 119742464 26321 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29234 26321 1111 63 0 29171 0
vsize: 116936
[startup+960.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 26697 0 0 0 95949 65 0 0 25 0 1 0 912235012 120868864 26617 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29509 26617 1111 63 0 29446 0
vsize: 118036
[startup+970.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 26993 0 0 0 96949 66 0 0 25 0 1 0 912235012 122134528 26913 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29818 26913 1111 63 0 29755 0
vsize: 119272
[startup+980.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 27290 0 0 0 97949 66 0 0 25 0 1 0 912235012 123400192 27210 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30127 27210 1111 63 0 30064 0
vsize: 120508
[startup+990.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 27586 0 0 0 98949 67 0 0 25 0 1 0 912235012 124526592 27506 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30402 27506 1111 63 0 30339 0
vsize: 121608
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 27890 0 0 0 99948 67 0 0 25 0 1 0 912235012 125792256 27810 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30711 27810 1111 63 0 30648 0
vsize: 122844
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 28186 0 0 0 100948 68 0 0 25 0 1 0 912235012 127062016 28106 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31021 28106 1111 63 0 30958 0
vsize: 124084
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 28482 0 0 0 101948 68 0 0 25 0 1 0 912235012 128188416 28402 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31296 28402 1111 63 0 31233 0
vsize: 125184
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 28786 0 0 0 102947 69 0 0 25 0 1 0 912235012 129454080 28706 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31605 28706 1111 63 0 31542 0
vsize: 126420
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 29089 0 0 0 103947 69 0 0 25 0 1 0 912235012 130723840 29009 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31915 29009 1111 63 0 31852 0
vsize: 127660
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 29393 0 0 0 104947 70 0 0 25 0 1 0 912235012 131989504 29313 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32224 29313 1111 63 0 32161 0
vsize: 128896
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 29695 0 0 0 105946 70 0 0 25 0 1 0 912235012 133115904 29615 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32499 29615 1111 63 0 32436 0
vsize: 129996
[startup+1070.03 s]
Raw data (loadavg): 1.15 1.00 0.92 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 29999 0 0 0 106946 71 0 0 25 0 1 0 912235012 134381568 29919 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32808 29919 1111 63 0 32745 0
vsize: 131232
[startup+1080.03 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 30301 0 0 0 107945 71 0 0 25 0 1 0 912235012 135647232 30221 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33117 30221 1111 63 0 33054 0
vsize: 132468
[startup+1090.03 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 30604 0 0 0 108945 72 0 0 25 0 1 0 912235012 136916992 30524 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33427 30524 1111 63 0 33364 0
vsize: 133708
[startup+1100.03 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 30909 0 0 0 109944 73 0 0 25 0 1 0 912235012 138182656 30829 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33736 30829 1111 63 0 33673 0
vsize: 134944
[startup+1110.03 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 31213 0 0 0 110944 74 0 0 25 0 1 0 912235012 139309056 31133 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34011 31133 1111 63 0 33948 0
vsize: 136044
[startup+1120.03 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 31524 0 0 0 111944 74 0 0 25 0 1 0 912235012 140578816 31444 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34321 31444 1111 63 0 34258 0
vsize: 137284
[startup+1130.03 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 31833 0 0 0 112943 75 0 0 25 0 1 0 912235012 141848576 31753 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34631 31753 1111 63 0 34568 0
vsize: 138524
[startup+1140.03 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 32138 0 0 0 113943 75 0 0 25 0 1 0 912235012 143118336 32058 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34941 32058 1111 63 0 34878 0
vsize: 139764
[startup+1150.03 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 32447 0 0 0 114943 75 0 0 25 0 1 0 912235012 144384000 32367 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35250 32367 1111 63 0 35187 0
vsize: 141000
[startup+1160.03 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 32758 0 0 0 115942 76 0 0 25 0 1 0 912235012 145649664 32678 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35559 32678 1111 63 0 35496 0
vsize: 142236
[startup+1170.03 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 33061 0 0 0 116942 77 0 0 25 0 1 0 912235012 146915328 32981 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35868 32981 1111 63 0 35805 0
vsize: 143472
[startup+1180.03 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 33377 0 0 0 117942 77 0 0 25 0 1 0 912235012 148185088 33297 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36178 33297 1111 63 0 36115 0
vsize: 144712
[startup+1190.03 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 33688 0 0 0 118941 78 0 0 25 0 1 0 912235012 149450752 33608 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36487 33608 1111 63 0 36424 0
vsize: 145948
[startup+1200.03 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) R 14127 20224 20223 0 -1 0 33997 0 0 0 119941 78 0 0 25 0 1 0 912235012 150716416 33917 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36796 33917 1111 63 0 36733 0
vsize: 147184
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 1.01 1.00 0.92 1/54 14185
Raw data (stat): 14128 (bsolo_lpr_cuts-) Z 14127 20224 20223 0 -1 1036 33997 0 0 0 119941 84 0 0 25 0 1 0 912235012 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.1
CPU time (s): 1200.27
CPU user time (s): 1199.42
CPU system time (s): 0.84987
CPU usage (%): 100.014
Max. virtual memory (Kb): 147184
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####