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-par32-5.opb
MD5SUM	9b244c88702eddacf15d45f12fda5eb0
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	6352
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	6352
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	6352
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	6352
Total number of constraints	13501
Number of constraints which are clauses	13501
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	1
Maximum length of a constraint	3
Trace number 24197

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-09 03:33:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1900 boxname=wulflinc31 idbench=212 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  9b244c88702eddacf15d45f12fda5eb0  /oldhome/oroussel/tmp/wulflinc31/normalized-par32-5.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-par32-5.opb
IDLAUNCH: 1900
/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:        134960 kB
Buffers:         42800 kB
Cached:         822400 kB
SwapCached:        644 kB
Active:         495756 kB
Inactive:       371736 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        134708 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:             888 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26620 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-09 03:53:48 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 1900 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 6352 variables and 13501 constraints.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (runsolver) R 19342 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 697396482 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 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.0008 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 25063 0 0 0 933 62 0 0 25 0 1 0 697396482 105852928 24971 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25843 24971 1111 63 0 25780 0
vsize: 103372
[startup+20.0012 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 25063 0 0 0 1933 63 0 0 25 0 1 0 697396482 105852928 24971 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25843 24971 1111 63 0 25780 0
vsize: 103372
[startup+30.0022 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 25063 0 0 0 2933 63 0 0 25 0 1 0 697396482 105852928 24971 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25843 24971 1111 63 0 25780 0
vsize: 103372
[startup+40.0036 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 26089 0 0 0 3931 66 0 0 25 0 1 0 697396482 109740032 25927 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26792 25927 1111 63 0 26729 0
vsize: 107168
[startup+50.0045 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 26089 0 0 0 4930 66 0 0 25 0 1 0 697396482 109740032 25927 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26792 25927 1111 63 0 26729 0
vsize: 107168
[startup+60.004 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 26089 0 0 0 5930 67 0 0 25 0 1 0 697396482 109740032 25927 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26792 25927 1111 63 0 26729 0
vsize: 107168
[startup+70.0053 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 26089 0 0 0 6929 67 0 0 25 0 1 0 697396482 109740032 25927 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26792 25927 1111 63 0 26729 0
vsize: 107168
[startup+80.0058 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 26089 0 0 0 7929 67 0 0 25 0 1 0 697396482 109740032 25927 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26792 25927 1111 63 0 26729 0
vsize: 107168
[startup+90.0068 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 26089 0 0 0 8929 68 0 0 25 0 1 0 697396482 109740032 25927 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26792 25927 1111 63 0 26729 0
vsize: 107168
[startup+100.007 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 26631 0 0 0 9927 70 0 0 25 0 1 0 697396482 109740032 25927 4294967295 134512640 134714508 3221221792 3221220592 134617624 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26792 25927 1111 63 0 26729 0
vsize: 107168
[startup+110.008 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 26631 0 0 0 10927 70 0 0 25 0 1 0 697396482 109740032 25927 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26792 25927 1111 63 0 26729 0
vsize: 107168
[startup+120.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 26631 0 0 0 11927 70 0 0 25 0 1 0 697396482 109740032 25927 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26792 25927 1111 63 0 26729 0
vsize: 107168
[startup+130.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 27509 0 0 0 12924 73 0 0 25 0 1 0 697396482 109740032 25927 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26792 25927 1111 63 0 26729 0
vsize: 107168
[startup+140.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 27509 0 0 0 13924 74 0 0 25 0 1 0 697396482 109740032 25927 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26792 25927 1111 63 0 26729 0
vsize: 107168
[startup+150.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 27509 0 0 0 14924 74 0 0 25 0 1 0 697396482 109740032 25927 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26792 25927 1111 63 0 26729 0
vsize: 107168
[startup+160.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 27509 0 0 0 15923 74 0 0 25 0 1 0 697396482 109740032 25927 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26792 25927 1111 63 0 26729 0
vsize: 107168
[startup+170.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 27509 0 0 0 16923 74 0 0 25 0 1 0 697396482 109740032 25927 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26792 25927 1111 63 0 26729 0
vsize: 107168
[startup+180.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 27509 0 0 0 17924 74 0 0 25 0 1 0 697396482 109740032 25927 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26792 25927 1111 63 0 26729 0
vsize: 107168
[startup+190.012 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 27929 0 0 0 18923 75 0 0 25 0 1 0 697396482 109740032 25927 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26792 25927 1111 63 0 26729 0
vsize: 107168
[startup+200.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 27929 0 0 0 19923 75 0 0 25 0 1 0 697396482 109740032 25927 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26792 25927 1111 63 0 26729 0
vsize: 107168
[startup+210.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 29850 0 0 0 20919 79 0 0 25 0 1 0 697396482 109740032 25927 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26792 25927 1111 63 0 26729 0
vsize: 107168
[startup+220.014 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 47086 0 0 0 21878 121 0 0 25 0 1 0 697396482 109740032 25927 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26792 25927 1111 63 0 26729 0
vsize: 107168
[startup+230.014 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 57056 0 0 0 22854 145 0 0 25 0 1 0 697396482 109740032 25927 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26792 25927 1111 63 0 26729 0
vsize: 107168
[startup+240.015 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 67390 0 0 0 23828 171 0 0 25 0 1 0 697396482 109740032 25927 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26792 25927 1111 63 0 26729 0
vsize: 107168
[startup+250.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 81471 0 0 0 24795 204 0 0 25 0 1 0 697396482 109740032 25927 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26792 25927 1111 63 0 26729 0
vsize: 107168
[startup+260.015 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 94995 0 0 0 25763 236 0 0 25 0 1 0 697396482 109740032 25927 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26792 25927 1111 63 0 26729 0
vsize: 107168
[startup+270.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 108121 0 0 0 26733 266 0 0 25 0 1 0 697396482 109740032 25927 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26792 25927 1111 63 0 26729 0
vsize: 107168
[startup+280.015 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 134833 0 0 0 27666 333 0 0 25 0 1 0 697396482 114708480 27133 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28005 27133 1111 63 0 27942 0
vsize: 112020
[startup+290.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 134833 0 0 0 28666 334 0 0 25 0 1 0 697396482 114708480 27133 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28005 27133 1111 63 0 27942 0
vsize: 112020
[startup+300.018 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 134833 0 0 0 29666 334 0 0 25 0 1 0 697396482 114708480 27133 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28005 27133 1111 63 0 27942 0
vsize: 112020
[startup+310.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 134833 0 0 0 30666 334 0 0 25 0 1 0 697396482 114708480 27133 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28005 27133 1111 63 0 27942 0
vsize: 112020
[startup+320.018 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 134833 0 0 0 31667 334 0 0 25 0 1 0 697396482 114708480 27133 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28005 27133 1111 63 0 27942 0
vsize: 112020
[startup+330.018 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 134833 0 0 0 32667 334 0 0 25 0 1 0 697396482 114708480 27133 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28005 27133 1111 63 0 27942 0
vsize: 112020
[startup+340.019 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 134833 0 0 0 33667 334 0 0 25 0 1 0 697396482 114708480 27133 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28005 27133 1111 63 0 27942 0
vsize: 112020
[startup+350.019 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 134833 0 0 0 34667 334 0 0 25 0 1 0 697396482 114708480 27133 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28005 27133 1111 63 0 27942 0
vsize: 112020
[startup+360.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 134833 0 0 0 35667 334 0 0 25 0 1 0 697396482 114708480 27133 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28005 27133 1111 63 0 27942 0
vsize: 112020
[startup+370.021 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 134833 0 0 0 36667 334 0 0 25 0 1 0 697396482 114708480 27133 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28005 27133 1111 63 0 27942 0
vsize: 112020
[startup+380.021 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 134833 0 0 0 37668 334 0 0 25 0 1 0 697396482 114708480 27133 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28005 27133 1111 63 0 27942 0
vsize: 112020
[startup+390.022 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 135576 0 0 0 38666 336 0 0 25 0 1 0 697396482 114708480 27140 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28005 27140 1111 63 0 27942 0
vsize: 112020
[startup+400.023 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 135576 0 0 0 39666 336 0 0 25 0 1 0 697396482 114708480 27140 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28005 27140 1111 63 0 27942 0
vsize: 112020
[startup+410.023 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 135576 0 0 0 40667 336 0 0 25 0 1 0 697396482 114708480 27140 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28005 27140 1111 63 0 27942 0
vsize: 112020
[startup+420.024 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 135576 0 0 0 41667 336 0 0 25 0 1 0 697396482 114708480 27140 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28005 27140 1111 63 0 27942 0
vsize: 112020
[startup+430.024 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 135576 0 0 0 42667 336 0 0 25 0 1 0 697396482 114708480 27140 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28005 27140 1111 63 0 27942 0
vsize: 112020
[startup+440.025 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 135576 0 0 0 43667 336 0 0 25 0 1 0 697396482 114708480 27140 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28005 27140 1111 63 0 27942 0
vsize: 112020
[startup+450.026 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 138250 0 0 0 44660 343 0 0 25 0 1 0 697396482 114708480 27140 4294967295 134512640 134714508 3221221792 3221220276 1077378730 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28005 27140 1111 63 0 27942 0
vsize: 112020
[startup+460.025 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 138250 0 0 0 45660 343 0 0 25 0 1 0 697396482 114708480 27140 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28005 27140 1111 63 0 27942 0
vsize: 112020
[startup+470.025 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 138250 0 0 0 46661 343 0 0 25 0 1 0 697396482 114708480 27140 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28005 27140 1111 63 0 27942 0
vsize: 112020
[startup+480.025 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 139984 0 0 0 47657 347 0 0 25 0 1 0 697396482 114708480 27140 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28005 27140 1111 63 0 27942 0
vsize: 112020
[startup+490.026 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 139984 0 0 0 48657 347 0 0 25 0 1 0 697396482 114708480 27140 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28005 27140 1111 63 0 27942 0
vsize: 112020
[startup+500.027 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 139984 0 0 0 49657 347 0 0 25 0 1 0 697396482 114708480 27140 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28005 27140 1111 63 0 27942 0
vsize: 112020
[startup+510.027 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 140642 0 0 0 50656 349 0 0 25 0 1 0 697396482 114708480 27140 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28005 27140 1111 63 0 27942 0
vsize: 112020
[startup+520.028 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 140642 0 0 0 51656 349 0 0 25 0 1 0 697396482 114708480 27140 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28005 27140 1111 63 0 27942 0
vsize: 112020
[startup+530.028 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 140642 0 0 0 52656 349 0 0 25 0 1 0 697396482 114708480 27140 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28005 27140 1111 63 0 27942 0
vsize: 112020
[startup+540.029 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 149923 0 0 0 53635 370 0 0 25 0 1 0 697396482 114708480 27140 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28005 27140 1111 63 0 27942 0
vsize: 112020
[startup+550.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 156339 0 0 0 54621 384 0 0 25 0 1 0 697396482 114708480 27140 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28005 27140 1111 63 0 27942 0
vsize: 112020
[startup+560.029 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 163164 0 0 0 55605 401 0 0 25 0 1 0 697396482 114708480 27140 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28005 27140 1111 63 0 27942 0
vsize: 112020
[startup+570.031 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 172675 0 0 0 56582 424 0 0 25 0 1 0 697396482 114708480 27140 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28005 27140 1111 63 0 27942 0
vsize: 112020
[startup+580.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 181801 0 0 0 57559 446 0 0 25 0 1 0 697396482 114708480 27140 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28005 27140 1111 63 0 27942 0
vsize: 112020
[startup+590.032 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 190848 0 0 0 58539 467 0 0 25 0 1 0 697396482 115777536 27383 4294967295 134512640 134714508 3221221792 3221220464 134606960 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28266 27383 1111 63 0 28203 0
vsize: 113064
[startup+600.033 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 193268 0 0 0 59533 473 0 0 25 0 1 0 697396482 115806208 27408 4294967295 134512640 134714508 3221221792 3221220592 134617624 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28273 27408 1111 63 0 28210 0
vsize: 113092
[startup+610.032 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 194390 0 0 0 60530 476 0 0 25 0 1 0 697396482 115806208 27408 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28273 27408 1111 63 0 28210 0
vsize: 113092
[startup+620.032 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 195969 0 0 0 61526 481 0 0 25 0 1 0 697396482 115806208 27408 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28273 27408 1111 63 0 28210 0
vsize: 113092
[startup+630.032 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 199051 0 0 0 62518 488 0 0 25 0 1 0 697396482 115806208 27408 4294967295 134512640 134714508 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28273 27408 1111 63 0 28210 0
vsize: 113092
[startup+640.033 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 201990 0 0 0 63511 496 0 0 25 0 1 0 697396482 116113408 27463 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28348 27469 1111 63 0 28285 0
vsize: 113392
[startup+650.033 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 205401 0 0 0 64503 505 0 0 25 0 1 0 697396482 115806208 27408 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28273 27408 1111 63 0 28210 0
vsize: 113092
[startup+660.033 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 211375 0 0 0 65489 518 0 0 25 0 1 0 697396482 115806208 27408 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28273 27408 1111 63 0 28210 0
vsize: 113092
[startup+670.034 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 217363 0 0 0 66476 532 0 0 25 0 1 0 697396482 115806208 27408 4294967295 134512640 134714508 3221221792 3221220508 1076647540 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28273 27408 1111 63 0 28210 0
vsize: 113092
[startup+680.034 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 223821 0 0 0 67460 547 0 0 25 0 1 0 697396482 115806208 27408 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28273 27408 1111 63 0 28210 0
vsize: 113092
[startup+690.035 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 231412 0 0 0 68442 566 0 0 25 0 1 0 697396482 115806208 27408 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28273 27408 1111 63 0 28210 0
vsize: 113092
[startup+700.036 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 234214 0 0 0 69436 572 0 0 25 0 1 0 697396482 117268480 27764 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 27764 1111 63 0 28567 0
vsize: 114520
[startup+710.036 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 234214 0 0 0 70436 572 0 0 25 0 1 0 697396482 117268480 27764 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 27764 1111 63 0 28567 0
vsize: 114520
[startup+720.037 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 236237 0 0 0 71431 577 0 0 25 0 1 0 697396482 117268480 27765 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 27765 1111 63 0 28567 0
vsize: 114520
[startup+730.037 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 236237 0 0 0 72431 577 0 0 25 0 1 0 697396482 117268480 27765 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 27765 1111 63 0 28567 0
vsize: 114520
[startup+740.038 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 236429 0 0 0 73431 578 0 0 25 0 1 0 697396482 117268480 27765 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 27765 1111 63 0 28567 0
vsize: 114520
[startup+750.039 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 238809 0 0 0 74425 584 0 0 25 0 1 0 697396482 117268480 27765 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 27765 1111 63 0 28567 0
vsize: 114520
[startup+760.039 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 241749 0 0 0 75418 591 0 0 25 0 1 0 697396482 117268480 27765 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 27765 1111 63 0 28567 0
vsize: 114520
[startup+770.039 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 245097 0 0 0 76410 599 0 0 25 0 1 0 697396482 117268480 27765 4294967295 134512640 134714508 3221221792 3221220520 134672906 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 27765 1111 63 0 28567 0
vsize: 114520
[startup+780.039 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 251874 0 0 0 77395 614 0 0 25 0 1 0 697396482 120274944 28492 4294967295 134512640 134714508 3221221792 3221220264 134543090 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29364 28492 1111 63 0 29301 0
vsize: 117456
[startup+790.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 254620 0 0 0 78389 621 0 0 25 0 1 0 697396482 117682176 27866 4294967295 134512640 134714508 3221221792 3221220520 134672913 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28731 27866 1111 63 0 28668 0
vsize: 114924
[startup+800.041 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 258048 0 0 0 79382 629 0 0 25 0 1 0 697396482 117682176 27866 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28731 27866 1111 63 0 28668 0
vsize: 114924
[startup+810.041 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 263386 0 0 0 80370 641 0 0 25 0 1 0 697396482 117682176 27866 4294967295 134512640 134714508 3221221792 3221220344 1077377316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28731 27866 1111 63 0 28668 0
vsize: 114924
[startup+820.041 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 269192 0 0 0 81356 654 0 0 25 0 1 0 697396482 117682176 27866 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28731 27866 1111 63 0 28668 0
vsize: 114924
[startup+830.041 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 270629 0 0 0 82353 657 0 0 25 0 1 0 697396482 118292480 28003 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28880 28003 1111 63 0 28817 0
vsize: 115520
[startup+840.042 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 270635 0 0 0 83354 657 0 0 25 0 1 0 697396482 118292480 28009 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28880 28009 1111 63 0 28817 0
vsize: 115520
[startup+850.042 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 271111 0 0 0 84352 659 0 0 25 0 1 0 697396482 118349824 28029 4294967295 134512640 134714508 3221221792 3221220512 134618229 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28894 28029 1111 63 0 28831 0
vsize: 115576
[startup+860.043 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 271231 0 0 0 85352 659 0 0 25 0 1 0 697396482 118349824 28029 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28894 28029 1111 63 0 28831 0
vsize: 115576
[startup+870.043 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 274840 0 0 0 86344 668 0 0 25 0 1 0 697396482 118509568 28068 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28933 28068 1111 63 0 28870 0
vsize: 115732
[startup+880.043 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 278710 0 0 0 87335 677 0 0 25 0 1 0 697396482 118509568 28068 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28933 28068 1111 63 0 28870 0
vsize: 115732
[startup+890.044 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 282284 0 0 0 88327 685 0 0 25 0 1 0 697396482 118509568 28068 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28933 28068 1111 63 0 28870 0
vsize: 115732
[startup+900.044 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 286902 0 0 0 89316 696 0 0 25 0 1 0 697396482 118509568 28068 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28933 28068 1111 63 0 28870 0
vsize: 115732
[startup+910.044 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 288944 0 0 0 90310 702 0 0 25 0 1 0 697396482 120295424 28504 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29369 28504 1111 63 0 29306 0
vsize: 117476
[startup+920.045 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 288944 0 0 0 91310 702 0 0 25 0 1 0 697396482 120295424 28504 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29369 28504 1111 63 0 29306 0
vsize: 117476
[startup+930.045 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 288944 0 0 0 92310 702 0 0 25 0 1 0 697396482 120295424 28504 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29369 28504 1111 63 0 29306 0
vsize: 117476
[startup+940.046 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 289114 0 0 0 93310 703 0 0 25 0 1 0 697396482 120295424 28504 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29369 28504 1111 63 0 29306 0
vsize: 117476
[startup+950.047 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 289114 0 0 0 94310 703 0 0 25 0 1 0 697396482 120295424 28504 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29369 28504 1111 63 0 29306 0
vsize: 117476
[startup+960.047 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 289114 0 0 0 95310 703 0 0 25 0 1 0 697396482 120295424 28504 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29369 28504 1111 63 0 29306 0
vsize: 117476
[startup+970.047 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 289114 0 0 0 96310 703 0 0 25 0 1 0 697396482 120295424 28504 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29369 28504 1111 63 0 29306 0
vsize: 117476
[startup+980.048 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 289114 0 0 0 97310 703 0 0 25 0 1 0 697396482 120295424 28504 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29369 28504 1111 63 0 29306 0
vsize: 117476
[startup+990.049 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 290858 0 0 0 98306 707 0 0 25 0 1 0 697396482 120295424 28504 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29369 28504 1111 63 0 29306 0
vsize: 117476
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 290858 0 0 0 99306 707 0 0 25 0 1 0 697396482 120295424 28504 4294967295 134512640 134714508 3221221792 3221220592 134617242 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29369 28504 1111 63 0 29306 0
vsize: 117476
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 290858 0 0 0 100306 707 0 0 25 0 1 0 697396482 120295424 28504 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29369 28504 1111 63 0 29306 0
vsize: 117476
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 292406 0 0 0 101303 711 0 0 25 0 1 0 697396482 120446976 28505 4294967295 134512640 134714508 3221221792 3221220188 1077386340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29406 28507 1111 63 0 29343 0
vsize: 117624
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 297393 0 0 0 102294 720 0 0 25 0 1 0 697396482 121188352 28722 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29587 28722 1111 63 0 29524 0
vsize: 118348
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 297393 0 0 0 103294 720 0 0 25 0 1 0 697396482 121188352 28722 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29587 28722 1111 63 0 29524 0
vsize: 118348
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 297393 0 0 0 104294 720 0 0 25 0 1 0 697396482 121188352 28722 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29587 28722 1111 63 0 29524 0
vsize: 118348
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 299029 0 0 0 105290 725 0 0 25 0 1 0 697396482 121188352 28722 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29587 28722 1111 63 0 29524 0
vsize: 118348
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 299029 0 0 0 106290 725 0 0 25 0 1 0 697396482 121188352 28722 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29587 28722 1111 63 0 29524 0
vsize: 118348
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 299029 0 0 0 107290 725 0 0 25 0 1 0 697396482 121188352 28722 4294967295 134512640 134714508 3221221792 3221220500 134618239 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29587 28722 1111 63 0 29524 0
vsize: 118348
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 300937 0 0 0 108287 728 0 0 25 0 1 0 697396482 121188352 28722 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29587 28722 1111 63 0 29524 0
vsize: 118348
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 300937 0 0 0 109287 728 0 0 25 0 1 0 697396482 121188352 28722 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29587 28722 1111 63 0 29524 0
vsize: 118348
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 300937 0 0 0 110287 729 0 0 25 0 1 0 697396482 121188352 28722 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29587 28722 1111 63 0 29524 0
vsize: 118348
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 301293 0 0 0 111287 729 0 0 25 0 1 0 697396482 121188352 28722 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29587 28722 1111 63 0 29524 0
vsize: 118348
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 301293 0 0 0 112287 729 0 0 25 0 1 0 697396482 121188352 28722 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29587 28722 1111 63 0 29524 0
vsize: 118348
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 301329 0 0 0 113287 729 0 0 25 0 1 0 697396482 121188352 28722 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29587 28722 1111 63 0 29524 0
vsize: 118348
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 303191 0 0 0 114282 734 0 0 25 0 1 0 697396482 121188352 28722 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29587 28722 1111 63 0 29524 0
vsize: 118348
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 304607 0 0 0 115280 737 0 0 25 0 1 0 697396482 121188352 28722 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29587 28722 1111 63 0 29524 0
vsize: 118348
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 305897 0 0 0 116277 740 0 0 25 0 1 0 697396482 121323520 28755 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29620 28755 1111 63 0 29557 0
vsize: 118480
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 308165 0 0 0 117271 746 0 0 25 0 1 0 697396482 121323520 28755 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29620 28755 1111 63 0 29557 0
vsize: 118480
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 310612 0 0 0 118266 751 0 0 25 0 1 0 697396482 121323520 28755 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29620 28755 1111 63 0 29557 0
vsize: 118480
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 19343
Raw data (stat): 19343 (bsolo_lpr) R 19342 7876 7672 0 -1 0 314905 0 0 0 119256 761 0 0 25 0 1 0 697396482 121323520 28755 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29620 28755 1111 63 0 29557 0
vsize: 118480
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 0.99 0.99 0.92 1/54 19343
Raw data (stat): 19343 (bsolo_lpr) Z 19342 7876 7672 0 -1 1036 314905 0 0 0 119256 766 0 0 25 0 1 0 697396482 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.11
CPU time (s): 1200.24
CPU user time (s): 1192.57
CPU system time (s): 7.66983
CPU usage (%): 100.011
Max. virtual memory (Kb): 118480
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####