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/submitted/manquinho/ttp/normalized-data10_3.opb
MD5SUM	4a63b686be1696a2915c6e312773fbad
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	81744
Optimality of the best value was proved	NO
Number of terms in the objective function	900
Biggest coefficient in the objective function	1380
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	559660
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	1380
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	559660
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.07
Number of variables	2700
Total number of constraints	42620
Number of constraints which are clauses	20220
Number of constraints which are cardinality constraints (but not clauses)	800
Number of constraints which are nor clauses,nor cardinality constraints	21600
Minimum length of a constraint	2
Maximum length of a constraint	36
Trace number 24439

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-10 11:58:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2334 boxname=wulflinc31 idbench=260 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  4a63b686be1696a2915c6e312773fbad  /oldhome/oroussel/tmp/wulflinc31/normalized-data10_3.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-data10_3.opb
IDLAUNCH: 2334
/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:        288968 kB
Buffers:         46608 kB
Cached:         664776 kB
SwapCached:        644 kB
Active:         313956 kB
Inactive:       399760 kB
HighTotal:      131008 kB
HighFree:        25816 kB
LowTotal:       903652 kB
LowFree:        263152 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26224 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-10 12:18:06 (client local time) WITH STATUS 0 IN 1175.09 SECONDS
stats: 2334 7 1175.09 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 2700 variables and 43070 constraints.
c After prepocess the problem consists of 2700 variables and 40910 constraints.
c preprocess terminated 182.995 s
c Initial Lower Bound: 2068
c Lower Bound Elapsed time: 0
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.03 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.94 0.97 2/54 10009
Raw data (stat): 10009 (runsolver) R 10008 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 709066414 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 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+9.99979 s]
Raw data (loadavg): 0.88 0.94 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 8126 0 0 0 970 26 0 0 25 0 1 0 709066414 46972928 8103 4294967295 134512640 134714540 3221221792 3221218556 1077191664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11468 8103 1111 63 0 11405 0
vsize: 45872
[startup+20.0008 s]
Raw data (loadavg): 0.89 0.94 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 54307 0 0 0 1853 143 0 0 25 0 1 0 709066414 50315264 11362 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12284 11362 1111 63 0 12221 0
vsize: 49136
[startup+30.0024 s]
Raw data (loadavg): 0.91 0.94 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 97738 0 0 0 2745 252 0 0 25 0 1 0 709066414 53628928 12157 4294967295 134512640 134714540 3221221792 3221220372 1077374508 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13093 12157 1111 63 0 13030 0
vsize: 52372
[startup+40.0027 s]
Raw data (loadavg): 0.92 0.94 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 99914 0 0 0 3738 258 0 0 25 0 1 0 709066414 55648256 12642 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13586 12642 1111 63 0 13523 0
vsize: 54344
[startup+50.0035 s]
Raw data (loadavg): 0.93 0.95 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 103415 0 0 0 4729 267 0 0 25 0 1 0 709066414 67911680 15658 4294967295 134512640 134714540 3221221792 3221220148 1077374446 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16580 15658 1111 63 0 16517 0
vsize: 66320
[startup+60.0039 s]
Raw data (loadavg): 0.94 0.95 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 103663 0 0 0 5729 268 0 0 25 0 1 0 709066414 67911680 15658 4294967295 134512640 134714540 3221221792 3221220192 134542751 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16580 15658 1111 63 0 16517 0
vsize: 66320
[startup+70.0044 s]
Raw data (loadavg): 0.95 0.95 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 103797 0 0 0 6728 269 0 0 25 0 1 0 709066414 67911680 15658 4294967295 134512640 134714540 3221221792 3221220272 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16580 15658 1111 63 0 16517 0
vsize: 66320
[startup+80.0054 s]
Raw data (loadavg): 0.96 0.95 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 104439 0 0 0 7726 271 0 0 25 0 1 0 709066414 67911680 15658 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16580 15658 1111 63 0 16517 0
vsize: 66320
[startup+90.0071 s]
Raw data (loadavg): 0.96 0.95 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 105962 0 0 0 8723 275 0 0 25 0 1 0 709066414 67911680 15658 4294967295 134512640 134714540 3221221792 3221220520 134672932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16580 15658 1111 63 0 16517 0
vsize: 66320
[startup+100.007 s]
Raw data (loadavg): 0.97 0.95 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 108066 0 0 0 9717 280 0 0 25 0 1 0 709066414 67911680 15658 4294967295 134512640 134714540 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16580 15658 1111 63 0 16517 0
vsize: 66320
[startup+110.007 s]
Raw data (loadavg): 0.97 0.95 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 110219 0 0 0 10712 286 0 0 25 0 1 0 709066414 67911680 15658 4294967295 134512640 134714540 3221221792 3221220272 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16580 15658 1111 63 0 16517 0
vsize: 66320
[startup+120.009 s]
Raw data (loadavg): 0.98 0.95 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 115506 0 0 0 11698 300 0 0 25 0 1 0 709066414 67911680 15658 4294967295 134512640 134714540 3221221792 3221220368 134535826 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16580 15658 1111 63 0 16517 0
vsize: 66320
[startup+130.009 s]
Raw data (loadavg): 0.98 0.95 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 122944 0 0 0 12681 317 0 0 25 0 1 0 709066414 67911680 15658 4294967295 134512640 134714540 3221221792 3221220392 134558629 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16580 15658 1111 63 0 16517 0
vsize: 66320
[startup+140.01 s]
Raw data (loadavg): 0.98 0.95 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 132914 0 0 0 13658 340 0 0 25 0 1 0 709066414 67915776 15659 4294967295 134512640 134714540 3221221792 3221220008 1077377316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16581 15659 1111 63 0 16518 0
vsize: 66324
[startup+150.012 s]
Raw data (loadavg): 0.98 0.95 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 144914 0 0 0 14626 372 0 0 25 0 1 0 709066414 69459968 16017 4294967295 134512640 134714540 3221221792 3221220256 134542300 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16958 16017 1111 63 0 16895 0
vsize: 67832
[startup+160.012 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 158270 0 0 0 15594 404 0 0 25 0 1 0 709066414 68620288 15799 4294967295 134512640 134714540 3221221792 3221220432 134594970 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16753 15799 1111 63 0 16690 0
vsize: 67012
[startup+170.012 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 183981 0 0 0 16535 464 0 0 25 0 1 0 709066414 67936256 15664 4294967295 134512640 134714540 3221221792 3221220256 134536650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16586 15664 1111 63 0 16523 0
vsize: 66344
[startup+180.012 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 185930 0 0 0 17530 468 0 0 25 0 1 0 709066414 69328896 16006 4294967295 134512640 134714540 3221221792 3221220664 134622172 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16926 16006 1111 63 0 16863 0
vsize: 67704
[startup+190.013 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 185945 0 0 0 18530 469 0 0 25 0 1 0 709066414 69328896 16021 4294967295 134512640 134714540 3221221792 3221220444 134542288 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16926 16021 1111 63 0 16863 0
vsize: 67704
[startup+200.013 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 185945 0 0 0 19529 469 0 0 25 0 1 0 709066414 69328896 16021 4294967295 134512640 134714540 3221221792 3221220416 134542968 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16926 16021 1111 63 0 16863 0
vsize: 67704
[startup+210.013 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 185945 0 0 0 20529 469 0 0 25 0 1 0 709066414 69328896 16021 4294967295 134512640 134714540 3221221792 3221220376 134543606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16926 16021 1111 63 0 16863 0
vsize: 67704
[startup+220.013 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 185945 0 0 0 21530 469 0 0 25 0 1 0 709066414 69328896 16021 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16926 16021 1111 63 0 16863 0
vsize: 67704
[startup+230.013 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 185945 0 0 0 22530 469 0 0 25 0 1 0 709066414 69328896 16021 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16926 16021 1111 63 0 16863 0
vsize: 67704
[startup+240.015 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 185945 0 0 0 23530 469 0 0 25 0 1 0 709066414 69328896 16021 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16926 16021 1111 63 0 16863 0
vsize: 67704
[startup+250.015 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 185945 0 0 0 24530 469 0 0 25 0 1 0 709066414 69328896 16021 4294967295 134512640 134714540 3221221792 3221220480 134542848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16926 16021 1111 63 0 16863 0
vsize: 67704
[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 185945 0 0 0 25530 469 0 0 25 0 1 0 709066414 69328896 16021 4294967295 134512640 134714540 3221221792 3221220456 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16926 16021 1111 63 0 16863 0
vsize: 67704
[startup+270.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 185945 0 0 0 26530 469 0 0 25 0 1 0 709066414 69328896 16021 4294967295 134512640 134714540 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16926 16021 1111 63 0 16863 0
vsize: 67704
[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 185945 0 0 0 27530 469 0 0 25 0 1 0 709066414 69328896 16021 4294967295 134512640 134714540 3221221792 3221220352 134542706 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16926 16021 1111 63 0 16863 0
vsize: 67704
[startup+290.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 185950 0 0 0 28530 470 0 0 25 0 1 0 709066414 69464064 16026 4294967295 134512640 134714540 3221221792 3221220376 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16959 16026 1111 63 0 16896 0
vsize: 67836
[startup+300.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 185972 0 0 0 29531 470 0 0 25 0 1 0 709066414 69464064 16048 4294967295 134512640 134714540 3221221792 3221220432 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16959 16048 1111 63 0 16896 0
vsize: 67836
[startup+310.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 185975 0 0 0 30531 470 0 0 25 0 1 0 709066414 69464064 16051 4294967295 134512640 134714540 3221221792 3221220432 134542300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16959 16051 1111 63 0 16896 0
vsize: 67836
[startup+320.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 186008 0 0 0 31531 470 0 0 25 0 1 0 709066414 69599232 16084 4294967295 134512640 134714540 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16992 16084 1111 63 0 16929 0
vsize: 67968
[startup+330.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 186038 0 0 0 32531 470 0 0 25 0 1 0 709066414 69734400 16114 4294967295 134512640 134714540 3221221792 3221220432 134539422 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17025 16114 1111 63 0 16962 0
vsize: 68100
[startup+340.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 186066 0 0 0 33531 470 0 0 25 0 1 0 709066414 69869568 16142 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17058 16142 1111 63 0 16995 0
vsize: 68232
[startup+350.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 186085 0 0 0 34531 470 0 0 25 0 1 0 709066414 70004736 16161 4294967295 134512640 134714540 3221221792 3221220332 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17091 16161 1111 63 0 17028 0
vsize: 68364
[startup+360.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 186103 0 0 0 35531 470 0 0 25 0 1 0 709066414 70004736 16179 4294967295 134512640 134714540 3221221792 3221220352 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17091 16179 1111 63 0 17028 0
vsize: 68364
[startup+370.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 186119 0 0 0 36531 470 0 0 25 0 1 0 709066414 70139904 16195 4294967295 134512640 134714540 3221221792 3221220448 134536736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17124 16195 1111 63 0 17061 0
vsize: 68496
[startup+380.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 186133 0 0 0 37531 470 0 0 25 0 1 0 709066414 70139904 16209 4294967295 134512640 134714540 3221221792 3221220376 134542289 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17124 16209 1111 63 0 17061 0
vsize: 68496
[startup+390.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 186173 0 0 0 38531 471 0 0 25 0 1 0 709066414 70275072 16249 4294967295 134512640 134714540 3221221792 3221220380 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17157 16249 1111 63 0 17094 0
vsize: 68628
[startup+400.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 186184 0 0 0 39531 471 0 0 25 0 1 0 709066414 70410240 16260 4294967295 134512640 134714540 3221221792 3221220432 134539425 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17190 16260 1111 63 0 17127 0
vsize: 68760
[startup+410.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 186203 0 0 0 40531 471 0 0 25 0 1 0 709066414 70410240 16279 4294967295 134512640 134714540 3221221792 3221220332 134539296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17190 16279 1111 63 0 17127 0
vsize: 68760
[startup+420.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 186215 0 0 0 41531 471 0 0 25 0 1 0 709066414 70545408 16291 4294967295 134512640 134714540 3221221792 3221220332 134539243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17223 16291 1111 63 0 17160 0
vsize: 68892
[startup+430.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 186247 0 0 0 42531 471 0 0 25 0 1 0 709066414 70680576 16323 4294967295 134512640 134714540 3221221792 3221220340 134696760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17256 16323 1111 63 0 17193 0
vsize: 69024
[startup+440.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 186280 0 0 0 43531 471 0 0 25 0 1 0 709066414 70815744 16356 4294967295 134512640 134714540 3221221792 3221220432 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17289 16356 1111 63 0 17226 0
vsize: 69156
[startup+450.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 186301 0 0 0 44531 472 0 0 25 0 1 0 709066414 70815744 16377 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17289 16377 1111 63 0 17226 0
vsize: 69156
[startup+460.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 186329 0 0 0 45531 472 0 0 25 0 1 0 709066414 70950912 16405 4294967295 134512640 134714540 3221221792 3221220376 134543589 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17322 16405 1111 63 0 17259 0
vsize: 69288
[startup+470.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 186359 0 0 0 46531 472 0 0 25 0 1 0 709066414 71086080 16435 4294967295 134512640 134714540 3221221792 3221220384 134543738 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17355 16435 1111 63 0 17292 0
vsize: 69420
[startup+480.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 186384 0 0 0 47531 472 0 0 25 0 1 0 709066414 71221248 16460 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17388 16460 1111 63 0 17325 0
vsize: 69552
[startup+490.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 186401 0 0 0 48531 472 0 0 25 0 1 0 709066414 71221248 16477 4294967295 134512640 134714540 3221221792 3221220432 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17388 16477 1111 63 0 17325 0
vsize: 69552
[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 186418 0 0 0 49532 472 0 0 25 0 1 0 709066414 71356416 16494 4294967295 134512640 134714540 3221221792 3221220432 134542306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17421 16494 1111 63 0 17358 0
vsize: 69684
[startup+510.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 186433 0 0 0 50532 472 0 0 25 0 1 0 709066414 71356416 16509 4294967295 134512640 134714540 3221221792 3221220464 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17421 16509 1111 63 0 17358 0
vsize: 69684
[startup+520.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 186451 0 0 0 51532 472 0 0 25 0 1 0 709066414 71491584 16527 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17454 16527 1111 63 0 17391 0
vsize: 69816
[startup+530.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 186483 0 0 0 52532 473 0 0 25 0 1 0 709066414 71626752 16559 4294967295 134512640 134714540 3221221792 3221220352 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17487 16559 1111 63 0 17424 0
vsize: 69948
[startup+540.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 186502 0 0 0 53532 473 0 0 25 0 1 0 709066414 71626752 16578 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17487 16578 1111 63 0 17424 0
vsize: 69948
[startup+550.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 186527 0 0 0 54532 473 0 0 25 0 1 0 709066414 71749632 16603 4294967295 134512640 134714540 3221221792 3221220432 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17517 16603 1111 63 0 17454 0
vsize: 70068
[startup+560.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 186547 0 0 0 55532 473 0 0 25 0 1 0 709066414 71884800 16623 4294967295 134512640 134714540 3221221792 3221220456 134543652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17550 16623 1111 63 0 17487 0
vsize: 70200
[startup+570.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 186568 0 0 0 56531 474 0 0 25 0 1 0 709066414 71884800 16644 4294967295 134512640 134714540 3221221792 3221220464 134543740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17550 16644 1111 63 0 17487 0
vsize: 70200
[startup+580.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 186591 0 0 0 57531 475 0 0 25 0 1 0 709066414 72019968 16667 4294967295 134512640 134714540 3221221792 3221220432 134539362 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17583 16667 1111 63 0 17520 0
vsize: 70332
[startup+590.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 186591 0 0 0 58531 475 0 0 25 0 1 0 709066414 72019968 16667 4294967295 134512640 134714540 3221221792 3221220288 134697494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17583 16667 1111 63 0 17520 0
vsize: 70332
[startup+600.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 186616 0 0 0 59531 475 0 0 25 0 1 0 709066414 72155136 16692 4294967295 134512640 134714540 3221221792 3221220376 134543589 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17616 16692 1111 63 0 17553 0
vsize: 70464
[startup+610.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 186639 0 0 0 60531 476 0 0 25 0 1 0 709066414 72290304 16715 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17649 16715 1111 63 0 17586 0
vsize: 70596
[startup+620.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 186653 0 0 0 61531 476 0 0 25 0 1 0 709066414 72290304 16729 4294967295 134512640 134714540 3221221792 3221220432 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17649 16729 1111 63 0 17586 0
vsize: 70596
[startup+630.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 186696 0 0 0 62530 476 0 0 25 0 1 0 709066414 72425472 16772 4294967295 134512640 134714540 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17682 16772 1111 63 0 17619 0
vsize: 70728
[startup+640.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 186740 0 0 0 63530 476 0 0 25 0 1 0 709066414 72695808 16816 4294967295 134512640 134714540 3221221792 3221220432 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17748 16816 1111 63 0 17685 0
vsize: 70992
[startup+650.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 186774 0 0 0 64530 477 0 0 25 0 1 0 709066414 72830976 16850 4294967295 134512640 134714540 3221221792 3221220456 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17781 16850 1111 63 0 17718 0
vsize: 71124
[startup+660.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 186797 0 0 0 65530 477 0 0 25 0 1 0 709066414 72830976 16873 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17781 16873 1111 63 0 17718 0
vsize: 71124
[startup+670.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 186829 0 0 0 66530 477 0 0 25 0 1 0 709066414 72966144 16905 4294967295 134512640 134714540 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17814 16905 1111 63 0 17751 0
vsize: 71256
[startup+680.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 186859 0 0 0 67530 478 0 0 25 0 1 0 709066414 73101312 16935 4294967295 134512640 134714540 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17847 16935 1111 63 0 17784 0
vsize: 71388
[startup+690.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 186894 0 0 0 68530 478 0 0 25 0 1 0 709066414 73232384 16970 4294967295 134512640 134714540 3221221792 3221220448 134536738 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17879 16970 1111 63 0 17816 0
vsize: 71516
[startup+700.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 186919 0 0 0 69530 478 0 0 25 0 1 0 709066414 73367552 16995 4294967295 134512640 134714540 3221221792 3221220456 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17912 16995 1111 63 0 17849 0
vsize: 71648
[startup+710.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 186948 0 0 0 70530 478 0 0 25 0 1 0 709066414 73502720 17024 4294967295 134512640 134714540 3221221792 3221220352 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17945 17024 1111 63 0 17882 0
vsize: 71780
[startup+720.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 186985 0 0 0 71530 478 0 0 25 0 1 0 709066414 73637888 17061 4294967295 134512640 134714540 3221221792 3221220380 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17978 17061 1111 63 0 17915 0
vsize: 71912
[startup+730.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 187019 0 0 0 72530 478 0 0 25 0 1 0 709066414 73773056 17095 4294967295 134512640 134714540 3221221792 3221220384 134539567 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18011 17095 1111 63 0 17948 0
vsize: 72044
[startup+740.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 187043 0 0 0 73530 478 0 0 25 0 1 0 709066414 73908224 17119 4294967295 134512640 134714540 3221221792 3221220464 134542968 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18044 17119 1111 63 0 17981 0
vsize: 72176
[startup+750.037 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 187061 0 0 0 74530 479 0 0 25 0 1 0 709066414 73908224 17137 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18044 17137 1111 63 0 17981 0
vsize: 72176
[startup+760.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 187074 0 0 0 75530 479 0 0 25 0 1 0 709066414 74043392 17150 4294967295 134512640 134714540 3221221792 3221220396 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18077 17150 1111 63 0 18014 0
vsize: 72308
[startup+770.037 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 187093 0 0 0 76530 479 0 0 25 0 1 0 709066414 74043392 17169 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18077 17169 1111 63 0 18014 0
vsize: 72308
[startup+780.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 187119 0 0 0 77531 479 0 0 25 0 1 0 709066414 74178560 17195 4294967295 134512640 134714540 3221221792 3221220432 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18110 17195 1111 63 0 18047 0
vsize: 72440
[startup+790.037 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 187143 0 0 0 78530 479 0 0 25 0 1 0 709066414 74313728 17219 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18143 17219 1111 63 0 18080 0
vsize: 72572
[startup+800.037 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 187172 0 0 0 79531 479 0 0 25 0 1 0 709066414 74448896 17248 4294967295 134512640 134714540 3221221792 3221220560 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18176 17248 1111 63 0 18113 0
vsize: 72704
[startup+810.037 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 187185 0 0 0 80531 479 0 0 25 0 1 0 709066414 74448896 17261 4294967295 134512640 134714540 3221221792 3221220448 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18176 17261 1111 63 0 18113 0
vsize: 72704
[startup+820.038 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 187209 0 0 0 81531 480 0 0 25 0 1 0 709066414 74584064 17285 4294967295 134512640 134714540 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18209 17285 1111 63 0 18146 0
vsize: 72836
[startup+830.038 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 187230 0 0 0 82531 480 0 0 25 0 1 0 709066414 74719232 17306 4294967295 134512640 134714540 3221221792 3221220332 134539243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18242 17306 1111 63 0 18179 0
vsize: 72968
[startup+840.039 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 187273 0 0 0 83531 480 0 0 25 0 1 0 709066414 74854400 17349 4294967295 134512640 134714540 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18275 17349 1111 63 0 18212 0
vsize: 73100
[startup+850.039 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 187293 0 0 0 84531 480 0 0 25 0 1 0 709066414 74854400 17369 4294967295 134512640 134714540 3221221792 3221220352 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18275 17369 1111 63 0 18212 0
vsize: 73100
[startup+860.039 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 187335 0 0 0 85531 480 0 0 25 0 1 0 709066414 75124736 17411 4294967295 134512640 134714540 3221221792 3221220444 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18341 17411 1111 63 0 18278 0
vsize: 73364
[startup+870.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 187374 0 0 0 86531 480 0 0 25 0 1 0 709066414 75259904 17450 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18374 17450 1111 63 0 18311 0
vsize: 73496
[startup+880.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 187401 0 0 0 87531 480 0 0 25 0 1 0 709066414 75395072 17477 4294967295 134512640 134714540 3221221792 3221220352 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18407 17477 1111 63 0 18344 0
vsize: 73628
[startup+890.041 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 187425 0 0 0 88531 481 0 0 25 0 1 0 709066414 75395072 17501 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18407 17501 1111 63 0 18344 0
vsize: 73628
[startup+900.042 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 187458 0 0 0 89531 481 0 0 25 0 1 0 709066414 75530240 17534 4294967295 134512640 134714540 3221221792 3221220428 134543664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18440 17534 1111 63 0 18377 0
vsize: 73760
[startup+910.042 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 187473 0 0 0 90531 481 0 0 25 0 1 0 709066414 75665408 17549 4294967295 134512640 134714540 3221221792 3221220384 134542677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18473 17549 1111 63 0 18410 0
vsize: 73892
[startup+920.042 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 187487 0 0 0 91531 481 0 0 25 0 1 0 709066414 75665408 17563 4294967295 134512640 134714540 3221221792 3221220448 134536738 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18473 17563 1111 63 0 18410 0
vsize: 73892
[startup+930.043 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 187516 0 0 0 92531 481 0 0 25 0 1 0 709066414 75800576 17592 4294967295 134512640 134714540 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18506 17592 1111 63 0 18443 0
vsize: 74024
[startup+940.044 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 187532 0 0 0 93531 481 0 0 25 0 1 0 709066414 75935744 17608 4294967295 134512640 134714540 3221221792 3221220332 134539301 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18539 17608 1111 63 0 18476 0
vsize: 74156
[startup+950.044 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 187543 0 0 0 94532 481 0 0 25 0 1 0 709066414 75935744 17619 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18539 17619 1111 63 0 18476 0
vsize: 74156
[startup+960.043 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 187580 0 0 0 95532 481 0 0 25 0 1 0 709066414 76070912 17656 4294967295 134512640 134714540 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18572 17656 1111 63 0 18509 0
vsize: 74288
[startup+970.043 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 187621 0 0 0 96532 481 0 0 25 0 1 0 709066414 76206080 17697 4294967295 134512640 134714540 3221221792 3221220352 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18605 17697 1111 63 0 18542 0
vsize: 74420
[startup+980.044 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 187670 0 0 0 97531 482 0 0 25 0 1 0 709066414 76480512 17746 4294967295 134512640 134714540 3221221792 3221220456 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18672 17746 1111 63 0 18609 0
vsize: 74688
[startup+990.045 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 187693 0 0 0 98531 482 0 0 25 0 1 0 709066414 76615680 17769 4294967295 134512640 134714540 3221221792 3221220376 134543606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18705 17769 1111 63 0 18642 0
vsize: 74820
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 187713 0 0 0 99531 482 0 0 25 0 1 0 709066414 76615680 17789 4294967295 134512640 134714540 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18705 17789 1111 63 0 18642 0
vsize: 74820
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 187747 0 0 0 100532 482 0 0 25 0 1 0 709066414 76750848 17823 4294967295 134512640 134714540 3221221792 3221220352 134542365 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18738 17823 1111 63 0 18675 0
vsize: 74952
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 187788 0 0 0 101531 483 0 0 25 0 1 0 709066414 76881920 17864 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18770 17864 1111 63 0 18707 0
vsize: 75080
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 187818 0 0 0 102531 483 0 0 25 0 1 0 709066414 77017088 17894 4294967295 134512640 134714540 3221221792 3221220416 134542312 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18803 17894 1111 63 0 18740 0
vsize: 75212
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 187836 0 0 0 103532 483 0 0 25 0 1 0 709066414 77152256 17912 4294967295 134512640 134714540 3221221792 3221220376 134543589 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18836 17912 1111 63 0 18773 0
vsize: 75344
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 187870 0 0 0 104532 483 0 0 25 0 1 0 709066414 77287424 17946 4294967295 134512640 134714540 3221221792 3221220380 134543653 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18869 17946 1111 63 0 18806 0
vsize: 75476
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 187907 0 0 0 105532 483 0 0 25 0 1 0 709066414 77422592 17983 4294967295 134512640 134714540 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18902 17983 1111 63 0 18839 0
vsize: 75608
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 187938 0 0 0 106532 483 0 0 25 0 1 0 709066414 77557760 18014 4294967295 134512640 134714540 3221221792 3221220512 134535790 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18935 18014 1111 63 0 18872 0
vsize: 75740
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 187983 0 0 0 107532 483 0 0 25 0 1 0 709066414 77692928 18059 4294967295 134512640 134714540 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18968 18059 1111 63 0 18905 0
vsize: 75872
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 188004 0 0 0 108532 484 0 0 25 0 1 0 709066414 77828096 18080 4294967295 134512640 134714540 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19001 18080 1111 63 0 18938 0
vsize: 76004
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 188034 0 0 0 109532 484 0 0 25 0 1 0 709066414 77963264 18110 4294967295 134512640 134714540 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19034 18110 1111 63 0 18971 0
vsize: 76136
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 188059 0 0 0 110532 484 0 0 25 0 1 0 709066414 78098432 18135 4294967295 134512640 134714540 3221221792 3221220464 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19067 18135 1111 63 0 19004 0
vsize: 76268
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 188121 0 0 0 111532 484 0 0 25 0 1 0 709066414 78368768 18197 4294967295 134512640 134714540 3221221792 3221220424 134543090 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19133 18197 1111 63 0 19070 0
vsize: 76532
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 188178 0 0 0 112532 484 0 0 25 0 1 0 709066414 78503936 18254 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19166 18254 1111 63 0 19103 0
vsize: 76664
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 188224 0 0 0 113532 485 0 0 25 0 1 0 709066414 78774272 18300 4294967295 134512640 134714540 3221221792 3221220332 134539301 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19232 18300 1111 63 0 19169 0
vsize: 76928
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 188258 0 0 0 114532 485 0 0 25 0 1 0 709066414 78909440 18334 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19265 18334 1111 63 0 19202 0
vsize: 77060
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 188311 0 0 0 115532 485 0 0 25 0 1 0 709066414 79044608 18387 4294967295 134512640 134714540 3221221792 3221220432 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19298 18387 1111 63 0 19235 0
vsize: 77192
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 188366 0 0 0 116531 486 0 0 25 0 1 0 709066414 79314944 18442 4294967295 134512640 134714540 3221221792 3221220332 134539262 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19364 18442 1111 63 0 19301 0
vsize: 77456
[startup+1174.96 s]
Raw data (loadavg): 0.99 0.97 0.97 1/53 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 7876 7672 0 -1 0 188366 0 0 0 116531 486 0 0 25 0 1 0 709066414 79314944 18442 4294967295 134512640 134714540 3221221792 3221220332 134539262 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19364 18442 1111 63 0 19301 0
vsize: 0

Child status: 0
Real time (s): 1174.96
CPU time (s): 1175.09
CPU user time (s): 1170.19
CPU system time (s): 4.89925
CPU usage (%): 100.011
Max. virtual memory (Kb): 77456
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####