PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-13-7-fome11.opb
MD5SUM	6ffc5f91e7ad7c6593868bb0012c33e4
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	249428
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	1724124944012305800
Number of bits of the sum of numbers in the objective function	61
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	4.54331
Number of variables	488988
Total number of constraints	12168
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	12168
Minimum length of a constraint	10
Maximum length of a constraint	4560
Trace number 40471

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-08 11:56:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28535 boxname=wulflinc3 idbench=1491 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  6ffc5f91e7ad7c6593868bb0012c33e4  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-fome11.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-fome11.opb
IDLAUNCH: 28535
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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.190
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:        807128 kB
Buffers:          9980 kB
Cached:         196816 kB
SwapCached:        808 kB
Active:          63944 kB
Inactive:       144960 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        806876 kB
SwapTotal:     2097136 kB
SwapFree:      2095336 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5016 kB
Slab:            13028 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 12:16:22 (client local time) WITH STATUS 0 IN 1200.34 SECONDS
stats: 28535 7 1200.34 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 1.00 0.99 0.91 1/54 25258
Raw data (stat): 25258 (runsolver) R 25257 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 901434207 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+9.99996 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25258
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 2041 0 0 0 990 8 0 0 25 0 1 0 901434207 15351808 1961 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3748 1961 1111 63 0 3685 0
vsize: 14992
[startup+20.0008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25258
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 2103 0 0 0 1990 8 0 0 25 0 1 0 901434207 15634432 2023 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3817 2023 1111 63 0 3754 0
vsize: 15268
[startup+30.0006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25258
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 2158 0 0 0 2990 9 0 0 25 0 1 0 901434207 15773696 2078 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3851 2078 1111 63 0 3788 0
vsize: 15404
[startup+40.0015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25258
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 2228 0 0 0 3989 9 0 0 25 0 1 0 901434207 16056320 2148 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3920 2148 1111 63 0 3857 0
vsize: 15680
[startup+50.0022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25258
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 2283 0 0 0 4990 9 0 0 25 0 1 0 901434207 16343040 2203 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3990 2203 1111 63 0 3927 0
vsize: 15960
[startup+60.0021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25258
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 2351 0 0 0 5990 9 0 0 25 0 1 0 901434207 16621568 2271 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4058 2271 1111 63 0 3995 0
vsize: 16232
[startup+70.0019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25258
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 2407 0 0 0 6990 9 0 0 25 0 1 0 901434207 16904192 2327 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4127 2327 1111 63 0 4064 0
vsize: 16508
[startup+80.0017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25258
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 2475 0 0 0 7990 9 0 0 25 0 1 0 901434207 17182720 2395 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4195 2395 1111 63 0 4132 0
vsize: 16780
[startup+90.0016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25258
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 2531 0 0 0 8990 9 0 0 25 0 1 0 901434207 17334272 2451 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4232 2451 1111 63 0 4169 0
vsize: 16928
[startup+100.001 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25258
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 2600 0 0 0 9990 10 0 0 25 0 1 0 901434207 17612800 2520 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4300 2520 1111 63 0 4237 0
vsize: 17200
[startup+110.001 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25258
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 2662 0 0 0 10990 10 0 0 25 0 1 0 901434207 17895424 2582 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4369 2582 1111 63 0 4306 0
vsize: 17476
[startup+120.002 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25258
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 2726 0 0 0 11990 10 0 0 25 0 1 0 901434207 18186240 2646 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4440 2646 1111 63 0 4377 0
vsize: 17760
[startup+130.002 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25258
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 2782 0 0 0 12990 10 0 0 25 0 1 0 901434207 18325504 2702 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4474 2702 1111 63 0 4411 0
vsize: 17896
[startup+140.002 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25258
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 2852 0 0 0 13990 10 0 0 25 0 1 0 901434207 18612224 2772 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4544 2772 1111 63 0 4481 0
vsize: 18176
[startup+150.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25258
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 2907 0 0 0 14990 10 0 0 25 0 1 0 901434207 18894848 2827 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4613 2827 1111 63 0 4550 0
vsize: 18452
[startup+160.002 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25258
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 2975 0 0 0 15990 10 0 0 25 0 1 0 901434207 19177472 2895 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4682 2895 1111 63 0 4619 0
vsize: 18728
[startup+170.002 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25258
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 3037 0 0 0 16990 10 0 0 25 0 1 0 901434207 19456000 2957 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4750 2957 1111 63 0 4687 0
vsize: 19000
[startup+180.002 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25258
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 3106 0 0 0 17990 10 0 0 25 0 1 0 901434207 19738624 3026 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4819 3026 1111 63 0 4756 0
vsize: 19276
[startup+190.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25258
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 3169 0 0 0 18991 10 0 0 25 0 1 0 901434207 20025344 3089 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4889 3089 1111 63 0 4826 0
vsize: 19556
[startup+200.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25258
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 3230 0 0 0 19991 10 0 0 25 0 1 0 901434207 20164608 3150 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4923 3150 1111 63 0 4860 0
vsize: 19692
[startup+210.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25258
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 3292 0 0 0 20991 11 0 0 25 0 1 0 901434207 20447232 3212 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4992 3212 1111 63 0 4929 0
vsize: 19968
[startup+220.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25258
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 3347 0 0 0 21990 11 0 0 25 0 1 0 901434207 20729856 3267 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5061 3267 1111 63 0 4998 0
vsize: 20244
[startup+230.003 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 25311
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 3422 0 0 0 22990 11 0 0 25 0 1 0 901434207 21008384 3342 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5129 3342 1111 63 0 5066 0
vsize: 20516
[startup+240.005 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 25311
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 3484 0 0 0 23990 12 0 0 25 0 1 0 901434207 21291008 3404 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5198 3404 1111 63 0 5135 0
vsize: 20792
[startup+250.005 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 25311
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 3552 0 0 0 24990 12 0 0 25 0 1 0 901434207 21573632 3472 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5267 3472 1111 63 0 5204 0
vsize: 21068
[startup+260.005 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 25311
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 3614 0 0 0 25989 13 0 0 25 0 1 0 901434207 21852160 3534 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5335 3534 1111 63 0 5272 0
vsize: 21340
[startup+270.005 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 25311
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 3682 0 0 0 26989 13 0 0 25 0 1 0 901434207 22134784 3602 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5404 3602 1111 63 0 5341 0
vsize: 21616
[startup+280.005 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 25311
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 3739 0 0 0 27989 13 0 0 25 0 1 0 901434207 22282240 3659 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5440 3659 1111 63 0 5377 0
vsize: 21760
[startup+290.005 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 25311
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 3808 0 0 0 28989 14 0 0 25 0 1 0 901434207 22560768 3728 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5508 3728 1111 63 0 5445 0
vsize: 22032
[startup+300.006 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 25313
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 3870 0 0 0 29988 14 0 0 25 0 1 0 901434207 22843392 3790 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5577 3790 1111 63 0 5514 0
vsize: 22308
[startup+310.005 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 25313
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 3932 0 0 0 30988 14 0 0 25 0 1 0 901434207 23126016 3852 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5646 3852 1111 63 0 5583 0
vsize: 22584
[startup+320.006 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 25313
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 3995 0 0 0 31988 15 0 0 25 0 1 0 901434207 23412736 3915 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5716 3915 1111 63 0 5653 0
vsize: 22864
[startup+330.007 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 25313
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 4057 0 0 0 32988 15 0 0 25 0 1 0 901434207 23552000 3977 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5750 3977 1111 63 0 5687 0
vsize: 23000
[startup+340.008 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 25313
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 4112 0 0 0 33988 15 0 0 25 0 1 0 901434207 23830528 4032 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5818 4032 1111 63 0 5755 0
vsize: 23272
[startup+350.008 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 25313
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 4180 0 0 0 34988 15 0 0 25 0 1 0 901434207 24113152 4100 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5887 4100 1111 63 0 5824 0
vsize: 23548
[startup+360.008 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 25313
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 4236 0 0 0 35988 16 0 0 25 0 1 0 901434207 24395776 4156 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5956 4156 1111 63 0 5893 0
vsize: 23824
[startup+370.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25313
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 4305 0 0 0 36988 16 0 0 25 0 1 0 901434207 24682496 4225 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6026 4225 1111 63 0 5963 0
vsize: 24104
[startup+380.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25313
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 4360 0 0 0 37989 16 0 0 25 0 1 0 901434207 24821760 4280 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6060 4280 1111 63 0 5997 0
vsize: 24240
[startup+390.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25313
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 4415 0 0 0 38989 16 0 0 25 0 1 0 901434207 25104384 4335 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6129 4335 1111 63 0 6066 0
vsize: 24516
[startup+400.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25313
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 4483 0 0 0 39989 16 0 0 25 0 1 0 901434207 25382912 4403 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6197 4403 1111 63 0 6134 0
vsize: 24788
[startup+410.113 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25313
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 4545 0 0 0 40999 16 0 0 25 0 1 0 901434207 25665536 4465 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6266 4465 1111 63 0 6203 0
vsize: 25064
[startup+420.113 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25313
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 4609 0 0 0 41999 16 0 0 25 0 1 0 901434207 25812992 4529 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6302 4529 1111 63 0 6239 0
vsize: 25208
[startup+430.113 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25313
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 4670 0 0 0 42999 16 0 0 25 0 1 0 901434207 26091520 4590 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6370 4590 1111 63 0 6307 0
vsize: 25480
[startup+440.114 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25313
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 4732 0 0 0 43999 16 0 0 25 0 1 0 901434207 26374144 4652 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6439 4652 1111 63 0 6376 0
vsize: 25756
[startup+450.114 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25313
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 4800 0 0 0 44999 17 0 0 25 0 1 0 901434207 26677248 4720 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6513 4720 1111 63 0 6450 0
vsize: 26052
[startup+460.114 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25313
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 4862 0 0 0 45999 17 0 0 25 0 1 0 901434207 26955776 4782 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6581 4782 1111 63 0 6518 0
vsize: 26324
[startup+470.115 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25313
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 4932 0 0 0 46999 17 0 0 25 0 1 0 901434207 27242496 4852 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6651 4852 1111 63 0 6588 0
vsize: 26604
[startup+480.114 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 25313
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 4994 0 0 0 47999 17 0 0 25 0 1 0 901434207 27525120 4914 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6720 4914 1111 63 0 6657 0
vsize: 26880
[startup+490.115 s]
Raw data (loadavg): 1.06 1.02 0.93 2/54 25313
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 5057 0 0 0 48999 17 0 0 25 0 1 0 901434207 27664384 4977 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6754 4977 1111 63 0 6691 0
vsize: 27016
[startup+500.116 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 25313
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 5125 0 0 0 49999 17 0 0 25 0 1 0 901434207 27942912 5045 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6822 5045 1111 63 0 6759 0
vsize: 27288
[startup+510.116 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 25313
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 5188 0 0 0 50999 17 0 0 25 0 1 0 901434207 28225536 5108 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6891 5108 1111 63 0 6828 0
vsize: 27564
[startup+520.116 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 25313
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 5250 0 0 0 51999 18 0 0 25 0 1 0 901434207 28512256 5170 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6961 5170 1111 63 0 6898 0
vsize: 27844
[startup+530.117 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 25313
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 5305 0 0 0 52999 18 0 0 25 0 1 0 901434207 28794880 5225 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7030 5225 1111 63 0 6967 0
vsize: 28120
[startup+540.117 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 25313
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 5361 0 0 0 53999 18 0 0 25 0 1 0 901434207 28934144 5281 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7064 5281 1111 63 0 7001 0
vsize: 28256
[startup+550.117 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 25313
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 5428 0 0 0 54999 18 0 0 25 0 1 0 901434207 29216768 5348 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7133 5348 1111 63 0 7070 0
vsize: 28532
[startup+560.117 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 5493 0 0 0 55999 18 0 0 25 0 1 0 901434207 29503488 5413 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7203 5413 1111 63 0 7140 0
vsize: 28812
[startup+570.118 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 5555 0 0 0 57000 18 0 0 25 0 1 0 901434207 29782016 5475 4294967295 134512640 134716908 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7271 5475 1111 63 0 7208 0
vsize: 29084
[startup+580.118 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 5617 0 0 0 58000 18 0 0 25 0 1 0 901434207 30064640 5537 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7340 5537 1111 63 0 7277 0
vsize: 29360
[startup+590.118 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 5685 0 0 0 59000 18 0 0 25 0 1 0 901434207 30347264 5605 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7409 5605 1111 63 0 7346 0
vsize: 29636
[startup+600.118 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 5748 0 0 0 60000 18 0 0 25 0 1 0 901434207 30486528 5668 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7443 5668 1111 63 0 7380 0
vsize: 29772
[startup+610.118 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 5818 0 0 0 61000 19 0 0 25 0 1 0 901434207 30773248 5738 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7513 5738 1111 63 0 7450 0
vsize: 30052
[startup+620.119 s]
Raw data (loadavg): 1.06 1.02 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 5873 0 0 0 62000 19 0 0 25 0 1 0 901434207 31051776 5793 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7581 5793 1111 63 0 7518 0
vsize: 30324
[startup+630.119 s]
Raw data (loadavg): 1.05 1.02 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 5941 0 0 0 63000 19 0 0 25 0 1 0 901434207 31334400 5861 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7650 5861 1111 63 0 7587 0
vsize: 30600
[startup+640.12 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 6003 0 0 0 64000 19 0 0 25 0 1 0 901434207 31617024 5923 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7719 5923 1111 63 0 7656 0
vsize: 30876
[startup+650.12 s]
Raw data (loadavg): 1.03 1.02 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 6066 0 0 0 65000 19 0 0 25 0 1 0 901434207 31903744 5986 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7789 5986 1111 63 0 7726 0
vsize: 31156
[startup+660.121 s]
Raw data (loadavg): 1.03 1.02 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 6134 0 0 0 66000 19 0 0 25 0 1 0 901434207 32182272 6054 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7857 6054 1111 63 0 7794 0
vsize: 31428
[startup+670.121 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 6191 0 0 0 67000 19 0 0 25 0 1 0 901434207 32325632 6111 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7892 6111 1111 63 0 7829 0
vsize: 31568
[startup+680.122 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 6253 0 0 0 68000 20 0 0 25 0 1 0 901434207 32604160 6173 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7960 6173 1111 63 0 7897 0
vsize: 31840
[startup+690.122 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 6321 0 0 0 69000 20 0 0 25 0 1 0 901434207 32886784 6241 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8029 6241 1111 63 0 7966 0
vsize: 32116
[startup+700.133 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 6385 0 0 0 70001 20 0 0 25 0 1 0 901434207 33173504 6305 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8099 6305 1111 63 0 8036 0
vsize: 32396
[startup+710.137 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 6454 0 0 0 71002 20 0 0 25 0 1 0 901434207 33456128 6374 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8168 6374 1111 63 0 8105 0
vsize: 32672
[startup+720.138 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 6516 0 0 0 72002 20 0 0 25 0 1 0 901434207 33734656 6436 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8236 6436 1111 63 0 8173 0
vsize: 32944
[startup+730.137 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 6578 0 0 0 73002 20 0 0 25 0 1 0 901434207 33873920 6498 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8270 6498 1111 63 0 8207 0
vsize: 33080
[startup+740.138 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 6646 0 0 0 74002 20 0 0 25 0 1 0 901434207 34156544 6566 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8339 6566 1111 63 0 8276 0
vsize: 33356
[startup+750.138 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 6709 0 0 0 75002 21 0 0 25 0 1 0 901434207 34443264 6629 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8409 6629 1111 63 0 8346 0
vsize: 33636
[startup+760.138 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 6771 0 0 0 76002 21 0 0 25 0 1 0 901434207 34725888 6691 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8478 6691 1111 63 0 8415 0
vsize: 33912
[startup+770.138 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 6839 0 0 0 77002 21 0 0 25 0 1 0 901434207 35004416 6759 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8546 6759 1111 63 0 8483 0
vsize: 34184
[startup+780.139 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 6908 0 0 0 78002 21 0 0 25 0 1 0 901434207 35287040 6828 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8615 6828 1111 63 0 8552 0
vsize: 34460
[startup+790.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 6971 0 0 0 79002 21 0 0 25 0 1 0 901434207 35573760 6891 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8685 6891 1111 63 0 8622 0
vsize: 34740
[startup+800.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 7033 0 0 0 80002 22 0 0 25 0 1 0 901434207 35852288 6953 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8753 6953 1111 63 0 8690 0
vsize: 35012
[startup+810.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 7101 0 0 0 81001 22 0 0 25 0 1 0 901434207 36134912 7021 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8822 7021 1111 63 0 8759 0
vsize: 35288
[startup+820.141 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 7163 0 0 0 82001 23 0 0 25 0 1 0 901434207 36278272 7083 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8857 7083 1111 63 0 8794 0
vsize: 35428
[startup+830.141 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 7226 0 0 0 83001 23 0 0 25 0 1 0 901434207 36556800 7146 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8925 7146 1111 63 0 8862 0
vsize: 35700
[startup+840.143 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 7295 0 0 0 84001 23 0 0 25 0 1 0 901434207 36843520 7215 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8995 7215 1111 63 0 8932 0
vsize: 35980
[startup+850.143 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 7350 0 0 0 85001 24 0 0 25 0 1 0 901434207 37126144 7270 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9064 7270 1111 63 0 9001 0
vsize: 36256
[startup+860.142 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 7418 0 0 0 86001 24 0 0 25 0 1 0 901434207 37408768 7338 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9133 7338 1111 63 0 9070 0
vsize: 36532
[startup+870.143 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 7481 0 0 0 87001 24 0 0 25 0 1 0 901434207 37687296 7401 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9201 7401 1111 63 0 9138 0
vsize: 36804
[startup+880.143 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 7562 0 0 0 88001 24 0 0 25 0 1 0 901434207 37982208 7482 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9273 7482 1111 63 0 9210 0
vsize: 37092
[startup+890.144 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 7624 0 0 0 89001 24 0 0 25 0 1 0 901434207 38264832 7544 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9342 7544 1111 63 0 9279 0
vsize: 37368
[startup+900.145 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 7693 0 0 0 90001 25 0 0 25 0 1 0 901434207 38547456 7613 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9411 7613 1111 63 0 9348 0
vsize: 37644
[startup+910.144 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 7754 0 0 0 91001 25 0 0 25 0 1 0 901434207 38830080 7674 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9480 7674 1111 63 0 9417 0
vsize: 37920
[startup+920.145 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 7816 0 0 0 92001 25 0 0 25 0 1 0 901434207 39108608 7736 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9548 7736 1111 63 0 9485 0
vsize: 38192
[startup+930.145 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 7874 0 0 0 93001 25 0 0 25 0 1 0 901434207 39256064 7794 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9584 7794 1111 63 0 9521 0
vsize: 38336
[startup+940.146 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 7942 0 0 0 94001 25 0 0 25 0 1 0 901434207 39538688 7862 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9653 7862 1111 63 0 9590 0
vsize: 38612
[startup+950.147 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 8010 0 0 0 95001 25 0 0 25 0 1 0 901434207 39817216 7930 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9721 7930 1111 63 0 9658 0
vsize: 38884
[startup+960.147 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 8066 0 0 0 96001 25 0 0 25 0 1 0 901434207 40099840 7986 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9790 7986 1111 63 0 9727 0
vsize: 39160
[startup+970.148 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 8135 0 0 0 97001 26 0 0 25 0 1 0 901434207 40382464 8055 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9859 8055 1111 63 0 9796 0
vsize: 39436
[startup+980.147 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 8204 0 0 0 98001 26 0 0 25 0 1 0 901434207 40669184 8124 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9929 8124 1111 63 0 9866 0
vsize: 39716
[startup+990.148 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 8260 0 0 0 99001 26 0 0 25 0 1 0 901434207 40808448 8180 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9963 8180 1111 63 0 9900 0
vsize: 39852
[startup+1000.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 8328 0 0 0 100001 26 0 0 25 0 1 0 901434207 41086976 8248 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10031 8248 1111 63 0 9968 0
vsize: 40124
[startup+1010.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 8390 0 0 0 101001 27 0 0 25 0 1 0 901434207 41369600 8310 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10100 8310 1111 63 0 10037 0
vsize: 40400
[startup+1020.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 8454 0 0 0 102001 27 0 0 25 0 1 0 901434207 41656320 8374 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10170 8374 1111 63 0 10107 0
vsize: 40680
[startup+1030.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 8522 0 0 0 103002 27 0 0 25 0 1 0 901434207 41938944 8442 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10239 8442 1111 63 0 10176 0
vsize: 40956
[startup+1040.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 8591 0 0 0 104002 27 0 0 25 0 1 0 901434207 42217472 8511 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10307 8511 1111 63 0 10244 0
vsize: 41228
[startup+1050.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 8653 0 0 0 105002 27 0 0 25 0 1 0 901434207 42500096 8573 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10376 8573 1111 63 0 10313 0
vsize: 41504
[startup+1060.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 8715 0 0 0 106002 27 0 0 25 0 1 0 901434207 42778624 8635 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10444 8635 1111 63 0 10381 0
vsize: 41776
[startup+1070.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 8778 0 0 0 107002 27 0 0 25 0 1 0 901434207 42926080 8698 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10480 8698 1111 63 0 10417 0
vsize: 41920
[startup+1080.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 8840 0 0 0 108002 27 0 0 25 0 1 0 901434207 43208704 8760 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10549 8760 1111 63 0 10486 0
vsize: 42196
[startup+1090.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 8895 0 0 0 109002 27 0 0 25 0 1 0 901434207 43491328 8815 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10618 8815 1111 63 0 10555 0
vsize: 42472
[startup+1100.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 8965 0 0 0 110002 27 0 0 25 0 1 0 901434207 43769856 8885 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10686 8885 1111 63 0 10623 0
vsize: 42744
[startup+1110.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 9028 0 0 0 111002 27 0 0 25 0 1 0 901434207 44056576 8948 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10756 8948 1111 63 0 10693 0
vsize: 43024
[startup+1120.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 9090 0 0 0 112002 28 0 0 25 0 1 0 901434207 44195840 9010 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10790 9010 1111 63 0 10727 0
vsize: 43160
[startup+1130.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 9151 0 0 0 113003 28 0 0 25 0 1 0 901434207 44478464 9071 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10859 9071 1111 63 0 10796 0
vsize: 43436
[startup+1140.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 9212 0 0 0 114003 28 0 0 25 0 1 0 901434207 44761088 9132 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10928 9132 1111 63 0 10865 0
vsize: 43712
[startup+1150.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 9275 0 0 0 115003 28 0 0 25 0 1 0 901434207 45039616 9195 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10996 9195 1111 63 0 10933 0
vsize: 43984
[startup+1160.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 9339 0 0 0 116003 28 0 0 25 0 1 0 901434207 45326336 9259 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11066 9259 1111 63 0 11003 0
vsize: 44264
[startup+1170.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 9407 0 0 0 117003 28 0 0 25 0 1 0 901434207 45608960 9327 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11135 9327 1111 63 0 11072 0
vsize: 44540
[startup+1180.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 9476 0 0 0 118003 28 0 0 25 0 1 0 901434207 45887488 9396 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11203 9396 1111 63 0 11140 0
vsize: 44812
[startup+1190.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 9544 0 0 0 119003 28 0 0 25 0 1 0 901434207 46170112 9464 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11272 9464 1111 63 0 11209 0
vsize: 45088
[startup+1200.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) R 25257 20224 20223 0 -1 0 9609 0 0 0 120003 28 0 0 25 0 1 0 901434207 46313472 9529 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11307 9529 1111 63 0 11244 0
vsize: 45228
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.17 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 25315
Raw data (stat): 25258 (bsolo_lpr-v2) Z 25257 20224 20223 0 -1 1036 9609 0 0 0 120003 30 0 0 25 0 1 0 901434207 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.17
CPU time (s): 1200.34
CPU user time (s): 1200.04
CPU system time (s): 0.306953
CPU usage (%): 100.014
Max. virtual memory (Kb): 45228
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####