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/frb50-23-opb/normalized-frb50-23-1.opb
MD5SUM	ed1ca962177baf0f135b785abad8adea
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-37
Optimality of the best value was proved	NO
Number of terms in the objective function	1150
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	1150
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	1150
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.08
Number of variables	1150
Total number of constraints	80072
Number of constraints which are clauses	80072
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 39710

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-07 17:20:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27776 boxname=wulflinc1 idbench=334 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  ed1ca962177baf0f135b785abad8adea  /oldhome/oroussel/tmp/wulflinc1/normalized-frb50-23-1.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-frb50-23-1.opb
IDLAUNCH: 27776
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        924888 kB
Buffers:         27696 kB
Cached:          56724 kB
SwapCached:       1192 kB
Active:          23904 kB
Inactive:        62800 kB
HighTotal:      131008 kB
HighFree:        79716 kB
LowTotal:       903652 kB
LowFree:        845172 kB
SwapTotal:     2097136 kB
SwapFree:      2094852 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5728 kB
Slab:            17308 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 17:40:06 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 27776 7 1200.26 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1150 variables and 80072 constraints.
c After prepocess the problem consists of 1150 variables and 52085 constraints.
c preprocess terminated 542.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.84 0.94 0.90 2/55 7926
Raw data (stat): 7926 (runsolver) R 7925 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 837887304 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.0012 s]
Raw data (loadavg): 0.87 0.94 0.90 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 21558 0 0 0 935 62 0 0 25 0 1 0 837887304 91402240 21474 4294967295 134512640 134716908 3221224576 3221223056 134543110 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22315 21474 1111 63 0 22252 0
vsize: 89260
[startup+20.002 s]
Raw data (loadavg): 0.89 0.94 0.90 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 25048 0 0 0 1927 69 0 0 25 0 1 0 837887304 101875712 24038 4294967295 134512640 134716908 3221224576 3221223056 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24872 24038 1111 63 0 24809 0
vsize: 99488
[startup+30.0021 s]
Raw data (loadavg): 0.90 0.94 0.90 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 25048 0 0 0 2927 69 0 0 25 0 1 0 837887304 101875712 24038 4294967295 134512640 134716908 3221224576 3221222940 134539296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24872 24038 1111 63 0 24809 0
vsize: 99488
[startup+40.0025 s]
Raw data (loadavg): 0.92 0.94 0.90 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 25523 0 0 0 3926 71 0 0 25 0 1 0 837887304 102219776 24122 4294967295 134512640 134716908 3221224576 3221222984 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24956 24122 1111 63 0 24893 0
vsize: 99824
[startup+50.0022 s]
Raw data (loadavg): 0.93 0.94 0.90 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 26392 0 0 0 4925 72 0 0 25 0 1 0 837887304 102219776 24122 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24956 24122 1111 63 0 24893 0
vsize: 99824
[startup+60.003 s]
Raw data (loadavg): 0.94 0.95 0.90 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 26965 0 0 0 5924 73 0 0 25 0 1 0 837887304 103145472 24348 4294967295 134512640 134716908 3221224576 3221223056 134542300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25182 24348 1111 63 0 25119 0
vsize: 100728
[startup+70.0038 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 27034 0 0 0 6924 73 0 0 25 0 1 0 837887304 103145472 24348 4294967295 134512640 134716908 3221224576 3221223304 134675309 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25182 24348 1111 63 0 25119 0
vsize: 100728
[startup+80.0036 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 27034 0 0 0 7924 73 0 0 25 0 1 0 837887304 103145472 24348 4294967295 134512640 134716908 3221224576 3221222992 134542677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25182 24348 1111 63 0 25119 0
vsize: 100728
[startup+90.0037 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 27454 0 0 0 8923 74 0 0 25 0 1 0 837887304 103145472 24348 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25182 24348 1111 63 0 25119 0
vsize: 100728
[startup+100.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 27454 0 0 0 9923 74 0 0 25 0 1 0 837887304 103145472 24348 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25182 24348 1111 63 0 25119 0
vsize: 100728
[startup+110.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 27454 0 0 0 10924 74 0 0 25 0 1 0 837887304 103145472 24348 4294967295 134512640 134716908 3221224576 3221223120 134535807 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25182 24348 1111 63 0 25119 0
vsize: 100728
[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31258 0 0 0 11916 82 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221223220 134609075 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25931 25097 1111 63 0 25868 0
vsize: 103724
[startup+130.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31258 0 0 0 12916 82 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25931 25097 1111 63 0 25868 0
vsize: 103724
[startup+140.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31564 0 0 0 13915 83 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25931 25097 1111 63 0 25868 0
vsize: 103724
[startup+150.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31564 0 0 0 14915 83 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221223056 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25931 25097 1111 63 0 25868 0
vsize: 103724
[startup+160.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31564 0 0 0 15916 83 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25931 25097 1111 63 0 25868 0
vsize: 103724
[startup+170.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31564 0 0 0 16916 83 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221222940 134539301 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25931 25097 1111 63 0 25868 0
vsize: 103724
[startup+180.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31564 0 0 0 17916 83 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25931 25097 1111 63 0 25868 0
vsize: 103724
[startup+190.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31564 0 0 0 18916 83 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221223088 134543756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25931 25097 1111 63 0 25868 0
vsize: 103724
[startup+200.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31564 0 0 0 19916 83 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221222992 134542677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25931 25097 1111 63 0 25868 0
vsize: 103724
[startup+210.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31564 0 0 0 20917 83 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25931 25097 1111 63 0 25868 0
vsize: 103724
[startup+220.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31564 0 0 0 21917 83 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221223184 134529376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25931 25097 1111 63 0 25868 0
vsize: 103724
[startup+230.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31564 0 0 0 22917 83 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25931 25097 1111 63 0 25868 0
vsize: 103724
[startup+240.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31564 0 0 0 23917 83 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25931 25097 1111 63 0 25868 0
vsize: 103724
[startup+250.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31564 0 0 0 24917 83 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25931 25097 1111 63 0 25868 0
vsize: 103724
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31564 0 0 0 25917 83 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25931 25097 1111 63 0 25868 0
vsize: 103724
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 3/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31564 0 0 0 26918 83 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221223056 134542368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25931 25097 1111 63 0 25868 0
vsize: 103724
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31564 0 0 0 27918 83 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25931 25097 1111 63 0 25868 0
vsize: 103724
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31564 0 0 0 28918 83 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25931 25097 1111 63 0 25868 0
vsize: 103724
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31564 0 0 0 29918 83 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25931 25097 1111 63 0 25868 0
vsize: 103724
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31564 0 0 0 30918 83 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221223024 134536678 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25931 25097 1111 63 0 25868 0
vsize: 103724
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31564 0 0 0 31918 83 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221222984 134543606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25931 25097 1111 63 0 25868 0
vsize: 103724
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31564 0 0 0 32918 83 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25931 25097 1111 63 0 25868 0
vsize: 103724
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31564 0 0 0 33918 83 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25931 25097 1111 63 0 25868 0
vsize: 103724
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31564 0 0 0 34919 83 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25931 25097 1111 63 0 25868 0
vsize: 103724
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31623 0 0 0 35918 84 0 0 25 0 1 0 837887304 106393600 25141 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25975 25141 1111 63 0 25912 0
vsize: 103900
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31623 0 0 0 36918 84 0 0 25 0 1 0 837887304 106393600 25141 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25975 25141 1111 63 0 25912 0
vsize: 103900
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31662 0 0 0 37918 84 0 0 25 0 1 0 837887304 106393600 25141 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25975 25141 1111 63 0 25912 0
vsize: 103900
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31662 0 0 0 38918 84 0 0 25 0 1 0 837887304 106393600 25141 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25975 25141 1111 63 0 25912 0
vsize: 103900
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31789 0 0 0 39918 85 0 0 25 0 1 0 837887304 106393600 25141 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25975 25141 1111 63 0 25912 0
vsize: 103900
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31905 0 0 0 40918 85 0 0 25 0 1 0 837887304 106393600 25141 4294967295 134512640 134716908 3221224576 3221222992 134543712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25975 25141 1111 63 0 25912 0
vsize: 103900
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 32265 0 0 0 41918 86 0 0 25 0 1 0 837887304 107905024 25501 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26344 25501 1111 63 0 26281 0
vsize: 105376
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 32265 0 0 0 42918 86 0 0 25 0 1 0 837887304 107905024 25501 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26344 25501 1111 63 0 26281 0
vsize: 105376
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 32265 0 0 0 43918 86 0 0 25 0 1 0 837887304 107905024 25501 4294967295 134512640 134716908 3221224576 3221223068 134542371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26344 25501 1111 63 0 26281 0
vsize: 105376
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 32432 0 0 0 44917 87 0 0 25 0 1 0 837887304 108007424 25535 4294967295 134512640 134716908 3221224576 3221223056 134524067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26369 25535 1111 63 0 26306 0
vsize: 105476
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 32432 0 0 0 45918 87 0 0 25 0 1 0 837887304 108007424 25535 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26369 25535 1111 63 0 26306 0
vsize: 105476
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 32432 0 0 0 46918 87 0 0 25 0 1 0 837887304 108007424 25535 4294967295 134512640 134716908 3221224576 3221223248 134627268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26369 25535 1111 63 0 26306 0
vsize: 105476
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 32432 0 0 0 47918 87 0 0 25 0 1 0 837887304 108007424 25535 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26369 25535 1111 63 0 26306 0
vsize: 105476
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 32432 0 0 0 48918 87 0 0 25 0 1 0 837887304 108007424 25535 4294967295 134512640 134716908 3221224576 3221223232 134627282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26369 25535 1111 63 0 26306 0
vsize: 105476
[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 32432 0 0 0 49918 87 0 0 25 0 1 0 837887304 108007424 25535 4294967295 134512640 134716908 3221224576 3221223228 134558618 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26369 25535 1111 63 0 26306 0
vsize: 105476
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 32432 0 0 0 50918 87 0 0 25 0 1 0 837887304 108007424 25535 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26369 25535 1111 63 0 26306 0
vsize: 105476
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 33065 0 0 0 51918 88 0 0 25 0 1 0 837887304 110596096 26168 4294967295 134512640 134716908 3221224576 3221223432 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27001 26168 1111 63 0 26938 0
vsize: 108004
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 33065 0 0 0 52918 88 0 0 25 0 1 0 837887304 110596096 26168 4294967295 134512640 134716908 3221224576 3221223432 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27001 26168 1111 63 0 26938 0
vsize: 108004
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 33065 0 0 0 53918 88 0 0 25 0 1 0 837887304 110596096 26168 4294967295 134512640 134716908 3221224576 3221223376 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27001 26168 1111 63 0 26938 0
vsize: 108004
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 33560 0 0 0 54915 91 0 0 25 0 1 0 837887304 113127424 26626 4294967295 134512640 134716908 3221224576 3221222480 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27619 26626 1111 63 0 27556 0
vsize: 110476
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 33662 0 0 0 55913 92 0 0 25 0 1 0 837887304 113553408 26728 4294967295 134512640 134716908 3221224576 3221222816 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27723 26728 1111 63 0 27660 0
vsize: 110892
[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 33706 0 0 0 56912 94 0 0 25 0 1 0 837887304 113709056 26772 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27761 26772 1111 63 0 27698 0
vsize: 111044
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 33807 0 0 0 57911 95 0 0 25 0 1 0 837887304 114020352 26855 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27837 26855 1111 63 0 27774 0
vsize: 111348
[startup+590.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 33831 0 0 0 58911 96 0 0 25 0 1 0 837887304 114110464 26879 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27859 26879 1111 63 0 27796 0
vsize: 111436
[startup+600.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 33906 0 0 0 59910 96 0 0 25 0 1 0 837887304 114417664 26954 4294967295 134512640 134716908 3221224576 3221222816 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27934 26954 1111 63 0 27871 0
vsize: 111736
[startup+610.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 33929 0 0 0 60910 97 0 0 25 0 1 0 837887304 114503680 26977 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27955 26977 1111 63 0 27892 0
vsize: 111820
[startup+620.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34021 0 0 0 61909 98 0 0 25 0 1 0 837887304 114876416 27069 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28046 27069 1111 63 0 27983 0
vsize: 112184
[startup+630.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34042 0 0 0 62909 98 0 0 25 0 1 0 837887304 114958336 27090 4294967295 134512640 134716908 3221224576 3221222464 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28066 27090 1111 63 0 28003 0
vsize: 112264
[startup+640.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34059 0 0 0 63908 100 0 0 25 0 1 0 837887304 115023872 27107 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28082 27107 1111 63 0 28019 0
vsize: 112328
[startup+650.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34077 0 0 0 64907 100 0 0 25 0 1 0 837887304 115093504 27125 4294967295 134512640 134716908 3221224576 3221222832 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28099 27125 1111 63 0 28036 0
vsize: 112396
[startup+660.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34129 0 0 0 65907 101 0 0 25 0 1 0 837887304 115302400 27177 4294967295 134512640 134716908 3221224576 3221222480 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28150 27177 1111 63 0 28087 0
vsize: 112600
[startup+670.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34146 0 0 0 66906 102 0 0 25 0 1 0 837887304 115367936 27194 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28166 27194 1111 63 0 28103 0
vsize: 112664
[startup+680.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34161 0 0 0 67905 103 0 0 25 0 1 0 837887304 115425280 27209 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28180 27209 1111 63 0 28117 0
vsize: 112720
[startup+690.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34177 0 0 0 68906 103 0 0 25 0 1 0 837887304 115486720 27225 4294967295 134512640 134716908 3221224576 3221222832 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28195 27225 1111 63 0 28132 0
vsize: 112780
[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34191 0 0 0 69905 103 0 0 25 0 1 0 837887304 115539968 27239 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28208 27239 1111 63 0 28145 0
vsize: 112832
[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34249 0 0 0 70905 104 0 0 25 0 1 0 837887304 115777536 27297 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28266 27297 1111 63 0 28203 0
vsize: 113064
[startup+720.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34263 0 0 0 71904 105 0 0 25 0 1 0 837887304 115830784 27311 4294967295 134512640 134716908 3221224576 3221222816 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28279 27311 1111 63 0 28216 0
vsize: 113116
[startup+730.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34278 0 0 0 72904 105 0 0 25 0 1 0 837887304 115888128 27326 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28293 27326 1111 63 0 28230 0
vsize: 113172
[startup+740.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34291 0 0 0 73904 106 0 0 25 0 1 0 837887304 115937280 27339 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28305 27339 1111 63 0 28242 0
vsize: 113220
[startup+750.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34303 0 0 0 74903 106 0 0 25 0 1 0 837887304 115986432 27351 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28317 27351 1111 63 0 28254 0
vsize: 113268
[startup+760.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34316 0 0 0 75903 106 0 0 25 0 1 0 837887304 116035584 27364 4294967295 134512640 134716908 3221224576 3221222832 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28329 27364 1111 63 0 28266 0
vsize: 113316
[startup+770.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34329 0 0 0 76903 107 0 0 25 0 1 0 837887304 116084736 27377 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28341 27377 1111 63 0 28278 0
vsize: 113364
[startup+780.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34339 0 0 0 77903 107 0 0 25 0 1 0 837887304 116125696 27387 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28351 27387 1111 63 0 28288 0
vsize: 113404
[startup+790.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34404 0 0 0 78902 108 0 0 25 0 1 0 837887304 116387840 27452 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28415 27452 1111 63 0 28352 0
vsize: 113660
[startup+800.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34416 0 0 0 79902 108 0 0 25 0 1 0 837887304 116432896 27464 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28426 27464 1111 63 0 28363 0
vsize: 113704
[startup+810.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34428 0 0 0 80901 109 0 0 25 0 1 0 837887304 116482048 27476 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28438 27476 1111 63 0 28375 0
vsize: 113752
[startup+820.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34439 0 0 0 81901 110 0 0 25 0 1 0 837887304 116523008 27487 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28448 27487 1111 63 0 28385 0
vsize: 113792
[startup+830.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34451 0 0 0 82901 110 0 0 25 0 1 0 837887304 116572160 27499 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28460 27499 1111 63 0 28397 0
vsize: 113840
[startup+840.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34463 0 0 0 83901 110 0 0 25 0 1 0 837887304 116617216 27511 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28471 27511 1111 63 0 28408 0
vsize: 113884
[startup+850.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34476 0 0 0 84900 111 0 0 25 0 1 0 837887304 116666368 27524 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28483 27524 1111 63 0 28420 0
vsize: 113932
[startup+860.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34488 0 0 0 85900 111 0 0 25 0 1 0 837887304 116715520 27536 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28495 27536 1111 63 0 28432 0
vsize: 113980
[startup+870.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34499 0 0 0 86900 112 0 0 25 0 1 0 837887304 116756480 27547 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28505 27547 1111 63 0 28442 0
vsize: 114020
[startup+880.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34510 0 0 0 87900 112 0 0 25 0 1 0 837887304 116801536 27558 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28516 27558 1111 63 0 28453 0
vsize: 114064
[startup+890.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34521 0 0 0 88900 112 0 0 25 0 1 0 837887304 116842496 27569 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28526 27569 1111 63 0 28463 0
vsize: 114104
[startup+900.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34688 0 0 0 89899 113 0 0 25 0 1 0 837887304 116989952 27605 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28562 27605 1111 63 0 28499 0
vsize: 114248
[startup+910.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34699 0 0 0 90899 114 0 0 25 0 1 0 837887304 117030912 27616 4294967295 134512640 134716908 3221224576 3221222832 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28572 27616 1111 63 0 28509 0
vsize: 114288
[startup+920.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34708 0 0 0 91898 114 0 0 25 0 1 0 837887304 117067776 27625 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28581 27625 1111 63 0 28518 0
vsize: 114324
[startup+930.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34720 0 0 0 92898 115 0 0 25 0 1 0 837887304 117112832 27637 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28592 27637 1111 63 0 28529 0
vsize: 114368
[startup+940.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34729 0 0 0 93898 115 0 0 25 0 1 0 837887304 117149696 27646 4294967295 134512640 134716908 3221224576 3221222784 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28601 27646 1111 63 0 28538 0
vsize: 114404
[startup+950.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34739 0 0 0 94898 116 0 0 25 0 1 0 837887304 117186560 27656 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28610 27656 1111 63 0 28547 0
vsize: 114440
[startup+960.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34749 0 0 0 95897 116 0 0 25 0 1 0 837887304 117227520 27666 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28620 27666 1111 63 0 28557 0
vsize: 114480
[startup+970.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34759 0 0 0 96897 117 0 0 25 0 1 0 837887304 117264384 27676 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28629 27676 1111 63 0 28566 0
vsize: 114516
[startup+980.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34768 0 0 0 97897 117 0 0 25 0 1 0 837887304 117301248 27685 4294967295 134512640 134716908 3221224576 3221222548 1077378713 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28638 27685 1111 63 0 28575 0
vsize: 114552
[startup+990.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34778 0 0 0 98896 118 0 0 25 0 1 0 837887304 117338112 27695 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28647 27695 1111 63 0 28584 0
vsize: 114588
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34787 0 0 0 99896 118 0 0 25 0 1 0 837887304 117374976 27704 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28656 27704 1111 63 0 28593 0
vsize: 114624
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34797 0 0 0 100896 118 0 0 25 0 1 0 837887304 117411840 27714 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28665 27714 1111 63 0 28602 0
vsize: 114660
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34806 0 0 0 101896 119 0 0 25 0 1 0 837887304 117448704 27723 4294967295 134512640 134716908 3221224576 3221222832 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28674 27723 1111 63 0 28611 0
vsize: 114696
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34815 0 0 0 102895 119 0 0 25 0 1 0 837887304 117481472 27732 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28682 27732 1111 63 0 28619 0
vsize: 114728
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34824 0 0 0 103896 119 0 0 25 0 1 0 837887304 117518336 27741 4294967295 134512640 134716908 3221224576 3221222832 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28691 27741 1111 63 0 28628 0
vsize: 114764
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34835 0 0 0 104896 120 0 0 25 0 1 0 837887304 117559296 27752 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28701 27752 1111 63 0 28638 0
vsize: 114804
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34939 0 0 0 105895 121 0 0 25 0 1 0 837887304 117985280 27856 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28805 27856 1111 63 0 28742 0
vsize: 115220
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34948 0 0 0 106894 121 0 0 25 0 1 0 837887304 118022144 27865 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28814 27865 1111 63 0 28751 0
vsize: 115256
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34960 0 0 0 107894 121 0 0 25 0 1 0 837887304 118067200 27877 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28825 27877 1111 63 0 28762 0
vsize: 115300
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34967 0 0 0 108894 122 0 0 25 0 1 0 837887304 118095872 27884 4294967295 134512640 134716908 3221224576 3221222784 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28832 27884 1111 63 0 28769 0
vsize: 115328
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34977 0 0 0 109894 122 0 0 25 0 1 0 837887304 118132736 27894 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28841 27894 1111 63 0 28778 0
vsize: 115364
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34985 0 0 0 110894 122 0 0 25 0 1 0 837887304 118165504 27902 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28849 27902 1111 63 0 28786 0
vsize: 115396
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34995 0 0 0 111894 122 0 0 25 0 1 0 837887304 118202368 27912 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28858 27912 1111 63 0 28795 0
vsize: 115432
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 35002 0 0 0 112894 123 0 0 25 0 1 0 837887304 118231040 27919 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28865 27919 1111 63 0 28802 0
vsize: 115460
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 35013 0 0 0 113894 123 0 0 25 0 1 0 837887304 118276096 27930 4294967295 134512640 134716908 3221224576 3221222768 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28876 27930 1111 63 0 28813 0
vsize: 115504
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 35023 0 0 0 114893 124 0 0 25 0 1 0 837887304 118312960 27940 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28885 27940 1111 63 0 28822 0
vsize: 115540
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 35033 0 0 0 115893 124 0 0 25 0 1 0 837887304 118353920 27950 4294967295 134512640 134716908 3221224576 3221222720 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28895 27950 1111 63 0 28832 0
vsize: 115580
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 45038 0 0 0 116873 145 0 0 25 0 1 0 837887304 157810688 33859 4294967295 134512640 134716908 3221224576 3221220552 1074950210 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38528 33859 1111 63 0 38465 0
vsize: 154112
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 45206 0 0 0 117873 145 0 0 25 0 1 0 837887304 157810688 34027 4294967295 134512640 134716908 3221224576 3221220752 1074961267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38528 34027 1111 63 0 38465 0
vsize: 154112
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 45274 0 0 0 118872 145 0 0 25 0 1 0 837887304 157810688 34095 4294967295 134512640 134716908 3221224576 3221220428 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38528 34095 1111 63 0 38465 0
vsize: 154112
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 47137 0 0 0 119869 149 0 0 25 0 1 0 837887304 161611776 35956 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39456 35956 1111 63 0 39393 0
vsize: 157824
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 7926
Raw data (stat): 7926 (bsolo_lpr-v2) Z 7925 8378 8377 0 -1 1036 47137 0 0 0 119869 156 0 0 25 0 1 0 837887304 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.1
CPU time (s): 1200.26
CPU user time (s): 1198.69
CPU system time (s): 1.56376
CPU usage (%): 100.013
Max. virtual memory (Kb): 157824
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####