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/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
MD5SUM	20fc65112f36a5d10cc9eaa82c0beb63
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-38
Optimality of the best value was proved	NO
Number of terms in the objective function	1272
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1272
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1272
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.1
Number of variables	1272
Total number of constraints	94227
Number of constraints which are clauses	94227
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 39715

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        916640 kB
Buffers:         33948 kB
Cached:          61128 kB
SwapCached:       1484 kB
Active:          27232 kB
Inactive:        69952 kB
HighTotal:      131008 kB
HighFree:        91924 kB
LowTotal:       903652 kB
LowFree:        824716 kB
SwapTotal:     2097136 kB
SwapFree:      2094668 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4988 kB
Slab:            15316 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 17:58:38 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 27781 7 1200.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1272 variables and 94227 constraints.
c After prepocess the problem consists of 1272 variables and 63978 constraints.
c preprocess terminated 725.644 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.95 0.90 1/54 28672
Raw data (stat): 28672 (runsolver) R 28671 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 894859099 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 18388 0 0 0 946 51 0 0 25 0 1 0 894859099 78442496 18304 4294967295 134512640 134716908 3221224576 3221223000 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19151 18304 1111 63 0 19088 0
vsize: 76604
[startup+20.0014 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 35157 0 0 0 1907 89 0 0 25 0 1 0 894859099 143032320 34079 4294967295 134512640 134716908 3221224576 3221222968 1077378310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34920 34079 1111 63 0 34857 0
vsize: 139680
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 2904 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221222968 1077378310 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+40.0012 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 3904 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+50.0026 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 4905 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+60.0016 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 5905 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+70.0023 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 6905 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221222992 134543684 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+80.0024 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 7905 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221222992 134542680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+90.0027 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 8905 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 9905 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221223080 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 10906 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 11906 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 12906 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221223308 134675288 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 13906 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 14906 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221223088 134543728 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 15906 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221223000 1077378064 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 16907 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 17907 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221223056 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 18907 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 19907 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221222960 134542306 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 20908 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221223068 134542288 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 21908 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 22908 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221222996 134543680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 23908 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221222940 134539235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 24908 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 25908 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 26909 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 27909 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 28909 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221222940 134539235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 29909 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 30909 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221223040 134542300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 31909 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 32910 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221223192 134536921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 33910 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221223072 134543686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 34910 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 35910 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 36910 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 37910 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221222968 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 38911 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221223192 134543793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 39911 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221222984 134543617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+410.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 40911 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+420.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 41911 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221223112 134542982 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+430.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 42911 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 43912 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 44912 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 45912 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221223304 134675300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+470.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 46912 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221222940 134539235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+480.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 47912 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+490.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 48912 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 49913 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+510.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 50913 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+520.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 51913 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221223056 134539362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+530.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 52913 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221222940 134539309 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+540.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 53913 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221223072 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+550.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 54914 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+560.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 55914 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+570.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 56914 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221222940 134539298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+580.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 57914 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+590.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 58914 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+600.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 59914 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+610.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 60915 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+620.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 61915 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+630.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 62915 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+640.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 63915 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+650.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 64915 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+660.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 65915 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+670.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 66916 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+680.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36526 0 0 0 67916 92 0 0 25 0 1 0 894859099 147034112 35031 4294967295 134512640 134716908 3221224576 3221223264 134629394 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35031 1111 63 0 35834 0
vsize: 143588
[startup+690.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36527 0 0 0 68916 92 0 0 25 0 1 0 894859099 147034112 35032 4294967295 134512640 134716908 3221224576 3221223456 134622268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35032 1111 63 0 35834 0
vsize: 143588
[startup+700.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36527 0 0 0 69916 92 0 0 25 0 1 0 894859099 147034112 35032 4294967295 134512640 134716908 3221224576 3221223376 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35032 1111 63 0 35834 0
vsize: 143588
[startup+710.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36527 0 0 0 70916 92 0 0 25 0 1 0 894859099 147034112 35032 4294967295 134512640 134716908 3221224576 3221223456 134622268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35032 1111 63 0 35834 0
vsize: 143588
[startup+720.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36527 0 0 0 71917 92 0 0 25 0 1 0 894859099 147034112 35032 4294967295 134512640 134716908 3221224576 3221223456 134622268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35032 1111 63 0 35834 0
vsize: 143588
[startup+730.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36548 0 0 0 72916 92 0 0 25 0 1 0 894859099 147034112 35053 4294967295 134512640 134716908 3221224576 3221222832 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35897 35053 1111 63 0 35834 0
vsize: 143588
[startup+740.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36548 0 0 0 73916 92 0 0 25 0 1 0 894859099 147034112 35053 4294967295 134512640 134716908 3221224576 3221222392 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 35053 1111 63 0 35834 0
vsize: 143588
[startup+750.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36680 0 0 0 74916 93 0 0 25 0 1 0 894859099 147570688 35185 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36028 35185 1111 63 0 35965 0
vsize: 144112
[startup+760.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36702 0 0 0 75915 94 0 0 25 0 1 0 894859099 147660800 35207 4294967295 134512640 134716908 3221224576 3221222832 1074153669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36050 35207 1111 63 0 35987 0
vsize: 144200
[startup+770.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36719 0 0 0 76914 94 0 0 25 0 1 0 894859099 147730432 35224 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36067 35224 1111 63 0 36004 0
vsize: 144268
[startup+780.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36734 0 0 0 77913 96 0 0 25 0 1 0 894859099 147791872 35239 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36082 35239 1111 63 0 36019 0
vsize: 144328
[startup+790.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36747 0 0 0 78913 97 0 0 25 0 1 0 894859099 147845120 35252 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36095 35252 1111 63 0 36032 0
vsize: 144380
[startup+800.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36759 0 0 0 79912 97 0 0 25 0 1 0 894859099 147894272 35264 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36107 35264 1111 63 0 36044 0
vsize: 144428
[startup+810.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36771 0 0 0 80911 98 0 0 25 0 1 0 894859099 147943424 35276 4294967295 134512640 134716908 3221224576 3221222832 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36119 35276 1111 63 0 36056 0
vsize: 144476
[startup+820.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36782 0 0 0 81911 98 0 0 25 0 1 0 894859099 147988480 35287 4294967295 134512640 134716908 3221224576 3221222864 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36130 35287 1111 63 0 36067 0
vsize: 144520
[startup+830.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36794 0 0 0 82911 99 0 0 25 0 1 0 894859099 148037632 35299 4294967295 134512640 134716908 3221224576 3221222832 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36142 35299 1111 63 0 36079 0
vsize: 144568
[startup+840.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36935 0 0 0 83910 100 0 0 25 0 1 0 894859099 148615168 35440 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36283 35440 1111 63 0 36220 0
vsize: 145132
[startup+850.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36951 0 0 0 84909 101 0 0 25 0 1 0 894859099 148680704 35456 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36299 35456 1111 63 0 36236 0
vsize: 145196
[startup+860.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36965 0 0 0 85909 102 0 0 25 0 1 0 894859099 148738048 35470 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36313 35470 1111 63 0 36250 0
vsize: 145252
[startup+870.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36980 0 0 0 86909 102 0 0 25 0 1 0 894859099 148799488 35485 4294967295 134512640 134716908 3221224576 3221222816 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36328 35485 1111 63 0 36265 0
vsize: 145312
[startup+880.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 36993 0 0 0 87909 102 0 0 25 0 1 0 894859099 148852736 35498 4294967295 134512640 134716908 3221224576 3221222832 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36341 35498 1111 63 0 36278 0
vsize: 145364
[startup+890.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 37007 0 0 0 88908 103 0 0 25 0 1 0 894859099 148910080 35512 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36355 35512 1111 63 0 36292 0
vsize: 145420
[startup+900.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 37020 0 0 0 89908 103 0 0 25 0 1 0 894859099 148963328 35525 4294967295 134512640 134716908 3221224576 3221222744 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36368 35525 1111 63 0 36305 0
vsize: 145472
[startup+910.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 37032 0 0 0 90908 104 0 0 25 0 1 0 894859099 149012480 35537 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36380 35537 1111 63 0 36317 0
vsize: 145520
[startup+920.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 37044 0 0 0 91908 104 0 0 25 0 1 0 894859099 149061632 35549 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36392 35549 1111 63 0 36329 0
vsize: 145568
[startup+930.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 37056 0 0 0 92908 105 0 0 25 0 1 0 894859099 149110784 35561 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36404 35561 1111 63 0 36341 0
vsize: 145616
[startup+940.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 37067 0 0 0 93908 105 0 0 25 0 1 0 894859099 149155840 35572 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36415 35572 1111 63 0 36352 0
vsize: 145660
[startup+950.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 37079 0 0 0 94908 105 0 0 25 0 1 0 894859099 149204992 35584 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36427 35584 1111 63 0 36364 0
vsize: 145708
[startup+960.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 37089 0 0 0 95908 105 0 0 25 0 1 0 894859099 149245952 35594 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36437 35594 1111 63 0 36374 0
vsize: 145748
[startup+970.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 37100 0 0 0 96907 106 0 0 25 0 1 0 894859099 149291008 35605 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36448 35605 1111 63 0 36385 0
vsize: 145792
[startup+980.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 37112 0 0 0 97907 106 0 0 25 0 1 0 894859099 149340160 35617 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36460 35617 1111 63 0 36397 0
vsize: 145840
[startup+990.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 37122 0 0 0 98907 107 0 0 25 0 1 0 894859099 149381120 35627 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36470 35627 1111 63 0 36407 0
vsize: 145880
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 37131 0 0 0 99906 107 0 0 25 0 1 0 894859099 149417984 35636 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36479 35636 1111 63 0 36416 0
vsize: 145916
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 37142 0 0 0 100906 108 0 0 25 0 1 0 894859099 149463040 35647 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36490 35647 1111 63 0 36427 0
vsize: 145960
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 37152 0 0 0 101906 108 0 0 25 0 1 0 894859099 149504000 35657 4294967295 134512640 134716908 3221224576 3221222816 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36500 35657 1111 63 0 36437 0
vsize: 146000
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 37161 0 0 0 102906 109 0 0 25 0 1 0 894859099 149540864 35666 4294967295 134512640 134716908 3221224576 3221222480 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36509 35666 1111 63 0 36446 0
vsize: 146036
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 37172 0 0 0 103906 109 0 0 25 0 1 0 894859099 149585920 35677 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36520 35677 1111 63 0 36457 0
vsize: 146080
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 37181 0 0 0 104905 109 0 0 25 0 1 0 894859099 149622784 35686 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36529 35686 1111 63 0 36466 0
vsize: 146116
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 37191 0 0 0 105905 110 0 0 25 0 1 0 894859099 149663744 35696 4294967295 134512640 134716908 3221224576 3221222832 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36539 35696 1111 63 0 36476 0
vsize: 146156
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 37200 0 0 0 106905 110 0 0 25 0 1 0 894859099 149700608 35705 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36548 35705 1111 63 0 36485 0
vsize: 146192
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 37211 0 0 0 107905 110 0 0 25 0 1 0 894859099 149745664 35716 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36559 35716 1111 63 0 36496 0
vsize: 146236
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 37220 0 0 0 108905 110 0 0 25 0 1 0 894859099 149782528 35725 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36568 35725 1111 63 0 36505 0
vsize: 146272
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 37230 0 0 0 109905 111 0 0 25 0 1 0 894859099 149823488 35735 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36578 35735 1111 63 0 36515 0
vsize: 146312
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 37239 0 0 0 110905 111 0 0 25 0 1 0 894859099 149860352 35744 4294967295 134512640 134716908 3221224576 3221222832 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36587 35744 1111 63 0 36524 0
vsize: 146348
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 37250 0 0 0 111905 111 0 0 25 0 1 0 894859099 149905408 35755 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36598 35755 1111 63 0 36535 0
vsize: 146392
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 37259 0 0 0 112905 111 0 0 25 0 1 0 894859099 149942272 35764 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36607 35764 1111 63 0 36544 0
vsize: 146428
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 37268 0 0 0 113904 112 0 0 25 0 1 0 894859099 149979136 35773 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36616 35773 1111 63 0 36553 0
vsize: 146464
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 37277 0 0 0 114904 112 0 0 25 0 1 0 894859099 150016000 35782 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36625 35782 1111 63 0 36562 0
vsize: 146500
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 37284 0 0 0 115904 112 0 0 25 0 1 0 894859099 150044672 35789 4294967295 134512640 134716908 3221224576 3221222464 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36632 35789 1111 63 0 36569 0
vsize: 146528
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 37293 0 0 0 116904 113 0 0 25 0 1 0 894859099 150081536 35798 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36641 35798 1111 63 0 36578 0
vsize: 146564
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 37301 0 0 0 117904 113 0 0 25 0 1 0 894859099 150114304 35806 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36649 35806 1111 63 0 36586 0
vsize: 146596
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 37310 0 0 0 118904 113 0 0 25 0 1 0 894859099 150151168 35815 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36658 35815 1111 63 0 36595 0
vsize: 146632
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) R 28671 31399 31398 0 -1 0 37319 0 0 0 119903 114 0 0 25 0 1 0 894859099 150188032 35824 4294967295 134512640 134716908 3221224576 3221222864 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36667 35824 1111 63 0 36604 0
vsize: 146668
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 28672
Raw data (stat): 28672 (bsolo_lpr-v2) Z 28671 31399 31398 0 -1 1036 37319 0 0 0 119903 121 0 0 25 0 1 0 894859099 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.08
CPU time (s): 1200.25
CPU user time (s): 1199.04
CPU system time (s): 1.21581
CPU usage (%): 100.014
Max. virtual memory (Kb): 146668
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####