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-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship08l.opb
MD5SUM	765ea624bde3931069939663462a01e5
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	128490
Biggest coefficient in the objective function	435455996723200
Number of bits for the biggest coefficient in the objective function	49
Sum of the numbers in the objective function	204823519821908064
Number of bits of the sum of numbers in the objective function	58
Biggest number in a constraint	435455996723200
Number of bits of the biggest number in a constraint	49
Biggest sum of numbers in a constraint	204823519821908064
Number of bits of the biggest sum of numbers	58
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.16382
Number of variables	128490
Total number of constraints	712
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	712
Minimum length of a constraint	30
Maximum length of a constraint	2550
Trace number 39868

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        789812 kB
Buffers:         34208 kB
Cached:         187024 kB
SwapCached:        992 kB
Active:          57268 kB
Inactive:       166184 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        789560 kB
SwapTotal:     2097136 kB
SwapFree:      2095204 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4932 kB
Slab:            15736 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 21:49:42 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 27924 7 1200.27 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.92 0.94 0.90 2/54 20915
Raw data (stat): 20915 (runsolver) R 20914 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 896232560 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0016 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 1358 0 0 0 993 4 0 0 25 0 1 0 896232560 15364096 1278 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3751 1278 1111 63 0 3688 0
vsize: 15004
[startup+20.0026 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 1430 0 0 0 1994 4 0 0 25 0 1 0 896232560 15663104 1350 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3824 1350 1111 63 0 3761 0
vsize: 15296
[startup+30.0028 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 1504 0 0 0 2994 4 0 0 25 0 1 0 896232560 15945728 1424 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3893 1424 1111 63 0 3830 0
vsize: 15572
[startup+40.004 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 1571 0 0 0 3994 4 0 0 25 0 1 0 896232560 16236544 1491 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3964 1491 1111 63 0 3901 0
vsize: 15856
[startup+50.0049 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 1644 0 0 0 4994 4 0 0 25 0 1 0 896232560 16535552 1564 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4037 1564 1111 63 0 3974 0
vsize: 16148
[startup+60.0053 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 1724 0 0 0 5994 5 0 0 25 0 1 0 896232560 16838656 1644 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4111 1644 1111 63 0 4048 0
vsize: 16444
[startup+70.0059 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 1802 0 0 0 6994 5 0 0 25 0 1 0 896232560 17272832 1722 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4217 1722 1111 63 0 4154 0
vsize: 16868
[startup+80.0074 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 1882 0 0 0 7994 5 0 0 25 0 1 0 896232560 17567744 1802 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4289 1802 1111 63 0 4226 0
vsize: 17156
[startup+90.0079 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 1964 0 0 0 8995 5 0 0 25 0 1 0 896232560 17846272 1884 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4357 1884 1111 63 0 4294 0
vsize: 17428
[startup+100.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 2044 0 0 0 9995 5 0 0 25 0 1 0 896232560 18145280 1964 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4430 1964 1111 63 0 4367 0
vsize: 17720
[startup+110.009 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 2124 0 0 0 10995 5 0 0 25 0 1 0 896232560 18591744 2044 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4539 2044 1111 63 0 4476 0
vsize: 18156
[startup+120.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 2205 0 0 0 11995 5 0 0 25 0 1 0 896232560 18894848 2125 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4613 2125 1111 63 0 4550 0
vsize: 18452
[startup+130.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 2291 0 0 0 12995 6 0 0 25 0 1 0 896232560 19193856 2211 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4686 2211 1111 63 0 4623 0
vsize: 18744
[startup+140.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 2372 0 0 0 13995 6 0 0 25 0 1 0 896232560 19488768 2292 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4758 2292 1111 63 0 4695 0
vsize: 19032
[startup+150.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 2454 0 0 0 14995 6 0 0 25 0 1 0 896232560 19943424 2374 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4869 2374 1111 63 0 4806 0
vsize: 19476
[startup+160.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 2534 0 0 0 15995 6 0 0 25 0 1 0 896232560 20242432 2454 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4942 2454 1111 63 0 4879 0
vsize: 19768
[startup+170.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 2616 0 0 0 16995 6 0 0 25 0 1 0 896232560 20545536 2536 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5016 2536 1111 63 0 4953 0
vsize: 20064
[startup+180.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 2696 0 0 0 17995 6 0 0 25 0 1 0 896232560 20844544 2616 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5089 2616 1111 63 0 5026 0
vsize: 20356
[startup+190.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 2777 0 0 0 18995 7 0 0 25 0 1 0 896232560 21143552 2697 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5162 2697 1111 63 0 5099 0
vsize: 20648
[startup+200.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 2858 0 0 0 19995 7 0 0 25 0 1 0 896232560 21602304 2778 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5274 2778 1111 63 0 5211 0
vsize: 21096
[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 2939 0 0 0 20995 7 0 0 25 0 1 0 896232560 21901312 2859 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5347 2859 1111 63 0 5284 0
vsize: 21388
[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 3021 0 0 0 21995 7 0 0 25 0 1 0 896232560 22200320 2941 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5420 2941 1111 63 0 5357 0
vsize: 21680
[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 3101 0 0 0 22995 7 0 0 25 0 1 0 896232560 22503424 3021 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5494 3021 1111 63 0 5431 0
vsize: 21976
[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 3181 0 0 0 23995 8 0 0 25 0 1 0 896232560 22802432 3101 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5567 3101 1111 63 0 5504 0
vsize: 22268
[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 3272 0 0 0 24995 8 0 0 25 0 1 0 896232560 23265280 3192 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5680 3192 1111 63 0 5617 0
vsize: 22720
[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 3357 0 0 0 25995 8 0 0 25 0 1 0 896232560 23543808 3277 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5748 3277 1111 63 0 5685 0
vsize: 22992
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 3431 0 0 0 26995 8 0 0 25 0 1 0 896232560 23842816 3351 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5821 3351 1111 63 0 5758 0
vsize: 23284
[startup+280.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 3519 0 0 0 27996 8 0 0 25 0 1 0 896232560 24297472 3439 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5932 3439 1111 63 0 5869 0
vsize: 23728
[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 3600 0 0 0 28996 8 0 0 25 0 1 0 896232560 24596480 3520 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6005 3520 1111 63 0 5942 0
vsize: 24020
[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 3681 0 0 0 29996 8 0 0 25 0 1 0 896232560 24895488 3601 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6078 3601 1111 63 0 6015 0
vsize: 24312
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 3770 0 0 0 30995 9 0 0 25 0 1 0 896232560 25350144 3690 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6189 3690 1111 63 0 6126 0
vsize: 24756
[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 3844 0 0 0 31995 9 0 0 25 0 1 0 896232560 25649152 3764 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6262 3764 1111 63 0 6199 0
vsize: 25048
[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 3933 0 0 0 32995 9 0 0 25 0 1 0 896232560 25952256 3853 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6336 3853 1111 63 0 6273 0
vsize: 25344
[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 4013 0 0 0 33995 9 0 0 25 0 1 0 896232560 26251264 3933 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6409 3933 1111 63 0 6346 0
vsize: 25636
[startup+350.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 4094 0 0 0 34995 10 0 0 25 0 1 0 896232560 26550272 4014 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6482 4014 1111 63 0 6419 0
vsize: 25928
[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 4177 0 0 0 35994 10 0 0 25 0 1 0 896232560 26984448 4097 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6588 4097 1111 63 0 6525 0
vsize: 26352
[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 4258 0 0 0 36994 10 0 0 25 0 1 0 896232560 27275264 4178 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6659 4178 1111 63 0 6596 0
vsize: 26636
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 4345 0 0 0 37994 10 0 0 25 0 1 0 896232560 27574272 4265 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6732 4265 1111 63 0 6669 0
vsize: 26928
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 4420 0 0 0 38994 11 0 0 25 0 1 0 896232560 27881472 4340 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6807 4340 1111 63 0 6744 0
vsize: 27228
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 4507 0 0 0 39994 11 0 0 25 0 1 0 896232560 28327936 4427 4294967295 134512640 134716908 3221224576 3221222804 1077414347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6916 4427 1111 63 0 6853 0
vsize: 27664
[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 4589 0 0 0 40994 11 0 0 25 0 1 0 896232560 28626944 4509 4294967295 134512640 134716908 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6989 4509 1111 63 0 6926 0
vsize: 27956
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 4670 0 0 0 41994 11 0 0 25 0 1 0 896232560 28934144 4590 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7064 4590 1111 63 0 7001 0
vsize: 28256
[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 4757 0 0 0 42994 11 0 0 25 0 1 0 896232560 29380608 4677 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7173 4677 1111 63 0 7110 0
vsize: 28692
[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 4833 0 0 0 43994 11 0 0 25 0 1 0 896232560 29683712 4753 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7247 4753 1111 63 0 7184 0
vsize: 28988
[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 4920 0 0 0 44994 12 0 0 25 0 1 0 896232560 29982720 4840 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7320 4840 1111 63 0 7257 0
vsize: 29280
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 5007 0 0 0 45994 12 0 0 25 0 1 0 896232560 30281728 4927 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7393 4927 1111 63 0 7330 0
vsize: 29572
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 5083 0 0 0 46994 12 0 0 25 0 1 0 896232560 30588928 5003 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7468 5003 1111 63 0 7405 0
vsize: 29872
[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 5170 0 0 0 47994 12 0 0 25 0 1 0 896232560 31039488 5090 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7578 5090 1111 63 0 7515 0
vsize: 30312
[startup+490.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 5269 0 0 0 48994 13 0 0 25 0 1 0 896232560 31526912 5189 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7697 5189 1111 63 0 7634 0
vsize: 30788
[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 5350 0 0 0 49994 13 0 0 25 0 1 0 896232560 31825920 5270 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7770 5270 1111 63 0 7707 0
vsize: 31080
[startup+510.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 5430 0 0 0 50994 13 0 0 25 0 1 0 896232560 32124928 5350 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7843 5350 1111 63 0 7780 0
vsize: 31372
[startup+520.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 5519 0 0 0 51994 13 0 0 25 0 1 0 896232560 32432128 5439 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7918 5439 1111 63 0 7855 0
vsize: 31672
[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 5606 0 0 0 52994 13 0 0 25 0 1 0 896232560 32882688 5526 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8028 5526 1111 63 0 7965 0
vsize: 32112
[startup+540.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 5687 0 0 0 53994 13 0 0 25 0 1 0 896232560 33181696 5607 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8101 5607 1111 63 0 8038 0
vsize: 32404
[startup+550.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 5771 0 0 0 54994 13 0 0 25 0 1 0 896232560 33484800 5691 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8175 5691 1111 63 0 8112 0
vsize: 32700
[startup+560.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 5858 0 0 0 55995 14 0 0 25 0 1 0 896232560 33931264 5778 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8284 5778 1111 63 0 8221 0
vsize: 33136
[startup+570.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 5946 0 0 0 56995 14 0 0 25 0 1 0 896232560 34238464 5866 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8359 5866 1111 63 0 8296 0
vsize: 33436
[startup+580.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 6027 0 0 0 57995 14 0 0 25 0 1 0 896232560 34537472 5947 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8432 5947 1111 63 0 8369 0
vsize: 33728
[startup+590.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 6108 0 0 0 58995 14 0 0 25 0 1 0 896232560 34836480 6028 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8505 6028 1111 63 0 8442 0
vsize: 34020
[startup+600.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 6198 0 0 0 59994 14 0 0 25 0 1 0 896232560 35291136 6118 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8616 6118 1111 63 0 8553 0
vsize: 34464
[startup+610.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 6286 0 0 0 60995 15 0 0 25 0 1 0 896232560 35590144 6206 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8689 6206 1111 63 0 8626 0
vsize: 34756
[startup+620.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 6368 0 0 0 61995 15 0 0 25 0 1 0 896232560 35889152 6288 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8762 6288 1111 63 0 8699 0
vsize: 35048
[startup+630.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 6449 0 0 0 62995 15 0 0 25 0 1 0 896232560 36343808 6369 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8873 6369 1111 63 0 8810 0
vsize: 35492
[startup+640.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 6536 0 0 0 63995 15 0 0 25 0 1 0 896232560 36642816 6456 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8946 6456 1111 63 0 8883 0
vsize: 35784
[startup+650.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 6625 0 0 0 64995 15 0 0 25 0 1 0 896232560 36945920 6545 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9020 6545 1111 63 0 8957 0
vsize: 36080
[startup+660.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 6707 0 0 0 65995 15 0 0 25 0 1 0 896232560 37396480 6627 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9130 6627 1111 63 0 9067 0
vsize: 36520
[startup+670.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 6788 0 0 0 66995 15 0 0 25 0 1 0 896232560 37695488 6708 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9203 6708 1111 63 0 9140 0
vsize: 36812
[startup+680.033 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 6877 0 0 0 67995 16 0 0 25 0 1 0 896232560 37998592 6797 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9277 6797 1111 63 0 9214 0
vsize: 37108
[startup+690.034 s]
Raw data (loadavg): 1.14 1.00 0.92 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 6964 0 0 0 68995 16 0 0 25 0 1 0 896232560 38445056 6884 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9386 6884 1111 63 0 9323 0
vsize: 37544
[startup+700.034 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 7053 0 0 0 69995 16 0 0 25 0 1 0 896232560 38752256 6973 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9461 6973 1111 63 0 9398 0
vsize: 37844
[startup+710.035 s]
Raw data (loadavg): 1.18 1.02 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 7140 0 0 0 70995 16 0 0 25 0 1 0 896232560 39051264 7060 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9534 7060 1111 63 0 9471 0
vsize: 38136
[startup+720.034 s]
Raw data (loadavg): 1.15 1.02 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 7223 0 0 0 71995 17 0 0 25 0 1 0 896232560 39501824 7143 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9644 7143 1111 63 0 9581 0
vsize: 38576
[startup+730.036 s]
Raw data (loadavg): 1.13 1.02 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 7312 0 0 0 72995 17 0 0 25 0 1 0 896232560 39804928 7232 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9718 7232 1111 63 0 9655 0
vsize: 38872
[startup+740.036 s]
Raw data (loadavg): 1.11 1.02 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 7400 0 0 0 73995 17 0 0 25 0 1 0 896232560 40103936 7320 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9791 7320 1111 63 0 9728 0
vsize: 39164
[startup+750.036 s]
Raw data (loadavg): 1.09 1.01 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 7482 0 0 0 74995 17 0 0 25 0 1 0 896232560 40558592 7402 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9902 7402 1111 63 0 9839 0
vsize: 39608
[startup+760.036 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 7570 0 0 0 75995 17 0 0 25 0 1 0 896232560 40857600 7490 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9975 7490 1111 63 0 9912 0
vsize: 39900
[startup+770.036 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 7657 0 0 0 76995 18 0 0 25 0 1 0 896232560 41156608 7577 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10048 7577 1111 63 0 9985 0
vsize: 40192
[startup+780.036 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 7748 0 0 0 77995 18 0 0 25 0 1 0 896232560 41611264 7668 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10159 7668 1111 63 0 10096 0
vsize: 40636
[startup+790.037 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 7835 0 0 0 78995 18 0 0 25 0 1 0 896232560 41910272 7755 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10232 7755 1111 63 0 10169 0
vsize: 40928
[startup+800.036 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 7915 0 0 0 79995 18 0 0 25 0 1 0 896232560 42209280 7835 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10305 7835 1111 63 0 10242 0
vsize: 41220
[startup+810.037 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 7998 0 0 0 80995 18 0 0 25 0 1 0 896232560 42635264 7918 4294967295 134512640 134716908 3221224576 3221222804 1077414374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10409 7918 1111 63 0 10346 0
vsize: 41636
[startup+820.037 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 8085 0 0 0 81995 19 0 0 25 0 1 0 896232560 42934272 8005 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10482 8005 1111 63 0 10419 0
vsize: 41928
[startup+830.038 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 8175 0 0 0 82995 19 0 0 25 0 1 0 896232560 43384832 8095 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10592 8095 1111 63 0 10529 0
vsize: 42368
[startup+840.037 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 8257 0 0 0 83995 19 0 0 25 0 1 0 896232560 43683840 8177 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10665 8177 1111 63 0 10602 0
vsize: 42660
[startup+850.038 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 8344 0 0 0 84995 19 0 0 25 0 1 0 896232560 43982848 8264 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10738 8264 1111 63 0 10675 0
vsize: 42952
[startup+860.038 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 8427 0 0 0 85995 19 0 0 25 0 1 0 896232560 44290048 8347 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10813 8347 1111 63 0 10750 0
vsize: 43252
[startup+870.038 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 8514 0 0 0 86995 19 0 0 25 0 1 0 896232560 44740608 8434 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10923 8434 1111 63 0 10860 0
vsize: 43692
[startup+880.039 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 8603 0 0 0 87995 19 0 0 25 0 1 0 896232560 45039616 8523 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10996 8523 1111 63 0 10933 0
vsize: 43984
[startup+890.04 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 8691 0 0 0 88995 20 0 0 25 0 1 0 896232560 45490176 8611 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11106 8611 1111 63 0 11043 0
vsize: 44424
[startup+900.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 8779 0 0 0 89995 20 0 0 25 0 1 0 896232560 45789184 8699 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11179 8699 1111 63 0 11116 0
vsize: 44716
[startup+910.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 8867 0 0 0 90995 20 0 0 25 0 1 0 896232560 46096384 8787 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11254 8787 1111 63 0 11191 0
vsize: 45016
[startup+920.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 8955 0 0 0 91995 20 0 0 25 0 1 0 896232560 46546944 8875 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11364 8875 1111 63 0 11301 0
vsize: 45456
[startup+930.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 9038 0 0 0 92995 20 0 0 25 0 1 0 896232560 46845952 8958 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11437 8958 1111 63 0 11374 0
vsize: 45748
[startup+940.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 9125 0 0 0 93996 20 0 0 25 0 1 0 896232560 47149056 9045 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11511 9045 1111 63 0 11448 0
vsize: 46044
[startup+950.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 9231 0 0 0 94995 21 0 0 25 0 1 0 896232560 47710208 9151 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11648 9151 1111 63 0 11585 0
vsize: 46592
[startup+960.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 9320 0 0 0 95996 21 0 0 25 0 1 0 896232560 48152576 9240 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11756 9240 1111 63 0 11693 0
vsize: 47024
[startup+970.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 9401 0 0 0 96996 21 0 0 25 0 1 0 896232560 48451584 9321 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11829 9321 1111 63 0 11766 0
vsize: 47316
[startup+980.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 9490 0 0 0 97996 21 0 0 25 0 1 0 896232560 48750592 9410 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11902 9410 1111 63 0 11839 0
vsize: 47608
[startup+990.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 9578 0 0 0 98996 21 0 0 25 0 1 0 896232560 49176576 9498 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12006 9498 1111 63 0 11943 0
vsize: 48024
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 9667 0 0 0 99996 21 0 0 25 0 1 0 896232560 49475584 9587 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12079 9587 1111 63 0 12016 0
vsize: 48316
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 9757 0 0 0 100996 21 0 0 25 0 1 0 896232560 49930240 9677 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12190 9677 1111 63 0 12127 0
vsize: 48760
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 9844 0 0 0 101996 21 0 0 25 0 1 0 896232560 50229248 9764 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12263 9764 1111 63 0 12200 0
vsize: 49052
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 9934 0 0 0 102996 22 0 0 25 0 1 0 896232560 50675712 9854 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12372 9854 1111 63 0 12309 0
vsize: 49488
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 10021 0 0 0 103997 22 0 0 25 0 1 0 896232560 50954240 9941 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12440 9941 1111 63 0 12377 0
vsize: 49760
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 10116 0 0 0 104997 22 0 0 25 0 1 0 896232560 51400704 10036 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12549 10036 1111 63 0 12486 0
vsize: 50196
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 10206 0 0 0 105999 22 0 0 25 0 1 0 896232560 51707904 10126 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12624 10126 1111 63 0 12561 0
vsize: 50496
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 10294 0 0 0 107000 22 0 0 25 0 1 0 896232560 52154368 10214 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12733 10214 1111 63 0 12670 0
vsize: 50932
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 10383 0 0 0 108000 22 0 0 25 0 1 0 896232560 52453376 10303 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12806 10303 1111 63 0 12743 0
vsize: 51224
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 10477 0 0 0 109000 22 0 0 25 0 1 0 896232560 52908032 10397 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12917 10397 1111 63 0 12854 0
vsize: 51668
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 10565 0 0 0 110000 22 0 0 25 0 1 0 896232560 53207040 10485 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12990 10485 1111 63 0 12927 0
vsize: 51960
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 10656 0 0 0 111000 22 0 0 25 0 1 0 896232560 53510144 10576 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13064 10576 1111 63 0 13001 0
vsize: 52256
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 10744 0 0 0 112000 22 0 0 25 0 1 0 896232560 53960704 10664 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13174 10664 1111 63 0 13111 0
vsize: 52696
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 10834 0 0 0 113000 22 0 0 25 0 1 0 896232560 54259712 10754 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13247 10754 1111 63 0 13184 0
vsize: 52988
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 10921 0 0 0 114000 22 0 0 25 0 1 0 896232560 54714368 10841 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13358 10841 1111 63 0 13295 0
vsize: 53432
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 11009 0 0 0 115000 23 0 0 25 0 1 0 896232560 55013376 10929 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13431 10929 1111 63 0 13368 0
vsize: 53724
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 11098 0 0 0 116000 23 0 0 25 0 1 0 896232560 55316480 11018 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13505 11018 1111 63 0 13442 0
vsize: 54020
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 11194 0 0 0 117000 23 0 0 25 0 1 0 896232560 55767040 11114 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13615 11114 1111 63 0 13552 0
vsize: 54460
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 11284 0 0 0 118000 24 0 0 25 0 1 0 896232560 56066048 11204 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13688 11204 1111 63 0 13625 0
vsize: 54752
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 11378 0 0 0 119000 24 0 0 25 0 1 0 896232560 56520704 11298 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13799 11298 1111 63 0 13736 0
vsize: 55196
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) R 20914 21152 21151 0 -1 0 11465 0 0 0 120000 24 0 0 25 0 1 0 896232560 56819712 11385 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13872 11385 1111 63 0 13809 0
vsize: 55488
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 20915
Raw data (stat): 20915 (bsolo_lpr-v2) Z 20914 21152 21151 0 -1 1036 11465 0 0 0 120000 26 0 0 25 0 1 0 896232560 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.1
CPU time (s): 1200.27
CPU user time (s): 1200
CPU system time (s): 0.268959
CPU usage (%): 100.014
Max. virtual memory (Kb): 55488
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####