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-fit2d.opb
MD5SUM	e4d850251a185eefeba808334bb200f5
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	102000
Biggest coefficient in the objective function	166502400
Number of bits for the biggest coefficient in the objective function	28
Sum of the numbers in the objective function	44079267426
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	166502400
Number of bits of the biggest number in a constraint	28
Biggest sum of numbers in a constraint	44079267426
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	267.004
Number of variables	118500
Total number of constraints	10525
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	10525
Minimum length of a constraint	10
Maximum length of a constraint	118500
Trace number 26846

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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:        800604 kB
Buffers:         35956 kB
Cached:         176452 kB
SwapCached:        568 kB
Active:          94476 kB
Inactive:       120440 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        800324 kB
SwapTotal:     2097136 kB
SwapFree:      2096076 kB
Dirty:               8 kB
Writeback:           0 kB
Mapped:           5676 kB
Slab:            13448 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 17:30:24 (client local time) WITH STATUS 0 IN 1200.35 SECONDS
stats: 10804 7 1200.35 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.95 0.98 0.96 2/54 1934
Raw data (stat): 1934 (runsolver) R 1933 32284 32283 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773703109 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+10.0008 s]
Raw data (loadavg): 0.96 0.98 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 1309 0 0 0 993 4 0 0 25 0 1 0 773703109 16314368 1233 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3983 1233 1111 63 0 3920 0
vsize: 15932
[startup+20.0014 s]
Raw data (loadavg): 0.96 0.98 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 1618 0 0 0 1993 4 0 0 25 0 1 0 773703109 17551360 1542 4294967295 134512640 134714508 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4285 1542 1111 63 0 4222 0
vsize: 17140
[startup+30.0009 s]
Raw data (loadavg): 0.97 0.98 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 1920 0 0 0 2993 5 0 0 25 0 1 0 773703109 18792448 1844 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4588 1844 1111 63 0 4525 0
vsize: 18352
[startup+40.0024 s]
Raw data (loadavg): 0.97 0.98 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 2226 0 0 0 3992 6 0 0 25 0 1 0 773703109 20041728 2150 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4893 2150 1111 63 0 4830 0
vsize: 19572
[startup+50.0057 s]
Raw data (loadavg): 0.98 0.98 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 2529 0 0 0 4993 6 0 0 25 0 1 0 773703109 21299200 2453 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5200 2453 1111 63 0 5137 0
vsize: 20800
[startup+60.0054 s]
Raw data (loadavg): 0.98 0.98 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 2836 0 0 0 5992 7 0 0 25 0 1 0 773703109 22540288 2760 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5503 2760 1111 63 0 5440 0
vsize: 22012
[startup+70.0056 s]
Raw data (loadavg): 0.98 0.98 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 3150 0 0 0 6992 7 0 0 25 0 1 0 773703109 23932928 3074 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5843 3074 1111 63 0 5780 0
vsize: 23372
[startup+80.0138 s]
Raw data (loadavg): 0.98 0.98 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 3466 0 0 0 7992 8 0 0 25 0 1 0 773703109 25149440 3390 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6140 3390 1111 63 0 6077 0
vsize: 24560
[startup+90.0233 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 3775 0 0 0 8992 9 0 0 25 0 1 0 773703109 26386432 3699 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6442 3699 1111 63 0 6379 0
vsize: 25768
[startup+100.033 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 4077 0 0 0 9993 9 0 0 25 0 1 0 773703109 27643904 4001 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6749 4001 1111 63 0 6686 0
vsize: 26996
[startup+110.037 s]
Raw data (loadavg): 1.07 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 4386 0 0 0 10993 10 0 0 25 0 1 0 773703109 28884992 4310 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7052 4310 1111 63 0 6989 0
vsize: 28208
[startup+120.038 s]
Raw data (loadavg): 1.06 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 4701 0 0 0 11993 10 0 0 25 0 1 0 773703109 30261248 4625 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7388 4625 1111 63 0 7325 0
vsize: 29552
[startup+130.037 s]
Raw data (loadavg): 1.05 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 5010 0 0 0 12993 10 0 0 25 0 1 0 773703109 31522816 4934 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7696 4934 1111 63 0 7633 0
vsize: 30784
[startup+140.039 s]
Raw data (loadavg): 1.04 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 5330 0 0 0 13992 11 0 0 25 0 1 0 773703109 32780288 5254 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8003 5254 1111 63 0 7940 0
vsize: 32012
[startup+150.039 s]
Raw data (loadavg): 1.03 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 5641 0 0 0 14992 11 0 0 25 0 1 0 773703109 34045952 5565 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8312 5565 1111 63 0 8249 0
vsize: 33248
[startup+160.04 s]
Raw data (loadavg): 1.03 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 5956 0 0 0 15991 12 0 0 25 0 1 0 773703109 35442688 5880 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8653 5880 1111 63 0 8590 0
vsize: 34612
[startup+170.04 s]
Raw data (loadavg): 1.02 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 6266 0 0 0 16992 12 0 0 25 0 1 0 773703109 36708352 6190 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8962 6190 1111 63 0 8899 0
vsize: 35848
[startup+180.04 s]
Raw data (loadavg): 1.02 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 6583 0 0 0 17991 13 0 0 25 0 1 0 773703109 37949440 6507 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9265 6507 1111 63 0 9202 0
vsize: 37060
[startup+190.041 s]
Raw data (loadavg): 1.02 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 6903 0 0 0 18991 13 0 0 25 0 1 0 773703109 39206912 6827 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9572 6827 1111 63 0 9509 0
vsize: 38288
[startup+200.042 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 7207 0 0 0 19991 14 0 0 25 0 1 0 773703109 40448000 7131 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9875 7131 1111 63 0 9812 0
vsize: 39500
[startup+210.041 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 7529 0 0 0 20991 14 0 0 25 0 1 0 773703109 41844736 7453 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10216 7453 1111 63 0 10153 0
vsize: 40864
[startup+220.042 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 7846 0 0 0 21990 15 0 0 25 0 1 0 773703109 43085824 7770 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10519 7770 1111 63 0 10456 0
vsize: 42076
[startup+230.042 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 8161 0 0 0 22990 15 0 0 25 0 1 0 773703109 44457984 8085 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10854 8085 1111 63 0 10791 0
vsize: 43416
[startup+240.043 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 8482 0 0 0 23990 16 0 0 25 0 1 0 773703109 45715456 8406 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11161 8406 1111 63 0 11098 0
vsize: 44644
[startup+250.044 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 8797 0 0 0 24989 16 0 0 25 0 1 0 773703109 46956544 8721 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11464 8721 1111 63 0 11401 0
vsize: 45856
[startup+260.045 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 9113 0 0 0 25989 17 0 0 25 0 1 0 773703109 48332800 9037 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11800 9037 1111 63 0 11737 0
vsize: 47200
[startup+270.046 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 9446 0 0 0 26988 18 0 0 25 0 1 0 773703109 49770496 9370 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12151 9370 1111 63 0 12088 0
vsize: 48604
[startup+280.046 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 9775 0 0 0 27988 18 0 0 25 0 1 0 773703109 51007488 9699 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12453 9699 1111 63 0 12390 0
vsize: 49812
[startup+290.047 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 10089 0 0 0 28987 19 0 0 25 0 1 0 773703109 52379648 10013 4294967295 134512640 134714508 3221224592 3221222820 1077414347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12788 10013 1111 63 0 12725 0
vsize: 51152
[startup+300.047 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 10406 0 0 0 29986 21 0 0 25 0 1 0 773703109 53620736 10330 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13091 10330 1111 63 0 13028 0
vsize: 52364
[startup+310.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 10735 0 0 0 30986 21 0 0 25 0 1 0 773703109 55017472 10659 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13432 10659 1111 63 0 13369 0
vsize: 53728
[startup+320.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 11058 0 0 0 31986 22 0 0 25 0 1 0 773703109 56258560 10982 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13735 10982 1111 63 0 13672 0
vsize: 54940
[startup+330.051 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 11387 0 0 0 32985 22 0 0 25 0 1 0 773703109 57655296 11311 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14076 11311 1111 63 0 14013 0
vsize: 56304
[startup+340.063 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 11703 0 0 0 33986 23 0 0 25 0 1 0 773703109 58912768 11627 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14383 11627 1111 63 0 14320 0
vsize: 57532
[startup+350.063 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 12031 0 0 0 34985 24 0 0 25 0 1 0 773703109 60289024 11955 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14719 11955 1111 63 0 14656 0
vsize: 58876
[startup+360.063 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 12360 0 0 0 35985 25 0 0 25 0 1 0 773703109 61685760 12284 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15060 12284 1111 63 0 14997 0
vsize: 60240
[startup+370.064 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 12689 0 0 0 36984 25 0 0 25 0 1 0 773703109 62926848 12613 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15363 12613 1111 63 0 15300 0
vsize: 61452
[startup+380.063 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 13018 0 0 0 37983 26 0 0 25 0 1 0 773703109 64323584 12942 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15704 12942 1111 63 0 15641 0
vsize: 62816
[startup+390.064 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 13339 0 0 0 38983 27 0 0 25 0 1 0 773703109 65560576 13263 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16006 13263 1111 63 0 15943 0
vsize: 64024
[startup+400.065 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 13669 0 0 0 39983 27 0 0 25 0 1 0 773703109 66957312 13593 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16347 13593 1111 63 0 16284 0
vsize: 65388
[startup+410.064 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 14005 0 0 0 40982 28 0 0 25 0 1 0 773703109 68333568 13929 4294967295 134512640 134714508 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16683 13929 1111 63 0 16620 0
vsize: 66732
[startup+420.064 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 14334 0 0 0 41982 29 0 0 25 0 1 0 773703109 69730304 14258 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17024 14258 1111 63 0 16961 0
vsize: 68096
[startup+430.064 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 14663 0 0 0 42982 29 0 0 25 0 1 0 773703109 70971392 14587 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17327 14587 1111 63 0 17264 0
vsize: 69308
[startup+440.064 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 14993 0 0 0 43981 30 0 0 25 0 1 0 773703109 72364032 14917 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17667 14917 1111 63 0 17604 0
vsize: 70668
[startup+450.064 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 15321 0 0 0 44980 31 0 0 25 0 1 0 773703109 73740288 15245 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18003 15245 1111 63 0 17940 0
vsize: 72012
[startup+460.065 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 15663 0 0 0 45980 31 0 0 25 0 1 0 773703109 75112448 15587 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18338 15587 1111 63 0 18275 0
vsize: 73352
[startup+470.065 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 15993 0 0 0 46980 32 0 0 25 0 1 0 773703109 76509184 15917 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18679 15917 1111 63 0 18616 0
vsize: 74716
[startup+480.065 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 16328 0 0 0 47979 32 0 0 25 0 1 0 773703109 77885440 16252 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19015 16252 1111 63 0 18952 0
vsize: 76060
[startup+490.065 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 16657 0 0 0 48979 33 0 0 25 0 1 0 773703109 79257600 16581 4294967295 134512640 134714508 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19350 16581 1111 63 0 19287 0
vsize: 77400
[startup+500.071 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 16998 0 0 0 49979 34 0 0 25 0 1 0 773703109 80654336 16922 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19691 16922 1111 63 0 19628 0
vsize: 78764
[startup+510.071 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 17332 0 0 0 50978 34 0 0 25 0 1 0 773703109 81911808 17256 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19998 17256 1111 63 0 19935 0
vsize: 79992
[startup+520.072 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 17686 0 0 0 51978 35 0 0 25 0 1 0 773703109 83558400 17610 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20400 17610 1111 63 0 20337 0
vsize: 81600
[startup+530.073 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 18022 0 0 0 52977 36 0 0 25 0 1 0 773703109 84934656 17946 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20736 17946 1111 63 0 20673 0
vsize: 82944
[startup+540.072 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 18364 0 0 0 53977 36 0 0 25 0 1 0 773703109 86310912 18288 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21072 18288 1111 63 0 21009 0
vsize: 84288
[startup+550.072 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 18706 0 0 0 54976 37 0 0 25 0 1 0 773703109 87707648 18630 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21413 18630 1111 63 0 21350 0
vsize: 85652
[startup+560.077 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 19042 0 0 0 55976 38 0 0 25 0 1 0 773703109 89104384 18966 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21754 18966 1111 63 0 21691 0
vsize: 87016
[startup+570.082 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 19383 0 0 0 56976 38 0 0 25 0 1 0 773703109 90476544 19307 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22089 19307 1111 63 0 22026 0
vsize: 88356
[startup+580.082 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 19726 0 0 0 57976 39 0 0 25 0 1 0 773703109 91869184 19650 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22429 19650 1111 63 0 22366 0
vsize: 89716
[startup+590.082 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 20062 0 0 0 58976 39 0 0 25 0 1 0 773703109 93245440 19986 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22765 19986 1111 63 0 22702 0
vsize: 91060
[startup+600.082 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 20416 0 0 0 59975 40 0 0 25 0 1 0 773703109 94621696 20340 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23101 20340 1111 63 0 23038 0
vsize: 92404
[startup+610.082 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 20753 0 0 0 60975 41 0 0 25 0 1 0 773703109 95993856 20677 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23436 20677 1111 63 0 23373 0
vsize: 93744
[startup+620.083 s]
Raw data (loadavg): 1.08 1.02 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 21107 0 0 0 61974 42 0 0 25 0 1 0 773703109 97525760 21031 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23810 21031 1111 63 0 23747 0
vsize: 95240
[startup+630.083 s]
Raw data (loadavg): 1.07 1.02 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 21443 0 0 0 62974 42 0 0 25 0 1 0 773703109 98922496 21367 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24151 21367 1111 63 0 24088 0
vsize: 96604
[startup+640.083 s]
Raw data (loadavg): 1.06 1.01 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 21798 0 0 0 63973 43 0 0 25 0 1 0 773703109 100294656 21722 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24486 21722 1111 63 0 24423 0
vsize: 97944
[startup+650.084 s]
Raw data (loadavg): 1.05 1.01 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 22134 0 0 0 64973 43 0 0 25 0 1 0 773703109 101691392 22058 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24827 22058 1111 63 0 24764 0
vsize: 99308
[startup+660.083 s]
Raw data (loadavg): 1.04 1.01 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 22488 0 0 0 65972 44 0 0 25 0 1 0 773703109 103198720 22412 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25195 22412 1111 63 0 25132 0
vsize: 100780
[startup+670.083 s]
Raw data (loadavg): 1.03 1.01 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 22839 0 0 0 66972 45 0 0 25 0 1 0 773703109 104595456 22763 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25536 22763 1111 63 0 25473 0
vsize: 102144
[startup+680.084 s]
Raw data (loadavg): 1.03 1.01 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 23187 0 0 0 67971 46 0 0 25 0 1 0 773703109 105947136 23111 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25866 23111 1111 63 0 25803 0
vsize: 103464
[startup+690.084 s]
Raw data (loadavg): 1.02 1.01 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 23541 0 0 0 68970 47 0 0 25 0 1 0 773703109 107479040 23465 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26240 23465 1111 63 0 26177 0
vsize: 104960
[startup+700.084 s]
Raw data (loadavg): 1.02 1.01 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 23892 0 0 0 69970 47 0 0 25 0 1 0 773703109 108875776 23816 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26581 23816 1111 63 0 26518 0
vsize: 106324
[startup+710.085 s]
Raw data (loadavg): 1.02 1.01 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 24240 0 0 0 70969 48 0 0 25 0 1 0 773703109 110383104 24164 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26949 24164 1111 63 0 26886 0
vsize: 107796
[startup+720.085 s]
Raw data (loadavg): 1.01 1.01 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 24594 0 0 0 71969 49 0 0 25 0 1 0 773703109 111775744 24518 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27289 24518 1111 63 0 27226 0
vsize: 109156
[startup+730.086 s]
Raw data (loadavg): 1.01 1.01 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 24944 0 0 0 72968 49 0 0 25 0 1 0 773703109 113152000 24868 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27625 24868 1111 63 0 27562 0
vsize: 110500
[startup+740.085 s]
Raw data (loadavg): 1.01 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 25293 0 0 0 73967 50 0 0 25 0 1 0 773703109 114683904 25217 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27999 25217 1111 63 0 27936 0
vsize: 111996
[startup+750.086 s]
Raw data (loadavg): 1.01 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 25653 0 0 0 74968 50 0 0 25 0 1 0 773703109 116035584 25577 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28329 25577 1111 63 0 28266 0
vsize: 113316
[startup+760.086 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 26010 0 0 0 75967 51 0 0 25 0 1 0 773703109 117567488 25934 4294967295 134512640 134714508 3221224592 3221223248 134527941 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28703 25934 1111 63 0 28640 0
vsize: 114812
[startup+770.087 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 26359 0 0 0 76967 51 0 0 25 0 1 0 773703109 118964224 26283 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29044 26283 1111 63 0 28981 0
vsize: 116176
[startup+780.087 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 26720 0 0 0 77967 52 0 0 25 0 1 0 773703109 120471552 26644 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29412 26644 1111 63 0 29349 0
vsize: 117648
[startup+790.088 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 27077 0 0 0 78966 53 0 0 25 0 1 0 773703109 121868288 27001 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29753 27001 1111 63 0 29690 0
vsize: 119012
[startup+800.088 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 27432 0 0 0 79965 54 0 0 25 0 1 0 773703109 123396096 27356 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30126 27356 1111 63 0 30063 0
vsize: 120504
[startup+810.088 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 27794 0 0 0 80965 54 0 0 25 0 1 0 773703109 124907520 27718 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30495 27718 1111 63 0 30432 0
vsize: 121980
[startup+820.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 28155 0 0 0 81965 54 0 0 25 0 1 0 773703109 126304256 28079 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30836 28079 1111 63 0 30773 0
vsize: 123344
[startup+830.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 28516 0 0 0 82965 55 0 0 25 0 1 0 773703109 127836160 28440 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31210 28440 1111 63 0 31147 0
vsize: 124840
[startup+840.089 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 28880 0 0 0 83964 56 0 0 25 0 1 0 773703109 129347584 28804 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31579 28804 1111 63 0 31516 0
vsize: 126316
[startup+850.091 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 29241 0 0 0 84964 56 0 0 25 0 1 0 773703109 130744320 29165 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31920 29165 1111 63 0 31857 0
vsize: 127680
[startup+860.091 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 29602 0 0 0 85963 57 0 0 25 0 1 0 773703109 132276224 29526 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32294 29526 1111 63 0 32231 0
vsize: 129176
[startup+870.091 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 29966 0 0 0 86963 57 0 0 25 0 1 0 773703109 133787648 29890 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32663 29890 1111 63 0 32600 0
vsize: 130652
[startup+880.092 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 30328 0 0 0 87963 58 0 0 25 0 1 0 773703109 135184384 30252 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33004 30252 1111 63 0 32941 0
vsize: 132016
[startup+890.092 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 30701 0 0 0 88962 59 0 0 25 0 1 0 773703109 136716288 30625 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33378 30625 1111 63 0 33315 0
vsize: 133512
[startup+900.093 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 31065 0 0 0 89961 60 0 0 25 0 1 0 773703109 138227712 30989 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33747 30989 1111 63 0 33684 0
vsize: 134988
[startup+910.093 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 31431 0 0 0 90960 61 0 0 25 0 1 0 773703109 139755520 31355 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34120 31355 1111 63 0 34057 0
vsize: 136480
[startup+920.094 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 31799 0 0 0 91960 62 0 0 25 0 1 0 773703109 141287424 31723 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34494 31723 1111 63 0 34431 0
vsize: 137976
[startup+930.093 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 32169 0 0 0 92959 62 0 0 25 0 1 0 773703109 142663680 32093 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34830 32093 1111 63 0 34767 0
vsize: 139320
[startup+940.094 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 32531 0 0 0 93959 63 0 0 25 0 1 0 773703109 144171008 32455 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35198 32455 1111 63 0 35135 0
vsize: 140792
[startup+950.094 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 32905 0 0 0 94959 63 0 0 25 0 1 0 773703109 145702912 32829 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35572 32829 1111 63 0 35509 0
vsize: 142288
[startup+960.095 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 33273 0 0 0 95958 64 0 0 25 0 1 0 773703109 147234816 33197 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35946 33197 1111 63 0 35883 0
vsize: 143784
[startup+970.095 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 33647 0 0 0 96958 64 0 0 25 0 1 0 773703109 148742144 33571 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36314 33571 1111 63 0 36251 0
vsize: 145256
[startup+980.095 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 34050 0 0 0 97957 65 0 0 25 0 1 0 773703109 150650880 33974 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36780 33974 1111 63 0 36717 0
vsize: 147120
[startup+990.094 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 34429 0 0 0 98956 66 0 0 25 0 1 0 773703109 152174592 34353 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37152 34353 1111 63 0 37089 0
vsize: 148608
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 34799 0 0 0 99956 67 0 0 25 0 1 0 773703109 153706496 34723 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37526 34723 1111 63 0 37463 0
vsize: 150104
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 35174 0 0 0 100955 68 0 0 25 0 1 0 773703109 155213824 35098 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37894 35098 1111 63 0 37831 0
vsize: 151576
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 35549 0 0 0 101955 69 0 0 25 0 1 0 773703109 156880896 35473 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38301 35473 1111 63 0 38238 0
vsize: 153204
[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 35918 0 0 0 102954 69 0 0 25 0 1 0 773703109 158281728 35842 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38643 35842 1111 63 0 38580 0
vsize: 154572
[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 36306 0 0 0 103953 71 0 0 25 0 1 0 773703109 159948800 36230 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39050 36230 1111 63 0 38987 0
vsize: 156200
[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 36681 0 0 0 104953 71 0 0 25 0 1 0 773703109 161476608 36605 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39423 36605 1111 63 0 39360 0
vsize: 157692
[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 37062 0 0 0 105952 72 0 0 25 0 1 0 773703109 163008512 36986 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39797 36986 1111 63 0 39734 0
vsize: 159188
[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 37437 0 0 0 106952 73 0 0 25 0 1 0 773703109 164540416 37361 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40171 37361 1111 63 0 40108 0
vsize: 160684
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 37818 0 0 0 107951 74 0 0 25 0 1 0 773703109 166051840 37742 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40540 37742 1111 63 0 40477 0
vsize: 162160
[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 38201 0 0 0 108950 75 0 0 25 0 1 0 773703109 167714816 38125 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40946 38125 1111 63 0 40883 0
vsize: 163784
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 38582 0 0 0 109949 76 0 0 25 0 1 0 773703109 169226240 38506 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41315 38506 1111 63 0 41252 0
vsize: 165260
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 38969 0 0 0 110949 76 0 0 25 0 1 0 773703109 170758144 38893 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41689 38893 1111 63 0 41626 0
vsize: 166756
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 39352 0 0 0 111948 77 0 0 25 0 1 0 773703109 172400640 39276 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42090 39276 1111 63 0 42027 0
vsize: 168360
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 39733 0 0 0 112947 78 0 0 25 0 1 0 773703109 173932544 39657 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42464 39657 1111 63 0 42401 0
vsize: 169856
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 40122 0 0 0 113947 79 0 0 25 0 1 0 773703109 175464448 40046 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42838 40046 1111 63 0 42775 0
vsize: 171352
[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 40510 0 0 0 114946 80 0 0 25 0 1 0 773703109 177106944 40434 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43239 40434 1111 63 0 43176 0
vsize: 172956
[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 40885 0 0 0 115945 81 0 0 25 0 1 0 773703109 178618368 40809 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43608 40809 1111 63 0 43545 0
vsize: 174432
[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 41274 0 0 0 116945 82 0 0 25 0 1 0 773703109 180150272 41198 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43982 41198 1111 63 0 43919 0
vsize: 175928
[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 41668 0 0 0 117944 82 0 0 25 0 1 0 773703109 181792768 41592 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44383 41592 1111 63 0 44320 0
vsize: 177532
[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 42049 0 0 0 118944 83 0 0 25 0 1 0 773703109 183324672 41973 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44757 41973 1111 63 0 44694 0
vsize: 179028
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 1934
Raw data (stat): 1934 (bsolo_lpr) R 1933 32284 32283 0 -1 0 42445 0 0 0 119943 83 0 0 25 0 1 0 773703109 184991744 42369 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45164 42369 1111 63 0 45101 0
vsize: 180656
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.18 s]
Raw data (loadavg): 1.00 1.00 0.97 1/54 1934
Raw data (stat): 1934 (bsolo_lpr) Z 1933 32284 32283 0 -1 1036 42445 0 0 0 119943 91 0 0 25 0 1 0 773703109 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.18
CPU time (s): 1200.35
CPU user time (s): 1199.44
CPU system time (s): 0.91486
CPU usage (%): 100.015
Max. virtual memory (Kb): 180656
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####