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/unibo/normalized-mps-v2-20-10-dolom1.opb
MD5SUM	bafd5f2a91d0ace4ec9dc114753d5b3e
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	66480
Biggest coefficient in the objective function	536870912000000000000
Number of bits for the biggest coefficient in the objective function	69
Sum of the numbers in the objective function	35987090508169210757120
Number of bits of the sum of numbers in the objective function	75
Biggest number in a constraint	536870912000000000000
Number of bits of the biggest number in a constraint	69
Biggest sum of numbers in a constraint	35987192908169210757120
Number of bits of the biggest sum of numbers	75
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.632903
Number of variables	66480
Total number of constraints	11523
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	9721
Number of constraints which are nor clauses,nor cardinality constraints	1802
Minimum length of a constraint	1
Maximum length of a constraint	66480
Trace number 40146

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-08 03:16:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28207 boxname=wulflinc3 idbench=1163 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  bafd5f2a91d0ace4ec9dc114753d5b3e  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-dolom1.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-dolom1.opb
IDLAUNCH: 28207
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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		: 451.190
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:        780896 kB
Buffers:         31196 kB
Cached:         199868 kB
SwapCached:        680 kB
Active:          41732 kB
Inactive:       191328 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        780644 kB
SwapTotal:     2097136 kB
SwapFree:      2095436 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5032 kB
Slab:            15008 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 03:36:07 (client local time) WITH STATUS 0 IN 1200.34 SECONDS
stats: 28207 7 1200.34 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.95 0.90 2/54 20061
Raw data (stat): 20061 (runsolver) R 20060 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 898312307 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0004 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 2039 0 0 0 993 5 0 0 25 0 1 0 898312307 19861504 1959 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4849 1959 1111 63 0 4786 0
vsize: 19396
[startup+20.0022 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 3230 0 0 0 1990 8 0 0 25 0 1 0 898312307 24788992 3150 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6052 3150 1111 63 0 5989 0
vsize: 24208
[startup+30.0027 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 4414 0 0 0 2987 11 0 0 25 0 1 0 898312307 29564928 4334 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7218 4334 1111 63 0 7155 0
vsize: 28872
[startup+40.0029 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 5611 0 0 0 3985 13 0 0 25 0 1 0 898312307 34492416 5531 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8421 5531 1111 63 0 8358 0
vsize: 33684
[startup+50.0037 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 6808 0 0 0 4983 16 0 0 25 0 1 0 898312307 39415808 6728 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9623 6728 1111 63 0 9560 0
vsize: 38492
[startup+60.0042 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 8009 0 0 0 5980 18 0 0 25 0 1 0 898312307 44335104 7929 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10824 7929 1111 63 0 10761 0
vsize: 43296
[startup+70.0044 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 9211 0 0 0 6978 20 0 0 25 0 1 0 898312307 49262592 9131 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12027 9131 1111 63 0 11964 0
vsize: 48108
[startup+80.0056 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 10420 0 0 0 7976 22 0 0 25 0 1 0 898312307 54190080 10340 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13230 10340 1111 63 0 13167 0
vsize: 52920
[startup+90.0057 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 11629 0 0 0 8974 25 0 0 25 0 1 0 898312307 59113472 11549 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14432 11549 1111 63 0 14369 0
vsize: 57728
[startup+100.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 12843 0 0 0 9972 28 0 0 25 0 1 0 898312307 64188416 12763 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15671 12763 1111 63 0 15608 0
vsize: 62684
[startup+110.01 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 14070 0 0 0 10969 30 0 0 25 0 1 0 898312307 69091328 13990 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16868 13990 1111 63 0 16805 0
vsize: 67472
[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 15292 0 0 0 11967 33 0 0 25 0 1 0 898312307 74170368 15212 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18108 15212 1111 63 0 18045 0
vsize: 72432
[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 16519 0 0 0 12964 36 0 0 25 0 1 0 898312307 79245312 16439 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19347 16439 1111 63 0 19284 0
vsize: 77388
[startup+140.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 17746 0 0 0 13961 38 0 0 25 0 1 0 898312307 84172800 17666 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20550 17666 1111 63 0 20487 0
vsize: 82200
[startup+150.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 18985 0 0 0 14959 41 0 0 25 0 1 0 898312307 89247744 18905 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21789 18905 1111 63 0 21726 0
vsize: 87156
[startup+160.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 20218 0 0 0 15956 44 0 0 25 0 1 0 898312307 94322688 20138 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23028 20138 1111 63 0 22965 0
vsize: 92112
[startup+170.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 21465 0 0 0 16954 46 0 0 25 0 1 0 898312307 99405824 21385 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24269 21385 1111 63 0 24206 0
vsize: 97076
[startup+180.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 22710 0 0 0 17952 48 0 0 25 0 1 0 898312307 104480768 22630 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25508 22630 1111 63 0 25445 0
vsize: 102032
[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 23979 0 0 0 18950 51 0 0 25 0 1 0 898312307 109703168 23899 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26783 23899 1111 63 0 26720 0
vsize: 107132
[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 25258 0 0 0 19948 53 0 0 25 0 1 0 898312307 115060736 25178 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28091 25178 1111 63 0 28028 0
vsize: 112364
[startup+210.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 26525 0 0 0 20946 54 0 0 25 0 1 0 898312307 120127488 26445 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29328 26445 1111 63 0 29265 0
vsize: 117312
[startup+220.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 27808 0 0 0 21944 56 0 0 25 0 1 0 898312307 125505536 27728 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30641 27728 1111 63 0 30578 0
vsize: 122564
[startup+230.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 29090 0 0 0 22942 59 0 0 25 0 1 0 898312307 130727936 29010 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31916 29010 1111 63 0 31853 0
vsize: 127664
[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 30378 0 0 0 23939 62 0 0 25 0 1 0 898312307 135954432 30298 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33192 30298 1111 63 0 33129 0
vsize: 132768
[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 31667 0 0 0 24938 63 0 0 25 0 1 0 898312307 141176832 31587 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34467 31587 1111 63 0 34404 0
vsize: 137868
[startup+260.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 32968 0 0 0 25936 66 0 0 25 0 1 0 898312307 146558976 32888 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35781 32888 1111 63 0 35718 0
vsize: 143124
[startup+270.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 34268 0 0 0 26933 69 0 0 25 0 1 0 898312307 151928832 34188 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37092 34188 1111 63 0 37029 0
vsize: 148368
[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 35574 0 0 0 27930 72 0 0 25 0 1 0 898312307 157302784 35494 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38404 35494 1111 63 0 38341 0
vsize: 153616
[startup+290.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 36880 0 0 0 28929 74 0 0 25 0 1 0 898312307 162529280 36800 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39680 36800 1111 63 0 39617 0
vsize: 158720
[startup+300.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 38201 0 0 0 29927 76 0 0 25 0 1 0 898312307 168058880 38121 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41030 38121 1111 63 0 40967 0
vsize: 164120
[startup+310.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 39518 0 0 0 30924 79 0 0 25 0 1 0 898312307 173428736 39438 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42341 39438 1111 63 0 42278 0
vsize: 169364
[startup+320.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 40843 0 0 0 31921 82 0 0 25 0 1 0 898312307 178802688 40763 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43653 40763 1111 63 0 43590 0
vsize: 174612
[startup+330.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 42175 0 0 0 32919 84 0 0 25 0 1 0 898312307 184332288 42095 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45003 42095 1111 63 0 44940 0
vsize: 180012
[startup+340.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 43505 0 0 0 33918 86 0 0 25 0 1 0 898312307 189706240 43425 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46315 43425 1111 63 0 46252 0
vsize: 185260
[startup+350.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 44847 0 0 0 34915 88 0 0 25 0 1 0 898312307 195227648 44767 4294967295 134512640 134716908 3221224576 3221222804 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47663 44767 1111 63 0 47600 0
vsize: 190652
[startup+360.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 46189 0 0 0 35914 90 0 0 25 0 1 0 898312307 200749056 46109 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49011 46109 1111 63 0 48948 0
vsize: 196044
[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 47546 0 0 0 36911 93 0 0 25 0 1 0 898312307 206278656 47466 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50361 47466 1111 63 0 50298 0
vsize: 201444
[startup+380.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 48900 0 0 0 37910 94 0 0 25 0 1 0 898312307 211804160 48820 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51710 48820 1111 63 0 51647 0
vsize: 206840
[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 50278 0 0 0 38908 97 0 0 25 0 1 0 898312307 217473024 50198 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53094 50198 1111 63 0 53031 0
vsize: 212376
[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 51647 0 0 0 39905 99 0 0 25 0 1 0 898312307 223154176 51567 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54481 51567 1111 63 0 54418 0
vsize: 217924
[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 53020 0 0 0 40902 102 0 0 25 0 1 0 898312307 228679680 52940 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55830 52940 1111 63 0 55767 0
vsize: 223320
[startup+420.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 54399 0 0 0 41901 104 0 0 25 0 1 0 898312307 234352640 54319 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57215 54319 1111 63 0 57152 0
vsize: 228860
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 55787 0 0 0 42900 105 0 0 25 0 1 0 898312307 240029696 55707 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58601 55707 1111 63 0 58538 0
vsize: 234404
[startup+440.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 57185 0 0 0 43898 107 0 0 25 0 1 0 898312307 245854208 57105 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60023 57105 1111 63 0 59960 0
vsize: 240092
[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 58576 0 0 0 44896 110 0 0 25 0 1 0 898312307 251527168 58496 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61408 58496 1111 63 0 61345 0
vsize: 245632
[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 59969 0 0 0 45893 112 0 0 25 0 1 0 898312307 257204224 59889 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62794 59889 1111 63 0 62731 0
vsize: 251176
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 60085 0 0 0 46893 113 0 0 25 0 1 0 898312307 257642496 60005 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62901 60005 1111 63 0 62838 0
vsize: 251604
[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 60204 0 0 0 47893 113 0 0 25 0 1 0 898312307 258215936 60124 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63041 60124 1111 63 0 62978 0
vsize: 252164
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 60322 0 0 0 48893 113 0 0 25 0 1 0 898312307 258658304 60242 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63149 60242 1111 63 0 63086 0
vsize: 252596
[startup+500.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 60446 0 0 0 49893 113 0 0 25 0 1 0 898312307 259112960 60366 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63260 60366 1111 63 0 63197 0
vsize: 253040
[startup+510.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 60562 0 0 0 50893 113 0 0 25 0 1 0 898312307 259559424 60482 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63369 60482 1111 63 0 63306 0
vsize: 253476
[startup+520.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 60682 0 0 0 51893 113 0 0 25 0 1 0 898312307 260161536 60602 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63516 60602 1111 63 0 63453 0
vsize: 254064
[startup+530.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 60799 0 0 0 52894 113 0 0 25 0 1 0 898312307 260608000 60719 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63625 60719 1111 63 0 63562 0
vsize: 254500
[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 60917 0 0 0 53893 114 0 0 25 0 1 0 898312307 261058560 60837 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63735 60837 1111 63 0 63672 0
vsize: 254940
[startup+550.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 61035 0 0 0 54893 114 0 0 25 0 1 0 898312307 261509120 60955 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63845 60955 1111 63 0 63782 0
vsize: 255380
[startup+560.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 61166 0 0 0 55893 115 0 0 25 0 1 0 898312307 262111232 61086 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63992 61086 1111 63 0 63929 0
vsize: 255968
[startup+570.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 61286 0 0 0 56892 115 0 0 25 0 1 0 898312307 262561792 61206 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64102 61206 1111 63 0 64039 0
vsize: 256408
[startup+580.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 61409 0 0 0 57892 116 0 0 25 0 1 0 898312307 263008256 61329 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64211 61329 1111 63 0 64148 0
vsize: 256844
[startup+590.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 61534 0 0 0 58892 116 0 0 25 0 1 0 898312307 263610368 61454 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64358 61454 1111 63 0 64295 0
vsize: 257432
[startup+600.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 61659 0 0 0 59892 116 0 0 25 0 1 0 898312307 264056832 61579 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64467 61579 1111 63 0 64404 0
vsize: 257868
[startup+610.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 61785 0 0 0 60892 117 0 0 25 0 1 0 898312307 264658944 61705 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64614 61705 1111 63 0 64551 0
vsize: 258456
[startup+620.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 61915 0 0 0 61892 117 0 0 25 0 1 0 898312307 265105408 61835 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64723 61835 1111 63 0 64660 0
vsize: 258892
[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 62040 0 0 0 62892 117 0 0 25 0 1 0 898312307 265707520 61960 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64870 61960 1111 63 0 64807 0
vsize: 259480
[startup+640.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 62167 0 0 0 63891 118 0 0 25 0 1 0 898312307 266158080 62087 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64980 62087 1111 63 0 64917 0
vsize: 259920
[startup+650.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 62298 0 0 0 64891 118 0 0 25 0 1 0 898312307 266756096 62218 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65126 62218 1111 63 0 65063 0
vsize: 260504
[startup+660.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 62430 0 0 0 65891 118 0 0 25 0 1 0 898312307 267210752 62350 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65237 62350 1111 63 0 65174 0
vsize: 260948
[startup+670.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 62554 0 0 0 66891 118 0 0 25 0 1 0 898312307 267804672 62474 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65382 62474 1111 63 0 65319 0
vsize: 261528
[startup+680.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 62680 0 0 0 67891 119 0 0 25 0 1 0 898312307 268255232 62600 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65492 62600 1111 63 0 65429 0
vsize: 261968
[startup+690.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 62812 0 0 0 68891 119 0 0 25 0 1 0 898312307 268857344 62732 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65639 62732 1111 63 0 65576 0
vsize: 262556
[startup+700.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 62943 0 0 0 69891 119 0 0 25 0 1 0 898312307 269303808 62863 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65748 62863 1111 63 0 65685 0
vsize: 262992
[startup+710.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 63094 0 0 0 70891 119 0 0 25 0 1 0 898312307 270069760 63014 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65935 63014 1111 63 0 65872 0
vsize: 263740
[startup+720.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 63225 0 0 0 71891 119 0 0 25 0 1 0 898312307 270663680 63145 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66080 63145 1111 63 0 66017 0
vsize: 264320
[startup+730.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 63357 0 0 0 72891 120 0 0 25 0 1 0 898312307 271118336 63277 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66191 63277 1111 63 0 66128 0
vsize: 264764
[startup+740.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 63491 0 0 0 73891 120 0 0 25 0 1 0 898312307 271712256 63411 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66336 63411 1111 63 0 66273 0
vsize: 265344
[startup+750.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 63623 0 0 0 74891 120 0 0 25 0 1 0 898312307 272162816 63543 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66446 63543 1111 63 0 66383 0
vsize: 265784
[startup+760.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 63762 0 0 0 75891 120 0 0 25 0 1 0 898312307 272764928 63682 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66593 63682 1111 63 0 66530 0
vsize: 266372
[startup+770.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 63899 0 0 0 76891 120 0 0 25 0 1 0 898312307 273362944 63819 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66739 63819 1111 63 0 66676 0
vsize: 266956
[startup+780.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 64033 0 0 0 77891 121 0 0 25 0 1 0 898312307 273965056 63953 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66886 63953 1111 63 0 66823 0
vsize: 267544
[startup+790.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 64167 0 0 0 78891 121 0 0 25 0 1 0 898312307 274411520 64087 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66995 64087 1111 63 0 66932 0
vsize: 267980
[startup+800.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 64305 0 0 0 79891 121 0 0 25 0 1 0 898312307 275013632 64225 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67142 64225 1111 63 0 67079 0
vsize: 268568
[startup+810.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 64445 0 0 0 80891 122 0 0 25 0 1 0 898312307 275615744 64365 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67289 64365 1111 63 0 67226 0
vsize: 269156
[startup+820.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 64584 0 0 0 81891 122 0 0 25 0 1 0 898312307 276209664 64504 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67434 64504 1111 63 0 67371 0
vsize: 269736
[startup+830.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 64724 0 0 0 82891 122 0 0 25 0 1 0 898312307 276660224 64644 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67544 64644 1111 63 0 67481 0
vsize: 270176
[startup+840.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 64864 0 0 0 83891 123 0 0 25 0 1 0 898312307 277262336 64784 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67691 64784 1111 63 0 67628 0
vsize: 270764
[startup+850.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 65003 0 0 0 84891 123 0 0 25 0 1 0 898312307 277860352 64923 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67837 64923 1111 63 0 67774 0
vsize: 271348
[startup+860.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 65150 0 0 0 85891 123 0 0 25 0 1 0 898312307 278462464 65070 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67984 65070 1111 63 0 67921 0
vsize: 271936
[startup+870.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 65290 0 0 0 86890 123 0 0 25 0 1 0 898312307 279060480 65210 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68130 65210 1111 63 0 68067 0
vsize: 272520
[startup+880.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 65436 0 0 0 87890 124 0 0 25 0 1 0 898312307 279658496 65356 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68276 65356 1111 63 0 68213 0
vsize: 273104
[startup+890.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 65584 0 0 0 88890 124 0 0 25 0 1 0 898312307 280260608 65504 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68423 65504 1111 63 0 68360 0
vsize: 273692
[startup+900.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 65732 0 0 0 89890 124 0 0 25 0 1 0 898312307 280862720 65652 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68570 65652 1111 63 0 68507 0
vsize: 274280
[startup+910.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 65884 0 0 0 90890 124 0 0 25 0 1 0 898312307 281456640 65804 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68715 65804 1111 63 0 68652 0
vsize: 274860
[startup+920.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 66033 0 0 0 91890 125 0 0 25 0 1 0 898312307 282058752 65953 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68862 65953 1111 63 0 68799 0
vsize: 275448
[startup+930.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 66180 0 0 0 92890 125 0 0 25 0 1 0 898312307 282660864 66100 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69009 66100 1111 63 0 68946 0
vsize: 276036
[startup+940.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 66326 0 0 0 93890 125 0 0 25 0 1 0 898312307 283254784 66246 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69154 66246 1111 63 0 69091 0
vsize: 276616
[startup+950.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 66487 0 0 0 94890 125 0 0 25 0 1 0 898312307 283856896 66407 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69301 66407 1111 63 0 69238 0
vsize: 277204
[startup+960.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 66636 0 0 0 95890 126 0 0 25 0 1 0 898312307 284459008 66556 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69448 66556 1111 63 0 69385 0
vsize: 277792
[startup+970.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 66795 0 0 0 96889 126 0 0 25 0 1 0 898312307 285204480 66715 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69630 66715 1111 63 0 69567 0
vsize: 278520
[startup+980.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 66943 0 0 0 97889 127 0 0 25 0 1 0 898312307 285806592 66863 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69777 66863 1111 63 0 69714 0
vsize: 279108
[startup+990.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 67106 0 0 0 98889 127 0 0 25 0 1 0 898312307 286408704 67026 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69924 67026 1111 63 0 69861 0
vsize: 279696
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 67261 0 0 0 99889 127 0 0 25 0 1 0 898312307 287002624 67181 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70069 67181 1111 63 0 70006 0
vsize: 280276
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 67414 0 0 0 100889 128 0 0 25 0 1 0 898312307 287752192 67334 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70252 67334 1111 63 0 70189 0
vsize: 281008
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 67577 0 0 0 101889 128 0 0 25 0 1 0 898312307 288354304 67497 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70399 67497 1111 63 0 70336 0
vsize: 281596
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 67738 0 0 0 102889 128 0 0 25 0 1 0 898312307 288956416 67658 4294967295 134512640 134716908 3221224576 3221222908 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70546 67658 1111 63 0 70483 0
vsize: 282184
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 67898 0 0 0 103889 128 0 0 25 0 1 0 898312307 289701888 67818 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70728 67818 1111 63 0 70665 0
vsize: 282912
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 68062 0 0 0 104889 128 0 0 25 0 1 0 898312307 290304000 67982 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70875 67982 1111 63 0 70812 0
vsize: 283500
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 68223 0 0 0 105889 129 0 0 25 0 1 0 898312307 291053568 68143 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71058 68143 1111 63 0 70995 0
vsize: 284232
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 68392 0 0 0 106888 129 0 0 25 0 1 0 898312307 291655680 68312 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71205 68312 1111 63 0 71142 0
vsize: 284820
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 68560 0 0 0 107888 129 0 0 25 0 1 0 898312307 292401152 68480 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71387 68480 1111 63 0 71324 0
vsize: 285548
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 68723 0 0 0 108888 130 0 0 25 0 1 0 898312307 293003264 68643 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71534 68643 1111 63 0 71471 0
vsize: 286136
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 68897 0 0 0 109888 130 0 0 25 0 1 0 898312307 293748736 68817 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71716 68817 1111 63 0 71653 0
vsize: 286864
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 69062 0 0 0 110888 130 0 0 25 0 1 0 898312307 294350848 68982 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71863 68982 1111 63 0 71800 0
vsize: 287452
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 69236 0 0 0 111888 131 0 0 25 0 1 0 898312307 295100416 69156 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72046 69156 1111 63 0 71983 0
vsize: 288184
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 69405 0 0 0 112888 131 0 0 25 0 1 0 898312307 295845888 69325 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72228 69325 1111 63 0 72165 0
vsize: 288912
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 69576 0 0 0 113888 131 0 0 25 0 1 0 898312307 296448000 69496 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72375 69496 1111 63 0 72312 0
vsize: 289500
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 69751 0 0 0 114887 132 0 0 25 0 1 0 898312307 297201664 69671 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72559 69671 1111 63 0 72496 0
vsize: 290236
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 69928 0 0 0 115887 132 0 0 25 0 1 0 898312307 297951232 69848 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72742 69848 1111 63 0 72679 0
vsize: 290968
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 70104 0 0 0 116887 133 0 0 25 0 1 0 898312307 298696704 70024 4294967295 134512640 134716908 3221224576 3221222804 1077414347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72924 70024 1111 63 0 72861 0
vsize: 291696
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 70280 0 0 0 117887 133 0 0 25 0 1 0 898312307 299446272 70200 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73107 70200 1111 63 0 73044 0
vsize: 292428
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 70456 0 0 0 118886 133 0 0 25 0 1 0 898312307 300048384 70376 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73254 70376 1111 63 0 73191 0
vsize: 293016
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 70639 0 0 0 119886 134 0 0 25 0 1 0 898312307 300797952 70559 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73437 70559 1111 63 0 73374 0
vsize: 293748
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.18 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 20061
Raw data (stat): 20061 (bsolo_lpr-v2) Z 20060 20224 20223 0 -1 1036 70639 0 0 0 119886 147 0 0 25 0 1 0 898312307 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.18
CPU time (s): 1200.34
CPU user time (s): 1198.87
CPU system time (s): 1.47278
CPU usage (%): 100.014
Max. virtual memory (Kb): 293748
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####