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/unibo/normalized-mps-v2-20-10-sp97ic.opb
MD5SUM	e8862b41c9b4f49ec8d11d1df0495e74
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	12497
Biggest coefficient in the objective function	1010107916
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	3093137085579
Number of bits of the sum of numbers in the objective function	42
Biggest number in a constraint	1010107916
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	3093137085579
Number of bits of the biggest sum of numbers	42
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	12.972
Number of variables	12497
Total number of constraints	13530
Number of constraints which are clauses	41
Number of constraints which are cardinality constraints (but not clauses)	13312
Number of constraints which are nor clauses,nor cardinality constraints	177
Minimum length of a constraint	1
Maximum length of a constraint	6739
Trace number 41342

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-09 10:35:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29389 boxname=wulflinc3 idbench=1173 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  e8862b41c9b4f49ec8d11d1df0495e74  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-sp97ic.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-sp97ic.opb
IDLAUNCH: 29389
/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:        757808 kB
Buffers:         14424 kB
Cached:         241704 kB
SwapCached:        708 kB
Active:          37572 kB
Inactive:       220584 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        757556 kB
SwapTotal:     2097136 kB
SwapFree:      2095380 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5036 kB
Slab:            12972 kB
Committed_AS:    71780 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 10:55:33 (client local time) WITH STATUS 0 IN 1200.35 SECONDS
stats: 29389 7 1200.35 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 12497 variables and 1033 constraints.
c After prepocess the problem consists of 12497 variables and 1018 constraints.
c preprocess terminated 509.971 s
c Initial Lower Bound: -2147483648
c Lower Bound Elapsed time: 28.1475
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -1166989452 @ 573.883
c NEW SOLUTION FOUND: -2147483648 @ 574.002
#### 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 7778
Raw data (stat): 7778 (runsolver) R 7777 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 909590311 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.001 s]
Raw data (loadavg): 0.88 0.94 0.90 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 23949 0 0 0 953 44 0 0 25 0 1 0 909590311 111046656 23869 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27111 23869 1111 63 0 27048 0
vsize: 108444
[startup+20.0026 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 46033 0 0 0 1916 82 0 0 25 0 1 0 909590311 201502720 45953 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49195 45953 1111 63 0 49132 0
vsize: 196780
[startup+30.0027 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 68302 0 0 0 2877 121 0 0 25 0 1 0 909590311 292720640 68222 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71465 68222 1111 63 0 71402 0
vsize: 285860
[startup+40.0035 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 76992 0 0 0 3862 135 0 0 25 0 1 0 909590311 328282112 76912 4294967295 134512640 134716908 3221224560 3221222836 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80147 76912 1111 63 0 80084 0
vsize: 320588
[startup+50.0048 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 77441 0 0 0 4861 137 0 0 25 0 1 0 909590311 330219520 77358 4294967295 134512640 134716908 3221224560 3221222836 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80620 77358 1111 63 0 80557 0
vsize: 322480
[startup+60.0052 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 78108 0 0 0 5859 139 0 0 25 0 1 0 909590311 333123584 78024 4294967295 134512640 134716908 3221224560 3221222836 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81329 78024 1111 63 0 81266 0
vsize: 325316
[startup+70.005 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 78766 0 0 0 6857 141 0 0 25 0 1 0 909590311 335863808 78681 4294967295 134512640 134716908 3221224560 3221222844 1077399564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81998 78681 1111 63 0 81935 0
vsize: 327992
[startup+80.0056 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 79526 0 0 0 7855 144 0 0 25 0 1 0 909590311 339156992 79440 4294967295 134512640 134716908 3221224560 3221222844 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82802 79440 1111 63 0 82739 0
vsize: 331208
[startup+90.0057 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 80324 0 0 0 8852 146 0 0 25 0 1 0 909590311 342450176 80237 4294967295 134512640 134716908 3221224560 3221223076 1077314176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83606 80237 1111 63 0 83543 0
vsize: 334424
[startup+100.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 81065 0 0 0 9850 149 0 0 25 0 1 0 909590311 345616384 80976 4294967295 134512640 134716908 3221224560 3221222836 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84379 80976 1111 63 0 84316 0
vsize: 337516
[startup+110.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 81815 0 0 0 10849 150 0 0 25 0 1 0 909590311 348786688 81723 4294967295 134512640 134716908 3221224560 3221223056 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85153 81723 1111 63 0 85090 0
vsize: 340612
[startup+120.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 83353 0 0 0 11845 154 0 0 25 0 1 0 909590311 345366528 83192 4294967295 134512640 134716908 3221224560 3221222992 134543700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84318 83192 1111 63 0 84255 0
vsize: 337272
[startup+130.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 83445 0 0 0 12845 155 0 0 25 0 1 0 909590311 345772032 83284 4294967295 134512640 134716908 3221224560 3221223004 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84417 83284 1111 63 0 84354 0
vsize: 337668
[startup+140.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 83514 0 0 0 13844 155 0 0 25 0 1 0 909590311 346046464 83353 4294967295 134512640 134716908 3221224560 3221223048 1077377639 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84484 83353 1111 63 0 84421 0
vsize: 337936
[startup+150.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 83550 0 0 0 14844 155 0 0 25 0 1 0 909590311 346181632 83389 4294967295 134512640 134716908 3221224560 3221223004 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84517 83389 1111 63 0 84454 0
vsize: 338068
[startup+160.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 83602 0 0 0 15844 156 0 0 25 0 1 0 909590311 346451968 83441 4294967295 134512640 134716908 3221224560 3221223004 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84583 83441 1111 63 0 84520 0
vsize: 338332
[startup+170.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 83710 0 0 0 16843 157 0 0 25 0 1 0 909590311 346857472 83549 4294967295 134512640 134716908 3221224560 3221223004 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84682 83549 1111 63 0 84619 0
vsize: 338728
[startup+180.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 83765 0 0 0 17843 157 0 0 25 0 1 0 909590311 347127808 83604 4294967295 134512640 134716908 3221224560 3221223024 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84748 83604 1111 63 0 84685 0
vsize: 338992
[startup+190.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 83814 0 0 0 18842 158 0 0 25 0 1 0 909590311 347262976 83653 4294967295 134512640 134716908 3221224560 3221223004 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84781 83653 1111 63 0 84718 0
vsize: 339124
[startup+200.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 83885 0 0 0 19841 159 0 0 25 0 1 0 909590311 347668480 83724 4294967295 134512640 134716908 3221224560 3221223024 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84880 83724 1111 63 0 84817 0
vsize: 339520
[startup+210.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 83955 0 0 0 20841 159 0 0 25 0 1 0 909590311 347938816 83794 4294967295 134512640 134716908 3221224560 3221223024 134543102 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84946 83794 1111 63 0 84883 0
vsize: 339784
[startup+220.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 84020 0 0 0 21840 161 0 0 25 0 1 0 909590311 348209152 83859 4294967295 134512640 134716908 3221224560 3221223004 134535928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85012 83859 1111 63 0 84949 0
vsize: 340048
[startup+230.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 84089 0 0 0 22839 161 0 0 25 0 1 0 909590311 348479488 83928 4294967295 134512640 134716908 3221224560 3221223004 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85078 83928 1111 63 0 85015 0
vsize: 340312
[startup+240.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 84151 0 0 0 23839 162 0 0 25 0 1 0 909590311 348749824 83990 4294967295 134512640 134716908 3221224560 3221223312 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85144 83990 1111 63 0 85081 0
vsize: 340576
[startup+250.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 84196 0 0 0 24839 162 0 0 25 0 1 0 909590311 348884992 84035 4294967295 134512640 134716908 3221224560 3221223004 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85177 84035 1111 63 0 85114 0
vsize: 340708
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 84219 0 0 0 25839 162 0 0 25 0 1 0 909590311 349020160 84058 4294967295 134512640 134716908 3221224560 3221223312 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85210 84058 1111 63 0 85147 0
vsize: 340840
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 84245 0 0 0 26839 162 0 0 25 0 1 0 909590311 349020160 84084 4294967295 134512640 134716908 3221224560 3221223004 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85210 84084 1111 63 0 85147 0
vsize: 340840
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 84283 0 0 0 27838 162 0 0 25 0 1 0 909590311 349290496 84122 4294967295 134512640 134716908 3221224560 3221223004 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85276 84122 1111 63 0 85213 0
vsize: 341104
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 84350 0 0 0 28838 163 0 0 25 0 1 0 909590311 349560832 84189 4294967295 134512640 134716908 3221224560 3221223312 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85342 84189 1111 63 0 85279 0
vsize: 341368
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 84399 0 0 0 29838 163 0 0 25 0 1 0 909590311 349696000 84238 4294967295 134512640 134716908 3221224560 3221223312 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85375 84238 1111 63 0 85312 0
vsize: 341500
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 84440 0 0 0 30838 164 0 0 25 0 1 0 909590311 349831168 84279 4294967295 134512640 134716908 3221224560 3221223004 134535895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85408 84279 1111 63 0 85345 0
vsize: 341632
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 84531 0 0 0 31837 164 0 0 25 0 1 0 909590311 350236672 84370 4294967295 134512640 134716908 3221224560 3221223024 134536653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85507 84370 1111 63 0 85444 0
vsize: 342028
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 84599 0 0 0 32837 165 0 0 25 0 1 0 909590311 350507008 84438 4294967295 134512640 134716908 3221224560 3221223004 134535895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85573 84438 1111 63 0 85510 0
vsize: 342292
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 84673 0 0 0 33837 165 0 0 25 0 1 0 909590311 350777344 84512 4294967295 134512640 134716908 3221224560 3221223004 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85639 84512 1111 63 0 85576 0
vsize: 342556
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 84717 0 0 0 34837 165 0 0 25 0 1 0 909590311 351047680 84556 4294967295 134512640 134716908 3221224560 3221223004 134536825 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85705 84556 1111 63 0 85642 0
vsize: 342820
[startup+360.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 84746 0 0 0 35837 166 0 0 25 0 1 0 909590311 351047680 84585 4294967295 134512640 134716908 3221224560 3221223024 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85705 84585 1111 63 0 85642 0
vsize: 342820
[startup+370.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 84821 0 0 0 36837 166 0 0 25 0 1 0 909590311 351453184 84660 4294967295 134512640 134716908 3221224560 3221223004 134535976 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85804 84660 1111 63 0 85741 0
vsize: 343216
[startup+380.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 84867 0 0 0 37837 167 0 0 25 0 1 0 909590311 351588352 84706 4294967295 134512640 134716908 3221224560 3221223004 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85837 84706 1111 63 0 85774 0
vsize: 343348
[startup+390.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 84901 0 0 0 38836 167 0 0 25 0 1 0 909590311 351723520 84740 4294967295 134512640 134716908 3221224560 3221223004 134535908 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85870 84740 1111 63 0 85807 0
vsize: 343480
[startup+400.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 84985 0 0 0 39837 167 0 0 25 0 1 0 909590311 351993856 84824 4294967295 134512640 134716908 3221224560 3221223004 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85936 84824 1111 63 0 85873 0
vsize: 343744
[startup+410.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 85021 0 0 0 40837 168 0 0 25 0 1 0 909590311 352129024 84860 4294967295 134512640 134716908 3221224560 3221223004 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85969 84860 1111 63 0 85906 0
vsize: 343876
[startup+420.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 85065 0 0 0 41837 168 0 0 25 0 1 0 909590311 352399360 84904 4294967295 134512640 134716908 3221224560 3221223004 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86035 84904 1111 63 0 85972 0
vsize: 344140
[startup+430.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 85120 0 0 0 42836 169 0 0 25 0 1 0 909590311 352534528 84959 4294967295 134512640 134716908 3221224560 3221223028 134543025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86068 84959 1111 63 0 86005 0
vsize: 344272
[startup+440.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 85197 0 0 0 43836 170 0 0 25 0 1 0 909590311 352804864 85036 4294967295 134512640 134716908 3221224560 3221223004 134535891 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86134 85036 1111 63 0 86071 0
vsize: 344536
[startup+450.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 85260 0 0 0 44835 170 0 0 25 0 1 0 909590311 353075200 85099 4294967295 134512640 134716908 3221224560 3221223312 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86200 85099 1111 63 0 86137 0
vsize: 344800
[startup+460.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 85311 0 0 0 45835 171 0 0 25 0 1 0 909590311 353349632 85150 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86267 85150 1111 63 0 86204 0
vsize: 345068
[startup+470.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 85316 0 0 0 46834 171 0 0 25 0 1 0 909590311 353349632 85155 4294967295 134512640 134716908 3221224560 3221223208 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86267 85155 1111 63 0 86204 0
vsize: 345068
[startup+480.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 85321 0 0 0 47834 172 0 0 25 0 1 0 909590311 353349632 85160 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86267 85160 1111 63 0 86204 0
vsize: 345068
[startup+490.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 85325 0 0 0 48834 172 0 0 25 0 1 0 909590311 353349632 85164 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86267 85164 1111 63 0 86204 0
vsize: 345068
[startup+500.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 85329 0 0 0 49835 172 0 0 25 0 1 0 909590311 353349632 85168 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86267 85168 1111 63 0 86204 0
vsize: 345068
[startup+510.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 86069 0 0 0 50833 174 0 0 25 0 1 0 909590311 356294656 85894 4294967295 134512640 134716908 3221224560 3221192992 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86986 85894 1111 63 0 86923 0
vsize: 347944
[startup+520.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 86678 0 0 0 51830 176 0 0 25 0 1 0 909590311 358912000 86503 4294967295 134512640 134716908 3221224560 3221222720 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87625 86503 1111 63 0 87562 0
vsize: 350500
[startup+530.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 92030 0 0 0 52817 188 0 0 25 0 1 0 909590311 368709632 88858 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90017 88858 1111 63 0 89954 0
vsize: 360068
[startup+540.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 96095 0 0 0 53809 197 0 0 25 0 1 0 909590311 360775680 87082 4294967295 134512640 134716908 3221224560 3221222976 134646691 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88080 87082 1111 63 0 88017 0
vsize: 352320
[startup+550.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 100323 0 0 0 54800 206 0 0 25 0 1 0 909590311 370008064 89275 4294967295 134512640 134716908 3221224560 3221221568 1074138752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90334 89275 1111 63 0 90271 0
vsize: 361336
[startup+560.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 105335 0 0 0 55789 217 0 0 25 0 1 0 909590311 361598976 87285 4294967295 134512640 134716908 3221224560 3221222616 1074950077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88281 87285 1111 63 0 88218 0
vsize: 353124
[startup+570.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 105335 0 0 0 56788 218 0 0 25 0 1 0 909590311 361598976 87285 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88281 87285 1111 63 0 88218 0
vsize: 353124
[startup+580.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 120428 0 0 0 57758 248 0 0 25 0 1 0 909590311 358146048 86329 4294967295 134512640 134716908 3221224560 3221222480 1075799538 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87438 86329 1111 63 0 87375 0
vsize: 349752
[startup+590.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 138224 0 0 0 58720 286 0 0 25 0 1 0 909590311 357330944 86275 4294967295 134512640 134716908 3221224560 3221222560 1074056570 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87239 86275 1111 63 0 87176 0
vsize: 348956
[startup+600.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 153029 0 0 0 59689 318 0 0 25 0 1 0 909590311 357330944 86275 4294967295 134512640 134716908 3221224560 3221222728 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87239 86275 1111 63 0 87176 0
vsize: 348956
[startup+610.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 165825 0 0 0 60659 348 0 0 25 0 1 0 909590311 358334464 86342 4294967295 134512640 134716908 3221224560 3221222288 1075828192 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87484 86342 1111 63 0 87421 0
vsize: 349936
[startup+620.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 177346 0 0 0 61635 372 0 0 25 0 1 0 909590311 357330944 86275 4294967295 134512640 134716908 3221224560 3221222584 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87239 86275 1111 63 0 87176 0
vsize: 348956
[startup+630.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 187894 0 0 0 62613 394 0 0 25 0 1 0 909590311 358379520 86373 4294967295 134512640 134716908 3221224560 3221221544 1074831919 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87495 86373 1111 63 0 87432 0
vsize: 349980
[startup+640.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 195157 0 0 0 63598 409 0 0 25 0 1 0 909590311 357453824 86305 4294967295 134512640 134716908 3221224560 3221222448 1074056255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87269 86305 1111 63 0 87206 0
vsize: 349076
[startup+650.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 202060 0 0 0 64586 421 0 0 25 0 1 0 909590311 357584896 86337 4294967295 134512640 134716908 3221224560 3221222912 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87301 86337 1111 63 0 87238 0
vsize: 349204
[startup+660.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 208708 0 0 0 65573 435 0 0 25 0 1 0 909590311 357453824 86305 4294967295 134512640 134716908 3221224560 3221222792 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87269 86305 1111 63 0 87206 0
vsize: 349076
[startup+670.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 215146 0 0 0 66560 448 0 0 25 0 1 0 909590311 357453824 86305 4294967295 134512640 134716908 3221224560 3221222584 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87269 86305 1111 63 0 87206 0
vsize: 349076
[startup+680.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 221263 0 0 0 67549 459 0 0 25 0 1 0 909590311 357453824 86305 4294967295 134512640 134716908 3221224560 3221222428 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87269 86305 1111 63 0 87206 0
vsize: 349076
[startup+690.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 227299 0 0 0 68536 472 0 0 25 0 1 0 909590311 358477824 86376 4294967295 134512640 134716908 3221224560 3221222288 1075828232 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87519 86376 1111 63 0 87456 0
vsize: 350076
[startup+700.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 233229 0 0 0 69524 484 0 0 25 0 1 0 909590311 357453824 86305 4294967295 134512640 134716908 3221224560 3221222728 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87269 86305 1111 63 0 87206 0
vsize: 349076
[startup+710.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 239388 0 0 0 70511 497 0 0 25 0 1 0 909590311 358162432 86440 4294967295 134512640 134716908 3221224560 3221222912 1074115331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87442 86443 1111 63 0 87379 0
vsize: 349768
[startup+720.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 245085 0 0 0 71498 511 0 0 25 0 1 0 909590311 357711872 86336 4294967295 134512640 134716908 3221224560 3221222464 1075460134 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87332 86336 1111 63 0 87269 0
vsize: 349328
[startup+730.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 250776 0 0 0 72485 524 0 0 25 0 1 0 909590311 357711872 86368 4294967295 134512640 134716908 3221224560 3221222288 1075635930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87332 86368 1111 63 0 87269 0
vsize: 349328
[startup+740.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 256080 0 0 0 73473 537 0 0 25 0 1 0 909590311 357457920 86306 4294967295 134512640 134716908 3221224560 3221222816 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87270 86306 1111 63 0 87207 0
vsize: 349080
[startup+750.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 261332 0 0 0 74461 549 0 0 25 0 1 0 909590311 358547456 86390 4294967295 134512640 134716908 3221224560 3221222672 1074867305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87536 86390 1111 63 0 87473 0
vsize: 350144
[startup+760.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 266311 0 0 0 75450 560 0 0 25 0 1 0 909590311 357457920 86306 4294967295 134512640 134716908 3221224560 3221222728 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87270 86306 1111 63 0 87207 0
vsize: 349080
[startup+770.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 271476 0 0 0 76438 572 0 0 25 0 1 0 909590311 357453824 86305 4294967295 134512640 134716908 3221224560 3221222648 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87269 86305 1111 63 0 87206 0
vsize: 349076
[startup+780.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 276272 0 0 0 77427 583 0 0 25 0 1 0 909590311 357453824 86305 4294967295 134512640 134716908 3221224560 3221222616 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87269 86305 1111 63 0 87206 0
vsize: 349076
[startup+790.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 281080 0 0 0 78415 595 0 0 25 0 1 0 909590311 357453824 86305 4294967295 134512640 134716908 3221224560 3221222944 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87269 86305 1111 63 0 87206 0
vsize: 349076
[startup+800.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 285605 0 0 0 79406 604 0 0 25 0 1 0 909590311 357457920 86306 4294967295 134512640 134716908 3221224560 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87270 86306 1111 63 0 87207 0
vsize: 349080
[startup+810.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 290524 0 0 0 80396 615 0 0 25 0 1 0 909590311 357453824 86305 4294967295 134512640 134716908 3221224560 3221222824 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87269 86305 1111 63 0 87206 0
vsize: 349076
[startup+820.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 294822 0 0 0 81386 625 0 0 25 0 1 0 909590311 358547456 86421 4294967295 134512640 134716908 3221224560 3221222288 1075828201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87536 86421 1111 63 0 87473 0
vsize: 350144
[startup+830.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 299353 0 0 0 82376 635 0 0 25 0 1 0 909590311 357457920 86306 4294967295 134512640 134716908 3221224560 3221222896 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87270 86306 1111 63 0 87207 0
vsize: 349080
[startup+840.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 303823 0 0 0 83366 645 0 0 25 0 1 0 909590311 357711872 86310 4294967295 134512640 134716908 3221224560 3221222344 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87332 86314 1111 63 0 87269 0
vsize: 349328
[startup+850.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 308386 0 0 0 84356 655 0 0 25 0 1 0 909590311 357838848 86339 4294967295 134512640 134716908 3221224560 3221221680 1074865100 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87363 86339 1111 63 0 87300 0
vsize: 349452
[startup+860.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 312485 0 0 0 85345 666 0 0 25 0 1 0 909590311 358506496 86439 4294967295 134512640 134716908 3221224560 3221221680 1074865110 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87526 86439 1111 63 0 87463 0
vsize: 350104
[startup+870.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 316536 0 0 0 86337 675 0 0 25 0 1 0 909590311 357457920 86306 4294967295 134512640 134716908 3221224560 3221222816 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87270 86306 1111 63 0 87207 0
vsize: 349080
[startup+880.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 320818 0 0 0 87327 685 0 0 25 0 1 0 909590311 357453824 86305 4294967295 134512640 134716908 3221224560 3221222672 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87269 86305 1111 63 0 87206 0
vsize: 349076
[startup+890.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 324574 0 0 0 88318 694 0 0 25 0 1 0 909590311 357457920 86306 4294967295 134512640 134716908 3221224560 3221222584 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87270 86306 1111 63 0 87207 0
vsize: 349080
[startup+900.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 328710 0 0 0 89308 705 0 0 25 0 1 0 909590311 357904384 86415 4294967295 134512640 134716908 3221224560 3221222304 1075646682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87360 86396 1111 63 0 87297 0
vsize: 349516
[startup+910.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 332336 0 0 0 90299 713 0 0 25 0 1 0 909590311 358756352 86439 4294967295 134512640 134716908 3221224560 3221222288 1075828449 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87587 86439 1111 63 0 87524 0
vsize: 350348
[startup+920.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 336019 0 0 0 91292 722 0 0 25 0 1 0 909590311 357457920 86306 4294967295 134512640 134716908 3221224560 3221222848 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87270 86306 1111 63 0 87207 0
vsize: 349080
[startup+930.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 339887 0 0 0 92282 731 0 0 25 0 1 0 909590311 357457920 86306 4294967295 134512640 134716908 3221224560 3221222844 1074152822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87270 86306 1111 63 0 87207 0
vsize: 349080
[startup+940.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 343815 0 0 0 93273 741 0 0 25 0 1 0 909590311 357453824 86305 4294967295 134512640 134716908 3221224560 3221222728 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87269 86305 1111 63 0 87206 0
vsize: 349076
[startup+950.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 347415 0 0 0 94266 748 0 0 25 0 1 0 909590311 357457920 86306 4294967295 134512640 134716908 3221224560 3221222848 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87270 86306 1111 63 0 87207 0
vsize: 349080
[startup+960.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 351050 0 0 0 95258 756 0 0 25 0 1 0 909590311 357457920 86306 4294967295 134512640 134716908 3221224560 3221222816 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87270 86306 1111 63 0 87207 0
vsize: 349080
[startup+970.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 354697 0 0 0 96249 765 0 0 25 0 1 0 909590311 357457920 86306 4294967295 134512640 134716908 3221224560 3221222672 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87270 86306 1111 63 0 87207 0
vsize: 349080
[startup+980.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 358396 0 0 0 97240 774 0 0 25 0 1 0 909590311 357457920 86306 4294967295 134512640 134716908 3221224560 3221222728 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87270 86306 1111 63 0 87207 0
vsize: 349080
[startup+990.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 362333 0 0 0 98233 781 0 0 25 0 1 0 909590311 357457920 86306 4294967295 134512640 134716908 3221224560 3221222760 1074138163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87270 86306 1111 63 0 87207 0
vsize: 349080
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 366310 0 0 0 99225 790 0 0 25 0 1 0 909590311 357457920 86306 4294967295 134512640 134716908 3221224560 3221222672 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87270 86306 1111 63 0 87207 0
vsize: 349080
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 370299 0 0 0 100216 799 0 0 25 0 1 0 909590311 357457920 86306 4294967295 134512640 134716908 3221224560 3221222896 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87270 86306 1111 63 0 87207 0
vsize: 349080
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 374138 0 0 0 101207 808 0 0 25 0 1 0 909590311 357584896 86337 4294967295 134512640 134716908 3221224560 3221222976 1074116193 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87301 86337 1111 63 0 87238 0
vsize: 349204
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 377746 0 0 0 102200 815 0 0 25 0 1 0 909590311 357457920 86306 4294967295 134512640 134716908 3221224560 3221222816 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87270 86306 1111 63 0 87207 0
vsize: 349080
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 381555 0 0 0 103192 823 0 0 25 0 1 0 909590311 357580800 86336 4294967295 134512640 134716908 3221224560 3221222192 1074050884 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87300 86336 1111 63 0 87237 0
vsize: 349200
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 384761 0 0 0 104186 829 0 0 25 0 1 0 909590311 357969920 86431 4294967295 134512640 134716908 3221224560 3221222896 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87395 86431 1111 63 0 87332 0
vsize: 349580
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 387468 0 0 0 105180 836 0 0 25 0 1 0 909590311 358092800 86461 4294967295 134512640 134716908 3221224560 3221222664 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87425 86461 1111 63 0 87362 0
vsize: 349700
[startup+1070.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 390287 0 0 0 106174 841 0 0 25 0 1 0 909590311 358916096 86539 4294967295 134512640 134716908 3221224560 3221221600 1075859942 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87626 86539 1111 63 0 87563 0
vsize: 350504
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 393228 0 0 0 107169 847 0 0 25 0 1 0 909590311 358088704 86460 4294967295 134512640 134716908 3221224560 3221222348 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87424 86460 1111 63 0 87361 0
vsize: 349696
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 395588 0 0 0 108165 851 0 0 25 0 1 0 909590311 358465536 86552 4294967295 134512640 134716908 3221224560 3221222672 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87516 86552 1111 63 0 87453 0
vsize: 350064
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 398301 0 0 0 109160 857 0 0 25 0 1 0 909590311 358465536 86552 4294967295 134512640 134716908 3221224560 3221222296 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87516 86552 1111 63 0 87453 0
vsize: 350064
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 402406 0 0 0 110150 867 0 0 25 0 1 0 909590311 358461440 86551 4294967295 134512640 134716908 3221224560 3221222944 1074153806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87515 86551 1111 63 0 87452 0
vsize: 350060
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 406250 0 0 0 111140 876 0 0 25 0 1 0 909590311 359546880 86816 4294967295 134512640 134716908 3221224560 3221221664 1074138636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87780 86816 1111 63 0 87717 0
vsize: 351120
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 409415 0 0 0 112132 885 0 0 25 0 1 0 909590311 358825984 86640 4294967295 134512640 134716908 3221224560 3221222872 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87604 86640 1111 63 0 87541 0
vsize: 350416
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 413112 0 0 0 113123 894 0 0 25 0 1 0 909590311 359202816 86732 4294967295 134512640 134716908 3221224560 3221222912 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87696 86732 1111 63 0 87633 0
vsize: 350784
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 416768 0 0 0 114115 903 0 0 25 0 1 0 909590311 362045440 87278 4294967295 134512640 134716908 3221224560 3221220788 1075115065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88390 87278 1111 63 0 88327 0
vsize: 353560
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 418896 0 0 0 115110 907 0 0 25 0 1 0 909590311 363687936 87673 4294967295 134512640 134716908 3221224560 3221222672 1074867305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88791 87673 1111 63 0 88728 0
vsize: 355164
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 422122 0 0 0 116103 915 0 0 25 0 1 0 909590311 360001536 86927 4294967295 134512640 134716908 3221224560 3221222848 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87891 86927 1111 63 0 87828 0
vsize: 351564
[startup+1180.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 426343 0 0 0 117094 924 0 0 25 0 1 0 909590311 359960576 86917 4294967295 134512640 134716908 3221224560 3221222720 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87881 86917 1111 63 0 87818 0
vsize: 351524
[startup+1190.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 430578 0 0 0 118085 933 0 0 25 0 1 0 909590311 359972864 86920 4294967295 134512640 134716908 3221224560 3221222720 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87884 86920 1111 63 0 87821 0
vsize: 351536
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) R 7777 20224 20223 0 -1 0 434949 0 0 0 119074 944 0 0 25 0 1 0 909590311 360017920 86931 4294967295 134512640 134716908 3221224560 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87895 86931 1111 63 0 87832 0
vsize: 351580
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.23 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 7778
Raw data (stat): 7778 (bsolo_lpr_cuts-) Z 7777 20224 20223 0 -1 1036 434949 0 0 0 119074 960 0 0 25 0 1 0 909590311 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.23
CPU time (s): 1200.35
CPU user time (s): 1190.74
CPU system time (s): 9.60854
CPU usage (%): 100.01
Max. virtual memory (Kb): 361336
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####