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/unibo/normalized-mps-v2-13-7-rail507.opb
MD5SUM	323cdddd9985e43f8e7199c63ad6de47
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	63209
Biggest coefficient in the objective function	52428800000000000
Number of bits for the biggest coefficient in the objective function	56
Sum of the numbers in the objective function	226433975012582900
Number of bits of the sum of numbers in the objective function	58
Biggest number in a constraint	52428800000000000
Number of bits of the biggest number in a constraint	56
Biggest sum of numbers in a constraint	226433975012582900
Number of bits of the biggest sum of numbers	58
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	295.054
Number of variables	63009
Total number of constraints	63518
Number of constraints which are clauses	507
Number of constraints which are cardinality constraints (but not clauses)	63011
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	59416
Trace number 40533

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-08 13:36:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28597 boxname=wulflinc3 idbench=1553 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  323cdddd9985e43f8e7199c63ad6de47  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-rail507.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-rail507.opb
IDLAUNCH: 28597
/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:        882768 kB
Buffers:          5024 kB
Cached:         126428 kB
SwapCached:        808 kB
Active:          43464 kB
Inactive:        90056 kB
HighTotal:      131008 kB
HighFree:         4676 kB
LowTotal:       903652 kB
LowFree:        878092 kB
SwapTotal:     2097136 kB
SwapFree:      2095332 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            12736 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 13:56:56 (client local time) WITH STATUS 0 IN 1200.57 SECONDS
stats: 28597 7 1200.57 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.98 0.93 2/54 25929
Raw data (stat): 25929 (runsolver) R 25928 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 902037609 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.99976 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 2049 0 0 0 991 7 0 0 25 0 1 0 902037609 20013056 1969 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4886 1969 1111 63 0 4823 0
vsize: 19544
[startup+20.001 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 3263 0 0 0 1989 9 0 0 25 0 1 0 902037609 24936448 3183 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6088 3183 1111 63 0 6025 0
vsize: 24352
[startup+30.0004 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 4478 0 0 0 2986 13 0 0 25 0 1 0 902037609 29863936 4398 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7291 4398 1111 63 0 7228 0
vsize: 29164
[startup+40.0017 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 5699 0 0 0 3983 15 0 0 25 0 1 0 902037609 34938880 5619 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8530 5619 1111 63 0 8467 0
vsize: 34120
[startup+50.0025 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 6921 0 0 0 4981 18 0 0 25 0 1 0 902037609 39870464 6841 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9734 6841 1111 63 0 9671 0
vsize: 38936
[startup+60.0019 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 8151 0 0 0 5979 20 0 0 25 0 1 0 902037609 44933120 8071 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10970 8071 1111 63 0 10907 0
vsize: 43880
[startup+70.0022 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 9378 0 0 0 6976 23 0 0 25 0 1 0 902037609 50008064 9298 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12209 9298 1111 63 0 12146 0
vsize: 48836
[startup+80.0031 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 10617 0 0 0 7974 25 0 0 25 0 1 0 902037609 55083008 10537 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13448 10537 1111 63 0 13385 0
vsize: 53792
[startup+90.0035 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 11850 0 0 0 8971 28 0 0 25 0 1 0 902037609 60157952 11770 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14687 11770 1111 63 0 14624 0
vsize: 58748
[startup+100.004 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 13102 0 0 0 9969 30 0 0 25 0 1 0 902037609 65212416 13022 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15921 13022 1111 63 0 15858 0
vsize: 63684
[startup+110.005 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 14348 0 0 0 10966 33 0 0 25 0 1 0 902037609 70287360 14268 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17160 14268 1111 63 0 17097 0
vsize: 68640
[startup+120.005 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 15599 0 0 0 11964 35 0 0 25 0 1 0 902037609 75513856 15519 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18436 15519 1111 63 0 18373 0
vsize: 73744
[startup+130.005 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 16850 0 0 0 12961 38 0 0 25 0 1 0 902037609 80588800 16770 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19675 16770 1111 63 0 19612 0
vsize: 78700
[startup+140.006 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 18107 0 0 0 13959 40 0 0 25 0 1 0 902037609 85663744 18027 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20914 18027 1111 63 0 20851 0
vsize: 83656
[startup+150.006 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 19372 0 0 0 14957 43 0 0 25 0 1 0 902037609 90894336 19292 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22191 19292 1111 63 0 22128 0
vsize: 88764
[startup+160.007 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 20636 0 0 0 15955 45 0 0 25 0 1 0 902037609 96116736 20556 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23466 20556 1111 63 0 23403 0
vsize: 93864
[startup+170.011 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 21905 0 0 0 16951 49 0 0 25 0 1 0 902037609 101343232 21825 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24742 21825 1111 63 0 24679 0
vsize: 98968
[startup+180.01 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 23180 0 0 0 17949 52 0 0 25 0 1 0 902037609 106565632 23100 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26017 23100 1111 63 0 25954 0
vsize: 104068
[startup+190.011 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 24456 0 0 0 18946 54 0 0 25 0 1 0 902037609 111792128 24376 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27293 24376 1111 63 0 27230 0
vsize: 109172
[startup+200.012 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 25752 0 0 0 19944 57 0 0 25 0 1 0 902037609 116994048 25672 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28563 25672 1111 63 0 28500 0
vsize: 114252
[startup+210.011 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 27051 0 0 0 20943 58 0 0 25 0 1 0 902037609 122368000 26971 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29875 26971 1111 63 0 29812 0
vsize: 119500
[startup+220.012 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 28358 0 0 0 21940 61 0 0 25 0 1 0 902037609 127741952 28278 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31187 28278 1111 63 0 31124 0
vsize: 124748
[startup+230.012 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 29670 0 0 0 22938 63 0 0 25 0 1 0 902037609 133115904 29590 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32499 29590 1111 63 0 32436 0
vsize: 129996
[startup+240.013 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 30989 0 0 0 23936 66 0 0 25 0 1 0 902037609 138493952 30909 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33812 30909 1111 63 0 33749 0
vsize: 135248
[startup+250.013 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 32308 0 0 0 24935 67 0 0 25 0 1 0 902037609 143867904 32228 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35124 32228 1111 63 0 35061 0
vsize: 140496
[startup+260.013 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 33632 0 0 0 25933 69 0 0 25 0 1 0 902037609 149389312 33552 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36472 33552 1111 63 0 36409 0
vsize: 145888
[startup+270.013 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 34965 0 0 0 26930 71 0 0 25 0 1 0 902037609 154771456 34885 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37786 34885 1111 63 0 37723 0
vsize: 151144
[startup+280.014 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 36301 0 0 0 27928 74 0 0 25 0 1 0 902037609 160292864 36221 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39134 36221 1111 63 0 39071 0
vsize: 156536
[startup+290.014 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 37638 0 0 0 28926 76 0 0 25 0 1 0 902037609 165666816 37558 4294967295 134512640 134716908 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40446 37558 1111 63 0 40383 0
vsize: 161784
[startup+300.015 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 38980 0 0 0 29924 79 0 0 25 0 1 0 902037609 171188224 38900 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41794 38900 1111 63 0 41731 0
vsize: 167176
[startup+310.015 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 40330 0 0 0 30922 81 0 0 25 0 1 0 902037609 176717824 40250 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43144 40250 1111 63 0 43081 0
vsize: 172576
[startup+320.016 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 41685 0 0 0 31919 83 0 0 25 0 1 0 902037609 182239232 41605 4294967295 134512640 134716908 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44492 41605 1111 63 0 44429 0
vsize: 177968
[startup+330.015 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 43046 0 0 0 32917 86 0 0 25 0 1 0 902037609 187912192 42966 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45877 42966 1111 63 0 45814 0
vsize: 183508
[startup+340.017 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 44407 0 0 0 33916 87 0 0 25 0 1 0 902037609 193437696 44327 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47226 44327 1111 63 0 47163 0
vsize: 188904
[startup+350.017 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 45774 0 0 0 34915 89 0 0 25 0 1 0 902037609 199110656 45694 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48611 45694 1111 63 0 48548 0
vsize: 194444
[startup+360.017 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 47146 0 0 0 35913 91 0 0 25 0 1 0 902037609 204632064 47066 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49959 47066 1111 63 0 49896 0
vsize: 199836
[startup+370.017 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 48527 0 0 0 36910 94 0 0 25 0 1 0 902037609 210309120 48447 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51345 48447 1111 63 0 51282 0
vsize: 205380
[startup+380.018 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 49922 0 0 0 37908 96 0 0 25 0 1 0 902037609 216125440 49842 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52765 49842 1111 63 0 52702 0
vsize: 211060
[startup+390.018 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 51313 0 0 0 38906 98 0 0 25 0 1 0 902037609 221798400 51233 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54150 51233 1111 63 0 54087 0
vsize: 216600
[startup+400.019 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 52706 0 0 0 39904 101 0 0 25 0 1 0 902037609 227475456 52626 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55536 52626 1111 63 0 55473 0
vsize: 222144
[startup+410.019 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 54108 0 0 0 40901 103 0 0 25 0 1 0 902037609 233295872 54028 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56957 54028 1111 63 0 56894 0
vsize: 227828
[startup+420.02 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 55517 0 0 0 41900 105 0 0 25 0 1 0 902037609 238968832 55437 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58342 55437 1111 63 0 58279 0
vsize: 233368
[startup+430.02 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 56930 0 0 0 42898 107 0 0 25 0 1 0 902037609 244797440 56850 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59765 56850 1111 63 0 59702 0
vsize: 239060
[startup+440.021 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 58345 0 0 0 43896 109 0 0 25 0 1 0 902037609 250617856 58265 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61186 58265 1111 63 0 61123 0
vsize: 244744
[startup+450.021 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 59766 0 0 0 44893 112 0 0 25 0 1 0 902037609 256438272 59686 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62607 59686 1111 63 0 62544 0
vsize: 250428
[startup+460.022 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 61200 0 0 0 45891 114 0 0 25 0 1 0 902037609 262262784 61120 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64029 61120 1111 63 0 63966 0
vsize: 256116
[startup+470.022 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 62641 0 0 0 46890 116 0 0 25 0 1 0 902037609 268234752 62561 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65487 62561 1111 63 0 65424 0
vsize: 261948
[startup+480.023 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 64088 0 0 0 47889 118 0 0 25 0 1 0 902037609 274059264 64008 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66909 64008 1111 63 0 66846 0
vsize: 267636
[startup+490.024 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 65540 0 0 0 48886 120 0 0 25 0 1 0 902037609 280031232 65460 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68367 65460 1111 63 0 68304 0
vsize: 273468
[startup+500.025 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 67003 0 0 0 49884 123 0 0 25 0 1 0 902037609 285999104 66923 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69824 66923 1111 63 0 69761 0
vsize: 279296
[startup+510.024 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 68469 0 0 0 50882 125 0 0 25 0 1 0 902037609 291975168 68389 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71283 68389 1111 63 0 71220 0
vsize: 285132
[startup+520.026 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 69940 0 0 0 51880 127 0 0 25 0 1 0 902037609 298094592 69860 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72777 69860 1111 63 0 72714 0
vsize: 291108
[startup+530.027 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 71423 0 0 0 52877 130 0 0 25 0 1 0 902037609 304070656 71343 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74236 71343 1111 63 0 74173 0
vsize: 296944
[startup+540.027 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 72905 0 0 0 53876 132 0 0 25 0 1 0 902037609 310190080 72825 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75730 72825 1111 63 0 75667 0
vsize: 302920
[startup+550.028 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 74401 0 0 0 54874 134 0 0 25 0 1 0 902037609 316313600 74321 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77225 74321 1111 63 0 77162 0
vsize: 308900
[startup+560.028 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 75902 0 0 0 55871 137 0 0 25 0 1 0 902037609 322433024 75822 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78719 75822 1111 63 0 78656 0
vsize: 314876
[startup+570.029 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 77410 0 0 0 56868 141 0 0 25 0 1 0 902037609 328704000 77330 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80250 77330 1111 63 0 80187 0
vsize: 321000
[startup+580.029 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 78922 0 0 0 57865 144 0 0 25 0 1 0 902037609 334823424 78842 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81744 78842 1111 63 0 81681 0
vsize: 326976
[startup+590.03 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 80441 0 0 0 58863 145 0 0 25 0 1 0 902037609 341094400 80361 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83275 80361 1111 63 0 83212 0
vsize: 333100
[startup+600.031 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 81973 0 0 0 59861 148 0 0 25 0 1 0 902037609 347365376 81893 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84806 81893 1111 63 0 84743 0
vsize: 339224
[startup+610.031 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 83510 0 0 0 60859 150 0 0 25 0 1 0 902037609 353636352 83430 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86337 83430 1111 63 0 86274 0
vsize: 345348
[startup+620.032 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 85047 0 0 0 61857 153 0 0 25 0 1 0 902037609 359907328 84967 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87868 84972 1111 63 0 87805 0
vsize: 351472
[startup+630.032 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 86603 0 0 0 62855 155 0 0 25 0 1 0 902037609 366325760 86523 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89435 86523 1111 63 0 89372 0
vsize: 357740
[startup+640.033 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 88160 0 0 0 63852 158 0 0 25 0 1 0 902037609 372600832 88080 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90967 88080 1111 63 0 90904 0
vsize: 363868
[startup+650.034 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 89727 0 0 0 64849 161 0 0 25 0 1 0 902037609 379015168 89647 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92533 89647 1111 63 0 92470 0
vsize: 370132
[startup+660.034 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 91301 0 0 0 65846 165 0 0 25 0 1 0 902037609 385589248 91221 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94138 91221 1111 63 0 94075 0
vsize: 376552
[startup+670.035 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 92880 0 0 0 66843 168 0 0 25 0 1 0 902037609 392003584 92800 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95704 92800 1111 63 0 95641 0
vsize: 382816
[startup+680.035 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 94472 0 0 0 67841 170 0 0 25 0 1 0 902037609 398577664 94392 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97309 94392 1111 63 0 97246 0
vsize: 389236
[startup+690.036 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 96070 0 0 0 68839 172 0 0 25 0 1 0 902037609 404996096 95990 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 98876 95990 1111 63 0 98813 0
vsize: 395504
[startup+700.037 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 97680 0 0 0 69836 175 0 0 25 0 1 0 902037609 411717632 97600 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 100517 97600 1111 63 0 100454 0
vsize: 402068
[startup+710.037 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 99314 0 0 0 70833 178 0 0 25 0 1 0 902037609 418504704 99234 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102174 99234 1111 63 0 102111 0
vsize: 408696
[startup+720.037 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 100935 0 0 0 71831 181 0 0 25 0 1 0 902037609 425070592 100855 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103777 100855 1111 63 0 103714 0
vsize: 415108
[startup+730.038 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 102571 0 0 0 72828 184 0 0 25 0 1 0 902037609 431792128 102491 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 105418 102491 1111 63 0 105355 0
vsize: 421672
[startup+740.039 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 104212 0 0 0 73826 187 0 0 25 0 1 0 902037609 438505472 104132 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 107057 104132 1111 63 0 106994 0
vsize: 428228
[startup+750.04 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 105865 0 0 0 74823 190 0 0 25 0 1 0 902037609 445227008 105785 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108698 105785 1111 63 0 108635 0
vsize: 434792
[startup+760.041 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 107524 0 0 0 75820 193 0 0 25 0 1 0 902037609 452100096 107444 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 110376 107444 1111 63 0 110313 0
vsize: 441504
[startup+770.042 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 109195 0 0 0 76817 196 0 0 25 0 1 0 902037609 458964992 109115 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 112052 109115 1111 63 0 111989 0
vsize: 448208
[startup+780.041 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 110879 0 0 0 77815 198 0 0 25 0 1 0 902037609 465833984 110799 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 113729 110799 1111 63 0 113666 0
vsize: 454916
[startup+790.042 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 112567 0 0 0 78812 201 0 0 25 0 1 0 902037609 472698880 112487 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 115405 112487 1111 63 0 115342 0
vsize: 461620
[startup+800.043 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 114269 0 0 0 79809 204 0 0 25 0 1 0 902037609 479715328 114189 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 117118 114189 1111 63 0 117055 0
vsize: 468472
[startup+810.043 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 115983 0 0 0 80807 207 0 0 25 0 1 0 902037609 486735872 115903 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 118832 115903 1111 63 0 118769 0
vsize: 475328
[startup+820.043 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 117703 0 0 0 81804 209 0 0 25 0 1 0 902037609 493748224 117623 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 120544 117623 1111 63 0 120481 0
vsize: 482176
[startup+830.044 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 119435 0 0 0 82803 211 0 0 25 0 1 0 902037609 500916224 119355 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 122294 119355 1111 63 0 122231 0
vsize: 489176
[startup+840.043 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 121180 0 0 0 83799 215 0 0 25 0 1 0 902037609 507936768 121100 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 124008 121100 1111 63 0 123945 0
vsize: 496032
[startup+850.044 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 122941 0 0 0 84797 217 0 0 25 0 1 0 902037609 515248128 122861 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125793 122861 1111 63 0 125730 0
vsize: 503172
[startup+860.044 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 124710 0 0 0 85795 219 0 0 25 0 1 0 902037609 522416128 124630 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127543 124630 1111 63 0 127480 0
vsize: 510172
[startup+870.045 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 126490 0 0 0 86792 223 0 0 25 0 1 0 902037609 529735680 126410 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 129330 126410 1111 63 0 129267 0
vsize: 517320
[startup+880.045 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 128278 0 0 0 87790 225 0 0 25 0 1 0 902037609 537051136 128198 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131116 128198 1111 63 0 131053 0
vsize: 524464
[startup+890.045 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 130082 0 0 0 88787 228 0 0 25 0 1 0 902037609 544514048 130002 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 132938 130002 1111 63 0 132875 0
vsize: 531752
[startup+900.046 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 131899 0 0 0 89785 231 0 0 25 0 1 0 902037609 551829504 131819 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134724 131819 1111 63 0 134661 0
vsize: 538896
[startup+910.045 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 133723 0 0 0 90782 233 0 0 25 0 1 0 902037609 559296512 133643 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 136547 133643 1111 63 0 136484 0
vsize: 546188
[startup+920.045 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 135565 0 0 0 91780 236 0 0 25 0 1 0 902037609 566915072 135485 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 138407 135485 1111 63 0 138344 0
vsize: 553628
[startup+930.045 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 137417 0 0 0 92777 239 0 0 25 0 1 0 902037609 574521344 137337 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 140264 137337 1111 63 0 140201 0
vsize: 561056
[startup+940.045 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 139277 0 0 0 93774 242 0 0 25 0 1 0 902037609 582139904 139197 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 142124 139197 1111 63 0 142061 0
vsize: 568496
[startup+950.046 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 141161 0 0 0 94771 245 0 0 25 0 1 0 902037609 589754368 141081 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 143983 141081 1111 63 0 143920 0
vsize: 575932
[startup+960.045 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 143051 0 0 0 95767 249 0 0 25 0 1 0 902037609 597520384 142971 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 145879 142971 1111 63 0 145816 0
vsize: 583516
[startup+970.046 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 144953 0 0 0 96764 252 0 0 25 0 1 0 902037609 605286400 144873 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 147775 144873 1111 63 0 147712 0
vsize: 591100
[startup+980.046 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 146879 0 0 0 97761 256 0 0 25 0 1 0 902037609 613191680 146799 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 149705 146799 1111 63 0 149642 0
vsize: 598820
[startup+990.046 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 148812 0 0 0 98757 260 0 0 25 0 1 0 902037609 621105152 148732 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151637 148732 1111 63 0 151574 0
vsize: 606548
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 150759 0 0 0 99755 263 0 0 25 0 1 0 902037609 629170176 150679 4294967295 134512640 134716908 3221224576 3221222928 134567410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 153606 150682 1111 63 0 153543 0
vsize: 614424
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 152725 0 0 0 100751 266 0 0 25 0 1 0 902037609 637231104 152645 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 155574 152645 1111 63 0 155511 0
vsize: 622296
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 154707 0 0 0 101748 269 0 0 25 0 1 0 902037609 645296128 154627 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 157543 154627 1111 63 0 157480 0
vsize: 630172
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 156706 0 0 0 102746 272 0 0 25 0 1 0 902037609 653508608 156626 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 159548 156626 1111 63 0 159485 0
vsize: 638192
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 158724 0 0 0 103742 276 0 0 25 0 1 0 902037609 661721088 158644 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 161553 158644 1111 63 0 161490 0
vsize: 646212
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 160754 0 0 0 104738 280 0 0 25 0 1 0 902037609 670081024 160674 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 163594 160674 1111 63 0 163531 0
vsize: 654376
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 162801 0 0 0 105735 283 0 0 25 0 1 0 902037609 678440960 162721 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 165635 162721 1111 63 0 165572 0
vsize: 662540
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 164874 0 0 0 106732 287 0 0 25 0 1 0 902037609 686952448 164794 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 167713 164794 1111 63 0 167650 0
vsize: 670852
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 166959 0 0 0 107729 290 0 0 25 0 1 0 902037609 695463936 166879 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 169791 166879 1111 63 0 169728 0
vsize: 679164
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 169061 0 0 0 108726 293 0 0 25 0 1 0 902037609 704122880 168981 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 171905 168981 1111 63 0 171842 0
vsize: 687620
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 171195 0 0 0 109723 296 0 0 25 0 1 0 902037609 712781824 171115 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 174019 171115 1111 63 0 173956 0
vsize: 696076
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 173334 0 0 0 110721 299 0 0 25 0 1 0 902037609 721588224 173254 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 176169 173254 1111 63 0 176106 0
vsize: 704676
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 175502 0 0 0 111717 303 0 0 25 0 1 0 902037609 730398720 175422 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 178320 175422 1111 63 0 178257 0
vsize: 713280
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 177697 0 0 0 112713 307 0 0 25 0 1 0 902037609 739356672 177617 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 180507 177617 1111 63 0 180444 0
vsize: 722028
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 179902 0 0 0 113709 310 0 0 25 0 1 0 902037609 748462080 179822 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 182730 179822 1111 63 0 182667 0
vsize: 730920
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 182132 0 0 0 114705 314 0 0 25 0 1 0 902037609 757571584 182052 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 184954 182052 1111 63 0 184891 0
vsize: 739816
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 184395 0 0 0 115701 319 0 0 25 0 1 0 902037609 766832640 184315 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 187215 184315 1111 63 0 187152 0
vsize: 748860
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 186679 0 0 0 116697 323 0 0 25 0 1 0 902037609 776237056 186599 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 189511 186599 1111 63 0 189448 0
vsize: 758044
[startup+1180.05 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 188982 0 0 0 117694 326 0 0 25 0 1 0 902037609 785641472 188902 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 191807 188902 1111 63 0 191744 0
vsize: 767228
[startup+1190.05 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 191321 0 0 0 118690 330 0 0 25 0 1 0 902037609 795193344 191241 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 194139 191241 1111 63 0 194076 0
vsize: 776556
[startup+1200.05 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) R 25928 20224 20223 0 -1 0 193673 0 0 0 119686 334 0 0 25 0 1 0 902037609 804904960 193593 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 196510 193593 1111 63 0 196447 0
vsize: 786040
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.41 s]
Raw data (loadavg): 1.00 0.98 0.93 1/54 25929
Raw data (stat): 25929 (bsolo_lpr-v2) Z 25928 20224 20223 0 -1 1036 193673 0 0 0 119686 370 0 0 25 0 1 0 902037609 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.41
CPU time (s): 1200.57
CPU user time (s): 1196.87
CPU system time (s): 3.70344
CPU usage (%): 100.013
Max. virtual memory (Kb): 786040
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####