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/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb
MD5SUM	140696e76e8ed6af142b84a22a9a8f01
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-38
Optimality of the best value was proved	NO
Number of terms in the objective function	1150
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1150
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1150
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.09
Number of variables	1150
Total number of constraints	81068
Number of constraints which are clauses	81068
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 24817

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-13 10:49:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3016 boxname=wulflinc31 idbench=336 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  140696e76e8ed6af142b84a22a9a8f01  /oldhome/oroussel/tmp/wulflinc31/normalized-frb50-23-3.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-frb50-23-3.opb
IDLAUNCH: 3016
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        866092 kB
Buffers:         36588 kB
Cached:         110056 kB
SwapCached:       1936 kB
Active:         111552 kB
Inactive:        38260 kB
HighTotal:      131008 kB
HighFree:        20132 kB
LowTotal:       903652 kB
LowFree:        845960 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:            1768 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            13184 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-13 11:09:23 (client local time) WITH STATUS 0 IN 1200.3 SECONDS
stats: 3016 7 1200.3 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1150 variables and 81068 constraints.
c After prepocess the problem consists of 1150 variables and 54854 constraints.
c preprocess terminated 563.731 s
#### 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
Raw data (loadavg): 0.91 0.95 0.91 2/55 16786
Raw data (stat): 16786 (runsolver) R 16785 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 734574249 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0013 s]
Raw data (loadavg): 0.93 0.95 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 24588 0 0 0 931 64 0 0 25 0 1 0 734574249 103907328 24507 4294967295 134512640 134714508 3221221792 3221220504 134672897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25368 24507 1111 63 0 25305 0
vsize: 101472
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 27497 0 0 0 1925 71 0 0 25 0 1 0 734574249 112205824 26560 4294967295 134512640 134714508 3221221792 3221220184 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27394 26560 1111 63 0 27331 0
vsize: 109576
[startup+30.0031 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 27952 0 0 0 2923 72 0 0 25 0 1 0 734574249 114098176 27015 4294967295 134512640 134714508 3221221792 3221220176 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27856 27015 1111 63 0 27793 0
vsize: 111424
[startup+40.0041 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 29812 0 0 0 3919 77 0 0 25 0 1 0 734574249 116998144 27730 4294967295 134512640 134714508 3221221792 3221220124 134535903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28564 27730 1111 63 0 28501 0
vsize: 114256
[startup+50.0046 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 4917 79 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220176 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+60.005 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 5917 79 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220428 1076647876 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+70.0059 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 6917 79 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220432 134594970 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+80.0064 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 7916 80 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220176 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+90.0068 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 8916 80 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220176 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+100.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 9916 80 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220256 134542297 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+110.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 10916 81 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220276 134539352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 11915 81 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220356 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 12915 82 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220304 134543735 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 13915 82 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220184 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 14914 83 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220184 134542370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 15914 83 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220356 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 16914 83 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 17914 84 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220156 134539306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 18913 84 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 19913 85 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220176 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 20913 85 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220272 134539362 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 21912 86 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220272 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 22912 86 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220176 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+240.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 23912 86 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220256 134542306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 24911 87 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220356 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 25911 87 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220320 134542898 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+270.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 26911 88 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220176 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 27910 88 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220188 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+290.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 28910 88 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220200 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+300.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 29910 89 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220408 134536921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+310.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 30909 89 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220176 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+320.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 31909 90 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220368 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+330.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 32909 90 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220200 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+340.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 33908 91 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220176 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+350.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 34908 91 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220272 134536736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+360.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 35908 92 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220356 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+370.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 36907 92 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220432 134594970 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+380.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 37907 92 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220256 134542300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+390.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 38907 93 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220412 134536888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+400.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 39906 94 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220176 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+410.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 40906 94 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220156 134539298 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+420.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 41905 95 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220204 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+430.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 42905 95 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220184 134543609 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+440.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 43905 95 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220408 134543804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+450.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 44904 96 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+460.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 45904 97 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+470.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 46903 97 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+480.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 47903 98 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220464 134627241 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+490.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 48903 98 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220440 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+500.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 49903 98 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220464 134627184 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+510.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 50903 98 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220456 134627195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+520.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30435 0 0 0 51903 99 0 0 25 0 1 0 734574249 117633024 27885 4294967295 134512640 134714508 3221221792 3221220452 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+530.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30436 0 0 0 52902 99 0 0 25 0 1 0 734574249 117633024 27886 4294967295 134512640 134714508 3221221792 3221220652 134542400 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27886 1111 63 0 28656 0
vsize: 114876
[startup+540.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30436 0 0 0 53903 99 0 0 25 0 1 0 734574249 117633024 27886 4294967295 134512640 134714508 3221221792 3221220660 134622267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27886 1111 63 0 28656 0
vsize: 114876
[startup+550.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30436 0 0 0 54902 99 0 0 25 0 1 0 734574249 117633024 27886 4294967295 134512640 134714508 3221221792 3221220572 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27886 1111 63 0 28656 0
vsize: 114876
[startup+560.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30436 0 0 0 55902 100 0 0 25 0 1 0 734574249 117633024 27886 4294967295 134512640 134714508 3221221792 3221220592 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27886 1111 63 0 28656 0
vsize: 114876
[startup+570.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30466 0 0 0 56902 100 0 0 25 0 1 0 734574249 118288384 27916 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28879 27916 1111 63 0 28816 0
vsize: 115516
[startup+580.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30469 0 0 0 57902 101 0 0 25 0 1 0 734574249 118288384 27919 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28879 27919 1111 63 0 28816 0
vsize: 115516
[startup+590.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30471 0 0 0 58902 101 0 0 25 0 1 0 734574249 118288384 27921 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28879 27921 1111 63 0 28816 0
vsize: 115516
[startup+600.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30626 0 0 0 59901 102 0 0 25 0 1 0 734574249 118910976 28076 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29031 28076 1111 63 0 28968 0
vsize: 116124
[startup+610.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30643 0 0 0 60900 103 0 0 25 0 1 0 734574249 118976512 28093 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29047 28093 1111 63 0 28984 0
vsize: 116188
[startup+620.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30659 0 0 0 61899 104 0 0 25 0 1 0 734574249 119033856 28109 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29061 28109 1111 63 0 28998 0
vsize: 116244
[startup+630.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30674 0 0 0 62898 106 0 0 25 0 1 0 734574249 119091200 28124 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29075 28124 1111 63 0 29012 0
vsize: 116300
[startup+640.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16786
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30689 0 0 0 63897 107 0 0 25 0 1 0 734574249 119148544 28139 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29089 28139 1111 63 0 29026 0
vsize: 116356
[startup+650.145 s]
Raw data (loadavg): 1.07 0.99 0.92 3/59 16832
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30704 0 0 0 64896 117 0 0 25 0 1 0 734574249 119205888 28154 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29103 28154 1111 63 0 29040 0
vsize: 116412
[startup+660.145 s]
Raw data (loadavg): 1.14 1.00 0.93 2/55 16839
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30839 0 0 0 65895 118 0 0 25 0 1 0 734574249 119750656 28289 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29236 28289 1111 63 0 29173 0
vsize: 116944
[startup+670.146 s]
Raw data (loadavg): 1.11 1.00 0.93 2/55 16839
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30856 0 0 0 66894 119 0 0 25 0 1 0 734574249 119820288 28306 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29253 28306 1111 63 0 29190 0
vsize: 117012
[startup+680.145 s]
Raw data (loadavg): 1.10 1.00 0.93 2/55 16839
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30872 0 0 0 67894 119 0 0 25 0 1 0 734574249 119881728 28322 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29268 28322 1111 63 0 29205 0
vsize: 117072
[startup+690.146 s]
Raw data (loadavg): 1.08 1.00 0.93 2/55 16839
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30888 0 0 0 68894 120 0 0 25 0 1 0 734574249 119943168 28338 4294967295 134512640 134714508 3221221792 3221220064 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29283 28338 1111 63 0 29220 0
vsize: 117132
[startup+700.145 s]
Raw data (loadavg): 1.07 1.00 0.93 2/55 16839
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30904 0 0 0 69894 120 0 0 25 0 1 0 734574249 120004608 28354 4294967295 134512640 134714508 3221221792 3221219744 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29298 28354 1111 63 0 29235 0
vsize: 117192
[startup+710.146 s]
Raw data (loadavg): 1.06 1.00 0.93 2/55 16839
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30917 0 0 0 70894 120 0 0 25 0 1 0 734574249 120053760 28367 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29310 28367 1111 63 0 29247 0
vsize: 117240
[startup+720.146 s]
Raw data (loadavg): 1.05 1.00 0.93 2/55 16841
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30931 0 0 0 71893 121 0 0 25 0 1 0 734574249 120107008 28381 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29323 28381 1111 63 0 29260 0
vsize: 117292
[startup+730.146 s]
Raw data (loadavg): 1.04 1.00 0.93 2/55 16841
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30945 0 0 0 72893 121 0 0 25 0 1 0 734574249 120164352 28395 4294967295 134512640 134714508 3221221792 3221220048 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29337 28395 1111 63 0 29274 0
vsize: 117348
[startup+740.146 s]
Raw data (loadavg): 1.03 1.00 0.93 2/55 16841
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30959 0 0 0 73893 121 0 0 25 0 1 0 734574249 120217600 28409 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29350 28409 1111 63 0 29287 0
vsize: 117400
[startup+750.146 s]
Raw data (loadavg): 1.03 1.00 0.93 2/55 16841
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30974 0 0 0 74893 122 0 0 25 0 1 0 734574249 120274944 28424 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29364 28424 1111 63 0 29301 0
vsize: 117456
[startup+760.147 s]
Raw data (loadavg): 1.02 1.00 0.93 2/55 16841
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30988 0 0 0 75892 123 0 0 25 0 1 0 734574249 120328192 28438 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29377 28438 1111 63 0 29314 0
vsize: 117508
[startup+770.147 s]
Raw data (loadavg): 1.02 1.00 0.93 2/55 16841
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 30999 0 0 0 76892 123 0 0 25 0 1 0 734574249 120373248 28449 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29388 28449 1111 63 0 29325 0
vsize: 117552
[startup+780.148 s]
Raw data (loadavg): 1.02 1.00 0.93 2/55 16841
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 31010 0 0 0 77892 123 0 0 25 0 1 0 734574249 120414208 28460 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29398 28460 1111 63 0 29335 0
vsize: 117592
[startup+790.149 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 16841
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 31023 0 0 0 78892 124 0 0 25 0 1 0 734574249 120463360 28473 4294967295 134512640 134714508 3221221792 3221220048 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29410 28473 1111 63 0 29347 0
vsize: 117640
[startup+800.149 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 16841
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 31196 0 0 0 79891 124 0 0 25 0 1 0 734574249 121171968 28646 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29583 28646 1111 63 0 29520 0
vsize: 118332
[startup+810.149 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 16841
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 31210 0 0 0 80891 125 0 0 25 0 1 0 734574249 121225216 28660 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29596 28660 1111 63 0 29533 0
vsize: 118384
[startup+820.15 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 16841
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 31222 0 0 0 81891 125 0 0 25 0 1 0 734574249 121274368 28672 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29608 28672 1111 63 0 29545 0
vsize: 118432
[startup+830.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 16841
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 31235 0 0 0 82890 126 0 0 25 0 1 0 734574249 121323520 28685 4294967295 134512640 134714508 3221221792 3221220000 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29620 28685 1111 63 0 29557 0
vsize: 118480
[startup+840.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 16841
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 31248 0 0 0 83890 126 0 0 25 0 1 0 734574249 121372672 28698 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29632 28698 1111 63 0 29569 0
vsize: 118528
[startup+850.149 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 16841
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 31259 0 0 0 84890 126 0 0 25 0 1 0 734574249 121417728 28709 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29643 28709 1111 63 0 29580 0
vsize: 118572
[startup+860.149 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 16841
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 31270 0 0 0 85890 127 0 0 25 0 1 0 734574249 121458688 28720 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29653 28720 1111 63 0 29590 0
vsize: 118612
[startup+870.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 16841
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 31279 0 0 0 86890 127 0 0 25 0 1 0 734574249 121495552 28729 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29662 28729 1111 63 0 29599 0
vsize: 118648
[startup+880.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 16841
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 31291 0 0 0 87890 127 0 0 25 0 1 0 734574249 121540608 28741 4294967295 134512640 134714508 3221221792 3221220064 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29673 28741 1111 63 0 29610 0
vsize: 118692
[startup+890.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 16841
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 31300 0 0 0 88890 127 0 0 25 0 1 0 734574249 121577472 28750 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29682 28750 1111 63 0 29619 0
vsize: 118728
[startup+900.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 16841
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 31310 0 0 0 89889 128 0 0 25 0 1 0 734574249 121614336 28760 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29691 28760 1111 63 0 29628 0
vsize: 118764
[startup+910.151 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 16841
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 31349 0 0 0 90889 128 0 0 25 0 1 0 734574249 121774080 28799 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29730 28799 1111 63 0 29667 0
vsize: 118920
[startup+920.151 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 16841
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 31359 0 0 0 91889 128 0 0 25 0 1 0 734574249 121810944 28809 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29739 28809 1111 63 0 29676 0
vsize: 118956
[startup+930.151 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 16841
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 31370 0 0 0 92889 128 0 0 25 0 1 0 734574249 121851904 28820 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29749 28820 1111 63 0 29686 0
vsize: 118996
[startup+940.152 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 16841
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 31379 0 0 0 93889 129 0 0 25 0 1 0 734574249 121888768 28829 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29758 28829 1111 63 0 29695 0
vsize: 119032
[startup+950.152 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 16841
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 31389 0 0 0 94889 129 0 0 25 0 1 0 734574249 121925632 28839 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29767 28839 1111 63 0 29704 0
vsize: 119068
[startup+960.153 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 16841
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 31397 0 0 0 95889 130 0 0 25 0 1 0 734574249 121958400 28847 4294967295 134512640 134714508 3221221792 3221220096 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29775 28847 1111 63 0 29712 0
vsize: 119100
[startup+970.154 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 16841
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 31406 0 0 0 96889 130 0 0 25 0 1 0 734574249 121995264 28856 4294967295 134512640 134714508 3221221792 3221220016 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29784 28856 1111 63 0 29721 0
vsize: 119136
[startup+980.155 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 16841
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 31416 0 0 0 97889 130 0 0 25 0 1 0 734574249 122032128 28866 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29793 28866 1111 63 0 29730 0
vsize: 119172
[startup+990.155 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 16841
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 31425 0 0 0 98888 131 0 0 25 0 1 0 734574249 122068992 28875 4294967295 134512640 134714508 3221221792 3221220064 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29802 28875 1111 63 0 29739 0
vsize: 119208
[startup+1000.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 16843
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 31433 0 0 0 99888 131 0 0 25 0 1 0 734574249 122097664 28883 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29809 28883 1111 63 0 29746 0
vsize: 119236
[startup+1010.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 16843
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 31441 0 0 0 100888 131 0 0 25 0 1 0 734574249 122130432 28891 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29817 28891 1111 63 0 29754 0
vsize: 119268
[startup+1020.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 16843
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 31451 0 0 0 101888 131 0 0 25 0 1 0 734574249 122167296 28901 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29826 28901 1111 63 0 29763 0
vsize: 119304
[startup+1030.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 16843
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 31458 0 0 0 102888 132 0 0 25 0 1 0 734574249 122195968 28908 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29833 28908 1111 63 0 29770 0
vsize: 119332
[startup+1040.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 16843
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 31468 0 0 0 103888 132 0 0 25 0 1 0 734574249 122232832 28918 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29842 28918 1111 63 0 29779 0
vsize: 119368
[startup+1050.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 16843
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 31476 0 0 0 104888 132 0 0 25 0 1 0 734574249 122265600 28926 4294967295 134512640 134714508 3221221792 3221220016 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29850 28926 1111 63 0 29787 0
vsize: 119400
[startup+1060.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 16843
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 31484 0 0 0 105887 133 0 0 25 0 1 0 734574249 122294272 28934 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29857 28934 1111 63 0 29794 0
vsize: 119428
[startup+1070.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 16843
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 31530 0 0 0 106887 133 0 0 25 0 1 0 734574249 122482688 28980 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29903 28980 1111 63 0 29840 0
vsize: 119612
[startup+1080.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 16843
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 31539 0 0 0 107887 134 0 0 25 0 1 0 734574249 122519552 28989 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29912 28989 1111 63 0 29849 0
vsize: 119648
[startup+1090.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 16843
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 31549 0 0 0 108887 134 0 0 25 0 1 0 734574249 122556416 28999 4294967295 134512640 134714508 3221221792 3221220064 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29921 28999 1111 63 0 29858 0
vsize: 119684
[startup+1100.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 16843
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 31556 0 0 0 109887 134 0 0 25 0 1 0 734574249 122585088 29006 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29928 29006 1111 63 0 29865 0
vsize: 119712
[startup+1110.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 16843
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 31565 0 0 0 110887 134 0 0 25 0 1 0 734574249 122617856 29015 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29936 29015 1111 63 0 29873 0
vsize: 119744
[startup+1120.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 16843
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 31574 0 0 0 111887 135 0 0 25 0 1 0 734574249 122654720 29024 4294967295 134512640 134714508 3221221792 3221220064 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29945 29024 1111 63 0 29882 0
vsize: 119780
[startup+1130.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 16843
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 31582 0 0 0 112887 135 0 0 25 0 1 0 734574249 122683392 29032 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29952 29032 1111 63 0 29889 0
vsize: 119808
[startup+1140.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 16843
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 31591 0 0 0 113887 135 0 0 25 0 1 0 734574249 122720256 29041 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29961 29041 1111 63 0 29898 0
vsize: 119844
[startup+1150.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 16843
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 31599 0 0 0 114887 136 0 0 25 0 1 0 734574249 122753024 29049 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29969 29049 1111 63 0 29906 0
vsize: 119876
[startup+1160.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 16843
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 31607 0 0 0 115887 136 0 0 25 0 1 0 734574249 122781696 29057 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29976 29057 1111 63 0 29913 0
vsize: 119904
[startup+1170.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 16843
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 31615 0 0 0 116886 136 0 0 25 0 1 0 734574249 122814464 29065 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29984 29065 1111 63 0 29921 0
vsize: 119936
[startup+1180.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 16843
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 31625 0 0 0 117887 136 0 0 25 0 1 0 734574249 122851328 29075 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29993 29075 1111 63 0 29930 0
vsize: 119972
[startup+1190.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 16843
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 31632 0 0 0 118887 136 0 0 25 0 1 0 734574249 122880000 29082 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30000 29082 1111 63 0 29937 0
vsize: 120000
[startup+1200.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 16843
Raw data (stat): 16786 (bsolo_lpr) R 16785 7876 7672 0 -1 0 31641 0 0 0 119886 137 0 0 25 0 1 0 734574249 122916864 29091 4294967295 134512640 134714508 3221221792 3221220000 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30009 29091 1111 63 0 29946 0
vsize: 120036
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.22 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 16843
Raw data (stat): 16786 (bsolo_lpr) Z 16785 7876 7672 0 -1 1036 31641 0 0 0 119887 142 0 0 25 0 1 0 734574249 0 0 4294967295 0 0 0 0 0 0 0 1 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.22
CPU time (s): 1200.3
CPU user time (s): 1198.87
CPU system time (s): 1.42478
CPU usage (%): 100.006
Max. virtual memory (Kb): 120036
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####