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-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-80bau3b.opb
MD5SUM	16a606cf9ab6b9dba681e237f3d29f84
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	126788
Biggest coefficient in the objective function	175552593920000
Number of bits for the biggest coefficient in the objective function	48
Sum of the numbers in the objective function	8868947507751438
Number of bits of the sum of numbers in the objective function	53
Biggest number in a constraint	175552593920000
Number of bits of the biggest number in a constraint	48
Biggest sum of numbers in a constraint	8868947507751438
Number of bits of the biggest sum of numbers	53
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.45378
Number of variables	157082
Total number of constraints	5220
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	5220
Minimum length of a constraint	7
Maximum length of a constraint	2220
Trace number 27891

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-05-24 23:34:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15419 boxname=wulflinc2 idbench=1187 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  16a606cf9ab6b9dba681e237f3d29f84  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-80bau3b.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-80bau3b.opb
IDLAUNCH: 15419
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        579776 kB
Buffers:         35012 kB
Cached:         398640 kB
SwapCached:        868 kB
Active:          86160 kB
Inactive:       350072 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        579524 kB
SwapTotal:     2097136 kB
SwapFree:      2095788 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5616 kB
Slab:            13036 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 23:55:00 (client local time) WITH STATUS 0 IN 1200.42 SECONDS
stats: 15419 7 1200.42 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.73 0.90 0.89 2/54 5652
Raw data (stat): 5652 (runsolver) R 5651 31399 31398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776020847 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.0009 s]
Raw data (loadavg): 0.77 0.90 0.89 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 1413 0 0 0 993 4 0 0 25 0 1 0 776020847 15491072 1337 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3782 1337 1111 63 0 3719 0
vsize: 15128
[startup+20.0011 s]
Raw data (loadavg): 0.80 0.90 0.89 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 1516 0 0 0 1993 5 0 0 25 0 1 0 776020847 15917056 1440 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3886 1440 1111 63 0 3823 0
vsize: 15544
[startup+30.0008 s]
Raw data (loadavg): 0.83 0.91 0.89 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 1621 0 0 0 2993 5 0 0 25 0 1 0 776020847 16343040 1545 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3990 1545 1111 63 0 3927 0
vsize: 15960
[startup+40.0017 s]
Raw data (loadavg): 0.86 0.91 0.89 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 1730 0 0 0 3993 5 0 0 25 0 1 0 776020847 16904192 1654 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4127 1654 1111 63 0 4064 0
vsize: 16508
[startup+50.0021 s]
Raw data (loadavg): 0.88 0.91 0.89 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 1849 0 0 0 4993 5 0 0 25 0 1 0 776020847 17334272 1773 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4232 1773 1111 63 0 4169 0
vsize: 16928
[startup+60.0022 s]
Raw data (loadavg): 0.90 0.91 0.89 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 1972 0 0 0 5993 5 0 0 25 0 1 0 776020847 17895424 1896 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4369 1896 1111 63 0 4306 0
vsize: 17476
[startup+70.0019 s]
Raw data (loadavg): 0.91 0.92 0.89 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 2105 0 0 0 6993 6 0 0 25 0 1 0 776020847 18325504 2029 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4474 2029 1111 63 0 4411 0
vsize: 17896
[startup+80.0012 s]
Raw data (loadavg): 0.93 0.92 0.89 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 2230 0 0 0 7992 6 0 0 25 0 1 0 776020847 18894848 2154 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4613 2154 1111 63 0 4550 0
vsize: 18452
[startup+90.0009 s]
Raw data (loadavg): 0.94 0.92 0.90 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 2372 0 0 0 8992 7 0 0 25 0 1 0 776020847 19447808 2296 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4748 2296 1111 63 0 4685 0
vsize: 18992
[startup+100.001 s]
Raw data (loadavg): 0.95 0.92 0.90 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 2490 0 0 0 9992 7 0 0 25 0 1 0 776020847 20013056 2414 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4886 2414 1111 63 0 4823 0
vsize: 19544
[startup+110.001 s]
Raw data (loadavg): 0.95 0.92 0.90 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 2631 0 0 0 10992 7 0 0 25 0 1 0 776020847 20561920 2555 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5020 2555 1111 63 0 4957 0
vsize: 20080
[startup+120.026 s]
Raw data (loadavg): 0.96 0.93 0.90 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 2784 0 0 0 11994 7 0 0 25 0 1 0 776020847 21123072 2708 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5157 2708 1111 63 0 5094 0
vsize: 20628
[startup+130.031 s]
Raw data (loadavg): 1.05 0.94 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 2895 0 0 0 12995 8 0 0 25 0 1 0 776020847 21676032 2819 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5292 2819 1111 63 0 5229 0
vsize: 21168
[startup+140.036 s]
Raw data (loadavg): 1.04 0.95 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 3023 0 0 0 13995 8 0 0 25 0 1 0 776020847 22089728 2947 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5393 2947 1111 63 0 5330 0
vsize: 21572
[startup+150.036 s]
Raw data (loadavg): 1.03 0.95 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 3160 0 0 0 14995 8 0 0 25 0 1 0 776020847 22659072 3084 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5532 3084 1111 63 0 5469 0
vsize: 22128
[startup+160.037 s]
Raw data (loadavg): 1.03 0.95 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 3308 0 0 0 15995 8 0 0 25 0 1 0 776020847 23363584 3232 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5704 3232 1111 63 0 5641 0
vsize: 22816
[startup+170.037 s]
Raw data (loadavg): 1.10 0.96 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 3450 0 0 0 16995 8 0 0 25 0 1 0 776020847 23920640 3374 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5840 3374 1111 63 0 5777 0
vsize: 23360
[startup+180.037 s]
Raw data (loadavg): 1.08 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 3585 0 0 0 17995 9 0 0 25 0 1 0 776020847 24469504 3509 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5974 3509 1111 63 0 5911 0
vsize: 23896
[startup+190.037 s]
Raw data (loadavg): 1.07 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 3732 0 0 0 18995 9 0 0 25 0 1 0 776020847 25022464 3656 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6109 3656 1111 63 0 6046 0
vsize: 24436
[startup+200.037 s]
Raw data (loadavg): 1.06 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 3857 0 0 0 19995 9 0 0 25 0 1 0 776020847 25583616 3781 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6246 3781 1111 63 0 6183 0
vsize: 24984
[startup+210.036 s]
Raw data (loadavg): 1.05 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 4010 0 0 0 20995 10 0 0 25 0 1 0 776020847 26132480 3934 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6380 3934 1111 63 0 6317 0
vsize: 25520
[startup+220.042 s]
Raw data (loadavg): 1.04 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 4146 0 0 0 21995 10 0 0 25 0 1 0 776020847 26689536 4070 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6516 4070 1111 63 0 6453 0
vsize: 26064
[startup+230.046 s]
Raw data (loadavg): 1.03 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 4281 0 0 0 22995 10 0 0 25 0 1 0 776020847 27246592 4205 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6652 4205 1111 63 0 6589 0
vsize: 26608
[startup+240.047 s]
Raw data (loadavg): 1.03 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 4406 0 0 0 23995 11 0 0 25 0 1 0 776020847 27824128 4330 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6793 4330 1111 63 0 6730 0
vsize: 27172
[startup+250.047 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 4567 0 0 0 24995 11 0 0 25 0 1 0 776020847 28508160 4491 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6960 4491 1111 63 0 6897 0
vsize: 27840
[startup+260.047 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 4702 0 0 0 25995 11 0 0 25 0 1 0 776020847 29065216 4626 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7096 4626 1111 63 0 7033 0
vsize: 28384
[startup+270.047 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 4900 0 0 0 26995 11 0 0 25 0 1 0 776020847 29904896 4824 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7301 4824 1111 63 0 7238 0
vsize: 29204
[startup+280.046 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 5098 0 0 0 27995 12 0 0 25 0 1 0 776020847 30601216 5022 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7471 5022 1111 63 0 7408 0
vsize: 29884
[startup+290.047 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 5278 0 0 0 28995 12 0 0 25 0 1 0 776020847 31420416 5202 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7671 5202 1111 63 0 7608 0
vsize: 30684
[startup+300.047 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 5469 0 0 0 29995 12 0 0 25 0 1 0 776020847 32100352 5393 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7837 5393 1111 63 0 7774 0
vsize: 31348
[startup+310.047 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 5625 0 0 0 30995 12 0 0 25 0 1 0 776020847 32788480 5549 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8005 5549 1111 63 0 7942 0
vsize: 32020
[startup+320.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 5822 0 0 0 31995 12 0 0 25 0 1 0 776020847 33624064 5746 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8209 5746 1111 63 0 8146 0
vsize: 32836
[startup+330.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 6002 0 0 0 32995 13 0 0 25 0 1 0 776020847 34304000 5926 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8375 5926 1111 63 0 8312 0
vsize: 33500
[startup+340.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 6162 0 0 0 33994 13 0 0 25 0 1 0 776020847 34983936 6086 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8541 6086 1111 63 0 8478 0
vsize: 34164
[startup+350.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 6323 0 0 0 34994 14 0 0 25 0 1 0 776020847 35667968 6247 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8708 6247 1111 63 0 8645 0
vsize: 34832
[startup+360.048 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 6507 0 0 0 35994 15 0 0 25 0 1 0 776020847 36368384 6431 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8879 6431 1111 63 0 8816 0
vsize: 35516
[startup+370.049 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 6680 0 0 0 36994 15 0 0 25 0 1 0 776020847 37064704 6604 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9049 6604 1111 63 0 8986 0
vsize: 36196
[startup+380.049 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 6864 0 0 0 37994 15 0 0 25 0 1 0 776020847 37883904 6788 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9249 6788 1111 63 0 9186 0
vsize: 36996
[startup+390.049 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 7032 0 0 0 38993 16 0 0 25 0 1 0 776020847 38559744 6956 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9414 6956 1111 63 0 9351 0
vsize: 37656
[startup+400.049 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 7204 0 0 0 39993 16 0 0 25 0 1 0 776020847 39247872 7128 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9582 7128 1111 63 0 9519 0
vsize: 38328
[startup+410.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 7400 0 0 0 40993 16 0 0 25 0 1 0 776020847 40099840 7324 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9790 7324 1111 63 0 9727 0
vsize: 39160
[startup+420.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 7598 0 0 0 41993 17 0 0 25 0 1 0 776020847 40939520 7522 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9995 7522 1111 63 0 9932 0
vsize: 39980
[startup+430.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 7746 0 0 0 42993 17 0 0 25 0 1 0 776020847 41488384 7670 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10129 7670 1111 63 0 10066 0
vsize: 40516
[startup+440.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 7907 0 0 0 43993 17 0 0 25 0 1 0 776020847 42176512 7831 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10297 7831 1111 63 0 10234 0
vsize: 41188
[startup+450.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 8084 0 0 0 44992 18 0 0 25 0 1 0 776020847 42889216 8008 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10471 8008 1111 63 0 10408 0
vsize: 41884
[startup+460.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 8263 0 0 0 45992 18 0 0 25 0 1 0 776020847 43712512 8187 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10672 8187 1111 63 0 10609 0
vsize: 42688
[startup+470.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 8441 0 0 0 46992 19 0 0 25 0 1 0 776020847 44417024 8365 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10844 8365 1111 63 0 10781 0
vsize: 43376
[startup+480.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 8633 0 0 0 47991 19 0 0 25 0 1 0 776020847 45121536 8557 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11016 8557 1111 63 0 10953 0
vsize: 44064
[startup+490.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 8816 0 0 0 48991 20 0 0 25 0 1 0 776020847 45977600 8740 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11225 8740 1111 63 0 11162 0
vsize: 44900
[startup+500.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 8977 0 0 0 49991 20 0 0 25 0 1 0 776020847 46526464 8901 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11359 8901 1111 63 0 11296 0
vsize: 45436
[startup+510.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 9164 0 0 0 50991 20 0 0 25 0 1 0 776020847 47366144 9088 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11564 9088 1111 63 0 11501 0
vsize: 46256
[startup+520.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 9368 0 0 0 51991 20 0 0 25 0 1 0 776020847 48201728 9292 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11768 9292 1111 63 0 11705 0
vsize: 47072
[startup+530.053 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 9558 0 0 0 52991 21 0 0 25 0 1 0 776020847 48898048 9482 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11938 9482 1111 63 0 11875 0
vsize: 47752
[startup+540.053 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 9731 0 0 0 53991 21 0 0 25 0 1 0 776020847 49717248 9655 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12138 9655 1111 63 0 12075 0
vsize: 48552
[startup+550.053 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 9891 0 0 0 54991 21 0 0 25 0 1 0 776020847 50262016 9815 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12271 9815 1111 63 0 12208 0
vsize: 49084
[startup+560.056 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 10085 0 0 0 55991 22 0 0 25 0 1 0 776020847 51130368 10009 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12483 10009 1111 63 0 12420 0
vsize: 49932
[startup+570.056 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 10250 0 0 0 56990 23 0 0 25 0 1 0 776020847 51806208 10174 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12648 10174 1111 63 0 12585 0
vsize: 50592
[startup+580.056 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 10452 0 0 0 57990 23 0 0 25 0 1 0 776020847 52662272 10376 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12857 10376 1111 63 0 12794 0
vsize: 51428
[startup+590.056 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 10643 0 0 0 58990 23 0 0 25 0 1 0 776020847 53342208 10567 4294967295 134512640 134714508 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13023 10567 1111 63 0 12960 0
vsize: 52092
[startup+600.056 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 10827 0 0 0 59990 23 0 0 25 0 1 0 776020847 54194176 10751 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13231 10751 1111 63 0 13168 0
vsize: 52924
[startup+610.057 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 10991 0 0 0 60990 24 0 0 25 0 1 0 776020847 54751232 10915 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13367 10915 1111 63 0 13304 0
vsize: 53468
[startup+620.056 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 11181 0 0 0 61990 24 0 0 25 0 1 0 776020847 55586816 11105 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13571 11105 1111 63 0 13508 0
vsize: 54284
[startup+630.056 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 11385 0 0 0 62990 24 0 0 25 0 1 0 776020847 56422400 11309 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13775 11309 1111 63 0 13712 0
vsize: 55100
[startup+640.057 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 11581 0 0 0 63990 24 0 0 25 0 1 0 776020847 57253888 11505 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13978 11505 1111 63 0 13915 0
vsize: 55912
[startup+650.056 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 11761 0 0 0 64990 25 0 0 25 0 1 0 776020847 57929728 11685 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14143 11685 1111 63 0 14080 0
vsize: 56572
[startup+660.057 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 11915 0 0 0 65990 25 0 0 25 0 1 0 776020847 58613760 11839 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14310 11839 1111 63 0 14247 0
vsize: 57240
[startup+670.057 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 12108 0 0 0 66990 25 0 0 25 0 1 0 776020847 59428864 12032 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14509 12032 1111 63 0 14446 0
vsize: 58036
[startup+680.056 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 12286 0 0 0 67989 25 0 0 25 0 1 0 776020847 60104704 12210 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14674 12210 1111 63 0 14611 0
vsize: 58696
[startup+690.056 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 12490 0 0 0 68989 26 0 0 25 0 1 0 776020847 60940288 12414 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14878 12414 1111 63 0 14815 0
vsize: 59512
[startup+700.057 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 12686 0 0 0 69989 26 0 0 25 0 1 0 776020847 61796352 12610 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15087 12610 1111 63 0 15024 0
vsize: 60348
[startup+710.057 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 12877 0 0 0 70989 27 0 0 25 0 1 0 776020847 62496768 12801 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15258 12801 1111 63 0 15195 0
vsize: 61032
[startup+720.066 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 13033 0 0 0 71990 27 0 0 25 0 1 0 776020847 63180800 12957 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15425 12957 1111 63 0 15362 0
vsize: 61700
[startup+730.066 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 13237 0 0 0 72989 27 0 0 25 0 1 0 776020847 64045056 13161 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15636 13161 1111 63 0 15573 0
vsize: 62544
[startup+740.067 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 13434 0 0 0 73989 28 0 0 25 0 1 0 776020847 64765952 13358 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15812 13358 1111 63 0 15749 0
vsize: 63248
[startup+750.066 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 13620 0 0 0 74989 28 0 0 25 0 1 0 776020847 65609728 13544 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16018 13544 1111 63 0 15955 0
vsize: 64072
[startup+760.067 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 13798 0 0 0 75988 29 0 0 25 0 1 0 776020847 66289664 13722 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16184 13722 1111 63 0 16121 0
vsize: 64736
[startup+770.068 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 13961 0 0 0 76988 29 0 0 25 0 1 0 776020847 66977792 13885 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16352 13885 1111 63 0 16289 0
vsize: 65408
[startup+780.068 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 14140 0 0 0 77988 30 0 0 25 0 1 0 776020847 67657728 14064 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16518 14064 1111 63 0 16455 0
vsize: 66072
[startup+790.068 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 14338 0 0 0 78988 30 0 0 25 0 1 0 776020847 68493312 14262 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16722 14262 1111 63 0 16659 0
vsize: 66888
[startup+800.068 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 14534 0 0 0 79988 30 0 0 25 0 1 0 776020847 69324800 14458 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16925 14458 1111 63 0 16862 0
vsize: 67700
[startup+810.068 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 14732 0 0 0 80988 31 0 0 25 0 1 0 776020847 70041600 14656 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17100 14656 1111 63 0 17037 0
vsize: 68400
[startup+820.068 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 14928 0 0 0 81987 31 0 0 25 0 1 0 776020847 70881280 14852 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17305 14852 1111 63 0 17242 0
vsize: 69220
[startup+830.068 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 15114 0 0 0 82987 31 0 0 25 0 1 0 776020847 71725056 15038 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17511 15038 1111 63 0 17448 0
vsize: 70044
[startup+840.069 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 15317 0 0 0 83987 32 0 0 25 0 1 0 776020847 72445952 15241 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17687 15241 1111 63 0 17624 0
vsize: 70748
[startup+850.068 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 15521 0 0 0 84986 33 0 0 25 0 1 0 776020847 73281536 15445 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17891 15445 1111 63 0 17828 0
vsize: 71564
[startup+860.069 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 15712 0 0 0 85986 33 0 0 25 0 1 0 776020847 74096640 15636 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18090 15636 1111 63 0 18027 0
vsize: 72360
[startup+870.068 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 15920 0 0 0 86986 33 0 0 25 0 1 0 776020847 75014144 15844 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18314 15844 1111 63 0 18251 0
vsize: 73256
[startup+880.172 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 16084 0 0 0 87996 34 0 0 25 0 1 0 776020847 75726848 16008 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18488 16008 1111 63 0 18425 0
vsize: 73952
[startup+890.172 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 16257 0 0 0 88996 34 0 0 25 0 1 0 776020847 76431360 16181 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18660 16181 1111 63 0 18597 0
vsize: 74640
[startup+900.172 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 16449 0 0 0 89996 34 0 0 25 0 1 0 776020847 77250560 16373 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18860 16373 1111 63 0 18797 0
vsize: 75440
[startup+910.173 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 16651 0 0 0 90995 35 0 0 25 0 1 0 776020847 78102528 16575 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19068 16575 1111 63 0 19005 0
vsize: 76272
[startup+920.173 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 16843 0 0 0 91995 36 0 0 25 0 1 0 776020847 78786560 16767 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19235 16767 1111 63 0 19172 0
vsize: 76940
[startup+930.173 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 17036 0 0 0 92995 36 0 0 25 0 1 0 776020847 79642624 16960 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19444 16960 1111 63 0 19381 0
vsize: 77776
[startup+940.173 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 17228 0 0 0 93995 36 0 0 25 0 1 0 776020847 80457728 17152 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19643 17152 1111 63 0 19580 0
vsize: 78572
[startup+950.173 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 17431 0 0 0 94994 37 0 0 25 0 1 0 776020847 81289216 17355 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19846 17355 1111 63 0 19783 0
vsize: 79384
[startup+960.175 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 17636 0 0 0 95995 37 0 0 25 0 1 0 776020847 82128896 17560 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20051 17560 1111 63 0 19988 0
vsize: 80204
[startup+970.176 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 17809 0 0 0 96994 38 0 0 25 0 1 0 776020847 82808832 17733 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20217 17733 1111 63 0 20154 0
vsize: 80868
[startup+980.175 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 17985 0 0 0 97994 38 0 0 25 0 1 0 776020847 83496960 17909 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20385 17909 1111 63 0 20322 0
vsize: 81540
[startup+990.175 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 18170 0 0 0 98994 38 0 0 25 0 1 0 776020847 84307968 18094 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20583 18094 1111 63 0 20520 0
vsize: 82332
[startup+1000.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 18338 0 0 0 99994 39 0 0 25 0 1 0 776020847 85000192 18262 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20752 18262 1111 63 0 20689 0
vsize: 83008
[startup+1010.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 18529 0 0 0 100993 39 0 0 25 0 1 0 776020847 85696512 18453 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20922 18453 1111 63 0 20859 0
vsize: 83688
[startup+1020.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 18727 0 0 0 101993 39 0 0 25 0 1 0 776020847 86515712 18651 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21122 18651 1111 63 0 21059 0
vsize: 84488
[startup+1030.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 18937 0 0 0 102993 40 0 0 25 0 1 0 776020847 87367680 18861 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21330 18861 1111 63 0 21267 0
vsize: 85320
[startup+1040.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 19142 0 0 0 103993 40 0 0 25 0 1 0 776020847 88203264 19066 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21534 19066 1111 63 0 21471 0
vsize: 86136
[startup+1050.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 19338 0 0 0 104993 40 0 0 25 0 1 0 776020847 89034752 19262 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21737 19262 1111 63 0 21674 0
vsize: 86948
[startup+1060.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 19525 0 0 0 105993 40 0 0 25 0 1 0 776020847 89849856 19449 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21936 19449 1111 63 0 21873 0
vsize: 87744
[startup+1070.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 19735 0 0 0 106993 41 0 0 25 0 1 0 776020847 90681344 19659 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22139 19659 1111 63 0 22076 0
vsize: 88556
[startup+1080.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 19917 0 0 0 107993 41 0 0 25 0 1 0 776020847 91365376 19841 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22306 19841 1111 63 0 22243 0
vsize: 89224
[startup+1090.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 20103 0 0 0 108993 41 0 0 25 0 1 0 776020847 92180480 20027 4294967295 134512640 134714508 3221224592 3221222820 1077414397 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22505 20027 1111 63 0 22442 0
vsize: 90020
[startup+1100.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 20288 0 0 0 109993 41 0 0 25 0 1 0 776020847 92864512 20212 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22672 20212 1111 63 0 22609 0
vsize: 90688
[startup+1110.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 20456 0 0 0 110993 42 0 0 25 0 1 0 776020847 93683712 20380 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22872 20380 1111 63 0 22809 0
vsize: 91488
[startup+1120.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 20636 0 0 0 111993 42 0 0 25 0 1 0 776020847 94367744 20560 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23039 20560 1111 63 0 22976 0
vsize: 92156
[startup+1130.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 20828 0 0 0 112993 42 0 0 25 0 1 0 776020847 95072256 20752 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23211 20752 1111 63 0 23148 0
vsize: 92844
[startup+1140.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 21021 0 0 0 113993 43 0 0 25 0 1 0 776020847 95911936 20945 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23416 20945 1111 63 0 23353 0
vsize: 93664
[startup+1150.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 21224 0 0 0 114993 43 0 0 25 0 1 0 776020847 96768000 21148 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23625 21148 1111 63 0 23562 0
vsize: 94500
[startup+1160.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 21410 0 0 0 115992 43 0 0 25 0 1 0 776020847 97583104 21334 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23824 21334 1111 63 0 23761 0
vsize: 95296
[startup+1170.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 21614 0 0 0 116992 44 0 0 25 0 1 0 776020847 98418688 21538 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24028 21538 1111 63 0 23965 0
vsize: 96112
[startup+1180.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 21825 0 0 0 117992 44 0 0 25 0 1 0 776020847 99254272 21749 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24232 21749 1111 63 0 24169 0
vsize: 96928
[startup+1190.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 22031 0 0 0 118992 44 0 0 25 0 1 0 776020847 100093952 21955 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24437 21955 1111 63 0 24374 0
vsize: 97748
[startup+1200.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 5652
Raw data (stat): 5652 (bsolo_lpr) R 5651 31399 31398 0 -1 0 22192 0 0 0 119992 45 0 0 25 0 1 0 776020847 100777984 22116 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24604 22116 1111 63 0 24541 0
vsize: 98416
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.22 s]
Raw data (loadavg): 1.00 0.97 0.91 1/54 5652
Raw data (stat): 5652 (bsolo_lpr) Z 5651 31399 31398 0 -1 1036 22192 0 0 0 119992 49 0 0 25 0 1 0 776020847 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.22
CPU time (s): 1200.42
CPU user time (s): 1199.92
CPU system time (s): 0.494924
CPU usage (%): 100.016
Max. virtual memory (Kb): 98416
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####