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-dfl001.opb
MD5SUM	d116f9238cf2e97b47b1161aa0f7f9ea
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	124714
Biggest coefficient in the objective function	2100440996511744
Number of bits for the biggest coefficient in the objective function	51
Sum of the numbers in the objective function	862062472006152900
Number of bits of the sum of numbers in the objective function	60
Biggest number in a constraint	52428800000000000
Number of bits of the biggest number in a constraint	56
Biggest sum of numbers in a constraint	4176904799999651840
Number of bits of the biggest sum of numbers	62
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.31665
Number of variables	244494
Total number of constraints	6084
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	6084
Minimum length of a constraint	10
Maximum length of a constraint	4560
Trace number 40214

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        781432 kB
Buffers:          4684 kB
Cached:         225516 kB
SwapCached:       1340 kB
Active:          40552 kB
Inactive:       191616 kB
HighTotal:      131008 kB
HighFree:        50764 kB
LowTotal:       903652 kB
LowFree:        730668 kB
SwapTotal:     2097136 kB
SwapFree:      2094732 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4972 kB
Slab:            15408 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 04:24:42 (client local time) WITH STATUS 0 IN 1200.19 SECONDS
stats: 28253 7 1200.19 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.96 0.97 0.91 1/54 5300
Raw data (stat): 5300 (runsolver) R 5299 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 898615959 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.0005 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 5300
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 1315 0 0 0 983 5 0 0 25 0 1 0 898615959 15634432 1235 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3817 1235 1111 63 0 3754 0
vsize: 15268
[startup+20.0014 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 5300
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 1446 0 0 0 1983 5 0 0 25 0 1 0 898615959 16199680 1366 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3955 1366 1111 63 0 3892 0
vsize: 15820
[startup+30.0011 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 5300
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 1577 0 0 0 2983 6 0 0 25 0 1 0 898615959 16621568 1497 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4058 1497 1111 63 0 3995 0
vsize: 16232
[startup+40.0023 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 1700 0 0 0 3983 6 0 0 25 0 1 0 898615959 17182720 1620 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4195 1620 1111 63 0 4132 0
vsize: 16780
[startup+50.0025 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 1838 0 0 0 4983 6 0 0 25 0 1 0 898615959 17747968 1758 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4333 1758 1111 63 0 4270 0
vsize: 17332
[startup+60.0022 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 1965 0 0 0 5982 7 0 0 25 0 1 0 898615959 18321408 1885 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4473 1885 1111 63 0 4410 0
vsize: 17892
[startup+70.0025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 2097 0 0 0 6982 7 0 0 25 0 1 0 898615959 18751488 2017 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4578 2017 1111 63 0 4515 0
vsize: 18312
[startup+80.0026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 2227 0 0 0 7982 7 0 0 25 0 1 0 898615959 19312640 2147 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4715 2147 1111 63 0 4652 0
vsize: 18860
[startup+90.0033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 2365 0 0 0 8982 7 0 0 25 0 1 0 898615959 19877888 2285 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4853 2285 1111 63 0 4790 0
vsize: 19412
[startup+100.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 2495 0 0 0 9982 7 0 0 25 0 1 0 898615959 20439040 2415 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4990 2415 1111 63 0 4927 0
vsize: 19960
[startup+110.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 2625 0 0 0 10982 8 0 0 25 0 1 0 898615959 21000192 2545 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5127 2545 1111 63 0 5064 0
vsize: 20508
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 2762 0 0 0 11982 8 0 0 25 0 1 0 898615959 21561344 2682 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5264 2682 1111 63 0 5201 0
vsize: 21056
[startup+130.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 2892 0 0 0 12984 8 0 0 25 0 1 0 898615959 22122496 2812 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5401 2812 1111 63 0 5338 0
vsize: 21604
[startup+140.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 3031 0 0 0 13984 8 0 0 25 0 1 0 898615959 22691840 2951 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5540 2951 1111 63 0 5477 0
vsize: 22160
[startup+150.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 3162 0 0 0 14984 8 0 0 25 0 1 0 898615959 23113728 3082 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5643 3082 1111 63 0 5580 0
vsize: 22572
[startup+160.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 3294 0 0 0 15983 9 0 0 25 0 1 0 898615959 23678976 3214 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5781 3214 1111 63 0 5718 0
vsize: 23124
[startup+170.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 3424 0 0 0 16984 9 0 0 25 0 1 0 898615959 24240128 3344 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5918 3344 1111 63 0 5855 0
vsize: 23672
[startup+180.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 3548 0 0 0 17984 9 0 0 25 0 1 0 898615959 24809472 3468 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6057 3468 1111 63 0 5994 0
vsize: 24228
[startup+190.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 3678 0 0 0 18984 9 0 0 25 0 1 0 898615959 25227264 3598 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 3598 1111 63 0 6096 0
vsize: 24636
[startup+200.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 3817 0 0 0 19983 10 0 0 25 0 1 0 898615959 25796608 3737 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6298 3737 1111 63 0 6235 0
vsize: 25192
[startup+210.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 3940 0 0 0 20983 10 0 0 25 0 1 0 898615959 26357760 3860 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6435 3860 1111 63 0 6372 0
vsize: 25740
[startup+220.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 4085 0 0 0 21983 10 0 0 25 0 1 0 898615959 26939392 4005 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6577 4005 1111 63 0 6514 0
vsize: 26308
[startup+230.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 4224 0 0 0 22983 10 0 0 25 0 1 0 898615959 27504640 4144 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6715 4144 1111 63 0 6652 0
vsize: 26860
[startup+240.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 4360 0 0 0 23983 10 0 0 25 0 1 0 898615959 28065792 4280 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6852 4280 1111 63 0 6789 0
vsize: 27408
[startup+250.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 4486 0 0 0 24983 11 0 0 25 0 1 0 898615959 28635136 4406 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6991 4406 1111 63 0 6928 0
vsize: 27964
[startup+260.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 4615 0 0 0 25983 11 0 0 25 0 1 0 898615959 29196288 4535 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7128 4535 1111 63 0 7065 0
vsize: 28512
[startup+270.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 4755 0 0 0 26983 11 0 0 25 0 1 0 898615959 29761536 4675 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7266 4675 1111 63 0 7203 0
vsize: 29064
[startup+280.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 4893 0 0 0 27983 12 0 0 25 0 1 0 898615959 30322688 4813 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7403 4813 1111 63 0 7340 0
vsize: 29612
[startup+290.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 5031 0 0 0 28983 12 0 0 25 0 1 0 898615959 30892032 4951 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7542 4951 1111 63 0 7479 0
vsize: 30168
[startup+300.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 5162 0 0 0 29983 12 0 0 25 0 1 0 898615959 31309824 5082 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7644 5082 1111 63 0 7581 0
vsize: 30576
[startup+310.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 5300 0 0 0 30983 12 0 0 25 0 1 0 898615959 31879168 5220 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7783 5220 1111 63 0 7720 0
vsize: 31132
[startup+320.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 5431 0 0 0 31983 12 0 0 25 0 1 0 898615959 32440320 5351 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7920 5351 1111 63 0 7857 0
vsize: 31680
[startup+330.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 5576 0 0 0 32983 13 0 0 25 0 1 0 898615959 33001472 5496 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8057 5496 1111 63 0 7994 0
vsize: 32228
[startup+340.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 5714 0 0 0 33983 13 0 0 25 0 1 0 898615959 33566720 5634 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8195 5634 1111 63 0 8132 0
vsize: 32780
[startup+350.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 5851 0 0 0 34983 13 0 0 25 0 1 0 898615959 34127872 5771 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8332 5771 1111 63 0 8269 0
vsize: 33328
[startup+360.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 5990 0 0 0 35983 13 0 0 25 0 1 0 898615959 34697216 5910 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8471 5910 1111 63 0 8408 0
vsize: 33884
[startup+370.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 6127 0 0 0 36982 14 0 0 25 0 1 0 898615959 35258368 6047 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8608 6047 1111 63 0 8545 0
vsize: 34432
[startup+380.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 6265 0 0 0 37982 15 0 0 25 0 1 0 898615959 35823616 6185 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8746 6185 1111 63 0 8683 0
vsize: 34984
[startup+390.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 6403 0 0 0 38982 15 0 0 25 0 1 0 898615959 36384768 6323 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8883 6323 1111 63 0 8820 0
vsize: 35532
[startup+400.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 6541 0 0 0 39982 15 0 0 25 0 1 0 898615959 36954112 6461 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9022 6461 1111 63 0 8959 0
vsize: 36088
[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 6678 0 0 0 40982 15 0 0 25 0 1 0 898615959 37515264 6598 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9159 6598 1111 63 0 9096 0
vsize: 36636
[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 6834 0 0 0 41982 15 0 0 25 0 1 0 898615959 38207488 6754 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9328 6754 1111 63 0 9265 0
vsize: 37312
[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 6972 0 0 0 42982 16 0 0 25 0 1 0 898615959 38768640 6892 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9465 6892 1111 63 0 9402 0
vsize: 37860
[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 7103 0 0 0 43981 16 0 0 25 0 1 0 898615959 39333888 7023 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9603 7023 1111 63 0 9540 0
vsize: 38412
[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 7240 0 0 0 44981 16 0 0 25 0 1 0 898615959 39895040 7160 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9740 7160 1111 63 0 9677 0
vsize: 38960
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 7385 0 0 0 45981 17 0 0 25 0 1 0 898615959 40464384 7305 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9879 7305 1111 63 0 9816 0
vsize: 39516
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 7517 0 0 0 46981 17 0 0 25 0 1 0 898615959 41025536 7437 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10016 7437 1111 63 0 9953 0
vsize: 40064
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 7656 0 0 0 47982 17 0 0 25 0 1 0 898615959 41590784 7576 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10154 7576 1111 63 0 10091 0
vsize: 40616
[startup+490.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 7800 0 0 0 48981 17 0 0 25 0 1 0 898615959 42151936 7720 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10291 7720 1111 63 0 10228 0
vsize: 41164
[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 7939 0 0 0 49981 17 0 0 25 0 1 0 898615959 42713088 7859 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10428 7859 1111 63 0 10365 0
vsize: 41712
[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 8069 0 0 0 50981 18 0 0 25 0 1 0 898615959 43282432 7989 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10567 7989 1111 63 0 10504 0
vsize: 42268
[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 8207 0 0 0 51981 18 0 0 25 0 1 0 898615959 43843584 8127 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10704 8127 1111 63 0 10641 0
vsize: 42816
[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 8345 0 0 0 52981 18 0 0 25 0 1 0 898615959 44408832 8265 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10842 8265 1111 63 0 10779 0
vsize: 43368
[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 8476 0 0 0 53981 19 0 0 25 0 1 0 898615959 44969984 8396 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10979 8396 1111 63 0 10916 0
vsize: 43916
[startup+550.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 8621 0 0 0 54981 19 0 0 25 0 1 0 898615959 45539328 8541 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11118 8542 1111 63 0 11055 0
vsize: 44472
[startup+560.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 8765 0 0 0 55981 19 0 0 25 0 1 0 898615959 46100480 8685 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 8685 1111 63 0 11192 0
vsize: 45020
[startup+570.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 8905 0 0 0 56981 19 0 0 25 0 1 0 898615959 46665728 8825 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11393 8825 1111 63 0 11330 0
vsize: 45572
[startup+580.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 9042 0 0 0 57980 20 0 0 25 0 1 0 898615959 47226880 8962 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11530 8962 1111 63 0 11467 0
vsize: 46120
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 9181 0 0 0 58981 20 0 0 25 0 1 0 898615959 47796224 9101 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11669 9101 1111 63 0 11606 0
vsize: 46676
[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 9325 0 0 0 59980 20 0 0 25 0 1 0 898615959 48496640 9245 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11840 9245 1111 63 0 11777 0
vsize: 47360
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 9464 0 0 0 60980 20 0 0 25 0 1 0 898615959 49061888 9384 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11978 9384 1111 63 0 11915 0
vsize: 47912
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 9609 0 0 0 61980 21 0 0 25 0 1 0 898615959 49623040 9529 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12115 9529 1111 63 0 12052 0
vsize: 48460
[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 9747 0 0 0 62980 21 0 0 25 0 1 0 898615959 50192384 9667 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12254 9667 1111 63 0 12191 0
vsize: 49016
[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 9892 0 0 0 63980 22 0 0 25 0 1 0 898615959 50753536 9812 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12391 9812 1111 63 0 12328 0
vsize: 49564
[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 10037 0 0 0 64980 22 0 0 25 0 1 0 898615959 51318784 9957 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12529 9957 1111 63 0 12466 0
vsize: 50116
[startup+660.022 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 10167 0 0 0 65980 22 0 0 25 0 1 0 898615959 51879936 10087 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12666 10087 1111 63 0 12603 0
vsize: 50664
[startup+670.022 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 10307 0 0 0 66980 22 0 0 25 0 1 0 898615959 52449280 10227 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12805 10227 1111 63 0 12742 0
vsize: 51220
[startup+680.023 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 10451 0 0 0 67980 22 0 0 25 0 1 0 898615959 53010432 10371 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12942 10371 1111 63 0 12879 0
vsize: 51768
[startup+690.023 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 10597 0 0 0 68980 22 0 0 25 0 1 0 898615959 53571584 10517 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13079 10517 1111 63 0 13016 0
vsize: 52316
[startup+700.023 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 10741 0 0 0 69980 23 0 0 25 0 1 0 898615959 54280192 10661 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13252 10661 1111 63 0 13189 0
vsize: 53008
[startup+710.023 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 10880 0 0 0 70980 23 0 0 25 0 1 0 898615959 54845440 10800 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13390 10800 1111 63 0 13327 0
vsize: 53560
[startup+720.023 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 11018 0 0 0 71980 23 0 0 25 0 1 0 898615959 55406592 10938 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13527 10938 1111 63 0 13464 0
vsize: 54108
[startup+730.033 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 11163 0 0 0 72980 24 0 0 25 0 1 0 898615959 55967744 11083 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13664 11083 1111 63 0 13601 0
vsize: 54656
[startup+740.032 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 11314 0 0 0 73980 24 0 0 25 0 1 0 898615959 56537088 11234 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13803 11234 1111 63 0 13740 0
vsize: 55212
[startup+750.033 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 11453 0 0 0 74980 25 0 0 25 0 1 0 898615959 57098240 11373 4294967295 134512640 134716908 3221224576 3221222804 1077414374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13940 11373 1111 63 0 13877 0
vsize: 55760
[startup+760.033 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 11603 0 0 0 75980 25 0 0 25 0 1 0 898615959 57802752 11523 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14112 11523 1111 63 0 14049 0
vsize: 56448
[startup+770.033 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 11740 0 0 0 76980 25 0 0 25 0 1 0 898615959 58363904 11660 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14249 11660 1111 63 0 14186 0
vsize: 56996
[startup+780.033 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 11880 0 0 0 77980 25 0 0 25 0 1 0 898615959 58933248 11800 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14388 11800 1111 63 0 14325 0
vsize: 57552
[startup+790.033 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 12023 0 0 0 78979 26 0 0 25 0 1 0 898615959 59494400 11943 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14525 11943 1111 63 0 14462 0
vsize: 58100
[startup+800.033 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 12169 0 0 0 79979 26 0 0 25 0 1 0 898615959 60059648 12089 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14663 12089 1111 63 0 14600 0
vsize: 58652
[startup+810.033 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 12338 0 0 0 80979 26 0 0 25 0 1 0 898615959 60870656 12258 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14861 12258 1111 63 0 14798 0
vsize: 59444
[startup+820.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 12477 0 0 0 81979 26 0 0 25 0 1 0 898615959 61435904 12397 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14999 12397 1111 63 0 14936 0
vsize: 59996
[startup+830.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 12627 0 0 0 82980 26 0 0 25 0 1 0 898615959 61997056 12547 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15136 12547 1111 63 0 15073 0
vsize: 60544
[startup+840.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 12765 0 0 0 83979 27 0 0 25 0 1 0 898615959 62566400 12685 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15275 12685 1111 63 0 15212 0
vsize: 61100
[startup+850.049 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 12917 0 0 0 84981 27 0 0 25 0 1 0 898615959 63266816 12837 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15446 12837 1111 63 0 15383 0
vsize: 61784
[startup+860.048 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 13057 0 0 0 85980 28 0 0 25 0 1 0 898615959 63836160 12977 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15585 12977 1111 63 0 15522 0
vsize: 62340
[startup+870.048 s]
Raw data (loadavg): 1.08 1.01 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 13207 0 0 0 86980 28 0 0 25 0 1 0 898615959 64397312 13127 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15722 13127 1111 63 0 15659 0
vsize: 62888
[startup+880.051 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 13346 0 0 0 87981 28 0 0 25 0 1 0 898615959 64962560 13266 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15860 13266 1111 63 0 15797 0
vsize: 63440
[startup+890.05 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 13497 0 0 0 88981 28 0 0 25 0 1 0 898615959 65662976 13417 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16031 13417 1111 63 0 15968 0
vsize: 64124
[startup+900.05 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 13650 0 0 0 89981 28 0 0 25 0 1 0 898615959 66232320 13570 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16170 13570 1111 63 0 16107 0
vsize: 64680
[startup+910.051 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 13788 0 0 0 90980 29 0 0 25 0 1 0 898615959 66793472 13708 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16307 13708 1111 63 0 16244 0
vsize: 65228
[startup+920.052 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 13933 0 0 0 91980 29 0 0 25 0 1 0 898615959 67358720 13853 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16445 13853 1111 63 0 16382 0
vsize: 65780
[startup+930.051 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 14077 0 0 0 92981 29 0 0 25 0 1 0 898615959 67919872 13997 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16582 13997 1111 63 0 16519 0
vsize: 66328
[startup+940.051 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 14229 0 0 0 93981 29 0 0 25 0 1 0 898615959 68628480 14149 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16755 14149 1111 63 0 16692 0
vsize: 67020
[startup+950.052 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 14369 0 0 0 94980 29 0 0 25 0 1 0 898615959 69189632 14289 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16892 14289 1111 63 0 16829 0
vsize: 67568
[startup+960.051 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 14521 0 0 0 95980 30 0 0 25 0 1 0 898615959 69758976 14441 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17031 14441 1111 63 0 16968 0
vsize: 68124
[startup+970.052 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 14665 0 0 0 96980 30 0 0 25 0 1 0 898615959 70320128 14585 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17168 14585 1111 63 0 17105 0
vsize: 68672
[startup+980.052 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 14810 0 0 0 97980 31 0 0 25 0 1 0 898615959 71024640 14730 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17340 14730 1111 63 0 17277 0
vsize: 69360
[startup+990.051 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 14960 0 0 0 98979 31 0 0 25 0 1 0 898615959 71585792 14880 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17477 14880 1111 63 0 17414 0
vsize: 69908
[startup+1000.05 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 15115 0 0 0 99979 32 0 0 25 0 1 0 898615959 72155136 15035 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17616 15035 1111 63 0 17553 0
vsize: 70464
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 15266 0 0 0 100979 32 0 0 25 0 1 0 898615959 72855552 15186 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17787 15186 1111 63 0 17724 0
vsize: 71148
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 15424 0 0 0 101979 32 0 0 25 0 1 0 898615959 73424896 15344 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17926 15344 1111 63 0 17863 0
vsize: 71704
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 15575 0 0 0 102979 32 0 0 25 0 1 0 898615959 74121216 15495 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18096 15495 1111 63 0 18033 0
vsize: 72384
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 15729 0 0 0 103979 33 0 0 25 0 1 0 898615959 74690560 15649 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18235 15649 1111 63 0 18172 0
vsize: 72940
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 15886 0 0 0 104978 33 0 0 25 0 1 0 898615959 75390976 15806 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18406 15806 1111 63 0 18343 0
vsize: 73624
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 16025 0 0 0 105978 34 0 0 25 0 1 0 898615959 75960320 15945 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18545 15945 1111 63 0 18482 0
vsize: 74180
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 16175 0 0 0 106978 34 0 0 25 0 1 0 898615959 76521472 16095 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18682 16095 1111 63 0 18619 0
vsize: 74728
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 16328 0 0 0 107978 34 0 0 25 0 1 0 898615959 77225984 16248 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18854 16248 1111 63 0 18791 0
vsize: 75416
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 16482 0 0 0 108978 34 0 0 25 0 1 0 898615959 77787136 16402 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18991 16402 1111 63 0 18928 0
vsize: 75964
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 16633 0 0 0 109978 35 0 0 25 0 1 0 898615959 78356480 16553 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19130 16553 1111 63 0 19067 0
vsize: 76520
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 16785 0 0 0 110978 35 0 0 25 0 1 0 898615959 79065088 16705 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19303 16705 1111 63 0 19240 0
vsize: 77212
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 16936 0 0 0 111978 35 0 0 25 0 1 0 898615959 79626240 16856 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19440 16856 1111 63 0 19377 0
vsize: 77760
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 17081 0 0 0 112978 35 0 0 25 0 1 0 898615959 80187392 17001 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19577 17001 1111 63 0 19514 0
vsize: 78308
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 17234 0 0 0 113977 36 0 0 25 0 1 0 898615959 80891904 17154 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19749 17154 1111 63 0 19686 0
vsize: 78996
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 17386 0 0 0 114978 36 0 0 25 0 1 0 898615959 81453056 17306 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19886 17306 1111 63 0 19823 0
vsize: 79544
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 17530 0 0 0 115977 36 0 0 25 0 1 0 898615959 82022400 17450 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20025 17450 1111 63 0 19962 0
vsize: 80100
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 17689 0 0 0 116977 36 0 0 25 0 1 0 898615959 82731008 17609 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20198 17609 1111 63 0 20135 0
vsize: 80792
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 17842 0 0 0 117977 37 0 0 25 0 1 0 898615959 83292160 17762 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20335 17762 1111 63 0 20272 0
vsize: 81340
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 18000 0 0 0 118977 37 0 0 25 0 1 0 898615959 83996672 17920 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20507 17920 1111 63 0 20444 0
vsize: 82028
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) R 5299 31399 31398 0 -1 0 18145 0 0 0 119977 37 0 0 25 0 1 0 898615959 84557824 18065 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20644 18065 1111 63 0 20581 0
vsize: 82576
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 5302
Raw data (stat): 5300 (bsolo_lpr-v2) Z 5299 31399 31398 0 -1 1036 18145 0 0 0 119977 41 0 0 25 0 1 0 898615959 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.19
CPU user time (s): 1199.77
CPU system time (s): 0.412937
CPU usage (%): 100.008
Max. virtual memory (Kb): 82576
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####