PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-rail507.opb
MD5SUM	3525728b1c2480586834886de2d50400
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	63309
Biggest coefficient in the objective function	53687091200000000000
Number of bits for the biggest coefficient in the objective function	66
Sum of the numbers in the objective function	215947469635884908544
Number of bits of the sum of numbers in the objective function	68
Biggest number in a constraint	53687091200000000000
Number of bits of the biggest number in a constraint	66
Biggest sum of numbers in a constraint	215947469635884908544
Number of bits of the biggest sum of numbers	68
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	290.253
Number of variables	63009
Total number of constraints	63518
Number of constraints which are clauses	507
Number of constraints which are cardinality constraints (but not clauses)	63011
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	59416
Trace number 27993

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc13 THE 2005-05-25 00:04:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15174 boxname=wulflinc13 idbench=1168 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  3525728b1c2480586834886de2d50400  /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-rail507.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-rail507.opb
IDLAUNCH: 15174
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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	: 2
cpu MHz		: 451.242
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:        837808 kB
Buffers:         22892 kB
Cached:         153032 kB
SwapCached:        604 kB
Active:          38144 kB
Inactive:       140368 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        837556 kB
SwapTotal:     2097136 kB
SwapFree:      2096148 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6148 kB
Slab:            12540 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 00:24:54 (client local time) WITH STATUS 0 IN 1201.11 SECONDS
stats: 15174 7 1201.11 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.89 0.97 0.95 2/54 5465
Raw data (stat): 5465 (runsolver) R 5464 1269 1268 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776203387 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 0.91 0.97 0.95 2/54 5465
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 1640 0 0 0 995 4 0 0 25 0 1 0 776203387 18796544 1618 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4589 1618 1111 63 0 4526 0
vsize: 18356
[startup+20.0063 s]
Raw data (loadavg): 0.92 0.97 0.95 2/54 5465
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 2569 0 0 0 1994 5 0 0 25 0 1 0 776203387 22523904 2547 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5499 2547 1111 63 0 5436 0
vsize: 21996
[startup+30.0063 s]
Raw data (loadavg): 0.93 0.97 0.95 2/54 5465
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 3503 0 0 0 2992 7 0 0 25 0 1 0 776203387 26406912 3481 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6447 3481 1111 63 0 6384 0
vsize: 25788
[startup+40.0069 s]
Raw data (loadavg): 0.94 0.97 0.95 2/54 5465
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 4445 0 0 0 3991 9 0 0 25 0 1 0 776203387 30289920 4423 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7395 4423 1111 63 0 7332 0
vsize: 29580
[startup+50.0072 s]
Raw data (loadavg): 0.95 0.97 0.95 2/54 5465
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 5381 0 0 0 4990 10 0 0 25 0 1 0 776203387 34025472 5359 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8307 5359 1111 63 0 8244 0
vsize: 33228
[startup+60.0082 s]
Raw data (loadavg): 0.96 0.97 0.95 2/54 5465
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 6323 0 0 0 5988 12 0 0 25 0 1 0 776203387 37908480 6301 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9255 6301 1111 63 0 9192 0
vsize: 37020
[startup+70.0086 s]
Raw data (loadavg): 0.96 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 7274 0 0 0 6987 14 0 0 25 0 1 0 776203387 41775104 7252 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10199 7252 1111 63 0 10136 0
vsize: 40796
[startup+80.0082 s]
Raw data (loadavg): 0.97 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 8215 0 0 0 7984 16 0 0 25 0 1 0 776203387 45658112 8193 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11147 8193 1111 63 0 11084 0
vsize: 44588
[startup+90.0082 s]
Raw data (loadavg): 0.97 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 9163 0 0 0 8983 17 0 0 25 0 1 0 776203387 49541120 9141 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12095 9141 1111 63 0 12032 0
vsize: 48380
[startup+100.008 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 10117 0 0 0 9982 19 0 0 25 0 1 0 776203387 53424128 10095 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13043 10095 1111 63 0 12980 0
vsize: 52172
[startup+110.008 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 11071 0 0 0 10980 21 0 0 25 0 1 0 776203387 57454592 11049 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14027 11049 1111 63 0 13964 0
vsize: 56108
[startup+120.017 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 12025 0 0 0 11980 22 0 0 25 0 1 0 776203387 61337600 12003 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14975 12003 1111 63 0 14912 0
vsize: 59900
[startup+130.016 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 12990 0 0 0 12979 24 0 0 25 0 1 0 776203387 65220608 12968 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15923 12968 1111 63 0 15860 0
vsize: 63692
[startup+140.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 13948 0 0 0 13977 26 0 0 25 0 1 0 776203387 69242880 13926 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16905 13926 1111 63 0 16842 0
vsize: 67620
[startup+150.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 14909 0 0 0 14975 28 0 0 25 0 1 0 776203387 73125888 14887 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17853 14887 1111 63 0 17790 0
vsize: 71412
[startup+160.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 15875 0 0 0 15974 29 0 0 25 0 1 0 776203387 77008896 15853 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18801 15853 1111 63 0 18738 0
vsize: 75204
[startup+170.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 16841 0 0 0 16973 30 0 0 25 0 1 0 776203387 81039360 16819 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19785 16819 1111 63 0 19722 0
vsize: 79140
[startup+180.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 17808 0 0 0 17972 32 0 0 25 0 1 0 776203387 84922368 17786 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20770 17791 1111 63 0 20707 0
vsize: 82932
[startup+190.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 18780 0 0 0 18970 34 0 0 25 0 1 0 776203387 88952832 18758 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21717 18759 1111 63 0 21654 0
vsize: 86868
[startup+200.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 19758 0 0 0 19969 35 0 0 25 0 1 0 776203387 92987392 19736 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22702 19736 1111 63 0 22639 0
vsize: 90808
[startup+210.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 20736 0 0 0 20967 37 0 0 25 0 1 0 776203387 97017856 20714 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23686 20714 1111 63 0 23623 0
vsize: 94744
[startup+220.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 21714 0 0 0 21966 39 0 0 25 0 1 0 776203387 101048320 21692 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24670 21692 1111 63 0 24607 0
vsize: 98680
[startup+230.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 22692 0 0 0 22964 41 0 0 25 0 1 0 776203387 104931328 22670 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25618 22670 1111 63 0 25555 0
vsize: 102472
[startup+240.067 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 23683 0 0 0 23966 43 0 0 25 0 1 0 776203387 109113344 23661 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26639 23661 1111 63 0 26576 0
vsize: 106556
[startup+250.067 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 24667 0 0 0 24965 45 0 0 25 0 1 0 776203387 113143808 24645 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27623 24645 1111 63 0 27560 0
vsize: 110492
[startup+260.067 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 25664 0 0 0 25964 46 0 0 25 0 1 0 776203387 117174272 25642 4294967295 134512640 134714540 3221224592 3221222820 1077414422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28607 25642 1111 63 0 28544 0
vsize: 114428
[startup+270.067 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 26654 0 0 0 26962 48 0 0 25 0 1 0 776203387 121204736 26632 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29591 26632 1111 63 0 29528 0
vsize: 118364
[startup+280.067 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 27651 0 0 0 27961 49 0 0 25 0 1 0 776203387 125386752 27629 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30612 27629 1111 63 0 30549 0
vsize: 122448
[startup+290.067 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 28648 0 0 0 28959 51 0 0 25 0 1 0 776203387 129417216 28626 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31596 28626 1111 63 0 31533 0
vsize: 126384
[startup+300.067 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 29645 0 0 0 29958 53 0 0 25 0 1 0 776203387 133447680 29623 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32580 29623 1111 63 0 32517 0
vsize: 130320
[startup+310.067 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 30647 0 0 0 30956 55 0 0 25 0 1 0 776203387 137629696 30625 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33601 30625 1111 63 0 33538 0
vsize: 134404
[startup+320.066 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 31657 0 0 0 31954 57 0 0 25 0 1 0 776203387 141660160 31635 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34585 31635 1111 63 0 34522 0
vsize: 138340
[startup+330.069 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 32665 0 0 0 32953 59 0 0 25 0 1 0 776203387 145833984 32643 4294967295 134512640 134714540 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35604 32643 1111 63 0 35541 0
vsize: 142416
[startup+340.077 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 33672 0 0 0 33951 61 0 0 25 0 1 0 776203387 150016000 33650 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36625 33650 1111 63 0 36562 0
vsize: 146500
[startup+350.077 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 34687 0 0 0 34949 63 0 0 25 0 1 0 776203387 154198016 34665 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37646 34665 1111 63 0 37583 0
vsize: 150584
[startup+360.083 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 35702 0 0 0 35949 65 0 0 25 0 1 0 776203387 158228480 35680 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38630 35680 1111 63 0 38567 0
vsize: 154520
[startup+370.083 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 36723 0 0 0 36948 66 0 0 25 0 1 0 776203387 162410496 36701 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39651 36701 1111 63 0 39588 0
vsize: 158604
[startup+380.083 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 37745 0 0 0 37946 68 0 0 25 0 1 0 776203387 166588416 37723 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40671 37723 1111 63 0 40608 0
vsize: 162684
[startup+390.083 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 38765 0 0 0 38944 69 0 0 25 0 1 0 776203387 170770432 38743 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41692 38743 1111 63 0 41629 0
vsize: 166768
[startup+400.083 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 39792 0 0 0 39943 71 0 0 25 0 1 0 776203387 175099904 39770 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42749 39770 1111 63 0 42686 0
vsize: 170996
[startup+410.083 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 40825 0 0 0 40942 72 0 0 25 0 1 0 776203387 179281920 40803 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43770 40803 1111 63 0 43707 0
vsize: 175080
[startup+420.092 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 41859 0 0 0 41941 74 0 0 25 0 1 0 776203387 183459840 41837 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44790 41837 1111 63 0 44727 0
vsize: 179160
[startup+430.096 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 42891 0 0 0 42940 76 0 0 25 0 1 0 776203387 187789312 42869 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45847 42869 1111 63 0 45784 0
vsize: 183388
[startup+440.096 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 43930 0 0 0 43938 78 0 0 25 0 1 0 776203387 191971328 43908 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46868 43908 1111 63 0 46805 0
vsize: 187472
[startup+450.096 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 44975 0 0 0 44936 80 0 0 25 0 1 0 776203387 196300800 44953 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47925 44953 1111 63 0 47862 0
vsize: 191700
[startup+460.095 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 46014 0 0 0 45934 82 0 0 25 0 1 0 776203387 200482816 45992 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48946 45992 1111 63 0 48883 0
vsize: 195784
[startup+470.096 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 47065 0 0 0 46933 83 0 0 25 0 1 0 776203387 204812288 47043 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50003 47043 1111 63 0 49940 0
vsize: 200012
[startup+480.096 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 48116 0 0 0 47932 85 0 0 25 0 1 0 776203387 209141760 48094 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51060 48094 1111 63 0 50997 0
vsize: 204240
[startup+490.096 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 49167 0 0 0 48930 87 0 0 25 0 1 0 776203387 213471232 49145 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52117 49145 1111 63 0 52054 0
vsize: 208468
[startup+500.097 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 50234 0 0 0 49928 89 0 0 25 0 1 0 776203387 217821184 50212 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53179 50212 1111 63 0 53116 0
vsize: 212716
[startup+510.097 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 51293 0 0 0 50925 92 0 0 25 0 1 0 776203387 222150656 51271 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54236 51271 1111 63 0 54173 0
vsize: 216944
[startup+520.097 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 52356 0 0 0 51924 94 0 0 25 0 1 0 776203387 226480128 52334 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55293 52334 1111 63 0 55230 0
vsize: 221172
[startup+530.097 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 53426 0 0 0 52923 95 0 0 25 0 1 0 776203387 230965248 53404 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56388 53404 1111 63 0 56325 0
vsize: 225552
[startup+540.098 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 54496 0 0 0 53920 98 0 0 25 0 1 0 776203387 235294720 54474 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57445 54474 1111 63 0 57382 0
vsize: 229780
[startup+550.099 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 55572 0 0 0 54919 100 0 0 25 0 1 0 776203387 239775744 55550 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58539 55550 1111 63 0 58476 0
vsize: 234156
[startup+560.104 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 56647 0 0 0 55917 102 0 0 25 0 1 0 776203387 244105216 56625 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59596 56625 1111 63 0 59533 0
vsize: 238384
[startup+570.115 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 57723 0 0 0 56916 104 0 0 25 0 1 0 776203387 248582144 57701 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60689 57701 1111 63 0 60626 0
vsize: 242756
[startup+580.116 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 58811 0 0 0 57914 107 0 0 25 0 1 0 776203387 252911616 58789 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61746 58789 1111 63 0 61683 0
vsize: 246984
[startup+590.116 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 59892 0 0 0 58912 108 0 0 25 0 1 0 776203387 257392640 59870 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62840 59870 1111 63 0 62777 0
vsize: 251360
[startup+600.116 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 60985 0 0 0 59910 110 0 0 25 0 1 0 776203387 261869568 60963 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63933 60963 1111 63 0 63870 0
vsize: 255732
[startup+610.116 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 62080 0 0 0 60908 113 0 0 25 0 1 0 776203387 266350592 62058 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65027 62058 1111 63 0 64964 0
vsize: 260108
[startup+620.117 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 63179 0 0 0 61907 114 0 0 25 0 1 0 776203387 270827520 63157 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66120 63157 1111 63 0 66057 0
vsize: 264480
[startup+630.116 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 64286 0 0 0 62906 116 0 0 25 0 1 0 776203387 275456000 64264 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67250 64264 1111 63 0 67187 0
vsize: 269000
[startup+640.128 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 65392 0 0 0 63905 118 0 0 25 0 1 0 776203387 279932928 65370 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68343 65370 1111 63 0 68280 0
vsize: 273372
[startup+650.128 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 66503 0 0 0 64903 120 0 0 25 0 1 0 776203387 284413952 66481 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69437 66481 1111 63 0 69374 0
vsize: 277748
[startup+660.144 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 67622 0 0 0 65903 122 0 0 25 0 1 0 776203387 289042432 67600 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70567 67600 1111 63 0 70504 0
vsize: 282268
[startup+670.144 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 68740 0 0 0 66901 124 0 0 25 0 1 0 776203387 293670912 68718 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71697 68718 1111 63 0 71634 0
vsize: 286788
[startup+680.145 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 69865 0 0 0 67900 125 0 0 25 0 1 0 776203387 298295296 69843 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72826 69843 1111 63 0 72763 0
vsize: 291304
[startup+690.147 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 70988 0 0 0 68898 128 0 0 25 0 1 0 776203387 302776320 70966 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73920 70966 1111 63 0 73857 0
vsize: 295680
[startup+700.147 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 72120 0 0 0 69896 130 0 0 25 0 1 0 776203387 307408896 72098 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75051 72098 1111 63 0 74988 0
vsize: 300204
[startup+710.149 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 73256 0 0 0 70894 132 0 0 25 0 1 0 776203387 312188928 73234 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76218 73234 1111 63 0 76155 0
vsize: 304872
[startup+720.149 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 74392 0 0 0 71892 134 0 0 25 0 1 0 776203387 316813312 74370 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77347 74370 1111 63 0 77284 0
vsize: 309388
[startup+730.149 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 75534 0 0 0 72890 137 0 0 25 0 1 0 776203387 321441792 75512 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78477 75512 1111 63 0 78414 0
vsize: 313908
[startup+740.156 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 76684 0 0 0 73889 138 0 0 25 0 1 0 776203387 326221824 76662 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 79644 76662 1111 63 0 79581 0
vsize: 318576
[startup+750.159 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 77832 0 0 0 74888 140 0 0 25 0 1 0 776203387 330846208 77810 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80773 77810 1111 63 0 80710 0
vsize: 323092
[startup+760.158 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 78986 0 0 0 75886 142 0 0 25 0 1 0 776203387 335626240 78964 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81940 78964 1111 63 0 81877 0
vsize: 327760
[startup+770.158 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 80147 0 0 0 76885 143 0 0 25 0 1 0 776203387 340402176 80125 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83106 80125 1111 63 0 83043 0
vsize: 332424
[startup+780.173 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 81313 0 0 0 77884 145 0 0 25 0 1 0 776203387 345178112 81291 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84272 81291 1111 63 0 84209 0
vsize: 337088
[startup+790.173 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 82482 0 0 0 78882 148 0 0 25 0 1 0 776203387 349962240 82460 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85440 82460 1111 63 0 85377 0
vsize: 341760
[startup+800.18 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 83654 0 0 0 79881 149 0 0 25 0 1 0 776203387 354738176 83632 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86606 83632 1111 63 0 86543 0
vsize: 346424
[startup+810.179 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 84827 0 0 0 80880 151 0 0 25 0 1 0 776203387 359514112 84805 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87772 84805 1111 63 0 87709 0
vsize: 351088
[startup+820.191 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 86012 0 0 0 81879 153 0 0 25 0 1 0 776203387 364294144 85990 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88939 85990 1111 63 0 88876 0
vsize: 355756
[startup+830.19 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 87196 0 0 0 82877 155 0 0 25 0 1 0 776203387 369217536 87174 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90141 87174 1111 63 0 90078 0
vsize: 360564
[startup+840.19 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 88381 0 0 0 83875 157 0 0 25 0 1 0 776203387 373997568 88359 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91308 88359 1111 63 0 91245 0
vsize: 365232
[startup+850.19 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 89578 0 0 0 84874 158 0 0 25 0 1 0 776203387 378920960 89556 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92510 89556 1111 63 0 92447 0
vsize: 370040
[startup+860.19 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 90777 0 0 0 85872 161 0 0 25 0 1 0 776203387 383852544 90755 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93714 90755 1111 63 0 93651 0
vsize: 374856
[startup+870.216 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 91985 0 0 0 86873 163 0 0 25 0 1 0 776203387 388780032 91963 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94917 91963 1111 63 0 94854 0
vsize: 379668
[startup+880.215 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 93194 0 0 0 87872 164 0 0 25 0 1 0 776203387 393707520 93172 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96120 93172 1111 63 0 96057 0
vsize: 384480
[startup+890.219 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 94403 0 0 0 88870 166 0 0 25 0 1 0 776203387 398782464 94381 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97359 94381 1111 63 0 97296 0
vsize: 389436
[startup+900.222 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 95624 0 0 0 89868 169 0 0 25 0 1 0 776203387 403705856 95602 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 98561 95602 1111 63 0 98498 0
vsize: 394244
[startup+910.228 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 96844 0 0 0 90867 171 0 0 25 0 1 0 776203387 408780800 96822 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 99800 96822 1111 63 0 99737 0
vsize: 399200
[startup+920.238 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 98098 0 0 0 91866 173 0 0 25 0 1 0 776203387 413933568 98076 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101058 98076 1111 63 0 100995 0
vsize: 404232
[startup+930.238 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 99325 0 0 0 92864 175 0 0 25 0 1 0 776203387 419008512 99303 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102297 99303 1111 63 0 102234 0
vsize: 409188
[startup+940.252 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 100564 0 0 0 93863 177 0 0 25 0 1 0 776203387 424083456 100542 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103536 100542 1111 63 0 103473 0
vsize: 414144
[startup+950.254 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 101809 0 0 0 94862 179 0 0 25 0 1 0 776203387 429158400 101787 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104775 101787 1111 63 0 104712 0
vsize: 419100
[startup+960.262 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 103061 0 0 0 95861 181 0 0 25 0 1 0 776203387 434233344 103039 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106014 103039 1111 63 0 105951 0
vsize: 424056
[startup+970.366 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 104327 0 0 0 96869 183 0 0 25 0 1 0 776203387 439463936 104305 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107291 104305 1111 63 0 107228 0
vsize: 429164
[startup+980.366 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 105584 0 0 0 97867 185 0 0 25 0 1 0 776203387 444686336 105562 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 108566 105562 1111 63 0 108503 0
vsize: 434264
[startup+990.375 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 106853 0 0 0 98866 188 0 0 25 0 1 0 776203387 449761280 106831 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 109805 106831 1111 63 0 109742 0
vsize: 439220
[startup+1000.38 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 108123 0 0 0 99864 190 0 0 25 0 1 0 776203387 454987776 108101 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 111081 108101 1111 63 0 111018 0
vsize: 444324
[startup+1010.38 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 109399 0 0 0 100863 192 0 0 25 0 1 0 776203387 460210176 109377 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 112356 109377 1111 63 0 112293 0
vsize: 449424
[startup+1020.38 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 110683 0 0 0 101862 194 0 0 25 0 1 0 776203387 465440768 110661 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 113633 110661 1111 63 0 113570 0
vsize: 454532
[startup+1030.38 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 111971 0 0 0 102859 197 0 0 25 0 1 0 776203387 470814720 111949 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114945 111949 1111 63 0 114882 0
vsize: 459780
[startup+1040.38 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 113265 0 0 0 103856 200 0 0 25 0 1 0 776203387 476037120 113243 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 116220 113243 1111 63 0 116157 0
vsize: 464880
[startup+1050.39 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 114564 0 0 0 104854 203 0 0 25 0 1 0 776203387 481411072 114542 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 117532 114542 1111 63 0 117469 0
vsize: 470128
[startup+1060.49 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 115885 0 0 0 105862 205 0 0 25 0 1 0 776203387 486789120 115863 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 118845 115863 1111 63 0 118782 0
vsize: 475380
[startup+1070.49 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 117198 0 0 0 106860 207 0 0 25 0 1 0 776203387 492163072 117176 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 120157 117176 1111 63 0 120094 0
vsize: 480628
[startup+1080.51 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 118515 0 0 0 107859 210 0 0 25 0 1 0 776203387 497537024 118493 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121469 118493 1111 63 0 121406 0
vsize: 485876
[startup+1090.51 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 119841 0 0 0 108856 213 0 0 25 0 1 0 776203387 503066624 119819 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 122819 119819 1111 63 0 122756 0
vsize: 491276
[startup+1100.51 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 121178 0 0 0 109854 215 0 0 25 0 1 0 776203387 508440576 121156 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 124131 121156 1111 63 0 124068 0
vsize: 496524
[startup+1110.51 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 122515 0 0 0 110852 217 0 0 25 0 1 0 776203387 513961984 122493 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 125479 122493 1111 63 0 125416 0
vsize: 501916
[startup+1120.51 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 123863 0 0 0 111851 219 0 0 25 0 1 0 776203387 519483392 123841 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 126827 123841 1111 63 0 126764 0
vsize: 507308
[startup+1130.51 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 125219 0 0 0 112849 221 0 0 25 0 1 0 776203387 525012992 125197 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128177 125197 1111 63 0 128114 0
vsize: 512708
[startup+1140.52 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 126574 0 0 0 113848 224 0 0 25 0 1 0 776203387 530534400 126552 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 129525 126552 1111 63 0 129462 0
vsize: 518100
[startup+1150.53 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 127941 0 0 0 114846 226 0 0 25 0 1 0 776203387 536207360 127919 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 130910 127919 1111 63 0 130847 0
vsize: 523640
[startup+1160.53 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 129316 0 0 0 115844 228 0 0 25 0 1 0 776203387 541736960 129294 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 132260 129294 1111 63 0 132197 0
vsize: 529040
[startup+1170.53 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 130695 0 0 0 116843 230 0 0 25 0 1 0 776203387 547405824 130673 4294967295 134512640 134714540 3221224592 3221222820 1077414422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 133644 130673 1111 63 0 133581 0
vsize: 534576
[startup+1180.53 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 132085 0 0 0 117840 233 0 0 25 0 1 0 776203387 553078784 132063 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 135029 132063 1111 63 0 134966 0
vsize: 540116
[startup+1190.53 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 133478 0 0 0 118838 235 0 0 25 0 1 0 776203387 558903296 133456 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 136451 133456 1111 63 0 136388 0
vsize: 545804
[startup+1200.65 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5467
Raw data (stat): 5465 (bsolo_mis) R 5464 1269 1268 0 -1 0 134894 0 0 0 119847 238 0 0 25 0 1 0 776203387 564576256 134872 4294967295 134512640 134714540 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 137836 134872 1111 63 0 137773 0
vsize: 551344
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.91 s]
Raw data (loadavg): 0.99 0.97 0.95 1/54 5467
Raw data (stat): 5465 (bsolo_mis) Z 5464 1269 1268 0 -1 1036 134894 0 0 0 119847 263 0 0 24 0 1 0 776203387 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 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.91
CPU time (s): 1201.11
CPU user time (s): 1198.48
CPU system time (s): 2.6326
CPU usage (%): 100.017
Max. virtual memory (Kb): 551344
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####