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-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-siena1.opb
MD5SUM	575f632072d90cb1b2032661c3842261
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	70755
Biggest coefficient in the objective function	536870912000000000000
Number of bits for the biggest coefficient in the objective function	69
Sum of the numbers in the objective function	28224865138562973040640
Number of bits of the sum of numbers in the objective function	75
Biggest number in a constraint	536870912000000000000
Number of bits of the biggest number in a constraint	69
Biggest sum of numbers in a constraint	28224967538562973040640
Number of bits of the biggest sum of numbers	75
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.701893
Number of variables	70755
Total number of constraints	13995
Number of constraints which are clauses	310
Number of constraints which are cardinality constraints (but not clauses)	11776
Number of constraints which are nor clauses,nor cardinality constraints	1909
Minimum length of a constraint	1
Maximum length of a constraint	70755
Trace number 26126

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-24 10:17:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15213 boxname=wulflinc31 idbench=1171 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  575f632072d90cb1b2032661c3842261  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-siena1.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-siena1.opb
IDLAUNCH: 15213
/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:        715576 kB
Buffers:         28256 kB
Cached:         269660 kB
SwapCached:        944 kB
Active:         106596 kB
Inactive:       193464 kB
HighTotal:      131008 kB
HighFree:         4116 kB
LowTotal:       903652 kB
LowFree:        711460 kB
SwapTotal:     2097892 kB
SwapFree:      2095920 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            13148 kB
Committed_AS:    63856 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 10:37:31 (client local time) WITH STATUS 0 IN 1200.38 SECONDS
stats: 15213 7 1200.38 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
#### 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.93 0.98 0.99 2/55 26948
Raw data (stat): 26948 (runsolver) R 26947 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 829433948 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0006 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 1850 0 0 0 992 5 0 0 25 0 1 0 829433948 19542016 1827 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4771 1827 1111 63 0 4708 0
vsize: 19084
[startup+20.0014 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 2986 0 0 0 1990 7 0 0 25 0 1 0 829433948 24170496 2963 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5901 2963 1111 63 0 5838 0
vsize: 23604
[startup+30.0023 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 4128 0 0 0 2988 9 0 0 25 0 1 0 829433948 28950528 4105 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7068 4105 1111 63 0 7005 0
vsize: 28272
[startup+40.0032 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 5276 0 0 0 3986 11 0 0 25 0 1 0 829433948 33574912 5253 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8197 5253 1111 63 0 8134 0
vsize: 32788
[startup+50.0034 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 6424 0 0 0 4983 15 0 0 25 0 1 0 829433948 38354944 6401 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9364 6401 1111 63 0 9301 0
vsize: 37456
[startup+60.0041 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 7575 0 0 0 5981 16 0 0 25 0 1 0 829433948 42967040 7552 4294967295 134512640 134714540 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10490 7552 1111 63 0 10427 0
vsize: 41960
[startup+70.004 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 8729 0 0 0 6979 19 0 0 25 0 1 0 829433948 47747072 8706 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11657 8706 1111 63 0 11594 0
vsize: 46628
[startup+80.0049 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 9885 0 0 0 7977 21 0 0 25 0 1 0 829433948 52527104 9862 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12824 9862 1111 63 0 12761 0
vsize: 51296
[startup+90.005 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 11045 0 0 0 8975 23 0 0 25 0 1 0 829433948 57307136 11022 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13991 11022 1111 63 0 13928 0
vsize: 55964
[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 12211 0 0 0 9973 25 0 0 25 0 1 0 829433948 62083072 12188 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15157 12188 1111 63 0 15094 0
vsize: 60628
[startup+110.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 13382 0 0 0 10971 27 0 0 25 0 1 0 829433948 66859008 13359 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16323 13359 1111 63 0 16260 0
vsize: 65292
[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 14549 0 0 0 11968 31 0 0 25 0 1 0 829433948 71634944 14526 4294967295 134512640 134714540 3221221776 3221218492 1077195887 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17489 14526 1111 63 0 17426 0
vsize: 69956
[startup+130.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 15722 0 0 0 12967 32 0 0 25 0 1 0 829433948 76410880 15699 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18655 15699 1111 63 0 18592 0
vsize: 74620
[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 16900 0 0 0 13965 34 0 0 25 0 1 0 829433948 81190912 16877 4294967295 134512640 134714540 3221221776 3221220004 1077414349 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19822 16877 1111 63 0 19759 0
vsize: 79288
[startup+150.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 18084 0 0 0 14963 36 0 0 25 0 1 0 829433948 86114304 18061 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21024 18061 1111 63 0 20961 0
vsize: 84096
[startup+160.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 19264 0 0 0 15961 38 0 0 25 0 1 0 829433948 90898432 19241 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22192 19241 1111 63 0 22129 0
vsize: 88768
[startup+170.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 20455 0 0 0 16959 41 0 0 25 0 1 0 829433948 95825920 20432 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23395 20432 1111 63 0 23332 0
vsize: 93580
[startup+180.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 21645 0 0 0 17958 42 0 0 25 0 1 0 829433948 100601856 21622 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24561 21622 1111 63 0 24498 0
vsize: 98244
[startup+190.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 22842 0 0 0 18956 44 0 0 25 0 1 0 829433948 105529344 22819 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25764 22819 1111 63 0 25701 0
vsize: 103056
[startup+200.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 24039 0 0 0 19954 47 0 0 25 0 1 0 829433948 110452736 24016 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26966 24016 1111 63 0 26903 0
vsize: 107864
[startup+210.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 25248 0 0 0 20952 49 0 0 25 0 1 0 829433948 115380224 25225 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28169 25225 1111 63 0 28106 0
vsize: 112676
[startup+220.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 26452 0 0 0 21949 52 0 0 25 0 1 0 829433948 120303616 26429 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29371 26429 1111 63 0 29308 0
vsize: 117484
[startup+230.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 27661 0 0 0 22947 54 0 0 25 0 1 0 829433948 125386752 27638 4294967295 134512640 134714540 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30612 27638 1111 63 0 30549 0
vsize: 122448
[startup+240.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 28877 0 0 0 23945 56 0 0 25 0 1 0 829433948 130310144 28854 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31814 28854 1111 63 0 31751 0
vsize: 127256
[startup+250.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 30091 0 0 0 24943 58 0 0 25 0 1 0 829433948 135237632 30068 4294967295 134512640 134714540 3221221776 3221220004 1077414374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33017 30068 1111 63 0 32954 0
vsize: 132068
[startup+260.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 31313 0 0 0 25941 60 0 0 25 0 1 0 829433948 140312576 31290 4294967295 134512640 134714540 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34256 31290 1111 63 0 34193 0
vsize: 137024
[startup+270.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 32540 0 0 0 26940 62 0 0 25 0 1 0 829433948 145240064 32517 4294967295 134512640 134714540 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35459 32517 1111 63 0 35396 0
vsize: 141836
[startup+280.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 33769 0 0 0 27937 65 0 0 25 0 1 0 829433948 150319104 33746 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36699 33746 1111 63 0 36636 0
vsize: 146796
[startup+290.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 35003 0 0 0 28935 67 0 0 25 0 1 0 829433948 155394048 34980 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37938 34980 1111 63 0 37875 0
vsize: 151752
[startup+300.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 36236 0 0 0 29933 69 0 0 25 0 1 0 829433948 160468992 36213 4294967295 134512640 134714540 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39177 36213 1111 63 0 39114 0
vsize: 156708
[startup+310.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 37476 0 0 0 30930 72 0 0 25 0 1 0 829433948 165543936 37453 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40416 37453 1111 63 0 40353 0
vsize: 161664
[startup+320.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 38721 0 0 0 31928 75 0 0 25 0 1 0 829433948 170622976 38698 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41656 38698 1111 63 0 41593 0
vsize: 166624
[startup+330.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 39967 0 0 0 32925 78 0 0 25 0 1 0 829433948 175702016 39944 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42896 39944 1111 63 0 42833 0
vsize: 171584
[startup+340.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 41219 0 0 0 33923 81 0 0 25 0 1 0 829433948 180776960 41196 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44135 41196 1111 63 0 44072 0
vsize: 176540
[startup+350.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 42477 0 0 0 34921 83 0 0 25 0 1 0 829433948 186003456 42454 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45411 42454 1111 63 0 45348 0
vsize: 181644
[startup+360.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 43740 0 0 0 35919 85 0 0 25 0 1 0 829433948 191225856 43717 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46686 43717 1111 63 0 46623 0
vsize: 186744
[startup+370.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 45003 0 0 0 36916 88 0 0 25 0 1 0 829433948 196300800 44980 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47925 44980 1111 63 0 47862 0
vsize: 191700
[startup+380.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 46274 0 0 0 37915 90 0 0 25 0 1 0 829433948 201531392 46251 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49202 46251 1111 63 0 49139 0
vsize: 196808
[startup+390.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 47544 0 0 0 38913 91 0 0 25 0 1 0 829433948 206753792 47521 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50477 47521 1111 63 0 50414 0
vsize: 201908
[startup+400.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 48825 0 0 0 39912 92 0 0 25 0 1 0 829433948 211980288 48802 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51753 48802 1111 63 0 51690 0
vsize: 207012
[startup+410.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 50117 0 0 0 40910 94 0 0 25 0 1 0 829433948 217374720 50094 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53070 50094 1111 63 0 53007 0
vsize: 212280
[startup+420.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 51407 0 0 0 41908 97 0 0 25 0 1 0 829433948 222605312 51384 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54347 51384 1111 63 0 54284 0
vsize: 217388
[startup+430.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 52695 0 0 0 42906 99 0 0 25 0 1 0 829433948 227827712 52672 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55622 52672 1111 63 0 55559 0
vsize: 222488
[startup+440.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 53994 0 0 0 43905 101 0 0 25 0 1 0 829433948 233201664 53971 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56934 53971 1111 63 0 56871 0
vsize: 227736
[startup+450.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 55294 0 0 0 44903 103 0 0 25 0 1 0 829433948 238575616 55271 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58246 55271 1111 63 0 58183 0
vsize: 232984
[startup+460.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 56602 0 0 0 45901 105 0 0 25 0 1 0 829433948 243953664 56579 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59559 56579 1111 63 0 59496 0
vsize: 238236
[startup+470.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 57909 0 0 0 46899 107 0 0 25 0 1 0 829433948 249327616 57886 4294967295 134512640 134714540 3221221776 3221219868 1077386340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60871 57892 1111 63 0 60808 0
vsize: 243484
[startup+480.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 59227 0 0 0 47897 109 0 0 25 0 1 0 829433948 254701568 59204 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62183 59204 1111 63 0 62120 0
vsize: 248732
[startup+490.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 60551 0 0 0 48895 112 0 0 25 0 1 0 829433948 260075520 60528 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63495 60528 1111 63 0 63432 0
vsize: 253980
[startup+500.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 61884 0 0 0 49892 115 0 0 25 0 1 0 829433948 265457664 61861 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64809 61861 1111 63 0 64746 0
vsize: 259236
[startup+510.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 63215 0 0 0 50890 117 0 0 25 0 1 0 829433948 270983168 63192 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 66158 63192 1111 63 0 66095 0
vsize: 264632
[startup+520.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 64558 0 0 0 51887 120 0 0 25 0 1 0 829433948 276504576 64535 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67506 64535 1111 63 0 67443 0
vsize: 270024
[startup+530.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 65903 0 0 0 52885 122 0 0 25 0 1 0 829433948 282038272 65880 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 68857 65880 1111 63 0 68794 0
vsize: 275428
[startup+540.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 67251 0 0 0 53882 126 0 0 25 0 1 0 829433948 287559680 67228 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70205 67228 1111 63 0 70142 0
vsize: 280820
[startup+550.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 68607 0 0 0 54879 128 0 0 25 0 1 0 829433948 293085184 68584 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71554 68584 1111 63 0 71491 0
vsize: 286216
[startup+560.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 69969 0 0 0 55877 130 0 0 25 0 1 0 829433948 298610688 69946 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72903 69946 1111 63 0 72840 0
vsize: 291612
[startup+570.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 71337 0 0 0 56875 133 0 0 25 0 1 0 829433948 304287744 71314 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 74289 71314 1111 63 0 74226 0
vsize: 297156
[startup+580.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 72352 0 0 0 57873 135 0 0 25 0 1 0 829433948 308322304 72329 4294967295 134512640 134714540 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75274 72329 1111 63 0 75211 0
vsize: 301096
[startup+590.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 72486 0 0 0 58873 135 0 0 25 0 1 0 829433948 308920320 72463 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75420 72463 1111 63 0 75357 0
vsize: 301680
[startup+600.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 72618 0 0 0 59873 135 0 0 25 0 1 0 829433948 309522432 72595 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75567 72595 1111 63 0 75504 0
vsize: 302268
[startup+610.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 72757 0 0 0 60873 136 0 0 25 0 1 0 829433948 310095872 72734 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75707 72734 1111 63 0 75644 0
vsize: 302828
[startup+620.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 72881 0 0 0 61873 136 0 0 25 0 1 0 829433948 310538240 72858 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75815 72858 1111 63 0 75752 0
vsize: 303260
[startup+630.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 73015 0 0 0 62874 136 0 0 25 0 1 0 829433948 311140352 72992 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75962 72992 1111 63 0 75899 0
vsize: 303848
[startup+640.035 s]
Raw data (loadavg): 1.07 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 73147 0 0 0 63874 136 0 0 25 0 1 0 829433948 311590912 73124 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76072 73124 1111 63 0 76009 0
vsize: 304288
[startup+650.035 s]
Raw data (loadavg): 1.06 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 73279 0 0 0 64873 137 0 0 25 0 1 0 829433948 312193024 73256 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76219 73256 1111 63 0 76156 0
vsize: 304876
[startup+660.036 s]
Raw data (loadavg): 1.05 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 73419 0 0 0 65873 137 0 0 25 0 1 0 829433948 312795136 73396 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76366 73396 1111 63 0 76303 0
vsize: 305464
[startup+670.037 s]
Raw data (loadavg): 1.04 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 73543 0 0 0 66873 137 0 0 25 0 1 0 829433948 313237504 73520 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76474 73520 1111 63 0 76411 0
vsize: 305896
[startup+680.038 s]
Raw data (loadavg): 1.04 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 73676 0 0 0 67873 138 0 0 25 0 1 0 829433948 313839616 73653 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76621 73653 1111 63 0 76558 0
vsize: 306484
[startup+690.038 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 73807 0 0 0 68873 138 0 0 25 0 1 0 829433948 314290176 73784 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76731 73784 1111 63 0 76668 0
vsize: 306924
[startup+700.038 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 73940 0 0 0 69873 138 0 0 25 0 1 0 829433948 314888192 73917 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76877 73917 1111 63 0 76814 0
vsize: 307508
[startup+710.039 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 74079 0 0 0 70873 138 0 0 25 0 1 0 829433948 315490304 74056 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 77024 74056 1111 63 0 76961 0
vsize: 308096
[startup+720.04 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 74217 0 0 0 71873 139 0 0 25 0 1 0 829433948 315936768 74194 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 77133 74194 1111 63 0 77070 0
vsize: 308532
[startup+730.04 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 74350 0 0 0 72873 139 0 0 25 0 1 0 829433948 316538880 74327 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 77280 74327 1111 63 0 77217 0
vsize: 309120
[startup+740.041 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 74509 0 0 0 73872 139 0 0 25 0 1 0 829433948 317296640 74486 4294967295 134512640 134714540 3221221776 3221220004 1077414399 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 77465 74486 1111 63 0 77402 0
vsize: 309860
[startup+750.041 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 74647 0 0 0 74872 140 0 0 25 0 1 0 829433948 317898752 74624 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 77612 74624 1111 63 0 77549 0
vsize: 310448
[startup+760.042 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 74786 0 0 0 75872 140 0 0 25 0 1 0 829433948 318500864 74763 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 77759 74763 1111 63 0 77696 0
vsize: 311036
[startup+770.043 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 74924 0 0 0 76872 140 0 0 25 0 1 0 829433948 318947328 74901 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 77868 74901 1111 63 0 77805 0
vsize: 311472
[startup+780.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 75044 0 0 0 77873 140 0 0 25 0 1 0 829433948 319549440 75021 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78015 75021 1111 63 0 77952 0
vsize: 312060
[startup+790.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 75191 0 0 0 78872 140 0 0 25 0 1 0 829433948 320147456 75168 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78161 75168 1111 63 0 78098 0
vsize: 312644
[startup+800.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 75336 0 0 0 79872 141 0 0 25 0 1 0 829433948 320745472 75313 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78307 75313 1111 63 0 78244 0
vsize: 313228
[startup+810.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 75484 0 0 0 80872 141 0 0 25 0 1 0 829433948 321347584 75461 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78454 75461 1111 63 0 78391 0
vsize: 313816
[startup+820.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 75632 0 0 0 81872 141 0 0 25 0 1 0 829433948 321949696 75609 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78601 75609 1111 63 0 78538 0
vsize: 314404
[startup+830.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 75777 0 0 0 82872 142 0 0 25 0 1 0 829433948 322543616 75754 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78746 75754 1111 63 0 78683 0
vsize: 314984
[startup+840.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 75925 0 0 0 83872 142 0 0 25 0 1 0 829433948 323145728 75902 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78893 75902 1111 63 0 78830 0
vsize: 315572
[startup+850.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 76080 0 0 0 84871 143 0 0 25 0 1 0 829433948 323747840 76057 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79040 76057 1111 63 0 78977 0
vsize: 316160
[startup+860.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 76232 0 0 0 85871 143 0 0 25 0 1 0 829433948 324341760 76209 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79185 76209 1111 63 0 79122 0
vsize: 316740
[startup+870.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 76380 0 0 0 86871 144 0 0 25 0 1 0 829433948 324943872 76357 4294967295 134512640 134714540 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79332 76357 1111 63 0 79269 0
vsize: 317328
[startup+880.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 76514 0 0 0 87871 144 0 0 25 0 1 0 829433948 325545984 76491 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79479 76491 1111 63 0 79416 0
vsize: 317916
[startup+890.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 76660 0 0 0 88870 145 0 0 25 0 1 0 829433948 326139904 76637 4294967295 134512640 134714540 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79624 76637 1111 63 0 79561 0
vsize: 318496
[startup+900.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 76807 0 0 0 89870 145 0 0 25 0 1 0 829433948 326742016 76784 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79771 76784 1111 63 0 79708 0
vsize: 319084
[startup+910.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 76955 0 0 0 90870 145 0 0 25 0 1 0 829433948 327344128 76932 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79918 76932 1111 63 0 79855 0
vsize: 319672
[startup+920.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 77107 0 0 0 91870 146 0 0 25 0 1 0 829433948 327942144 77084 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80064 77084 1111 63 0 80001 0
vsize: 320256
[startup+930.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 77262 0 0 0 92869 147 0 0 25 0 1 0 829433948 328540160 77239 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80210 77239 1111 63 0 80147 0
vsize: 320840
[startup+940.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 77417 0 0 0 93869 147 0 0 25 0 1 0 829433948 329142272 77394 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80357 77394 1111 63 0 80294 0
vsize: 321428
[startup+950.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 77571 0 0 0 94869 147 0 0 25 0 1 0 829433948 329740288 77548 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80503 77548 1111 63 0 80440 0
vsize: 322012
[startup+960.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 77732 0 0 0 95869 148 0 0 25 0 1 0 829433948 330489856 77709 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80686 77709 1111 63 0 80623 0
vsize: 322744
[startup+970.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 77895 0 0 0 96869 148 0 0 25 0 1 0 829433948 331091968 77872 4294967295 134512640 134714540 3221221776 3221220004 1077414424 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80833 77872 1111 63 0 80770 0
vsize: 323332
[startup+980.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 78058 0 0 0 97869 148 0 0 25 0 1 0 829433948 331841536 78035 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81016 78035 1111 63 0 80953 0
vsize: 324064
[startup+990.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 78224 0 0 0 98868 149 0 0 25 0 1 0 829433948 332435456 78201 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81161 78201 1111 63 0 81098 0
vsize: 324644
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 78393 0 0 0 99868 149 0 0 25 0 1 0 829433948 333189120 78370 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81345 78370 1111 63 0 81282 0
vsize: 325380
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 78557 0 0 0 100868 149 0 0 25 0 1 0 829433948 333791232 78534 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81492 78534 1111 63 0 81429 0
vsize: 325968
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 78711 0 0 0 101868 150 0 0 25 0 1 0 829433948 334385152 78688 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81637 78688 1111 63 0 81574 0
vsize: 326548
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 78864 0 0 0 102868 150 0 0 25 0 1 0 829433948 335134720 78841 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81820 78841 1111 63 0 81757 0
vsize: 327280
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 79027 0 0 0 103868 150 0 0 25 0 1 0 829433948 335736832 79004 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81967 79004 1111 63 0 81904 0
vsize: 327868
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 79188 0 0 0 104868 150 0 0 25 0 1 0 829433948 336338944 79165 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82114 79165 1111 63 0 82051 0
vsize: 328456
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 79341 0 0 0 105868 150 0 0 25 0 1 0 829433948 337084416 79318 4294967295 134512640 134714540 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82296 79318 1111 63 0 82233 0
vsize: 329184
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 79497 0 0 0 106868 151 0 0 25 0 1 0 829433948 337686528 79474 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82443 79474 1111 63 0 82380 0
vsize: 329772
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 79659 0 0 0 107868 151 0 0 25 0 1 0 829433948 338288640 79636 4294967295 134512640 134714540 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82590 79636 1111 63 0 82527 0
vsize: 330360
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 79828 0 0 0 108867 152 0 0 25 0 1 0 829433948 339038208 79805 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82773 79805 1111 63 0 82710 0
vsize: 331092
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 79981 0 0 0 109867 152 0 0 25 0 1 0 829433948 339632128 79958 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82918 79958 1111 63 0 82855 0
vsize: 331672
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 80143 0 0 0 110867 152 0 0 25 0 1 0 829433948 340234240 80120 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83065 80120 1111 63 0 83002 0
vsize: 332260
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 80305 0 0 0 111867 153 0 0 25 0 1 0 829433948 340987904 80282 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83249 80282 1111 63 0 83186 0
vsize: 332996
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 80458 0 0 0 112867 153 0 0 25 0 1 0 829433948 341581824 80435 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83394 80435 1111 63 0 83331 0
vsize: 333576
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 80620 0 0 0 113866 154 0 0 25 0 1 0 829433948 342183936 80597 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83541 80597 1111 63 0 83478 0
vsize: 334164
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 80790 0 0 0 114867 154 0 0 25 0 1 0 829433948 342933504 80767 4294967295 134512640 134714540 3221221776 3221220004 1077414393 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83724 80767 1111 63 0 83661 0
vsize: 334896
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 80952 0 0 0 115867 154 0 0 25 0 1 0 829433948 343535616 80929 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83871 80929 1111 63 0 83808 0
vsize: 335484
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 81120 0 0 0 116866 154 0 0 25 0 1 0 829433948 344281088 81097 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84053 81097 1111 63 0 83990 0
vsize: 336212
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 81290 0 0 0 117866 155 0 0 25 0 1 0 829433948 345030656 81267 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84236 81267 1111 63 0 84173 0
vsize: 336944
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 81465 0 0 0 118866 155 0 0 25 0 1 0 829433948 345632768 81442 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84383 81442 1111 63 0 84320 0
vsize: 337532
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26948
Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 81643 0 0 0 119866 155 0 0 25 0 1 0 829433948 346382336 81620 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84566 81620 1111 63 0 84503 0
vsize: 338264
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.22 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 26948
Raw data (stat): 26948 (bsolo_mis) Z 26947 7876 7672 0 -1 1036 81643 0 0 0 119866 171 0 0 25 0 1 0 829433948 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.22
CPU time (s): 1200.38
CPU user time (s): 1198.66
CPU system time (s): 1.71174
CPU usage (%): 100.013
Max. virtual memory (Kb): 338264
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####