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-n370b.opb
MD5SUM	10d985feb1b2e2f9239f0fbace6cd870
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	39138571845
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	39138571845
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.960853
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 26918

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-05-24 18:04:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19139 boxname=wulflinc5 idbench=1473 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  10d985feb1b2e2f9239f0fbace6cd870  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-n370b.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-n370b.opb
IDLAUNCH: 19139
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        853360 kB
Buffers:         10620 kB
Cached:         149156 kB
SwapCached:        636 kB
Active:          36420 kB
Inactive:       125968 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        853108 kB
SwapTotal:     2097136 kB
SwapFree:      2096140 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5756 kB
Slab:            13392 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 18:24:32 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 19139 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.93 0.98 0.94 2/54 10244
Raw data (stat): 10244 (runsolver) R 10243 7266 7265 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774034579 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.0009 s]
Raw data (loadavg): 0.94 0.98 0.94 2/54 10244
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 1002 0 0 0 996 2 0 0 25 0 1 0 774034579 16048128 980 4294967295 134512640 134714540 3221224592 3221222820 1077414370 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.0016 s]
Raw data (loadavg): 0.95 0.98 0.94 2/54 10244
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 1248 0 0 0 1996 2 0 0 25 0 1 0 774034579 17027072 1226 4294967295 134512640 134714540 3221224592 3221222820 1077414336 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.0014 s]
Raw data (loadavg): 0.95 0.98 0.94 2/54 10244
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 1493 0 0 0 2994 4 0 0 25 0 1 0 774034579 18026496 1471 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4401 1471 1111 63 0 4338 0
vsize: 17604
[startup+40.0021 s]
Raw data (loadavg): 0.96 0.98 0.94 2/54 10244
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 1746 0 0 0 3993 4 0 0 25 0 1 0 774034579 19013632 1724 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4642 1724 1111 63 0 4579 0
vsize: 18568
[startup+50.0018 s]
Raw data (loadavg): 0.97 0.98 0.94 2/54 10244
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 1988 0 0 0 4993 5 0 0 25 0 1 0 774034579 20000768 1966 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4883 1966 1111 63 0 4820 0
vsize: 19532
[startup+60.0016 s]
Raw data (loadavg): 0.97 0.98 0.94 2/54 10244
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 2240 0 0 0 5992 5 0 0 25 0 1 0 774034579 21123072 2218 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5157 2218 1111 63 0 5094 0
vsize: 20628
[startup+70.0013 s]
Raw data (loadavg): 0.97 0.98 0.94 2/54 10244
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 2488 0 0 0 6992 6 0 0 25 0 1 0 774034579 22110208 2466 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5398 2466 1111 63 0 5335 0
vsize: 21592
[startup+80.001 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 10244
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 2735 0 0 0 7992 6 0 0 25 0 1 0 774034579 23089152 2713 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5637 2713 1111 63 0 5574 0
vsize: 22548
[startup+90.0008 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 10244
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 2983 0 0 0 8991 7 0 0 25 0 1 0 774034579 24076288 2961 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5878 2961 1111 63 0 5815 0
vsize: 23512
[startup+100.001 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 3231 0 0 0 9991 7 0 0 25 0 1 0 774034579 25206784 3209 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6154 3209 1111 63 0 6091 0
vsize: 24616
[startup+110.001 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 3479 0 0 0 10991 7 0 0 25 0 1 0 774034579 26189824 3457 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6394 3457 1111 63 0 6331 0
vsize: 25576
[startup+120.002 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 3733 0 0 0 11990 8 0 0 25 0 1 0 774034579 27197440 3711 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6640 3711 1111 63 0 6577 0
vsize: 26560
[startup+130.002 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 3988 0 0 0 12990 9 0 0 25 0 1 0 774034579 28323840 3966 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6915 3966 1111 63 0 6852 0
vsize: 27660
[startup+140.003 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 4237 0 0 0 13990 9 0 0 25 0 1 0 774034579 29306880 4215 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7155 4215 1111 63 0 7092 0
vsize: 28620
[startup+150.002 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 4485 0 0 0 14990 10 0 0 25 0 1 0 774034579 30289920 4463 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7395 4463 1111 63 0 7332 0
vsize: 29580
[startup+160.002 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 4733 0 0 0 15989 10 0 0 25 0 1 0 774034579 31281152 4711 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7637 4711 1111 63 0 7574 0
vsize: 30548
[startup+170.002 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 4988 0 0 0 16989 11 0 0 25 0 1 0 774034579 32407552 4966 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7912 4966 1111 63 0 7849 0
vsize: 31648
[startup+180.002 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 5243 0 0 0 17989 11 0 0 25 0 1 0 774034579 33390592 5221 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8152 5221 1111 63 0 8089 0
vsize: 32608
[startup+190.003 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 5491 0 0 0 18988 12 0 0 25 0 1 0 774034579 34377728 5469 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8393 5469 1111 63 0 8330 0
vsize: 33572
[startup+200.002 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 5746 0 0 0 19988 12 0 0 25 0 1 0 774034579 35508224 5724 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8669 5724 1111 63 0 8606 0
vsize: 34676
[startup+210.003 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 6000 0 0 0 20987 13 0 0 25 0 1 0 774034579 36487168 5978 4294967295 134512640 134714540 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8908 5978 1111 63 0 8845 0
vsize: 35632
[startup+220.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 6247 0 0 0 21987 13 0 0 25 0 1 0 774034579 37474304 6225 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9149 6225 1111 63 0 9086 0
vsize: 36596
[startup+230.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 6519 0 0 0 22987 14 0 0 25 0 1 0 774034579 38641664 6497 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9434 6497 1111 63 0 9371 0
vsize: 37736
[startup+240.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 6768 0 0 0 23987 14 0 0 25 0 1 0 774034579 39624704 6746 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9674 6746 1111 63 0 9611 0
vsize: 38696
[startup+250.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 7029 0 0 0 24987 14 0 0 25 0 1 0 774034579 40751104 7007 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9949 7007 1111 63 0 9886 0
vsize: 39796
[startup+260.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 7285 0 0 0 25986 15 0 0 25 0 1 0 774034579 41742336 7263 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10191 7263 1111 63 0 10128 0
vsize: 40764
[startup+270.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 7540 0 0 0 26986 15 0 0 25 0 1 0 774034579 42868736 7518 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10466 7518 1111 63 0 10403 0
vsize: 41864
[startup+280.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 7795 0 0 0 27986 16 0 0 25 0 1 0 774034579 43851776 7773 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10706 7773 1111 63 0 10643 0
vsize: 42824
[startup+290.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 8050 0 0 0 28986 16 0 0 25 0 1 0 774034579 44974080 8028 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10980 8028 1111 63 0 10917 0
vsize: 43920
[startup+300.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 8311 0 0 0 29986 17 0 0 25 0 1 0 774034579 45961216 8289 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11221 8289 1111 63 0 11158 0
vsize: 44884
[startup+310.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 8567 0 0 0 30985 17 0 0 25 0 1 0 774034579 47087616 8545 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11496 8545 1111 63 0 11433 0
vsize: 45984
[startup+320.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 8829 0 0 0 31985 18 0 0 25 0 1 0 774034579 48074752 8807 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11737 8807 1111 63 0 11674 0
vsize: 46948
[startup+330.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 9085 0 0 0 32985 18 0 0 25 0 1 0 774034579 49201152 9063 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12012 9063 1111 63 0 11949 0
vsize: 48048
[startup+340.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 9347 0 0 0 33984 19 0 0 25 0 1 0 774034579 50188288 9325 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12253 9325 1111 63 0 12190 0
vsize: 49012
[startup+350.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 9608 0 0 0 34984 19 0 0 25 0 1 0 774034579 51314688 9586 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12528 9586 1111 63 0 12465 0
vsize: 50112
[startup+360.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 9870 0 0 0 35984 20 0 0 25 0 1 0 774034579 52301824 9848 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12769 9848 1111 63 0 12706 0
vsize: 51076
[startup+370.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 10133 0 0 0 36983 20 0 0 25 0 1 0 774034579 53420032 10111 4294967295 134512640 134714540 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13042 10111 1111 63 0 12979 0
vsize: 52168
[startup+380.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 10386 0 0 0 37983 21 0 0 25 0 1 0 774034579 54407168 10364 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13283 10364 1111 63 0 13220 0
vsize: 53132
[startup+390.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 10649 0 0 0 38982 22 0 0 25 0 1 0 774034579 55537664 10627 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13559 10627 1111 63 0 13496 0
vsize: 54236
[startup+400.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 10917 0 0 0 39982 22 0 0 25 0 1 0 774034579 56664064 10895 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13834 10895 1111 63 0 13771 0
vsize: 55336
[startup+410.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 11179 0 0 0 40981 23 0 0 25 0 1 0 774034579 57647104 11157 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14074 11157 1111 63 0 14011 0
vsize: 56296
[startup+420.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 11440 0 0 0 41981 23 0 0 25 0 1 0 774034579 58773504 11418 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14349 11418 1111 63 0 14286 0
vsize: 57396
[startup+430.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 11702 0 0 0 42981 24 0 0 25 0 1 0 774034579 59904000 11680 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14625 11680 1111 63 0 14562 0
vsize: 58500
[startup+440.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 11982 0 0 0 43980 24 0 0 25 0 1 0 774034579 61136896 11960 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14926 11960 1111 63 0 14863 0
vsize: 59704
[startup+450.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 12251 0 0 0 44980 25 0 0 25 0 1 0 774034579 62263296 12229 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15201 12229 1111 63 0 15138 0
vsize: 60804
[startup+460.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 12520 0 0 0 45980 25 0 0 25 0 1 0 774034579 63242240 12498 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15440 12498 1111 63 0 15377 0
vsize: 61760
[startup+470.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 12780 0 0 0 46980 26 0 0 25 0 1 0 774034579 64372736 12758 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15716 12758 1111 63 0 15653 0
vsize: 62864
[startup+480.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 13049 0 0 0 47979 26 0 0 25 0 1 0 774034579 65499136 13027 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15991 13027 1111 63 0 15928 0
vsize: 63964
[startup+490.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 13318 0 0 0 48979 26 0 0 25 0 1 0 774034579 66625536 13296 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16266 13296 1111 63 0 16203 0
vsize: 65064
[startup+500.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 13580 0 0 0 49979 27 0 0 25 0 1 0 774034579 67612672 13558 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16507 13558 1111 63 0 16444 0
vsize: 66028
[startup+510.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 13849 0 0 0 50979 28 0 0 25 0 1 0 774034579 68739072 13827 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16782 13827 1111 63 0 16719 0
vsize: 67128
[startup+520.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 14118 0 0 0 51978 28 0 0 25 0 1 0 774034579 69865472 14096 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17057 14096 1111 63 0 16994 0
vsize: 68228
[startup+530.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 14394 0 0 0 52978 29 0 0 25 0 1 0 774034579 70991872 14372 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17332 14372 1111 63 0 17269 0
vsize: 69328
[startup+540.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 14657 0 0 0 53978 29 0 0 25 0 1 0 774034579 71979008 14635 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17573 14635 1111 63 0 17510 0
vsize: 70292
[startup+550.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 14932 0 0 0 54978 29 0 0 25 0 1 0 774034579 73105408 14910 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17848 14910 1111 63 0 17785 0
vsize: 71392
[startup+560.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 15201 0 0 0 55977 30 0 0 25 0 1 0 774034579 74231808 15179 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18123 15179 1111 63 0 18060 0
vsize: 72492
[startup+570.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 15471 0 0 0 56977 30 0 0 25 0 1 0 774034579 75358208 15449 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18398 15449 1111 63 0 18335 0
vsize: 73592
[startup+580.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 15746 0 0 0 57977 31 0 0 25 0 1 0 774034579 76484608 15724 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18673 15724 1111 63 0 18610 0
vsize: 74692
[startup+590.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 16022 0 0 0 58978 31 0 0 25 0 1 0 774034579 77606912 16000 4294967295 134512640 134714540 3221224592 3221223248 134527953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18947 16000 1111 63 0 18884 0
vsize: 75788
[startup+600.026 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 16296 0 0 0 59978 31 0 0 25 0 1 0 774034579 78733312 16274 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19222 16274 1111 63 0 19159 0
vsize: 76888
[startup+610.027 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 16566 0 0 0 60977 32 0 0 25 0 1 0 774034579 79859712 16544 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19497 16544 1111 63 0 19434 0
vsize: 77988
[startup+620.028 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 16842 0 0 0 61977 33 0 0 25 0 1 0 774034579 80986112 16820 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19772 16820 1111 63 0 19709 0
vsize: 79088
[startup+630.027 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 17117 0 0 0 62977 33 0 0 25 0 1 0 774034579 82112512 17095 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20047 17095 1111 63 0 19984 0
vsize: 80188
[startup+640.028 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 17394 0 0 0 63976 34 0 0 25 0 1 0 774034579 83238912 17372 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20322 17372 1111 63 0 20259 0
vsize: 81288
[startup+650.028 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 17669 0 0 0 64976 34 0 0 25 0 1 0 774034579 84365312 17647 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20597 17647 1111 63 0 20534 0
vsize: 82388
[startup+660.029 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 17951 0 0 0 65976 35 0 0 25 0 1 0 774034579 85491712 17929 4294967295 134512640 134714540 3221224592 3221223248 134527935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20872 17929 1111 63 0 20809 0
vsize: 83488
[startup+670.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 18228 0 0 0 66976 35 0 0 25 0 1 0 774034579 86622208 18206 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21148 18206 1111 63 0 21085 0
vsize: 84592
[startup+680.029 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 18503 0 0 0 67975 36 0 0 25 0 1 0 774034579 87748608 18481 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21423 18481 1111 63 0 21360 0
vsize: 85692
[startup+690.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 18787 0 0 0 68975 36 0 0 25 0 1 0 774034579 88875008 18765 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21698 18765 1111 63 0 21635 0
vsize: 86792
[startup+700.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 19068 0 0 0 69975 37 0 0 25 0 1 0 774034579 90001408 19046 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21973 19046 1111 63 0 21910 0
vsize: 87892
[startup+710.031 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 19345 0 0 0 70974 37 0 0 25 0 1 0 774034579 91127808 19323 4294967295 134512640 134714540 3221224592 3221223248 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22248 19323 1111 63 0 22185 0
vsize: 88992
[startup+720.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 19628 0 0 0 71974 38 0 0 25 0 1 0 774034579 92397568 19606 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22558 19606 1111 63 0 22495 0
vsize: 90232
[startup+730.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 19909 0 0 0 72974 38 0 0 25 0 1 0 774034579 93523968 19887 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22833 19887 1111 63 0 22770 0
vsize: 91332
[startup+740.031 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 20193 0 0 0 73973 39 0 0 25 0 1 0 774034579 94650368 20171 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23108 20171 1111 63 0 23045 0
vsize: 92432
[startup+750.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 20475 0 0 0 74973 40 0 0 25 0 1 0 774034579 95776768 20453 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23383 20453 1111 63 0 23320 0
vsize: 93532
[startup+760.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 20758 0 0 0 75972 40 0 0 25 0 1 0 774034579 96903168 20736 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23658 20736 1111 63 0 23595 0
vsize: 94632
[startup+770.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 21042 0 0 0 76972 41 0 0 25 0 1 0 774034579 98168832 21020 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23967 21020 1111 63 0 23904 0
vsize: 95868
[startup+780.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 21330 0 0 0 77972 41 0 0 25 0 1 0 774034579 99291136 21308 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24241 21308 1111 63 0 24178 0
vsize: 96964
[startup+790.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 21621 0 0 0 78971 42 0 0 25 0 1 0 774034579 100417536 21599 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24516 21599 1111 63 0 24453 0
vsize: 98064
[startup+800.029 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 21903 0 0 0 79971 42 0 0 25 0 1 0 774034579 101683200 21881 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24825 21881 1111 63 0 24762 0
vsize: 99300
[startup+810.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 22191 0 0 0 80971 42 0 0 25 0 1 0 774034579 102809600 22169 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25100 22169 1111 63 0 25037 0
vsize: 100400
[startup+820.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 22474 0 0 0 81971 43 0 0 25 0 1 0 774034579 103936000 22452 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25375 22452 1111 63 0 25312 0
vsize: 101500
[startup+830.029 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 22762 0 0 0 82970 43 0 0 25 0 1 0 774034579 105201664 22740 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25684 22740 1111 63 0 25621 0
vsize: 102736
[startup+840.029 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 23085 0 0 0 83970 44 0 0 25 0 1 0 774034579 106692608 23063 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26048 23063 1111 63 0 25985 0
vsize: 104192
[startup+850.029 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 23374 0 0 0 84970 44 0 0 25 0 1 0 774034579 107958272 23352 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26357 23352 1111 63 0 26294 0
vsize: 105428
[startup+860.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 23671 0 0 0 85970 44 0 0 25 0 1 0 774034579 109084672 23649 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26632 23649 1111 63 0 26569 0
vsize: 106528
[startup+870.029 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 23960 0 0 0 86969 46 0 0 25 0 1 0 774034579 110350336 23938 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26941 23938 1111 63 0 26878 0
vsize: 107764
[startup+880.029 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 24256 0 0 0 87969 46 0 0 25 0 1 0 774034579 111476736 24234 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27216 24234 1111 63 0 27153 0
vsize: 108864
[startup+890.029 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 24546 0 0 0 88968 46 0 0 25 0 1 0 774034579 112742400 24524 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27525 24524 1111 63 0 27462 0
vsize: 110100
[startup+900.029 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 24836 0 0 0 89968 47 0 0 25 0 1 0 774034579 113872896 24814 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27801 24814 1111 63 0 27738 0
vsize: 111204
[startup+910.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 25133 0 0 0 90968 47 0 0 25 0 1 0 774034579 115138560 25111 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28110 25111 1111 63 0 28047 0
vsize: 112440
[startup+920.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 25428 0 0 0 91967 48 0 0 25 0 1 0 774034579 116264960 25406 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28385 25406 1111 63 0 28322 0
vsize: 113540
[startup+930.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 25726 0 0 0 92967 48 0 0 25 0 1 0 774034579 117530624 25704 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28694 25704 1111 63 0 28631 0
vsize: 114776
[startup+940.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 26021 0 0 0 93967 49 0 0 25 0 1 0 774034579 118657024 25999 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28969 25999 1111 63 0 28906 0
vsize: 115876
[startup+950.029 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 26318 0 0 0 94966 50 0 0 25 0 1 0 774034579 119926784 26296 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29279 26296 1111 63 0 29216 0
vsize: 117116
[startup+960.029 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 26615 0 0 0 95966 50 0 0 25 0 1 0 774034579 121192448 26593 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29588 26593 1111 63 0 29525 0
vsize: 118352
[startup+970.029 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 26917 0 0 0 96965 51 0 0 25 0 1 0 774034579 122318848 26895 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29863 26895 1111 63 0 29800 0
vsize: 119452
[startup+980.029 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 27215 0 0 0 97965 51 0 0 25 0 1 0 774034579 123588608 27193 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30173 27193 1111 63 0 30110 0
vsize: 120692
[startup+990.029 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 27517 0 0 0 98965 52 0 0 25 0 1 0 774034579 124854272 27495 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30482 27495 1111 63 0 30419 0
vsize: 121928
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 27823 0 0 0 99965 52 0 0 25 0 1 0 774034579 126128128 27801 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30793 27801 1111 63 0 30730 0
vsize: 123172
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 28126 0 0 0 100964 53 0 0 25 0 1 0 774034579 127246336 28104 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31066 28104 1111 63 0 31003 0
vsize: 124264
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 28436 0 0 0 101963 54 0 0 25 0 1 0 774034579 128512000 28414 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31375 28414 1111 63 0 31312 0
vsize: 125500
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 28739 0 0 0 102963 54 0 0 25 0 1 0 774034579 129785856 28717 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31686 28717 1111 63 0 31623 0
vsize: 126744
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 29042 0 0 0 103963 55 0 0 25 0 1 0 774034579 131051520 29020 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31995 29020 1111 63 0 31932 0
vsize: 127980
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 29347 0 0 0 104962 55 0 0 25 0 1 0 774034579 132321280 29325 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32305 29325 1111 63 0 32242 0
vsize: 129220
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 29656 0 0 0 105962 55 0 0 25 0 1 0 774034579 133586944 29634 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32614 29634 1111 63 0 32551 0
vsize: 130456
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 29966 0 0 0 106962 56 0 0 25 0 1 0 774034579 134856704 29944 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32924 29944 1111 63 0 32861 0
vsize: 131696
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 30275 0 0 0 107962 57 0 0 25 0 1 0 774034579 136122368 30253 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33233 30253 1111 63 0 33170 0
vsize: 132932
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 30586 0 0 0 108961 57 0 0 25 0 1 0 774034579 137388032 30564 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33542 30564 1111 63 0 33479 0
vsize: 134168
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 30896 0 0 0 109961 58 0 0 25 0 1 0 774034579 138653696 30874 4294967295 134512640 134714540 3221224592 3221223248 134528065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33851 30874 1111 63 0 33788 0
vsize: 135404
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 31207 0 0 0 110961 58 0 0 25 0 1 0 774034579 139923456 31185 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34161 31185 1111 63 0 34098 0
vsize: 136644
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 31523 0 0 0 111960 59 0 0 25 0 1 0 774034579 141189120 31501 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34470 31501 1111 63 0 34407 0
vsize: 137880
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 31832 0 0 0 112960 60 0 0 25 0 1 0 774034579 142454784 31810 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34779 31810 1111 63 0 34716 0
vsize: 139116
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 32144 0 0 0 113959 60 0 0 25 0 1 0 774034579 143720448 32122 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35088 32122 1111 63 0 35025 0
vsize: 140352
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 32460 0 0 0 114958 61 0 0 25 0 1 0 774034579 144990208 32438 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35398 32438 1111 63 0 35335 0
vsize: 141592
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 32778 0 0 0 115958 62 0 0 25 0 1 0 774034579 146255872 32756 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35707 32756 1111 63 0 35644 0
vsize: 142828
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 33094 0 0 0 116958 62 0 0 25 0 1 0 774034579 147660800 33072 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36050 33072 1111 63 0 35987 0
vsize: 144200
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 33413 0 0 0 117957 63 0 0 25 0 1 0 774034579 148930560 33391 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36360 33391 1111 63 0 36297 0
vsize: 145440
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 33729 0 0 0 118957 63 0 0 25 0 1 0 774034579 150204416 33707 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36671 33707 1111 63 0 36608 0
vsize: 146684
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10246
Raw data (stat): 10244 (bsolo_mis) R 10243 7266 7265 0 -1 0 34048 0 0 0 119957 64 0 0 25 0 1 0 774034579 151470080 34026 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36980 34026 1111 63 0 36917 0
vsize: 147920
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.98 0.94 1/54 10246
Raw data (stat): 10244 (bsolo_mis) Z 10243 7266 7265 0 -1 1036 34048 0 0 0 119957 70 0 0 25 0 1 0 774034579 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.1
CPU time (s): 1200.28
CPU user time (s): 1199.57
CPU system time (s): 0.708892
CPU usage (%): 100.015
Max. virtual memory (Kb): 147920
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####