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/lptestset/fome/normalized-mps-v2-20-10-fome11.opb
MD5SUM	0bcc00bfe1019c444b568fb7268c455a
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	374066
Biggest coefficient in the objective function	2150851580428025856
Number of bits for the biggest coefficient in the objective function	61
Sum of the numbers in the objective function	1765505311698925125632
Number of bits of the sum of numbers in the objective function	71
Biggest number in a constraint	53687091200000000000
Number of bits of the biggest number in a constraint	66
Biggest sum of numbers in a constraint	4277072243466308681728
Number of bits of the biggest sum of numbers	72
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	6.86596
Number of variables	733406
Total number of constraints	12168
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	12168
Minimum length of a constraint	13
Maximum length of a constraint	6840
Trace number 28111

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-05-25 00:34:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14381 boxname=wulflinc15 idbench=1107 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  0bcc00bfe1019c444b568fb7268c455a  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-fome11.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-fome11.opb
IDLAUNCH: 14381
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        475960 kB
Buffers:          3416 kB
Cached:         524200 kB
SwapCached:        472 kB
Active:          69956 kB
Inactive:       459548 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        475708 kB
SwapTotal:     2097136 kB
SwapFree:      2095620 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            23576 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 00:54:30 (client local time) WITH STATUS 0 IN 1200.46 SECONDS
stats: 14381 7 1200.46 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): 1.13 1.49 1.23 2/54 1097
Raw data (stat): 1097 (runsolver) R 1096 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776368558 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0001 s]
Raw data (loadavg): 1.11 1.47 1.23 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 2763 0 0 0 975 11 0 0 25 0 1 0 776368558 15060992 2741 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3677 2741 1111 63 0 3614 0
vsize: 14708
[startup+20.0017 s]
Raw data (loadavg): 1.09 1.46 1.23 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 2786 0 0 0 1975 11 0 0 25 0 1 0 776368558 15208448 2764 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3713 2764 1111 63 0 3650 0
vsize: 14852
[startup+30.0014 s]
Raw data (loadavg): 1.08 1.44 1.22 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 2808 0 0 0 2975 11 0 0 25 0 1 0 776368558 15355904 2786 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3749 2786 1111 63 0 3686 0
vsize: 14996
[startup+40.0077 s]
Raw data (loadavg): 1.07 1.43 1.22 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 2836 0 0 0 3975 12 0 0 25 0 1 0 776368558 15355904 2814 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3749 2814 1111 63 0 3686 0
vsize: 14996
[startup+50.01 s]
Raw data (loadavg): 1.06 1.41 1.22 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 2858 0 0 0 4976 12 0 0 25 0 1 0 776368558 15507456 2836 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3786 2836 1111 63 0 3723 0
vsize: 15144
[startup+60.0113 s]
Raw data (loadavg): 1.05 1.40 1.21 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 2880 0 0 0 5976 12 0 0 25 0 1 0 776368558 15654912 2858 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3822 2858 1111 63 0 3759 0
vsize: 15288
[startup+70.0192 s]
Raw data (loadavg): 1.04 1.38 1.21 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 2909 0 0 0 6976 12 0 0 25 0 1 0 776368558 15654912 2887 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3822 2887 1111 63 0 3759 0
vsize: 15288
[startup+80.0225 s]
Raw data (loadavg): 1.03 1.37 1.21 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 2933 0 0 0 7976 12 0 0 25 0 1 0 776368558 15790080 2911 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3855 2911 1111 63 0 3792 0
vsize: 15420
[startup+90.0233 s]
Raw data (loadavg): 1.03 1.36 1.20 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 2955 0 0 0 8976 13 0 0 25 0 1 0 776368558 15933440 2933 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3890 2933 1111 63 0 3827 0
vsize: 15560
[startup+100.128 s]
Raw data (loadavg): 1.02 1.35 1.20 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 2977 0 0 0 9986 13 0 0 25 0 1 0 776368558 15933440 2955 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3890 2955 1111 63 0 3827 0
vsize: 15560
[startup+110.127 s]
Raw data (loadavg): 1.02 1.33 1.20 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 2999 0 0 0 10986 13 0 0 25 0 1 0 776368558 16080896 2977 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3926 2977 1111 63 0 3863 0
vsize: 15704
[startup+120.128 s]
Raw data (loadavg): 1.02 1.32 1.20 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 3027 0 0 0 11986 14 0 0 25 0 1 0 776368558 16232448 3005 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3963 3005 1111 63 0 3900 0
vsize: 15852
[startup+130.128 s]
Raw data (loadavg): 1.01 1.31 1.19 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 3050 0 0 0 12985 15 0 0 25 0 1 0 776368558 16232448 3028 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3963 3028 1111 63 0 3900 0
vsize: 15852
[startup+140.129 s]
Raw data (loadavg): 1.01 1.30 1.19 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 3072 0 0 0 13985 15 0 0 25 0 1 0 776368558 16379904 3050 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3999 3050 1111 63 0 3936 0
vsize: 15996
[startup+150.132 s]
Raw data (loadavg): 1.01 1.29 1.19 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 3101 0 0 0 14985 15 0 0 25 0 1 0 776368558 16531456 3079 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4036 3079 1111 63 0 3973 0
vsize: 16144
[startup+160.139 s]
Raw data (loadavg): 1.01 1.28 1.18 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 3129 0 0 0 15986 15 0 0 25 0 1 0 776368558 16678912 3107 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4072 3107 1111 63 0 4009 0
vsize: 16288
[startup+170.144 s]
Raw data (loadavg): 1.00 1.27 1.18 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 3153 0 0 0 16986 15 0 0 25 0 1 0 776368558 16678912 3131 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4072 3131 1111 63 0 4009 0
vsize: 16288
[startup+180.144 s]
Raw data (loadavg): 1.00 1.26 1.18 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 3176 0 0 0 17985 16 0 0 25 0 1 0 776368558 16814080 3154 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4105 3154 1111 63 0 4042 0
vsize: 16420
[startup+190.145 s]
Raw data (loadavg): 1.00 1.25 1.18 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 3204 0 0 0 18985 16 0 0 25 0 1 0 776368558 16957440 3182 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4140 3182 1111 63 0 4077 0
vsize: 16560
[startup+200.178 s]
Raw data (loadavg): 1.00 1.24 1.18 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 3220 0 0 0 19988 17 0 0 25 0 1 0 776368558 16957440 3198 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4140 3198 1111 63 0 4077 0
vsize: 16560
[startup+210.178 s]
Raw data (loadavg): 1.00 1.23 1.17 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 3251 0 0 0 20988 17 0 0 25 0 1 0 776368558 17096704 3229 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4174 3229 1111 63 0 4111 0
vsize: 16696
[startup+220.187 s]
Raw data (loadavg): 1.00 1.23 1.17 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 3273 0 0 0 21989 17 0 0 25 0 1 0 776368558 17235968 3251 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4208 3251 1111 63 0 4145 0
vsize: 16832
[startup+230.187 s]
Raw data (loadavg): 1.00 1.22 1.17 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 3295 0 0 0 22988 18 0 0 25 0 1 0 776368558 17235968 3273 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4208 3273 1111 63 0 4145 0
vsize: 16832
[startup+240.188 s]
Raw data (loadavg): 1.00 1.21 1.17 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 3323 0 0 0 23988 18 0 0 25 0 1 0 776368558 17387520 3301 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4245 3301 1111 63 0 4182 0
vsize: 16980
[startup+250.189 s]
Raw data (loadavg): 1.00 1.20 1.17 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 3346 0 0 0 24988 18 0 0 25 0 1 0 776368558 17534976 3324 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4281 3324 1111 63 0 4218 0
vsize: 17124
[startup+260.196 s]
Raw data (loadavg): 1.00 1.20 1.16 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 3370 0 0 0 25988 19 0 0 25 0 1 0 776368558 17534976 3348 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4281 3348 1111 63 0 4218 0
vsize: 17124
[startup+270.196 s]
Raw data (loadavg): 1.00 1.19 1.16 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 3398 0 0 0 26988 19 0 0 25 0 1 0 776368558 17690624 3376 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4319 3376 1111 63 0 4256 0
vsize: 17276
[startup+280.197 s]
Raw data (loadavg): 1.00 1.18 1.16 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 3421 0 0 0 27988 19 0 0 25 0 1 0 776368558 17838080 3399 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4355 3399 1111 63 0 4292 0
vsize: 17420
[startup+290.207 s]
Raw data (loadavg): 1.00 1.18 1.16 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 3443 0 0 0 28988 20 0 0 25 0 1 0 776368558 17838080 3421 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4355 3421 1111 63 0 4292 0
vsize: 17420
[startup+300.207 s]
Raw data (loadavg): 1.00 1.17 1.16 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 3471 0 0 0 29988 20 0 0 25 0 1 0 776368558 17989632 3449 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4392 3449 1111 63 0 4329 0
vsize: 17568
[startup+310.214 s]
Raw data (loadavg): 1.00 1.16 1.15 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 3500 0 0 0 30988 20 0 0 25 0 1 0 776368558 18137088 3478 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4428 3478 1111 63 0 4365 0
vsize: 17712
[startup+320.215 s]
Raw data (loadavg): 1.00 1.16 1.15 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 3522 0 0 0 31988 21 0 0 25 0 1 0 776368558 18288640 3500 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4465 3500 1111 63 0 4402 0
vsize: 17860
[startup+330.215 s]
Raw data (loadavg): 1.00 1.15 1.15 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 3545 0 0 0 32988 21 0 0 25 0 1 0 776368558 18288640 3523 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4465 3523 1111 63 0 4402 0
vsize: 17860
[startup+340.217 s]
Raw data (loadavg): 1.00 1.15 1.15 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 3573 0 0 0 33988 21 0 0 25 0 1 0 776368558 18436096 3551 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4501 3551 1111 63 0 4438 0
vsize: 18004
[startup+350.217 s]
Raw data (loadavg): 1.00 1.14 1.15 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 3590 0 0 0 34987 22 0 0 25 0 1 0 776368558 18436096 3568 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4501 3568 1111 63 0 4438 0
vsize: 18004
[startup+360.218 s]
Raw data (loadavg): 1.00 1.14 1.14 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 3618 0 0 0 35987 22 0 0 25 0 1 0 776368558 18571264 3596 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4534 3596 1111 63 0 4471 0
vsize: 18136
[startup+370.218 s]
Raw data (loadavg): 1.00 1.13 1.14 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 3634 0 0 0 36987 22 0 0 25 0 1 0 776368558 18714624 3612 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4569 3612 1111 63 0 4506 0
vsize: 18276
[startup+380.218 s]
Raw data (loadavg): 1.00 1.13 1.14 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 3663 0 0 0 37987 22 0 0 25 0 1 0 776368558 18862080 3641 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4605 3641 1111 63 0 4542 0
vsize: 18420
[startup+390.218 s]
Raw data (loadavg): 1.08 1.14 1.14 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 3691 0 0 0 38987 23 0 0 25 0 1 0 776368558 18862080 3669 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4605 3669 1111 63 0 4542 0
vsize: 18420
[startup+400.227 s]
Raw data (loadavg): 1.07 1.13 1.14 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 3707 0 0 0 39987 23 0 0 25 0 1 0 776368558 19013632 3685 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4642 3685 1111 63 0 4579 0
vsize: 18568
[startup+410.233 s]
Raw data (loadavg): 1.06 1.13 1.14 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 3740 0 0 0 40988 23 0 0 25 0 1 0 776368558 19161088 3718 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4678 3718 1111 63 0 4615 0
vsize: 18712
[startup+420.234 s]
Raw data (loadavg): 1.05 1.12 1.14 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 3763 0 0 0 41987 24 0 0 25 0 1 0 776368558 19161088 3741 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4678 3741 1111 63 0 4615 0
vsize: 18712
[startup+430.234 s]
Raw data (loadavg): 1.04 1.12 1.14 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 3785 0 0 0 42987 24 0 0 25 0 1 0 776368558 19304448 3763 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4713 3763 1111 63 0 4650 0
vsize: 18852
[startup+440.246 s]
Raw data (loadavg): 1.03 1.12 1.13 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 3815 0 0 0 43988 24 0 0 25 0 1 0 776368558 19439616 3793 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4746 3793 1111 63 0 4683 0
vsize: 18984
[startup+450.246 s]
Raw data (loadavg): 1.03 1.11 1.13 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 3844 0 0 0 44988 25 0 0 25 0 1 0 776368558 19582976 3822 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4781 3822 1111 63 0 4718 0
vsize: 19124
[startup+460.251 s]
Raw data (loadavg): 1.02 1.11 1.13 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 3866 0 0 0 45988 25 0 0 25 0 1 0 776368558 19582976 3844 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4781 3844 1111 63 0 4718 0
vsize: 19124
[startup+470.358 s]
Raw data (loadavg): 1.02 1.10 1.13 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 3889 0 0 0 46999 25 0 0 25 0 1 0 776368558 19730432 3867 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4817 3867 1111 63 0 4754 0
vsize: 19268
[startup+480.357 s]
Raw data (loadavg): 1.02 1.10 1.13 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 3917 0 0 0 47998 26 0 0 25 0 1 0 776368558 19881984 3895 4294967295 134512640 134714540 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4854 3895 1111 63 0 4791 0
vsize: 19416
[startup+490.359 s]
Raw data (loadavg): 1.01 1.10 1.12 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 3947 0 0 0 48998 26 0 0 25 0 1 0 776368558 20029440 3925 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4890 3925 1111 63 0 4827 0
vsize: 19560
[startup+500.364 s]
Raw data (loadavg): 1.01 1.09 1.12 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 3970 0 0 0 49998 26 0 0 25 0 1 0 776368558 20029440 3948 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4890 3948 1111 63 0 4827 0
vsize: 19560
[startup+510.364 s]
Raw data (loadavg): 1.01 1.09 1.12 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 3992 0 0 0 50998 27 0 0 25 0 1 0 776368558 20180992 3970 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4927 3970 1111 63 0 4864 0
vsize: 19708
[startup+520.364 s]
Raw data (loadavg): 1.01 1.08 1.12 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 4020 0 0 0 51998 27 0 0 25 0 1 0 776368558 20328448 3998 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4963 3998 1111 63 0 4900 0
vsize: 19852
[startup+530.364 s]
Raw data (loadavg): 1.00 1.08 1.12 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 4037 0 0 0 52998 27 0 0 25 0 1 0 776368558 20328448 4015 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4963 4015 1111 63 0 4900 0
vsize: 19852
[startup+540.364 s]
Raw data (loadavg): 1.00 1.08 1.11 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 4058 0 0 0 53997 28 0 0 25 0 1 0 776368558 20484096 4036 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5001 4036 1111 63 0 4938 0
vsize: 20004
[startup+550.368 s]
Raw data (loadavg): 1.00 1.08 1.11 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 4081 0 0 0 54997 28 0 0 25 0 1 0 776368558 20484096 4059 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5001 4059 1111 63 0 4938 0
vsize: 20004
[startup+560.368 s]
Raw data (loadavg): 1.00 1.07 1.11 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 4109 0 0 0 55997 29 0 0 25 0 1 0 776368558 20631552 4087 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5037 4087 1111 63 0 4974 0
vsize: 20148
[startup+570.368 s]
Raw data (loadavg): 1.00 1.07 1.11 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 4132 0 0 0 56997 29 0 0 25 0 1 0 776368558 20783104 4110 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5074 4110 1111 63 0 5011 0
vsize: 20296
[startup+580.368 s]
Raw data (loadavg): 1.00 1.07 1.11 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 4154 0 0 0 57997 29 0 0 25 0 1 0 776368558 20783104 4132 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5074 4132 1111 63 0 5011 0
vsize: 20296
[startup+590.373 s]
Raw data (loadavg): 1.00 1.06 1.10 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 4182 0 0 0 58997 30 0 0 25 0 1 0 776368558 20930560 4160 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5110 4160 1111 63 0 5047 0
vsize: 20440
[startup+600.373 s]
Raw data (loadavg): 1.00 1.06 1.10 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 4204 0 0 0 59997 30 0 0 25 0 1 0 776368558 21082112 4182 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5147 4182 1111 63 0 5084 0
vsize: 20588
[startup+610.374 s]
Raw data (loadavg): 1.00 1.06 1.10 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 4226 0 0 0 60996 31 0 0 25 0 1 0 776368558 21082112 4204 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5147 4204 1111 63 0 5084 0
vsize: 20588
[startup+620.375 s]
Raw data (loadavg): 1.00 1.06 1.10 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 4250 0 0 0 61996 31 0 0 25 0 1 0 776368558 21229568 4228 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5183 4228 1111 63 0 5120 0
vsize: 20732
[startup+630.375 s]
Raw data (loadavg): 1.00 1.05 1.10 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 4272 0 0 0 62996 31 0 0 25 0 1 0 776368558 21229568 4250 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5183 4250 1111 63 0 5120 0
vsize: 20732
[startup+640.375 s]
Raw data (loadavg): 1.00 1.05 1.10 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 4301 0 0 0 63996 32 0 0 25 0 1 0 776368558 21364736 4279 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5216 4279 1111 63 0 5153 0
vsize: 20864
[startup+650.376 s]
Raw data (loadavg): 1.00 1.05 1.09 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 4329 0 0 0 64996 32 0 0 25 0 1 0 776368558 21508096 4307 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5251 4307 1111 63 0 5188 0
vsize: 21004
[startup+660.375 s]
Raw data (loadavg): 1.00 1.05 1.09 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 4345 0 0 0 65996 32 0 0 25 0 1 0 776368558 21655552 4323 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5287 4323 1111 63 0 5224 0
vsize: 21148
[startup+670.375 s]
Raw data (loadavg): 1.00 1.05 1.09 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 4374 0 0 0 66996 32 0 0 25 0 1 0 776368558 21655552 4352 4294967295 134512640 134714540 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5287 4352 1111 63 0 5224 0
vsize: 21148
[startup+680.387 s]
Raw data (loadavg): 1.00 1.04 1.09 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 4403 0 0 0 67997 33 0 0 25 0 1 0 776368558 21807104 4381 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5324 4381 1111 63 0 5261 0
vsize: 21296
[startup+690.388 s]
Raw data (loadavg): 1.00 1.04 1.09 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 4425 0 0 0 68997 33 0 0 25 0 1 0 776368558 21954560 4403 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5360 4403 1111 63 0 5297 0
vsize: 21440
[startup+700.388 s]
Raw data (loadavg): 1.00 1.04 1.09 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 4448 0 0 0 69997 33 0 0 25 0 1 0 776368558 21954560 4426 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5360 4426 1111 63 0 5297 0
vsize: 21440
[startup+710.388 s]
Raw data (loadavg): 1.00 1.04 1.09 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 4478 0 0 0 70997 33 0 0 25 0 1 0 776368558 22106112 4456 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5397 4456 1111 63 0 5334 0
vsize: 21588
[startup+720.389 s]
Raw data (loadavg): 1.00 1.04 1.08 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 4506 0 0 0 71997 33 0 0 25 0 1 0 776368558 22257664 4484 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5434 4484 1111 63 0 5371 0
vsize: 21736
[startup+730.388 s]
Raw data (loadavg): 1.00 1.04 1.08 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 4529 0 0 0 72996 34 0 0 25 0 1 0 776368558 22409216 4507 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5471 4507 1111 63 0 5408 0
vsize: 21884
[startup+740.398 s]
Raw data (loadavg): 1.00 1.03 1.08 3/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 4551 0 0 0 73996 35 0 0 25 0 1 0 776368558 22409216 4529 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5471 4529 1111 63 0 5408 0
vsize: 21884
[startup+750.399 s]
Raw data (loadavg): 1.00 1.03 1.08 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 4579 0 0 0 74997 35 0 0 25 0 1 0 776368558 22556672 4557 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5507 4557 1111 63 0 5444 0
vsize: 22028
[startup+760.398 s]
Raw data (loadavg): 1.00 1.03 1.08 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 4602 0 0 0 75997 35 0 0 25 0 1 0 776368558 22708224 4580 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5544 4580 1111 63 0 5481 0
vsize: 22176
[startup+770.398 s]
Raw data (loadavg): 1.00 1.03 1.08 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 4624 0 0 0 76997 35 0 0 25 0 1 0 776368558 22708224 4602 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5544 4602 1111 63 0 5481 0
vsize: 22176
[startup+780.398 s]
Raw data (loadavg): 1.00 1.03 1.08 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 4653 0 0 0 77997 35 0 0 25 0 1 0 776368558 22855680 4631 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5580 4631 1111 63 0 5517 0
vsize: 22320
[startup+790.399 s]
Raw data (loadavg): 1.00 1.03 1.08 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 4681 0 0 0 78997 35 0 0 25 0 1 0 776368558 23007232 4659 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5617 4659 1111 63 0 5554 0
vsize: 22468
[startup+800.399 s]
Raw data (loadavg): 1.00 1.03 1.08 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 4705 0 0 0 79997 35 0 0 25 0 1 0 776368558 23007232 4683 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5617 4683 1111 63 0 5554 0
vsize: 22468
[startup+810.399 s]
Raw data (loadavg): 1.00 1.02 1.08 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 4735 0 0 0 80997 35 0 0 25 0 1 0 776368558 23171072 4713 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5657 4713 1111 63 0 5594 0
vsize: 22628
[startup+820.4 s]
Raw data (loadavg): 1.00 1.02 1.08 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 4763 0 0 0 81997 36 0 0 25 0 1 0 776368558 23306240 4741 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5690 4741 1111 63 0 5627 0
vsize: 22760
[startup+830.4 s]
Raw data (loadavg): 1.00 1.02 1.07 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 4785 0 0 0 82997 36 0 0 25 0 1 0 776368558 23449600 4763 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5725 4763 1111 63 0 5662 0
vsize: 22900
[startup+840.4 s]
Raw data (loadavg): 1.00 1.02 1.07 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 4808 0 0 0 83998 36 0 0 25 0 1 0 776368558 23449600 4786 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5725 4786 1111 63 0 5662 0
vsize: 22900
[startup+850.401 s]
Raw data (loadavg): 1.00 1.02 1.07 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 4836 0 0 0 84998 36 0 0 25 0 1 0 776368558 23601152 4814 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5762 4814 1111 63 0 5699 0
vsize: 23048
[startup+860.401 s]
Raw data (loadavg): 1.00 1.02 1.07 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 4865 0 0 0 85998 36 0 0 25 0 1 0 776368558 23748608 4843 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5798 4843 1111 63 0 5735 0
vsize: 23192
[startup+870.402 s]
Raw data (loadavg): 1.00 1.02 1.07 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 4887 0 0 0 86998 36 0 0 25 0 1 0 776368558 23900160 4865 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5835 4865 1111 63 0 5772 0
vsize: 23340
[startup+880.402 s]
Raw data (loadavg): 1.00 1.02 1.07 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 4909 0 0 0 87998 36 0 0 25 0 1 0 776368558 23900160 4887 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5835 4887 1111 63 0 5772 0
vsize: 23340
[startup+890.402 s]
Raw data (loadavg): 1.00 1.02 1.07 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 4939 0 0 0 88998 36 0 0 25 0 1 0 776368558 24051712 4917 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5872 4917 1111 63 0 5809 0
vsize: 23488
[startup+900.402 s]
Raw data (loadavg): 1.00 1.02 1.07 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 4962 0 0 0 89998 36 0 0 25 0 1 0 776368558 24203264 4940 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5909 4940 1111 63 0 5846 0
vsize: 23636
[startup+910.402 s]
Raw data (loadavg): 1.00 1.01 1.07 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 4984 0 0 0 90998 36 0 0 25 0 1 0 776368558 24203264 4962 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5909 4962 1111 63 0 5846 0
vsize: 23636
[startup+920.403 s]
Raw data (loadavg): 1.00 1.01 1.07 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 5006 0 0 0 91999 36 0 0 25 0 1 0 776368558 24350720 4984 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5945 4984 1111 63 0 5882 0
vsize: 23780
[startup+930.403 s]
Raw data (loadavg): 1.00 1.01 1.06 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 5028 0 0 0 92999 36 0 0 25 0 1 0 776368558 24350720 5006 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5945 5006 1111 63 0 5882 0
vsize: 23780
[startup+940.403 s]
Raw data (loadavg): 1.00 1.01 1.06 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 5056 0 0 0 93999 36 0 0 25 0 1 0 776368558 24502272 5034 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5982 5034 1111 63 0 5919 0
vsize: 23928
[startup+950.403 s]
Raw data (loadavg): 1.00 1.01 1.06 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 5079 0 0 0 94999 36 0 0 25 0 1 0 776368558 24649728 5057 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6018 5057 1111 63 0 5955 0
vsize: 24072
[startup+960.403 s]
Raw data (loadavg): 1.00 1.01 1.06 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 5101 0 0 0 95999 36 0 0 25 0 1 0 776368558 24649728 5079 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6018 5079 1111 63 0 5955 0
vsize: 24072
[startup+970.403 s]
Raw data (loadavg): 1.08 1.03 1.07 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 5130 0 0 0 96999 36 0 0 25 0 1 0 776368558 24801280 5108 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6055 5108 1111 63 0 5992 0
vsize: 24220
[startup+980.403 s]
Raw data (loadavg): 1.07 1.02 1.06 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 5160 0 0 0 97999 36 0 0 25 0 1 0 776368558 24956928 5138 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6093 5138 1111 63 0 6030 0
vsize: 24372
[startup+990.412 s]
Raw data (loadavg): 1.06 1.02 1.06 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 5183 0 0 0 99000 37 0 0 25 0 1 0 776368558 25108480 5161 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6130 5161 1111 63 0 6067 0
vsize: 24520
[startup+1000.41 s]
Raw data (loadavg): 1.05 1.02 1.06 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 5206 0 0 0 100001 37 0 0 25 0 1 0 776368558 25108480 5184 4294967295 134512640 134714540 3221224592 3221222820 1077414393 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6130 5184 1111 63 0 6067 0
vsize: 24520
[startup+1010.41 s]
Raw data (loadavg): 1.04 1.02 1.06 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 5235 0 0 0 101001 37 0 0 25 0 1 0 776368558 25255936 5213 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6166 5213 1111 63 0 6103 0
vsize: 24664
[startup+1020.41 s]
Raw data (loadavg): 1.03 1.02 1.06 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 5250 0 0 0 102001 37 0 0 25 0 1 0 776368558 25255936 5228 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6166 5228 1111 63 0 6103 0
vsize: 24664
[startup+1030.41 s]
Raw data (loadavg): 1.03 1.02 1.06 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 5279 0 0 0 103001 37 0 0 25 0 1 0 776368558 25407488 5257 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6203 5257 1111 63 0 6140 0
vsize: 24812
[startup+1040.41 s]
Raw data (loadavg): 1.02 1.02 1.06 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 5308 0 0 0 104001 37 0 0 25 0 1 0 776368558 25554944 5286 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6239 5286 1111 63 0 6176 0
vsize: 24956
[startup+1050.41 s]
Raw data (loadavg): 1.02 1.02 1.06 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 5324 0 0 0 105001 37 0 0 25 0 1 0 776368558 25554944 5302 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6239 5302 1111 63 0 6176 0
vsize: 24956
[startup+1060.41 s]
Raw data (loadavg): 1.02 1.02 1.06 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 5352 0 0 0 106001 37 0 0 25 0 1 0 776368558 25706496 5330 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6276 5330 1111 63 0 6213 0
vsize: 25104
[startup+1070.41 s]
Raw data (loadavg): 1.01 1.02 1.06 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 5382 0 0 0 107001 37 0 0 25 0 1 0 776368558 25858048 5360 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6313 5360 1111 63 0 6250 0
vsize: 25252
[startup+1080.42 s]
Raw data (loadavg): 1.01 1.01 1.06 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 5404 0 0 0 108002 37 0 0 25 0 1 0 776368558 26009600 5382 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6350 5382 1111 63 0 6287 0
vsize: 25400
[startup+1090.42 s]
Raw data (loadavg): 1.01 1.01 1.05 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 5427 0 0 0 109002 37 0 0 25 0 1 0 776368558 26009600 5405 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6350 5405 1111 63 0 6287 0
vsize: 25400
[startup+1100.42 s]
Raw data (loadavg): 1.01 1.01 1.05 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 5456 0 0 0 110002 37 0 0 25 0 1 0 776368558 26157056 5434 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6386 5434 1111 63 0 6323 0
vsize: 25544
[startup+1110.42 s]
Raw data (loadavg): 1.00 1.01 1.05 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 5484 0 0 0 111002 37 0 0 25 0 1 0 776368558 26308608 5462 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6423 5462 1111 63 0 6360 0
vsize: 25692
[startup+1120.42 s]
Raw data (loadavg): 1.00 1.01 1.05 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 5500 0 0 0 112002 37 0 0 25 0 1 0 776368558 26308608 5478 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6423 5478 1111 63 0 6360 0
vsize: 25692
[startup+1130.42 s]
Raw data (loadavg): 1.00 1.01 1.05 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 5529 0 0 0 113002 38 0 0 25 0 1 0 776368558 26456064 5507 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6459 5507 1111 63 0 6396 0
vsize: 25836
[startup+1140.42 s]
Raw data (loadavg): 1.00 1.01 1.05 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 5558 0 0 0 114002 38 0 0 25 0 1 0 776368558 26607616 5536 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6496 5536 1111 63 0 6433 0
vsize: 25984
[startup+1150.42 s]
Raw data (loadavg): 1.00 1.01 1.05 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 5588 0 0 0 115003 38 0 0 25 0 1 0 776368558 26755072 5566 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6532 5566 1111 63 0 6469 0
vsize: 26128
[startup+1160.42 s]
Raw data (loadavg): 1.00 1.01 1.05 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 5604 0 0 0 116003 38 0 0 25 0 1 0 776368558 26755072 5582 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6532 5582 1111 63 0 6469 0
vsize: 26128
[startup+1170.42 s]
Raw data (loadavg): 1.00 1.01 1.05 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 5632 0 0 0 117003 38 0 0 25 0 1 0 776368558 26890240 5610 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6565 5610 1111 63 0 6502 0
vsize: 26260
[startup+1180.42 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 5661 0 0 0 118003 38 0 0 25 0 1 0 776368558 27033600 5639 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6600 5639 1111 63 0 6537 0
vsize: 26400
[startup+1190.43 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 5684 0 0 0 119004 38 0 0 25 0 1 0 776368558 27033600 5662 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6600 5662 1111 63 0 6537 0
vsize: 26400
[startup+1200.44 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 1097
Raw data (stat): 1097 (bsolo_mis) R 1096 23514 23513 0 -1 0 5708 0 0 0 120006 38 0 0 25 0 1 0 776368558 27181056 5686 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6636 5686 1111 63 0 6573 0
vsize: 26544
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.46 s]
Raw data (loadavg): 1.00 1.00 1.04 1/54 1097
Raw data (stat): 1097 (bsolo_mis) Z 1096 23514 23513 0 -1 1036 5708 0 0 0 120006 39 0 0 25 0 1 0 776368558 0 0 4294967295 0 0 0 0 0 0 0 7 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.46
CPU time (s): 1200.46
CPU user time (s): 1200.06
CPU system time (s): 0.397939
CPU usage (%): 100
Max. virtual memory (Kb): 26544
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####