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-4.opb
MD5SUM	b85a90571dde4fe12541342d5605d680
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-37
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.1
Number of variables	1150
Total number of constraints	80258
Number of constraints which are clauses	80258
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 24822

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-13 12:30:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3025 boxname=wulflinc31 idbench=337 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  b85a90571dde4fe12541342d5605d680  /oldhome/oroussel/tmp/wulflinc31/normalized-frb50-23-4.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-frb50-23-4.opb
IDLAUNCH: 3025
/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:        864096 kB
Buffers:         36732 kB
Cached:         111884 kB
SwapCached:       1936 kB
Active:         113404 kB
Inactive:        38400 kB
HighTotal:      131008 kB
HighFree:        18312 kB
LowTotal:       903652 kB
LowFree:        845784 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:            1772 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            13188 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-13 12:50:27 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 3025 7 1200.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1150 variables and 80258 constraints.
c After prepocess the problem consists of 1150 variables and 55197 constraints.
c preprocess terminated 568.13 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): 1.12 1.02 0.93 2/55 17378
Raw data (stat): 17378 (runsolver) R 17377 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 735180785 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0012 s]
Raw data (loadavg): 1.18 1.03 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 22459 0 0 0 931 64 0 0 25 0 1 0 735180785 95170560 22378 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23235 22378 1111 63 0 23172 0
vsize: 92940
[startup+20.0021 s]
Raw data (loadavg): 1.15 1.03 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 27020 0 0 0 1921 74 0 0 25 0 1 0 735180785 112324608 26563 4294967295 134512640 134714508 3221221792 3221220024 1077377294 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27423 26563 1111 63 0 27360 0
vsize: 109692
[startup+30.003 s]
Raw data (loadavg): 1.13 1.03 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 27020 0 0 0 2921 75 0 0 25 0 1 0 735180785 112324608 26563 4294967295 134512640 134714508 3221221792 3221220520 134672932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27423 26563 1111 63 0 27360 0
vsize: 109692
[startup+40.0029 s]
Raw data (loadavg): 1.11 1.03 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 3914 82 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220516 134618349 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+50.0039 s]
Raw data (loadavg): 1.09 1.03 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 4913 83 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220176 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+60.0038 s]
Raw data (loadavg): 1.08 1.02 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 5913 83 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220176 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+70.0047 s]
Raw data (loadavg): 1.06 1.02 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 6913 84 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220272 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+80.0057 s]
Raw data (loadavg): 1.05 1.02 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 7913 84 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220204 134543616 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+90.0058 s]
Raw data (loadavg): 1.04 1.02 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 8912 85 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220520 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+100.007 s]
Raw data (loadavg): 1.04 1.02 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 9911 86 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220176 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+110.008 s]
Raw data (loadavg): 1.03 1.02 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 10911 86 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220204 134543653 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+120.008 s]
Raw data (loadavg): 1.03 1.02 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 11911 86 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220368 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+130.009 s]
Raw data (loadavg): 1.02 1.02 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 12911 87 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220520 134672913 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+140.009 s]
Raw data (loadavg): 1.02 1.02 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 13910 87 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220188 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+150.01 s]
Raw data (loadavg): 1.01 1.02 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 14910 88 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220520 134672913 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+160.01 s]
Raw data (loadavg): 1.01 1.02 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 15910 88 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220256 134542368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+170.01 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 16910 89 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220272 134539356 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+180.011 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 17910 89 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220408 134543804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+190.012 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 18909 90 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+200.013 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 19909 90 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+210.013 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 20909 91 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+220.013 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 21908 91 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220272 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+230.014 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 22908 91 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220272 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+240.015 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 23908 92 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220272 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+250.016 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 24908 92 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220156 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+260.016 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 25908 92 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+270.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 26908 93 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220272 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+280.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 27907 93 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220412 134543776 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+290.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 28908 93 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220356 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+300.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 29907 94 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220176 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+310.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 30907 95 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220272 134539429 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+320.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 31907 95 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220176 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+330.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 32907 95 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220156 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+340.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 33906 96 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220208 134542682 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+350.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 34907 96 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+360.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 35907 96 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220176 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+370.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 36907 96 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+380.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 37907 96 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220272 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+390.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 38907 96 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+400.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 39908 96 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220408 134543785 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+410.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 40908 96 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220272 134539408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+420.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 41908 96 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+430.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 42908 96 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220272 134524096 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+440.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 43908 96 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+450.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 44908 96 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220364 134543664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+460.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 45909 96 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220272 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+470.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 46909 96 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220444 134558493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+480.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 47909 96 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+490.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 48909 96 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+500.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 49909 96 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220456 134627195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+510.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 50909 96 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+520.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 51909 96 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+530.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29780 0 0 0 52909 96 0 0 25 0 1 0 735180785 122843136 29145 4294967295 134512640 134714508 3221221792 3221220444 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+540.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29781 0 0 0 53909 96 0 0 25 0 1 0 735180785 122843136 29146 4294967295 134512640 134714508 3221221792 3221220672 134622115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29146 1111 63 0 29928 0
vsize: 119964
[startup+550.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29781 0 0 0 54909 97 0 0 25 0 1 0 735180785 122843136 29146 4294967295 134512640 134714508 3221221792 3221220672 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29146 1111 63 0 29928 0
vsize: 119964
[startup+560.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29781 0 0 0 55909 97 0 0 25 0 1 0 735180785 122843136 29146 4294967295 134512640 134714508 3221221792 3221220648 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29146 1111 63 0 29928 0
vsize: 119964
[startup+570.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29803 0 0 0 56909 97 0 0 25 0 1 0 735180785 122843136 29168 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29991 29168 1111 63 0 29928 0
vsize: 119964
[startup+580.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29803 0 0 0 57909 97 0 0 25 0 1 0 735180785 122843136 29168 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29168 1111 63 0 29928 0
vsize: 119964
[startup+590.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29803 0 0 0 58909 97 0 0 25 0 1 0 735180785 122843136 29168 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29168 1111 63 0 29928 0
vsize: 119964
[startup+600.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29803 0 0 0 59909 97 0 0 25 0 1 0 735180785 122843136 29168 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29168 1111 63 0 29928 0
vsize: 119964
[startup+610.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29803 0 0 0 60909 97 0 0 25 0 1 0 735180785 122843136 29168 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29168 1111 63 0 29928 0
vsize: 119964
[startup+620.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29803 0 0 0 61910 97 0 0 25 0 1 0 735180785 122843136 29168 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29168 1111 63 0 29928 0
vsize: 119964
[startup+630.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29803 0 0 0 62910 97 0 0 25 0 1 0 735180785 122843136 29168 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29168 1111 63 0 29928 0
vsize: 119964
[startup+640.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29803 0 0 0 63910 97 0 0 25 0 1 0 735180785 122843136 29168 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29168 1111 63 0 29928 0
vsize: 119964
[startup+650.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29803 0 0 0 64910 97 0 0 25 0 1 0 735180785 122843136 29168 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29168 1111 63 0 29928 0
vsize: 119964
[startup+660.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29803 0 0 0 65911 97 0 0 25 0 1 0 735180785 122843136 29168 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29168 1111 63 0 29928 0
vsize: 119964
[startup+670.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 29803 0 0 0 66911 97 0 0 25 0 1 0 735180785 122843136 29168 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29168 1111 63 0 29928 0
vsize: 119964
[startup+680.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30055 0 0 0 67910 98 0 0 25 0 1 0 735180785 123871232 29420 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30242 29420 1111 63 0 30179 0
vsize: 120968
[startup+690.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30066 0 0 0 68910 99 0 0 25 0 1 0 735180785 123916288 29431 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30253 29431 1111 63 0 30190 0
vsize: 121012
[startup+700.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30075 0 0 0 69909 99 0 0 25 0 1 0 735180785 123953152 29440 4294967295 134512640 134714508 3221221792 3221219720 1077380592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30262 29440 1111 63 0 30199 0
vsize: 121048
[startup+710.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30082 0 0 0 70909 100 0 0 25 0 1 0 735180785 123981824 29447 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30269 29447 1111 63 0 30206 0
vsize: 121076
[startup+720.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30091 0 0 0 71909 100 0 0 25 0 1 0 735180785 124018688 29456 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30278 29456 1111 63 0 30215 0
vsize: 121112
[startup+730.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30100 0 0 0 72909 100 0 0 25 0 1 0 735180785 124055552 29465 4294967295 134512640 134714508 3221221792 3221220016 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30287 29465 1111 63 0 30224 0
vsize: 121148
[startup+740.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30263 0 0 0 73908 101 0 0 25 0 1 0 735180785 124723200 29628 4294967295 134512640 134714508 3221221792 3221220016 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30450 29628 1111 63 0 30387 0
vsize: 121800
[startup+750.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30277 0 0 0 74908 102 0 0 25 0 1 0 735180785 124780544 29642 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30464 29642 1111 63 0 30401 0
vsize: 121856
[startup+760.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30290 0 0 0 75908 102 0 0 25 0 1 0 735180785 124833792 29655 4294967295 134512640 134714508 3221221792 3221220096 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30477 29655 1111 63 0 30414 0
vsize: 121908
[startup+770.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30302 0 0 0 76907 103 0 0 25 0 1 0 735180785 124882944 29667 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30489 29667 1111 63 0 30426 0
vsize: 121956
[startup+780.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30314 0 0 0 77907 103 0 0 25 0 1 0 735180785 124932096 29679 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30501 29679 1111 63 0 30438 0
vsize: 122004
[startup+790.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30326 0 0 0 78907 103 0 0 25 0 1 0 735180785 124981248 29691 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30513 29691 1111 63 0 30450 0
vsize: 122052
[startup+800.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30338 0 0 0 79907 104 0 0 25 0 1 0 735180785 125030400 29703 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30525 29703 1111 63 0 30462 0
vsize: 122100
[startup+810.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30349 0 0 0 80907 104 0 0 25 0 1 0 735180785 125075456 29714 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30536 29714 1111 63 0 30473 0
vsize: 122144
[startup+820.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30361 0 0 0 81907 105 0 0 25 0 1 0 735180785 125124608 29726 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30548 29726 1111 63 0 30485 0
vsize: 122192
[startup+830.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30371 0 0 0 82906 105 0 0 25 0 1 0 735180785 125165568 29736 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30558 29736 1111 63 0 30495 0
vsize: 122232
[startup+840.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30383 0 0 0 83906 106 0 0 25 0 1 0 735180785 125214720 29748 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30570 29748 1111 63 0 30507 0
vsize: 122280
[startup+850.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30394 0 0 0 84905 106 0 0 25 0 1 0 735180785 125259776 29759 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30581 29759 1111 63 0 30518 0
vsize: 122324
[startup+860.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30404 0 0 0 85905 106 0 0 25 0 1 0 735180785 125300736 29769 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30591 29769 1111 63 0 30528 0
vsize: 122364
[startup+870.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30415 0 0 0 86905 107 0 0 25 0 1 0 735180785 125345792 29780 4294967295 134512640 134714508 3221221792 3221220000 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30602 29780 1111 63 0 30539 0
vsize: 122408
[startup+880.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30427 0 0 0 87905 107 0 0 25 0 1 0 735180785 125394944 29792 4294967295 134512640 134714508 3221221792 3221220048 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30614 29792 1111 63 0 30551 0
vsize: 122456
[startup+890.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30439 0 0 0 88905 107 0 0 25 0 1 0 735180785 125444096 29804 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30626 29804 1111 63 0 30563 0
vsize: 122504
[startup+900.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30449 0 0 0 89905 108 0 0 25 0 1 0 735180785 125485056 29814 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30636 29814 1111 63 0 30573 0
vsize: 122544
[startup+910.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30460 0 0 0 90905 108 0 0 25 0 1 0 735180785 125530112 29825 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30647 29825 1111 63 0 30584 0
vsize: 122588
[startup+920.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30469 0 0 0 91904 108 0 0 25 0 1 0 735180785 125566976 29834 4294967295 134512640 134714508 3221221792 3221220096 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30656 29834 1111 63 0 30593 0
vsize: 122624
[startup+930.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30478 0 0 0 92904 109 0 0 25 0 1 0 735180785 125603840 29843 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30665 29843 1111 63 0 30602 0
vsize: 122660
[startup+940.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30488 0 0 0 93904 109 0 0 25 0 1 0 735180785 125644800 29853 4294967295 134512640 134714508 3221221792 3221220016 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30675 29853 1111 63 0 30612 0
vsize: 122700
[startup+950.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30497 0 0 0 94904 109 0 0 25 0 1 0 735180785 125681664 29862 4294967295 134512640 134714508 3221221792 3221220000 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30684 29862 1111 63 0 30621 0
vsize: 122736
[startup+960.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30508 0 0 0 95903 110 0 0 25 0 1 0 735180785 125726720 29873 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30695 29873 1111 63 0 30632 0
vsize: 122780
[startup+970.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30517 0 0 0 96903 110 0 0 25 0 1 0 735180785 125763584 29882 4294967295 134512640 134714508 3221221792 3221220000 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30704 29882 1111 63 0 30641 0
vsize: 122816
[startup+980.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30526 0 0 0 97903 111 0 0 25 0 1 0 735180785 125800448 29891 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30713 29891 1111 63 0 30650 0
vsize: 122852
[startup+990.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30533 0 0 0 98903 111 0 0 25 0 1 0 735180785 125829120 29898 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30720 29898 1111 63 0 30657 0
vsize: 122880
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30542 0 0 0 99903 111 0 0 25 0 1 0 735180785 125865984 29907 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30729 29907 1111 63 0 30666 0
vsize: 122916
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30551 0 0 0 100903 111 0 0 25 0 1 0 735180785 125902848 29916 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30738 29916 1111 63 0 30675 0
vsize: 122952
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30560 0 0 0 101903 111 0 0 25 0 1 0 735180785 125939712 29925 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30747 29925 1111 63 0 30684 0
vsize: 122988
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30569 0 0 0 102903 112 0 0 25 0 1 0 735180785 125976576 29934 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30756 29934 1111 63 0 30693 0
vsize: 123024
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30578 0 0 0 103903 112 0 0 25 0 1 0 735180785 126013440 29943 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30765 29943 1111 63 0 30702 0
vsize: 123060
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30587 0 0 0 104902 113 0 0 25 0 1 0 735180785 126050304 29952 4294967295 134512640 134714508 3221221792 3221219712 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30774 29952 1111 63 0 30711 0
vsize: 123096
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30596 0 0 0 105902 113 0 0 25 0 1 0 735180785 126087168 29961 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30783 29961 1111 63 0 30720 0
vsize: 123132
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30605 0 0 0 106902 114 0 0 25 0 1 0 735180785 126124032 29970 4294967295 134512640 134714508 3221221792 3221220016 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30792 29970 1111 63 0 30729 0
vsize: 123168
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30616 0 0 0 107902 114 0 0 25 0 1 0 735180785 126169088 29981 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30803 29981 1111 63 0 30740 0
vsize: 123212
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30623 0 0 0 108902 114 0 0 25 0 1 0 735180785 126197760 29988 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30810 29988 1111 63 0 30747 0
vsize: 123240
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30632 0 0 0 109902 115 0 0 25 0 1 0 735180785 126234624 29997 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30819 29997 1111 63 0 30756 0
vsize: 123276
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30640 0 0 0 110902 115 0 0 25 0 1 0 735180785 126267392 30005 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30827 30005 1111 63 0 30764 0
vsize: 123308
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30647 0 0 0 111902 115 0 0 25 0 1 0 735180785 126296064 30012 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30834 30012 1111 63 0 30771 0
vsize: 123336
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30655 0 0 0 112902 115 0 0 25 0 1 0 735180785 126328832 30020 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30842 30020 1111 63 0 30779 0
vsize: 123368
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30662 0 0 0 113902 115 0 0 25 0 1 0 735180785 126357504 30027 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30849 30027 1111 63 0 30786 0
vsize: 123396
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30670 0 0 0 114902 115 0 0 25 0 1 0 735180785 126390272 30035 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30857 30035 1111 63 0 30794 0
vsize: 123428
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30679 0 0 0 115902 116 0 0 25 0 1 0 735180785 126427136 30044 4294967295 134512640 134714508 3221221792 3221220016 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30866 30044 1111 63 0 30803 0
vsize: 123464
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30688 0 0 0 116902 116 0 0 25 0 1 0 735180785 126464000 30053 4294967295 134512640 134714508 3221221792 3221220000 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30875 30053 1111 63 0 30812 0
vsize: 123500
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30695 0 0 0 117902 116 0 0 25 0 1 0 735180785 126492672 30060 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30882 30060 1111 63 0 30819 0
vsize: 123528
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30703 0 0 0 118902 116 0 0 25 0 1 0 735180785 126525440 30068 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30890 30068 1111 63 0 30827 0
vsize: 123560
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17378
Raw data (stat): 17378 (bsolo_lpr) R 17377 7876 7672 0 -1 0 30712 0 0 0 119902 117 0 0 25 0 1 0 735180785 126562304 30077 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30899 30077 1111 63 0 30836 0
vsize: 123596
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 17378
Raw data (stat): 17378 (bsolo_lpr) Z 17377 7876 7672 0 -1 1036 30712 0 0 0 119902 122 0 0 25 0 1 0 735180785 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.12
CPU time (s): 1200.25
CPU user time (s): 1199.03
CPU system time (s): 1.22681
CPU usage (%): 100.011
Max. virtual memory (Kb): 123596
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####