PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370e.opb
MD5SUM	aadb0de5eaca616b889c1e61e0fb0b70
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29700464693312
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29700464693312
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.46178
Number of variables	155000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	31
Maximum length of a constraint	3000
Trace number 28120

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-05-25 00:37:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14186 boxname=wulflinc24 idbench=1092 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  aadb0de5eaca616b889c1e61e0fb0b70  /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-n370e.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-n370e.opb
IDLAUNCH: 14186
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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:        757108 kB
Buffers:          5636 kB
Cached:         248676 kB
SwapCached:        620 kB
Active:          43492 kB
Inactive:       213320 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        756828 kB
SwapTotal:     2097892 kB
SwapFree:      2096776 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5652 kB
Slab:            15016 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 00:57:20 (client local time) WITH STATUS 0 IN 1200.3 SECONDS
stats: 14186 7 1200.3 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.75 0.91 0.89 2/54 11341
Raw data (stat): 11341 (runsolver) R 11340 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834610809 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.79 0.91 0.90 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 1140 0 0 0 995 4 0 0 25 0 1 0 834610809 15507456 1118 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3786 1118 1111 63 0 3723 0
vsize: 15144
[startup+20.0035 s]
Raw data (loadavg): 0.82 0.92 0.90 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 1250 0 0 0 1995 4 0 0 25 0 1 0 834610809 15958016 1228 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3896 1228 1111 63 0 3833 0
vsize: 15584
[startup+30.0032 s]
Raw data (loadavg): 0.85 0.92 0.90 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 1359 0 0 0 2995 4 0 0 25 0 1 0 834610809 16404480 1337 4294967295 134512640 134714540 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4005 1337 1111 63 0 3942 0
vsize: 16020
[startup+40.0039 s]
Raw data (loadavg): 0.87 0.92 0.90 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 1469 0 0 0 3995 5 0 0 25 0 1 0 834610809 16830464 1447 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4109 1447 1111 63 0 4046 0
vsize: 16436
[startup+50.0069 s]
Raw data (loadavg): 0.89 0.92 0.90 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 1575 0 0 0 4995 5 0 0 25 0 1 0 834610809 17256448 1553 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4213 1553 1111 63 0 4150 0
vsize: 16852
[startup+60.0073 s]
Raw data (loadavg): 0.91 0.92 0.90 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 1691 0 0 0 5995 5 0 0 25 0 1 0 834610809 17711104 1669 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4324 1669 1111 63 0 4261 0
vsize: 17296
[startup+70.007 s]
Raw data (loadavg): 0.92 0.93 0.90 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 1794 0 0 0 6995 5 0 0 25 0 1 0 834610809 18157568 1772 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4433 1772 1111 63 0 4370 0
vsize: 17732
[startup+80.0077 s]
Raw data (loadavg): 0.93 0.93 0.90 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 1904 0 0 0 7995 5 0 0 25 0 1 0 834610809 18608128 1882 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4543 1882 1111 63 0 4480 0
vsize: 18172
[startup+90.0074 s]
Raw data (loadavg): 0.94 0.93 0.90 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 2020 0 0 0 8995 6 0 0 25 0 1 0 834610809 19058688 1998 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4653 1998 1111 63 0 4590 0
vsize: 18612
[startup+100.007 s]
Raw data (loadavg): 0.95 0.93 0.90 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 2128 0 0 0 9995 6 0 0 25 0 1 0 834610809 19480576 2106 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4756 2106 1111 63 0 4693 0
vsize: 19024
[startup+110.008 s]
Raw data (loadavg): 0.96 0.93 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 2238 0 0 0 10995 6 0 0 25 0 1 0 834610809 19922944 2216 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4864 2216 1111 63 0 4801 0
vsize: 19456
[startup+120.008 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 2343 0 0 0 11995 6 0 0 25 0 1 0 834610809 20373504 2321 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4974 2321 1111 63 0 4911 0
vsize: 19896
[startup+130.01 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 2458 0 0 0 12995 7 0 0 25 0 1 0 834610809 20819968 2436 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5083 2436 1111 63 0 5020 0
vsize: 20332
[startup+140.01 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 2562 0 0 0 13995 7 0 0 25 0 1 0 834610809 21270528 2540 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5193 2540 1111 63 0 5130 0
vsize: 20772
[startup+150.01 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 2677 0 0 0 14995 7 0 0 25 0 1 0 834610809 21721088 2655 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5303 2655 1111 63 0 5240 0
vsize: 21212
[startup+160.01 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 2782 0 0 0 15995 7 0 0 25 0 1 0 834610809 22171648 2760 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5413 2760 1111 63 0 5350 0
vsize: 21652
[startup+170.01 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 2891 0 0 0 16995 7 0 0 25 0 1 0 834610809 22618112 2869 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5522 2869 1111 63 0 5459 0
vsize: 22088
[startup+180.01 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 3010 0 0 0 17995 7 0 0 25 0 1 0 834610809 23068672 2988 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5632 2988 1111 63 0 5569 0
vsize: 22528
[startup+190.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 3117 0 0 0 18996 7 0 0 25 0 1 0 834610809 23506944 3095 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5739 3095 1111 63 0 5676 0
vsize: 22956
[startup+200.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 3227 0 0 0 19996 8 0 0 25 0 1 0 834610809 23953408 3205 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5848 3205 1111 63 0 5785 0
vsize: 23392
[startup+210.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 3337 0 0 0 20996 8 0 0 25 0 1 0 834610809 24408064 3315 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5959 3315 1111 63 0 5896 0
vsize: 23836
[startup+220.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 3448 0 0 0 21996 8 0 0 25 0 1 0 834610809 24850432 3426 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6067 3426 1111 63 0 6004 0
vsize: 24268
[startup+230.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 3564 0 0 0 22996 8 0 0 25 0 1 0 834610809 25423872 3542 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6207 3542 1111 63 0 6144 0
vsize: 24828
[startup+240.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 3669 0 0 0 23996 8 0 0 25 0 1 0 834610809 25874432 3647 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6317 3647 1111 63 0 6254 0
vsize: 25268
[startup+250.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 3784 0 0 0 24996 9 0 0 25 0 1 0 834610809 26324992 3762 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6427 3762 1111 63 0 6364 0
vsize: 25708
[startup+260.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 3890 0 0 0 25996 9 0 0 25 0 1 0 834610809 26775552 3868 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6537 3868 1111 63 0 6474 0
vsize: 26148
[startup+270.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 4006 0 0 0 26996 9 0 0 25 0 1 0 834610809 27222016 3984 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6646 3984 1111 63 0 6583 0
vsize: 26584
[startup+280.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 4116 0 0 0 27996 9 0 0 25 0 1 0 834610809 27676672 4094 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6757 4094 1111 63 0 6694 0
vsize: 27028
[startup+290.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 4226 0 0 0 28996 9 0 0 25 0 1 0 834610809 28123136 4204 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6866 4204 1111 63 0 6803 0
vsize: 27464
[startup+300.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 4336 0 0 0 29996 9 0 0 25 0 1 0 834610809 28573696 4314 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6976 4314 1111 63 0 6913 0
vsize: 27904
[startup+310.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 4446 0 0 0 30996 9 0 0 25 0 1 0 834610809 29024256 4424 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7086 4424 1111 63 0 7023 0
vsize: 28344
[startup+320.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 4557 0 0 0 31996 10 0 0 25 0 1 0 834610809 29474816 4535 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7196 4535 1111 63 0 7133 0
vsize: 28784
[startup+330.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 4666 0 0 0 32996 10 0 0 25 0 1 0 834610809 29921280 4644 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7305 4644 1111 63 0 7242 0
vsize: 29220
[startup+340.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 4783 0 0 0 33996 10 0 0 25 0 1 0 834610809 30371840 4761 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7415 4761 1111 63 0 7352 0
vsize: 29660
[startup+350.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 4892 0 0 0 34996 10 0 0 25 0 1 0 834610809 30822400 4870 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7525 4870 1111 63 0 7462 0
vsize: 30100
[startup+360.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 5015 0 0 0 35996 10 0 0 25 0 1 0 834610809 31428608 4993 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7673 4993 1111 63 0 7610 0
vsize: 30692
[startup+370.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 5124 0 0 0 36996 11 0 0 25 0 1 0 834610809 31875072 5102 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7782 5102 1111 63 0 7719 0
vsize: 31128
[startup+380.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 5235 0 0 0 37996 11 0 0 25 0 1 0 834610809 32329728 5213 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7893 5213 1111 63 0 7830 0
vsize: 31572
[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 5351 0 0 0 38996 11 0 0 25 0 1 0 834610809 32776192 5329 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8002 5329 1111 63 0 7939 0
vsize: 32008
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 5463 0 0 0 39996 11 0 0 25 0 1 0 834610809 33226752 5441 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8112 5441 1111 63 0 8049 0
vsize: 32448
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 5572 0 0 0 40996 11 0 0 25 0 1 0 834610809 33677312 5550 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8222 5550 1111 63 0 8159 0
vsize: 32888
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 5683 0 0 0 41996 11 0 0 25 0 1 0 834610809 34127872 5661 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8332 5661 1111 63 0 8269 0
vsize: 33328
[startup+430.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 5794 0 0 0 42997 11 0 0 25 0 1 0 834610809 34574336 5772 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8441 5772 1111 63 0 8378 0
vsize: 33764
[startup+440.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 5910 0 0 0 43997 11 0 0 25 0 1 0 834610809 35024896 5888 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8551 5888 1111 63 0 8488 0
vsize: 34204
[startup+450.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 6021 0 0 0 44997 12 0 0 25 0 1 0 834610809 35475456 5999 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8661 5999 1111 63 0 8598 0
vsize: 34644
[startup+460.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 6132 0 0 0 45997 12 0 0 25 0 1 0 834610809 35926016 6110 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8771 6110 1111 63 0 8708 0
vsize: 35084
[startup+470.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 6248 0 0 0 46997 12 0 0 25 0 1 0 834610809 36372480 6226 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8880 6226 1111 63 0 8817 0
vsize: 35520
[startup+480.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 6359 0 0 0 47997 12 0 0 25 0 1 0 834610809 36823040 6337 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8990 6337 1111 63 0 8927 0
vsize: 35960
[startup+490.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 6469 0 0 0 48997 12 0 0 25 0 1 0 834610809 37273600 6447 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9100 6447 1111 63 0 9037 0
vsize: 36400
[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 6586 0 0 0 49997 13 0 0 25 0 1 0 834610809 37724160 6564 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9210 6564 1111 63 0 9147 0
vsize: 36840
[startup+510.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 6695 0 0 0 50997 13 0 0 25 0 1 0 834610809 38174720 6673 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9320 6673 1111 63 0 9257 0
vsize: 37280
[startup+520.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 6807 0 0 0 51997 13 0 0 25 0 1 0 834610809 38625280 6785 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9430 6785 1111 63 0 9367 0
vsize: 37720
[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 6923 0 0 0 52997 13 0 0 25 0 1 0 834610809 39219200 6901 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9575 6901 1111 63 0 9512 0
vsize: 38300
[startup+540.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 7041 0 0 0 53997 13 0 0 25 0 1 0 834610809 39673856 7019 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9686 7019 1111 63 0 9623 0
vsize: 38744
[startup+550.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 7151 0 0 0 54998 14 0 0 25 0 1 0 834610809 40120320 7129 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9795 7129 1111 63 0 9732 0
vsize: 39180
[startup+560.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 7263 0 0 0 55998 14 0 0 25 0 1 0 834610809 40574976 7241 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9906 7241 1111 63 0 9843 0
vsize: 39624
[startup+570.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 7378 0 0 0 56998 14 0 0 25 0 1 0 834610809 41017344 7356 4294967295 134512640 134714540 3221224592 3221223248 134527972 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10014 7356 1111 63 0 9951 0
vsize: 40056
[startup+580.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 7490 0 0 0 57998 14 0 0 25 0 1 0 834610809 41472000 7468 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10125 7468 1111 63 0 10062 0
vsize: 40500
[startup+590.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 7606 0 0 0 58998 14 0 0 25 0 1 0 834610809 41918464 7584 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10234 7584 1111 63 0 10171 0
vsize: 40936
[startup+600.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 7717 0 0 0 59998 15 0 0 25 0 1 0 834610809 42373120 7695 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10345 7695 1111 63 0 10282 0
vsize: 41380
[startup+610.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 7834 0 0 0 60998 15 0 0 25 0 1 0 834610809 42815488 7812 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10453 7812 1111 63 0 10390 0
vsize: 41812
[startup+620.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 7946 0 0 0 61998 15 0 0 25 0 1 0 834610809 43270144 7924 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10564 7924 1111 63 0 10501 0
vsize: 42256
[startup+630.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 8062 0 0 0 62998 15 0 0 25 0 1 0 834610809 43868160 8040 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10710 8040 1111 63 0 10647 0
vsize: 42840
[startup+640.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 8173 0 0 0 63998 16 0 0 25 0 1 0 834610809 44318720 8151 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10820 8151 1111 63 0 10757 0
vsize: 43280
[startup+650.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 8290 0 0 0 64998 16 0 0 25 0 1 0 834610809 44765184 8268 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10929 8268 1111 63 0 10866 0
vsize: 43716
[startup+660.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 8407 0 0 0 65998 16 0 0 25 0 1 0 834610809 45215744 8385 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11039 8385 1111 63 0 10976 0
vsize: 44156
[startup+670.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 8517 0 0 0 66998 16 0 0 25 0 1 0 834610809 45666304 8495 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11149 8495 1111 63 0 11086 0
vsize: 44596
[startup+680.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 8628 0 0 0 67998 16 0 0 25 0 1 0 834610809 46116864 8606 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11259 8606 1111 63 0 11196 0
vsize: 45036
[startup+690.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 8745 0 0 0 68998 17 0 0 25 0 1 0 834610809 46567424 8723 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11369 8723 1111 63 0 11306 0
vsize: 45476
[startup+700.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 8861 0 0 0 69998 17 0 0 25 0 1 0 834610809 47017984 8839 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11479 8839 1111 63 0 11416 0
vsize: 45916
[startup+710.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 8998 0 0 0 70998 17 0 0 25 0 1 0 834610809 47808512 8976 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11672 8976 1111 63 0 11609 0
vsize: 46688
[startup+720.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 9108 0 0 0 71998 17 0 0 25 0 1 0 834610809 48259072 9086 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11782 9086 1111 63 0 11719 0
vsize: 47128
[startup+730.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 9220 0 0 0 72998 17 0 0 25 0 1 0 834610809 48709632 9198 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11892 9204 1111 63 0 11829 0
vsize: 47568
[startup+740.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 9336 0 0 0 73997 18 0 0 25 0 1 0 834610809 49156096 9314 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12001 9314 1111 63 0 11938 0
vsize: 48004
[startup+750.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 9454 0 0 0 74998 18 0 0 25 0 1 0 834610809 49610752 9432 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12112 9432 1111 63 0 12049 0
vsize: 48448
[startup+760.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 9571 0 0 0 75998 18 0 0 25 0 1 0 834610809 50057216 9549 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12221 9549 1111 63 0 12158 0
vsize: 48884
[startup+770.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 9688 0 0 0 76998 18 0 0 25 0 1 0 834610809 50507776 9666 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12331 9666 1111 63 0 12268 0
vsize: 49324
[startup+780.045 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 9798 0 0 0 77998 19 0 0 25 0 1 0 834610809 50958336 9776 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12441 9776 1111 63 0 12378 0
vsize: 49764
[startup+790.045 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 9917 0 0 0 78998 19 0 0 25 0 1 0 834610809 51560448 9895 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12588 9895 1111 63 0 12525 0
vsize: 50352
[startup+800.046 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 10028 0 0 0 79998 19 0 0 25 0 1 0 834610809 52002816 10006 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12696 10006 1111 63 0 12633 0
vsize: 50784
[startup+810.046 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 10145 0 0 0 80998 19 0 0 25 0 1 0 834610809 52457472 10123 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12807 10123 1111 63 0 12744 0
vsize: 51228
[startup+820.047 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 10261 0 0 0 81997 20 0 0 25 0 1 0 834610809 52903936 10239 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12916 10239 1111 63 0 12853 0
vsize: 51664
[startup+830.047 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 10379 0 0 0 82997 20 0 0 25 0 1 0 834610809 53358592 10357 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13027 10357 1111 63 0 12964 0
vsize: 52108
[startup+840.047 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 10496 0 0 0 83997 20 0 0 25 0 1 0 834610809 53800960 10474 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13135 10474 1111 63 0 13072 0
vsize: 52540
[startup+850.048 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 10614 0 0 0 84997 21 0 0 25 0 1 0 834610809 54403072 10592 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13282 10592 1111 63 0 13219 0
vsize: 53128
[startup+860.048 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 10730 0 0 0 85997 21 0 0 25 0 1 0 834610809 54853632 10708 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13392 10708 1111 63 0 13329 0
vsize: 53568
[startup+870.048 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 10847 0 0 0 86997 21 0 0 25 0 1 0 834610809 55304192 10825 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13502 10825 1111 63 0 13439 0
vsize: 54008
[startup+880.048 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 10959 0 0 0 87997 22 0 0 25 0 1 0 834610809 55750656 10937 4294967295 134512640 134714540 3221224592 3221223248 134527953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13611 10937 1111 63 0 13548 0
vsize: 54444
[startup+890.049 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 11077 0 0 0 88997 22 0 0 25 0 1 0 834610809 56201216 11055 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13721 11055 1111 63 0 13658 0
vsize: 54884
[startup+900.048 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 11193 0 0 0 89997 22 0 0 25 0 1 0 834610809 56651776 11171 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13831 11171 1111 63 0 13768 0
vsize: 55324
[startup+910.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 11311 0 0 0 90997 22 0 0 25 0 1 0 834610809 57253888 11289 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13978 11289 1111 63 0 13915 0
vsize: 55912
[startup+920.056 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 11430 0 0 0 91997 22 0 0 25 0 1 0 834610809 57696256 11408 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14086 11408 1111 63 0 14023 0
vsize: 56344
[startup+930.055 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 11547 0 0 0 92997 22 0 0 25 0 1 0 834610809 58122240 11525 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14190 11525 1111 63 0 14127 0
vsize: 56760
[startup+940.055 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 11659 0 0 0 93997 23 0 0 25 0 1 0 834610809 58568704 11637 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14299 11637 1111 63 0 14236 0
vsize: 57196
[startup+950.055 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 11775 0 0 0 94997 23 0 0 25 0 1 0 834610809 59019264 11753 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14409 11753 1111 63 0 14346 0
vsize: 57636
[startup+960.054 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 11894 0 0 0 95997 23 0 0 25 0 1 0 834610809 59621376 11872 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14556 11872 1111 63 0 14493 0
vsize: 58224
[startup+970.054 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 12011 0 0 0 96997 23 0 0 25 0 1 0 834610809 60071936 11989 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14666 11989 1111 63 0 14603 0
vsize: 58664
[startup+980.054 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 12129 0 0 0 97997 24 0 0 25 0 1 0 834610809 60522496 12107 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14776 12107 1111 63 0 14713 0
vsize: 59104
[startup+990.054 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 12245 0 0 0 98997 24 0 0 25 0 1 0 834610809 60968960 12223 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14885 12223 1111 63 0 14822 0
vsize: 59540
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 12364 0 0 0 99997 24 0 0 25 0 1 0 834610809 61419520 12342 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14995 12342 1111 63 0 14932 0
vsize: 59980
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 12480 0 0 0 100997 24 0 0 25 0 1 0 834610809 62017536 12458 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15141 12458 1111 63 0 15078 0
vsize: 60564
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 12599 0 0 0 101997 25 0 0 25 0 1 0 834610809 62472192 12577 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15252 12577 1111 63 0 15189 0
vsize: 61008
[startup+1030.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 12722 0 0 0 102998 25 0 0 25 0 1 0 834610809 62914560 12700 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15360 12700 1111 63 0 15297 0
vsize: 61440
[startup+1040.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 12841 0 0 0 103998 25 0 0 25 0 1 0 834610809 63369216 12819 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15471 12819 1111 63 0 15408 0
vsize: 61884
[startup+1050.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 12957 0 0 0 104998 25 0 0 25 0 1 0 834610809 63967232 12935 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15617 12935 1111 63 0 15554 0
vsize: 62468
[startup+1060.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 13076 0 0 0 105998 26 0 0 25 0 1 0 834610809 64417792 13054 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15727 13054 1111 63 0 15664 0
vsize: 62908
[startup+1070.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 13194 0 0 0 106998 26 0 0 25 0 1 0 834610809 64864256 13172 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15836 13172 1111 63 0 15773 0
vsize: 63344
[startup+1080.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 13317 0 0 0 107998 26 0 0 25 0 1 0 834610809 65314816 13295 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15946 13295 1111 63 0 15883 0
vsize: 63784
[startup+1090.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 13435 0 0 0 108998 26 0 0 25 0 1 0 834610809 65916928 13413 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16093 13413 1111 63 0 16030 0
vsize: 64372
[startup+1100.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 13553 0 0 0 109998 27 0 0 25 0 1 0 834610809 66367488 13531 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16203 13531 1111 63 0 16140 0
vsize: 64812
[startup+1110.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 13671 0 0 0 110998 27 0 0 25 0 1 0 834610809 66818048 13649 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16313 13649 1111 63 0 16250 0
vsize: 65252
[startup+1120.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 13788 0 0 0 111998 27 0 0 25 0 1 0 834610809 67264512 13766 4294967295 134512640 134714540 3221224592 3221223248 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16422 13766 1111 63 0 16359 0
vsize: 65688
[startup+1130.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 13907 0 0 0 112998 27 0 0 25 0 1 0 834610809 67715072 13885 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16532 13885 1111 63 0 16469 0
vsize: 66128
[startup+1140.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 14024 0 0 0 113998 27 0 0 25 0 1 0 834610809 68313088 14002 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16678 14002 1111 63 0 16615 0
vsize: 66712
[startup+1150.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 14148 0 0 0 114998 28 0 0 25 0 1 0 834610809 68767744 14126 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16789 14126 1111 63 0 16726 0
vsize: 67156
[startup+1160.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 14265 0 0 0 115998 28 0 0 25 0 1 0 834610809 69210112 14243 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16897 14243 1111 63 0 16834 0
vsize: 67588
[startup+1170.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 14384 0 0 0 116998 28 0 0 25 0 1 0 834610809 69664768 14362 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17008 14362 1111 63 0 16945 0
vsize: 68032
[startup+1180.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 14508 0 0 0 117998 28 0 0 25 0 1 0 834610809 70262784 14486 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17154 14486 1111 63 0 17091 0
vsize: 68616
[startup+1190.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 14626 0 0 0 118997 29 0 0 25 0 1 0 834610809 70713344 14604 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17264 14604 1111 63 0 17201 0
vsize: 69056
[startup+1200.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11341
Raw data (stat): 11341 (bsolo_mis) R 11340 4613 4612 0 -1 0 14744 0 0 0 119997 29 0 0 25 0 1 0 834610809 71159808 14722 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17373 14722 1111 63 0 17310 0
vsize: 69492
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 11341
Raw data (stat): 11341 (bsolo_mis) Z 11340 4613 4612 0 -1 1036 14744 0 0 0 119997 32 0 0 25 0 1 0 834610809 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.3
CPU user time (s): 1199.98
CPU system time (s): 0.32595
CPU usage (%): 100.017
Max. virtual memory (Kb): 69492
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####