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-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3708.opb
MD5SUM	5b991f27ed09188f1ae8c5e20a0bcb79
Bench Category	optimization, medium integers (OPTMEDINT)
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	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39212410939
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39212410939
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.997848
Number of variables	105000
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	21
Maximum length of a constraint	2000
Trace number 26932

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        780368 kB
Buffers:         34748 kB
Cached:         197996 kB
SwapCached:        224 kB
Active:          81660 kB
Inactive:       153972 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        780116 kB
SwapTotal:     2097136 kB
SwapFree:      2096792 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6568 kB
Slab:            13012 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 18:32:38 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 19098 7 1200.26 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.93 0.98 0.92 2/54 19406
Raw data (stat): 19406 (runsolver) R 19405 15547 15546 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774096386 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99975 s]
Raw data (loadavg): 0.94 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 1158 0 0 0 993 4 0 0 25 0 1 0 774096386 16052224 1082 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3919 1082 1111 63 0 3856 0
vsize: 15676
[startup+20.0009 s]
Raw data (loadavg): 0.95 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 1398 0 0 0 1993 4 0 0 25 0 1 0 774096386 17039360 1322 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4160 1322 1111 63 0 4097 0
vsize: 16640
[startup+30.0008 s]
Raw data (loadavg): 0.95 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 1648 0 0 0 2993 5 0 0 25 0 1 0 774096386 18178048 1572 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4438 1572 1111 63 0 4375 0
vsize: 17752
[startup+40.0013 s]
Raw data (loadavg): 0.96 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 1890 0 0 0 3993 5 0 0 25 0 1 0 774096386 19165184 1814 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4679 1814 1111 63 0 4616 0
vsize: 18716
[startup+50.0022 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 2137 0 0 0 4992 6 0 0 25 0 1 0 774096386 20152320 2061 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4920 2061 1111 63 0 4857 0
vsize: 19680
[startup+60.0015 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 2390 0 0 0 5992 6 0 0 25 0 1 0 774096386 21135360 2314 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5160 2314 1111 63 0 5097 0
vsize: 20640
[startup+70.001 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 2637 0 0 0 6992 7 0 0 25 0 1 0 774096386 22114304 2561 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5399 2561 1111 63 0 5336 0
vsize: 21596
[startup+80.0012 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 2885 0 0 0 7992 7 0 0 25 0 1 0 774096386 23240704 2809 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5674 2809 1111 63 0 5611 0
vsize: 22696
[startup+90.0011 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 3132 0 0 0 8992 7 0 0 25 0 1 0 774096386 24227840 3056 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5915 3056 1111 63 0 5852 0
vsize: 23660
[startup+100.001 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 3380 0 0 0 9991 8 0 0 25 0 1 0 774096386 25214976 3304 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6156 3304 1111 63 0 6093 0
vsize: 24624
[startup+110.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 3628 0 0 0 10991 8 0 0 25 0 1 0 774096386 26202112 3552 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6397 3552 1111 63 0 6334 0
vsize: 25588
[startup+120.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 3884 0 0 0 11991 8 0 0 25 0 1 0 774096386 27348992 3808 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6677 3808 1111 63 0 6614 0
vsize: 26708
[startup+130 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 4138 0 0 0 12991 9 0 0 25 0 1 0 774096386 28336128 4062 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6918 4062 1111 63 0 6855 0
vsize: 27672
[startup+140.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 4385 0 0 0 13991 9 0 0 25 0 1 0 774096386 29315072 4309 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7157 4309 1111 63 0 7094 0
vsize: 28628
[startup+150.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 4640 0 0 0 14990 10 0 0 25 0 1 0 774096386 30441472 4564 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7432 4564 1111 63 0 7369 0
vsize: 29728
[startup+160.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 4888 0 0 0 15990 10 0 0 25 0 1 0 774096386 31428608 4812 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7673 4812 1111 63 0 7610 0
vsize: 30692
[startup+170.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 5137 0 0 0 16990 11 0 0 25 0 1 0 774096386 32415744 5061 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7914 5061 1111 63 0 7851 0
vsize: 31656
[startup+180 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 5393 0 0 0 17989 11 0 0 25 0 1 0 774096386 33402880 5317 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8155 5317 1111 63 0 8092 0
vsize: 32620
[startup+190.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 5647 0 0 0 18989 12 0 0 25 0 1 0 774096386 34529280 5571 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8430 5571 1111 63 0 8367 0
vsize: 33720
[startup+200.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 5895 0 0 0 19989 12 0 0 25 0 1 0 774096386 35516416 5819 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8671 5819 1111 63 0 8608 0
vsize: 34684
[startup+210 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 6148 0 0 0 20988 13 0 0 25 0 1 0 774096386 36495360 6072 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8910 6072 1111 63 0 8847 0
vsize: 35640
[startup+220 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 6403 0 0 0 21988 13 0 0 25 0 1 0 774096386 37625856 6327 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9186 6327 1111 63 0 9123 0
vsize: 36744
[startup+230 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 6668 0 0 0 22988 14 0 0 25 0 1 0 774096386 38760448 6592 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9463 6592 1111 63 0 9400 0
vsize: 37852
[startup+240 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 6923 0 0 0 23987 14 0 0 25 0 1 0 774096386 39747584 6847 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9704 6847 1111 63 0 9641 0
vsize: 38816
[startup+250 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 7179 0 0 0 24987 15 0 0 25 0 1 0 774096386 40878080 7103 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9980 7103 1111 63 0 9917 0
vsize: 39920
[startup+260 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 7434 0 0 0 25987 15 0 0 25 0 1 0 774096386 41861120 7358 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10220 7358 1111 63 0 10157 0
vsize: 40880
[startup+270 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 7689 0 0 0 26987 15 0 0 25 0 1 0 774096386 42848256 7613 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10461 7613 1111 63 0 10398 0
vsize: 41844
[startup+280 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 7945 0 0 0 27987 16 0 0 25 0 1 0 774096386 43974656 7869 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10736 7869 1111 63 0 10673 0
vsize: 42944
[startup+290.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 8205 0 0 0 28987 16 0 0 25 0 1 0 774096386 44957696 8129 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10976 8129 1111 63 0 10913 0
vsize: 43904
[startup+300.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 8460 0 0 0 29986 17 0 0 25 0 1 0 774096386 46084096 8384 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11251 8384 1111 63 0 11188 0
vsize: 45004
[startup+310 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 8717 0 0 0 30986 17 0 0 25 0 1 0 774096386 47071232 8641 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11492 8641 1111 63 0 11429 0
vsize: 45968
[startup+320 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 8978 0 0 0 31985 18 0 0 25 0 1 0 774096386 48197632 8902 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11767 8902 1111 63 0 11704 0
vsize: 47068
[startup+330.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 9240 0 0 0 32985 19 0 0 25 0 1 0 774096386 49184768 9164 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12008 9164 1111 63 0 11945 0
vsize: 48032
[startup+340.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 9496 0 0 0 33985 19 0 0 25 0 1 0 774096386 50311168 9420 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12283 9420 1111 63 0 12220 0
vsize: 49132
[startup+350.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 9757 0 0 0 34984 20 0 0 25 0 1 0 774096386 51298304 9681 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12524 9681 1111 63 0 12461 0
vsize: 50096
[startup+360 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 10020 0 0 0 35984 20 0 0 25 0 1 0 774096386 52424704 9944 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12799 9944 1111 63 0 12736 0
vsize: 51196
[startup+370 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 10276 0 0 0 36984 20 0 0 25 0 1 0 774096386 53403648 10200 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13038 10200 1111 63 0 12975 0
vsize: 52152
[startup+380 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 10536 0 0 0 37984 20 0 0 25 0 1 0 774096386 54530048 10460 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13313 10460 1111 63 0 13250 0
vsize: 53252
[startup+390 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 10799 0 0 0 38983 21 0 0 25 0 1 0 774096386 55656448 10723 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13588 10723 1111 63 0 13525 0
vsize: 54352
[startup+399.999 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 11061 0 0 0 39983 21 0 0 25 0 1 0 774096386 56643584 10985 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13829 10985 1111 63 0 13766 0
vsize: 55316
[startup+409.999 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 11328 0 0 0 40983 22 0 0 25 0 1 0 774096386 57774080 11252 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14105 11252 1111 63 0 14042 0
vsize: 56420
[startup+419.999 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 11590 0 0 0 41983 22 0 0 25 0 1 0 774096386 58900480 11514 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14380 11514 1111 63 0 14317 0
vsize: 57520
[startup+429.998 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 11852 0 0 0 42982 23 0 0 25 0 1 0 774096386 59883520 11776 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14620 11776 1111 63 0 14557 0
vsize: 58480
[startup+439.999 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 12137 0 0 0 43982 23 0 0 25 0 1 0 774096386 61231104 12061 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14949 12061 1111 63 0 14886 0
vsize: 59796
[startup+449.999 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 12400 0 0 0 44982 24 0 0 25 0 1 0 774096386 62218240 12324 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15190 12324 1111 63 0 15127 0
vsize: 60760
[startup+459.999 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 12669 0 0 0 45982 24 0 0 25 0 1 0 774096386 63340544 12593 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15464 12593 1111 63 0 15401 0
vsize: 61856
[startup+469.998 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 12935 0 0 0 46981 25 0 0 25 0 1 0 774096386 64466944 12859 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15739 12859 1111 63 0 15676 0
vsize: 62956
[startup+479.998 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 13198 0 0 0 47981 25 0 0 25 0 1 0 774096386 65593344 13122 4294967295 134512640 134714508 3221224592 3221223248 134527948 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16014 13122 1111 63 0 15951 0
vsize: 64056
[startup+489.997 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 13467 0 0 0 48981 25 0 0 25 0 1 0 774096386 66580480 13391 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16255 13391 1111 63 0 16192 0
vsize: 65020
[startup+499.998 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 13737 0 0 0 49980 26 0 0 25 0 1 0 774096386 67706880 13661 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16530 13661 1111 63 0 16467 0
vsize: 66120
[startup+509.998 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 13999 0 0 0 50980 27 0 0 25 0 1 0 774096386 68833280 13923 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16805 13923 1111 63 0 16742 0
vsize: 67220
[startup+519.997 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 14274 0 0 0 51979 27 0 0 25 0 1 0 774096386 69959680 14198 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17080 14198 1111 63 0 17017 0
vsize: 68320
[startup+529.997 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 14537 0 0 0 52979 28 0 0 25 0 1 0 774096386 70946816 14461 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17321 14461 1111 63 0 17258 0
vsize: 69284
[startup+539.996 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 14813 0 0 0 53978 29 0 0 25 0 1 0 774096386 72073216 14737 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17596 14737 1111 63 0 17533 0
vsize: 70384
[startup+549.996 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 15081 0 0 0 54978 29 0 0 25 0 1 0 774096386 73199616 15005 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17871 15005 1111 63 0 17808 0
vsize: 71484
[startup+559.996 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 15351 0 0 0 55978 30 0 0 25 0 1 0 774096386 74326016 15275 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18146 15275 1111 63 0 18083 0
vsize: 72584
[startup+569.996 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 15626 0 0 0 56977 30 0 0 25 0 1 0 774096386 75452416 15550 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18421 15550 1111 63 0 18358 0
vsize: 73684
[startup+579.995 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 15902 0 0 0 57977 31 0 0 25 0 1 0 774096386 76578816 15826 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18696 15826 1111 63 0 18633 0
vsize: 74784
[startup+589.995 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 16170 0 0 0 58976 32 0 0 25 0 1 0 774096386 77701120 16094 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18970 16094 1111 63 0 18907 0
vsize: 75880
[startup+599.996 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 16439 0 0 0 59975 33 0 0 25 0 1 0 774096386 78827520 16363 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19245 16363 1111 63 0 19182 0
vsize: 76980
[startup+609.995 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 16715 0 0 0 60975 34 0 0 25 0 1 0 774096386 79953920 16639 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19520 16639 1111 63 0 19457 0
vsize: 78080
[startup+619.995 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 16991 0 0 0 61974 34 0 0 25 0 1 0 774096386 81080320 16915 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19795 16915 1111 63 0 19732 0
vsize: 79180
[startup+629.994 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 17267 0 0 0 62974 35 0 0 25 0 1 0 774096386 82206720 17191 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20070 17191 1111 63 0 20007 0
vsize: 80280
[startup+639.994 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 17543 0 0 0 63973 35 0 0 25 0 1 0 774096386 83333120 17467 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20345 17467 1111 63 0 20282 0
vsize: 81380
[startup+649.993 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 17818 0 0 0 64973 36 0 0 25 0 1 0 774096386 84459520 17742 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20620 17742 1111 63 0 20557 0
vsize: 82480
[startup+659.993 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 18094 0 0 0 65972 37 0 0 25 0 1 0 774096386 85590016 18018 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20896 18018 1111 63 0 20833 0
vsize: 83584
[startup+669.994 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 18377 0 0 0 66972 37 0 0 25 0 1 0 774096386 86716416 18301 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21171 18301 1111 63 0 21108 0
vsize: 84684
[startup+679.993 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 18652 0 0 0 67972 38 0 0 25 0 1 0 774096386 87842816 18576 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21446 18576 1111 63 0 21383 0
vsize: 85784
[startup+689.993 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 18936 0 0 0 68971 38 0 0 25 0 1 0 774096386 88969216 18860 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21721 18860 1111 63 0 21658 0
vsize: 86884
[startup+699.993 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 19211 0 0 0 69971 39 0 0 25 0 1 0 774096386 90095616 19135 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21996 19135 1111 63 0 21933 0
vsize: 87984
[startup+709.993 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 19494 0 0 0 70970 40 0 0 25 0 1 0 774096386 91222016 19418 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22271 19418 1111 63 0 22208 0
vsize: 89084
[startup+719.992 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 19777 0 0 0 71970 40 0 0 25 0 1 0 774096386 92348416 19701 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22546 19701 1111 63 0 22483 0
vsize: 90184
[startup+729.992 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 20052 0 0 0 72970 41 0 0 25 0 1 0 774096386 93474816 19976 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22821 19976 1111 63 0 22758 0
vsize: 91284
[startup+739.992 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 20336 0 0 0 73969 41 0 0 25 0 1 0 774096386 94744576 20260 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23131 20260 1111 63 0 23068 0
vsize: 92524
[startup+749.992 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 20618 0 0 0 74969 42 0 0 25 0 1 0 774096386 95870976 20542 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23406 20542 1111 63 0 23343 0
vsize: 93624
[startup+759.992 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 20901 0 0 0 75968 43 0 0 25 0 1 0 774096386 96997376 20825 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23681 20825 1111 63 0 23618 0
vsize: 94724
[startup+769.991 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 21184 0 0 0 76967 44 0 0 25 0 1 0 774096386 98119680 21108 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23955 21108 1111 63 0 23892 0
vsize: 95820
[startup+779.991 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 21473 0 0 0 77967 44 0 0 25 0 1 0 774096386 99385344 21397 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24264 21397 1111 63 0 24201 0
vsize: 97056
[startup+789.99 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 21761 0 0 0 78967 44 0 0 25 0 1 0 774096386 100511744 21685 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24539 21685 1111 63 0 24476 0
vsize: 98156
[startup+799.991 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 22044 0 0 0 79966 45 0 0 25 0 1 0 774096386 101638144 21968 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24814 21968 1111 63 0 24751 0
vsize: 99256
[startup+809.99 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 22327 0 0 0 80966 45 0 0 25 0 1 0 774096386 102764544 22251 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25089 22251 1111 63 0 25026 0
vsize: 100356
[startup+819.99 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 22616 0 0 0 81966 45 0 0 25 0 1 0 774096386 104030208 22540 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25398 22540 1111 63 0 25335 0
vsize: 101592
[startup+829.989 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 22904 0 0 0 82966 46 0 0 25 0 1 0 774096386 105160704 22828 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25674 22828 1111 63 0 25611 0
vsize: 102696
[startup+839.989 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 23227 0 0 0 83966 47 0 0 25 0 1 0 774096386 106786816 23151 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26071 23151 1111 63 0 26008 0
vsize: 104284
[startup+849.989 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 23515 0 0 0 84965 48 0 0 25 0 1 0 774096386 107913216 23439 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26346 23439 1111 63 0 26283 0
vsize: 105384
[startup+859.989 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 23806 0 0 0 85964 48 0 0 25 0 1 0 774096386 109178880 23730 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26655 23730 1111 63 0 26592 0
vsize: 106620
[startup+869.989 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 24095 0 0 0 86964 48 0 0 25 0 1 0 774096386 110305280 24019 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26930 24019 1111 63 0 26867 0
vsize: 107720
[startup+879.988 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 24385 0 0 0 87964 49 0 0 25 0 1 0 774096386 111431680 24309 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27205 24309 1111 63 0 27142 0
vsize: 108820
[startup+889.988 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 24675 0 0 0 88963 50 0 0 25 0 1 0 774096386 112701440 24599 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27515 24599 1111 63 0 27452 0
vsize: 110060
[startup+899.988 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 24970 0 0 0 89963 51 0 0 25 0 1 0 774096386 113827840 24894 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27790 24894 1111 63 0 27727 0
vsize: 111160
[startup+909.988 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 25261 0 0 0 90962 51 0 0 25 0 1 0 774096386 115093504 25185 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28099 25185 1111 63 0 28036 0
vsize: 112396
[startup+919.989 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 25557 0 0 0 91962 52 0 0 25 0 1 0 774096386 116219904 25481 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28374 25481 1111 63 0 28311 0
vsize: 113496
[startup+929.989 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 25848 0 0 0 92961 53 0 0 25 0 1 0 774096386 117485568 25772 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28683 25772 1111 63 0 28620 0
vsize: 114732
[startup+939.989 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 26149 0 0 0 93961 53 0 0 25 0 1 0 774096386 118751232 26073 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28992 26073 1111 63 0 28929 0
vsize: 115968
[startup+949.99 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 26440 0 0 0 94961 53 0 0 25 0 1 0 774096386 119881728 26364 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29268 26364 1111 63 0 29205 0
vsize: 117072
[startup+959.989 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 26736 0 0 0 95961 54 0 0 25 0 1 0 774096386 121147392 26660 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29577 26660 1111 63 0 29514 0
vsize: 118308
[startup+969.988 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 27032 0 0 0 96960 55 0 0 25 0 1 0 774096386 122273792 26956 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29852 26956 1111 63 0 29789 0
vsize: 119408
[startup+979.989 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 27336 0 0 0 97959 55 0 0 25 0 1 0 774096386 123539456 27260 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30161 27260 1111 63 0 30098 0
vsize: 120644
[startup+989.988 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 27626 0 0 0 98959 56 0 0 25 0 1 0 774096386 124665856 27550 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30436 27550 1111 63 0 30373 0
vsize: 121744
[startup+999.988 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 27930 0 0 0 99959 56 0 0 25 0 1 0 774096386 125935616 27854 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30746 27854 1111 63 0 30683 0
vsize: 122984
[startup+1009.99 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 28232 0 0 0 100958 57 0 0 25 0 1 0 774096386 127201280 28156 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31055 28156 1111 63 0 30992 0
vsize: 124220
[startup+1019.99 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 28529 0 0 0 101958 57 0 0 25 0 1 0 774096386 128466944 28453 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31364 28453 1111 63 0 31301 0
vsize: 125456
[startup+1029.99 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 28826 0 0 0 102957 58 0 0 25 0 1 0 774096386 129597440 28750 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31640 28750 1111 63 0 31577 0
vsize: 126560
[startup+1039.99 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 29128 0 0 0 103957 59 0 0 25 0 1 0 774096386 130863104 29052 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31949 29052 1111 63 0 31886 0
vsize: 127796
[startup+1049.99 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 29433 0 0 0 104956 60 0 0 25 0 1 0 774096386 132128768 29357 4294967295 134512640 134714508 3221224592 3221223248 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32258 29357 1111 63 0 32195 0
vsize: 129032
[startup+1059.99 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 29735 0 0 0 105956 60 0 0 25 0 1 0 774096386 133394432 29659 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32567 29659 1111 63 0 32504 0
vsize: 130268
[startup+1069.99 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 30040 0 0 0 106956 61 0 0 25 0 1 0 774096386 134520832 29964 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32842 29964 1111 63 0 32779 0
vsize: 131368
[startup+1079.99 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 30342 0 0 0 107955 61 0 0 25 0 1 0 774096386 135790592 30266 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33152 30266 1111 63 0 33089 0
vsize: 132608
[startup+1089.99 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 30647 0 0 0 108955 62 0 0 25 0 1 0 774096386 137060352 30571 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33462 30571 1111 63 0 33399 0
vsize: 133848
[startup+1099.99 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 30962 0 0 0 109955 62 0 0 25 0 1 0 774096386 138330112 30886 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33772 30886 1111 63 0 33709 0
vsize: 135088
[startup+1109.99 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 31265 0 0 0 110954 63 0 0 25 0 1 0 774096386 139595776 31189 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34081 31189 1111 63 0 34018 0
vsize: 136324
[startup+1119.99 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 31577 0 0 0 111954 63 0 0 25 0 1 0 774096386 140865536 31501 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34391 31501 1111 63 0 34328 0
vsize: 137564
[startup+1129.99 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 31886 0 0 0 112953 64 0 0 25 0 1 0 774096386 142131200 31810 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34700 31810 1111 63 0 34637 0
vsize: 138800
[startup+1139.98 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 32197 0 0 0 113953 65 0 0 25 0 1 0 774096386 143396864 32121 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35009 32121 1111 63 0 34946 0
vsize: 140036
[startup+1149.98 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 32507 0 0 0 114952 65 0 0 25 0 1 0 774096386 144662528 32431 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35318 32431 1111 63 0 35255 0
vsize: 141272
[startup+1159.98 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 32824 0 0 0 115952 66 0 0 25 0 1 0 774096386 145932288 32748 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35628 32748 1111 63 0 35565 0
vsize: 142512
[startup+1169.98 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 33134 0 0 0 116951 67 0 0 25 0 1 0 774096386 147197952 33058 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35937 33058 1111 63 0 35874 0
vsize: 143748
[startup+1179.98 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 33452 0 0 0 117951 67 0 0 25 0 1 0 774096386 148463616 33376 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36246 33376 1111 63 0 36183 0
vsize: 144984
[startup+1189.98 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 33768 0 0 0 118950 68 0 0 25 0 1 0 774096386 149872640 33692 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36590 33692 1111 63 0 36527 0
vsize: 146360
[startup+1199.98 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19406
Raw data (stat): 19406 (bsolo_lpr) R 19405 15547 15546 0 -1 0 34085 0 0 0 119950 69 0 0 25 0 1 0 774096386 151138304 34009 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36899 34009 1111 63 0 36836 0
vsize: 147596
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.98 0.92 1/54 19406
Raw data (stat): 19406 (bsolo_lpr) Z 19405 15547 15546 0 -1 1036 34085 0 0 0 119950 75 0 0 25 0 1 0 774096386 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.05
CPU time (s): 1200.26
CPU user time (s): 1199.5
CPU system time (s): 0.753885
CPU usage (%): 100.017
Max. virtual memory (Kb): 147596
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####