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/submitted/manquinho/primes-dimacs-cnf/normalized-g125.17.opb
MD5SUM	ed503628984a48598e5d5a4b8388e97a
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	4250
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	4250
Number of bits of the sum of numbers in the objective function	13
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	4250
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	4250
Total number of constraints	68397
Number of constraints which are clauses	68397
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	17
Trace number 23787

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-04 20:03:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1162 boxname=wulflinc31 idbench=130 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  ed503628984a48598e5d5a4b8388e97a  /oldhome/oroussel/tmp/wulflinc31/normalized-g125.17.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-g125.17.opb
IDLAUNCH: 1162
/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:        903376 kB
Buffers:         44688 kB
Cached:          63984 kB
SwapCached:        944 kB
Active:          88696 kB
Inactive:        22424 kB
HighTotal:      131008 kB
HighFree:        66108 kB
LowTotal:       903652 kB
LowFree:        837268 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:             272 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14684 kB
Committed_AS:    63644 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-04 20:23:32 (client local time) WITH STATUS 0 IN 1200.29 SECONDS
stats: 1162 7 1200.29 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 4250 variables and 68397 constraints.
c After prepocess the problem consists of 4250 variables and 68577 constraints.
c preprocess terminated 478.686 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.06 1.06 1.00 2/54 5980
Raw data (stat): 5980 (runsolver) R 5979 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 660130687 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 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.0003 s]
Raw data (loadavg): 1.05 1.05 1.00 2/54 5980
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 41852 0 0 0 885 110 0 0 25 0 1 0 660130687 174600192 41764 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42627 41764 1111 63 0 42564 0
vsize: 170508
[startup+20.0011 s]
Raw data (loadavg): 1.04 1.05 1.00 2/54 5980
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 97030 0 0 0 1748 248 0 0 25 0 1 0 660130687 174620672 41776 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+30.002 s]
Raw data (loadavg): 1.03 1.05 1.00 2/54 5980
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 141270 0 0 0 2635 361 0 0 25 0 1 0 660130687 174620672 41776 4294967295 134512640 134714508 3221221792 3221220432 134584901 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+40.002 s]
Raw data (loadavg): 1.03 1.05 1.00 2/54 5980
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 175638 0 0 0 3546 450 0 0 25 0 1 0 660130687 174620672 41776 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+50.0028 s]
Raw data (loadavg): 1.02 1.05 1.00 2/54 5980
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 197438 0 0 0 4493 504 0 0 25 0 1 0 660130687 181424128 43417 4294967295 134512640 134714508 3221221792 3221220380 134535512 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44293 43417 1111 63 0 44230 0
vsize: 177172
[startup+60.0031 s]
Raw data (loadavg): 1.02 1.04 1.00 2/54 5980
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 211085 0 0 0 5457 539 0 0 25 0 1 0 660130687 174620672 41776 4294967295 134512640 134714508 3221221792 3221220256 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+70.0041 s]
Raw data (loadavg): 1.02 1.04 1.00 2/54 5980
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 236582 0 0 0 6392 604 0 0 25 0 1 0 660130687 174620672 41776 4294967295 134512640 134714508 3221221792 3221220320 134542848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+80.0051 s]
Raw data (loadavg): 1.01 1.04 1.00 2/54 5980
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 236582 0 0 0 7392 604 0 0 25 0 1 0 660130687 174620672 41776 4294967295 134512640 134714508 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+90.006 s]
Raw data (loadavg): 1.01 1.04 1.00 2/54 5980
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 236582 0 0 0 8392 605 0 0 25 0 1 0 660130687 174620672 41776 4294967295 134512640 134714508 3221221792 3221220156 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+100.006 s]
Raw data (loadavg): 1.01 1.04 1.00 2/54 5980
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 236582 0 0 0 9392 605 0 0 25 0 1 0 660130687 174620672 41776 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+110.007 s]
Raw data (loadavg): 1.01 1.03 1.00 2/54 5980
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 236582 0 0 0 10391 606 0 0 25 0 1 0 660130687 174620672 41776 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+120.008 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 5980
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 236582 0 0 0 11391 607 0 0 25 0 1 0 660130687 174620672 41776 4294967295 134512640 134714508 3221221792 3221220520 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+130.009 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 5980
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 236582 0 0 0 12391 607 0 0 25 0 1 0 660130687 174620672 41776 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+140.01 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 236582 0 0 0 13390 608 0 0 25 0 1 0 660130687 174620672 41776 4294967295 134512640 134714508 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+150.011 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 236582 0 0 0 14390 608 0 0 25 0 1 0 660130687 174620672 41776 4294967295 134512640 134714508 3221221792 3221220272 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+160.011 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 236582 0 0 0 15390 608 0 0 25 0 1 0 660130687 174620672 41776 4294967295 134512640 134714508 3221221792 3221220352 134535795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+170.012 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 236582 0 0 0 16390 608 0 0 25 0 1 0 660130687 174620672 41776 4294967295 134512640 134714508 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+180.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 236582 0 0 0 17391 608 0 0 25 0 1 0 660130687 174620672 41776 4294967295 134512640 134714508 3221221792 3221220056 1077377208 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+190.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 236582 0 0 0 18391 608 0 0 25 0 1 0 660130687 174620672 41776 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+200.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 236582 0 0 0 19391 608 0 0 25 0 1 0 660130687 174620672 41776 4294967295 134512640 134714508 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+210.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 236582 0 0 0 20391 608 0 0 25 0 1 0 660130687 174620672 41776 4294967295 134512640 134714508 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+220.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 236582 0 0 0 21391 608 0 0 25 0 1 0 660130687 174620672 41776 4294967295 134512640 134714508 3221221792 3221220176 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+230.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 236582 0 0 0 22392 608 0 0 25 0 1 0 660130687 174620672 41776 4294967295 134512640 134714508 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+240.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 236582 0 0 0 23392 608 0 0 25 0 1 0 660130687 174620672 41776 4294967295 134512640 134714508 3221221792 3221220208 134543740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+250.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 236582 0 0 0 24392 608 0 0 25 0 1 0 660130687 174620672 41776 4294967295 134512640 134714508 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+260.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 236582 0 0 0 25392 608 0 0 25 0 1 0 660130687 174620672 41776 4294967295 134512640 134714508 3221221792 3221220272 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+270.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 236582 0 0 0 26392 608 0 0 25 0 1 0 660130687 174620672 41776 4294967295 134512640 134714508 3221221792 3221220184 134543609 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+280.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 236582 0 0 0 27393 608 0 0 25 0 1 0 660130687 174620672 41776 4294967295 134512640 134714508 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+290.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 236582 0 0 0 28393 608 0 0 25 0 1 0 660130687 174620672 41776 4294967295 134512640 134714508 3221221792 3221220432 134594970 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+300.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 236582 0 0 0 29393 608 0 0 25 0 1 0 660130687 174620672 41776 4294967295 134512640 134714508 3221221792 3221220208 134542677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+310.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 236582 0 0 0 30393 608 0 0 25 0 1 0 660130687 174620672 41776 4294967295 134512640 134714508 3221221792 3221220176 134542342 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+320.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 236582 0 0 0 31394 608 0 0 25 0 1 0 660130687 174620672 41776 4294967295 134512640 134714508 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+330.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 236582 0 0 0 32394 608 0 0 25 0 1 0 660130687 174620672 41776 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+340.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 236582 0 0 0 33394 608 0 0 25 0 1 0 660130687 174620672 41776 4294967295 134512640 134714508 3221221792 3221220156 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+350.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 236582 0 0 0 34394 608 0 0 25 0 1 0 660130687 174620672 41776 4294967295 134512640 134714508 3221221792 3221220224 134543671 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+360.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 236582 0 0 0 35395 608 0 0 25 0 1 0 660130687 174620672 41776 4294967295 134512640 134714508 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+370.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 236582 0 0 0 36395 608 0 0 25 0 1 0 660130687 174620672 41776 4294967295 134512640 134714508 3221221792 3221220520 134625451 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+380.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 236582 0 0 0 37395 608 0 0 25 0 1 0 660130687 174620672 41776 4294967295 134512640 134714508 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+390.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 236582 0 0 0 38395 608 0 0 25 0 1 0 660130687 174620672 41776 4294967295 134512640 134714508 3221221792 3221220408 134543804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+400.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 236582 0 0 0 39395 609 0 0 25 0 1 0 660130687 174620672 41776 4294967295 134512640 134714508 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+410.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 236582 0 0 0 40395 609 0 0 25 0 1 0 660130687 174620672 41776 4294967295 134512640 134714508 3221221792 3221220452 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+420.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 236582 0 0 0 41395 609 0 0 25 0 1 0 660130687 174620672 41776 4294967295 134512640 134714508 3221221792 3221220444 134558618 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+430.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 236582 0 0 0 42395 609 0 0 25 0 1 0 660130687 174620672 41776 4294967295 134512640 134714508 3221221792 3221220456 134627195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+440.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 236582 0 0 0 43395 609 0 0 25 0 1 0 660130687 174620672 41776 4294967295 134512640 134714508 3221221792 3221220456 134627195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+450.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 236582 0 0 0 44395 609 0 0 25 0 1 0 660130687 174620672 41776 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+460.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 236582 0 0 0 45395 609 0 0 25 0 1 0 660130687 174620672 41776 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+470.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 236582 0 0 0 46396 609 0 0 25 0 1 0 660130687 174620672 41776 4294967295 134512640 134714508 3221221792 3221220452 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+480.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 237259 0 0 0 47394 611 0 0 25 0 1 0 660130687 177860608 42453 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43423 42453 1111 63 0 43360 0
vsize: 173692
[startup+490.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 237470 0 0 0 48392 613 0 0 25 0 1 0 660130687 178757632 42664 4294967295 134512640 134714508 3221221792 3221220048 1074153773 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43642 42664 1111 63 0 43579 0
vsize: 174568
[startup+500.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 237575 0 0 0 49390 615 0 0 25 0 1 0 660130687 179105792 42769 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43727 42769 1111 63 0 43664 0
vsize: 174908
[startup+510.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 237669 0 0 0 50389 617 0 0 25 0 1 0 660130687 179425280 42850 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43805 42850 1111 63 0 43742 0
vsize: 175220
[startup+520.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 237699 0 0 0 51388 617 0 0 25 0 1 0 660130687 179539968 42880 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43833 42880 1111 63 0 43770 0
vsize: 175332
[startup+530.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 237727 0 0 0 52388 618 0 0 25 0 1 0 660130687 179650560 42908 4294967295 134512640 134714508 3221221792 3221220048 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43860 42908 1111 63 0 43797 0
vsize: 175440
[startup+540.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 237801 0 0 0 53387 619 0 0 25 0 1 0 660130687 179949568 42982 4294967295 134512640 134714508 3221221792 3221220016 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43933 42982 1111 63 0 43870 0
vsize: 175732
[startup+550.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 237824 0 0 0 54386 620 0 0 25 0 1 0 660130687 180039680 43005 4294967295 134512640 134714508 3221221792 3221220024 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43955 43005 1111 63 0 43892 0
vsize: 175820
[startup+560.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 237848 0 0 0 55386 620 0 0 25 0 1 0 660130687 180133888 43029 4294967295 134512640 134714508 3221221792 3221220016 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43978 43029 1111 63 0 43915 0
vsize: 175912
[startup+570.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 237876 0 0 0 56385 621 0 0 25 0 1 0 660130687 180244480 43057 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44005 43057 1111 63 0 43942 0
vsize: 176020
[startup+580.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 237897 0 0 0 57385 622 0 0 25 0 1 0 660130687 180326400 43078 4294967295 134512640 134714508 3221221792 3221220048 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44025 43078 1111 63 0 43962 0
vsize: 176100
[startup+590.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 237916 0 0 0 58385 622 0 0 25 0 1 0 660130687 180400128 43097 4294967295 134512640 134714508 3221221792 3221220048 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44043 43097 1111 63 0 43980 0
vsize: 176172
[startup+600.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 237933 0 0 0 59384 623 0 0 25 0 1 0 660130687 180469760 43114 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44060 43114 1111 63 0 43997 0
vsize: 176240
[startup+610.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 237951 0 0 0 60385 623 0 0 25 0 1 0 660130687 180535296 43132 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44076 43132 1111 63 0 44013 0
vsize: 176304
[startup+620.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238040 0 0 0 61384 624 0 0 25 0 1 0 660130687 180899840 43221 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44165 43221 1111 63 0 44102 0
vsize: 176660
[startup+630.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238055 0 0 0 62384 624 0 0 25 0 1 0 660130687 180957184 43236 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44179 43236 1111 63 0 44116 0
vsize: 176716
[startup+640.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238069 0 0 0 63384 624 0 0 25 0 1 0 660130687 181010432 43250 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44192 43250 1111 63 0 44129 0
vsize: 176768
[startup+650.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238083 0 0 0 64384 625 0 0 25 0 1 0 660130687 181067776 43264 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44206 43264 1111 63 0 44143 0
vsize: 176824
[startup+660.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238099 0 0 0 65384 625 0 0 25 0 1 0 660130687 181129216 43280 4294967295 134512640 134714508 3221221792 3221220048 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44221 43280 1111 63 0 44158 0
vsize: 176884
[startup+670.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238113 0 0 0 66384 625 0 0 25 0 1 0 660130687 181182464 43294 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44234 43294 1111 63 0 44171 0
vsize: 176936
[startup+680.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238262 0 0 0 67383 626 0 0 25 0 1 0 660130687 181444608 43358 4294967295 134512640 134714508 3221221792 3221220016 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44298 43358 1111 63 0 44235 0
vsize: 177192
[startup+690.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238276 0 0 0 68383 627 0 0 25 0 1 0 660130687 181497856 43372 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44311 43372 1111 63 0 44248 0
vsize: 177244
[startup+700.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238289 0 0 0 69382 627 0 0 25 0 1 0 660130687 181547008 43385 4294967295 134512640 134714508 3221221792 3221220016 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44323 43385 1111 63 0 44260 0
vsize: 177292
[startup+710.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238303 0 0 0 70382 628 0 0 25 0 1 0 660130687 181604352 43399 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44337 43399 1111 63 0 44274 0
vsize: 177348
[startup+720.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238316 0 0 0 71382 628 0 0 25 0 1 0 660130687 181653504 43412 4294967295 134512640 134714508 3221221792 3221220048 1074153773 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44349 43412 1111 63 0 44286 0
vsize: 177396
[startup+730.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238328 0 0 0 72382 628 0 0 25 0 1 0 660130687 181702656 43424 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44361 43424 1111 63 0 44298 0
vsize: 177444
[startup+740.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238341 0 0 0 73381 629 0 0 25 0 1 0 660130687 181751808 43437 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44373 43437 1111 63 0 44310 0
vsize: 177492
[startup+750.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238354 0 0 0 74381 629 0 0 25 0 1 0 660130687 181800960 43450 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44385 43450 1111 63 0 44322 0
vsize: 177540
[startup+760.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238364 0 0 0 75381 630 0 0 25 0 1 0 660130687 181841920 43460 4294967295 134512640 134714508 3221221792 3221220048 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44395 43460 1111 63 0 44332 0
vsize: 177580
[startup+770.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238421 0 0 0 76381 630 0 0 25 0 1 0 660130687 182071296 43517 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44451 43517 1111 63 0 44388 0
vsize: 177804
[startup+780.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238433 0 0 0 77381 631 0 0 25 0 1 0 660130687 182120448 43529 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44463 43529 1111 63 0 44400 0
vsize: 177852
[startup+790.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238444 0 0 0 78381 631 0 0 25 0 1 0 660130687 182161408 43540 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44473 43540 1111 63 0 44410 0
vsize: 177892
[startup+800.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238455 0 0 0 79381 631 0 0 25 0 1 0 660130687 182206464 43551 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44484 43551 1111 63 0 44421 0
vsize: 177936
[startup+810.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238466 0 0 0 80381 631 0 0 25 0 1 0 660130687 182247424 43562 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44494 43562 1111 63 0 44431 0
vsize: 177976
[startup+820.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238475 0 0 0 81381 631 0 0 25 0 1 0 660130687 182284288 43571 4294967295 134512640 134714508 3221221792 3221220064 1074153800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44503 43571 1111 63 0 44440 0
vsize: 178012
[startup+830.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238486 0 0 0 82381 631 0 0 25 0 1 0 660130687 182325248 43582 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44513 43582 1111 63 0 44450 0
vsize: 178052
[startup+840.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238496 0 0 0 83381 632 0 0 25 0 1 0 660130687 182366208 43592 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44523 43592 1111 63 0 44460 0
vsize: 178092
[startup+850.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238507 0 0 0 84381 632 0 0 25 0 1 0 660130687 182407168 43603 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44533 43603 1111 63 0 44470 0
vsize: 178132
[startup+860.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238516 0 0 0 85381 632 0 0 25 0 1 0 660130687 182444032 43612 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44542 43612 1111 63 0 44479 0
vsize: 178168
[startup+870.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238526 0 0 0 86381 633 0 0 25 0 1 0 660130687 182480896 43622 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44551 43622 1111 63 0 44488 0
vsize: 178204
[startup+880.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238535 0 0 0 87380 633 0 0 25 0 1 0 660130687 182517760 43631 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44560 43631 1111 63 0 44497 0
vsize: 178240
[startup+890.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238547 0 0 0 88380 633 0 0 25 0 1 0 660130687 182562816 43643 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44571 43643 1111 63 0 44508 0
vsize: 178284
[startup+900.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238554 0 0 0 89380 634 0 0 25 0 1 0 660130687 182591488 43650 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44578 43650 1111 63 0 44515 0
vsize: 178312
[startup+910.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238723 0 0 0 90380 634 0 0 25 0 1 0 660130687 182996992 43749 4294967295 134512640 134714508 3221221792 3221220048 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44677 43749 1111 63 0 44614 0
vsize: 178708
[startup+920.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238735 0 0 0 91380 634 0 0 25 0 1 0 660130687 183042048 43761 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44688 43761 1111 63 0 44625 0
vsize: 178752
[startup+930.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238744 0 0 0 92380 635 0 0 25 0 1 0 660130687 183078912 43770 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44697 43770 1111 63 0 44634 0
vsize: 178788
[startup+940.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238755 0 0 0 93380 635 0 0 25 0 1 0 660130687 183119872 43781 4294967295 134512640 134714508 3221221792 3221220048 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44707 43781 1111 63 0 44644 0
vsize: 178828
[startup+950.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238764 0 0 0 94380 635 0 0 25 0 1 0 660130687 183156736 43790 4294967295 134512640 134714508 3221221792 3221220024 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44716 43790 1111 63 0 44653 0
vsize: 178864
[startup+960.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238776 0 0 0 95380 635 0 0 25 0 1 0 660130687 183201792 43802 4294967295 134512640 134714508 3221221792 3221220048 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44727 43802 1111 63 0 44664 0
vsize: 178908
[startup+970.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238785 0 0 0 96379 636 0 0 25 0 1 0 660130687 183238656 43811 4294967295 134512640 134714508 3221221792 3221220024 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44736 43811 1111 63 0 44673 0
vsize: 178944
[startup+980.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238794 0 0 0 97379 636 0 0 25 0 1 0 660130687 183275520 43820 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44745 43820 1111 63 0 44682 0
vsize: 178980
[startup+990.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238804 0 0 0 98380 636 0 0 25 0 1 0 660130687 183312384 43830 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44754 43830 1111 63 0 44691 0
vsize: 179016
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238813 0 0 0 99379 637 0 0 25 0 1 0 660130687 183349248 43839 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44763 43839 1111 63 0 44700 0
vsize: 179052
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238821 0 0 0 100379 637 0 0 25 0 1 0 660130687 183377920 43847 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44770 43847 1111 63 0 44707 0
vsize: 179080
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238829 0 0 0 101379 637 0 0 25 0 1 0 660130687 183410688 43855 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44778 43855 1111 63 0 44715 0
vsize: 179112
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238838 0 0 0 102379 637 0 0 25 0 1 0 660130687 183447552 43864 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44787 43864 1111 63 0 44724 0
vsize: 179148
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238846 0 0 0 103379 638 0 0 25 0 1 0 660130687 183476224 43872 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44794 43872 1111 63 0 44731 0
vsize: 179176
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238855 0 0 0 104379 638 0 0 25 0 1 0 660130687 183513088 43881 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44803 43881 1111 63 0 44740 0
vsize: 179212
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238864 0 0 0 105379 639 0 0 25 0 1 0 660130687 183545856 43890 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44811 43890 1111 63 0 44748 0
vsize: 179244
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238873 0 0 0 106379 639 0 0 25 0 1 0 660130687 183582720 43899 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44820 43899 1111 63 0 44757 0
vsize: 179280
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238880 0 0 0 107379 639 0 0 25 0 1 0 660130687 183611392 43906 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44827 43906 1111 63 0 44764 0
vsize: 179308
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238889 0 0 0 108379 639 0 0 25 0 1 0 660130687 183644160 43915 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44835 43915 1111 63 0 44772 0
vsize: 179340
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238977 0 0 0 109378 640 0 0 25 0 1 0 660130687 184004608 44003 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44923 44003 1111 63 0 44860 0
vsize: 179692
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238986 0 0 0 110378 640 0 0 25 0 1 0 660130687 184041472 44012 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44932 44012 1111 63 0 44869 0
vsize: 179728
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 238995 0 0 0 111378 641 0 0 25 0 1 0 660130687 184074240 44021 4294967295 134512640 134714508 3221221792 3221220016 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44940 44021 1111 63 0 44877 0
vsize: 179760
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 239002 0 0 0 112378 641 0 0 25 0 1 0 660130687 184102912 44028 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44947 44028 1111 63 0 44884 0
vsize: 179788
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 239010 0 0 0 113378 641 0 0 25 0 1 0 660130687 184135680 44036 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44955 44036 1111 63 0 44892 0
vsize: 179820
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 239018 0 0 0 114378 641 0 0 25 0 1 0 660130687 184164352 44044 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44962 44044 1111 63 0 44899 0
vsize: 179848
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 239024 0 0 0 115378 642 0 0 25 0 1 0 660130687 184188928 44050 4294967295 134512640 134714508 3221221792 3221220064 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44968 44050 1111 63 0 44905 0
vsize: 179872
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 239033 0 0 0 116378 642 0 0 25 0 1 0 660130687 184221696 44059 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44976 44059 1111 63 0 44913 0
vsize: 179904
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 239040 0 0 0 117377 642 0 0 25 0 1 0 660130687 184250368 44066 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44983 44066 1111 63 0 44920 0
vsize: 179932
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 239046 0 0 0 118378 642 0 0 25 0 1 0 660130687 184274944 44072 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44989 44072 1111 63 0 44926 0
vsize: 179956
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5982
Raw data (stat): 5980 (bsolo_lpr) R 5979 7876 7672 0 -1 0 239055 0 0 0 119378 642 0 0 25 0 1 0 660130687 184307712 44081 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44997 44081 1111 63 0 44934 0
vsize: 179988
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.16 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 5982
Raw data (stat): 5980 (bsolo_lpr) Z 5979 7876 7672 0 -1 1036 239055 0 0 0 119378 650 0 0 25 0 1 0 660130687 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.16
CPU time (s): 1200.29
CPU user time (s): 1193.78
CPU system time (s): 6.50701
CPU usage (%): 100.011
Max. virtual memory (Kb): 179988
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####