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/submitted/sorensson/garden/normalized-g100x100.opb
MD5SUM	4c90dd5734f36c8061dfe5af9bc82fe7
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2980
Optimality of the best value was proved	NO
Number of terms in the objective function	10000
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	10000
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	10000
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.49
Number of variables	10000
Total number of constraints	10000
Number of constraints which are clauses	10000
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	3
Maximum length of a constraint	5
Trace number 25042

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-16 04:37:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4941 boxname=wulflinc31 idbench=381 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  4c90dd5734f36c8061dfe5af9bc82fe7  /oldhome/oroussel/tmp/wulflinc31/normalized-g100x100.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-g100x100.opb
IDLAUNCH: 4941
/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:        800892 kB
Buffers:         48544 kB
Cached:         162636 kB
SwapCached:       1932 kB
Active:         170080 kB
Inactive:        44364 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        800640 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              12 kB
Writeback:           0 kB
Mapped:           5368 kB
Slab:            13772 kB
Committed_AS:    63856 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-16 04:57:59 (client local time) WITH STATUS 0 IN 1200.18 SECONDS
stats: 4941 7 1200.18 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 10000 variables and 10000 constraints.
c After prepocess the problem consists of 10000 variables and 10000 constraints.
c preprocess terminated 6.721 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.57 0.80 0.91 2/55 9621
Raw data (stat): 9621 (runsolver) R 9620 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 758268654 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+9.99963 s]
Raw data (loadavg): 0.63 0.81 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 4328 0 0 0 984 12 0 0 25 0 1 0 758268654 21159936 4228 4294967295 134512640 134714508 3221221792 3221220064 1074153773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5166 4228 1111 63 0 5103 0
vsize: 20664
[startup+20.0005 s]
Raw data (loadavg): 0.69 0.82 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 4553 0 0 0 1983 13 0 0 25 0 1 0 758268654 21790720 4420 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5320 4420 1111 63 0 5257 0
vsize: 21280
[startup+30.0009 s]
Raw data (loadavg): 0.74 0.82 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 4585 0 0 0 2981 14 0 0 25 0 1 0 758268654 21913600 4452 4294967295 134512640 134714508 3221221792 3221219688 1077380592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5350 4452 1111 63 0 5287 0
vsize: 21400
[startup+40.0013 s]
Raw data (loadavg): 0.78 0.83 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 6395 0 0 0 3976 20 0 0 25 0 1 0 758268654 29499392 5670 4294967295 134512640 134714508 3221221792 3221217580 1074787806 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7202 5670 1111 63 0 7139 0
vsize: 28808
[startup+50.0028 s]
Raw data (loadavg): 0.81 0.83 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 6479 0 0 0 4976 20 0 0 25 0 1 0 758268654 29499392 5754 4294967295 134512640 134714508 3221221792 3221217716 1074875737 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7202 5754 1111 63 0 7139 0
vsize: 28808
[startup+60.0026 s]
Raw data (loadavg): 0.84 0.84 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 6530 0 0 0 5975 21 0 0 25 0 1 0 758268654 29499392 5805 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7202 5805 1111 63 0 7139 0
vsize: 28808
[startup+70.0031 s]
Raw data (loadavg): 0.86 0.84 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 6872 0 0 0 6975 22 0 0 25 0 1 0 758268654 28348416 5813 4294967295 134512640 134714508 3221221792 3221218256 1075088573 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6921 5813 1111 63 0 6858 0
vsize: 27684
[startup+80.0031 s]
Raw data (loadavg): 0.88 0.85 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 6976 0 0 0 7974 22 0 0 25 0 1 0 758268654 28762112 5917 4294967295 134512640 134714508 3221221792 3221217984 1074960795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7022 5917 1111 63 0 6959 0
vsize: 28088
[startup+90.0034 s]
Raw data (loadavg): 0.90 0.85 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7138 0 0 0 8974 23 0 0 25 0 1 0 758268654 29433856 6079 4294967295 134512640 134714508 3221221792 3221217568 1074868672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7186 6079 1111 63 0 7123 0
vsize: 28744
[startup+100.004 s]
Raw data (loadavg): 0.92 0.86 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7196 0 0 0 9974 23 0 0 25 0 1 0 758268654 29626368 6137 4294967295 134512640 134714508 3221221792 3221217680 1075965246 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7233 6137 1111 63 0 7170 0
vsize: 28932
[startup+110.004 s]
Raw data (loadavg): 0.93 0.86 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7197 0 0 0 10974 24 0 0 25 0 1 0 758268654 29626368 6138 4294967295 134512640 134714508 3221221792 3221217568 1074868815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7233 6138 1111 63 0 7170 0
vsize: 28932
[startup+120.005 s]
Raw data (loadavg): 0.94 0.86 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7251 0 0 0 11974 24 0 0 25 0 1 0 758268654 29827072 6192 4294967295 134512640 134714508 3221221792 3221217568 1074868686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7282 6192 1111 63 0 7219 0
vsize: 29128
[startup+130.005 s]
Raw data (loadavg): 0.95 0.87 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7257 0 0 0 12974 24 0 0 25 0 1 0 758268654 29827072 6198 4294967295 134512640 134714508 3221221792 3221217940 1075115049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7282 6198 1111 63 0 7219 0
vsize: 29128
[startup+140.005 s]
Raw data (loadavg): 0.95 0.87 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7261 0 0 0 13974 24 0 0 25 0 1 0 758268654 29827072 6202 4294967295 134512640 134714508 3221221792 3221217596 1074788921 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7282 6202 1111 63 0 7219 0
vsize: 29128
[startup+150.006 s]
Raw data (loadavg): 0.96 0.88 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7263 0 0 0 14974 24 0 0 25 0 1 0 758268654 29827072 6204 4294967295 134512640 134714508 3221221792 3221217940 1075115076 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7282 6204 1111 63 0 7219 0
vsize: 29128
[startup+160.006 s]
Raw data (loadavg): 0.97 0.88 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7268 0 0 0 15973 25 0 0 25 0 1 0 758268654 29827072 6209 4294967295 134512640 134714508 3221221792 3221217744 1074790262 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7282 6209 1111 63 0 7219 0
vsize: 29128
[startup+170.006 s]
Raw data (loadavg): 0.97 0.88 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7273 0 0 0 16973 25 0 0 25 0 1 0 758268654 29827072 6214 4294967295 134512640 134714508 3221221792 3221217940 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7282 6214 1111 63 0 7219 0
vsize: 29128
[startup+180.006 s]
Raw data (loadavg): 0.98 0.89 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7277 0 0 0 17973 26 0 0 25 0 1 0 758268654 29827072 6218 4294967295 134512640 134714508 3221221792 3221217596 1074788943 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7282 6218 1111 63 0 7219 0
vsize: 29128
[startup+190.006 s]
Raw data (loadavg): 0.98 0.89 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7331 0 0 0 18973 26 0 0 25 0 1 0 758268654 30035968 6272 4294967295 134512640 134714508 3221221792 3221217940 1075115060 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7333 6272 1111 63 0 7270 0
vsize: 29332
[startup+200.006 s]
Raw data (loadavg): 0.98 0.89 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7337 0 0 0 19972 26 0 0 25 0 1 0 758268654 30035968 6278 4294967295 134512640 134714508 3221221792 3221217776 1074881359 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7333 6278 1111 63 0 7270 0
vsize: 29332
[startup+210.007 s]
Raw data (loadavg): 0.98 0.89 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7401 0 0 0 20972 27 0 0 25 0 1 0 758268654 30253056 6342 4294967295 134512640 134714508 3221221792 3221218080 1075894562 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7386 6342 1111 63 0 7323 0
vsize: 29544
[startup+220.007 s]
Raw data (loadavg): 0.99 0.90 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7409 0 0 0 21971 27 0 0 25 0 1 0 758268654 30253056 6350 4294967295 134512640 134714508 3221221792 3221217648 1075965246 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7386 6350 1111 63 0 7323 0
vsize: 29544
[startup+230.007 s]
Raw data (loadavg): 0.99 0.90 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7409 0 0 0 22971 28 0 0 25 0 1 0 758268654 30253056 6350 4294967295 134512640 134714508 3221221792 3221217940 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7386 6350 1111 63 0 7323 0
vsize: 29544
[startup+240.008 s]
Raw data (loadavg): 0.99 0.90 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7411 0 0 0 23971 28 0 0 25 0 1 0 758268654 30253056 6352 4294967295 134512640 134714508 3221221792 3221217596 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7386 6352 1111 63 0 7323 0
vsize: 29544
[startup+250.009 s]
Raw data (loadavg): 0.99 0.91 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7412 0 0 0 24971 29 0 0 25 0 1 0 758268654 30253056 6353 4294967295 134512640 134714508 3221221792 3221217724 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7386 6353 1111 63 0 7323 0
vsize: 29544
[startup+260.009 s]
Raw data (loadavg): 0.99 0.91 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7419 0 0 0 25971 29 0 0 25 0 1 0 758268654 30253056 6360 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7386 6360 1111 63 0 7323 0
vsize: 29544
[startup+270.009 s]
Raw data (loadavg): 0.99 0.91 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7419 0 0 0 26971 29 0 0 25 0 1 0 758268654 30253056 6360 4294967295 134512640 134714508 3221221792 3221218080 1075894487 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7386 6360 1111 63 0 7323 0
vsize: 29544
[startup+280.009 s]
Raw data (loadavg): 0.99 0.91 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7438 0 0 0 27970 30 0 0 25 0 1 0 758268654 30253056 6379 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7386 6379 1111 63 0 7323 0
vsize: 29544
[startup+290.01 s]
Raw data (loadavg): 0.99 0.92 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7443 0 0 0 28970 30 0 0 25 0 1 0 758268654 30253056 6384 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7386 6384 1111 63 0 7323 0
vsize: 29544
[startup+300.01 s]
Raw data (loadavg): 0.99 0.92 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7485 0 0 0 29970 31 0 0 25 0 1 0 758268654 30253056 6426 4294967295 134512640 134714508 3221221792 3221217724 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7386 6426 1111 63 0 7323 0
vsize: 29544
[startup+310.01 s]
Raw data (loadavg): 0.99 0.92 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7495 0 0 0 30970 31 0 0 25 0 1 0 758268654 30253056 6436 4294967295 134512640 134714508 3221221792 3221217940 1075115003 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7386 6436 1111 63 0 7323 0
vsize: 29544
[startup+320.01 s]
Raw data (loadavg): 0.99 0.92 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7495 0 0 0 31969 31 0 0 25 0 1 0 758268654 30253056 6436 4294967295 134512640 134714508 3221221792 3221217588 1074786571 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7386 6436 1111 63 0 7323 0
vsize: 29544
[startup+330.01 s]
Raw data (loadavg): 0.99 0.92 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7496 0 0 0 32969 32 0 0 25 0 1 0 758268654 30253056 6437 4294967295 134512640 134714508 3221221792 3221218088 1075112606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7386 6437 1111 63 0 7323 0
vsize: 29544
[startup+340.01 s]
Raw data (loadavg): 0.99 0.93 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7525 0 0 0 33969 32 0 0 25 0 1 0 758268654 30253056 6466 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7386 6466 1111 63 0 7323 0
vsize: 29544
[startup+350.011 s]
Raw data (loadavg): 0.99 0.93 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7585 0 0 0 34969 32 0 0 25 0 1 0 758268654 30482432 6526 4294967295 134512640 134714508 3221221792 3221218152 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7442 6526 1111 63 0 7379 0
vsize: 29768
[startup+360.01 s]
Raw data (loadavg): 0.99 0.93 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7600 0 0 0 35969 32 0 0 25 0 1 0 758268654 30482432 6541 4294967295 134512640 134714508 3221221792 3221218048 1075114265 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7442 6541 1111 63 0 7379 0
vsize: 29768
[startup+370.01 s]
Raw data (loadavg): 0.99 0.93 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7609 0 0 0 36968 33 0 0 25 0 1 0 758268654 30482432 6550 4294967295 134512640 134714508 3221221792 3221218304 1074885975 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7442 6550 1111 63 0 7379 0
vsize: 29768
[startup+380.01 s]
Raw data (loadavg): 0.99 0.93 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7623 0 0 0 37968 33 0 0 25 0 1 0 758268654 30482432 6564 4294967295 134512640 134714508 3221221792 3221217648 1075965234 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7442 6564 1111 63 0 7379 0
vsize: 29768
[startup+390.011 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7623 0 0 0 38968 34 0 0 25 0 1 0 758268654 30482432 6564 4294967295 134512640 134714508 3221221792 3221217872 1075095094 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7442 6564 1111 63 0 7379 0
vsize: 29768
[startup+400.011 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7624 0 0 0 39968 34 0 0 25 0 1 0 758268654 30482432 6565 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7442 6565 1111 63 0 7379 0
vsize: 29768
[startup+410.011 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7679 0 0 0 40967 35 0 0 25 0 1 0 758268654 30724096 6620 4294967295 134512640 134714508 3221221792 3221217952 1075088563 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7501 6620 1111 63 0 7438 0
vsize: 30004
[startup+420.012 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7680 0 0 0 41967 35 0 0 25 0 1 0 758268654 30724096 6621 4294967295 134512640 134714508 3221221792 3221217544 1074789228 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7501 6621 1111 63 0 7438 0
vsize: 30004
[startup+430.012 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7680 0 0 0 42967 36 0 0 25 0 1 0 758268654 30724096 6621 4294967295 134512640 134714508 3221221792 3221217984 1074960783 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7501 6621 1111 63 0 7438 0
vsize: 30004
[startup+440.012 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7682 0 0 0 43967 36 0 0 25 0 1 0 758268654 30724096 6623 4294967295 134512640 134714508 3221221792 3221218044 1076111476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7501 6623 1111 63 0 7438 0
vsize: 30004
[startup+450.012 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7682 0 0 0 44966 36 0 0 25 0 1 0 758268654 30724096 6623 4294967295 134512640 134714508 3221221792 3221217564 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7501 6623 1111 63 0 7438 0
vsize: 30004
[startup+460.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7682 0 0 0 45966 36 0 0 25 0 1 0 758268654 30724096 6623 4294967295 134512640 134714508 3221221792 3221217576 1074787119 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7501 6623 1111 63 0 7438 0
vsize: 30004
[startup+470.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7682 0 0 0 46966 37 0 0 25 0 1 0 758268654 30724096 6623 4294967295 134512640 134714508 3221221792 3221217724 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7501 6623 1111 63 0 7438 0
vsize: 30004
[startup+480.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7682 0 0 0 47966 37 0 0 25 0 1 0 758268654 30724096 6623 4294967295 134512640 134714508 3221221792 3221217776 1074881563 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7501 6623 1111 63 0 7438 0
vsize: 30004
[startup+490.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7682 0 0 0 48966 37 0 0 25 0 1 0 758268654 30724096 6623 4294967295 134512640 134714508 3221221792 3221217596 1074788930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7501 6623 1111 63 0 7438 0
vsize: 30004
[startup+500.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7683 0 0 0 49966 38 0 0 25 0 1 0 758268654 30724096 6624 4294967295 134512640 134714508 3221221792 3221217588 1074786584 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7501 6624 1111 63 0 7438 0
vsize: 30004
[startup+510.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7683 0 0 0 50965 38 0 0 25 0 1 0 758268654 30724096 6624 4294967295 134512640 134714508 3221221792 3221217576 1074787081 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7501 6624 1111 63 0 7438 0
vsize: 30004
[startup+520.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7739 0 0 0 51965 39 0 0 25 0 1 0 758268654 30973952 6680 4294967295 134512640 134714508 3221221792 3221217872 1075093350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7562 6680 1111 63 0 7499 0
vsize: 30248
[startup+530.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7742 0 0 0 52965 39 0 0 25 0 1 0 758268654 30973952 6683 4294967295 134512640 134714508 3221221792 3221218784 1074867340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7562 6683 1111 63 0 7499 0
vsize: 30248
[startup+540.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7746 0 0 0 53965 39 0 0 25 0 1 0 758268654 30973952 6687 4294967295 134512640 134714508 3221221792 3221217776 1074881447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7562 6687 1111 63 0 7499 0
vsize: 30248
[startup+550.015 s]
Raw data (loadavg): 1.07 0.97 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7746 0 0 0 54964 40 0 0 25 0 1 0 758268654 30973952 6687 4294967295 134512640 134714508 3221221792 3221217644 1074788162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7562 6687 1111 63 0 7499 0
vsize: 30248
[startup+560.015 s]
Raw data (loadavg): 1.06 0.97 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7997 0 0 0 55963 41 0 0 25 0 1 0 758268654 32038912 6938 4294967295 134512640 134714508 3221221792 3221217984 1074960912 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7822 6938 1111 63 0 7759 0
vsize: 31288
[startup+570.016 s]
Raw data (loadavg): 1.05 0.97 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 8002 0 0 0 56963 42 0 0 25 0 1 0 758268654 32038912 6943 4294967295 134512640 134714508 3221221792 3221218136 1075110975 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7822 6943 1111 63 0 7759 0
vsize: 31288
[startup+580.016 s]
Raw data (loadavg): 1.04 0.97 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 8002 0 0 0 57963 42 0 0 25 0 1 0 758268654 32038912 6943 4294967295 134512640 134714508 3221221792 3221217576 1074787030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7822 6943 1111 63 0 7759 0
vsize: 31288
[startup+590.017 s]
Raw data (loadavg): 1.03 0.97 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 8002 0 0 0 58962 43 0 0 25 0 1 0 758268654 32038912 6943 4294967295 134512640 134714508 3221221792 3221217576 1074787095 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7822 6943 1111 63 0 7759 0
vsize: 31288
[startup+600.017 s]
Raw data (loadavg): 1.03 0.97 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 8002 0 0 0 59962 43 0 0 25 0 1 0 758268654 32038912 6943 4294967295 134512640 134714508 3221221792 3221217632 1074890841 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7822 6943 1111 63 0 7759 0
vsize: 31288
[startup+610.018 s]
Raw data (loadavg): 1.02 0.97 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 8002 0 0 0 60962 43 0 0 25 0 1 0 758268654 32038912 6943 4294967295 134512640 134714508 3221221792 3221217984 1074960868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7822 6943 1111 63 0 7759 0
vsize: 31288
[startup+620.018 s]
Raw data (loadavg): 1.02 0.97 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 8300 0 0 0 61962 44 0 0 25 0 1 0 758268654 33316864 7241 4294967295 134512640 134714508 3221221792 3221217672 1074789306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8134 7241 1111 63 0 8071 0
vsize: 32536
[startup+630.018 s]
Raw data (loadavg): 1.02 0.97 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 8301 0 0 0 62962 44 0 0 25 0 1 0 758268654 33316864 7242 4294967295 134512640 134714508 3221221792 3221217576 1074787033 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8134 7242 1111 63 0 8071 0
vsize: 32536
[startup+640.019 s]
Raw data (loadavg): 1.01 0.97 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 8306 0 0 0 63961 44 0 0 25 0 1 0 758268654 33316864 7247 4294967295 134512640 134714508 3221221792 3221217544 1074789228 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8134 7247 1111 63 0 8071 0
vsize: 32536
[startup+650.02 s]
Raw data (loadavg): 1.01 0.97 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 8309 0 0 0 64961 45 0 0 25 0 1 0 758268654 33316864 7250 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8134 7250 1111 63 0 8071 0
vsize: 32536
[startup+660.02 s]
Raw data (loadavg): 1.01 0.97 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 8309 0 0 0 65961 45 0 0 25 0 1 0 758268654 33316864 7250 4294967295 134512640 134714508 3221221792 3221217608 1074787081 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8134 7250 1111 63 0 8071 0
vsize: 32536
[startup+670.02 s]
Raw data (loadavg): 1.01 0.97 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 8674 0 0 0 66960 46 0 0 25 0 1 0 758268654 34852864 7615 4294967295 134512640 134714508 3221221792 3221217776 1074881476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8509 7615 1111 63 0 8446 0
vsize: 34036
[startup+680.02 s]
Raw data (loadavg): 1.00 0.97 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 8687 0 0 0 67960 47 0 0 25 0 1 0 758268654 34852864 7628 4294967295 134512640 134714508 3221221792 3221217576 1074787045 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8509 7628 1111 63 0 8446 0
vsize: 34036
[startup+690.021 s]
Raw data (loadavg): 1.00 0.97 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 8687 0 0 0 68960 47 0 0 25 0 1 0 758268654 34852864 7628 4294967295 134512640 134714508 3221221792 3221218152 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8509 7628 1111 63 0 8446 0
vsize: 34036
[startup+700.021 s]
Raw data (loadavg): 1.00 0.97 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 8687 0 0 0 69960 47 0 0 25 0 1 0 758268654 34852864 7628 4294967295 134512640 134714508 3221221792 3221217940 1075114975 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8509 7628 1111 63 0 8446 0
vsize: 34036
[startup+710.021 s]
Raw data (loadavg): 1.00 0.97 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 8687 0 0 0 70959 48 0 0 25 0 1 0 758268654 34852864 7628 4294967295 134512640 134714508 3221221792 3221217544 1074789225 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8509 7628 1111 63 0 8446 0
vsize: 34036
[startup+720.022 s]
Raw data (loadavg): 1.00 0.97 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 8687 0 0 0 71959 48 0 0 25 0 1 0 758268654 34852864 7628 4294967295 134512640 134714508 3221221792 3221217724 1074788939 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8509 7628 1111 63 0 8446 0
vsize: 34036
[startup+730.021 s]
Raw data (loadavg): 1.00 0.97 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 8931 0 0 0 72958 49 0 0 25 0 1 0 758268654 36691968 7872 4294967295 134512640 134714508 3221221792 3221218304 1074887937 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8958 7872 1111 63 0 8895 0
vsize: 35832
[startup+740.021 s]
Raw data (loadavg): 1.00 0.97 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 9128 0 0 0 73957 50 0 0 25 0 1 0 758268654 36691968 8069 4294967295 134512640 134714508 3221221792 3221217544 1074789196 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8958 8069 1111 63 0 8895 0
vsize: 35832
[startup+750.022 s]
Raw data (loadavg): 1.00 0.97 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 9634 0 0 0 74955 52 0 0 25 0 1 0 758268654 38899712 8575 4294967295 134512640 134714508 3221221792 3221217576 1074787033 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9497 8575 1111 63 0 9434 0
vsize: 37988
[startup+760.022 s]
Raw data (loadavg): 1.00 0.97 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 9663 0 0 0 75955 53 0 0 25 0 1 0 758268654 38899712 8604 4294967295 134512640 134714508 3221221792 3221217984 1074960868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9497 8604 1111 63 0 9434 0
vsize: 37988
[startup+770.023 s]
Raw data (loadavg): 1.00 0.97 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 9663 0 0 0 76955 53 0 0 25 0 1 0 758268654 38899712 8604 4294967295 134512640 134714508 3221221792 3221218088 1075112600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9497 8604 1111 63 0 9434 0
vsize: 37988
[startup+780.022 s]
Raw data (loadavg): 1.00 0.97 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 9663 0 0 0 77954 54 0 0 25 0 1 0 758268654 38899712 8604 4294967295 134512640 134714508 3221221792 3221218244 1074260601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9497 8604 1111 63 0 9434 0
vsize: 37988
[startup+790.023 s]
Raw data (loadavg): 1.00 0.97 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 9666 0 0 0 78954 54 0 0 25 0 1 0 758268654 38899712 8607 4294967295 134512640 134714508 3221221792 3221217568 1074868691 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9497 8607 1111 63 0 9434 0
vsize: 37988
[startup+800.023 s]
Raw data (loadavg): 1.00 0.97 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 9666 0 0 0 79954 54 0 0 25 0 1 0 758268654 38899712 8607 4294967295 134512640 134714508 3221221792 3221217940 1075115060 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9497 8607 1111 63 0 9434 0
vsize: 37988
[startup+810.023 s]
Raw data (loadavg): 1.00 0.97 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 9666 0 0 0 80954 54 0 0 25 0 1 0 758268654 38899712 8607 4294967295 134512640 134714508 3221221792 3221218776 1075007302 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9497 8607 1111 63 0 9434 0
vsize: 37988
[startup+820.024 s]
Raw data (loadavg): 1.00 0.97 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 10183 0 0 0 81953 55 0 0 25 0 1 0 758268654 41541632 9124 4294967295 134512640 134714508 3221221792 3221217616 1074786849 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10142 9124 1111 63 0 10079 0
vsize: 40568
[startup+830.024 s]
Raw data (loadavg): 1.00 0.97 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 10231 0 0 0 82953 55 0 0 25 0 1 0 758268654 41541632 9172 4294967295 134512640 134714508 3221221792 3221217608 1074787042 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10142 9172 1111 63 0 10079 0
vsize: 40568
[startup+840.025 s]
Raw data (loadavg): 1.00 0.97 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 10266 0 0 0 83953 56 0 0 25 0 1 0 758268654 41541632 9207 4294967295 134512640 134714508 3221221792 3221217544 1074789222 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10142 9207 1111 63 0 10079 0
vsize: 40568
[startup+850.025 s]
Raw data (loadavg): 1.00 0.97 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 10297 0 0 0 84953 56 0 0 25 0 1 0 758268654 41541632 9238 4294967295 134512640 134714508 3221221792 3221217924 1075117753 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10142 9238 1111 63 0 10079 0
vsize: 40568
[startup+860.025 s]
Raw data (loadavg): 1.00 0.97 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 10297 0 0 0 85953 56 0 0 25 0 1 0 758268654 41541632 9238 4294967295 134512640 134714508 3221221792 3221217608 1074787033 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10142 9238 1111 63 0 10079 0
vsize: 40568
[startup+870.025 s]
Raw data (loadavg): 1.00 0.97 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 10301 0 0 0 86953 56 0 0 25 0 1 0 758268654 41541632 9242 4294967295 134512640 134714508 3221221792 3221217952 1075088563 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10142 9242 1111 63 0 10079 0
vsize: 40568
[startup+880.025 s]
Raw data (loadavg): 1.00 0.97 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 10301 0 0 0 87953 56 0 0 25 0 1 0 758268654 41541632 9242 4294967295 134512640 134714508 3221221792 3221217596 1074788921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10142 9242 1111 63 0 10079 0
vsize: 40568
[startup+890.026 s]
Raw data (loadavg): 1.00 0.97 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 10301 0 0 0 88954 56 0 0 25 0 1 0 758268654 41541632 9242 4294967295 134512640 134714508 3221221792 3221218044 1076111483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10142 9242 1111 63 0 10079 0
vsize: 40568
[startup+900.025 s]
Raw data (loadavg): 1.00 0.97 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 10307 0 0 0 89954 56 0 0 25 0 1 0 758268654 41541632 9248 4294967295 134512640 134714508 3221221792 3221217872 1075095098 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10142 9248 1111 63 0 10079 0
vsize: 40568
[startup+910.025 s]
Raw data (loadavg): 1.00 0.97 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 10307 0 0 0 90954 56 0 0 25 0 1 0 758268654 41541632 9248 4294967295 134512640 134714508 3221221792 3221218048 1075114268 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10142 9248 1111 63 0 10079 0
vsize: 40568
[startup+920.025 s]
Raw data (loadavg): 1.00 0.97 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 10307 0 0 0 91954 56 0 0 25 0 1 0 758268654 41541632 9248 4294967295 134512640 134714508 3221221792 3221217724 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10142 9248 1111 63 0 10079 0
vsize: 40568
[startup+930.025 s]
Raw data (loadavg): 1.08 0.99 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 10314 0 0 0 92954 56 0 0 25 0 1 0 758268654 41541632 9255 4294967295 134512640 134714508 3221221792 3221217544 1074789193 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10142 9255 1111 63 0 10079 0
vsize: 40568
[startup+940.026 s]
Raw data (loadavg): 1.07 0.99 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 11037 0 0 0 93953 57 0 0 25 0 1 0 758268654 44720128 9978 4294967295 134512640 134714508 3221221792 3221217576 1074787036 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10918 9978 1111 63 0 10855 0
vsize: 43672
[startup+950.026 s]
Raw data (loadavg): 1.06 0.99 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 11774 0 0 0 94951 59 0 0 25 0 1 0 758268654 48537600 10715 4294967295 134512640 134714508 3221221792 3221217812 1075964282 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11850 10715 1111 63 0 11787 0
vsize: 47400
[startup+960.026 s]
Raw data (loadavg): 1.05 0.99 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 11811 0 0 0 95951 59 0 0 25 0 1 0 758268654 48537600 10752 4294967295 134512640 134714508 3221221792 3221217984 1074960771 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11850 10752 1111 63 0 11787 0
vsize: 47400
[startup+970.026 s]
Raw data (loadavg): 1.04 0.99 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 11811 0 0 0 96952 59 0 0 25 0 1 0 758268654 48537600 10752 4294967295 134512640 134714508 3221221792 3221217924 1075117538 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11850 10752 1111 63 0 11787 0
vsize: 47400
[startup+980.026 s]
Raw data (loadavg): 1.03 0.99 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 11811 0 0 0 97952 59 0 0 25 0 1 0 758268654 48537600 10752 4294967295 134512640 134714508 3221221792 3221217924 1075117507 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11850 10752 1111 63 0 11787 0
vsize: 47400
[startup+990.027 s]
Raw data (loadavg): 1.03 0.99 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 11811 0 0 0 98952 59 0 0 25 0 1 0 758268654 48537600 10752 4294967295 134512640 134714508 3221221792 3221217632 1074890046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11850 10752 1111 63 0 11787 0
vsize: 47400
[startup+1000.03 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 11820 0 0 0 99952 59 0 0 25 0 1 0 758268654 48537600 10761 4294967295 134512640 134714508 3221221792 3221217940 1075115003 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11850 10761 1111 63 0 11787 0
vsize: 47400
[startup+1010.03 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 11820 0 0 0 100952 59 0 0 25 0 1 0 758268654 48537600 10761 4294967295 134512640 134714508 3221221792 3221217724 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11850 10761 1111 63 0 11787 0
vsize: 47400
[startup+1020.03 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 11832 0 0 0 101952 59 0 0 25 0 1 0 758268654 48537600 10773 4294967295 134512640 134714508 3221221792 3221217576 1074787018 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11850 10773 1111 63 0 11787 0
vsize: 47400
[startup+1030.03 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 11832 0 0 0 102953 59 0 0 25 0 1 0 758268654 48537600 10773 4294967295 134512640 134714508 3221221792 3221217576 1074787095 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11850 10773 1111 63 0 11787 0
vsize: 47400
[startup+1040.03 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 11835 0 0 0 103953 59 0 0 25 0 1 0 758268654 48537600 10776 4294967295 134512640 134714508 3221221792 3221218304 1074885889 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11850 10776 1111 63 0 11787 0
vsize: 47400
[startup+1050.03 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 11835 0 0 0 104953 59 0 0 25 0 1 0 758268654 48537600 10776 4294967295 134512640 134714508 3221221792 3221217940 1075115046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11850 10776 1111 63 0 11787 0
vsize: 47400
[startup+1060.03 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 11887 0 0 0 105953 59 0 0 25 0 1 0 758268654 48537600 10828 4294967295 134512640 134714508 3221221792 3221217576 1074787081 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11850 10828 1111 63 0 11787 0
vsize: 47400
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 11903 0 0 0 106953 60 0 0 25 0 1 0 758268654 48537600 10844 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11850 10844 1111 63 0 11787 0
vsize: 47400
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 11903 0 0 0 107953 60 0 0 25 0 1 0 758268654 48537600 10844 4294967295 134512640 134714508 3221221792 3221217984 1074960868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11850 10844 1111 63 0 11787 0
vsize: 47400
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 11903 0 0 0 108953 60 0 0 25 0 1 0 758268654 48537600 10844 4294967295 134512640 134714508 3221221792 3221217724 1074788964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11850 10844 1111 63 0 11787 0
vsize: 47400
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 12725 0 0 0 109951 62 0 0 25 0 1 0 758268654 53121024 11666 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12969 11666 1111 63 0 12906 0
vsize: 51876
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 12805 0 0 0 110951 63 0 0 25 0 1 0 758268654 53121024 11746 4294967295 134512640 134714508 3221221792 3221218048 1075114265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12969 11746 1111 63 0 12906 0
vsize: 51876
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 12832 0 0 0 111951 63 0 0 25 0 1 0 758268654 53121024 11773 4294967295 134512640 134714508 3221221792 3221217608 1074787033 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12969 11773 1111 63 0 12906 0
vsize: 51876
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 12906 0 0 0 112951 63 0 0 25 0 1 0 758268654 53121024 11847 4294967295 134512640 134714508 3221221792 3221217924 1075117370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12969 11847 1111 63 0 12906 0
vsize: 51876
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 12920 0 0 0 113951 63 0 0 25 0 1 0 758268654 53121024 11861 4294967295 134512640 134714508 3221221792 3221218088 1075112606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12969 11861 1111 63 0 12906 0
vsize: 51876
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 12920 0 0 0 114951 63 0 0 25 0 1 0 758268654 53121024 11861 4294967295 134512640 134714508 3221221792 3221217648 1075965307 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12969 11861 1111 63 0 12906 0
vsize: 51876
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 12920 0 0 0 115951 63 0 0 25 0 1 0 758268654 53121024 11861 4294967295 134512640 134714508 3221221792 3221218712 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12969 11861 1111 63 0 12906 0
vsize: 51876
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 12920 0 0 0 116951 63 0 0 25 0 1 0 758268654 53121024 11861 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12969 11861 1111 63 0 12906 0
vsize: 51876
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 12920 0 0 0 117951 63 0 0 25 0 1 0 758268654 53121024 11861 4294967295 134512640 134714508 3221221792 3221218176 1075602720 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12969 11861 1111 63 0 12906 0
vsize: 51876
[startup+1190.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 12920 0 0 0 118952 63 0 0 25 0 1 0 758268654 53121024 11861 4294967295 134512640 134714508 3221221792 3221217632 1074890858 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12969 11861 1111 63 0 12906 0
vsize: 51876
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9621
Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 12920 0 0 0 119952 63 0 0 25 0 1 0 758268654 53121024 11861 4294967295 134512640 134714508 3221221792 3221217872 1075095157 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12969 11861 1111 63 0 12906 0
vsize: 51876
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 1.00 0.99 0.92 1/55 9621
Raw data (stat): 9621 (bsolo_lpr) Z 9620 7876 7672 0 -1 1036 12920 0 0 0 119952 66 0 0 25 0 1 0 758268654 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.06
CPU time (s): 1200.18
CPU user time (s): 1199.52
CPU system time (s): 0.660899
CPU usage (%): 100.011
Max. virtual memory (Kb): 51876
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####