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-dolom1.opb
MD5SUM	bafd5f2a91d0ace4ec9dc114753d5b3e
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	66480
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	35987090508169210757120
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	35987192908169210757120
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.632903
Number of variables	66480
Total number of constraints	11523
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	9721
Number of constraints which are nor clauses,nor cardinality constraints	1802
Minimum length of a constraint	1
Maximum length of a constraint	66480
Trace number 26142

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-24 12:42:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15107 boxname=wulflinc31 idbench=1163 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  bafd5f2a91d0ace4ec9dc114753d5b3e  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-dolom1.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-dolom1.opb
IDLAUNCH: 15107
/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:        656328 kB
Buffers:         32684 kB
Cached:         324732 kB
SwapCached:        944 kB
Active:         146468 kB
Inactive:       213052 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        656076 kB
SwapTotal:     2097892 kB
SwapFree:      2095920 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            13152 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 13:02:22 (client local time) WITH STATUS 0 IN 1200.44 SECONDS
stats: 15107 7 1200.44 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): 1.14 1.02 0.96 2/55 28559
Raw data (stat): 28559 (runsolver) R 28558 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 830303155 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.0008 s]
Raw data (loadavg): 1.12 1.02 0.96 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 2033 0 0 0 989 6 0 0 25 0 1 0 830303155 19865600 1956 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4850 1956 1111 63 0 4787 0
vsize: 19400
[startup+20.0016 s]
Raw data (loadavg): 1.10 1.02 0.96 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 3230 0 0 0 1986 9 0 0 25 0 1 0 830303155 24793088 3153 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6053 3153 1111 63 0 5990 0
vsize: 24212
[startup+30.0026 s]
Raw data (loadavg): 1.08 1.02 0.96 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 4427 0 0 0 2984 12 0 0 25 0 1 0 830303155 29716480 4350 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7255 4350 1111 63 0 7192 0
vsize: 29020
[startup+40.0036 s]
Raw data (loadavg): 1.07 1.02 0.96 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 5611 0 0 0 3981 15 0 0 25 0 1 0 830303155 34496512 5534 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8422 5534 1111 63 0 8359 0
vsize: 33688
[startup+50.0043 s]
Raw data (loadavg): 1.06 1.01 0.96 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 6808 0 0 0 4981 16 0 0 25 0 1 0 830303155 39419904 6731 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 6731 1111 63 0 9561 0
vsize: 38496
[startup+60.0052 s]
Raw data (loadavg): 1.05 1.01 0.96 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 8009 0 0 0 5979 17 0 0 25 0 1 0 830303155 44339200 7932 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10825 7932 1111 63 0 10762 0
vsize: 43300
[startup+70.0052 s]
Raw data (loadavg): 1.04 1.01 0.96 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 9205 0 0 0 6977 20 0 0 25 0 1 0 830303155 49266688 9128 4294967295 134512640 134714508 3221221776 3221220004 1077414349 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12028 9128 1111 63 0 11965 0
vsize: 48112
[startup+80.0061 s]
Raw data (loadavg): 1.04 1.01 0.96 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 10408 0 0 0 7975 22 0 0 25 0 1 0 830303155 54194176 10331 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13231 10331 1111 63 0 13168 0
vsize: 52924
[startup+90.006 s]
Raw data (loadavg): 1.03 1.01 0.96 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 11617 0 0 0 8973 24 0 0 25 0 1 0 830303155 59117568 11540 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14433 11540 1111 63 0 14370 0
vsize: 57732
[startup+100.006 s]
Raw data (loadavg): 1.02 1.01 0.96 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 12825 0 0 0 9971 26 0 0 25 0 1 0 830303155 64045056 12748 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15636 12748 1111 63 0 15573 0
vsize: 62544
[startup+110.007 s]
Raw data (loadavg): 1.02 1.01 0.96 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 14046 0 0 0 10969 28 0 0 25 0 1 0 830303155 69095424 13969 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16869 13969 1111 63 0 16806 0
vsize: 67476
[startup+120.008 s]
Raw data (loadavg): 1.02 1.01 0.96 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 15262 0 0 0 11968 30 0 0 25 0 1 0 830303155 74027008 15185 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18073 15185 1111 63 0 18010 0
vsize: 72292
[startup+130.009 s]
Raw data (loadavg): 1.01 1.01 0.96 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 16483 0 0 0 12966 32 0 0 25 0 1 0 830303155 79101952 16406 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19312 16406 1111 63 0 19249 0
vsize: 77248
[startup+140.009 s]
Raw data (loadavg): 1.09 1.02 0.96 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 17710 0 0 0 13964 34 0 0 25 0 1 0 830303155 84029440 17633 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20515 17633 1111 63 0 20452 0
vsize: 82060
[startup+150.009 s]
Raw data (loadavg): 1.08 1.02 0.96 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 18943 0 0 0 14963 36 0 0 25 0 1 0 830303155 89104384 18866 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21754 18866 1111 63 0 21691 0
vsize: 87016
[startup+160.01 s]
Raw data (loadavg): 1.06 1.02 0.96 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 20176 0 0 0 15960 38 0 0 25 0 1 0 830303155 94179328 20099 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22993 20099 1111 63 0 22930 0
vsize: 91972
[startup+170.009 s]
Raw data (loadavg): 1.20 1.05 0.97 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 21410 0 0 0 16958 41 0 0 25 0 1 0 830303155 99258368 21333 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24233 21333 1111 63 0 24170 0
vsize: 96932
[startup+180.01 s]
Raw data (loadavg): 1.17 1.05 0.97 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 22655 0 0 0 17956 43 0 0 25 0 1 0 830303155 104333312 22578 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25472 22578 1111 63 0 25409 0
vsize: 101888
[startup+190.011 s]
Raw data (loadavg): 1.14 1.05 0.97 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 23901 0 0 0 18954 45 0 0 25 0 1 0 830303155 109408256 23824 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26711 23824 1111 63 0 26648 0
vsize: 106844
[startup+200.011 s]
Raw data (loadavg): 1.12 1.05 0.97 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 25146 0 0 0 19951 48 0 0 25 0 1 0 830303155 114483200 25069 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27950 25069 1111 63 0 27887 0
vsize: 111800
[startup+210.012 s]
Raw data (loadavg): 1.10 1.04 0.97 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 26410 0 0 0 20949 51 0 0 25 0 1 0 830303155 119681024 26333 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29219 26333 1111 63 0 29156 0
vsize: 116876
[startup+220.013 s]
Raw data (loadavg): 1.09 1.04 0.97 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 27668 0 0 0 21947 53 0 0 25 0 1 0 830303155 124911616 27591 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30496 27591 1111 63 0 30433 0
vsize: 121984
[startup+230.014 s]
Raw data (loadavg): 1.15 1.06 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 28933 0 0 0 22945 55 0 0 25 0 1 0 830303155 129986560 28856 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31735 28856 1111 63 0 31672 0
vsize: 126940
[startup+240.014 s]
Raw data (loadavg): 1.12 1.06 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 30196 0 0 0 23944 56 0 0 25 0 1 0 830303155 135213056 30119 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33011 30119 1111 63 0 32948 0
vsize: 132044
[startup+250.014 s]
Raw data (loadavg): 1.10 1.05 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 31466 0 0 0 24942 59 0 0 25 0 1 0 830303155 140435456 31389 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34286 31389 1111 63 0 34223 0
vsize: 137144
[startup+260.015 s]
Raw data (loadavg): 1.09 1.05 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 32742 0 0 0 25938 62 0 0 25 0 1 0 830303155 145661952 32665 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35562 32665 1111 63 0 35499 0
vsize: 142248
[startup+270.015 s]
Raw data (loadavg): 1.07 1.05 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 34025 0 0 0 26936 65 0 0 25 0 1 0 830303155 150892544 33948 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36839 33948 1111 63 0 36776 0
vsize: 147356
[startup+280.016 s]
Raw data (loadavg): 1.06 1.05 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 35307 0 0 0 27934 67 0 0 25 0 1 0 830303155 156114944 35230 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38114 35230 1111 63 0 38051 0
vsize: 152456
[startup+290.017 s]
Raw data (loadavg): 1.05 1.05 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 36595 0 0 0 28932 69 0 0 25 0 1 0 830303155 161488896 36518 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39426 36518 1111 63 0 39363 0
vsize: 157704
[startup+300.017 s]
Raw data (loadavg): 1.04 1.04 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 37890 0 0 0 29930 72 0 0 25 0 1 0 830303155 166711296 37813 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40701 37813 1111 63 0 40638 0
vsize: 162804
[startup+310.018 s]
Raw data (loadavg): 1.04 1.04 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 39185 0 0 0 30928 74 0 0 25 0 1 0 830303155 172093440 39108 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42015 39108 1111 63 0 41952 0
vsize: 168060
[startup+320.018 s]
Raw data (loadavg): 1.03 1.04 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 40491 0 0 0 31927 75 0 0 25 0 1 0 830303155 177315840 40414 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43290 40414 1111 63 0 43227 0
vsize: 173160
[startup+330.019 s]
Raw data (loadavg): 1.02 1.04 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 41797 0 0 0 32925 77 0 0 25 0 1 0 830303155 182689792 41720 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44602 41720 1111 63 0 44539 0
vsize: 178408
[startup+340.02 s]
Raw data (loadavg): 1.02 1.04 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 43109 0 0 0 33923 80 0 0 25 0 1 0 830303155 188063744 43032 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45914 43032 1111 63 0 45851 0
vsize: 183656
[startup+350.02 s]
Raw data (loadavg): 1.02 1.03 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 44429 0 0 0 34920 83 0 0 25 0 1 0 830303155 193441792 44352 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47227 44352 1111 63 0 47164 0
vsize: 188908
[startup+360.021 s]
Raw data (loadavg): 1.01 1.03 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 45747 0 0 0 35918 85 0 0 25 0 1 0 830303155 198963200 45670 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48575 45670 1111 63 0 48512 0
vsize: 194300
[startup+370.021 s]
Raw data (loadavg): 1.01 1.03 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 47077 0 0 0 36916 87 0 0 25 0 1 0 830303155 204341248 47000 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49888 47000 1111 63 0 49825 0
vsize: 199552
[startup+380.022 s]
Raw data (loadavg): 1.01 1.03 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 48415 0 0 0 37914 89 0 0 25 0 1 0 830303155 209870848 48338 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51238 48338 1111 63 0 51175 0
vsize: 204952
[startup+390.022 s]
Raw data (loadavg): 1.01 1.03 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 49768 0 0 0 38912 91 0 0 25 0 1 0 830303155 215392256 49691 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52586 49691 1111 63 0 52523 0
vsize: 210344
[startup+400.022 s]
Raw data (loadavg): 1.01 1.03 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 51111 0 0 0 39910 93 0 0 25 0 1 0 830303155 220913664 51034 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53934 51034 1111 63 0 53871 0
vsize: 215736
[startup+410.023 s]
Raw data (loadavg): 1.00 1.03 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 52460 0 0 0 40908 95 0 0 25 0 1 0 830303155 226439168 52383 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55283 52383 1111 63 0 55220 0
vsize: 221132
[startup+420.023 s]
Raw data (loadavg): 1.00 1.02 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 53822 0 0 0 41906 98 0 0 25 0 1 0 830303155 231968768 53745 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56633 53745 1111 63 0 56570 0
vsize: 226532
[startup+430.024 s]
Raw data (loadavg): 1.00 1.02 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 55183 0 0 0 42904 100 0 0 25 0 1 0 830303155 237641728 55106 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58018 55106 1111 63 0 57955 0
vsize: 232072
[startup+440.025 s]
Raw data (loadavg): 1.00 1.02 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 56551 0 0 0 43902 102 0 0 25 0 1 0 830303155 243167232 56474 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59367 56474 1111 63 0 59304 0
vsize: 237468
[startup+450.025 s]
Raw data (loadavg): 1.00 1.02 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 57927 0 0 0 44899 105 0 0 25 0 1 0 830303155 248844288 57850 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60753 57850 1111 63 0 60690 0
vsize: 243012
[startup+460.026 s]
Raw data (loadavg): 1.00 1.02 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 59306 0 0 0 45896 108 0 0 25 0 1 0 830303155 254521344 59229 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62139 59229 1111 63 0 62076 0
vsize: 248556
[startup+470.026 s]
Raw data (loadavg): 1.00 1.02 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 60027 0 0 0 46895 110 0 0 25 0 1 0 830303155 257499136 59950 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62866 59950 1111 63 0 62803 0
vsize: 251464
[startup+480.027 s]
Raw data (loadavg): 1.00 1.02 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 60138 0 0 0 47895 110 0 0 25 0 1 0 830303155 257941504 60061 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62974 60061 1111 63 0 62911 0
vsize: 251896
[startup+490.027 s]
Raw data (loadavg): 1.00 1.02 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 60257 0 0 0 48895 110 0 0 25 0 1 0 830303155 258367488 60180 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63078 60180 1111 63 0 63015 0
vsize: 252312
[startup+500.027 s]
Raw data (loadavg): 1.00 1.02 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 60374 0 0 0 49895 111 0 0 25 0 1 0 830303155 258813952 60297 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63187 60297 1111 63 0 63124 0
vsize: 252748
[startup+510.028 s]
Raw data (loadavg): 1.00 1.02 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 60491 0 0 0 50895 111 0 0 25 0 1 0 830303155 259264512 60414 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63297 60414 1111 63 0 63234 0
vsize: 253188
[startup+520.028 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 60609 0 0 0 51895 111 0 0 25 0 1 0 830303155 259866624 60532 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63444 60532 1111 63 0 63381 0
vsize: 253776
[startup+530.029 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 60727 0 0 0 52894 112 0 0 25 0 1 0 830303155 260317184 60650 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63554 60650 1111 63 0 63491 0
vsize: 254216
[startup+540.029 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 60844 0 0 0 53895 112 0 0 25 0 1 0 830303155 260767744 60767 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63664 60767 1111 63 0 63601 0
vsize: 254656
[startup+550.029 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 60961 0 0 0 54895 112 0 0 25 0 1 0 830303155 261214208 60884 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63773 60884 1111 63 0 63710 0
vsize: 255092
[startup+560.03 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 61079 0 0 0 55895 112 0 0 25 0 1 0 830303155 261664768 61002 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63883 61002 1111 63 0 63820 0
vsize: 255532
[startup+570.03 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 61196 0 0 0 56894 113 0 0 25 0 1 0 830303155 262262784 61119 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64029 61119 1111 63 0 63966 0
vsize: 256116
[startup+580.031 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 61322 0 0 0 57894 113 0 0 25 0 1 0 830303155 262717440 61245 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64140 61245 1111 63 0 64077 0
vsize: 256560
[startup+590.032 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 61445 0 0 0 58894 113 0 0 25 0 1 0 830303155 263159808 61368 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64248 61368 1111 63 0 64185 0
vsize: 256992
[startup+600.032 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 61563 0 0 0 59894 114 0 0 25 0 1 0 830303155 263761920 61486 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64395 61486 1111 63 0 64332 0
vsize: 257580
[startup+610.033 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 61681 0 0 0 60894 114 0 0 25 0 1 0 830303155 264212480 61604 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64505 61604 1111 63 0 64442 0
vsize: 258020
[startup+620.034 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 61800 0 0 0 61893 115 0 0 25 0 1 0 830303155 264663040 61723 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64615 61723 1111 63 0 64552 0
vsize: 258460
[startup+630.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 61931 0 0 0 62893 115 0 0 25 0 1 0 830303155 265265152 61854 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64762 61854 1111 63 0 64699 0
vsize: 259048
[startup+640.036 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 62048 0 0 0 63893 116 0 0 25 0 1 0 830303155 265711616 61971 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64871 61971 1111 63 0 64808 0
vsize: 259484
[startup+650.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 62167 0 0 0 64892 116 0 0 25 0 1 0 830303155 266162176 62090 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64981 62090 1111 63 0 64918 0
vsize: 259924
[startup+660.036 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 62298 0 0 0 65892 117 0 0 25 0 1 0 830303155 266760192 62221 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65127 62221 1111 63 0 65064 0
vsize: 260508
[startup+670.036 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 62417 0 0 0 66892 117 0 0 25 0 1 0 830303155 267214848 62340 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65238 62340 1111 63 0 65175 0
vsize: 260952
[startup+680.037 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 62547 0 0 0 67892 117 0 0 25 0 1 0 830303155 267657216 62470 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65346 62470 1111 63 0 65283 0
vsize: 261384
[startup+690.038 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 62665 0 0 0 68892 117 0 0 25 0 1 0 830303155 268259328 62588 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65493 62588 1111 63 0 65430 0
vsize: 261972
[startup+700.038 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 62795 0 0 0 69892 118 0 0 25 0 1 0 830303155 268709888 62718 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65603 62718 1111 63 0 65540 0
vsize: 262412
[startup+710.039 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 62914 0 0 0 70892 118 0 0 25 0 1 0 830303155 269160448 62837 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65713 62837 1111 63 0 65650 0
vsize: 262852
[startup+720.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 63074 0 0 0 71892 118 0 0 25 0 1 0 830303155 269922304 62997 4294967295 134512640 134714508 3221221776 3221220004 1077414399 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65899 62997 1111 63 0 65836 0
vsize: 263596
[startup+730.041 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 63189 0 0 0 72892 118 0 0 25 0 1 0 830303155 270520320 63112 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 66045 63112 1111 63 0 65982 0
vsize: 264180
[startup+740.042 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 63314 0 0 0 73892 119 0 0 25 0 1 0 830303155 270970880 63237 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 66155 63237 1111 63 0 66092 0
vsize: 264620
[startup+750.042 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 63444 0 0 0 74892 119 0 0 25 0 1 0 830303155 271564800 63367 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 66300 63367 1111 63 0 66237 0
vsize: 265200
[startup+760.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 63578 0 0 0 75891 120 0 0 25 0 1 0 830303155 272019456 63501 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 66411 63501 1111 63 0 66348 0
vsize: 265644
[startup+770.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 63702 0 0 0 76891 120 0 0 25 0 1 0 830303155 272617472 63625 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 66557 63625 1111 63 0 66494 0
vsize: 266228
[startup+780.044 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 63828 0 0 0 77891 120 0 0 25 0 1 0 830303155 273068032 63751 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 66667 63751 1111 63 0 66604 0
vsize: 266668
[startup+790.044 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 63960 0 0 0 78891 120 0 0 25 0 1 0 830303155 273670144 63883 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 66814 63883 1111 63 0 66751 0
vsize: 267256
[startup+800.044 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 64093 0 0 0 79891 121 0 0 25 0 1 0 830303155 274116608 64016 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 66923 64016 1111 63 0 66860 0
vsize: 267692
[startup+810.045 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 64225 0 0 0 80891 121 0 0 25 0 1 0 830303155 274718720 64148 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67070 64148 1111 63 0 67007 0
vsize: 268280
[startup+820.046 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 64356 0 0 0 81891 121 0 0 25 0 1 0 830303155 275165184 64279 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67179 64279 1111 63 0 67116 0
vsize: 268716
[startup+830.047 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 64490 0 0 0 82891 121 0 0 25 0 1 0 830303155 275767296 64413 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67326 64413 1111 63 0 67263 0
vsize: 269304
[startup+840.048 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 64623 0 0 0 83891 122 0 0 25 0 1 0 830303155 276369408 64546 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67473 64546 1111 63 0 67410 0
vsize: 269892
[startup+850.048 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 64754 0 0 0 84891 122 0 0 25 0 1 0 830303155 276815872 64677 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67582 64677 1111 63 0 67519 0
vsize: 270328
[startup+860.049 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 64893 0 0 0 85891 122 0 0 25 0 1 0 830303155 277417984 64816 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67729 64816 1111 63 0 67666 0
vsize: 270916
[startup+870.049 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 65033 0 0 0 86891 122 0 0 25 0 1 0 830303155 278011904 64956 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67874 64956 1111 63 0 67811 0
vsize: 271496
[startup+880.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 65166 0 0 0 87891 123 0 0 25 0 1 0 830303155 278466560 65089 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67985 65089 1111 63 0 67922 0
vsize: 271940
[startup+890.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 65299 0 0 0 88891 123 0 0 25 0 1 0 830303155 279064576 65222 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 68131 65222 1111 63 0 68068 0
vsize: 272524
[startup+900.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 65443 0 0 0 89890 123 0 0 25 0 1 0 830303155 279662592 65366 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 68277 65366 1111 63 0 68214 0
vsize: 273108
[startup+910.052 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 65578 0 0 0 90890 124 0 0 25 0 1 0 830303155 280264704 65501 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 68424 65501 1111 63 0 68361 0
vsize: 273696
[startup+920.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 65717 0 0 0 91890 124 0 0 25 0 1 0 830303155 280711168 65640 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 68533 65640 1111 63 0 68470 0
vsize: 274132
[startup+930.052 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 65855 0 0 0 92890 125 0 0 25 0 1 0 830303155 281313280 65778 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 68680 65778 1111 63 0 68617 0
vsize: 274720
[startup+940.053 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 65996 0 0 0 93890 125 0 0 25 0 1 0 830303155 281915392 65919 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 68827 65919 1111 63 0 68764 0
vsize: 275308
[startup+950.052 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 66135 0 0 0 94889 126 0 0 25 0 1 0 830303155 282509312 66058 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 68972 66058 1111 63 0 68909 0
vsize: 275888
[startup+960.053 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 66282 0 0 0 95889 126 0 0 25 0 1 0 830303155 283111424 66205 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69119 66205 1111 63 0 69056 0
vsize: 276476
[startup+970.053 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 66421 0 0 0 96889 126 0 0 25 0 1 0 830303155 283713536 66344 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69266 66344 1111 63 0 69203 0
vsize: 277064
[startup+980.054 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 66562 0 0 0 97889 126 0 0 25 0 1 0 830303155 284160000 66485 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69375 66485 1111 63 0 69312 0
vsize: 277500
[startup+990.055 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 66709 0 0 0 98889 127 0 0 25 0 1 0 830303155 284762112 66632 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69522 66632 1111 63 0 69459 0
vsize: 278088
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 66855 0 0 0 99889 127 0 0 25 0 1 0 830303155 285364224 66778 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69669 66778 1111 63 0 69606 0
vsize: 278676
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 67003 0 0 0 100889 127 0 0 25 0 1 0 830303155 285958144 66926 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69814 66926 1111 63 0 69751 0
vsize: 279256
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 67149 0 0 0 101889 127 0 0 25 0 1 0 830303155 286560256 67072 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69961 67072 1111 63 0 69898 0
vsize: 279844
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 67296 0 0 0 102889 128 0 0 25 0 1 0 830303155 287162368 67219 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70108 67219 1111 63 0 70045 0
vsize: 280432
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 67442 0 0 0 103889 128 0 0 25 0 1 0 830303155 287756288 67365 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70253 67365 1111 63 0 70190 0
vsize: 281012
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 67591 0 0 0 104889 128 0 0 25 0 1 0 830303155 288358400 67514 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70400 67514 1111 63 0 70337 0
vsize: 281600
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 28559
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 67738 0 0 0 105889 128 0 0 25 0 1 0 830303155 288960512 67661 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70547 67661 1111 63 0 70484 0
vsize: 282188
[startup+1070.16 s]
Raw data (loadavg): 1.08 1.02 0.98 3/58 28607
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 67891 0 0 0 106898 129 0 0 25 0 1 0 830303155 289705984 67814 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70729 67814 1111 63 0 70666 0
vsize: 282916
[startup+1080.16 s]
Raw data (loadavg): 1.21 1.05 0.99 2/55 28612
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 68047 0 0 0 107898 129 0 0 25 0 1 0 830303155 290308096 67970 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70876 67970 1111 63 0 70813 0
vsize: 283504
[startup+1090.16 s]
Raw data (loadavg): 1.18 1.05 0.99 2/55 28612
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 68194 0 0 0 108898 129 0 0 25 0 1 0 830303155 290910208 68117 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71023 68117 1111 63 0 70960 0
vsize: 284092
[startup+1100.16 s]
Raw data (loadavg): 1.15 1.04 0.99 2/55 28612
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 68353 0 0 0 109898 129 0 0 25 0 1 0 830303155 291504128 68276 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71168 68276 1111 63 0 71105 0
vsize: 284672
[startup+1110.16 s]
Raw data (loadavg): 1.13 1.04 0.99 2/55 28612
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 68503 0 0 0 110898 129 0 0 25 0 1 0 830303155 292106240 68426 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71315 68426 1111 63 0 71252 0
vsize: 285260
[startup+1120.16 s]
Raw data (loadavg): 1.11 1.04 0.99 2/55 28612
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 68664 0 0 0 111898 130 0 0 25 0 1 0 830303155 292855808 68587 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71498 68587 1111 63 0 71435 0
vsize: 285992
[startup+1130.16 s]
Raw data (loadavg): 1.09 1.04 0.99 2/55 28612
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 68818 0 0 0 112898 130 0 0 25 0 1 0 830303155 293457920 68741 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71645 68741 1111 63 0 71582 0
vsize: 286580
[startup+1140.16 s]
Raw data (loadavg): 1.08 1.04 0.99 2/55 28614
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 68972 0 0 0 113898 130 0 0 25 0 1 0 830303155 294051840 68895 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71790 68895 1111 63 0 71727 0
vsize: 287160
[startup+1150.16 s]
Raw data (loadavg): 1.06 1.03 0.99 2/55 28614
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 69135 0 0 0 114898 130 0 0 25 0 1 0 830303155 294653952 69058 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71937 69058 1111 63 0 71874 0
vsize: 287748
[startup+1160.16 s]
Raw data (loadavg): 1.05 1.03 0.99 2/55 28614
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 69303 0 0 0 115898 131 0 0 25 0 1 0 830303155 295407616 69226 4294967295 134512640 134714508 3221221776 3221220432 134527935 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72121 69226 1111 63 0 72058 0
vsize: 288484
[startup+1170.16 s]
Raw data (loadavg): 1.05 1.03 0.99 2/55 28614
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 69472 0 0 0 116898 131 0 0 25 0 1 0 830303155 296157184 69395 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72304 69395 1111 63 0 72241 0
vsize: 289216
[startup+1180.16 s]
Raw data (loadavg): 1.04 1.03 0.99 2/55 28614
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 69634 0 0 0 117898 131 0 0 25 0 1 0 830303155 296751104 69557 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72449 69557 1111 63 0 72386 0
vsize: 289796
[startup+1190.16 s]
Raw data (loadavg): 1.03 1.03 0.99 2/55 28614
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 69809 0 0 0 118898 132 0 0 25 0 1 0 830303155 297504768 69732 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72633 69732 1111 63 0 72570 0
vsize: 290532
[startup+1200.16 s]
Raw data (loadavg): 1.03 1.03 0.99 2/55 28614
Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 69972 0 0 0 119898 132 0 0 25 0 1 0 830303155 298106880 69895 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72780 69895 1111 63 0 72717 0
vsize: 291120
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.29 s]
Raw data (loadavg): 1.03 1.03 0.99 1/55 28614
Raw data (stat): 28559 (bsolo_lpr) Z 28558 7876 7672 0 -1 1036 69972 0 0 0 119898 145 0 0 25 0 1 0 830303155 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.29
CPU time (s): 1200.44
CPU user time (s): 1198.98
CPU system time (s): 1.45178
CPU usage (%): 100.012
Max. virtual memory (Kb): 291120
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####