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/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3707.opb
MD5SUM	9a33380ca74da1778d689b1fccd15cfc
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	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29764190431236
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29764190431236
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.42078
Number of variables	155000
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	31
Maximum length of a constraint	3000
Trace number 41235

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-09 08:56:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29301 boxname=wulflinc3 idbench=1085 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  9a33380ca74da1778d689b1fccd15cfc  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-n3707.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-n3707.opb
IDLAUNCH: 29301
/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:        884256 kB
Buffers:          6212 kB
Cached:         123436 kB
SwapCached:        708 kB
Active:          39900 kB
Inactive:        91812 kB
HighTotal:      131008 kB
HighFree:         7700 kB
LowTotal:       903652 kB
LowFree:        876556 kB
SwapTotal:     2097136 kB
SwapFree:      2095380 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5036 kB
Slab:            12976 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 09:16:38 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 29301 7 1200.26 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 6177
Raw data (stat): 6177 (runsolver) D 6176 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 908996671 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0014 s]
Raw data (loadavg): 0.88 0.94 0.90 2/54 6177
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 1298 0 0 0 992 4 0 0 25 0 1 0 908996671 15511552 1218 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3787 1218 1111 63 0 3724 0
vsize: 15148
[startup+20.0022 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 6177
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 1408 0 0 0 1992 5 0 0 25 0 1 0 908996671 15941632 1328 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3892 1328 1111 63 0 3829 0
vsize: 15568
[startup+30.0018 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 6177
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 1510 0 0 0 2992 5 0 0 25 0 1 0 908996671 16379904 1430 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3999 1430 1111 63 0 3936 0
vsize: 15996
[startup+40.0023 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 6177
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 1620 0 0 0 3992 5 0 0 25 0 1 0 908996671 16834560 1540 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4110 1540 1111 63 0 4047 0
vsize: 16440
[startup+50.0029 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 6177
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 1732 0 0 0 4991 6 0 0 25 0 1 0 908996671 17264640 1652 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4215 1652 1111 63 0 4152 0
vsize: 16860
[startup+60.0034 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 6177
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 1836 0 0 0 5991 6 0 0 25 0 1 0 908996671 17715200 1756 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4325 1756 1111 63 0 4262 0
vsize: 17300
[startup+70.0028 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 6177
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 1951 0 0 0 6992 6 0 0 25 0 1 0 908996671 18161664 1871 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4434 1871 1111 63 0 4371 0
vsize: 17736
[startup+80.0031 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 6177
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 2055 0 0 0 7991 6 0 0 25 0 1 0 908996671 18616320 1975 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4545 1975 1111 63 0 4482 0
vsize: 18180
[startup+90.0039 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 6177
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 2164 0 0 0 8992 6 0 0 25 0 1 0 908996671 19058688 2084 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4653 2084 1111 63 0 4590 0
vsize: 18612
[startup+100.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 6177
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 2279 0 0 0 9991 7 0 0 25 0 1 0 908996671 19501056 2199 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4761 2199 1111 63 0 4698 0
vsize: 19044
[startup+110.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 6177
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 2383 0 0 0 10991 7 0 0 25 0 1 0 908996671 19955712 2303 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4872 2303 1111 63 0 4809 0
vsize: 19488
[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 6177
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 2493 0 0 0 11991 7 0 0 25 0 1 0 908996671 20402176 2413 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4981 2413 1111 63 0 4918 0
vsize: 19924
[startup+130.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 6177
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 2602 0 0 0 12991 8 0 0 25 0 1 0 908996671 20856832 2522 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5092 2522 1111 63 0 5029 0
vsize: 20368
[startup+140.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 6177
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 2712 0 0 0 13991 8 0 0 25 0 1 0 908996671 21299200 2632 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5200 2632 1111 63 0 5137 0
vsize: 20800
[startup+150.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 6177
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 2821 0 0 0 14991 8 0 0 25 0 1 0 908996671 21725184 2741 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5304 2741 1111 63 0 5241 0
vsize: 21216
[startup+160.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6177
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 2932 0 0 0 15990 9 0 0 25 0 1 0 908996671 22171648 2852 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5413 2852 1111 63 0 5350 0
vsize: 21652
[startup+170.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6177
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 3041 0 0 0 16990 10 0 0 25 0 1 0 908996671 22622208 2961 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5523 2961 1111 63 0 5460 0
vsize: 22092
[startup+180.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6177
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 3145 0 0 0 17990 10 0 0 25 0 1 0 908996671 23072768 3065 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5633 3065 1111 63 0 5570 0
vsize: 22532
[startup+190.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6177
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 3260 0 0 0 18990 10 0 0 25 0 1 0 908996671 23662592 3180 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5777 3180 1111 63 0 5714 0
vsize: 23108
[startup+200.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6177
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 3371 0 0 0 19990 10 0 0 25 0 1 0 908996671 24113152 3291 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5887 3291 1111 63 0 5824 0
vsize: 23548
[startup+210.011 s]
Raw data (loadavg): 0.99 0.96 0.91 3/58 6206
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 3481 0 0 0 20990 11 0 0 25 0 1 0 908996671 24559616 3401 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5996 3401 1111 63 0 5933 0
vsize: 23984
[startup+220.016 s]
Raw data (loadavg): 1.07 0.98 0.91 2/54 6230
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 3591 0 0 0 21990 11 0 0 25 0 1 0 908996671 25010176 3511 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6106 3511 1111 63 0 6043 0
vsize: 24424
[startup+230.017 s]
Raw data (loadavg): 1.06 0.98 0.91 2/54 6230
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 3701 0 0 0 22990 12 0 0 25 0 1 0 908996671 25460736 3621 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6216 3621 1111 63 0 6153 0
vsize: 24864
[startup+240.018 s]
Raw data (loadavg): 1.05 0.98 0.91 2/54 6230
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 3812 0 0 0 23990 12 0 0 25 0 1 0 908996671 25911296 3732 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6326 3732 1111 63 0 6263 0
vsize: 25304
[startup+250.017 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 6230
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 3921 0 0 0 24990 12 0 0 25 0 1 0 908996671 26357760 3841 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6435 3841 1111 63 0 6372 0
vsize: 25740
[startup+260.018 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 6230
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 4032 0 0 0 25989 13 0 0 25 0 1 0 908996671 26804224 3952 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6544 3952 1111 63 0 6481 0
vsize: 26176
[startup+270.018 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 6230
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 4142 0 0 0 26989 13 0 0 25 0 1 0 908996671 27258880 4062 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6655 4062 1111 63 0 6592 0
vsize: 26620
[startup+280.017 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 6230
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 4253 0 0 0 27989 13 0 0 25 0 1 0 908996671 27705344 4173 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6764 4173 1111 63 0 6701 0
vsize: 27056
[startup+290.019 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 6232
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 4362 0 0 0 28989 13 0 0 25 0 1 0 908996671 28160000 4282 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6875 4282 1111 63 0 6812 0
vsize: 27500
[startup+300.019 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 6232
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 4473 0 0 0 29989 14 0 0 25 0 1 0 908996671 28602368 4393 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6983 4393 1111 63 0 6920 0
vsize: 27932
[startup+310.02 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 6232
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 4583 0 0 0 30989 14 0 0 25 0 1 0 908996671 29028352 4503 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7087 4503 1111 63 0 7024 0
vsize: 28348
[startup+320.026 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 6232
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 4693 0 0 0 31990 14 0 0 25 0 1 0 908996671 29474816 4613 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7196 4613 1111 63 0 7133 0
vsize: 28784
[startup+330.026 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 6232
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 4802 0 0 0 32990 14 0 0 25 0 1 0 908996671 29925376 4722 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7306 4722 1111 63 0 7243 0
vsize: 29224
[startup+340.026 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 6232
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 4913 0 0 0 33990 15 0 0 25 0 1 0 908996671 30375936 4833 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7416 4833 1111 63 0 7353 0
vsize: 29664
[startup+350.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6232
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 5022 0 0 0 34989 15 0 0 25 0 1 0 908996671 30826496 4942 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7526 4942 1111 63 0 7463 0
vsize: 30104
[startup+360.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6232
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 5144 0 0 0 35990 15 0 0 25 0 1 0 908996671 31309824 5064 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7644 5064 1111 63 0 7581 0
vsize: 30576
[startup+370.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6232
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 5259 0 0 0 36990 15 0 0 25 0 1 0 908996671 31760384 5179 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7754 5179 1111 63 0 7691 0
vsize: 31016
[startup+380.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6232
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 5365 0 0 0 37990 15 0 0 25 0 1 0 908996671 32210944 5285 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7864 5285 1111 63 0 7801 0
vsize: 31456
[startup+390.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6232
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 5480 0 0 0 38989 16 0 0 25 0 1 0 908996671 32661504 5400 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7974 5400 1111 63 0 7911 0
vsize: 31896
[startup+400.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6232
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 5591 0 0 0 39989 16 0 0 25 0 1 0 908996671 33107968 5511 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8083 5511 1111 63 0 8020 0
vsize: 32332
[startup+410.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6232
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 5701 0 0 0 40990 16 0 0 25 0 1 0 908996671 33558528 5621 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8193 5621 1111 63 0 8130 0
vsize: 32772
[startup+420.031 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6232
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 5812 0 0 0 41990 16 0 0 25 0 1 0 908996671 34009088 5732 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8303 5732 1111 63 0 8240 0
vsize: 33212
[startup+430.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6232
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 5922 0 0 0 42990 16 0 0 25 0 1 0 908996671 34459648 5842 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8413 5842 1111 63 0 8350 0
vsize: 33652
[startup+440.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6232
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 6039 0 0 0 43990 17 0 0 25 0 1 0 908996671 35061760 5959 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8560 5959 1111 63 0 8497 0
vsize: 34240
[startup+450.031 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6232
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 6149 0 0 0 44990 17 0 0 25 0 1 0 908996671 35508224 6069 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8669 6069 1111 63 0 8606 0
vsize: 34676
[startup+460.032 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6232
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 6260 0 0 0 45990 17 0 0 25 0 1 0 908996671 35958784 6180 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8779 6180 1111 63 0 8716 0
vsize: 35116
[startup+470.032 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6232
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 6371 0 0 0 46990 17 0 0 25 0 1 0 908996671 36409344 6291 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8889 6291 1111 63 0 8826 0
vsize: 35556
[startup+480.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6232
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 6481 0 0 0 47990 17 0 0 25 0 1 0 908996671 36859904 6401 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8999 6401 1111 63 0 8936 0
vsize: 35996
[startup+490.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6232
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 6597 0 0 0 48990 18 0 0 25 0 1 0 908996671 37306368 6517 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9108 6517 1111 63 0 9045 0
vsize: 36432
[startup+500.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6232
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 6709 0 0 0 49990 18 0 0 25 0 1 0 908996671 37761024 6629 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9219 6629 1111 63 0 9156 0
vsize: 36876
[startup+510.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6232
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 6818 0 0 0 50990 18 0 0 25 0 1 0 908996671 38207488 6738 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9328 6738 1111 63 0 9265 0
vsize: 37312
[startup+520.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6232
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 6936 0 0 0 51990 18 0 0 25 0 1 0 908996671 38658048 6856 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9438 6856 1111 63 0 9375 0
vsize: 37752
[startup+530.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6232
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 7045 0 0 0 52990 18 0 0 25 0 1 0 908996671 39108608 6965 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9548 6965 1111 63 0 9485 0
vsize: 38192
[startup+540.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 7157 0 0 0 53990 18 0 0 25 0 1 0 908996671 39559168 7077 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9658 7077 1111 63 0 9595 0
vsize: 38632
[startup+550.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 7273 0 0 0 54990 19 0 0 25 0 1 0 908996671 40005632 7193 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9767 7193 1111 63 0 9704 0
vsize: 39068
[startup+560.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 7385 0 0 0 55990 19 0 0 25 0 1 0 908996671 40456192 7305 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9877 7305 1111 63 0 9814 0
vsize: 39508
[startup+570.036 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 7494 0 0 0 56990 19 0 0 25 0 1 0 908996671 40906752 7414 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9987 7414 1111 63 0 9924 0
vsize: 39948
[startup+580.036 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 7612 0 0 0 57990 19 0 0 25 0 1 0 908996671 41357312 7532 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10097 7532 1111 63 0 10034 0
vsize: 40388
[startup+590.036 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 7722 0 0 0 58990 19 0 0 25 0 1 0 908996671 41803776 7642 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10206 7642 1111 63 0 10143 0
vsize: 40824
[startup+600.037 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 7833 0 0 0 59990 20 0 0 25 0 1 0 908996671 42250240 7753 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10315 7753 1111 63 0 10252 0
vsize: 41260
[startup+610.037 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 7949 0 0 0 60990 20 0 0 25 0 1 0 908996671 42852352 7869 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10462 7869 1111 63 0 10399 0
vsize: 41848
[startup+620.037 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 8061 0 0 0 61990 20 0 0 25 0 1 0 908996671 43307008 7981 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10573 7981 1111 63 0 10510 0
vsize: 42292
[startup+630.037 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 8170 0 0 0 62990 20 0 0 25 0 1 0 908996671 43753472 8090 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10682 8090 1111 63 0 10619 0
vsize: 42728
[startup+640.038 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 8287 0 0 0 63990 20 0 0 25 0 1 0 908996671 44183552 8207 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10787 8207 1111 63 0 10724 0
vsize: 43148
[startup+650.038 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 8404 0 0 0 64990 21 0 0 25 0 1 0 908996671 44621824 8324 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10894 8324 1111 63 0 10831 0
vsize: 43576
[startup+660.039 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 8515 0 0 0 65989 21 0 0 25 0 1 0 908996671 45072384 8435 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11004 8435 1111 63 0 10941 0
vsize: 44016
[startup+670.039 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 8625 0 0 0 66989 22 0 0 25 0 1 0 908996671 45522944 8545 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11114 8545 1111 63 0 11051 0
vsize: 44456
[startup+680.039 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 8742 0 0 0 67989 22 0 0 25 0 1 0 908996671 45973504 8662 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11224 8662 1111 63 0 11161 0
vsize: 44896
[startup+690.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 8857 0 0 0 68990 22 0 0 25 0 1 0 908996671 46567424 8777 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11369 8777 1111 63 0 11306 0
vsize: 45476
[startup+700.041 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 8969 0 0 0 69990 22 0 0 25 0 1 0 908996671 47022080 8889 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11480 8889 1111 63 0 11417 0
vsize: 45920
[startup+710.042 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 9098 0 0 0 70990 22 0 0 25 0 1 0 908996671 47579136 9018 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11616 9018 1111 63 0 11553 0
vsize: 46464
[startup+720.043 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 9216 0 0 0 71990 23 0 0 25 0 1 0 908996671 48144384 9136 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11754 9136 1111 63 0 11691 0
vsize: 47016
[startup+730.043 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 9331 0 0 0 72989 23 0 0 25 0 1 0 908996671 48590848 9251 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11863 9251 1111 63 0 11800 0
vsize: 47452
[startup+740.043 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 9443 0 0 0 73989 23 0 0 25 0 1 0 908996671 49041408 9363 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11973 9363 1111 63 0 11910 0
vsize: 47892
[startup+750.043 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 9559 0 0 0 74989 23 0 0 25 0 1 0 908996671 49491968 9479 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12083 9479 1111 63 0 12020 0
vsize: 48332
[startup+760.044 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 9672 0 0 0 75989 24 0 0 25 0 1 0 908996671 49942528 9592 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12193 9592 1111 63 0 12130 0
vsize: 48772
[startup+770.046 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 9788 0 0 0 76989 24 0 0 25 0 1 0 908996671 50388992 9708 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12302 9708 1111 63 0 12239 0
vsize: 49208
[startup+780.046 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 9905 0 0 0 77989 24 0 0 25 0 1 0 908996671 50958336 9825 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12441 9825 1111 63 0 12378 0
vsize: 49764
[startup+790.047 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 10015 0 0 0 78989 25 0 0 25 0 1 0 908996671 51408896 9935 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12551 9935 1111 63 0 12488 0
vsize: 50204
[startup+800.046 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 10134 0 0 0 79989 25 0 0 25 0 1 0 908996671 51859456 10054 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12661 10054 1111 63 0 12598 0
vsize: 50644
[startup+810.047 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 10244 0 0 0 80989 25 0 0 25 0 1 0 908996671 52310016 10164 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12771 10164 1111 63 0 12708 0
vsize: 51084
[startup+820.048 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 10362 0 0 0 81989 25 0 0 25 0 1 0 908996671 52760576 10282 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12881 10282 1111 63 0 12818 0
vsize: 51524
[startup+830.048 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 10479 0 0 0 82989 26 0 0 25 0 1 0 908996671 53207040 10399 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12990 10399 1111 63 0 12927 0
vsize: 51960
[startup+840.049 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 10596 0 0 0 83988 26 0 0 25 0 1 0 908996671 53657600 10516 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13100 10516 1111 63 0 13037 0
vsize: 52400
[startup+850.049 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 10714 0 0 0 84989 26 0 0 25 0 1 0 908996671 54259712 10634 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13247 10634 1111 63 0 13184 0
vsize: 52988
[startup+860.049 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 10824 0 0 0 85989 26 0 0 25 0 1 0 908996671 54710272 10744 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13357 10744 1111 63 0 13294 0
vsize: 53428
[startup+870.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 10942 0 0 0 86988 27 0 0 25 0 1 0 908996671 55160832 10862 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13467 10862 1111 63 0 13404 0
vsize: 53868
[startup+880.051 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 11059 0 0 0 87989 27 0 0 25 0 1 0 908996671 55607296 10979 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13576 10979 1111 63 0 13513 0
vsize: 54304
[startup+890.052 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 11171 0 0 0 88989 27 0 0 25 0 1 0 908996671 56057856 11091 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13686 11091 1111 63 0 13623 0
vsize: 54744
[startup+900.053 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 11287 0 0 0 89988 28 0 0 25 0 1 0 908996671 56508416 11207 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13796 11207 1111 63 0 13733 0
vsize: 55184
[startup+910.054 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 11405 0 0 0 90988 28 0 0 25 0 1 0 908996671 56958976 11325 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13906 11325 1111 63 0 13843 0
vsize: 55624
[startup+920.054 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 11522 0 0 0 91989 28 0 0 25 0 1 0 908996671 57552896 11442 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14051 11442 1111 63 0 13988 0
vsize: 56204
[startup+930.054 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 11641 0 0 0 92989 28 0 0 25 0 1 0 908996671 58007552 11561 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14162 11561 1111 63 0 14099 0
vsize: 56648
[startup+940.055 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 11757 0 0 0 93988 29 0 0 25 0 1 0 908996671 58454016 11677 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14271 11677 1111 63 0 14208 0
vsize: 57084
[startup+950.056 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 11875 0 0 0 94988 29 0 0 25 0 1 0 908996671 58908672 11795 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14382 11795 1111 63 0 14319 0
vsize: 57528
[startup+960.057 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 11991 0 0 0 95988 29 0 0 25 0 1 0 908996671 59351040 11911 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14490 11911 1111 63 0 14427 0
vsize: 57960
[startup+970.057 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 12109 0 0 0 96988 29 0 0 25 0 1 0 908996671 59953152 12029 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14637 12029 1111 63 0 14574 0
vsize: 58548
[startup+980.058 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 12221 0 0 0 97988 30 0 0 25 0 1 0 908996671 60403712 12141 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14747 12141 1111 63 0 14684 0
vsize: 58988
[startup+990.058 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 12338 0 0 0 98988 30 0 0 25 0 1 0 908996671 60854272 12258 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14857 12258 1111 63 0 14794 0
vsize: 59428
[startup+1000.06 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 12455 0 0 0 99988 30 0 0 25 0 1 0 908996671 61300736 12375 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14966 12375 1111 63 0 14903 0
vsize: 59864
[startup+1010.06 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 12572 0 0 0 100988 30 0 0 25 0 1 0 908996671 61755392 12492 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15077 12492 1111 63 0 15014 0
vsize: 60308
[startup+1020.06 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 12691 0 0 0 101988 30 0 0 25 0 1 0 908996671 62201856 12611 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15186 12611 1111 63 0 15123 0
vsize: 60744
[startup+1030.06 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 12807 0 0 0 102988 31 0 0 25 0 1 0 908996671 62803968 12727 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15333 12727 1111 63 0 15270 0
vsize: 61332
[startup+1040.06 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 12925 0 0 0 103988 31 0 0 25 0 1 0 908996671 63254528 12845 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15443 12845 1111 63 0 15380 0
vsize: 61772
[startup+1050.06 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 13042 0 0 0 104988 31 0 0 25 0 1 0 908996671 63700992 12962 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15552 12962 1111 63 0 15489 0
vsize: 62208
[startup+1060.06 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 13161 0 0 0 105988 32 0 0 25 0 1 0 908996671 64155648 13081 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15663 13081 1111 63 0 15600 0
vsize: 62652
[startup+1070.06 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 13278 0 0 0 106988 32 0 0 25 0 1 0 908996671 64602112 13198 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15772 13198 1111 63 0 15709 0
vsize: 63088
[startup+1080.06 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 13396 0 0 0 107988 32 0 0 25 0 1 0 908996671 65204224 13316 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15919 13316 1111 63 0 15856 0
vsize: 63676
[startup+1090.06 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 13513 0 0 0 108988 32 0 0 25 0 1 0 908996671 65650688 13433 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16028 13433 1111 63 0 15965 0
vsize: 64112
[startup+1100.06 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 13632 0 0 0 109988 33 0 0 25 0 1 0 908996671 66105344 13552 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16139 13552 1111 63 0 16076 0
vsize: 64556
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 13754 0 0 0 110988 33 0 0 25 0 1 0 908996671 66547712 13674 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16247 13674 1111 63 0 16184 0
vsize: 64988
[startup+1120.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 13872 0 0 0 111988 33 0 0 25 0 1 0 908996671 67149824 13792 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16394 13792 1111 63 0 16331 0
vsize: 65576
[startup+1130.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 13990 0 0 0 112988 33 0 0 25 0 1 0 908996671 67600384 13910 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16504 13910 1111 63 0 16441 0
vsize: 66016
[startup+1140.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 14108 0 0 0 113988 34 0 0 25 0 1 0 908996671 68050944 14028 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16614 14028 1111 63 0 16551 0
vsize: 66456
[startup+1150.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 14225 0 0 0 114988 34 0 0 25 0 1 0 908996671 68497408 14145 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16723 14145 1111 63 0 16660 0
vsize: 66892
[startup+1160.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 14343 0 0 0 115988 34 0 0 25 0 1 0 908996671 68947968 14263 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16833 14263 1111 63 0 16770 0
vsize: 67332
[startup+1170.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 14462 0 0 0 116987 35 0 0 25 0 1 0 908996671 69550080 14382 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16980 14382 1111 63 0 16917 0
vsize: 67920
[startup+1180.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 14579 0 0 0 117987 35 0 0 25 0 1 0 908996671 70000640 14499 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17090 14499 1111 63 0 17027 0
vsize: 68360
[startup+1190.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 14698 0 0 0 118987 35 0 0 25 0 1 0 908996671 70451200 14618 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17200 14618 1111 63 0 17137 0
vsize: 68800
[startup+1200.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) R 6176 20224 20223 0 -1 0 14820 0 0 0 119987 36 0 0 25 0 1 0 908996671 70897664 14740 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17309 14740 1111 63 0 17246 0
vsize: 69236
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 1.00 0.98 0.91 1/54 6234
Raw data (stat): 6177 (bsolo_lpr_cuts-) Z 6176 20224 20223 0 -1 1036 14820 0 0 0 119987 38 0 0 25 0 1 0 908996671 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.26
CPU user time (s): 1199.88
CPU system time (s): 0.386941
CPU usage (%): 100.014
Max. virtual memory (Kb): 69236
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####