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/submitted/een/normalized-nw04.opb
MD5SUM	c4c13764e2ea959929790d6ef6d0273c
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	87482
Biggest coefficient in the objective function	5220
Number of bits for the biggest coefficient in the objective function	13
Sum of the numbers in the objective function	120189580
Number of bits of the sum of numbers in the objective function	27
Biggest number in a constraint	42031
Number of bits of the biggest number in a constraint	16
Biggest sum of numbers in a constraint	120189580
Number of bits of the biggest sum of numbers	27
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	18.0483
Number of variables	87482
Total number of constraints	72
Number of constraints which are clauses	36
Number of constraints which are cardinality constraints (but not clauses)	36
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	599
Maximum length of a constraint	42032
Trace number 25099

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-16 18:19:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5086 boxname=wulflinc31 idbench=392 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  c4c13764e2ea959929790d6ef6d0273c  /oldhome/oroussel/tmp/wulflinc31/normalized-nw04.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-nw04.opb
IDLAUNCH: 5086
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        763292 kB
Buffers:         49636 kB
Cached:         198856 kB
SwapCached:       1952 kB
Active:         207596 kB
Inactive:        44096 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        763040 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            13856 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-16 18:39:11 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 5086 7 1200.22 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.86 0.97 0.98 2/55 15971
Raw data (stat): 15971 (runsolver) R 15970 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 763196399 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.001 s]
Raw data (loadavg): 0.88 0.97 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 636 0 0 0 993 3 0 0 25 0 1 0 763196399 15196160 613 4294967295 134512640 134714540 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3710 613 1111 63 0 3647 0
vsize: 14840
[startup+20.0017 s]
Raw data (loadavg): 0.90 0.97 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 691 0 0 0 1993 4 0 0 25 0 1 0 763196399 15470592 668 4294967295 134512640 134714540 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3777 668 1111 63 0 3714 0
vsize: 15108
[startup+30.0024 s]
Raw data (loadavg): 0.91 0.97 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 743 0 0 0 2993 4 0 0 25 0 1 0 763196399 15740928 720 4294967295 134512640 134714540 3221221792 3221220020 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3843 720 1111 63 0 3780 0
vsize: 15372
[startup+40.0036 s]
Raw data (loadavg): 0.93 0.97 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 800 0 0 0 3993 4 0 0 25 0 1 0 763196399 15876096 777 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3876 777 1111 63 0 3813 0
vsize: 15504
[startup+50.0035 s]
Raw data (loadavg): 0.94 0.97 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 854 0 0 0 4993 4 0 0 25 0 1 0 763196399 16146432 831 4294967295 134512640 134714540 3221221792 3221220020 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3942 831 1111 63 0 3879 0
vsize: 15768
[startup+60.0041 s]
Raw data (loadavg): 0.95 0.97 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 908 0 0 0 5993 4 0 0 25 0 1 0 763196399 16416768 885 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4008 885 1111 63 0 3945 0
vsize: 16032
[startup+70.0044 s]
Raw data (loadavg): 0.95 0.97 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 969 0 0 0 6993 5 0 0 25 0 1 0 763196399 16551936 946 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4041 946 1111 63 0 3978 0
vsize: 16164
[startup+80.0053 s]
Raw data (loadavg): 0.96 0.97 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1022 0 0 0 7993 5 0 0 25 0 1 0 763196399 16822272 999 4294967295 134512640 134714540 3221221792 3221220020 1077414372 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4107 999 1111 63 0 4044 0
vsize: 16428
[startup+90.0053 s]
Raw data (loadavg): 0.97 0.97 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1076 0 0 0 8993 5 0 0 25 0 1 0 763196399 17092608 1053 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4173 1053 1111 63 0 4110 0
vsize: 16692
[startup+100.005 s]
Raw data (loadavg): 1.05 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1129 0 0 0 9993 5 0 0 25 0 1 0 763196399 17227776 1106 4294967295 134512640 134714540 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4206 1106 1111 63 0 4143 0
vsize: 16824
[startup+110.006 s]
Raw data (loadavg): 1.04 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1202 0 0 0 10993 5 0 0 25 0 1 0 763196399 17571840 1179 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4290 1179 1111 63 0 4227 0
vsize: 17160
[startup+120.007 s]
Raw data (loadavg): 1.04 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1259 0 0 0 11993 5 0 0 25 0 1 0 763196399 17735680 1236 4294967295 134512640 134714540 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4330 1236 1111 63 0 4267 0
vsize: 17320
[startup+130.008 s]
Raw data (loadavg): 1.03 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1312 0 0 0 12994 5 0 0 25 0 1 0 763196399 18010112 1289 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4397 1289 1111 63 0 4334 0
vsize: 17588
[startup+140.008 s]
Raw data (loadavg): 1.02 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1379 0 0 0 13994 6 0 0 25 0 1 0 763196399 18300928 1356 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4468 1356 1111 63 0 4405 0
vsize: 17872
[startup+150.008 s]
Raw data (loadavg): 1.02 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1435 0 0 0 14994 6 0 0 25 0 1 0 763196399 18513920 1412 4294967295 134512640 134714540 3221221792 3221220020 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4520 1412 1111 63 0 4457 0
vsize: 18080
[startup+160.009 s]
Raw data (loadavg): 1.02 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1493 0 0 0 15994 6 0 0 25 0 1 0 763196399 18739200 1470 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4575 1470 1111 63 0 4512 0
vsize: 18300
[startup+170.009 s]
Raw data (loadavg): 1.01 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1546 0 0 0 16994 6 0 0 25 0 1 0 763196399 18984960 1523 4294967295 134512640 134714540 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4635 1523 1111 63 0 4572 0
vsize: 18540
[startup+180.009 s]
Raw data (loadavg): 1.01 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1602 0 0 0 17994 6 0 0 25 0 1 0 763196399 19206144 1579 4294967295 134512640 134714540 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4689 1579 1111 63 0 4626 0
vsize: 18756
[startup+190.011 s]
Raw data (loadavg): 1.01 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1659 0 0 0 18994 7 0 0 25 0 1 0 763196399 19431424 1636 4294967295 134512640 134714540 3221221792 3221220020 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4744 1636 1111 63 0 4681 0
vsize: 18976
[startup+200.011 s]
Raw data (loadavg): 1.01 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1719 0 0 0 19994 7 0 0 25 0 1 0 763196399 19668992 1696 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4802 1696 1111 63 0 4739 0
vsize: 19208
[startup+210.011 s]
Raw data (loadavg): 1.01 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1771 0 0 0 20994 7 0 0 25 0 1 0 763196399 19869696 1748 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4851 1748 1111 63 0 4788 0
vsize: 19404
[startup+220.012 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1824 0 0 0 21994 7 0 0 25 0 1 0 763196399 20078592 1801 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4902 1801 1111 63 0 4839 0
vsize: 19608
[startup+230.013 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1880 0 0 0 22994 7 0 0 25 0 1 0 763196399 20295680 1857 4294967295 134512640 134714540 3221221792 3221220020 1077414432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4955 1857 1111 63 0 4892 0
vsize: 19820
[startup+240.013 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1937 0 0 0 23994 8 0 0 25 0 1 0 763196399 20520960 1914 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5010 1914 1111 63 0 4947 0
vsize: 20040
[startup+250.013 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1997 0 0 0 24994 8 0 0 25 0 1 0 763196399 20758528 1974 4294967295 134512640 134714540 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5068 1974 1111 63 0 5005 0
vsize: 20272
[startup+260.014 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 2044 0 0 0 25994 8 0 0 25 0 1 0 763196399 20946944 2021 4294967295 134512640 134714540 3221221792 3221220144 134568040 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5114 2021 1111 63 0 5051 0
vsize: 20456
[startup+270.014 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 2125 0 0 0 26994 8 0 0 25 0 1 0 763196399 21458944 2102 4294967295 134512640 134714540 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5239 2102 1111 63 0 5176 0
vsize: 20956
[startup+280.015 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 2209 0 0 0 27993 9 0 0 25 0 1 0 763196399 21590016 2152 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5271 2152 1111 63 0 5208 0
vsize: 21084
[startup+290.016 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 2465 0 0 0 28991 11 0 0 25 0 1 0 763196399 21798912 2204 4294967295 134512640 134714540 3221221792 3221220020 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5322 2204 1111 63 0 5259 0
vsize: 21288
[startup+300.016 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 3001 0 0 0 29990 13 0 0 25 0 1 0 763196399 22159360 2261 4294967295 134512640 134714540 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5410 2261 1111 63 0 5347 0
vsize: 21640
[startup+310.016 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 3738 0 0 0 30987 16 0 0 25 0 1 0 763196399 22237184 2313 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5429 2313 1111 63 0 5366 0
vsize: 21716
[startup+320.017 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 4742 0 0 0 31984 19 0 0 25 0 1 0 763196399 22618112 2376 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5522 2376 1111 63 0 5459 0
vsize: 22088
[startup+330.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 5955 0 0 0 32980 23 0 0 25 0 1 0 763196399 22859776 2435 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5581 2435 1111 63 0 5518 0
vsize: 22324
[startup+340.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 7438 0 0 0 33977 26 0 0 25 0 1 0 763196399 22945792 2490 4294967295 134512640 134714540 3221221792 3221220020 1077414407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5602 2490 1111 63 0 5539 0
vsize: 22408
[startup+350.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 9102 0 0 0 34973 30 0 0 25 0 1 0 763196399 23113728 2532 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5643 2532 1111 63 0 5580 0
vsize: 22572
[startup+360.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 11132 0 0 0 35967 37 0 0 25 0 1 0 763196399 23543808 2606 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5748 2606 1111 63 0 5685 0
vsize: 22992
[startup+370.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 13528 0 0 0 36959 45 0 0 25 0 1 0 763196399 23638016 2663 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5771 2663 1111 63 0 5708 0
vsize: 23084
[startup+380.019 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 16263 0 0 0 37952 52 0 0 25 0 1 0 763196399 23912448 2731 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5838 2731 1111 63 0 5775 0
vsize: 23352
[startup+390.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 19197 0 0 0 38947 58 0 0 25 0 1 0 763196399 24100864 2778 4294967295 134512640 134714540 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5884 2778 1111 63 0 5821 0
vsize: 23536
[startup+400.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 22292 0 0 0 39941 64 0 0 25 0 1 0 763196399 24584192 2866 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6002 2866 1111 63 0 5939 0
vsize: 24008
[startup+410.021 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 25445 0 0 0 40934 70 0 0 25 0 1 0 763196399 24592384 2900 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6004 2900 1111 63 0 5941 0
vsize: 24016
[startup+420.021 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 28871 0 0 0 41928 77 0 0 25 0 1 0 763196399 24797184 2952 4294967295 134512640 134714540 3221221792 3221220020 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6054 2952 1111 63 0 5991 0
vsize: 24216
[startup+430.022 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 32868 0 0 0 42919 86 0 0 25 0 1 0 763196399 25006080 3004 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6105 3004 1111 63 0 6042 0
vsize: 24420
[startup+440.022 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 37118 0 0 0 43910 95 0 0 25 0 1 0 763196399 25329664 3084 4294967295 134512640 134714540 3221221792 3221220020 1077414336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6184 3084 1111 63 0 6121 0
vsize: 24736
[startup+450.022 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 41271 0 0 0 44902 103 0 0 25 0 1 0 763196399 25767936 3161 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6291 3161 1111 63 0 6228 0
vsize: 25164
[startup+460.023 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 46009 0 0 0 45893 113 0 0 25 0 1 0 763196399 25997312 3218 4294967295 134512640 134714540 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6347 3218 1111 63 0 6284 0
vsize: 25388
[startup+470.023 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 50697 0 0 0 46884 122 0 0 25 0 1 0 763196399 26230784 3276 4294967295 134512640 134714540 3221221792 3221220020 1077414397 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6404 3276 1111 63 0 6341 0
vsize: 25616
[startup+480.022 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 55638 0 0 0 47876 130 0 0 25 0 1 0 763196399 26238976 3312 4294967295 134512640 134714540 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6406 3312 1111 63 0 6343 0
vsize: 25624
[startup+490.023 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 60600 0 0 0 48865 141 0 0 25 0 1 0 763196399 26357760 3341 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6435 3341 1111 63 0 6372 0
vsize: 25740
[startup+500.022 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 65749 0 0 0 49853 153 0 0 25 0 1 0 763196399 26845184 3410 4294967295 134512640 134714540 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6554 3415 1111 63 0 6491 0
vsize: 26216
[startup+510.023 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 71188 0 0 0 50842 164 0 0 25 0 1 0 763196399 27095040 3491 4294967295 134512640 134714540 3221221792 3221220020 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6615 3491 1111 63 0 6552 0
vsize: 26460
[startup+520.023 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 77058 0 0 0 51830 176 0 0 25 0 1 0 763196399 27353088 3555 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6678 3555 1111 63 0 6615 0
vsize: 26712
[startup+530.023 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 83246 0 0 0 52817 190 0 0 25 0 1 0 763196399 27746304 3622 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6774 3622 1111 63 0 6711 0
vsize: 27096
[startup+540.023 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 89641 0 0 0 53806 201 0 0 25 0 1 0 763196399 28143616 3687 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6871 3687 1111 63 0 6808 0
vsize: 27484
[startup+550.023 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 102118 0 0 0 54781 226 0 0 25 0 1 0 763196399 28016640 3690 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6840 3690 1111 63 0 6777 0
vsize: 27360
[startup+560.024 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 122571 0 0 0 55742 266 0 0 25 0 1 0 763196399 28291072 3730 4294967295 134512640 134714540 3221221792 3221220020 1077414424 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6907 3730 1111 63 0 6844 0
vsize: 27628
[startup+570.024 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 144058 0 0 0 56701 306 0 0 25 0 1 0 763196399 28565504 3797 4294967295 134512640 134714540 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6974 3802 1111 63 0 6911 0
vsize: 27896
[startup+580.024 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 165143 0 0 0 57660 348 0 0 25 0 1 0 763196399 28700672 3843 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7007 3843 1111 63 0 6944 0
vsize: 28028
[startup+590.024 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 187286 0 0 0 58617 391 0 0 25 0 1 0 763196399 28971008 3901 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7073 3901 1111 63 0 7010 0
vsize: 28292
[startup+600.024 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 210614 0 0 0 59572 436 0 0 25 0 1 0 763196399 29110272 3961 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7107 3961 1111 63 0 7044 0
vsize: 28428
[startup+610.025 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 231233 0 0 0 60532 476 0 0 25 0 1 0 763196399 29536256 4037 4294967295 134512640 134714540 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7211 4042 1111 63 0 7148 0
vsize: 28844
[startup+620.025 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 252610 0 0 0 61493 515 0 0 25 0 1 0 763196399 29519872 4065 4294967295 134512640 134714540 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7207 4065 1111 63 0 7144 0
vsize: 28828
[startup+630.025 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 279224 0 0 0 62442 567 0 0 25 0 1 0 763196399 29949952 4167 4294967295 134512640 134714540 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7274 4130 1111 63 0 7211 0
vsize: 29248
[startup+640.026 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 304160 0 0 0 63394 614 0 0 25 0 1 0 763196399 30068736 4192 4294967295 134512640 134714540 3221221792 3221220448 134527948 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7341 4192 1111 63 0 7278 0
vsize: 29364
[startup+650.026 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 329998 0 0 0 64345 664 0 0 25 0 1 0 763196399 30339072 4251 4294967295 134512640 134714540 3221221792 3221220448 134527930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7407 4251 1111 63 0 7344 0
vsize: 29628
[startup+660.027 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 355476 0 0 0 65297 713 0 0 25 0 1 0 763196399 30613504 4311 4294967295 134512640 134714540 3221221792 3221220020 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7474 4311 1111 63 0 7411 0
vsize: 29896
[startup+670.028 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 382537 0 0 0 66242 767 0 0 25 0 1 0 763196399 30883840 4372 4294967295 134512640 134714540 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7540 4372 1111 63 0 7477 0
vsize: 30160
[startup+680.027 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 408625 0 0 0 67192 817 0 0 25 0 1 0 763196399 31023104 4431 4294967295 134512640 134714540 3221221792 3221220020 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7574 4431 1111 63 0 7511 0
vsize: 30296
[startup+690.028 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 434792 0 0 0 68144 866 0 0 25 0 1 0 763196399 31297536 4489 4294967295 134512640 134714540 3221221792 3221220448 134527935 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7641 4489 1111 63 0 7578 0
vsize: 30564
[startup+700.027 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 458824 0 0 0 69094 915 0 0 25 0 1 0 763196399 31432704 4539 4294967295 134512640 134714540 3221221792 3221220020 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7674 4539 1111 63 0 7611 0
vsize: 30696
[startup+710.028 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 485932 0 0 0 70043 967 0 0 25 0 1 0 763196399 31707136 4598 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7741 4598 1111 63 0 7678 0
vsize: 30964
[startup+720.028 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 513382 0 0 0 70990 1020 0 0 25 0 1 0 763196399 31977472 4657 4294967295 134512640 134714540 3221221792 3221220020 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7807 4657 1111 63 0 7744 0
vsize: 31228
[startup+730.028 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 538903 0 0 0 71942 1069 0 0 25 0 1 0 763196399 32116736 4710 4294967295 134512640 134714540 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7841 4710 1111 63 0 7778 0
vsize: 31364
[startup+740.029 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 565236 0 0 0 72893 1117 0 0 25 0 1 0 763196399 32391168 4766 4294967295 134512640 134714540 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7908 4766 1111 63 0 7845 0
vsize: 31632
[startup+750.029 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 591162 0 0 0 73843 1168 0 0 25 0 1 0 763196399 32661504 4817 4294967295 134512640 134714540 3221221792 3221220020 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7974 4817 1111 63 0 7911 0
vsize: 31896
[startup+760.03 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 618510 0 0 0 74792 1219 0 0 25 0 1 0 763196399 32800768 4873 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8008 4873 1111 63 0 7945 0
vsize: 32032
[startup+770.03 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 645887 0 0 0 75740 1271 0 0 25 0 1 0 763196399 33071104 4926 4294967295 134512640 134714540 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8074 4926 1111 63 0 8011 0
vsize: 32296
[startup+780.03 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 672028 0 0 0 76689 1322 0 0 25 0 1 0 763196399 33210368 4979 4294967295 134512640 134714540 3221221792 3221220020 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8108 4979 1111 63 0 8045 0
vsize: 32432
[startup+790.031 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 699247 0 0 0 77637 1374 0 0 25 0 1 0 763196399 33480704 5032 4294967295 134512640 134714540 3221221792 3221220020 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8174 5032 1111 63 0 8111 0
vsize: 32696
[startup+800.03 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 728788 0 0 0 78580 1432 0 0 25 0 1 0 763196399 33951744 5127 4294967295 134512640 134714540 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8289 5132 1111 63 0 8226 0
vsize: 33156
[startup+810.032 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 757474 0 0 0 79524 1488 0 0 25 0 1 0 763196399 33894400 5143 4294967295 134512640 134714540 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8275 5143 1111 63 0 8212 0
vsize: 33100
[startup+820.032 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 788057 0 0 0 80465 1547 0 0 25 0 1 0 763196399 34164736 5199 4294967295 134512640 134714540 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8341 5199 1111 63 0 8278 0
vsize: 33364
[startup+830.032 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 820876 0 0 0 81401 1611 0 0 25 0 1 0 763196399 34443264 5261 4294967295 134512640 134714540 3221221792 3221220040 1077799185 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8409 5261 1111 63 0 8346 0
vsize: 33636
[startup+840.032 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 852407 0 0 0 82339 1674 0 0 25 0 1 0 763196399 34582528 5320 4294967295 134512640 134714540 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8443 5320 1111 63 0 8380 0
vsize: 33772
[startup+850.032 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 881119 0 0 0 83283 1730 0 0 25 0 1 0 763196399 34852864 5370 4294967295 134512640 134714540 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8509 5370 1111 63 0 8446 0
vsize: 34036
[startup+860.033 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 911935 0 0 0 84223 1790 0 0 25 0 1 0 763196399 34992128 5426 4294967295 134512640 134714540 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8543 5426 1111 63 0 8480 0
vsize: 34172
[startup+870.034 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 943188 0 0 0 85164 1849 0 0 25 0 1 0 763196399 35262464 5479 4294967295 134512640 134714540 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8609 5479 1111 63 0 8546 0
vsize: 34436
[startup+880.034 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 977169 0 0 0 86101 1913 0 0 25 0 1 0 763196399 35536896 5539 4294967295 134512640 134714540 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8676 5539 1111 63 0 8613 0
vsize: 34704
[startup+890.035 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1012986 0 0 0 87032 1982 0 0 25 0 1 0 763196399 35811328 5603 4294967295 134512640 134714540 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8743 5603 1111 63 0 8680 0
vsize: 34972
[startup+900.035 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1050036 0 0 0 87963 2051 0 0 25 0 1 0 763196399 35950592 5663 4294967295 134512640 134714540 3221221792 3221220020 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8831 5666 1111 63 0 8768 0
vsize: 35108
[startup+910.036 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1086475 0 0 0 88896 2118 0 0 25 0 1 0 763196399 36225024 5725 4294967295 134512640 134714540 3221221792 3221220448 134527930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8844 5725 1111 63 0 8781 0
vsize: 35376
[startup+920.037 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1119806 0 0 0 89834 2180 0 0 25 0 1 0 763196399 36495360 5781 4294967295 134512640 134714540 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8910 5781 1111 63 0 8847 0
vsize: 35640
[startup+930.037 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1150218 0 0 0 90775 2239 0 0 25 0 1 0 763196399 36864000 5845 4294967295 134512640 134714540 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9000 5849 1111 63 0 8937 0
vsize: 36000
[startup+940.038 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1183576 0 0 0 91715 2300 0 0 25 0 1 0 763196399 36909056 5886 4294967295 134512640 134714540 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9011 5886 1111 63 0 8948 0
vsize: 36044
[startup+950.039 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1215774 0 0 0 92650 2365 0 0 25 0 1 0 763196399 37044224 5936 4294967295 134512640 134714540 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9044 5936 1111 63 0 8981 0
vsize: 36176
[startup+960.04 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1247739 0 0 0 93587 2428 0 0 25 0 1 0 763196399 37556224 6003 4294967295 134512640 134714540 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9169 6007 1111 63 0 9106 0
vsize: 36676
[startup+970.041 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1278979 0 0 0 94530 2485 0 0 25 0 1 0 763196399 37457920 6038 4294967295 134512640 134714540 3221221792 3221220020 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9145 6038 1111 63 0 9082 0
vsize: 36580
[startup+980.041 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1311557 0 0 0 95472 2543 0 0 25 0 1 0 763196399 37732352 6089 4294967295 134512640 134714540 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9212 6089 1111 63 0 9149 0
vsize: 36848
[startup+990.042 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1343959 0 0 0 96412 2604 0 0 25 0 1 0 763196399 38109184 6159 4294967295 134512640 134714540 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9304 6164 1111 63 0 9241 0
vsize: 37216
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1376494 0 0 0 97352 2664 0 0 25 0 1 0 763196399 38141952 6189 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9312 6189 1111 63 0 9249 0
vsize: 37248
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1407681 0 0 0 98288 2728 0 0 25 0 1 0 763196399 38277120 6236 4294967295 134512640 134714540 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9345 6236 1111 63 0 9282 0
vsize: 37380
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1442228 0 0 0 99222 2794 0 0 25 0 1 0 763196399 38551552 6288 4294967295 134512640 134714540 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9412 6288 1111 63 0 9349 0
vsize: 37648
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1477483 0 0 0 100155 2862 0 0 25 0 1 0 763196399 38936576 6346 4294967295 134512640 134714540 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9506 6351 1111 63 0 9443 0
vsize: 38024
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1520293 0 0 0 101077 2940 0 0 25 0 1 0 763196399 38965248 6406 4294967295 134512640 134714540 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9513 6406 1111 63 0 9450 0
vsize: 38052
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1563464 0 0 0 101995 3022 0 0 25 0 1 0 763196399 39239680 6469 4294967295 134512640 134714540 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9580 6469 1111 63 0 9517 0
vsize: 38320
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1605762 0 0 0 102917 3100 0 0 25 0 1 0 763196399 40407040 6557 4294967295 134512640 134714540 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9865 6557 1111 63 0 9802 0
vsize: 39460
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1644488 0 0 0 103844 3174 0 0 25 0 1 0 763196399 40411136 6589 4294967295 134512640 134714540 3221221792 3221220448 134527930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9866 6589 1111 63 0 9803 0
vsize: 39464
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1691359 0 0 0 104750 3267 0 0 25 0 1 0 763196399 40951808 6713 4294967295 134512640 134714540 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9998 6718 1111 63 0 9935 0
vsize: 39992
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1732179 0 0 0 105667 3351 0 0 25 0 1 0 763196399 40955904 6713 4294967295 134512640 134714540 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9999 6713 1111 63 0 9936 0
vsize: 39996
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1769740 0 0 0 106593 3425 0 0 25 0 1 0 763196399 41230336 6765 4294967295 134512640 134714540 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10066 6765 1111 63 0 10003 0
vsize: 40264
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1802853 0 0 0 107528 3490 0 0 25 0 1 0 763196399 41365504 6812 4294967295 134512640 134714540 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10099 6812 1111 63 0 10036 0
vsize: 40396
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1841305 0 0 0 108453 3566 0 0 25 0 1 0 763196399 41639936 6868 4294967295 134512640 134714540 3221221792 3221220020 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10166 6868 1111 63 0 10103 0
vsize: 40664
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1878472 0 0 0 109380 3639 0 0 25 0 1 0 763196399 41775104 6917 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10199 6917 1111 63 0 10136 0
vsize: 40796
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1917263 0 0 0 110303 3716 0 0 25 0 1 0 763196399 42049536 6972 4294967295 134512640 134714540 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10266 6972 1111 63 0 10203 0
vsize: 41064
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1952091 0 0 0 111235 3784 0 0 25 0 1 0 763196399 42192896 7019 4294967295 134512640 134714540 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10301 7019 1111 63 0 10238 0
vsize: 41204
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1991681 0 0 0 112159 3860 0 0 25 0 1 0 763196399 42328064 7072 4294967295 134512640 134714540 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10334 7072 1111 63 0 10271 0
vsize: 41336
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 2028722 0 0 0 113088 3932 0 0 25 0 1 0 763196399 42889216 7151 4294967295 134512640 134714540 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10471 7156 1111 63 0 10408 0
vsize: 41884
[startup+1180.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 2064580 0 0 0 114014 4006 0 0 25 0 1 0 763196399 42737664 7169 4294967295 134512640 134714540 3221221792 3221220448 134527930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10434 7169 1111 63 0 10371 0
vsize: 41736
[startup+1190.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 2098380 0 0 0 114949 4070 0 0 25 0 1 0 763196399 43012096 7214 4294967295 134512640 134714540 3221221792 3221220020 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10501 7214 1111 63 0 10438 0
vsize: 42004
[startup+1200.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 15971
Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 2129235 0 0 0 115888 4131 0 0 25 0 1 0 763196399 43147264 7255 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10534 7255 1111 63 0 10471 0
vsize: 42136
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 1.00 0.99 0.98 1/55 15971
Raw data (stat): 15971 (bsolo_mis) Z 15970 7876 7672 0 -1 1036 2129235 0 0 0 115888 4133 0 0 25 0 1 0 763196399 0 0 4294967295 0 0 0 0 0 0 0 1 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.07
CPU time (s): 1200.22
CPU user time (s): 1158.89
CPU system time (s): 41.3337
CPU usage (%): 100.013
Max. virtual memory (Kb): 42136
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####