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/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos4.opb
MD5SUM	e465af1c9ec9e748a7782ddbee36d3b1
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	100590
Biggest coefficient in the objective function	11202704073084108800000000
Number of bits for the biggest coefficient in the objective function	84
Sum of the numbers in the objective function	2862789126208280618841669632
Number of bits of the sum of numbers in the objective function	92
Biggest number in a constraint	11202704073084108800000000
Number of bits of the biggest number in a constraint	84
Biggest sum of numbers in a constraint	2862789126208280618841669632
Number of bits of the biggest sum of numbers	92
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.90971
Number of variables	203044
Total number of constraints	56505
Number of constraints which are clauses	32142
Number of constraints which are cardinality constraints (but not clauses)	17175
Number of constraints which are nor clauses,nor cardinality constraints	7188
Minimum length of a constraint	1
Maximum length of a constraint	1115
Trace number 28021

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-05-25 00:10:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14691 boxname=wulflinc9 idbench=1131 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  e465af1c9ec9e748a7782ddbee36d3b1  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-neos4.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-neos4.opb
IDLAUNCH: 14691
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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	: 2
cpu MHz		: 451.242
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:        799404 kB
Buffers:         15220 kB
Cached:         199160 kB
SwapCached:        364 kB
Active:          64284 kB
Inactive:       152632 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        799152 kB
SwapTotal:     2097136 kB
SwapFree:      2096368 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6348 kB
Slab:            12660 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 00:30:32 (client local time) WITH STATUS 0 IN 1200.5 SECONDS
stats: 14691 7 1200.5 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.94 0.90 2/54 13304
Raw data (stat): 13304 (runsolver) R 13303 3944 3943 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776229729 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.0016 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 1237 0 0 0 981 4 0 0 25 0 1 0 776229729 15212544 1161 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3714 1161 1111 63 0 3651 0
vsize: 14856
[startup+20.0023 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 1278 0 0 0 1981 4 0 0 25 0 1 0 776229729 15482880 1202 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3780 1202 1111 63 0 3717 0
vsize: 15120
[startup+30.0024 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 1325 0 0 0 2981 4 0 0 25 0 1 0 776229729 15618048 1249 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3813 1249 1111 63 0 3750 0
vsize: 15252
[startup+40.0029 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 1361 0 0 0 3981 4 0 0 25 0 1 0 776229729 15753216 1285 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3846 1285 1111 63 0 3783 0
vsize: 15384
[startup+50.0037 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 1409 0 0 0 4982 4 0 0 25 0 1 0 776229729 16023552 1333 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3912 1333 1111 63 0 3849 0
vsize: 15648
[startup+60.0039 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 1443 0 0 0 5981 4 0 0 25 0 1 0 776229729 16158720 1367 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3945 1367 1111 63 0 3882 0
vsize: 15780
[startup+70.0032 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 1492 0 0 0 6981 5 0 0 25 0 1 0 776229729 16293888 1416 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3978 1416 1111 63 0 3915 0
vsize: 15912
[startup+80.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 1536 0 0 0 7982 5 0 0 25 0 1 0 776229729 16429056 1460 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4011 1460 1111 63 0 3948 0
vsize: 16044
[startup+90.0041 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 1577 0 0 0 8982 5 0 0 25 0 1 0 776229729 16703488 1501 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4078 1501 1111 63 0 4015 0
vsize: 16312
[startup+100.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 1624 0 0 0 9982 5 0 0 25 0 1 0 776229729 16838656 1548 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4111 1548 1111 63 0 4048 0
vsize: 16444
[startup+110.005 s]
Raw data (loadavg): 1.06 0.97 0.91 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 1667 0 0 0 10982 5 0 0 25 0 1 0 776229729 16977920 1591 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4145 1591 1111 63 0 4082 0
vsize: 16580
[startup+120.005 s]
Raw data (loadavg): 1.05 0.97 0.91 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 1709 0 0 0 11982 5 0 0 25 0 1 0 776229729 17248256 1633 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4211 1633 1111 63 0 4148 0
vsize: 16844
[startup+130.006 s]
Raw data (loadavg): 1.04 0.97 0.91 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 1756 0 0 0 12982 5 0 0 25 0 1 0 776229729 17383424 1680 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4244 1680 1111 63 0 4181 0
vsize: 16976
[startup+140.006 s]
Raw data (loadavg): 1.04 0.97 0.91 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 1799 0 0 0 13982 6 0 0 25 0 1 0 776229729 17518592 1723 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4277 1723 1111 63 0 4214 0
vsize: 17108
[startup+150.007 s]
Raw data (loadavg): 1.03 0.97 0.91 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 1838 0 0 0 14982 6 0 0 25 0 1 0 776229729 17653760 1762 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4310 1762 1111 63 0 4247 0
vsize: 17240
[startup+160.01 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 1878 0 0 0 15983 6 0 0 25 0 1 0 776229729 17940480 1802 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4380 1802 1111 63 0 4317 0
vsize: 17520
[startup+170.01 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 1926 0 0 0 16983 6 0 0 25 0 1 0 776229729 18075648 1850 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4413 1850 1111 63 0 4350 0
vsize: 17652
[startup+180.016 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 1969 0 0 0 17983 6 0 0 25 0 1 0 776229729 18210816 1893 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4446 1893 1111 63 0 4383 0
vsize: 17784
[startup+190.026 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 2010 0 0 0 18985 6 0 0 25 0 1 0 776229729 18481152 1934 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4512 1934 1111 63 0 4449 0
vsize: 18048
[startup+200.025 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 2058 0 0 0 19984 6 0 0 25 0 1 0 776229729 18616320 1982 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4545 1982 1111 63 0 4482 0
vsize: 18180
[startup+210.025 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 2099 0 0 0 20985 6 0 0 25 0 1 0 776229729 18751488 2023 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4578 2023 1111 63 0 4515 0
vsize: 18312
[startup+220.025 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 2142 0 0 0 21985 6 0 0 25 0 1 0 776229729 19021824 2066 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4644 2066 1111 63 0 4581 0
vsize: 18576
[startup+230.026 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 2190 0 0 0 22985 6 0 0 25 0 1 0 776229729 19156992 2114 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4677 2114 1111 63 0 4614 0
vsize: 18708
[startup+240.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 2237 0 0 0 23985 6 0 0 25 0 1 0 776229729 19292160 2161 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4710 2161 1111 63 0 4647 0
vsize: 18840
[startup+250.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 2274 0 0 0 24985 6 0 0 25 0 1 0 776229729 19562496 2198 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4776 2198 1111 63 0 4713 0
vsize: 19104
[startup+260.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 2322 0 0 0 25985 7 0 0 25 0 1 0 776229729 19697664 2246 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4809 2246 1111 63 0 4746 0
vsize: 19236
[startup+270.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 2370 0 0 0 26985 7 0 0 25 0 1 0 776229729 19832832 2294 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4842 2294 1111 63 0 4779 0
vsize: 19368
[startup+280.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 2404 0 0 0 27985 7 0 0 25 0 1 0 776229729 19968000 2328 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4875 2328 1111 63 0 4812 0
vsize: 19500
[startup+290.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 2452 0 0 0 28985 7 0 0 25 0 1 0 776229729 20238336 2376 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4941 2376 1111 63 0 4878 0
vsize: 19764
[startup+300.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 2494 0 0 0 29986 7 0 0 25 0 1 0 776229729 20373504 2418 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4974 2418 1111 63 0 4911 0
vsize: 19896
[startup+310.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 2542 0 0 0 30986 7 0 0 25 0 1 0 776229729 20660224 2466 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5044 2466 1111 63 0 4981 0
vsize: 20176
[startup+320.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 2591 0 0 0 31986 7 0 0 25 0 1 0 776229729 20807680 2515 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5080 2515 1111 63 0 5017 0
vsize: 20320
[startup+330.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 2632 0 0 0 32987 7 0 0 25 0 1 0 776229729 20946944 2556 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5114 2556 1111 63 0 5051 0
vsize: 20456
[startup+340.045 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 2673 0 0 0 33988 7 0 0 25 0 1 0 776229729 21217280 2597 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5180 2597 1111 63 0 5117 0
vsize: 20720
[startup+350.046 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 2721 0 0 0 34988 7 0 0 25 0 1 0 776229729 21352448 2645 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5213 2645 1111 63 0 5150 0
vsize: 20852
[startup+360.048 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 2770 0 0 0 35988 7 0 0 25 0 1 0 776229729 21487616 2694 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5246 2694 1111 63 0 5183 0
vsize: 20984
[startup+370.048 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 2806 0 0 0 36988 8 0 0 25 0 1 0 776229729 21757952 2730 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5312 2730 1111 63 0 5249 0
vsize: 21248
[startup+380.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 2855 0 0 0 37988 8 0 0 25 0 1 0 776229729 21893120 2779 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5345 2779 1111 63 0 5282 0
vsize: 21380
[startup+390.048 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 2905 0 0 0 38988 8 0 0 25 0 1 0 776229729 22163456 2829 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5411 2829 1111 63 0 5348 0
vsize: 21644
[startup+400.152 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 2953 0 0 0 39998 8 0 0 25 0 1 0 776229729 22298624 2877 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5444 2877 1111 63 0 5381 0
vsize: 21776
[startup+410.152 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 2995 0 0 0 40998 8 0 0 25 0 1 0 776229729 22433792 2919 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5477 2919 1111 63 0 5414 0
vsize: 21908
[startup+420.157 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 3034 0 0 0 41999 9 0 0 25 0 1 0 776229729 22568960 2958 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5510 2958 1111 63 0 5447 0
vsize: 22040
[startup+430.165 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 3071 0 0 0 43000 9 0 0 25 0 1 0 776229729 22839296 2995 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5576 2995 1111 63 0 5513 0
vsize: 22304
[startup+440.165 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 3118 0 0 0 44000 9 0 0 25 0 1 0 776229729 22974464 3042 4294967295 134512640 134714508 3221224592 3221222820 1077414347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5609 3042 1111 63 0 5546 0
vsize: 22436
[startup+450.165 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 3166 0 0 0 45000 9 0 0 25 0 1 0 776229729 23109632 3090 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5642 3090 1111 63 0 5579 0
vsize: 22568
[startup+460.165 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 3209 0 0 0 46000 9 0 0 25 0 1 0 776229729 23400448 3133 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5713 3133 1111 63 0 5650 0
vsize: 22852
[startup+470.171 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 3252 0 0 0 47001 9 0 0 25 0 1 0 776229729 23539712 3176 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5747 3176 1111 63 0 5684 0
vsize: 22988
[startup+480.172 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 3300 0 0 0 48001 9 0 0 25 0 1 0 776229729 23674880 3224 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5780 3224 1111 63 0 5717 0
vsize: 23120
[startup+490.184 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 3348 0 0 0 49002 10 0 0 25 0 1 0 776229729 23945216 3272 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5846 3272 1111 63 0 5783 0
vsize: 23384
[startup+500.197 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 3384 0 0 0 50003 10 0 0 25 0 1 0 776229729 24080384 3308 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5879 3308 1111 63 0 5816 0
vsize: 23516
[startup+510.196 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 3432 0 0 0 51003 10 0 0 25 0 1 0 776229729 24215552 3356 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5912 3356 1111 63 0 5849 0
vsize: 23648
[startup+520.197 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 3480 0 0 0 52003 10 0 0 25 0 1 0 776229729 24506368 3404 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5983 3404 1111 63 0 5920 0
vsize: 23932
[startup+530.197 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 3524 0 0 0 53003 10 0 0 25 0 1 0 776229729 24641536 3448 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6016 3448 1111 63 0 5953 0
vsize: 24064
[startup+540.231 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 3566 0 0 0 54007 10 0 0 25 0 1 0 776229729 24780800 3490 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6050 3490 1111 63 0 5987 0
vsize: 24200
[startup+550.231 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 3599 0 0 0 55007 10 0 0 25 0 1 0 776229729 24915968 3523 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6083 3523 1111 63 0 6020 0
vsize: 24332
[startup+560.231 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 3646 0 0 0 56007 10 0 0 25 0 1 0 776229729 25186304 3570 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6149 3570 1111 63 0 6086 0
vsize: 24596
[startup+570.231 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 3688 0 0 0 57007 10 0 0 25 0 1 0 776229729 25325568 3612 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6183 3612 1111 63 0 6120 0
vsize: 24732
[startup+580.246 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 3730 0 0 0 58008 10 0 0 25 0 1 0 776229729 25460736 3654 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6216 3654 1111 63 0 6153 0
vsize: 24864
[startup+590.254 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 3778 0 0 0 59009 11 0 0 25 0 1 0 776229729 25595904 3702 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6249 3702 1111 63 0 6186 0
vsize: 24996
[startup+600.255 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 3825 0 0 0 60010 11 0 0 25 0 1 0 776229729 25866240 3749 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6315 3749 1111 63 0 6252 0
vsize: 25260
[startup+610.265 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 3880 0 0 0 61011 11 0 0 25 0 1 0 776229729 26157056 3804 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6386 3804 1111 63 0 6323 0
vsize: 25544
[startup+620.265 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 3922 0 0 0 62011 11 0 0 25 0 1 0 776229729 26292224 3846 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6419 3846 1111 63 0 6356 0
vsize: 25676
[startup+630.271 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 3970 0 0 0 63011 11 0 0 25 0 1 0 776229729 26562560 3894 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6485 3894 1111 63 0 6422 0
vsize: 25940
[startup+640.281 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 4019 0 0 0 64012 11 0 0 25 0 1 0 776229729 26697728 3943 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6518 3943 1111 63 0 6455 0
vsize: 26072
[startup+650.281 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 4067 0 0 0 65013 11 0 0 25 0 1 0 776229729 26832896 3991 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6551 3991 1111 63 0 6488 0
vsize: 26204
[startup+660.281 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 4109 0 0 0 66013 11 0 0 25 0 1 0 776229729 27103232 4033 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6617 4033 1111 63 0 6554 0
vsize: 26468
[startup+670.281 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 4151 0 0 0 67013 11 0 0 25 0 1 0 776229729 27238400 4075 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6650 4075 1111 63 0 6587 0
vsize: 26600
[startup+680.281 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 4201 0 0 0 68013 11 0 0 25 0 1 0 776229729 27373568 4125 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6683 4125 1111 63 0 6620 0
vsize: 26732
[startup+690.282 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 4235 0 0 0 69013 12 0 0 25 0 1 0 776229729 27508736 4159 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6716 4159 1111 63 0 6653 0
vsize: 26864
[startup+700.29 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 4282 0 0 0 70014 12 0 0 25 0 1 0 776229729 27779072 4206 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6782 4206 1111 63 0 6719 0
vsize: 27128
[startup+710.298 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 4325 0 0 0 71015 12 0 0 25 0 1 0 776229729 27934720 4249 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6820 4249 1111 63 0 6757 0
vsize: 27280
[startup+720.298 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 4367 0 0 0 72015 12 0 0 25 0 1 0 776229729 28073984 4291 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6854 4291 1111 63 0 6791 0
vsize: 27416
[startup+730.297 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 4414 0 0 0 73015 12 0 0 25 0 1 0 776229729 28344320 4338 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6920 4338 1111 63 0 6857 0
vsize: 27680
[startup+740.298 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 4462 0 0 0 74015 12 0 0 25 0 1 0 776229729 28479488 4386 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6953 4386 1111 63 0 6890 0
vsize: 27812
[startup+750.299 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 4506 0 0 0 75015 12 0 0 25 0 1 0 776229729 28749824 4430 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7019 4430 1111 63 0 6956 0
vsize: 28076
[startup+760.304 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 4550 0 0 0 76016 12 0 0 25 0 1 0 776229729 28884992 4474 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7052 4474 1111 63 0 6989 0
vsize: 28208
[startup+770.304 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 4598 0 0 0 77016 12 0 0 25 0 1 0 776229729 29040640 4522 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7090 4522 1111 63 0 7027 0
vsize: 28360
[startup+780.31 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 4648 0 0 0 78017 12 0 0 25 0 1 0 776229729 29315072 4572 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7157 4572 1111 63 0 7094 0
vsize: 28628
[startup+790.31 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 4696 0 0 0 79017 12 0 0 25 0 1 0 776229729 29450240 4620 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7190 4620 1111 63 0 7127 0
vsize: 28760
[startup+800.317 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 4745 0 0 0 80017 12 0 0 25 0 1 0 776229729 29720576 4669 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7256 4669 1111 63 0 7193 0
vsize: 29024
[startup+810.317 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 4794 0 0 0 81017 12 0 0 25 0 1 0 776229729 29855744 4718 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7289 4718 1111 63 0 7226 0
vsize: 29156
[startup+820.324 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 4829 0 0 0 82018 12 0 0 25 0 1 0 776229729 29990912 4753 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7322 4753 1111 63 0 7259 0
vsize: 29288
[startup+830.324 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 4880 0 0 0 83018 13 0 0 25 0 1 0 776229729 30261248 4804 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7388 4804 1111 63 0 7325 0
vsize: 29552
[startup+840.324 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 4928 0 0 0 84019 13 0 0 25 0 1 0 776229729 30396416 4852 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7421 4852 1111 63 0 7358 0
vsize: 29684
[startup+850.325 s]
Raw data (loadavg): 1.15 1.02 0.93 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 4979 0 0 0 85019 13 0 0 25 0 1 0 776229729 30666752 4903 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7487 4903 1111 63 0 7424 0
vsize: 29948
[startup+860.324 s]
Raw data (loadavg): 1.13 1.02 0.93 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 5027 0 0 0 86019 13 0 0 25 0 1 0 776229729 30801920 4951 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7520 4951 1111 63 0 7457 0
vsize: 30080
[startup+870.324 s]
Raw data (loadavg): 1.11 1.02 0.93 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 5076 0 0 0 87019 13 0 0 25 0 1 0 776229729 30937088 5000 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7553 5000 1111 63 0 7490 0
vsize: 30212
[startup+880.326 s]
Raw data (loadavg): 1.09 1.02 0.93 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 5126 0 0 0 88019 13 0 0 25 0 1 0 776229729 31207424 5050 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7619 5050 1111 63 0 7556 0
vsize: 30476
[startup+890.326 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 5174 0 0 0 89019 13 0 0 25 0 1 0 776229729 31342592 5098 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7652 5098 1111 63 0 7589 0
vsize: 30608
[startup+900.327 s]
Raw data (loadavg): 1.14 1.03 0.94 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 5225 0 0 0 90019 13 0 0 25 0 1 0 776229729 31612928 5149 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7718 5149 1111 63 0 7655 0
vsize: 30872
[startup+910.328 s]
Raw data (loadavg): 1.12 1.03 0.94 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 5267 0 0 0 91019 14 0 0 25 0 1 0 776229729 31768576 5191 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7756 5191 1111 63 0 7693 0
vsize: 31024
[startup+920.328 s]
Raw data (loadavg): 1.10 1.03 0.94 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 5310 0 0 0 92019 14 0 0 25 0 1 0 776229729 31907840 5234 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7790 5234 1111 63 0 7727 0
vsize: 31160
[startup+930.328 s]
Raw data (loadavg): 1.08 1.03 0.94 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 5358 0 0 0 93019 14 0 0 25 0 1 0 776229729 32178176 5282 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7856 5282 1111 63 0 7793 0
vsize: 31424
[startup+940.33 s]
Raw data (loadavg): 1.07 1.03 0.94 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 5408 0 0 0 94020 14 0 0 25 0 1 0 776229729 32313344 5332 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7889 5332 1111 63 0 7826 0
vsize: 31556
[startup+950.33 s]
Raw data (loadavg): 1.06 1.03 0.94 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 5457 0 0 0 95020 14 0 0 25 0 1 0 776229729 32583680 5381 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7955 5381 1111 63 0 7892 0
vsize: 31820
[startup+960.331 s]
Raw data (loadavg): 1.05 1.02 0.94 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 5506 0 0 0 96020 14 0 0 25 0 1 0 776229729 32718848 5430 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7988 5430 1111 63 0 7925 0
vsize: 31952
[startup+970.336 s]
Raw data (loadavg): 1.04 1.02 0.94 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 5556 0 0 0 97020 14 0 0 25 0 1 0 776229729 33009664 5480 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8059 5480 1111 63 0 7996 0
vsize: 32236
[startup+980.337 s]
Raw data (loadavg): 1.03 1.02 0.94 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 5607 0 0 0 98020 14 0 0 25 0 1 0 776229729 33148928 5531 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8093 5531 1111 63 0 8030 0
vsize: 32372
[startup+990.341 s]
Raw data (loadavg): 1.03 1.02 0.94 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 5656 0 0 0 99021 14 0 0 25 0 1 0 776229729 33419264 5580 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8159 5580 1111 63 0 8096 0
vsize: 32636
[startup+1000.37 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 5711 0 0 0 100024 15 0 0 25 0 1 0 776229729 33554432 5635 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8192 5635 1111 63 0 8129 0
vsize: 32768
[startup+1010.37 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 5762 0 0 0 101024 15 0 0 25 0 1 0 776229729 33824768 5686 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8258 5686 1111 63 0 8195 0
vsize: 33032
[startup+1020.37 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 5810 0 0 0 102024 15 0 0 25 0 1 0 776229729 33959936 5734 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8291 5734 1111 63 0 8228 0
vsize: 33164
[startup+1030.37 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 5852 0 0 0 103024 15 0 0 25 0 1 0 776229729 34095104 5776 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8324 5776 1111 63 0 8261 0
vsize: 33296
[startup+1040.37 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 5903 0 0 0 104024 15 0 0 25 0 1 0 776229729 34365440 5827 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8390 5827 1111 63 0 8327 0
vsize: 33560
[startup+1050.38 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 5952 0 0 0 105025 15 0 0 25 0 1 0 776229729 34500608 5876 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8423 5876 1111 63 0 8360 0
vsize: 33692
[startup+1060.39 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 6000 0 0 0 106027 15 0 0 25 0 1 0 776229729 34770944 5924 4294967295 134512640 134714508 3221224592 3221223248 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8489 5924 1111 63 0 8426 0
vsize: 33956
[startup+1070.4 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 6051 0 0 0 107027 15 0 0 25 0 1 0 776229729 34906112 5975 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8522 5975 1111 63 0 8459 0
vsize: 34088
[startup+1080.4 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 6100 0 0 0 108027 16 0 0 25 0 1 0 776229729 35176448 6024 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8588 6024 1111 63 0 8525 0
vsize: 34352
[startup+1090.4 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 6149 0 0 0 109027 16 0 0 25 0 1 0 776229729 35311616 6073 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8621 6073 1111 63 0 8558 0
vsize: 34484
[startup+1100.4 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 6199 0 0 0 110027 16 0 0 25 0 1 0 776229729 35602432 6123 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8692 6123 1111 63 0 8629 0
vsize: 34768
[startup+1110.4 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 6249 0 0 0 111027 16 0 0 25 0 1 0 776229729 35741696 6173 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8726 6173 1111 63 0 8663 0
vsize: 34904
[startup+1120.4 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 6297 0 0 0 112028 16 0 0 25 0 1 0 776229729 36012032 6221 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8792 6221 1111 63 0 8729 0
vsize: 35168
[startup+1130.41 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 6348 0 0 0 113028 16 0 0 25 0 1 0 776229729 36167680 6272 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8830 6272 1111 63 0 8767 0
vsize: 35320
[startup+1140.4 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 6404 0 0 0 114029 16 0 0 25 0 1 0 776229729 36442112 6328 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8897 6328 1111 63 0 8834 0
vsize: 35588
[startup+1150.41 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 6460 0 0 0 115029 16 0 0 25 0 1 0 776229729 36712448 6384 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8963 6384 1111 63 0 8900 0
vsize: 35852
[startup+1160.41 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 6530 0 0 0 116029 16 0 0 25 0 1 0 776229729 36982784 6454 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9029 6454 1111 63 0 8966 0
vsize: 36116
[startup+1170.41 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 6587 0 0 0 117029 16 0 0 25 0 1 0 776229729 37253120 6511 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9095 6511 1111 63 0 9032 0
vsize: 36380
[startup+1180.41 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 6644 0 0 0 118029 16 0 0 25 0 1 0 776229729 37543936 6568 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9166 6568 1111 63 0 9103 0
vsize: 36664
[startup+1190.41 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 6695 0 0 0 119030 16 0 0 25 0 1 0 776229729 37679104 6619 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9199 6619 1111 63 0 9136 0
vsize: 36796
[startup+1200.43 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13304
Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 6752 0 0 0 120031 16 0 0 25 0 1 0 776229729 37953536 6676 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9266 6676 1111 63 0 9203 0
vsize: 37064
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.46 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 13304
Raw data (stat): 13304 (bsolo_lpr) Z 13303 3944 3943 0 -1 1036 6752 0 0 0 120031 18 0 0 24 0 1 0 776229729 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.46
CPU time (s): 1200.5
CPU user time (s): 1200.32
CPU system time (s): 0.181972
CPU usage (%): 100.003
Max. virtual memory (Kb): 37064
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####