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-n3708.opb
MD5SUM	5b991f27ed09188f1ae8c5e20a0bcb79
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	39212410939
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	39212410939
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.997848
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 40448

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-08 10:48:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28514 boxname=wulflinc1 idbench=1470 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  5b991f27ed09188f1ae8c5e20a0bcb79  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-n3708.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-n3708.opb
IDLAUNCH: 28514
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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	: 2
cpu MHz		: 451.053
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:        869472 kB
Buffers:         22800 kB
Cached:         116864 kB
SwapCached:       1164 kB
Active:          32604 kB
Inactive:       109296 kB
HighTotal:      131008 kB
HighFree:        37604 kB
LowTotal:       903652 kB
LowFree:        831868 kB
SwapTotal:     2097136 kB
SwapFree:      2094844 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5260 kB
Slab:            17472 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 11:08:09 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 28514 7 1200.22 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.92 0.95 0.90 2/55 22165
Raw data (stat): 22165 (runsolver) R 22164 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 844176472 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 1160 0 0 0 993 4 0 0 25 0 1 0 844176472 16052224 1080 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3919 1080 1111 63 0 3856 0
vsize: 15676
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 1400 0 0 0 1992 5 0 0 25 0 1 0 844176472 17039360 1320 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4160 1320 1111 63 0 4097 0
vsize: 16640
[startup+30.0011 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 1650 0 0 0 2992 6 0 0 25 0 1 0 844176472 18178048 1570 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4438 1570 1111 63 0 4375 0
vsize: 17752
[startup+40.0015 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 1892 0 0 0 3991 7 0 0 25 0 1 0 844176472 19165184 1812 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4679 1812 1111 63 0 4616 0
vsize: 18716
[startup+50.0022 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 2139 0 0 0 4991 7 0 0 25 0 1 0 844176472 20152320 2059 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4920 2059 1111 63 0 4857 0
vsize: 19680
[startup+60.002 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 2392 0 0 0 5990 8 0 0 25 0 1 0 844176472 21135360 2312 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5160 2312 1111 63 0 5097 0
vsize: 20640
[startup+70.0018 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 2639 0 0 0 6989 9 0 0 25 0 1 0 844176472 22114304 2559 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5399 2559 1111 63 0 5336 0
vsize: 21596
[startup+80.0036 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 2887 0 0 0 7989 9 0 0 25 0 1 0 844176472 23240704 2807 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5674 2807 1111 63 0 5611 0
vsize: 22696
[startup+90.0038 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 3134 0 0 0 8989 10 0 0 25 0 1 0 844176472 24227840 3054 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5915 3054 1111 63 0 5852 0
vsize: 23660
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 3382 0 0 0 9989 10 0 0 25 0 1 0 844176472 25214976 3302 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6156 3302 1111 63 0 6093 0
vsize: 24624
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 3630 0 0 0 10988 11 0 0 25 0 1 0 844176472 26202112 3550 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6397 3550 1111 63 0 6334 0
vsize: 25588
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 3885 0 0 0 11988 12 0 0 25 0 1 0 844176472 27348992 3805 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6677 3805 1111 63 0 6614 0
vsize: 26708
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 4133 0 0 0 12987 12 0 0 25 0 1 0 844176472 28336128 4053 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6918 4053 1111 63 0 6855 0
vsize: 27672
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 4387 0 0 0 13987 13 0 0 25 0 1 0 844176472 29315072 4307 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7157 4307 1111 63 0 7094 0
vsize: 28628
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 4636 0 0 0 14987 13 0 0 25 0 1 0 844176472 30302208 4556 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7398 4556 1111 63 0 7335 0
vsize: 29592
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 4890 0 0 0 15986 14 0 0 25 0 1 0 844176472 31428608 4810 4294967295 134512640 134716908 3221224576 3221222444 1077244511 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7673 4810 1111 63 0 7610 0
vsize: 30692
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 5146 0 0 0 16986 14 0 0 25 0 1 0 844176472 32415744 5066 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7914 5066 1111 63 0 7851 0
vsize: 31656
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 5401 0 0 0 17986 15 0 0 25 0 1 0 844176472 33542144 5321 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8189 5321 1111 63 0 8126 0
vsize: 32756
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 5650 0 0 0 18984 15 0 0 25 0 1 0 844176472 34529280 5570 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8430 5570 1111 63 0 8367 0
vsize: 33720
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 5904 0 0 0 19983 16 0 0 25 0 1 0 844176472 35516416 5824 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8671 5824 1111 63 0 8608 0
vsize: 34684
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 6158 0 0 0 20983 17 0 0 25 0 1 0 844176472 36642816 6078 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8946 6078 1111 63 0 8883 0
vsize: 35784
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 6411 0 0 0 21982 17 0 0 25 0 1 0 844176472 37625856 6331 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9186 6331 1111 63 0 9123 0
vsize: 36744
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 6678 0 0 0 22982 18 0 0 25 0 1 0 844176472 38760448 6598 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9463 6598 1111 63 0 9400 0
vsize: 37852
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 6939 0 0 0 23982 18 0 0 25 0 1 0 844176472 39886848 6859 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9738 6859 1111 63 0 9675 0
vsize: 38952
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 7194 0 0 0 24981 19 0 0 25 0 1 0 844176472 40878080 7114 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9980 7114 1111 63 0 9917 0
vsize: 39920
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 7450 0 0 0 25980 19 0 0 25 0 1 0 844176472 41861120 7370 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10220 7370 1111 63 0 10157 0
vsize: 40880
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 7711 0 0 0 26980 20 0 0 25 0 1 0 844176472 42987520 7631 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10495 7631 1111 63 0 10432 0
vsize: 41980
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 7975 0 0 0 27979 21 0 0 25 0 1 0 844176472 44113920 7895 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10770 7895 1111 63 0 10707 0
vsize: 43080
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 8230 0 0 0 28979 21 0 0 25 0 1 0 844176472 45096960 8150 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11010 8150 1111 63 0 10947 0
vsize: 44040
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 8489 0 0 0 29979 21 0 0 25 0 1 0 844176472 46223360 8409 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11285 8409 1111 63 0 11222 0
vsize: 45140
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 8753 0 0 0 30979 22 0 0 25 0 1 0 844176472 47210496 8673 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11526 8673 1111 63 0 11463 0
vsize: 46104
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 9014 0 0 0 31978 22 0 0 25 0 1 0 844176472 48336896 8934 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11801 8934 1111 63 0 11738 0
vsize: 47204
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 9277 0 0 0 32978 23 0 0 25 0 1 0 844176472 49324032 9197 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12042 9197 1111 63 0 11979 0
vsize: 48168
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 9539 0 0 0 33978 23 0 0 25 0 1 0 844176472 50450432 9459 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12317 9459 1111 63 0 12254 0
vsize: 49268
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 9801 0 0 0 34977 24 0 0 25 0 1 0 844176472 51576832 9721 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12592 9721 1111 63 0 12529 0
vsize: 50368
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 10069 0 0 0 35977 24 0 0 25 0 1 0 844176472 52563968 9989 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12833 9989 1111 63 0 12770 0
vsize: 51332
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 10332 0 0 0 36976 25 0 0 25 0 1 0 844176472 53690368 10252 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13108 10252 1111 63 0 13045 0
vsize: 52432
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 10595 0 0 0 37976 26 0 0 25 0 1 0 844176472 54816768 10515 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13383 10515 1111 63 0 13320 0
vsize: 53532
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 10856 0 0 0 38975 27 0 0 25 0 1 0 844176472 55799808 10776 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13623 10776 1111 63 0 13560 0
vsize: 54492
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 11124 0 0 0 39975 27 0 0 25 0 1 0 844176472 56926208 11044 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13898 11044 1111 63 0 13835 0
vsize: 55592
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 11392 0 0 0 40975 28 0 0 25 0 1 0 844176472 58052608 11312 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14173 11312 1111 63 0 14110 0
vsize: 56692
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 11654 0 0 0 41974 28 0 0 25 0 1 0 844176472 59039744 11574 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14414 11574 1111 63 0 14351 0
vsize: 57656
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 11922 0 0 0 42974 29 0 0 25 0 1 0 844176472 60166144 11842 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14689 11842 1111 63 0 14626 0
vsize: 58756
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 12208 0 0 0 43974 29 0 0 25 0 1 0 844176472 61513728 12128 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15018 12128 1111 63 0 14955 0
vsize: 60072
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 12477 0 0 0 44974 29 0 0 25 0 1 0 844176472 62640128 12397 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15293 12397 1111 63 0 15230 0
vsize: 61172
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 12746 0 0 0 45973 30 0 0 25 0 1 0 844176472 63623168 12666 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15533 12666 1111 63 0 15470 0
vsize: 62132
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 13015 0 0 0 46973 30 0 0 25 0 1 0 844176472 64753664 12935 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15809 12935 1111 63 0 15746 0
vsize: 63236
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 13284 0 0 0 47973 31 0 0 25 0 1 0 844176472 65880064 13204 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16084 13204 1111 63 0 16021 0
vsize: 64336
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 13553 0 0 0 48972 32 0 0 25 0 1 0 844176472 67006464 13473 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16359 13473 1111 63 0 16296 0
vsize: 65436
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 13823 0 0 0 49972 32 0 0 25 0 1 0 844176472 68124672 13743 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16632 13743 1111 63 0 16569 0
vsize: 66528
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 14097 0 0 0 50972 32 0 0 25 0 1 0 844176472 69251072 14017 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16907 14017 1111 63 0 16844 0
vsize: 67628
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 14372 0 0 0 51972 33 0 0 25 0 1 0 844176472 70381568 14292 4294967295 134512640 134716908 3221224576 3221223232 134527935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17183 14292 1111 63 0 17120 0
vsize: 68732
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 14641 0 0 0 52971 33 0 0 25 0 1 0 844176472 71368704 14561 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17424 14561 1111 63 0 17361 0
vsize: 69696
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 14911 0 0 0 53971 34 0 0 25 0 1 0 844176472 72495104 14831 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17699 14831 1111 63 0 17636 0
vsize: 70796
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 15187 0 0 0 54971 34 0 0 25 0 1 0 844176472 73621504 15107 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17974 15107 1111 63 0 17911 0
vsize: 71896
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 15463 0 0 0 55971 35 0 0 25 0 1 0 844176472 74747904 15383 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18249 15383 1111 63 0 18186 0
vsize: 72996
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 15738 0 0 0 56970 35 0 0 25 0 1 0 844176472 75874304 15658 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18524 15658 1111 63 0 18461 0
vsize: 74096
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 16014 0 0 0 57970 36 0 0 25 0 1 0 844176472 77000704 15934 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18799 15934 1111 63 0 18736 0
vsize: 75196
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 16290 0 0 0 58969 36 0 0 25 0 1 0 844176472 78127104 16210 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19074 16210 1111 63 0 19011 0
vsize: 76296
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 16567 0 0 0 59969 37 0 0 25 0 1 0 844176472 79253504 16487 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19349 16487 1111 63 0 19286 0
vsize: 77396
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 16849 0 0 0 60969 37 0 0 25 0 1 0 844176472 80379904 16769 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19624 16769 1111 63 0 19561 0
vsize: 78496
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 17124 0 0 0 61969 38 0 0 25 0 1 0 844176472 81510400 17044 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19900 17044 1111 63 0 19837 0
vsize: 79600
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 17407 0 0 0 62969 38 0 0 25 0 1 0 844176472 82776064 17327 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20209 17327 1111 63 0 20146 0
vsize: 80836
[startup+640.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 17683 0 0 0 63968 39 0 0 25 0 1 0 844176472 83902464 17603 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20484 17603 1111 63 0 20421 0
vsize: 81936
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 17959 0 0 0 64967 40 0 0 25 0 1 0 844176472 85028864 17879 4294967295 134512640 134716908 3221224576 3221222804 1077414347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20759 17879 1111 63 0 20696 0
vsize: 83036
[startup+660.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 18243 0 0 0 65966 41 0 0 25 0 1 0 844176472 86147072 18163 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21032 18163 1111 63 0 20969 0
vsize: 84128
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 18523 0 0 0 66966 41 0 0 25 0 1 0 844176472 87273472 18443 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21307 18443 1111 63 0 21244 0
vsize: 85228
[startup+680.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 18806 0 0 0 67966 42 0 0 25 0 1 0 844176472 88403968 18726 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21583 18726 1111 63 0 21520 0
vsize: 86332
[startup+690.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 19088 0 0 0 68965 42 0 0 25 0 1 0 844176472 89530368 19008 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21858 19008 1111 63 0 21795 0
vsize: 87432
[startup+700.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 19370 0 0 0 69965 43 0 0 25 0 1 0 844176472 90796032 19290 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22167 19290 1111 63 0 22104 0
vsize: 88668
[startup+710.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22165
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 19654 0 0 0 70965 43 0 0 25 0 1 0 844176472 91922432 19574 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22442 19574 1111 63 0 22379 0
vsize: 89768
[startup+720.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22218
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 19936 0 0 0 71964 44 0 0 25 0 1 0 844176472 93048832 19856 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22717 19856 1111 63 0 22654 0
vsize: 90868
[startup+730.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22218
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 20219 0 0 0 72963 44 0 0 25 0 1 0 844176472 94175232 20139 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22992 20139 1111 63 0 22929 0
vsize: 91968
[startup+740.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22218
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 20496 0 0 0 73962 45 0 0 25 0 1 0 844176472 95305728 20416 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23268 20416 1111 63 0 23205 0
vsize: 93072
[startup+750.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22218
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 20784 0 0 0 74962 45 0 0 25 0 1 0 844176472 96571392 20704 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23577 20704 1111 63 0 23514 0
vsize: 94308
[startup+760.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22218
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 21075 0 0 0 75962 46 0 0 25 0 1 0 844176472 97697792 20995 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23852 20995 1111 63 0 23789 0
vsize: 95408
[startup+770.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22218
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 21363 0 0 0 76961 46 0 0 25 0 1 0 844176472 98824192 21283 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24127 21283 1111 63 0 24064 0
vsize: 96508
[startup+780.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22220
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 21648 0 0 0 77960 47 0 0 25 0 1 0 844176472 100089856 21568 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24436 21568 1111 63 0 24373 0
vsize: 97744
[startup+790.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22222
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 21936 0 0 0 78960 47 0 0 25 0 1 0 844176472 101216256 21856 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24711 21856 1111 63 0 24648 0
vsize: 98844
[startup+800.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22222
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 22226 0 0 0 79960 48 0 0 25 0 1 0 844176472 102346752 22146 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24987 22146 1111 63 0 24924 0
vsize: 99948
[startup+810.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22222
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 22515 0 0 0 80959 48 0 0 25 0 1 0 844176472 103612416 22435 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25296 22435 1111 63 0 25233 0
vsize: 101184
[startup+820.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22222
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 22804 0 0 0 81959 49 0 0 25 0 1 0 844176472 104738816 22724 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25571 22724 1111 63 0 25508 0
vsize: 102284
[startup+830.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22222
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 23133 0 0 0 82958 50 0 0 25 0 1 0 844176472 106369024 23053 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25969 23053 1111 63 0 25906 0
vsize: 103876
[startup+840.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22222
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 23422 0 0 0 83958 50 0 0 25 0 1 0 844176472 107491328 23342 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26243 23342 1111 63 0 26180 0
vsize: 104972
[startup+850.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22222
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 23712 0 0 0 84958 51 0 0 25 0 1 0 844176472 108761088 23632 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26553 23632 1111 63 0 26490 0
vsize: 106212
[startup+860.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22222
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 24008 0 0 0 85957 51 0 0 25 0 1 0 844176472 109887488 23928 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26828 23928 1111 63 0 26765 0
vsize: 107312
[startup+870.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22222
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 24305 0 0 0 86957 51 0 0 25 0 1 0 844176472 111153152 24225 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27137 24225 1111 63 0 27074 0
vsize: 108548
[startup+880.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22222
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 24595 0 0 0 87957 52 0 0 25 0 1 0 844176472 112279552 24515 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27412 24515 1111 63 0 27349 0
vsize: 109648
[startup+890.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22222
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 24890 0 0 0 88957 52 0 0 25 0 1 0 844176472 113545216 24810 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27721 24810 1111 63 0 27658 0
vsize: 110884
[startup+900.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22222
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 25188 0 0 0 89957 53 0 0 25 0 1 0 844176472 114810880 25108 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28030 25108 1111 63 0 27967 0
vsize: 112120
[startup+910.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22222
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 25484 0 0 0 90956 53 0 0 25 0 1 0 844176472 115937280 25404 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28305 25404 1111 63 0 28242 0
vsize: 113220
[startup+920.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22222
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 25780 0 0 0 91956 54 0 0 25 0 1 0 844176472 117207040 25700 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28615 25700 1111 63 0 28552 0
vsize: 114460
[startup+930.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22222
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 26083 0 0 0 92955 55 0 0 25 0 1 0 844176472 118472704 26003 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28924 26003 1111 63 0 28861 0
vsize: 115696
[startup+940.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22222
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 26379 0 0 0 93955 55 0 0 25 0 1 0 844176472 119599104 26299 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29199 26299 1111 63 0 29136 0
vsize: 116796
[startup+950.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22222
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 26677 0 0 0 94955 55 0 0 25 0 1 0 844176472 120868864 26597 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29509 26597 1111 63 0 29446 0
vsize: 118036
[startup+960.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22222
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 26979 0 0 0 95955 56 0 0 25 0 1 0 844176472 122134528 26899 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29818 26899 1111 63 0 29755 0
vsize: 119272
[startup+970.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22222
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 27283 0 0 0 96954 56 0 0 25 0 1 0 844176472 123260928 27203 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30093 27203 1111 63 0 30030 0
vsize: 120372
[startup+980.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22222
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 27586 0 0 0 97954 57 0 0 25 0 1 0 844176472 124526592 27506 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30402 27506 1111 63 0 30339 0
vsize: 121608
[startup+990.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22222
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 27884 0 0 0 98954 57 0 0 25 0 1 0 844176472 125792256 27804 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30711 27804 1111 63 0 30648 0
vsize: 122844
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22222
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 28186 0 0 0 99954 57 0 0 25 0 1 0 844176472 127062016 28106 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31021 28106 1111 63 0 30958 0
vsize: 124084
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22222
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 28495 0 0 0 100954 58 0 0 25 0 1 0 844176472 128327680 28415 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31330 28415 1111 63 0 31267 0
vsize: 125320
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22222
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 28800 0 0 0 101953 58 0 0 25 0 1 0 844176472 129454080 28720 4294967295 134512640 134716908 3221224576 3221223232 134527935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31605 28720 1111 63 0 31542 0
vsize: 126420
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22222
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 29103 0 0 0 102953 59 0 0 25 0 1 0 844176472 130723840 29023 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31915 29023 1111 63 0 31852 0
vsize: 127660
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22222
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 29407 0 0 0 103952 59 0 0 25 0 1 0 844176472 131989504 29327 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32224 29327 1111 63 0 32161 0
vsize: 128896
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22224
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 29716 0 0 0 104952 60 0 0 25 0 1 0 844176472 133255168 29636 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32533 29636 1111 63 0 32470 0
vsize: 130132
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22224
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 30026 0 0 0 105951 61 0 0 25 0 1 0 844176472 134520832 29946 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32842 29946 1111 63 0 32779 0
vsize: 131368
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22224
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 30331 0 0 0 106950 62 0 0 25 0 1 0 844176472 135790592 30251 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33152 30251 1111 63 0 33089 0
vsize: 132608
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22224
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 30642 0 0 0 107950 63 0 0 25 0 1 0 844176472 137060352 30562 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33462 30562 1111 63 0 33399 0
vsize: 133848
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22224
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 30951 0 0 0 108949 64 0 0 25 0 1 0 844176472 138330112 30871 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33772 30871 1111 63 0 33709 0
vsize: 135088
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22224
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 31260 0 0 0 109948 65 0 0 25 0 1 0 844176472 139595776 31180 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34081 31180 1111 63 0 34018 0
vsize: 136324
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22224
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 31572 0 0 0 110948 65 0 0 25 0 1 0 844176472 140865536 31492 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34391 31492 1111 63 0 34328 0
vsize: 137564
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22224
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 31887 0 0 0 111947 66 0 0 25 0 1 0 844176472 142131200 31807 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34700 31807 1111 63 0 34637 0
vsize: 138800
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22224
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 32193 0 0 0 112947 66 0 0 25 0 1 0 844176472 143396864 32113 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35009 32113 1111 63 0 34946 0
vsize: 140036
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22224
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 32508 0 0 0 113947 67 0 0 25 0 1 0 844176472 144662528 32428 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35318 32428 1111 63 0 35255 0
vsize: 141272
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22224
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 32826 0 0 0 114946 67 0 0 25 0 1 0 844176472 145932288 32746 4294967295 134512640 134716908 3221224576 3221222908 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35628 32746 1111 63 0 35565 0
vsize: 142512
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22224
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 33136 0 0 0 115946 68 0 0 25 0 1 0 844176472 147197952 33056 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35937 33056 1111 63 0 35874 0
vsize: 143748
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22224
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 33447 0 0 0 116945 69 0 0 25 0 1 0 844176472 148463616 33367 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36246 33367 1111 63 0 36183 0
vsize: 144984
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22224
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 33763 0 0 0 117945 69 0 0 25 0 1 0 844176472 149729280 33683 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36555 33683 1111 63 0 36492 0
vsize: 146220
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22224
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 34080 0 0 0 118945 70 0 0 25 0 1 0 844176472 151138304 34000 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36899 34000 1111 63 0 36836 0
vsize: 147596
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22224
Raw data (stat): 22165 (bsolo_lpr-v2) R 22164 8378 8377 0 -1 0 34397 0 0 0 119944 71 0 0 25 0 1 0 844176472 152403968 34317 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37208 34317 1111 63 0 37145 0
vsize: 148832
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 22224
Raw data (stat): 22165 (bsolo_lpr-v2) Z 22164 8378 8377 0 -1 1036 34397 0 0 0 119944 77 0 0 25 0 1 0 844176472 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.09
CPU time (s): 1200.22
CPU user time (s): 1199.45
CPU system time (s): 0.773882
CPU usage (%): 100.011
Max. virtual memory (Kb): 148832
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####