PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-siena1.opb
MD5SUM	575f632072d90cb1b2032661c3842261
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	70755
Biggest coefficient in the objective function	536870912000000000000
Number of bits for the biggest coefficient in the objective function	69
Sum of the numbers in the objective function	28224865138562973040640
Number of bits of the sum of numbers in the objective function	75
Biggest number in a constraint	536870912000000000000
Number of bits of the biggest number in a constraint	69
Biggest sum of numbers in a constraint	28224967538562973040640
Number of bits of the biggest sum of numbers	75
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.701893
Number of variables	70755
Total number of constraints	13995
Number of constraints which are clauses	310
Number of constraints which are cardinality constraints (but not clauses)	11776
Number of constraints which are nor clauses,nor cardinality constraints	1909
Minimum length of a constraint	1
Maximum length of a constraint	70755
Trace number 26127

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-24 10:37:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15211 boxname=wulflinc31 idbench=1171 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  575f632072d90cb1b2032661c3842261  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-siena1.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-siena1.opb
IDLAUNCH: 15211
/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:        714832 kB
Buffers:         29112 kB
Cached:         269756 kB
SwapCached:        944 kB
Active:         107408 kB
Inactive:       193520 kB
HighTotal:      131008 kB
HighFree:         4172 kB
LowTotal:       903652 kB
LowFree:        710660 kB
SwapTotal:     2097892 kB
SwapFree:      2095920 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            13228 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 10:57:45 (client local time) WITH STATUS 0 IN 1200.36 SECONDS
stats: 15211 7 1200.36 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.98 0.99 2/55 27040
Raw data (stat): 27040 (runsolver) R 27039 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 829555343 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0002 s]
Raw data (loadavg): 0.93 0.98 0.99 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 2007 0 0 0 988 7 0 0 25 0 1 0 829555343 19718144 1930 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4814 1930 1111 63 0 4751 0
vsize: 19256
[startup+20.001 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 3143 0 0 0 1987 9 0 0 25 0 1 0 829555343 24346624 3066 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5944 3066 1111 63 0 5881 0
vsize: 23776
[startup+30.001 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 4285 0 0 0 2985 11 0 0 25 0 1 0 829555343 28971008 4208 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7073 4208 1111 63 0 7010 0
vsize: 28292
[startup+40.0008 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 5427 0 0 0 3983 13 0 0 25 0 1 0 829555343 33751040 5350 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8240 5350 1111 63 0 8177 0
vsize: 32960
[startup+50.0018 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 6575 0 0 0 4981 16 0 0 25 0 1 0 829555343 38379520 6498 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9370 6498 1111 63 0 9307 0
vsize: 37480
[startup+60.0017 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 7726 0 0 0 5979 18 0 0 25 0 1 0 829555343 43143168 7649 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10533 7649 1111 63 0 10470 0
vsize: 42132
[startup+70.0027 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 8880 0 0 0 6977 20 0 0 25 0 1 0 829555343 47771648 8803 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11663 8803 1111 63 0 11600 0
vsize: 46652
[startup+80.0036 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 10042 0 0 0 7975 22 0 0 25 0 1 0 829555343 52551680 9965 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12830 9965 1111 63 0 12767 0
vsize: 51320
[startup+90.0035 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 11202 0 0 0 8974 23 0 0 25 0 1 0 829555343 57331712 11125 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13997 11125 1111 63 0 13934 0
vsize: 55988
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 12362 0 0 0 9972 25 0 0 25 0 1 0 829555343 62107648 12285 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15163 12285 1111 63 0 15100 0
vsize: 60652
[startup+110.005 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 13533 0 0 0 10970 28 0 0 25 0 1 0 829555343 66859008 13456 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16323 13456 1111 63 0 16260 0
vsize: 65292
[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 14706 0 0 0 11968 30 0 0 25 0 1 0 829555343 71634944 14629 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17489 14629 1111 63 0 17426 0
vsize: 69956
[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 15879 0 0 0 12966 32 0 0 25 0 1 0 829555343 76562432 15802 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18692 15802 1111 63 0 18629 0
vsize: 74768
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 17057 0 0 0 13965 33 0 0 25 0 1 0 829555343 81338368 16980 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19858 16980 1111 63 0 19795 0
vsize: 79432
[startup+150.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 18236 0 0 0 14962 36 0 0 25 0 1 0 829555343 86114304 18159 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21024 18159 1111 63 0 20961 0
vsize: 84096
[startup+160.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 19421 0 0 0 15960 39 0 0 25 0 1 0 829555343 91045888 19344 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22228 19344 1111 63 0 22165 0
vsize: 88912
[startup+170.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 20606 0 0 0 16958 41 0 0 25 0 1 0 829555343 95825920 20529 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23395 20529 1111 63 0 23332 0
vsize: 93580
[startup+180.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 21796 0 0 0 17955 44 0 0 25 0 1 0 829555343 100749312 21719 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24597 21719 1111 63 0 24534 0
vsize: 98388
[startup+190.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 22993 0 0 0 18953 46 0 0 25 0 1 0 829555343 105676800 22916 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25800 22916 1111 63 0 25737 0
vsize: 103200
[startup+200.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 24190 0 0 0 19951 48 0 0 25 0 1 0 829555343 110604288 24113 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27003 24113 1111 63 0 26940 0
vsize: 108012
[startup+210.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 25399 0 0 0 20950 50 0 0 25 0 1 0 829555343 115503104 25322 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28199 25322 1111 63 0 28136 0
vsize: 112796
[startup+220.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 26603 0 0 0 21948 52 0 0 25 0 1 0 829555343 120426496 26526 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29401 26526 1111 63 0 29338 0
vsize: 117604
[startup+230.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 27812 0 0 0 22947 54 0 0 25 0 1 0 829555343 125362176 27735 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30606 27735 1111 63 0 30543 0
vsize: 122424
[startup+240.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 29028 0 0 0 23945 55 0 0 25 0 1 0 829555343 130437120 28951 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31845 28951 1111 63 0 31782 0
vsize: 127380
[startup+250.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 30242 0 0 0 24943 58 0 0 25 0 1 0 829555343 135360512 30165 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33047 30165 1111 63 0 32984 0
vsize: 132188
[startup+260.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 31464 0 0 0 25941 60 0 0 25 0 1 0 829555343 140288000 31387 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34250 31387 1111 63 0 34187 0
vsize: 137000
[startup+270.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 32691 0 0 0 26939 62 0 0 25 0 1 0 829555343 145362944 32614 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35489 32614 1111 63 0 35426 0
vsize: 141956
[startup+280.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 33920 0 0 0 27937 64 0 0 25 0 1 0 829555343 150441984 33843 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36729 33843 1111 63 0 36666 0
vsize: 146916
[startup+290.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 35154 0 0 0 28935 66 0 0 25 0 1 0 829555343 155521024 35077 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37969 35077 1111 63 0 37906 0
vsize: 151876
[startup+300.015 s]
Raw data (loadavg): 1.07 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 36387 0 0 0 29933 68 0 0 25 0 1 0 829555343 160444416 36310 4294967295 134512640 134714508 3221221776 3221220004 1077414349 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39171 36310 1111 63 0 39108 0
vsize: 156684
[startup+310.015 s]
Raw data (loadavg): 1.06 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 37627 0 0 0 30932 70 0 0 25 0 1 0 829555343 165519360 37550 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40410 37550 1111 63 0 40347 0
vsize: 161640
[startup+320.016 s]
Raw data (loadavg): 1.05 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 38872 0 0 0 31929 73 0 0 25 0 1 0 829555343 170745856 38795 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41686 38795 1111 63 0 41623 0
vsize: 166744
[startup+330.017 s]
Raw data (loadavg): 1.04 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 40118 0 0 0 32927 76 0 0 25 0 1 0 829555343 175824896 40041 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42926 40041 1111 63 0 42863 0
vsize: 171704
[startup+340.017 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 41371 0 0 0 33925 78 0 0 25 0 1 0 829555343 180899840 41294 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44165 41294 1111 63 0 44102 0
vsize: 176660
[startup+350.018 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 42628 0 0 0 34923 79 0 0 25 0 1 0 829555343 186126336 42551 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45441 42551 1111 63 0 45378 0
vsize: 181764
[startup+360.019 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 43891 0 0 0 35922 81 0 0 25 0 1 0 829555343 191201280 43814 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46680 43814 1111 63 0 46617 0
vsize: 186720
[startup+370.02 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 45154 0 0 0 36919 84 0 0 25 0 1 0 829555343 196423680 45077 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47955 45077 1111 63 0 47892 0
vsize: 191820
[startup+380.02 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 46425 0 0 0 37918 86 0 0 25 0 1 0 829555343 201654272 46348 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49232 46348 1111 63 0 49169 0
vsize: 196928
[startup+390.019 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 47695 0 0 0 38915 88 0 0 25 0 1 0 829555343 206880768 47618 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50508 47624 1111 63 0 50445 0
vsize: 202032
[startup+400.021 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 48976 0 0 0 39913 91 0 0 25 0 1 0 829555343 212103168 48899 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51783 48899 1111 63 0 51720 0
vsize: 207132
[startup+410.02 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 50268 0 0 0 40911 93 0 0 25 0 1 0 829555343 217473024 50191 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53094 50191 1111 63 0 53031 0
vsize: 212376
[startup+420.021 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 51558 0 0 0 41909 95 0 0 25 0 1 0 829555343 222703616 51481 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54371 51481 1111 63 0 54308 0
vsize: 217484
[startup+430.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 52846 0 0 0 42908 97 0 0 25 0 1 0 829555343 227926016 52769 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55646 52769 1111 63 0 55583 0
vsize: 222584
[startup+440.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 54145 0 0 0 43905 100 0 0 25 0 1 0 829555343 233299968 54068 4294967295 134512640 134714508 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56958 54068 1111 63 0 56895 0
vsize: 227832
[startup+450.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 55445 0 0 0 44903 102 0 0 25 0 1 0 829555343 238673920 55368 4294967295 134512640 134714508 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58270 55368 1111 63 0 58207 0
vsize: 233080
[startup+460.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 56753 0 0 0 45901 104 0 0 25 0 1 0 829555343 243904512 56676 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59547 56676 1111 63 0 59484 0
vsize: 238188
[startup+470.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 58066 0 0 0 46899 106 0 0 25 0 1 0 829555343 249278464 57989 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60859 57989 1111 63 0 60796 0
vsize: 243436
[startup+480.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 59378 0 0 0 47897 108 0 0 25 0 1 0 829555343 254652416 59301 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62171 59301 1111 63 0 62108 0
vsize: 248684
[startup+490.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 60702 0 0 0 48895 111 0 0 25 0 1 0 829555343 260173824 60625 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63519 60625 1111 63 0 63456 0
vsize: 254076
[startup+500.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 62035 0 0 0 49893 113 0 0 25 0 1 0 829555343 265555968 61958 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64833 61958 1111 63 0 64770 0
vsize: 259332
[startup+510.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 63367 0 0 0 50890 116 0 0 25 0 1 0 829555343 271081472 63290 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 66182 63290 1111 63 0 66119 0
vsize: 264728
[startup+520.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 64709 0 0 0 51888 118 0 0 25 0 1 0 829555343 276602880 64632 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67530 64632 1111 63 0 67467 0
vsize: 270120
[startup+530.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 66054 0 0 0 52885 122 0 0 25 0 1 0 829555343 281985024 65977 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 68844 65977 1111 63 0 68781 0
vsize: 275376
[startup+540.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 67402 0 0 0 53883 124 0 0 25 0 1 0 829555343 287510528 67325 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70193 67325 1111 63 0 70130 0
vsize: 280772
[startup+550.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 68758 0 0 0 54881 126 0 0 25 0 1 0 829555343 293183488 68681 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71578 68681 1111 63 0 71515 0
vsize: 286312
[startup+560.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 70120 0 0 0 55878 129 0 0 25 0 1 0 829555343 298708992 70043 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72927 70043 1111 63 0 72864 0
vsize: 291708
[startup+570.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 71488 0 0 0 56875 132 0 0 25 0 1 0 829555343 304238592 71411 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 74277 71411 1111 63 0 74214 0
vsize: 297108
[startup+580.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 72509 0 0 0 57873 134 0 0 25 0 1 0 829555343 308424704 72432 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75299 72432 1111 63 0 75236 0
vsize: 301196
[startup+590.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 72642 0 0 0 58873 134 0 0 25 0 1 0 829555343 309018624 72565 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75444 72565 1111 63 0 75381 0
vsize: 301776
[startup+600.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 72775 0 0 0 59873 135 0 0 25 0 1 0 829555343 309620736 72698 4294967295 134512640 134714508 3221221776 3221220004 1077414424 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75591 72698 1111 63 0 75528 0
vsize: 302364
[startup+610.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 72914 0 0 0 60873 135 0 0 25 0 1 0 829555343 310075392 72837 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75702 72837 1111 63 0 75639 0
vsize: 302808
[startup+620.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 73038 0 0 0 61873 135 0 0 25 0 1 0 829555343 310669312 72961 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75847 72961 1111 63 0 75784 0
vsize: 303388
[startup+630.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 73172 0 0 0 62873 135 0 0 25 0 1 0 829555343 311119872 73095 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75957 73095 1111 63 0 75894 0
vsize: 303828
[startup+640.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 73304 0 0 0 63873 135 0 0 25 0 1 0 829555343 311717888 73227 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76103 73227 1111 63 0 76040 0
vsize: 304412
[startup+650.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 73436 0 0 0 64873 136 0 0 25 0 1 0 829555343 312320000 73359 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76250 73359 1111 63 0 76187 0
vsize: 305000
[startup+660.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 73576 0 0 0 65873 136 0 0 25 0 1 0 829555343 312893440 73499 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76390 73499 1111 63 0 76327 0
vsize: 305560
[startup+670.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 73700 0 0 0 66873 136 0 0 25 0 1 0 829555343 313335808 73623 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76498 73623 1111 63 0 76435 0
vsize: 305992
[startup+680.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 73833 0 0 0 67873 136 0 0 25 0 1 0 829555343 313937920 73756 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76645 73756 1111 63 0 76582 0
vsize: 306580
[startup+690.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 73964 0 0 0 68873 137 0 0 25 0 1 0 829555343 314388480 73887 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76755 73887 1111 63 0 76692 0
vsize: 307020
[startup+700.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 74097 0 0 0 69873 137 0 0 25 0 1 0 829555343 314990592 74020 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76902 74020 1111 63 0 76839 0
vsize: 307608
[startup+710.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 74236 0 0 0 70872 137 0 0 25 0 1 0 829555343 315588608 74159 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 77048 74159 1111 63 0 76985 0
vsize: 308192
[startup+720.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 74374 0 0 0 71872 138 0 0 25 0 1 0 829555343 316035072 74297 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 77157 74297 1111 63 0 77094 0
vsize: 308628
[startup+730.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 74507 0 0 0 72872 138 0 0 25 0 1 0 829555343 316637184 74430 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 77304 74430 1111 63 0 77241 0
vsize: 309216
[startup+740.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 74666 0 0 0 73872 138 0 0 25 0 1 0 829555343 317394944 74589 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 77489 74589 1111 63 0 77426 0
vsize: 309956
[startup+750.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 74804 0 0 0 74873 138 0 0 25 0 1 0 829555343 317997056 74727 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 77636 74727 1111 63 0 77573 0
vsize: 310544
[startup+760.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 74943 0 0 0 75872 138 0 0 25 0 1 0 829555343 318599168 74866 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 77783 74866 1111 63 0 77720 0
vsize: 311132
[startup+770.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 75082 0 0 0 76872 139 0 0 25 0 1 0 829555343 319045632 75005 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 77892 75005 1111 63 0 77829 0
vsize: 311568
[startup+780.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 75202 0 0 0 77872 139 0 0 25 0 1 0 829555343 319647744 75125 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78039 75125 1111 63 0 77976 0
vsize: 312156
[startup+790.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 75349 0 0 0 78872 139 0 0 25 0 1 0 829555343 320249856 75272 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78186 75272 1111 63 0 78123 0
vsize: 312744
[startup+800.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 75494 0 0 0 79872 140 0 0 25 0 1 0 829555343 320843776 75417 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78331 75417 1111 63 0 78268 0
vsize: 313324
[startup+810.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 75643 0 0 0 80872 140 0 0 25 0 1 0 829555343 321445888 75566 4294967295 134512640 134714508 3221221776 3221220004 1077414399 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78478 75566 1111 63 0 78415 0
vsize: 313912
[startup+820.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 75790 0 0 0 81872 140 0 0 25 0 1 0 829555343 322048000 75713 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78625 75713 1111 63 0 78562 0
vsize: 314500
[startup+830.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 75935 0 0 0 82872 140 0 0 25 0 1 0 829555343 322641920 75858 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78770 75858 1111 63 0 78707 0
vsize: 315080
[startup+840.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 76083 0 0 0 83872 141 0 0 25 0 1 0 829555343 323244032 76006 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78917 76006 1111 63 0 78854 0
vsize: 315668
[startup+850.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 76238 0 0 0 84872 141 0 0 25 0 1 0 829555343 323846144 76161 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79064 76161 1111 63 0 79001 0
vsize: 316256
[startup+860.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 76390 0 0 0 85872 141 0 0 25 0 1 0 829555343 324440064 76313 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79209 76313 1111 63 0 79146 0
vsize: 316836
[startup+870.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 76538 0 0 0 86872 142 0 0 25 0 1 0 829555343 325042176 76461 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79356 76461 1111 63 0 79293 0
vsize: 317424
[startup+880.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 76672 0 0 0 87872 142 0 0 25 0 1 0 829555343 325644288 76595 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79503 76595 1111 63 0 79440 0
vsize: 318012
[startup+890.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 76818 0 0 0 88871 142 0 0 25 0 1 0 829555343 326238208 76741 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79648 76741 1111 63 0 79585 0
vsize: 318592
[startup+900.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 76965 0 0 0 89871 143 0 0 25 0 1 0 829555343 326840320 76888 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79795 76888 1111 63 0 79732 0
vsize: 319180
[startup+910.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 77112 0 0 0 90870 144 0 0 25 0 1 0 829555343 327442432 77035 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79942 77035 1111 63 0 79879 0
vsize: 319768
[startup+920.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 77264 0 0 0 91870 144 0 0 25 0 1 0 829555343 328040448 77187 4294967295 134512640 134714508 3221221776 3221220004 1077414424 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80088 77187 1111 63 0 80025 0
vsize: 320352
[startup+930.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 77419 0 0 0 92870 144 0 0 25 0 1 0 829555343 328642560 77342 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80235 77342 1111 63 0 80172 0
vsize: 320940
[startup+940.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 77574 0 0 0 93870 145 0 0 25 0 1 0 829555343 329240576 77497 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80381 77497 1111 63 0 80318 0
vsize: 321524
[startup+950.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 77728 0 0 0 94870 145 0 0 25 0 1 0 829555343 329838592 77651 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80527 77651 1111 63 0 80464 0
vsize: 322108
[startup+960.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 77889 0 0 0 95869 146 0 0 25 0 1 0 829555343 330588160 77812 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80710 77812 1111 63 0 80647 0
vsize: 322840
[startup+970.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 78052 0 0 0 96869 146 0 0 25 0 1 0 829555343 331190272 77975 4294967295 134512640 134714508 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80857 77975 1111 63 0 80794 0
vsize: 323428
[startup+980.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 78215 0 0 0 97869 147 0 0 25 0 1 0 829555343 331939840 78138 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81040 78138 1111 63 0 80977 0
vsize: 324160
[startup+990.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 78381 0 0 0 98868 147 0 0 25 0 1 0 829555343 332537856 78304 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81186 78304 1111 63 0 81123 0
vsize: 324744
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 78550 0 0 0 99869 147 0 0 25 0 1 0 829555343 333287424 78473 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81369 78473 1111 63 0 81306 0
vsize: 325476
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 78714 0 0 0 100868 148 0 0 25 0 1 0 829555343 333889536 78637 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81516 78637 1111 63 0 81453 0
vsize: 326064
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 78868 0 0 0 101868 148 0 0 25 0 1 0 829555343 334487552 78791 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81662 78791 1111 63 0 81599 0
vsize: 326648
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 79021 0 0 0 102868 148 0 0 25 0 1 0 829555343 335233024 78944 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81844 78944 1111 63 0 81781 0
vsize: 327376
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 79184 0 0 0 103868 149 0 0 25 0 1 0 829555343 335835136 79107 4294967295 134512640 134714508 3221221776 3221220004 1077414424 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81991 79107 1111 63 0 81928 0
vsize: 327964
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 79345 0 0 0 104868 149 0 0 25 0 1 0 829555343 336437248 79268 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82138 79268 1111 63 0 82075 0
vsize: 328552
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 79499 0 0 0 105868 150 0 0 25 0 1 0 829555343 337182720 79422 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82320 79422 1111 63 0 82257 0
vsize: 329280
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 79661 0 0 0 106868 150 0 0 25 0 1 0 829555343 337784832 79584 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82467 79584 1111 63 0 82404 0
vsize: 329868
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 79823 0 0 0 107867 150 0 0 25 0 1 0 829555343 338386944 79746 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82614 79746 1111 63 0 82551 0
vsize: 330456
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 79992 0 0 0 108867 151 0 0 25 0 1 0 829555343 339136512 79915 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82797 79915 1111 63 0 82734 0
vsize: 331188
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 80146 0 0 0 109867 151 0 0 25 0 1 0 829555343 339730432 80069 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82942 80069 1111 63 0 82879 0
vsize: 331768
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 80301 0 0 0 110867 152 0 0 25 0 1 0 829555343 340332544 80224 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83089 80224 1111 63 0 83026 0
vsize: 332356
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 80463 0 0 0 111866 152 0 0 25 0 1 0 829555343 341086208 80386 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83273 80386 1111 63 0 83210 0
vsize: 333092
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 80623 0 0 0 112866 152 0 0 25 0 1 0 829555343 341680128 80546 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83418 80546 1111 63 0 83355 0
vsize: 333672
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 80785 0 0 0 113866 152 0 0 25 0 1 0 829555343 342429696 80708 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83601 80708 1111 63 0 83538 0
vsize: 334404
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 80955 0 0 0 114866 153 0 0 25 0 1 0 829555343 343031808 80878 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83748 80878 1111 63 0 83685 0
vsize: 334992
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 81124 0 0 0 115866 153 0 0 25 0 1 0 829555343 343785472 81047 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83932 81047 1111 63 0 83869 0
vsize: 335728
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 81301 0 0 0 116866 153 0 0 25 0 1 0 829555343 344530944 81224 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84114 81224 1111 63 0 84051 0
vsize: 336456
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 81476 0 0 0 117866 154 0 0 25 0 1 0 829555343 345128960 81399 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84260 81399 1111 63 0 84197 0
vsize: 337040
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 81668 0 0 0 118866 154 0 0 25 0 1 0 829555343 346025984 81591 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84479 81591 1111 63 0 84416 0
vsize: 337916
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27040
Raw data (stat): 27040 (bsolo_lpr) R 27039 7876 7672 0 -1 0 81872 0 0 0 119865 155 0 0 25 0 1 0 829555343 346779648 81795 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84663 81795 1111 63 0 84600 0
vsize: 338652
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.21 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 27040
Raw data (stat): 27040 (bsolo_lpr) Z 27039 7876 7672 0 -1 1036 81872 0 0 0 119865 170 0 0 25 0 1 0 829555343 0 0 4294967295 0 0 0 0 0 0 0 1 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.21
CPU time (s): 1200.36
CPU user time (s): 1198.66
CPU system time (s): 1.70174
CPU usage (%): 100.012
Max. virtual memory (Kb): 338652
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####