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-n370b.opb
MD5SUM	8298f3392c738b735ea9c7e42f541654
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	29694485111877
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	29694485111877
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.44378
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 28139

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-05-25 00:42:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14147 boxname=wulflinc28 idbench=1089 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  8298f3392c738b735ea9c7e42f541654  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-n370b.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-n370b.opb
IDLAUNCH: 14147
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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.077
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:        806396 kB
Buffers:         22176 kB
Cached:         184512 kB
SwapCached:       1052 kB
Active:          39612 kB
Inactive:       169644 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        806144 kB
SwapTotal:     2097640 kB
SwapFree:      2096168 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5452 kB
Slab:            13384 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 01:02:40 (client local time) WITH STATUS 0 IN 1200.62 SECONDS
stats: 14147 7 1200.62 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.97 0.91 2/54 30824
Raw data (stat): 30824 (runsolver) R 30823 24821 24820 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834651287 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.0005 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 1139 0 0 0 993 4 0 0 25 0 1 0 834651287 15507456 1117 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3786 1117 1111 63 0 3723 0
vsize: 15144
[startup+20.0007 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 1250 0 0 0 1993 4 0 0 25 0 1 0 834651287 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.0006 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 1352 0 0 0 2993 4 0 0 25 0 1 0 834651287 16257024 1330 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3969 1330 1111 63 0 3906 0
vsize: 15876
[startup+40.0013 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 1462 0 0 0 3993 4 0 0 25 0 1 0 834651287 16830464 1440 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4109 1440 1111 63 0 4046 0
vsize: 16436
[startup+50.0017 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 1574 0 0 0 4993 4 0 0 25 0 1 0 834651287 17256448 1552 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4213 1552 1111 63 0 4150 0
vsize: 16852
[startup+60.002 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 1684 0 0 0 5993 4 0 0 25 0 1 0 834651287 17711104 1662 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4324 1662 1111 63 0 4261 0
vsize: 17296
[startup+70.0099 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 1793 0 0 0 6994 5 0 0 25 0 1 0 834651287 18157568 1771 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4433 1771 1111 63 0 4370 0
vsize: 17732
[startup+80.1137 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 1898 0 0 0 8004 5 0 0 25 0 1 0 834651287 18608128 1876 4294967295 134512640 134714540 3221224592 3221222552 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4543 1876 1111 63 0 4480 0
vsize: 18172
[startup+90.1147 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 2006 0 0 0 9004 5 0 0 25 0 1 0 834651287 19058688 1984 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4653 1984 1111 63 0 4590 0
vsize: 18612
[startup+100.216 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 2122 0 0 0 10014 5 0 0 25 0 1 0 834651287 19480576 2100 4294967295 134512640 134714540 3221224592 3221222820 1077414395 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.216 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 2231 0 0 0 11014 6 0 0 25 0 1 0 834651287 19922944 2209 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4864 2209 1111 63 0 4801 0
vsize: 19456
[startup+120.217 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 2342 0 0 0 12014 6 0 0 25 0 1 0 834651287 20373504 2320 4294967295 134512640 134714540 3221224592 3221222820 1077414401 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.223 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 2445 0 0 0 13015 6 0 0 25 0 1 0 834651287 20819968 2423 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5083 2423 1111 63 0 5020 0
vsize: 20332
[startup+140.223 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 2561 0 0 0 14014 7 0 0 25 0 1 0 834651287 21270528 2539 4294967295 134512640 134714540 3221224592 3221222820 1077414388 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.228 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 2664 0 0 0 15015 7 0 0 25 0 1 0 834651287 21721088 2642 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5303 2642 1111 63 0 5240 0
vsize: 21212
[startup+160.23 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 2774 0 0 0 16015 7 0 0 25 0 1 0 834651287 22171648 2752 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5413 2752 1111 63 0 5350 0
vsize: 21652
[startup+170.23 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 2883 0 0 0 17015 7 0 0 25 0 1 0 834651287 22618112 2861 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5522 2861 1111 63 0 5459 0
vsize: 22088
[startup+180.245 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 2993 0 0 0 18016 8 0 0 25 0 1 0 834651287 23068672 2971 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5632 2971 1111 63 0 5569 0
vsize: 22528
[startup+190.247 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 3109 0 0 0 19017 8 0 0 25 0 1 0 834651287 23506944 3087 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5739 3087 1111 63 0 5676 0
vsize: 22956
[startup+200.247 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 3219 0 0 0 20017 8 0 0 25 0 1 0 834651287 23953408 3197 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5848 3197 1111 63 0 5785 0
vsize: 23392
[startup+210.247 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 3328 0 0 0 21017 8 0 0 25 0 1 0 834651287 24408064 3306 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5959 3306 1111 63 0 5896 0
vsize: 23836
[startup+220.254 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 3434 0 0 0 22017 9 0 0 25 0 1 0 834651287 24850432 3412 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6067 3412 1111 63 0 6004 0
vsize: 24268
[startup+230.254 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 3550 0 0 0 23017 9 0 0 25 0 1 0 834651287 25276416 3528 4294967295 134512640 134714540 3221224592 3221222820 1077414413 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.259 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 3654 0 0 0 24018 9 0 0 25 0 1 0 834651287 25722880 3632 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6280 3632 1111 63 0 6217 0
vsize: 25120
[startup+250.266 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 3769 0 0 0 25017 9 0 0 25 0 1 0 834651287 26173440 3747 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6390 3747 1111 63 0 6327 0
vsize: 25560
[startup+260.275 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 3875 0 0 0 26019 10 0 0 25 0 1 0 834651287 26624000 3853 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6500 3853 1111 63 0 6437 0
vsize: 26000
[startup+270.275 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 3991 0 0 0 27018 10 0 0 25 0 1 0 834651287 27074560 3969 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6610 3969 1111 63 0 6547 0
vsize: 26440
[startup+280.274 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 4095 0 0 0 28018 10 0 0 25 0 1 0 834651287 27521024 4073 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6719 4073 1111 63 0 6656 0
vsize: 26876
[startup+290.275 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 4210 0 0 0 29018 11 0 0 25 0 1 0 834651287 27971584 4188 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6829 4188 1111 63 0 6766 0
vsize: 27316
[startup+300.275 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 4315 0 0 0 30018 11 0 0 25 0 1 0 834651287 28422144 4293 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6939 4293 1111 63 0 6876 0
vsize: 27756
[startup+310.274 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 4431 0 0 0 31018 11 0 0 25 0 1 0 834651287 28872704 4409 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7049 4409 1111 63 0 6986 0
vsize: 28196
[startup+320.274 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 4536 0 0 0 32018 11 0 0 25 0 1 0 834651287 29319168 4514 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7158 4514 1111 63 0 7095 0
vsize: 28632
[startup+330.276 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 4651 0 0 0 33018 12 0 0 25 0 1 0 834651287 29769728 4629 4294967295 134512640 134714540 3221224592 3221222820 1077414388 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.277 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 4762 0 0 0 34018 12 0 0 25 0 1 0 834651287 30220288 4740 4294967295 134512640 134714540 3221224592 3221222820 1077414401 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.277 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 4871 0 0 0 35018 12 0 0 25 0 1 0 834651287 30670848 4849 4294967295 134512640 134714540 3221224592 3221222820 1077414383 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.277 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 4993 0 0 0 36018 12 0 0 25 0 1 0 834651287 31277056 4971 4294967295 134512640 134714540 3221224592 3221222820 1077414383 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.278 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 5102 0 0 0 37018 13 0 0 25 0 1 0 834651287 31727616 5080 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7746 5080 1111 63 0 7683 0
vsize: 30984
[startup+380.277 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 5213 0 0 0 38018 13 0 0 25 0 1 0 834651287 32174080 5191 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7855 5191 1111 63 0 7792 0
vsize: 31420
[startup+390.278 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 5323 0 0 0 39018 13 0 0 25 0 1 0 834651287 32624640 5301 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7965 5301 1111 63 0 7902 0
vsize: 31860
[startup+400.279 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 5440 0 0 0 40018 13 0 0 25 0 1 0 834651287 33075200 5418 4294967295 134512640 134714540 3221224592 3221222820 1077414358 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.278 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 5544 0 0 0 41018 13 0 0 25 0 1 0 834651287 33525760 5522 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8185 5522 1111 63 0 8122 0
vsize: 32740
[startup+420.278 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 5661 0 0 0 42018 13 0 0 25 0 1 0 834651287 33972224 5639 4294967295 134512640 134714540 3221224592 3221222820 1077414388 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.279 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 5771 0 0 0 43018 13 0 0 25 0 1 0 834651287 34422784 5749 4294967295 134512640 134714540 3221224592 3221222820 1077414388 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.278 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 5882 0 0 0 44018 14 0 0 25 0 1 0 834651287 34873344 5860 4294967295 134512640 134714540 3221224592 3221222820 1077414363 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.278 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 5992 0 0 0 45018 14 0 0 25 0 1 0 834651287 35323904 5970 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8624 5970 1111 63 0 8561 0
vsize: 34496
[startup+460.278 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 6103 0 0 0 46018 14 0 0 25 0 1 0 834651287 35770368 6081 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8733 6081 1111 63 0 8670 0
vsize: 34932
[startup+470.278 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 6218 0 0 0 47018 14 0 0 25 0 1 0 834651287 36225024 6196 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8844 6196 1111 63 0 8781 0
vsize: 35376
[startup+480.279 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 6330 0 0 0 48018 15 0 0 25 0 1 0 834651287 36671488 6308 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8953 6308 1111 63 0 8890 0
vsize: 35812
[startup+490.278 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 6439 0 0 0 49017 15 0 0 25 0 1 0 834651287 37122048 6417 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9063 6417 1111 63 0 9000 0
vsize: 36252
[startup+500.282 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 6556 0 0 0 50018 15 0 0 25 0 1 0 834651287 37724160 6534 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9210 6534 1111 63 0 9147 0
vsize: 36840
[startup+510.282 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 6666 0 0 0 51018 15 0 0 25 0 1 0 834651287 38174720 6644 4294967295 134512640 134714540 3221224592 3221222820 1077414435 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.283 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 6778 0 0 0 52018 16 0 0 25 0 1 0 834651287 38625280 6756 4294967295 134512640 134714540 3221224592 3221222820 1077414433 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.283 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 6893 0 0 0 53017 16 0 0 25 0 1 0 834651287 39071744 6871 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9539 6871 1111 63 0 9476 0
vsize: 38156
[startup+540.283 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 7005 0 0 0 54017 16 0 0 25 0 1 0 834651287 39522304 6983 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9649 6983 1111 63 0 9586 0
vsize: 38596
[startup+550.283 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 7115 0 0 0 55017 17 0 0 25 0 1 0 834651287 39972864 7093 4294967295 134512640 134714540 3221224592 3221222820 1077414388 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.283 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 7232 0 0 0 56017 17 0 0 25 0 1 0 834651287 40423424 7210 4294967295 134512640 134714540 3221224592 3221222820 1077414388 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.283 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 7342 0 0 0 57017 17 0 0 25 0 1 0 834651287 40869888 7320 4294967295 134512640 134714540 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9978 7320 1111 63 0 9915 0
vsize: 39912
[startup+580.283 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 7454 0 0 0 58017 17 0 0 25 0 1 0 834651287 41320448 7432 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10088 7432 1111 63 0 10025 0
vsize: 40352
[startup+590.283 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 7570 0 0 0 59017 18 0 0 25 0 1 0 834651287 41771008 7548 4294967295 134512640 134714540 3221224592 3221222820 1077414388 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.286 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 7681 0 0 0 60017 18 0 0 25 0 1 0 834651287 42221568 7659 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10308 7659 1111 63 0 10245 0
vsize: 41232
[startup+610.285 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 7791 0 0 0 61017 18 0 0 25 0 1 0 834651287 42668032 7769 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10417 7769 1111 63 0 10354 0
vsize: 41668
[startup+620.286 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 7908 0 0 0 62017 18 0 0 25 0 1 0 834651287 43122688 7886 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10528 7886 1111 63 0 10465 0
vsize: 42112
[startup+630.287 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 8019 0 0 0 63017 19 0 0 25 0 1 0 834651287 43569152 7997 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10637 7997 1111 63 0 10574 0
vsize: 42548
[startup+640.286 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 8136 0 0 0 64016 19 0 0 25 0 1 0 834651287 44171264 8114 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10784 8114 1111 63 0 10721 0
vsize: 43136
[startup+650.286 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 8246 0 0 0 65016 20 0 0 25 0 1 0 834651287 44617728 8224 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10893 8224 1111 63 0 10830 0
vsize: 43572
[startup+660.286 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 8364 0 0 0 66016 20 0 0 25 0 1 0 834651287 45072384 8342 4294967295 134512640 134714540 3221224592 3221222820 1077414363 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.286 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 8474 0 0 0 67016 20 0 0 25 0 1 0 834651287 45514752 8452 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11112 8452 1111 63 0 11049 0
vsize: 44448
[startup+680.296 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 8591 0 0 0 68017 20 0 0 25 0 1 0 834651287 45969408 8569 4294967295 134512640 134714540 3221224592 3221222820 1077414388 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.307 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 8701 0 0 0 69018 20 0 0 25 0 1 0 834651287 46415872 8679 4294967295 134512640 134714540 3221224592 3221223248 134527932 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.319 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 8818 0 0 0 70020 21 0 0 25 0 1 0 834651287 46870528 8796 4294967295 134512640 134714540 3221224592 3221222820 1077414388 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.319 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 8952 0 0 0 71020 21 0 0 25 0 1 0 834651287 47509504 8930 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11599 8930 1111 63 0 11536 0
vsize: 46396
[startup+720.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 9065 0 0 0 72020 21 0 0 25 0 1 0 834651287 47960064 9043 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11709 9043 1111 63 0 11646 0
vsize: 46836
[startup+730.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 9174 0 0 0 73020 21 0 0 25 0 1 0 834651287 48406528 9152 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11818 9152 1111 63 0 11755 0
vsize: 47272
[startup+740.422 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 9292 0 0 0 74030 21 0 0 25 0 1 0 834651287 49008640 9270 4294967295 134512640 134714540 3221224592 3221222820 1077414388 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.422 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 9409 0 0 0 75030 21 0 0 25 0 1 0 834651287 49455104 9387 4294967295 134512640 134714540 3221224592 3221222820 1077414370 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.421 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 9527 0 0 0 76030 21 0 0 25 0 1 0 834651287 49905664 9505 4294967295 134512640 134714540 3221224592 3221222820 1077414388 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.422 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 9637 0 0 0 77030 22 0 0 25 0 1 0 834651287 50356224 9615 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12294 9615 1111 63 0 12231 0
vsize: 49176
[startup+780.422 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 9754 0 0 0 78030 22 0 0 25 0 1 0 834651287 50806784 9732 4294967295 134512640 134714540 3221224592 3221222820 1077414388 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.422 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 9864 0 0 0 79030 22 0 0 25 0 1 0 834651287 51253248 9842 4294967295 134512640 134714540 3221224592 3221222820 1077414338 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.423 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 9983 0 0 0 80030 22 0 0 25 0 1 0 834651287 51703808 9961 4294967295 134512640 134714540 3221224592 3221223248 134527946 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.422 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 10101 0 0 0 81030 22 0 0 25 0 1 0 834651287 52305920 10079 4294967295 134512640 134714540 3221224592 3221222820 1077414338 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.423 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 10217 0 0 0 82030 22 0 0 25 0 1 0 834651287 52756480 10195 4294967295 134512640 134714540 3221224592 3221222820 1077414345 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.423 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 10328 0 0 0 83030 22 0 0 25 0 1 0 834651287 53207040 10306 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12990 10306 1111 63 0 12927 0
vsize: 51960
[startup+840.423 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 10444 0 0 0 84030 23 0 0 25 0 1 0 834651287 53653504 10422 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13099 10422 1111 63 0 13036 0
vsize: 52396
[startup+850.423 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 10563 0 0 0 85030 23 0 0 25 0 1 0 834651287 54108160 10541 4294967295 134512640 134714540 3221224592 3221222820 1077414413 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.423 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 10673 0 0 0 86030 23 0 0 25 0 1 0 834651287 54554624 10651 4294967295 134512640 134714540 3221224592 3221222820 1077414401 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.423 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 10790 0 0 0 87030 23 0 0 25 0 1 0 834651287 55005184 10768 4294967295 134512640 134714540 3221224592 3221222820 1077414399 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.424 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 10907 0 0 0 88030 23 0 0 25 0 1 0 834651287 55599104 10885 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13574 10885 1111 63 0 13511 0
vsize: 54296
[startup+890.423 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 11026 0 0 0 89030 24 0 0 25 0 1 0 834651287 56053760 11004 4294967295 134512640 134714540 3221224592 3221222820 1077414413 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.424 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 11142 0 0 0 90030 24 0 0 25 0 1 0 834651287 56500224 11120 4294967295 134512640 134714540 3221224592 3221222820 1077414435 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.425 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 11259 0 0 0 91030 24 0 0 25 0 1 0 834651287 56954880 11237 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13905 11237 1111 63 0 13842 0
vsize: 55620
[startup+920.425 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 11371 0 0 0 92030 24 0 0 25 0 1 0 834651287 57401344 11349 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14014 11349 1111 63 0 13951 0
vsize: 56056
[startup+930.425 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 11488 0 0 0 93030 25 0 0 25 0 1 0 834651287 57974784 11466 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14154 11466 1111 63 0 14091 0
vsize: 56616
[startup+940.424 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 11605 0 0 0 94030 25 0 0 25 0 1 0 834651287 58417152 11583 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14262 11583 1111 63 0 14199 0
vsize: 57048
[startup+950.425 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 11723 0 0 0 95030 25 0 0 25 0 1 0 834651287 58871808 11701 4294967295 134512640 134714540 3221224592 3221222820 1077414338 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.425 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 11833 0 0 0 96030 25 0 0 25 0 1 0 834651287 59318272 11811 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14482 11811 1111 63 0 14419 0
vsize: 57928
[startup+970.426 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 11952 0 0 0 97030 26 0 0 25 0 1 0 834651287 59772928 11930 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14593 11930 1111 63 0 14530 0
vsize: 58372
[startup+980.426 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 12069 0 0 0 98030 26 0 0 25 0 1 0 834651287 60215296 12047 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14701 12047 1111 63 0 14638 0
vsize: 58804
[startup+990.426 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 12187 0 0 0 99030 26 0 0 25 0 1 0 834651287 60817408 12165 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14848 12165 1111 63 0 14785 0
vsize: 59392
[startup+1000.43 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 12305 0 0 0 100030 27 0 0 25 0 1 0 834651287 61267968 12283 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14958 12283 1111 63 0 14895 0
vsize: 59832
[startup+1010.43 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 12422 0 0 0 101029 27 0 0 25 0 1 0 834651287 61718528 12400 4294967295 134512640 134714540 3221224592 3221222820 1077414408 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.43 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 12541 0 0 0 102029 27 0 0 25 0 1 0 834651287 62164992 12519 4294967295 134512640 134714540 3221224592 3221222820 1077414349 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.43 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 12657 0 0 0 103029 28 0 0 25 0 1 0 834651287 62619648 12635 4294967295 134512640 134714540 3221224592 3221222820 1077414363 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.43 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30824
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 12775 0 0 0 104029 28 0 0 25 0 1 0 834651287 63217664 12753 4294967295 134512640 134714540 3221224592 3221222820 1077414413 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.43 s]
Raw data (loadavg): 1.07 0.99 0.91 3/58 30869
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 12892 0 0 0 105026 30 0 0 25 0 1 0 834651287 63668224 12870 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15544 12870 1111 63 0 15481 0
vsize: 62176
[startup+1060.43 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 30877
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 13011 0 0 0 106026 30 0 0 25 0 1 0 834651287 64118784 12989 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15654 12989 1111 63 0 15591 0
vsize: 62616
[startup+1070.43 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 30877
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 13127 0 0 0 107026 30 0 0 25 0 1 0 834651287 64569344 13105 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15764 13105 1111 63 0 15701 0
vsize: 63056
[startup+1080.43 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 30877
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 13245 0 0 0 108026 30 0 0 25 0 1 0 834651287 65019904 13223 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15874 13223 1111 63 0 15811 0
vsize: 63496
[startup+1090.43 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 30877
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 13363 0 0 0 109026 31 0 0 25 0 1 0 834651287 65613824 13341 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16019 13341 1111 63 0 15956 0
vsize: 64076
[startup+1100.43 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 30877
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 13487 0 0 0 110026 31 0 0 25 0 1 0 834651287 66068480 13465 4294967295 134512640 134714540 3221224592 3221222820 1077414388 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.43 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 30877
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 13604 0 0 0 111026 31 0 0 25 0 1 0 834651287 66514944 13582 4294967295 134512640 134714540 3221224592 3221222820 1077414388 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.43 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 30877
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 13722 0 0 0 112026 32 0 0 25 0 1 0 834651287 66969600 13700 4294967295 134512640 134714540 3221224592 3221222820 1077414338 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.43 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 30879
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 13839 0 0 0 113025 32 0 0 25 0 1 0 834651287 67563520 13817 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16495 13817 1111 63 0 16432 0
vsize: 65980
[startup+1140.43 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 30879
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 13957 0 0 0 114025 32 0 0 25 0 1 0 834651287 68014080 13935 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16605 13935 1111 63 0 16542 0
vsize: 66420
[startup+1150.43 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 30879
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 14082 0 0 0 115025 33 0 0 25 0 1 0 834651287 68464640 14060 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16715 14060 1111 63 0 16652 0
vsize: 66860
[startup+1160.43 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 30879
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 14199 0 0 0 116025 33 0 0 25 0 1 0 834651287 68915200 14177 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16825 14177 1111 63 0 16762 0
vsize: 67300
[startup+1170.43 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 30879
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 14318 0 0 0 117025 33 0 0 25 0 1 0 834651287 69517312 14296 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16972 14296 1111 63 0 16909 0
vsize: 67888
[startup+1180.43 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 30879
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 14435 0 0 0 118025 33 0 0 25 0 1 0 834651287 69963776 14413 4294967295 134512640 134714540 3221224592 3221222820 1077414401 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.43 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30879
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 14554 0 0 0 119025 34 0 0 25 0 1 0 834651287 70414336 14532 4294967295 134512640 134714540 3221224592 3221222820 1077414388 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.43 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30879
Raw data (stat): 30824 (bsolo_mis) R 30823 24821 24820 0 -1 0 14670 0 0 0 120025 34 0 0 25 0 1 0 834651287 70864896 14648 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17301 14648 1111 63 0 17238 0
vsize: 69204
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.46 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 30879
Raw data (stat): 30824 (bsolo_mis) Z 30823 24821 24820 0 -1 1036 14670 0 0 0 120025 37 0 0 25 0 1 0 834651287 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.46
CPU time (s): 1200.62
CPU user time (s): 1200.25
CPU system time (s): 0.372943
CPU usage (%): 100.014
Max. virtual memory (Kb): 69204
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####