PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-czprob.opb
MD5SUM	8225997c3fd9c39c0ae1e7fa3d3e4160
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	98250
Biggest coefficient in the objective function	16496969383936000
Number of bits for the biggest coefficient in the objective function	54
Sum of the numbers in the objective function	33458351340667289600
Number of bits of the sum of numbers in the objective function	65
Biggest number in a constraint	16496969383936000
Number of bits of the biggest number in a constraint	54
Biggest sum of numbers in a constraint	33458351340667289600
Number of bits of the biggest sum of numbers	65
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.886864
Number of variables	98820
Total number of constraints	927
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	927
Minimum length of a constraint	30
Maximum length of a constraint	11190
Trace number 26849

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-05-24 17:12:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=10648 boxname=wulflinc10 idbench=820 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  8225997c3fd9c39c0ae1e7fa3d3e4160  /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-czprob.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-czprob.opb
IDLAUNCH: 10648
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        785124 kB
Buffers:         34700 kB
Cached:         193284 kB
SwapCached:        224 kB
Active:          84464 kB
Inactive:       146320 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        784844 kB
SwapTotal:     2097136 kB
SwapFree:      2096792 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6568 kB
Slab:            13132 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 17:32:34 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 10648 7 1200.28 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.96 0.95 0.91 2/54 19072
Raw data (stat): 19072 (runsolver) R 19071 15547 15546 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773735945 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99989 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 1331 0 0 0 993 5 0 0 25 0 1 0 773735945 15364096 1255 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 1255 1111 63 0 3688 0
vsize: 15004
[startup+20.0003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 1391 0 0 0 1993 5 0 0 25 0 1 0 773735945 15667200 1315 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3825 1315 1111 63 0 3762 0
vsize: 15300
[startup+29.9995 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 1465 0 0 0 2993 5 0 0 25 0 1 0 773735945 15949824 1389 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3894 1389 1111 63 0 3831 0
vsize: 15576
[startup+40.0004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 1525 0 0 0 3993 5 0 0 25 0 1 0 773735945 16240640 1449 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3965 1449 1111 63 0 3902 0
vsize: 15860
[startup+50.0009 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 1598 0 0 0 4993 6 0 0 25 0 1 0 773735945 16543744 1522 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4039 1522 1111 63 0 3976 0
vsize: 16156
[startup+60.0006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 1665 0 0 0 5993 6 0 0 25 0 1 0 773735945 16695296 1589 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4076 1589 1111 63 0 4013 0
vsize: 16304
[startup+70.0012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 1731 0 0 0 6992 6 0 0 25 0 1 0 773735945 17002496 1655 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4151 1655 1111 63 0 4088 0
vsize: 16604
[startup+80.0016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 1794 0 0 0 7992 6 0 0 25 0 1 0 773735945 17285120 1718 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4220 1718 1111 63 0 4157 0
vsize: 16880
[startup+90.0019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 1866 0 0 0 8992 6 0 0 25 0 1 0 773735945 17584128 1790 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4293 1790 1111 63 0 4230 0
vsize: 17172
[startup+100.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 1928 0 0 0 9992 7 0 0 25 0 1 0 773735945 17862656 1852 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4361 1852 1111 63 0 4298 0
vsize: 17444
[startup+110.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 2000 0 0 0 10992 7 0 0 25 0 1 0 773735945 18165760 1924 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4435 1924 1111 63 0 4372 0
vsize: 17740
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 2059 0 0 0 11992 7 0 0 25 0 1 0 773735945 18313216 1983 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4471 1983 1111 63 0 4408 0
vsize: 17884
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 2133 0 0 0 12992 7 0 0 25 0 1 0 773735945 18612224 2057 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4544 2057 1111 63 0 4481 0
vsize: 18176
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 2200 0 0 0 13992 7 0 0 25 0 1 0 773735945 18890752 2124 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4612 2124 1111 63 0 4549 0
vsize: 18448
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 2271 0 0 0 14993 7 0 0 25 0 1 0 773735945 19189760 2195 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4685 2195 1111 63 0 4622 0
vsize: 18740
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 2338 0 0 0 15992 8 0 0 25 0 1 0 773735945 19484672 2262 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4757 2262 1111 63 0 4694 0
vsize: 19028
[startup+170.005 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 2404 0 0 0 16993 8 0 0 25 0 1 0 773735945 19787776 2328 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4831 2328 1111 63 0 4768 0
vsize: 19324
[startup+180.014 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 2477 0 0 0 17994 8 0 0 25 0 1 0 773735945 20090880 2401 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4905 2401 1111 63 0 4842 0
vsize: 19620
[startup+190.027 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 2543 0 0 0 18995 8 0 0 25 0 1 0 773735945 20389888 2467 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4978 2467 1111 63 0 4915 0
vsize: 19912
[startup+200.026 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 2612 0 0 0 19995 8 0 0 25 0 1 0 773735945 20668416 2536 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5046 2536 1111 63 0 4983 0
vsize: 20184
[startup+210.026 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 2685 0 0 0 20995 8 0 0 25 0 1 0 773735945 20967424 2609 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5119 2609 1111 63 0 5056 0
vsize: 20476
[startup+220.028 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 2751 0 0 0 21995 9 0 0 25 0 1 0 773735945 21266432 2675 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5192 2675 1111 63 0 5129 0
vsize: 20768
[startup+230.028 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 2818 0 0 0 22995 9 0 0 25 0 1 0 773735945 21422080 2742 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5230 2742 1111 63 0 5167 0
vsize: 20920
[startup+240.029 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 2884 0 0 0 23995 9 0 0 25 0 1 0 773735945 21721088 2808 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5303 2808 1111 63 0 5240 0
vsize: 21212
[startup+250.028 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 2950 0 0 0 24995 9 0 0 25 0 1 0 773735945 22024192 2874 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5377 2874 1111 63 0 5314 0
vsize: 21508
[startup+260.028 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 3024 0 0 0 25995 9 0 0 25 0 1 0 773735945 22327296 2948 4294967295 134512640 134714508 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5451 2948 1111 63 0 5388 0
vsize: 21804
[startup+270.028 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 3083 0 0 0 26995 10 0 0 25 0 1 0 773735945 22630400 3007 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5525 3007 1111 63 0 5462 0
vsize: 22100
[startup+280.028 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 3150 0 0 0 27995 10 0 0 25 0 1 0 773735945 22781952 3074 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5562 3074 1111 63 0 5499 0
vsize: 22248
[startup+290.028 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 3216 0 0 0 28995 10 0 0 25 0 1 0 773735945 23080960 3140 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5635 3140 1111 63 0 5572 0
vsize: 22540
[startup+300.028 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 3297 0 0 0 29995 10 0 0 25 0 1 0 773735945 23523328 3221 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5743 3221 1111 63 0 5680 0
vsize: 22972
[startup+310.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 3364 0 0 0 30995 10 0 0 25 0 1 0 773735945 23674880 3288 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5780 3288 1111 63 0 5717 0
vsize: 23120
[startup+320.028 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 3430 0 0 0 31995 11 0 0 25 0 1 0 773735945 23977984 3354 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5854 3354 1111 63 0 5791 0
vsize: 23416
[startup+330.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 3498 0 0 0 32995 11 0 0 25 0 1 0 773735945 24281088 3422 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5928 3422 1111 63 0 5865 0
vsize: 23712
[startup+340.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 3563 0 0 0 33995 11 0 0 25 0 1 0 773735945 24584192 3487 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6002 3487 1111 63 0 5939 0
vsize: 24008
[startup+350.026 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 3630 0 0 0 34995 11 0 0 25 0 1 0 773735945 24883200 3554 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6075 3554 1111 63 0 6012 0
vsize: 24300
[startup+360.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 3697 0 0 0 35996 11 0 0 25 0 1 0 773735945 25030656 3621 4294967295 134512640 134714508 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6111 3621 1111 63 0 6048 0
vsize: 24444
[startup+370.041 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 3771 0 0 0 36997 11 0 0 25 0 1 0 773735945 25456640 3695 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6215 3695 1111 63 0 6152 0
vsize: 24860
[startup+380.041 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 3837 0 0 0 37997 11 0 0 25 0 1 0 773735945 25608192 3761 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6252 3761 1111 63 0 6189 0
vsize: 25008
[startup+390.041 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 3906 0 0 0 38997 11 0 0 25 0 1 0 773735945 25911296 3830 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6326 3830 1111 63 0 6263 0
vsize: 25304
[startup+400.042 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 3979 0 0 0 39997 11 0 0 25 0 1 0 773735945 26214400 3903 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6400 3903 1111 63 0 6337 0
vsize: 25600
[startup+410.049 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 4051 0 0 0 40998 11 0 0 25 0 1 0 773735945 26517504 3975 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6474 3975 1111 63 0 6411 0
vsize: 25896
[startup+420.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 4118 0 0 0 41998 11 0 0 25 0 1 0 773735945 26816512 4042 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6547 4042 1111 63 0 6484 0
vsize: 26188
[startup+430.057 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 4185 0 0 0 42999 12 0 0 25 0 1 0 773735945 27123712 4109 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6622 4109 1111 63 0 6559 0
vsize: 26488
[startup+440.056 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 4259 0 0 0 43999 12 0 0 25 0 1 0 773735945 27422720 4183 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6695 4183 1111 63 0 6632 0
vsize: 26780
[startup+450.056 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 4332 0 0 0 44999 12 0 0 25 0 1 0 773735945 27721728 4256 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6768 4256 1111 63 0 6705 0
vsize: 27072
[startup+460.056 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 4402 0 0 0 45999 12 0 0 25 0 1 0 773735945 28028928 4326 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6843 4326 1111 63 0 6780 0
vsize: 27372
[startup+470.056 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 4475 0 0 0 46999 12 0 0 25 0 1 0 773735945 28327936 4399 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6916 4399 1111 63 0 6853 0
vsize: 27664
[startup+480.056 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 4548 0 0 0 47999 12 0 0 25 0 1 0 773735945 28631040 4472 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6990 4472 1111 63 0 6927 0
vsize: 27960
[startup+490.057 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 4616 0 0 0 48999 12 0 0 25 0 1 0 773735945 28782592 4540 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7027 4540 1111 63 0 6964 0
vsize: 28108
[startup+500.057 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 4689 0 0 0 49999 13 0 0 25 0 1 0 773735945 29085696 4613 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7101 4613 1111 63 0 7038 0
vsize: 28404
[startup+510.056 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 4762 0 0 0 50999 13 0 0 25 0 1 0 773735945 29384704 4686 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7174 4686 1111 63 0 7111 0
vsize: 28696
[startup+520.056 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 4830 0 0 0 51999 13 0 0 25 0 1 0 773735945 29691904 4754 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7249 4754 1111 63 0 7186 0
vsize: 28996
[startup+530.056 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 4903 0 0 0 52999 13 0 0 25 0 1 0 773735945 29990912 4827 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7322 4827 1111 63 0 7259 0
vsize: 29288
[startup+540.056 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 4976 0 0 0 53999 14 0 0 25 0 1 0 773735945 30289920 4900 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7395 4900 1111 63 0 7332 0
vsize: 29580
[startup+550.056 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 5044 0 0 0 54999 14 0 0 25 0 1 0 773735945 30597120 4968 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7470 4968 1111 63 0 7407 0
vsize: 29880
[startup+560.055 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 5118 0 0 0 55999 14 0 0 25 0 1 0 773735945 30896128 5042 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7543 5042 1111 63 0 7480 0
vsize: 30172
[startup+570.056 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 5191 0 0 0 56999 14 0 0 25 0 1 0 773735945 31195136 5115 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7616 5115 1111 63 0 7553 0
vsize: 30464
[startup+580.056 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 5276 0 0 0 57999 15 0 0 25 0 1 0 773735945 31657984 5200 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7729 5200 1111 63 0 7666 0
vsize: 30916
[startup+590.056 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 5349 0 0 0 58999 15 0 0 25 0 1 0 773735945 31961088 5273 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7803 5273 1111 63 0 7740 0
vsize: 31212
[startup+600.056 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 5422 0 0 0 59998 15 0 0 25 0 1 0 773735945 32260096 5346 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7876 5346 1111 63 0 7813 0
vsize: 31504
[startup+610.055 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 5498 0 0 0 60998 15 0 0 25 0 1 0 773735945 32567296 5422 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7951 5422 1111 63 0 7888 0
vsize: 31804
[startup+620.056 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 5571 0 0 0 61999 15 0 0 25 0 1 0 773735945 32866304 5495 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8024 5495 1111 63 0 7961 0
vsize: 32096
[startup+630.055 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 5644 0 0 0 62999 15 0 0 25 0 1 0 773735945 33165312 5568 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8097 5568 1111 63 0 8034 0
vsize: 32388
[startup+640.056 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 5719 0 0 0 63999 16 0 0 25 0 1 0 773735945 33472512 5643 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8172 5643 1111 63 0 8109 0
vsize: 32688
[startup+650.055 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 5793 0 0 0 64999 16 0 0 25 0 1 0 773735945 33771520 5717 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 5717 1111 63 0 8182 0
vsize: 32980
[startup+660.055 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 5866 0 0 0 65999 16 0 0 25 0 1 0 773735945 34074624 5790 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8319 5790 1111 63 0 8256 0
vsize: 33276
[startup+670.056 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 5941 0 0 0 66999 16 0 0 25 0 1 0 773735945 34377728 5865 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8393 5865 1111 63 0 8330 0
vsize: 33572
[startup+680.056 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 6008 0 0 0 67999 17 0 0 25 0 1 0 773735945 34529280 5932 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8430 5932 1111 63 0 8367 0
vsize: 33720
[startup+690.055 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 6081 0 0 0 68999 17 0 0 25 0 1 0 773735945 34832384 6005 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8504 6005 1111 63 0 8441 0
vsize: 34016
[startup+700.055 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 6157 0 0 0 69999 17 0 0 25 0 1 0 773735945 35131392 6081 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8577 6081 1111 63 0 8514 0
vsize: 34308
[startup+710.055 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 6231 0 0 0 70999 17 0 0 25 0 1 0 773735945 35438592 6155 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8652 6155 1111 63 0 8589 0
vsize: 34608
[startup+720.054 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 6311 0 0 0 71999 17 0 0 25 0 1 0 773735945 35885056 6235 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8761 6235 1111 63 0 8698 0
vsize: 35044
[startup+730.054 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 6385 0 0 0 72999 17 0 0 25 0 1 0 773735945 36192256 6309 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8836 6309 1111 63 0 8773 0
vsize: 35344
[startup+740.054 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 6459 0 0 0 73999 17 0 0 25 0 1 0 773735945 36491264 6383 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8909 6383 1111 63 0 8846 0
vsize: 35636
[startup+750.055 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 6533 0 0 0 74999 18 0 0 25 0 1 0 773735945 36794368 6457 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8983 6457 1111 63 0 8920 0
vsize: 35932
[startup+760.055 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 6608 0 0 0 75999 18 0 0 25 0 1 0 773735945 37097472 6532 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9057 6532 1111 63 0 8994 0
vsize: 36228
[startup+770.055 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 6681 0 0 0 76999 18 0 0 25 0 1 0 773735945 37400576 6605 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9131 6605 1111 63 0 9068 0
vsize: 36524
[startup+780.055 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 6756 0 0 0 77999 18 0 0 25 0 1 0 773735945 37699584 6680 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9204 6680 1111 63 0 9141 0
vsize: 36816
[startup+790.055 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 6831 0 0 0 78999 18 0 0 25 0 1 0 773735945 38006784 6755 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9279 6755 1111 63 0 9216 0
vsize: 37116
[startup+800.055 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 6904 0 0 0 79999 18 0 0 25 0 1 0 773735945 38305792 6828 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9352 6828 1111 63 0 9289 0
vsize: 37408
[startup+810.054 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 6978 0 0 0 80999 19 0 0 25 0 1 0 773735945 38604800 6902 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9425 6902 1111 63 0 9362 0
vsize: 37700
[startup+820.055 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 7054 0 0 0 81999 19 0 0 25 0 1 0 773735945 38912000 6978 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9500 6978 1111 63 0 9437 0
vsize: 38000
[startup+830.054 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 7134 0 0 0 82999 19 0 0 25 0 1 0 773735945 39211008 7058 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9573 7058 1111 63 0 9510 0
vsize: 38292
[startup+840.054 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 7200 0 0 0 83999 19 0 0 25 0 1 0 773735945 39514112 7124 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9647 7124 1111 63 0 9584 0
vsize: 38588
[startup+850.055 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 7283 0 0 0 84999 19 0 0 25 0 1 0 773735945 39817216 7207 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9721 7207 1111 63 0 9658 0
vsize: 38884
[startup+860.054 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 7362 0 0 0 85999 19 0 0 25 0 1 0 773735945 40120320 7286 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9795 7286 1111 63 0 9732 0
vsize: 39180
[startup+870.053 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 7436 0 0 0 86999 19 0 0 25 0 1 0 773735945 40419328 7360 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9868 7360 1111 63 0 9805 0
vsize: 39472
[startup+880.053 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 7512 0 0 0 87999 19 0 0 25 0 1 0 773735945 40726528 7436 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9943 7436 1111 63 0 9880 0
vsize: 39772
[startup+890.054 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 7585 0 0 0 88999 19 0 0 25 0 1 0 773735945 41025536 7509 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10016 7509 1111 63 0 9953 0
vsize: 40064
[startup+900.053 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 7659 0 0 0 89999 20 0 0 25 0 1 0 773735945 41324544 7583 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10089 7583 1111 63 0 10026 0
vsize: 40356
[startup+910.053 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 7735 0 0 0 90999 20 0 0 25 0 1 0 773735945 41631744 7659 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10164 7659 1111 63 0 10101 0
vsize: 40656
[startup+920.054 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 7809 0 0 0 92000 20 0 0 25 0 1 0 773735945 41930752 7733 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10237 7733 1111 63 0 10174 0
vsize: 40948
[startup+930.053 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 7882 0 0 0 93000 20 0 0 25 0 1 0 773735945 42233856 7806 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10311 7806 1111 63 0 10248 0
vsize: 41244
[startup+940.054 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 7956 0 0 0 94000 20 0 0 25 0 1 0 773735945 42541056 7880 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10386 7880 1111 63 0 10323 0
vsize: 41544
[startup+950.053 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 8031 0 0 0 95000 20 0 0 25 0 1 0 773735945 42840064 7955 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10459 7955 1111 63 0 10396 0
vsize: 41836
[startup+960.053 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 8111 0 0 0 96000 20 0 0 25 0 1 0 773735945 43139072 8035 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10532 8035 1111 63 0 10469 0
vsize: 42128
[startup+970.053 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 8193 0 0 0 97000 21 0 0 25 0 1 0 773735945 43446272 8117 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10607 8117 1111 63 0 10544 0
vsize: 42428
[startup+980.053 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 8268 0 0 0 98000 21 0 0 25 0 1 0 773735945 43745280 8192 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10680 8192 1111 63 0 10617 0
vsize: 42720
[startup+990.053 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 8348 0 0 0 99000 21 0 0 25 0 1 0 773735945 44199936 8272 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10791 8272 1111 63 0 10728 0
vsize: 43164
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 8429 0 0 0 99999 21 0 0 25 0 1 0 773735945 44503040 8353 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10865 8353 1111 63 0 10802 0
vsize: 43460
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 8504 0 0 0 101000 21 0 0 25 0 1 0 773735945 44806144 8428 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10939 8428 1111 63 0 10876 0
vsize: 43756
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 8578 0 0 0 102000 22 0 0 25 0 1 0 773735945 45105152 8502 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11012 8502 1111 63 0 10949 0
vsize: 44048
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 8659 0 0 0 103000 22 0 0 25 0 1 0 773735945 45412352 8583 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11087 8583 1111 63 0 11024 0
vsize: 44348
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 8726 0 0 0 104000 22 0 0 25 0 1 0 773735945 45711360 8650 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11160 8650 1111 63 0 11097 0
vsize: 44640
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 8785 0 0 0 105000 22 0 0 25 0 1 0 773735945 45858816 8709 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11196 8709 1111 63 0 11133 0
vsize: 44784
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 8859 0 0 0 105999 23 0 0 25 0 1 0 773735945 46166016 8783 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11271 8783 1111 63 0 11208 0
vsize: 45084
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 8932 0 0 0 107000 23 0 0 25 0 1 0 773735945 46465024 8856 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11344 8856 1111 63 0 11281 0
vsize: 45376
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 9006 0 0 0 108000 23 0 0 25 0 1 0 773735945 46764032 8930 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11417 8930 1111 63 0 11354 0
vsize: 45668
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 9081 0 0 0 109000 23 0 0 25 0 1 0 773735945 47071232 9005 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11492 9005 1111 63 0 11429 0
vsize: 45968
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 9160 0 0 0 110000 23 0 0 25 0 1 0 773735945 47521792 9084 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11602 9084 1111 63 0 11539 0
vsize: 46408
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 9258 0 0 0 111000 23 0 0 25 0 1 0 773735945 48013312 9182 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11722 9182 1111 63 0 11659 0
vsize: 46888
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 9333 0 0 0 112000 24 0 0 25 0 1 0 773735945 48316416 9257 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11796 9257 1111 63 0 11733 0
vsize: 47184
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 9407 0 0 0 113000 24 0 0 25 0 1 0 773735945 48615424 9331 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11869 9331 1111 63 0 11806 0
vsize: 47476
[startup+1140.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 9488 0 0 0 114000 24 0 0 25 0 1 0 773735945 48914432 9412 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11942 9412 1111 63 0 11879 0
vsize: 47768
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 9562 0 0 0 115000 24 0 0 25 0 1 0 773735945 49221632 9486 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12017 9486 1111 63 0 11954 0
vsize: 48068
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 9642 0 0 0 116000 24 0 0 25 0 1 0 773735945 49520640 9566 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12090 9566 1111 63 0 12027 0
vsize: 48360
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 9725 0 0 0 117000 25 0 0 25 0 1 0 773735945 49819648 9649 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12163 9649 1111 63 0 12100 0
vsize: 48652
[startup+1180.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 9805 0 0 0 117999 25 0 0 25 0 1 0 773735945 50270208 9729 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12273 9729 1111 63 0 12210 0
vsize: 49092
[startup+1190.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 9878 0 0 0 119000 25 0 0 25 0 1 0 773735945 50569216 9802 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12346 9802 1111 63 0 12283 0
vsize: 49384
[startup+1200.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19072
Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 9961 0 0 0 120000 25 0 0 25 0 1 0 773735945 50876416 9885 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12421 9885 1111 63 0 12358 0
vsize: 49684
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 1.00 0.99 0.92 1/54 19072
Raw data (stat): 19072 (bsolo_lpr) Z 19071 15547 15546 0 -1 1036 9961 0 0 0 120000 27 0 0 25 0 1 0 773735945 0 0 4294967295 0 0 0 0 0 0 0 7 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.08
CPU time (s): 1200.28
CPU user time (s): 1200
CPU system time (s): 0.277957
CPU usage (%): 100.017
Max. virtual memory (Kb): 49684
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####