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-dolom1.opb
MD5SUM	bafd5f2a91d0ace4ec9dc114753d5b3e
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	66480
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	35987090508169210757120
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	35987192908169210757120
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.632903
Number of variables	66480
Total number of constraints	11523
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	9721
Number of constraints which are nor clauses,nor cardinality constraints	1802
Minimum length of a constraint	1
Maximum length of a constraint	66480
Trace number 26141

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-24 12:22:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15109 boxname=wulflinc31 idbench=1163 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  bafd5f2a91d0ace4ec9dc114753d5b3e  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-dolom1.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-dolom1.opb
IDLAUNCH: 15109
/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:        656248 kB
Buffers:         32668 kB
Cached:         324748 kB
SwapCached:        944 kB
Active:         145728 kB
Inactive:       213776 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        655996 kB
SwapTotal:     2097892 kB
SwapFree:      2095920 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            13180 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 12:42:08 (client local time) WITH STATUS 0 IN 1200.34 SECONDS
stats: 15109 7 1200.34 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.91 0.95 0.94 2/55 28467
Raw data (stat): 28467 (runsolver) R 28466 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 830181787 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0008 s]
Raw data (loadavg): 0.93 0.95 0.94 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 1894 0 0 0 992 5 0 0 25 0 1 0 830181787 19841024 1871 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4844 1871 1111 63 0 4781 0
vsize: 19376
[startup+20.0016 s]
Raw data (loadavg): 0.94 0.96 0.94 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 3091 0 0 0 1991 6 0 0 25 0 1 0 830181787 24768512 3068 4294967295 134512640 134714540 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6047 3068 1111 63 0 5984 0
vsize: 24188
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.96 0.94 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 4288 0 0 0 2988 9 0 0 25 0 1 0 830181787 29696000 4265 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7250 4265 1111 63 0 7187 0
vsize: 29000
[startup+40.0045 s]
Raw data (loadavg): 0.95 0.96 0.94 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 5490 0 0 0 3986 11 0 0 25 0 1 0 830181787 34619392 5467 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8452 5467 1111 63 0 8389 0
vsize: 33808
[startup+50.0057 s]
Raw data (loadavg): 0.96 0.96 0.94 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 6693 0 0 0 4985 12 0 0 25 0 1 0 830181787 39546880 6670 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9655 6670 1111 63 0 9592 0
vsize: 38620
[startup+60.0054 s]
Raw data (loadavg): 0.97 0.96 0.94 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 7906 0 0 0 5983 15 0 0 25 0 1 0 830181787 44466176 7883 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10856 7883 1111 63 0 10793 0
vsize: 43424
[startup+70.0063 s]
Raw data (loadavg): 0.97 0.96 0.94 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 9121 0 0 0 6981 17 0 0 25 0 1 0 830181787 49393664 9098 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12059 9098 1111 63 0 11996 0
vsize: 48236
[startup+80.0072 s]
Raw data (loadavg): 0.98 0.96 0.94 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 10336 0 0 0 7980 18 0 0 25 0 1 0 830181787 54468608 10313 4294967295 134512640 134714540 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13298 10313 1111 63 0 13235 0
vsize: 53192
[startup+90.0081 s]
Raw data (loadavg): 0.98 0.96 0.94 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 11556 0 0 0 8978 20 0 0 25 0 1 0 830181787 59392000 11533 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14500 11533 1111 63 0 14437 0
vsize: 58000
[startup+100.009 s]
Raw data (loadavg): 0.98 0.96 0.94 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 12783 0 0 0 9977 22 0 0 25 0 1 0 830181787 64466944 12760 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15739 12760 1111 63 0 15676 0
vsize: 62956
[startup+110.009 s]
Raw data (loadavg): 0.98 0.96 0.94 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 14017 0 0 0 10974 25 0 0 25 0 1 0 830181787 69550080 13994 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16980 13994 1111 63 0 16917 0
vsize: 67920
[startup+120.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 15251 0 0 0 11971 28 0 0 25 0 1 0 830181787 74473472 15228 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18182 15228 1111 63 0 18119 0
vsize: 72728
[startup+130.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 16484 0 0 0 12969 30 0 0 25 0 1 0 830181787 79548416 16461 4294967295 134512640 134714540 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19421 16461 1111 63 0 19358 0
vsize: 77684
[startup+140.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 17723 0 0 0 13967 33 0 0 25 0 1 0 830181787 84623360 17700 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20660 17700 1111 63 0 20597 0
vsize: 82640
[startup+150.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 18968 0 0 0 14965 35 0 0 25 0 1 0 830181787 89698304 18945 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21899 18945 1111 63 0 21836 0
vsize: 87596
[startup+160.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 20220 0 0 0 15963 37 0 0 25 0 1 0 830181787 94928896 20197 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23176 20197 1111 63 0 23113 0
vsize: 92704
[startup+170.013 s]
Raw data (loadavg): 1.07 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 21472 0 0 0 16962 39 0 0 25 0 1 0 830181787 100003840 21449 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24415 21449 1111 63 0 24352 0
vsize: 97660
[startup+180.014 s]
Raw data (loadavg): 1.06 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 22729 0 0 0 17960 40 0 0 25 0 1 0 830181787 105230336 22706 4294967295 134512640 134714540 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25691 22706 1111 63 0 25628 0
vsize: 102764
[startup+190.014 s]
Raw data (loadavg): 1.05 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 23986 0 0 0 18959 42 0 0 25 0 1 0 830181787 110305280 23963 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26930 23963 1111 63 0 26867 0
vsize: 107720
[startup+200.014 s]
Raw data (loadavg): 1.04 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 25256 0 0 0 19957 44 0 0 25 0 1 0 830181787 115527680 25233 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28205 25233 1111 63 0 28142 0
vsize: 112820
[startup+210.014 s]
Raw data (loadavg): 1.04 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 26527 0 0 0 20955 46 0 0 25 0 1 0 830181787 120758272 26504 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29482 26504 1111 63 0 29419 0
vsize: 117928
[startup+220.015 s]
Raw data (loadavg): 1.03 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 27803 0 0 0 21953 48 0 0 25 0 1 0 830181787 125980672 27780 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30757 27780 1111 63 0 30694 0
vsize: 123028
[startup+230.015 s]
Raw data (loadavg): 1.02 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 29079 0 0 0 22951 50 0 0 25 0 1 0 830181787 131207168 29056 4294967295 134512640 134714540 3221221776 3221220004 1077414349 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32033 29056 1111 63 0 31970 0
vsize: 128132
[startup+240.016 s]
Raw data (loadavg): 1.02 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 30360 0 0 0 23949 53 0 0 25 0 1 0 830181787 136429568 30337 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33308 30337 1111 63 0 33245 0
vsize: 133232
[startup+250.017 s]
Raw data (loadavg): 1.02 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 31651 0 0 0 24947 55 0 0 25 0 1 0 830181787 141660160 31628 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34585 31628 1111 63 0 34522 0
vsize: 138340
[startup+260.017 s]
Raw data (loadavg): 1.01 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 32938 0 0 0 25945 57 0 0 25 0 1 0 830181787 147034112 32915 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35897 32915 1111 63 0 35834 0
vsize: 143588
[startup+270.018 s]
Raw data (loadavg): 1.01 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 34232 0 0 0 26943 59 0 0 25 0 1 0 830181787 152260608 34209 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37173 34209 1111 63 0 37110 0
vsize: 148692
[startup+280.018 s]
Raw data (loadavg): 1.01 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 35533 0 0 0 27941 61 0 0 25 0 1 0 830181787 157630464 35510 4294967295 134512640 134714540 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38484 35510 1111 63 0 38421 0
vsize: 153936
[startup+290.019 s]
Raw data (loadavg): 1.01 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 36840 0 0 0 28939 63 0 0 25 0 1 0 830181787 163012608 36817 4294967295 134512640 134714540 3221221776 3221220004 1077414399 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39798 36817 1111 63 0 39735 0
vsize: 159192
[startup+300.02 s]
Raw data (loadavg): 1.01 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 38147 0 0 0 29937 66 0 0 25 0 1 0 830181787 168386560 38124 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41110 38124 1111 63 0 41047 0
vsize: 164440
[startup+310.02 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 39458 0 0 0 30936 67 0 0 25 0 1 0 830181787 173756416 39435 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42421 39435 1111 63 0 42358 0
vsize: 169684
[startup+320.021 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 40776 0 0 0 31933 70 0 0 25 0 1 0 830181787 179130368 40753 4294967295 134512640 134714540 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43733 40753 1111 63 0 43670 0
vsize: 174932
[startup+330.022 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 42103 0 0 0 32930 73 0 0 25 0 1 0 830181787 184512512 42080 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45047 42080 1111 63 0 44984 0
vsize: 180188
[startup+340.022 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 43433 0 0 0 33928 76 0 0 25 0 1 0 830181787 190033920 43410 4294967295 134512640 134714540 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46395 43410 1111 63 0 46332 0
vsize: 185580
[startup+350.023 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 44769 0 0 0 34926 77 0 0 25 0 1 0 830181787 195407872 44746 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47707 44746 1111 63 0 47644 0
vsize: 190828
[startup+360.023 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 46105 0 0 0 35925 79 0 0 25 0 1 0 830181787 200929280 46082 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49055 46082 1111 63 0 48992 0
vsize: 196220
[startup+370.024 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 47455 0 0 0 36923 82 0 0 25 0 1 0 830181787 206458880 47432 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50405 47432 1111 63 0 50342 0
vsize: 201620
[startup+380.024 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 48804 0 0 0 37921 84 0 0 25 0 1 0 830181787 211984384 48781 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51754 48781 1111 63 0 51691 0
vsize: 207016
[startup+390.025 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 50175 0 0 0 38918 87 0 0 25 0 1 0 830181787 217677824 50152 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53144 50152 1111 63 0 53081 0
vsize: 212576
[startup+400.026 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 51538 0 0 0 39915 90 0 0 25 0 1 0 830181787 223207424 51515 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54494 51515 1111 63 0 54431 0
vsize: 217976
[startup+410.026 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 52905 0 0 0 40913 92 0 0 25 0 1 0 830181787 228880384 52882 4294967295 134512640 134714540 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55879 52882 1111 63 0 55816 0
vsize: 223516
[startup+420.027 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 54284 0 0 0 41910 95 0 0 25 0 1 0 830181787 234405888 54261 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 57228 54261 1111 63 0 57165 0
vsize: 228912
[startup+430.028 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 55666 0 0 0 42908 98 0 0 25 0 1 0 830181787 240087040 55643 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58615 55643 1111 63 0 58552 0
vsize: 234460
[startup+440.028 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 57051 0 0 0 43905 100 0 0 25 0 1 0 830181787 245760000 57028 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60000 57028 1111 63 0 59937 0
vsize: 240000
[startup+450.029 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 58443 0 0 0 44903 103 0 0 25 0 1 0 830181787 251432960 58420 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61385 58420 1111 63 0 61322 0
vsize: 245540
[startup+460.028 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 59812 0 0 0 45902 104 0 0 25 0 1 0 830181787 257110016 59789 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62771 59789 1111 63 0 62708 0
vsize: 251084
[startup+470.029 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 59928 0 0 0 46902 105 0 0 25 0 1 0 830181787 257548288 59905 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62878 59905 1111 63 0 62815 0
vsize: 251512
[startup+480.029 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 60047 0 0 0 47902 105 0 0 25 0 1 0 830181787 258121728 60024 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63018 60024 1111 63 0 62955 0
vsize: 252072
[startup+490.029 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 60164 0 0 0 48901 105 0 0 25 0 1 0 830181787 258564096 60141 4294967295 134512640 134714540 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63126 60141 1111 63 0 63063 0
vsize: 252504
[startup+500.029 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 60282 0 0 0 49901 105 0 0 25 0 1 0 830181787 259018752 60259 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63237 60259 1111 63 0 63174 0
vsize: 252948
[startup+510.029 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 60399 0 0 0 50901 106 0 0 25 0 1 0 830181787 259465216 60376 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63346 60376 1111 63 0 63283 0
vsize: 253384
[startup+520.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 60524 0 0 0 51901 106 0 0 25 0 1 0 830181787 260067328 60501 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63493 60501 1111 63 0 63430 0
vsize: 253972
[startup+530.031 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 60641 0 0 0 52901 106 0 0 25 0 1 0 830181787 260513792 60618 4294967295 134512640 134714540 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63602 60618 1111 63 0 63539 0
vsize: 254408
[startup+540.031 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 60760 0 0 0 53901 106 0 0 25 0 1 0 830181787 260964352 60737 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63712 60737 1111 63 0 63649 0
vsize: 254848
[startup+550.031 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 60878 0 0 0 54901 107 0 0 25 0 1 0 830181787 261414912 60855 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63822 60855 1111 63 0 63759 0
vsize: 255288
[startup+560.031 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 60995 0 0 0 55901 107 0 0 25 0 1 0 830181787 261865472 60972 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63932 60972 1111 63 0 63869 0
vsize: 255728
[startup+570.032 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 61121 0 0 0 56901 107 0 0 25 0 1 0 830181787 262467584 61098 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64079 61098 1111 63 0 64016 0
vsize: 256316
[startup+580.032 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 61244 0 0 0 57901 108 0 0 25 0 1 0 830181787 262914048 61221 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64188 61221 1111 63 0 64125 0
vsize: 256752
[startup+590.032 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 61362 0 0 0 58901 108 0 0 25 0 1 0 830181787 263364608 61339 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64298 61339 1111 63 0 64235 0
vsize: 257192
[startup+600.033 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 61480 0 0 0 59901 108 0 0 25 0 1 0 830181787 263962624 61457 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64444 61457 1111 63 0 64381 0
vsize: 257776
[startup+610.033 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 61611 0 0 0 60900 108 0 0 25 0 1 0 830181787 264417280 61588 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64555 61588 1111 63 0 64492 0
vsize: 258220
[startup+620.034 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 61729 0 0 0 61900 109 0 0 25 0 1 0 830181787 264859648 61706 4294967295 134512640 134714540 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64663 61706 1111 63 0 64600 0
vsize: 258652
[startup+630.035 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 61854 0 0 0 62900 109 0 0 25 0 1 0 830181787 265461760 61831 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64810 61831 1111 63 0 64747 0
vsize: 259240
[startup+640.034 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 61979 0 0 0 63900 109 0 0 25 0 1 0 830181787 265912320 61956 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64920 61956 1111 63 0 64857 0
vsize: 259680
[startup+650.035 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 62098 0 0 0 64900 110 0 0 25 0 1 0 830181787 266362880 62075 4294967295 134512640 134714540 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65030 62075 1111 63 0 64967 0
vsize: 260120
[startup+660.034 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 62230 0 0 0 65900 110 0 0 25 0 1 0 830181787 266964992 62207 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65177 62207 1111 63 0 65114 0
vsize: 260708
[startup+670.035 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 62354 0 0 0 66900 110 0 0 25 0 1 0 830181787 267411456 62331 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65286 62331 1111 63 0 65223 0
vsize: 261144
[startup+680.035 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 62479 0 0 0 67900 110 0 0 25 0 1 0 830181787 268013568 62456 4294967295 134512640 134714540 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65433 62456 1111 63 0 65370 0
vsize: 261732
[startup+690.035 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 62609 0 0 0 68900 111 0 0 25 0 1 0 830181787 268460032 62586 4294967295 134512640 134714540 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65542 62586 1111 63 0 65479 0
vsize: 262168
[startup+700.036 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 62728 0 0 0 69900 111 0 0 25 0 1 0 830181787 269062144 62705 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65689 62705 1111 63 0 65626 0
vsize: 262756
[startup+710.036 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 62859 0 0 0 70900 111 0 0 25 0 1 0 830181787 269508608 62836 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65798 62836 1111 63 0 65735 0
vsize: 263192
[startup+720.037 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 63010 0 0 0 71900 111 0 0 25 0 1 0 830181787 270270464 62987 4294967295 134512640 134714540 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65984 62987 1111 63 0 65921 0
vsize: 263936
[startup+730.037 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 63136 0 0 0 72899 112 0 0 25 0 1 0 830181787 270721024 63113 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 66094 63113 1111 63 0 66031 0
vsize: 264376
[startup+740.037 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 63260 0 0 0 73899 112 0 0 25 0 1 0 830181787 271319040 63237 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 66240 63237 1111 63 0 66177 0
vsize: 264960
[startup+750.038 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 63394 0 0 0 74898 113 0 0 25 0 1 0 830181787 271773696 63371 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 66351 63371 1111 63 0 66288 0
vsize: 265404
[startup+760.037 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 63525 0 0 0 75898 113 0 0 25 0 1 0 830181787 272367616 63502 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 66496 63502 1111 63 0 66433 0
vsize: 265984
[startup+770.039 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 63657 0 0 0 76898 113 0 0 25 0 1 0 830181787 272969728 63634 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 66643 63634 1111 63 0 66580 0
vsize: 266572
[startup+780.039 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 63789 0 0 0 77898 113 0 0 25 0 1 0 830181787 273416192 63766 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 66752 63766 1111 63 0 66689 0
vsize: 267008
[startup+790.039 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 63922 0 0 0 78898 114 0 0 25 0 1 0 830181787 274018304 63899 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 66899 63899 1111 63 0 66836 0
vsize: 267596
[startup+800.039 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 64055 0 0 0 79898 114 0 0 25 0 1 0 830181787 274468864 64032 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67009 64032 1111 63 0 66946 0
vsize: 268036
[startup+810.039 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 64186 0 0 0 80898 114 0 0 25 0 1 0 830181787 275066880 64163 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67155 64163 1111 63 0 67092 0
vsize: 268620
[startup+820.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 64331 0 0 0 81897 114 0 0 25 0 1 0 830181787 275668992 64308 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67302 64308 1111 63 0 67239 0
vsize: 269208
[startup+830.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 64467 0 0 0 82897 115 0 0 25 0 1 0 830181787 276271104 64444 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67449 64444 1111 63 0 67386 0
vsize: 269796
[startup+840.041 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 64604 0 0 0 83897 115 0 0 25 0 1 0 830181787 276717568 64581 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67558 64581 1111 63 0 67495 0
vsize: 270232
[startup+850.042 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 64744 0 0 0 84897 115 0 0 25 0 1 0 830181787 277319680 64721 4294967295 134512640 134714540 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67705 64721 1111 63 0 67642 0
vsize: 270820
[startup+860.042 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 64886 0 0 0 85897 116 0 0 25 0 1 0 830181787 277913600 64863 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67850 64863 1111 63 0 67787 0
vsize: 271400
[startup+870.043 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 65024 0 0 0 86897 116 0 0 25 0 1 0 830181787 278515712 65001 4294967295 134512640 134714540 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67997 65001 1111 63 0 67934 0
vsize: 271988
[startup+880.043 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 65170 0 0 0 87897 116 0 0 25 0 1 0 830181787 279117824 65147 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 68144 65147 1111 63 0 68081 0
vsize: 272576
[startup+890.044 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 65302 0 0 0 88897 117 0 0 25 0 1 0 830181787 279564288 65279 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 68253 65279 1111 63 0 68190 0
vsize: 273012
[startup+900.045 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 65451 0 0 0 89897 117 0 0 25 0 1 0 830181787 280166400 65428 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 68400 65428 1111 63 0 68337 0
vsize: 273600
[startup+910.046 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 65597 0 0 0 90897 117 0 0 25 0 1 0 830181787 280764416 65574 4294967295 134512640 134714540 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 68546 65574 1111 63 0 68483 0
vsize: 274184
[startup+920.047 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 65742 0 0 0 91897 117 0 0 25 0 1 0 830181787 281362432 65719 4294967295 134512640 134714540 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 68692 65719 1111 63 0 68629 0
vsize: 274768
[startup+930.047 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 65891 0 0 0 92896 118 0 0 25 0 1 0 830181787 281964544 65868 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 68839 65868 1111 63 0 68776 0
vsize: 275356
[startup+940.046 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 66031 0 0 0 93896 118 0 0 25 0 1 0 830181787 282566656 66008 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 68986 66008 1111 63 0 68923 0
vsize: 275944
[startup+950.048 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 66177 0 0 0 94896 119 0 0 25 0 1 0 830181787 283160576 66154 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69131 66154 1111 63 0 69068 0
vsize: 276524
[startup+960.047 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 66324 0 0 0 95895 119 0 0 25 0 1 0 830181787 283762688 66301 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69278 66301 1111 63 0 69215 0
vsize: 277112
[startup+970.048 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 66473 0 0 0 96895 120 0 0 25 0 1 0 830181787 284364800 66450 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69425 66450 1111 63 0 69362 0
vsize: 277700
[startup+980.049 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 66625 0 0 0 97895 120 0 0 25 0 1 0 830181787 284958720 66602 4294967295 134512640 134714540 3221221776 3221220004 1077414399 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69570 66602 1111 63 0 69507 0
vsize: 278280
[startup+990.049 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 66772 0 0 0 98895 121 0 0 25 0 1 0 830181787 285560832 66749 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69717 66749 1111 63 0 69654 0
vsize: 278868
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 66928 0 0 0 99895 121 0 0 25 0 1 0 830181787 286314496 66905 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69901 66905 1111 63 0 69838 0
vsize: 279604
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 67081 0 0 0 100895 121 0 0 25 0 1 0 830181787 286908416 67058 4294967295 134512640 134714540 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 70046 67058 1111 63 0 69983 0
vsize: 280184
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 67242 0 0 0 101895 121 0 0 25 0 1 0 830181787 287510528 67219 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 70193 67219 1111 63 0 70130 0
vsize: 280772
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 67398 0 0 0 102894 122 0 0 25 0 1 0 830181787 288112640 67375 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 70340 67375 1111 63 0 70277 0
vsize: 281360
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 67553 0 0 0 103894 122 0 0 25 0 1 0 830181787 288862208 67530 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 70523 67530 1111 63 0 70460 0
vsize: 282092
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 67713 0 0 0 104894 123 0 0 25 0 1 0 830181787 289456128 67690 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 70668 67690 1111 63 0 70605 0
vsize: 282672
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 67875 0 0 0 105894 123 0 0 25 0 1 0 830181787 290058240 67852 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 70815 67852 1111 63 0 70752 0
vsize: 283260
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 68038 0 0 0 106894 123 0 0 25 0 1 0 830181787 290811904 68015 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 70999 68015 1111 63 0 70936 0
vsize: 283996
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 68199 0 0 0 107894 124 0 0 25 0 1 0 830181787 291405824 68176 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 71144 68176 1111 63 0 71081 0
vsize: 284576
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 68360 0 0 0 108893 124 0 0 25 0 1 0 830181787 292155392 68337 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 71327 68337 1111 63 0 71264 0
vsize: 285308
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 68536 0 0 0 109893 125 0 0 25 0 1 0 830181787 292757504 68513 4294967295 134512640 134714540 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 71474 68513 1111 63 0 71411 0
vsize: 285896
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 68699 0 0 0 110893 125 0 0 25 0 1 0 830181787 293507072 68676 4294967295 134512640 134714540 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 71657 68676 1111 63 0 71594 0
vsize: 286628
[startup+1120.06 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 68875 0 0 0 111893 125 0 0 25 0 1 0 830181787 294256640 68852 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 71840 68852 1111 63 0 71777 0
vsize: 287360
[startup+1130.06 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 69050 0 0 0 112892 126 0 0 25 0 1 0 830181787 294854656 69027 4294967295 134512640 134714540 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 71986 69027 1111 63 0 71923 0
vsize: 287944
[startup+1140.06 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 69226 0 0 0 113892 126 0 0 25 0 1 0 830181787 295604224 69203 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72169 69203 1111 63 0 72106 0
vsize: 288676
[startup+1150.06 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 69403 0 0 0 114892 127 0 0 25 0 1 0 830181787 296353792 69380 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72352 69380 1111 63 0 72289 0
vsize: 289408
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 69579 0 0 0 115892 127 0 0 25 0 1 0 830181787 297107456 69556 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72536 69556 1111 63 0 72473 0
vsize: 290144
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 69756 0 0 0 116892 127 0 0 25 0 1 0 830181787 297857024 69733 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72719 69733 1111 63 0 72656 0
vsize: 290876
[startup+1180.06 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 69933 0 0 0 117892 127 0 0 25 0 1 0 830181787 298450944 69910 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72864 69910 1111 63 0 72801 0
vsize: 291456
[startup+1190.06 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 70122 0 0 0 118892 128 0 0 25 0 1 0 830181787 299352064 70099 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73084 70099 1111 63 0 73021 0
vsize: 292336
[startup+1200.06 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 28467
Raw data (stat): 28467 (bsolo_mis) R 28466 7876 7672 0 -1 0 70299 0 0 0 119891 128 0 0 25 0 1 0 830181787 299954176 70276 4294967295 134512640 134714540 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73231 70276 1111 63 0 73168 0
vsize: 292924
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.19 s]
Raw data (loadavg): 1.00 0.99 0.95 1/55 28467
Raw data (stat): 28467 (bsolo_mis) Z 28466 7876 7672 0 -1 1036 70299 0 0 0 119892 141 0 0 25 0 1 0 830181787 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 1 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.19
CPU time (s): 1200.34
CPU user time (s): 1198.92
CPU system time (s): 1.41578
CPU usage (%): 100.012
Max. virtual memory (Kb): 292924
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####