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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit2p.opb
MD5SUM	6958cafd776838585aada2c9dcafd103
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	246163
Biggest coefficient in the objective function	10737418240
Number of bits for the biggest coefficient in the objective function	34
Sum of the numbers in the objective function	43487073153772
Number of bits of the sum of numbers in the objective function	46
Biggest number in a constraint	31729070899200
Number of bits of the biggest number in a constraint	45
Biggest sum of numbers in a constraint	103505525327531
Number of bits of the biggest sum of numbers	47
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.77058
Number of variables	293602
Total number of constraints	10500
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	10500
Minimum length of a constraint	13
Maximum length of a constraint	612
Trace number 26842

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-05-24 17:09:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=10819 boxname=wulflinc26 idbench=833 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  6958cafd776838585aada2c9dcafd103  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-fit2p.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-fit2p.opb
IDLAUNCH: 10819
/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:        406508 kB
Buffers:         34756 kB
Cached:         561876 kB
SwapCached:        680 kB
Active:          70888 kB
Inactive:       528380 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        406256 kB
SwapTotal:     2097892 kB
SwapFree:      2096880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6032 kB
Slab:            23220 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 17:29:45 (client local time) WITH STATUS 0 IN 1200.32 SECONDS
stats: 10819 7 1200.32 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.88 0.94 0.96 2/54 22336
Raw data (stat): 22336 (runsolver) R 22335 20687 20686 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831933775 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.0008 s]
Raw data (loadavg): 0.89 0.94 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 1678 0 0 0 992 6 0 0 25 0 1 0 831933775 15351808 1656 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3748 1656 1111 63 0 3685 0
vsize: 14992
[startup+20.0014 s]
Raw data (loadavg): 0.91 0.94 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 1742 0 0 0 1993 6 0 0 25 0 1 0 831933775 15638528 1720 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3818 1720 1111 63 0 3755 0
vsize: 15272
[startup+30.0021 s]
Raw data (loadavg): 0.92 0.94 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 1815 0 0 0 2993 6 0 0 25 0 1 0 831933775 15933440 1793 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3890 1793 1111 63 0 3827 0
vsize: 15560
[startup+40.0227 s]
Raw data (loadavg): 0.93 0.95 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 1891 0 0 0 3995 7 0 0 25 0 1 0 831933775 16228352 1869 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3962 1869 1111 63 0 3899 0
vsize: 15848
[startup+50.0225 s]
Raw data (loadavg): 0.94 0.95 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 1956 0 0 0 4995 7 0 0 25 0 1 0 831933775 16515072 1934 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4032 1934 1111 63 0 3969 0
vsize: 16128
[startup+60.0221 s]
Raw data (loadavg): 0.95 0.95 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 2027 0 0 0 5995 7 0 0 25 0 1 0 831933775 16805888 2005 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4103 2005 1111 63 0 4040 0
vsize: 16412
[startup+70.0218 s]
Raw data (loadavg): 0.96 0.95 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 2105 0 0 0 6995 7 0 0 25 0 1 0 831933775 17104896 2083 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4176 2083 1111 63 0 4113 0
vsize: 16704
[startup+80.0225 s]
Raw data (loadavg): 0.96 0.95 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 2170 0 0 0 7995 7 0 0 25 0 1 0 831933775 17391616 2148 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4246 2148 1111 63 0 4183 0
vsize: 16984
[startup+90.0222 s]
Raw data (loadavg): 0.97 0.95 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 2244 0 0 0 8995 8 0 0 25 0 1 0 831933775 17666048 2222 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4313 2222 1111 63 0 4250 0
vsize: 17252
[startup+100.022 s]
Raw data (loadavg): 0.97 0.95 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 2322 0 0 0 9995 8 0 0 25 0 1 0 831933775 17965056 2300 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4386 2300 1111 63 0 4323 0
vsize: 17544
[startup+110.023 s]
Raw data (loadavg): 0.98 0.95 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 2387 0 0 0 10995 8 0 0 25 0 1 0 831933775 18251776 2365 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4456 2365 1111 63 0 4393 0
vsize: 17824
[startup+120.023 s]
Raw data (loadavg): 0.98 0.95 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 2458 0 0 0 11995 8 0 0 25 0 1 0 831933775 18538496 2436 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4526 2436 1111 63 0 4463 0
vsize: 18104
[startup+130.023 s]
Raw data (loadavg): 0.98 0.95 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 2535 0 0 0 12995 8 0 0 25 0 1 0 831933775 18833408 2513 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4598 2513 1111 63 0 4535 0
vsize: 18392
[startup+140.023 s]
Raw data (loadavg): 0.98 0.95 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 2601 0 0 0 13995 8 0 0 25 0 1 0 831933775 19128320 2579 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4670 2579 1111 63 0 4607 0
vsize: 18680
[startup+150.022 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 2672 0 0 0 14995 8 0 0 25 0 1 0 831933775 19415040 2650 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4740 2650 1111 63 0 4677 0
vsize: 18960
[startup+160.022 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 2748 0 0 0 15995 8 0 0 25 0 1 0 831933775 19709952 2726 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4812 2726 1111 63 0 4749 0
vsize: 19248
[startup+170.022 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 2820 0 0 0 16995 9 0 0 25 0 1 0 831933775 19988480 2798 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4880 2798 1111 63 0 4817 0
vsize: 19520
[startup+180.023 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 2891 0 0 0 17995 9 0 0 25 0 1 0 831933775 20291584 2869 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4954 2869 1111 63 0 4891 0
vsize: 19816
[startup+190.023 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 2967 0 0 0 18995 9 0 0 25 0 1 0 831933775 20578304 2945 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5024 2945 1111 63 0 4961 0
vsize: 20096
[startup+200.023 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 3032 0 0 0 19995 9 0 0 25 0 1 0 831933775 20865024 3010 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5094 3010 1111 63 0 5031 0
vsize: 20376
[startup+210.023 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 3105 0 0 0 20995 9 0 0 25 0 1 0 831933775 21168128 3083 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5168 3083 1111 63 0 5105 0
vsize: 20672
[startup+220.023 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 3181 0 0 0 21996 9 0 0 25 0 1 0 831933775 21454848 3159 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5238 3159 1111 63 0 5175 0
vsize: 20952
[startup+230.024 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 3246 0 0 0 22996 9 0 0 25 0 1 0 831933775 21741568 3224 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5308 3224 1111 63 0 5245 0
vsize: 21232
[startup+240.031 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 3326 0 0 0 23996 9 0 0 25 0 1 0 831933775 22036480 3304 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5380 3304 1111 63 0 5317 0
vsize: 21520
[startup+250.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 3396 0 0 0 24996 9 0 0 25 0 1 0 831933775 22331392 3374 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5452 3374 1111 63 0 5389 0
vsize: 21808
[startup+260.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 3461 0 0 0 25996 10 0 0 25 0 1 0 831933775 22618112 3439 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5522 3439 1111 63 0 5459 0
vsize: 22088
[startup+270.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 3538 0 0 0 26996 10 0 0 25 0 1 0 831933775 22913024 3516 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5594 3516 1111 63 0 5531 0
vsize: 22376
[startup+280.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 3610 0 0 0 27997 10 0 0 25 0 1 0 831933775 23207936 3588 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5666 3588 1111 63 0 5603 0
vsize: 22664
[startup+290.036 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 3681 0 0 0 28996 11 0 0 25 0 1 0 831933775 23494656 3659 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5736 3659 1111 63 0 5673 0
vsize: 22944
[startup+300.036 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 3752 0 0 0 29996 11 0 0 25 0 1 0 831933775 23789568 3730 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5808 3730 1111 63 0 5745 0
vsize: 23232
[startup+310.036 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 3831 0 0 0 30996 11 0 0 25 0 1 0 831933775 24076288 3809 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5878 3809 1111 63 0 5815 0
vsize: 23512
[startup+320.036 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 3906 0 0 0 31997 11 0 0 25 0 1 0 831933775 24522752 3884 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5987 3884 1111 63 0 5924 0
vsize: 23948
[startup+330.037 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 3974 0 0 0 32996 12 0 0 25 0 1 0 831933775 24797184 3952 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6054 3952 1111 63 0 5991 0
vsize: 24216
[startup+340.036 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 4051 0 0 0 33996 12 0 0 25 0 1 0 831933775 25088000 4029 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6125 4029 1111 63 0 6062 0
vsize: 24500
[startup+350.036 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 4117 0 0 0 34996 12 0 0 25 0 1 0 831933775 25387008 4095 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6198 4095 1111 63 0 6135 0
vsize: 24792
[startup+360.053 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 4194 0 0 0 35998 12 0 0 25 0 1 0 831933775 25673728 4172 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6268 4172 1111 63 0 6205 0
vsize: 25072
[startup+370.053 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 4265 0 0 0 36998 13 0 0 25 0 1 0 831933775 25964544 4243 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6339 4243 1111 63 0 6276 0
vsize: 25356
[startup+380.054 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 4332 0 0 0 37998 13 0 0 25 0 1 0 831933775 26255360 4310 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6410 4310 1111 63 0 6347 0
vsize: 25640
[startup+390.055 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 4408 0 0 0 38998 13 0 0 25 0 1 0 831933775 26550272 4386 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6482 4386 1111 63 0 6419 0
vsize: 25928
[startup+400.054 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 4481 0 0 0 39998 13 0 0 25 0 1 0 831933775 26841088 4459 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6553 4459 1111 63 0 6490 0
vsize: 26212
[startup+410.054 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 4552 0 0 0 40998 13 0 0 25 0 1 0 831933775 27131904 4530 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6624 4530 1111 63 0 6561 0
vsize: 26496
[startup+420.054 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 4625 0 0 0 41998 13 0 0 25 0 1 0 831933775 27426816 4603 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6696 4603 1111 63 0 6633 0
vsize: 26784
[startup+430.055 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 4696 0 0 0 42998 14 0 0 25 0 1 0 831933775 27717632 4674 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6767 4674 1111 63 0 6704 0
vsize: 27068
[startup+440.055 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 4766 0 0 0 43998 14 0 0 25 0 1 0 831933775 28008448 4744 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6838 4744 1111 63 0 6775 0
vsize: 27352
[startup+450.055 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 4839 0 0 0 44998 14 0 0 25 0 1 0 831933775 28299264 4817 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6909 4817 1111 63 0 6846 0
vsize: 27636
[startup+460.055 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 4910 0 0 0 45998 15 0 0 25 0 1 0 831933775 28594176 4888 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6981 4888 1111 63 0 6918 0
vsize: 27924
[startup+470.055 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 4987 0 0 0 46997 15 0 0 25 0 1 0 831933775 28884992 4965 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7052 4965 1111 63 0 6989 0
vsize: 28208
[startup+480.056 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 5054 0 0 0 47997 15 0 0 25 0 1 0 831933775 29175808 5032 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7123 5032 1111 63 0 7060 0
vsize: 28492
[startup+490.056 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 5132 0 0 0 48997 15 0 0 25 0 1 0 831933775 29466624 5110 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7194 5110 1111 63 0 7131 0
vsize: 28776
[startup+500.055 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 5203 0 0 0 49997 16 0 0 25 0 1 0 831933775 29761536 5181 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7266 5181 1111 63 0 7203 0
vsize: 29064
[startup+510.055 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 5268 0 0 0 50997 16 0 0 25 0 1 0 831933775 30052352 5246 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7337 5246 1111 63 0 7274 0
vsize: 29348
[startup+520.055 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 5347 0 0 0 51997 16 0 0 25 0 1 0 831933775 30339072 5325 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7407 5325 1111 63 0 7344 0
vsize: 29628
[startup+530.055 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 5423 0 0 0 52997 16 0 0 25 0 1 0 831933775 30638080 5401 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7480 5401 1111 63 0 7417 0
vsize: 29920
[startup+540.069 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 5488 0 0 0 53999 16 0 0 25 0 1 0 831933775 30924800 5466 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7550 5466 1111 63 0 7487 0
vsize: 30200
[startup+550.068 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 5565 0 0 0 54999 16 0 0 25 0 1 0 831933775 31215616 5543 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7621 5543 1111 63 0 7558 0
vsize: 30484
[startup+560.067 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 5638 0 0 0 55999 17 0 0 25 0 1 0 831933775 31514624 5616 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7694 5616 1111 63 0 7631 0
vsize: 30776
[startup+570.067 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 5709 0 0 0 56999 17 0 0 25 0 1 0 831933775 31801344 5687 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7764 5687 1111 63 0 7701 0
vsize: 31056
[startup+580.068 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 5780 0 0 0 57999 17 0 0 25 0 1 0 831933775 32092160 5758 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7835 5758 1111 63 0 7772 0
vsize: 31340
[startup+590.068 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 5852 0 0 0 58999 17 0 0 25 0 1 0 831933775 32382976 5830 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7906 5830 1111 63 0 7843 0
vsize: 31624
[startup+600.097 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 5929 0 0 0 60002 17 0 0 25 0 1 0 831933775 32677888 5907 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7978 5907 1111 63 0 7915 0
vsize: 31912
[startup+610.097 s]
Raw data (loadavg): 1.07 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 5994 0 0 0 61002 17 0 0 25 0 1 0 831933775 32968704 5972 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8049 5972 1111 63 0 7986 0
vsize: 32196
[startup+620.096 s]
Raw data (loadavg): 1.06 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 6071 0 0 0 62002 17 0 0 25 0 1 0 831933775 33259520 6049 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8120 6049 1111 63 0 8057 0
vsize: 32480
[startup+630.097 s]
Raw data (loadavg): 1.05 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 6144 0 0 0 63002 18 0 0 25 0 1 0 831933775 33554432 6122 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8192 6122 1111 63 0 8129 0
vsize: 32768
[startup+640.098 s]
Raw data (loadavg): 1.04 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 6226 0 0 0 64002 18 0 0 25 0 1 0 831933775 34025472 6204 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8307 6204 1111 63 0 8244 0
vsize: 33228
[startup+650.097 s]
Raw data (loadavg): 1.03 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 6297 0 0 0 65002 18 0 0 25 0 1 0 831933775 34316288 6275 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8378 6275 1111 63 0 8315 0
vsize: 33512
[startup+660.097 s]
Raw data (loadavg): 1.03 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 6376 0 0 0 66002 18 0 0 25 0 1 0 831933775 34615296 6354 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8451 6354 1111 63 0 8388 0
vsize: 33804
[startup+670.098 s]
Raw data (loadavg): 1.02 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 6441 0 0 0 67002 18 0 0 25 0 1 0 831933775 34902016 6419 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8521 6419 1111 63 0 8458 0
vsize: 34084
[startup+680.099 s]
Raw data (loadavg): 1.02 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 6519 0 0 0 68002 19 0 0 25 0 1 0 831933775 35192832 6497 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8592 6497 1111 63 0 8529 0
vsize: 34368
[startup+690.098 s]
Raw data (loadavg): 1.02 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 6590 0 0 0 69002 19 0 0 25 0 1 0 831933775 35483648 6568 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8663 6568 1111 63 0 8600 0
vsize: 34652
[startup+700.098 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 6668 0 0 0 70002 19 0 0 25 0 1 0 831933775 35778560 6646 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8735 6646 1111 63 0 8672 0
vsize: 34940
[startup+710.099 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 6733 0 0 0 71002 19 0 0 25 0 1 0 831933775 36065280 6711 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8805 6711 1111 63 0 8742 0
vsize: 35220
[startup+720.099 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 6811 0 0 0 72002 19 0 0 25 0 1 0 831933775 36360192 6789 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8877 6789 1111 63 0 8814 0
vsize: 35508
[startup+730.099 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 6884 0 0 0 73002 20 0 0 25 0 1 0 831933775 36646912 6862 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8947 6862 1111 63 0 8884 0
vsize: 35788
[startup+740.1 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 6955 0 0 0 74002 20 0 0 25 0 1 0 831933775 36941824 6933 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9019 6933 1111 63 0 8956 0
vsize: 36076
[startup+750.099 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 7026 0 0 0 75002 20 0 0 25 0 1 0 831933775 37236736 7004 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9091 7004 1111 63 0 9028 0
vsize: 36364
[startup+760.099 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 7104 0 0 0 76002 20 0 0 25 0 1 0 831933775 37523456 7082 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9161 7082 1111 63 0 9098 0
vsize: 36644
[startup+770.099 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 7176 0 0 0 77001 21 0 0 25 0 1 0 831933775 37818368 7154 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9233 7154 1111 63 0 9170 0
vsize: 36932
[startup+780.1 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 7248 0 0 0 78001 21 0 0 25 0 1 0 831933775 38113280 7226 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9305 7226 1111 63 0 9242 0
vsize: 37220
[startup+790.1 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 7319 0 0 0 79001 21 0 0 25 0 1 0 831933775 38400000 7297 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9375 7297 1111 63 0 9312 0
vsize: 37500
[startup+800.1 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 7398 0 0 0 80001 22 0 0 25 0 1 0 831933775 38842368 7376 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9483 7376 1111 63 0 9420 0
vsize: 37932
[startup+810.1 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 7463 0 0 0 81001 22 0 0 25 0 1 0 831933775 38989824 7441 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9519 7441 1111 63 0 9456 0
vsize: 38076
[startup+820.1 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 7540 0 0 0 82001 22 0 0 25 0 1 0 831933775 39424000 7518 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9625 7518 1111 63 0 9562 0
vsize: 38500
[startup+830.101 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 7617 0 0 0 83001 22 0 0 25 0 1 0 831933775 39710720 7595 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9695 7595 1111 63 0 9632 0
vsize: 38780
[startup+840.101 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 7685 0 0 0 84001 23 0 0 25 0 1 0 831933775 40009728 7663 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9768 7663 1111 63 0 9705 0
vsize: 39072
[startup+850.1 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 7762 0 0 0 85001 23 0 0 25 0 1 0 831933775 40300544 7740 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9839 7740 1111 63 0 9776 0
vsize: 39356
[startup+860.1 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 7833 0 0 0 86001 23 0 0 25 0 1 0 831933775 40587264 7811 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9909 7811 1111 63 0 9846 0
vsize: 39636
[startup+870.1 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 7906 0 0 0 87001 23 0 0 25 0 1 0 831933775 40886272 7884 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9982 7884 1111 63 0 9919 0
vsize: 39928
[startup+880.1 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 7978 0 0 0 88000 23 0 0 25 0 1 0 831933775 41177088 7956 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10053 7956 1111 63 0 9990 0
vsize: 40212
[startup+890.1 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 8055 0 0 0 89000 24 0 0 25 0 1 0 831933775 41463808 8033 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10123 8033 1111 63 0 10060 0
vsize: 40492
[startup+900.1 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 8133 0 0 0 90000 24 0 0 25 0 1 0 831933775 41758720 8111 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10195 8111 1111 63 0 10132 0
vsize: 40780
[startup+910.1 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 8198 0 0 0 91000 24 0 0 25 0 1 0 831933775 42049536 8176 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10266 8176 1111 63 0 10203 0
vsize: 41064
[startup+920.1 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 8276 0 0 0 92000 24 0 0 25 0 1 0 831933775 42340352 8254 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10337 8254 1111 63 0 10274 0
vsize: 41348
[startup+930.101 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 8348 0 0 0 93000 24 0 0 25 0 1 0 831933775 42631168 8326 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10408 8326 1111 63 0 10345 0
vsize: 41632
[startup+940.1 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 8420 0 0 0 94000 25 0 0 25 0 1 0 831933775 42926080 8398 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10480 8398 1111 63 0 10417 0
vsize: 41920
[startup+950.1 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 8492 0 0 0 95000 25 0 0 25 0 1 0 831933775 43216896 8470 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10551 8470 1111 63 0 10488 0
vsize: 42204
[startup+960.1 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 8569 0 0 0 96000 25 0 0 25 0 1 0 831933775 43507712 8547 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10622 8547 1111 63 0 10559 0
vsize: 42488
[startup+970.099 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 8642 0 0 0 97000 25 0 0 25 0 1 0 831933775 43798528 8620 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10693 8620 1111 63 0 10630 0
vsize: 42772
[startup+980.1 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 8713 0 0 0 98000 25 0 0 25 0 1 0 831933775 44093440 8691 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10765 8691 1111 63 0 10702 0
vsize: 43060
[startup+990.101 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 8790 0 0 0 99000 25 0 0 25 0 1 0 831933775 44527616 8768 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10871 8768 1111 63 0 10808 0
vsize: 43484
[startup+1000.1 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 8862 0 0 0 100000 25 0 0 25 0 1 0 831933775 44814336 8840 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10941 8840 1111 63 0 10878 0
vsize: 43764
[startup+1010.1 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 8941 0 0 0 101000 26 0 0 25 0 1 0 831933775 45117440 8919 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11015 8919 1111 63 0 10952 0
vsize: 44060
[startup+1020.1 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 9006 0 0 0 102000 26 0 0 25 0 1 0 831933775 45404160 8984 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11085 8984 1111 63 0 11022 0
vsize: 44340
[startup+1030.1 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 9084 0 0 0 103000 26 0 0 25 0 1 0 831933775 45690880 9062 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11155 9062 1111 63 0 11092 0
vsize: 44620
[startup+1040.1 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 9163 0 0 0 104000 27 0 0 25 0 1 0 831933775 45993984 9141 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11229 9141 1111 63 0 11166 0
vsize: 44916
[startup+1050.1 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 9228 0 0 0 105000 27 0 0 25 0 1 0 831933775 46280704 9206 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11299 9206 1111 63 0 11236 0
vsize: 45196
[startup+1060.1 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 9305 0 0 0 106000 27 0 0 25 0 1 0 831933775 46567424 9283 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11369 9283 1111 63 0 11306 0
vsize: 45476
[startup+1070.1 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 9376 0 0 0 107000 27 0 0 25 0 1 0 831933775 46862336 9354 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11441 9354 1111 63 0 11378 0
vsize: 45764
[startup+1080.1 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 9456 0 0 0 108000 27 0 0 25 0 1 0 831933775 47157248 9434 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11513 9434 1111 63 0 11450 0
vsize: 46052
[startup+1090.1 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 9521 0 0 0 109000 28 0 0 25 0 1 0 831933775 47443968 9499 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11583 9499 1111 63 0 11520 0
vsize: 46332
[startup+1100.1 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 9598 0 0 0 110000 28 0 0 25 0 1 0 831933775 47738880 9576 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11655 9576 1111 63 0 11592 0
vsize: 46620
[startup+1110.1 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 9677 0 0 0 111000 28 0 0 25 0 1 0 831933775 48033792 9655 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11727 9655 1111 63 0 11664 0
vsize: 46908
[startup+1120.1 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 9742 0 0 0 112000 28 0 0 25 0 1 0 831933775 48320512 9720 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11797 9720 1111 63 0 11734 0
vsize: 47188
[startup+1130.1 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 9820 0 0 0 113000 28 0 0 25 0 1 0 831933775 48615424 9798 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11869 9798 1111 63 0 11806 0
vsize: 47476
[startup+1140.1 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 9892 0 0 0 114000 28 0 0 25 0 1 0 831933775 48902144 9870 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11939 9870 1111 63 0 11876 0
vsize: 47756
[startup+1150.1 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 9970 0 0 0 115000 29 0 0 25 0 1 0 831933775 49344512 9948 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12047 9948 1111 63 0 11984 0
vsize: 48188
[startup+1160.1 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 10036 0 0 0 116000 29 0 0 25 0 1 0 831933775 49491968 10014 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12083 10014 1111 63 0 12020 0
vsize: 48332
[startup+1170.1 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 10113 0 0 0 117000 29 0 0 25 0 1 0 831933775 49926144 10091 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12189 10091 1111 63 0 12126 0
vsize: 48756
[startup+1180.1 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 10191 0 0 0 118000 29 0 0 25 0 1 0 831933775 50221056 10169 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12261 10169 1111 63 0 12198 0
vsize: 49044
[startup+1190.1 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 10263 0 0 0 119000 29 0 0 25 0 1 0 831933775 50515968 10241 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12333 10241 1111 63 0 12270 0
vsize: 49332
[startup+1200.1 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22336
Raw data (stat): 22336 (bsolo_mis) R 22335 20687 20686 0 -1 0 10334 0 0 0 120000 29 0 0 25 0 1 0 831933775 50802688 10312 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12403 10312 1111 63 0 12340 0
vsize: 49612
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.12 s]
Raw data (loadavg): 1.00 0.99 0.96 1/54 22336
Raw data (stat): 22336 (bsolo_mis) Z 22335 20687 20686 0 -1 1036 10334 0 0 0 120000 31 0 0 25 0 1 0 831933775 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.12
CPU time (s): 1200.32
CPU user time (s): 1200.01
CPU system time (s): 0.315951
CPU usage (%): 100.017
Max. virtual memory (Kb): 49612
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####