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/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet6.opb
MD5SUM	1b379137169731592d0d61cac8bf57af
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5123480
Optimality of the best value was proved	NO
Number of terms in the objective function	8282
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	524133752
Number of bits of the sum of numbers in the objective function	29
Biggest number in a constraint	1048576
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	524133752
Number of bits of the biggest sum of numbers	29
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1243.61
Number of variables	9890
Total number of constraints	978
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	378
Number of constraints which are nor clauses,nor cardinality constraints	600
Minimum length of a constraint	1
Maximum length of a constraint	1072
Trace number 27502

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc20 THE 2005-05-24 22:13:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16838 boxname=wulflinc20 idbench=1296 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  1b379137169731592d0d61cac8bf57af  /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-fixnet6.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-fixnet6.opb
IDLAUNCH: 16838
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
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.215
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:        817988 kB
Buffers:         23804 kB
Cached:         171320 kB
SwapCached:        716 kB
Active:          25648 kB
Inactive:       171572 kB
HighTotal:      131008 kB
HighFree:        14504 kB
LowTotal:       903652 kB
LowFree:        803484 kB
SwapTotal:     2097892 kB
SwapFree:      2096336 kB
Dirty:             156 kB
Writeback:           0 kB
Mapped:           5064 kB
Slab:            13844 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 22:32:48 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 16838 7 1175.05 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 9890 variables and 700 constraints.
c After prepocess the problem consists of 5883 variables and 595 constraints.
c preprocess terminated 732.346 s
c Initial Lower Bound: 69
c Lower Bound Elapsed time: 0
c 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): 1.08 1.02 0.98 2/54 30388
Raw data (stat): 30388 (runsolver) R 30387 25399 25398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833748176 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.0001 s]
Raw data (loadavg): 1.07 1.01 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 8817 0 0 0 981 17 0 0 25 0 1 0 833748176 49721344 8795 4294967295 134512640 134714540 3221224592 3221222876 1077049379 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12139 8795 1111 63 0 12076 0
vsize: 48556
[startup+20.0014 s]
Raw data (loadavg): 1.06 1.01 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 17469 0 0 0 1960 38 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+30.0016 s]
Raw data (loadavg): 1.05 1.01 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 17532 0 0 0 2959 39 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+40.0013 s]
Raw data (loadavg): 1.04 1.01 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 17602 0 0 0 3959 40 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+50.0025 s]
Raw data (loadavg): 1.03 1.01 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 17672 0 0 0 4958 41 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+60.0028 s]
Raw data (loadavg): 1.03 1.01 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 17693 0 0 0 5958 41 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+70.0035 s]
Raw data (loadavg): 1.02 1.01 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 17714 0 0 0 6957 42 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+80.0047 s]
Raw data (loadavg): 1.02 1.01 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 17819 0 0 0 7957 42 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+90.0049 s]
Raw data (loadavg): 1.02 1.01 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 17854 0 0 0 8957 43 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+100.006 s]
Raw data (loadavg): 1.01 1.01 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 17917 0 0 0 9956 44 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+110.007 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 17987 0 0 0 10956 44 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+120.008 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 18092 0 0 0 11955 45 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+130.008 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 18162 0 0 0 12953 46 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+140.008 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 18288 0 0 0 13953 47 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+150.009 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 18337 0 0 0 14953 47 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+160.009 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 18386 0 0 0 15952 48 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+170.01 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 18470 0 0 0 16952 49 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+180.01 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 18561 0 0 0 17952 49 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+190.01 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 18624 0 0 0 18952 49 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221222972 1077379823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+200.01 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 18743 0 0 0 19951 50 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+210.009 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 18820 0 0 0 20951 50 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+220.011 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 18869 0 0 0 21951 50 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+230.011 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 18953 0 0 0 22951 50 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+240.011 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 18981 0 0 0 23951 50 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+250.01 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 19051 0 0 0 24951 51 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+260.01 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 19135 0 0 0 25950 51 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+270.011 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 19212 0 0 0 26950 52 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+280.012 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 19240 0 0 0 27951 52 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+290.012 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 19296 0 0 0 28950 52 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+300.013 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 19373 0 0 0 29950 52 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+310.013 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 19429 0 0 0 30950 53 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+320.013 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 19478 0 0 0 31950 53 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+330.014 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 19562 0 0 0 32950 53 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+340.014 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 19604 0 0 0 33950 54 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+350.015 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 19660 0 0 0 34950 54 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223076 1077378674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+360.017 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 19730 0 0 0 35949 54 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223228 134554941 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+370.017 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 19856 0 0 0 36949 55 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+380.017 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 19912 0 0 0 37949 55 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+390.017 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 19961 0 0 0 38948 56 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+400.019 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 20031 0 0 0 39949 56 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+410.018 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 20108 0 0 0 40948 56 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+420.019 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 20199 0 0 0 41948 57 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+430.019 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 20248 0 0 0 42948 57 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223316 134618158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+440.019 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 20353 0 0 0 43948 57 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+450.019 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 20465 0 0 0 44948 57 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+460.019 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 20577 0 0 0 45948 58 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+470.019 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 20703 0 0 0 46947 58 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+480.019 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 20780 0 0 0 47947 59 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223204 134557790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+490.019 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 20843 0 0 0 48947 59 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+500.019 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 20941 0 0 0 49947 60 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+510.019 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 21004 0 0 0 50947 60 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+520.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 21067 0 0 0 51947 60 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+530.021 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 21137 0 0 0 52947 60 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+540.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 21221 0 0 0 53946 61 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+550.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 21277 0 0 0 54947 61 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+560.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 21389 0 0 0 55946 61 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+570.021 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 21438 0 0 0 56946 62 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223264 134606963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+580.021 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 21480 0 0 0 57946 62 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+590.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 21578 0 0 0 58946 62 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+600.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 21627 0 0 0 59946 62 0 0 25 0 1 0 833748176 74977280 17332 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+610.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 21864 0 0 0 60946 63 0 0 25 0 1 0 833748176 75730944 17513 4294967295 134512640 134714540 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17513 1111 63 0 18426 0
vsize: 73956
[startup+620.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 21864 0 0 0 61946 63 0 0 25 0 1 0 833748176 75730944 17513 4294967295 134512640 134714540 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17513 1111 63 0 18426 0
vsize: 73956
[startup+630.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 21864 0 0 0 62946 63 0 0 25 0 1 0 833748176 75730944 17513 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17513 1111 63 0 18426 0
vsize: 73956
[startup+640.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 21864 0 0 0 63946 63 0 0 25 0 1 0 833748176 75730944 17513 4294967295 134512640 134714540 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17513 1111 63 0 18426 0
vsize: 73956
[startup+650.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 21864 0 0 0 64946 63 0 0 25 0 1 0 833748176 75730944 17513 4294967295 134512640 134714540 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17513 1111 63 0 18426 0
vsize: 73956
[startup+660.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 21864 0 0 0 65946 63 0 0 25 0 1 0 833748176 75730944 17513 4294967295 134512640 134714540 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17513 1111 63 0 18426 0
vsize: 73956
[startup+670.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 21864 0 0 0 66947 63 0 0 25 0 1 0 833748176 75730944 17513 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17513 1111 63 0 18426 0
vsize: 73956
[startup+680.021 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 21864 0 0 0 67947 63 0 0 25 0 1 0 833748176 75730944 17513 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17513 1111 63 0 18426 0
vsize: 73956
[startup+690.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 21864 0 0 0 68947 63 0 0 25 0 1 0 833748176 75730944 17513 4294967295 134512640 134714540 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17513 1111 63 0 18426 0
vsize: 73956
[startup+700.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 21864 0 0 0 69947 63 0 0 25 0 1 0 833748176 75730944 17513 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17513 1111 63 0 18426 0
vsize: 73956
[startup+710.021 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 21864 0 0 0 70947 63 0 0 25 0 1 0 833748176 75730944 17513 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17513 1111 63 0 18426 0
vsize: 73956
[startup+720.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 21864 0 0 0 71947 63 0 0 25 0 1 0 833748176 75730944 17513 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17513 1111 63 0 18426 0
vsize: 73956
[startup+730.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 21864 0 0 0 72948 63 0 0 25 0 1 0 833748176 75730944 17513 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17513 1111 63 0 18426 0
vsize: 73956
[startup+740.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 21880 0 0 0 73947 63 0 0 25 0 1 0 833748176 75730944 17529 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17529 1111 63 0 18426 0
vsize: 73956
[startup+750.021 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 21882 0 0 0 74947 64 0 0 25 0 1 0 833748176 75730944 17531 4294967295 134512640 134714540 3221224592 3221223344 134624488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17531 1111 63 0 18426 0
vsize: 73956
[startup+760.021 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 21884 0 0 0 75946 64 0 0 25 0 1 0 833748176 75730944 17533 4294967295 134512640 134714540 3221224592 3221223308 134695828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17533 1111 63 0 18426 0
vsize: 73956
[startup+770.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 21884 0 0 0 76946 65 0 0 25 0 1 0 833748176 75730944 17533 4294967295 134512640 134714540 3221224592 3221223408 134622115 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17533 1111 63 0 18426 0
vsize: 73956
[startup+780.021 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 21884 0 0 0 77946 65 0 0 25 0 1 0 833748176 75730944 17533 4294967295 134512640 134714540 3221224592 3221223328 134695300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17533 1111 63 0 18426 0
vsize: 73956
[startup+790.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 21884 0 0 0 78945 66 0 0 25 0 1 0 833748176 75730944 17533 4294967295 134512640 134714540 3221224592 3221223296 134556927 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17533 1111 63 0 18426 0
vsize: 73956
[startup+800.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 21884 0 0 0 79945 67 0 0 25 0 1 0 833748176 75730944 17533 4294967295 134512640 134714540 3221224592 3221223320 134558785 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17533 1111 63 0 18426 0
vsize: 73956
[startup+810.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 21884 0 0 0 80944 67 0 0 25 0 1 0 833748176 75730944 17533 4294967295 134512640 134714540 3221224592 3221223344 134624488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17533 1111 63 0 18426 0
vsize: 73956
[startup+820.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 21884 0 0 0 81944 68 0 0 25 0 1 0 833748176 75730944 17533 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17533 1111 63 0 18426 0
vsize: 73956
[startup+830.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 21884 0 0 0 82943 68 0 0 25 0 1 0 833748176 75730944 17533 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17533 1111 63 0 18426 0
vsize: 73956
[startup+840.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 21884 0 0 0 83943 69 0 0 25 0 1 0 833748176 75730944 17533 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17533 1111 63 0 18426 0
vsize: 73956
[startup+850.021 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 21884 0 0 0 84943 69 0 0 25 0 1 0 833748176 75730944 17533 4294967295 134512640 134714540 3221224592 3221223328 134556487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17533 1111 63 0 18426 0
vsize: 73956
[startup+860.021 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 21884 0 0 0 85943 69 0 0 25 0 1 0 833748176 75730944 17533 4294967295 134512640 134714540 3221224592 3221223340 134556933 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17533 1111 63 0 18426 0
vsize: 73956
[startup+870.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 21884 0 0 0 86943 70 0 0 25 0 1 0 833748176 75730944 17533 4294967295 134512640 134714540 3221224592 3221223328 134695405 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17533 1111 63 0 18426 0
vsize: 73956
[startup+880.021 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 21884 0 0 0 87943 70 0 0 25 0 1 0 833748176 75730944 17533 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17533 1111 63 0 18426 0
vsize: 73956
[startup+890.021 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 21884 0 0 0 88942 71 0 0 25 0 1 0 833748176 75730944 17533 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17533 1111 63 0 18426 0
vsize: 73956
[startup+900.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 21884 0 0 0 89942 71 0 0 25 0 1 0 833748176 75730944 17533 4294967295 134512640 134714540 3221224592 3221223364 134624473 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17533 1111 63 0 18426 0
vsize: 73956
[startup+910.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 21884 0 0 0 90942 72 0 0 25 0 1 0 833748176 75730944 17533 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17533 1111 63 0 18426 0
vsize: 73956
[startup+920.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 21884 0 0 0 91941 72 0 0 25 0 1 0 833748176 75730944 17533 4294967295 134512640 134714540 3221224592 3221223352 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17533 1111 63 0 18426 0
vsize: 73956
[startup+930.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 21884 0 0 0 92941 72 0 0 25 0 1 0 833748176 75730944 17533 4294967295 134512640 134714540 3221224592 3221223016 1077374049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17533 1111 63 0 18426 0
vsize: 73956
[startup+940.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 21884 0 0 0 93941 72 0 0 25 0 1 0 833748176 75730944 17533 4294967295 134512640 134714540 3221224592 3221223332 134556729 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17533 1111 63 0 18426 0
vsize: 73956
[startup+950.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 21884 0 0 0 94941 73 0 0 25 0 1 0 833748176 75730944 17533 4294967295 134512640 134714540 3221224592 3221223356 134543192 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17533 1111 63 0 18426 0
vsize: 73956
[startup+960.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 21884 0 0 0 95940 74 0 0 25 0 1 0 833748176 75730944 17533 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17533 1111 63 0 18426 0
vsize: 73956
[startup+970.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 22003 0 0 0 96939 75 0 0 25 0 1 0 833748176 76263424 17652 4294967295 134512640 134714540 3221224592 3221223312 134556650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18619 17652 1111 63 0 18556 0
vsize: 74476
[startup+980.019 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 22140 0 0 0 97938 76 0 0 25 0 1 0 833748176 76795904 17789 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18749 17789 1111 63 0 18686 0
vsize: 74996
[startup+990.019 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 22239 0 0 0 98937 77 0 0 25 0 1 0 833748176 77193216 17888 4294967295 134512640 134714540 3221224592 3221223328 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18846 17888 1111 63 0 18783 0
vsize: 75384
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 22355 0 0 0 99937 78 0 0 25 0 1 0 833748176 77729792 18004 4294967295 134512640 134714540 3221224592 3221223304 134558629 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18977 18004 1111 63 0 18914 0
vsize: 75908
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 22472 0 0 0 100936 79 0 0 25 0 1 0 833748176 78135296 18121 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19076 18121 1111 63 0 19013 0
vsize: 76304
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 22553 0 0 0 101935 80 0 0 25 0 1 0 833748176 78528512 18202 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19172 18202 1111 63 0 19109 0
vsize: 76688
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 22683 0 0 0 102935 80 0 0 25 0 1 0 833748176 79056896 18332 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19301 18332 1111 63 0 19238 0
vsize: 77204
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 22757 0 0 0 103934 81 0 0 25 0 1 0 833748176 79327232 18406 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19367 18406 1111 63 0 19304 0
vsize: 77468
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 22863 0 0 0 104934 82 0 0 25 0 1 0 833748176 79732736 18512 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19466 18512 1111 63 0 19403 0
vsize: 77864
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 22953 0 0 0 105933 83 0 0 25 0 1 0 833748176 80117760 18602 4294967295 134512640 134714540 3221224592 3221223312 134556680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19560 18602 1111 63 0 19497 0
vsize: 78240
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 23028 0 0 0 106933 83 0 0 25 0 1 0 833748176 80515072 18677 4294967295 134512640 134714540 3221224592 3221223440 134623264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19657 18677 1111 63 0 19594 0
vsize: 78628
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 23258 0 0 0 107932 84 0 0 25 0 1 0 833748176 81453056 18907 4294967295 134512640 134714540 3221224592 3221223312 134556640 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19886 18907 1111 63 0 19823 0
vsize: 79544
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 23356 0 0 0 108931 85 0 0 25 0 1 0 833748176 81858560 19005 4294967295 134512640 134714540 3221224592 3221223360 134624618 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19985 19005 1111 63 0 19922 0
vsize: 79940
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 23449 0 0 0 109931 85 0 0 25 0 1 0 833748176 82255872 19098 4294967295 134512640 134714540 3221224592 3221223392 134611401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20082 19098 1111 63 0 20019 0
vsize: 80328
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 23863 0 0 0 110930 87 0 0 25 0 1 0 833748176 84402176 19512 4294967295 134512640 134714540 3221224592 3221223376 134624869 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20606 19512 1111 63 0 20543 0
vsize: 82424
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 23932 0 0 0 111929 87 0 0 25 0 1 0 833748176 84680704 19581 4294967295 134512640 134714540 3221224592 3221223364 134624473 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20674 19581 1111 63 0 20611 0
vsize: 82696
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 23994 0 0 0 112929 88 0 0 25 0 1 0 833748176 84942848 19643 4294967295 134512640 134714540 3221224592 3221223152 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20738 19643 1111 63 0 20675 0
vsize: 82952
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 24093 0 0 0 113928 89 0 0 25 0 1 0 833748176 85348352 19742 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20837 19742 1111 63 0 20774 0
vsize: 83348
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 24190 0 0 0 114927 90 0 0 25 0 1 0 833748176 85762048 19839 4294967295 134512640 134714540 3221224592 3221223336 134536883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20938 19839 1111 63 0 20875 0
vsize: 83752
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 24295 0 0 0 115927 91 0 0 25 0 1 0 833748176 86155264 19944 4294967295 134512640 134714540 3221224592 3221223384 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21034 19944 1111 63 0 20971 0
vsize: 84136
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 24413 0 0 0 116926 91 0 0 25 0 1 0 833748176 86675456 20062 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21161 20062 1111 63 0 21098 0
vsize: 84644
[startup+1174.88 s]
Raw data (loadavg): 1.00 1.00 0.98 1/53 30388
Raw data (stat): 30388 (bsolo_mis) R 30387 25399 25398 0 -1 0 24413 0 0 0 116926 91 0 0 25 0 1 0 833748176 86675456 20062 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21161 20062 1111 63 0 21098 0
vsize: 0

Child status: 0
Real time (s): 1174.88
CPU time (s): 1175.05
CPU user time (s): 1174.09
CPU system time (s): 0.960853
CPU usage (%): 100.014
Max. virtual memory (Kb): 84644
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####