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-n3701.opb
MD5SUM	c5e85fef75cd61b11166b8854f4a9cf3
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	39244285251
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	39244285251
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.963853
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 40441

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        545468 kB
Buffers:         13896 kB
Cached:         453328 kB
SwapCached:        956 kB
Active:          31840 kB
Inactive:       437500 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        545216 kB
SwapTotal:     2097136 kB
SwapFree:      2095180 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4904 kB
Slab:            14156 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 10:47:42 (client local time) WITH STATUS 0 IN 1200.32 SECONDS
stats: 28507 7 1200.32 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): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (runsolver) R 31238 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 900901157 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0017 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 1160 0 0 0 994 4 0 0 25 0 1 0 900901157 16052224 1080 4294967295 134512640 134716908 3221224576 3221222804 1077414435 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.0023 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 1407 0 0 0 1994 4 0 0 25 0 1 0 900901157 17178624 1327 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4194 1327 1111 63 0 4131 0
vsize: 16776
[startup+30.0022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 1657 0 0 0 2994 4 0 0 25 0 1 0 900901157 18178048 1577 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4438 1577 1111 63 0 4375 0
vsize: 17752
[startup+40.0031 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 1905 0 0 0 3994 5 0 0 25 0 1 0 900901157 19165184 1825 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4679 1825 1111 63 0 4616 0
vsize: 18716
[startup+50.0039 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 2153 0 0 0 4993 5 0 0 25 0 1 0 900901157 20152320 2073 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4920 2073 1111 63 0 4857 0
vsize: 19680
[startup+60.0047 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 2412 0 0 0 5993 6 0 0 25 0 1 0 900901157 21274624 2332 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5194 2332 1111 63 0 5131 0
vsize: 20776
[startup+70.0046 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 2660 0 0 0 6993 6 0 0 25 0 1 0 900901157 22261760 2580 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5435 2580 1111 63 0 5372 0
vsize: 21740
[startup+80.0045 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 2907 0 0 0 7992 7 0 0 25 0 1 0 900901157 23240704 2827 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5674 2827 1111 63 0 5611 0
vsize: 22696
[startup+90.0053 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 3162 0 0 0 8992 8 0 0 25 0 1 0 900901157 24367104 3082 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5949 3082 1111 63 0 5886 0
vsize: 23796
[startup+100.005 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 3410 0 0 0 9991 8 0 0 25 0 1 0 900901157 25354240 3330 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6190 3330 1111 63 0 6127 0
vsize: 24760
[startup+110.006 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 3664 0 0 0 10991 9 0 0 25 0 1 0 900901157 26341376 3584 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 3584 1111 63 0 6368 0
vsize: 25724
[startup+120.007 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 3926 0 0 0 11991 9 0 0 25 0 1 0 900901157 27488256 3846 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6711 3846 1111 63 0 6648 0
vsize: 26844
[startup+130.007 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 4174 0 0 0 12990 10 0 0 25 0 1 0 900901157 28475392 4094 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6952 4094 1111 63 0 6889 0
vsize: 27808
[startup+140.008 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 4429 0 0 0 13990 10 0 0 25 0 1 0 900901157 29462528 4349 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7193 4349 1111 63 0 7130 0
vsize: 28772
[startup+150.008 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 4683 0 0 0 14990 11 0 0 25 0 1 0 900901157 30584832 4603 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7467 4603 1111 63 0 7404 0
vsize: 29868
[startup+160.009 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 4932 0 0 0 15989 12 0 0 25 0 1 0 900901157 31567872 4852 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7707 4852 1111 63 0 7644 0
vsize: 30828
[startup+170.009 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 5193 0 0 0 16989 12 0 0 25 0 1 0 900901157 32694272 5113 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7982 5113 1111 63 0 7919 0
vsize: 31928
[startup+180.009 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 5443 0 0 0 17989 13 0 0 25 0 1 0 900901157 33681408 5363 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8223 5363 1111 63 0 8160 0
vsize: 32892
[startup+190.01 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 5704 0 0 0 18988 14 0 0 25 0 1 0 900901157 34668544 5624 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8464 5624 1111 63 0 8401 0
vsize: 33856
[startup+200.01 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 5952 0 0 0 19987 14 0 0 25 0 1 0 900901157 35794944 5872 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8739 5872 1111 63 0 8676 0
vsize: 34956
[startup+210.011 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 6213 0 0 0 20987 15 0 0 25 0 1 0 900901157 36782080 6133 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8980 6133 1111 63 0 8917 0
vsize: 35920
[startup+220.011 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 6478 0 0 0 21987 15 0 0 25 0 1 0 900901157 37920768 6398 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9258 6398 1111 63 0 9195 0
vsize: 37032
[startup+230.011 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 6733 0 0 0 22987 16 0 0 25 0 1 0 900901157 39043072 6653 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9532 6653 1111 63 0 9469 0
vsize: 38128
[startup+240.012 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 6994 0 0 0 23986 16 0 0 25 0 1 0 900901157 40030208 6914 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9773 6914 1111 63 0 9710 0
vsize: 39092
[startup+250.012 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 7257 0 0 0 24986 17 0 0 25 0 1 0 900901157 41156608 7177 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10048 7177 1111 63 0 9985 0
vsize: 40192
[startup+260.013 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 7512 0 0 0 25986 17 0 0 25 0 1 0 900901157 42143744 7432 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10289 7432 1111 63 0 10226 0
vsize: 41156
[startup+270.014 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 7767 0 0 0 26985 18 0 0 25 0 1 0 900901157 43270144 7687 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10564 7687 1111 63 0 10501 0
vsize: 42256
[startup+280.014 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 8030 0 0 0 27985 19 0 0 25 0 1 0 900901157 44257280 7950 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10805 7950 1111 63 0 10742 0
vsize: 43220
[startup+290.014 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 8291 0 0 0 28984 19 0 0 25 0 1 0 900901157 45383680 8211 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11080 8211 1111 63 0 11017 0
vsize: 44320
[startup+300.014 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 8553 0 0 0 29984 20 0 0 25 0 1 0 900901157 46370816 8473 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11321 8473 1111 63 0 11258 0
vsize: 45284
[startup+310.015 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 8816 0 0 0 30984 20 0 0 25 0 1 0 900901157 47489024 8736 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11594 8736 1111 63 0 11531 0
vsize: 46376
[startup+320.016 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 9076 0 0 0 31984 21 0 0 25 0 1 0 900901157 48615424 8996 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11869 8996 1111 63 0 11806 0
vsize: 47476
[startup+330.016 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 9338 0 0 0 32983 21 0 0 25 0 1 0 900901157 49602560 9258 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12110 9258 1111 63 0 12047 0
vsize: 48440
[startup+340.017 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 9601 0 0 0 33983 22 0 0 25 0 1 0 900901157 50733056 9521 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12386 9521 1111 63 0 12323 0
vsize: 49544
[startup+350.017 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 9862 0 0 0 34983 22 0 0 25 0 1 0 900901157 51716096 9782 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12626 9782 1111 63 0 12563 0
vsize: 50504
[startup+360.017 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 10126 0 0 0 35983 22 0 0 25 0 1 0 900901157 52842496 10046 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12901 10046 1111 63 0 12838 0
vsize: 51604
[startup+370.017 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 10394 0 0 0 36982 23 0 0 25 0 1 0 900901157 53968896 10314 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13176 10314 1111 63 0 13113 0
vsize: 52704
[startup+380.018 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 10663 0 0 0 37981 24 0 0 25 0 1 0 900901157 55095296 10583 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13451 10583 1111 63 0 13388 0
vsize: 53804
[startup+390.018 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 10926 0 0 0 38981 25 0 0 25 0 1 0 900901157 56086528 10846 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13693 10846 1111 63 0 13630 0
vsize: 54772
[startup+400.018 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 11187 0 0 0 39981 25 0 0 25 0 1 0 900901157 57212928 11107 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13968 11107 1111 63 0 13905 0
vsize: 55872
[startup+410.019 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 11461 0 0 0 40980 26 0 0 25 0 1 0 900901157 58331136 11381 4294967295 134512640 134716908 3221224576 3221222928 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14241 11381 1111 63 0 14178 0
vsize: 56964
[startup+420.019 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 11722 0 0 0 41980 26 0 0 25 0 1 0 900901157 59318272 11642 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14482 11642 1111 63 0 14419 0
vsize: 57928
[startup+430.019 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 12008 0 0 0 42980 26 0 0 25 0 1 0 900901157 60674048 11928 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14813 11928 1111 63 0 14750 0
vsize: 59252
[startup+440.02 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 12276 0 0 0 43979 27 0 0 25 0 1 0 900901157 61792256 12196 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15086 12196 1111 63 0 15023 0
vsize: 60344
[startup+450.02 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 12545 0 0 0 44979 27 0 0 25 0 1 0 900901157 62918656 12465 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15361 12465 1111 63 0 15298 0
vsize: 61444
[startup+460.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 12815 0 0 0 45979 28 0 0 25 0 1 0 900901157 63905792 12735 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15602 12735 1111 63 0 15539 0
vsize: 62408
[startup+470.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 13084 0 0 0 46978 29 0 0 25 0 1 0 900901157 65032192 13004 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15877 13004 1111 63 0 15814 0
vsize: 63508
[startup+480.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 13353 0 0 0 47978 29 0 0 25 0 1 0 900901157 66158592 13273 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16152 13273 1111 63 0 16089 0
vsize: 64608
[startup+490.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 13628 0 0 0 48978 30 0 0 25 0 1 0 900901157 67284992 13548 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16427 13548 1111 63 0 16364 0
vsize: 65708
[startup+500.023 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 13898 0 0 0 49978 30 0 0 25 0 1 0 900901157 68411392 13818 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16702 13818 1111 63 0 16639 0
vsize: 66808
[startup+510.023 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 14167 0 0 0 50977 31 0 0 25 0 1 0 900901157 69537792 14087 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16977 14087 1111 63 0 16914 0
vsize: 67908
[startup+520.032 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 14443 0 0 0 51978 31 0 0 25 0 1 0 900901157 70664192 14363 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17252 14363 1111 63 0 17189 0
vsize: 69008
[startup+530.04 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 14718 0 0 0 52979 31 0 0 25 0 1 0 900901157 71794688 14638 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17528 14638 1111 63 0 17465 0
vsize: 70112
[startup+540.041 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 14992 0 0 0 53978 33 0 0 25 0 1 0 900901157 72912896 14912 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17801 14912 1111 63 0 17738 0
vsize: 71204
[startup+550.041 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 15268 0 0 0 54977 33 0 0 25 0 1 0 900901157 74039296 15188 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18076 15188 1111 63 0 18013 0
vsize: 72304
[startup+560.042 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 15544 0 0 0 55977 34 0 0 25 0 1 0 900901157 75165696 15464 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18351 15464 1111 63 0 18288 0
vsize: 73404
[startup+570.043 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 15819 0 0 0 56977 34 0 0 25 0 1 0 900901157 76292096 15739 4294967295 134512640 134716908 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18626 15739 1111 63 0 18563 0
vsize: 74504
[startup+580.042 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 16096 0 0 0 57976 35 0 0 25 0 1 0 900901157 77418496 16016 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18901 16016 1111 63 0 18838 0
vsize: 75604
[startup+590.043 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 16372 0 0 0 58976 36 0 0 25 0 1 0 900901157 78548992 16292 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19177 16292 1111 63 0 19114 0
vsize: 76708
[startup+600.044 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 16648 0 0 0 59975 36 0 0 25 0 1 0 900901157 79675392 16568 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19452 16568 1111 63 0 19389 0
vsize: 77808
[startup+610.045 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 16925 0 0 0 60975 37 0 0 25 0 1 0 900901157 80801792 16845 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19727 16845 1111 63 0 19664 0
vsize: 78908
[startup+620.046 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 17206 0 0 0 61975 37 0 0 25 0 1 0 900901157 81928192 17126 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20002 17126 1111 63 0 19939 0
vsize: 80008
[startup+630.046 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 17483 0 0 0 62974 38 0 0 25 0 1 0 900901157 83054592 17403 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20277 17403 1111 63 0 20214 0
vsize: 81108
[startup+640.047 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 17765 0 0 0 63974 39 0 0 25 0 1 0 900901157 84180992 17685 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20552 17685 1111 63 0 20489 0
vsize: 82208
[startup+650.046 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 18048 0 0 0 64974 39 0 0 25 0 1 0 900901157 85307392 17968 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20827 17968 1111 63 0 20764 0
vsize: 83308
[startup+660.047 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 18331 0 0 0 65974 39 0 0 25 0 1 0 900901157 86433792 18251 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21102 18251 1111 63 0 21039 0
vsize: 84408
[startup+670.048 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 18607 0 0 0 66974 40 0 0 25 0 1 0 900901157 87560192 18527 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21377 18527 1111 63 0 21314 0
vsize: 85508
[startup+680.048 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 18897 0 0 0 67973 40 0 0 25 0 1 0 900901157 88829952 18817 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21687 18817 1111 63 0 21624 0
vsize: 86748
[startup+690.049 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 19173 0 0 0 68973 41 0 0 25 0 1 0 900901157 89956352 19093 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21962 19093 1111 63 0 21899 0
vsize: 87848
[startup+700.049 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 19462 0 0 0 69972 41 0 0 25 0 1 0 900901157 91082752 19382 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22237 19382 1111 63 0 22174 0
vsize: 88948
[startup+710.049 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 19745 0 0 0 70972 42 0 0 25 0 1 0 900901157 92209152 19665 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22512 19665 1111 63 0 22449 0
vsize: 90048
[startup+720.049 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 20027 0 0 0 71972 42 0 0 25 0 1 0 900901157 93474816 19947 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22821 19947 1111 63 0 22758 0
vsize: 91284
[startup+730.049 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 20318 0 0 0 72970 44 0 0 25 0 1 0 900901157 94601216 20238 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23096 20238 1111 63 0 23033 0
vsize: 92384
[startup+740.05 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 20606 0 0 0 73970 45 0 0 25 0 1 0 900901157 95723520 20526 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23370 20526 1111 63 0 23307 0
vsize: 93480
[startup+750.051 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 20896 0 0 0 74969 45 0 0 25 0 1 0 900901157 96997376 20816 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23681 20816 1111 63 0 23618 0
vsize: 94724
[startup+760.052 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 21179 0 0 0 75969 46 0 0 25 0 1 0 900901157 98119680 21099 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23955 21099 1111 63 0 23892 0
vsize: 95820
[startup+770.053 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 21466 0 0 0 76968 47 0 0 25 0 1 0 900901157 99246080 21386 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24230 21386 1111 63 0 24167 0
vsize: 96920
[startup+780.053 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 21757 0 0 0 77968 48 0 0 25 0 1 0 900901157 100511744 21677 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24539 21677 1111 63 0 24476 0
vsize: 98156
[startup+790.053 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 22046 0 0 0 78967 48 0 0 25 0 1 0 900901157 101638144 21966 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24814 21966 1111 63 0 24751 0
vsize: 99256
[startup+800.053 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 22336 0 0 0 79966 49 0 0 25 0 1 0 900901157 102903808 22256 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25123 22256 1111 63 0 25060 0
vsize: 100492
[startup+810.055 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 22631 0 0 0 80966 50 0 0 25 0 1 0 900901157 104030208 22551 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25398 22551 1111 63 0 25335 0
vsize: 101592
[startup+820.055 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 22920 0 0 0 81965 51 0 0 25 0 1 0 900901157 105295872 22840 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25707 22840 1111 63 0 25644 0
vsize: 102828
[startup+830.055 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 23243 0 0 0 82965 51 0 0 25 0 1 0 900901157 106786816 23163 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26071 23163 1111 63 0 26008 0
vsize: 104284
[startup+840.056 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 23538 0 0 0 83965 52 0 0 25 0 1 0 900901157 108052480 23458 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26380 23458 1111 63 0 26317 0
vsize: 105520
[startup+850.057 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 23836 0 0 0 84964 53 0 0 25 0 1 0 900901157 109178880 23756 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26655 23756 1111 63 0 26592 0
vsize: 106620
[startup+860.058 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 24125 0 0 0 85964 53 0 0 25 0 1 0 900901157 110444544 24045 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26964 24045 1111 63 0 26901 0
vsize: 107856
[startup+870.058 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 24429 0 0 0 86963 54 0 0 25 0 1 0 900901157 111710208 24349 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27273 24349 1111 63 0 27210 0
vsize: 109092
[startup+880.058 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 24724 0 0 0 87963 54 0 0 25 0 1 0 900901157 112840704 24644 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27549 24644 1111 63 0 27486 0
vsize: 110196
[startup+890.059 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 25021 0 0 0 88963 55 0 0 25 0 1 0 900901157 114106368 24941 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27858 24941 1111 63 0 27795 0
vsize: 111432
[startup+900.059 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 25318 0 0 0 89963 55 0 0 25 0 1 0 900901157 115232768 25238 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28133 25238 1111 63 0 28070 0
vsize: 112532
[startup+910.06 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 25614 0 0 0 90962 56 0 0 25 0 1 0 900901157 116498432 25534 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28442 25534 1111 63 0 28379 0
vsize: 113768
[startup+920.061 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 25920 0 0 0 91962 57 0 0 25 0 1 0 900901157 117768192 25840 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28752 25840 1111 63 0 28689 0
vsize: 115008
[startup+930.06 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 26222 0 0 0 92961 57 0 0 25 0 1 0 900901157 119037952 26142 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29062 26142 1111 63 0 28999 0
vsize: 116248
[startup+940.061 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 26526 0 0 0 93961 58 0 0 25 0 1 0 900901157 120160256 26446 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29336 26446 1111 63 0 29273 0
vsize: 117344
[startup+950.062 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 26829 0 0 0 94960 59 0 0 25 0 1 0 900901157 121434112 26749 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29647 26749 1111 63 0 29584 0
vsize: 118588
[startup+960.063 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 27132 0 0 0 95960 59 0 0 25 0 1 0 900901157 122699776 27052 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29956 27052 1111 63 0 29893 0
vsize: 119824
[startup+970.063 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 27436 0 0 0 96960 59 0 0 25 0 1 0 900901157 123969536 27356 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30266 27356 1111 63 0 30203 0
vsize: 121064
[startup+980.063 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 27738 0 0 0 97960 60 0 0 25 0 1 0 900901157 125235200 27658 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30575 27658 1111 63 0 30512 0
vsize: 122300
[startup+990.063 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 28043 0 0 0 98959 60 0 0 25 0 1 0 900901157 126361600 27963 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30850 27963 1111 63 0 30787 0
vsize: 123400
[startup+1000.06 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 28352 0 0 0 99959 61 0 0 25 0 1 0 900901157 127627264 28272 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31159 28272 1111 63 0 31096 0
vsize: 124636
[startup+1010.06 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 28663 0 0 0 100959 62 0 0 25 0 1 0 900901157 128892928 28583 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31468 28583 1111 63 0 31405 0
vsize: 125872
[startup+1020.07 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 28966 0 0 0 101958 62 0 0 25 0 1 0 900901157 130162688 28886 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31778 28886 1111 63 0 31715 0
vsize: 127112
[startup+1030.06 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 29277 0 0 0 102958 63 0 0 25 0 1 0 900901157 131428352 29197 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32087 29197 1111 63 0 32024 0
vsize: 128348
[startup+1040.07 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 29586 0 0 0 103957 63 0 0 25 0 1 0 900901157 132694016 29506 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32396 29506 1111 63 0 32333 0
vsize: 129584
[startup+1050.07 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 29889 0 0 0 104957 64 0 0 25 0 1 0 900901157 133959680 29809 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32705 29809 1111 63 0 32642 0
vsize: 130820
[startup+1060.07 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 30206 0 0 0 105956 65 0 0 25 0 1 0 900901157 135229440 30126 4294967295 134512640 134716908 3221224576 3221223232 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33015 30126 1111 63 0 32952 0
vsize: 132060
[startup+1070.07 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 30515 0 0 0 106956 66 0 0 25 0 1 0 900901157 136495104 30435 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33324 30435 1111 63 0 33261 0
vsize: 133296
[startup+1080.07 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 30827 0 0 0 107956 66 0 0 25 0 1 0 900901157 137764864 30747 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33634 30747 1111 63 0 33571 0
vsize: 134536
[startup+1090.07 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 31142 0 0 0 108956 66 0 0 25 0 1 0 900901157 139030528 31062 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33943 31062 1111 63 0 33880 0
vsize: 135772
[startup+1100.07 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 31454 0 0 0 109955 67 0 0 25 0 1 0 900901157 140296192 31374 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34252 31374 1111 63 0 34189 0
vsize: 137008
[startup+1110.07 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 31770 0 0 0 110955 68 0 0 25 0 1 0 900901157 141705216 31690 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34596 31690 1111 63 0 34533 0
vsize: 138384
[startup+1120.07 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 32082 0 0 0 111954 69 0 0 25 0 1 0 900901157 142970880 32002 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34905 32002 1111 63 0 34842 0
vsize: 139620
[startup+1130.07 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 32399 0 0 0 112954 69 0 0 25 0 1 0 900901157 144244736 32319 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35216 32319 1111 63 0 35153 0
vsize: 140864
[startup+1140.07 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 32716 0 0 0 113953 70 0 0 25 0 1 0 900901157 145510400 32636 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35525 32636 1111 63 0 35462 0
vsize: 142100
[startup+1150.07 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 33034 0 0 0 114953 70 0 0 25 0 1 0 900901157 146776064 32954 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35834 32954 1111 63 0 35771 0
vsize: 143336
[startup+1160.07 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 33350 0 0 0 115952 71 0 0 25 0 1 0 900901157 148041728 33270 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36143 33270 1111 63 0 36080 0
vsize: 144572
[startup+1170.07 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 33668 0 0 0 116952 71 0 0 25 0 1 0 900901157 149450752 33588 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36487 33588 1111 63 0 36424 0
vsize: 145948
[startup+1180.07 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 33991 0 0 0 117952 72 0 0 25 0 1 0 900901157 150716416 33911 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36796 33911 1111 63 0 36733 0
vsize: 147184
[startup+1190.07 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 34315 0 0 0 118951 73 0 0 25 0 1 0 900901157 151986176 34235 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37106 34235 1111 63 0 37043 0
vsize: 148424
[startup+1200.07 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) R 31238 21152 21151 0 -1 0 34632 0 0 0 119951 74 0 0 25 0 1 0 900901157 153391104 34552 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37449 34552 1111 63 0 37386 0
vsize: 149796
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.14 s]
Raw data (loadavg): 1.00 0.98 0.92 1/54 31239
Raw data (stat): 31239 (bsolo_lpr-v2) Z 31238 21152 21151 0 -1 1036 34632 0 0 0 119951 80 0 0 25 0 1 0 900901157 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.14
CPU time (s): 1200.32
CPU user time (s): 1199.51
CPU system time (s): 0.803877
CPU usage (%): 100.015
Max. virtual memory (Kb): 149796
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####