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-n370a.opb
MD5SUM	1f27e2752aef6110d896dff85e9c13b8
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	39171467771
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	39171467771
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	1.01184
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 40450

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-08 10:56:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28516 boxname=wulflinc2 idbench=1472 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  1f27e2752aef6110d896dff85e9c13b8  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-n370a.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-n370a.opb
IDLAUNCH: 28516
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        879080 kB
Buffers:         13292 kB
Cached:         119472 kB
SwapCached:       1332 kB
Active:          32564 kB
Inactive:       102208 kB
HighTotal:      131008 kB
HighFree:        36372 kB
LowTotal:       903652 kB
LowFree:        842708 kB
SwapTotal:     2097136 kB
SwapFree:      2094736 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4980 kB
Slab:            14924 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 11:16:21 (client local time) WITH STATUS 0 IN 1200.29 SECONDS
stats: 28516 7 1200.29 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.85 0.94 0.92 1/54 8625
Raw data (stat): 8625 (runsolver) D 8624 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 901086229 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0016 s]
Raw data (loadavg): 0.88 0.94 0.92 2/54 8625
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 1160 0 0 0 992 5 0 0 25 0 1 0 901086229 16052224 1080 4294967295 134512640 134716908 3221224576 3221222804 1077414345 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.0019 s]
Raw data (loadavg): 0.89 0.94 0.92 2/54 8625
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 1400 0 0 0 1991 6 0 0 25 0 1 0 901086229 17039360 1320 4294967295 134512640 134716908 3221224576 3221222804 1077414363 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.002 s]
Raw data (loadavg): 0.91 0.94 0.92 2/54 8625
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 1650 0 0 0 2990 6 0 0 25 0 1 0 901086229 18178048 1570 4294967295 134512640 134716908 3221224576 3221222804 1077414407 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.0027 s]
Raw data (loadavg): 0.92 0.94 0.92 2/54 8625
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 1892 0 0 0 3989 7 0 0 25 0 1 0 901086229 19165184 1812 4294967295 134512640 134716908 3221224576 3221222804 1077414413 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.003 s]
Raw data (loadavg): 0.93 0.95 0.92 2/54 8625
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 2139 0 0 0 4989 8 0 0 25 0 1 0 901086229 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.0041 s]
Raw data (loadavg): 0.94 0.95 0.92 2/54 8625
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 2392 0 0 0 5988 9 0 0 25 0 1 0 901086229 21135360 2312 4294967295 134512640 134716908 3221224576 3221222804 1077414388 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.0095 s]
Raw data (loadavg): 0.95 0.95 0.92 2/54 8625
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 2639 0 0 0 6988 9 0 0 25 0 1 0 901086229 22114304 2559 4294967295 134512640 134716908 3221224576 3221222804 1077414420 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.01 s]
Raw data (loadavg): 0.96 0.95 0.92 2/54 8625
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 2887 0 0 0 7988 10 0 0 25 0 1 0 901086229 23240704 2807 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5674 2807 1111 63 0 5611 0
vsize: 22696
[startup+90.01 s]
Raw data (loadavg): 0.96 0.95 0.92 2/54 8625
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 3135 0 0 0 8987 10 0 0 25 0 1 0 901086229 24227840 3055 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5915 3055 1111 63 0 5852 0
vsize: 23660
[startup+100.01 s]
Raw data (loadavg): 0.97 0.95 0.92 2/54 8625
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 3389 0 0 0 9987 11 0 0 25 0 1 0 901086229 25214976 3309 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6156 3309 1111 63 0 6093 0
vsize: 24624
[startup+110.01 s]
Raw data (loadavg): 0.97 0.95 0.92 2/54 8625
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 3637 0 0 0 10987 11 0 0 25 0 1 0 901086229 26202112 3557 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6397 3557 1111 63 0 6334 0
vsize: 25588
[startup+120.011 s]
Raw data (loadavg): 0.98 0.95 0.92 2/54 8625
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 3899 0 0 0 11987 12 0 0 25 0 1 0 901086229 27348992 3819 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6677 3819 1111 63 0 6614 0
vsize: 26708
[startup+130.011 s]
Raw data (loadavg): 0.98 0.95 0.92 2/54 8625
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 4147 0 0 0 12986 12 0 0 25 0 1 0 901086229 28336128 4067 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6918 4067 1111 63 0 6855 0
vsize: 27672
[startup+140.011 s]
Raw data (loadavg): 0.98 0.95 0.92 2/54 8625
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 4403 0 0 0 13986 12 0 0 25 0 1 0 901086229 29462528 4323 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7193 4323 1111 63 0 7130 0
vsize: 28772
[startup+150.011 s]
Raw data (loadavg): 0.98 0.95 0.92 2/54 8625
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 4656 0 0 0 14986 13 0 0 25 0 1 0 901086229 30441472 4576 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7432 4576 1111 63 0 7369 0
vsize: 29728
[startup+160.012 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 8625
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 4911 0 0 0 15986 13 0 0 25 0 1 0 901086229 31428608 4831 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7673 4831 1111 63 0 7610 0
vsize: 30692
[startup+170.013 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 8625
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 5166 0 0 0 16986 14 0 0 25 0 1 0 901086229 32555008 5086 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7948 5086 1111 63 0 7885 0
vsize: 31792
[startup+180.012 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 8625
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 5422 0 0 0 17985 14 0 0 25 0 1 0 901086229 33542144 5342 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8189 5342 1111 63 0 8126 0
vsize: 32756
[startup+190.013 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 8625
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 5677 0 0 0 18985 15 0 0 25 0 1 0 901086229 34668544 5597 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8464 5597 1111 63 0 8401 0
vsize: 33856
[startup+200.012 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 8625
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 5931 0 0 0 19985 15 0 0 25 0 1 0 901086229 35655680 5851 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8705 5851 1111 63 0 8642 0
vsize: 34820
[startup+210.013 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 8625
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 6186 0 0 0 20984 16 0 0 25 0 1 0 901086229 36642816 6106 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8946 6106 1111 63 0 8883 0
vsize: 35784
[startup+220.014 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 8625
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 6457 0 0 0 21984 17 0 0 25 0 1 0 901086229 37920768 6377 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9258 6377 1111 63 0 9195 0
vsize: 37032
[startup+230.031 s]
Raw data (loadavg): 1.07 0.98 0.93 2/54 8678
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 6712 0 0 0 22982 20 0 0 25 0 1 0 901086229 38903808 6632 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9498 6632 1111 63 0 9435 0
vsize: 37992
[startup+240.031 s]
Raw data (loadavg): 1.06 0.98 0.93 2/54 8678
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 6966 0 0 0 23982 20 0 0 25 0 1 0 901086229 39886848 6886 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9738 6886 1111 63 0 9675 0
vsize: 38952
[startup+250.032 s]
Raw data (loadavg): 1.05 0.98 0.93 2/54 8678
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 7222 0 0 0 24981 21 0 0 25 0 1 0 901086229 41017344 7142 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10014 7142 1111 63 0 9951 0
vsize: 40056
[startup+260.033 s]
Raw data (loadavg): 1.04 0.98 0.93 2/54 8678
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 7477 0 0 0 25981 21 0 0 25 0 1 0 901086229 42004480 7397 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10255 7397 1111 63 0 10192 0
vsize: 41020
[startup+270.033 s]
Raw data (loadavg): 1.04 0.98 0.93 2/54 8678
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 7732 0 0 0 26981 22 0 0 25 0 1 0 901086229 43130880 7652 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10530 7652 1111 63 0 10467 0
vsize: 42120
[startup+280.032 s]
Raw data (loadavg): 1.03 0.98 0.93 2/54 8678
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 7989 0 0 0 27981 22 0 0 25 0 1 0 901086229 44113920 7909 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10770 7909 1111 63 0 10707 0
vsize: 43080
[startup+290.033 s]
Raw data (loadavg): 1.03 0.98 0.93 2/54 8678
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 8250 0 0 0 28980 23 0 0 25 0 1 0 901086229 45244416 8170 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11046 8170 1111 63 0 10983 0
vsize: 44184
[startup+300.033 s]
Raw data (loadavg): 1.02 0.98 0.93 2/54 8680
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 8503 0 0 0 29980 23 0 0 25 0 1 0 901086229 46223360 8423 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11285 8423 1111 63 0 11222 0
vsize: 45140
[startup+310.033 s]
Raw data (loadavg): 1.02 0.98 0.93 2/54 8680
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 8760 0 0 0 30980 23 0 0 25 0 1 0 901086229 47210496 8680 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11526 8680 1111 63 0 11463 0
vsize: 46104
[startup+320.034 s]
Raw data (loadavg): 1.01 0.98 0.93 2/54 8680
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 9021 0 0 0 31979 24 0 0 25 0 1 0 901086229 48336896 8941 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11801 8941 1111 63 0 11738 0
vsize: 47204
[startup+330.034 s]
Raw data (loadavg): 1.01 0.98 0.93 2/54 8680
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 9283 0 0 0 32979 25 0 0 25 0 1 0 901086229 49463296 9203 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12076 9203 1111 63 0 12013 0
vsize: 48304
[startup+340.035 s]
Raw data (loadavg): 1.01 0.98 0.93 2/54 8680
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 9539 0 0 0 33979 25 0 0 25 0 1 0 901086229 50450432 9459 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12317 9459 1111 63 0 12254 0
vsize: 49268
[startup+350.034 s]
Raw data (loadavg): 1.01 0.98 0.93 2/54 8680
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 9801 0 0 0 34978 26 0 0 25 0 1 0 901086229 51576832 9721 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12592 9721 1111 63 0 12529 0
vsize: 50368
[startup+360.036 s]
Raw data (loadavg): 1.01 0.98 0.93 2/54 8680
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 10063 0 0 0 35978 26 0 0 25 0 1 0 901086229 52563968 9983 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12833 9983 1111 63 0 12770 0
vsize: 51332
[startup+370.037 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8680
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 10325 0 0 0 36978 27 0 0 25 0 1 0 901086229 53690368 10245 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13108 10245 1111 63 0 13045 0
vsize: 52432
[startup+380.036 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8680
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 10581 0 0 0 37978 27 0 0 25 0 1 0 901086229 54673408 10501 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13348 10501 1111 63 0 13285 0
vsize: 53392
[startup+390.037 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8680
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 10849 0 0 0 38977 28 0 0 25 0 1 0 901086229 55799808 10769 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13623 10769 1111 63 0 13560 0
vsize: 54492
[startup+400.037 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8680
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 11110 0 0 0 39977 29 0 0 25 0 1 0 901086229 56926208 11030 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13898 11030 1111 63 0 13835 0
vsize: 55592
[startup+410.037 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8680
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 11372 0 0 0 40976 29 0 0 25 0 1 0 901086229 57909248 11292 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14138 11292 1111 63 0 14075 0
vsize: 56552
[startup+420.038 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8680
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 11633 0 0 0 41976 30 0 0 25 0 1 0 901086229 59039744 11553 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14414 11553 1111 63 0 14351 0
vsize: 57656
[startup+430.039 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8680
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 11901 0 0 0 42976 30 0 0 25 0 1 0 901086229 60166144 11821 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14689 11821 1111 63 0 14626 0
vsize: 58756
[startup+440.039 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8680
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 12180 0 0 0 43975 31 0 0 25 0 1 0 901086229 61370368 12100 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14983 12100 1111 63 0 14920 0
vsize: 59932
[startup+450.039 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8680
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 12443 0 0 0 44975 31 0 0 25 0 1 0 901086229 62496768 12363 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15258 12363 1111 63 0 15195 0
vsize: 61032
[startup+460.04 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8680
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 12712 0 0 0 45975 32 0 0 25 0 1 0 901086229 63488000 12632 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15500 12632 1111 63 0 15437 0
vsize: 62000
[startup+470.041 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8680
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 12980 0 0 0 46975 32 0 0 25 0 1 0 901086229 64614400 12900 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15775 12900 1111 63 0 15712 0
vsize: 63100
[startup+480.04 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8680
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 13243 0 0 0 47975 32 0 0 25 0 1 0 901086229 65732608 13163 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16048 13163 1111 63 0 15985 0
vsize: 64192
[startup+490.041 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8680
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 13511 0 0 0 48975 33 0 0 25 0 1 0 901086229 66859008 13431 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16323 13431 1111 63 0 16260 0
vsize: 65292
[startup+500.041 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8680
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 13780 0 0 0 49975 33 0 0 25 0 1 0 901086229 67846144 13700 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16564 13700 1111 63 0 16501 0
vsize: 66256
[startup+510.042 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8680
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 14049 0 0 0 50975 33 0 0 25 0 1 0 901086229 68972544 13969 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16839 13969 1111 63 0 16776 0
vsize: 67356
[startup+520.043 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8680
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 14317 0 0 0 51974 34 0 0 25 0 1 0 901086229 70098944 14237 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17114 14237 1111 63 0 17051 0
vsize: 68456
[startup+530.044 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8680
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 14587 0 0 0 52974 34 0 0 25 0 1 0 901086229 71225344 14507 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17389 14507 1111 63 0 17326 0
vsize: 69556
[startup+540.045 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 14856 0 0 0 53973 35 0 0 25 0 1 0 901086229 72351744 14776 4294967295 134512640 134716908 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17664 14776 1111 63 0 17601 0
vsize: 70656
[startup+550.044 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 15131 0 0 0 54974 35 0 0 25 0 1 0 901086229 73478144 15051 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17939 15051 1111 63 0 17876 0
vsize: 71756
[startup+560.045 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 15400 0 0 0 55973 36 0 0 25 0 1 0 901086229 74469376 15320 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18181 15320 1111 63 0 18118 0
vsize: 72724
[startup+570.046 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 15670 0 0 0 56973 36 0 0 25 0 1 0 901086229 75595776 15590 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18456 15590 1111 63 0 18393 0
vsize: 73824
[startup+580.045 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 15946 0 0 0 57973 37 0 0 25 0 1 0 901086229 76722176 15866 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18731 15866 1111 63 0 18668 0
vsize: 74924
[startup+590.046 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 16221 0 0 0 58973 37 0 0 25 0 1 0 901086229 77848576 16141 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19006 16141 1111 63 0 18943 0
vsize: 76024
[startup+600.047 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 16496 0 0 0 59973 37 0 0 25 0 1 0 901086229 78974976 16416 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19281 16416 1111 63 0 19218 0
vsize: 77124
[startup+610.047 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 16766 0 0 0 60972 38 0 0 25 0 1 0 901086229 80097280 16686 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19555 16686 1111 63 0 19492 0
vsize: 78220
[startup+620.048 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 17041 0 0 0 61972 39 0 0 25 0 1 0 901086229 81223680 16961 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19830 16961 1111 63 0 19767 0
vsize: 79320
[startup+630.048 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 17317 0 0 0 62971 39 0 0 25 0 1 0 901086229 82350080 17237 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20105 17237 1111 63 0 20042 0
vsize: 80420
[startup+640.048 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 17593 0 0 0 63971 39 0 0 25 0 1 0 901086229 83476480 17513 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20380 17513 1111 63 0 20317 0
vsize: 81520
[startup+650.048 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 17874 0 0 0 64971 40 0 0 25 0 1 0 901086229 84602880 17794 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20655 17794 1111 63 0 20592 0
vsize: 82620
[startup+660.049 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 18151 0 0 0 65970 41 0 0 25 0 1 0 901086229 85729280 18071 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20930 18071 1111 63 0 20867 0
vsize: 83720
[startup+670.05 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 18427 0 0 0 66970 41 0 0 25 0 1 0 901086229 86855680 18347 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21205 18347 1111 63 0 21142 0
vsize: 84820
[startup+680.049 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 18703 0 0 0 67970 42 0 0 25 0 1 0 901086229 87982080 18623 4294967295 134512640 134716908 3221224576 3221223232 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21480 18623 1111 63 0 21417 0
vsize: 85920
[startup+690.049 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 18986 0 0 0 68969 42 0 0 25 0 1 0 901086229 89108480 18906 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21755 18906 1111 63 0 21692 0
vsize: 87020
[startup+700.05 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 19268 0 0 0 69969 43 0 0 25 0 1 0 901086229 90374144 19188 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22064 19188 1111 63 0 22001 0
vsize: 88256
[startup+710.05 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 19545 0 0 0 70969 44 0 0 25 0 1 0 901086229 91500544 19465 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22339 19465 1111 63 0 22276 0
vsize: 89356
[startup+720.052 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 19833 0 0 0 71968 44 0 0 25 0 1 0 901086229 92631040 19753 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22615 19753 1111 63 0 22552 0
vsize: 90460
[startup+730.052 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 20110 0 0 0 72968 45 0 0 25 0 1 0 901086229 93757440 20030 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22890 20030 1111 63 0 22827 0
vsize: 91560
[startup+740.052 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 20399 0 0 0 73968 45 0 0 25 0 1 0 901086229 94883840 20319 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23165 20319 1111 63 0 23102 0
vsize: 92660
[startup+750.052 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 20675 0 0 0 74967 46 0 0 25 0 1 0 901086229 96010240 20595 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23440 20595 1111 63 0 23377 0
vsize: 93760
[startup+760.052 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 20965 0 0 0 75967 46 0 0 25 0 1 0 901086229 97275904 20885 4294967295 134512640 134716908 3221224576 3221221292 1077191238 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23749 20885 1111 63 0 23686 0
vsize: 94996
[startup+770.053 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 21248 0 0 0 76967 46 0 0 25 0 1 0 901086229 98402304 21168 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24024 21168 1111 63 0 23961 0
vsize: 96096
[startup+780.052 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 21531 0 0 0 77966 47 0 0 25 0 1 0 901086229 99532800 21451 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24300 21451 1111 63 0 24237 0
vsize: 97200
[startup+790.053 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 21820 0 0 0 78966 48 0 0 25 0 1 0 901086229 100798464 21740 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24609 21740 1111 63 0 24546 0
vsize: 98436
[startup+800.052 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 22108 0 0 0 79965 49 0 0 25 0 1 0 901086229 101924864 22028 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24884 22028 1111 63 0 24821 0
vsize: 99536
[startup+810.052 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 22392 0 0 0 80965 49 0 0 25 0 1 0 901086229 103051264 22312 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25159 22312 1111 63 0 25096 0
vsize: 100636
[startup+820.053 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 22681 0 0 0 81965 50 0 0 25 0 1 0 901086229 104316928 22601 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25468 22601 1111 63 0 25405 0
vsize: 101872
[startup+830.053 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 22969 0 0 0 82964 50 0 0 25 0 1 0 901086229 105443328 22889 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25743 22889 1111 63 0 25680 0
vsize: 102972
[startup+840.053 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 23292 0 0 0 83964 51 0 0 25 0 1 0 901086229 107073536 23212 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26141 23212 1111 63 0 26078 0
vsize: 104564
[startup+850.053 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 23582 0 0 0 84963 52 0 0 25 0 1 0 901086229 108199936 23502 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26416 23502 1111 63 0 26353 0
vsize: 105664
[startup+860.053 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 23878 0 0 0 85963 52 0 0 25 0 1 0 901086229 109465600 23798 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26725 23798 1111 63 0 26662 0
vsize: 106900
[startup+870.053 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 24167 0 0 0 86962 53 0 0 25 0 1 0 901086229 110583808 24087 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26998 24087 1111 63 0 26935 0
vsize: 107992
[startup+880.053 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 24458 0 0 0 87961 54 0 0 25 0 1 0 901086229 111710208 24378 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27273 24378 1111 63 0 27210 0
vsize: 109092
[startup+890.054 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 24754 0 0 0 88961 55 0 0 25 0 1 0 901086229 112979968 24674 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27583 24674 1111 63 0 27520 0
vsize: 110332
[startup+900.054 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 25050 0 0 0 89961 55 0 0 25 0 1 0 901086229 114253824 24970 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27894 24970 1111 63 0 27831 0
vsize: 111576
[startup+910.053 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 25340 0 0 0 90960 56 0 0 25 0 1 0 901086229 115372032 25260 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28167 25260 1111 63 0 28104 0
vsize: 112668
[startup+920.054 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 25642 0 0 0 91960 56 0 0 25 0 1 0 901086229 116645888 25562 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28478 25562 1111 63 0 28415 0
vsize: 113912
[startup+930.054 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 25934 0 0 0 92959 57 0 0 25 0 1 0 901086229 117768192 25854 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28752 25854 1111 63 0 28689 0
vsize: 115008
[startup+940.055 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 26235 0 0 0 93959 58 0 0 25 0 1 0 901086229 119037952 26155 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29062 26155 1111 63 0 28999 0
vsize: 116248
[startup+950.054 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 26527 0 0 0 94958 58 0 0 25 0 1 0 901086229 120160256 26447 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29336 26447 1111 63 0 29273 0
vsize: 117344
[startup+960.054 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 26829 0 0 0 95958 59 0 0 25 0 1 0 901086229 121434112 26749 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29647 26749 1111 63 0 29584 0
vsize: 118588
[startup+970.055 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 27126 0 0 0 96958 59 0 0 25 0 1 0 901086229 122699776 27046 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29956 27046 1111 63 0 29893 0
vsize: 119824
[startup+980.054 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 27429 0 0 0 97957 60 0 0 25 0 1 0 901086229 123969536 27349 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30266 27349 1111 63 0 30203 0
vsize: 121064
[startup+990.054 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 27725 0 0 0 98957 61 0 0 25 0 1 0 901086229 125095936 27645 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30541 27645 1111 63 0 30478 0
vsize: 122164
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 28029 0 0 0 99956 61 0 0 25 0 1 0 901086229 126361600 27949 4294967295 134512640 134716908 3221224576 3221223232 134527953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30850 27949 1111 63 0 30787 0
vsize: 123400
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 28331 0 0 0 100956 62 0 0 25 0 1 0 901086229 127627264 28251 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31159 28251 1111 63 0 31096 0
vsize: 124636
[startup+1020.06 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 28636 0 0 0 101956 62 0 0 25 0 1 0 901086229 128892928 28556 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31468 28556 1111 63 0 31405 0
vsize: 125872
[startup+1030.06 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 28938 0 0 0 102956 63 0 0 25 0 1 0 901086229 130019328 28858 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31743 28858 1111 63 0 31680 0
vsize: 126972
[startup+1040.06 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 29242 0 0 0 103955 63 0 0 25 0 1 0 901086229 131289088 29162 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32053 29162 1111 63 0 31990 0
vsize: 128212
[startup+1050.06 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 29546 0 0 0 104955 64 0 0 25 0 1 0 901086229 132554752 29466 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32362 29466 1111 63 0 32299 0
vsize: 129448
[startup+1060.06 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 29848 0 0 0 105954 64 0 0 25 0 1 0 901086229 133824512 29768 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32672 29768 1111 63 0 32609 0
vsize: 130688
[startup+1070.06 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 30158 0 0 0 106954 65 0 0 25 0 1 0 901086229 135090176 30078 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32981 30078 1111 63 0 32918 0
vsize: 131924
[startup+1080.06 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 30467 0 0 0 107954 66 0 0 25 0 1 0 901086229 136355840 30387 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33290 30387 1111 63 0 33227 0
vsize: 133160
[startup+1090.06 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 30772 0 0 0 108953 67 0 0 25 0 1 0 901086229 137621504 30692 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33599 30692 1111 63 0 33536 0
vsize: 134396
[startup+1100.06 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 31081 0 0 0 109953 67 0 0 25 0 1 0 901086229 138891264 31001 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33909 31001 1111 63 0 33846 0
vsize: 135636
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 31392 0 0 0 110952 68 0 0 25 0 1 0 901086229 140156928 31312 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34218 31312 1111 63 0 34155 0
vsize: 136872
[startup+1120.06 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 31702 0 0 0 111952 68 0 0 25 0 1 0 901086229 141422592 31622 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34527 31622 1111 63 0 34464 0
vsize: 138108
[startup+1130.06 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 32012 0 0 0 112951 69 0 0 25 0 1 0 901086229 142688256 31932 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34836 31932 1111 63 0 34773 0
vsize: 139344
[startup+1140.06 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 32322 0 0 0 113951 70 0 0 25 0 1 0 901086229 143958016 32242 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35146 32242 1111 63 0 35083 0
vsize: 140584
[startup+1150.06 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 32632 0 0 0 114950 70 0 0 25 0 1 0 901086229 145223680 32552 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35455 32552 1111 63 0 35392 0
vsize: 141820
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 32950 0 0 0 115950 71 0 0 25 0 1 0 901086229 146489344 32870 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35764 32870 1111 63 0 35701 0
vsize: 143056
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 33259 0 0 0 116950 72 0 0 25 0 1 0 901086229 147759104 33179 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36074 33179 1111 63 0 36011 0
vsize: 144296
[startup+1180.06 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 33578 0 0 0 117949 73 0 0 25 0 1 0 901086229 149024768 33498 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36383 33498 1111 63 0 36320 0
vsize: 145532
[startup+1190.06 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 33888 0 0 0 118948 73 0 0 25 0 1 0 901086229 150298624 33808 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36694 33808 1111 63 0 36631 0
vsize: 146776
[startup+1200.06 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) R 8624 31399 31398 0 -1 0 34206 0 0 0 119948 74 0 0 25 0 1 0 901086229 151564288 34126 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37003 34126 1111 63 0 36940 0
vsize: 148012
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 1.00 0.98 0.93 1/54 8682
Raw data (stat): 8625 (bsolo_lpr-v2) Z 8624 31399 31398 0 -1 1036 34206 0 0 0 119948 80 0 0 25 0 1 0 901086229 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.29
CPU user time (s): 1199.48
CPU system time (s): 0.807877
CPU usage (%): 100.014
Max. virtual memory (Kb): 148012
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####