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-2.opb
MD5SUM	fe7ff8b16c276b409b25a87eed31b6f9
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	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.09
Number of variables	1150
Total number of constraints	80851
Number of constraints which are clauses	80851
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 24812

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-13 09:08:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3007 boxname=wulflinc31 idbench=335 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  fe7ff8b16c276b409b25a87eed31b6f9  /oldhome/oroussel/tmp/wulflinc31/normalized-frb50-23-2.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-frb50-23-2.opb
IDLAUNCH: 3007
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        868216 kB
Buffers:         36428 kB
Cached:         108108 kB
SwapCached:       1936 kB
Active:         109644 kB
Inactive:        38116 kB
HighTotal:      131008 kB
HighFree:        22008 kB
LowTotal:       903652 kB
LowFree:        846208 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:            1744 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            13152 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-13 09:28:18 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 3007 7 1200.28 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1150 variables and 80851 constraints.
c After prepocess the problem consists of 1150 variables and 55727 constraints.
c preprocess terminated 570.745 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
Raw data (loadavg): 0.93 0.97 0.91 2/55 16251
Raw data (stat): 16251 (runsolver) R 16250 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 733967768 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0006 s]
Raw data (loadavg): 0.94 0.97 0.91 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 24581 0 0 0 935 61 0 0 25 0 1 0 733967768 103878656 24500 4294967295 134512640 134714508 3221221792 3221220368 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25361 24500 1111 63 0 25298 0
vsize: 101444
[startup+20.0015 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30088 0 0 0 1924 71 0 0 25 0 1 0 733967768 126095360 29925 4294967295 134512640 134714508 3221221792 3221220356 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30785 29925 1111 63 0 30722 0
vsize: 123140
[startup+30.0023 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 2923 72 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220184 1077378310 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+40.0033 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 3923 72 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220272 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+50.0042 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 4923 73 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+60.0051 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 5923 73 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220256 134542297 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+70.0051 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 6923 74 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220300 134542288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+80.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 7922 74 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+90.0066 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 8922 75 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+100.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 9922 75 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220544 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+110.008 s]
Raw data (loadavg): 1.14 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 10922 76 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+120.009 s]
Raw data (loadavg): 1.12 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 11922 76 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220272 134539471 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+130.01 s]
Raw data (loadavg): 1.10 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 12922 76 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220200 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+140.011 s]
Raw data (loadavg): 1.08 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 13922 76 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220420 1076647544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+150.011 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 14921 77 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220272 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+160.011 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 15921 77 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+170.011 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 16921 78 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220320 134542848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+180.012 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 17921 78 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+190.013 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 18921 78 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+200.013 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 19920 79 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220176 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+210.014 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 20920 79 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220408 134543804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+220.014 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 21920 80 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+230.015 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 22920 80 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220304 134543740 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+240.016 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 23920 80 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+250.016 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 24920 80 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220200 134543652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+260.017 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 25920 80 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+270.017 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 26920 80 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220176 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+280.018 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 27921 80 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220208 134543686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+290.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 28921 80 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220272 134536635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+300.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 29921 80 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+310.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 30921 80 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+320.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 31921 80 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+330.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 32922 80 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220176 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+340.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 33922 80 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220272 134536736 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+350.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 34922 80 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220384 134524417 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+360.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 35922 80 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220272 134539362 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+370.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 36922 80 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+380.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 37923 80 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220224 134543674 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+390.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 38923 80 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+400.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 39923 80 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220272 134539427 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+410.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 40923 80 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220156 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+420.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 41923 80 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220272 134542297 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+430.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 42924 80 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220300 134543615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+440.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 43924 80 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220176 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+450.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 44924 80 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220368 134535821 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+460.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 45924 80 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220256 134542368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+470.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 46924 80 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+480.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 47925 80 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220452 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+490.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 48925 80 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220452 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+500.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 49925 80 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+510.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 50925 80 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220452 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+520.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 51925 80 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+530.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30242 0 0 0 52925 80 0 0 25 0 1 0 733967768 126636032 30079 4294967295 134512640 134714508 3221221792 3221220440 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30079 1111 63 0 30854 0
vsize: 123668
[startup+540.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30243 0 0 0 53926 80 0 0 25 0 1 0 733967768 126636032 30080 4294967295 134512640 134714508 3221221792 3221220592 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30080 1111 63 0 30854 0
vsize: 123668
[startup+550.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30243 0 0 0 54926 81 0 0 25 0 1 0 733967768 126636032 30080 4294967295 134512640 134714508 3221221792 3221220656 134622422 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30080 1111 63 0 30854 0
vsize: 123668
[startup+560.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30243 0 0 0 55926 81 0 0 25 0 1 0 733967768 126636032 30080 4294967295 134512640 134714508 3221221792 3221220568 134543144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30080 1111 63 0 30854 0
vsize: 123668
[startup+570.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30243 0 0 0 56926 81 0 0 25 0 1 0 733967768 126636032 30080 4294967295 134512640 134714508 3221221792 3221220648 134542412 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30080 1111 63 0 30854 0
vsize: 123668
[startup+580.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30265 0 0 0 57926 81 0 0 25 0 1 0 733967768 126636032 30102 4294967295 134512640 134714508 3221221792 3221220064 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30102 1111 63 0 30854 0
vsize: 123668
[startup+590.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30265 0 0 0 58926 81 0 0 25 0 1 0 733967768 126636032 30102 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30102 1111 63 0 30854 0
vsize: 123668
[startup+600.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30265 0 0 0 59926 81 0 0 25 0 1 0 733967768 126636032 30102 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30102 1111 63 0 30854 0
vsize: 123668
[startup+610.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30265 0 0 0 60927 81 0 0 25 0 1 0 733967768 126636032 30102 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30102 1111 63 0 30854 0
vsize: 123668
[startup+620.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30265 0 0 0 61927 81 0 0 25 0 1 0 733967768 126636032 30102 4294967295 134512640 134714508 3221221792 3221220064 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30102 1111 63 0 30854 0
vsize: 123668
[startup+630.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30265 0 0 0 62927 81 0 0 25 0 1 0 733967768 126636032 30102 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30102 1111 63 0 30854 0
vsize: 123668
[startup+640.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30265 0 0 0 63927 81 0 0 25 0 1 0 733967768 126636032 30102 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30102 1111 63 0 30854 0
vsize: 123668
[startup+650.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30265 0 0 0 64927 81 0 0 25 0 1 0 733967768 126636032 30102 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30102 1111 63 0 30854 0
vsize: 123668
[startup+660.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30265 0 0 0 65928 81 0 0 25 0 1 0 733967768 126636032 30102 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30102 1111 63 0 30854 0
vsize: 123668
[startup+670.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30265 0 0 0 66928 81 0 0 25 0 1 0 733967768 126636032 30102 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30102 1111 63 0 30854 0
vsize: 123668
[startup+680.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30265 0 0 0 67928 81 0 0 25 0 1 0 733967768 126636032 30102 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30102 1111 63 0 30854 0
vsize: 123668
[startup+690.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30265 0 0 0 68928 81 0 0 25 0 1 0 733967768 126636032 30102 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30102 1111 63 0 30854 0
vsize: 123668
[startup+700.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30265 0 0 0 69928 81 0 0 25 0 1 0 733967768 126636032 30102 4294967295 134512640 134714508 3221221792 3221220016 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30102 1111 63 0 30854 0
vsize: 123668
[startup+710.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30265 0 0 0 70929 81 0 0 25 0 1 0 733967768 126636032 30102 4294967295 134512640 134714508 3221221792 3221220064 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30917 30102 1111 63 0 30854 0
vsize: 123668
[startup+720.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30555 0 0 0 71928 82 0 0 25 0 1 0 733967768 127819776 30392 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31206 30392 1111 63 0 31143 0
vsize: 124824
[startup+730.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30565 0 0 0 72927 83 0 0 25 0 1 0 733967768 127860736 30402 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31216 30402 1111 63 0 31153 0
vsize: 124864
[startup+740.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30573 0 0 0 73927 83 0 0 25 0 1 0 733967768 127893504 30410 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31224 30410 1111 63 0 31161 0
vsize: 124896
[startup+750.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30581 0 0 0 74927 84 0 0 25 0 1 0 733967768 127926272 30418 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31232 30418 1111 63 0 31169 0
vsize: 124928
[startup+760.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30589 0 0 0 75927 84 0 0 25 0 1 0 733967768 127959040 30426 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31240 30426 1111 63 0 31177 0
vsize: 124960
[startup+770.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30597 0 0 0 76926 85 0 0 25 0 1 0 733967768 127991808 30434 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31248 30434 1111 63 0 31185 0
vsize: 124992
[startup+780.046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30605 0 0 0 77926 85 0 0 25 0 1 0 733967768 128024576 30442 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31256 30442 1111 63 0 31193 0
vsize: 125024
[startup+790.046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30613 0 0 0 78926 85 0 0 25 0 1 0 733967768 128057344 30450 4294967295 134512640 134714508 3221221792 3221220048 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31264 30450 1111 63 0 31201 0
vsize: 125056
[startup+800.046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30620 0 0 0 79926 86 0 0 25 0 1 0 733967768 128086016 30457 4294967295 134512640 134714508 3221221792 3221220064 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31271 30457 1111 63 0 31208 0
vsize: 125084
[startup+810.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30627 0 0 0 80926 86 0 0 25 0 1 0 733967768 128114688 30464 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31278 30464 1111 63 0 31215 0
vsize: 125112
[startup+820.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30634 0 0 0 81925 87 0 0 25 0 1 0 733967768 128143360 30471 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31285 30471 1111 63 0 31222 0
vsize: 125140
[startup+830.049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30641 0 0 0 82925 87 0 0 25 0 1 0 733967768 128172032 30478 4294967295 134512640 134714508 3221221792 3221220016 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31292 30478 1111 63 0 31229 0
vsize: 125168
[startup+840.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30648 0 0 0 83925 88 0 0 25 0 1 0 733967768 128200704 30485 4294967295 134512640 134714508 3221221792 3221220048 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31299 30485 1111 63 0 31236 0
vsize: 125196
[startup+850.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30655 0 0 0 84924 88 0 0 25 0 1 0 733967768 128229376 30492 4294967295 134512640 134714508 3221221792 3221220048 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31306 30492 1111 63 0 31243 0
vsize: 125224
[startup+860.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30662 0 0 0 85924 89 0 0 25 0 1 0 733967768 128258048 30499 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31313 30499 1111 63 0 31250 0
vsize: 125252
[startup+870.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30670 0 0 0 86924 89 0 0 25 0 1 0 733967768 128290816 30507 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31321 30507 1111 63 0 31258 0
vsize: 125284
[startup+880.052 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30676 0 0 0 87924 90 0 0 25 0 1 0 733967768 128315392 30513 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31327 30513 1111 63 0 31264 0
vsize: 125308
[startup+890.053 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30684 0 0 0 88923 90 0 0 25 0 1 0 733967768 128348160 30521 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31335 30521 1111 63 0 31272 0
vsize: 125340
[startup+900.052 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30690 0 0 0 89923 90 0 0 25 0 1 0 733967768 128372736 30527 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31341 30527 1111 63 0 31278 0
vsize: 125364
[startup+910.053 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30696 0 0 0 90923 91 0 0 25 0 1 0 733967768 128397312 30533 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31347 30533 1111 63 0 31284 0
vsize: 125388
[startup+920.054 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30703 0 0 0 91923 91 0 0 25 0 1 0 733967768 128425984 30540 4294967295 134512640 134714508 3221221792 3221220096 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31354 30540 1111 63 0 31291 0
vsize: 125416
[startup+930.055 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30709 0 0 0 92923 91 0 0 25 0 1 0 733967768 128450560 30546 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31360 30546 1111 63 0 31297 0
vsize: 125440
[startup+940.056 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30714 0 0 0 93923 91 0 0 25 0 1 0 733967768 128471040 30551 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31365 30551 1111 63 0 31302 0
vsize: 125460
[startup+950.057 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30720 0 0 0 94923 91 0 0 25 0 1 0 733967768 128495616 30557 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31371 30557 1111 63 0 31308 0
vsize: 125484
[startup+960.058 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30726 0 0 0 95924 92 0 0 25 0 1 0 733967768 128520192 30563 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31377 30563 1111 63 0 31314 0
vsize: 125508
[startup+970.058 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30732 0 0 0 96924 92 0 0 25 0 1 0 733967768 128544768 30569 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31383 30569 1111 63 0 31320 0
vsize: 125532
[startup+980.059 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30739 0 0 0 97924 92 0 0 25 0 1 0 733967768 128573440 30576 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31390 30576 1111 63 0 31327 0
vsize: 125560
[startup+990.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30745 0 0 0 98924 92 0 0 25 0 1 0 733967768 128598016 30582 4294967295 134512640 134714508 3221221792 3221220048 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31396 30582 1111 63 0 31333 0
vsize: 125584
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30751 0 0 0 99924 92 0 0 25 0 1 0 733967768 128622592 30588 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31402 30588 1111 63 0 31339 0
vsize: 125608
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30758 0 0 0 100924 92 0 0 25 0 1 0 733967768 128651264 30595 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31409 30595 1111 63 0 31346 0
vsize: 125636
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30764 0 0 0 101924 92 0 0 25 0 1 0 733967768 128675840 30601 4294967295 134512640 134714508 3221221792 3221220048 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31415 30601 1111 63 0 31352 0
vsize: 125660
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30769 0 0 0 102924 92 0 0 25 0 1 0 733967768 128696320 30606 4294967295 134512640 134714508 3221221792 3221220064 1074153773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31420 30606 1111 63 0 31357 0
vsize: 125680
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30775 0 0 0 103925 93 0 0 25 0 1 0 733967768 128720896 30612 4294967295 134512640 134714508 3221221792 3221220016 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31426 30612 1111 63 0 31363 0
vsize: 125704
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30781 0 0 0 104925 93 0 0 25 0 1 0 733967768 128745472 30618 4294967295 134512640 134714508 3221221792 3221220064 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31432 30618 1111 63 0 31369 0
vsize: 125728
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30787 0 0 0 105925 93 0 0 25 0 1 0 733967768 128770048 30624 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31438 30624 1111 63 0 31375 0
vsize: 125752
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 30792 0 0 0 106925 93 0 0 25 0 1 0 733967768 128790528 30629 4294967295 134512640 134714508 3221221792 3221220016 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31443 30629 1111 63 0 31380 0
vsize: 125772
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 31063 0 0 0 107924 94 0 0 25 0 1 0 733967768 129900544 30900 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31714 30900 1111 63 0 31651 0
vsize: 126856
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 31072 0 0 0 108924 94 0 0 25 0 1 0 733967768 129937408 30909 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31723 30909 1111 63 0 31660 0
vsize: 126892
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 31081 0 0 0 109924 94 0 0 25 0 1 0 733967768 129974272 30918 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31732 30918 1111 63 0 31669 0
vsize: 126928
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 31088 0 0 0 110925 94 0 0 25 0 1 0 733967768 130002944 30925 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31739 30925 1111 63 0 31676 0
vsize: 126956
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 31096 0 0 0 111925 95 0 0 25 0 1 0 733967768 130035712 30933 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31747 30933 1111 63 0 31684 0
vsize: 126988
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 31103 0 0 0 112925 95 0 0 25 0 1 0 733967768 130064384 30940 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31754 30940 1111 63 0 31691 0
vsize: 127016
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 31112 0 0 0 113924 95 0 0 25 0 1 0 733967768 130101248 30949 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31763 30949 1111 63 0 31700 0
vsize: 127052
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 31120 0 0 0 114924 96 0 0 25 0 1 0 733967768 130134016 30957 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31771 30957 1111 63 0 31708 0
vsize: 127084
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 31127 0 0 0 115924 96 0 0 25 0 1 0 733967768 130162688 30964 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31778 30964 1111 63 0 31715 0
vsize: 127112
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 31135 0 0 0 116924 96 0 0 25 0 1 0 733967768 130195456 30972 4294967295 134512640 134714508 3221221792 3221220048 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31786 30972 1111 63 0 31723 0
vsize: 127144
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 31142 0 0 0 117924 96 0 0 25 0 1 0 733967768 130224128 30979 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31793 30979 1111 63 0 31730 0
vsize: 127172
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 31148 0 0 0 118924 97 0 0 25 0 1 0 733967768 130248704 30985 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31799 30985 1111 63 0 31736 0
vsize: 127196
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16251
Raw data (stat): 16251 (bsolo_lpr) R 16250 7876 7672 0 -1 0 31157 0 0 0 119923 97 0 0 25 0 1 0 733967768 130285568 30994 4294967295 134512640 134714508 3221221792 3221220048 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31808 30994 1111 63 0 31745 0
vsize: 127232
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.14 s]
Raw data (loadavg): 1.00 1.00 0.92 1/55 16251
Raw data (stat): 16251 (bsolo_lpr) Z 16250 7876 7672 0 -1 1036 31157 0 0 0 119923 103 0 0 25 0 1 0 733967768 0 0 4294967295 0 0 0 0 0 0 0 1 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.14
CPU time (s): 1200.28
CPU user time (s): 1199.24
CPU system time (s): 1.03684
CPU usage (%): 100.012
Max. virtual memory (Kb): 127232
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####