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/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3701.opb
MD5SUM	43fed3c1d7a16e4c08eafe49f6a33c8e
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	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29697461525571
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29697461525571
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.43278
Number of variables	155000
Total number of constraints	5150
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	5150
Minimum length of a constraint	31
Maximum length of a constraint	3000
Trace number 28196

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc19 THE 2005-05-25 00:58:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14015 boxname=wulflinc19 idbench=1079 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  43fed3c1d7a16e4c08eafe49f6a33c8e  /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-20-10-n3701.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-20-10-n3701.opb
IDLAUNCH: 14015
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 3
cpu MHz		: 451.037
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:        636676 kB
Buffers:         33428 kB
Cached:         336856 kB
SwapCached:        520 kB
Active:          51272 kB
Inactive:       321364 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        636424 kB
SwapTotal:     2097892 kB
SwapFree:      2096796 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5672 kB
Slab:            19588 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 01:18:16 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 14015 7 1200.22 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.87 0.95 0.90 2/54 18018
Raw data (stat): 18018 (runsolver) R 18017 10795 10794 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834731391 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.0004 s]
Raw data (loadavg): 0.89 0.96 0.91 2/54 18018
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 1296 0 0 0 994 4 0 0 25 0 1 0 834731391 15511552 1220 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3787 1220 1111 63 0 3724 0
vsize: 15148
[startup+20.0011 s]
Raw data (loadavg): 0.90 0.96 0.91 2/54 18018
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 1406 0 0 0 1994 4 0 0 25 0 1 0 834731391 15941632 1330 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3892 1330 1111 63 0 3829 0
vsize: 15568
[startup+30.0012 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 18018
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 1508 0 0 0 2994 4 0 0 25 0 1 0 834731391 16379904 1432 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3999 1432 1111 63 0 3936 0
vsize: 15996
[startup+40.002 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 18018
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 1618 0 0 0 3994 4 0 0 25 0 1 0 834731391 16834560 1542 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4110 1542 1111 63 0 4047 0
vsize: 16440
[startup+50.0015 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 18018
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 1730 0 0 0 4994 4 0 0 25 0 1 0 834731391 17264640 1654 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4215 1654 1111 63 0 4152 0
vsize: 16860
[startup+60.0018 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 18018
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 1834 0 0 0 5994 5 0 0 25 0 1 0 834731391 17715200 1758 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4325 1758 1111 63 0 4262 0
vsize: 17300
[startup+70.0024 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 18018
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 1949 0 0 0 6994 5 0 0 25 0 1 0 834731391 18161664 1873 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4434 1873 1111 63 0 4371 0
vsize: 17736
[startup+80.0019 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 18018
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 2053 0 0 0 7994 5 0 0 25 0 1 0 834731391 18616320 1977 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4545 1977 1111 63 0 4482 0
vsize: 18180
[startup+90.002 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 18018
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 2162 0 0 0 8994 5 0 0 25 0 1 0 834731391 19058688 2086 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4653 2086 1111 63 0 4590 0
vsize: 18612
[startup+100.002 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 18018
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 2277 0 0 0 9994 5 0 0 25 0 1 0 834731391 19501056 2201 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4761 2201 1111 63 0 4698 0
vsize: 19044
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 18019
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 2381 0 0 0 10994 5 0 0 25 0 1 0 834731391 19955712 2305 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4872 2305 1111 63 0 4809 0
vsize: 19488
[startup+120.016 s]
Raw data (loadavg): 1.05 0.98 0.91 2/54 18071
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 2497 0 0 0 11995 6 0 0 25 0 1 0 834731391 20402176 2421 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4981 2421 1111 63 0 4918 0
vsize: 19924
[startup+130.015 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 18071
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 2600 0 0 0 12993 7 0 0 25 0 1 0 834731391 20856832 2524 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5092 2524 1111 63 0 5029 0
vsize: 20368
[startup+140.015 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 18071
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 2711 0 0 0 13993 7 0 0 25 0 1 0 834731391 21299200 2635 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5200 2635 1111 63 0 5137 0
vsize: 20800
[startup+150.015 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 18071
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 2819 0 0 0 14993 8 0 0 25 0 1 0 834731391 21725184 2743 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5304 2743 1111 63 0 5241 0
vsize: 21216
[startup+160.014 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 18071
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 2930 0 0 0 15992 9 0 0 25 0 1 0 834731391 22171648 2854 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5413 2854 1111 63 0 5350 0
vsize: 21652
[startup+170.014 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 18071
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 3039 0 0 0 16992 9 0 0 25 0 1 0 834731391 22622208 2963 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5523 2963 1111 63 0 5460 0
vsize: 22092
[startup+180.014 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 18071
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 3143 0 0 0 17991 10 0 0 25 0 1 0 834731391 23072768 3067 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5633 3067 1111 63 0 5570 0
vsize: 22532
[startup+190.015 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 18073
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 3265 0 0 0 18991 11 0 0 25 0 1 0 834731391 23662592 3189 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5777 3189 1111 63 0 5714 0
vsize: 23108
[startup+200.015 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 18073
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 3369 0 0 0 19990 11 0 0 25 0 1 0 834731391 24113152 3293 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5887 3293 1111 63 0 5824 0
vsize: 23548
[startup+210.014 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 18073
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 3479 0 0 0 20990 12 0 0 25 0 1 0 834731391 24559616 3403 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5996 3403 1111 63 0 5933 0
vsize: 23984
[startup+220.014 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 18073
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 3589 0 0 0 21990 12 0 0 25 0 1 0 834731391 25010176 3513 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6106 3513 1111 63 0 6043 0
vsize: 24424
[startup+230.014 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 18073
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 3699 0 0 0 22989 13 0 0 25 0 1 0 834731391 25460736 3623 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6216 3623 1111 63 0 6153 0
vsize: 24864
[startup+240.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18073
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 3810 0 0 0 23989 13 0 0 25 0 1 0 834731391 25911296 3734 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6326 3734 1111 63 0 6263 0
vsize: 25304
[startup+250.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18073
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 3919 0 0 0 24989 13 0 0 25 0 1 0 834731391 26357760 3843 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6435 3843 1111 63 0 6372 0
vsize: 25740
[startup+260.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18073
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 4030 0 0 0 25989 14 0 0 25 0 1 0 834731391 26804224 3954 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6544 3954 1111 63 0 6481 0
vsize: 26176
[startup+270.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18073
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 4140 0 0 0 26988 15 0 0 25 0 1 0 834731391 27258880 4064 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6655 4064 1111 63 0 6592 0
vsize: 26620
[startup+280.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18073
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 4251 0 0 0 27987 15 0 0 25 0 1 0 834731391 27705344 4175 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6764 4175 1111 63 0 6701 0
vsize: 27056
[startup+290.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18073
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 4360 0 0 0 28987 16 0 0 25 0 1 0 834731391 28160000 4284 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6875 4284 1111 63 0 6812 0
vsize: 27500
[startup+300.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18073
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 4470 0 0 0 29987 17 0 0 25 0 1 0 834731391 28602368 4394 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6983 4394 1111 63 0 6920 0
vsize: 27932
[startup+310.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18073
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 4580 0 0 0 30986 17 0 0 25 0 1 0 834731391 29028352 4504 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7087 4504 1111 63 0 7024 0
vsize: 28348
[startup+320.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18073
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 4691 0 0 0 31986 17 0 0 25 0 1 0 834731391 29474816 4615 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7196 4615 1111 63 0 7133 0
vsize: 28784
[startup+330.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18073
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 4800 0 0 0 32986 17 0 0 25 0 1 0 834731391 29925376 4724 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7306 4724 1111 63 0 7243 0
vsize: 29224
[startup+340.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18073
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 4911 0 0 0 33986 18 0 0 25 0 1 0 834731391 30375936 4835 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7416 4835 1111 63 0 7353 0
vsize: 29664
[startup+350.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18073
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 5020 0 0 0 34986 18 0 0 25 0 1 0 834731391 30826496 4944 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7526 4944 1111 63 0 7463 0
vsize: 30104
[startup+360.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18073
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 5142 0 0 0 35985 19 0 0 25 0 1 0 834731391 31309824 5066 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7644 5066 1111 63 0 7581 0
vsize: 30576
[startup+370.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18073
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 5251 0 0 0 36985 19 0 0 25 0 1 0 834731391 31760384 5175 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7754 5175 1111 63 0 7691 0
vsize: 31016
[startup+380.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18073
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 5363 0 0 0 37985 20 0 0 25 0 1 0 834731391 32210944 5287 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7864 5287 1111 63 0 7801 0
vsize: 31456
[startup+390.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18073
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 5478 0 0 0 38985 20 0 0 25 0 1 0 834731391 32661504 5402 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7974 5402 1111 63 0 7911 0
vsize: 31896
[startup+400.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18073
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 5583 0 0 0 39984 21 0 0 25 0 1 0 834731391 33107968 5507 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8083 5507 1111 63 0 8020 0
vsize: 32332
[startup+410.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18073
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 5699 0 0 0 40984 21 0 0 25 0 1 0 834731391 33558528 5623 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8193 5623 1111 63 0 8130 0
vsize: 32772
[startup+420.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18073
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 5810 0 0 0 41984 22 0 0 25 0 1 0 834731391 34009088 5734 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8303 5734 1111 63 0 8240 0
vsize: 33212
[startup+430.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18073
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 5920 0 0 0 42983 22 0 0 25 0 1 0 834731391 34459648 5844 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8413 5844 1111 63 0 8350 0
vsize: 33652
[startup+440.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18073
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 6031 0 0 0 43983 23 0 0 25 0 1 0 834731391 34906112 5955 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8522 5955 1111 63 0 8459 0
vsize: 34088
[startup+450.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 6141 0 0 0 44982 23 0 0 25 0 1 0 834731391 35360768 6065 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8633 6065 1111 63 0 8570 0
vsize: 34532
[startup+460.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 6258 0 0 0 45982 24 0 0 25 0 1 0 834731391 35958784 6182 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8779 6182 1111 63 0 8716 0
vsize: 35116
[startup+470.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 6368 0 0 0 46981 25 0 0 25 0 1 0 834731391 36409344 6292 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8889 6292 1111 63 0 8826 0
vsize: 35556
[startup+480.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 6479 0 0 0 47981 25 0 0 25 0 1 0 834731391 36859904 6403 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8999 6403 1111 63 0 8936 0
vsize: 35996
[startup+490.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 6594 0 0 0 48980 26 0 0 25 0 1 0 834731391 37306368 6518 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9108 6518 1111 63 0 9045 0
vsize: 36432
[startup+500.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 6700 0 0 0 49980 26 0 0 25 0 1 0 834731391 37761024 6624 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9219 6624 1111 63 0 9156 0
vsize: 36876
[startup+510.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 6816 0 0 0 50980 27 0 0 25 0 1 0 834731391 38207488 6740 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9328 6740 1111 63 0 9265 0
vsize: 37312
[startup+520.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 6928 0 0 0 51979 27 0 0 25 0 1 0 834731391 38658048 6852 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9438 6852 1111 63 0 9375 0
vsize: 37752
[startup+530.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 7037 0 0 0 52979 28 0 0 25 0 1 0 834731391 39108608 6961 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9548 6961 1111 63 0 9485 0
vsize: 38192
[startup+540.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 7155 0 0 0 53979 28 0 0 25 0 1 0 834731391 39559168 7079 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9658 7079 1111 63 0 9595 0
vsize: 38632
[startup+550.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 7264 0 0 0 54978 29 0 0 25 0 1 0 834731391 40005632 7188 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9767 7188 1111 63 0 9704 0
vsize: 39068
[startup+560.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 7376 0 0 0 55978 29 0 0 25 0 1 0 834731391 40456192 7300 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9877 7300 1111 63 0 9814 0
vsize: 39508
[startup+570.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 7492 0 0 0 56977 31 0 0 25 0 1 0 834731391 40906752 7416 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9987 7416 1111 63 0 9924 0
vsize: 39948
[startup+580.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 7604 0 0 0 57977 31 0 0 25 0 1 0 834731391 41357312 7528 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10097 7528 1111 63 0 10034 0
vsize: 40388
[startup+590.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 7713 0 0 0 58977 31 0 0 25 0 1 0 834731391 41803776 7637 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10206 7637 1111 63 0 10143 0
vsize: 40824
[startup+600.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 7830 0 0 0 59976 32 0 0 25 0 1 0 834731391 42250240 7754 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10315 7754 1111 63 0 10252 0
vsize: 41260
[startup+610.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 7941 0 0 0 60976 33 0 0 25 0 1 0 834731391 42704896 7865 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10426 7865 1111 63 0 10363 0
vsize: 41704
[startup+620.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 8058 0 0 0 61975 33 0 0 25 0 1 0 834731391 43307008 7982 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10573 7982 1111 63 0 10510 0
vsize: 42292
[startup+630.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 8167 0 0 0 62975 34 0 0 25 0 1 0 834731391 43753472 8091 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10682 8091 1111 63 0 10619 0
vsize: 42728
[startup+640.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 8285 0 0 0 63974 34 0 0 25 0 1 0 834731391 44183552 8209 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10787 8209 1111 63 0 10724 0
vsize: 43148
[startup+650.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 8395 0 0 0 64974 35 0 0 25 0 1 0 834731391 44621824 8319 4294967295 134512640 134714508 3221224592 3221222820 1077414397 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10894 8319 1111 63 0 10831 0
vsize: 43576
[startup+660.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 8506 0 0 0 65973 36 0 0 25 0 1 0 834731391 45072384 8430 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11004 8430 1111 63 0 10941 0
vsize: 44016
[startup+670.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 8622 0 0 0 66973 36 0 0 25 0 1 0 834731391 45522944 8546 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11114 8546 1111 63 0 11051 0
vsize: 44456
[startup+680.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 8739 0 0 0 67973 36 0 0 25 0 1 0 834731391 45973504 8663 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11224 8663 1111 63 0 11161 0
vsize: 44896
[startup+690.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 8849 0 0 0 68973 37 0 0 25 0 1 0 834731391 46419968 8773 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11333 8773 1111 63 0 11270 0
vsize: 45332
[startup+700.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 8960 0 0 0 69972 37 0 0 25 0 1 0 834731391 46874624 8884 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11444 8884 1111 63 0 11381 0
vsize: 45776
[startup+710.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 9095 0 0 0 70972 37 0 0 25 0 1 0 834731391 47579136 9019 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11616 9019 1111 63 0 11553 0
vsize: 46464
[startup+720.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 9213 0 0 0 71972 38 0 0 25 0 1 0 834731391 48144384 9137 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11754 9137 1111 63 0 11691 0
vsize: 47016
[startup+730.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 9323 0 0 0 72972 39 0 0 25 0 1 0 834731391 48590848 9247 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11863 9247 1111 63 0 11800 0
vsize: 47452
[startup+740.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 9440 0 0 0 73971 39 0 0 25 0 1 0 834731391 49041408 9364 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11973 9364 1111 63 0 11910 0
vsize: 47892
[startup+750.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 9551 0 0 0 74971 40 0 0 25 0 1 0 834731391 49491968 9475 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12083 9475 1111 63 0 12020 0
vsize: 48332
[startup+760.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 9669 0 0 0 75970 40 0 0 25 0 1 0 834731391 49942528 9593 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12193 9593 1111 63 0 12130 0
vsize: 48772
[startup+770.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 9785 0 0 0 76969 41 0 0 25 0 1 0 834731391 50388992 9709 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12302 9709 1111 63 0 12239 0
vsize: 49208
[startup+780.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 9896 0 0 0 77969 42 0 0 25 0 1 0 834731391 50814976 9820 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12406 9820 1111 63 0 12343 0
vsize: 49624
[startup+790.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 10012 0 0 0 78968 43 0 0 25 0 1 0 834731391 51408896 9936 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12551 9936 1111 63 0 12488 0
vsize: 50204
[startup+800.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 10125 0 0 0 79968 43 0 0 25 0 1 0 834731391 51859456 10049 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12661 10049 1111 63 0 12598 0
vsize: 50644
[startup+810.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 10241 0 0 0 80967 44 0 0 25 0 1 0 834731391 52310016 10165 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12771 10165 1111 63 0 12708 0
vsize: 51084
[startup+820.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 10359 0 0 0 81967 45 0 0 25 0 1 0 834731391 52760576 10283 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12881 10283 1111 63 0 12818 0
vsize: 51524
[startup+830.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 10476 0 0 0 82966 46 0 0 25 0 1 0 834731391 53207040 10400 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12990 10400 1111 63 0 12927 0
vsize: 51960
[startup+840.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 10587 0 0 0 83966 46 0 0 25 0 1 0 834731391 53657600 10511 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13100 10511 1111 63 0 13037 0
vsize: 52400
[startup+850.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 10706 0 0 0 84965 47 0 0 25 0 1 0 834731391 54108160 10630 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13210 10630 1111 63 0 13147 0
vsize: 52840
[startup+860.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 10822 0 0 0 85964 48 0 0 25 0 1 0 834731391 54710272 10746 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13357 10746 1111 63 0 13294 0
vsize: 53428
[startup+870.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 10933 0 0 0 86964 49 0 0 25 0 1 0 834731391 55160832 10857 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13467 10857 1111 63 0 13404 0
vsize: 53868
[startup+880.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 11050 0 0 0 87963 49 0 0 25 0 1 0 834731391 55607296 10974 4294967295 134512640 134714508 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13576 10974 1111 63 0 13513 0
vsize: 54304
[startup+890.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 11169 0 0 0 88963 50 0 0 25 0 1 0 834731391 56057856 11093 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13686 11093 1111 63 0 13623 0
vsize: 54744
[startup+900.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 11285 0 0 0 89963 50 0 0 25 0 1 0 834731391 56508416 11209 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13796 11209 1111 63 0 13733 0
vsize: 55184
[startup+910.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 11402 0 0 0 90962 51 0 0 25 0 1 0 834731391 56958976 11326 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13906 11326 1111 63 0 13843 0
vsize: 55624
[startup+920.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 11519 0 0 0 91962 51 0 0 25 0 1 0 834731391 57552896 11443 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14051 11443 1111 63 0 13988 0
vsize: 56204
[startup+930.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 11632 0 0 0 92962 51 0 0 25 0 1 0 834731391 58007552 11556 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14162 11556 1111 63 0 14099 0
vsize: 56648
[startup+940.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 11748 0 0 0 93961 52 0 0 25 0 1 0 834731391 58454016 11672 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14271 11672 1111 63 0 14208 0
vsize: 57084
[startup+950.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 11866 0 0 0 94961 53 0 0 25 0 1 0 834731391 58908672 11790 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14382 11790 1111 63 0 14319 0
vsize: 57528
[startup+960.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 11982 0 0 0 95960 54 0 0 25 0 1 0 834731391 59351040 11906 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14490 11906 1111 63 0 14427 0
vsize: 57960
[startup+970.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 12101 0 0 0 96960 54 0 0 25 0 1 0 834731391 59805696 12025 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14601 12025 1111 63 0 14538 0
vsize: 58404
[startup+980.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 12212 0 0 0 97960 55 0 0 25 0 1 0 834731391 60252160 12136 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14710 12136 1111 63 0 14647 0
vsize: 58840
[startup+990.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 12330 0 0 0 98959 55 0 0 25 0 1 0 834731391 60854272 12254 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14857 12254 1111 63 0 14794 0
vsize: 59428
[startup+1000.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 12446 0 0 0 99959 56 0 0 25 0 1 0 834731391 61300736 12370 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14966 12370 1111 63 0 14903 0
vsize: 59864
[startup+1010.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 12564 0 0 0 100958 56 0 0 25 0 1 0 834731391 61755392 12488 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15077 12488 1111 63 0 15014 0
vsize: 60308
[startup+1020.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 12682 0 0 0 101958 57 0 0 25 0 1 0 834731391 62201856 12606 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15186 12606 1111 63 0 15123 0
vsize: 60744
[startup+1030.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 12799 0 0 0 102958 58 0 0 25 0 1 0 834731391 62652416 12723 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15296 12723 1111 63 0 15233 0
vsize: 61184
[startup+1040.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 12916 0 0 0 103958 58 0 0 25 0 1 0 834731391 63254528 12840 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15443 12840 1111 63 0 15380 0
vsize: 61772
[startup+1050.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 13034 0 0 0 104957 58 0 0 25 0 1 0 834731391 63700992 12958 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15552 12958 1111 63 0 15489 0
vsize: 62208
[startup+1060.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 13153 0 0 0 105957 59 0 0 25 0 1 0 834731391 64155648 13077 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15663 13077 1111 63 0 15600 0
vsize: 62652
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 13269 0 0 0 106957 59 0 0 25 0 1 0 834731391 64602112 13193 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15772 13193 1111 63 0 15709 0
vsize: 63088
[startup+1080.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 13387 0 0 0 107956 60 0 0 25 0 1 0 834731391 65052672 13311 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15882 13311 1111 63 0 15819 0
vsize: 63528
[startup+1090.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 13504 0 0 0 108956 61 0 0 25 0 1 0 834731391 65650688 13428 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16028 13428 1111 63 0 15965 0
vsize: 64112
[startup+1100.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 13623 0 0 0 109955 61 0 0 25 0 1 0 834731391 66105344 13547 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16139 13547 1111 63 0 16076 0
vsize: 64556
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 13745 0 0 0 110955 62 0 0 25 0 1 0 834731391 66547712 13669 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16247 13669 1111 63 0 16184 0
vsize: 64988
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 13863 0 0 0 111955 62 0 0 25 0 1 0 834731391 67002368 13787 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16358 13787 1111 63 0 16295 0
vsize: 65432
[startup+1130.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 13981 0 0 0 112954 63 0 0 25 0 1 0 834731391 67600384 13905 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16504 13905 1111 63 0 16441 0
vsize: 66016
[startup+1140.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 14099 0 0 0 113954 63 0 0 25 0 1 0 834731391 68050944 14023 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16614 14023 1111 63 0 16551 0
vsize: 66456
[startup+1150.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 14216 0 0 0 114954 64 0 0 25 0 1 0 834731391 68497408 14140 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16723 14140 1111 63 0 16660 0
vsize: 66892
[startup+1160.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 14340 0 0 0 115954 64 0 0 25 0 1 0 834731391 68947968 14264 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16833 14264 1111 63 0 16770 0
vsize: 67332
[startup+1170.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 14459 0 0 0 116953 65 0 0 25 0 1 0 834731391 69550080 14383 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16980 14383 1111 63 0 16917 0
vsize: 67920
[startup+1180.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 14576 0 0 0 117953 65 0 0 25 0 1 0 834731391 70000640 14500 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17090 14500 1111 63 0 17027 0
vsize: 68360
[startup+1190.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 14695 0 0 0 118953 66 0 0 25 0 1 0 834731391 70451200 14619 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17200 14619 1111 63 0 17137 0
vsize: 68800
[startup+1200.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18075
Raw data (stat): 18018 (bsolo_lpr) R 18017 10795 10794 0 -1 0 14812 0 0 0 119952 66 0 0 25 0 1 0 834731391 70897664 14736 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17309 14736 1111 63 0 17246 0
vsize: 69236
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.05 s]
Raw data (loadavg): 1.00 0.98 0.91 1/54 18075
Raw data (stat): 18018 (bsolo_lpr) Z 18017 10795 10794 0 -1 1036 14812 0 0 0 119952 69 0 0 25 0 1 0 834731391 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.05
CPU time (s): 1200.22
CPU user time (s): 1199.53
CPU system time (s): 0.691894
CPU usage (%): 100.015
Max. virtual memory (Kb): 69236
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####