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/MIPLIB/miplib3/normalized-mps-v2-20-10-fiber.opb
MD5SUM	665f67f4b53c876b2782c354a2ecbf32
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	108097879
Optimality of the best value was proved	NO
Number of terms in the objective function	1254
Biggest coefficient in the objective function	72966962
Number of bits for the biggest coefficient in the objective function	27
Sum of the numbers in the objective function	4807778524
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	536870912
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	4807778524
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	95.7554
Number of variables	2574
Total number of constraints	1617
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	1290
Number of constraints which are nor clauses,nor cardinality constraints	327
Minimum length of a constraint	1
Maximum length of a constraint	61
Trace number 26457

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-24 15:41:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13339 boxname=wulflinc31 idbench=1027 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  665f67f4b53c876b2782c354a2ecbf32  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-fiber.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-fiber.opb
IDLAUNCH: 13339
/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:        478952 kB
Buffers:         33932 kB
Cached:         500592 kB
SwapCached:       1248 kB
Active:         188900 kB
Inactive:       348112 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        478700 kB
SwapTotal:     2097892 kB
SwapFree:      2096040 kB
Dirty:             584 kB
Writeback:           0 kB
Mapped:           5432 kB
Slab:            13000 kB
Committed_AS:    63796 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 16:00:48 (client local time) WITH STATUS 0 IN 1175.35 SECONDS
stats: 13339 7 1175.35 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2574 variables and 711 constraints.
c After prepocess the problem consists of 2066 variables and 590 constraints.
c preprocess terminated 1.251 s
c Initial Lower Bound: 15608777
c Lower Bound Elapsed time: 0.2754
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.32 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.79 0.87 0.88 2/55 31085
Raw data (stat): 31085 (runsolver) R 31084 29618 29617 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831376581 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 0.82 0.88 0.88 2/55 31085
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 12469 0 0 0 969 28 0 0 25 0 1 0 831376581 43438080 9902 4294967295 134512640 134714508 3221224592 3221222400 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10605 9902 1111 63 0 10542 0
vsize: 42420
[startup+20.0013 s]
Raw data (loadavg): 0.85 0.88 0.88 2/55 31085
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 15589 0 0 0 1959 38 0 0 25 0 1 0 831376581 43438080 9902 4294967295 134512640 134714508 3221224592 3221222448 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10605 9902 1111 63 0 10542 0
vsize: 42420
[startup+30.0051 s]
Raw data (loadavg): 0.87 0.89 0.88 2/55 31085
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 18885 0 0 0 2950 48 0 0 25 0 1 0 831376581 43438080 9902 4294967295 134512640 134714508 3221224592 3221222928 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10605 9902 1111 63 0 10542 0
vsize: 42420
[startup+40.006 s]
Raw data (loadavg): 0.89 0.89 0.88 2/55 31087
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 22886 0 0 0 3940 58 0 0 25 0 1 0 831376581 44285952 10045 4294967295 134512640 134714508 3221224592 3221220832 1075115717 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10812 10045 1111 63 0 10749 0
vsize: 43248
[startup+50.0072 s]
Raw data (loadavg): 0.91 0.89 0.88 2/55 31087
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 27437 0 0 0 4927 71 0 0 25 0 1 0 831376581 43438080 9906 4294967295 134512640 134714508 3221224592 3221222756 1077378716 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10605 9906 1111 63 0 10542 0
vsize: 42420
[startup+60.0069 s]
Raw data (loadavg): 0.92 0.89 0.89 2/55 31087
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 32228 0 0 0 5916 83 0 0 25 0 1 0 831376581 43438080 9906 4294967295 134512640 134714508 3221224592 3221222416 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10605 9906 1111 63 0 10542 0
vsize: 42420
[startup+70.0148 s]
Raw data (loadavg): 0.93 0.90 0.89 2/55 31087
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 37325 0 0 0 6904 95 0 0 25 0 1 0 831376581 43438080 9906 4294967295 134512640 134714508 3221224592 3221222976 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10605 9906 1111 63 0 10542 0
vsize: 42420
[startup+80.0147 s]
Raw data (loadavg): 0.94 0.90 0.89 2/55 31087
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 42636 0 0 0 7891 108 0 0 25 0 1 0 831376581 43438080 9906 4294967295 134512640 134714508 3221224592 3221222992 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10605 9906 1111 63 0 10542 0
vsize: 42420
[startup+90.0157 s]
Raw data (loadavg): 0.95 0.90 0.89 2/55 31087
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 48630 0 0 0 8876 124 0 0 25 0 1 0 831376581 43450368 9909 4294967295 134512640 134714508 3221224592 3221222944 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10608 9909 1111 63 0 10545 0
vsize: 42432
[startup+100.016 s]
Raw data (loadavg): 0.96 0.91 0.89 2/55 31089
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 55194 0 0 0 9862 139 0 0 25 0 1 0 831376581 43450368 9909 4294967295 134512640 134714508 3221224592 3221222896 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10608 9909 1111 63 0 10545 0
vsize: 42432
[startup+110.016 s]
Raw data (loadavg): 0.96 0.91 0.89 2/55 31089
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 61528 0 0 0 10847 153 0 0 25 0 1 0 831376581 44101632 9998 4294967295 134512640 134714508 3221224592 3221222704 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10767 9998 1111 63 0 10704 0
vsize: 43068
[startup+120.016 s]
Raw data (loadavg): 0.97 0.91 0.89 2/55 31089
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 68265 0 0 0 11831 169 0 0 25 0 1 0 831376581 43798528 9994 4294967295 134512640 134714508 3221224592 3221222592 1074918607 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10693 9994 1111 63 0 10630 0
vsize: 42772
[startup+130.016 s]
Raw data (loadavg): 0.97 0.91 0.89 2/55 31089
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 75082 0 0 0 12814 186 0 0 25 0 1 0 831376581 43520000 9926 4294967295 134512640 134714508 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10665 9926 1111 63 0 10602 0
vsize: 42500
[startup+140.018 s]
Raw data (loadavg): 0.98 0.92 0.89 2/55 31089
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 81654 0 0 0 13800 201 0 0 25 0 1 0 831376581 43663360 9961 4294967295 134512640 134714508 3221224592 3221222560 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10660 9961 1111 63 0 10597 0
vsize: 42640
[startup+150.029 s]
Raw data (loadavg): 0.98 0.92 0.89 2/55 31089
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 87794 0 0 0 14786 217 0 0 25 0 1 0 831376581 43659264 9960 4294967295 134512640 134714508 3221224592 3221222944 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10659 9960 1111 63 0 10596 0
vsize: 42636
[startup+160.029 s]
Raw data (loadavg): 0.98 0.92 0.89 2/55 31091
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 94341 0 0 0 15770 232 0 0 25 0 1 0 831376581 43712512 9973 4294967295 134512640 134714508 3221224592 3221222416 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10672 9973 1111 63 0 10609 0
vsize: 42688
[startup+170.03 s]
Raw data (loadavg): 0.98 0.92 0.90 2/55 31091
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 101015 0 0 0 16755 248 0 0 25 0 1 0 831376581 43786240 9991 4294967295 134512640 134714508 3221224592 3221223232 134649106 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10690 9991 1111 63 0 10627 0
vsize: 42760
[startup+180.03 s]
Raw data (loadavg): 0.99 0.92 0.90 2/55 31091
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 107815 0 0 0 17740 263 0 0 25 0 1 0 831376581 44240896 10069 4294967295 134512640 134714508 3221224592 3221221936 1074839045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10847 10072 1111 63 0 10784 0
vsize: 43204
[startup+190.031 s]
Raw data (loadavg): 0.99 0.93 0.90 2/55 31091
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 114028 0 0 0 18726 277 0 0 25 0 1 0 831376581 43950080 10031 4294967295 134512640 134714508 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10730 10031 1111 63 0 10667 0
vsize: 42920
[startup+200.031 s]
Raw data (loadavg): 0.99 0.93 0.90 2/55 31091
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 120245 0 0 0 19711 292 0 0 25 0 1 0 831376581 43950080 10031 4294967295 134512640 134714508 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10730 10031 1111 63 0 10667 0
vsize: 42920
[startup+210.031 s]
Raw data (loadavg): 0.99 0.93 0.90 2/55 31091
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 126467 0 0 0 20697 306 0 0 25 0 1 0 831376581 43950080 10031 4294967295 134512640 134714508 3221224592 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10730 10031 1111 63 0 10667 0
vsize: 42920
[startup+220.032 s]
Raw data (loadavg): 0.99 0.93 0.90 2/55 31093
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 133044 0 0 0 21683 321 0 0 25 0 1 0 831376581 44015616 10047 4294967295 134512640 134714508 3221224592 3221222976 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10746 10047 1111 63 0 10683 0
vsize: 42984
[startup+230.032 s]
Raw data (loadavg): 0.99 0.93 0.90 2/55 31093
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 140040 0 0 0 22667 337 0 0 25 0 1 0 831376581 44634112 10128 4294967295 134512640 134714508 3221224592 3221222512 1075799658 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10897 10128 1111 63 0 10834 0
vsize: 43588
[startup+240.033 s]
Raw data (loadavg): 0.99 0.94 0.90 2/55 31093
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 146750 0 0 0 23651 353 0 0 25 0 1 0 831376581 44417024 10133 4294967295 134512640 134714508 3221224592 3221222592 1074918562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10844 10133 1111 63 0 10781 0
vsize: 43376
[startup+250.033 s]
Raw data (loadavg): 0.99 0.94 0.90 2/55 31093
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 152945 0 0 0 24635 370 0 0 25 0 1 0 831376581 44015616 10047 4294967295 134512640 134714508 3221224592 3221222944 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10746 10047 1111 63 0 10683 0
vsize: 42984
[startup+260.033 s]
Raw data (loadavg): 0.99 0.94 0.90 2/55 31093
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 159672 0 0 0 25617 387 0 0 25 0 1 0 831376581 44220416 10097 4294967295 134512640 134714508 3221224592 3221222888 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10796 10097 1111 63 0 10733 0
vsize: 43184
[startup+270.033 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 31093
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 165343 0 0 0 26603 402 0 0 25 0 1 0 831376581 44220416 10097 4294967295 134512640 134714508 3221224592 3221222976 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10796 10097 1111 63 0 10733 0
vsize: 43184
[startup+280.033 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 31095
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 171473 0 0 0 27588 417 0 0 25 0 1 0 831376581 44220416 10097 4294967295 134512640 134714508 3221224592 3221222992 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10796 10097 1111 63 0 10733 0
vsize: 43184
[startup+290.035 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 31095
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 177473 0 0 0 28574 431 0 0 25 0 1 0 831376581 44220416 10097 4294967295 134512640 134714508 3221224592 3221222944 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10796 10097 1111 63 0 10733 0
vsize: 43184
[startup+300.035 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 31095
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 183944 0 0 0 29557 448 0 0 25 0 1 0 831376581 44220416 10097 4294967295 134512640 134714508 3221224592 3221222508 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10796 10097 1111 63 0 10733 0
vsize: 43184
[startup+310.035 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 31095
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 189984 0 0 0 30542 464 0 0 25 0 1 0 831376581 44220416 10097 4294967295 134512640 134714508 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10796 10097 1111 63 0 10733 0
vsize: 43184
[startup+320.035 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 31095
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 196136 0 0 0 31528 478 0 0 25 0 1 0 831376581 44220416 10097 4294967295 134512640 134714508 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10796 10097 1111 63 0 10733 0
vsize: 43184
[startup+330.036 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 31095
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 202411 0 0 0 32512 493 0 0 25 0 1 0 831376581 44220416 10097 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10796 10097 1111 63 0 10733 0
vsize: 43184
[startup+340.037 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 31097
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 208664 0 0 0 33495 511 0 0 25 0 1 0 831376581 44666880 10162 4294967295 134512640 134714508 3221224592 3221222512 1075799524 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10905 10162 1111 63 0 10842 0
vsize: 43620
[startup+350.037 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 31097
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 215343 0 0 0 34480 526 0 0 25 0 1 0 831376581 44220416 10097 4294967295 134512640 134714508 3221224592 3221222896 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10796 10097 1111 63 0 10733 0
vsize: 43184
[startup+360.038 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 31097
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 221789 0 0 0 35464 543 0 0 25 0 1 0 831376581 44548096 10171 4294967295 134512640 134714508 3221224592 3221222320 1075635436 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10876 10171 1111 63 0 10813 0
vsize: 43504
[startup+370.038 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 31097
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 228131 0 0 0 36448 559 0 0 25 0 1 0 831376581 45338624 10287 4294967295 134512640 134714508 3221224592 3221221656 1075007302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11069 10287 1111 63 0 11006 0
vsize: 44276
[startup+380.038 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 31097
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 234762 0 0 0 37433 574 0 0 25 0 1 0 831376581 44232704 10100 4294967295 134512640 134714508 3221224592 3221222472 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10799 10100 1111 63 0 10736 0
vsize: 43196
[startup+390.039 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 31097
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 241451 0 0 0 38416 591 0 0 25 0 1 0 831376581 44302336 10117 4294967295 134512640 134714508 3221224592 3221222944 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10816 10117 1111 63 0 10753 0
vsize: 43264
[startup+400.04 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 31099
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 247488 0 0 0 39402 605 0 0 25 0 1 0 831376581 44310528 10119 4294967295 134512640 134714508 3221224592 3221222976 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10818 10119 1111 63 0 10755 0
vsize: 43272
[startup+410.04 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 31099
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 254105 0 0 0 40385 622 0 0 25 0 1 0 831376581 45494272 10322 4294967295 134512640 134714508 3221224592 3221220928 1075114265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11107 10322 1111 63 0 11044 0
vsize: 44428
[startup+420.04 s]
Raw data (loadavg): 1.07 0.97 0.91 2/55 31099
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 259945 0 0 0 41371 637 0 0 25 0 1 0 831376581 44773376 10219 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10931 10219 1111 63 0 10868 0
vsize: 43724
[startup+430.257 s]
Raw data (loadavg): 1.12 0.99 0.92 2/55 31099
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 265735 0 0 0 42378 651 0 0 25 0 1 0 831376581 45080576 10261 4294967295 134512640 134714508 3221224592 3221221784 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11006 10265 1111 63 0 10943 0
vsize: 44024
[startup+440.258 s]
Raw data (loadavg): 1.10 0.99 0.92 2/55 31099
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 271842 0 0 0 43364 666 0 0 25 0 1 0 831376581 44515328 10139 4294967295 134512640 134714508 3221224592 3221222416 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10868 10139 1111 63 0 10805 0
vsize: 43472
[startup+450.271 s]
Raw data (loadavg): 1.08 0.99 0.92 2/55 31099
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 278679 0 0 0 44348 683 0 0 25 0 1 0 831376581 44769280 10231 4294967295 134512640 134714508 3221224592 3221223008 1074116354 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10930 10231 1111 63 0 10867 0
vsize: 43720
[startup+460.27 s]
Raw data (loadavg): 1.07 0.99 0.92 2/55 31101
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 285689 0 0 0 45329 703 0 0 25 0 1 0 831376581 44830720 10246 4294967295 134512640 134714508 3221224592 3221222592 1074913436 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10945 10246 1111 63 0 10882 0
vsize: 43780
[startup+470.276 s]
Raw data (loadavg): 1.06 0.99 0.92 2/55 31101
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 293082 0 0 0 46312 720 0 0 25 0 1 0 831376581 44474368 10159 4294967295 134512640 134714508 3221224592 3221222840 1074138322 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10858 10159 1111 63 0 10795 0
vsize: 43432
[startup+480.276 s]
Raw data (loadavg): 1.05 0.99 0.92 2/55 31101
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 300203 0 0 0 47294 738 0 0 25 0 1 0 831376581 45559808 10359 4294967295 134512640 134714508 3221224592 3221221496 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11123 10359 1111 63 0 11060 0
vsize: 44492
[startup+490.277 s]
Raw data (loadavg): 1.04 0.99 0.92 2/55 31101
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 307480 0 0 0 48278 754 0 0 25 0 1 0 831376581 44474368 10159 4294967295 134512640 134714508 3221224592 3221222416 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10858 10159 1111 63 0 10795 0
vsize: 43432
[startup+500.278 s]
Raw data (loadavg): 1.04 0.99 0.92 2/55 31101
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 314147 0 0 0 49263 769 0 0 25 0 1 0 831376581 45600768 10316 4294967295 134512640 134714508 3221224592 3221220752 1075095371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11133 10326 1111 63 0 11070 0
vsize: 44532
[startup+510.278 s]
Raw data (loadavg): 1.03 0.99 0.92 2/55 31101
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 321160 0 0 0 50247 786 0 0 25 0 1 0 831376581 44773376 10193 4294967295 134512640 134714508 3221224592 3221222336 1075646985 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10886 10187 1111 63 0 10823 0
vsize: 43724
[startup+520.278 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 31103
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 327638 0 0 0 51231 802 0 0 25 0 1 0 831376581 44609536 10192 4294967295 134512640 134714508 3221224592 3221222944 1074153806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10891 10192 1111 63 0 10828 0
vsize: 43564
[startup+530.278 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 31103
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 334127 0 0 0 52214 819 0 0 25 0 1 0 831376581 44609536 10192 4294967295 134512640 134714508 3221224592 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10891 10192 1111 63 0 10828 0
vsize: 43564
[startup+540.28 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 31103
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 340875 0 0 0 53198 835 0 0 25 0 1 0 831376581 44609536 10192 4294967295 134512640 134714508 3221224592 3221222976 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10891 10192 1111 63 0 10828 0
vsize: 43564
[startup+550.28 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 31103
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 347848 0 0 0 54182 851 0 0 25 0 1 0 831376581 45244416 10277 4294967295 134512640 134714508 3221224592 3221222320 1075828508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11046 10277 1111 63 0 10983 0
vsize: 44184
[startup+560.28 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 31103
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 354827 0 0 0 55166 867 0 0 25 0 1 0 831376581 44924928 10269 4294967295 134512640 134714508 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10968 10269 1111 63 0 10905 0
vsize: 43872
[startup+570.28 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 31103
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 361711 0 0 0 56149 885 0 0 25 0 1 0 831376581 44933120 10271 4294967295 134512640 134714508 3221224592 3221222592 1074918607 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10970 10271 1111 63 0 10907 0
vsize: 43880
[startup+580.28 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 31105
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 368894 0 0 0 57132 902 0 0 25 0 1 0 831376581 44625920 10196 4294967295 134512640 134714508 3221224592 3221222944 1074153806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10895 10196 1111 63 0 10832 0
vsize: 43580
[startup+590.282 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 31105
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 375642 0 0 0 58116 919 0 0 25 0 1 0 831376581 44756992 10228 4294967295 134512640 134714508 3221224592 3221222976 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10927 10228 1111 63 0 10864 0
vsize: 43708
[startup+600.282 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31105
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 382350 0 0 0 59102 933 0 0 25 0 1 0 831376581 45211648 10332 4294967295 134512640 134714508 3221224592 3221221696 1074139052 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11038 10332 1111 63 0 10975 0
vsize: 44152
[startup+610.282 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31105
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 388801 0 0 0 60087 948 0 0 25 0 1 0 831376581 44797952 10238 4294967295 134512640 134714508 3221224592 3221222928 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10937 10238 1111 63 0 10874 0
vsize: 43748
[startup+620.282 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31105
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 395559 0 0 0 61072 963 0 0 25 0 1 0 831376581 44797952 10238 4294967295 134512640 134714508 3221224592 3221222904 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10937 10238 1111 63 0 10874 0
vsize: 43748
[startup+630.282 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31105
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 402383 0 0 0 62058 977 0 0 25 0 1 0 831376581 45862912 10419 4294967295 134512640 134714508 3221224592 3221220588 1074860959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11197 10419 1111 63 0 11134 0
vsize: 44788
[startup+640.282 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31107
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 409221 0 0 0 63040 995 0 0 25 0 1 0 831376581 44797952 10238 4294967295 134512640 134714508 3221224592 3221222400 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10937 10238 1111 63 0 10874 0
vsize: 43748
[startup+650.282 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31107
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 416345 0 0 0 64023 1012 0 0 25 0 1 0 831376581 44797952 10238 4294967295 134512640 134714508 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10937 10238 1111 63 0 10874 0
vsize: 43748
[startup+660.282 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31107
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 423310 0 0 0 65007 1028 0 0 25 0 1 0 831376581 44797952 10238 4294967295 134512640 134714508 3221224592 3221222856 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10937 10238 1111 63 0 10874 0
vsize: 43748
[startup+670.282 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31107
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 430072 0 0 0 65991 1045 0 0 25 0 1 0 831376581 45842432 10414 4294967295 134512640 134714508 3221224592 3221220604 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11192 10414 1111 63 0 11129 0
vsize: 44768
[startup+680.282 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31107
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 436667 0 0 0 66975 1061 0 0 25 0 1 0 831376581 44797952 10238 4294967295 134512640 134714508 3221224592 3221222528 1074056223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10937 10238 1111 63 0 10874 0
vsize: 43748
[startup+690.282 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31107
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 443249 0 0 0 67960 1076 0 0 25 0 1 0 831376581 44797952 10238 4294967295 134512640 134714508 3221224592 3221222888 1074138153 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10937 10238 1111 63 0 10874 0
vsize: 43748
[startup+700.282 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31109
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 449842 0 0 0 68944 1092 0 0 25 0 1 0 831376581 45637632 10313 4294967295 134512640 134714508 3221224592 3221221552 1074790218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11142 10313 1111 63 0 11079 0
vsize: 44568
[startup+710.282 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31109
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 456439 0 0 0 69929 1107 0 0 25 0 1 0 831376581 45084672 10308 4294967295 134512640 134714508 3221224592 3221222592 1074918533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11007 10308 1111 63 0 10944 0
vsize: 44028
[startup+720.282 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31109
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 462964 0 0 0 70913 1124 0 0 25 0 1 0 831376581 44797952 10238 4294967295 134512640 134714508 3221224592 3221222908 1074146096 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10937 10238 1111 63 0 10874 0
vsize: 43748
[startup+730.282 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31109
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 469776 0 0 0 71895 1141 0 0 25 0 1 0 831376581 45797376 10419 4294967295 134512640 134714508 3221224592 3221222016 1076065250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11181 10419 1111 63 0 11118 0
vsize: 44724
[startup+740.282 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31109
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 476515 0 0 0 72879 1158 0 0 25 0 1 0 831376581 45809664 10422 4294967295 134512640 134714508 3221224592 3221220588 1074860993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11184 10422 1111 63 0 11121 0
vsize: 44736
[startup+750.283 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31109
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 483070 0 0 0 73863 1173 0 0 25 0 1 0 831376581 44797952 10238 4294967295 134512640 134714508 3221224592 3221222944 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10937 10238 1111 63 0 10874 0
vsize: 43748
[startup+760.283 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31111
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 489634 0 0 0 74848 1189 0 0 25 0 1 0 831376581 44797952 10238 4294967295 134512640 134714508 3221224592 3221222896 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10937 10238 1111 63 0 10874 0
vsize: 43748
[startup+770.283 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31111
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 496415 0 0 0 75832 1205 0 0 25 0 1 0 831376581 44797952 10238 4294967295 134512640 134714508 3221224592 3221222920 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10937 10238 1111 63 0 10874 0
vsize: 43748
[startup+780.284 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31111
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 503179 0 0 0 76817 1220 0 0 25 0 1 0 831376581 44797952 10238 4294967295 134512640 134714508 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10937 10238 1111 63 0 10874 0
vsize: 43748
[startup+790.284 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31111
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 510172 0 0 0 77801 1236 0 0 25 0 1 0 831376581 44867584 10255 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10988 10256 1111 63 0 10925 0
vsize: 43816
[startup+800.284 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31111
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 516922 0 0 0 78785 1253 0 0 25 0 1 0 831376581 44797952 10238 4294967295 134512640 134714508 3221224592 3221222560 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10937 10238 1111 63 0 10874 0
vsize: 43748
[startup+810.284 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31111
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 523664 0 0 0 79767 1271 0 0 25 0 1 0 831376581 45379584 10344 4294967295 134512640 134714508 3221224592 3221221696 1074138944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11079 10344 1111 63 0 11016 0
vsize: 44316
[startup+820.285 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31113
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 530499 0 0 0 80752 1286 0 0 25 0 1 0 831376581 44797952 10238 4294967295 134512640 134714508 3221224592 3221222924 1074206848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10937 10238 1111 63 0 10874 0
vsize: 43748
[startup+830.285 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31113
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 537423 0 0 0 81737 1301 0 0 25 0 1 0 831376581 45293568 10316 4294967295 134512640 134714508 3221224592 3221222320 1075828444 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11058 10316 1111 63 0 10995 0
vsize: 44232
[startup+840.285 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31113
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 544463 0 0 0 82721 1317 0 0 25 0 1 0 831376581 44797952 10238 4294967295 134512640 134714508 3221224592 3221222944 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10937 10238 1111 63 0 10874 0
vsize: 43748
[startup+850.285 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31113
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 551391 0 0 0 83704 1335 0 0 25 0 1 0 831376581 44797952 10238 4294967295 134512640 134714508 3221224592 3221222888 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10937 10238 1111 63 0 10874 0
vsize: 43748
[startup+860.29 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31113
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 558332 0 0 0 84687 1353 0 0 25 0 1 0 831376581 44797952 10238 4294967295 134512640 134714508 3221224592 3221222808 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10937 10238 1111 63 0 10874 0
vsize: 43748
[startup+870.29 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31113
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 565233 0 0 0 85670 1369 0 0 25 0 1 0 831376581 44797952 10238 4294967295 134512640 134714508 3221224592 3221221980 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10937 10238 1111 63 0 10874 0
vsize: 43748
[startup+880.29 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31115
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 572188 0 0 0 86654 1386 0 0 25 0 1 0 831376581 44797952 10238 4294967295 134512640 134714508 3221224592 3221222896 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10937 10238 1111 63 0 10874 0
vsize: 43748
[startup+890.3 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31115
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 579101 0 0 0 87637 1403 0 0 25 0 1 0 831376581 45862912 10429 4294967295 134512640 134714508 3221224592 3221220588 1074860995 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11197 10429 1111 63 0 11134 0
vsize: 44788
[startup+900.3 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31115
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 585651 0 0 0 88623 1418 0 0 25 0 1 0 831376581 44797952 10238 4294967295 134512640 134714508 3221224592 3221222888 1074138153 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10937 10238 1111 63 0 10874 0
vsize: 43748
[startup+910.3 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31115
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 592116 0 0 0 89607 1434 0 0 25 0 1 0 831376581 45064192 10303 4294967295 134512640 134714508 3221224592 3221222592 1074916756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11002 10303 1111 63 0 10939 0
vsize: 44008
[startup+920.301 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31115
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 598742 0 0 0 90590 1451 0 0 25 0 1 0 831376581 45060096 10302 4294967295 134512640 134714508 3221224592 3221222592 1074918520 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11001 10302 1111 63 0 10938 0
vsize: 44004
[startup+930.311 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31115
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 605710 0 0 0 91576 1467 0 0 25 0 1 0 831376581 45813760 10374 4294967295 134512640 134714508 3221224592 3221221512 1074950074 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11185 10374 1111 63 0 11122 0
vsize: 44740
[startup+940.311 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31117
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 612132 0 0 0 92561 1482 0 0 25 0 1 0 831376581 44896256 10262 4294967295 134512640 134714508 3221224592 3221222856 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10961 10262 1111 63 0 10898 0
vsize: 43844
[startup+950.312 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31117
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 618475 0 0 0 93545 1498 0 0 25 0 1 0 831376581 44896256 10262 4294967295 134512640 134714508 3221224592 3221222976 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10961 10262 1111 63 0 10898 0
vsize: 43844
[startup+960.312 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31117
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 624869 0 0 0 94528 1515 0 0 25 0 1 0 831376581 44896256 10262 4294967295 134512640 134714508 3221224592 3221222928 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10961 10262 1111 63 0 10898 0
vsize: 43844
[startup+970.312 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31117
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 631354 0 0 0 95514 1530 0 0 25 0 1 0 831376581 45793280 10385 4294967295 134512640 134714508 3221224592 3221221576 1074831419 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11180 10385 1111 63 0 11117 0
vsize: 44720
[startup+980.312 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31117
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 638109 0 0 0 96496 1548 0 0 25 0 1 0 831376581 44896256 10262 4294967295 134512640 134714508 3221224592 3221222944 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10961 10262 1111 63 0 10898 0
vsize: 43844
[startup+990.312 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31117
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 645094 0 0 0 97479 1564 0 0 25 0 1 0 831376581 45948928 10443 4294967295 134512640 134714508 3221224592 3221220752 1075095344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11218 10449 1111 63 0 11155 0
vsize: 44872
[startup+1000.31 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31119
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 651976 0 0 0 98462 1582 0 0 25 0 1 0 831376581 44908544 10265 4294967295 134512640 134714508 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10964 10265 1111 63 0 10901 0
vsize: 43856
[startup+1010.31 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31119
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 658695 0 0 0 99446 1598 0 0 25 0 1 0 831376581 45977600 10446 4294967295 134512640 134714508 3221224592 3221220832 1075115768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11225 10446 1111 63 0 11162 0
vsize: 44900
[startup+1020.31 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31119
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 665289 0 0 0 100431 1613 0 0 25 0 1 0 831376581 44908544 10265 4294967295 134512640 134714508 3221224592 3221222904 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10964 10265 1111 63 0 10901 0
vsize: 43856
[startup+1030.31 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31119
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 672198 0 0 0 101416 1628 0 0 25 0 1 0 831376581 44908544 10265 4294967295 134512640 134714508 3221224592 3221222640 134650104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10964 10265 1111 63 0 10901 0
vsize: 43856
[startup+1040.31 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31119
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 678870 0 0 0 102402 1642 0 0 25 0 1 0 831376581 45195264 10335 4294967295 134512640 134714508 3221224592 3221223008 1074116208 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11034 10335 1111 63 0 10971 0
vsize: 44136
[startup+1050.31 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31119
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 685659 0 0 0 103386 1658 0 0 25 0 1 0 831376581 45936640 10451 4294967295 134512640 134714508 3221224592 3221220848 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11215 10451 1111 63 0 11152 0
vsize: 44860
[startup+1060.31 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31121
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 692608 0 0 0 104369 1676 0 0 25 0 1 0 831376581 44908544 10265 4294967295 134512640 134714508 3221224592 3221222888 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10964 10265 1111 63 0 10901 0
vsize: 43856
[startup+1070.33 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31121
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 699710 0 0 0 105354 1692 0 0 25 0 1 0 831376581 45047808 10269 4294967295 134512640 134714508 3221224592 3221222840 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10998 10269 1111 63 0 10935 0
vsize: 43992
[startup+1080.32 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31121
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 706237 0 0 0 106337 1709 0 0 25 0 1 0 831376581 45101056 10312 4294967295 134512640 134714508 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11011 10312 1111 63 0 10948 0
vsize: 44044
[startup+1090.32 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31121
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 712223 0 0 0 107322 1724 0 0 25 0 1 0 831376581 45101056 10312 4294967295 134512640 134714508 3221224592 3221222888 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11011 10312 1111 63 0 10948 0
vsize: 44044
[startup+1100.33 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31121
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 718216 0 0 0 108306 1740 0 0 25 0 1 0 831376581 45166592 10328 4294967295 134512640 134714508 3221224592 3221222976 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11027 10328 1111 63 0 10964 0
vsize: 44108
[startup+1110.33 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31121
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 724580 0 0 0 109291 1755 0 0 25 0 1 0 831376581 45441024 10381 4294967295 134512640 134714508 3221224592 3221222592 1074918577 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11094 10381 1111 63 0 11031 0
vsize: 44376
[startup+1120.33 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31123
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 730961 0 0 0 110277 1770 0 0 25 0 1 0 831376581 45408256 10387 4294967295 134512640 134714508 3221224592 3221223056 1073990086 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11086 10387 1111 63 0 11023 0
vsize: 44344
[startup+1130.34 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 31123
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 736590 0 0 0 111266 1782 0 0 25 0 1 0 831376581 46141440 10486 4294967295 134512640 134714508 3221224592 3221220976 1075895987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11265 10486 1111 63 0 11202 0
vsize: 45060
[startup+1140.34 s]
Raw data (loadavg): 1.23 1.04 0.94 2/58 31171
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 741661 0 0 0 112252 1796 0 0 25 0 1 0 831376581 45187072 10333 4294967295 134512640 134714508 3221224592 3221222840 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11032 10333 1111 63 0 10969 0
vsize: 44128
[startup+1150.34 s]
Raw data (loadavg): 1.19 1.04 0.94 2/55 31176
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 747046 0 0 0 113239 1809 0 0 25 0 1 0 831376581 45187072 10333 4294967295 134512640 134714508 3221224592 3221222888 1074138153 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11032 10333 1111 63 0 10969 0
vsize: 44128
[startup+1160.34 s]
Raw data (loadavg): 1.16 1.03 0.94 2/55 31176
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 752306 0 0 0 114227 1822 0 0 25 0 1 0 831376581 45187072 10333 4294967295 134512640 134714508 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11032 10333 1111 63 0 10969 0
vsize: 44128
[startup+1170.34 s]
Raw data (loadavg): 1.14 1.03 0.94 2/55 31176
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 757472 0 0 0 115214 1835 0 0 25 0 1 0 831376581 45187072 10333 4294967295 134512640 134714508 3221224592 3221222928 1074153806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11032 10333 1111 63 0 10969 0
vsize: 44128
[startup+1175.5 s]
Raw data (loadavg): 1.12 1.03 0.94 1/54 31176
Raw data (stat): 31085 (bsolo_lpr) R 31084 29618 29617 0 -1 0 757472 0 0 0 115214 1835 0 0 25 0 1 0 831376581 45187072 10333 4294967295 134512640 134714508 3221224592 3221222928 1074153806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11032 10333 1111 63 0 10969 0
vsize: 0

Child status: 0
Real time (s): 1175.5
CPU time (s): 1175.35
CPU user time (s): 1156.91
CPU system time (s): 18.4402
CPU usage (%): 99.9869
Max. virtual memory (Kb): 45060
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####