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-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3706.opb
MD5SUM	2678162fff018c2bb73a090ae021ae87
Bench Category	optimization, medium integers (OPTMEDINT)
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	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39120920179
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39120920179
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.973851
Number of variables	105000
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	21
Maximum length of a constraint	2000
Trace number 26943

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-24 18:16:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19074 boxname=wulflinc31 idbench=1468 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  2678162fff018c2bb73a090ae021ae87  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n3706.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n3706.opb
IDLAUNCH: 19074
/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:        388896 kB
Buffers:         35260 kB
Cached:         588548 kB
SwapCached:       1248 kB
Active:         201040 kB
Inactive:       425424 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        388644 kB
SwapTotal:     2097892 kB
SwapFree:      2096040 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5600 kB
Slab:            13512 kB
Committed_AS:    64204 kB
PageTables:        352 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 18:36:56 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 19074 7 1200.28 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.86 0.97 0.93 2/57 1004
Raw data (stat): 1004 (runsolver) R 1003 29618 29617 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832310772 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+9.99995 s]
Raw data (loadavg): 0.88 0.97 0.93 2/55 1004
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 1002 0 0 0 994 3 0 0 25 0 1 0 832310772 16048128 980 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3918 980 1111 63 0 3855 0
vsize: 15672
[startup+20.0013 s]
Raw data (loadavg): 0.90 0.97 0.93 2/55 1004
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 1248 0 0 0 1994 4 0 0 25 0 1 0 832310772 17027072 1226 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4157 1226 1111 63 0 4094 0
vsize: 16628
[startup+30.0018 s]
Raw data (loadavg): 0.91 0.97 0.93 2/55 1004
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 1499 0 0 0 2993 5 0 0 25 0 1 0 832310772 18026496 1477 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4401 1477 1111 63 0 4338 0
vsize: 17604
[startup+40.0021 s]
Raw data (loadavg): 0.93 0.97 0.93 2/55 1004
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 1747 0 0 0 3993 6 0 0 25 0 1 0 832310772 19013632 1725 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4642 1725 1111 63 0 4579 0
vsize: 18568
[startup+50.0031 s]
Raw data (loadavg): 0.94 0.97 0.93 2/55 1004
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 1994 0 0 0 4992 6 0 0 25 0 1 0 832310772 20140032 1972 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4917 1972 1111 63 0 4854 0
vsize: 19668
[startup+60.0025 s]
Raw data (loadavg): 0.95 0.97 0.93 2/55 1006
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 2241 0 0 0 5992 7 0 0 25 0 1 0 832310772 21123072 2219 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5157 2219 1111 63 0 5094 0
vsize: 20628
[startup+70.0025 s]
Raw data (loadavg): 0.95 0.97 0.93 2/55 1006
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 2488 0 0 0 6991 8 0 0 25 0 1 0 832310772 22110208 2466 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5398 2466 1111 63 0 5335 0
vsize: 21592
[startup+80.0094 s]
Raw data (loadavg): 0.96 0.97 0.93 2/55 1006
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 2735 0 0 0 7992 8 0 0 25 0 1 0 832310772 23089152 2713 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5637 2713 1111 63 0 5574 0
vsize: 22548
[startup+90.0096 s]
Raw data (loadavg): 0.97 0.97 0.93 2/55 1006
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 2983 0 0 0 8991 8 0 0 25 0 1 0 832310772 24076288 2961 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5878 2961 1111 63 0 5815 0
vsize: 23512
[startup+100.01 s]
Raw data (loadavg): 0.97 0.97 0.93 2/55 1006
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 3231 0 0 0 9991 9 0 0 25 0 1 0 832310772 25206784 3209 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6154 3209 1111 63 0 6091 0
vsize: 24616
[startup+110.009 s]
Raw data (loadavg): 0.97 0.97 0.93 2/55 1006
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 3472 0 0 0 10991 10 0 0 25 0 1 0 832310772 26189824 3450 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6394 3450 1111 63 0 6331 0
vsize: 25576
[startup+120.01 s]
Raw data (loadavg): 0.98 0.97 0.93 2/55 1008
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 3733 0 0 0 11991 10 0 0 25 0 1 0 832310772 27197440 3711 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6640 3711 1111 63 0 6577 0
vsize: 26560
[startup+130.01 s]
Raw data (loadavg): 0.98 0.97 0.93 2/55 1008
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 3982 0 0 0 12991 10 0 0 25 0 1 0 832310772 28184576 3960 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6881 3960 1111 63 0 6818 0
vsize: 27524
[startup+140.01 s]
Raw data (loadavg): 0.98 0.97 0.93 2/55 1008
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 4229 0 0 0 13990 11 0 0 25 0 1 0 832310772 29306880 4207 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7155 4207 1111 63 0 7092 0
vsize: 28620
[startup+150.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1008
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 4478 0 0 0 14990 11 0 0 25 0 1 0 832310772 30289920 4456 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7395 4456 1111 63 0 7332 0
vsize: 29580
[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1008
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 4732 0 0 0 15989 12 0 0 25 0 1 0 832310772 31281152 4710 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7637 4710 1111 63 0 7574 0
vsize: 30548
[startup+170.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1008
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 4981 0 0 0 16989 13 0 0 25 0 1 0 832310772 32264192 4959 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7877 4959 1111 63 0 7814 0
vsize: 31508
[startup+180.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1010
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 5230 0 0 0 17988 13 0 0 25 0 1 0 832310772 33390592 5208 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8152 5208 1111 63 0 8089 0
vsize: 32608
[startup+190.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1010
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 5478 0 0 0 18988 14 0 0 25 0 1 0 832310772 34377728 5456 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8393 5456 1111 63 0 8330 0
vsize: 33572
[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1010
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 5732 0 0 0 19988 14 0 0 25 0 1 0 832310772 35364864 5710 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8634 5710 1111 63 0 8571 0
vsize: 34536
[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1010
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 5985 0 0 0 20988 14 0 0 25 0 1 0 832310772 36487168 5963 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8908 5963 1111 63 0 8845 0
vsize: 35632
[startup+220.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1010
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 6233 0 0 0 21987 15 0 0 25 0 1 0 832310772 37474304 6211 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9149 6211 1111 63 0 9086 0
vsize: 36596
[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1010
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 6499 0 0 0 22987 15 0 0 25 0 1 0 832310772 38641664 6477 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9434 6477 1111 63 0 9371 0
vsize: 37736
[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1012
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 6753 0 0 0 23987 15 0 0 25 0 1 0 832310772 39624704 6731 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9674 6731 1111 63 0 9611 0
vsize: 38696
[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1012
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 7009 0 0 0 24987 16 0 0 25 0 1 0 832310772 40611840 6987 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9915 6987 1111 63 0 9852 0
vsize: 39660
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1012
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 7264 0 0 0 25986 17 0 0 25 0 1 0 832310772 41742336 7242 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10191 7242 1111 63 0 10128 0
vsize: 40764
[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1012
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 7519 0 0 0 26986 18 0 0 25 0 1 0 832310772 42725376 7497 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10431 7497 1111 63 0 10368 0
vsize: 41724
[startup+280.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1012
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 7775 0 0 0 27985 18 0 0 25 0 1 0 832310772 43851776 7753 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10706 7753 1111 63 0 10643 0
vsize: 42824
[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1012
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 8029 0 0 0 28985 19 0 0 25 0 1 0 832310772 44834816 8007 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10946 8007 1111 63 0 10883 0
vsize: 43784
[startup+300.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1014
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 8283 0 0 0 29985 19 0 0 25 0 1 0 832310772 45821952 8261 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11187 8261 1111 63 0 11124 0
vsize: 44748
[startup+310.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1014
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 8539 0 0 0 30984 19 0 0 25 0 1 0 832310772 46948352 8517 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11462 8517 1111 63 0 11399 0
vsize: 45848
[startup+320.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1014
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 8795 0 0 0 31984 20 0 0 25 0 1 0 832310772 47935488 8773 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11703 8773 1111 63 0 11640 0
vsize: 46812
[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1014
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 9057 0 0 0 32984 21 0 0 25 0 1 0 832310772 49061888 9035 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11978 9035 1111 63 0 11915 0
vsize: 47912
[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1014
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 9319 0 0 0 33983 21 0 0 25 0 1 0 832310772 50049024 9297 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12219 9297 1111 63 0 12156 0
vsize: 48876
[startup+350.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1014
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 9574 0 0 0 34982 22 0 0 25 0 1 0 832310772 51175424 9552 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12494 9552 1111 63 0 12431 0
vsize: 49976
[startup+360.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1016
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 9830 0 0 0 35982 23 0 0 25 0 1 0 832310772 52154368 9808 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12733 9808 1111 63 0 12670 0
vsize: 50932
[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1016
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 10091 0 0 0 36982 23 0 0 25 0 1 0 832310772 53280768 10069 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13008 10069 1111 63 0 12945 0
vsize: 52032
[startup+380.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1016
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 10352 0 0 0 37981 24 0 0 25 0 1 0 832310772 54267904 10330 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13249 10330 1111 63 0 13186 0
vsize: 52996
[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1016
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 10614 0 0 0 38981 24 0 0 25 0 1 0 832310772 55394304 10592 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13524 10592 1111 63 0 13461 0
vsize: 54096
[startup+400.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1016
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 10876 0 0 0 39981 25 0 0 25 0 1 0 832310772 56520704 10854 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13799 10854 1111 63 0 13736 0
vsize: 55196
[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1016
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 11138 0 0 0 40980 25 0 0 25 0 1 0 832310772 57507840 11116 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14040 11116 1111 63 0 13977 0
vsize: 56160
[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1018
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 11399 0 0 0 41980 26 0 0 25 0 1 0 832310772 58634240 11377 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14315 11377 1111 63 0 14252 0
vsize: 57260
[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1018
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 11661 0 0 0 42980 26 0 0 25 0 1 0 832310772 59621376 11639 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14556 11639 1111 63 0 14493 0
vsize: 58224
[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1018
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 11940 0 0 0 43980 26 0 0 25 0 1 0 832310772 60997632 11918 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14892 11918 1111 63 0 14829 0
vsize: 59568
[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1018
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 12201 0 0 0 44979 27 0 0 25 0 1 0 832310772 61976576 12179 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15131 12179 1111 63 0 15068 0
vsize: 60524
[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1018
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 12463 0 0 0 45979 28 0 0 25 0 1 0 832310772 63107072 12441 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15407 12441 1111 63 0 15344 0
vsize: 61628
[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1018
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 12725 0 0 0 46979 28 0 0 25 0 1 0 832310772 64090112 12703 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15647 12703 1111 63 0 15584 0
vsize: 62588
[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1020
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 12994 0 0 0 47978 29 0 0 25 0 1 0 832310772 65216512 12972 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15922 12972 1111 63 0 15859 0
vsize: 63688
[startup+490.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1020
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 13257 0 0 0 48978 29 0 0 25 0 1 0 832310772 66342912 13235 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16197 13235 1111 63 0 16134 0
vsize: 64788
[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1020
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 13525 0 0 0 49978 29 0 0 25 0 1 0 832310772 67469312 13503 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16472 13503 1111 63 0 16409 0
vsize: 65888
[startup+510.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1020
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 13788 0 0 0 50977 30 0 0 25 0 1 0 832310772 68460544 13766 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16714 13766 1111 63 0 16651 0
vsize: 66856
[startup+520.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1020
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 14057 0 0 0 51977 31 0 0 25 0 1 0 832310772 69586944 14035 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16989 14035 1111 63 0 16926 0
vsize: 67956
[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1020
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 14325 0 0 0 52977 31 0 0 25 0 1 0 832310772 70713344 14303 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17264 14303 1111 63 0 17201 0
vsize: 69056
[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1022
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 14595 0 0 0 53976 32 0 0 25 0 1 0 832310772 71839744 14573 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17539 14573 1111 63 0 17476 0
vsize: 70156
[startup+550.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1022
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 14863 0 0 0 54976 32 0 0 25 0 1 0 832310772 72818688 14841 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17778 14841 1111 63 0 17715 0
vsize: 71112
[startup+560.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1022
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 15131 0 0 0 55975 33 0 0 25 0 1 0 832310772 73945088 15109 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18053 15109 1111 63 0 17990 0
vsize: 72212
[startup+570.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1022
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 15400 0 0 0 56975 33 0 0 25 0 1 0 832310772 75071488 15378 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18328 15378 1111 63 0 18265 0
vsize: 73312
[startup+580.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1022
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 15669 0 0 0 57975 34 0 0 25 0 1 0 832310772 76197888 15647 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18603 15647 1111 63 0 18540 0
vsize: 74412
[startup+590.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1022
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 15938 0 0 0 58975 34 0 0 25 0 1 0 832310772 77324288 15916 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18878 15916 1111 63 0 18815 0
vsize: 75512
[startup+600.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1024
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 16214 0 0 0 59975 34 0 0 25 0 1 0 832310772 78454784 16192 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19154 16192 1111 63 0 19091 0
vsize: 76616
[startup+610.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1024
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 16483 0 0 0 60974 35 0 0 25 0 1 0 832310772 79441920 16461 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19395 16461 1111 63 0 19332 0
vsize: 77580
[startup+620.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1024
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 16753 0 0 0 61974 35 0 0 25 0 1 0 832310772 80568320 16731 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19670 16731 1111 63 0 19607 0
vsize: 78680
[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1024
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 17028 0 0 0 62974 36 0 0 25 0 1 0 832310772 81694720 17006 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19945 17006 1111 63 0 19882 0
vsize: 79780
[startup+640.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1024
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 17304 0 0 0 63973 37 0 0 25 0 1 0 832310772 82821120 17282 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20220 17282 1111 63 0 20157 0
vsize: 80880
[startup+650.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1024
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 17579 0 0 0 64973 37 0 0 25 0 1 0 832310772 83947520 17557 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20495 17557 1111 63 0 20432 0
vsize: 81980
[startup+660.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1026
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 17848 0 0 0 65972 38 0 0 25 0 1 0 832310772 85073920 17826 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20770 17826 1111 63 0 20707 0
vsize: 83080
[startup+670.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1026
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 18125 0 0 0 66972 39 0 0 25 0 1 0 832310772 86200320 18103 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21045 18103 1111 63 0 20982 0
vsize: 84180
[startup+680.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1026
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 18400 0 0 0 67971 39 0 0 25 0 1 0 832310772 87326720 18378 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21320 18378 1111 63 0 21257 0
vsize: 85280
[startup+690.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1026
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 18677 0 0 0 68971 40 0 0 25 0 1 0 832310772 88449024 18655 4294967295 134512640 134714540 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21594 18655 1111 63 0 21531 0
vsize: 86376
[startup+700.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1026
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 18957 0 0 0 69971 40 0 0 25 0 1 0 832310772 89575424 18935 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21869 18935 1111 63 0 21806 0
vsize: 87476
[startup+710.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1026
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 19233 0 0 0 70971 41 0 0 25 0 1 0 832310772 90701824 19211 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22144 19211 1111 63 0 22081 0
vsize: 88576
[startup+720.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1028
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 19510 0 0 0 71970 41 0 0 25 0 1 0 832310772 91828224 19488 4294967295 134512640 134714540 3221224592 3221223248 134527941 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22419 19488 1111 63 0 22356 0
vsize: 89676
[startup+730.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1028
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 19785 0 0 0 72970 41 0 0 25 0 1 0 832310772 92954624 19763 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22694 19763 1111 63 0 22631 0
vsize: 90776
[startup+740.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1028
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 20068 0 0 0 73970 42 0 0 25 0 1 0 832310772 94081024 20046 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22969 20046 1111 63 0 22906 0
vsize: 91876
[startup+750.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1028
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 20351 0 0 0 74969 43 0 0 25 0 1 0 832310772 95346688 20329 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23278 20329 1111 63 0 23215 0
vsize: 93112
[startup+760.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1028
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 20626 0 0 0 75969 43 0 0 25 0 1 0 832310772 96477184 20604 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23554 20604 1111 63 0 23491 0
vsize: 94216
[startup+770.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1028
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 20910 0 0 0 76969 44 0 0 25 0 1 0 832310772 97603584 20888 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23829 20888 1111 63 0 23766 0
vsize: 95316
[startup+780.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1030
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 21192 0 0 0 77969 44 0 0 25 0 1 0 832310772 98729984 21170 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24104 21170 1111 63 0 24041 0
vsize: 96416
[startup+790.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1030
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 21470 0 0 0 78968 45 0 0 25 0 1 0 832310772 99856384 21448 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24379 21448 1111 63 0 24316 0
vsize: 97516
[startup+800.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1030
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 21757 0 0 0 79968 45 0 0 25 0 1 0 832310772 100982784 21735 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24654 21735 1111 63 0 24591 0
vsize: 98616
[startup+810.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1030
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 22040 0 0 0 80967 46 0 0 25 0 1 0 832310772 102248448 22018 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24963 22018 1111 63 0 24900 0
vsize: 99852
[startup+820.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1030
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 22323 0 0 0 81967 46 0 0 25 0 1 0 832310772 103378944 22301 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25239 22301 1111 63 0 25176 0
vsize: 100956
[startup+830.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1030
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 22605 0 0 0 82967 47 0 0 25 0 1 0 832310772 104505344 22583 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25514 22583 1111 63 0 25451 0
vsize: 102056
[startup+840.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1032
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 22923 0 0 0 83966 47 0 0 25 0 1 0 832310772 106004480 22901 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25880 22901 1111 63 0 25817 0
vsize: 103520
[startup+850.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1032
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 23209 0 0 0 84966 48 0 0 25 0 1 0 832310772 107257856 23187 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26186 23187 1111 63 0 26123 0
vsize: 104744
[startup+860.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1032
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 23499 0 0 0 85966 49 0 0 25 0 1 0 832310772 108384256 23477 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26461 23477 1111 63 0 26398 0
vsize: 105844
[startup+870.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1032
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 23782 0 0 0 86965 49 0 0 25 0 1 0 832310772 109510656 23760 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26736 23760 1111 63 0 26673 0
vsize: 106944
[startup+880.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1032
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 24070 0 0 0 87965 50 0 0 25 0 1 0 832310772 110776320 24048 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27045 24048 1111 63 0 26982 0
vsize: 108180
[startup+890.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1032
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 24355 0 0 0 88965 50 0 0 25 0 1 0 832310772 111902720 24333 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27320 24333 1111 63 0 27257 0
vsize: 109280
[startup+900.039 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1034
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 24644 0 0 0 89964 51 0 0 25 0 1 0 832310772 113029120 24622 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27595 24622 1111 63 0 27532 0
vsize: 110380
[startup+910.039 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1034
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 24934 0 0 0 90964 51 0 0 25 0 1 0 832310772 114298880 24912 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27905 24912 1111 63 0 27842 0
vsize: 111620
[startup+920.039 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1034
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 25229 0 0 0 91963 52 0 0 25 0 1 0 832310772 115425280 25207 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28180 25207 1111 63 0 28117 0
vsize: 112720
[startup+930.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1034
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 25518 0 0 0 92963 52 0 0 25 0 1 0 832310772 116690944 25496 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25496 1111 63 0 28426 0
vsize: 113956
[startup+940.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1034
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 25809 0 0 0 93962 54 0 0 25 0 1 0 832310772 117817344 25787 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28764 25787 1111 63 0 28701 0
vsize: 115056
[startup+950.041 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1034
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 26104 0 0 0 94961 55 0 0 25 0 1 0 832310772 119087104 26082 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29074 26082 1111 63 0 29011 0
vsize: 116296
[startup+960.041 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1036
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 26395 0 0 0 95961 55 0 0 25 0 1 0 832310772 120213504 26373 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29349 26373 1111 63 0 29286 0
vsize: 117396
[startup+970.041 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1036
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 26685 0 0 0 96960 56 0 0 25 0 1 0 832310772 121479168 26663 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29658 26663 1111 63 0 29595 0
vsize: 118632
[startup+980.042 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1036
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 26981 0 0 0 97960 57 0 0 25 0 1 0 832310772 122605568 26959 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29933 26959 1111 63 0 29870 0
vsize: 119732
[startup+990.042 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1036
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 27277 0 0 0 98960 57 0 0 25 0 1 0 832310772 123871232 27255 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30242 27255 1111 63 0 30179 0
vsize: 120968
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1036
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 27566 0 0 0 99959 58 0 0 25 0 1 0 832310772 125001728 27544 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30518 27544 1111 63 0 30455 0
vsize: 122072
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1036
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 27864 0 0 0 100958 59 0 0 25 0 1 0 832310772 126267392 27842 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30827 27842 1111 63 0 30764 0
vsize: 123308
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1038
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 28159 0 0 0 101958 60 0 0 25 0 1 0 832310772 127393792 28137 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31102 28137 1111 63 0 31039 0
vsize: 124408
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1038
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 28457 0 0 0 102957 61 0 0 25 0 1 0 832310772 128659456 28435 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31411 28435 1111 63 0 31348 0
vsize: 125644
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1038
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 28753 0 0 0 103956 61 0 0 25 0 1 0 832310772 129925120 28731 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31720 28731 1111 63 0 31657 0
vsize: 126880
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1038
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 29049 0 0 0 104956 62 0 0 25 0 1 0 832310772 131051520 29027 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31995 29027 1111 63 0 31932 0
vsize: 127980
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1038
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 29346 0 0 0 105956 62 0 0 25 0 1 0 832310772 132321280 29324 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32305 29324 1111 63 0 32242 0
vsize: 129220
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1038
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 29648 0 0 0 106956 62 0 0 25 0 1 0 832310772 133586944 29626 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32614 29626 1111 63 0 32551 0
vsize: 130456
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1040
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 29945 0 0 0 107955 63 0 0 25 0 1 0 832310772 134713344 29923 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32889 29923 1111 63 0 32826 0
vsize: 131556
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1040
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 30241 0 0 0 108955 64 0 0 25 0 1 0 832310772 135983104 30219 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33199 30219 1111 63 0 33136 0
vsize: 132796
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1040
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 30545 0 0 0 109954 64 0 0 25 0 1 0 832310772 137248768 30523 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33508 30523 1111 63 0 33445 0
vsize: 134032
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1040
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 30848 0 0 0 110954 65 0 0 25 0 1 0 832310772 138375168 30826 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33783 30826 1111 63 0 33720 0
vsize: 135132
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1040
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 31150 0 0 0 111954 66 0 0 25 0 1 0 832310772 139640832 31128 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34092 31128 1111 63 0 34029 0
vsize: 136368
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1040
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 31454 0 0 0 112953 66 0 0 25 0 1 0 832310772 140906496 31432 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34401 31432 1111 63 0 34338 0
vsize: 137604
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1042
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 31757 0 0 0 113953 67 0 0 25 0 1 0 832310772 142176256 31735 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34711 31735 1111 63 0 34648 0
vsize: 138844
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1042
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 32061 0 0 0 114953 67 0 0 25 0 1 0 832310772 143441920 32039 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35020 32039 1111 63 0 34957 0
vsize: 140080
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1042
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 32364 0 0 0 115952 68 0 0 25 0 1 0 832310772 144568320 32342 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35295 32342 1111 63 0 35232 0
vsize: 141180
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1042
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 32668 0 0 0 116952 68 0 0 25 0 1 0 832310772 145838080 32646 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35605 32646 1111 63 0 35542 0
vsize: 142420
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1042
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 32971 0 0 0 117951 69 0 0 25 0 1 0 832310772 147103744 32949 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35914 32949 1111 63 0 35851 0
vsize: 143656
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1042
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 33274 0 0 0 118951 70 0 0 25 0 1 0 832310772 148369408 33252 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36223 33252 1111 63 0 36160 0
vsize: 144892
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 1044
Raw data (stat): 1004 (bsolo_mis) R 1003 29618 29617 0 -1 0 33578 0 0 0 119950 70 0 0 25 0 1 0 832310772 149635072 33556 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36532 33556 1111 63 0 36469 0
vsize: 146128
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.12 s]
Raw data (loadavg): 0.99 0.97 0.93 1/55 1044
Raw data (stat): 1004 (bsolo_mis) Z 1003 29618 29617 0 -1 1036 33578 0 0 0 119951 77 0 0 25 0 1 0 832310772 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.12
CPU time (s): 1200.28
CPU user time (s): 1199.51
CPU system time (s): 0.771882
CPU usage (%): 100.014
Max. virtual memory (Kb): 146128
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####