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-n3700.opb
MD5SUM	389a3363aac4cd4681aed244ad9f1688
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	39143259648
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	39143259648
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.975851
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 40440

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-08 10:22:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28506 boxname=wulflinc6 idbench=1462 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  389a3363aac4cd4681aed244ad9f1688  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-n3700.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-n3700.opb
IDLAUNCH: 28506
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        874460 kB
Buffers:         21712 kB
Cached:         116720 kB
SwapCached:        968 kB
Active:          34020 kB
Inactive:       106464 kB
HighTotal:      131008 kB
HighFree:        14224 kB
LowTotal:       903652 kB
LowFree:        860236 kB
SwapTotal:     2097136 kB
SwapFree:      2095184 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            13956 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 10:42:25 (client local time) WITH STATUS 0 IN 1200.47 SECONDS
stats: 28506 7 1200.47 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.90 2/54 29575
Raw data (stat): 29575 (runsolver) R 29574 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 900878029 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 1160 0 0 0 993 5 0 0 25 0 1 0 900878029 16052224 1080 4294967295 134512640 134716908 3221224576 3221222804 1077414363 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.0003 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 1407 0 0 0 1993 5 0 0 25 0 1 0 900878029 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+29.9998 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 1657 0 0 0 2993 6 0 0 25 0 1 0 900878029 18178048 1577 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4438 1577 1111 63 0 4375 0
vsize: 17752
[startup+39.9999 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 1905 0 0 0 3993 6 0 0 25 0 1 0 900878029 19165184 1825 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4679 1825 1111 63 0 4616 0
vsize: 18716
[startup+49.9998 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 2153 0 0 0 4993 7 0 0 25 0 1 0 900878029 20152320 2073 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4920 2073 1111 63 0 4857 0
vsize: 19680
[startup+59.9995 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 2406 0 0 0 5992 7 0 0 25 0 1 0 900878029 21274624 2326 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5194 2326 1111 63 0 5131 0
vsize: 20776
[startup+69.9994 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 2660 0 0 0 6992 7 0 0 25 0 1 0 900878029 22261760 2580 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5435 2580 1111 63 0 5372 0
vsize: 21740
[startup+79.9992 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 2907 0 0 0 7992 8 0 0 25 0 1 0 900878029 23240704 2827 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5674 2827 1111 63 0 5611 0
vsize: 22696
[startup+89.9987 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 3161 0 0 0 8992 8 0 0 25 0 1 0 900878029 24367104 3081 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5949 3081 1111 63 0 5886 0
vsize: 23796
[startup+99.9988 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 3409 0 0 0 9992 9 0 0 25 0 1 0 900878029 25354240 3329 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6190 3329 1111 63 0 6127 0
vsize: 24760
[startup+109.999 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 3658 0 0 0 10992 9 0 0 25 0 1 0 900878029 26341376 3578 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 3578 1111 63 0 6368 0
vsize: 25724
[startup+119.999 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 3920 0 0 0 11992 10 0 0 25 0 1 0 900878029 27488256 3840 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6711 3840 1111 63 0 6648 0
vsize: 26844
[startup+129.999 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 4174 0 0 0 12992 10 0 0 25 0 1 0 900878029 28475392 4094 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6952 4094 1111 63 0 6889 0
vsize: 27808
[startup+139.999 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 4423 0 0 0 13992 10 0 0 25 0 1 0 900878029 29462528 4343 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7193 4343 1111 63 0 7130 0
vsize: 28772
[startup+150 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 4683 0 0 0 14992 10 0 0 25 0 1 0 900878029 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 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 4932 0 0 0 15992 11 0 0 25 0 1 0 900878029 31567872 4852 4294967295 134512640 134716908 3221224576 3221223232 134527932 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 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 5187 0 0 0 16992 11 0 0 25 0 1 0 900878029 32555008 5107 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7948 5107 1111 63 0 7885 0
vsize: 31792
[startup+179.999 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 5443 0 0 0 17992 11 0 0 25 0 1 0 900878029 33681408 5363 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8223 5363 1111 63 0 8160 0
vsize: 32892
[startup+189.999 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 5697 0 0 0 18992 12 0 0 25 0 1 0 900878029 34668544 5617 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8464 5617 1111 63 0 8401 0
vsize: 33856
[startup+199.999 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 5952 0 0 0 19992 12 0 0 25 0 1 0 900878029 35794944 5872 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8739 5872 1111 63 0 8676 0
vsize: 34956
[startup+209.998 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 6213 0 0 0 20992 13 0 0 25 0 1 0 900878029 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+219.999 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 6478 0 0 0 21991 13 0 0 25 0 1 0 900878029 37920768 6398 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9258 6398 1111 63 0 9195 0
vsize: 37032
[startup+229.998 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 6733 0 0 0 22991 14 0 0 25 0 1 0 900878029 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+239.999 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 6994 0 0 0 23991 14 0 0 25 0 1 0 900878029 40030208 6914 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9773 6914 1111 63 0 9710 0
vsize: 39092
[startup+249.999 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 7249 0 0 0 24991 15 0 0 25 0 1 0 900878029 41156608 7169 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10048 7169 1111 63 0 9985 0
vsize: 40192
[startup+259.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 7512 0 0 0 25991 15 0 0 25 0 1 0 900878029 42143744 7432 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10289 7432 1111 63 0 10226 0
vsize: 41156
[startup+269.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 7767 0 0 0 26991 15 0 0 25 0 1 0 900878029 43270144 7687 4294967295 134512640 134716908 3221224576 3221222804 1077414363 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 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 8030 0 0 0 27991 16 0 0 25 0 1 0 900878029 44257280 7950 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10805 7950 1111 63 0 10742 0
vsize: 43220
[startup+289.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 8291 0 0 0 28990 17 0 0 25 0 1 0 900878029 45383680 8211 4294967295 134512640 134716908 3221224576 3221222804 1077414435 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 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 8553 0 0 0 29991 17 0 0 25 0 1 0 900878029 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 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 8816 0 0 0 30990 17 0 0 25 0 1 0 900878029 47489024 8736 4294967295 134512640 134716908 3221224576 3221222804 1077414363 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 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 9076 0 0 0 31990 18 0 0 25 0 1 0 900878029 48615424 8996 4294967295 134512640 134716908 3221224576 3221222804 1077414385 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 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 9338 0 0 0 32990 18 0 0 25 0 1 0 900878029 49602560 9258 4294967295 134512640 134716908 3221224576 3221222804 1077414338 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 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 9601 0 0 0 33990 19 0 0 25 0 1 0 900878029 50733056 9521 4294967295 134512640 134716908 3221224576 3221222804 1077414363 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 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 9862 0 0 0 34990 20 0 0 25 0 1 0 900878029 51716096 9782 4294967295 134512640 134716908 3221224576 3221222804 1077414395 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.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 10126 0 0 0 35989 20 0 0 25 0 1 0 900878029 52842496 10046 4294967295 134512640 134716908 3221224576 3221222804 1077414363 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.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 10394 0 0 0 36989 21 0 0 25 0 1 0 900878029 53968896 10314 4294967295 134512640 134716908 3221224576 3221222804 1077414360 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.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 10656 0 0 0 37989 22 0 0 25 0 1 0 900878029 54960128 10576 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13418 10576 1111 63 0 13355 0
vsize: 53672
[startup+390.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 10925 0 0 0 38988 22 0 0 25 0 1 0 900878029 56086528 10845 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13693 10845 1111 63 0 13630 0
vsize: 54772
[startup+400.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 11187 0 0 0 39988 23 0 0 25 0 1 0 900878029 57212928 11107 4294967295 134512640 134716908 3221224576 3221222804 1077414433 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.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 11453 0 0 0 40988 23 0 0 25 0 1 0 900878029 58331136 11373 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14241 11373 1111 63 0 14178 0
vsize: 56964
[startup+420.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 11722 0 0 0 41988 24 0 0 25 0 1 0 900878029 59318272 11642 4294967295 134512640 134716908 3221224576 3221222804 1077414338 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.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 12002 0 0 0 42988 24 0 0 25 0 1 0 900878029 60674048 11922 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14813 11922 1111 63 0 14750 0
vsize: 59252
[startup+440.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 12270 0 0 0 43988 25 0 0 25 0 1 0 900878029 61792256 12190 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15086 12190 1111 63 0 15023 0
vsize: 60344
[startup+450.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 12539 0 0 0 44988 25 0 0 25 0 1 0 900878029 62779392 12459 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15327 12459 1111 63 0 15264 0
vsize: 61308
[startup+460.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 12814 0 0 0 45988 26 0 0 25 0 1 0 900878029 63905792 12734 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15602 12734 1111 63 0 15539 0
vsize: 62408
[startup+470.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 13078 0 0 0 46988 26 0 0 25 0 1 0 900878029 65032192 12998 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15877 12998 1111 63 0 15814 0
vsize: 63508
[startup+480.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 13352 0 0 0 47988 26 0 0 25 0 1 0 900878029 66158592 13272 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16152 13272 1111 63 0 16089 0
vsize: 64608
[startup+490.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 13622 0 0 0 48988 27 0 0 25 0 1 0 900878029 67284992 13542 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16427 13542 1111 63 0 16364 0
vsize: 65708
[startup+500.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 13891 0 0 0 49987 27 0 0 25 0 1 0 900878029 68411392 13811 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16702 13811 1111 63 0 16639 0
vsize: 66808
[startup+510.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 14167 0 0 0 50987 28 0 0 25 0 1 0 900878029 69537792 14087 4294967295 134512640 134716908 3221224576 3221222804 1077414338 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 14436 0 0 0 51987 28 0 0 25 0 1 0 900878029 70520832 14356 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17217 14356 1111 63 0 17154 0
vsize: 68868
[startup+530.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 14711 0 0 0 52987 29 0 0 25 0 1 0 900878029 71647232 14631 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17492 14631 1111 63 0 17429 0
vsize: 69968
[startup+540.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 14979 0 0 0 53987 29 0 0 25 0 1 0 900878029 72773632 14899 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17767 14899 1111 63 0 17704 0
vsize: 71068
[startup+550.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 15255 0 0 0 54987 30 0 0 25 0 1 0 900878029 73900032 15175 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18042 15175 1111 63 0 17979 0
vsize: 72168
[startup+560.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 15531 0 0 0 55987 30 0 0 25 0 1 0 900878029 75026432 15451 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18317 15451 1111 63 0 18254 0
vsize: 73268
[startup+570.005 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 15807 0 0 0 56987 30 0 0 25 0 1 0 900878029 76152832 15727 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18592 15727 1111 63 0 18529 0
vsize: 74368
[startup+580.005 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 16083 0 0 0 57987 31 0 0 25 0 1 0 900878029 77283328 16003 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18868 16003 1111 63 0 18805 0
vsize: 75472
[startup+590.005 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 16359 0 0 0 58986 31 0 0 25 0 1 0 900878029 78409728 16279 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19143 16279 1111 63 0 19080 0
vsize: 76572
[startup+600.006 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 16635 0 0 0 59986 32 0 0 25 0 1 0 900878029 79536128 16555 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19418 16555 1111 63 0 19355 0
vsize: 77672
[startup+610.006 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 16917 0 0 0 60986 32 0 0 25 0 1 0 900878029 80662528 16837 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19693 16837 1111 63 0 19630 0
vsize: 78772
[startup+620.006 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 17199 0 0 0 61986 33 0 0 25 0 1 0 900878029 81928192 17119 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20002 17119 1111 63 0 19939 0
vsize: 80008
[startup+630.007 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 17475 0 0 0 62986 34 0 0 25 0 1 0 900878029 83054592 17395 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20277 17395 1111 63 0 20214 0
vsize: 81108
[startup+640.007 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 17752 0 0 0 63986 34 0 0 25 0 1 0 900878029 84180992 17672 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20552 17672 1111 63 0 20489 0
vsize: 82208
[startup+650.007 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 18035 0 0 0 64986 34 0 0 25 0 1 0 900878029 85307392 17955 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20827 17955 1111 63 0 20764 0
vsize: 83308
[startup+660.008 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 18317 0 0 0 65985 35 0 0 25 0 1 0 900878029 86433792 18237 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21102 18237 1111 63 0 21039 0
vsize: 84408
[startup+670.007 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 18593 0 0 0 66985 35 0 0 25 0 1 0 900878029 87560192 18513 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21377 18513 1111 63 0 21314 0
vsize: 85508
[startup+680.007 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 18883 0 0 0 67985 36 0 0 25 0 1 0 900878029 88686592 18803 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21652 18803 1111 63 0 21589 0
vsize: 86608
[startup+690.008 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 19159 0 0 0 68985 36 0 0 25 0 1 0 900878029 89817088 19079 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21928 19079 1111 63 0 21865 0
vsize: 87712
[startup+700.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 19448 0 0 0 69985 37 0 0 25 0 1 0 900878029 91082752 19368 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22237 19368 1111 63 0 22174 0
vsize: 88948
[startup+710.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 19731 0 0 0 70985 37 0 0 25 0 1 0 900878029 92209152 19651 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22512 19651 1111 63 0 22449 0
vsize: 90048
[startup+720.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 20013 0 0 0 71985 37 0 0 25 0 1 0 900878029 93331456 19933 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22786 19933 1111 63 0 22723 0
vsize: 91144
[startup+730.008 s]
Raw data (loadavg): 1.00 0.99 0.91 3/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 20304 0 0 0 72985 38 0 0 25 0 1 0 900878029 94601216 20224 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23096 20224 1111 63 0 23033 0
vsize: 92384
[startup+740.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 20584 0 0 0 73985 38 0 0 25 0 1 0 900878029 95723520 20504 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23370 20504 1111 63 0 23307 0
vsize: 93480
[startup+750.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 20874 0 0 0 74985 39 0 0 25 0 1 0 900878029 96849920 20794 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23645 20794 1111 63 0 23582 0
vsize: 94580
[startup+760.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 21157 0 0 0 75984 39 0 0 25 0 1 0 900878029 97976320 21077 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23920 21077 1111 63 0 23857 0
vsize: 95680
[startup+770.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 21446 0 0 0 76984 40 0 0 25 0 1 0 900878029 99246080 21366 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24230 21366 1111 63 0 24167 0
vsize: 96920
[startup+780.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 21737 0 0 0 77984 40 0 0 25 0 1 0 900878029 100372480 21657 4294967295 134512640 134716908 3221224576 3221222804 1077414418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24505 21657 1111 63 0 24442 0
vsize: 98020
[startup+790.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 22026 0 0 0 78984 41 0 0 25 0 1 0 900878029 101638144 21946 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24814 21946 1111 63 0 24751 0
vsize: 99256
[startup+800.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 22315 0 0 0 79984 41 0 0 25 0 1 0 900878029 102764544 22235 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25089 22235 1111 63 0 25026 0
vsize: 100356
[startup+810.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 22604 0 0 0 80983 42 0 0 25 0 1 0 900878029 103890944 22524 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25364 22524 1111 63 0 25301 0
vsize: 101456
[startup+820.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 22899 0 0 0 81983 43 0 0 25 0 1 0 900878029 105160704 22819 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25674 22819 1111 63 0 25611 0
vsize: 102696
[startup+830.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 23228 0 0 0 82983 43 0 0 25 0 1 0 900878029 106786816 23148 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26071 23148 1111 63 0 26008 0
vsize: 104284
[startup+840.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 23518 0 0 0 83983 43 0 0 25 0 1 0 900878029 107913216 23438 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26346 23438 1111 63 0 26283 0
vsize: 105384
[startup+850.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 23809 0 0 0 84982 44 0 0 25 0 1 0 900878029 109178880 23729 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26655 23729 1111 63 0 26592 0
vsize: 106620
[startup+860.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 24104 0 0 0 85983 45 0 0 25 0 1 0 900878029 110305280 24024 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26930 24024 1111 63 0 26867 0
vsize: 107720
[startup+870.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 24401 0 0 0 86983 45 0 0 25 0 1 0 900878029 111575040 24321 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27240 24321 1111 63 0 27177 0
vsize: 108960
[startup+880.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 24697 0 0 0 87982 46 0 0 25 0 1 0 900878029 112701440 24617 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27515 24617 1111 63 0 27452 0
vsize: 110060
[startup+890.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 24994 0 0 0 88981 46 0 0 25 0 1 0 900878029 113967104 24914 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27824 24914 1111 63 0 27761 0
vsize: 111296
[startup+900.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 25290 0 0 0 89981 47 0 0 25 0 1 0 900878029 115232768 25210 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28133 25210 1111 63 0 28070 0
vsize: 112532
[startup+910.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 25586 0 0 0 90980 48 0 0 25 0 1 0 900878029 116359168 25506 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28408 25506 1111 63 0 28345 0
vsize: 113632
[startup+920.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 25890 0 0 0 91980 49 0 0 25 0 1 0 900878029 117624832 25810 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28717 25810 1111 63 0 28654 0
vsize: 114868
[startup+930.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 26186 0 0 0 92980 49 0 0 25 0 1 0 900878029 118894592 26106 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29027 26106 1111 63 0 28964 0
vsize: 116108
[startup+940.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 26483 0 0 0 93980 50 0 0 25 0 1 0 900878029 120020992 26403 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29302 26403 1111 63 0 29239 0
vsize: 117208
[startup+950.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 26786 0 0 0 94980 50 0 0 25 0 1 0 900878029 121286656 26706 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29611 26706 1111 63 0 29548 0
vsize: 118444
[startup+960.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 27088 0 0 0 95979 51 0 0 25 0 1 0 900878029 122556416 27008 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29921 27008 1111 63 0 29858 0
vsize: 119684
[startup+970.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 27388 0 0 0 96979 52 0 0 25 0 1 0 900878029 123682816 27308 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30196 27308 1111 63 0 30133 0
vsize: 120784
[startup+980.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 27691 0 0 0 97979 52 0 0 25 0 1 0 900878029 124948480 27611 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30505 27611 1111 63 0 30442 0
vsize: 122020
[startup+990.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 28001 0 0 0 98978 53 0 0 25 0 1 0 900878029 126222336 27921 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30816 27921 1111 63 0 30753 0
vsize: 123264
[startup+1000.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 28304 0 0 0 99978 53 0 0 25 0 1 0 900878029 127488000 28224 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31125 28224 1111 63 0 31062 0
vsize: 124500
[startup+1010.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 28608 0 0 0 100978 54 0 0 25 0 1 0 900878029 128753664 28528 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31434 28528 1111 63 0 31371 0
vsize: 125736
[startup+1020.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 28911 0 0 0 101978 55 0 0 25 0 1 0 900878029 130019328 28831 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31743 28831 1111 63 0 31680 0
vsize: 126972
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 29221 0 0 0 102978 55 0 0 25 0 1 0 900878029 131289088 29141 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32053 29141 1111 63 0 31990 0
vsize: 128212
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 29531 0 0 0 103978 55 0 0 25 0 1 0 900878029 132554752 29451 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32362 29451 1111 63 0 32299 0
vsize: 129448
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 29834 0 0 0 104978 56 0 0 25 0 1 0 900878029 133681152 29754 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32637 29754 1111 63 0 32574 0
vsize: 130548
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 30144 0 0 0 105977 57 0 0 25 0 1 0 900878029 134950912 30064 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32947 30064 1111 63 0 32884 0
vsize: 131788
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 30453 0 0 0 106977 57 0 0 25 0 1 0 900878029 136216576 30373 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33256 30373 1111 63 0 33193 0
vsize: 133024
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 30759 0 0 0 107977 58 0 0 25 0 1 0 900878029 137482240 30679 4294967295 134512640 134716908 3221224576 3221223232 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33565 30679 1111 63 0 33502 0
vsize: 134260
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 31074 0 0 0 108977 58 0 0 25 0 1 0 900878029 138747904 30994 4294967295 134512640 134716908 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33874 30994 1111 63 0 33811 0
vsize: 135496
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 31379 0 0 0 109977 59 0 0 25 0 1 0 900878029 140017664 31299 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34184 31299 1111 63 0 34121 0
vsize: 136736
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 31695 0 0 0 110976 60 0 0 25 0 1 0 900878029 141283328 31615 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34493 31615 1111 63 0 34430 0
vsize: 137972
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 32012 0 0 0 111975 61 0 0 25 0 1 0 900878029 142688256 31932 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34836 31932 1111 63 0 34773 0
vsize: 139344
[startup+1130.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 32322 0 0 0 112975 62 0 0 25 0 1 0 900878029 143958016 32242 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35146 32242 1111 63 0 35083 0
vsize: 140584
[startup+1140.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 32632 0 0 0 113974 63 0 0 25 0 1 0 900878029 145223680 32552 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35455 32552 1111 63 0 35392 0
vsize: 141820
[startup+1150.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 32950 0 0 0 114975 63 0 0 25 0 1 0 900878029 146489344 32870 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35764 32870 1111 63 0 35701 0
vsize: 143056
[startup+1160.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 33266 0 0 0 115974 64 0 0 25 0 1 0 900878029 147759104 33186 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36074 33186 1111 63 0 36011 0
vsize: 144296
[startup+1170.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 33585 0 0 0 116974 64 0 0 25 0 1 0 900878029 149024768 33505 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36383 33505 1111 63 0 36320 0
vsize: 145532
[startup+1180.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 33901 0 0 0 117973 65 0 0 25 0 1 0 900878029 150298624 33821 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36694 33821 1111 63 0 36631 0
vsize: 146776
[startup+1190.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 34219 0 0 0 118973 66 0 0 25 0 1 0 900878029 151703552 34139 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37037 34139 1111 63 0 36974 0
vsize: 148148
[startup+1200.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) R 29574 25568 25567 0 -1 0 34535 0 0 0 119973 66 0 0 25 0 1 0 900878029 152973312 34455 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37347 34455 1111 63 0 37284 0
vsize: 149388
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 29575
Raw data (stat): 29575 (bsolo_lpr-v2) Z 29574 25568 25567 0 -1 1036 34535 0 0 0 119973 72 0 0 25 0 1 0 900878029 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.09
CPU time (s): 1200.47
CPU user time (s): 1199.74
CPU system time (s): 0.726889
CPU usage (%): 100.031
Max. virtual memory (Kb): 149388
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####