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-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos9.opb
MD5SUM	450ad3720278f8a937b0ae6f1c4dfd6d
Bench Category	optimization, medium integers (OPTMEDINT)
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	145051
Biggest coefficient in the objective function	128
Number of bits for the biggest coefficient in the objective function	8
Sum of the numbers in the objective function	4825267
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	3840
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	4825267
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	6.26005
Number of variables	636571
Total number of constraints	113008
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2186
Number of constraints which are nor clauses,nor cardinality constraints	110822
Minimum length of a constraint	1
Maximum length of a constraint	10240
Trace number 25448

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-19 12:24:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19763 boxname=wulflinc31 idbench=1521 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  450ad3720278f8a937b0ae6f1c4dfd6d  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos9.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos9.opb
IDLAUNCH: 19763
/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:        695440 kB
Buffers:         31456 kB
Cached:         281996 kB
SwapCached:       5400 kB
Active:         250480 kB
Inactive:        69604 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        695188 kB
SwapTotal:     2097892 kB
SwapFree:      2091564 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            13380 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-19 12:44:52 (client local time) WITH STATUS 0 IN 1200.31 SECONDS
stats: 19763 7 1200.31 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.98 0.99 2/55 20685
Raw data (stat): 20685 (runsolver) R 20684 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 786993215 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0004 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 2541 0 0 0 987 8 0 0 25 0 1 0 786993215 21778432 2518 4294967295 134512640 134714540 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5317 2518 1111 63 0 5254 0
vsize: 21268
[startup+20.0018 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 4248 0 0 0 1984 12 0 0 25 0 1 0 786993215 28798976 4225 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7031 4225 1111 63 0 6968 0
vsize: 28124
[startup+30.0027 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 5950 0 0 0 2980 16 0 0 25 0 1 0 786993215 35819520 5927 4294967295 134512640 134714540 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8745 5927 1111 63 0 8682 0
vsize: 34980
[startup+40.0033 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 7665 0 0 0 3978 19 0 0 25 0 1 0 786993215 42819584 7642 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10454 7642 1111 63 0 10391 0
vsize: 41816
[startup+50.0044 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 9361 0 0 0 4975 22 0 0 25 0 1 0 786993215 49688576 9338 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12131 9338 1111 63 0 12068 0
vsize: 48524
[startup+60.0045 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 11062 0 0 0 5973 24 0 0 25 0 1 0 786993215 56709120 11039 4294967295 134512640 134714540 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13845 11039 1111 63 0 13782 0
vsize: 55380
[startup+70.005 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 12762 0 0 0 6971 26 0 0 25 0 1 0 786993215 63721472 12739 4294967295 134512640 134714540 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15557 12739 1111 63 0 15494 0
vsize: 62228
[startup+80.0062 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 13858 0 0 0 7969 28 0 0 25 0 1 0 786993215 68235264 13835 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16659 13835 1111 63 0 16596 0
vsize: 66636
[startup+90.0062 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 14303 0 0 0 8969 29 0 0 25 0 1 0 786993215 69926912 14280 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17072 14280 1111 63 0 17009 0
vsize: 68288
[startup+100.007 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 14753 0 0 0 9968 30 0 0 25 0 1 0 786993215 71770112 14730 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17522 14730 1111 63 0 17459 0
vsize: 70088
[startup+110.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 15204 0 0 0 10967 31 0 0 25 0 1 0 786993215 73617408 15181 4294967295 134512640 134714540 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17973 15181 1111 63 0 17910 0
vsize: 71892
[startup+120.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 15648 0 0 0 11966 32 0 0 25 0 1 0 786993215 75460608 15625 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18423 15625 1111 63 0 18360 0
vsize: 73692
[startup+130.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 16105 0 0 0 12965 33 0 0 25 0 1 0 786993215 77307904 16082 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18874 16082 1111 63 0 18811 0
vsize: 75496
[startup+140.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 16548 0 0 0 13965 34 0 0 25 0 1 0 786993215 79175680 16525 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19330 16525 1111 63 0 19267 0
vsize: 77320
[startup+150.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 17011 0 0 0 14964 35 0 0 25 0 1 0 786993215 81145856 16988 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19811 16988 1111 63 0 19748 0
vsize: 79244
[startup+160.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 17463 0 0 0 15963 35 0 0 25 0 1 0 786993215 82989056 17440 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20261 17440 1111 63 0 20198 0
vsize: 81044
[startup+170.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 17913 0 0 0 16962 37 0 0 25 0 1 0 786993215 84836352 17890 4294967295 134512640 134714540 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20712 17890 1111 63 0 20649 0
vsize: 82848
[startup+180.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 18371 0 0 0 17962 38 0 0 25 0 1 0 786993215 86679552 18348 4294967295 134512640 134714540 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21162 18348 1111 63 0 21099 0
vsize: 84648
[startup+190.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 18823 0 0 0 18961 38 0 0 25 0 1 0 786993215 88526848 18800 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21613 18800 1111 63 0 21550 0
vsize: 86452
[startup+200.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 19272 0 0 0 19960 39 0 0 25 0 1 0 786993215 90390528 19249 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22068 19249 1111 63 0 22005 0
vsize: 88272
[startup+210.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 19728 0 0 0 20959 41 0 0 25 0 1 0 786993215 92233728 19705 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22518 19705 1111 63 0 22455 0
vsize: 90072
[startup+220.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 20186 0 0 0 21958 42 0 0 25 0 1 0 786993215 94081024 20163 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22969 20163 1111 63 0 22906 0
vsize: 91876
[startup+230.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 20644 0 0 0 22957 43 0 0 25 0 1 0 786993215 95928320 20621 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23420 20621 1111 63 0 23357 0
vsize: 93680
[startup+240.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 21101 0 0 0 23957 44 0 0 25 0 1 0 786993215 97771520 21078 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23870 21078 1111 63 0 23807 0
vsize: 95480
[startup+250.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 21551 0 0 0 24956 44 0 0 25 0 1 0 786993215 99618816 21528 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24321 21528 1111 63 0 24258 0
vsize: 97284
[startup+260.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 22007 0 0 0 25955 45 0 0 25 0 1 0 786993215 101482496 21984 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24776 21984 1111 63 0 24713 0
vsize: 99104
[startup+270.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 22464 0 0 0 26955 46 0 0 25 0 1 0 786993215 103485440 22441 4294967295 134512640 134714540 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25265 22441 1111 63 0 25202 0
vsize: 101060
[startup+280.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 22921 0 0 0 27954 47 0 0 25 0 1 0 786993215 105328640 22898 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25715 22898 1111 63 0 25652 0
vsize: 102860
[startup+290.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 23395 0 0 0 28953 48 0 0 25 0 1 0 786993215 107347968 23372 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26208 23372 1111 63 0 26145 0
vsize: 104832
[startup+300.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 23852 0 0 0 29953 49 0 0 25 0 1 0 786993215 109195264 23829 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26659 23829 1111 63 0 26596 0
vsize: 106636
[startup+310.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 24309 0 0 0 30952 49 0 0 25 0 1 0 786993215 111038464 24286 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27109 24286 1111 63 0 27046 0
vsize: 108436
[startup+320.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 24768 0 0 0 31952 50 0 0 25 0 1 0 786993215 112885760 24745 4294967295 134512640 134714540 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27560 24745 1111 63 0 27497 0
vsize: 110240
[startup+330.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 25223 0 0 0 32951 51 0 0 25 0 1 0 786993215 114749440 25200 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28015 25200 1111 63 0 27952 0
vsize: 112060
[startup+340.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 25692 0 0 0 33950 52 0 0 25 0 1 0 786993215 116748288 25669 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28503 25669 1111 63 0 28440 0
vsize: 114012
[startup+350.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 26150 0 0 0 34950 53 0 0 25 0 1 0 786993215 118595584 26127 4294967295 134512640 134714540 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28954 26127 1111 63 0 28891 0
vsize: 115816
[startup+360.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 26608 0 0 0 35949 54 0 0 25 0 1 0 786993215 120438784 26585 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29404 26585 1111 63 0 29341 0
vsize: 117616
[startup+370.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 27077 0 0 0 36948 54 0 0 25 0 1 0 786993215 122286080 27054 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29855 27054 1111 63 0 29792 0
vsize: 119420
[startup+380.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 27535 0 0 0 37947 56 0 0 25 0 1 0 786993215 124284928 27512 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30343 27512 1111 63 0 30280 0
vsize: 121372
[startup+390.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 28000 0 0 0 38946 57 0 0 25 0 1 0 786993215 126152704 27977 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30799 27977 1111 63 0 30736 0
vsize: 123196
[startup+400.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 28461 0 0 0 39946 58 0 0 25 0 1 0 786993215 127995904 28438 4294967295 134512640 134714540 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31249 28438 1111 63 0 31186 0
vsize: 124996
[startup+410.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 28931 0 0 0 40945 59 0 0 25 0 1 0 786993215 129998848 28908 4294967295 134512640 134714540 3221221776 3221220004 1077414372 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31738 28908 1111 63 0 31675 0
vsize: 126952
[startup+420.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 29390 0 0 0 41944 60 0 0 25 0 1 0 786993215 131842048 29367 4294967295 134512640 134714540 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32188 29367 1111 63 0 32125 0
vsize: 128752
[startup+430.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 29859 0 0 0 42943 61 0 0 25 0 1 0 786993215 133689344 29836 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32639 29836 1111 63 0 32576 0
vsize: 130556
[startup+440.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 30316 0 0 0 43942 62 0 0 25 0 1 0 786993215 135532544 30293 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33089 30293 1111 63 0 33026 0
vsize: 132356
[startup+450.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 30786 0 0 0 44942 63 0 0 25 0 1 0 786993215 137535488 30763 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33578 30763 1111 63 0 33515 0
vsize: 134312
[startup+460.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 31257 0 0 0 45941 63 0 0 25 0 1 0 786993215 139399168 31234 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34033 31234 1111 63 0 33970 0
vsize: 136132
[startup+470.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 31719 0 0 0 46940 64 0 0 25 0 1 0 786993215 141402112 31696 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34522 31696 1111 63 0 34459 0
vsize: 138088
[startup+480.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 32182 0 0 0 47940 65 0 0 25 0 1 0 786993215 143245312 32159 4294967295 134512640 134714540 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34972 32159 1111 63 0 34909 0
vsize: 139888
[startup+490.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 32653 0 0 0 48939 66 0 0 25 0 1 0 786993215 145092608 32630 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35423 32630 1111 63 0 35360 0
vsize: 141692
[startup+500.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 33123 0 0 0 49939 67 0 0 25 0 1 0 786993215 147091456 33100 4294967295 134512640 134714540 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35911 33100 1111 63 0 35848 0
vsize: 143644
[startup+510.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 33592 0 0 0 50938 67 0 0 25 0 1 0 786993215 148938752 33569 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36362 33569 1111 63 0 36299 0
vsize: 145448
[startup+520.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 34062 0 0 0 51938 68 0 0 25 0 1 0 786993215 150937600 34039 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36850 34039 1111 63 0 36787 0
vsize: 147400
[startup+530.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 34531 0 0 0 52936 70 0 0 25 0 1 0 786993215 152784896 34508 4294967295 134512640 134714540 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37301 34508 1111 63 0 37238 0
vsize: 149204
[startup+540.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 34999 0 0 0 53935 71 0 0 25 0 1 0 786993215 154804224 34976 4294967295 134512640 134714540 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37794 34976 1111 63 0 37731 0
vsize: 151176
[startup+550.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 35469 0 0 0 54934 72 0 0 25 0 1 0 786993215 156647424 35446 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38244 35446 1111 63 0 38181 0
vsize: 152976
[startup+560.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 35957 0 0 0 55934 73 0 0 25 0 1 0 786993215 158789632 35934 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38767 35934 1111 63 0 38704 0
vsize: 155068
[startup+570.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 36428 0 0 0 56933 73 0 0 25 0 1 0 786993215 160788480 36405 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39255 36405 1111 63 0 39192 0
vsize: 157020
[startup+580.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 36904 0 0 0 57932 74 0 0 25 0 1 0 786993215 162635776 36881 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39706 36881 1111 63 0 39643 0
vsize: 158824
[startup+590.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 37380 0 0 0 58932 75 0 0 25 0 1 0 786993215 164634624 37357 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40194 37357 1111 63 0 40131 0
vsize: 160776
[startup+600.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 37851 0 0 0 59930 77 0 0 25 0 1 0 786993215 166481920 37828 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40645 37828 1111 63 0 40582 0
vsize: 162580
[startup+610.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 38327 0 0 0 60928 78 0 0 25 0 1 0 786993215 168484864 38304 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41134 38304 1111 63 0 41071 0
vsize: 164536
[startup+620.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 38801 0 0 0 61927 79 0 0 25 0 1 0 786993215 170504192 38778 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41627 38778 1111 63 0 41564 0
vsize: 166508
[startup+630.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 39273 0 0 0 62927 80 0 0 25 0 1 0 786993215 172347392 39250 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42077 39250 1111 63 0 42014 0
vsize: 168308
[startup+640.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 39748 0 0 0 63926 80 0 0 25 0 1 0 786993215 174350336 39725 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42566 39725 1111 63 0 42503 0
vsize: 170264
[startup+650.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 40224 0 0 0 64925 82 0 0 25 0 1 0 786993215 176193536 40201 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43016 40201 1111 63 0 42953 0
vsize: 172064
[startup+660.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 40694 0 0 0 65924 82 0 0 25 0 1 0 786993215 178196480 40671 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43505 40671 1111 63 0 43442 0
vsize: 174020
[startup+670.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 41177 0 0 0 66923 84 0 0 25 0 1 0 786993215 180195328 41154 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43993 41154 1111 63 0 43930 0
vsize: 175972
[startup+680.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 41646 0 0 0 67923 84 0 0 25 0 1 0 786993215 182042624 41623 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44444 41623 1111 63 0 44381 0
vsize: 177776
[startup+690.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 42129 0 0 0 68923 85 0 0 25 0 1 0 786993215 184041472 42106 4294967295 134512640 134714540 3221221776 3221219644 1077245731 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44932 42106 1111 63 0 44869 0
vsize: 179728
[startup+700.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 42605 0 0 0 69923 85 0 0 25 0 1 0 786993215 186064896 42582 4294967295 134512640 134714540 3221221776 3221220004 1077414424 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45426 42582 1111 63 0 45363 0
vsize: 181704
[startup+710.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 43081 0 0 0 70922 86 0 0 25 0 1 0 786993215 187908096 43058 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45876 43058 1111 63 0 45813 0
vsize: 183504
[startup+720.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 43562 0 0 0 71921 87 0 0 25 0 1 0 786993215 189911040 43539 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46365 43539 1111 63 0 46302 0
vsize: 185460
[startup+730.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 44033 0 0 0 72921 87 0 0 25 0 1 0 786993215 191909888 44010 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46853 44010 1111 63 0 46790 0
vsize: 187412
[startup+740.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 44516 0 0 0 73920 88 0 0 25 0 1 0 786993215 193757184 44493 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47304 44493 1111 63 0 47241 0
vsize: 189216
[startup+750.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 44998 0 0 0 74919 89 0 0 25 0 1 0 786993215 195756032 44975 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47792 44975 1111 63 0 47729 0
vsize: 191168
[startup+760.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 45475 0 0 0 75919 90 0 0 25 0 1 0 786993215 197758976 45452 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48281 45452 1111 63 0 48218 0
vsize: 193124
[startup+770.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 45952 0 0 0 76918 91 0 0 25 0 1 0 786993215 199757824 45929 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48769 45929 1111 63 0 48706 0
vsize: 195076
[startup+780.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 46434 0 0 0 77917 92 0 0 25 0 1 0 786993215 201621504 46411 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49224 46411 1111 63 0 49161 0
vsize: 196896
[startup+790.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 46916 0 0 0 78916 93 0 0 25 0 1 0 786993215 203624448 46893 4294967295 134512640 134714540 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49713 46893 1111 63 0 49650 0
vsize: 198852
[startup+800.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 47399 0 0 0 79915 95 0 0 25 0 1 0 786993215 205623296 47376 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50201 47376 1111 63 0 50138 0
vsize: 200804
[startup+810.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 47881 0 0 0 80914 95 0 0 25 0 1 0 786993215 207626240 47858 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50690 47858 1111 63 0 50627 0
vsize: 202760
[startup+820.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 48363 0 0 0 81914 96 0 0 25 0 1 0 786993215 209625088 48340 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51178 48340 1111 63 0 51115 0
vsize: 204712
[startup+830.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 48846 0 0 0 82912 97 0 0 25 0 1 0 786993215 211472384 48823 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51629 48823 1111 63 0 51566 0
vsize: 206516
[startup+840.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 49329 0 0 0 83911 99 0 0 25 0 1 0 786993215 213471232 49306 4294967295 134512640 134714540 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52117 49306 1111 63 0 52054 0
vsize: 208468
[startup+850.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 49812 0 0 0 84911 99 0 0 25 0 1 0 786993215 215474176 49789 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52606 49789 1111 63 0 52543 0
vsize: 210424
[startup+860.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 50295 0 0 0 85911 100 0 0 25 0 1 0 786993215 217473024 50272 4294967295 134512640 134714540 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53094 50272 1111 63 0 53031 0
vsize: 212376
[startup+870.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 50778 0 0 0 86909 101 0 0 25 0 1 0 786993215 219475968 50755 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53583 50755 1111 63 0 53520 0
vsize: 214332
[startup+880.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 51259 0 0 0 87909 102 0 0 25 0 1 0 786993215 221339648 51236 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54038 51236 1111 63 0 53975 0
vsize: 216152
[startup+890.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 51748 0 0 0 88908 103 0 0 25 0 1 0 786993215 223338496 51725 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54526 51725 1111 63 0 54463 0
vsize: 218104
[startup+900.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 52236 0 0 0 89908 104 0 0 25 0 1 0 786993215 225341440 52213 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55015 52213 1111 63 0 54952 0
vsize: 220060
[startup+910.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 52720 0 0 0 90907 104 0 0 25 0 1 0 786993215 227340288 52697 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55503 52697 1111 63 0 55440 0
vsize: 222012
[startup+920.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 53203 0 0 0 91906 105 0 0 25 0 1 0 786993215 229343232 53180 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55992 53180 1111 63 0 55929 0
vsize: 223968
[startup+930.036 s]
Raw data (loadavg): 1.07 1.00 1.00 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 53685 0 0 0 92905 107 0 0 25 0 1 0 786993215 231342080 53662 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56480 53662 1111 63 0 56417 0
vsize: 225920
[startup+940.036 s]
Raw data (loadavg): 1.06 1.00 1.00 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 54181 0 0 0 93904 108 0 0 25 0 1 0 786993215 233345024 54158 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56969 54158 1111 63 0 56906 0
vsize: 227876
[startup+950.037 s]
Raw data (loadavg): 1.05 1.00 1.00 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 54663 0 0 0 94903 109 0 0 25 0 1 0 786993215 235343872 54640 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 57457 54640 1111 63 0 57394 0
vsize: 229828
[startup+960.038 s]
Raw data (loadavg): 1.04 1.00 1.00 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 55146 0 0 0 95902 110 0 0 25 0 1 0 786993215 237318144 55123 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 57939 55123 1111 63 0 57876 0
vsize: 231756
[startup+970.038 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 55640 0 0 0 96902 111 0 0 25 0 1 0 786993215 239337472 55617 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58432 55617 1111 63 0 58369 0
vsize: 233728
[startup+980.038 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 56123 0 0 0 97901 112 0 0 25 0 1 0 786993215 241340416 56100 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58921 56100 1111 63 0 58858 0
vsize: 235684
[startup+990.038 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 56606 0 0 0 98900 113 0 0 25 0 1 0 786993215 243339264 56583 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59409 56583 1111 63 0 59346 0
vsize: 237636
[startup+1000.04 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 57100 0 0 0 99900 113 0 0 25 0 1 0 786993215 245342208 57077 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59898 57077 1111 63 0 59835 0
vsize: 239592
[startup+1010.04 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 57584 0 0 0 100899 115 0 0 25 0 1 0 786993215 247341056 57561 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60386 57561 1111 63 0 60323 0
vsize: 241544
[startup+1020.04 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 58079 0 0 0 101898 115 0 0 25 0 1 0 786993215 249344000 58056 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60875 58056 1111 63 0 60812 0
vsize: 243500
[startup+1030.04 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 58562 0 0 0 102897 117 0 0 25 0 1 0 786993215 251342848 58539 4294967295 134512640 134714540 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61363 58539 1111 63 0 61300 0
vsize: 245452
[startup+1040.04 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 59057 0 0 0 103897 117 0 0 25 0 1 0 786993215 253345792 59034 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61852 59034 1111 63 0 61789 0
vsize: 247408
[startup+1050.04 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 59552 0 0 0 104896 118 0 0 25 0 1 0 786993215 255344640 59529 4294967295 134512640 134714540 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62340 59529 1111 63 0 62277 0
vsize: 249360
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 60034 0 0 0 105895 119 0 0 25 0 1 0 786993215 257347584 60011 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62829 60011 1111 63 0 62766 0
vsize: 251316
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 60529 0 0 0 106894 121 0 0 25 0 1 0 786993215 259342336 60506 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63316 60506 1111 63 0 63253 0
vsize: 253264
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 61022 0 0 0 107893 122 0 0 25 0 1 0 786993215 261341184 60999 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63804 60999 1111 63 0 63741 0
vsize: 255216
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 61538 0 0 0 108892 123 0 0 25 0 1 0 786993215 263680000 61515 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64375 61515 1111 63 0 64312 0
vsize: 257500
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 62033 0 0 0 109892 123 0 0 25 0 1 0 786993215 265678848 62010 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64863 62010 1111 63 0 64800 0
vsize: 259452
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 62529 0 0 0 110891 125 0 0 25 0 1 0 786993215 267833344 62506 4294967295 134512640 134714540 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65389 62506 1111 63 0 65326 0
vsize: 261556
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 63024 0 0 0 111890 125 0 0 25 0 1 0 786993215 269811712 63001 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65872 63001 1111 63 0 65809 0
vsize: 263488
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 63519 0 0 0 112890 126 0 0 25 0 1 0 786993215 271810560 63496 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 66360 63496 1111 63 0 66297 0
vsize: 265440
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 64015 0 0 0 113889 127 0 0 25 0 1 0 786993215 273813504 63992 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 66849 63992 1111 63 0 66786 0
vsize: 267396
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 64511 0 0 0 114889 127 0 0 25 0 1 0 786993215 275812352 64488 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67337 64488 1111 63 0 67274 0
vsize: 269348
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 64999 0 0 0 115888 128 0 0 25 0 1 0 786993215 277815296 64976 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67826 64976 1111 63 0 67763 0
vsize: 271304
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 65494 0 0 0 116888 129 0 0 25 0 1 0 786993215 279969792 65471 4294967295 134512640 134714540 3221221776 3221219644 1077244492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 68352 65471 1111 63 0 68289 0
vsize: 273408
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 65991 0 0 0 117887 130 0 0 25 0 1 0 786993215 281972736 65968 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 68841 65968 1111 63 0 68778 0
vsize: 275364
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 66484 0 0 0 118886 131 0 0 25 0 1 0 786993215 283992064 66461 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69334 66461 1111 63 0 69271 0
vsize: 277336
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 20685
Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 66985 0 0 0 119885 132 0 0 25 0 1 0 786993215 285990912 66962 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69822 66962 1111 63 0 69759 0
vsize: 279288
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.17 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 20685
Raw data (stat): 20685 (bsolo_mis) Z 20684 7876 7672 0 -1 1036 66985 0 0 0 119885 144 0 0 25 0 1 0 786993215 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.17
CPU time (s): 1200.31
CPU user time (s): 1198.86
CPU system time (s): 1.44878
CPU usage (%): 100.011
Max. virtual memory (Kb): 279288
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####