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/unibo/normalized-mps-v2-13-7-A2C1S1.opb
MD5SUM	f3b47743eaaf66ad8d0ab01c3e7b5088
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	25152
Biggest coefficient in the objective function	30395596800
Number of bits for the biggest coefficient in the objective function	35
Sum of the numbers in the objective function	14310357806800
Number of bits of the sum of numbers in the objective function	44
Biggest number in a constraint	30395596800
Number of bits of the biggest number in a constraint	35
Biggest sum of numbers in a constraint	14310357806800
Number of bits of the biggest sum of numbers	44
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.625904
Number of variables	69312
Total number of constraints	3504
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	192
Number of constraints which are nor clauses,nor cardinality constraints	3312
Minimum length of a constraint	1
Maximum length of a constraint	485
Trace number 25227

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        834816 kB
Buffers:         29744 kB
Cached:         145104 kB
SwapCached:       2836 kB
Active:          86124 kB
Inactive:        93752 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        834564 kB
SwapTotal:     2097892 kB
SwapFree:      2094220 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            14212 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-17 20:42:38 (client local time) WITH STATUS 0 IN 1175.25 SECONDS
stats: 19878 7 1175.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 69312 variables and 4560 constraints.
c After prepocess the problem consists of 50352 variables and 5235 constraints.
c preprocess terminated 295.838 s
c Initial Lower Bound: 2147483344
c Lower Bound Elapsed time: 178.427
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### 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.85 0.94 0.98 2/55 29722
Raw data (stat): 29722 (runsolver) R 29721 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 772580863 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0006 s]
Raw data (loadavg): 0.87 0.94 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1544 0 0 0 989 6 0 0 25 0 1 0 772580863 18898944 1467 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4614 1467 1111 63 0 4551 0
vsize: 18456
[startup+20.0015 s]
Raw data (loadavg): 0.89 0.94 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 2521 0 0 0 1988 7 0 0 25 0 1 0 772580863 22986752 2444 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5612 2444 1111 63 0 5549 0
vsize: 22448
[startup+30.0024 s]
Raw data (loadavg): 0.91 0.94 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 3536 0 0 0 2985 10 0 0 25 0 1 0 772580863 27107328 3459 4294967295 134512640 134714508 3221221776 3221220004 1077414374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6618 3459 1111 63 0 6555 0
vsize: 26472
[startup+40.0023 s]
Raw data (loadavg): 0.92 0.94 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 4586 0 0 0 3983 13 0 0 25 0 1 0 772580863 31338496 4509 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7651 4509 1111 63 0 7588 0
vsize: 30604
[startup+50.0032 s]
Raw data (loadavg): 0.93 0.95 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 5678 0 0 0 4980 15 0 0 25 0 1 0 772580863 35856384 5601 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8754 5601 1111 63 0 8691 0
vsize: 35016
[startup+60.0031 s]
Raw data (loadavg): 0.94 0.95 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 6835 0 0 0 5978 18 0 0 25 0 1 0 772580863 40673280 6758 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9930 6758 1111 63 0 9867 0
vsize: 39720
[startup+70.004 s]
Raw data (loadavg): 0.95 0.95 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 8045 0 0 0 6975 21 0 0 25 0 1 0 772580863 45613056 7968 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11136 7968 1111 63 0 11073 0
vsize: 44544
[startup+80.005 s]
Raw data (loadavg): 0.96 0.95 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 9338 0 0 0 7972 24 0 0 25 0 1 0 772580863 50835456 9261 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12411 9261 1111 63 0 12348 0
vsize: 49644
[startup+90.0049 s]
Raw data (loadavg): 0.96 0.95 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 10726 0 0 0 8970 27 0 0 25 0 1 0 772580863 56483840 10649 4294967295 134512640 134714508 3221221776 3221220004 1077414399 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13790 10649 1111 63 0 13727 0
vsize: 55160
[startup+100.005 s]
Raw data (loadavg): 0.97 0.95 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 12325 0 0 0 9967 30 0 0 25 0 1 0 772580863 63197184 12248 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15429 12248 1111 63 0 15366 0
vsize: 61716
[startup+110.005 s]
Raw data (loadavg): 0.97 0.95 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 14055 0 0 0 10963 34 0 0 25 0 1 0 772580863 70258688 13978 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17153 13978 1111 63 0 17090 0
vsize: 68612
[startup+120.006 s]
Raw data (loadavg): 0.98 0.95 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 15936 0 0 0 11960 37 0 0 25 0 1 0 772580863 77881344 15859 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19014 15859 1111 63 0 18951 0
vsize: 76056
[startup+130.005 s]
Raw data (loadavg): 0.98 0.95 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 18216 0 0 0 12954 43 0 0 25 0 1 0 772580863 87269376 18139 4294967295 134512640 134714508 3221221776 3221220432 134527953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21306 18139 1111 63 0 21243 0
vsize: 85224
[startup+140.005 s]
Raw data (loadavg): 0.98 0.95 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 38961 0 0 0 13907 91 0 0 25 0 1 0 772580863 172244992 38884 4294967295 134512640 134714508 3221221776 3221219820 1076999581 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42052 38884 1111 63 0 41989 0
vsize: 168208
[startup+150.006 s]
Raw data (loadavg): 0.98 0.95 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 55376 0 0 0 14872 126 0 0 25 0 1 0 772580863 238751744 54969 4294967295 134512640 134714508 3221221776 3221220440 134568459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58289 54969 1111 63 0 58226 0
vsize: 233156
[startup+160.006 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 69951 0 0 0 15836 162 0 0 25 0 1 0 772580863 261627904 62461 4294967295 134512640 134714508 3221221776 3221220504 134672926 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63874 62461 1111 63 0 63811 0
vsize: 255496
[startup+170.008 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 88026 0 0 0 16794 204 0 0 25 0 1 0 772580863 265469952 63400 4294967295 134512640 134714508 3221221776 3221220556 134630764 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64812 63400 1111 63 0 64749 0
vsize: 259248
[startup+180.008 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 88213 0 0 0 17794 204 0 0 25 0 1 0 772580863 266289152 63587 4294967295 134512640 134714508 3221221776 3221220504 134672906 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65012 63587 1111 63 0 64949 0
vsize: 260048
[startup+190.008 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 88393 0 0 0 18793 205 0 0 25 0 1 0 772580863 266977280 63767 4294967295 134512640 134714508 3221221776 3221220160 134542365 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65180 63767 1111 63 0 65117 0
vsize: 260720
[startup+200.008 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 88508 0 0 0 19793 205 0 0 25 0 1 0 772580863 267522048 63882 4294967295 134512640 134714508 3221221776 3221220576 134617624 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65313 63882 1111 63 0 65250 0
vsize: 261252
[startup+210.008 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 168309 0 0 0 20619 379 0 0 25 0 1 0 772580863 267657216 63919 4294967295 134512640 134714508 3221221776 3221220516 134630783 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65346 63919 1111 63 0 65283 0
vsize: 261384
[startup+220.009 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 266478 0 0 0 21402 596 0 0 25 0 1 0 772580863 267792384 63964 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65379 63964 1111 63 0 65316 0
vsize: 261516
[startup+230.009 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 363220 0 0 0 22183 816 0 0 25 0 1 0 772580863 268062720 64010 4294967295 134512640 134714508 3221221776 3221220512 134630815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65445 64010 1111 63 0 65382 0
vsize: 261780
[startup+240.009 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 434129 0 0 0 23031 968 0 0 25 0 1 0 772580863 268480512 64131 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65547 64131 1111 63 0 65484 0
vsize: 262188
[startup+250.008 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 434138 0 0 0 24030 969 0 0 25 0 1 0 772580863 268480512 64140 4294967295 134512640 134714508 3221221776 3221220432 134627203 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65547 64140 1111 63 0 65484 0
vsize: 262188
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 434138 0 0 0 25030 969 0 0 25 0 1 0 772580863 268480512 64140 4294967295 134512640 134714508 3221221776 3221220440 134627136 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65547 64140 1111 63 0 65484 0
vsize: 262188
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 434138 0 0 0 26030 970 0 0 25 0 1 0 772580863 268480512 64140 4294967295 134512640 134714508 3221221776 3221220448 134627236 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65547 64140 1111 63 0 65484 0
vsize: 262188
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 434138 0 0 0 27030 970 0 0 25 0 1 0 772580863 268480512 64140 4294967295 134512640 134714508 3221221776 3221220420 134630883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65547 64140 1111 63 0 65484 0
vsize: 262188
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 434138 0 0 0 28030 970 0 0 25 0 1 0 772580863 268480512 64140 4294967295 134512640 134714508 3221221776 3221220436 134627138 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65547 64140 1111 63 0 65484 0
vsize: 262188
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 493914 0 0 0 28900 1100 0 0 25 0 1 0 772580863 282099712 67272 4294967295 134512640 134714508 3221221776 3221220080 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 68872 67272 1111 63 0 68809 0
vsize: 275488
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 625344 0 0 0 29606 1394 0 0 25 0 1 0 772580863 282562560 67394 4294967295 134512640 134714508 3221221776 3221219768 1074138158 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 68985 67394 1111 63 0 68922 0
vsize: 275940
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 744560 0 0 0 30338 1663 0 0 25 0 1 0 772580863 282488832 67391 4294967295 134512640 134714508 3221221776 3221219840 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 68967 67391 1111 63 0 68904 0
vsize: 275868
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 846682 0 0 0 31105 1896 0 0 25 0 1 0 772580863 283201536 67558 4294967295 134512640 134714508 3221221776 3221219272 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69141 67558 1111 63 0 69078 0
vsize: 276564
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 930939 0 0 0 31904 2096 0 0 25 0 1 0 772580863 283701248 67631 4294967295 134512640 134714508 3221221776 3221219176 1074138158 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69263 67631 1111 63 0 69200 0
vsize: 277052
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1001699 0 0 0 32728 2273 0 0 25 0 1 0 772580863 283906048 67739 4294967295 134512640 134714508 3221221776 3221219264 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69313 67739 1111 63 0 69250 0
vsize: 277252
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1063671 0 0 0 33570 2431 0 0 25 0 1 0 772580863 284278784 67831 4294967295 134512640 134714508 3221221776 3221219280 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69404 67831 1111 63 0 69341 0
vsize: 277616
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1119387 0 0 0 34431 2570 0 0 25 0 1 0 772580863 284655616 67923 4294967295 134512640 134714508 3221221776 3221219280 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69496 67923 1111 63 0 69433 0
vsize: 277984
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1159070 0 0 0 35336 2665 0 0 25 0 1 0 772580863 300359680 71144 4294967295 134512640 134714508 3221221776 3221217856 1074794536 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 73330 71144 1111 63 0 73267 0
vsize: 293320
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1159120 0 0 0 36336 2665 0 0 25 0 1 0 772580863 300359680 71194 4294967295 134512640 134714508 3221221776 3221218328 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 73330 71194 1111 63 0 73267 0
vsize: 293320
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1159130 0 0 0 37336 2665 0 0 25 0 1 0 772580863 300359680 71204 4294967295 134512640 134714508 3221221776 3221217900 1075563855 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 73330 71204 1111 63 0 73267 0
vsize: 293320
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1159130 0 0 0 38335 2666 0 0 25 0 1 0 772580863 300359680 71204 4294967295 134512640 134714508 3221221776 3221218352 1075967705 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 73330 71204 1111 63 0 73267 0
vsize: 293320
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1159133 0 0 0 39335 2666 0 0 25 0 1 0 772580863 300359680 71207 4294967295 134512640 134714508 3221221776 3221217660 1074860598 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 73330 71207 1111 63 0 73267 0
vsize: 293320
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1159140 0 0 0 40335 2666 0 0 25 0 1 0 772580863 300359680 71214 4294967295 134512640 134714508 3221221776 3221217660 1074860617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 73330 71214 1111 63 0 73267 0
vsize: 293320
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1159142 0 0 0 41335 2667 0 0 25 0 1 0 772580863 300359680 71216 4294967295 134512640 134714508 3221221776 3221217916 1076111369 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73330 71216 1111 63 0 73267 0
vsize: 293320
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1159143 0 0 0 42335 2667 0 0 25 0 1 0 772580863 300359680 71217 4294967295 134512640 134714508 3221221776 3221217720 1074860217 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73330 71217 1111 63 0 73267 0
vsize: 293320
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1159143 0 0 0 43335 2667 0 0 25 0 1 0 772580863 300359680 71217 4294967295 134512640 134714508 3221221776 3221217660 1074860647 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73330 71217 1111 63 0 73267 0
vsize: 293320
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1159143 0 0 0 44336 2667 0 0 25 0 1 0 772580863 300359680 71217 4294967295 134512640 134714508 3221221776 3221217968 1074960909 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73330 71217 1111 63 0 73267 0
vsize: 293320
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1159143 0 0 0 45336 2667 0 0 25 0 1 0 772580863 300359680 71217 4294967295 134512640 134714508 3221221776 3221218640 1074620107 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73330 71217 1111 63 0 73267 0
vsize: 293320
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1159158 0 0 0 46336 2667 0 0 25 0 1 0 772580863 301076480 71232 4294967295 134512640 134714508 3221221776 3221217868 1074790003 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73505 71232 1111 63 0 73442 0
vsize: 294020
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1159158 0 0 0 47336 2667 0 0 25 0 1 0 772580863 301076480 71232 4294967295 134512640 134714508 3221221776 3221217660 1074860617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73505 71232 1111 63 0 73442 0
vsize: 294020
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1159158 0 0 0 48336 2667 0 0 25 0 1 0 772580863 301076480 71232 4294967295 134512640 134714508 3221221776 3221217692 1074860964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73505 71232 1111 63 0 73442 0
vsize: 294020
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1159158 0 0 0 49336 2667 0 0 25 0 1 0 772580863 301076480 71232 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73505 71232 1111 63 0 73442 0
vsize: 294020
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1159158 0 0 0 50336 2667 0 0 25 0 1 0 772580863 301076480 71232 4294967295 134512640 134714508 3221221776 3221217916 1075116532 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73505 71232 1111 63 0 73442 0
vsize: 294020
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1159158 0 0 0 51336 2667 0 0 25 0 1 0 772580863 301076480 71232 4294967295 134512640 134714508 3221221776 3221217564 1074787806 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73505 71232 1111 63 0 73442 0
vsize: 294020
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1159158 0 0 0 52336 2667 0 0 25 0 1 0 772580863 301076480 71232 4294967295 134512640 134714508 3221221776 3221217856 1074794542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73505 71232 1111 63 0 73442 0
vsize: 294020
[startup+560.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1159158 0 0 0 53337 2667 0 0 25 0 1 0 772580863 301076480 71232 4294967295 134512640 134714508 3221221776 3221218616 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73505 71232 1111 63 0 73442 0
vsize: 294020
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1159158 0 0 0 54337 2667 0 0 25 0 1 0 772580863 301076480 71232 4294967295 134512640 134714508 3221221776 3221217768 1074950198 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73505 71232 1111 63 0 73442 0
vsize: 294020
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1159158 0 0 0 55337 2667 0 0 25 0 1 0 772580863 301076480 71232 4294967295 134512640 134714508 3221221776 3221217916 1075116498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73505 71232 1111 63 0 73442 0
vsize: 294020
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1159158 0 0 0 56337 2667 0 0 25 0 1 0 772580863 301076480 71232 4294967295 134512640 134714508 3221221776 3221217856 1074794542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73505 71232 1111 63 0 73442 0
vsize: 294020
[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1187250 0 0 0 57273 2731 0 0 25 0 1 0 772580863 292319232 69923 4294967295 134512640 134714508 3221221776 3221219848 1074950102 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 71367 69923 1111 63 0 71304 0
vsize: 285468
[startup+610.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1250150 0 0 0 58119 2886 0 0 25 0 1 0 772580863 341618688 81825 4294967295 134512640 134714508 3221221776 3221220016 1074039446 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 83403 81825 1111 63 0 83340 0
vsize: 333612
[startup+620.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1271520 0 0 0 59070 2935 0 0 25 0 1 0 772580863 364675072 86921 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 89032 86921 1111 63 0 88969 0
vsize: 356128
[startup+630.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1271525 0 0 0 60070 2935 0 0 25 0 1 0 772580863 364675072 86926 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 89032 86926 1111 63 0 88969 0
vsize: 356128
[startup+640.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1271528 0 0 0 61070 2935 0 0 25 0 1 0 772580863 364675072 86929 4294967295 134512640 134714508 3221221776 3221217840 1074969970 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 89032 86929 1111 63 0 88969 0
vsize: 356128
[startup+650.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1271529 0 0 0 62070 2935 0 0 25 0 1 0 772580863 364675072 86930 4294967295 134512640 134714508 3221221776 3221217660 1074860566 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 89032 86930 1111 63 0 88969 0
vsize: 356128
[startup+660.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1271529 0 0 0 63071 2935 0 0 25 0 1 0 772580863 364675072 86930 4294967295 134512640 134714508 3221221776 3221217916 1075116866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 89032 86930 1111 63 0 88969 0
vsize: 356128
[startup+670.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1271531 0 0 0 64071 2935 0 0 25 0 1 0 772580863 364675072 86932 4294967295 134512640 134714508 3221221776 3221218352 1075967953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 89032 86932 1111 63 0 88969 0
vsize: 356128
[startup+680.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1271531 0 0 0 65071 2935 0 0 25 0 1 0 772580863 364675072 86932 4294967295 134512640 134714508 3221221776 3221217660 1074860620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 89032 86932 1111 63 0 88969 0
vsize: 356128
[startup+690.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1271531 0 0 0 66071 2935 0 0 25 0 1 0 772580863 364675072 86932 4294967295 134512640 134714508 3221221776 3221217968 1074960795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 89032 86932 1111 63 0 88969 0
vsize: 356128
[startup+700.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1271531 0 0 0 67071 2935 0 0 25 0 1 0 772580863 364675072 86932 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 89032 86932 1111 63 0 88969 0
vsize: 356128
[startup+710.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1271531 0 0 0 68071 2935 0 0 25 0 1 0 772580863 364675072 86932 4294967295 134512640 134714508 3221221776 3221217660 1074860617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 89032 86932 1111 63 0 88969 0
vsize: 356128
[startup+720.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1271531 0 0 0 69071 2935 0 0 25 0 1 0 772580863 364675072 86932 4294967295 134512640 134714508 3221221776 3221217660 1074860617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 89032 86932 1111 63 0 88969 0
vsize: 356128
[startup+730.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1271543 0 0 0 70072 2935 0 0 25 0 1 0 772580863 365391872 86944 4294967295 134512640 134714508 3221221776 3221217692 1074860959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 89207 86944 1111 63 0 89144 0
vsize: 356828
[startup+740.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1271543 0 0 0 71072 2935 0 0 25 0 1 0 772580863 365391872 86944 4294967295 134512640 134714508 3221221776 3221218616 1074950102 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 89207 86944 1111 63 0 89144 0
vsize: 356828
[startup+750.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1271543 0 0 0 72072 2935 0 0 25 0 1 0 772580863 365391872 86944 4294967295 134512640 134714508 3221221776 3221217752 1074860223 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 89207 86944 1111 63 0 89144 0
vsize: 356828
[startup+760.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1271784 0 0 0 73071 2936 0 0 25 0 1 0 772580863 366825472 87185 4294967295 134512640 134714508 3221221776 3221218544 1075120005 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 89557 87185 1111 63 0 89494 0
vsize: 358228
[startup+770.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1306969 0 0 0 73988 3019 0 0 25 0 1 0 772580863 353906688 84912 4294967295 134512640 134714508 3221221776 3221219896 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 86403 84912 1111 63 0 86340 0
vsize: 345612
[startup+780.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1350511 0 0 0 74884 3123 0 0 25 0 1 0 772580863 419991552 101103 4294967295 134512640 134714508 3221221776 3221219696 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 102537 101103 1111 63 0 102474 0
vsize: 410148
[startup+790.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1353258 0 0 0 75880 3128 0 0 25 0 1 0 772580863 427008000 102145 4294967295 134512640 134714508 3221221776 3221217856 1074794649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 104250 102145 1111 63 0 104187 0
vsize: 417000
[startup+800.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1353267 0 0 0 76880 3128 0 0 25 0 1 0 772580863 427008000 102154 4294967295 134512640 134714508 3221221776 3221217916 1075116478 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 104250 102154 1111 63 0 104187 0
vsize: 417000
[startup+810.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1353268 0 0 0 77880 3128 0 0 25 0 1 0 772580863 427008000 102155 4294967295 134512640 134714508 3221221776 3221217564 1074787778 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 104250 102155 1111 63 0 104187 0
vsize: 417000
[startup+820.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1353268 0 0 0 78880 3128 0 0 25 0 1 0 772580863 427008000 102155 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 104250 102155 1111 63 0 104187 0
vsize: 417000
[startup+830.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1353268 0 0 0 79881 3128 0 0 25 0 1 0 772580863 427008000 102155 4294967295 134512640 134714508 3221221776 3221217916 1075116549 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 104250 102155 1111 63 0 104187 0
vsize: 417000
[startup+840.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1353268 0 0 0 80881 3128 0 0 25 0 1 0 772580863 427008000 102155 4294967295 134512640 134714508 3221221776 3221217916 1075116513 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 104250 102155 1111 63 0 104187 0
vsize: 417000
[startup+850.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1353270 0 0 0 81881 3128 0 0 25 0 1 0 772580863 427008000 102157 4294967295 134512640 134714508 3221221776 3221218724 1075964218 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 104250 102157 1111 63 0 104187 0
vsize: 417000
[startup+860.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1353270 0 0 0 82881 3128 0 0 25 0 1 0 772580863 427008000 102157 4294967295 134512640 134714508 3221221776 3221218240 1075088573 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 104250 102157 1111 63 0 104187 0
vsize: 417000
[startup+870.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1353270 0 0 0 83881 3128 0 0 25 0 1 0 772580863 427008000 102157 4294967295 134512640 134714508 3221221776 3221217968 1074960771 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 104250 102157 1111 63 0 104187 0
vsize: 417000
[startup+880.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1353282 0 0 0 84881 3128 0 0 25 0 1 0 772580863 427724800 102169 4294967295 134512640 134714508 3221221776 3221217660 1074860617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 104425 102169 1111 63 0 104362 0
vsize: 417700
[startup+890.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1353282 0 0 0 85881 3128 0 0 25 0 1 0 772580863 427724800 102169 4294967295 134512640 134714508 3221221776 3221217916 1075116508 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 104425 102169 1111 63 0 104362 0
vsize: 417700
[startup+900.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1353282 0 0 0 86882 3128 0 0 25 0 1 0 772580863 427724800 102169 4294967295 134512640 134714508 3221221776 3221217692 1074860959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 104425 102169 1111 63 0 104362 0
vsize: 417700
[startup+910.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1353282 0 0 0 87882 3128 0 0 25 0 1 0 772580863 427724800 102169 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 104425 102169 1111 63 0 104362 0
vsize: 417700
[startup+920.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1396619 0 0 0 88779 3231 0 0 25 0 1 0 772580863 417382400 100443 4294967295 134512640 134714508 3221221776 3221219848 1074950082 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 101900 100443 1111 63 0 101837 0
vsize: 407600
[startup+930.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1460586 0 0 0 89631 3379 0 0 25 0 1 0 772580863 489607168 118067 4294967295 134512640 134714508 3221221776 3221220016 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 119533 118067 1111 63 0 119470 0
vsize: 478132
[startup+940.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1467318 0 0 0 90618 3393 0 0 25 0 1 0 772580863 497737728 119446 4294967295 134512640 134714508 3221221776 3221217660 1074860598 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 121518 119446 1111 63 0 121455 0
vsize: 486072
[startup+950.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1467322 0 0 0 91618 3393 0 0 25 0 1 0 772580863 497737728 119450 4294967295 134512640 134714508 3221221776 3221217760 1075084533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 121518 119450 1111 63 0 121455 0
vsize: 486072
[startup+960.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1467322 0 0 0 92618 3393 0 0 25 0 1 0 772580863 497737728 119450 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 121518 119450 1111 63 0 121455 0
vsize: 486072
[startup+970.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1467322 0 0 0 93618 3393 0 0 25 0 1 0 772580863 497737728 119450 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 121518 119450 1111 63 0 121455 0
vsize: 486072
[startup+980.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1467322 0 0 0 94618 3393 0 0 25 0 1 0 772580863 497737728 119450 4294967295 134512640 134714508 3221221776 3221217660 1074860598 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 121518 119450 1111 63 0 121455 0
vsize: 486072
[startup+990.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1467322 0 0 0 95618 3393 0 0 25 0 1 0 772580863 497737728 119450 4294967295 134512640 134714508 3221221776 3221217768 1074950210 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 121518 119450 1111 63 0 121455 0
vsize: 486072
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1467334 0 0 0 96619 3393 0 0 25 0 1 0 772580863 498454528 119462 4294967295 134512640 134714508 3221221776 3221217692 1074860959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 121693 119462 1111 63 0 121630 0
vsize: 486772
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1471864 0 0 0 97608 3403 0 0 25 0 1 0 772580863 482177024 116299 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 117719 116299 1111 63 0 117656 0
vsize: 470876
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1471865 0 0 0 98608 3403 0 0 25 0 1 0 772580863 482177024 116300 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 117719 116300 1111 63 0 117656 0
vsize: 470876
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1471865 0 0 0 99608 3403 0 0 25 0 1 0 772580863 482177024 116300 4294967295 134512640 134714508 3221221776 3221220556 134613500 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 117719 116300 1111 63 0 117656 0
vsize: 470876
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1471865 0 0 0 100608 3403 0 0 25 0 1 0 772580863 482177024 116300 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 117719 116300 1111 63 0 117656 0
vsize: 470876
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1471865 0 0 0 101608 3403 0 0 25 0 1 0 772580863 482177024 116300 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 117719 116300 1111 63 0 117656 0
vsize: 470876
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1471865 0 0 0 102608 3404 0 0 25 0 1 0 772580863 482177024 116300 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 117719 116300 1111 63 0 117656 0
vsize: 470876
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1471865 0 0 0 103608 3404 0 0 25 0 1 0 772580863 482177024 116300 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 117719 116300 1111 63 0 117656 0
vsize: 470876
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1471865 0 0 0 104608 3404 0 0 25 0 1 0 772580863 482177024 116300 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 117719 116300 1111 63 0 117656 0
vsize: 470876
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1471865 0 0 0 105609 3404 0 0 25 0 1 0 772580863 482177024 116300 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 117719 116300 1111 63 0 117656 0
vsize: 470876
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1471865 0 0 0 106609 3404 0 0 25 0 1 0 772580863 482177024 116300 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 117719 116300 1111 63 0 117656 0
vsize: 470876
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1471865 0 0 0 107609 3404 0 0 25 0 1 0 772580863 482177024 116300 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 117719 116300 1111 63 0 117656 0
vsize: 470876
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1471865 0 0 0 108609 3404 0 0 25 0 1 0 772580863 482177024 116300 4294967295 134512640 134714508 3221221776 3221220576 134597769 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 117719 116300 1111 63 0 117656 0
vsize: 470876
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1471865 0 0 0 109609 3405 0 0 25 0 1 0 772580863 482177024 116300 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 117719 116300 1111 63 0 117656 0
vsize: 470876
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1471865 0 0 0 110609 3405 0 0 25 0 1 0 772580863 482177024 116300 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 117719 116300 1111 63 0 117656 0
vsize: 470876
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1471865 0 0 0 111609 3405 0 0 25 0 1 0 772580863 482177024 116300 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 117719 116300 1111 63 0 117656 0
vsize: 470876
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1471865 0 0 0 112609 3405 0 0 25 0 1 0 772580863 482177024 116300 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 117719 116300 1111 63 0 117656 0
vsize: 470876
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1471865 0 0 0 113609 3405 0 0 25 0 1 0 772580863 482177024 116300 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 117719 116300 1111 63 0 117656 0
vsize: 470876
[startup+1175.13 s]
Raw data (loadavg): 0.99 0.97 0.98 1/54 29722
Raw data (stat): 29722 (bsolo_lpr) R 29721 7876 7672 0 -1 0 1471865 0 0 0 113609 3405 0 0 25 0 1 0 772580863 482177024 116300 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 117719 116300 1111 63 0 117656 0
vsize: 0

Child status: 0
Real time (s): 1175.13
CPU time (s): 1175.25
CPU user time (s): 1140.98
CPU system time (s): 34.2708
CPU usage (%): 100.01
Max. virtual memory (Kb): 486772
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####