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-2.opb
MD5SUM	48ed39004ec868a1cad026c865b17eb2
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	13429
Number of constraints which are clauses	13429
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 24167

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-08 16:29:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1846 boxname=wulflinc31 idbench=206 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  48ed39004ec868a1cad026c865b17eb2  /oldhome/oroussel/tmp/wulflinc31/normalized-par32-2.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-par32-2.opb
IDLAUNCH: 1846
/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:        138376 kB
Buffers:         42084 kB
Cached:         819784 kB
SwapCached:        644 kB
Active:         493612 kB
Inactive:       370572 kB
HighTotal:      131008 kB
HighFree:         1820 kB
LowTotal:       903652 kB
LowFree:        136556 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:             380 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26552 kB
Committed_AS:    63640 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-08 16:49:51 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 1846 7 1200.23 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 6352 variables and 13429 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.92 0.98 0.91 2/54 16497
Raw data (stat): 16497 (runsolver) R 16496 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 693412386 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.0011 s]
Raw data (loadavg): 0.93 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 24868 0 0 0 937 59 0 0 25 0 1 0 693412386 105054208 24776 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25648 24776 1111 63 0 25585 0
vsize: 102592
[startup+20.0019 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 24875 0 0 0 1937 59 0 0 25 0 1 0 693412386 105054208 24783 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25648 24783 1111 63 0 25585 0
vsize: 102592
[startup+30.0028 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 25976 0 0 0 2934 62 0 0 25 0 1 0 693412386 108617728 25654 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26518 25654 1111 63 0 26455 0
vsize: 106072
[startup+40.0028 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 26036 0 0 0 3934 62 0 0 25 0 1 0 693412386 108617728 25654 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26518 25654 1111 63 0 26455 0
vsize: 106072
[startup+50.0027 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 26036 0 0 0 4934 62 0 0 25 0 1 0 693412386 108617728 25654 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26518 25654 1111 63 0 26455 0
vsize: 106072
[startup+60.0026 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 26036 0 0 0 5934 62 0 0 25 0 1 0 693412386 108617728 25654 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26518 25654 1111 63 0 26455 0
vsize: 106072
[startup+70.0025 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 26036 0 0 0 6934 62 0 0 25 0 1 0 693412386 108617728 25654 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26518 25654 1111 63 0 26455 0
vsize: 106072
[startup+80.0035 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 26036 0 0 0 7935 62 0 0 25 0 1 0 693412386 108617728 25654 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26518 25654 1111 63 0 26455 0
vsize: 106072
[startup+90.0034 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 26616 0 0 0 8933 64 0 0 25 0 1 0 693412386 108617728 25654 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26518 25654 1111 63 0 26455 0
vsize: 106072
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 26616 0 0 0 9933 64 0 0 25 0 1 0 693412386 108617728 25654 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26518 25654 1111 63 0 26455 0
vsize: 106072
[startup+110.004 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 26616 0 0 0 10934 64 0 0 25 0 1 0 693412386 108617728 25654 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26518 25654 1111 63 0 26455 0
vsize: 106072
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 29928 0 0 0 11926 72 0 0 25 0 1 0 693412386 108617728 25654 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26518 25654 1111 63 0 26455 0
vsize: 106072
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 29928 0 0 0 12926 72 0 0 25 0 1 0 693412386 108617728 25654 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26518 25654 1111 63 0 26455 0
vsize: 106072
[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 29928 0 0 0 13926 72 0 0 25 0 1 0 693412386 108617728 25654 4294967295 134512640 134714508 3221221792 3221220404 134557790 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26518 25654 1111 63 0 26455 0
vsize: 106072
[startup+150.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 31426 0 0 0 14922 76 0 0 25 0 1 0 693412386 108617728 25654 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26518 25654 1111 63 0 26455 0
vsize: 106072
[startup+160.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 31426 0 0 0 15923 76 0 0 25 0 1 0 693412386 108617728 25654 4294967295 134512640 134714508 3221221792 3221220528 134618435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26518 25654 1111 63 0 26455 0
vsize: 106072
[startup+170.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 31426 0 0 0 16923 76 0 0 25 0 1 0 693412386 108617728 25654 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26518 25654 1111 63 0 26455 0
vsize: 106072
[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 32095 0 0 0 17921 77 0 0 25 0 1 0 693412386 111210496 26287 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27151 26287 1111 63 0 27088 0
vsize: 108604
[startup+190.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 32095 0 0 0 18921 77 0 0 25 0 1 0 693412386 111210496 26287 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27151 26287 1111 63 0 27088 0
vsize: 108604
[startup+200.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 32095 0 0 0 19921 77 0 0 25 0 1 0 693412386 111210496 26287 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27151 26287 1111 63 0 27088 0
vsize: 108604
[startup+210.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 32186 0 0 0 20922 78 0 0 25 0 1 0 693412386 111210496 26287 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27151 26287 1111 63 0 27088 0
vsize: 108604
[startup+220.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 32186 0 0 0 21922 78 0 0 25 0 1 0 693412386 111210496 26287 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27151 26287 1111 63 0 27088 0
vsize: 108604
[startup+230.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 32186 0 0 0 22922 78 0 0 25 0 1 0 693412386 111210496 26287 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27151 26287 1111 63 0 27088 0
vsize: 108604
[startup+240.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 32952 0 0 0 23920 79 0 0 25 0 1 0 693412386 111210496 26287 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27151 26287 1111 63 0 27088 0
vsize: 108604
[startup+250.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 32952 0 0 0 24921 79 0 0 25 0 1 0 693412386 111210496 26287 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27151 26287 1111 63 0 27088 0
vsize: 108604
[startup+260.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 32952 0 0 0 25921 79 0 0 25 0 1 0 693412386 111210496 26287 4294967295 134512640 134714508 3221221792 3221220440 134532457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27151 26287 1111 63 0 27088 0
vsize: 108604
[startup+270.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 32952 0 0 0 26921 79 0 0 25 0 1 0 693412386 111210496 26287 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27151 26287 1111 63 0 27088 0
vsize: 108604
[startup+280.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 32952 0 0 0 27921 79 0 0 25 0 1 0 693412386 111210496 26287 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27151 26287 1111 63 0 27088 0
vsize: 108604
[startup+290.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 32952 0 0 0 28921 79 0 0 25 0 1 0 693412386 111210496 26287 4294967295 134512640 134714508 3221221792 3221220520 134672906 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27151 26287 1111 63 0 27088 0
vsize: 108604
[startup+300.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 38008 0 0 0 29909 92 0 0 25 0 1 0 693412386 111210496 26287 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27151 26287 1111 63 0 27088 0
vsize: 108604
[startup+310.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 38008 0 0 0 30909 92 0 0 25 0 1 0 693412386 111210496 26287 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27151 26287 1111 63 0 27088 0
vsize: 108604
[startup+320.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 38152 0 0 0 31908 93 0 0 25 0 1 0 693412386 111210496 26287 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27151 26287 1111 63 0 27088 0
vsize: 108604
[startup+330.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 41066 0 0 0 32900 101 0 0 25 0 1 0 693412386 111210496 26287 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27151 26287 1111 63 0 27088 0
vsize: 108604
[startup+340.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 43422 0 0 0 33893 108 0 0 25 0 1 0 693412386 111210496 26287 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27151 26287 1111 63 0 27088 0
vsize: 108604
[startup+350.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 47094 0 0 0 34885 117 0 0 25 0 1 0 693412386 111210496 26287 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27151 26287 1111 63 0 27088 0
vsize: 108604
[startup+360.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 61554 0 0 0 35851 150 0 0 25 0 1 0 693412386 114221056 27022 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27886 27022 1111 63 0 27823 0
vsize: 111544
[startup+370.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 61554 0 0 0 36851 151 0 0 25 0 1 0 693412386 114221056 27022 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27886 27022 1111 63 0 27823 0
vsize: 111544
[startup+380.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 61554 0 0 0 37851 151 0 0 25 0 1 0 693412386 114221056 27022 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27886 27022 1111 63 0 27823 0
vsize: 111544
[startup+390.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 61554 0 0 0 38851 151 0 0 25 0 1 0 693412386 114221056 27022 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27886 27022 1111 63 0 27823 0
vsize: 111544
[startup+400.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 61554 0 0 0 39850 151 0 0 25 0 1 0 693412386 114221056 27022 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27886 27022 1111 63 0 27823 0
vsize: 111544
[startup+410.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 61554 0 0 0 40850 152 0 0 25 0 1 0 693412386 114221056 27022 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27886 27022 1111 63 0 27823 0
vsize: 111544
[startup+420.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 62260 0 0 0 41849 154 0 0 25 0 1 0 693412386 114221056 27022 4294967295 134512640 134714508 3221221792 3221220528 134630817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27886 27022 1111 63 0 27823 0
vsize: 111544
[startup+430.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 62260 0 0 0 42848 154 0 0 25 0 1 0 693412386 114221056 27022 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27886 27022 1111 63 0 27823 0
vsize: 111544
[startup+440.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 62260 0 0 0 43848 154 0 0 25 0 1 0 693412386 114221056 27022 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27886 27022 1111 63 0 27823 0
vsize: 111544
[startup+450.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 63540 0 0 0 44844 158 0 0 25 0 1 0 693412386 114221056 27022 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27886 27022 1111 63 0 27823 0
vsize: 111544
[startup+460.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 63540 0 0 0 45844 159 0 0 25 0 1 0 693412386 114221056 27022 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27886 27022 1111 63 0 27823 0
vsize: 111544
[startup+470.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 63540 0 0 0 46844 159 0 0 25 0 1 0 693412386 114221056 27022 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27886 27022 1111 63 0 27823 0
vsize: 111544
[startup+480.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 64406 0 0 0 47842 161 0 0 25 0 1 0 693412386 114221056 27022 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27886 27022 1111 63 0 27823 0
vsize: 111544
[startup+490.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 64406 0 0 0 48841 162 0 0 25 0 1 0 693412386 114221056 27022 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27886 27022 1111 63 0 27823 0
vsize: 111544
[startup+500.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 64406 0 0 0 49841 162 0 0 25 0 1 0 693412386 114221056 27022 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27886 27022 1111 63 0 27823 0
vsize: 111544
[startup+510.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 67554 0 0 0 50834 169 0 0 25 0 1 0 693412386 114221056 27022 4294967295 134512640 134714508 3221221792 3221220524 134672949 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27886 27022 1111 63 0 27823 0
vsize: 111544
[startup+520.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 67554 0 0 0 51833 170 0 0 25 0 1 0 693412386 114221056 27022 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27886 27022 1111 63 0 27823 0
vsize: 111544
[startup+530.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 67554 0 0 0 52833 171 0 0 25 0 1 0 693412386 114221056 27022 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27886 27022 1111 63 0 27823 0
vsize: 111544
[startup+540.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 69166 0 0 0 53829 175 0 0 25 0 1 0 693412386 114221056 27022 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27886 27022 1111 63 0 27823 0
vsize: 111544
[startup+550.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 69406 0 0 0 54827 176 0 0 25 0 1 0 693412386 114221056 27022 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27886 27022 1111 63 0 27823 0
vsize: 111544
[startup+560.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 70318 0 0 0 55824 180 0 0 25 0 1 0 693412386 114221056 27022 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27886 27022 1111 63 0 27823 0
vsize: 111544
[startup+570.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 81785 0 0 0 56796 208 0 0 25 0 1 0 693412386 114221056 27022 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27886 27022 1111 63 0 27823 0
vsize: 111544
[startup+580.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 89014 0 0 0 57777 226 0 0 25 0 1 0 693412386 114221056 27022 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27886 27022 1111 63 0 27823 0
vsize: 111544
[startup+590.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 96917 0 0 0 58758 246 0 0 25 0 1 0 693412386 114376704 27053 4294967295 134512640 134714508 3221221792 3221220592 134617242 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27924 27053 1111 63 0 27861 0
vsize: 111696
[startup+600.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 106647 0 0 0 59732 272 0 0 25 0 1 0 693412386 114221056 27022 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27886 27022 1111 63 0 27823 0
vsize: 111544
[startup+610.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 107119 0 0 0 60731 274 0 0 25 0 1 0 693412386 115220480 27265 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28130 27265 1111 63 0 28067 0
vsize: 112520
[startup+620.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 107746 0 0 0 61730 275 0 0 25 0 1 0 693412386 115220480 27266 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28130 27266 1111 63 0 28067 0
vsize: 112520
[startup+630.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 111608 0 0 0 62722 283 0 0 25 0 1 0 693412386 115220480 27266 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28130 27266 1111 63 0 28067 0
vsize: 112520
[startup+640.028 s]
Raw data (loadavg): 0.99 0.98 0.91 3/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 115046 0 0 0 63714 291 0 0 25 0 1 0 693412386 115220480 27266 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28130 27266 1111 63 0 28067 0
vsize: 112520
[startup+650.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 119287 0 0 0 64703 302 0 0 25 0 1 0 693412386 115220480 27266 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28130 27266 1111 63 0 28067 0
vsize: 112520
[startup+660.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 123358 0 0 0 65694 311 0 0 25 0 1 0 693412386 117006336 27702 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28566 27702 1111 63 0 28503 0
vsize: 114264
[startup+670.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 123358 0 0 0 66694 311 0 0 25 0 1 0 693412386 117006336 27702 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28566 27702 1111 63 0 28503 0
vsize: 114264
[startup+680.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 123358 0 0 0 67695 311 0 0 25 0 1 0 693412386 117006336 27702 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28566 27702 1111 63 0 28503 0
vsize: 114264
[startup+690.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 125715 0 0 0 68688 318 0 0 25 0 1 0 693412386 117391360 27796 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28660 27796 1111 63 0 28597 0
vsize: 114640
[startup+700.031 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 125715 0 0 0 69688 318 0 0 25 0 1 0 693412386 117391360 27796 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28660 27796 1111 63 0 28597 0
vsize: 114640
[startup+710.032 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 125715 0 0 0 70688 318 0 0 25 0 1 0 693412386 117391360 27796 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28660 27796 1111 63 0 28597 0
vsize: 114640
[startup+720.032 s]
Raw data (loadavg): 1.29 1.05 0.94 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 126855 0 0 0 71686 321 0 0 25 0 1 0 693412386 117391360 27796 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28660 27796 1111 63 0 28597 0
vsize: 114640
[startup+730.033 s]
Raw data (loadavg): 1.32 1.06 0.94 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 126855 0 0 0 72686 321 0 0 25 0 1 0 693412386 117391360 27796 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28660 27796 1111 63 0 28597 0
vsize: 114640
[startup+740.035 s]
Raw data (loadavg): 1.27 1.06 0.94 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 126855 0 0 0 73686 321 0 0 25 0 1 0 693412386 117391360 27796 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28660 27796 1111 63 0 28597 0
vsize: 114640
[startup+750.034 s]
Raw data (loadavg): 1.47 1.11 0.96 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 128317 0 0 0 74682 325 0 0 25 0 1 0 693412386 117391360 27796 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28660 27796 1111 63 0 28597 0
vsize: 114640
[startup+760.034 s]
Raw data (loadavg): 1.47 1.12 0.96 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 128317 0 0 0 75683 325 0 0 25 0 1 0 693412386 117391360 27796 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28660 27796 1111 63 0 28597 0
vsize: 114640
[startup+770.035 s]
Raw data (loadavg): 1.40 1.12 0.96 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 128317 0 0 0 76683 325 0 0 25 0 1 0 693412386 117391360 27796 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28660 27796 1111 63 0 28597 0
vsize: 114640
[startup+780.036 s]
Raw data (loadavg): 1.33 1.11 0.96 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 129811 0 0 0 77679 329 0 0 25 0 1 0 693412386 117391360 27796 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28660 27796 1111 63 0 28597 0
vsize: 114640
[startup+790.036 s]
Raw data (loadavg): 1.28 1.11 0.96 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 129811 0 0 0 78679 329 0 0 25 0 1 0 693412386 117391360 27796 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28660 27796 1111 63 0 28597 0
vsize: 114640
[startup+800.036 s]
Raw data (loadavg): 1.24 1.10 0.96 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 129811 0 0 0 79679 329 0 0 25 0 1 0 693412386 117391360 27796 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28660 27796 1111 63 0 28597 0
vsize: 114640
[startup+810.037 s]
Raw data (loadavg): 1.20 1.10 0.96 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 131087 0 0 0 80676 333 0 0 25 0 1 0 693412386 117391360 27796 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28660 27796 1111 63 0 28597 0
vsize: 114640
[startup+820.037 s]
Raw data (loadavg): 1.17 1.10 0.96 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 139641 0 0 0 81656 353 0 0 25 0 1 0 693412386 117391360 27796 4294967295 134512640 134714508 3221221792 3221220216 1077377899 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28660 27796 1111 63 0 28597 0
vsize: 114640
[startup+830.038 s]
Raw data (loadavg): 1.14 1.09 0.96 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 143694 0 0 0 82645 364 0 0 25 0 1 0 693412386 117391360 27796 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28660 27796 1111 63 0 28597 0
vsize: 114640
[startup+840.039 s]
Raw data (loadavg): 1.12 1.09 0.96 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 148143 0 0 0 83633 376 0 0 25 0 1 0 693412386 117391360 27796 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28660 27796 1111 63 0 28597 0
vsize: 114640
[startup+850.039 s]
Raw data (loadavg): 1.10 1.08 0.96 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 156264 0 0 0 84612 397 0 0 25 0 1 0 693412386 117391360 27796 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28660 27796 1111 63 0 28597 0
vsize: 114640
[startup+860.039 s]
Raw data (loadavg): 1.09 1.08 0.96 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 163201 0 0 0 85596 414 0 0 25 0 1 0 693412386 117391360 27796 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28660 27796 1111 63 0 28597 0
vsize: 114640
[startup+870.039 s]
Raw data (loadavg): 1.07 1.08 0.96 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 170426 0 0 0 86578 431 0 0 25 0 1 0 693412386 117391360 27796 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28660 27796 1111 63 0 28597 0
vsize: 114640
[startup+880.039 s]
Raw data (loadavg): 1.06 1.08 0.96 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 180885 0 0 0 87552 458 0 0 25 0 1 0 693412386 117391360 27796 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28660 27796 1111 63 0 28597 0
vsize: 114640
[startup+890.04 s]
Raw data (loadavg): 1.05 1.07 0.96 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 187721 0 0 0 88536 474 0 0 25 0 1 0 693412386 118263808 28009 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28873 28009 1111 63 0 28810 0
vsize: 115492
[startup+900.039 s]
Raw data (loadavg): 1.04 1.07 0.96 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 188327 0 0 0 89534 476 0 0 25 0 1 0 693412386 118263808 28009 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28873 28009 1111 63 0 28810 0
vsize: 115492
[startup+910.039 s]
Raw data (loadavg): 1.04 1.07 0.96 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 192123 0 0 0 90524 486 0 0 25 0 1 0 693412386 118263808 28009 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28873 28009 1111 63 0 28810 0
vsize: 115492
[startup+920.039 s]
Raw data (loadavg): 1.03 1.06 0.96 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 194881 0 0 0 91519 492 0 0 25 0 1 0 693412386 118263808 28009 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28873 28009 1111 63 0 28810 0
vsize: 115492
[startup+930.04 s]
Raw data (loadavg): 1.02 1.06 0.96 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 198265 0 0 0 92512 499 0 0 25 0 1 0 693412386 118263808 28009 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28873 28009 1111 63 0 28810 0
vsize: 115492
[startup+940.04 s]
Raw data (loadavg): 1.02 1.06 0.96 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 203240 0 0 0 93500 511 0 0 25 0 1 0 693412386 118448128 28054 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28918 28054 1111 63 0 28855 0
vsize: 115672
[startup+950.041 s]
Raw data (loadavg): 1.02 1.06 0.96 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 206474 0 0 0 94492 519 0 0 25 0 1 0 693412386 118448128 28054 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28918 28054 1111 63 0 28855 0
vsize: 115672
[startup+960.041 s]
Raw data (loadavg): 1.01 1.05 0.96 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 210248 0 0 0 95482 529 0 0 25 0 1 0 693412386 118448128 28054 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28918 28054 1111 63 0 28855 0
vsize: 115672
[startup+970.041 s]
Raw data (loadavg): 1.01 1.05 0.96 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 216710 0 0 0 96467 544 0 0 25 0 1 0 693412386 118448128 28054 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28918 28054 1111 63 0 28855 0
vsize: 115672
[startup+980.042 s]
Raw data (loadavg): 1.01 1.05 0.96 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 222422 0 0 0 97454 558 0 0 25 0 1 0 693412386 118448128 28054 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28918 28054 1111 63 0 28855 0
vsize: 115672
[startup+990.043 s]
Raw data (loadavg): 1.01 1.05 0.96 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 228278 0 0 0 98438 574 0 0 25 0 1 0 693412386 118448128 28054 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28918 28054 1111 63 0 28855 0
vsize: 115672
[startup+1000.04 s]
Raw data (loadavg): 1.01 1.05 0.96 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 236234 0 0 0 99419 593 0 0 25 0 1 0 693412386 118448128 28054 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28918 28054 1111 63 0 28855 0
vsize: 115672
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.04 0.96 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 243699 0 0 0 100400 612 0 0 25 0 1 0 693412386 118448128 28054 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28918 28054 1111 63 0 28855 0
vsize: 115672
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.04 0.96 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 250291 0 0 0 101386 627 0 0 25 0 1 0 693412386 118886400 28161 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29025 28161 1111 63 0 28962 0
vsize: 116100
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.04 0.96 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 258137 0 0 0 102367 646 0 0 25 0 1 0 693412386 118886400 28161 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29025 28161 1111 63 0 28962 0
vsize: 116100
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.04 0.96 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 263893 0 0 0 103353 659 0 0 25 0 1 0 693412386 118886400 28161 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29025 28161 1111 63 0 28962 0
vsize: 116100
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.04 0.96 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 269961 0 0 0 104339 674 0 0 25 0 1 0 693412386 118886400 28161 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29025 28161 1111 63 0 28962 0
vsize: 116100
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.04 0.96 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 278365 0 0 0 105320 693 0 0 25 0 1 0 693412386 118886400 28161 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29025 28161 1111 63 0 28962 0
vsize: 116100
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.03 0.96 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 287009 0 0 0 106299 714 0 0 25 0 1 0 693412386 119934976 28391 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29281 28391 1111 63 0 29218 0
vsize: 117124
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.03 0.96 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 287015 0 0 0 107300 714 0 0 25 0 1 0 693412386 119934976 28397 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29281 28397 1111 63 0 29218 0
vsize: 117124
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.03 0.96 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 287274 0 0 0 108299 715 0 0 25 0 1 0 693412386 119934976 28417 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29281 28417 1111 63 0 29218 0
vsize: 117124
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.03 0.96 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 290419 0 0 0 109290 724 0 0 25 0 1 0 693412386 119934976 28417 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29281 28417 1111 63 0 29218 0
vsize: 117124
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.03 0.96 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 292239 0 0 0 110285 729 0 0 25 0 1 0 693412386 119934976 28417 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29281 28417 1111 63 0 29218 0
vsize: 117124
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.03 0.96 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 294465 0 0 0 111280 735 0 0 25 0 1 0 693412386 119934976 28417 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29281 28417 1111 63 0 29218 0
vsize: 117124
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.03 0.96 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 299408 0 0 0 112267 748 0 0 25 0 1 0 693412386 119934976 28417 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29281 28417 1111 63 0 29218 0
vsize: 117124
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.02 0.96 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 302952 0 0 0 113258 757 0 0 25 0 1 0 693412386 119934976 28417 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29281 28417 1111 63 0 29218 0
vsize: 117124
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.02 0.96 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 303788 0 0 0 114256 759 0 0 25 0 1 0 693412386 120393728 28517 4294967295 134512640 134714508 3221221792 3221220500 134618239 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29393 28517 1111 63 0 29330 0
vsize: 117572
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.02 0.96 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 305831 0 0 0 115251 764 0 0 25 0 1 0 693412386 122564608 29059 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29923 29059 1111 63 0 29860 0
vsize: 119692
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.02 0.96 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 305831 0 0 0 116251 764 0 0 25 0 1 0 693412386 122564608 29059 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29923 29059 1111 63 0 29860 0
vsize: 119692
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.02 0.96 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 305831 0 0 0 117252 764 0 0 25 0 1 0 693412386 122564608 29059 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29923 29059 1111 63 0 29860 0
vsize: 119692
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.02 0.96 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 305831 0 0 0 118252 764 0 0 25 0 1 0 693412386 122564608 29059 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29923 29059 1111 63 0 29860 0
vsize: 119692
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.02 0.96 2/54 16497
Raw data (stat): 16497 (bsolo_lpr) R 16496 7876 7672 0 -1 0 305831 0 0 0 119252 764 0 0 25 0 1 0 693412386 122564608 29059 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29923 29059 1111 63 0 29860 0
vsize: 119692
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.02 0.96 1/54 16497
Raw data (stat): 16497 (bsolo_lpr) Z 16496 7876 7672 0 -1 1036 305831 0 0 0 119252 769 0 0 25 0 1 0 693412386 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.11
CPU time (s): 1200.23
CPU user time (s): 1192.53
CPU system time (s): 7.69983
CPU usage (%): 100.01
Max. virtual memory (Kb): 119692
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####