PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran12x21.opb
MD5SUM	0d744fe957d41a18692933adc6be4af7
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1493203
Optimality of the best value was proved	NO
Number of terms in the objective function	5292
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	1511880035
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	1511880035
Number of bits of the biggest sum of numbers	31
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.04
Number of variables	5292
Total number of constraints	285
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	285
Minimum length of a constraint	21
Maximum length of a constraint	420
Trace number 25552

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-20 13:00:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19269 boxname=wulflinc31 idbench=1483 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  0d744fe957d41a18692933adc6be4af7  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-ran12x21.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-ran12x21.opb
IDLAUNCH: 19269
/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:        703984 kB
Buffers:         26768 kB
Cached:         283028 kB
SwapCached:       1168 kB
Active:         193340 kB
Inactive:       118780 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        703732 kB
SwapTotal:     2097892 kB
SwapFree:      2095980 kB
Dirty:             396 kB
Writeback:           0 kB
Mapped:           5256 kB
Slab:            12692 kB
Committed_AS:    63840 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-20 13:20:30 (client local time) WITH STATUS 0 IN 1175.03 SECONDS
stats: 19269 7 1175.03 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 5292 variables and 318 constraints.
c After prepocess the problem consists of 2942 variables and 318 constraints.
c preprocess terminated 4.665 s
c Initial Lower Bound: 64
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.00 1.01 1.00 2/55 32115
Raw data (stat): 32115 (runsolver) R 32114 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 795850765 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): 1.00 1.01 1.00 2/55 32115
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6434 0 0 0 981 15 0 0 25 0 1 0 795850765 30150656 6389 4294967295 134512640 134714540 3221221776 3221220512 134695346 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7361 6389 1111 63 0 7298 0
vsize: 29444
[startup+20.0016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 32115
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6531 0 0 0 1980 16 0 0 25 0 1 0 795850765 30420992 6486 4294967295 134512640 134714540 3221221776 3221220524 134535534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7427 6486 1111 63 0 7364 0
vsize: 29708
[startup+30.0024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 32117
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6696 0 0 0 2979 17 0 0 25 0 1 0 795850765 31096832 6651 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7592 6651 1111 63 0 7529 0
vsize: 30368
[startup+40.0033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 32117
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6793 0 0 0 3978 19 0 0 25 0 1 0 795850765 31502336 6748 4294967295 134512640 134714540 3221221776 3221220592 134610900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7691 6748 1111 63 0 7628 0
vsize: 30764
[startup+50.0046 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 32117
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6793 0 0 0 4977 20 0 0 25 0 1 0 795850765 31502336 6748 4294967295 134512640 134714540 3221221776 3221220592 134611091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7691 6748 1111 63 0 7628 0
vsize: 30764
[startup+60.0042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32117
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6794 0 0 0 5976 21 0 0 25 0 1 0 795850765 31502336 6749 4294967295 134512640 134714540 3221221776 3221220476 134558620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7691 6749 1111 63 0 7628 0
vsize: 30764
[startup+70.0051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32117
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6794 0 0 0 6976 21 0 0 25 0 1 0 795850765 31502336 6749 4294967295 134512640 134714540 3221221776 3221220400 134538768 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7691 6749 1111 63 0 7628 0
vsize: 30764
[startup+80.0051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32117
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6794 0 0 0 7975 22 0 0 25 0 1 0 795850765 31502336 6749 4294967295 134512640 134714540 3221221776 3221220568 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7691 6749 1111 63 0 7628 0
vsize: 30764
[startup+90.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32117
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6803 0 0 0 8974 23 0 0 25 0 1 0 795850765 31637504 6758 4294967295 134512640 134714540 3221221776 3221220520 134672932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6758 1111 63 0 7661 0
vsize: 30896
[startup+100.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32117
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6803 0 0 0 9973 24 0 0 25 0 1 0 795850765 31637504 6758 4294967295 134512640 134714540 3221221776 3221220456 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6758 1111 63 0 7661 0
vsize: 30896
[startup+110.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32117
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6805 0 0 0 10972 25 0 0 25 0 1 0 795850765 31637504 6760 4294967295 134512640 134714540 3221221776 3221220568 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6760 1111 63 0 7661 0
vsize: 30896
[startup+120.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32117
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6805 0 0 0 11971 27 0 0 25 0 1 0 795850765 31637504 6760 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6760 1111 63 0 7661 0
vsize: 30896
[startup+130.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32117
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6805 0 0 0 12970 28 0 0 25 0 1 0 795850765 31637504 6760 4294967295 134512640 134714540 3221221776 3221220576 134622177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6760 1111 63 0 7661 0
vsize: 30896
[startup+140.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32117
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6805 0 0 0 13970 28 0 0 25 0 1 0 795850765 31637504 6760 4294967295 134512640 134714540 3221221776 3221220580 134610916 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6760 1111 63 0 7661 0
vsize: 30896
[startup+150.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32117
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6805 0 0 0 14969 30 0 0 25 0 1 0 795850765 31637504 6760 4294967295 134512640 134714540 3221221776 3221220592 134611099 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6760 1111 63 0 7661 0
vsize: 30896
[startup+160.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32117
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6805 0 0 0 15968 31 0 0 25 0 1 0 795850765 31637504 6760 4294967295 134512640 134714540 3221221776 3221220512 134695294 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6760 1111 63 0 7661 0
vsize: 30896
[startup+170.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32117
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6805 0 0 0 16967 32 0 0 25 0 1 0 795850765 31637504 6760 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6760 1111 63 0 7661 0
vsize: 30896
[startup+180.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32117
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6805 0 0 0 17966 33 0 0 25 0 1 0 795850765 31637504 6760 4294967295 134512640 134714540 3221221776 3221220416 134535032 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6760 1111 63 0 7661 0
vsize: 30896
[startup+190.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32117
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6805 0 0 0 18966 34 0 0 25 0 1 0 795850765 31637504 6760 4294967295 134512640 134714540 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6760 1111 63 0 7661 0
vsize: 30896
[startup+200.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32117
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6805 0 0 0 19965 34 0 0 25 0 1 0 795850765 31637504 6760 4294967295 134512640 134714540 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6760 1111 63 0 7661 0
vsize: 30896
[startup+210.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32117
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6805 0 0 0 20964 35 0 0 25 0 1 0 795850765 31637504 6760 4294967295 134512640 134714540 3221221776 3221220544 134592449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6760 1111 63 0 7661 0
vsize: 30896
[startup+220.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32117
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6805 0 0 0 21964 36 0 0 25 0 1 0 795850765 31637504 6760 4294967295 134512640 134714540 3221221776 3221220524 134535506 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6760 1111 63 0 7661 0
vsize: 30896
[startup+230.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32117
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6817 0 0 0 22963 37 0 0 25 0 1 0 795850765 31637504 6772 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6772 1111 63 0 7661 0
vsize: 30896
[startup+240.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32117
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6817 0 0 0 23963 38 0 0 25 0 1 0 795850765 31637504 6772 4294967295 134512640 134714540 3221221776 3221220584 134611413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6772 1111 63 0 7661 0
vsize: 30896
[startup+250.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32117
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6817 0 0 0 24962 39 0 0 25 0 1 0 795850765 31637504 6772 4294967295 134512640 134714540 3221221776 3221220540 134543553 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6772 1111 63 0 7661 0
vsize: 30896
[startup+260.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32117
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6824 0 0 0 25961 39 0 0 25 0 1 0 795850765 31637504 6779 4294967295 134512640 134714540 3221221776 3221220512 134695351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6779 1111 63 0 7661 0
vsize: 30896
[startup+270.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32117
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6824 0 0 0 26961 40 0 0 25 0 1 0 795850765 31637504 6779 4294967295 134512640 134714540 3221221776 3221220480 134556924 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6779 1111 63 0 7661 0
vsize: 30896
[startup+280.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32117
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6824 0 0 0 27960 41 0 0 25 0 1 0 795850765 31637504 6779 4294967295 134512640 134714540 3221221776 3221220568 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6779 1111 63 0 7661 0
vsize: 30896
[startup+290.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32117
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6824 0 0 0 28959 42 0 0 25 0 1 0 795850765 31637504 6779 4294967295 134512640 134714540 3221221776 3221220544 134624784 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6779 1111 63 0 7661 0
vsize: 30896
[startup+300.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32117
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6824 0 0 0 29958 43 0 0 25 0 1 0 795850765 31637504 6779 4294967295 134512640 134714540 3221221776 3221220592 134611108 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6779 1111 63 0 7661 0
vsize: 30896
[startup+310.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32117
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6824 0 0 0 30958 44 0 0 25 0 1 0 795850765 31637504 6779 4294967295 134512640 134714540 3221221776 3221220544 134592107 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6779 1111 63 0 7661 0
vsize: 30896
[startup+320.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6824 0 0 0 31957 45 0 0 25 0 1 0 795850765 31637504 6779 4294967295 134512640 134714540 3221221776 3221220624 134623464 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6779 1111 63 0 7661 0
vsize: 30896
[startup+330.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6824 0 0 0 32956 45 0 0 25 0 1 0 795850765 31637504 6779 4294967295 134512640 134714540 3221221776 3221220368 134543740 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6779 1111 63 0 7661 0
vsize: 30896
[startup+340.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6825 0 0 0 33956 46 0 0 25 0 1 0 795850765 31637504 6780 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6780 1111 63 0 7661 0
vsize: 30896
[startup+350.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6831 0 0 0 34955 47 0 0 25 0 1 0 795850765 31637504 6786 4294967295 134512640 134714540 3221221776 3221220404 1077374210 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6786 1111 63 0 7661 0
vsize: 30896
[startup+360.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6831 0 0 0 35954 48 0 0 25 0 1 0 795850765 31637504 6786 4294967295 134512640 134714540 3221221776 3221220520 134672932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6786 1111 63 0 7661 0
vsize: 30896
[startup+370.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6831 0 0 0 36954 49 0 0 25 0 1 0 795850765 31637504 6786 4294967295 134512640 134714540 3221221776 3221220536 134536900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6786 1111 63 0 7661 0
vsize: 30896
[startup+380.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6831 0 0 0 37953 50 0 0 25 0 1 0 795850765 31637504 6786 4294967295 134512640 134714540 3221221776 3221220512 134695334 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6786 1111 63 0 7661 0
vsize: 30896
[startup+390.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6831 0 0 0 38952 51 0 0 25 0 1 0 795850765 31637504 6786 4294967295 134512640 134714540 3221221776 3221220512 134695292 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6786 1111 63 0 7661 0
vsize: 30896
[startup+400.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6831 0 0 0 39952 52 0 0 25 0 1 0 795850765 31637504 6786 4294967295 134512640 134714540 3221221776 3221220552 134543144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6786 1111 63 0 7661 0
vsize: 30896
[startup+410.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6831 0 0 0 40951 52 0 0 25 0 1 0 795850765 31637504 6786 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6786 1111 63 0 7661 0
vsize: 30896
[startup+420.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6831 0 0 0 41950 53 0 0 25 0 1 0 795850765 31637504 6786 4294967295 134512640 134714540 3221221776 3221220576 134610672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6786 1111 63 0 7661 0
vsize: 30896
[startup+430.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6831 0 0 0 42950 54 0 0 25 0 1 0 795850765 31637504 6786 4294967295 134512640 134714540 3221221776 3221220548 134624473 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6786 1111 63 0 7661 0
vsize: 30896
[startup+440.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6831 0 0 0 43949 55 0 0 25 0 1 0 795850765 31637504 6786 4294967295 134512640 134714540 3221221776 3221220512 134591827 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6786 1111 63 0 7661 0
vsize: 30896
[startup+450.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6831 0 0 0 44948 56 0 0 25 0 1 0 795850765 31637504 6786 4294967295 134512640 134714540 3221221776 3221220416 134696155 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6786 1111 63 0 7661 0
vsize: 30896
[startup+460.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6831 0 0 0 45947 57 0 0 25 0 1 0 795850765 31637504 6786 4294967295 134512640 134714540 3221221776 3221220320 134695887 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6786 1111 63 0 7661 0
vsize: 30896
[startup+470.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6831 0 0 0 46947 58 0 0 25 0 1 0 795850765 31637504 6786 4294967295 134512640 134714540 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6786 1111 63 0 7661 0
vsize: 30896
[startup+480.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6831 0 0 0 47946 59 0 0 25 0 1 0 795850765 31637504 6786 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6786 1111 63 0 7661 0
vsize: 30896
[startup+490.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6831 0 0 0 48945 60 0 0 25 0 1 0 795850765 31637504 6786 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6786 1111 63 0 7661 0
vsize: 30896
[startup+500.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6831 0 0 0 49945 60 0 0 25 0 1 0 795850765 31637504 6786 4294967295 134512640 134714540 3221221776 3221220524 134556933 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6786 1111 63 0 7661 0
vsize: 30896
[startup+510.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6831 0 0 0 50945 61 0 0 25 0 1 0 795850765 31637504 6786 4294967295 134512640 134714540 3221221776 3221220592 134611091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6786 1111 63 0 7661 0
vsize: 30896
[startup+520.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6831 0 0 0 51944 62 0 0 25 0 1 0 795850765 31637504 6786 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6786 1111 63 0 7661 0
vsize: 30896
[startup+530.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6831 0 0 0 52943 63 0 0 25 0 1 0 795850765 31637504 6786 4294967295 134512640 134714540 3221221776 3221220580 134622157 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6786 1111 63 0 7661 0
vsize: 30896
[startup+540.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6831 0 0 0 53942 64 0 0 25 0 1 0 795850765 31637504 6786 4294967295 134512640 134714540 3221221776 3221220524 134535534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6786 1111 63 0 7661 0
vsize: 30896
[startup+550.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6831 0 0 0 54942 65 0 0 25 0 1 0 795850765 31637504 6786 4294967295 134512640 134714540 3221221776 3221220524 134535534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6786 1111 63 0 7661 0
vsize: 30896
[startup+560.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6831 0 0 0 55941 65 0 0 25 0 1 0 795850765 31637504 6786 4294967295 134512640 134714540 3221221776 3221220568 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6786 1111 63 0 7661 0
vsize: 30896
[startup+570.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6831 0 0 0 56940 66 0 0 25 0 1 0 795850765 31637504 6786 4294967295 134512640 134714540 3221221776 3221220400 134535333 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6786 1111 63 0 7661 0
vsize: 30896
[startup+580.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6831 0 0 0 57939 68 0 0 25 0 1 0 795850765 31637504 6786 4294967295 134512640 134714540 3221221776 3221220416 134538795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6786 1111 63 0 7661 0
vsize: 30896
[startup+590.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6831 0 0 0 58938 69 0 0 25 0 1 0 795850765 31637504 6786 4294967295 134512640 134714540 3221221776 3221220540 134556934 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6786 1111 63 0 7661 0
vsize: 30896
[startup+600.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6831 0 0 0 59937 70 0 0 25 0 1 0 795850765 31637504 6786 4294967295 134512640 134714540 3221221776 3221220512 134695349 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6786 1111 63 0 7661 0
vsize: 30896
[startup+610.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6831 0 0 0 60937 70 0 0 25 0 1 0 795850765 31637504 6786 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6786 1111 63 0 7661 0
vsize: 30896
[startup+620.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6831 0 0 0 61936 72 0 0 25 0 1 0 795850765 31637504 6786 4294967295 134512640 134714540 3221221776 3221220384 1077377147 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6786 1111 63 0 7661 0
vsize: 30896
[startup+630.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6831 0 0 0 62935 72 0 0 25 0 1 0 795850765 31637504 6786 4294967295 134512640 134714540 3221221776 3221220512 134695294 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6786 1111 63 0 7661 0
vsize: 30896
[startup+640.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6831 0 0 0 63935 73 0 0 25 0 1 0 795850765 31637504 6786 4294967295 134512640 134714540 3221221776 3221220492 134558620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6786 1111 63 0 7661 0
vsize: 30896
[startup+650.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6831 0 0 0 64934 74 0 0 25 0 1 0 795850765 31637504 6786 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6786 1111 63 0 7661 0
vsize: 30896
[startup+660.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6831 0 0 0 65933 75 0 0 25 0 1 0 795850765 31637504 6786 4294967295 134512640 134714540 3221221776 3221220392 134543609 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6786 1111 63 0 7661 0
vsize: 30896
[startup+670.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6831 0 0 0 66932 76 0 0 25 0 1 0 795850765 31637504 6786 4294967295 134512640 134714540 3221221776 3221220568 134543165 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6786 1111 63 0 7661 0
vsize: 30896
[startup+680.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6837 0 0 0 67932 77 0 0 25 0 1 0 795850765 31772672 6792 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6792 1111 63 0 7694 0
vsize: 31028
[startup+690.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6838 0 0 0 68932 77 0 0 25 0 1 0 795850765 31772672 6793 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6793 1111 63 0 7694 0
vsize: 31028
[startup+700.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6838 0 0 0 69931 77 0 0 25 0 1 0 795850765 31772672 6793 4294967295 134512640 134714540 3221221776 3221220512 134695405 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6793 1111 63 0 7694 0
vsize: 31028
[startup+710.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6838 0 0 0 70931 78 0 0 25 0 1 0 795850765 31772672 6793 4294967295 134512640 134714540 3221221776 3221220568 134543174 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6793 1111 63 0 7694 0
vsize: 31028
[startup+720.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6838 0 0 0 71930 79 0 0 25 0 1 0 795850765 31772672 6793 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6793 1111 63 0 7694 0
vsize: 31028
[startup+730.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6838 0 0 0 72929 80 0 0 25 0 1 0 795850765 31772672 6793 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6793 1111 63 0 7694 0
vsize: 31028
[startup+740.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6838 0 0 0 73928 81 0 0 25 0 1 0 795850765 31772672 6793 4294967295 134512640 134714540 3221221776 3221220496 134556671 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6793 1111 63 0 7694 0
vsize: 31028
[startup+750.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6838 0 0 0 74928 82 0 0 25 0 1 0 795850765 31772672 6793 4294967295 134512640 134714540 3221221776 3221220568 134542448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6793 1111 63 0 7694 0
vsize: 31028
[startup+760.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6838 0 0 0 75926 83 0 0 25 0 1 0 795850765 31772672 6793 4294967295 134512640 134714540 3221221776 3221220580 134622157 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6793 1111 63 0 7694 0
vsize: 31028
[startup+770.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6838 0 0 0 76926 84 0 0 25 0 1 0 795850765 31772672 6793 4294967295 134512640 134714540 3221221776 3221220528 134592416 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6793 1111 63 0 7694 0
vsize: 31028
[startup+780.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6838 0 0 0 77925 85 0 0 25 0 1 0 795850765 31772672 6793 4294967295 134512640 134714540 3221221776 3221220632 134586593 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6793 1111 63 0 7694 0
vsize: 31028
[startup+790.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6838 0 0 0 78924 86 0 0 25 0 1 0 795850765 31772672 6793 4294967295 134512640 134714540 3221221776 3221220548 134624473 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6793 1111 63 0 7694 0
vsize: 31028
[startup+800.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6838 0 0 0 79924 87 0 0 25 0 1 0 795850765 31772672 6793 4294967295 134512640 134714540 3221221776 3221220512 134556870 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6793 1111 63 0 7694 0
vsize: 31028
[startup+810.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6839 0 0 0 80924 87 0 0 25 0 1 0 795850765 31772672 6794 4294967295 134512640 134714540 3221221776 3221220548 134542593 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6794 1111 63 0 7694 0
vsize: 31028
[startup+820.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6839 0 0 0 81924 87 0 0 25 0 1 0 795850765 31772672 6794 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6794 1111 63 0 7694 0
vsize: 31028
[startup+830.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6839 0 0 0 82922 89 0 0 25 0 1 0 795850765 31772672 6794 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6794 1111 63 0 7694 0
vsize: 31028
[startup+840.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6839 0 0 0 83921 90 0 0 25 0 1 0 795850765 31772672 6794 4294967295 134512640 134714540 3221221776 3221220592 134611099 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6794 1111 63 0 7694 0
vsize: 31028
[startup+850.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6839 0 0 0 84921 91 0 0 25 0 1 0 795850765 31772672 6794 4294967295 134512640 134714540 3221221776 3221220624 134623456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6794 1111 63 0 7694 0
vsize: 31028
[startup+860.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6839 0 0 0 85920 92 0 0 25 0 1 0 795850765 31772672 6794 4294967295 134512640 134714540 3221221776 3221220560 134558521 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6794 1111 63 0 7694 0
vsize: 31028
[startup+870.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6839 0 0 0 86919 93 0 0 25 0 1 0 795850765 31772672 6794 4294967295 134512640 134714540 3221221776 3221220568 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6794 1111 63 0 7694 0
vsize: 31028
[startup+880.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6839 0 0 0 87918 94 0 0 25 0 1 0 795850765 31772672 6794 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6794 1111 63 0 7694 0
vsize: 31028
[startup+890.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6839 0 0 0 88917 95 0 0 25 0 1 0 795850765 31772672 6794 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6794 1111 63 0 7694 0
vsize: 31028
[startup+900.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6839 0 0 0 89916 97 0 0 25 0 1 0 795850765 31772672 6794 4294967295 134512640 134714540 3221221776 3221220544 134592107 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6794 1111 63 0 7694 0
vsize: 31028
[startup+910.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6839 0 0 0 90915 97 0 0 25 0 1 0 795850765 31772672 6794 4294967295 134512640 134714540 3221221776 3221220548 134624473 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6794 1111 63 0 7694 0
vsize: 31028
[startup+920.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6842 0 0 0 91914 98 0 0 25 0 1 0 795850765 31772672 6797 4294967295 134512640 134714540 3221221776 3221220520 134558593 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6797 1111 63 0 7694 0
vsize: 31028
[startup+930.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6848 0 0 0 92914 99 0 0 25 0 1 0 795850765 31772672 6803 4294967295 134512640 134714540 3221221776 3221220392 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6803 1111 63 0 7694 0
vsize: 31028
[startup+940.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6848 0 0 0 93913 100 0 0 25 0 1 0 795850765 31772672 6803 4294967295 134512640 134714540 3221221776 3221220592 134611091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6803 1111 63 0 7694 0
vsize: 31028
[startup+950.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6848 0 0 0 94912 102 0 0 25 0 1 0 795850765 31772672 6803 4294967295 134512640 134714540 3221221776 3221220512 134556392 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6803 1111 63 0 7694 0
vsize: 31028
[startup+960.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6848 0 0 0 95911 102 0 0 25 0 1 0 795850765 31772672 6803 4294967295 134512640 134714540 3221221776 3221220560 134558521 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6803 1111 63 0 7694 0
vsize: 31028
[startup+970.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6848 0 0 0 96910 103 0 0 25 0 1 0 795850765 31772672 6803 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6803 1111 63 0 7694 0
vsize: 31028
[startup+980.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6848 0 0 0 97909 105 0 0 25 0 1 0 795850765 31772672 6803 4294967295 134512640 134714540 3221221776 3221220520 134672944 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6803 1111 63 0 7694 0
vsize: 31028
[startup+990.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6849 0 0 0 98908 106 0 0 25 0 1 0 795850765 31772672 6804 4294967295 134512640 134714540 3221221776 3221220344 1077377316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6804 1111 63 0 7694 0
vsize: 31028
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6849 0 0 0 99908 106 0 0 25 0 1 0 795850765 31772672 6804 4294967295 134512640 134714540 3221221776 3221220572 134554954 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6804 1111 63 0 7694 0
vsize: 31028
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6849 0 0 0 100907 108 0 0 25 0 1 0 795850765 31772672 6804 4294967295 134512640 134714540 3221221776 3221220400 134535383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6804 1111 63 0 7694 0
vsize: 31028
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6849 0 0 0 101906 108 0 0 25 0 1 0 795850765 31772672 6804 4294967295 134512640 134714540 3221221776 3221220592 134611099 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6804 1111 63 0 7694 0
vsize: 31028
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6849 0 0 0 102905 109 0 0 25 0 1 0 795850765 31772672 6804 4294967295 134512640 134714540 3221221776 3221220512 134695199 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6804 1111 63 0 7694 0
vsize: 31028
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6849 0 0 0 103905 110 0 0 25 0 1 0 795850765 31772672 6804 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6804 1111 63 0 7694 0
vsize: 31028
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6849 0 0 0 104905 110 0 0 25 0 1 0 795850765 31772672 6804 4294967295 134512640 134714540 3221221776 3221220404 134535326 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6804 1111 63 0 7694 0
vsize: 31028
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6849 0 0 0 105904 111 0 0 25 0 1 0 795850765 31772672 6804 4294967295 134512640 134714540 3221221776 3221220492 134553168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6804 1111 63 0 7694 0
vsize: 31028
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6849 0 0 0 106903 113 0 0 25 0 1 0 795850765 31772672 6804 4294967295 134512640 134714540 3221221776 3221220512 134695334 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6804 1111 63 0 7694 0
vsize: 31028
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6849 0 0 0 107901 114 0 0 25 0 1 0 795850765 31772672 6804 4294967295 134512640 134714540 3221221776 3221220368 134543738 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6804 1111 63 0 7694 0
vsize: 31028
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6849 0 0 0 108900 116 0 0 25 0 1 0 795850765 31772672 6804 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6804 1111 63 0 7694 0
vsize: 31028
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6849 0 0 0 109899 117 0 0 25 0 1 0 795850765 31772672 6804 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6804 1111 63 0 7694 0
vsize: 31028
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6849 0 0 0 110899 117 0 0 25 0 1 0 795850765 31772672 6804 4294967295 134512640 134714540 3221221776 3221220544 134542598 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6804 1111 63 0 7694 0
vsize: 31028
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6849 0 0 0 111899 118 0 0 25 0 1 0 795850765 31772672 6804 4294967295 134512640 134714540 3221221776 3221220568 134542458 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6804 1111 63 0 7694 0
vsize: 31028
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6849 0 0 0 112897 119 0 0 25 0 1 0 795850765 31772672 6804 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6804 1111 63 0 7694 0
vsize: 31028
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6849 0 0 0 113896 120 0 0 25 0 1 0 795850765 31772672 6804 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6804 1111 63 0 7694 0
vsize: 31028
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6849 0 0 0 114895 121 0 0 25 0 1 0 795850765 31772672 6804 4294967295 134512640 134714540 3221221776 3221220688 134595075 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6804 1111 63 0 7694 0
vsize: 31028
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6849 0 0 0 115895 122 0 0 25 0 1 0 795850765 31772672 6804 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6804 1111 63 0 7694 0
vsize: 31028
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6849 0 0 0 116894 123 0 0 25 0 1 0 795850765 31772672 6804 4294967295 134512640 134714540 3221221776 3221220592 134611611 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6804 1111 63 0 7694 0
vsize: 31028
[startup+1174.89 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 32119
Raw data (stat): 32115 (bsolo_mis) R 32114 7876 7672 0 -1 0 6849 0 0 0 116894 123 0 0 25 0 1 0 795850765 31772672 6804 4294967295 134512640 134714540 3221221776 3221220592 134611611 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7757 6804 1111 63 0 7694 0
vsize: 0

Child status: 0
Real time (s): 1174.89
CPU time (s): 1175.03
CPU user time (s): 1173.78
CPU system time (s): 1.24881
CPU usage (%): 100.012
Max. virtual memory (Kb): 31028
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####