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/aloul/FPGA_SAT05/normalized-fpga10_8_sat_pb.cnf.cr.opb
MD5SUM	159220fb0573bb17ad11cefe6a440cec
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	11
Number of bits of the biggest sum of numbers	4
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.040992
Number of variables	120
Total number of constraints	106
Number of constraints which are clauses	88
Number of constraints which are cardinality constraints (but not clauses)	18
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	5
Maximum length of a constraint	10
Trace number 23254

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 23:44:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=201 boxname=wulflinc31 idbench=23 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  159220fb0573bb17ad11cefe6a440cec  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga10_8_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-fpga10_8_sat_pb.cnf.cr.opb
IDLAUNCH: 201
/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:        929592 kB
Buffers:         36948 kB
Cached:          46236 kB
SwapCached:        864 kB
Active:          71332 kB
Inactive:        14200 kB
HighTotal:      131008 kB
HighFree:        83804 kB
LowTotal:       903652 kB
LowFree:        845788 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13932 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 00:03:38 (client local time) WITH STATUS 0 IN 1175.15 SECONDS
stats: 201 7 1175.15 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 120 variables and 106 constraints.
c After prepocess the problem consists of 120 variables and 106 constraints.
c preprocess terminated 0.04 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.05 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.91 0.97 0.91 2/54 16039
Raw data (stat): 16039 (runsolver) R 16038 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 635531122 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0004 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 2990 0 0 0 986 11 0 0 25 0 1 0 635531122 15888384 2965 4294967295 134512640 134714540 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3879 2965 1111 63 0 3816 0
vsize: 15516
[startup+20.0003 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 4028 0 0 0 1982 15 0 0 25 0 1 0 635531122 20213760 4003 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4935 4003 1111 63 0 4872 0
vsize: 19740
[startup+30.0017 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 5063 0 0 0 2978 19 0 0 25 0 1 0 635531122 24403968 5037 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5958 5037 1111 63 0 5895 0
vsize: 23832
[startup+40.0021 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 5822 0 0 0 3975 22 0 0 25 0 1 0 635531122 27533312 5795 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6722 5795 1111 63 0 6659 0
vsize: 26888
[startup+50.002 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 6448 0 0 0 4972 25 0 0 25 0 1 0 635531122 30101504 6419 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7349 6419 1111 63 0 7286 0
vsize: 29396
[startup+60.0024 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 6954 0 0 0 5969 28 0 0 25 0 1 0 635531122 32288768 6925 4294967295 134512640 134714540 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7883 6925 1111 63 0 7820 0
vsize: 31532
[startup+70.0029 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 7943 0 0 0 6964 33 0 0 25 0 1 0 635531122 36343808 7914 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8873 7914 1111 63 0 8810 0
vsize: 35492
[startup+80.0038 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 8736 0 0 0 7960 38 0 0 25 0 1 0 635531122 39616512 8706 4294967295 134512640 134714540 3221221776 3221220384 134536753 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9672 8706 1111 63 0 9609 0
vsize: 38688
[startup+90.0043 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 9795 0 0 0 8955 43 0 0 25 0 1 0 635531122 43945984 9765 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10729 9765 1111 63 0 10666 0
vsize: 42916
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 10618 0 0 0 9951 47 0 0 25 0 1 0 635531122 47366144 10587 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11564 10587 1111 63 0 11501 0
vsize: 46256
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 11582 0 0 0 10946 52 0 0 25 0 1 0 635531122 51331072 11551 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12532 11551 1111 63 0 12469 0
vsize: 50128
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 12115 0 0 0 11945 54 0 0 25 0 1 0 635531122 53514240 12082 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13065 12082 1111 63 0 13002 0
vsize: 52260
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 12860 0 0 0 12942 57 0 0 25 0 1 0 635531122 56565760 12823 4294967295 134512640 134714540 3221221776 3221220416 134523872 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13810 12823 1111 63 0 13747 0
vsize: 55240
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 13286 0 0 0 13940 59 0 0 25 0 1 0 635531122 58355712 13249 4294967295 134512640 134714540 3221221776 3221220464 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14247 13249 1111 63 0 14184 0
vsize: 56988
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 13511 0 0 0 14939 60 0 0 25 0 1 0 635531122 59342848 13472 4294967295 134512640 134714540 3221221776 3221220268 134552651 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14488 13472 1111 63 0 14425 0
vsize: 57952
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 14094 0 0 0 15936 63 0 0 25 0 1 0 635531122 61792256 14054 4294967295 134512640 134714540 3221221776 3221220560 134529243 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15086 14054 1111 63 0 15023 0
vsize: 60344
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 14723 0 0 0 16933 67 0 0 25 0 1 0 635531122 64376832 14682 4294967295 134512640 134714540 3221221776 3221220336 134542362 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15717 14682 1111 63 0 15654 0
vsize: 62868
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 15136 0 0 0 17932 68 0 0 25 0 1 0 635531122 66134016 15095 4294967295 134512640 134714540 3221221776 3221220332 134535964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16146 15095 1111 63 0 16083 0
vsize: 64584
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 15508 0 0 0 18930 70 0 0 25 0 1 0 635531122 67624960 15467 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16510 15467 1111 63 0 16447 0
vsize: 66040
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 15836 0 0 0 19928 72 0 0 25 0 1 0 635531122 68976640 15795 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16840 15795 1111 63 0 16777 0
vsize: 67360
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 16261 0 0 0 20926 75 0 0 25 0 1 0 635531122 70733824 16220 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17269 16220 1111 63 0 17206 0
vsize: 69076
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 17024 0 0 0 21922 79 0 0 25 0 1 0 635531122 73842688 16983 4294967295 134512640 134714540 3221221776 3221220368 134549668 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18028 16983 1111 63 0 17965 0
vsize: 72112
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 17572 0 0 0 22919 82 0 0 25 0 1 0 635531122 76156928 17531 4294967295 134512640 134714540 3221221776 3221220536 134552650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18593 17531 1111 63 0 18530 0
vsize: 74372
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 18084 0 0 0 23916 84 0 0 25 0 1 0 635531122 78184448 18042 4294967295 134512640 134714540 3221221776 3221220456 134552642 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19088 18042 1111 63 0 19025 0
vsize: 76352
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 18660 0 0 0 24914 87 0 0 25 0 1 0 635531122 80482304 18618 4294967295 134512640 134714540 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19649 18618 1111 63 0 19586 0
vsize: 78596
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 19246 0 0 0 25911 90 0 0 25 0 1 0 635531122 82915328 19204 4294967295 134512640 134714540 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20243 19204 1111 63 0 20180 0
vsize: 80972
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 19644 0 0 0 26909 93 0 0 25 0 1 0 635531122 84672512 19600 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20672 19600 1111 63 0 20609 0
vsize: 82688
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 19973 0 0 0 27907 94 0 0 25 0 1 0 635531122 85889024 19929 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20969 19929 1111 63 0 20906 0
vsize: 83876
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 20550 0 0 0 28905 96 0 0 25 0 1 0 635531122 88358912 20506 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21572 20506 1111 63 0 21509 0
vsize: 86288
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 20913 0 0 0 29903 99 0 0 25 0 1 0 635531122 89894912 20868 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21947 20868 1111 63 0 21884 0
vsize: 87788
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 21314 0 0 0 30901 101 0 0 25 0 1 0 635531122 91516928 21269 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22343 21269 1111 63 0 22280 0
vsize: 89372
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 21732 0 0 0 31900 102 0 0 25 0 1 0 635531122 93298688 21687 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22778 21687 1111 63 0 22715 0
vsize: 91112
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 22162 0 0 0 32899 104 0 0 25 0 1 0 635531122 95059968 22117 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23208 22117 1111 63 0 23145 0
vsize: 92832
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 22494 0 0 0 33898 105 0 0 25 0 1 0 635531122 96411648 22449 4294967295 134512640 134714540 3221221776 3221220500 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23538 22449 1111 63 0 23475 0
vsize: 94152
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 22855 0 0 0 34897 106 0 0 25 0 1 0 635531122 97902592 22809 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23902 22809 1111 63 0 23839 0
vsize: 95608
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 23279 0 0 0 35895 108 0 0 25 0 1 0 635531122 99663872 23233 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24332 23233 1111 63 0 24269 0
vsize: 97328
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 23617 0 0 0 36893 110 0 0 25 0 1 0 635531122 101015552 23571 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24662 23571 1111 63 0 24599 0
vsize: 98648
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 23972 0 0 0 37892 111 0 0 25 0 1 0 635531122 102531072 23926 4294967295 134512640 134714540 3221221776 3221220404 134536674 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25032 23926 1111 63 0 24969 0
vsize: 100128
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 24403 0 0 0 38890 113 0 0 25 0 1 0 635531122 104349696 24354 4294967295 134512640 134714540 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25476 24354 1111 63 0 25413 0
vsize: 101904
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 24731 0 0 0 39889 115 0 0 25 0 1 0 635531122 105566208 24682 4294967295 134512640 134714540 3221221776 3221220448 134551968 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25773 24682 1111 63 0 25710 0
vsize: 103092
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 25076 0 0 0 40888 116 0 0 25 0 1 0 635531122 107053056 25027 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26136 25027 1111 63 0 26073 0
vsize: 104544
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 25405 0 0 0 41886 118 0 0 25 0 1 0 635531122 108408832 25356 4294967295 134512640 134714540 3221221776 3221220116 134697532 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26467 25356 1111 63 0 26404 0
vsize: 105868
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 25749 0 0 0 42886 119 0 0 25 0 1 0 635531122 109760512 25700 4294967295 134512640 134714540 3221221776 3221220512 134523985 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26797 25700 1111 63 0 26734 0
vsize: 107188
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 26087 0 0 0 43884 121 0 0 25 0 1 0 635531122 111177728 26037 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27143 26037 1111 63 0 27080 0
vsize: 108572
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 26399 0 0 0 44883 121 0 0 25 0 1 0 635531122 112533504 26349 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27474 26349 1111 63 0 27411 0
vsize: 109896
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 26692 0 0 0 45882 122 0 0 25 0 1 0 635531122 113750016 26642 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27771 26642 1111 63 0 27708 0
vsize: 111084
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 26925 0 0 0 46881 124 0 0 25 0 1 0 635531122 114696192 26875 4294967295 134512640 134714540 3221221776 3221220332 134535903 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28002 26875 1111 63 0 27939 0
vsize: 112008
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 27173 0 0 0 47881 125 0 0 25 0 1 0 635531122 115642368 27123 4294967295 134512640 134714540 3221221776 3221220384 134549802 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28233 27123 1111 63 0 28170 0
vsize: 112932
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 27365 0 0 0 48880 125 0 0 25 0 1 0 635531122 116453376 27313 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28431 27313 1111 63 0 28368 0
vsize: 113724
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 27672 0 0 0 49878 127 0 0 25 0 1 0 635531122 117817344 27620 4294967295 134512640 134714540 3221221776 3221220544 134529115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28764 27620 1111 63 0 28701 0
vsize: 115056
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 27887 0 0 0 50877 128 0 0 25 0 1 0 635531122 118640640 27831 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28965 27831 1111 63 0 28902 0
vsize: 115860
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 28098 0 0 0 51876 129 0 0 25 0 1 0 635531122 119619584 28041 4294967295 134512640 134714540 3221221776 3221220456 134552633 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29204 28041 1111 63 0 29141 0
vsize: 116816
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 28422 0 0 0 52875 131 0 0 25 0 1 0 635531122 120987648 28362 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29538 28362 1111 63 0 29475 0
vsize: 118152
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 28691 0 0 0 53874 132 0 0 25 0 1 0 635531122 122089472 28630 4294967295 134512640 134714540 3221221776 3221220368 134549541 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29807 28630 1111 63 0 29744 0
vsize: 119228
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 28938 0 0 0 54872 134 0 0 25 0 1 0 635531122 123080704 28877 4294967295 134512640 134714540 3221221776 3221220400 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30049 28877 1111 63 0 29986 0
vsize: 120196
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 29165 0 0 0 55871 135 0 0 25 0 1 0 635531122 124026880 29104 4294967295 134512640 134714540 3221221776 3221220428 134536825 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30280 29104 1111 63 0 30217 0
vsize: 121120
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 29345 0 0 0 56870 136 0 0 25 0 1 0 635531122 124702720 29284 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30445 29284 1111 63 0 30382 0
vsize: 121780
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 29587 0 0 0 57870 137 0 0 25 0 1 0 635531122 125816832 29525 4294967295 134512640 134714540 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30717 29525 1111 63 0 30654 0
vsize: 122868
[startup+590.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 29853 0 0 0 58868 138 0 0 25 0 1 0 635531122 126910464 29791 4294967295 134512640 134714540 3221221776 3221220368 134549548 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30984 29791 1111 63 0 30921 0
vsize: 123936
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 30111 0 0 0 59867 140 0 0 25 0 1 0 635531122 127873024 30049 4294967295 134512640 134714540 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31219 30049 1111 63 0 31156 0
vsize: 124876
[startup+610.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 30352 0 0 0 60867 140 0 0 25 0 1 0 635531122 128888832 30286 4294967295 134512640 134714540 3221221776 3221220412 134552672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31467 30286 1111 63 0 31404 0
vsize: 125868
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 30555 0 0 0 61866 141 0 0 25 0 1 0 635531122 129699840 30489 4294967295 134512640 134714540 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31665 30489 1111 63 0 31602 0
vsize: 126660
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 30803 0 0 0 62865 143 0 0 25 0 1 0 635531122 130781184 30737 4294967295 134512640 134714540 3221221776 3221220464 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31929 30737 1111 63 0 31866 0
vsize: 127716
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 30952 0 0 0 63864 143 0 0 25 0 1 0 635531122 131358720 30886 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32070 30886 1111 63 0 32007 0
vsize: 128280
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 31075 0 0 0 64864 144 0 0 25 0 1 0 635531122 131899392 31009 4294967295 134512640 134714540 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32202 31009 1111 63 0 32139 0
vsize: 128808
[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 31243 0 0 0 65863 145 0 0 25 0 1 0 635531122 132575232 31177 4294967295 134512640 134714540 3221221776 3221220432 134536643 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32367 31177 1111 63 0 32304 0
vsize: 129468
[startup+670.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 31542 0 0 0 66862 146 0 0 25 0 1 0 635531122 133791744 31476 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32664 31476 1111 63 0 32601 0
vsize: 130656
[startup+680.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 31755 0 0 0 67861 148 0 0 25 0 1 0 635531122 134602752 31689 4294967295 134512640 134714540 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32862 31689 1111 63 0 32799 0
vsize: 131448
[startup+690.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 32039 0 0 0 68859 150 0 0 25 0 1 0 635531122 135819264 31973 4294967295 134512640 134714540 3221221776 3221220560 134529237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33159 31973 1111 63 0 33096 0
vsize: 132636
[startup+700.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 32201 0 0 0 69858 150 0 0 25 0 1 0 635531122 136450048 32134 4294967295 134512640 134714540 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33313 32134 1111 63 0 33250 0
vsize: 133252
[startup+710.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 32414 0 0 0 70858 151 0 0 25 0 1 0 635531122 137396224 32347 4294967295 134512640 134714540 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33544 32347 1111 63 0 33481 0
vsize: 134176
[startup+720.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 32659 0 0 0 71857 152 0 0 25 0 1 0 635531122 138407936 32592 4294967295 134512640 134714540 3221221776 3221220368 134549588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33791 32592 1111 63 0 33728 0
vsize: 135164
[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 32886 0 0 0 72856 153 0 0 25 0 1 0 635531122 139354112 32819 4294967295 134512640 134714540 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34022 32819 1111 63 0 33959 0
vsize: 136088
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 33147 0 0 0 73855 155 0 0 25 0 1 0 635531122 140537856 33072 4294967295 134512640 134714540 3221221776 3221220460 134552651 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34311 33072 1111 63 0 34248 0
vsize: 137244
[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 33323 0 0 0 74854 156 0 0 25 0 1 0 635531122 141279232 33247 4294967295 134512640 134714540 3221221776 3221220464 134528712 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34492 33247 1111 63 0 34429 0
vsize: 137968
[startup+760.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 33489 0 0 0 75854 156 0 0 25 0 1 0 635531122 141979648 33413 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34663 33413 1111 63 0 34600 0
vsize: 138652
[startup+770.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 33636 0 0 0 76854 157 0 0 25 0 1 0 635531122 142655488 33560 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34828 33560 1111 63 0 34765 0
vsize: 139312
[startup+780.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 33773 0 0 0 77853 157 0 0 25 0 1 0 635531122 143220736 33695 4294967295 134512640 134714540 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34966 33695 1111 63 0 34903 0
vsize: 139864
[startup+790.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 33915 0 0 0 78853 158 0 0 25 0 1 0 635531122 143761408 33837 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35098 33837 1111 63 0 35035 0
vsize: 140392
[startup+800.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 34119 0 0 0 79852 159 0 0 25 0 1 0 635531122 144572416 34041 4294967295 134512640 134714540 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35296 34041 1111 63 0 35233 0
vsize: 141184
[startup+810.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 34333 0 0 0 80851 160 0 0 25 0 1 0 635531122 145387520 34255 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35495 34255 1111 63 0 35432 0
vsize: 141980
[startup+820.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 34542 0 0 0 81851 160 0 0 25 0 1 0 635531122 146399232 34458 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35742 34458 1111 63 0 35679 0
vsize: 142968
[startup+830.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 34788 0 0 0 82850 161 0 0 25 0 1 0 635531122 147345408 34704 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35973 34704 1111 63 0 35910 0
vsize: 143892
[startup+840.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 35039 0 0 0 83849 163 0 0 25 0 1 0 635531122 148426752 34955 4294967295 134512640 134714540 3221221776 3221220524 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36237 34955 1111 63 0 36174 0
vsize: 144948
[startup+850.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 35280 0 0 0 84848 164 0 0 25 0 1 0 635531122 149372928 35196 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36468 35196 1111 63 0 36405 0
vsize: 145872
[startup+860.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 35496 0 0 0 85847 165 0 0 25 0 1 0 635531122 150319104 35411 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36699 35411 1111 63 0 36636 0
vsize: 146796
[startup+870.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 35705 0 0 0 86846 166 0 0 25 0 1 0 635531122 151130112 35620 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36897 35620 1111 63 0 36834 0
vsize: 147588
[startup+880.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 35891 0 0 0 87846 167 0 0 25 0 1 0 635531122 151953408 35806 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37098 35806 1111 63 0 37035 0
vsize: 148392
[startup+890.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 36106 0 0 0 88844 168 0 0 25 0 1 0 635531122 152768512 36021 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37297 36021 1111 63 0 37234 0
vsize: 149188
[startup+900.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 36366 0 0 0 89843 170 0 0 25 0 1 0 635531122 153915392 36272 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37577 36272 1111 63 0 37514 0
vsize: 150308
[startup+910.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 36677 0 0 0 90842 171 0 0 25 0 1 0 635531122 155131904 36583 4294967295 134512640 134714540 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37874 36583 1111 63 0 37811 0
vsize: 151496
[startup+920.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 36988 0 0 0 91841 172 0 0 25 0 1 0 635531122 156528640 36894 4294967295 134512640 134714540 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38215 36895 1111 63 0 38152 0
vsize: 152860
[startup+930.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 37277 0 0 0 92840 174 0 0 25 0 1 0 635531122 157757440 37182 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38515 37182 1111 63 0 38452 0
vsize: 154060
[startup+940.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 37551 0 0 0 93839 175 0 0 25 0 1 0 635531122 158838784 37456 4294967295 134512640 134714540 3221221776 3221220488 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38779 37456 1111 63 0 38716 0
vsize: 155116
[startup+950.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 37816 0 0 0 94838 176 0 0 25 0 1 0 635531122 160047104 37712 4294967295 134512640 134714540 3221221776 3221220464 134528712 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39074 37712 1111 63 0 39011 0
vsize: 156296
[startup+960.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16039
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 38038 0 0 0 95837 177 0 0 25 0 1 0 635531122 160858112 37934 4294967295 134512640 134714540 3221221776 3221220488 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39272 37934 1111 63 0 39209 0
vsize: 157088
[startup+970.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16092
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 38235 0 0 0 96835 178 0 0 25 0 1 0 635531122 161701888 38130 4294967295 134512640 134714540 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39478 38130 1111 63 0 39415 0
vsize: 157912
[startup+980.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16092
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 38370 0 0 0 97835 179 0 0 25 0 1 0 635531122 162275328 38265 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39618 38265 1111 63 0 39555 0
vsize: 158472
[startup+990.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16092
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 38488 0 0 0 98834 179 0 0 25 0 1 0 635531122 162852864 38381 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39759 38381 1111 63 0 39696 0
vsize: 159036
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16092
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 38595 0 0 0 99834 180 0 0 25 0 1 0 635531122 163291136 38487 4294967295 134512640 134714540 3221221776 3221220560 134529390 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39866 38487 1111 63 0 39803 0
vsize: 159464
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16092
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 38770 0 0 0 100833 181 0 0 25 0 1 0 635531122 163966976 38662 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40031 38662 1111 63 0 39968 0
vsize: 160124
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16092
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 38983 0 0 0 101832 182 0 0 25 0 1 0 635531122 164843520 38875 4294967295 134512640 134714540 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40245 38875 1111 63 0 40182 0
vsize: 160980
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16092
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 39171 0 0 0 102832 183 0 0 25 0 1 0 635531122 165654528 39063 4294967295 134512640 134714540 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40443 39063 1111 63 0 40380 0
vsize: 161772
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16092
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 39369 0 0 0 103831 184 0 0 25 0 1 0 635531122 166465536 39261 4294967295 134512640 134714540 3221221776 3221220560 134529177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40641 39261 1111 63 0 40578 0
vsize: 162564
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16094
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 39542 0 0 0 104830 185 0 0 25 0 1 0 635531122 167141376 39434 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40806 39434 1111 63 0 40743 0
vsize: 163224
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16094
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 39734 0 0 0 105830 186 0 0 25 0 1 0 635531122 167952384 39626 4294967295 134512640 134714540 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41004 39626 1111 63 0 40941 0
vsize: 164016
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16094
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 39986 0 0 0 106828 188 0 0 25 0 1 0 635531122 168898560 39878 4294967295 134512640 134714540 3221221776 3221220412 134552672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41235 39878 1111 63 0 41172 0
vsize: 164940
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16094
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 40330 0 0 0 107827 189 0 0 25 0 1 0 635531122 170385408 40222 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41598 40222 1111 63 0 41535 0
vsize: 166392
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16094
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 40503 0 0 0 108826 190 0 0 25 0 1 0 635531122 171061248 40395 4294967295 134512640 134714540 3221221776 3221220544 134529110 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41763 40395 1111 63 0 41700 0
vsize: 167052
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16094
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 40804 0 0 0 109825 191 0 0 25 0 1 0 635531122 172265472 40614 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42057 40614 1111 63 0 41994 0
vsize: 168228
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16094
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 40963 0 0 0 110825 191 0 0 25 0 1 0 635531122 172941312 40773 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42222 40773 1111 63 0 42159 0
vsize: 168888
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16094
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 41108 0 0 0 111824 192 0 0 25 0 1 0 635531122 173531136 40918 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42366 40918 1111 63 0 42303 0
vsize: 169464
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16094
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 41232 0 0 0 112823 193 0 0 25 0 1 0 635531122 174071808 41042 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42498 41042 1111 63 0 42435 0
vsize: 169992
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16094
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 41360 0 0 0 113823 194 0 0 25 0 1 0 635531122 174477312 41170 4294967295 134512640 134714540 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42597 41170 1111 63 0 42534 0
vsize: 170388
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16094
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 41512 0 0 0 114822 195 0 0 25 0 1 0 635531122 175157248 41322 4294967295 134512640 134714540 3221221776 3221220428 134536825 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42763 41322 1111 63 0 42700 0
vsize: 171052
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16094
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 41672 0 0 0 115822 195 0 0 25 0 1 0 635531122 175861760 41480 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42935 41480 1111 63 0 42872 0
vsize: 171740
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16094
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 41800 0 0 0 116821 196 0 0 25 0 1 0 635531122 176402432 41608 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43067 41608 1111 63 0 43004 0
vsize: 172268
[startup+1175.01 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 16094
Raw data (stat): 16039 (bsolo_mis) R 16038 7876 7672 0 -1 0 41800 0 0 0 116821 196 0 0 25 0 1 0 635531122 176402432 41608 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43067 41608 1111 63 0 43004 0
vsize: 0

Child status: 0
Real time (s): 1175.01
CPU time (s): 1175.15
CPU user time (s): 1173.11
CPU system time (s): 2.04569
CPU usage (%): 100.012
Max. virtual memory (Kb): 172268
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####