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-scsd8.opb
MD5SUM	63dde7c8c3b02bd89e3e065c5bd58b69
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	82500
Biggest coefficient in the objective function	221357547985043456
Number of bits for the biggest coefficient in the objective function	58
Sum of the numbers in the objective function	595796164546237562880
Number of bits of the sum of numbers in the objective function	70
Biggest number in a constraint	221357547985043456
Number of bits of the biggest number in a constraint	58
Biggest sum of numbers in a constraint	595796164546237562880
Number of bits of the biggest sum of numbers	70
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.744886
Number of variables	82500
Total number of constraints	397
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	397
Minimum length of a constraint	300
Maximum length of a constraint	720
Trace number 28928

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-05-25 04:12:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11298 boxname=wulflinc30 idbench=870 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  63dde7c8c3b02bd89e3e065c5bd58b69  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-scsd8.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-scsd8.opb
IDLAUNCH: 11298
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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:        781836 kB
Buffers:         31120 kB
Cached:         197732 kB
SwapCached:        716 kB
Active:          55968 kB
Inactive:       175000 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        781584 kB
SwapTotal:     2097892 kB
SwapFree:      2096344 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5016 kB
Slab:            16164 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 04:32:08 (client local time) WITH STATUS 0 IN 1200.32 SECONDS
stats: 11298 7 1200.32 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.93 0.97 0.91 2/54 32708
Raw data (stat): 32708 (runsolver) R 32707 22056 22055 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 835897147 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 1142 0 0 0 984 4 0 0 25 0 1 0 835897147 15364096 1066 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3751 1066 1111 63 0 3688 0
vsize: 15004
[startup+20.0093 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 1186 0 0 0 1984 4 0 0 25 0 1 0 835897147 15511552 1110 4294967295 134512640 134714508 3221224592 3221222820 1077414418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3787 1110 1111 63 0 3724 0
vsize: 15148
[startup+30.0092 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 1231 0 0 0 2985 4 0 0 25 0 1 0 835897147 15663104 1155 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3824 1155 1111 63 0 3761 0
vsize: 15296
[startup+40.0095 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 1319 0 0 0 3985 5 0 0 25 0 1 0 835897147 16089088 1243 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3928 1243 1111 63 0 3865 0
vsize: 15712
[startup+50.0096 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 1378 0 0 0 4985 5 0 0 25 0 1 0 835897147 16236544 1302 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3964 1302 1111 63 0 3901 0
vsize: 15856
[startup+60.0104 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 1429 0 0 0 5985 5 0 0 25 0 1 0 835897147 16535552 1353 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4037 1353 1111 63 0 3974 0
vsize: 16148
[startup+70.0102 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 1496 0 0 0 6985 5 0 0 25 0 1 0 835897147 16838656 1420 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4111 1420 1111 63 0 4048 0
vsize: 16444
[startup+80.01 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 1576 0 0 0 7985 5 0 0 25 0 1 0 835897147 17137664 1500 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4184 1500 1111 63 0 4121 0
vsize: 16736
[startup+90.0098 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 1631 0 0 0 8985 5 0 0 25 0 1 0 835897147 17272832 1555 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4217 1555 1111 63 0 4154 0
vsize: 16868
[startup+100.009 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 1706 0 0 0 9985 5 0 0 25 0 1 0 835897147 17702912 1630 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4322 1630 1111 63 0 4259 0
vsize: 17288
[startup+110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 1778 0 0 0 10985 5 0 0 25 0 1 0 835897147 17993728 1702 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4393 1702 1111 63 0 4330 0
vsize: 17572
[startup+120.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 1843 0 0 0 11985 6 0 0 25 0 1 0 835897147 18145280 1767 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4430 1767 1111 63 0 4367 0
vsize: 17720
[startup+130.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 1924 0 0 0 12985 6 0 0 25 0 1 0 835897147 18591744 1848 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4539 1848 1111 63 0 4476 0
vsize: 18156
[startup+140.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 1998 0 0 0 13985 6 0 0 25 0 1 0 835897147 18894848 1922 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4613 1922 1111 63 0 4550 0
vsize: 18452
[startup+150.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 2091 0 0 0 14985 6 0 0 25 0 1 0 835897147 19193856 2015 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4686 2015 1111 63 0 4623 0
vsize: 18744
[startup+160.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 2149 0 0 0 15985 6 0 0 25 0 1 0 835897147 19488768 2073 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4758 2073 1111 63 0 4695 0
vsize: 19032
[startup+170.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 2195 0 0 0 16985 6 0 0 25 0 1 0 835897147 19644416 2119 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4796 2119 1111 63 0 4733 0
vsize: 19184
[startup+180.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 2240 0 0 0 17985 7 0 0 25 0 1 0 835897147 19795968 2164 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4833 2164 1111 63 0 4770 0
vsize: 19332
[startup+190.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 2312 0 0 0 18986 7 0 0 25 0 1 0 835897147 20094976 2236 4294967295 134512640 134714508 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4906 2236 1111 63 0 4843 0
vsize: 19624
[startup+200.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 2401 0 0 0 19986 7 0 0 25 0 1 0 835897147 20545536 2325 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5016 2325 1111 63 0 4953 0
vsize: 20064
[startup+210.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 2446 0 0 0 20987 7 0 0 25 0 1 0 835897147 20697088 2370 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5053 2370 1111 63 0 4990 0
vsize: 20212
[startup+220.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 2504 0 0 0 21987 7 0 0 25 0 1 0 835897147 20844544 2428 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5089 2428 1111 63 0 5026 0
vsize: 20356
[startup+230.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 2577 0 0 0 22988 7 0 0 25 0 1 0 835897147 21143552 2501 4294967295 134512640 134714508 3221224592 3221223248 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5162 2501 1111 63 0 5099 0
vsize: 20648
[startup+240.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 2651 0 0 0 23988 7 0 0 25 0 1 0 835897147 21450752 2575 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5237 2575 1111 63 0 5174 0
vsize: 20948
[startup+250.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 2710 0 0 0 24988 8 0 0 25 0 1 0 835897147 21749760 2634 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5310 2634 1111 63 0 5247 0
vsize: 21240
[startup+260.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 2782 0 0 0 25988 8 0 0 25 0 1 0 835897147 22048768 2706 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5383 2706 1111 63 0 5320 0
vsize: 21532
[startup+270.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 2857 0 0 0 26988 8 0 0 25 0 1 0 835897147 22351872 2781 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5457 2781 1111 63 0 5394 0
vsize: 21828
[startup+280.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 2944 0 0 0 27988 8 0 0 25 0 1 0 835897147 22650880 2868 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5530 2868 1111 63 0 5467 0
vsize: 22120
[startup+290.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 3010 0 0 0 28988 8 0 0 25 0 1 0 835897147 22949888 2934 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5603 2934 1111 63 0 5540 0
vsize: 22412
[startup+300.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 3112 0 0 0 29991 9 0 0 25 0 1 0 835897147 23400448 3036 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5713 3036 1111 63 0 5650 0
vsize: 22852
[startup+310.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 3172 0 0 0 30991 9 0 0 25 0 1 0 835897147 23695360 3096 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5785 3096 1111 63 0 5722 0
vsize: 23140
[startup+320.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 3223 0 0 0 31991 9 0 0 25 0 1 0 835897147 23842816 3147 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5821 3147 1111 63 0 5758 0
vsize: 23284
[startup+330.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 3275 0 0 0 32991 9 0 0 25 0 1 0 835897147 24145920 3199 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5895 3199 1111 63 0 5832 0
vsize: 23580
[startup+340.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 3334 0 0 0 33991 9 0 0 25 0 1 0 835897147 24297472 3258 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5932 3258 1111 63 0 5869 0
vsize: 23728
[startup+350.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 3422 0 0 0 34991 10 0 0 25 0 1 0 835897147 24743936 3346 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6041 3346 1111 63 0 5978 0
vsize: 24164
[startup+360.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 3481 0 0 0 35991 10 0 0 25 0 1 0 835897147 24895488 3405 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6078 3405 1111 63 0 6015 0
vsize: 24312
[startup+370.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 3540 0 0 0 36991 10 0 0 25 0 1 0 835897147 25202688 3464 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6153 3464 1111 63 0 6090 0
vsize: 24612
[startup+380.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 3614 0 0 0 37990 10 0 0 25 0 1 0 835897147 25501696 3538 4294967295 134512640 134714508 3221224592 3221223248 134527935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6226 3538 1111 63 0 6163 0
vsize: 24904
[startup+390.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 3688 0 0 0 38991 10 0 0 25 0 1 0 835897147 25800704 3612 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6299 3612 1111 63 0 6236 0
vsize: 25196
[startup+400.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 3748 0 0 0 39991 10 0 0 25 0 1 0 835897147 25952256 3672 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6336 3672 1111 63 0 6273 0
vsize: 25344
[startup+410.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 3821 0 0 0 40991 11 0 0 25 0 1 0 835897147 26251264 3745 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6409 3745 1111 63 0 6346 0
vsize: 25636
[startup+420.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 3894 0 0 0 41991 11 0 0 25 0 1 0 835897147 26550272 3818 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6482 3818 1111 63 0 6419 0
vsize: 25928
[startup+430.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 3984 0 0 0 42991 11 0 0 25 0 1 0 835897147 26984448 3908 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6588 3908 1111 63 0 6525 0
vsize: 26352
[startup+440.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 4058 0 0 0 43991 11 0 0 25 0 1 0 835897147 27275264 3982 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6659 3982 1111 63 0 6596 0
vsize: 26636
[startup+450.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 4153 0 0 0 44991 11 0 0 25 0 1 0 835897147 27725824 4077 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6769 4077 1111 63 0 6706 0
vsize: 27076
[startup+460.086 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 4219 0 0 0 45992 11 0 0 25 0 1 0 835897147 27881472 4143 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6807 4143 1111 63 0 6744 0
vsize: 27228
[startup+470.093 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 4264 0 0 0 46993 11 0 0 25 0 1 0 835897147 28176384 4188 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6879 4188 1111 63 0 6816 0
vsize: 27516
[startup+480.093 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 4315 0 0 0 47993 11 0 0 25 0 1 0 835897147 28327936 4239 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6916 4239 1111 63 0 6853 0
vsize: 27664
[startup+490.094 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 4389 0 0 0 48994 11 0 0 25 0 1 0 835897147 28626944 4313 4294967295 134512640 134714508 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6989 4313 1111 63 0 6926 0
vsize: 27956
[startup+500.094 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 4470 0 0 0 49994 11 0 0 25 0 1 0 835897147 28934144 4394 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7064 4394 1111 63 0 7001 0
vsize: 28256
[startup+510.095 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 4528 0 0 0 50994 11 0 0 25 0 1 0 835897147 29233152 4452 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7137 4452 1111 63 0 7074 0
vsize: 28548
[startup+520.097 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 4588 0 0 0 51994 11 0 0 25 0 1 0 835897147 29380608 4512 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7173 4512 1111 63 0 7110 0
vsize: 28692
[startup+530.097 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 4676 0 0 0 52994 12 0 0 25 0 1 0 835897147 29835264 4600 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7284 4600 1111 63 0 7221 0
vsize: 29136
[startup+540.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 4735 0 0 0 53994 12 0 0 25 0 1 0 835897147 29982720 4659 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7320 4659 1111 63 0 7257 0
vsize: 29280
[startup+550.101 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 4821 0 0 0 54994 12 0 0 25 0 1 0 835897147 30433280 4745 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7430 4745 1111 63 0 7367 0
vsize: 29720
[startup+560.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 4896 0 0 0 55996 13 0 0 25 0 1 0 835897147 30740480 4820 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7505 4820 1111 63 0 7442 0
vsize: 30020
[startup+570.137 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 4969 0 0 0 56998 13 0 0 25 0 1 0 835897147 31039488 4893 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7578 4893 1111 63 0 7515 0
vsize: 30312
[startup+580.136 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 5056 0 0 0 57998 13 0 0 25 0 1 0 835897147 31375360 4980 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7660 4980 1111 63 0 7597 0
vsize: 30640
[startup+590.136 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 5144 0 0 0 58997 13 0 0 25 0 1 0 835897147 31825920 5068 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7770 5068 1111 63 0 7707 0
vsize: 31080
[startup+600.136 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 5231 0 0 0 59997 14 0 0 25 0 1 0 835897147 32124928 5155 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7843 5155 1111 63 0 7780 0
vsize: 31372
[startup+610.137 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 5284 0 0 0 60997 14 0 0 25 0 1 0 835897147 32276480 5208 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7880 5208 1111 63 0 7817 0
vsize: 31520
[startup+620.137 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 5335 0 0 0 61997 14 0 0 25 0 1 0 835897147 32583680 5259 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7955 5259 1111 63 0 7892 0
vsize: 31820
[startup+630.137 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 5392 0 0 0 62997 14 0 0 25 0 1 0 835897147 32731136 5316 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7991 5316 1111 63 0 7928 0
vsize: 31964
[startup+640.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 5488 0 0 0 63998 14 0 0 25 0 1 0 835897147 33181696 5412 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8101 5412 1111 63 0 8038 0
vsize: 32404
[startup+650.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 5550 0 0 0 64998 14 0 0 25 0 1 0 835897147 33484800 5474 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8175 5474 1111 63 0 8112 0
vsize: 32700
[startup+660.142 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 5615 0 0 0 65998 14 0 0 25 0 1 0 835897147 33632256 5539 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8211 5539 1111 63 0 8148 0
vsize: 32844
[startup+670.149 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 5688 0 0 0 66998 15 0 0 25 0 1 0 835897147 33931264 5612 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8284 5612 1111 63 0 8221 0
vsize: 33136
[startup+680.152 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 5763 0 0 0 67999 15 0 0 25 0 1 0 835897147 34238464 5687 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8359 5687 1111 63 0 8296 0
vsize: 33436
[startup+690.152 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 5836 0 0 0 68999 15 0 0 25 0 1 0 835897147 34537472 5760 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8432 5760 1111 63 0 8369 0
vsize: 33728
[startup+700.152 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 5909 0 0 0 69999 15 0 0 25 0 1 0 835897147 34836480 5833 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8505 5833 1111 63 0 8442 0
vsize: 34020
[startup+710.153 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 5991 0 0 0 70999 16 0 0 25 0 1 0 835897147 35291136 5915 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8616 5915 1111 63 0 8553 0
vsize: 34464
[startup+720.153 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 6074 0 0 0 71999 16 0 0 25 0 1 0 835897147 35590144 5998 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8689 5998 1111 63 0 8626 0
vsize: 34756
[startup+730.153 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 6161 0 0 0 72999 16 0 0 25 0 1 0 835897147 35889152 6085 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8762 6085 1111 63 0 8699 0
vsize: 35048
[startup+740.153 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 6250 0 0 0 73999 16 0 0 25 0 1 0 835897147 36343808 6174 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8873 6174 1111 63 0 8810 0
vsize: 35492
[startup+750.157 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 6308 0 0 0 74999 17 0 0 25 0 1 0 835897147 36491264 6232 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8909 6232 1111 63 0 8846 0
vsize: 35636
[startup+760.162 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 6366 0 0 0 75999 17 0 0 25 0 1 0 835897147 36790272 6290 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8982 6290 1111 63 0 8919 0
vsize: 35928
[startup+770.167 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 6419 0 0 0 76999 17 0 0 25 0 1 0 835897147 36945920 6343 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9020 6343 1111 63 0 8957 0
vsize: 36080
[startup+780.182 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 6516 0 0 0 78001 17 0 0 25 0 1 0 835897147 37396480 6440 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9130 6440 1111 63 0 9067 0
vsize: 36520
[startup+790.183 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 6588 0 0 0 79000 17 0 0 25 0 1 0 835897147 37695488 6512 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9203 6512 1111 63 0 9140 0
vsize: 36812
[startup+800.182 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 6648 0 0 0 80001 17 0 0 25 0 1 0 835897147 37847040 6572 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9240 6572 1111 63 0 9177 0
vsize: 36960
[startup+810.182 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 6722 0 0 0 81000 18 0 0 25 0 1 0 835897147 38146048 6646 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9313 6646 1111 63 0 9250 0
vsize: 37252
[startup+820.183 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 6802 0 0 0 82000 18 0 0 25 0 1 0 835897147 38596608 6726 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9423 6726 1111 63 0 9360 0
vsize: 37692
[startup+830.182 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 6883 0 0 0 83000 18 0 0 25 0 1 0 835897147 38903808 6807 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9498 6807 1111 63 0 9435 0
vsize: 37992
[startup+840.188 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 6957 0 0 0 84001 19 0 0 25 0 1 0 835897147 39202816 6881 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9571 6881 1111 63 0 9508 0
vsize: 38284
[startup+850.196 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 7039 0 0 0 85001 19 0 0 25 0 1 0 835897147 39501824 6963 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9644 6963 1111 63 0 9581 0
vsize: 38576
[startup+860.203 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 7121 0 0 0 86002 19 0 0 25 0 1 0 835897147 39804928 7045 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9718 7045 1111 63 0 9655 0
vsize: 38872
[startup+870.204 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 7222 0 0 0 87002 19 0 0 25 0 1 0 835897147 40251392 7146 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9827 7146 1111 63 0 9764 0
vsize: 39308
[startup+880.205 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 7298 0 0 0 88002 19 0 0 25 0 1 0 835897147 40558592 7222 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9902 7222 1111 63 0 9839 0
vsize: 39608
[startup+890.205 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 7356 0 0 0 89002 19 0 0 25 0 1 0 835897147 40857600 7280 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9975 7280 1111 63 0 9912 0
vsize: 39900
[startup+900.207 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 7414 0 0 0 90003 19 0 0 25 0 1 0 835897147 41009152 7338 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10012 7338 1111 63 0 9949 0
vsize: 40048
[startup+910.211 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 7488 0 0 0 91003 20 0 0 25 0 1 0 835897147 41308160 7412 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10085 7412 1111 63 0 10022 0
vsize: 40340
[startup+920.212 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 7579 0 0 0 92003 20 0 0 25 0 1 0 835897147 41758720 7503 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10195 7503 1111 63 0 10132 0
vsize: 40780
[startup+930.211 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 7637 0 0 0 93003 20 0 0 25 0 1 0 835897147 41910272 7561 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10232 7561 1111 63 0 10169 0
vsize: 40928
[startup+940.212 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 7709 0 0 0 94003 20 0 0 25 0 1 0 835897147 42209280 7633 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10305 7633 1111 63 0 10242 0
vsize: 41220
[startup+950.212 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 7799 0 0 0 95003 20 0 0 25 0 1 0 835897147 42635264 7723 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10409 7723 1111 63 0 10346 0
vsize: 41636
[startup+960.213 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 7858 0 0 0 96003 21 0 0 25 0 1 0 835897147 42782720 7782 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10445 7782 1111 63 0 10382 0
vsize: 41780
[startup+970.213 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 7946 0 0 0 97003 21 0 0 25 0 1 0 835897147 43233280 7870 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10555 7870 1111 63 0 10492 0
vsize: 42220
[startup+980.212 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 8035 0 0 0 98003 21 0 0 25 0 1 0 835897147 43536384 7959 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10629 7959 1111 63 0 10566 0
vsize: 42516
[startup+990.213 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 8124 0 0 0 99003 21 0 0 25 0 1 0 835897147 43982848 8048 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10738 8048 1111 63 0 10675 0
vsize: 42952
[startup+1000.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 8212 0 0 0 100003 21 0 0 25 0 1 0 835897147 44290048 8136 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10813 8136 1111 63 0 10750 0
vsize: 43252
[startup+1010.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 8314 0 0 0 101003 22 0 0 25 0 1 0 835897147 44740608 8238 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10923 8238 1111 63 0 10860 0
vsize: 43692
[startup+1020.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 8372 0 0 0 102003 22 0 0 25 0 1 0 835897147 44888064 8296 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10959 8296 1111 63 0 10896 0
vsize: 43836
[startup+1030.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 8426 0 0 0 103003 22 0 0 25 0 1 0 835897147 45191168 8350 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11033 8350 1111 63 0 10970 0
vsize: 44132
[startup+1040.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 8484 0 0 0 104003 22 0 0 25 0 1 0 835897147 45342720 8408 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11070 8408 1111 63 0 11007 0
vsize: 44280
[startup+1050.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 8586 0 0 0 105003 22 0 0 25 0 1 0 835897147 45789184 8510 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11179 8510 1111 63 0 11116 0
vsize: 44716
[startup+1060.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 8653 0 0 0 106003 22 0 0 25 0 1 0 835897147 46096384 8577 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11254 8577 1111 63 0 11191 0
vsize: 45016
[startup+1070.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 8726 0 0 0 107003 22 0 0 25 0 1 0 835897147 46395392 8650 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11327 8650 1111 63 0 11264 0
vsize: 45308
[startup+1080.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 8813 0 0 0 108003 23 0 0 25 0 1 0 835897147 46694400 8737 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11400 8737 1111 63 0 11337 0
vsize: 45600
[startup+1090.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 8881 0 0 0 109003 23 0 0 25 0 1 0 835897147 46997504 8805 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11474 8805 1111 63 0 11411 0
vsize: 45896
[startup+1100.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 8962 0 0 0 110003 23 0 0 25 0 1 0 835897147 47296512 8886 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11547 8886 1111 63 0 11484 0
vsize: 46188
[startup+1110.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 9070 0 0 0 111003 24 0 0 25 0 1 0 835897147 47849472 8994 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11682 8994 1111 63 0 11619 0
vsize: 46728
[startup+1120.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 9158 0 0 0 112003 24 0 0 25 0 1 0 835897147 48304128 9082 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11793 9082 1111 63 0 11730 0
vsize: 47172
[startup+1130.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 9245 0 0 0 113003 24 0 0 25 0 1 0 835897147 48603136 9169 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11866 9169 1111 63 0 11803 0
vsize: 47464
[startup+1140.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 9349 0 0 0 114002 25 0 0 25 0 1 0 835897147 49029120 9273 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11970 9273 1111 63 0 11907 0
vsize: 47880
[startup+1150.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 9415 0 0 0 115002 25 0 0 25 0 1 0 835897147 49328128 9339 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12043 9339 1111 63 0 11980 0
vsize: 48172
[startup+1160.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 9474 0 0 0 116002 25 0 0 25 0 1 0 835897147 49627136 9398 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12116 9398 1111 63 0 12053 0
vsize: 48464
[startup+1170.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 9541 0 0 0 117002 25 0 0 25 0 1 0 835897147 49774592 9465 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12152 9465 1111 63 0 12089 0
vsize: 48608
[startup+1180.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 9643 0 0 0 118002 25 0 0 25 0 1 0 835897147 50229248 9567 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12263 9567 1111 63 0 12200 0
vsize: 49052
[startup+1190.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 9703 0 0 0 119003 26 0 0 25 0 1 0 835897147 50528256 9627 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12336 9627 1111 63 0 12273 0
vsize: 49344
[startup+1200.23 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32708
Raw data (stat): 32708 (bsolo_lpr) R 32707 22056 22055 0 -1 0 9777 0 0 0 120004 26 0 0 25 0 1 0 835897147 50810880 9701 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12405 9701 1111 63 0 12342 0
vsize: 49620
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.25 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 32708
Raw data (stat): 32708 (bsolo_lpr) Z 32707 22056 22055 0 -1 1036 9777 0 0 0 120004 28 0 0 25 0 1 0 835897147 0 0 4294967295 0 0 0 0 0 0 0 7 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.25
CPU time (s): 1200.32
CPU user time (s): 1200.04
CPU system time (s): 0.281957
CPU usage (%): 100.006
Max. virtual memory (Kb): 49620
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####