PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370d.opb
MD5SUM	5482c063922cabc25678dee80f9b5125
Bench Category	optimization, medium integers (OPTMEDINT)
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	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39256355821
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39256355821
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.965852
Number of variables	105000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 40453

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-08 11:08:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28519 boxname=wulflinc4 idbench=1475 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  5482c063922cabc25678dee80f9b5125  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-n370d.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-n370d.opb
IDLAUNCH: 28519
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        527548 kB
Buffers:         17212 kB
Cached:         467828 kB
SwapCached:        956 kB
Active:          31868 kB
Inactive:       455304 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        527296 kB
SwapTotal:     2097136 kB
SwapFree:      2095180 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4904 kB
Slab:            14256 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 11:28:08 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 28519 7 1200.26 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.86 0.97 0.93 1/54 31480
Raw data (stat): 31480 (runsolver) R 31479 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 901143719 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.88 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 1174 0 0 0 993 4 0 0 25 0 1 0 901143719 16199680 1094 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3955 1094 1111 63 0 3892 0
vsize: 15820
[startup+20.0015 s]
Raw data (loadavg): 0.90 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 1434 0 0 0 1993 4 0 0 25 0 1 0 901143719 17178624 1354 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4194 1354 1111 63 0 4131 0
vsize: 16776
[startup+30.0013 s]
Raw data (loadavg): 0.91 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 1698 0 0 0 2992 5 0 0 25 0 1 0 901143719 18317312 1618 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4472 1618 1111 63 0 4409 0
vsize: 17888
[startup+40.0022 s]
Raw data (loadavg): 0.93 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 1959 0 0 0 3992 6 0 0 25 0 1 0 901143719 19443712 1879 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4747 1879 1111 63 0 4684 0
vsize: 18988
[startup+50.003 s]
Raw data (loadavg): 0.94 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 2221 0 0 0 4991 7 0 0 25 0 1 0 901143719 20430848 2141 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4988 2141 1111 63 0 4925 0
vsize: 19952
[startup+60.0032 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 2487 0 0 0 5991 7 0 0 25 0 1 0 901143719 21553152 2407 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5262 2407 1111 63 0 5199 0
vsize: 21048
[startup+70.0038 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 2750 0 0 0 6991 8 0 0 25 0 1 0 901143719 22679552 2670 4294967295 134512640 134716908 3221224576 3221222804 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5537 2670 1111 63 0 5474 0
vsize: 22148
[startup+80.0046 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 3011 0 0 0 7990 8 0 0 25 0 1 0 901143719 23666688 2931 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5778 2931 1111 63 0 5715 0
vsize: 23112
[startup+90.0054 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 3273 0 0 0 8990 9 0 0 25 0 1 0 901143719 24797184 3193 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6054 3193 1111 63 0 5991 0
vsize: 24216
[startup+100.005 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 3534 0 0 0 9989 10 0 0 25 0 1 0 901143719 25780224 3454 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6294 3454 1111 63 0 6231 0
vsize: 25176
[startup+110.008 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 3803 0 0 0 10989 10 0 0 25 0 1 0 901143719 26923008 3723 4294967295 134512640 134716908 3221224576 3221222804 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6573 3723 1111 63 0 6510 0
vsize: 26292
[startup+120.009 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 4070 0 0 0 11989 11 0 0 25 0 1 0 901143719 28049408 3990 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6848 3990 1111 63 0 6785 0
vsize: 27392
[startup+130.009 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 4332 0 0 0 12988 12 0 0 25 0 1 0 901143719 29175808 4252 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7123 4252 1111 63 0 7060 0
vsize: 28492
[startup+140.01 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 4601 0 0 0 13988 12 0 0 25 0 1 0 901143719 30162944 4521 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7364 4521 1111 63 0 7301 0
vsize: 29456
[startup+150.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 4863 0 0 0 14988 12 0 0 25 0 1 0 901143719 31289344 4783 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7639 4783 1111 63 0 7576 0
vsize: 30556
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 5126 0 0 0 15988 13 0 0 25 0 1 0 901143719 32415744 5046 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7914 5046 1111 63 0 7851 0
vsize: 31656
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 5395 0 0 0 16988 13 0 0 25 0 1 0 901143719 33402880 5315 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8155 5315 1111 63 0 8092 0
vsize: 32620
[startup+180.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 5662 0 0 0 17988 13 0 0 25 0 1 0 901143719 34529280 5582 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8430 5582 1111 63 0 8367 0
vsize: 33720
[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 5924 0 0 0 18988 13 0 0 25 0 1 0 901143719 35655680 5844 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8705 5844 1111 63 0 8642 0
vsize: 34820
[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 6186 0 0 0 19987 14 0 0 25 0 1 0 901143719 36642816 6106 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8946 6106 1111 63 0 8883 0
vsize: 35784
[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 6458 0 0 0 20985 15 0 0 25 0 1 0 901143719 37920768 6378 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9258 6378 1111 63 0 9195 0
vsize: 37032
[startup+220.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 6719 0 0 0 21984 16 0 0 25 0 1 0 901143719 38903808 6639 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9498 6639 1111 63 0 9435 0
vsize: 37992
[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 6980 0 0 0 22983 17 0 0 25 0 1 0 901143719 40030208 6900 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9773 6900 1111 63 0 9710 0
vsize: 39092
[startup+240.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 7249 0 0 0 23982 17 0 0 25 0 1 0 901143719 41156608 7169 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10048 7169 1111 63 0 9985 0
vsize: 40192
[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 7518 0 0 0 24981 18 0 0 25 0 1 0 901143719 42143744 7438 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10289 7438 1111 63 0 10226 0
vsize: 41156
[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 7787 0 0 0 25981 19 0 0 25 0 1 0 901143719 43270144 7707 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10564 7707 1111 63 0 10501 0
vsize: 42256
[startup+270.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 8057 0 0 0 26981 19 0 0 25 0 1 0 901143719 44396544 7977 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10839 7977 1111 63 0 10776 0
vsize: 43356
[startup+280.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 8319 0 0 0 27980 20 0 0 25 0 1 0 901143719 45522944 8239 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11114 8239 1111 63 0 11051 0
vsize: 44456
[startup+290.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 8594 0 0 0 28979 21 0 0 25 0 1 0 901143719 46649344 8514 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11389 8514 1111 63 0 11326 0
vsize: 45556
[startup+300.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 8864 0 0 0 29979 21 0 0 25 0 1 0 901143719 47636480 8784 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11630 8784 1111 63 0 11567 0
vsize: 46520
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 9132 0 0 0 30979 22 0 0 25 0 1 0 901143719 48762880 9052 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11905 9052 1111 63 0 11842 0
vsize: 47620
[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 9402 0 0 0 31978 22 0 0 25 0 1 0 901143719 49885184 9322 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12179 9322 1111 63 0 12116 0
vsize: 48716
[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 9669 0 0 0 32978 23 0 0 25 0 1 0 901143719 51011584 9589 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12454 9589 1111 63 0 12391 0
vsize: 49816
[startup+340.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 9945 0 0 0 33978 23 0 0 25 0 1 0 901143719 52137984 9865 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12729 9865 1111 63 0 12666 0
vsize: 50916
[startup+350.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 10215 0 0 0 34977 24 0 0 25 0 1 0 901143719 53264384 10135 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13004 10135 1111 63 0 12941 0
vsize: 52016
[startup+360.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 10489 0 0 0 35977 25 0 0 25 0 1 0 901143719 54390784 10409 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13279 10409 1111 63 0 13216 0
vsize: 53116
[startup+370.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 10759 0 0 0 36977 25 0 0 25 0 1 0 901143719 55377920 10679 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13520 10679 1111 63 0 13457 0
vsize: 54080
[startup+380.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 11035 0 0 0 37976 26 0 0 25 0 1 0 901143719 56504320 10955 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13795 10955 1111 63 0 13732 0
vsize: 55180
[startup+390.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 11310 0 0 0 38976 26 0 0 25 0 1 0 901143719 57630720 11230 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14070 11230 1111 63 0 14007 0
vsize: 56280
[startup+400.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 11585 0 0 0 39976 27 0 0 25 0 1 0 901143719 58757120 11505 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14345 11505 1111 63 0 14282 0
vsize: 57380
[startup+410.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 11860 0 0 0 40975 27 0 0 25 0 1 0 901143719 59883520 11780 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14620 11780 1111 63 0 14557 0
vsize: 58480
[startup+420.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 12153 0 0 0 41975 28 0 0 25 0 1 0 901143719 61231104 12073 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14949 12073 1111 63 0 14886 0
vsize: 59796
[startup+430.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 12430 0 0 0 42975 28 0 0 25 0 1 0 901143719 62357504 12350 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15224 12350 1111 63 0 15161 0
vsize: 60896
[startup+440.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 12706 0 0 0 43974 29 0 0 25 0 1 0 901143719 63488000 12626 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15500 12626 1111 63 0 15437 0
vsize: 62000
[startup+450.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 12987 0 0 0 44974 29 0 0 25 0 1 0 901143719 64614400 12907 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15775 12907 1111 63 0 15712 0
vsize: 63100
[startup+460.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 13270 0 0 0 45974 30 0 0 25 0 1 0 901143719 65880064 13190 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16084 13190 1111 63 0 16021 0
vsize: 64336
[startup+470.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 13546 0 0 0 46974 30 0 0 25 0 1 0 901143719 67006464 13466 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16359 13466 1111 63 0 16296 0
vsize: 65436
[startup+480.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 13821 0 0 0 47973 31 0 0 25 0 1 0 901143719 68124672 13741 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16632 13741 1111 63 0 16569 0
vsize: 66528
[startup+490.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 14104 0 0 0 48973 31 0 0 25 0 1 0 901143719 69251072 14024 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16907 14024 1111 63 0 16844 0
vsize: 67628
[startup+500.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 14385 0 0 0 49972 32 0 0 25 0 1 0 901143719 70381568 14305 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17183 14305 1111 63 0 17120 0
vsize: 68732
[startup+510.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 14662 0 0 0 50972 33 0 0 25 0 1 0 901143719 71507968 14582 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17458 14582 1111 63 0 17395 0
vsize: 69832
[startup+520.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 14945 0 0 0 51972 33 0 0 25 0 1 0 901143719 72634368 14865 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17733 14865 1111 63 0 17670 0
vsize: 70932
[startup+530.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 15228 0 0 0 52972 33 0 0 25 0 1 0 901143719 73760768 15148 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18008 15148 1111 63 0 17945 0
vsize: 72032
[startup+540.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 15511 0 0 0 53971 34 0 0 25 0 1 0 901143719 75026432 15431 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18317 15431 1111 63 0 18254 0
vsize: 73268
[startup+550.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 15793 0 0 0 54971 34 0 0 25 0 1 0 901143719 76152832 15713 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18592 15713 1111 63 0 18529 0
vsize: 74368
[startup+560.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 16076 0 0 0 55971 34 0 0 25 0 1 0 901143719 77283328 15996 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18868 15996 1111 63 0 18805 0
vsize: 75472
[startup+570.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 16359 0 0 0 56972 34 0 0 25 0 1 0 901143719 78409728 16279 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19143 16279 1111 63 0 19080 0
vsize: 76572
[startup+580.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 16648 0 0 0 57972 34 0 0 25 0 1 0 901143719 79675392 16568 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19452 16568 1111 63 0 19389 0
vsize: 77808
[startup+590.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 16931 0 0 0 58971 35 0 0 25 0 1 0 901143719 80801792 16851 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19727 16851 1111 63 0 19664 0
vsize: 78908
[startup+600.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 17214 0 0 0 59971 35 0 0 25 0 1 0 901143719 81928192 17134 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20002 17134 1111 63 0 19939 0
vsize: 80008
[startup+610.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 17504 0 0 0 60971 36 0 0 25 0 1 0 901143719 83054592 17424 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20277 17424 1111 63 0 20214 0
vsize: 81108
[startup+620.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 17793 0 0 0 61971 36 0 0 25 0 1 0 901143719 84324352 17713 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20587 17713 1111 63 0 20524 0
vsize: 82348
[startup+630.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 18082 0 0 0 62971 37 0 0 25 0 1 0 901143719 85450752 18002 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20862 18002 1111 63 0 20799 0
vsize: 83448
[startup+640.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 18372 0 0 0 63971 37 0 0 25 0 1 0 901143719 86716416 18292 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21171 18292 1111 63 0 21108 0
vsize: 84684
[startup+650.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 18661 0 0 0 64970 37 0 0 25 0 1 0 901143719 87842816 18581 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21446 18581 1111 63 0 21383 0
vsize: 85784
[startup+660.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 18952 0 0 0 65969 38 0 0 25 0 1 0 901143719 88969216 18872 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21721 18872 1111 63 0 21658 0
vsize: 86884
[startup+670.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 19241 0 0 0 66969 39 0 0 25 0 1 0 901143719 90234880 19161 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22030 19161 1111 63 0 21967 0
vsize: 88120
[startup+680.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 19530 0 0 0 67969 39 0 0 25 0 1 0 901143719 91365376 19450 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22306 19450 1111 63 0 22243 0
vsize: 89224
[startup+690.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 19821 0 0 0 68968 40 0 0 25 0 1 0 901143719 92631040 19741 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22615 19741 1111 63 0 22552 0
vsize: 90460
[startup+700.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 20117 0 0 0 69968 41 0 0 25 0 1 0 901143719 93757440 20037 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22890 20037 1111 63 0 22827 0
vsize: 91560
[startup+710.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 20407 0 0 0 70967 41 0 0 25 0 1 0 901143719 95023104 20327 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23199 20327 1111 63 0 23136 0
vsize: 92796
[startup+720.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 20702 0 0 0 71967 42 0 0 25 0 1 0 901143719 96149504 20622 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23474 20622 1111 63 0 23411 0
vsize: 93896
[startup+730.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 20999 0 0 0 72967 42 0 0 25 0 1 0 901143719 97415168 20919 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23783 20919 1111 63 0 23720 0
vsize: 95132
[startup+740.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 21295 0 0 0 73966 43 0 0 25 0 1 0 901143719 98541568 21215 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24058 21215 1111 63 0 23995 0
vsize: 96232
[startup+750.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 21586 0 0 0 74966 44 0 0 25 0 1 0 901143719 99811328 21506 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24368 21506 1111 63 0 24305 0
vsize: 97472
[startup+760.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 21888 0 0 0 75965 44 0 0 25 0 1 0 901143719 101076992 21808 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24677 21808 1111 63 0 24614 0
vsize: 98708
[startup+770.039 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 22184 0 0 0 76965 45 0 0 25 0 1 0 901143719 102203392 22104 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24952 22104 1111 63 0 24889 0
vsize: 99808
[startup+780.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 22481 0 0 0 77965 45 0 0 25 0 1 0 901143719 103473152 22401 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25262 22401 1111 63 0 25199 0
vsize: 101048
[startup+790.041 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 22783 0 0 0 78965 46 0 0 25 0 1 0 901143719 104738816 22703 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25571 22703 1111 63 0 25508 0
vsize: 102284
[startup+800.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 23113 0 0 0 79964 46 0 0 25 0 1 0 901143719 106233856 23033 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25936 23033 1111 63 0 25873 0
vsize: 103744
[startup+810.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 23409 0 0 0 80963 48 0 0 25 0 1 0 901143719 107491328 23329 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26243 23329 1111 63 0 26180 0
vsize: 104972
[startup+820.041 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 23712 0 0 0 81963 48 0 0 25 0 1 0 901143719 108761088 23632 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26553 23632 1111 63 0 26490 0
vsize: 106212
[startup+830.041 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 24015 0 0 0 82962 49 0 0 25 0 1 0 901143719 110026752 23935 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26862 23935 1111 63 0 26799 0
vsize: 107448
[startup+840.042 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 24318 0 0 0 83962 50 0 0 25 0 1 0 901143719 111153152 24238 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27137 24238 1111 63 0 27074 0
vsize: 108548
[startup+850.043 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 24622 0 0 0 84962 50 0 0 25 0 1 0 901143719 112418816 24542 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27446 24542 1111 63 0 27383 0
vsize: 109784
[startup+860.043 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 24924 0 0 0 85961 51 0 0 25 0 1 0 901143719 113684480 24844 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27755 24844 1111 63 0 27692 0
vsize: 111020
[startup+870.043 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 25229 0 0 0 86960 53 0 0 25 0 1 0 901143719 114954240 25149 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28065 25149 1111 63 0 28002 0
vsize: 112260
[startup+880.043 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 25531 0 0 0 87959 53 0 0 25 0 1 0 901143719 116219904 25451 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28374 25451 1111 63 0 28311 0
vsize: 113496
[startup+890.044 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 25836 0 0 0 88959 53 0 0 25 0 1 0 901143719 117346304 25756 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28649 25756 1111 63 0 28586 0
vsize: 114596
[startup+900.044 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 26139 0 0 0 89959 54 0 0 25 0 1 0 901143719 118616064 26059 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28959 26059 1111 63 0 28896 0
vsize: 115836
[startup+910.044 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 26449 0 0 0 90958 55 0 0 25 0 1 0 901143719 119881728 26369 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29268 26369 1111 63 0 29205 0
vsize: 117072
[startup+920.045 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 26759 0 0 0 91957 56 0 0 25 0 1 0 901143719 121147392 26679 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29577 26679 1111 63 0 29514 0
vsize: 118308
[startup+930.045 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 27062 0 0 0 92957 56 0 0 25 0 1 0 901143719 122413056 26982 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29886 26982 1111 63 0 29823 0
vsize: 119544
[startup+940.045 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 27379 0 0 0 93957 57 0 0 25 0 1 0 901143719 123682816 27299 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30196 27299 1111 63 0 30133 0
vsize: 120784
[startup+950.045 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 27684 0 0 0 94956 57 0 0 25 0 1 0 901143719 124948480 27604 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30505 27604 1111 63 0 30442 0
vsize: 122020
[startup+960.045 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 28001 0 0 0 95956 58 0 0 25 0 1 0 901143719 126222336 27921 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30816 27921 1111 63 0 30753 0
vsize: 123264
[startup+970.046 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 28311 0 0 0 96956 58 0 0 25 0 1 0 901143719 127488000 28231 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31125 28231 1111 63 0 31062 0
vsize: 124500
[startup+980.046 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 28622 0 0 0 97956 59 0 0 25 0 1 0 901143719 128753664 28542 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31434 28542 1111 63 0 31371 0
vsize: 125736
[startup+990.047 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 28938 0 0 0 98955 59 0 0 25 0 1 0 901143719 130019328 28858 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31743 28858 1111 63 0 31680 0
vsize: 126972
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 29256 0 0 0 99955 59 0 0 25 0 1 0 901143719 131428352 29176 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32087 29176 1111 63 0 32024 0
vsize: 128348
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 29566 0 0 0 100955 60 0 0 25 0 1 0 901143719 132694016 29486 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32396 29486 1111 63 0 32333 0
vsize: 129584
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 29875 0 0 0 101955 60 0 0 25 0 1 0 901143719 133959680 29795 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32705 29795 1111 63 0 32642 0
vsize: 130820
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 30192 0 0 0 102954 61 0 0 25 0 1 0 901143719 135229440 30112 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33015 30112 1111 63 0 32952 0
vsize: 132060
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 30509 0 0 0 103953 62 0 0 25 0 1 0 901143719 136495104 30429 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33324 30429 1111 63 0 33261 0
vsize: 133296
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 30827 0 0 0 104953 62 0 0 25 0 1 0 901143719 137764864 30747 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33634 30747 1111 63 0 33571 0
vsize: 134536
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 31143 0 0 0 105953 63 0 0 25 0 1 0 901143719 139030528 31063 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33943 31063 1111 63 0 33880 0
vsize: 135772
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 31461 0 0 0 106952 64 0 0 25 0 1 0 901143719 140435456 31381 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34286 31381 1111 63 0 34223 0
vsize: 137144
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 31777 0 0 0 107952 64 0 0 25 0 1 0 901143719 141705216 31697 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34596 31697 1111 63 0 34533 0
vsize: 138384
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 32097 0 0 0 108952 65 0 0 25 0 1 0 901143719 142970880 32017 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34905 32017 1111 63 0 34842 0
vsize: 139620
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 32419 0 0 0 109952 65 0 0 25 0 1 0 901143719 144244736 32339 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35216 32339 1111 63 0 35153 0
vsize: 140864
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 32737 0 0 0 110951 66 0 0 25 0 1 0 901143719 145649664 32657 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35559 32657 1111 63 0 35496 0
vsize: 142236
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 33060 0 0 0 111950 67 0 0 25 0 1 0 901143719 146915328 32980 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35868 32980 1111 63 0 35805 0
vsize: 143472
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 33377 0 0 0 112949 67 0 0 25 0 1 0 901143719 148185088 33297 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36178 33297 1111 63 0 36115 0
vsize: 144712
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 33702 0 0 0 113949 68 0 0 25 0 1 0 901143719 149590016 33622 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36521 33622 1111 63 0 36458 0
vsize: 146084
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 34024 0 0 0 114948 69 0 0 25 0 1 0 901143719 150855680 33944 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36830 33944 1111 63 0 36767 0
vsize: 147320
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 34343 0 0 0 115948 69 0 0 25 0 1 0 901143719 152125440 34263 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37140 34263 1111 63 0 37077 0
vsize: 148560
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 34672 0 0 0 116948 70 0 0 25 0 1 0 901143719 153530368 34592 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37483 34592 1111 63 0 37420 0
vsize: 149932
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 34991 0 0 0 117947 70 0 0 25 0 1 0 901143719 154800128 34911 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37793 34911 1111 63 0 37730 0
vsize: 151172
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 35320 0 0 0 118947 71 0 0 25 0 1 0 901143719 156205056 35240 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38136 35240 1111 63 0 38073 0
vsize: 152544
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) R 31479 21152 21151 0 -1 0 35641 0 0 0 119947 71 0 0 25 0 1 0 901143719 157478912 35561 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38447 35561 1111 63 0 38384 0
vsize: 153788
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.12 s]
Raw data (loadavg): 0.99 0.97 0.93 1/54 31480
Raw data (stat): 31480 (bsolo_lpr-v2) Z 31479 21152 21151 0 -1 1036 35641 0 0 0 119947 78 0 0 25 0 1 0 901143719 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.12
CPU time (s): 1200.26
CPU user time (s): 1199.47
CPU system time (s): 0.78488
CPU usage (%): 100.011
Max. virtual memory (Kb): 153788
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####