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/miplib3/normalized-mps-v2-13-7-lseu.opb
MD5SUM	99657262afbbfce7034a3ec6b29d9b3b
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1120
Optimality of the best value was proved	NO
Number of terms in the objective function	85
Biggest coefficient in the objective function	517
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	15494
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	1656
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	15494
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02884
Number of variables	89
Total number of constraints	117
Number of constraints which are clauses	2
Number of constraints which are cardinality constraints (but not clauses)	104
Number of constraints which are nor clauses,nor cardinality constraints	11
Minimum length of a constraint	1
Maximum length of a constraint	47
Trace number 25658

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-21 13:27:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18489 boxname=wulflinc31 idbench=1423 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  99657262afbbfce7034a3ec6b29d9b3b  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-lseu.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-lseu.opb
IDLAUNCH: 18489
/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:        900028 kB
Buffers:         21344 kB
Cached:          93112 kB
SwapCached:       1076 kB
Active:          51056 kB
Inactive:        65740 kB
HighTotal:      131008 kB
HighFree:        69160 kB
LowTotal:       903652 kB
LowFree:        830868 kB
SwapTotal:     2097892 kB
SwapFree:      2095984 kB
Dirty:              60 kB
Writeback:           0 kB
Mapped:           5356 kB
Slab:            12304 kB
Committed_AS:    63844 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-21 13:47:53 (client local time) WITH STATUS 10 IN 1194.1 SECONDS
stats: 18489 0 1194.1 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 89 variables and 28 constraints.
c After prepocess the problem consists of 89 variables and 28 constraints.
c preprocess terminated 0.052 s
c Initial Lower Bound: 312
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 2445 @ 0.075
c NEW SOLUTION FOUND: 2116 @ 0.076
c NEW SOLUTION FOUND: 2071 @ 0.145
c NEW SOLUTION FOUND: 2060 @ 0.808
c NEW SOLUTION FOUND: 1981 @ 0.808
c NEW SOLUTION FOUND: 1971 @ 1.028
c NEW SOLUTION FOUND: 1861 @ 1.031
c NEW SOLUTION FOUND: 1853 @ 1.187
s SATISFIABLE
v C101_bit0 C102_bit0 -C103_bit0 -C104_bit0 -C105_bit0 C108_bit0 C111_bit0 -C112_bit0 -C113_bit0 -C114_bit0 -C115_bit0 -C116_bit0 -C117_bit0 -C118_bit0 -C119_bit0 -C120_bit0 -C121_bit0 -C122_bit0 -C123_bit0 -C124_bit0 -C125_bit0 -C126_bit0 -C127_bit0 -C128_bit0 -C129_bit0 C130_bit0 -C131_bit0 -C132_bit0 C133_bit0 -C134_bit0 -C135_bit0 -C136_bit0 -C137_bit0 -C138_bit0 -C139_bit0 -C140_bit0 -C141_bit0 -C142_bit0 -C143_bit0 -C144_bit0 -C145_bit0 -C146_bit0 -C147_bit0 -C148_bit0 -C149_bit0 -C150_bit0 C151_bit0 -C152_bit0 C153_bit0 -C154_bit0 -C155_bit0 -C156_bit0 -C157_bit0 -C158_bit0 -C159_bit0 -C160_bit0 -C161_bit0 -C162_bit0 -C163_bit0 -C164_bit0 -C165_bit0 -C166_bit0 -C167_bit0 -C168_bit0 -C169_bit0 C170_bit0 -C171_bit0 -C172_bit0 -C173_bit0 -C174_bit0 -C175_bit0 -C176_bit0 -C177_bit0 -C178_bit0 C179_bit0 C180_bit0 C181_bit0 -C182_bit0 -C183_bit0 -C184_bit0 -C185_bit0 -C186_bit0 C187_bit0 -C188_bit0 -C189_bit0 -C106_bit0 -C107_bit0 -C109_bit0 -C110_bit0 
c Exit Code: 10
c Total time: 1193.98 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.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (runsolver) R 11094 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 804654121 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 4192 0 0 0 983 14 0 0 25 0 1 0 804654121 21065728 4162 4294967295 134512640 134714540 3221221792 3221220588 134542400 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5143 4162 1111 63 0 5080 0
vsize: 20572
[startup+20.0017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 7967 0 0 0 1973 24 0 0 25 0 1 0 804654121 36925440 7880 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9015 7880 1111 63 0 8952 0
vsize: 36060
[startup+30.0027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 7968 0 0 0 2973 24 0 0 25 0 1 0 804654121 36925440 7881 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9015 7881 1111 63 0 8952 0
vsize: 36060
[startup+40.0029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 8533 0 0 0 3972 25 0 0 25 0 1 0 804654121 39235584 8443 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9579 8443 1111 63 0 9516 0
vsize: 38316
[startup+50.0035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 8926 0 0 0 4970 27 0 0 25 0 1 0 804654121 40869888 8827 4294967295 134512640 134714540 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9978 8827 1111 63 0 9915 0
vsize: 39912
[startup+60.0034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 9183 0 0 0 5970 28 0 0 25 0 1 0 804654121 42000384 9081 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10254 9081 1111 63 0 10191 0
vsize: 41016
[startup+70.0037 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 9184 0 0 0 6970 28 0 0 25 0 1 0 804654121 42000384 9082 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10254 9082 1111 63 0 10191 0
vsize: 41016
[startup+80.0043 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 9939 0 0 0 7969 29 0 0 25 0 1 0 804654121 45072384 9835 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11004 9835 1111 63 0 10941 0
vsize: 44016
[startup+90.0042 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 10713 0 0 0 8967 32 0 0 25 0 1 0 804654121 48484352 10581 4294967295 134512640 134714540 3221221792 3221220520 134622806 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11837 10581 1111 63 0 11774 0
vsize: 47348
[startup+100.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 10713 0 0 0 9967 32 0 0 25 0 1 0 804654121 48484352 10581 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11837 10581 1111 63 0 11774 0
vsize: 47348
[startup+110.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 11476 0 0 0 10965 34 0 0 25 0 1 0 804654121 51978240 11313 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12690 11313 1111 63 0 12627 0
vsize: 50760
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 12618 0 0 0 11962 36 0 0 25 0 1 0 804654121 56692736 12431 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13841 12431 1111 63 0 13778 0
vsize: 55364
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 13500 0 0 0 12960 39 0 0 25 0 1 0 804654121 60444672 13293 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14757 13293 1111 63 0 14694 0
vsize: 59028
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 13500 0 0 0 13960 39 0 0 25 0 1 0 804654121 60444672 13293 4294967295 134512640 134714540 3221221792 3221220592 134622353 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14757 13293 1111 63 0 14694 0
vsize: 59028
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 13500 0 0 0 14961 39 0 0 25 0 1 0 804654121 60444672 13293 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14757 13293 1111 63 0 14694 0
vsize: 59028
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 13501 0 0 0 15961 39 0 0 25 0 1 0 804654121 60444672 13294 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14757 13294 1111 63 0 14694 0
vsize: 59028
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 13732 0 0 0 16960 39 0 0 25 0 1 0 804654121 61390848 13524 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14988 13524 1111 63 0 14925 0
vsize: 59952
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 13732 0 0 0 17960 39 0 0 25 0 1 0 804654121 61390848 13524 4294967295 134512640 134714540 3221221792 3221220512 134622839 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14988 13524 1111 63 0 14925 0
vsize: 59952
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 13926 0 0 0 18960 40 0 0 25 0 1 0 804654121 62263296 13710 4294967295 134512640 134714540 3221221792 3221220520 134622806 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15201 13710 1111 63 0 15138 0
vsize: 60804
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 14171 0 0 0 19959 41 0 0 25 0 1 0 804654121 63209472 13955 4294967295 134512640 134714540 3221221792 3221220504 134543179 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15432 13955 1111 63 0 15369 0
vsize: 61728
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 17329 0 0 0 20951 49 0 0 25 0 1 0 804654121 76476416 17034 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18671 17034 1111 63 0 18608 0
vsize: 74684
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 18141 0 0 0 21948 52 0 0 25 0 1 0 804654121 79818752 17832 4294967295 134512640 134714540 3221221792 3221220520 134622755 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19487 17832 1111 63 0 19424 0
vsize: 77948
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 18904 0 0 0 22946 54 0 0 25 0 1 0 804654121 82829312 18591 4294967295 134512640 134714540 3221221792 3221220664 134536901 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20222 18591 1111 63 0 20159 0
vsize: 80888
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 27252 0 0 0 23927 74 0 0 25 0 1 0 804654121 118505472 26677 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28932 26677 1111 63 0 28869 0
vsize: 115728
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 28052 0 0 0 24927 74 0 0 25 0 1 0 804654121 121905152 27459 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29762 27459 1111 63 0 29699 0
vsize: 119048
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 28052 0 0 0 25927 74 0 0 25 0 1 0 804654121 121905152 27459 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29762 27459 1111 63 0 29699 0
vsize: 119048
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 28054 0 0 0 26927 74 0 0 25 0 1 0 804654121 121905152 27461 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29762 27461 1111 63 0 29699 0
vsize: 119048
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 28054 0 0 0 27927 74 0 0 25 0 1 0 804654121 121905152 27461 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29762 27461 1111 63 0 29699 0
vsize: 119048
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 28054 0 0 0 28927 75 0 0 25 0 1 0 804654121 121905152 27461 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29762 27461 1111 63 0 29699 0
vsize: 119048
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 28054 0 0 0 29927 75 0 0 25 0 1 0 804654121 121905152 27461 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29762 27461 1111 63 0 29699 0
vsize: 119048
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 28054 0 0 0 30928 75 0 0 25 0 1 0 804654121 121905152 27461 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29762 27461 1111 63 0 29699 0
vsize: 119048
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 28054 0 0 0 31927 75 0 0 25 0 1 0 804654121 121905152 27461 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29762 27461 1111 63 0 29699 0
vsize: 119048
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 28054 0 0 0 32927 75 0 0 25 0 1 0 804654121 121905152 27461 4294967295 134512640 134714540 3221221792 3221220608 134622477 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29762 27461 1111 63 0 29699 0
vsize: 119048
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 28055 0 0 0 33928 75 0 0 25 0 1 0 804654121 121905152 27462 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29762 27462 1111 63 0 29699 0
vsize: 119048
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 28055 0 0 0 34928 75 0 0 25 0 1 0 804654121 121905152 27462 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29762 27462 1111 63 0 29699 0
vsize: 119048
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 28055 0 0 0 35928 75 0 0 25 0 1 0 804654121 121905152 27462 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29762 27462 1111 63 0 29699 0
vsize: 119048
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 28057 0 0 0 36928 75 0 0 25 0 1 0 804654121 121905152 27464 4294967295 134512640 134714540 3221221792 3221220508 134558493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29762 27464 1111 63 0 29699 0
vsize: 119048
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 28058 0 0 0 37928 75 0 0 25 0 1 0 804654121 121905152 27465 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29762 27465 1111 63 0 29699 0
vsize: 119048
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 28060 0 0 0 38929 75 0 0 25 0 1 0 804654121 121905152 27467 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29762 27467 1111 63 0 29699 0
vsize: 119048
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 28061 0 0 0 39929 75 0 0 25 0 1 0 804654121 121905152 27468 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29762 27468 1111 63 0 29699 0
vsize: 119048
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 28063 0 0 0 40929 75 0 0 25 0 1 0 804654121 121905152 27470 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29762 27470 1111 63 0 29699 0
vsize: 119048
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 28064 0 0 0 41929 75 0 0 25 0 1 0 804654121 121905152 27471 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29762 27471 1111 63 0 29699 0
vsize: 119048
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 28066 0 0 0 42929 75 0 0 25 0 1 0 804654121 121905152 27473 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29762 27473 1111 63 0 29699 0
vsize: 119048
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 28066 0 0 0 43930 75 0 0 25 0 1 0 804654121 121905152 27473 4294967295 134512640 134714540 3221221792 3221220588 134536922 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29762 27473 1111 63 0 29699 0
vsize: 119048
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 28067 0 0 0 44930 75 0 0 25 0 1 0 804654121 121905152 27474 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29762 27474 1111 63 0 29699 0
vsize: 119048
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 28069 0 0 0 45930 75 0 0 25 0 1 0 804654121 121905152 27476 4294967295 134512640 134714540 3221221792 3221220504 134543191 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29762 27476 1111 63 0 29699 0
vsize: 119048
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 28070 0 0 0 46930 75 0 0 25 0 1 0 804654121 121905152 27477 4294967295 134512640 134714540 3221221792 3221220584 134542409 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29762 27477 1111 63 0 29699 0
vsize: 119048
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 28070 0 0 0 47930 75 0 0 25 0 1 0 804654121 121905152 27477 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29762 27477 1111 63 0 29699 0
vsize: 119048
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 28075 0 0 0 48930 75 0 0 25 0 1 0 804654121 121905152 27482 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29762 27482 1111 63 0 29699 0
vsize: 119048
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 28078 0 0 0 49930 75 0 0 25 0 1 0 804654121 121905152 27485 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29762 27485 1111 63 0 29699 0
vsize: 119048
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 28079 0 0 0 50931 75 0 0 25 0 1 0 804654121 121905152 27486 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29762 27486 1111 63 0 29699 0
vsize: 119048
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 28082 0 0 0 51931 75 0 0 25 0 1 0 804654121 122044416 27489 4294967295 134512640 134714540 3221221792 3221220576 134622506 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29796 27489 1111 63 0 29733 0
vsize: 119184
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 28084 0 0 0 52931 75 0 0 25 0 1 0 804654121 122044416 27491 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29796 27491 1111 63 0 29733 0
vsize: 119184
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 28084 0 0 0 53931 75 0 0 25 0 1 0 804654121 122044416 27491 4294967295 134512640 134714540 3221221792 3221220528 134622873 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29796 27491 1111 63 0 29733 0
vsize: 119184
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 28085 0 0 0 54931 75 0 0 25 0 1 0 804654121 122044416 27492 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29796 27492 1111 63 0 29733 0
vsize: 119184
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 28085 0 0 0 55931 75 0 0 25 0 1 0 804654121 122044416 27492 4294967295 134512640 134714540 3221221792 3221220576 134622501 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29796 27492 1111 63 0 29733 0
vsize: 119184
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 28085 0 0 0 56932 75 0 0 25 0 1 0 804654121 122044416 27492 4294967295 134512640 134714540 3221221792 3221220608 134622551 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29796 27492 1111 63 0 29733 0
vsize: 119184
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 28085 0 0 0 57932 75 0 0 25 0 1 0 804654121 122044416 27492 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29796 27492 1111 63 0 29733 0
vsize: 119184
[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 28087 0 0 0 58932 75 0 0 25 0 1 0 804654121 122044416 27494 4294967295 134512640 134714540 3221221792 3221220588 134542422 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29796 27494 1111 63 0 29733 0
vsize: 119184
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 28087 0 0 0 59932 75 0 0 25 0 1 0 804654121 122044416 27494 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29796 27494 1111 63 0 29733 0
vsize: 119184
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 28087 0 0 0 60932 75 0 0 25 0 1 0 804654121 122044416 27494 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29796 27494 1111 63 0 29733 0
vsize: 119184
[startup+620.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 30735 0 0 0 61926 82 0 0 25 0 1 0 804654121 133427200 30048 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32575 30048 1111 63 0 32512 0
vsize: 130300
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 36846 0 0 0 62910 98 0 0 25 0 1 0 804654121 158490624 36053 4294967295 134512640 134714540 3221221792 3221220576 134622539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38694 36053 1111 63 0 38631 0
vsize: 154776
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 40777 0 0 0 63902 106 0 0 25 0 1 0 804654121 174387200 39652 4294967295 134512640 134714540 3221221792 3221220688 134621530 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42575 39652 1111 63 0 42512 0
vsize: 170300
[startup+650.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 41098 0 0 0 64901 107 0 0 25 0 1 0 804654121 175603712 39973 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42872 39973 1111 63 0 42809 0
vsize: 171488
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 41098 0 0 0 65901 107 0 0 25 0 1 0 804654121 175603712 39973 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42872 39973 1111 63 0 42809 0
vsize: 171488
[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 41098 0 0 0 66902 107 0 0 25 0 1 0 804654121 175603712 39973 4294967295 134512640 134714540 3221221792 3221220608 134622477 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42872 39973 1111 63 0 42809 0
vsize: 171488
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 41098 0 0 0 67902 107 0 0 25 0 1 0 804654121 175603712 39973 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42872 39973 1111 63 0 42809 0
vsize: 171488
[startup+690.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 41098 0 0 0 68903 107 0 0 25 0 1 0 804654121 175603712 39973 4294967295 134512640 134714540 3221221792 3221220584 134536921 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42872 39973 1111 63 0 42809 0
vsize: 171488
[startup+700.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 41098 0 0 0 69903 107 0 0 25 0 1 0 804654121 175603712 39973 4294967295 134512640 134714540 3221221792 3221220572 134542422 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42872 39973 1111 63 0 42809 0
vsize: 171488
[startup+710.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 41098 0 0 0 70903 107 0 0 25 0 1 0 804654121 175603712 39973 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42872 39973 1111 63 0 42809 0
vsize: 171488
[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 41098 0 0 0 71903 107 0 0 25 0 1 0 804654121 175603712 39973 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42872 39973 1111 63 0 42809 0
vsize: 171488
[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 41098 0 0 0 72903 107 0 0 25 0 1 0 804654121 175603712 39973 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42872 39973 1111 63 0 42809 0
vsize: 171488
[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 41098 0 0 0 73903 107 0 0 25 0 1 0 804654121 175603712 39973 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42872 39973 1111 63 0 42809 0
vsize: 171488
[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 41098 0 0 0 74904 107 0 0 25 0 1 0 804654121 175603712 39973 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42872 39973 1111 63 0 42809 0
vsize: 171488
[startup+760.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 41960 0 0 0 75902 109 0 0 25 0 1 0 804654121 178847744 40835 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43664 40835 1111 63 0 43601 0
vsize: 174656
[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 42794 0 0 0 76900 110 0 0 25 0 1 0 804654121 182226944 41669 4294967295 134512640 134714540 3221221792 3221220520 134622777 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44489 41669 1111 63 0 44426 0
vsize: 177956
[startup+780.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 42794 0 0 0 77901 110 0 0 25 0 1 0 804654121 182226944 41669 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44489 41669 1111 63 0 44426 0
vsize: 177956
[startup+790.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 44350 0 0 0 78897 114 0 0 25 0 1 0 804654121 188018688 43061 4294967295 134512640 134714540 3221221792 3221220584 134536900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45903 43061 1111 63 0 45840 0
vsize: 183612
[startup+800.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 44355 0 0 0 79897 114 0 0 25 0 1 0 804654121 188157952 43066 4294967295 134512640 134714540 3221221792 3221220588 134543553 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45937 43066 1111 63 0 45874 0
vsize: 183748
[startup+810.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 45197 0 0 0 80895 116 0 0 25 0 1 0 804654121 191168512 43662 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46672 43662 1111 63 0 46609 0
vsize: 186688
[startup+820.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 46556 0 0 0 81893 119 0 0 25 0 1 0 804654121 195751936 44666 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47791 44666 1111 63 0 47728 0
vsize: 191164
[startup+830.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 46556 0 0 0 82893 119 0 0 25 0 1 0 804654121 195751936 44666 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47791 44666 1111 63 0 47728 0
vsize: 191164
[startup+840.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 46556 0 0 0 83893 119 0 0 25 0 1 0 804654121 195751936 44666 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47791 44666 1111 63 0 47728 0
vsize: 191164
[startup+850.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 46556 0 0 0 84893 119 0 0 25 0 1 0 804654121 195751936 44666 4294967295 134512640 134714540 3221221792 3221220536 134622703 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47791 44666 1111 63 0 47728 0
vsize: 191164
[startup+860.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 46557 0 0 0 85893 119 0 0 25 0 1 0 804654121 195751936 44667 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47791 44667 1111 63 0 47728 0
vsize: 191164
[startup+870.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 48272 0 0 0 86889 124 0 0 25 0 1 0 804654121 201846784 45876 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49279 45876 1111 63 0 49216 0
vsize: 197116
[startup+880.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 48418 0 0 0 87889 124 0 0 25 0 1 0 804654121 202387456 46022 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49411 46022 1111 63 0 49348 0
vsize: 197644
[startup+890.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 48418 0 0 0 88889 124 0 0 25 0 1 0 804654121 202387456 46022 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49411 46022 1111 63 0 49348 0
vsize: 197644
[startup+900.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 48418 0 0 0 89889 124 0 0 25 0 1 0 804654121 202387456 46022 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49411 46022 1111 63 0 49348 0
vsize: 197644
[startup+910.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 48419 0 0 0 90889 124 0 0 25 0 1 0 804654121 202387456 46023 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49411 46023 1111 63 0 49348 0
vsize: 197644
[startup+920.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 48419 0 0 0 91889 124 0 0 25 0 1 0 804654121 202387456 46023 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49411 46023 1111 63 0 49348 0
vsize: 197644
[startup+930.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 50218 0 0 0 92886 128 0 0 25 0 1 0 804654121 209641472 47353 4294967295 134512640 134714540 3221221792 3221220688 134621515 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51182 47353 1111 63 0 51119 0
vsize: 204728
[startup+940.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 50223 0 0 0 93886 128 0 0 25 0 1 0 804654121 209641472 47358 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51182 47358 1111 63 0 51119 0
vsize: 204728
[startup+950.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 50225 0 0 0 94886 128 0 0 25 0 1 0 804654121 209641472 47360 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51182 47360 1111 63 0 51119 0
vsize: 204728
[startup+960.037 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 50226 0 0 0 95887 128 0 0 25 0 1 0 804654121 209641472 47361 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51182 47361 1111 63 0 51119 0
vsize: 204728
[startup+970.037 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 50226 0 0 0 96887 128 0 0 25 0 1 0 804654121 209641472 47361 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51182 47361 1111 63 0 51119 0
vsize: 204728
[startup+980.037 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 51335 0 0 0 97884 131 0 0 25 0 1 0 804654121 213479424 48288 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52119 48288 1111 63 0 52056 0
vsize: 208476
[startup+990.037 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 52146 0 0 0 98882 133 0 0 25 0 1 0 804654121 216723456 49099 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52911 49099 1111 63 0 52848 0
vsize: 211644
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 52148 0 0 0 99882 133 0 0 25 0 1 0 804654121 216723456 49101 4294967295 134512640 134714540 3221221792 3221220508 134558493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52911 49101 1111 63 0 52848 0
vsize: 211644
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 52149 0 0 0 100882 133 0 0 25 0 1 0 804654121 216723456 49102 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52911 49102 1111 63 0 52848 0
vsize: 211644
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 52151 0 0 0 101882 133 0 0 25 0 1 0 804654121 216723456 49104 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52911 49104 1111 63 0 52848 0
vsize: 211644
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 52636 0 0 0 102882 134 0 0 25 0 1 0 804654121 218882048 49562 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53438 49562 1111 63 0 53375 0
vsize: 213752
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 52636 0 0 0 103882 134 0 0 25 0 1 0 804654121 218882048 49562 4294967295 134512640 134714540 3221221792 3221220584 134542414 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53438 49562 1111 63 0 53375 0
vsize: 213752
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 52872 0 0 0 104882 134 0 0 25 0 1 0 804654121 219893760 49789 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53685 49789 1111 63 0 53622 0
vsize: 214740
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 53067 0 0 0 105881 135 0 0 25 0 1 0 804654121 220569600 49984 4294967295 134512640 134714540 3221221792 3221220504 134543179 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53850 49984 1111 63 0 53787 0
vsize: 215400
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 53218 0 0 0 106881 135 0 0 25 0 1 0 804654121 221110272 50135 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53982 50135 1111 63 0 53919 0
vsize: 215928
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 53218 0 0 0 107881 135 0 0 25 0 1 0 804654121 221110272 50135 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53982 50135 1111 63 0 53919 0
vsize: 215928
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 53218 0 0 0 108881 135 0 0 25 0 1 0 804654121 221110272 50135 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53982 50135 1111 63 0 53919 0
vsize: 215928
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 53218 0 0 0 109881 135 0 0 25 0 1 0 804654121 221110272 50135 4294967295 134512640 134714540 3221221792 3221220596 134622632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53982 50135 1111 63 0 53919 0
vsize: 215928
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 53218 0 0 0 110882 135 0 0 25 0 1 0 804654121 221110272 50135 4294967295 134512640 134714540 3221221792 3221220596 134622589 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53982 50135 1111 63 0 53919 0
vsize: 215928
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 53218 0 0 0 111882 135 0 0 25 0 1 0 804654121 221110272 50135 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53982 50135 1111 63 0 53919 0
vsize: 215928
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 53218 0 0 0 112882 135 0 0 25 0 1 0 804654121 221110272 50135 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53982 50135 1111 63 0 53919 0
vsize: 215928
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 53219 0 0 0 113882 135 0 0 25 0 1 0 804654121 221110272 50136 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53982 50136 1111 63 0 53919 0
vsize: 215928
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 53219 0 0 0 114882 135 0 0 25 0 1 0 804654121 221110272 50136 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53982 50136 1111 63 0 53919 0
vsize: 215928
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 55554 0 0 0 115877 141 0 0 25 0 1 0 804654121 230113280 52130 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56180 52130 1111 63 0 56117 0
vsize: 224720
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 55555 0 0 0 116877 141 0 0 25 0 1 0 804654121 230113280 52131 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56180 52131 1111 63 0 56117 0
vsize: 224720
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 57514 0 0 0 117874 144 0 0 25 0 1 0 804654121 237432832 53680 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 57967 53680 1111 63 0 57904 0
vsize: 231868
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 57516 0 0 0 118874 144 0 0 25 0 1 0 804654121 237432832 53682 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 57967 53682 1111 63 0 57904 0
vsize: 231868
[startup+1193.95 s]
Raw data (loadavg): 0.99 0.97 0.97 1/54 11095
Raw data (stat): 11095 (bsolo_mis) R 11094 7876 7672 0 -1 0 57516 0 0 0 118874 144 0 0 25 0 1 0 804654121 237432832 53682 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 57967 53682 1111 63 0 57904 0
vsize: 0

Child status: 10
Real time (s): 1193.95
CPU time (s): 1194.1
CPU user time (s): 1192.55
CPU system time (s): 1.54676
CPU usage (%): 100.013
Max. virtual memory (Kb): 231868
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1853
#### END VERIFIER DATA ####