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/milp/normalized-mps-v2-20-10-neos4.opb
MD5SUM	e465af1c9ec9e748a7782ddbee36d3b1
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	100590
Biggest coefficient in the objective function	11202704073084108800000000
Number of bits for the biggest coefficient in the objective function	84
Sum of the numbers in the objective function	2862789126208280618841669632
Number of bits of the sum of numbers in the objective function	92
Biggest number in a constraint	11202704073084108800000000
Number of bits of the biggest number in a constraint	84
Biggest sum of numbers in a constraint	2862789126208280618841669632
Number of bits of the biggest sum of numbers	92
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.90971
Number of variables	203044
Total number of constraints	56505
Number of constraints which are clauses	32142
Number of constraints which are cardinality constraints (but not clauses)	17175
Number of constraints which are nor clauses,nor cardinality constraints	7188
Minimum length of a constraint	1
Maximum length of a constraint	1115
Trace number 41285

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-09 09:37:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29347 boxname=wulflinc3 idbench=1131 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  e465af1c9ec9e748a7782ddbee36d3b1  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-neos4.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-neos4.opb
IDLAUNCH: 29347
/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:        842172 kB
Buffers:          9576 kB
Cached:         162164 kB
SwapCached:        708 kB
Active:          46348 kB
Inactive:       127336 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        841892 kB
SwapTotal:     2097136 kB
SwapFree:      2095380 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5036 kB
Slab:            13116 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 09:57:33 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 29347 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.66 0.88 0.88 2/54 6697
Raw data (stat): 6697 (runsolver) R 6696 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 909242272 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0012 s]
Raw data (loadavg): 0.71 0.88 0.88 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 1239 0 0 0 993 5 0 0 25 0 1 0 909242272 15212544 1159 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3714 1159 1111 63 0 3651 0
vsize: 14856
[startup+20.0023 s]
Raw data (loadavg): 0.75 0.89 0.88 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 1280 0 0 0 1993 5 0 0 25 0 1 0 909242272 15482880 1200 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3780 1200 1111 63 0 3717 0
vsize: 15120
[startup+30.0021 s]
Raw data (loadavg): 0.79 0.89 0.88 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 1321 0 0 0 2993 5 0 0 25 0 1 0 909242272 15618048 1241 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3813 1241 1111 63 0 3750 0
vsize: 15252
[startup+40.0026 s]
Raw data (loadavg): 0.82 0.89 0.88 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 1363 0 0 0 3993 5 0 0 25 0 1 0 909242272 15753216 1283 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3846 1283 1111 63 0 3783 0
vsize: 15384
[startup+50.0028 s]
Raw data (loadavg): 0.85 0.90 0.89 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 1410 0 0 0 4993 5 0 0 25 0 1 0 909242272 15888384 1330 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3879 1330 1111 63 0 3816 0
vsize: 15516
[startup+60.0039 s]
Raw data (loadavg): 0.87 0.90 0.89 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 1445 0 0 0 5993 5 0 0 25 0 1 0 909242272 16158720 1365 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3945 1365 1111 63 0 3882 0
vsize: 15780
[startup+70.0041 s]
Raw data (loadavg): 0.90 0.90 0.89 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 1493 0 0 0 6993 5 0 0 25 0 1 0 909242272 16293888 1413 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3978 1413 1111 63 0 3915 0
vsize: 15912
[startup+80.0043 s]
Raw data (loadavg): 0.91 0.91 0.89 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 1528 0 0 0 7993 5 0 0 25 0 1 0 909242272 16429056 1448 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4011 1448 1111 63 0 3948 0
vsize: 16044
[startup+90.0051 s]
Raw data (loadavg): 0.93 0.91 0.89 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 1579 0 0 0 8994 5 0 0 25 0 1 0 909242272 16703488 1499 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4078 1499 1111 63 0 4015 0
vsize: 16312
[startup+100.005 s]
Raw data (loadavg): 0.94 0.91 0.89 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 1619 0 0 0 9993 6 0 0 25 0 1 0 909242272 16838656 1539 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4111 1539 1111 63 0 4048 0
vsize: 16444
[startup+110.008 s]
Raw data (loadavg): 0.95 0.91 0.89 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 1662 0 0 0 10994 6 0 0 25 0 1 0 909242272 16977920 1582 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4145 1582 1111 63 0 4082 0
vsize: 16580
[startup+120.009 s]
Raw data (loadavg): 0.95 0.92 0.89 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 1709 0 0 0 11994 6 0 0 25 0 1 0 909242272 17113088 1629 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4178 1629 1111 63 0 4115 0
vsize: 16712
[startup+130.008 s]
Raw data (loadavg): 0.96 0.92 0.89 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 1744 0 0 0 12994 6 0 0 25 0 1 0 909242272 17383424 1664 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4244 1664 1111 63 0 4181 0
vsize: 16976
[startup+140.008 s]
Raw data (loadavg): 0.97 0.92 0.89 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 1792 0 0 0 13994 6 0 0 25 0 1 0 909242272 17518592 1712 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 1712 1111 63 0 4214 0
vsize: 17108
[startup+150.009 s]
Raw data (loadavg): 0.97 0.92 0.90 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 1826 0 0 0 14994 7 0 0 25 0 1 0 909242272 17653760 1746 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4310 1746 1111 63 0 4247 0
vsize: 17240
[startup+160.01 s]
Raw data (loadavg): 0.98 0.92 0.90 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 1878 0 0 0 15994 7 0 0 25 0 1 0 909242272 17940480 1798 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4380 1798 1111 63 0 4317 0
vsize: 17520
[startup+170.01 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 1914 0 0 0 16994 7 0 0 25 0 1 0 909242272 18075648 1834 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4413 1834 1111 63 0 4350 0
vsize: 17652
[startup+180.01 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 1963 0 0 0 17994 7 0 0 25 0 1 0 909242272 18210816 1883 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4446 1883 1111 63 0 4383 0
vsize: 17784
[startup+190.01 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 2010 0 0 0 18994 7 0 0 25 0 1 0 909242272 18345984 1930 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4479 1930 1111 63 0 4416 0
vsize: 17916
[startup+200.01 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 2045 0 0 0 19994 7 0 0 25 0 1 0 909242272 18616320 1965 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4545 1965 1111 63 0 4482 0
vsize: 18180
[startup+210.011 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 2093 0 0 0 20994 7 0 0 25 0 1 0 909242272 18751488 2013 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4578 2013 1111 63 0 4515 0
vsize: 18312
[startup+220.012 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 2142 0 0 0 21995 7 0 0 25 0 1 0 909242272 18886656 2062 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4611 2062 1111 63 0 4548 0
vsize: 18444
[startup+230.012 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 2177 0 0 0 22995 7 0 0 25 0 1 0 909242272 19156992 2097 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4677 2097 1111 63 0 4614 0
vsize: 18708
[startup+240.013 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 2225 0 0 0 23995 7 0 0 25 0 1 0 909242272 19292160 2145 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4710 2145 1111 63 0 4647 0
vsize: 18840
[startup+250.013 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 2273 0 0 0 24995 7 0 0 25 0 1 0 909242272 19427328 2193 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4743 2193 1111 63 0 4680 0
vsize: 18972
[startup+260.015 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 2308 0 0 0 25995 7 0 0 25 0 1 0 909242272 19697664 2228 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4809 2228 1111 63 0 4746 0
vsize: 19236
[startup+270.014 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 2356 0 0 0 26995 7 0 0 25 0 1 0 909242272 19832832 2276 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4842 2276 1111 63 0 4779 0
vsize: 19368
[startup+280.014 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 2403 0 0 0 27996 7 0 0 25 0 1 0 909242272 19968000 2323 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4875 2323 1111 63 0 4812 0
vsize: 19500
[startup+290.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 2439 0 0 0 28996 8 0 0 25 0 1 0 909242272 20103168 2359 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4908 2359 1111 63 0 4845 0
vsize: 19632
[startup+300.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 2486 0 0 0 29996 8 0 0 25 0 1 0 909242272 20373504 2406 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4974 2406 1111 63 0 4911 0
vsize: 19896
[startup+310.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 2521 0 0 0 30996 8 0 0 25 0 1 0 909242272 20508672 2441 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5007 2441 1111 63 0 4944 0
vsize: 20028
[startup+320.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 2575 0 0 0 31996 8 0 0 25 0 1 0 909242272 20807680 2495 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5080 2495 1111 63 0 5017 0
vsize: 20320
[startup+330.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 2618 0 0 0 32996 8 0 0 25 0 1 0 909242272 20946944 2538 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5114 2538 1111 63 0 5051 0
vsize: 20456
[startup+340.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 2659 0 0 0 33996 8 0 0 25 0 1 0 909242272 21082112 2579 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5147 2579 1111 63 0 5084 0
vsize: 20588
[startup+350.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 2706 0 0 0 34996 8 0 0 25 0 1 0 909242272 21217280 2626 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5180 2626 1111 63 0 5117 0
vsize: 20720
[startup+360.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 2750 0 0 0 35996 9 0 0 25 0 1 0 909242272 21487616 2670 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5246 2670 1111 63 0 5183 0
vsize: 20984
[startup+370.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 2791 0 0 0 36996 9 0 0 25 0 1 0 909242272 21622784 2711 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5279 2711 1111 63 0 5216 0
vsize: 21116
[startup+380.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 2840 0 0 0 37996 9 0 0 25 0 1 0 909242272 21893120 2760 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5345 2760 1111 63 0 5282 0
vsize: 21380
[startup+390.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 2888 0 0 0 38996 9 0 0 25 0 1 0 909242272 22028288 2808 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5378 2808 1111 63 0 5315 0
vsize: 21512
[startup+400.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 2932 0 0 0 39997 9 0 0 25 0 1 0 909242272 22163456 2852 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5411 2852 1111 63 0 5348 0
vsize: 21644
[startup+410.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 2973 0 0 0 40997 9 0 0 25 0 1 0 909242272 22433792 2893 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5477 2893 1111 63 0 5414 0
vsize: 21908
[startup+420.025 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 3006 0 0 0 41997 9 0 0 25 0 1 0 909242272 22568960 2926 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5510 2926 1111 63 0 5447 0
vsize: 22040
[startup+430.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 3054 0 0 0 42997 9 0 0 25 0 1 0 909242272 22704128 2974 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5543 2974 1111 63 0 5480 0
vsize: 22172
[startup+440.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 3102 0 0 0 43997 9 0 0 25 0 1 0 909242272 22839296 3022 4294967295 134512640 134716908 3221224560 3221222792 1077360259 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5576 3022 1111 63 0 5513 0
vsize: 22304
[startup+450.025 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 3138 0 0 0 44997 9 0 0 25 0 1 0 909242272 23109632 3058 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5642 3058 1111 63 0 5579 0
vsize: 22568
[startup+460.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 3186 0 0 0 45998 9 0 0 25 0 1 0 909242272 23244800 3106 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5675 3106 1111 63 0 5612 0
vsize: 22700
[startup+470.027 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 3236 0 0 0 46998 9 0 0 25 0 1 0 909242272 23400448 3156 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5713 3156 1111 63 0 5650 0
vsize: 22852
[startup+480.027 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 3271 0 0 0 47998 10 0 0 25 0 1 0 909242272 23539712 3191 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5747 3191 1111 63 0 5684 0
vsize: 22988
[startup+490.027 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 3319 0 0 0 48998 10 0 0 25 0 1 0 909242272 23810048 3239 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5813 3239 1111 63 0 5750 0
vsize: 23252
[startup+500.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 3366 0 0 0 49998 10 0 0 25 0 1 0 909242272 23945216 3286 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5846 3286 1111 63 0 5783 0
vsize: 23384
[startup+510.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 3403 0 0 0 51000 10 0 0 25 0 1 0 909242272 24080384 3323 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5879 3323 1111 63 0 5816 0
vsize: 23516
[startup+520.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 3451 0 0 0 52000 10 0 0 25 0 1 0 909242272 24350720 3371 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5945 3371 1111 63 0 5882 0
vsize: 23780
[startup+530.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 3498 0 0 0 53000 10 0 0 25 0 1 0 909242272 24506368 3418 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5983 3418 1111 63 0 5920 0
vsize: 23932
[startup+540.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 3543 0 0 0 54000 10 0 0 25 0 1 0 909242272 24641536 3463 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6016 3463 1111 63 0 5953 0
vsize: 24064
[startup+550.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 3584 0 0 0 55000 11 0 0 25 0 1 0 909242272 24915968 3504 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6083 3504 1111 63 0 6020 0
vsize: 24332
[startup+560.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 3616 0 0 0 56000 11 0 0 25 0 1 0 909242272 25051136 3536 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6116 3536 1111 63 0 6053 0
vsize: 24464
[startup+570.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 3664 0 0 0 57000 11 0 0 25 0 1 0 909242272 25186304 3584 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6149 3584 1111 63 0 6086 0
vsize: 24596
[startup+580.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 3706 0 0 0 58001 11 0 0 25 0 1 0 909242272 25325568 3626 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6183 3626 1111 63 0 6120 0
vsize: 24732
[startup+590.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 3747 0 0 0 59001 11 0 0 25 0 1 0 909242272 25595904 3667 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6249 3667 1111 63 0 6186 0
vsize: 24996
[startup+600.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 3795 0 0 0 60001 11 0 0 25 0 1 0 909242272 25731072 3715 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6282 3715 1111 63 0 6219 0
vsize: 25128
[startup+610.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 3838 0 0 0 61001 11 0 0 25 0 1 0 909242272 25866240 3758 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6315 3758 1111 63 0 6252 0
vsize: 25260
[startup+620.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 3891 0 0 0 62001 11 0 0 25 0 1 0 909242272 26157056 3811 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6386 3811 1111 63 0 6323 0
vsize: 25544
[startup+630.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 3939 0 0 0 63001 11 0 0 25 0 1 0 909242272 26427392 3859 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6452 3859 1111 63 0 6389 0
vsize: 25808
[startup+640.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 3987 0 0 0 64001 11 0 0 25 0 1 0 909242272 26562560 3907 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6485 3907 1111 63 0 6422 0
vsize: 25940
[startup+650.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 4036 0 0 0 65001 12 0 0 25 0 1 0 909242272 26697728 3956 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6518 3956 1111 63 0 6455 0
vsize: 26072
[startup+660.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 4072 0 0 0 66001 12 0 0 25 0 1 0 909242272 26968064 3992 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6584 3992 1111 63 0 6521 0
vsize: 26336
[startup+670.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 4120 0 0 0 67001 12 0 0 25 0 1 0 909242272 27103232 4040 4294967295 134512640 134716908 3221224560 3221222788 1077414372 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6617 4040 1111 63 0 6554 0
vsize: 26468
[startup+680.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 4169 0 0 0 68001 12 0 0 25 0 1 0 909242272 27238400 4089 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6650 4089 1111 63 0 6587 0
vsize: 26600
[startup+690.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 4204 0 0 0 69001 12 0 0 25 0 1 0 909242272 27373568 4124 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6683 4124 1111 63 0 6620 0
vsize: 26732
[startup+700.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 4251 0 0 0 70001 13 0 0 25 0 1 0 909242272 27643904 4171 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6749 4171 1111 63 0 6686 0
vsize: 26996
[startup+710.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 4286 0 0 0 71001 13 0 0 25 0 1 0 909242272 27779072 4206 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 4206 1111 63 0 6719 0
vsize: 27128
[startup+720.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 4335 0 0 0 72001 13 0 0 25 0 1 0 909242272 27934720 4255 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6820 4255 1111 63 0 6757 0
vsize: 27280
[startup+730.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 4377 0 0 0 73001 13 0 0 25 0 1 0 909242272 28209152 4297 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6887 4297 1111 63 0 6824 0
vsize: 27548
[startup+740.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 4418 0 0 0 74001 14 0 0 25 0 1 0 909242272 28344320 4338 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6920 4338 1111 63 0 6857 0
vsize: 27680
[startup+750.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 4466 0 0 0 75001 14 0 0 25 0 1 0 909242272 28479488 4386 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6953 4386 1111 63 0 6890 0
vsize: 27812
[startup+760.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 4515 0 0 0 76001 14 0 0 25 0 1 0 909242272 28749824 4435 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7019 4435 1111 63 0 6956 0
vsize: 28076
[startup+770.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 4565 0 0 0 77001 14 0 0 25 0 1 0 909242272 28884992 4485 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7052 4485 1111 63 0 6989 0
vsize: 28208
[startup+780.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 4607 0 0 0 78001 14 0 0 25 0 1 0 909242272 29040640 4527 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7090 4527 1111 63 0 7027 0
vsize: 28360
[startup+790.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 4651 0 0 0 79001 14 0 0 25 0 1 0 909242272 29315072 4571 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7157 4571 1111 63 0 7094 0
vsize: 28628
[startup+800.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 4699 0 0 0 80002 14 0 0 25 0 1 0 909242272 29450240 4619 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7190 4619 1111 63 0 7127 0
vsize: 28760
[startup+810.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 4747 0 0 0 81002 15 0 0 25 0 1 0 909242272 29720576 4667 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7256 4667 1111 63 0 7193 0
vsize: 29024
[startup+820.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 4796 0 0 0 82002 15 0 0 25 0 1 0 909242272 29855744 4716 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7289 4716 1111 63 0 7226 0
vsize: 29156
[startup+830.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 4831 0 0 0 83002 15 0 0 25 0 1 0 909242272 29990912 4751 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7322 4751 1111 63 0 7259 0
vsize: 29288
[startup+840.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 4882 0 0 0 84002 15 0 0 25 0 1 0 909242272 30261248 4802 4294967295 134512640 134716908 3221224560 3221222788 1077414347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7388 4802 1111 63 0 7325 0
vsize: 29552
[startup+850.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 4930 0 0 0 85002 15 0 0 25 0 1 0 909242272 30396416 4850 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7421 4850 1111 63 0 7358 0
vsize: 29684
[startup+860.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 4981 0 0 0 86002 15 0 0 25 0 1 0 909242272 30666752 4901 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7487 4901 1111 63 0 7424 0
vsize: 29948
[startup+870.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 5029 0 0 0 87002 15 0 0 25 0 1 0 909242272 30801920 4949 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7520 4949 1111 63 0 7457 0
vsize: 30080
[startup+880.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 5077 0 0 0 88002 16 0 0 25 0 1 0 909242272 30937088 4997 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7553 4997 1111 63 0 7490 0
vsize: 30212
[startup+890.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 5128 0 0 0 89002 16 0 0 25 0 1 0 909242272 31207424 5048 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7619 5048 1111 63 0 7556 0
vsize: 30476
[startup+900.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 5176 0 0 0 90002 16 0 0 25 0 1 0 909242272 31342592 5096 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7652 5096 1111 63 0 7589 0
vsize: 30608
[startup+910.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 5226 0 0 0 91002 16 0 0 25 0 1 0 909242272 31612928 5146 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7718 5146 1111 63 0 7655 0
vsize: 30872
[startup+920.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 5262 0 0 0 92002 16 0 0 25 0 1 0 909242272 31768576 5182 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7756 5182 1111 63 0 7693 0
vsize: 31024
[startup+930.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 5311 0 0 0 93002 16 0 0 25 0 1 0 909242272 31907840 5231 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7790 5231 1111 63 0 7727 0
vsize: 31160
[startup+940.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 5359 0 0 0 94002 16 0 0 25 0 1 0 909242272 32178176 5279 4294967295 134512640 134716908 3221224560 3221223216 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7856 5279 1111 63 0 7793 0
vsize: 31424
[startup+950.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 5408 0 0 0 95002 17 0 0 25 0 1 0 909242272 32313344 5328 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7889 5328 1111 63 0 7826 0
vsize: 31556
[startup+960.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 5458 0 0 0 96002 17 0 0 25 0 1 0 909242272 32583680 5378 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7955 5378 1111 63 0 7892 0
vsize: 31820
[startup+970.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 5506 0 0 0 97003 17 0 0 25 0 1 0 909242272 32718848 5426 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7988 5426 1111 63 0 7925 0
vsize: 31952
[startup+980.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 5557 0 0 0 98003 17 0 0 25 0 1 0 909242272 33009664 5477 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8059 5477 1111 63 0 7996 0
vsize: 32236
[startup+990.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 5607 0 0 0 99003 17 0 0 25 0 1 0 909242272 33148928 5527 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8093 5527 1111 63 0 8030 0
vsize: 32372
[startup+1000.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 5656 0 0 0 100003 17 0 0 25 0 1 0 909242272 33419264 5576 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8159 5576 1111 63 0 8096 0
vsize: 32636
[startup+1010.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 5705 0 0 0 101003 17 0 0 25 0 1 0 909242272 33554432 5625 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8192 5625 1111 63 0 8129 0
vsize: 32768
[startup+1020.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 5755 0 0 0 102003 17 0 0 25 0 1 0 909242272 33824768 5675 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8258 5675 1111 63 0 8195 0
vsize: 33032
[startup+1030.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 5804 0 0 0 103003 17 0 0 25 0 1 0 909242272 33959936 5724 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8291 5724 1111 63 0 8228 0
vsize: 33164
[startup+1040.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 5838 0 0 0 104003 17 0 0 25 0 1 0 909242272 34095104 5758 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8324 5758 1111 63 0 8261 0
vsize: 33296
[startup+1050.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 5890 0 0 0 105004 17 0 0 25 0 1 0 909242272 34365440 5810 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8390 5810 1111 63 0 8327 0
vsize: 33560
[startup+1060.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 5939 0 0 0 106004 17 0 0 25 0 1 0 909242272 34500608 5859 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8423 5859 1111 63 0 8360 0
vsize: 33692
[startup+1070.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 5987 0 0 0 107004 17 0 0 25 0 1 0 909242272 34635776 5907 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8456 5907 1111 63 0 8393 0
vsize: 33824
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 6036 0 0 0 108004 17 0 0 25 0 1 0 909242272 34906112 5956 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8522 5956 1111 63 0 8459 0
vsize: 34088
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 6086 0 0 0 109004 18 0 0 25 0 1 0 909242272 35041280 6006 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8555 6006 1111 63 0 8492 0
vsize: 34220
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 6135 0 0 0 110004 18 0 0 25 0 1 0 909242272 35311616 6055 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8621 6055 1111 63 0 8558 0
vsize: 34484
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 6184 0 0 0 111004 18 0 0 25 0 1 0 909242272 35467264 6104 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8659 6104 1111 63 0 8596 0
vsize: 34636
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 6234 0 0 0 112004 18 0 0 25 0 1 0 909242272 35741696 6154 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8726 6154 1111 63 0 8663 0
vsize: 34904
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 6283 0 0 0 113005 18 0 0 25 0 1 0 909242272 35876864 6203 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8759 6203 1111 63 0 8696 0
vsize: 35036
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 6332 0 0 0 114005 18 0 0 25 0 1 0 909242272 36167680 6252 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8830 6252 1111 63 0 8767 0
vsize: 35320
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 6389 0 0 0 115005 18 0 0 25 0 1 0 909242272 36306944 6309 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8864 6309 1111 63 0 8801 0
vsize: 35456
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 6445 0 0 0 116005 18 0 0 25 0 1 0 909242272 36577280 6365 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8930 6365 1111 63 0 8867 0
vsize: 35720
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 6495 0 0 0 117005 18 0 0 25 0 1 0 909242272 36847616 6415 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8996 6415 1111 63 0 8933 0
vsize: 35984
[startup+1180.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 6566 0 0 0 118005 18 0 0 25 0 1 0 909242272 37117952 6486 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9062 6486 1111 63 0 8999 0
vsize: 36248
[startup+1190.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 6622 0 0 0 119005 19 0 0 25 0 1 0 909242272 37388288 6542 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9128 6542 1111 63 0 9065 0
vsize: 36512
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) R 6696 20224 20223 0 -1 0 6678 0 0 0 120005 19 0 0 25 0 1 0 909242272 37679104 6598 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9199 6598 1111 63 0 9136 0
vsize: 36796
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 6697
Raw data (stat): 6697 (bsolo_lpr_cuts-) Z 6696 20224 20223 0 -1 1036 6678 0 0 0 120005 20 0 0 25 0 1 0 909242272 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

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