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/fctp/normalized-mps-v2-20-10-n370d.opb
MD5SUM	c845e5aae635eb663462a0603eb54605
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	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29652813254765
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29652813254765
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.43078
Number of variables	155000
Total number of constraints	5150
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	5150
Minimum length of a constraint	31
Maximum length of a constraint	3000
Trace number 28124

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-05-25 00:38:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14173 boxname=wulflinc6 idbench=1091 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  c845e5aae635eb663462a0603eb54605  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-n370d.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-n370d.opb
IDLAUNCH: 14173
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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	: 2
cpu MHz		: 451.042
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:        787408 kB
Buffers:         29872 kB
Cached:         194460 kB
SwapCached:        408 kB
Active:          73900 kB
Inactive:       152748 kB
HighTotal:      131008 kB
HighFree:         8120 kB
LowTotal:       903652 kB
LowFree:        779288 kB
SwapTotal:     2097136 kB
SwapFree:      2096040 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5692 kB
Slab:            14952 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 00:58:19 (client local time) WITH STATUS 0 IN 1200.57 SECONDS
stats: 14173 7 1200.57 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.93 0.92 2/54 31777
Raw data (stat): 31777 (runsolver) R 31776 25568 25567 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776396878 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0001 s]
Raw data (loadavg): 0.92 0.93 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 1140 0 0 0 995 3 0 0 25 0 1 0 776396878 15507456 1118 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3786 1118 1111 63 0 3723 0
vsize: 15144
[startup+20.0018 s]
Raw data (loadavg): 0.93 0.93 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 1250 0 0 0 1995 3 0 0 25 0 1 0 776396878 15958016 1228 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3896 1228 1111 63 0 3833 0
vsize: 15584
[startup+30.0016 s]
Raw data (loadavg): 0.94 0.94 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 1352 0 0 0 2996 3 0 0 25 0 1 0 776396878 16257024 1330 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3969 1330 1111 63 0 3906 0
vsize: 15876
[startup+40.0015 s]
Raw data (loadavg): 0.95 0.94 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 1462 0 0 0 3996 4 0 0 25 0 1 0 776396878 16830464 1440 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4109 1440 1111 63 0 4046 0
vsize: 16436
[startup+50.0061 s]
Raw data (loadavg): 0.96 0.94 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 1574 0 0 0 4996 4 0 0 25 0 1 0 776396878 17256448 1552 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4213 1552 1111 63 0 4150 0
vsize: 16852
[startup+60.0061 s]
Raw data (loadavg): 0.96 0.94 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 1684 0 0 0 5996 4 0 0 25 0 1 0 776396878 17711104 1662 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4324 1662 1111 63 0 4261 0
vsize: 17296
[startup+70.0059 s]
Raw data (loadavg): 0.97 0.94 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 1793 0 0 0 6997 4 0 0 25 0 1 0 776396878 18157568 1771 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4433 1771 1111 63 0 4370 0
vsize: 17732
[startup+80.0094 s]
Raw data (loadavg): 0.97 0.94 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 1897 0 0 0 7997 4 0 0 25 0 1 0 776396878 18608128 1875 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4543 1875 1111 63 0 4480 0
vsize: 18172
[startup+90.0095 s]
Raw data (loadavg): 0.98 0.94 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 2006 0 0 0 8998 4 0 0 25 0 1 0 776396878 19058688 1984 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4653 1984 1111 63 0 4590 0
vsize: 18612
[startup+100.009 s]
Raw data (loadavg): 0.98 0.95 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 2121 0 0 0 9997 5 0 0 25 0 1 0 776396878 19480576 2099 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4756 2099 1111 63 0 4693 0
vsize: 19024
[startup+110.011 s]
Raw data (loadavg): 0.98 0.95 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 2225 0 0 0 10998 5 0 0 25 0 1 0 776396878 19922944 2203 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4864 2203 1111 63 0 4801 0
vsize: 19456
[startup+120.011 s]
Raw data (loadavg): 0.98 0.95 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 2341 0 0 0 11998 6 0 0 25 0 1 0 776396878 20373504 2319 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4974 2319 1111 63 0 4911 0
vsize: 19896
[startup+130.011 s]
Raw data (loadavg): 0.99 0.95 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 2444 0 0 0 12998 6 0 0 25 0 1 0 776396878 20819968 2422 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5083 2422 1111 63 0 5020 0
vsize: 20332
[startup+140.01 s]
Raw data (loadavg): 0.99 0.95 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 2554 0 0 0 13998 6 0 0 25 0 1 0 776396878 21270528 2532 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5193 2532 1111 63 0 5130 0
vsize: 20772
[startup+150.014 s]
Raw data (loadavg): 0.99 0.95 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 2663 0 0 0 14998 6 0 0 25 0 1 0 776396878 21721088 2641 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5303 2641 1111 63 0 5240 0
vsize: 21212
[startup+160.013 s]
Raw data (loadavg): 0.99 0.95 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 2774 0 0 0 15998 6 0 0 25 0 1 0 776396878 22171648 2752 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5413 2752 1111 63 0 5350 0
vsize: 21652
[startup+170.02 s]
Raw data (loadavg): 0.99 0.95 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 2883 0 0 0 16999 6 0 0 25 0 1 0 776396878 22618112 2861 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5522 2861 1111 63 0 5459 0
vsize: 22088
[startup+180.02 s]
Raw data (loadavg): 0.99 0.95 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 2987 0 0 0 17999 7 0 0 25 0 1 0 776396878 23068672 2965 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5632 2965 1111 63 0 5569 0
vsize: 22528
[startup+190.021 s]
Raw data (loadavg): 0.99 0.95 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 3109 0 0 0 19000 7 0 0 25 0 1 0 776396878 23506944 3087 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5739 3087 1111 63 0 5676 0
vsize: 22956
[startup+200.02 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 3213 0 0 0 20000 7 0 0 25 0 1 0 776396878 23953408 3191 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5848 3191 1111 63 0 5785 0
vsize: 23392
[startup+210.02 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 3322 0 0 0 21000 7 0 0 25 0 1 0 776396878 24408064 3300 4294967295 134512640 134714540 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5959 3300 1111 63 0 5896 0
vsize: 23836
[startup+220.02 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 3433 0 0 0 22000 8 0 0 25 0 1 0 776396878 24850432 3411 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6067 3411 1111 63 0 6004 0
vsize: 24268
[startup+230.02 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 3543 0 0 0 23000 8 0 0 25 0 1 0 776396878 25276416 3521 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6171 3521 1111 63 0 6108 0
vsize: 24684
[startup+240.02 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 3654 0 0 0 24000 8 0 0 25 0 1 0 776396878 25722880 3632 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6280 3632 1111 63 0 6217 0
vsize: 25120
[startup+250.02 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 3763 0 0 0 25000 8 0 0 25 0 1 0 776396878 26173440 3741 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6390 3741 1111 63 0 6327 0
vsize: 25560
[startup+260.02 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 3874 0 0 0 26000 9 0 0 25 0 1 0 776396878 26624000 3852 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6500 3852 1111 63 0 6437 0
vsize: 26000
[startup+270.025 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 3984 0 0 0 27001 9 0 0 25 0 1 0 776396878 27074560 3962 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6610 3962 1111 63 0 6547 0
vsize: 26440
[startup+280.025 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 4095 0 0 0 28001 9 0 0 25 0 1 0 776396878 27521024 4073 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6719 4073 1111 63 0 6656 0
vsize: 26876
[startup+290.027 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 4204 0 0 0 29001 9 0 0 25 0 1 0 776396878 27971584 4182 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6829 4182 1111 63 0 6766 0
vsize: 27316
[startup+300.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 4315 0 0 0 30002 9 0 0 25 0 1 0 776396878 28422144 4293 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6939 4293 1111 63 0 6876 0
vsize: 27756
[startup+310.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 4425 0 0 0 31002 10 0 0 25 0 1 0 776396878 28872704 4403 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7049 4403 1111 63 0 6986 0
vsize: 28196
[startup+320.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 4535 0 0 0 32003 10 0 0 25 0 1 0 776396878 29319168 4513 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7158 4513 1111 63 0 7095 0
vsize: 28632
[startup+330.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 4644 0 0 0 33003 10 0 0 25 0 1 0 776396878 29769728 4622 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7268 4622 1111 63 0 7205 0
vsize: 29072
[startup+340.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 4755 0 0 0 34003 10 0 0 25 0 1 0 776396878 30220288 4733 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7378 4733 1111 63 0 7315 0
vsize: 29512
[startup+350.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 4870 0 0 0 35003 10 0 0 25 0 1 0 776396878 30670848 4848 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7488 4848 1111 63 0 7425 0
vsize: 29952
[startup+360.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 4986 0 0 0 36004 10 0 0 25 0 1 0 776396878 31277056 4964 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7636 4964 1111 63 0 7573 0
vsize: 30544
[startup+370.039 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 5102 0 0 0 37004 10 0 0 25 0 1 0 776396878 31727616 5080 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7746 5080 1111 63 0 7683 0
vsize: 30984
[startup+380.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 5212 0 0 0 38004 11 0 0 25 0 1 0 776396878 32174080 5190 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7855 5190 1111 63 0 7792 0
vsize: 31420
[startup+390.047 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 5322 0 0 0 39005 11 0 0 25 0 1 0 776396878 32624640 5300 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7965 5300 1111 63 0 7902 0
vsize: 31860
[startup+400.049 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 5433 0 0 0 40005 11 0 0 25 0 1 0 776396878 33075200 5411 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8075 5411 1111 63 0 8012 0
vsize: 32300
[startup+410.056 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 5543 0 0 0 41006 11 0 0 25 0 1 0 776396878 33525760 5521 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8185 5521 1111 63 0 8122 0
vsize: 32740
[startup+420.055 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 5660 0 0 0 42006 12 0 0 25 0 1 0 776396878 33972224 5638 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8294 5638 1111 63 0 8231 0
vsize: 33176
[startup+430.055 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 5765 0 0 0 43006 12 0 0 25 0 1 0 776396878 34422784 5743 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8404 5743 1111 63 0 8341 0
vsize: 33616
[startup+440.056 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 5881 0 0 0 44006 13 0 0 25 0 1 0 776396878 34873344 5859 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8514 5859 1111 63 0 8451 0
vsize: 34056
[startup+450.056 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 5992 0 0 0 45005 13 0 0 25 0 1 0 776396878 35323904 5970 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8624 5970 1111 63 0 8561 0
vsize: 34496
[startup+460.056 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 6102 0 0 0 46006 13 0 0 25 0 1 0 776396878 35770368 6080 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8733 6080 1111 63 0 8670 0
vsize: 34932
[startup+470.065 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 6218 0 0 0 47007 14 0 0 25 0 1 0 776396878 36225024 6196 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8844 6196 1111 63 0 8781 0
vsize: 35376
[startup+480.07 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 6330 0 0 0 48007 14 0 0 25 0 1 0 776396878 36671488 6308 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8953 6308 1111 63 0 8890 0
vsize: 35812
[startup+490.07 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 6439 0 0 0 49007 14 0 0 25 0 1 0 776396878 37122048 6417 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9063 6417 1111 63 0 9000 0
vsize: 36252
[startup+500.07 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 6550 0 0 0 50007 14 0 0 25 0 1 0 776396878 37572608 6528 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9173 6528 1111 63 0 9110 0
vsize: 36692
[startup+510.074 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 6659 0 0 0 51008 15 0 0 25 0 1 0 776396878 38023168 6637 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9283 6637 1111 63 0 9220 0
vsize: 37132
[startup+520.073 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 6777 0 0 0 52008 15 0 0 25 0 1 0 776396878 38625280 6755 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9430 6755 1111 63 0 9367 0
vsize: 37720
[startup+530.076 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 6887 0 0 0 53008 15 0 0 25 0 1 0 776396878 39071744 6865 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9539 6865 1111 63 0 9476 0
vsize: 38156
[startup+540.076 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 6999 0 0 0 54008 15 0 0 25 0 1 0 776396878 39522304 6977 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9649 6977 1111 63 0 9586 0
vsize: 38596
[startup+550.076 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 7114 0 0 0 55009 15 0 0 25 0 1 0 776396878 39972864 7092 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9759 7092 1111 63 0 9696 0
vsize: 39036
[startup+560.076 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 7225 0 0 0 56009 16 0 0 25 0 1 0 776396878 40423424 7203 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9869 7203 1111 63 0 9806 0
vsize: 39476
[startup+570.076 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 7336 0 0 0 57009 16 0 0 25 0 1 0 776396878 40869888 7314 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9978 7314 1111 63 0 9915 0
vsize: 39912
[startup+580.076 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 7454 0 0 0 58009 16 0 0 25 0 1 0 776396878 41320448 7432 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10088 7432 1111 63 0 10025 0
vsize: 40352
[startup+590.077 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 7563 0 0 0 59009 16 0 0 25 0 1 0 776396878 41771008 7541 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10198 7541 1111 63 0 10135 0
vsize: 40792
[startup+600.078 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 7680 0 0 0 60009 16 0 0 25 0 1 0 776396878 42221568 7658 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10308 7658 1111 63 0 10245 0
vsize: 41232
[startup+610.078 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 7791 0 0 0 61010 17 0 0 25 0 1 0 776396878 42668032 7769 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10417 7769 1111 63 0 10354 0
vsize: 41668
[startup+620.078 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 7908 0 0 0 62010 17 0 0 25 0 1 0 776396878 43122688 7886 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10528 7886 1111 63 0 10465 0
vsize: 42112
[startup+630.078 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 8019 0 0 0 63010 17 0 0 25 0 1 0 776396878 43569152 7997 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10637 7997 1111 63 0 10574 0
vsize: 42548
[startup+640.078 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 8130 0 0 0 64010 17 0 0 25 0 1 0 776396878 44019712 8108 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10747 8108 1111 63 0 10684 0
vsize: 42988
[startup+650.079 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 8245 0 0 0 65010 17 0 0 25 0 1 0 776396878 44617728 8223 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10893 8223 1111 63 0 10830 0
vsize: 43572
[startup+660.078 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 8363 0 0 0 66011 17 0 0 25 0 1 0 776396878 45072384 8341 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11004 8341 1111 63 0 10941 0
vsize: 44016
[startup+670.079 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 8473 0 0 0 67011 17 0 0 25 0 1 0 776396878 45514752 8451 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11112 8451 1111 63 0 11049 0
vsize: 44448
[startup+680.079 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 8584 0 0 0 68011 18 0 0 25 0 1 0 776396878 45969408 8562 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11223 8562 1111 63 0 11160 0
vsize: 44892
[startup+690.079 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 8700 0 0 0 69011 18 0 0 25 0 1 0 776396878 46415872 8678 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11332 8678 1111 63 0 11269 0
vsize: 45328
[startup+700.079 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 8817 0 0 0 70011 18 0 0 25 0 1 0 776396878 46870528 8795 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11443 8795 1111 63 0 11380 0
vsize: 45772
[startup+710.08 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 8946 0 0 0 71011 18 0 0 25 0 1 0 776396878 47509504 8924 4294967295 134512640 134714540 3221224592 3221221260 1077255772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11599 8924 1111 63 0 11536 0
vsize: 46396
[startup+720.08 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 9058 0 0 0 72012 18 0 0 25 0 1 0 776396878 47960064 9036 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11709 9036 1111 63 0 11646 0
vsize: 46836
[startup+730.08 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 9174 0 0 0 73012 18 0 0 25 0 1 0 776396878 48406528 9152 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11818 9152 1111 63 0 11755 0
vsize: 47272
[startup+740.08 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 9291 0 0 0 74012 19 0 0 25 0 1 0 776396878 49008640 9269 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11965 9269 1111 63 0 11902 0
vsize: 47860
[startup+750.08 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 9408 0 0 0 75012 19 0 0 25 0 1 0 776396878 49455104 9386 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12074 9386 1111 63 0 12011 0
vsize: 48296
[startup+760.08 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 9520 0 0 0 76012 20 0 0 25 0 1 0 776396878 49905664 9498 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12184 9498 1111 63 0 12121 0
vsize: 48736
[startup+770.09 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 9630 0 0 0 77013 20 0 0 25 0 1 0 776396878 50356224 9608 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12294 9608 1111 63 0 12231 0
vsize: 49176
[startup+780.089 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 9748 0 0 0 78013 20 0 0 25 0 1 0 776396878 50806784 9726 4294967295 134512640 134714540 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12404 9726 1111 63 0 12341 0
vsize: 49616
[startup+790.089 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 9864 0 0 0 79014 20 0 0 25 0 1 0 776396878 51253248 9842 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12513 9842 1111 63 0 12450 0
vsize: 50052
[startup+800.09 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 9982 0 0 0 80014 20 0 0 25 0 1 0 776396878 51703808 9960 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12623 9960 1111 63 0 12560 0
vsize: 50492
[startup+810.09 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 10100 0 0 0 81014 20 0 0 25 0 1 0 776396878 52305920 10078 4294967295 134512640 134714540 3221224592 3221223248 134527972 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12770 10078 1111 63 0 12707 0
vsize: 51080
[startup+820.09 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 10210 0 0 0 82014 20 0 0 25 0 1 0 776396878 52756480 10188 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12880 10188 1111 63 0 12817 0
vsize: 51520
[startup+830.091 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 10328 0 0 0 83015 20 0 0 25 0 1 0 776396878 53207040 10306 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12990 10306 1111 63 0 12927 0
vsize: 51960
[startup+840.09 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 10438 0 0 0 84014 21 0 0 25 0 1 0 776396878 53653504 10416 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13099 10416 1111 63 0 13036 0
vsize: 52396
[startup+850.09 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 10556 0 0 0 85014 21 0 0 25 0 1 0 776396878 54108160 10534 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13210 10534 1111 63 0 13147 0
vsize: 52840
[startup+860.091 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 10672 0 0 0 86014 21 0 0 25 0 1 0 776396878 54554624 10650 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13319 10650 1111 63 0 13256 0
vsize: 53276
[startup+870.096 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 10790 0 0 0 87015 21 0 0 25 0 1 0 776396878 55005184 10768 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13429 10768 1111 63 0 13366 0
vsize: 53716
[startup+880.097 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 10907 0 0 0 88015 22 0 0 25 0 1 0 776396878 55599104 10885 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13574 10885 1111 63 0 13511 0
vsize: 54296
[startup+890.097 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 11019 0 0 0 89015 22 0 0 25 0 1 0 776396878 56053760 10997 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13685 10997 1111 63 0 13622 0
vsize: 54740
[startup+900.098 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 11135 0 0 0 90015 23 0 0 25 0 1 0 776396878 56500224 11113 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13794 11113 1111 63 0 13731 0
vsize: 55176
[startup+910.098 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 11253 0 0 0 91015 23 0 0 25 0 1 0 776396878 56954880 11231 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13905 11231 1111 63 0 13842 0
vsize: 55620
[startup+920.099 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 11370 0 0 0 92016 23 0 0 25 0 1 0 776396878 57401344 11348 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14014 11348 1111 63 0 13951 0
vsize: 56056
[startup+930.099 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 11482 0 0 0 93016 23 0 0 25 0 1 0 776396878 57831424 11460 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14119 11460 1111 63 0 14056 0
vsize: 56476
[startup+940.098 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 11599 0 0 0 94016 23 0 0 25 0 1 0 776396878 58417152 11577 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14262 11577 1111 63 0 14199 0
vsize: 57048
[startup+950.099 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 11716 0 0 0 95016 24 0 0 25 0 1 0 776396878 58871808 11694 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14373 11694 1111 63 0 14310 0
vsize: 57492
[startup+960.111 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 11833 0 0 0 96017 24 0 0 25 0 1 0 776396878 59318272 11811 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14482 11811 1111 63 0 14419 0
vsize: 57928
[startup+970.122 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 11951 0 0 0 97019 24 0 0 25 0 1 0 776396878 59772928 11929 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14593 11929 1111 63 0 14530 0
vsize: 58372
[startup+980.122 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 12068 0 0 0 98019 24 0 0 25 0 1 0 776396878 60215296 12046 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14701 12046 1111 63 0 14638 0
vsize: 58804
[startup+990.122 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 12186 0 0 0 99019 25 0 0 25 0 1 0 776396878 60817408 12164 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14848 12164 1111 63 0 14785 0
vsize: 59392
[startup+1000.13 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 12304 0 0 0 100019 25 0 0 25 0 1 0 776396878 61267968 12282 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14958 12282 1111 63 0 14895 0
vsize: 59832
[startup+1010.13 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 12421 0 0 0 101020 25 0 0 25 0 1 0 776396878 61718528 12399 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15068 12399 1111 63 0 15005 0
vsize: 60272
[startup+1020.13 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 12540 0 0 0 102020 25 0 0 25 0 1 0 776396878 62164992 12518 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15177 12518 1111 63 0 15114 0
vsize: 60708
[startup+1030.13 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 12656 0 0 0 103020 26 0 0 25 0 1 0 776396878 62619648 12634 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15288 12634 1111 63 0 15225 0
vsize: 61152
[startup+1040.13 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 12774 0 0 0 104019 26 0 0 25 0 1 0 776396878 63217664 12752 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15434 12752 1111 63 0 15371 0
vsize: 61736
[startup+1050.13 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 12891 0 0 0 105019 27 0 0 25 0 1 0 776396878 63668224 12869 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15544 12869 1111 63 0 15481 0
vsize: 62176
[startup+1060.13 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 13010 0 0 0 106019 27 0 0 25 0 1 0 776396878 64118784 12988 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15654 12988 1111 63 0 15591 0
vsize: 62616
[startup+1070.14 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 13127 0 0 0 107020 28 0 0 25 0 1 0 776396878 64569344 13105 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15764 13105 1111 63 0 15701 0
vsize: 63056
[startup+1080.14 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 13245 0 0 0 108020 28 0 0 25 0 1 0 776396878 65019904 13223 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15874 13223 1111 63 0 15811 0
vsize: 63496
[startup+1090.14 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 13362 0 0 0 109020 28 0 0 25 0 1 0 776396878 65613824 13340 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16019 13340 1111 63 0 15956 0
vsize: 64076
[startup+1100.14 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 13480 0 0 0 110020 28 0 0 25 0 1 0 776396878 66068480 13458 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16130 13458 1111 63 0 16067 0
vsize: 64520
[startup+1110.14 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 13597 0 0 0 111020 29 0 0 25 0 1 0 776396878 66514944 13575 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16239 13575 1111 63 0 16176 0
vsize: 64956
[startup+1120.14 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 13715 0 0 0 112020 29 0 0 25 0 1 0 776396878 66969600 13693 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16350 13693 1111 63 0 16287 0
vsize: 65400
[startup+1130.14 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 13833 0 0 0 113020 29 0 0 25 0 1 0 776396878 67411968 13811 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16458 13811 1111 63 0 16395 0
vsize: 65832
[startup+1140.14 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 13951 0 0 0 114020 30 0 0 25 0 1 0 776396878 68014080 13929 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16605 13929 1111 63 0 16542 0
vsize: 66420
[startup+1150.14 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 14076 0 0 0 115021 30 0 0 25 0 1 0 776396878 68464640 14054 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16715 14054 1111 63 0 16652 0
vsize: 66860
[startup+1160.14 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 14192 0 0 0 116021 30 0 0 25 0 1 0 776396878 68915200 14170 4294967295 134512640 134714540 3221224592 3221222820 1077414347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16825 14170 1111 63 0 16762 0
vsize: 67300
[startup+1170.14 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 14311 0 0 0 117021 31 0 0 25 0 1 0 776396878 69361664 14289 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16934 14289 1111 63 0 16871 0
vsize: 67736
[startup+1180.14 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 14434 0 0 0 118021 31 0 0 25 0 1 0 776396878 69963776 14412 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17081 14412 1111 63 0 17018 0
vsize: 68324
[startup+1190.16 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 14553 0 0 0 119022 31 0 0 25 0 1 0 776396878 70414336 14531 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17191 14531 1111 63 0 17128 0
vsize: 68764
[startup+1200.16 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31777
Raw data (stat): 31777 (bsolo_mis) R 31776 25568 25567 0 -1 0 14670 0 0 0 120023 31 0 0 25 0 1 0 776396878 70864896 14648 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17301 14648 1111 63 0 17238 0
vsize: 69204
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.19 s]
Raw data (loadavg): 0.99 0.97 0.92 1/54 31777
Raw data (stat): 31777 (bsolo_mis) Z 31776 25568 25567 0 -1 1036 14670 0 0 0 120023 33 0 0 25 0 1 0 776396878 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.19
CPU time (s): 1200.57
CPU user time (s): 1200.23
CPU system time (s): 0.339948
CPU usage (%): 100.032
Max. virtual memory (Kb): 69204
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####