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-dfl001.opb
MD5SUM	0613a0c4894703648f95007e06fadc66
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	187033
Biggest coefficient in the objective function	2150851580428025856
Number of bits for the biggest coefficient in the objective function	61
Sum of the numbers in the objective function	882752655849462562816
Number of bits of the sum of numbers in the objective function	70
Biggest number in a constraint	53687091200000000000
Number of bits of the biggest number in a constraint	66
Biggest sum of numbers in a constraint	4277072243466308681728
Number of bits of the biggest sum of numbers	72
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	3.46847
Number of variables	366703
Total number of constraints	6084
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	6084
Minimum length of a constraint	13
Maximum length of a constraint	6840
Trace number 29033

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-05-25 04:26:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=10713 boxname=wulflinc7 idbench=825 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  0613a0c4894703648f95007e06fadc66  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-dfl001.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-dfl001.opb
IDLAUNCH: 10713
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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:        772968 kB
Buffers:          8796 kB
Cached:         232476 kB
SwapCached:        740 kB
Active:          63616 kB
Inactive:       179876 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        772716 kB
SwapTotal:     2097136 kB
SwapFree:      2095584 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5124 kB
Slab:            12508 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 04:46:32 (client local time) WITH STATUS 0 IN 1200.39 SECONDS
stats: 10713 7 1200.39 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.92 0.95 0.91 2/54 5766
Raw data (stat): 5766 (runsolver) R 5765 24300 24299 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777775274 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.0005 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 1688 0 0 0 992 6 0 0 25 0 1 0 777775274 15364096 1612 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 1612 1111 63 0 3688 0
vsize: 15004
[startup+20.0001 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 1733 0 0 0 1992 6 0 0 25 0 1 0 777775274 15511552 1657 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3787 1657 1111 63 0 3724 0
vsize: 15148
[startup+30.0052 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 1784 0 0 0 2992 6 0 0 25 0 1 0 777775274 15663104 1708 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3824 1708 1111 63 0 3761 0
vsize: 15296
[startup+40.1073 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 1837 0 0 0 4003 6 0 0 25 0 1 0 777775274 15966208 1761 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3898 1761 1111 63 0 3835 0
vsize: 15592
[startup+50.1088 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 1887 0 0 0 5003 6 0 0 25 0 1 0 777775274 16113664 1811 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3934 1811 1111 63 0 3871 0
vsize: 15736
[startup+60.1086 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 1938 0 0 0 6003 7 0 0 25 0 1 0 777775274 16412672 1862 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4007 1862 1111 63 0 3944 0
vsize: 16028
[startup+70.1082 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 1989 0 0 0 7003 7 0 0 25 0 1 0 777775274 16564224 1913 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4044 1913 1111 63 0 3981 0
vsize: 16176
[startup+80.1165 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 2042 0 0 0 8003 7 0 0 25 0 1 0 777775274 16711680 1966 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4080 1966 1111 63 0 4017 0
vsize: 16320
[startup+90.1155 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 2099 0 0 0 9004 7 0 0 25 0 1 0 777775274 17014784 2023 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4154 2023 1111 63 0 4091 0
vsize: 16616
[startup+100.115 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 2146 0 0 0 10004 7 0 0 25 0 1 0 777775274 17166336 2070 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4191 2070 1111 63 0 4128 0
vsize: 16764
[startup+110.116 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 2197 0 0 0 11004 7 0 0 25 0 1 0 777775274 17444864 2121 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4259 2121 1111 63 0 4196 0
vsize: 17036
[startup+120.115 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 2248 0 0 0 12004 7 0 0 25 0 1 0 777775274 17596416 2172 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4296 2172 1111 63 0 4233 0
vsize: 17184
[startup+130.115 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 2301 0 0 0 13004 7 0 0 25 0 1 0 777775274 17903616 2225 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4371 2225 1111 63 0 4308 0
vsize: 17484
[startup+140.116 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 2352 0 0 0 14004 7 0 0 25 0 1 0 777775274 18051072 2276 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4407 2276 1111 63 0 4344 0
vsize: 17628
[startup+150.116 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 2410 0 0 0 15004 8 0 0 25 0 1 0 777775274 18350080 2334 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4480 2334 1111 63 0 4417 0
vsize: 17920
[startup+160.116 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 2454 0 0 0 16004 8 0 0 25 0 1 0 777775274 18497536 2378 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4516 2378 1111 63 0 4453 0
vsize: 18064
[startup+170.116 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 2500 0 0 0 17004 8 0 0 25 0 1 0 777775274 18653184 2424 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4554 2424 1111 63 0 4491 0
vsize: 18216
[startup+180.116 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 2558 0 0 0 18004 8 0 0 25 0 1 0 777775274 18952192 2482 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4627 2482 1111 63 0 4564 0
vsize: 18508
[startup+190.116 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 2602 0 0 0 19005 8 0 0 25 0 1 0 777775274 19103744 2526 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4664 2526 1111 63 0 4601 0
vsize: 18656
[startup+200.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 2664 0 0 0 20005 8 0 0 25 0 1 0 777775274 19394560 2588 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4735 2588 1111 63 0 4672 0
vsize: 18940
[startup+210.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 2717 0 0 0 21005 8 0 0 25 0 1 0 777775274 19550208 2641 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4773 2641 1111 63 0 4710 0
vsize: 19092
[startup+220.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 2768 0 0 0 22005 8 0 0 25 0 1 0 777775274 19697664 2692 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4809 2692 1111 63 0 4746 0
vsize: 19236
[startup+230.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 2826 0 0 0 23005 8 0 0 25 0 1 0 777775274 19996672 2750 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4882 2750 1111 63 0 4819 0
vsize: 19528
[startup+240.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 2877 0 0 0 24004 9 0 0 25 0 1 0 777775274 20148224 2801 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4919 2801 1111 63 0 4856 0
vsize: 19676
[startup+250.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 2930 0 0 0 25004 9 0 0 25 0 1 0 777775274 20451328 2854 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4993 2854 1111 63 0 4930 0
vsize: 19972
[startup+260.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 2974 0 0 0 26004 9 0 0 25 0 1 0 777775274 20598784 2898 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5029 2898 1111 63 0 4966 0
vsize: 20116
[startup+270.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 3025 0 0 0 27004 9 0 0 25 0 1 0 777775274 20750336 2949 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5066 2949 1111 63 0 5003 0
vsize: 20264
[startup+280.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 3076 0 0 0 28004 9 0 0 25 0 1 0 777775274 21049344 3000 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5139 3000 1111 63 0 5076 0
vsize: 20556
[startup+290.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 3120 0 0 0 29004 9 0 0 25 0 1 0 777775274 21196800 3044 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5175 3044 1111 63 0 5112 0
vsize: 20700
[startup+300.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 3173 0 0 0 30005 9 0 0 25 0 1 0 777775274 21348352 3097 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5212 3097 1111 63 0 5149 0
vsize: 20848
[startup+310.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 3225 0 0 0 31005 9 0 0 25 0 1 0 777775274 21651456 3149 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5286 3149 1111 63 0 5223 0
vsize: 21144
[startup+320.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 3282 0 0 0 32005 9 0 0 25 0 1 0 777775274 21798912 3206 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5322 3206 1111 63 0 5259 0
vsize: 21288
[startup+330.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 3334 0 0 0 33005 9 0 0 25 0 1 0 777775274 22097920 3258 4294967295 134512640 134714508 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 3258 1111 63 0 5332 0
vsize: 21580
[startup+340.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 3387 0 0 0 34005 10 0 0 25 0 1 0 777775274 22249472 3311 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5432 3311 1111 63 0 5369 0
vsize: 21728
[startup+350.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 3444 0 0 0 35005 10 0 0 25 0 1 0 777775274 22556672 3368 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5507 3368 1111 63 0 5444 0
vsize: 22028
[startup+360.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 3489 0 0 0 36005 10 0 0 25 0 1 0 777775274 22704128 3413 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5543 3413 1111 63 0 5480 0
vsize: 22172
[startup+370.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 3546 0 0 0 37004 10 0 0 25 0 1 0 777775274 22999040 3470 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5615 3470 1111 63 0 5552 0
vsize: 22460
[startup+380.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 3599 0 0 0 38004 11 0 0 25 0 1 0 777775274 23150592 3523 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5652 3523 1111 63 0 5589 0
vsize: 22608
[startup+390.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 3657 0 0 0 39004 11 0 0 25 0 1 0 777775274 23420928 3581 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5718 3581 1111 63 0 5655 0
vsize: 22872
[startup+400.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 3714 0 0 0 40004 11 0 0 25 0 1 0 777775274 23711744 3638 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5789 3638 1111 63 0 5726 0
vsize: 23156
[startup+410.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 3759 0 0 0 41004 11 0 0 25 0 1 0 777775274 23863296 3683 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5826 3683 1111 63 0 5763 0
vsize: 23304
[startup+420.115 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 3819 0 0 0 42004 11 0 0 25 0 1 0 777775274 24010752 3743 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5862 3743 1111 63 0 5799 0
vsize: 23448
[startup+430.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 3871 0 0 0 43004 12 0 0 25 0 1 0 777775274 24313856 3795 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5936 3795 1111 63 0 5873 0
vsize: 23744
[startup+440.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 3914 0 0 0 44004 12 0 0 25 0 1 0 777775274 24465408 3838 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5973 3838 1111 63 0 5910 0
vsize: 23892
[startup+450.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 3966 0 0 0 45004 12 0 0 25 0 1 0 777775274 24612864 3890 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6009 3890 1111 63 0 5946 0
vsize: 24036
[startup+460.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 4023 0 0 0 46004 12 0 0 25 0 1 0 777775274 24911872 3947 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6082 3947 1111 63 0 6019 0
vsize: 24328
[startup+470.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 4069 0 0 0 47004 12 0 0 25 0 1 0 777775274 25047040 3993 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6115 3993 1111 63 0 6052 0
vsize: 24460
[startup+480.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 4128 0 0 0 48004 12 0 0 25 0 1 0 777775274 25337856 4052 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6186 4052 1111 63 0 6123 0
vsize: 24744
[startup+490.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 4172 0 0 0 49004 12 0 0 25 0 1 0 777775274 25489408 4096 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6223 4096 1111 63 0 6160 0
vsize: 24892
[startup+500.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 4229 0 0 0 50005 12 0 0 25 0 1 0 777775274 25784320 4153 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6295 4153 1111 63 0 6232 0
vsize: 25180
[startup+510.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 4276 0 0 0 51005 12 0 0 25 0 1 0 777775274 25939968 4200 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6333 4200 1111 63 0 6270 0
vsize: 25332
[startup+520.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 4335 0 0 0 52005 12 0 0 25 0 1 0 777775274 26238976 4259 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6406 4259 1111 63 0 6343 0
vsize: 25624
[startup+530.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 4386 0 0 0 53005 12 0 0 25 0 1 0 777775274 26390528 4310 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6443 4310 1111 63 0 6380 0
vsize: 25772
[startup+540.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 4438 0 0 0 54005 12 0 0 25 0 1 0 777775274 26537984 4362 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6479 4362 1111 63 0 6416 0
vsize: 25916
[startup+550.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 4496 0 0 0 55005 12 0 0 25 0 1 0 777775274 26836992 4420 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6552 4420 1111 63 0 6489 0
vsize: 26208
[startup+560.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 4547 0 0 0 56005 12 0 0 25 0 1 0 777775274 26992640 4471 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6590 4471 1111 63 0 6527 0
vsize: 26360
[startup+570.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 4600 0 0 0 57005 12 0 0 25 0 1 0 777775274 27291648 4524 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6663 4524 1111 63 0 6600 0
vsize: 26652
[startup+580.115 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 4644 0 0 0 58005 13 0 0 25 0 1 0 777775274 27439104 4568 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6699 4568 1111 63 0 6636 0
vsize: 26796
[startup+590.115 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 4703 0 0 0 59006 13 0 0 25 0 1 0 777775274 27738112 4627 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6772 4627 1111 63 0 6709 0
vsize: 27088
[startup+600.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 4748 0 0 0 60006 13 0 0 25 0 1 0 777775274 27893760 4672 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6810 4672 1111 63 0 6747 0
vsize: 27240
[startup+610.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 4806 0 0 0 61006 13 0 0 25 0 1 0 777775274 28041216 4730 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6846 4730 1111 63 0 6783 0
vsize: 27384
[startup+620.115 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 4864 0 0 0 62006 13 0 0 25 0 1 0 777775274 28340224 4788 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6919 4788 1111 63 0 6856 0
vsize: 27676
[startup+630.115 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 4915 0 0 0 63006 13 0 0 25 0 1 0 777775274 28491776 4839 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6956 4839 1111 63 0 6893 0
vsize: 27824
[startup+640.114 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 4968 0 0 0 64006 13 0 0 25 0 1 0 777775274 28794880 4892 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7030 4892 1111 63 0 6967 0
vsize: 28120
[startup+650.114 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 5019 0 0 0 65006 14 0 0 25 0 1 0 777775274 28942336 4943 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7066 4943 1111 63 0 7003 0
vsize: 28264
[startup+660.114 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 5070 0 0 0 66006 14 0 0 25 0 1 0 777775274 29241344 4994 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7139 4994 1111 63 0 7076 0
vsize: 28556
[startup+670.115 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 5128 0 0 0 67006 14 0 0 25 0 1 0 777775274 29392896 5052 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7176 5052 1111 63 0 7113 0
vsize: 28704
[startup+680.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 5174 0 0 0 68006 14 0 0 25 0 1 0 777775274 29540352 5098 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7212 5098 1111 63 0 7149 0
vsize: 28848
[startup+690.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 5232 0 0 0 69006 14 0 0 25 0 1 0 777775274 29818880 5156 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7280 5156 1111 63 0 7217 0
vsize: 29120
[startup+700.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 5276 0 0 0 70006 14 0 0 25 0 1 0 777775274 29966336 5200 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7316 5200 1111 63 0 7253 0
vsize: 29264
[startup+710.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 5334 0 0 0 71006 14 0 0 25 0 1 0 777775274 30265344 5258 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7389 5258 1111 63 0 7326 0
vsize: 29556
[startup+720.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 5393 0 0 0 72006 14 0 0 25 0 1 0 777775274 30568448 5317 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7463 5317 1111 63 0 7400 0
vsize: 29852
[startup+730.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 5438 0 0 0 73007 14 0 0 25 0 1 0 777775274 30720000 5362 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7500 5362 1111 63 0 7437 0
vsize: 30000
[startup+740.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 5495 0 0 0 74007 14 0 0 25 0 1 0 777775274 30867456 5419 4294967295 134512640 134714508 3221224592 3221222820 1077414397 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7536 5419 1111 63 0 7473 0
vsize: 30144
[startup+750.119 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 5540 0 0 0 75007 15 0 0 25 0 1 0 777775274 31166464 5464 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7609 5464 1111 63 0 7546 0
vsize: 30436
[startup+760.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 5611 0 0 0 76007 15 0 0 25 0 1 0 777775274 31506432 5535 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7692 5535 1111 63 0 7629 0
vsize: 30768
[startup+770.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 5669 0 0 0 77007 15 0 0 25 0 1 0 777775274 31657984 5593 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7729 5593 1111 63 0 7666 0
vsize: 30916
[startup+780.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 5720 0 0 0 78007 15 0 0 25 0 1 0 777775274 31956992 5644 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7802 5644 1111 63 0 7739 0
vsize: 31208
[startup+790.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 5771 0 0 0 79007 15 0 0 25 0 1 0 777775274 32104448 5695 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7838 5695 1111 63 0 7775 0
vsize: 31352
[startup+800.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 5831 0 0 0 80007 15 0 0 25 0 1 0 777775274 32407552 5755 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7912 5755 1111 63 0 7849 0
vsize: 31648
[startup+810.119 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 5882 0 0 0 81007 15 0 0 25 0 1 0 777775274 32559104 5806 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7949 5806 1111 63 0 7886 0
vsize: 31796
[startup+820.119 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 5933 0 0 0 82008 15 0 0 25 0 1 0 777775274 32706560 5857 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7985 5857 1111 63 0 7922 0
vsize: 31940
[startup+830.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 5991 0 0 0 83008 15 0 0 25 0 1 0 777775274 33005568 5915 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8058 5915 1111 63 0 7995 0
vsize: 32232
[startup+840.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 6044 0 0 0 84008 16 0 0 25 0 1 0 777775274 33157120 5968 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8095 5968 1111 63 0 8032 0
vsize: 32380
[startup+850.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 6096 0 0 0 85008 16 0 0 25 0 1 0 777775274 33460224 6020 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8169 6020 1111 63 0 8106 0
vsize: 32676
[startup+860.119 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 6155 0 0 0 86008 16 0 0 25 0 1 0 777775274 33607680 6079 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8205 6079 1111 63 0 8142 0
vsize: 32820
[startup+870.119 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 6206 0 0 0 87008 16 0 0 25 0 1 0 777775274 33906688 6130 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8278 6130 1111 63 0 8215 0
vsize: 33112
[startup+880.119 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 6260 0 0 0 88008 16 0 0 25 0 1 0 777775274 34058240 6184 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8315 6184 1111 63 0 8252 0
vsize: 33260
[startup+890.119 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 6317 0 0 0 89008 16 0 0 25 0 1 0 777775274 34361344 6241 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8389 6241 1111 63 0 8326 0
vsize: 33556
[startup+900.119 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 6375 0 0 0 90008 16 0 0 25 0 1 0 777775274 34508800 6299 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8425 6299 1111 63 0 8362 0
vsize: 33700
[startup+910.123 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 6420 0 0 0 91009 16 0 0 25 0 1 0 777775274 34807808 6344 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8498 6344 1111 63 0 8435 0
vsize: 33992
[startup+920.126 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 6477 0 0 0 92009 16 0 0 25 0 1 0 777775274 34959360 6401 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8535 6401 1111 63 0 8472 0
vsize: 34140
[startup+930.126 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 6537 0 0 0 93009 17 0 0 25 0 1 0 777775274 35266560 6461 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8610 6461 1111 63 0 8547 0
vsize: 34440
[startup+940.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 6583 0 0 0 94009 17 0 0 25 0 1 0 777775274 35414016 6507 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8646 6507 1111 63 0 8583 0
vsize: 34584
[startup+950.126 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 6642 0 0 0 95009 17 0 0 25 0 1 0 777775274 35708928 6566 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8718 6566 1111 63 0 8655 0
vsize: 34872
[startup+960.126 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 6699 0 0 0 96009 17 0 0 25 0 1 0 777775274 35860480 6623 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8755 6623 1111 63 0 8692 0
vsize: 35020
[startup+970.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 6753 0 0 0 97009 17 0 0 25 0 1 0 777775274 36167680 6677 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8830 6677 1111 63 0 8767 0
vsize: 35320
[startup+980.126 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 6803 0 0 0 98009 18 0 0 25 0 1 0 777775274 36315136 6727 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8866 6727 1111 63 0 8803 0
vsize: 35464
[startup+990.126 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 6861 0 0 0 99009 18 0 0 25 0 1 0 777775274 36614144 6785 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8939 6785 1111 63 0 8876 0
vsize: 35756
[startup+1000.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 6913 0 0 0 100009 18 0 0 25 0 1 0 777775274 36765696 6837 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8976 6837 1111 63 0 8913 0
vsize: 35904
[startup+1010.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 6965 0 0 0 101009 18 0 0 25 0 1 0 777775274 36917248 6889 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9013 6889 1111 63 0 8950 0
vsize: 36052
[startup+1020.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 7024 0 0 0 102009 18 0 0 25 0 1 0 777775274 37216256 6948 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9086 6948 1111 63 0 9023 0
vsize: 36344
[startup+1030.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 7082 0 0 0 103009 18 0 0 25 0 1 0 777775274 37515264 7006 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9159 7006 1111 63 0 9096 0
vsize: 36636
[startup+1040.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 7128 0 0 0 104009 18 0 0 25 0 1 0 777775274 37666816 7052 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9196 7052 1111 63 0 9133 0
vsize: 36784
[startup+1050.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 7187 0 0 0 105009 18 0 0 25 0 1 0 777775274 37818368 7111 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9233 7111 1111 63 0 9170 0
vsize: 36932
[startup+1060.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 7245 0 0 0 106009 19 0 0 25 0 1 0 777775274 38117376 7169 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9306 7169 1111 63 0 9243 0
vsize: 37224
[startup+1070.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 7303 0 0 0 107009 19 0 0 25 0 1 0 777775274 38416384 7227 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9379 7227 1111 63 0 9316 0
vsize: 37516
[startup+1080.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 7334 0 0 0 108009 19 0 0 25 0 1 0 777775274 38416384 7258 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9379 7258 1111 63 0 9316 0
vsize: 37516
[startup+1090.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 7392 0 0 0 109010 19 0 0 25 0 1 0 777775274 38719488 7316 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9453 7316 1111 63 0 9390 0
vsize: 37812
[startup+1100.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 7437 0 0 0 110010 19 0 0 25 0 1 0 777775274 38871040 7361 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9490 7361 1111 63 0 9427 0
vsize: 37960
[startup+1110.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 7495 0 0 0 111010 19 0 0 25 0 1 0 777775274 39170048 7419 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9563 7419 1111 63 0 9500 0
vsize: 38252
[startup+1120.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 7554 0 0 0 112010 19 0 0 25 0 1 0 777775274 39317504 7478 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9599 7478 1111 63 0 9536 0
vsize: 38396
[startup+1130.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 7614 0 0 0 113011 19 0 0 25 0 1 0 777775274 39624704 7538 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9674 7538 1111 63 0 9611 0
vsize: 38696
[startup+1140.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 7666 0 0 0 114011 19 0 0 25 0 1 0 777775274 39772160 7590 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9710 7590 1111 63 0 9647 0
vsize: 38840
[startup+1150.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 7718 0 0 0 115014 20 0 0 25 0 1 0 777775274 40071168 7642 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9783 7642 1111 63 0 9720 0
vsize: 39132
[startup+1160.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 7775 0 0 0 116016 20 0 0 25 0 1 0 777775274 40218624 7699 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9819 7699 1111 63 0 9756 0
vsize: 39276
[startup+1170.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 7834 0 0 0 117016 20 0 0 25 0 1 0 777775274 40525824 7758 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9894 7758 1111 63 0 9831 0
vsize: 39576
[startup+1180.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 7886 0 0 0 118016 20 0 0 25 0 1 0 777775274 40677376 7810 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9931 7810 1111 63 0 9868 0
vsize: 39724
[startup+1190.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 7923 0 0 0 119016 20 0 0 25 0 1 0 777775274 40824832 7847 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9967 7847 1111 63 0 9904 0
vsize: 39868
[startup+1200.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5766
Raw data (stat): 5766 (bsolo_lpr) R 5765 24300 24299 0 -1 0 7981 0 0 0 120016 20 0 0 25 0 1 0 777775274 41119744 7905 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10039 7905 1111 63 0 9976 0
vsize: 40156
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.21 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 5766
Raw data (stat): 5766 (bsolo_lpr) Z 5765 24300 24299 0 -1 1036 7981 0 0 0 120017 22 0 0 25 0 1 0 777775274 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.2
CPU time (s): 1200.39
CPU user time (s): 1200.17
CPU system time (s): 0.221966
CPU usage (%): 100.016
Max. virtual memory (Kb): 40156
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####