PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3708.opb
MD5SUM	530cef6af13bdf9c6dc1bddf1879e0d7
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29705729356859
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29705729356859
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.42678
Number of variables	155000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	31
Maximum length of a constraint	3000
Trace number 41236

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-09 08:59:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29302 boxname=wulflinc6 idbench=1086 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  530cef6af13bdf9c6dc1bddf1879e0d7  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-n3708.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-n3708.opb
IDLAUNCH: 29302
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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:        520212 kB
Buffers:         21336 kB
Cached:         471140 kB
SwapCached:        932 kB
Active:          41024 kB
Inactive:       453508 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        519960 kB
SwapTotal:     2097136 kB
SwapFree:      2095216 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14156 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 09:19:30 (client local time) WITH STATUS 0 IN 1200.44 SECONDS
stats: 29302 7 1200.44 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.85 0.94 0.90 2/54 9896
Raw data (stat): 9896 (runsolver) R 9895 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 909021651 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.0006 s]
Raw data (loadavg): 0.88 0.94 0.90 2/54 9896
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 1298 0 0 0 993 4 0 0 25 0 1 0 909021651 15511552 1218 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3787 1218 1111 63 0 3724 0
vsize: 15148
[startup+20.0017 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 9896
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 1408 0 0 0 1993 5 0 0 25 0 1 0 909021651 15941632 1328 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3892 1328 1111 63 0 3829 0
vsize: 15568
[startup+30.0019 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 9896
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 1517 0 0 0 2993 6 0 0 25 0 1 0 909021651 16379904 1437 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3999 1437 1111 63 0 3936 0
vsize: 15996
[startup+40.003 s]
Raw data (loadavg): 1.00 0.96 0.91 3/58 9949
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 1627 0 0 0 3992 6 0 0 25 0 1 0 909021651 16834560 1547 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4110 1547 1111 63 0 4047 0
vsize: 16440
[startup+50.0037 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 9949
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 1739 0 0 0 4992 7 0 0 25 0 1 0 909021651 17412096 1659 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4251 1659 1111 63 0 4188 0
vsize: 17004
[startup+60.0038 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 9949
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 1850 0 0 0 5992 7 0 0 25 0 1 0 909021651 17862656 1770 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4361 1770 1111 63 0 4298 0
vsize: 17444
[startup+70.0043 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 9949
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 1953 0 0 0 6992 7 0 0 25 0 1 0 909021651 18161664 1873 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4434 1873 1111 63 0 4371 0
vsize: 17736
[startup+80.0051 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 9949
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 2069 0 0 0 7992 7 0 0 25 0 1 0 909021651 18763776 1989 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4581 1989 1111 63 0 4518 0
vsize: 18324
[startup+90.0053 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9949
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 2178 0 0 0 8992 8 0 0 25 0 1 0 909021651 19197952 2098 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4687 2098 1111 63 0 4624 0
vsize: 18748
[startup+100.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9949
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 2294 0 0 0 9993 8 0 0 25 0 1 0 909021651 19656704 2214 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4799 2214 1111 63 0 4736 0
vsize: 19196
[startup+110.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9951
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 2397 0 0 0 10993 8 0 0 25 0 1 0 909021651 20103168 2317 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4908 2317 1111 63 0 4845 0
vsize: 19632
[startup+120.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9951
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 2514 0 0 0 11993 8 0 0 25 0 1 0 909021651 20557824 2434 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5019 2434 1111 63 0 4956 0
vsize: 20076
[startup+130.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9951
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 2617 0 0 0 12993 9 0 0 25 0 1 0 909021651 21004288 2537 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5128 2537 1111 63 0 5065 0
vsize: 20512
[startup+140.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9951
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 2733 0 0 0 13993 9 0 0 25 0 1 0 909021651 21434368 2653 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5233 2653 1111 63 0 5170 0
vsize: 20932
[startup+150.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9951
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 2837 0 0 0 14993 9 0 0 25 0 1 0 909021651 21872640 2757 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5340 2757 1111 63 0 5277 0
vsize: 21360
[startup+160.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9951
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 2953 0 0 0 15993 9 0 0 25 0 1 0 909021651 22323200 2873 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5450 2873 1111 63 0 5387 0
vsize: 21800
[startup+170.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9951
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 3056 0 0 0 16993 9 0 0 25 0 1 0 909021651 22773760 2976 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5560 2976 1111 63 0 5497 0
vsize: 22240
[startup+180.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9951
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 3180 0 0 0 17993 10 0 0 25 0 1 0 909021651 23232512 3100 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5672 3100 1111 63 0 5609 0
vsize: 22688
[startup+190.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9951
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 3283 0 0 0 18994 10 0 0 25 0 1 0 909021651 23662592 3203 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5777 3203 1111 63 0 5714 0
vsize: 23108
[startup+200.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9951
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 3399 0 0 0 19994 10 0 0 25 0 1 0 909021651 24113152 3319 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5887 3319 1111 63 0 5824 0
vsize: 23548
[startup+210.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9951
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 3509 0 0 0 20994 10 0 0 25 0 1 0 909021651 24559616 3429 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5996 3429 1111 63 0 5933 0
vsize: 23984
[startup+220.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9951
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 3620 0 0 0 21994 10 0 0 25 0 1 0 909021651 25010176 3540 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6106 3540 1111 63 0 6043 0
vsize: 24424
[startup+230.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9951
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 3730 0 0 0 22994 11 0 0 25 0 1 0 909021651 25460736 3650 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6216 3650 1111 63 0 6153 0
vsize: 24864
[startup+240.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9951
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 3841 0 0 0 23994 11 0 0 25 0 1 0 909021651 25911296 3761 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6326 3761 1111 63 0 6263 0
vsize: 25304
[startup+250.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9951
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 3950 0 0 0 24994 11 0 0 25 0 1 0 909021651 26357760 3870 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6435 3870 1111 63 0 6372 0
vsize: 25740
[startup+260.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9951
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 4062 0 0 0 25995 11 0 0 25 0 1 0 909021651 26804224 3982 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6544 3982 1111 63 0 6481 0
vsize: 26176
[startup+270.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9951
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 4178 0 0 0 26995 11 0 0 25 0 1 0 909021651 27406336 4098 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6691 4098 1111 63 0 6628 0
vsize: 26764
[startup+280.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9951
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 4289 0 0 0 27995 12 0 0 25 0 1 0 909021651 27860992 4209 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6802 4209 1111 63 0 6739 0
vsize: 27208
[startup+290.015 s]
Raw data (loadavg): 1.08 0.99 0.91 2/54 9951
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 4398 0 0 0 28996 12 0 0 25 0 1 0 909021651 28307456 4318 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6911 4318 1111 63 0 6848 0
vsize: 27644
[startup+300.016 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 9951
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 4510 0 0 0 29996 12 0 0 25 0 1 0 909021651 28737536 4430 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7016 4430 1111 63 0 6953 0
vsize: 28064
[startup+310.016 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 9951
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 4619 0 0 0 30996 12 0 0 25 0 1 0 909021651 29175808 4539 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7123 4539 1111 63 0 7060 0
vsize: 28492
[startup+320.017 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 9951
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 4736 0 0 0 31996 13 0 0 25 0 1 0 909021651 29626368 4656 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7233 4656 1111 63 0 7170 0
vsize: 28932
[startup+330.018 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 9951
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 4846 0 0 0 32996 13 0 0 25 0 1 0 909021651 30076928 4766 4294967295 134512640 134716908 3221224560 3221222788 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7343 4766 1111 63 0 7280 0
vsize: 29372
[startup+340.018 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 9951
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 4956 0 0 0 33996 13 0 0 25 0 1 0 909021651 30527488 4876 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7453 4876 1111 63 0 7390 0
vsize: 29812
[startup+350.019 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 5066 0 0 0 34996 13 0 0 25 0 1 0 909021651 30973952 4986 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7562 4986 1111 63 0 7499 0
vsize: 30248
[startup+360.021 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 5188 0 0 0 35996 14 0 0 25 0 1 0 909021651 31461376 5108 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7681 5108 1111 63 0 7618 0
vsize: 30724
[startup+370.021 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 5304 0 0 0 36996 14 0 0 25 0 1 0 909021651 32059392 5224 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7827 5224 1111 63 0 7764 0
vsize: 31308
[startup+380.021 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 5415 0 0 0 37996 14 0 0 25 0 1 0 909021651 32514048 5335 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7938 5335 1111 63 0 7875 0
vsize: 31752
[startup+390.021 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 5525 0 0 0 38997 14 0 0 25 0 1 0 909021651 32956416 5445 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8046 5445 1111 63 0 7983 0
vsize: 32184
[startup+400.022 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 5643 0 0 0 39997 14 0 0 25 0 1 0 909021651 33411072 5563 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8157 5563 1111 63 0 8094 0
vsize: 32628
[startup+410.022 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 5752 0 0 0 40997 15 0 0 25 0 1 0 909021651 33857536 5672 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8266 5672 1111 63 0 8203 0
vsize: 33064
[startup+420.023 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 5864 0 0 0 41997 15 0 0 25 0 1 0 909021651 34312192 5784 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8377 5784 1111 63 0 8314 0
vsize: 33508
[startup+430.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 5980 0 0 0 42997 15 0 0 25 0 1 0 909021651 34758656 5900 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8486 5900 1111 63 0 8423 0
vsize: 33944
[startup+440.024 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 6091 0 0 0 43998 15 0 0 25 0 1 0 909021651 35213312 6011 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8597 6011 1111 63 0 8534 0
vsize: 34388
[startup+450.025 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 6201 0 0 0 44998 16 0 0 25 0 1 0 909021651 35655680 6121 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8705 6121 1111 63 0 8642 0
vsize: 34820
[startup+460.025 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 6318 0 0 0 45998 16 0 0 25 0 1 0 909021651 36110336 6238 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8816 6238 1111 63 0 8753 0
vsize: 35264
[startup+470.026 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 6435 0 0 0 46998 16 0 0 25 0 1 0 909021651 36556800 6355 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8925 6355 1111 63 0 8862 0
vsize: 35700
[startup+480.026 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 6546 0 0 0 47998 16 0 0 25 0 1 0 909021651 37011456 6466 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9036 6466 1111 63 0 8973 0
vsize: 36144
[startup+490.027 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 6657 0 0 0 48998 17 0 0 25 0 1 0 909021651 37453824 6577 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9144 6577 1111 63 0 9081 0
vsize: 36576
[startup+500.028 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 6774 0 0 0 49999 17 0 0 25 0 1 0 909021651 38055936 6694 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9291 6694 1111 63 0 9228 0
vsize: 37164
[startup+510.029 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 6884 0 0 0 50999 17 0 0 25 0 1 0 909021651 38506496 6804 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9401 6804 1111 63 0 9338 0
vsize: 37604
[startup+520.029 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 7002 0 0 0 51999 17 0 0 25 0 1 0 909021651 38957056 6922 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9511 6922 1111 63 0 9448 0
vsize: 38044
[startup+530.029 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 7112 0 0 0 52999 18 0 0 25 0 1 0 909021651 39403520 7032 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9620 7032 1111 63 0 9557 0
vsize: 38480
[startup+540.03 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 7229 0 0 0 53999 18 0 0 25 0 1 0 909021651 39854080 7149 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9730 7149 1111 63 0 9667 0
vsize: 38920
[startup+550.031 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 7339 0 0 0 54999 18 0 0 25 0 1 0 909021651 40304640 7259 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9840 7259 1111 63 0 9777 0
vsize: 39360
[startup+560.031 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 7457 0 0 0 56000 18 0 0 25 0 1 0 909021651 40755200 7377 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9950 7377 1111 63 0 9887 0
vsize: 39800
[startup+570.033 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 7567 0 0 0 57000 18 0 0 25 0 1 0 909021651 41205760 7487 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10060 7487 1111 63 0 9997 0
vsize: 40240
[startup+580.033 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 7685 0 0 0 58000 18 0 0 25 0 1 0 909021651 41656320 7605 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10170 7605 1111 63 0 10107 0
vsize: 40680
[startup+590.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 7803 0 0 0 59001 18 0 0 25 0 1 0 909021651 42250240 7723 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10315 7723 1111 63 0 10252 0
vsize: 41260
[startup+600.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 7913 0 0 0 60001 18 0 0 25 0 1 0 909021651 42704896 7833 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10426 7833 1111 63 0 10363 0
vsize: 41704
[startup+610.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 8025 0 0 0 61001 19 0 0 25 0 1 0 909021651 43151360 7945 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10535 7945 1111 63 0 10472 0
vsize: 42140
[startup+620.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 8141 0 0 0 62001 19 0 0 25 0 1 0 909021651 43606016 8061 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10646 8061 1111 63 0 10583 0
vsize: 42584
[startup+630.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 8258 0 0 0 63001 19 0 0 25 0 1 0 909021651 44048384 8178 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10754 8178 1111 63 0 10691 0
vsize: 43016
[startup+640.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 8375 0 0 0 64002 19 0 0 25 0 1 0 909021651 44470272 8295 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10857 8295 1111 63 0 10794 0
vsize: 43428
[startup+650.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 8486 0 0 0 65002 19 0 0 25 0 1 0 909021651 44920832 8406 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10967 8406 1111 63 0 10904 0
vsize: 43868
[startup+660.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 8602 0 0 0 66002 20 0 0 25 0 1 0 909021651 45522944 8522 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11114 8522 1111 63 0 11051 0
vsize: 44456
[startup+670.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 8714 0 0 0 67002 20 0 0 25 0 1 0 909021651 45973504 8634 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11224 8634 1111 63 0 11161 0
vsize: 44896
[startup+680.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 8829 0 0 0 68002 20 0 0 25 0 1 0 909021651 46419968 8749 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11333 8749 1111 63 0 11270 0
vsize: 45332
[startup+690.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 8947 0 0 0 69002 21 0 0 25 0 1 0 909021651 46874624 8867 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11444 8867 1111 63 0 11381 0
vsize: 45776
[startup+700.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 9082 0 0 0 70002 21 0 0 25 0 1 0 909021651 47579136 9002 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11616 9002 1111 63 0 11553 0
vsize: 46464
[startup+710.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 9200 0 0 0 71002 21 0 0 25 0 1 0 909021651 47996928 9120 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11718 9120 1111 63 0 11655 0
vsize: 46872
[startup+720.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 9310 0 0 0 72003 21 0 0 25 0 1 0 909021651 48439296 9230 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11826 9230 1111 63 0 11763 0
vsize: 47304
[startup+730.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 9428 0 0 0 73003 21 0 0 25 0 1 0 909021651 48893952 9348 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11937 9348 1111 63 0 11874 0
vsize: 47748
[startup+740.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 9544 0 0 0 74003 22 0 0 25 0 1 0 909021651 49491968 9464 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12083 9464 1111 63 0 12020 0
vsize: 48332
[startup+750.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 9657 0 0 0 75004 22 0 0 25 0 1 0 909021651 49942528 9577 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12193 9577 1111 63 0 12130 0
vsize: 48772
[startup+760.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 9773 0 0 0 76003 22 0 0 25 0 1 0 909021651 50388992 9693 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12302 9693 1111 63 0 12239 0
vsize: 49208
[startup+770.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 9891 0 0 0 77004 22 0 0 25 0 1 0 909021651 50814976 9811 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12406 9811 1111 63 0 12343 0
vsize: 49624
[startup+780.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 10007 0 0 0 78005 22 0 0 25 0 1 0 909021651 51257344 9927 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12514 9927 1111 63 0 12451 0
vsize: 50056
[startup+790.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 10127 0 0 0 79005 22 0 0 25 0 1 0 909021651 51859456 10047 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12661 10047 1111 63 0 12598 0
vsize: 50644
[startup+800.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 10243 0 0 0 80005 22 0 0 25 0 1 0 909021651 52310016 10163 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12771 10163 1111 63 0 12708 0
vsize: 51084
[startup+810.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 10361 0 0 0 81006 22 0 0 25 0 1 0 909021651 52760576 10281 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12881 10281 1111 63 0 12818 0
vsize: 51524
[startup+820.052 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 10478 0 0 0 82006 23 0 0 25 0 1 0 909021651 53207040 10398 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12990 10398 1111 63 0 12927 0
vsize: 51960
[startup+830.052 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 10595 0 0 0 83006 23 0 0 25 0 1 0 909021651 53657600 10515 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13100 10515 1111 63 0 13037 0
vsize: 52400
[startup+840.053 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 10708 0 0 0 84006 23 0 0 25 0 1 0 909021651 54108160 10628 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13210 10628 1111 63 0 13147 0
vsize: 52840
[startup+850.054 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 10824 0 0 0 85006 24 0 0 25 0 1 0 909021651 54710272 10744 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13357 10744 1111 63 0 13294 0
vsize: 53428
[startup+860.054 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 10942 0 0 0 86006 24 0 0 25 0 1 0 909021651 55160832 10862 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13467 10862 1111 63 0 13404 0
vsize: 53868
[startup+870.054 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 11059 0 0 0 87006 24 0 0 25 0 1 0 909021651 55607296 10979 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13576 10979 1111 63 0 13513 0
vsize: 54304
[startup+880.054 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 11178 0 0 0 88006 24 0 0 25 0 1 0 909021651 56057856 11098 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13686 11098 1111 63 0 13623 0
vsize: 54744
[startup+890.055 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 11294 0 0 0 89006 25 0 0 25 0 1 0 909021651 56508416 11214 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13796 11214 1111 63 0 13733 0
vsize: 55184
[startup+900.056 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 11412 0 0 0 90007 25 0 0 25 0 1 0 909021651 57110528 11332 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13943 11332 1111 63 0 13880 0
vsize: 55772
[startup+910.056 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 11530 0 0 0 91007 25 0 0 25 0 1 0 909021651 57552896 11450 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14051 11450 1111 63 0 13988 0
vsize: 56204
[startup+920.056 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 11648 0 0 0 92007 26 0 0 25 0 1 0 909021651 58007552 11568 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14162 11568 1111 63 0 14099 0
vsize: 56648
[startup+930.055 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 11765 0 0 0 93007 26 0 0 25 0 1 0 909021651 58454016 11685 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14271 11685 1111 63 0 14208 0
vsize: 57084
[startup+940.054 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 11883 0 0 0 94007 26 0 0 25 0 1 0 909021651 58908672 11803 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14382 11803 1111 63 0 14319 0
vsize: 57528
[startup+950.053 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 12000 0 0 0 95007 26 0 0 25 0 1 0 909021651 59502592 11920 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14527 11920 1111 63 0 14464 0
vsize: 58108
[startup+960.054 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 12125 0 0 0 96007 26 0 0 25 0 1 0 909021651 59953152 12045 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14637 12045 1111 63 0 14574 0
vsize: 58548
[startup+970.053 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 12241 0 0 0 97007 26 0 0 25 0 1 0 909021651 60403712 12161 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14747 12161 1111 63 0 14684 0
vsize: 58988
[startup+980.053 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 12359 0 0 0 98008 26 0 0 25 0 1 0 909021651 60854272 12279 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14857 12279 1111 63 0 14794 0
vsize: 59428
[startup+990.053 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 12477 0 0 0 99008 27 0 0 25 0 1 0 909021651 61456384 12397 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15004 12397 1111 63 0 14941 0
vsize: 60016
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 12594 0 0 0 100008 27 0 0 25 0 1 0 909021651 61902848 12514 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15113 12514 1111 63 0 15050 0
vsize: 60452
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 12713 0 0 0 101008 27 0 0 25 0 1 0 909021651 62353408 12633 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15223 12633 1111 63 0 15160 0
vsize: 60892
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 12829 0 0 0 102008 27 0 0 25 0 1 0 909021651 62803968 12749 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15333 12749 1111 63 0 15270 0
vsize: 61332
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 12947 0 0 0 103008 28 0 0 25 0 1 0 909021651 63254528 12867 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15443 12867 1111 63 0 15380 0
vsize: 61772
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 13065 0 0 0 104008 28 0 0 25 0 1 0 909021651 63848448 12985 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15588 12985 1111 63 0 15525 0
vsize: 62352
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 13190 0 0 0 105008 28 0 0 25 0 1 0 909021651 64303104 13110 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15699 13110 1111 63 0 15636 0
vsize: 62796
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 13307 0 0 0 106008 28 0 0 25 0 1 0 909021651 64749568 13227 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15808 13227 1111 63 0 15745 0
vsize: 63232
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 13431 0 0 0 107008 29 0 0 25 0 1 0 909021651 65351680 13351 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15955 13351 1111 63 0 15892 0
vsize: 63820
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 13549 0 0 0 108008 29 0 0 25 0 1 0 909021651 65798144 13469 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16064 13469 1111 63 0 16001 0
vsize: 64256
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 13668 0 0 0 109008 29 0 0 25 0 1 0 909021651 66248704 13588 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16174 13588 1111 63 0 16111 0
vsize: 64696
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 13784 0 0 0 110008 29 0 0 25 0 1 0 909021651 66699264 13704 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16284 13704 1111 63 0 16221 0
vsize: 65136
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 13903 0 0 0 111008 30 0 0 25 0 1 0 909021651 67149824 13823 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16394 13823 1111 63 0 16331 0
vsize: 65576
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 14028 0 0 0 112008 30 0 0 25 0 1 0 909021651 67751936 13948 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16541 13948 1111 63 0 16478 0
vsize: 66164
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 14146 0 0 0 113008 30 0 0 25 0 1 0 909021651 68198400 14066 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16650 14066 1111 63 0 16587 0
vsize: 66600
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 14270 0 0 0 114008 30 0 0 25 0 1 0 909021651 68653056 14190 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16761 14190 1111 63 0 16698 0
vsize: 67044
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 14387 0 0 0 115008 30 0 0 25 0 1 0 909021651 69246976 14307 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16906 14307 1111 63 0 16843 0
vsize: 67624
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 14506 0 0 0 116008 31 0 0 25 0 1 0 909021651 69701632 14426 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17017 14426 1111 63 0 16954 0
vsize: 68068
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 14630 0 0 0 117009 31 0 0 25 0 1 0 909021651 70148096 14550 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17126 14550 1111 63 0 17063 0
vsize: 68504
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 14748 0 0 0 118009 31 0 0 25 0 1 0 909021651 70598656 14668 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17236 14668 1111 63 0 17173 0
vsize: 68944
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 14871 0 0 0 119009 31 0 0 25 0 1 0 909021651 71196672 14791 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17382 14791 1111 63 0 17319 0
vsize: 69528
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) R 9895 25568 25567 0 -1 0 14990 0 0 0 120009 32 0 0 25 0 1 0 909021651 71647232 14910 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17492 14910 1111 63 0 17429 0
vsize: 69968
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 9953
Raw data (stat): 9896 (bsolo_lpr_cuts-) Z 9895 25568 25567 0 -1 1036 14990 0 0 0 120009 34 0 0 25 0 1 0 909021651 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.08
CPU time (s): 1200.44
CPU user time (s): 1200.09
CPU system time (s): 0.348946
CPU usage (%): 100.031
Max. virtual memory (Kb): 69968
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####