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-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship12l.opb
MD5SUM	bdd9a8da4deb9b8348cff99945476562
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	162810
Biggest coefficient in the objective function	1511023181824000
Number of bits for the biggest coefficient in the objective function	51
Sum of the numbers in the objective function	426775792258590390
Number of bits of the sum of numbers in the objective function	59
Biggest number in a constraint	1511023181824000
Number of bits of the biggest number in a constraint	51
Biggest sum of numbers in a constraint	426775792258590390
Number of bits of the biggest sum of numbers	59
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.53377
Number of variables	162810
Total number of constraints	1042
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	1042
Minimum length of a constraint	30
Maximum length of a constraint	2250
Trace number 41043

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-09 04:37:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29098 boxname=wulflinc3 idbench=882 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  bdd9a8da4deb9b8348cff99945476562  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-ship12l.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-ship12l.opb
IDLAUNCH: 29098
/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:        754364 kB
Buffers:         28916 kB
Cached:         227984 kB
SwapCached:       3472 kB
Active:          52612 kB
Inactive:       209064 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        754112 kB
SwapTotal:     2097136 kB
SwapFree:      2092672 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5020 kB
Slab:            12960 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 04:57:16 (client local time) WITH STATUS 0 IN 1200.17 SECONDS
stats: 29098 7 1200.17 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.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (runsolver) R 3908 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907440324 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.99991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 1568 0 0 0 992 5 0 0 25 0 1 0 907440324 15364096 1488 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3751 1488 1111 63 0 3688 0
vsize: 15004
[startup+20.0007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 1613 0 0 0 1991 5 0 0 25 0 1 0 907440324 15511552 1533 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3787 1533 1111 63 0 3724 0
vsize: 15148
[startup+30.0008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 1670 0 0 0 2992 5 0 0 25 0 1 0 907440324 15810560 1590 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3860 1590 1111 63 0 3797 0
vsize: 15440
[startup+40.0003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 1716 0 0 0 3992 6 0 0 25 0 1 0 907440324 15945728 1636 4294967295 134512640 134716908 3221224560 3221222788 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3893 1636 1111 63 0 3830 0
vsize: 15572
[startup+50.0012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 1761 0 0 0 4992 6 0 0 25 0 1 0 907440324 16089088 1681 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3928 1681 1111 63 0 3865 0
vsize: 15712
[startup+60.0016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 1818 0 0 0 5992 6 0 0 25 0 1 0 907440324 16388096 1738 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4001 1738 1111 63 0 3938 0
vsize: 16004
[startup+70.0018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 1869 0 0 0 6992 6 0 0 25 0 1 0 907440324 16535552 1789 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4037 1789 1111 63 0 3974 0
vsize: 16148
[startup+80.0017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 1922 0 0 0 7992 6 0 0 25 0 1 0 907440324 16838656 1842 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4111 1842 1111 63 0 4048 0
vsize: 16444
[startup+90.0018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 1987 0 0 0 8992 6 0 0 25 0 1 0 907440324 16990208 1907 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4148 1907 1111 63 0 4085 0
vsize: 16592
[startup+100.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 2056 0 0 0 9992 6 0 0 25 0 1 0 907440324 17272832 1976 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4217 1976 1111 63 0 4154 0
vsize: 16868
[startup+110.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 2115 0 0 0 10992 6 0 0 25 0 1 0 907440324 17567744 2035 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4289 2035 1111 63 0 4226 0
vsize: 17156
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 2175 0 0 0 11992 6 0 0 25 0 1 0 907440324 17846272 2095 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4357 2095 1111 63 0 4294 0
vsize: 17428
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 2240 0 0 0 12991 7 0 0 25 0 1 0 907440324 18145280 2160 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4430 2160 1111 63 0 4367 0
vsize: 17720
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 2306 0 0 0 13991 7 0 0 25 0 1 0 907440324 18292736 2226 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4466 2226 1111 63 0 4403 0
vsize: 17864
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 2366 0 0 0 14991 7 0 0 25 0 1 0 907440324 18591744 2286 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4539 2286 1111 63 0 4476 0
vsize: 18156
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 2431 0 0 0 15991 7 0 0 25 0 1 0 907440324 18894848 2351 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4613 2351 1111 63 0 4550 0
vsize: 18452
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 2490 0 0 0 16990 8 0 0 25 0 1 0 907440324 19046400 2410 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4650 2410 1111 63 0 4587 0
vsize: 18600
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 2560 0 0 0 17990 8 0 0 25 0 1 0 907440324 19341312 2480 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4722 2480 1111 63 0 4659 0
vsize: 18888
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 2621 0 0 0 18990 9 0 0 25 0 1 0 907440324 19644416 2541 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4796 2541 1111 63 0 4733 0
vsize: 19184
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 2681 0 0 0 19990 9 0 0 25 0 1 0 907440324 19943424 2601 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4869 2601 1111 63 0 4806 0
vsize: 19476
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 2745 0 0 0 20989 9 0 0 25 0 1 0 907440324 20094976 2665 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4906 2665 1111 63 0 4843 0
vsize: 19624
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 2812 0 0 0 21989 10 0 0 25 0 1 0 907440324 20393984 2732 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4979 2732 1111 63 0 4916 0
vsize: 19916
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 2871 0 0 0 22989 10 0 0 25 0 1 0 907440324 20697088 2791 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5053 2791 1111 63 0 4990 0
vsize: 20212
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 2936 0 0 0 23989 10 0 0 25 0 1 0 907440324 20996096 2856 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5126 2856 1111 63 0 5063 0
vsize: 20504
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 3002 0 0 0 24988 11 0 0 25 0 1 0 907440324 21143552 2922 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5162 2922 1111 63 0 5099 0
vsize: 20648
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 3063 0 0 0 25988 11 0 0 25 0 1 0 907440324 21450752 2983 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5237 2983 1111 63 0 5174 0
vsize: 20948
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 3122 0 0 0 26988 11 0 0 25 0 1 0 907440324 21749760 3042 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5310 3042 1111 63 0 5247 0
vsize: 21240
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 3193 0 0 0 27988 11 0 0 25 0 1 0 907440324 22048768 3113 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5383 3113 1111 63 0 5320 0
vsize: 21532
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 3254 0 0 0 28988 11 0 0 25 0 1 0 907440324 22200320 3174 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5420 3174 1111 63 0 5357 0
vsize: 21680
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 3313 0 0 0 29988 12 0 0 25 0 1 0 907440324 22503424 3233 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5494 3233 1111 63 0 5431 0
vsize: 21976
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 3384 0 0 0 30988 12 0 0 25 0 1 0 907440324 22802432 3304 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5567 3304 1111 63 0 5504 0
vsize: 22268
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 3444 0 0 0 31988 12 0 0 25 0 1 0 907440324 22949888 3364 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5603 3364 1111 63 0 5540 0
vsize: 22412
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 3517 0 0 0 32989 12 0 0 25 0 1 0 907440324 23265280 3437 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5680 3437 1111 63 0 5617 0
vsize: 22720
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 3582 0 0 0 33989 12 0 0 25 0 1 0 907440324 23543808 3502 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5748 3502 1111 63 0 5685 0
vsize: 22992
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 3642 0 0 0 34989 12 0 0 25 0 1 0 907440324 23842816 3562 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5821 3562 1111 63 0 5758 0
vsize: 23284
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 3708 0 0 0 35989 12 0 0 25 0 1 0 907440324 24145920 3628 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5895 3628 1111 63 0 5832 0
vsize: 23580
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 3767 0 0 0 36989 12 0 0 25 0 1 0 907440324 24297472 3687 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5932 3687 1111 63 0 5869 0
vsize: 23728
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 3833 0 0 0 37989 13 0 0 25 0 1 0 907440324 24596480 3753 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6005 3753 1111 63 0 5942 0
vsize: 24020
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 3893 0 0 0 38989 13 0 0 25 0 1 0 907440324 24895488 3813 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6078 3813 1111 63 0 6015 0
vsize: 24312
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 3966 0 0 0 39990 13 0 0 25 0 1 0 907440324 25202688 3886 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6153 3886 1111 63 0 6090 0
vsize: 24612
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 4026 0 0 0 40990 13 0 0 25 0 1 0 907440324 25350144 3946 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6189 3946 1111 63 0 6126 0
vsize: 24756
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 4085 0 0 0 41990 13 0 0 25 0 1 0 907440324 25649152 4005 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6262 4005 1111 63 0 6199 0
vsize: 25048
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 4152 0 0 0 42990 13 0 0 25 0 1 0 907440324 25952256 4072 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6336 4072 1111 63 0 6273 0
vsize: 25344
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 4217 0 0 0 43990 13 0 0 25 0 1 0 907440324 26251264 4137 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6409 4137 1111 63 0 6346 0
vsize: 25636
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 4276 0 0 0 44990 13 0 0 25 0 1 0 907440324 26402816 4196 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6446 4196 1111 63 0 6383 0
vsize: 25784
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 4348 0 0 0 45990 13 0 0 25 0 1 0 907440324 26701824 4268 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6519 4268 1111 63 0 6456 0
vsize: 26076
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 4410 0 0 0 46990 13 0 0 25 0 1 0 907440324 26984448 4330 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6588 4330 1111 63 0 6525 0
vsize: 26352
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 4476 0 0 0 47990 13 0 0 25 0 1 0 907440324 27275264 4396 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6659 4396 1111 63 0 6596 0
vsize: 26636
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 4541 0 0 0 48990 14 0 0 25 0 1 0 907440324 27574272 4461 4294967295 134512640 134716908 3221224560 3221222788 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6732 4461 1111 63 0 6669 0
vsize: 26928
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 4602 0 0 0 49990 14 0 0 25 0 1 0 907440324 27725824 4522 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6769 4522 1111 63 0 6706 0
vsize: 27076
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 4667 0 0 0 50990 14 0 0 25 0 1 0 907440324 28028928 4587 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6843 4587 1111 63 0 6780 0
vsize: 27372
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 4733 0 0 0 51990 14 0 0 25 0 1 0 907440324 28327936 4653 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6916 4653 1111 63 0 6853 0
vsize: 27664
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 4792 0 0 0 52990 14 0 0 25 0 1 0 907440324 28475392 4712 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6952 4712 1111 63 0 6889 0
vsize: 27808
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 4859 0 0 0 53990 14 0 0 25 0 1 0 907440324 28782592 4779 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7027 4779 1111 63 0 6964 0
vsize: 28108
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 4926 0 0 0 54991 14 0 0 25 0 1 0 907440324 29081600 4846 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7100 4846 1111 63 0 7037 0
vsize: 28400
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 4991 0 0 0 55991 14 0 0 25 0 1 0 907440324 29380608 4911 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7173 4911 1111 63 0 7110 0
vsize: 28692
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 5058 0 0 0 56991 15 0 0 25 0 1 0 907440324 29683712 4978 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7247 4978 1111 63 0 7184 0
vsize: 28988
[startup+580.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 5117 0 0 0 57991 15 0 0 25 0 1 0 907440324 29835264 5037 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7284 5037 1111 63 0 7221 0
vsize: 29136
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 5189 0 0 0 58991 15 0 0 25 0 1 0 907440324 30134272 5109 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7357 5109 1111 63 0 7294 0
vsize: 29428
[startup+600.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 5250 0 0 0 59991 15 0 0 25 0 1 0 907440324 30433280 5170 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7430 5170 1111 63 0 7367 0
vsize: 29720
[startup+610.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 5316 0 0 0 60991 15 0 0 25 0 1 0 907440324 30740480 5236 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7505 5236 1111 63 0 7442 0
vsize: 30020
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 5381 0 0 0 61992 15 0 0 25 0 1 0 907440324 30887936 5301 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7541 5301 1111 63 0 7478 0
vsize: 30164
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 5447 0 0 0 62992 15 0 0 25 0 1 0 907440324 31186944 5367 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7614 5367 1111 63 0 7551 0
vsize: 30456
[startup+640.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 5524 0 0 0 63991 15 0 0 25 0 1 0 907440324 31526912 5444 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7697 5444 1111 63 0 7634 0
vsize: 30788
[startup+650.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 5590 0 0 0 64992 15 0 0 25 0 1 0 907440324 31825920 5510 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7770 5510 1111 63 0 7707 0
vsize: 31080
[startup+660.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 5655 0 0 0 65992 15 0 0 25 0 1 0 907440324 32124928 5575 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7843 5575 1111 63 0 7780 0
vsize: 31372
[startup+670.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 5716 0 0 0 66992 15 0 0 25 0 1 0 907440324 32432128 5636 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7918 5636 1111 63 0 7855 0
vsize: 31672
[startup+680.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 5788 0 0 0 67992 15 0 0 25 0 1 0 907440324 32731136 5708 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7991 5708 1111 63 0 7928 0
vsize: 31964
[startup+690.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 5847 0 0 0 68992 15 0 0 25 0 1 0 907440324 32882688 5767 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8028 5767 1111 63 0 7965 0
vsize: 32112
[startup+700.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 5914 0 0 0 69992 15 0 0 25 0 1 0 907440324 33181696 5834 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8101 5834 1111 63 0 8038 0
vsize: 32404
[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 5982 0 0 0 70992 15 0 0 25 0 1 0 907440324 33484800 5902 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8175 5902 1111 63 0 8112 0
vsize: 32700
[startup+720.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 6048 0 0 0 71993 15 0 0 25 0 1 0 907440324 33783808 5968 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8248 5968 1111 63 0 8185 0
vsize: 32992
[startup+730.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 6113 0 0 0 72993 15 0 0 25 0 1 0 907440324 33931264 6033 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8284 6033 1111 63 0 8221 0
vsize: 33136
[startup+740.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 6180 0 0 0 73993 16 0 0 25 0 1 0 907440324 34238464 6100 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8359 6100 1111 63 0 8296 0
vsize: 33436
[startup+750.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 6246 0 0 0 74993 16 0 0 25 0 1 0 907440324 34537472 6166 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8432 6166 1111 63 0 8369 0
vsize: 33728
[startup+760.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 6305 0 0 0 75993 16 0 0 25 0 1 0 907440324 34836480 6225 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8505 6225 1111 63 0 8442 0
vsize: 34020
[startup+770.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 6378 0 0 0 76993 16 0 0 25 0 1 0 907440324 35139584 6298 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8579 6298 1111 63 0 8516 0
vsize: 34316
[startup+780.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 6439 0 0 0 77993 16 0 0 25 0 1 0 907440324 35291136 6359 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8616 6359 1111 63 0 8553 0
vsize: 34464
[startup+790.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 6505 0 0 0 78993 16 0 0 25 0 1 0 907440324 35590144 6425 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8689 6425 1111 63 0 8626 0
vsize: 34756
[startup+800.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 6571 0 0 0 79993 16 0 0 25 0 1 0 907440324 35889152 6491 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8762 6491 1111 63 0 8699 0
vsize: 35048
[startup+810.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 6638 0 0 0 80993 17 0 0 25 0 1 0 907440324 36192256 6558 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8836 6558 1111 63 0 8773 0
vsize: 35344
[startup+820.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 6704 0 0 0 81993 17 0 0 25 0 1 0 907440324 36343808 6624 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8873 6624 1111 63 0 8810 0
vsize: 35492
[startup+830.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 6769 0 0 0 82993 17 0 0 25 0 1 0 907440324 36642816 6689 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8946 6689 1111 63 0 8883 0
vsize: 35784
[startup+840.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 6837 0 0 0 83993 17 0 0 25 0 1 0 907440324 36945920 6757 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9020 6757 1111 63 0 8957 0
vsize: 36080
[startup+850.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 6903 0 0 0 84993 17 0 0 25 0 1 0 907440324 37244928 6823 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9093 6823 1111 63 0 9030 0
vsize: 36372
[startup+860.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 6970 0 0 0 85993 18 0 0 25 0 1 0 907440324 37543936 6890 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9166 6890 1111 63 0 9103 0
vsize: 36664
[startup+870.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 7035 0 0 0 86993 18 0 0 25 0 1 0 907440324 37695488 6955 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9203 6955 1111 63 0 9140 0
vsize: 36812
[startup+880.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 7103 0 0 0 87993 18 0 0 25 0 1 0 907440324 37998592 7023 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9277 7023 1111 63 0 9214 0
vsize: 37108
[startup+890.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 7168 0 0 0 88993 18 0 0 25 0 1 0 907440324 38297600 7088 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9350 7088 1111 63 0 9287 0
vsize: 37400
[startup+900.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 7234 0 0 0 89993 18 0 0 25 0 1 0 907440324 38596608 7154 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9423 7154 1111 63 0 9360 0
vsize: 37692
[startup+910.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 7295 0 0 0 90993 18 0 0 25 0 1 0 907440324 38752256 7215 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9461 7215 1111 63 0 9398 0
vsize: 37844
[startup+920.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 7367 0 0 0 91993 19 0 0 25 0 1 0 907440324 39051264 7287 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9534 7287 1111 63 0 9471 0
vsize: 38136
[startup+930.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 7434 0 0 0 92993 19 0 0 25 0 1 0 907440324 39350272 7354 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9607 7354 1111 63 0 9544 0
vsize: 38428
[startup+940.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 7502 0 0 0 93993 19 0 0 25 0 1 0 907440324 39653376 7422 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9681 7422 1111 63 0 9618 0
vsize: 38724
[startup+950.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 7567 0 0 0 94993 19 0 0 25 0 1 0 907440324 39952384 7487 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9754 7487 1111 63 0 9691 0
vsize: 39016
[startup+960.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 7633 0 0 0 95993 19 0 0 25 0 1 0 907440324 40251392 7553 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9827 7553 1111 63 0 9764 0
vsize: 39308
[startup+970.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 7692 0 0 0 96993 20 0 0 25 0 1 0 907440324 40402944 7612 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9864 7612 1111 63 0 9801 0
vsize: 39456
[startup+980.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 7766 0 0 0 97993 20 0 0 25 0 1 0 907440324 40710144 7686 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9939 7686 1111 63 0 9876 0
vsize: 39756
[startup+990.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 7825 0 0 0 98993 20 0 0 25 0 1 0 907440324 41009152 7745 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10012 7745 1111 63 0 9949 0
vsize: 40048
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 7892 0 0 0 99993 20 0 0 25 0 1 0 907440324 41308160 7812 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10085 7812 1111 63 0 10022 0
vsize: 40340
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 7959 0 0 0 100993 20 0 0 25 0 1 0 907440324 41459712 7879 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10122 7879 1111 63 0 10059 0
vsize: 40488
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 8019 0 0 0 101992 21 0 0 25 0 1 0 907440324 41758720 7939 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10195 7939 1111 63 0 10132 0
vsize: 40780
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 8090 0 0 0 102991 21 0 0 25 0 1 0 907440324 42057728 8010 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10268 8010 1111 63 0 10205 0
vsize: 41072
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 8151 0 0 0 103990 21 0 0 25 0 1 0 907440324 42356736 8071 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10341 8071 1111 63 0 10278 0
vsize: 41364
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 8217 0 0 0 104990 22 0 0 25 0 1 0 907440324 42635264 8137 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10409 8137 1111 63 0 10346 0
vsize: 41636
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 8282 0 0 0 105990 22 0 0 25 0 1 0 907440324 42782720 8202 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10445 8202 1111 63 0 10382 0
vsize: 41780
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 8348 0 0 0 106990 22 0 0 25 0 1 0 907440324 43081728 8268 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10518 8268 1111 63 0 10455 0
vsize: 42072
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 8417 0 0 0 107990 22 0 0 25 0 1 0 907440324 43384832 8337 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10592 8337 1111 63 0 10529 0
vsize: 42368
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 8489 0 0 0 108990 22 0 0 25 0 1 0 907440324 43683840 8409 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10665 8409 1111 63 0 10602 0
vsize: 42660
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 8549 0 0 0 109990 22 0 0 25 0 1 0 907440324 43982848 8469 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10738 8469 1111 63 0 10675 0
vsize: 42952
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 8622 0 0 0 110990 23 0 0 25 0 1 0 907440324 44290048 8542 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10813 8542 1111 63 0 10750 0
vsize: 43252
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 8682 0 0 0 111990 23 0 0 25 0 1 0 907440324 44441600 8602 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10850 8602 1111 63 0 10787 0
vsize: 43400
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 8754 0 0 0 112990 23 0 0 25 0 1 0 907440324 44740608 8674 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10923 8674 1111 63 0 10860 0
vsize: 43692
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 8821 0 0 0 113990 23 0 0 25 0 1 0 907440324 45039616 8741 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10996 8741 1111 63 0 10933 0
vsize: 43984
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 8887 0 0 0 114990 23 0 0 25 0 1 0 907440324 45342720 8807 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11070 8807 1111 63 0 11007 0
vsize: 44280
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 8960 0 0 0 115990 23 0 0 25 0 1 0 907440324 45641728 8880 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11143 8880 1111 63 0 11080 0
vsize: 44572
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 9020 0 0 0 116990 24 0 0 25 0 1 0 907440324 45789184 8940 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11179 8940 1111 63 0 11116 0
vsize: 44716
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 9094 0 0 0 117990 24 0 0 25 0 1 0 907440324 46096384 9014 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11254 9014 1111 63 0 11191 0
vsize: 45016
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 9159 0 0 0 118990 24 0 0 25 0 1 0 907440324 46395392 9079 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11327 9079 1111 63 0 11264 0
vsize: 45308
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) R 3908 20224 20223 0 -1 0 9225 0 0 0 119990 24 0 0 25 0 1 0 907440324 46694400 9145 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11400 9145 1111 63 0 11337 0
vsize: 45600
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 3909
Raw data (stat): 3909 (bsolo_lpr_cuts-) Z 3908 20224 20223 0 -1 1036 9225 0 0 0 119990 26 0 0 25 0 1 0 907440324 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 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.05
CPU time (s): 1200.17
CPU user time (s): 1199.91
CPU system time (s): 0.263959
CPU usage (%): 100.01
Max. virtual memory (Kb): 45600
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####