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-n3705.opb
MD5SUM	8eea845826d64e6d5753fad916c185c9
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	29593306649763
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	29593306649763
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.43278
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 28183

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-05-25 00:56:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14069 boxname=wulflinc29 idbench=1083 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  8eea845826d64e6d5753fad916c185c9  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-n3705.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-n3705.opb
IDLAUNCH: 14069
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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.020
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:        350424 kB
Buffers:         32416 kB
Cached:         621852 kB
SwapCached:        776 kB
Active:          67716 kB
Inactive:       592288 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        350172 kB
SwapTotal:     2097892 kB
SwapFree:      2096724 kB
Dirty:          165036 kB
Writeback:           0 kB
Mapped:           5644 kB
Slab:            18640 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 01:16:15 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 14069 7 1200.24 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): 1.47 1.13 1.00 2/54 25315
Raw data (stat): 25315 (runsolver) R 25314 20001 20000 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834722106 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.0006 s]
Raw data (loadavg): 1.40 1.12 1.00 2/54 25315
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 1146 0 0 0 995 4 0 0 25 0 1 0 834722106 15507456 1124 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3786 1124 1111 63 0 3723 0
vsize: 15144
[startup+20.0015 s]
Raw data (loadavg): 1.34 1.12 1.00 2/54 25315
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 1250 0 0 0 1994 4 0 0 25 0 1 0 834722106 15958016 1228 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3896 1228 1111 63 0 3833 0
vsize: 15584
[startup+30.0023 s]
Raw data (loadavg): 1.28 1.11 1.00 2/54 25315
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 1359 0 0 0 2994 5 0 0 25 0 1 0 834722106 16404480 1337 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4005 1337 1111 63 0 3942 0
vsize: 16020
[startup+40.003 s]
Raw data (loadavg): 1.24 1.11 1.00 2/54 25315
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 1469 0 0 0 3993 6 0 0 25 0 1 0 834722106 16830464 1447 4294967295 134512640 134714540 3221224592 3221222820 1077414388 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.0036 s]
Raw data (loadavg): 1.20 1.11 1.00 2/54 25315
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 1575 0 0 0 4993 6 0 0 25 0 1 0 834722106 17256448 1553 4294967295 134512640 134714540 3221224592 3221222820 1077414399 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.0034 s]
Raw data (loadavg): 1.17 1.10 1.00 2/54 25315
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 1685 0 0 0 5993 6 0 0 25 0 1 0 834722106 17711104 1663 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4324 1663 1111 63 0 4261 0
vsize: 17296
[startup+70.0032 s]
Raw data (loadavg): 1.14 1.10 1.00 2/54 25315
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 1794 0 0 0 6992 7 0 0 25 0 1 0 834722106 18157568 1772 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4433 1772 1111 63 0 4370 0
vsize: 17732
[startup+80.0075 s]
Raw data (loadavg): 1.12 1.09 1.00 2/54 25315
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 1904 0 0 0 7991 7 0 0 25 0 1 0 834722106 18608128 1882 4294967295 134512640 134714540 3221224592 3221222820 1077414388 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.0077 s]
Raw data (loadavg): 1.10 1.09 1.00 2/54 25315
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 2013 0 0 0 8991 8 0 0 25 0 1 0 834722106 19058688 1991 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4653 1991 1111 63 0 4590 0
vsize: 18612
[startup+100.008 s]
Raw data (loadavg): 1.09 1.09 1.00 2/54 25315
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 2122 0 0 0 9991 8 0 0 25 0 1 0 834722106 19480576 2100 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4756 2100 1111 63 0 4693 0
vsize: 19024
[startup+110.01 s]
Raw data (loadavg): 1.07 1.08 1.00 2/54 25315
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 2238 0 0 0 10991 8 0 0 25 0 1 0 834722106 19922944 2216 4294967295 134512640 134714540 3221224592 3221222820 1077414345 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.009 s]
Raw data (loadavg): 1.06 1.08 1.00 2/54 25315
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 2342 0 0 0 11991 8 0 0 25 0 1 0 834722106 20373504 2320 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4974 2320 1111 63 0 4911 0
vsize: 19896
[startup+130.01 s]
Raw data (loadavg): 1.05 1.08 1.00 2/54 25315
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 2451 0 0 0 12991 9 0 0 25 0 1 0 834722106 20819968 2429 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5083 2429 1111 63 0 5020 0
vsize: 20332
[startup+140.012 s]
Raw data (loadavg): 1.04 1.07 1.00 2/54 25315
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 2561 0 0 0 13991 9 0 0 25 0 1 0 834722106 21270528 2539 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5193 2539 1111 63 0 5130 0
vsize: 20772
[startup+150.012 s]
Raw data (loadavg): 1.04 1.07 1.00 2/54 25315
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 2670 0 0 0 14991 9 0 0 25 0 1 0 834722106 21721088 2648 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5303 2648 1111 63 0 5240 0
vsize: 21212
[startup+160.012 s]
Raw data (loadavg): 1.03 1.07 1.00 2/54 25315
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 2781 0 0 0 15991 9 0 0 25 0 1 0 834722106 22171648 2759 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5413 2759 1111 63 0 5350 0
vsize: 21652
[startup+170.012 s]
Raw data (loadavg): 1.02 1.07 1.00 2/54 25315
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 2884 0 0 0 16991 10 0 0 25 0 1 0 834722106 22618112 2862 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5522 2862 1111 63 0 5459 0
vsize: 22088
[startup+180.013 s]
Raw data (loadavg): 1.02 1.06 1.00 2/54 25315
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 3005 0 0 0 17991 10 0 0 25 0 1 0 834722106 23068672 2983 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5632 2983 1111 63 0 5569 0
vsize: 22528
[startup+190.012 s]
Raw data (loadavg): 1.02 1.06 1.00 2/54 25315
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 3110 0 0 0 18991 10 0 0 25 0 1 0 834722106 23506944 3088 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5739 3088 1111 63 0 5676 0
vsize: 22956
[startup+200.013 s]
Raw data (loadavg): 1.01 1.06 1.00 2/54 25315
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 3220 0 0 0 19991 10 0 0 25 0 1 0 834722106 23953408 3198 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5848 3198 1111 63 0 5785 0
vsize: 23392
[startup+210.013 s]
Raw data (loadavg): 1.01 1.06 1.00 2/54 25315
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 3329 0 0 0 20991 10 0 0 25 0 1 0 834722106 24408064 3307 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5959 3307 1111 63 0 5896 0
vsize: 23836
[startup+220.013 s]
Raw data (loadavg): 1.01 1.05 1.00 2/54 25315
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 3440 0 0 0 21991 11 0 0 25 0 1 0 834722106 24850432 3418 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6067 3418 1111 63 0 6004 0
vsize: 24268
[startup+230.016 s]
Raw data (loadavg): 1.01 1.05 1.00 2/54 25315
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 3550 0 0 0 22990 12 0 0 25 0 1 0 834722106 25276416 3528 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6171 3528 1111 63 0 6108 0
vsize: 24684
[startup+240.016 s]
Raw data (loadavg): 1.08 1.07 1.00 2/54 25368
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 3661 0 0 0 23990 12 0 0 25 0 1 0 834722106 25722880 3639 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6280 3639 1111 63 0 6217 0
vsize: 25120
[startup+250.017 s]
Raw data (loadavg): 1.07 1.06 1.00 2/54 25368
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 3770 0 0 0 24990 13 0 0 25 0 1 0 834722106 26173440 3748 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6390 3748 1111 63 0 6327 0
vsize: 25560
[startup+260.017 s]
Raw data (loadavg): 1.06 1.06 1.00 2/54 25368
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 3881 0 0 0 25990 13 0 0 25 0 1 0 834722106 26624000 3859 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6500 3859 1111 63 0 6437 0
vsize: 26000
[startup+270.016 s]
Raw data (loadavg): 1.05 1.06 1.00 2/54 25368
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 3992 0 0 0 26989 13 0 0 25 0 1 0 834722106 27074560 3970 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6610 3970 1111 63 0 6547 0
vsize: 26440
[startup+280.016 s]
Raw data (loadavg): 1.04 1.06 1.00 2/54 25368
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 4102 0 0 0 27989 14 0 0 25 0 1 0 834722106 27521024 4080 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6719 4080 1111 63 0 6656 0
vsize: 26876
[startup+290.017 s]
Raw data (loadavg): 1.03 1.05 1.00 2/54 25368
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 4211 0 0 0 28989 14 0 0 25 0 1 0 834722106 27971584 4189 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6829 4189 1111 63 0 6766 0
vsize: 27316
[startup+300.017 s]
Raw data (loadavg): 1.03 1.05 1.00 2/54 25368
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 4322 0 0 0 29989 14 0 0 25 0 1 0 834722106 28422144 4300 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6939 4300 1111 63 0 6876 0
vsize: 27756
[startup+310.017 s]
Raw data (loadavg): 1.02 1.05 1.00 2/54 25370
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 4432 0 0 0 30989 15 0 0 25 0 1 0 834722106 28872704 4410 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7049 4410 1111 63 0 6986 0
vsize: 28196
[startup+320.017 s]
Raw data (loadavg): 1.02 1.05 1.00 2/54 25370
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 4542 0 0 0 31989 15 0 0 25 0 1 0 834722106 29319168 4520 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7158 4520 1111 63 0 7095 0
vsize: 28632
[startup+330.017 s]
Raw data (loadavg): 1.02 1.05 1.00 2/54 25370
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 4651 0 0 0 32989 15 0 0 25 0 1 0 834722106 29769728 4629 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7268 4629 1111 63 0 7205 0
vsize: 29072
[startup+340.017 s]
Raw data (loadavg): 1.01 1.04 1.00 2/54 25370
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 4762 0 0 0 33989 15 0 0 25 0 1 0 834722106 30220288 4740 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7378 4740 1111 63 0 7315 0
vsize: 29512
[startup+350.018 s]
Raw data (loadavg): 1.01 1.04 1.00 2/54 25370
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 4871 0 0 0 34988 16 0 0 25 0 1 0 834722106 30670848 4849 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7488 4849 1111 63 0 7425 0
vsize: 29952
[startup+360.018 s]
Raw data (loadavg): 1.01 1.04 1.00 2/54 25370
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 4993 0 0 0 35988 17 0 0 25 0 1 0 834722106 31277056 4971 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7636 4971 1111 63 0 7573 0
vsize: 30544
[startup+370.018 s]
Raw data (loadavg): 1.01 1.04 1.00 2/54 25370
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 5103 0 0 0 36988 17 0 0 25 0 1 0 834722106 31727616 5081 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7746 5081 1111 63 0 7683 0
vsize: 30984
[startup+380.018 s]
Raw data (loadavg): 1.00 1.04 1.00 2/54 25370
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 5219 0 0 0 37988 17 0 0 25 0 1 0 834722106 32174080 5197 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7855 5197 1111 63 0 7792 0
vsize: 31420
[startup+390.018 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 25370
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 5329 0 0 0 38988 17 0 0 25 0 1 0 834722106 32624640 5307 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7965 5307 1111 63 0 7902 0
vsize: 31860
[startup+400.019 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 25370
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 5440 0 0 0 39988 17 0 0 25 0 1 0 834722106 33075200 5418 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8075 5418 1111 63 0 8012 0
vsize: 32300
[startup+410.019 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 25370
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 5550 0 0 0 40988 18 0 0 25 0 1 0 834722106 33525760 5528 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8185 5528 1111 63 0 8122 0
vsize: 32740
[startup+420.018 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 25370
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 5661 0 0 0 41987 18 0 0 25 0 1 0 834722106 33972224 5639 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8294 5639 1111 63 0 8231 0
vsize: 33176
[startup+430.018 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 25370
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 5771 0 0 0 42987 18 0 0 25 0 1 0 834722106 34422784 5749 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8404 5749 1111 63 0 8341 0
vsize: 33616
[startup+440.018 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 25370
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 5882 0 0 0 43987 19 0 0 25 0 1 0 834722106 34873344 5860 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8514 5860 1111 63 0 8451 0
vsize: 34056
[startup+450.019 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 25370
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 5999 0 0 0 44987 19 0 0 25 0 1 0 834722106 35323904 5977 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8624 5977 1111 63 0 8561 0
vsize: 34496
[startup+460.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 25370
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 6109 0 0 0 45987 19 0 0 25 0 1 0 834722106 35770368 6087 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8733 6087 1111 63 0 8670 0
vsize: 34932
[startup+470.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 25370
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 6219 0 0 0 46986 20 0 0 25 0 1 0 834722106 36225024 6197 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8844 6197 1111 63 0 8781 0
vsize: 35376
[startup+480.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 25370
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 6337 0 0 0 47986 20 0 0 25 0 1 0 834722106 36823040 6315 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8990 6315 1111 63 0 8927 0
vsize: 35960
[startup+490.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 25370
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 6446 0 0 0 48986 20 0 0 25 0 1 0 834722106 37273600 6424 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9100 6424 1111 63 0 9037 0
vsize: 36400
[startup+500.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 25370
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 6557 0 0 0 49986 20 0 0 25 0 1 0 834722106 37724160 6535 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9210 6535 1111 63 0 9147 0
vsize: 36840
[startup+510.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 25370
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 6666 0 0 0 50986 21 0 0 25 0 1 0 834722106 38174720 6644 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9320 6644 1111 63 0 9257 0
vsize: 37280
[startup+520.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 25370
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 6778 0 0 0 51986 21 0 0 25 0 1 0 834722106 38625280 6756 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9430 6756 1111 63 0 9367 0
vsize: 37720
[startup+530.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 25370
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 6894 0 0 0 52986 21 0 0 25 0 1 0 834722106 39071744 6872 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9539 6872 1111 63 0 9476 0
vsize: 38156
[startup+540.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 25370
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 7006 0 0 0 53986 22 0 0 25 0 1 0 834722106 39522304 6984 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9649 6984 1111 63 0 9586 0
vsize: 38596
[startup+550.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 25370
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 7115 0 0 0 54985 22 0 0 25 0 1 0 834722106 39972864 7093 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9759 7093 1111 63 0 9696 0
vsize: 39036
[startup+560.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 25370
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 7232 0 0 0 55985 23 0 0 25 0 1 0 834722106 40423424 7210 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9869 7210 1111 63 0 9806 0
vsize: 39476
[startup+570.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 7343 0 0 0 56985 23 0 0 25 0 1 0 834722106 40869888 7321 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9978 7321 1111 63 0 9915 0
vsize: 39912
[startup+580.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 7455 0 0 0 57985 24 0 0 25 0 1 0 834722106 41320448 7433 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10088 7433 1111 63 0 10025 0
vsize: 40352
[startup+590.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 7570 0 0 0 58985 24 0 0 25 0 1 0 834722106 41771008 7548 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10198 7548 1111 63 0 10135 0
vsize: 40792
[startup+600.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 7687 0 0 0 59985 24 0 0 25 0 1 0 834722106 42221568 7665 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10308 7665 1111 63 0 10245 0
vsize: 41232
[startup+610.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 7798 0 0 0 60984 24 0 0 25 0 1 0 834722106 42668032 7776 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10417 7776 1111 63 0 10354 0
vsize: 41668
[startup+620.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 7910 0 0 0 61985 24 0 0 25 0 1 0 834722106 43122688 7888 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10528 7888 1111 63 0 10465 0
vsize: 42112
[startup+630.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 8025 0 0 0 62984 25 0 0 25 0 1 0 834722106 43716608 8003 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10673 8003 1111 63 0 10610 0
vsize: 42692
[startup+640.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 8137 0 0 0 63984 25 0 0 25 0 1 0 834722106 44171264 8115 4294967295 134512640 134714540 3221224592 3221222820 1077414347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10784 8115 1111 63 0 10721 0
vsize: 43136
[startup+650.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 8247 0 0 0 64984 25 0 0 25 0 1 0 834722106 44617728 8225 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10893 8225 1111 63 0 10830 0
vsize: 43572
[startup+660.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 8364 0 0 0 65984 26 0 0 25 0 1 0 834722106 45072384 8342 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11004 8342 1111 63 0 10941 0
vsize: 44016
[startup+670.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 8480 0 0 0 66984 26 0 0 25 0 1 0 834722106 45514752 8458 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11112 8458 1111 63 0 11049 0
vsize: 44448
[startup+680.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 8591 0 0 0 67984 26 0 0 25 0 1 0 834722106 45969408 8569 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11223 8569 1111 63 0 11160 0
vsize: 44892
[startup+690.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 8701 0 0 0 68984 27 0 0 25 0 1 0 834722106 46415872 8679 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11332 8679 1111 63 0 11269 0
vsize: 45328
[startup+700.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 8818 0 0 0 69984 27 0 0 25 0 1 0 834722106 46870528 8796 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11443 8796 1111 63 0 11380 0
vsize: 45772
[startup+710.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 8953 0 0 0 70984 27 0 0 25 0 1 0 834722106 47509504 8931 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11599 8931 1111 63 0 11536 0
vsize: 46396
[startup+720.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 9066 0 0 0 71983 28 0 0 25 0 1 0 834722106 48107520 9044 4294967295 134512640 134714540 3221224592 3221222684 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11745 9049 1111 63 0 11682 0
vsize: 46980
[startup+730.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 9181 0 0 0 72983 28 0 0 25 0 1 0 834722106 48558080 9159 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11855 9159 1111 63 0 11792 0
vsize: 47420
[startup+740.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 9292 0 0 0 73983 28 0 0 25 0 1 0 834722106 49008640 9270 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11965 9270 1111 63 0 11902 0
vsize: 47860
[startup+750.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 9409 0 0 0 74983 29 0 0 25 0 1 0 834722106 49455104 9387 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12074 9387 1111 63 0 12011 0
vsize: 48296
[startup+760.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 9527 0 0 0 75983 29 0 0 25 0 1 0 834722106 49905664 9505 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12184 9505 1111 63 0 12121 0
vsize: 48736
[startup+770.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 9643 0 0 0 76982 30 0 0 25 0 1 0 834722106 50356224 9621 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12294 9621 1111 63 0 12231 0
vsize: 49176
[startup+780.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 9754 0 0 0 77982 30 0 0 25 0 1 0 834722106 50806784 9732 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12404 9732 1111 63 0 12341 0
vsize: 49616
[startup+790.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 9864 0 0 0 78982 30 0 0 25 0 1 0 834722106 51253248 9842 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12513 9842 1111 63 0 12450 0
vsize: 50052
[startup+800.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 9983 0 0 0 79982 30 0 0 25 0 1 0 834722106 51703808 9961 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12623 9961 1111 63 0 12560 0
vsize: 50492
[startup+810.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 10101 0 0 0 80982 31 0 0 25 0 1 0 834722106 52305920 10079 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12770 10079 1111 63 0 12707 0
vsize: 51080
[startup+820.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 10217 0 0 0 81982 31 0 0 25 0 1 0 834722106 52756480 10195 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12880 10195 1111 63 0 12817 0
vsize: 51520
[startup+830.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 10335 0 0 0 82981 32 0 0 25 0 1 0 834722106 53207040 10313 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12990 10313 1111 63 0 12927 0
vsize: 51960
[startup+840.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 10445 0 0 0 83981 32 0 0 25 0 1 0 834722106 53653504 10423 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13099 10423 1111 63 0 13036 0
vsize: 52396
[startup+850.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 10563 0 0 0 84981 33 0 0 25 0 1 0 834722106 54108160 10541 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13210 10541 1111 63 0 13147 0
vsize: 52840
[startup+860.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 10673 0 0 0 85981 33 0 0 25 0 1 0 834722106 54554624 10651 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13319 10651 1111 63 0 13256 0
vsize: 53276
[startup+870.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 10790 0 0 0 86981 33 0 0 25 0 1 0 834722106 55005184 10768 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13429 10768 1111 63 0 13366 0
vsize: 53716
[startup+880.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 10908 0 0 0 87981 33 0 0 25 0 1 0 834722106 55599104 10886 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13574 10886 1111 63 0 13511 0
vsize: 54296
[startup+890.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 11026 0 0 0 88981 34 0 0 25 0 1 0 834722106 56053760 11004 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13685 11004 1111 63 0 13622 0
vsize: 54740
[startup+900.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 11142 0 0 0 89981 34 0 0 25 0 1 0 834722106 56500224 11120 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13794 11120 1111 63 0 13731 0
vsize: 55176
[startup+910.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 11260 0 0 0 90981 34 0 0 25 0 1 0 834722106 56954880 11238 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13905 11238 1111 63 0 13842 0
vsize: 55620
[startup+920.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 11377 0 0 0 91981 34 0 0 25 0 1 0 834722106 57401344 11355 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14014 11355 1111 63 0 13951 0
vsize: 56056
[startup+930.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 11495 0 0 0 92980 35 0 0 25 0 1 0 834722106 57974784 11473 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14154 11473 1111 63 0 14091 0
vsize: 56616
[startup+940.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 11606 0 0 0 93980 35 0 0 25 0 1 0 834722106 58417152 11584 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14262 11584 1111 63 0 14199 0
vsize: 57048
[startup+950.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 11723 0 0 0 94980 35 0 0 25 0 1 0 834722106 58871808 11701 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14373 11701 1111 63 0 14310 0
vsize: 57492
[startup+960.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 11840 0 0 0 95980 36 0 0 25 0 1 0 834722106 59318272 11818 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14482 11818 1111 63 0 14419 0
vsize: 57928
[startup+970.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 11958 0 0 0 96980 36 0 0 25 0 1 0 834722106 59772928 11936 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14593 11936 1111 63 0 14530 0
vsize: 58372
[startup+980.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 12075 0 0 0 97980 36 0 0 25 0 1 0 834722106 60366848 12053 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14738 12053 1111 63 0 14675 0
vsize: 58952
[startup+990.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 12193 0 0 0 98980 37 0 0 25 0 1 0 834722106 60817408 12171 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14848 12171 1111 63 0 14785 0
vsize: 59392
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 12311 0 0 0 99980 37 0 0 25 0 1 0 834722106 61267968 12289 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14958 12289 1111 63 0 14895 0
vsize: 59832
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 12422 0 0 0 100980 37 0 0 25 0 1 0 834722106 61718528 12400 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15068 12400 1111 63 0 15005 0
vsize: 60272
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 12541 0 0 0 101979 38 0 0 25 0 1 0 834722106 62164992 12519 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15177 12519 1111 63 0 15114 0
vsize: 60708
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 12657 0 0 0 102979 38 0 0 25 0 1 0 834722106 62619648 12635 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15288 12635 1111 63 0 15225 0
vsize: 61152
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 12775 0 0 0 103979 38 0 0 25 0 1 0 834722106 63217664 12753 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15434 12753 1111 63 0 15371 0
vsize: 61736
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 12899 0 0 0 104979 38 0 0 25 0 1 0 834722106 63668224 12877 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15544 12877 1111 63 0 15481 0
vsize: 62176
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 13017 0 0 0 105979 39 0 0 25 0 1 0 834722106 64118784 12995 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15654 12995 1111 63 0 15591 0
vsize: 62616
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 13134 0 0 0 106979 39 0 0 25 0 1 0 834722106 64569344 13112 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15764 13112 1111 63 0 15701 0
vsize: 63056
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 13252 0 0 0 107979 39 0 0 25 0 1 0 834722106 65167360 13230 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15910 13230 1111 63 0 15847 0
vsize: 63640
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 13369 0 0 0 108979 39 0 0 25 0 1 0 834722106 65613824 13347 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16019 13347 1111 63 0 15956 0
vsize: 64076
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 13487 0 0 0 109978 40 0 0 25 0 1 0 834722106 66068480 13465 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16130 13465 1111 63 0 16067 0
vsize: 64520
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 13604 0 0 0 110978 40 0 0 25 0 1 0 834722106 66514944 13582 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16239 13582 1111 63 0 16176 0
vsize: 64956
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 13722 0 0 0 111977 41 0 0 25 0 1 0 834722106 66969600 13700 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16350 13700 1111 63 0 16287 0
vsize: 65400
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 13846 0 0 0 112977 41 0 0 25 0 1 0 834722106 67563520 13824 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16495 13824 1111 63 0 16432 0
vsize: 65980
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 13964 0 0 0 113977 42 0 0 25 0 1 0 834722106 68014080 13942 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16605 13942 1111 63 0 16542 0
vsize: 66420
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 14083 0 0 0 114977 42 0 0 25 0 1 0 834722106 68464640 14061 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16715 14061 1111 63 0 16652 0
vsize: 66860
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 14200 0 0 0 115977 43 0 0 25 0 1 0 834722106 68915200 14178 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16825 14178 1111 63 0 16762 0
vsize: 67300
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 14319 0 0 0 116977 43 0 0 25 0 1 0 834722106 69517312 14297 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16972 14297 1111 63 0 16909 0
vsize: 67888
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 14435 0 0 0 117977 43 0 0 25 0 1 0 834722106 69963776 14413 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17081 14413 1111 63 0 17018 0
vsize: 68324
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 14554 0 0 0 118977 43 0 0 25 0 1 0 834722106 70414336 14532 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17191 14532 1111 63 0 17128 0
vsize: 68764
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25372
Raw data (stat): 25315 (bsolo_mis) R 25314 20001 20000 0 -1 0 14677 0 0 0 119976 44 0 0 25 0 1 0 834722106 70864896 14655 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17301 14655 1111 63 0 17238 0
vsize: 69204
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 25372
Raw data (stat): 25315 (bsolo_mis) Z 25314 20001 20000 0 -1 1036 14677 0 0 0 119976 47 0 0 25 0 1 0 834722106 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.06
CPU time (s): 1200.24
CPU user time (s): 1199.77
CPU system time (s): 0.472928
CPU usage (%): 100.015
Max. virtual memory (Kb): 69204
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####