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/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship04l.opb
MD5SUM	2c68ccb202caa7ec35d2be2cf2e849d9
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	63540
Biggest coefficient in the objective function	1977295568896000
Number of bits for the biggest coefficient in the objective function	51
Sum of the numbers in the objective function	435915316225983825
Number of bits of the sum of numbers in the objective function	59
Biggest number in a constraint	1977295568896000
Number of bits of the biggest number in a constraint	51
Biggest sum of numbers in a constraint	435915316225983825
Number of bits of the biggest sum of numbers	59
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.556914
Number of variables	63540
Total number of constraints	352
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	352
Minimum length of a constraint	30
Maximum length of a constraint	2520
Trace number 28889

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-05-25 04:05:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11402 boxname=wulflinc29 idbench=878 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  2c68ccb202caa7ec35d2be2cf2e849d9  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-ship04l.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-ship04l.opb
IDLAUNCH: 11402
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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.020
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        782780 kB
Buffers:         22440 kB
Cached:         203360 kB
SwapCached:        572 kB
Active:          33820 kB
Inactive:       197532 kB
HighTotal:      131008 kB
HighFree:        52080 kB
LowTotal:       903652 kB
LowFree:        730700 kB
SwapTotal:     2097892 kB
SwapFree:      2096728 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            14548 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 04:25:15 (client local time) WITH STATUS 0 IN 1200.36 SECONDS
stats: 11402 7 1200.36 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### 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.82 0.94 0.90 2/54 28571
Raw data (stat): 28571 (runsolver) R 28570 20001 20000 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 835856215 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0001 s]
Raw data (loadavg): 0.85 0.94 0.90 2/54 28571
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 1008 0 0 0 994 4 0 0 25 0 1 0 835856215 15663104 932 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3824 932 1111 63 0 3761 0
vsize: 15296
[startup+20.0008 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 28571
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 1142 0 0 0 1994 4 0 0 25 0 1 0 835856215 16236544 1066 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3964 1066 1111 63 0 3901 0
vsize: 15856
[startup+30.0019 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 1303 0 0 0 2994 4 0 0 25 0 1 0 835856215 16838656 1227 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4111 1227 1111 63 0 4048 0
vsize: 16444
[startup+40.0024 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 1453 0 0 0 3994 4 0 0 25 0 1 0 835856215 17420288 1377 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4253 1377 1111 63 0 4190 0
vsize: 17012
[startup+50.0021 s]
Raw data (loadavg): 0.92 0.95 0.90 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 1614 0 0 0 4994 5 0 0 25 0 1 0 835856215 18145280 1538 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4430 1538 1111 63 0 4367 0
vsize: 17720
[startup+60.0023 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 1769 0 0 0 5993 5 0 0 25 0 1 0 835856215 18747392 1693 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4577 1693 1111 63 0 4514 0
vsize: 18308
[startup+70.0017 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 1928 0 0 0 6993 6 0 0 25 0 1 0 835856215 19341312 1852 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4722 1852 1111 63 0 4659 0
vsize: 18888
[startup+80.0025 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 2091 0 0 0 7993 6 0 0 25 0 1 0 835856215 20094976 2015 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4906 2015 1111 63 0 4843 0
vsize: 19624
[startup+90.0027 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 2252 0 0 0 8993 6 0 0 25 0 1 0 835856215 20697088 2176 4294967295 134512640 134714508 3221224592 3221222820 1077414347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5053 2176 1111 63 0 4990 0
vsize: 20212
[startup+100.002 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 2408 0 0 0 9993 7 0 0 25 0 1 0 835856215 21295104 2332 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5199 2332 1111 63 0 5136 0
vsize: 20796
[startup+110.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 2568 0 0 0 10993 7 0 0 25 0 1 0 835856215 22048768 2492 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5383 2492 1111 63 0 5320 0
vsize: 21532
[startup+120.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 2730 0 0 0 11992 7 0 0 25 0 1 0 835856215 22650880 2654 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5530 2654 1111 63 0 5467 0
vsize: 22120
[startup+130.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 2892 0 0 0 12992 8 0 0 25 0 1 0 835856215 23400448 2816 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5713 2816 1111 63 0 5650 0
vsize: 22852
[startup+140.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 3053 0 0 0 13993 8 0 0 25 0 1 0 835856215 23994368 2977 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5858 2977 1111 63 0 5795 0
vsize: 23432
[startup+150.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 3215 0 0 0 14992 8 0 0 25 0 1 0 835856215 24743936 3139 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6041 3139 1111 63 0 5978 0
vsize: 24164
[startup+160.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 3379 0 0 0 15992 8 0 0 25 0 1 0 835856215 25350144 3303 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6189 3303 1111 63 0 6126 0
vsize: 24756
[startup+170.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 3548 0 0 0 16992 8 0 0 25 0 1 0 835856215 26103808 3472 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6373 3472 1111 63 0 6310 0
vsize: 25492
[startup+180.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 3715 0 0 0 17992 9 0 0 25 0 1 0 835856215 26701824 3639 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6519 3639 1111 63 0 6456 0
vsize: 26076
[startup+190.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 3879 0 0 0 18992 9 0 0 25 0 1 0 835856215 27426816 3803 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6696 3803 1111 63 0 6633 0
vsize: 26784
[startup+200.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 4042 0 0 0 19992 10 0 0 25 0 1 0 835856215 28028928 3966 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6843 3966 1111 63 0 6780 0
vsize: 27372
[startup+210.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 4205 0 0 0 20992 10 0 0 25 0 1 0 835856215 28782592 4129 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7027 4129 1111 63 0 6964 0
vsize: 28108
[startup+220.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 4379 0 0 0 21991 11 0 0 25 0 1 0 835856215 29380608 4303 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7173 4303 1111 63 0 7110 0
vsize: 28692
[startup+230.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 4543 0 0 0 22991 11 0 0 25 0 1 0 835856215 30134272 4467 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7357 4467 1111 63 0 7294 0
vsize: 29428
[startup+240.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 4718 0 0 0 23991 12 0 0 25 0 1 0 835856215 30887936 4642 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7541 4642 1111 63 0 7478 0
vsize: 30164
[startup+250.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 4893 0 0 0 24990 12 0 0 25 0 1 0 835856215 31526912 4817 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7697 4817 1111 63 0 7634 0
vsize: 30788
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 5067 0 0 0 25990 13 0 0 25 0 1 0 835856215 32276480 4991 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7880 4991 1111 63 0 7817 0
vsize: 31520
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 5237 0 0 0 26990 13 0 0 25 0 1 0 835856215 33030144 5161 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8064 5161 1111 63 0 8001 0
vsize: 32256
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 5409 0 0 0 27990 13 0 0 25 0 1 0 835856215 33632256 5333 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8211 5333 1111 63 0 8148 0
vsize: 32844
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 5585 0 0 0 28989 14 0 0 25 0 1 0 835856215 34390016 5509 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8396 5509 1111 63 0 8333 0
vsize: 33584
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 5763 0 0 0 29989 14 0 0 25 0 1 0 835856215 35139584 5687 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8579 5687 1111 63 0 8516 0
vsize: 34316
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 5938 0 0 0 30989 15 0 0 25 0 1 0 835856215 35889152 5862 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8762 5862 1111 63 0 8699 0
vsize: 35048
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 6115 0 0 0 31988 15 0 0 25 0 1 0 835856215 36642816 6039 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8946 6039 1111 63 0 8883 0
vsize: 35784
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 6292 0 0 0 32988 15 0 0 25 0 1 0 835856215 37244928 6216 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9093 6216 1111 63 0 9030 0
vsize: 36372
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 6470 0 0 0 33988 16 0 0 25 0 1 0 835856215 37998592 6394 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9277 6394 1111 63 0 9214 0
vsize: 37108
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 6647 0 0 0 34988 16 0 0 25 0 1 0 835856215 38752256 6571 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9461 6571 1111 63 0 9398 0
vsize: 37844
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 6825 0 0 0 35988 17 0 0 25 0 1 0 835856215 39501824 6749 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9644 6749 1111 63 0 9581 0
vsize: 38576
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 7002 0 0 0 36988 17 0 0 25 0 1 0 835856215 40251392 6926 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9827 6926 1111 63 0 9764 0
vsize: 39308
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 7185 0 0 0 37988 17 0 0 25 0 1 0 835856215 41009152 7109 4294967295 134512640 134714508 3221224592 3221222872 1077360305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10012 7109 1111 63 0 9949 0
vsize: 40048
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 7370 0 0 0 38987 18 0 0 25 0 1 0 835856215 41758720 7294 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10195 7294 1111 63 0 10132 0
vsize: 40780
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 7548 0 0 0 39987 18 0 0 25 0 1 0 835856215 42356736 7472 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10341 7472 1111 63 0 10278 0
vsize: 41364
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 7723 0 0 0 40987 18 0 0 25 0 1 0 835856215 43081728 7647 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10518 7647 1111 63 0 10455 0
vsize: 42072
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 7909 0 0 0 41987 19 0 0 25 0 1 0 835856215 43835392 7833 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10702 7833 1111 63 0 10639 0
vsize: 42808
[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 8092 0 0 0 42987 19 0 0 25 0 1 0 835856215 44589056 8016 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10886 8016 1111 63 0 10823 0
vsize: 43544
[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 8270 0 0 0 43987 19 0 0 25 0 1 0 835856215 45342720 8194 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11070 8194 1111 63 0 11007 0
vsize: 44280
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 8461 0 0 0 44987 19 0 0 25 0 1 0 835856215 46096384 8385 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11254 8385 1111 63 0 11191 0
vsize: 45016
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 8645 0 0 0 45987 20 0 0 25 0 1 0 835856215 46845952 8569 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11437 8569 1111 63 0 11374 0
vsize: 45748
[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 8854 0 0 0 46987 20 0 0 25 0 1 0 835856215 47849472 8778 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11682 8778 1111 63 0 11619 0
vsize: 46728
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 9045 0 0 0 47987 21 0 0 25 0 1 0 835856215 48603136 8969 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11866 8969 1111 63 0 11803 0
vsize: 47464
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 9237 0 0 0 48986 21 0 0 25 0 1 0 835856215 49475584 9161 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12079 9161 1111 63 0 12016 0
vsize: 48316
[startup+500.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 9436 0 0 0 49986 22 0 0 25 0 1 0 835856215 50229248 9360 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12263 9360 1111 63 0 12200 0
vsize: 49052
[startup+510.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 9628 0 0 0 50986 22 0 0 25 0 1 0 835856215 51101696 9552 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12476 9552 1111 63 0 12413 0
vsize: 49904
[startup+520.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 9822 0 0 0 51986 23 0 0 25 0 1 0 835856215 51855360 9746 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12660 9746 1111 63 0 12597 0
vsize: 50640
[startup+530.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 10027 0 0 0 52987 23 0 0 25 0 1 0 835856215 52609024 9951 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12844 9951 1111 63 0 12781 0
vsize: 51376
[startup+540.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 10220 0 0 0 53987 23 0 0 25 0 1 0 835856215 53510144 10144 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13064 10144 1111 63 0 13001 0
vsize: 52256
[startup+550.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 10426 0 0 0 54986 24 0 0 25 0 1 0 835856215 54259712 10350 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13247 10350 1111 63 0 13184 0
vsize: 52988
[startup+560.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 10623 0 0 0 55985 25 0 0 25 0 1 0 835856215 55164928 10547 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13468 10547 1111 63 0 13405 0
vsize: 53872
[startup+570.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 10824 0 0 0 56985 25 0 0 25 0 1 0 835856215 55914496 10748 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13651 10748 1111 63 0 13588 0
vsize: 54604
[startup+580.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 11029 0 0 0 57985 25 0 0 25 0 1 0 835856215 56819712 10953 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13872 10953 1111 63 0 13809 0
vsize: 55488
[startup+590.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 11236 0 0 0 58985 25 0 0 25 0 1 0 835856215 57573376 11160 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14056 11160 1111 63 0 13993 0
vsize: 56224
[startup+600.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 11443 0 0 0 59985 25 0 0 25 0 1 0 835856215 58478592 11367 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14277 11367 1111 63 0 14214 0
vsize: 57108
[startup+610.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 11649 0 0 0 60985 25 0 0 25 0 1 0 835856215 59228160 11573 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14460 11573 1111 63 0 14397 0
vsize: 57840
[startup+620.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 11857 0 0 0 61985 26 0 0 25 0 1 0 835856215 60133376 11781 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14681 11781 1111 63 0 14618 0
vsize: 58724
[startup+630.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 12063 0 0 0 62985 26 0 0 25 0 1 0 835856215 61034496 11987 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14901 11987 1111 63 0 14838 0
vsize: 59604
[startup+640.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 12278 0 0 0 63984 27 0 0 25 0 1 0 835856215 61792256 12202 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15086 12202 1111 63 0 15023 0
vsize: 60344
[startup+650.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 12491 0 0 0 64985 27 0 0 25 0 1 0 835856215 62693376 12415 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15306 12415 1111 63 0 15243 0
vsize: 61224
[startup+660.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 12705 0 0 0 65985 28 0 0 25 0 1 0 835856215 63598592 12629 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15527 12629 1111 63 0 15464 0
vsize: 62108
[startup+670.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 12920 0 0 0 66985 28 0 0 25 0 1 0 835856215 64499712 12844 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15747 12844 1111 63 0 15684 0
vsize: 62988
[startup+680.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 13141 0 0 0 67985 28 0 0 25 0 1 0 835856215 65400832 13065 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15967 13065 1111 63 0 15904 0
vsize: 63868
[startup+690.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 13363 0 0 0 68984 29 0 0 25 0 1 0 835856215 66306048 13287 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16188 13287 1111 63 0 16125 0
vsize: 64752
[startup+700.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 13584 0 0 0 69985 29 0 0 25 0 1 0 835856215 67207168 13508 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16408 13508 1111 63 0 16345 0
vsize: 65632
[startup+710.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 13806 0 0 0 70985 30 0 0 25 0 1 0 835856215 68112384 13730 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16629 13730 1111 63 0 16566 0
vsize: 66516
[startup+720.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 14034 0 0 0 71984 30 0 0 25 0 1 0 835856215 69013504 13958 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16849 13958 1111 63 0 16786 0
vsize: 67396
[startup+730.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 14263 0 0 0 72984 31 0 0 25 0 1 0 835856215 69918720 14187 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17070 14187 1111 63 0 17007 0
vsize: 68280
[startup+740.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 14491 0 0 0 73984 31 0 0 25 0 1 0 835856215 70819840 14415 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17290 14415 1111 63 0 17227 0
vsize: 69160
[startup+750.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 14720 0 0 0 74983 31 0 0 25 0 1 0 835856215 71872512 14644 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17547 14644 1111 63 0 17484 0
vsize: 70188
[startup+760.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 14949 0 0 0 75983 32 0 0 25 0 1 0 835856215 72773632 14873 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17767 14873 1111 63 0 17704 0
vsize: 71068
[startup+770.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 15178 0 0 0 76982 33 0 0 25 0 1 0 835856215 73650176 15102 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17981 15102 1111 63 0 17918 0
vsize: 71924
[startup+780.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 15413 0 0 0 77982 33 0 0 25 0 1 0 835856215 74698752 15337 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18237 15337 1111 63 0 18174 0
vsize: 72948
[startup+790.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 15648 0 0 0 78982 33 0 0 25 0 1 0 835856215 75603968 15572 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18458 15572 1111 63 0 18395 0
vsize: 73832
[startup+800.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 15885 0 0 0 79982 34 0 0 25 0 1 0 835856215 76505088 15809 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18678 15809 1111 63 0 18615 0
vsize: 74712
[startup+810.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 16121 0 0 0 80982 34 0 0 25 0 1 0 835856215 77561856 16045 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18936 16045 1111 63 0 18873 0
vsize: 75744
[startup+820.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 16369 0 0 0 81981 35 0 0 25 0 1 0 835856215 78610432 16293 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19192 16293 1111 63 0 19129 0
vsize: 76768
[startup+830.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 16613 0 0 0 82981 35 0 0 25 0 1 0 835856215 79515648 16537 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19413 16537 1111 63 0 19350 0
vsize: 77652
[startup+840.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 16904 0 0 0 83981 36 0 0 25 0 1 0 835856215 80924672 16828 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19757 16828 1111 63 0 19694 0
vsize: 79028
[startup+850.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 17155 0 0 0 84980 36 0 0 25 0 1 0 835856215 81952768 17079 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 17079 1111 63 0 19945 0
vsize: 80032
[startup+860.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 17413 0 0 0 85981 37 0 0 25 0 1 0 835856215 83009536 17337 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20266 17337 1111 63 0 20203 0
vsize: 81064
[startup+870.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 17673 0 0 0 86980 37 0 0 25 0 1 0 835856215 84058112 17597 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20522 17597 1111 63 0 20459 0
vsize: 82088
[startup+880.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 17936 0 0 0 87980 38 0 0 25 0 1 0 835856215 85262336 17860 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20816 17860 1111 63 0 20753 0
vsize: 83264
[startup+890.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 18203 0 0 0 88981 39 0 0 25 0 1 0 835856215 86315008 18127 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21073 18127 1111 63 0 21010 0
vsize: 84292
[startup+900.094 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 18469 0 0 0 89982 39 0 0 25 0 1 0 835856215 87371776 18393 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21331 18393 1111 63 0 21268 0
vsize: 85324
[startup+910.094 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 18742 0 0 0 90982 40 0 0 25 0 1 0 835856215 88428544 18666 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21589 18666 1111 63 0 21526 0
vsize: 86356
[startup+920.094 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 19014 0 0 0 91982 40 0 0 25 0 1 0 835856215 89628672 18938 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21882 18938 1111 63 0 21819 0
vsize: 87528
[startup+930.093 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 19294 0 0 0 92982 40 0 0 25 0 1 0 835856215 90800128 19218 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22168 19218 1111 63 0 22105 0
vsize: 88672
[startup+940.093 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 19576 0 0 0 93981 41 0 0 25 0 1 0 835856215 91852800 19500 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22425 19500 1111 63 0 22362 0
vsize: 89700
[startup+950.093 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 19870 0 0 0 94980 42 0 0 25 0 1 0 835856215 93061120 19794 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22720 19794 1111 63 0 22657 0
vsize: 90880
[startup+960.098 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 20159 0 0 0 95980 43 0 0 25 0 1 0 835856215 94261248 20083 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23013 20083 1111 63 0 22950 0
vsize: 92052
[startup+970.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 20454 0 0 0 96980 43 0 0 25 0 1 0 835856215 95465472 20378 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23307 20378 1111 63 0 23244 0
vsize: 93228
[startup+980.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 20757 0 0 0 97980 43 0 0 25 0 1 0 835856215 96673792 20681 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23602 20681 1111 63 0 23539 0
vsize: 94408
[startup+990.103 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 21072 0 0 0 98979 44 0 0 25 0 1 0 835856215 98021376 20996 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23931 20996 1111 63 0 23868 0
vsize: 95724
[startup+1000.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 21405 0 0 0 99979 45 0 0 25 0 1 0 835856215 99381248 21329 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24263 21329 1111 63 0 24200 0
vsize: 97052
[startup+1010.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 21736 0 0 0 100978 46 0 0 25 0 1 0 835856215 100732928 21660 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24593 21660 1111 63 0 24530 0
vsize: 98372
[startup+1020.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 22089 0 0 0 101978 47 0 0 25 0 1 0 835856215 102092800 22013 4294967295 134512640 134714508 3221224592 3221221084 1077359240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24925 22013 1111 63 0 24862 0
vsize: 99700
[startup+1030.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 22459 0 0 0 102977 47 0 0 25 0 1 0 835856215 103591936 22383 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25291 22383 1111 63 0 25228 0
vsize: 101164
[startup+1040.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 22849 0 0 0 103977 48 0 0 25 0 1 0 835856215 105246720 22773 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25695 22773 1111 63 0 25632 0
vsize: 102780
[startup+1050.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 23249 0 0 0 104976 49 0 0 25 0 1 0 835856215 106905600 23173 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26100 23173 1111 63 0 26037 0
vsize: 104400
[startup+1060.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 23656 0 0 0 105975 50 0 0 25 0 1 0 835856215 108560384 23580 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26504 23580 1111 63 0 26441 0
vsize: 106016
[startup+1070.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 24075 0 0 0 106974 51 0 0 25 0 1 0 835856215 110219264 23999 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26909 23999 1111 63 0 26846 0
vsize: 107636
[startup+1080.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 24495 0 0 0 107973 52 0 0 25 0 1 0 835856215 112025600 24419 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27350 24419 1111 63 0 27287 0
vsize: 109400
[startup+1090.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 24923 0 0 0 108972 53 0 0 25 0 1 0 835856215 113680384 24847 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27754 24847 1111 63 0 27691 0
vsize: 111016
[startup+1100.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 25359 0 0 0 109972 54 0 0 25 0 1 0 835856215 115486720 25283 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28195 25283 1111 63 0 28132 0
vsize: 112780
[startup+1110.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 25802 0 0 0 110970 56 0 0 25 0 1 0 835856215 117293056 25726 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28636 25726 1111 63 0 28573 0
vsize: 114544
[startup+1120.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 26246 0 0 0 111970 56 0 0 25 0 1 0 835856215 119099392 26170 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29077 26170 1111 63 0 29014 0
vsize: 116308
[startup+1130.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 26703 0 0 0 112970 57 0 0 25 0 1 0 835856215 120897536 26627 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29516 26627 1111 63 0 29453 0
vsize: 118064
[startup+1140.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 27168 0 0 0 113969 58 0 0 25 0 1 0 835856215 122830848 27092 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29988 27092 1111 63 0 29925 0
vsize: 119952
[startup+1150.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 27640 0 0 0 114969 58 0 0 25 0 1 0 835856215 124788736 27564 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30466 27564 1111 63 0 30403 0
vsize: 121864
[startup+1160.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 28119 0 0 0 115969 58 0 0 25 0 1 0 835856215 126742528 28043 4294967295 134512640 134714508 3221224592 3221222944 134566799 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30943 28043 1111 63 0 30880 0
vsize: 123772
[startup+1170.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 28612 0 0 0 116969 59 0 0 25 0 1 0 835856215 128696320 28536 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31420 28536 1111 63 0 31357 0
vsize: 125680
[startup+1180.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 29115 0 0 0 117968 61 0 0 25 0 1 0 835856215 130801664 29039 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31934 29039 1111 63 0 31871 0
vsize: 127736
[startup+1190.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 29624 0 0 0 118967 62 0 0 25 0 1 0 835856215 132915200 29548 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32450 29548 1111 63 0 32387 0
vsize: 129800
[startup+1200.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28573
Raw data (stat): 28571 (bsolo_lpr) R 28570 20001 20000 0 -1 0 30154 0 0 0 119965 63 0 0 25 0 1 0 835856215 135020544 30078 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32964 30078 1111 63 0 32901 0
vsize: 131856
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.26 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 28573
Raw data (stat): 28571 (bsolo_lpr) Z 28570 20001 20000 0 -1 1036 30154 0 0 0 119966 69 0 0 24 0 1 0 835856215 0 0 4294967295 0 0 0 0 0 0 0 7 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.26
CPU time (s): 1200.36
CPU user time (s): 1199.66
CPU system time (s): 0.694894
CPU usage (%): 100.008
Max. virtual memory (Kb): 131856
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####