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/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos12.opb
MD5SUM	8be56d63285d7b46f1a8393a6f228d5d
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5243135
Optimality of the best value was proved	NO
Number of terms in the objective function	8960
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	469761600
Number of bits of the sum of numbers in the objective function	29
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	469761600
Number of bits of the biggest sum of numbers	29
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1230.45
Number of variables	16548
Total number of constraints	11747
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	3136
Number of constraints which are nor clauses,nor cardinality constraints	8611
Minimum length of a constraint	1
Maximum length of a constraint	560
Trace number 25500

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-19 23:22:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19540 boxname=wulflinc31 idbench=1504 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  8be56d63285d7b46f1a8393a6f228d5d  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos12.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos12.opb
IDLAUNCH: 19540
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        846084 kB
Buffers:         22068 kB
Cached:         145720 kB
SwapCached:        920 kB
Active:          88476 kB
Inactive:        81420 kB
HighTotal:      131008 kB
HighFree:         3192 kB
LowTotal:       903652 kB
LowFree:        842892 kB
SwapTotal:     2097892 kB
SwapFree:      2095972 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5088 kB
Slab:            12964 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-19 23:42:34 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 19540 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 16548 variables and 9186 constraints.
c After prepocess the problem consists of 15827 variables and 9700 constraints.
c preprocess terminated 151.144 s
#### 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.97 0.94 2/55 26273
Raw data (stat): 26273 (runsolver) R 26272 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 790939819 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0005 s]
Raw data (loadavg): 0.93 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 10884 0 0 0 968 26 0 0 25 0 1 0 790939819 57638912 10807 4294967295 134512640 134714508 3221221776 3221218396 1077253604 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14072 10807 1111 63 0 14009 0
vsize: 56288
[startup+20.0014 s]
Raw data (loadavg): 0.94 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 33262 0 0 0 1921 72 0 0 25 0 1 0 790939819 149413888 33185 4294967295 134512640 134714508 3221221776 3221220436 134568431 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36478 33185 1111 63 0 36415 0
vsize: 145912
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 36829 0 0 0 2913 80 0 0 25 0 1 0 790939819 154214400 36666 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37650 36666 1111 63 0 37587 0
vsize: 150600
[startup+40.0024 s]
Raw data (loadavg): 0.96 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 40906 0 0 0 3903 90 0 0 25 0 1 0 790939819 167653376 39979 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40931 39979 1111 63 0 40868 0
vsize: 163724
[startup+50.0032 s]
Raw data (loadavg): 0.96 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 62759 0 0 0 4851 142 0 0 25 0 1 0 790939819 200093696 47899 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48851 47899 1111 63 0 48788 0
vsize: 195404
[startup+60.0031 s]
Raw data (loadavg): 0.97 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 65461 0 0 0 5844 149 0 0 25 0 1 0 790939819 200093696 47899 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48851 47899 1111 63 0 48788 0
vsize: 195404
[startup+70.0034 s]
Raw data (loadavg): 0.97 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 68629 0 0 0 6835 158 0 0 25 0 1 0 790939819 200228864 47932 4294967295 134512640 134714508 3221221776 3221220440 134606826 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48884 47932 1111 63 0 48821 0
vsize: 195536
[startup+80.004 s]
Raw data (loadavg): 0.98 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 71764 0 0 0 7830 164 0 0 25 0 1 0 790939819 200093696 47899 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48851 47899 1111 63 0 48788 0
vsize: 195404
[startup+90.0039 s]
Raw data (loadavg): 0.98 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 74965 0 0 0 8821 173 0 0 25 0 1 0 790939819 200093696 47899 4294967295 134512640 134714508 3221221776 3221220576 134626515 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48851 47899 1111 63 0 48788 0
vsize: 195404
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 74965 0 0 0 9821 173 0 0 25 0 1 0 790939819 200093696 47899 4294967295 134512640 134714508 3221221776 3221220448 134627241 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48851 47899 1111 63 0 48788 0
vsize: 195404
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 74965 0 0 0 10821 173 0 0 25 0 1 0 790939819 200093696 47899 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48851 47899 1111 63 0 48788 0
vsize: 195404
[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 74965 0 0 0 11822 173 0 0 25 0 1 0 790939819 200093696 47899 4294967295 134512640 134714508 3221221776 3221220448 134627217 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48851 47899 1111 63 0 48788 0
vsize: 195404
[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 74965 0 0 0 12822 173 0 0 25 0 1 0 790939819 200093696 47899 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48851 47899 1111 63 0 48788 0
vsize: 195404
[startup+140.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 74965 0 0 0 13822 173 0 0 25 0 1 0 790939819 200093696 47899 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48851 47899 1111 63 0 48788 0
vsize: 195404
[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 74965 0 0 0 14823 173 0 0 25 0 1 0 790939819 200093696 47899 4294967295 134512640 134714508 3221221776 3221220428 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48851 47899 1111 63 0 48788 0
vsize: 195404
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 74988 0 0 0 15822 173 0 0 25 0 1 0 790939819 200093696 47922 4294967295 134512640 134714508 3221221776 3221219856 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48851 47922 1111 63 0 48788 0
vsize: 195404
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 74988 0 0 0 16822 173 0 0 25 0 1 0 790939819 200093696 47922 4294967295 134512640 134714508 3221221776 3221219832 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48851 47922 1111 63 0 48788 0
vsize: 195404
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 74988 0 0 0 17822 173 0 0 25 0 1 0 790939819 200093696 47922 4294967295 134512640 134714508 3221221776 3221219984 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48851 47922 1111 63 0 48788 0
vsize: 195404
[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 74988 0 0 0 18823 173 0 0 25 0 1 0 790939819 200093696 47922 4294967295 134512640 134714508 3221221776 3221219856 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48851 47922 1111 63 0 48788 0
vsize: 195404
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 74988 0 0 0 19823 173 0 0 25 0 1 0 790939819 200093696 47922 4294967295 134512640 134714508 3221221776 3221219936 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48851 47922 1111 63 0 48788 0
vsize: 195404
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 74988 0 0 0 20823 173 0 0 25 0 1 0 790939819 200093696 47922 4294967295 134512640 134714508 3221221776 3221219712 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48851 47922 1111 63 0 48788 0
vsize: 195404
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 74988 0 0 0 21823 173 0 0 25 0 1 0 790939819 200093696 47922 4294967295 134512640 134714508 3221221776 3221219952 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48851 47922 1111 63 0 48788 0
vsize: 195404
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 77041 0 0 0 22819 177 0 0 25 0 1 0 790939819 204615680 48620 4294967295 134512640 134714508 3221221776 3221217968 1074961402 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49955 48620 1111 63 0 49892 0
vsize: 199820
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 77541 0 0 0 23818 179 0 0 25 0 1 0 790939819 204566528 48904 4294967295 134512640 134714508 3221221776 3221217924 1075115049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49943 48904 1111 63 0 49880 0
vsize: 199772
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 77564 0 0 0 24818 179 0 0 25 0 1 0 790939819 204566528 48927 4294967295 134512640 134714508 3221221776 3221217740 1074873379 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49943 48927 1111 63 0 49880 0
vsize: 199772
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 77568 0 0 0 25818 179 0 0 25 0 1 0 790939819 204566528 48931 4294967295 134512640 134714508 3221221776 3221217824 1075112103 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49943 48931 1111 63 0 49880 0
vsize: 199772
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 77570 0 0 0 26818 179 0 0 25 0 1 0 790939819 204566528 48933 4294967295 134512640 134714508 3221221776 3221217904 1074815497 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49943 48933 1111 63 0 49880 0
vsize: 199772
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 77574 0 0 0 27818 179 0 0 25 0 1 0 790939819 204566528 48937 4294967295 134512640 134714508 3221221776 3221217968 1074961301 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49943 48937 1111 63 0 49880 0
vsize: 199772
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 77576 0 0 0 28819 179 0 0 25 0 1 0 790939819 204566528 48939 4294967295 134512640 134714508 3221221776 3221217968 1074961264 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49943 48939 1111 63 0 49880 0
vsize: 199772
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 77577 0 0 0 29819 179 0 0 25 0 1 0 790939819 204566528 48940 4294967295 134512640 134714508 3221221776 3221217760 1075084533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49943 48940 1111 63 0 49880 0
vsize: 199772
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 77578 0 0 0 30819 179 0 0 25 0 1 0 790939819 204566528 48941 4294967295 134512640 134714508 3221221776 3221217740 1074873478 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49943 48941 1111 63 0 49880 0
vsize: 199772
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 77579 0 0 0 31819 179 0 0 25 0 1 0 790939819 204566528 48942 4294967295 134512640 134714508 3221221776 3221217936 1075115715 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49943 48942 1111 63 0 49880 0
vsize: 199772
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 77579 0 0 0 32819 179 0 0 25 0 1 0 790939819 204566528 48942 4294967295 134512640 134714508 3221221776 3221217968 1074961210 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49943 48942 1111 63 0 49880 0
vsize: 199772
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 77598 0 0 0 33819 179 0 0 25 0 1 0 790939819 204709888 48961 4294967295 134512640 134714508 3221221776 3221218640 1074620304 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49978 48961 1111 63 0 49915 0
vsize: 199912
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 77613 0 0 0 34820 179 0 0 25 0 1 0 790939819 204709888 48976 4294967295 134512640 134714508 3221221776 3221217920 1075895751 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49978 48976 1111 63 0 49915 0
vsize: 199912
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 77615 0 0 0 35820 179 0 0 25 0 1 0 790939819 204709888 48978 4294967295 134512640 134714508 3221221776 3221217904 1074815231 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49978 48978 1111 63 0 49915 0
vsize: 199912
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 77615 0 0 0 36820 179 0 0 25 0 1 0 790939819 204709888 48978 4294967295 134512640 134714508 3221221776 3221217968 1074961149 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49978 48978 1111 63 0 49915 0
vsize: 199912
[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 77616 0 0 0 37820 179 0 0 25 0 1 0 790939819 204709888 48979 4294967295 134512640 134714508 3221221776 3221217740 1074873379 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49978 48979 1111 63 0 49915 0
vsize: 199912
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 77616 0 0 0 38820 179 0 0 25 0 1 0 790939819 204709888 48979 4294967295 134512640 134714508 3221221776 3221217824 1075112097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49978 48979 1111 63 0 49915 0
vsize: 199912
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 77616 0 0 0 39820 179 0 0 25 0 1 0 790939819 204709888 48979 4294967295 134512640 134714508 3221221776 3221218072 1075112516 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49978 48979 1111 63 0 49915 0
vsize: 199912
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 77616 0 0 0 40821 179 0 0 25 0 1 0 790939819 204709888 48979 4294967295 134512640 134714508 3221221776 3221217856 1074883551 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49978 48979 1111 63 0 49915 0
vsize: 199912
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 77616 0 0 0 41821 179 0 0 25 0 1 0 790939819 204709888 48979 4294967295 134512640 134714508 3221221776 3221217740 1074873474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49978 48979 1111 63 0 49915 0
vsize: 199912
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 77616 0 0 0 42821 179 0 0 25 0 1 0 790939819 204709888 48979 4294967295 134512640 134714508 3221221776 3221218616 1075964778 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49978 48979 1111 63 0 49915 0
vsize: 199912
[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 77616 0 0 0 43821 179 0 0 25 0 1 0 790939819 204709888 48979 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49978 48979 1111 63 0 49915 0
vsize: 199912
[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 77616 0 0 0 44821 179 0 0 25 0 1 0 790939819 204709888 48979 4294967295 134512640 134714508 3221221776 3221217936 1075115709 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49978 48979 1111 63 0 49915 0
vsize: 199912
[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 77616 0 0 0 45821 179 0 0 25 0 1 0 790939819 204709888 48979 4294967295 134512640 134714508 3221221776 3221217740 1074873501 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49978 48979 1111 63 0 49915 0
vsize: 199912
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 77617 0 0 0 46822 179 0 0 25 0 1 0 790939819 204709888 48980 4294967295 134512640 134714508 3221221776 3221217604 1074786556 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49978 48980 1111 63 0 49915 0
vsize: 199912
[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 77617 0 0 0 47822 179 0 0 25 0 1 0 790939819 204709888 48980 4294967295 134512640 134714508 3221221776 3221217856 1074794542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49978 48980 1111 63 0 49915 0
vsize: 199912
[startup+490.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 77617 0 0 0 48822 179 0 0 25 0 1 0 790939819 204709888 48980 4294967295 134512640 134714508 3221221776 3221217856 1074794542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49978 48980 1111 63 0 49915 0
vsize: 199912
[startup+500.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 77617 0 0 0 49822 179 0 0 25 0 1 0 790939819 204709888 48980 4294967295 134512640 134714508 3221221776 3221217936 1075115730 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49978 48980 1111 63 0 49915 0
vsize: 199912
[startup+510.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 77617 0 0 0 50822 180 0 0 25 0 1 0 790939819 204709888 48980 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49978 48980 1111 63 0 49915 0
vsize: 199912
[startup+520.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 77617 0 0 0 51823 180 0 0 25 0 1 0 790939819 204709888 48980 4294967295 134512640 134714508 3221221776 3221217968 1074960765 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49978 48980 1111 63 0 49915 0
vsize: 199912
[startup+530.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 77617 0 0 0 52823 180 0 0 25 0 1 0 790939819 204709888 48980 4294967295 134512640 134714508 3221221776 3221217968 1074960898 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49978 48980 1111 63 0 49915 0
vsize: 199912
[startup+540.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 77617 0 0 0 53823 180 0 0 25 0 1 0 790939819 204709888 48980 4294967295 134512640 134714508 3221221776 3221217924 1075115023 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49978 48980 1111 63 0 49915 0
vsize: 199912
[startup+550.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 77617 0 0 0 54823 180 0 0 25 0 1 0 790939819 204709888 48980 4294967295 134512640 134714508 3221221776 3221217968 1074960876 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49978 48980 1111 63 0 49915 0
vsize: 199912
[startup+560.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 77617 0 0 0 55823 180 0 0 25 0 1 0 790939819 204709888 48980 4294967295 134512640 134714508 3221221776 3221217664 1075965246 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49978 48980 1111 63 0 49915 0
vsize: 199912
[startup+570.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 79007 0 0 0 56821 183 0 0 25 0 1 0 790939819 201121792 48302 4294967295 134512640 134714508 3221221776 3221220240 1074032768 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49102 48302 1111 63 0 49039 0
vsize: 196408
[startup+580.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 79007 0 0 0 57821 183 0 0 25 0 1 0 790939819 201121792 48302 4294967295 134512640 134714508 3221221776 3221219848 1074950119 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49102 48302 1111 63 0 49039 0
vsize: 196408
[startup+590.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 79007 0 0 0 58821 183 0 0 25 0 1 0 790939819 201121792 48302 4294967295 134512640 134714508 3221221776 3221219848 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49102 48302 1111 63 0 49039 0
vsize: 196408
[startup+600.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 79007 0 0 0 59821 183 0 0 25 0 1 0 790939819 201121792 48302 4294967295 134512640 134714508 3221221776 3221220000 1074039235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49102 48302 1111 63 0 49039 0
vsize: 196408
[startup+610.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 79007 0 0 0 60820 183 0 0 25 0 1 0 790939819 201121792 48302 4294967295 134512640 134714508 3221221776 3221219692 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49102 48302 1111 63 0 49039 0
vsize: 196408
[startup+620.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 79007 0 0 0 61821 184 0 0 25 0 1 0 790939819 201121792 48302 4294967295 134512640 134714508 3221221776 3221220016 1075006839 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49102 48302 1111 63 0 49039 0
vsize: 196408
[startup+630.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 79007 0 0 0 62820 184 0 0 25 0 1 0 790939819 201121792 48302 4294967295 134512640 134714508 3221221776 3221220224 134648654 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49102 48302 1111 63 0 49039 0
vsize: 196408
[startup+640.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 81562 0 0 0 63814 190 0 0 25 0 1 0 790939819 207773696 49590 4294967295 134512640 134714508 3221221776 3221217924 1075114984 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50726 49590 1111 63 0 50663 0
vsize: 202904
[startup+650.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 81594 0 0 0 64815 190 0 0 25 0 1 0 790939819 207773696 49622 4294967295 134512640 134714508 3221221776 3221218032 1075114245 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50726 49622 1111 63 0 50663 0
vsize: 202904
[startup+660.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 81649 0 0 0 65815 190 0 0 25 0 1 0 790939819 207908864 49677 4294967295 134512640 134714508 3221221776 3221217644 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50759 49677 1111 63 0 50696 0
vsize: 203036
[startup+670.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 81658 0 0 0 66815 190 0 0 25 0 1 0 790939819 207908864 49686 4294967295 134512640 134714508 3221221776 3221217708 1074788921 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50759 49686 1111 63 0 50696 0
vsize: 203036
[startup+680.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 81661 0 0 0 67815 190 0 0 25 0 1 0 790939819 207908864 49689 4294967295 134512640 134714508 3221221776 3221217708 1074788968 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50759 49689 1111 63 0 50696 0
vsize: 203036
[startup+690.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 81661 0 0 0 68815 190 0 0 25 0 1 0 790939819 207908864 49689 4294967295 134512640 134714508 3221221776 3221217768 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50759 49689 1111 63 0 50696 0
vsize: 203036
[startup+700.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 81698 0 0 0 69815 190 0 0 25 0 1 0 790939819 208056320 49726 4294967295 134512640 134714508 3221221776 3221217968 1074961146 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49726 1111 63 0 50732 0
vsize: 203180
[startup+710.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 81699 0 0 0 70816 190 0 0 25 0 1 0 790939819 208056320 49727 4294967295 134512640 134714508 3221221776 3221217740 1074873393 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49727 1111 63 0 50732 0
vsize: 203180
[startup+720.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 81700 0 0 0 71816 190 0 0 25 0 1 0 790939819 208056320 49728 4294967295 134512640 134714508 3221221776 3221217904 1074815423 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49728 1111 63 0 50732 0
vsize: 203180
[startup+730.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 82058 0 0 0 72816 191 0 0 25 0 1 0 790939819 209620992 50086 4294967295 134512640 134714508 3221221776 3221217924 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51177 50086 1111 63 0 51114 0
vsize: 204708
[startup+740.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 82081 0 0 0 73815 191 0 0 25 0 1 0 790939819 208056320 49732 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49732 1111 63 0 50732 0
vsize: 203180
[startup+750.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 82081 0 0 0 74816 191 0 0 25 0 1 0 790939819 208056320 49732 4294967295 134512640 134714508 3221221776 3221217968 1074961146 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49732 1111 63 0 50732 0
vsize: 203180
[startup+760.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 82081 0 0 0 75816 191 0 0 25 0 1 0 790939819 208056320 49732 4294967295 134512640 134714508 3221221776 3221218240 1075088563 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49732 1111 63 0 50732 0
vsize: 203180
[startup+770.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 82081 0 0 0 76816 191 0 0 25 0 1 0 790939819 208056320 49732 4294967295 134512640 134714508 3221221776 3221217740 1074873490 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49732 1111 63 0 50732 0
vsize: 203180
[startup+780.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 82176 0 0 0 77816 191 0 0 25 0 1 0 790939819 209620992 49827 4294967295 134512640 134714508 3221221776 3221217916 1075116767 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51177 49827 1111 63 0 51114 0
vsize: 204708
[startup+790.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 82446 0 0 0 78815 192 0 0 25 0 1 0 790939819 208056320 49732 4294967295 134512640 134714508 3221221776 3221217904 1074815265 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49732 1111 63 0 50732 0
vsize: 203180
[startup+800.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 82446 0 0 0 79815 192 0 0 25 0 1 0 790939819 208056320 49732 4294967295 134512640 134714508 3221221776 3221217660 1074860598 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49732 1111 63 0 50732 0
vsize: 203180
[startup+810.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 82446 0 0 0 80816 192 0 0 25 0 1 0 790939819 208056320 49732 4294967295 134512640 134714508 3221221776 3221217796 1075964218 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49732 1111 63 0 50732 0
vsize: 203180
[startup+820.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 82446 0 0 0 81816 192 0 0 25 0 1 0 790939819 208056320 49732 4294967295 134512640 134714508 3221221776 3221217904 1074815253 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49732 1111 63 0 50732 0
vsize: 203180
[startup+830.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 82539 0 0 0 82816 192 0 0 25 0 1 0 790939819 209620992 49825 4294967295 134512640 134714508 3221221776 3221218192 1075860073 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51177 49825 1111 63 0 51114 0
vsize: 204708
[startup+840.037 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 82819 0 0 0 83816 193 0 0 25 0 1 0 790939819 208056320 49732 4294967295 134512640 134714508 3221221776 3221217968 1074961146 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49732 1111 63 0 50732 0
vsize: 203180
[startup+850.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 82819 0 0 0 84816 193 0 0 25 0 1 0 790939819 208056320 49732 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49732 1111 63 0 50732 0
vsize: 203180
[startup+860.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 82819 0 0 0 85816 193 0 0 25 0 1 0 790939819 208056320 49732 4294967295 134512640 134714508 3221221776 3221217604 1074786412 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49732 1111 63 0 50732 0
vsize: 203180
[startup+870.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 82819 0 0 0 86816 193 0 0 25 0 1 0 790939819 208056320 49732 4294967295 134512640 134714508 3221221776 3221218508 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49732 1111 63 0 50732 0
vsize: 203180
[startup+880.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 82819 0 0 0 87816 193 0 0 25 0 1 0 790939819 208056320 49732 4294967295 134512640 134714508 3221221776 3221217604 1074786556 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49732 1111 63 0 50732 0
vsize: 203180
[startup+890.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 83121 0 0 0 88816 193 0 0 25 0 1 0 790939819 209620992 50034 4294967295 134512640 134714508 3221221776 3221217924 1075115014 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51177 50034 1111 63 0 51114 0
vsize: 204708
[startup+900.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 83125 0 0 0 89816 194 0 0 25 0 1 0 790939819 208056320 49673 4294967295 134512640 134714508 3221221776 3221217924 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49673 1111 63 0 50732 0
vsize: 203180
[startup+910.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 83126 0 0 0 90816 194 0 0 25 0 1 0 790939819 208056320 49674 4294967295 134512640 134714508 3221221776 3221217740 1074873723 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49674 1111 63 0 50732 0
vsize: 203180
[startup+920.039 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 83128 0 0 0 91816 194 0 0 25 0 1 0 790939819 208056320 49676 4294967295 134512640 134714508 3221221776 3221217740 1074873474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+930.039 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 83128 0 0 0 92816 194 0 0 25 0 1 0 790939819 208056320 49676 4294967295 134512640 134714508 3221221776 3221217792 1074877652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+940.039 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 83128 0 0 0 93816 194 0 0 25 0 1 0 790939819 208056320 49676 4294967295 134512640 134714508 3221221776 3221217920 1075895652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+950.039 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 83128 0 0 0 94816 194 0 0 25 0 1 0 790939819 208056320 49676 4294967295 134512640 134714508 3221221776 3221217856 1074883551 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+960.039 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 83128 0 0 0 95816 194 0 0 25 0 1 0 790939819 208056320 49676 4294967295 134512640 134714508 3221221776 3221217740 1074873336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+970.039 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 83128 0 0 0 96816 194 0 0 25 0 1 0 790939819 208056320 49676 4294967295 134512640 134714508 3221221776 3221217904 1074815312 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+980.039 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 83128 0 0 0 97817 194 0 0 25 0 1 0 790939819 208056320 49676 4294967295 134512640 134714508 3221221776 3221217924 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+990.039 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 83128 0 0 0 98817 194 0 0 25 0 1 0 790939819 208056320 49676 4294967295 134512640 134714508 3221221776 3221217924 1075115092 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 83128 0 0 0 99817 194 0 0 25 0 1 0 790939819 208056320 49676 4294967295 134512640 134714508 3221221776 3221217856 1074883536 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 83128 0 0 0 100817 194 0 0 25 0 1 0 790939819 208056320 49676 4294967295 134512640 134714508 3221221776 3221218064 1075894562 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 83128 0 0 0 101817 194 0 0 25 0 1 0 790939819 208056320 49676 4294967295 134512640 134714508 3221221776 3221217740 1074873490 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 83128 0 0 0 102817 194 0 0 25 0 1 0 790939819 208056320 49676 4294967295 134512640 134714508 3221221776 3221217824 1075112086 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 83128 0 0 0 103817 194 0 0 25 0 1 0 790939819 208056320 49676 4294967295 134512640 134714508 3221221776 3221217936 1075115709 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 83128 0 0 0 104817 194 0 0 25 0 1 0 790939819 208056320 49676 4294967295 134512640 134714508 3221221776 3221217856 1074794655 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 83128 0 0 0 105817 194 0 0 25 0 1 0 790939819 208056320 49676 4294967295 134512640 134714508 3221221776 3221217740 1074873474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 83128 0 0 0 106817 195 0 0 25 0 1 0 790939819 208056320 49676 4294967295 134512640 134714508 3221221776 3221217968 1074961132 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 83128 0 0 0 107818 195 0 0 25 0 1 0 790939819 208056320 49676 4294967295 134512640 134714508 3221221776 3221217636 1074786537 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 83128 0 0 0 108818 195 0 0 25 0 1 0 790939819 208056320 49676 4294967295 134512640 134714508 3221221776 3221217924 1075114923 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 83128 0 0 0 109818 195 0 0 25 0 1 0 790939819 208056320 49676 4294967295 134512640 134714508 3221221776 3221217708 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 83128 0 0 0 110818 195 0 0 25 0 1 0 790939819 208056320 49676 4294967295 134512640 134714508 3221221776 3221217708 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 83128 0 0 0 111818 195 0 0 25 0 1 0 790939819 208056320 49676 4294967295 134512640 134714508 3221221776 3221217740 1074873490 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 83128 0 0 0 112818 195 0 0 25 0 1 0 790939819 208056320 49676 4294967295 134512640 134714508 3221221776 3221217740 1074873474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 83128 0 0 0 113818 195 0 0 25 0 1 0 790939819 208056320 49676 4294967295 134512640 134714508 3221221776 3221217856 1074794571 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 83128 0 0 0 114818 195 0 0 25 0 1 0 790939819 208056320 49676 4294967295 134512640 134714508 3221221776 3221218240 1075088563 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 83128 0 0 0 115819 195 0 0 25 0 1 0 790939819 208056320 49676 4294967295 134512640 134714508 3221221776 3221217872 1074882604 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 83128 0 0 0 116819 195 0 0 25 0 1 0 790939819 208056320 49676 4294967295 134512640 134714508 3221221776 3221218272 1076050067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 83128 0 0 0 117819 195 0 0 25 0 1 0 790939819 208056320 49676 4294967295 134512640 134714508 3221221776 3221218208 1075084533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 83128 0 0 0 118819 195 0 0 25 0 1 0 790939819 208056320 49676 4294967295 134512640 134714508 3221221776 3221217580 1074788943 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 26273
Raw data (stat): 26273 (bsolo_lpr) R 26272 7876 7672 0 -1 0 83128 0 0 0 119819 195 0 0 25 0 1 0 790939819 208056320 49676 4294967295 134512640 134714508 3221221776 3221217924 1075115049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.14 s]
Raw data (loadavg): 0.99 0.97 0.94 1/55 26273
Raw data (stat): 26273 (bsolo_lpr) Z 26272 7876 7672 0 -1 1036 83128 0 0 0 119819 204 0 0 25 0 1 0 790939819 0 0 4294967295 0 0 0 0 0 0 0 1 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.14
CPU time (s): 1200.24
CPU user time (s): 1198.2
CPU system time (s): 2.04669
CPU usage (%): 100.009
Max. virtual memory (Kb): 204708
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####