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-n3703.opb
MD5SUM	15d69bc05970e4bbd20708cb8fb70185
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	104999
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	39166356584
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	39166356584
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.97585
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 27025

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-05-24 18:49:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19035 boxname=wulflinc26 idbench=1465 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  15d69bc05970e4bbd20708cb8fb70185  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-n3703.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-n3703.opb
IDLAUNCH: 19035
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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.061
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:        421292 kB
Buffers:         34852 kB
Cached:         546820 kB
SwapCached:        680 kB
Active:          48312 kB
Inactive:       535992 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        421040 kB
SwapTotal:     2097892 kB
SwapFree:      2096880 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           6032 kB
Slab:            23424 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 19:09:37 (client local time) WITH STATUS 0 IN 1200.29 SECONDS
stats: 19035 7 1200.29 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.94 0.96 0.94 2/54 23042
Raw data (stat): 23042 (runsolver) R 23041 20687 20686 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832533024 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 0.95 0.96 0.94 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 1002 0 0 0 996 3 0 0 25 0 1 0 832533024 16048128 980 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3918 980 1111 63 0 3855 0
vsize: 15672
[startup+20.0005 s]
Raw data (loadavg): 0.96 0.96 0.94 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 1248 0 0 0 1996 3 0 0 25 0 1 0 832533024 17027072 1226 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4157 1226 1111 63 0 4094 0
vsize: 16628
[startup+30.0002 s]
Raw data (loadavg): 0.96 0.96 0.94 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 1492 0 0 0 2995 4 0 0 25 0 1 0 832533024 18026496 1470 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4401 1470 1111 63 0 4338 0
vsize: 17604
[startup+40.0002 s]
Raw data (loadavg): 0.97 0.96 0.94 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 1740 0 0 0 3995 4 0 0 25 0 1 0 832533024 19013632 1718 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4642 1718 1111 63 0 4579 0
vsize: 18568
[startup+50.0006 s]
Raw data (loadavg): 0.97 0.96 0.94 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 1981 0 0 0 4995 5 0 0 25 0 1 0 832533024 20000768 1959 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4883 1959 1111 63 0 4820 0
vsize: 19532
[startup+60.0003 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 2234 0 0 0 5994 5 0 0 25 0 1 0 832533024 21123072 2212 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5157 2212 1111 63 0 5094 0
vsize: 20628
[startup+70.0002 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 2481 0 0 0 6994 6 0 0 25 0 1 0 832533024 22110208 2459 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5398 2459 1111 63 0 5335 0
vsize: 21592
[startup+80.0006 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 2729 0 0 0 7993 7 0 0 25 0 1 0 832533024 23089152 2707 4294967295 134512640 134714540 3221224592 3221221276 1077359302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5637 2707 1111 63 0 5574 0
vsize: 22548
[startup+90.0003 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 2976 0 0 0 8993 7 0 0 25 0 1 0 832533024 24076288 2954 4294967295 134512640 134714540 3221224592 3221223248 134527928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5878 2954 1111 63 0 5815 0
vsize: 23512
[startup+100 s]
Raw data (loadavg): 1.06 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 3224 0 0 0 9993 8 0 0 25 0 1 0 832533024 25063424 3202 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6119 3202 1111 63 0 6056 0
vsize: 24476
[startup+110.001 s]
Raw data (loadavg): 1.05 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 3472 0 0 0 10992 8 0 0 25 0 1 0 832533024 26189824 3450 4294967295 134512640 134714540 3221224592 3221222820 1077414413 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 s]
Raw data (loadavg): 1.04 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 3727 0 0 0 11992 9 0 0 25 0 1 0 832533024 27197440 3705 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6640 3705 1111 63 0 6577 0
vsize: 26560
[startup+130 s]
Raw data (loadavg): 1.04 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 3982 0 0 0 12992 9 0 0 25 0 1 0 832533024 28184576 3960 4294967295 134512640 134714540 3221224592 3221222820 1077414413 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.001 s]
Raw data (loadavg): 1.03 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 4231 0 0 0 13991 10 0 0 25 0 1 0 832533024 29306880 4209 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7155 4209 1111 63 0 7092 0
vsize: 28620
[startup+150.001 s]
Raw data (loadavg): 1.02 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 4484 0 0 0 14991 10 0 0 25 0 1 0 832533024 30289920 4462 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7395 4462 1111 63 0 7332 0
vsize: 29580
[startup+160.001 s]
Raw data (loadavg): 1.02 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 4732 0 0 0 15991 11 0 0 25 0 1 0 832533024 31281152 4710 4294967295 134512640 134714540 3221224592 3221222820 1077414336 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.001 s]
Raw data (loadavg): 1.02 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 4981 0 0 0 16990 11 0 0 25 0 1 0 832533024 32264192 4959 4294967295 134512640 134714540 3221224592 3221222820 1077414385 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.001 s]
Raw data (loadavg): 1.01 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 5237 0 0 0 17990 12 0 0 25 0 1 0 832533024 33390592 5215 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8152 5215 1111 63 0 8089 0
vsize: 32608
[startup+190.001 s]
Raw data (loadavg): 1.01 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 5491 0 0 0 18990 12 0 0 25 0 1 0 832533024 34377728 5469 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8393 5469 1111 63 0 8330 0
vsize: 33572
[startup+200.001 s]
Raw data (loadavg): 1.01 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 5739 0 0 0 19989 13 0 0 25 0 1 0 832533024 35364864 5717 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8634 5717 1111 63 0 8571 0
vsize: 34536
[startup+210.001 s]
Raw data (loadavg): 1.01 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 5994 0 0 0 20988 14 0 0 25 0 1 0 832533024 36487168 5972 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8908 5972 1111 63 0 8845 0
vsize: 35632
[startup+220 s]
Raw data (loadavg): 1.01 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 6247 0 0 0 21988 14 0 0 25 0 1 0 832533024 37474304 6225 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9149 6225 1111 63 0 9086 0
vsize: 36596
[startup+230 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 6513 0 0 0 22988 15 0 0 25 0 1 0 832533024 38641664 6491 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9434 6491 1111 63 0 9371 0
vsize: 37736
[startup+240 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 6767 0 0 0 23988 15 0 0 25 0 1 0 832533024 39624704 6745 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9674 6745 1111 63 0 9611 0
vsize: 38696
[startup+250 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 7023 0 0 0 24988 16 0 0 25 0 1 0 832533024 40751104 7001 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9949 7001 1111 63 0 9886 0
vsize: 39796
[startup+260 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 7278 0 0 0 25987 16 0 0 25 0 1 0 832533024 41742336 7256 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10191 7256 1111 63 0 10128 0
vsize: 40764
[startup+270 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 7533 0 0 0 26987 16 0 0 25 0 1 0 832533024 42868736 7511 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10466 7511 1111 63 0 10403 0
vsize: 41864
[startup+280 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 7789 0 0 0 27987 17 0 0 25 0 1 0 832533024 43851776 7767 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10706 7767 1111 63 0 10643 0
vsize: 42824
[startup+290 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 8049 0 0 0 28986 18 0 0 25 0 1 0 832533024 44974080 8027 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10980 8027 1111 63 0 10917 0
vsize: 43920
[startup+300 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 8304 0 0 0 29986 18 0 0 25 0 1 0 832533024 45961216 8282 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11221 8282 1111 63 0 11158 0
vsize: 44884
[startup+309.999 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 8566 0 0 0 30985 19 0 0 25 0 1 0 832533024 47087616 8544 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11496 8544 1111 63 0 11433 0
vsize: 45984
[startup+319.999 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 8822 0 0 0 31985 19 0 0 25 0 1 0 832533024 48074752 8800 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11737 8800 1111 63 0 11674 0
vsize: 46948
[startup+329.999 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 9084 0 0 0 32985 20 0 0 25 0 1 0 832533024 49201152 9062 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12012 9062 1111 63 0 11949 0
vsize: 48048
[startup+339.998 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 9347 0 0 0 33984 20 0 0 25 0 1 0 832533024 50188288 9325 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12253 9325 1111 63 0 12190 0
vsize: 49012
[startup+349.999 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 9608 0 0 0 34984 20 0 0 25 0 1 0 832533024 51314688 9586 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12528 9586 1111 63 0 12465 0
vsize: 50112
[startup+359.999 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 9864 0 0 0 35984 21 0 0 25 0 1 0 832533024 52301824 9842 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12769 9842 1111 63 0 12706 0
vsize: 51076
[startup+369.998 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 10126 0 0 0 36984 21 0 0 25 0 1 0 832533024 53420032 10104 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13042 10104 1111 63 0 12979 0
vsize: 52168
[startup+379.998 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 10386 0 0 0 37984 21 0 0 25 0 1 0 832533024 54407168 10364 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13283 10364 1111 63 0 13220 0
vsize: 53132
[startup+389.998 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 10649 0 0 0 38984 22 0 0 25 0 1 0 832533024 55537664 10627 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13559 10627 1111 63 0 13496 0
vsize: 54236
[startup+399.999 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 10917 0 0 0 39983 22 0 0 25 0 1 0 832533024 56664064 10895 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13834 10895 1111 63 0 13771 0
vsize: 55336
[startup+409.998 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 11179 0 0 0 40983 23 0 0 25 0 1 0 832533024 57647104 11157 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14074 11157 1111 63 0 14011 0
vsize: 56296
[startup+419.998 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 11440 0 0 0 41982 23 0 0 25 0 1 0 832533024 58773504 11418 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14349 11418 1111 63 0 14286 0
vsize: 57396
[startup+429.998 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 11702 0 0 0 42982 24 0 0 25 0 1 0 832533024 59904000 11680 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14625 11680 1111 63 0 14562 0
vsize: 58500
[startup+439.997 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 11982 0 0 0 43982 24 0 0 25 0 1 0 832533024 61136896 11960 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14926 11960 1111 63 0 14863 0
vsize: 59704
[startup+449.998 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 12251 0 0 0 44982 24 0 0 25 0 1 0 832533024 62263296 12229 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15201 12229 1111 63 0 15138 0
vsize: 60804
[startup+459.998 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 12520 0 0 0 45982 24 0 0 25 0 1 0 832533024 63242240 12498 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15440 12498 1111 63 0 15377 0
vsize: 61760
[startup+469.997 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 12780 0 0 0 46982 25 0 0 25 0 1 0 832533024 64372736 12758 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15716 12758 1111 63 0 15653 0
vsize: 62864
[startup+479.998 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 13049 0 0 0 47982 25 0 0 25 0 1 0 832533024 65499136 13027 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15991 13027 1111 63 0 15928 0
vsize: 63964
[startup+489.998 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 13318 0 0 0 48982 26 0 0 25 0 1 0 832533024 66625536 13296 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16266 13296 1111 63 0 16203 0
vsize: 65064
[startup+499.998 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 13586 0 0 0 49981 26 0 0 25 0 1 0 832533024 67612672 13564 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16507 13564 1111 63 0 16444 0
vsize: 66028
[startup+509.998 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 13856 0 0 0 50980 27 0 0 25 0 1 0 832533024 68739072 13834 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16782 13834 1111 63 0 16719 0
vsize: 67128
[startup+519.998 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 14119 0 0 0 51979 28 0 0 25 0 1 0 832533024 69865472 14097 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17057 14097 1111 63 0 16994 0
vsize: 68228
[startup+529.998 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 14394 0 0 0 52979 29 0 0 25 0 1 0 832533024 70991872 14372 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17332 14372 1111 63 0 17269 0
vsize: 69328
[startup+539.998 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 14664 0 0 0 53979 29 0 0 25 0 1 0 832533024 72118272 14642 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17607 14642 1111 63 0 17544 0
vsize: 70428
[startup+549.999 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 14932 0 0 0 54978 30 0 0 25 0 1 0 832533024 73105408 14910 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17848 14910 1111 63 0 17785 0
vsize: 71392
[startup+559.998 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 15208 0 0 0 55978 31 0 0 25 0 1 0 832533024 74231808 15186 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18123 15186 1111 63 0 18060 0
vsize: 72492
[startup+569.998 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 15477 0 0 0 56977 32 0 0 25 0 1 0 832533024 75358208 15455 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18398 15455 1111 63 0 18335 0
vsize: 73592
[startup+579.999 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 15752 0 0 0 57977 32 0 0 25 0 1 0 832533024 76484608 15730 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18673 15730 1111 63 0 18610 0
vsize: 74692
[startup+589.999 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 16023 0 0 0 58976 33 0 0 25 0 1 0 832533024 77606912 16001 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18947 16001 1111 63 0 18884 0
vsize: 75788
[startup+599.999 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 16296 0 0 0 59976 33 0 0 25 0 1 0 832533024 78733312 16274 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19222 16274 1111 63 0 19159 0
vsize: 76888
[startup+609.999 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 16572 0 0 0 60975 34 0 0 25 0 1 0 832533024 79859712 16550 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19497 16550 1111 63 0 19434 0
vsize: 77988
[startup+619.999 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23042
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 16848 0 0 0 61975 34 0 0 25 0 1 0 832533024 80986112 16826 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19772 16826 1111 63 0 19709 0
vsize: 79088
[startup+629.999 s]
Raw data (loadavg): 1.00 0.98 0.95 3/58 23076
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 17123 0 0 0 62974 35 0 0 25 0 1 0 832533024 82112512 17101 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20047 17101 1111 63 0 19984 0
vsize: 80188
[startup+640 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23095
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 17400 0 0 0 63974 36 0 0 25 0 1 0 832533024 83238912 17378 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20322 17378 1111 63 0 20259 0
vsize: 81288
[startup+650.001 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23095
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 17676 0 0 0 64974 36 0 0 25 0 1 0 832533024 84365312 17654 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20597 17654 1111 63 0 20534 0
vsize: 82388
[startup+660 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23095
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 17952 0 0 0 65974 36 0 0 25 0 1 0 832533024 85491712 17930 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20872 17930 1111 63 0 20809 0
vsize: 83488
[startup+670 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23095
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 18234 0 0 0 66973 37 0 0 25 0 1 0 832533024 86622208 18212 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21148 18212 1111 63 0 21085 0
vsize: 84592
[startup+680.001 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23095
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 18516 0 0 0 67973 38 0 0 25 0 1 0 832533024 87748608 18494 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21423 18494 1111 63 0 21360 0
vsize: 85692
[startup+690 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23095
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 18794 0 0 0 68972 38 0 0 25 0 1 0 832533024 88875008 18772 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21698 18772 1111 63 0 21635 0
vsize: 86792
[startup+700.001 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23097
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 19075 0 0 0 69972 39 0 0 25 0 1 0 832533024 90140672 19053 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22007 19053 1111 63 0 21944 0
vsize: 88028
[startup+710.002 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23097
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 19358 0 0 0 70972 39 0 0 25 0 1 0 832533024 91267072 19336 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22282 19336 1111 63 0 22219 0
vsize: 89128
[startup+720.001 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23097
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 19641 0 0 0 71971 40 0 0 25 0 1 0 832533024 92397568 19619 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22558 19619 1111 63 0 22495 0
vsize: 90232
[startup+730.001 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23097
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 19923 0 0 0 72971 41 0 0 25 0 1 0 832533024 93523968 19901 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22833 19901 1111 63 0 22770 0
vsize: 91332
[startup+740.001 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23097
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 20207 0 0 0 73971 41 0 0 25 0 1 0 832533024 94650368 20185 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23108 20185 1111 63 0 23045 0
vsize: 92432
[startup+750.001 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23097
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 20489 0 0 0 74970 42 0 0 25 0 1 0 832533024 95916032 20467 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23417 20467 1111 63 0 23354 0
vsize: 93668
[startup+760.002 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23097
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 20779 0 0 0 75970 42 0 0 25 0 1 0 832533024 97042432 20757 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23692 20757 1111 63 0 23629 0
vsize: 94768
[startup+770.001 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23097
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 21062 0 0 0 76970 42 0 0 25 0 1 0 832533024 98168832 21040 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23967 21040 1111 63 0 23904 0
vsize: 95868
[startup+780.001 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23097
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 21344 0 0 0 77969 43 0 0 25 0 1 0 832533024 99291136 21322 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24241 21322 1111 63 0 24178 0
vsize: 96964
[startup+790.001 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23097
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 21635 0 0 0 78969 44 0 0 25 0 1 0 832533024 100564992 21613 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24552 21613 1111 63 0 24489 0
vsize: 98208
[startup+800.002 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23097
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 21923 0 0 0 79969 44 0 0 25 0 1 0 832533024 101683200 21901 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24825 21901 1111 63 0 24762 0
vsize: 99300
[startup+810.002 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23097
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 22213 0 0 0 80968 45 0 0 25 0 1 0 832533024 102957056 22191 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25136 22191 1111 63 0 25073 0
vsize: 100544
[startup+820.002 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23097
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 22495 0 0 0 81968 45 0 0 25 0 1 0 832533024 104075264 22473 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25409 22473 1111 63 0 25346 0
vsize: 101636
[startup+830.002 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23097
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 22790 0 0 0 82968 45 0 0 25 0 1 0 832533024 105201664 22768 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25684 22768 1111 63 0 25621 0
vsize: 102736
[startup+840.002 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23097
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 23111 0 0 0 83968 46 0 0 25 0 1 0 832533024 106831872 23089 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26082 23089 1111 63 0 26019 0
vsize: 104328
[startup+850.003 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23097
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 23400 0 0 0 84967 46 0 0 25 0 1 0 832533024 107958272 23378 4294967295 134512640 134714540 3221224592 3221222924 1077294272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26357 23378 1111 63 0 26294 0
vsize: 105428
[startup+860.003 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23097
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 23691 0 0 0 85967 47 0 0 25 0 1 0 832533024 109223936 23669 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26666 23669 1111 63 0 26603 0
vsize: 106664
[startup+870.003 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23097
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 23980 0 0 0 86967 47 0 0 25 0 1 0 832533024 110350336 23958 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26941 23958 1111 63 0 26878 0
vsize: 107764
[startup+880.003 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23097
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 24271 0 0 0 87967 48 0 0 25 0 1 0 832533024 111616000 24249 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27250 24249 1111 63 0 27187 0
vsize: 109000
[startup+890.003 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23097
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 24567 0 0 0 88966 49 0 0 25 0 1 0 832533024 112742400 24545 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27525 24545 1111 63 0 27462 0
vsize: 110100
[startup+900.004 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23097
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 24863 0 0 0 89966 49 0 0 25 0 1 0 832533024 114012160 24841 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27835 24841 1111 63 0 27772 0
vsize: 111340
[startup+910.004 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23097
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 25153 0 0 0 90965 50 0 0 25 0 1 0 832533024 115138560 25131 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28110 25131 1111 63 0 28047 0
vsize: 112440
[startup+920.003 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23097
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 25448 0 0 0 91964 51 0 0 25 0 1 0 832533024 116404224 25426 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28419 25426 1111 63 0 28356 0
vsize: 113676
[startup+930.004 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23097
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 25746 0 0 0 92964 52 0 0 25 0 1 0 832533024 117530624 25724 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28694 25724 1111 63 0 28631 0
vsize: 114776
[startup+940.004 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23097
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 26035 0 0 0 93963 53 0 0 25 0 1 0 832533024 118800384 26013 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29004 26013 1111 63 0 28941 0
vsize: 116016
[startup+950.004 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23097
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 26339 0 0 0 94963 53 0 0 25 0 1 0 832533024 120066048 26317 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29313 26317 1111 63 0 29250 0
vsize: 117252
[startup+960.005 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23097
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 26635 0 0 0 95962 54 0 0 25 0 1 0 832533024 121192448 26613 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29588 26613 1111 63 0 29525 0
vsize: 118352
[startup+970.005 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23099
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 26931 0 0 0 96962 54 0 0 25 0 1 0 832533024 122458112 26909 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29897 26909 1111 63 0 29834 0
vsize: 119588
[startup+980.005 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23099
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 27230 0 0 0 97961 55 0 0 25 0 1 0 832533024 123588608 27208 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30208 27214 1111 63 0 30145 0
vsize: 120692
[startup+990.006 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23099
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 27526 0 0 0 98961 55 0 0 25 0 1 0 832533024 124854272 27504 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30482 27504 1111 63 0 30419 0
vsize: 121928
[startup+1000.01 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23099
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 27830 0 0 0 99961 56 0 0 25 0 1 0 832533024 126128128 27808 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30793 27808 1111 63 0 30730 0
vsize: 123172
[startup+1010.01 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23099
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 28132 0 0 0 100960 57 0 0 25 0 1 0 832533024 127393792 28110 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31102 28110 1111 63 0 31039 0
vsize: 124408
[startup+1020.01 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23099
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 28430 0 0 0 101960 57 0 0 25 0 1 0 832533024 128512000 28408 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31375 28408 1111 63 0 31312 0
vsize: 125500
[startup+1030.01 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23099
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 28732 0 0 0 102960 57 0 0 25 0 1 0 832533024 129785856 28710 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31686 28710 1111 63 0 31623 0
vsize: 126744
[startup+1040.01 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23099
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 29035 0 0 0 103960 58 0 0 25 0 1 0 832533024 131051520 29013 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31995 29013 1111 63 0 31932 0
vsize: 127980
[startup+1050.01 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23099
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 29339 0 0 0 104959 59 0 0 25 0 1 0 832533024 132321280 29317 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32305 29317 1111 63 0 32242 0
vsize: 129220
[startup+1060.01 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23099
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 29642 0 0 0 105959 59 0 0 25 0 1 0 832533024 133447680 29620 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32580 29620 1111 63 0 32517 0
vsize: 130320
[startup+1070.01 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23099
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 29945 0 0 0 106959 59 0 0 25 0 1 0 832533024 134713344 29923 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32889 29923 1111 63 0 32826 0
vsize: 131556
[startup+1080.01 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23099
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 30248 0 0 0 107958 60 0 0 25 0 1 0 832533024 135983104 30226 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33199 30226 1111 63 0 33136 0
vsize: 132796
[startup+1090.01 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23099
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 30552 0 0 0 108958 61 0 0 25 0 1 0 832533024 137248768 30530 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33508 30530 1111 63 0 33445 0
vsize: 134032
[startup+1100.01 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23099
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 30861 0 0 0 109958 61 0 0 25 0 1 0 832533024 138514432 30839 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33817 30839 1111 63 0 33754 0
vsize: 135268
[startup+1110.01 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23099
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 31165 0 0 0 110957 62 0 0 25 0 1 0 832533024 139780096 31143 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34126 31143 1111 63 0 34063 0
vsize: 136504
[startup+1120.01 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23099
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 31469 0 0 0 111956 63 0 0 25 0 1 0 832533024 140906496 31447 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34401 31447 1111 63 0 34338 0
vsize: 137604
[startup+1130.01 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23099
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 31777 0 0 0 112956 64 0 0 25 0 1 0 832533024 142176256 31755 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34711 31755 1111 63 0 34648 0
vsize: 138844
[startup+1140.01 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23099
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 32089 0 0 0 113955 65 0 0 25 0 1 0 832533024 143441920 32067 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35020 32067 1111 63 0 34957 0
vsize: 140080
[startup+1150.01 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23099
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 32392 0 0 0 114955 65 0 0 25 0 1 0 832533024 144711680 32370 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35330 32370 1111 63 0 35267 0
vsize: 141320
[startup+1160.01 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23099
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 32709 0 0 0 115954 66 0 0 25 0 1 0 832533024 145977344 32687 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35639 32687 1111 63 0 35576 0
vsize: 142556
[startup+1170.01 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23099
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 33018 0 0 0 116954 67 0 0 25 0 1 0 832533024 147243008 32996 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35948 32996 1111 63 0 35885 0
vsize: 143792
[startup+1180.01 s]
Raw data (loadavg): 1.00 0.98 0.95 3/54 23099
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 33330 0 0 0 117954 67 0 0 25 0 1 0 832533024 148508672 33308 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36257 33308 1111 63 0 36194 0
vsize: 145028
[startup+1190.01 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23099
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 33646 0 0 0 118954 67 0 0 25 0 1 0 832533024 149917696 33624 4294967295 134512640 134714540 3221224592 3221221420 1077254284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36601 33624 1111 63 0 36538 0
vsize: 146404
[startup+1200.02 s]
Raw data (loadavg): 1.00 0.98 0.95 2/54 23099
Raw data (stat): 23042 (bsolo_mis) R 23041 20687 20686 0 -1 0 33950 0 0 0 119953 68 0 0 25 0 1 0 832533024 151044096 33928 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36876 33928 1111 63 0 36813 0
vsize: 147504
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 1.00 0.98 0.95 1/54 23099
Raw data (stat): 23042 (bsolo_mis) Z 23041 20687 20686 0 -1 1036 33950 0 0 0 119953 74 0 0 25 0 1 0 832533024 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.08
CPU time (s): 1200.29
CPU user time (s): 1199.54
CPU system time (s): 0.748886
CPU usage (%): 100.017
Max. virtual memory (Kb): 147504
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####