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-n3700.opb
MD5SUM	bc3b48d8361bf44c5b17a3bc4d19364a
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	29631666774144
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	29631666774144
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.42678
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 28202

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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:        704308 kB
Buffers:         24464 kB
Cached:         283752 kB
SwapCached:        640 kB
Active:          56432 kB
Inactive:       254296 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        704056 kB
SwapTotal:     2097892 kB
SwapFree:      2096760 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5644 kB
Slab:            14012 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 01:20:31 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 14002 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.92 0.95 0.90 2/54 11008
Raw data (stat): 11008 (runsolver) R 11007 3394 3393 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834746780 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 11008
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 1296 0 0 0 993 4 0 0 25 0 1 0 834746780 15511552 1220 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3787 1220 1111 63 0 3724 0
vsize: 15148
[startup+20.0012 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 11008
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 1406 0 0 0 1993 4 0 0 25 0 1 0 834746780 15941632 1330 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3892 1330 1111 63 0 3829 0
vsize: 15568
[startup+30.001 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 11008
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 1508 0 0 0 2993 5 0 0 25 0 1 0 834746780 16379904 1432 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3999 1432 1111 63 0 3936 0
vsize: 15996
[startup+40.0019 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 11008
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 1619 0 0 0 3992 5 0 0 25 0 1 0 834746780 16834560 1543 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4110 1543 1111 63 0 4047 0
vsize: 16440
[startup+50.0027 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 11010
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 1730 0 0 0 4991 6 0 0 25 0 1 0 834746780 17264640 1654 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4215 1654 1111 63 0 4152 0
vsize: 16860
[startup+60.0025 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 11010
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 1834 0 0 0 5990 7 0 0 25 0 1 0 834746780 17715200 1758 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4325 1758 1111 63 0 4262 0
vsize: 17300
[startup+70.0034 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 11010
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 1949 0 0 0 6990 8 0 0 25 0 1 0 834746780 18161664 1873 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4434 1873 1111 63 0 4371 0
vsize: 17736
[startup+80.0042 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 11010
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 2053 0 0 0 7990 8 0 0 25 0 1 0 834746780 18616320 1977 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4545 1977 1111 63 0 4482 0
vsize: 18180
[startup+90.0051 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 11010
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 2162 0 0 0 8989 9 0 0 25 0 1 0 834746780 19058688 2086 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4653 2086 1111 63 0 4590 0
vsize: 18612
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 11010
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 2277 0 0 0 9989 9 0 0 25 0 1 0 834746780 19501056 2201 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4761 2201 1111 63 0 4698 0
vsize: 19044
[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11010
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 2381 0 0 0 10988 10 0 0 25 0 1 0 834746780 19955712 2305 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4872 2305 1111 63 0 4809 0
vsize: 19488
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11010
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 2491 0 0 0 11988 10 0 0 25 0 1 0 834746780 20402176 2415 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4981 2415 1111 63 0 4918 0
vsize: 19924
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11010
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 2600 0 0 0 12988 11 0 0 25 0 1 0 834746780 20856832 2524 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5092 2524 1111 63 0 5029 0
vsize: 20368
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11010
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 2710 0 0 0 13987 11 0 0 25 0 1 0 834746780 21299200 2634 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5200 2634 1111 63 0 5137 0
vsize: 20800
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11010
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 2819 0 0 0 14987 12 0 0 25 0 1 0 834746780 21725184 2743 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5304 2743 1111 63 0 5241 0
vsize: 21216
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11010
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 2924 0 0 0 15987 12 0 0 25 0 1 0 834746780 22171648 2848 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5413 2848 1111 63 0 5350 0
vsize: 21652
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11010
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 3038 0 0 0 16987 12 0 0 25 0 1 0 834746780 22622208 2962 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5523 2962 1111 63 0 5460 0
vsize: 22092
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11010
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 3143 0 0 0 17986 13 0 0 25 0 1 0 834746780 23072768 3067 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5633 3067 1111 63 0 5570 0
vsize: 22532
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11010
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 3258 0 0 0 18986 13 0 0 25 0 1 0 834746780 23662592 3182 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5777 3182 1111 63 0 5714 0
vsize: 23108
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11010
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 3369 0 0 0 19985 14 0 0 25 0 1 0 834746780 24113152 3293 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5887 3293 1111 63 0 5824 0
vsize: 23548
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11010
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 3479 0 0 0 20985 15 0 0 25 0 1 0 834746780 24559616 3403 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5996 3403 1111 63 0 5933 0
vsize: 23984
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11010
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 3589 0 0 0 21984 15 0 0 25 0 1 0 834746780 25010176 3513 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6106 3513 1111 63 0 6043 0
vsize: 24424
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11010
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 3699 0 0 0 22984 16 0 0 25 0 1 0 834746780 25460736 3623 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6216 3623 1111 63 0 6153 0
vsize: 24864
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11010
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 3810 0 0 0 23984 16 0 0 25 0 1 0 834746780 25911296 3734 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6326 3734 1111 63 0 6263 0
vsize: 25304
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11010
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 3919 0 0 0 24984 16 0 0 25 0 1 0 834746780 26357760 3843 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6435 3843 1111 63 0 6372 0
vsize: 25740
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11010
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 4030 0 0 0 25983 17 0 0 25 0 1 0 834746780 26804224 3954 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6544 3954 1111 63 0 6481 0
vsize: 26176
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11010
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 4140 0 0 0 26982 18 0 0 25 0 1 0 834746780 27258880 4064 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6655 4064 1111 63 0 6592 0
vsize: 26620
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11010
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 4251 0 0 0 27982 18 0 0 25 0 1 0 834746780 27705344 4175 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6764 4175 1111 63 0 6701 0
vsize: 27056
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11010
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 4360 0 0 0 28982 19 0 0 25 0 1 0 834746780 28160000 4284 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6875 4284 1111 63 0 6812 0
vsize: 27500
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11010
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 4470 0 0 0 29981 20 0 0 25 0 1 0 834746780 28602368 4394 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6983 4394 1111 63 0 6920 0
vsize: 27932
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11010
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 4580 0 0 0 30981 20 0 0 25 0 1 0 834746780 29028352 4504 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7087 4504 1111 63 0 7024 0
vsize: 28348
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11010
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 4691 0 0 0 31981 20 0 0 25 0 1 0 834746780 29474816 4615 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7196 4615 1111 63 0 7133 0
vsize: 28784
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 4800 0 0 0 32980 21 0 0 25 0 1 0 834746780 29925376 4724 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7306 4724 1111 63 0 7243 0
vsize: 29224
[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 4911 0 0 0 33980 21 0 0 25 0 1 0 834746780 30375936 4835 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7416 4835 1111 63 0 7353 0
vsize: 29664
[startup+350.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 5020 0 0 0 34979 22 0 0 25 0 1 0 834746780 30826496 4944 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7526 4944 1111 63 0 7463 0
vsize: 30104
[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 5142 0 0 0 35979 22 0 0 25 0 1 0 834746780 31309824 5066 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7644 5066 1111 63 0 7581 0
vsize: 30576
[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 5251 0 0 0 36979 23 0 0 25 0 1 0 834746780 31760384 5175 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7754 5175 1111 63 0 7691 0
vsize: 31016
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 5363 0 0 0 37978 23 0 0 25 0 1 0 834746780 32210944 5287 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7864 5287 1111 63 0 7801 0
vsize: 31456
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 5478 0 0 0 38978 24 0 0 25 0 1 0 834746780 32661504 5402 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7974 5402 1111 63 0 7911 0
vsize: 31896
[startup+400.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 5583 0 0 0 39977 25 0 0 25 0 1 0 834746780 33107968 5507 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8083 5507 1111 63 0 8020 0
vsize: 32332
[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 5699 0 0 0 40977 25 0 0 25 0 1 0 834746780 33558528 5623 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8193 5623 1111 63 0 8130 0
vsize: 32772
[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 5810 0 0 0 41976 26 0 0 25 0 1 0 834746780 34009088 5734 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8303 5734 1111 63 0 8240 0
vsize: 33212
[startup+430.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 5920 0 0 0 42976 26 0 0 25 0 1 0 834746780 34459648 5844 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8413 5844 1111 63 0 8350 0
vsize: 33652
[startup+440.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 6031 0 0 0 43976 26 0 0 25 0 1 0 834746780 34906112 5955 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8522 5955 1111 63 0 8459 0
vsize: 34088
[startup+450.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 6141 0 0 0 44976 27 0 0 25 0 1 0 834746780 35360768 6065 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8633 6065 1111 63 0 8570 0
vsize: 34532
[startup+460.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 6258 0 0 0 45975 27 0 0 25 0 1 0 834746780 35958784 6182 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8779 6182 1111 63 0 8716 0
vsize: 35116
[startup+470.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 6368 0 0 0 46974 28 0 0 25 0 1 0 834746780 36409344 6292 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8889 6292 1111 63 0 8826 0
vsize: 35556
[startup+480.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 6479 0 0 0 47974 29 0 0 25 0 1 0 834746780 36859904 6403 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8999 6403 1111 63 0 8936 0
vsize: 35996
[startup+490.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 6594 0 0 0 48973 29 0 0 25 0 1 0 834746780 37306368 6518 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9108 6518 1111 63 0 9045 0
vsize: 36432
[startup+500.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 6700 0 0 0 49973 30 0 0 25 0 1 0 834746780 37761024 6624 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9219 6624 1111 63 0 9156 0
vsize: 36876
[startup+510.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 6816 0 0 0 50973 30 0 0 25 0 1 0 834746780 38207488 6740 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9328 6740 1111 63 0 9265 0
vsize: 37312
[startup+520.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 6928 0 0 0 51972 31 0 0 25 0 1 0 834746780 38658048 6852 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9438 6852 1111 63 0 9375 0
vsize: 37752
[startup+530.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 7037 0 0 0 52972 31 0 0 25 0 1 0 834746780 39108608 6961 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9548 6961 1111 63 0 9485 0
vsize: 38192
[startup+540.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 7155 0 0 0 53971 32 0 0 25 0 1 0 834746780 39559168 7079 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9658 7079 1111 63 0 9595 0
vsize: 38632
[startup+550.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 7264 0 0 0 54971 33 0 0 25 0 1 0 834746780 40005632 7188 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9767 7188 1111 63 0 9704 0
vsize: 39068
[startup+560.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 7376 0 0 0 55970 33 0 0 25 0 1 0 834746780 40456192 7300 4294967295 134512640 134714508 3221224592 3221222820 1077414383 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.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 7492 0 0 0 56970 34 0 0 25 0 1 0 834746780 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.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 7610 0 0 0 57970 34 0 0 25 0 1 0 834746780 41357312 7534 4294967295 134512640 134714508 3221224592 3221223248 134527948 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10097 7534 1111 63 0 10034 0
vsize: 40388
[startup+590.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 7720 0 0 0 58970 34 0 0 25 0 1 0 834746780 41803776 7644 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10206 7644 1111 63 0 10143 0
vsize: 40824
[startup+600.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 7837 0 0 0 59970 34 0 0 25 0 1 0 834746780 42405888 7761 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10353 7761 1111 63 0 10290 0
vsize: 41412
[startup+610.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 7948 0 0 0 60970 34 0 0 25 0 1 0 834746780 42852352 7872 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10462 7872 1111 63 0 10399 0
vsize: 41848
[startup+620.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 8065 0 0 0 61970 35 0 0 25 0 1 0 834746780 43307008 7989 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10573 7989 1111 63 0 10510 0
vsize: 42292
[startup+630.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 8181 0 0 0 62969 35 0 0 25 0 1 0 834746780 43753472 8105 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10682 8105 1111 63 0 10619 0
vsize: 42728
[startup+640.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 8293 0 0 0 63969 36 0 0 25 0 1 0 834746780 44183552 8217 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10787 8217 1111 63 0 10724 0
vsize: 43148
[startup+650.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 8410 0 0 0 64969 36 0 0 25 0 1 0 834746780 44621824 8334 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10894 8334 1111 63 0 10831 0
vsize: 43576
[startup+660.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 8521 0 0 0 65969 36 0 0 25 0 1 0 834746780 45072384 8445 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11004 8445 1111 63 0 10941 0
vsize: 44016
[startup+670.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 8637 0 0 0 66969 36 0 0 25 0 1 0 834746780 45670400 8561 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11150 8561 1111 63 0 11087 0
vsize: 44600
[startup+680.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 8754 0 0 0 67969 36 0 0 25 0 1 0 834746780 46125056 8678 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11261 8678 1111 63 0 11198 0
vsize: 45044
[startup+690.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 8870 0 0 0 68969 37 0 0 25 0 1 0 834746780 46567424 8794 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11369 8794 1111 63 0 11306 0
vsize: 45476
[startup+700.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 8982 0 0 0 69969 37 0 0 25 0 1 0 834746780 47022080 8906 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11480 8906 1111 63 0 11417 0
vsize: 45920
[startup+710.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 9117 0 0 0 70969 37 0 0 25 0 1 0 834746780 47718400 9041 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11650 9041 1111 63 0 11587 0
vsize: 46600
[startup+720.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 9229 0 0 0 71969 37 0 0 25 0 1 0 834746780 48144384 9153 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11754 9153 1111 63 0 11691 0
vsize: 47016
[startup+730.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 9345 0 0 0 72969 37 0 0 25 0 1 0 834746780 48590848 9269 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11863 9269 1111 63 0 11800 0
vsize: 47452
[startup+740.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 9462 0 0 0 73969 38 0 0 25 0 1 0 834746780 49041408 9386 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11973 9386 1111 63 0 11910 0
vsize: 47892
[startup+750.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 9579 0 0 0 74969 38 0 0 25 0 1 0 834746780 49639424 9503 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12119 9503 1111 63 0 12056 0
vsize: 48476
[startup+760.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 9698 0 0 0 75969 38 0 0 25 0 1 0 834746780 50094080 9622 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12230 9622 1111 63 0 12167 0
vsize: 48920
[startup+770.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 9816 0 0 0 76969 38 0 0 25 0 1 0 834746780 50536448 9740 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12338 9740 1111 63 0 12275 0
vsize: 49352
[startup+780.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 9932 0 0 0 77969 39 0 0 25 0 1 0 834746780 50958336 9856 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12441 9856 1111 63 0 12378 0
vsize: 49764
[startup+790.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 10044 0 0 0 78969 39 0 0 25 0 1 0 834746780 51408896 9968 4294967295 134512640 134714508 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12551 9968 1111 63 0 12488 0
vsize: 50204
[startup+800.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 10161 0 0 0 79969 39 0 0 25 0 1 0 834746780 52011008 10085 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12698 10085 1111 63 0 12635 0
vsize: 50792
[startup+810.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 10279 0 0 0 80969 39 0 0 25 0 1 0 834746780 52461568 10203 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12808 10203 1111 63 0 12745 0
vsize: 51232
[startup+820.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 10395 0 0 0 81969 40 0 0 25 0 1 0 834746780 52908032 10319 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12917 10319 1111 63 0 12854 0
vsize: 51668
[startup+830.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 10507 0 0 0 82969 40 0 0 25 0 1 0 834746780 53362688 10431 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13028 10431 1111 63 0 12965 0
vsize: 52112
[startup+840.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 10625 0 0 0 83969 40 0 0 25 0 1 0 834746780 53809152 10549 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13137 10549 1111 63 0 13074 0
vsize: 52548
[startup+850.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 10743 0 0 0 84969 40 0 0 25 0 1 0 834746780 54259712 10667 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13247 10667 1111 63 0 13184 0
vsize: 52988
[startup+860.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 10859 0 0 0 85968 41 0 0 25 0 1 0 834746780 54857728 10783 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13393 10783 1111 63 0 13330 0
vsize: 53572
[startup+870.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 10977 0 0 0 86969 41 0 0 25 0 1 0 834746780 55308288 10901 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13503 10901 1111 63 0 13440 0
vsize: 54012
[startup+880.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 11094 0 0 0 87971 41 0 0 25 0 1 0 834746780 55754752 11018 4294967295 134512640 134714508 3221224592 3221223248 134527948 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13612 11018 1111 63 0 13549 0
vsize: 54448
[startup+890.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 11213 0 0 0 88971 42 0 0 25 0 1 0 834746780 56209408 11137 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13723 11137 1111 63 0 13660 0
vsize: 54892
[startup+900.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 11329 0 0 0 89971 42 0 0 25 0 1 0 834746780 56655872 11253 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13832 11253 1111 63 0 13769 0
vsize: 55328
[startup+910.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 11447 0 0 0 90971 42 0 0 25 0 1 0 834746780 57257984 11371 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13979 11371 1111 63 0 13916 0
vsize: 55916
[startup+920.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 11564 0 0 0 91971 42 0 0 25 0 1 0 834746780 57704448 11488 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14088 11488 1111 63 0 14025 0
vsize: 56352
[startup+930.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 11683 0 0 0 92970 43 0 0 25 0 1 0 834746780 58155008 11607 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14198 11607 1111 63 0 14135 0
vsize: 56792
[startup+940.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 11801 0 0 0 93971 43 0 0 25 0 1 0 834746780 58605568 11725 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14308 11725 1111 63 0 14245 0
vsize: 57232
[startup+950.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 11917 0 0 0 94971 43 0 0 25 0 1 0 834746780 59056128 11841 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14418 11841 1111 63 0 14355 0
vsize: 57672
[startup+960.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 12036 0 0 0 95970 43 0 0 25 0 1 0 834746780 59658240 11960 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14565 11960 1111 63 0 14502 0
vsize: 58260
[startup+970.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 12154 0 0 0 96970 44 0 0 25 0 1 0 834746780 60104704 12078 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14674 12078 1111 63 0 14611 0
vsize: 58696
[startup+980.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 12278 0 0 0 97970 44 0 0 25 0 1 0 834746780 60555264 12202 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14784 12202 1111 63 0 14721 0
vsize: 59136
[startup+990.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 12394 0 0 0 98970 45 0 0 25 0 1 0 834746780 61005824 12318 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14894 12318 1111 63 0 14831 0
vsize: 59576
[startup+1000.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 12512 0 0 0 99970 45 0 0 25 0 1 0 834746780 61607936 12436 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15041 12436 1111 63 0 14978 0
vsize: 60164
[startup+1010.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 12629 0 0 0 100970 45 0 0 25 0 1 0 834746780 62050304 12553 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15149 12553 1111 63 0 15086 0
vsize: 60596
[startup+1020.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 12748 0 0 0 101970 45 0 0 25 0 1 0 834746780 62504960 12672 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15260 12672 1111 63 0 15197 0
vsize: 61040
[startup+1030.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 12870 0 0 0 102970 45 0 0 25 0 1 0 834746780 62951424 12794 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15369 12794 1111 63 0 15306 0
vsize: 61476
[startup+1040.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 12989 0 0 0 103970 45 0 0 25 0 1 0 834746780 63553536 12913 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15516 12913 1111 63 0 15453 0
vsize: 62064
[startup+1050.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 13106 0 0 0 104970 46 0 0 25 0 1 0 834746780 64000000 13030 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15625 13030 1111 63 0 15562 0
vsize: 62500
[startup+1060.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 13225 0 0 0 105970 46 0 0 25 0 1 0 834746780 64450560 13149 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15735 13149 1111 63 0 15672 0
vsize: 62940
[startup+1070.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 13341 0 0 0 106970 46 0 0 25 0 1 0 834746780 64901120 13265 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15845 13265 1111 63 0 15782 0
vsize: 63380
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 13460 0 0 0 107970 46 0 0 25 0 1 0 834746780 65351680 13384 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15955 13384 1111 63 0 15892 0
vsize: 63820
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 13585 0 0 0 108970 46 0 0 25 0 1 0 834746780 65953792 13509 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16102 13509 1111 63 0 16039 0
vsize: 64408
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 13702 0 0 0 109970 46 0 0 25 0 1 0 834746780 66400256 13626 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16211 13626 1111 63 0 16148 0
vsize: 64844
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 13827 0 0 0 110970 47 0 0 25 0 1 0 834746780 66850816 13751 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16321 13751 1111 63 0 16258 0
vsize: 65284
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 13943 0 0 0 111970 47 0 0 25 0 1 0 834746780 67448832 13867 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16467 13867 1111 63 0 16404 0
vsize: 65868
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 14063 0 0 0 112970 47 0 0 25 0 1 0 834746780 67903488 13987 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16578 13987 1111 63 0 16515 0
vsize: 66312
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 14180 0 0 0 113970 48 0 0 25 0 1 0 834746780 68345856 14104 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16686 14104 1111 63 0 16623 0
vsize: 66744
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 14305 0 0 0 114970 48 0 0 25 0 1 0 834746780 68800512 14229 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16797 14229 1111 63 0 16734 0
vsize: 67188
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 14421 0 0 0 115969 48 0 0 25 0 1 0 834746780 69398528 14345 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16943 14345 1111 63 0 16880 0
vsize: 67772
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 14547 0 0 0 116969 49 0 0 25 0 1 0 834746780 69849088 14471 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17053 14471 1111 63 0 16990 0
vsize: 68212
[startup+1180.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 14664 0 0 0 117969 49 0 0 25 0 1 0 834746780 70295552 14588 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17162 14588 1111 63 0 17099 0
vsize: 68648
[startup+1190.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 14783 0 0 0 118969 50 0 0 25 0 1 0 834746780 70746112 14707 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17272 14707 1111 63 0 17209 0
vsize: 69088
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11012
Raw data (stat): 11008 (bsolo_lpr) R 11007 3394 3393 0 -1 0 14907 0 0 0 119969 50 0 0 25 0 1 0 834746780 71348224 14831 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17419 14831 1111 63 0 17356 0
vsize: 69676
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 11012
Raw data (stat): 11008 (bsolo_lpr) Z 11007 3394 3393 0 -1 1036 14907 0 0 0 119969 53 0 0 25 0 1 0 834746780 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.11
CPU time (s): 1200.22
CPU user time (s): 1199.69
CPU system time (s): 0.531919
CPU usage (%): 100.01
Max. virtual memory (Kb): 69676
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####