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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-maros-r7.opb
MD5SUM	652a81faea87c0443f84aaa4223a3702
Bench Category	optimization, big integers (OPTBIGINT)
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	125440
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	6576662400
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	4020224000000
Number of bits of the biggest number in a constraint	42
Biggest sum of numbers in a constraint	8483418475850
Number of bits of the biggest sum of numbers	43
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.71574
Number of variables	188160
Total number of constraints	3136
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	3136
Minimum length of a constraint	100
Maximum length of a constraint	480
Trace number 40224

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        616852 kB
Buffers:         25096 kB
Cached:         366920 kB
SwapCached:       1160 kB
Active:          64100 kB
Inactive:       330184 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        616600 kB
SwapTotal:     2097136 kB
SwapFree:      2094844 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5252 kB
Slab:            17748 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 04:39:30 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 28274 7 1200.24 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.68 0.88 0.93 2/55 18281
Raw data (stat): 18281 (runsolver) R 18280 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 841844232 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.0001 s]
Raw data (loadavg): 0.73 0.89 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 1195 0 0 0 993 4 0 0 25 0 1 0 841844232 15912960 1115 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3885 1115 1111 63 0 3822 0
vsize: 15540
[startup+20.0009 s]
Raw data (loadavg): 0.77 0.89 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 1408 0 0 0 1992 5 0 0 25 0 1 0 841844232 16900096 1328 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4126 1328 1111 63 0 4063 0
vsize: 16504
[startup+30.0007 s]
Raw data (loadavg): 0.81 0.89 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 1621 0 0 0 2992 6 0 0 25 0 1 0 841844232 17743872 1541 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4332 1541 1111 63 0 4269 0
vsize: 17328
[startup+40.0014 s]
Raw data (loadavg): 0.84 0.90 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 1838 0 0 0 3992 6 0 0 25 0 1 0 841844232 18604032 1758 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4542 1758 1111 63 0 4479 0
vsize: 18168
[startup+50.0022 s]
Raw data (loadavg): 0.86 0.90 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 2044 0 0 0 4991 7 0 0 25 0 1 0 841844232 19443712 1964 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4747 1964 1111 63 0 4684 0
vsize: 18988
[startup+60.002 s]
Raw data (loadavg): 0.88 0.90 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 2263 0 0 0 5991 7 0 0 25 0 1 0 841844232 20291584 2183 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4954 2183 1111 63 0 4891 0
vsize: 19816
[startup+70.0018 s]
Raw data (loadavg): 0.90 0.91 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 2476 0 0 0 6991 8 0 0 25 0 1 0 841844232 21274624 2396 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5194 2396 1111 63 0 5131 0
vsize: 20776
[startup+80.0026 s]
Raw data (loadavg): 0.91 0.91 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 2695 0 0 0 7990 8 0 0 25 0 1 0 841844232 22114304 2615 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5399 2615 1111 63 0 5336 0
vsize: 21596
[startup+90.0034 s]
Raw data (loadavg): 0.93 0.91 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 2909 0 0 0 8990 9 0 0 25 0 1 0 841844232 22962176 2829 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5606 2829 1111 63 0 5543 0
vsize: 22424
[startup+100.004 s]
Raw data (loadavg): 0.94 0.91 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 3122 0 0 0 9989 10 0 0 25 0 1 0 841844232 23805952 3042 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5812 3042 1111 63 0 5749 0
vsize: 23248
[startup+110.004 s]
Raw data (loadavg): 0.95 0.92 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 3336 0 0 0 10989 10 0 0 25 0 1 0 841844232 24797184 3256 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6054 3256 1111 63 0 5991 0
vsize: 24216
[startup+120.005 s]
Raw data (loadavg): 0.95 0.92 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 3548 0 0 0 11989 11 0 0 25 0 1 0 841844232 25636864 3468 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6259 3468 1111 63 0 6196 0
vsize: 25036
[startup+130.005 s]
Raw data (loadavg): 0.96 0.92 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 3776 0 0 0 12988 11 0 0 25 0 1 0 841844232 26488832 3696 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6467 3696 1111 63 0 6404 0
vsize: 25868
[startup+140.005 s]
Raw data (loadavg): 0.97 0.92 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 3990 0 0 0 13988 12 0 0 25 0 1 0 841844232 27488256 3910 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6711 3910 1111 63 0 6648 0
vsize: 26844
[startup+150.006 s]
Raw data (loadavg): 0.97 0.92 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 4203 0 0 0 14988 12 0 0 25 0 1 0 841844232 28336128 4123 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6918 4123 1111 63 0 6855 0
vsize: 27672
[startup+160.006 s]
Raw data (loadavg): 0.98 0.93 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 4422 0 0 0 15987 13 0 0 25 0 1 0 841844232 29175808 4342 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7123 4342 1111 63 0 7060 0
vsize: 28492
[startup+170.007 s]
Raw data (loadavg): 0.98 0.93 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 4644 0 0 0 16986 14 0 0 25 0 1 0 841844232 30162944 4564 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7364 4564 1111 63 0 7301 0
vsize: 29456
[startup+180.006 s]
Raw data (loadavg): 0.98 0.93 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 4858 0 0 0 17986 14 0 0 25 0 1 0 841844232 31006720 4778 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7570 4778 1111 63 0 7507 0
vsize: 30280
[startup+190.007 s]
Raw data (loadavg): 0.98 0.93 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 5072 0 0 0 18985 15 0 0 25 0 1 0 841844232 31854592 4992 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7777 4992 1111 63 0 7714 0
vsize: 31108
[startup+200.007 s]
Raw data (loadavg): 0.99 0.93 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 5292 0 0 0 19985 16 0 0 25 0 1 0 841844232 32694272 5212 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7982 5212 1111 63 0 7919 0
vsize: 31928
[startup+210.007 s]
Raw data (loadavg): 0.99 0.93 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 5513 0 0 0 20985 16 0 0 25 0 1 0 841844232 33681408 5433 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8223 5433 1111 63 0 8160 0
vsize: 32892
[startup+220.008 s]
Raw data (loadavg): 0.99 0.94 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 5733 0 0 0 21984 17 0 0 25 0 1 0 841844232 34529280 5653 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8430 5653 1111 63 0 8367 0
vsize: 33720
[startup+230.008 s]
Raw data (loadavg): 0.99 0.94 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 5953 0 0 0 22984 18 0 0 25 0 1 0 841844232 35516416 5873 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8671 5873 1111 63 0 8608 0
vsize: 34684
[startup+240.009 s]
Raw data (loadavg): 0.99 0.94 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 6172 0 0 0 23983 18 0 0 25 0 1 0 841844232 36356096 6092 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8876 6092 1111 63 0 8813 0
vsize: 35504
[startup+250.009 s]
Raw data (loadavg): 0.99 0.94 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 6386 0 0 0 24983 19 0 0 25 0 1 0 841844232 37203968 6306 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9083 6306 1111 63 0 9020 0
vsize: 36332
[startup+260.009 s]
Raw data (loadavg): 0.99 0.94 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 6618 0 0 0 25982 20 0 0 25 0 1 0 841844232 38203392 6538 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9327 6538 1111 63 0 9264 0
vsize: 37308
[startup+270.009 s]
Raw data (loadavg): 0.99 0.94 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 6838 0 0 0 26982 20 0 0 25 0 1 0 841844232 39190528 6758 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9568 6758 1111 63 0 9505 0
vsize: 38272
[startup+280.009 s]
Raw data (loadavg): 0.99 0.95 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 7057 0 0 0 27981 21 0 0 25 0 1 0 841844232 40030208 6977 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9773 6977 1111 63 0 9710 0
vsize: 39092
[startup+290.01 s]
Raw data (loadavg): 0.99 0.95 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 7285 0 0 0 28981 21 0 0 25 0 1 0 841844232 41017344 7205 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10014 7205 1111 63 0 9951 0
vsize: 40056
[startup+300.01 s]
Raw data (loadavg): 0.99 0.95 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 7506 0 0 0 29981 22 0 0 25 0 1 0 841844232 41861120 7426 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10220 7426 1111 63 0 10157 0
vsize: 40880
[startup+310.01 s]
Raw data (loadavg): 0.99 0.95 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 7727 0 0 0 30980 22 0 0 25 0 1 0 841844232 42700800 7647 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10425 7647 1111 63 0 10362 0
vsize: 41700
[startup+320.011 s]
Raw data (loadavg): 0.99 0.95 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 7947 0 0 0 31980 23 0 0 25 0 1 0 841844232 43692032 7867 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10667 7867 1111 63 0 10604 0
vsize: 42668
[startup+330.011 s]
Raw data (loadavg): 0.99 0.95 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 8168 0 0 0 32979 24 0 0 25 0 1 0 841844232 44535808 8088 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10873 8088 1111 63 0 10810 0
vsize: 43492
[startup+340.013 s]
Raw data (loadavg): 0.99 0.95 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 8389 0 0 0 33979 25 0 0 25 0 1 0 841844232 45522944 8309 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11114 8309 1111 63 0 11051 0
vsize: 44456
[startup+350.013 s]
Raw data (loadavg): 0.99 0.95 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 8617 0 0 0 34978 25 0 0 25 0 1 0 841844232 46370816 8537 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11321 8537 1111 63 0 11258 0
vsize: 45284
[startup+360.013 s]
Raw data (loadavg): 0.99 0.95 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 8843 0 0 0 35978 26 0 0 25 0 1 0 841844232 47349760 8763 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11560 8763 1111 63 0 11497 0
vsize: 46240
[startup+370.013 s]
Raw data (loadavg): 0.99 0.95 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 9064 0 0 0 36977 27 0 0 25 0 1 0 841844232 48197632 8984 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11767 8984 1111 63 0 11704 0
vsize: 47068
[startup+380.013 s]
Raw data (loadavg): 0.99 0.95 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 9286 0 0 0 37977 27 0 0 25 0 1 0 841844232 49184768 9206 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12008 9206 1111 63 0 11945 0
vsize: 48032
[startup+390.013 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 9514 0 0 0 38976 28 0 0 25 0 1 0 841844232 50028544 9434 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12214 9434 1111 63 0 12151 0
vsize: 48856
[startup+400.014 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 9739 0 0 0 39976 29 0 0 25 0 1 0 841844232 51011584 9659 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12454 9659 1111 63 0 12391 0
vsize: 49816
[startup+410.014 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 9961 0 0 0 40975 30 0 0 25 0 1 0 841844232 51859456 9881 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12661 9881 1111 63 0 12598 0
vsize: 50644
[startup+420.014 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 10195 0 0 0 41975 30 0 0 25 0 1 0 841844232 52842496 10115 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12901 10115 1111 63 0 12838 0
vsize: 51604
[startup+430.015 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 10416 0 0 0 42975 30 0 0 25 0 1 0 841844232 53690368 10336 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13108 10336 1111 63 0 13045 0
vsize: 52432
[startup+440.015 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 10643 0 0 0 43974 31 0 0 25 0 1 0 841844232 54673408 10563 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13348 10563 1111 63 0 13285 0
vsize: 53392
[startup+450.015 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 10871 0 0 0 44974 31 0 0 25 0 1 0 841844232 55656448 10791 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13588 10791 1111 63 0 13525 0
vsize: 54352
[startup+460.015 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 11098 0 0 0 45973 32 0 0 25 0 1 0 841844232 56504320 11018 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13795 11018 1111 63 0 13732 0
vsize: 55180
[startup+470.015 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 11325 0 0 0 46973 33 0 0 25 0 1 0 841844232 57491456 11245 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14036 11245 1111 63 0 13973 0
vsize: 56144
[startup+480.015 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 11553 0 0 0 47973 33 0 0 25 0 1 0 841844232 58331136 11473 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14241 11473 1111 63 0 14178 0
vsize: 56964
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 11779 0 0 0 48972 34 0 0 25 0 1 0 841844232 59318272 11699 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14482 11699 1111 63 0 14419 0
vsize: 57928
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 12012 0 0 0 49972 34 0 0 25 0 1 0 841844232 60305408 11932 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14723 11932 1111 63 0 14660 0
vsize: 58892
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 12257 0 0 0 50971 35 0 0 25 0 1 0 841844232 61370368 12177 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14983 12177 1111 63 0 14920 0
vsize: 59932
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 12486 0 0 0 51971 35 0 0 25 0 1 0 841844232 62357504 12406 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15224 12406 1111 63 0 15161 0
vsize: 60896
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 12719 0 0 0 52971 36 0 0 25 0 1 0 841844232 63340544 12639 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15464 12639 1111 63 0 15401 0
vsize: 61856
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 12946 0 0 0 53971 36 0 0 25 0 1 0 841844232 64184320 12866 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15670 12866 1111 63 0 15607 0
vsize: 62680
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 13181 0 0 0 54970 37 0 0 25 0 1 0 841844232 65171456 13101 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15911 13101 1111 63 0 15848 0
vsize: 63644
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 13409 0 0 0 55970 37 0 0 25 0 1 0 841844232 66158592 13329 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16152 13329 1111 63 0 16089 0
vsize: 64608
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 13644 0 0 0 56969 38 0 0 25 0 1 0 841844232 67006464 13564 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16359 13564 1111 63 0 16296 0
vsize: 65436
[startup+580.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 13877 0 0 0 57969 39 0 0 25 0 1 0 841844232 67985408 13797 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16598 13797 1111 63 0 16535 0
vsize: 66392
[startup+590.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 14105 0 0 0 58968 39 0 0 25 0 1 0 841844232 68972544 14025 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16839 14025 1111 63 0 16776 0
vsize: 67356
[startup+600.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 14340 0 0 0 59968 40 0 0 25 0 1 0 841844232 69959680 14260 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17080 14260 1111 63 0 17017 0
vsize: 68320
[startup+610.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 14575 0 0 0 60967 40 0 0 25 0 1 0 841844232 70807552 14495 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17287 14495 1111 63 0 17224 0
vsize: 69148
[startup+620.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 14810 0 0 0 61967 41 0 0 25 0 1 0 841844232 71794688 14730 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17528 14730 1111 63 0 17465 0
vsize: 70112
[startup+630.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 15042 0 0 0 62967 41 0 0 25 0 1 0 841844232 72773632 14962 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17767 14962 1111 63 0 17704 0
vsize: 71068
[startup+640.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 15277 0 0 0 63966 42 0 0 25 0 1 0 841844232 73760768 15197 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18008 15197 1111 63 0 17945 0
vsize: 72032
[startup+650.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 15512 0 0 0 64966 42 0 0 25 0 1 0 841844232 74747904 15432 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18249 15432 1111 63 0 18186 0
vsize: 72996
[startup+660.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 15746 0 0 0 65966 43 0 0 25 0 1 0 841844232 75595776 15666 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18456 15666 1111 63 0 18393 0
vsize: 73824
[startup+670.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 15982 0 0 0 66965 43 0 0 25 0 1 0 841844232 76578816 15902 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18696 15902 1111 63 0 18633 0
vsize: 74784
[startup+680.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 16221 0 0 0 67965 44 0 0 25 0 1 0 841844232 77561856 16141 4294967295 134512640 134716908 3221224576 3221222804 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18936 16141 1111 63 0 18873 0
vsize: 75744
[startup+690.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 16456 0 0 0 68965 45 0 0 25 0 1 0 841844232 78548992 16376 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19177 16376 1111 63 0 19114 0
vsize: 76708
[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 16691 0 0 0 69964 45 0 0 25 0 1 0 841844232 79536128 16611 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19418 16611 1111 63 0 19355 0
vsize: 77672
[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 16926 0 0 0 70964 46 0 0 25 0 1 0 841844232 80519168 16846 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19658 16846 1111 63 0 19595 0
vsize: 78632
[startup+720.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 17167 0 0 0 71963 47 0 0 25 0 1 0 841844232 81510400 17087 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19900 17087 1111 63 0 19837 0
vsize: 79600
[startup+730.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 17407 0 0 0 72963 47 0 0 25 0 1 0 841844232 82489344 17327 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20139 17327 1111 63 0 20076 0
vsize: 80556
[startup+740.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 17642 0 0 0 73962 48 0 0 25 0 1 0 841844232 83333120 17562 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20345 17562 1111 63 0 20282 0
vsize: 81380
[startup+750.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 17883 0 0 0 74962 49 0 0 25 0 1 0 841844232 84324352 17803 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20587 17803 1111 63 0 20524 0
vsize: 82348
[startup+760.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 18125 0 0 0 75961 49 0 0 25 0 1 0 841844232 85307392 18045 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20827 18045 1111 63 0 20764 0
vsize: 83308
[startup+770.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 18360 0 0 0 76961 50 0 0 25 0 1 0 841844232 86294528 18280 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21068 18280 1111 63 0 21005 0
vsize: 84272
[startup+780.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 18601 0 0 0 77960 51 0 0 25 0 1 0 841844232 87273472 18521 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21307 18521 1111 63 0 21244 0
vsize: 85228
[startup+790.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 18841 0 0 0 78960 51 0 0 25 0 1 0 841844232 88264704 18761 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21549 18761 1111 63 0 21486 0
vsize: 86196
[startup+800.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 19083 0 0 0 79959 52 0 0 25 0 1 0 841844232 89247744 19003 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21789 19003 1111 63 0 21726 0
vsize: 87156
[startup+810.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 19324 0 0 0 80959 53 0 0 25 0 1 0 841844232 90234880 19244 4294967295 134512640 134716908 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22030 19244 1111 63 0 21967 0
vsize: 88120
[startup+820.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 19566 0 0 0 81958 54 0 0 25 0 1 0 841844232 91222016 19486 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22271 19486 1111 63 0 22208 0
vsize: 89084
[startup+830.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 19808 0 0 0 82957 54 0 0 25 0 1 0 841844232 92209152 19728 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22512 19728 1111 63 0 22449 0
vsize: 90048
[startup+840.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 20048 0 0 0 83957 55 0 0 25 0 1 0 841844232 93188096 19968 4294967295 134512640 134716908 3221224576 3221222804 1077414372 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22751 19968 1111 63 0 22688 0
vsize: 91004
[startup+850.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 20290 0 0 0 84957 56 0 0 25 0 1 0 841844232 94175232 20210 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22992 20210 1111 63 0 22929 0
vsize: 91968
[startup+860.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 20538 0 0 0 85956 56 0 0 25 0 1 0 841844232 95162368 20458 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23233 20458 1111 63 0 23170 0
vsize: 92932
[startup+870.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 20779 0 0 0 86956 57 0 0 25 0 1 0 841844232 96149504 20699 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23474 20699 1111 63 0 23411 0
vsize: 93896
[startup+880.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 21022 0 0 0 87956 57 0 0 25 0 1 0 841844232 97136640 20942 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23715 20942 1111 63 0 23652 0
vsize: 94860
[startup+890.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 21270 0 0 0 88955 58 0 0 25 0 1 0 841844232 98263040 21190 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23990 21190 1111 63 0 23927 0
vsize: 95960
[startup+900.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 21515 0 0 0 89955 58 0 0 25 0 1 0 841844232 99246080 21435 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24230 21435 1111 63 0 24167 0
vsize: 96920
[startup+910.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 21759 0 0 0 90954 59 0 0 25 0 1 0 841844232 100229120 21679 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24470 21679 1111 63 0 24407 0
vsize: 97880
[startup+920.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 22006 0 0 0 91954 59 0 0 25 0 1 0 841844232 101216256 21926 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24711 21926 1111 63 0 24648 0
vsize: 98844
[startup+930.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 22248 0 0 0 92954 60 0 0 25 0 1 0 841844232 102203392 22168 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24952 22168 1111 63 0 24889 0
vsize: 99808
[startup+940.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 22496 0 0 0 93953 60 0 0 25 0 1 0 841844232 103190528 22416 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25193 22416 1111 63 0 25130 0
vsize: 100772
[startup+950.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 22744 0 0 0 94952 61 0 0 25 0 1 0 841844232 104169472 22664 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25432 22664 1111 63 0 25369 0
vsize: 101728
[startup+960.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 22990 0 0 0 95951 62 0 0 25 0 1 0 841844232 105295872 22910 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25707 22910 1111 63 0 25644 0
vsize: 102828
[startup+970.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 23272 0 0 0 96951 63 0 0 25 0 1 0 841844232 106643456 23192 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26036 23192 1111 63 0 25973 0
vsize: 104144
[startup+980.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 23519 0 0 0 97951 64 0 0 25 0 1 0 841844232 107630592 23439 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26277 23439 1111 63 0 26214 0
vsize: 105108
[startup+990.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 23768 0 0 0 98950 65 0 0 25 0 1 0 841844232 108617728 23688 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26518 23688 1111 63 0 26455 0
vsize: 106072
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 24017 0 0 0 99950 65 0 0 25 0 1 0 841844232 109744128 23937 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26793 23937 1111 63 0 26730 0
vsize: 107172
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 24271 0 0 0 100949 66 0 0 25 0 1 0 841844232 110731264 24191 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27034 24191 1111 63 0 26971 0
vsize: 108136
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 24521 0 0 0 101948 66 0 0 25 0 1 0 841844232 111710208 24441 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27273 24441 1111 63 0 27210 0
vsize: 109092
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 24774 0 0 0 102948 67 0 0 25 0 1 0 841844232 112840704 24694 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27549 24694 1111 63 0 27486 0
vsize: 110196
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 25022 0 0 0 103948 67 0 0 25 0 1 0 841844232 113827840 24942 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27790 24942 1111 63 0 27727 0
vsize: 111160
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 25272 0 0 0 104947 68 0 0 25 0 1 0 841844232 114810880 25192 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28030 25192 1111 63 0 27967 0
vsize: 112120
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 25526 0 0 0 105947 69 0 0 25 0 1 0 841844232 115802112 25446 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28272 25446 1111 63 0 28209 0
vsize: 113088
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 25781 0 0 0 106946 69 0 0 25 0 1 0 841844232 116928512 25701 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28547 25701 1111 63 0 28484 0
vsize: 114188
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 26031 0 0 0 107945 70 0 0 25 0 1 0 841844232 117911552 25951 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28787 25951 1111 63 0 28724 0
vsize: 115148
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 26285 0 0 0 108945 71 0 0 25 0 1 0 841844232 118894592 26205 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29027 26205 1111 63 0 28964 0
vsize: 116108
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 26539 0 0 0 109944 72 0 0 25 0 1 0 841844232 120020992 26459 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29302 26459 1111 63 0 29239 0
vsize: 117208
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 26788 0 0 0 110944 72 0 0 25 0 1 0 841844232 121008128 26708 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29543 26708 1111 63 0 29480 0
vsize: 118172
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 27049 0 0 0 111944 73 0 0 25 0 1 0 841844232 122134528 26969 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29818 26969 1111 63 0 29755 0
vsize: 119272
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 27300 0 0 0 112944 73 0 0 25 0 1 0 841844232 123121664 27220 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30059 27220 1111 63 0 29996 0
vsize: 120236
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 27560 0 0 0 113943 74 0 0 25 0 1 0 841844232 124108800 27480 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30300 27480 1111 63 0 30237 0
vsize: 121200
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 27815 0 0 0 114943 74 0 0 25 0 1 0 841844232 125235200 27735 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30575 27735 1111 63 0 30512 0
vsize: 122300
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 28072 0 0 0 115942 75 0 0 25 0 1 0 841844232 126222336 27992 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30816 27992 1111 63 0 30753 0
vsize: 123264
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 28331 0 0 0 116941 76 0 0 25 0 1 0 841844232 127340544 28251 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31089 28251 1111 63 0 31026 0
vsize: 124356
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 28581 0 0 0 117940 77 0 0 25 0 1 0 841844232 128327680 28501 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31330 28501 1111 63 0 31267 0
vsize: 125320
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 28843 0 0 0 118939 78 0 0 25 0 1 0 841844232 129454080 28763 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31605 28763 1111 63 0 31542 0
vsize: 126420
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) R 18280 8378 8377 0 -1 0 29104 0 0 0 119939 79 0 0 25 0 1 0 841844232 130441216 29024 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31846 29024 1111 63 0 31783 0
vsize: 127384
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.97 0.93 1/55 18281
Raw data (stat): 18281 (bsolo_lpr-v2) Z 18280 8378 8377 0 -1 1036 29104 0 0 0 119939 85 0 0 25 0 1 0 841844232 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.09
CPU time (s): 1200.24
CPU user time (s): 1199.39
CPU system time (s): 0.85087
CPU usage (%): 100.013
Max. virtual memory (Kb): 127384
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####