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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit2d.opb
MD5SUM	e4d850251a185eefeba808334bb200f5
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	102000
Biggest coefficient in the objective function	166502400
Number of bits for the biggest coefficient in the objective function	28
Sum of the numbers in the objective function	44079267426
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	166502400
Number of bits of the biggest number in a constraint	28
Biggest sum of numbers in a constraint	44079267426
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	267.004
Number of variables	118500
Total number of constraints	10525
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	10525
Minimum length of a constraint	10
Maximum length of a constraint	118500
Trace number 26845

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-24 17:10:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=10806 boxname=wulflinc31 idbench=832 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  e4d850251a185eefeba808334bb200f5  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-fit2d.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-fit2d.opb
IDLAUNCH: 10806
/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:        377304 kB
Buffers:         35092 kB
Cached:         600548 kB
SwapCached:       1248 kB
Active:         225972 kB
Inactive:       412152 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        377052 kB
SwapTotal:     2097892 kB
SwapFree:      2096040 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5432 kB
Slab:            13484 kB
Committed_AS:    63808 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 17:30:17 (client local time) WITH STATUS 0 IN 1200.4 SECONDS
stats: 10806 7 1200.4 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.97 0.91 2/55 515
Raw data (stat): 515 (runsolver) R 514 29618 29617 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831910830 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.0005 s]
Raw data (loadavg): 0.94 0.97 0.91 2/55 515
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 1153 0 0 0 995 3 0 0 25 0 1 0 831910830 16297984 1131 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3979 1131 1111 63 0 3916 0
vsize: 15916
[startup+20.0014 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 515
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 1449 0 0 0 1995 4 0 0 25 0 1 0 831910830 17403904 1427 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4249 1427 1111 63 0 4186 0
vsize: 16996
[startup+30.0012 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 515
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 1745 0 0 0 2994 5 0 0 25 0 1 0 831910830 18644992 1723 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4552 1723 1111 63 0 4489 0
vsize: 18208
[startup+40.0025 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 517
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 2057 0 0 0 3994 5 0 0 25 0 1 0 831910830 19918848 2035 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4863 2035 1111 63 0 4800 0
vsize: 19452
[startup+50.0031 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 517
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 2351 0 0 0 4994 6 0 0 25 0 1 0 831910830 21155840 2329 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5165 2329 1111 63 0 5102 0
vsize: 20660
[startup+60.0033 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 517
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 2660 0 0 0 5993 6 0 0 25 0 1 0 831910830 22392832 2638 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5467 2638 1111 63 0 5404 0
vsize: 21868
[startup+70.0192 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 517
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 2967 0 0 0 6994 7 0 0 25 0 1 0 831910830 23650304 2945 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5774 2945 1111 63 0 5711 0
vsize: 23096
[startup+80.0262 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 517
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 3264 0 0 0 7994 8 0 0 25 0 1 0 831910830 24866816 3242 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6071 3242 1111 63 0 6008 0
vsize: 24284
[startup+90.0296 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 517
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 3572 0 0 0 8995 8 0 0 25 0 1 0 831910830 26124288 3550 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6378 3550 1111 63 0 6315 0
vsize: 25512
[startup+100.03 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 519
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 3881 0 0 0 9995 8 0 0 25 0 1 0 831910830 27365376 3859 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6681 3859 1111 63 0 6618 0
vsize: 26724
[startup+110.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 519
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 4183 0 0 0 10995 9 0 0 25 0 1 0 831910830 28602368 4161 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6983 4161 1111 63 0 6920 0
vsize: 27932
[startup+120.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 519
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 4492 0 0 0 11995 10 0 0 25 0 1 0 831910830 29843456 4470 4294967295 134512640 134714540 3221224592 3221222928 134566780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7286 4470 1111 63 0 7223 0
vsize: 29144
[startup+130.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 519
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 4795 0 0 0 12994 10 0 0 25 0 1 0 831910830 31100928 4773 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7627 4779 1111 63 0 7564 0
vsize: 30372
[startup+140.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 519
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 5109 0 0 0 13994 11 0 0 25 0 1 0 831910830 32522240 5087 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7940 5087 1111 63 0 7877 0
vsize: 31760
[startup+150.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 519
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 5419 0 0 0 14993 12 0 0 25 0 1 0 831910830 33763328 5397 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8243 5397 1111 63 0 8180 0
vsize: 32972
[startup+160.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 521
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 5728 0 0 0 15992 13 0 0 25 0 1 0 831910830 35004416 5706 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8546 5706 1111 63 0 8483 0
vsize: 34184
[startup+170.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 521
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 6032 0 0 0 16992 14 0 0 25 0 1 0 831910830 36265984 6010 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8854 6010 1111 63 0 8791 0
vsize: 35416
[startup+180.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 521
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 6339 0 0 0 17991 14 0 0 25 0 1 0 831910830 37502976 6317 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9156 6317 1111 63 0 9093 0
vsize: 36624
[startup+190.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 521
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 6649 0 0 0 18991 15 0 0 25 0 1 0 831910830 38768640 6627 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9465 6627 1111 63 0 9402 0
vsize: 37860
[startup+200.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 521
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 6964 0 0 0 19990 15 0 0 25 0 1 0 831910830 40030208 6942 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9773 6942 1111 63 0 9710 0
vsize: 39092
[startup+210.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 521
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 7274 0 0 0 20990 16 0 0 25 0 1 0 831910830 41271296 7252 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10076 7252 1111 63 0 10013 0
vsize: 40304
[startup+220.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 523
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 7577 0 0 0 21990 16 0 0 25 0 1 0 831910830 42528768 7555 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10383 7555 1111 63 0 10320 0
vsize: 41532
[startup+230.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 523
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 7898 0 0 0 22990 17 0 0 25 0 1 0 831910830 43925504 7876 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10724 7876 1111 63 0 10661 0
vsize: 42896
[startup+240.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 523
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 8202 0 0 0 23989 17 0 0 25 0 1 0 831910830 45166592 8180 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11027 8180 1111 63 0 10964 0
vsize: 44108
[startup+250.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 523
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 8523 0 0 0 24989 18 0 0 25 0 1 0 831910830 46383104 8501 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11324 8501 1111 63 0 11261 0
vsize: 45296
[startup+260.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 523
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 8826 0 0 0 25989 18 0 0 25 0 1 0 831910830 47644672 8804 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11632 8804 1111 63 0 11569 0
vsize: 46528
[startup+270.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 523
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 9157 0 0 0 26989 19 0 0 25 0 1 0 831910830 49053696 9135 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11976 9135 1111 63 0 11913 0
vsize: 47904
[startup+280.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 525
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 9472 0 0 0 27988 20 0 0 25 0 1 0 831910830 50294784 9450 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12279 9450 1111 63 0 12216 0
vsize: 49116
[startup+290.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 525
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 9789 0 0 0 28988 21 0 0 25 0 1 0 831910830 51691520 9767 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12620 9767 1111 63 0 12557 0
vsize: 50480
[startup+300.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 525
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 10105 0 0 0 29988 21 0 0 25 0 1 0 831910830 52932608 10083 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12923 10083 1111 63 0 12860 0
vsize: 51692
[startup+310.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 525
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 10421 0 0 0 30989 21 0 0 25 0 1 0 831910830 54190080 10399 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13230 10399 1111 63 0 13167 0
vsize: 52920
[startup+320.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 525
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 10737 0 0 0 31989 22 0 0 25 0 1 0 831910830 55566336 10715 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13566 10715 1111 63 0 13503 0
vsize: 54264
[startup+330.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 525
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 11058 0 0 0 32988 23 0 0 25 0 1 0 831910830 56807424 11036 4294967295 134512640 134714540 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13869 11036 1111 63 0 13806 0
vsize: 55476
[startup+340.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 527
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 11381 0 0 0 33988 23 0 0 25 0 1 0 831910830 58179584 11359 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14204 11359 1111 63 0 14141 0
vsize: 56816
[startup+350.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 527
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 11698 0 0 0 34987 24 0 0 25 0 1 0 831910830 59441152 11676 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14512 11676 1111 63 0 14449 0
vsize: 58048
[startup+360.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 527
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 12020 0 0 0 35987 24 0 0 25 0 1 0 831910830 60841984 11998 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14854 11998 1111 63 0 14791 0
vsize: 59416
[startup+370.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 527
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 12335 0 0 0 36987 25 0 0 25 0 1 0 831910830 62078976 12313 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15156 12313 1111 63 0 15093 0
vsize: 60624
[startup+380.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 527
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 12664 0 0 0 37987 25 0 0 25 0 1 0 831910830 63340544 12642 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15464 12642 1111 63 0 15401 0
vsize: 61856
[startup+390.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 527
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 12981 0 0 0 38986 26 0 0 25 0 1 0 831910830 64737280 12959 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15805 12959 1111 63 0 15742 0
vsize: 63220
[startup+400.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 529
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 13304 0 0 0 39986 26 0 0 25 0 1 0 831910830 65978368 13282 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16108 13282 1111 63 0 16045 0
vsize: 64432
[startup+410.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 529
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 13632 0 0 0 40986 27 0 0 25 0 1 0 831910830 67371008 13610 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16448 13610 1111 63 0 16385 0
vsize: 65792
[startup+420.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 529
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 13948 0 0 0 41985 27 0 0 25 0 1 0 831910830 68612096 13926 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16751 13926 1111 63 0 16688 0
vsize: 67004
[startup+430.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 529
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 14277 0 0 0 42985 28 0 0 25 0 1 0 831910830 69988352 14255 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17087 14255 1111 63 0 17024 0
vsize: 68348
[startup+440.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 529
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 14605 0 0 0 43985 28 0 0 25 0 1 0 831910830 71385088 14583 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17428 14583 1111 63 0 17365 0
vsize: 69712
[startup+450.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 529
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 14923 0 0 0 44984 29 0 0 25 0 1 0 831910830 72626176 14901 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17731 14901 1111 63 0 17668 0
vsize: 70924
[startup+460.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 531
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 15251 0 0 0 45984 29 0 0 25 0 1 0 831910830 74022912 15229 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 15229 1111 63 0 18009 0
vsize: 72288
[startup+470.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 531
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 15579 0 0 0 46984 29 0 0 25 0 1 0 831910830 75259904 15557 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18374 15557 1111 63 0 18311 0
vsize: 73496
[startup+480.083 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 531
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 15909 0 0 0 47984 30 0 0 25 0 1 0 831910830 76656640 15887 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18715 15887 1111 63 0 18652 0
vsize: 74860
[startup+490.084 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 531
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 16237 0 0 0 48983 31 0 0 25 0 1 0 831910830 78028800 16215 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19050 16215 1111 63 0 18987 0
vsize: 76200
[startup+500.087 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 531
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 16566 0 0 0 49983 32 0 0 25 0 1 0 831910830 79405056 16544 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19386 16544 1111 63 0 19323 0
vsize: 77544
[startup+510.088 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 531
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 16895 0 0 0 50983 32 0 0 25 0 1 0 831910830 80777216 16873 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19721 16873 1111 63 0 19658 0
vsize: 78884
[startup+520.088 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 533
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 17223 0 0 0 51982 33 0 0 25 0 1 0 831910830 82034688 17201 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20028 17201 1111 63 0 19965 0
vsize: 80112
[startup+530.089 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 533
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 17571 0 0 0 52982 34 0 0 25 0 1 0 831910830 83623936 17549 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20416 17549 1111 63 0 20353 0
vsize: 81664
[startup+540.089 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 533
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 17912 0 0 0 53981 34 0 0 25 0 1 0 831910830 85000192 17890 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20752 17890 1111 63 0 20689 0
vsize: 83008
[startup+550.089 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 533
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 18241 0 0 0 54981 35 0 0 25 0 1 0 831910830 86401024 18219 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21094 18219 1111 63 0 21031 0
vsize: 84376
[startup+560.098 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 533
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 18572 0 0 0 55982 35 0 0 25 0 1 0 831910830 87662592 18550 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21402 18550 1111 63 0 21339 0
vsize: 85608
[startup+570.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 533
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 18913 0 0 0 56983 36 0 0 25 0 1 0 831910830 89038848 18891 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21738 18891 1111 63 0 21675 0
vsize: 86952
[startup+580.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 535
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 19240 0 0 0 57982 36 0 0 25 0 1 0 831910830 90431488 19218 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22078 19218 1111 63 0 22015 0
vsize: 88312
[startup+590.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 535
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 19577 0 0 0 58982 37 0 0 25 0 1 0 831910830 91828224 19555 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22419 19555 1111 63 0 22356 0
vsize: 89676
[startup+600.113 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 535
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 19913 0 0 0 59981 37 0 0 25 0 1 0 831910830 93204480 19891 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22755 19891 1111 63 0 22692 0
vsize: 91020
[startup+610.114 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 535
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 20248 0 0 0 60981 38 0 0 25 0 1 0 831910830 94605312 20226 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23097 20226 1111 63 0 23034 0
vsize: 92388
[startup+620.114 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 535
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 20591 0 0 0 61981 39 0 0 25 0 1 0 831910830 96002048 20569 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23438 20569 1111 63 0 23375 0
vsize: 93752
[startup+630.114 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 535
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 20927 0 0 0 62980 39 0 0 25 0 1 0 831910830 97378304 20905 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23774 20905 1111 63 0 23711 0
vsize: 95096
[startup+640.115 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 537
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 21268 0 0 0 63980 40 0 0 25 0 1 0 831910830 98775040 21246 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 21246 1111 63 0 24052 0
vsize: 96460
[startup+650.115 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 537
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 21610 0 0 0 64979 40 0 0 25 0 1 0 831910830 100167680 21588 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24455 21588 1111 63 0 24392 0
vsize: 97820
[startup+660.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 537
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 21946 0 0 0 65979 41 0 0 25 0 1 0 831910830 101543936 21924 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24791 21924 1111 63 0 24728 0
vsize: 99164
[startup+670.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 537
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 22287 0 0 0 66978 42 0 0 25 0 1 0 831910830 102916096 22265 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25126 22265 1111 63 0 25063 0
vsize: 100504
[startup+680.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 537
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 22631 0 0 0 67978 42 0 0 25 0 1 0 831910830 104292352 22609 4294967295 134512640 134714540 3221224592 3221222924 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25462 22609 1111 63 0 25399 0
vsize: 101848
[startup+690.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 537
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 22967 0 0 0 68978 43 0 0 25 0 1 0 831910830 105689088 22945 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25803 22945 1111 63 0 25740 0
vsize: 103212
[startup+700.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 539
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 23309 0 0 0 69978 43 0 0 25 0 1 0 831910830 107061248 23287 4294967295 134512640 134714540 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26138 23287 1111 63 0 26075 0
vsize: 104552
[startup+710.119 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 539
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 23657 0 0 0 70977 44 0 0 25 0 1 0 831910830 108453888 23635 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26478 23635 1111 63 0 26415 0
vsize: 105912
[startup+720.119 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 539
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 23999 0 0 0 71977 45 0 0 25 0 1 0 831910830 109830144 23977 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26814 23977 1111 63 0 26751 0
vsize: 107256
[startup+730.119 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 539
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 24347 0 0 0 72976 46 0 0 25 0 1 0 831910830 111362048 24325 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27188 24325 1111 63 0 27125 0
vsize: 108752
[startup+740.119 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 539
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 24691 0 0 0 73975 47 0 0 25 0 1 0 831910830 112734208 24669 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27523 24669 1111 63 0 27460 0
vsize: 110092
[startup+750.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 539
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 25039 0 0 0 74975 47 0 0 25 0 1 0 831910830 114110464 25017 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27859 25017 1111 63 0 27796 0
vsize: 111436
[startup+760.121 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 541
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 25381 0 0 0 75974 48 0 0 25 0 1 0 831910830 115507200 25359 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28200 25359 1111 63 0 28137 0
vsize: 112800
[startup+770.121 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 541
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 25731 0 0 0 76974 49 0 0 25 0 1 0 831910830 116883456 25709 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28536 25709 1111 63 0 28473 0
vsize: 114144
[startup+780.121 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 541
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 26073 0 0 0 77973 50 0 0 25 0 1 0 831910830 118411264 26051 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28909 26051 1111 63 0 28846 0
vsize: 115636
[startup+790.123 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 541
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 26420 0 0 0 78972 50 0 0 25 0 1 0 831910830 119803904 26398 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29249 26398 1111 63 0 29186 0
vsize: 116996
[startup+800.122 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 541
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 26776 0 0 0 79972 51 0 0 25 0 1 0 831910830 121180160 26754 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29585 26754 1111 63 0 29522 0
vsize: 118340
[startup+810.123 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 541
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 27125 0 0 0 80971 52 0 0 25 0 1 0 831910830 122687488 27103 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29953 27103 1111 63 0 29890 0
vsize: 119812
[startup+820.123 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 543
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 27473 0 0 0 81970 53 0 0 25 0 1 0 831910830 124063744 27451 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30289 27451 1111 63 0 30226 0
vsize: 121156
[startup+830.123 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 543
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 27830 0 0 0 82969 54 0 0 25 0 1 0 831910830 125595648 27808 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30663 27808 1111 63 0 30600 0
vsize: 122652
[startup+840.124 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 543
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 28178 0 0 0 83969 54 0 0 25 0 1 0 831910830 126967808 28156 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30998 28156 1111 63 0 30935 0
vsize: 123992
[startup+850.124 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 543
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 28527 0 0 0 84969 55 0 0 25 0 1 0 831910830 128364544 28505 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31339 28505 1111 63 0 31276 0
vsize: 125356
[startup+860.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 543
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 28890 0 0 0 85968 56 0 0 25 0 1 0 831910830 129900544 28868 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31714 28868 1111 63 0 31651 0
vsize: 126856
[startup+870.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 543
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 29243 0 0 0 86967 57 0 0 25 0 1 0 831910830 131293184 29221 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32054 29221 1111 63 0 31991 0
vsize: 128216
[startup+880.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 545
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 29592 0 0 0 87967 57 0 0 25 0 1 0 831910830 132804608 29570 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32423 29570 1111 63 0 32360 0
vsize: 129692
[startup+890.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 545
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 29955 0 0 0 88967 58 0 0 25 0 1 0 831910830 134201344 29933 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32764 29933 1111 63 0 32701 0
vsize: 131056
[startup+900.126 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 545
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 30310 0 0 0 89966 59 0 0 25 0 1 0 831910830 135712768 30288 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33133 30288 1111 63 0 33070 0
vsize: 132532
[startup+910.127 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 545
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 30665 0 0 0 90966 59 0 0 25 0 1 0 831910830 137109504 30643 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33474 30643 1111 63 0 33411 0
vsize: 133896
[startup+920.127 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 545
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 31028 0 0 0 91965 60 0 0 25 0 1 0 831910830 138641408 31006 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33848 31006 1111 63 0 33785 0
vsize: 135392
[startup+930.127 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 545
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 31389 0 0 0 92965 60 0 0 25 0 1 0 831910830 140017664 31367 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34184 31367 1111 63 0 34121 0
vsize: 136736
[startup+940.128 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 547
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 31744 0 0 0 93965 61 0 0 25 0 1 0 831910830 141549568 31722 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34558 31722 1111 63 0 34495 0
vsize: 138232
[startup+950.129 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 547
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 32106 0 0 0 94964 62 0 0 25 0 1 0 831910830 143081472 32084 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34932 32084 1111 63 0 34869 0
vsize: 139728
[startup+960.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 547
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 32466 0 0 0 95964 63 0 0 25 0 1 0 831910830 144453632 32444 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35267 32444 1111 63 0 35204 0
vsize: 141068
[startup+970.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 547
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 32821 0 0 0 96963 63 0 0 25 0 1 0 831910830 145985536 32799 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35641 32799 1111 63 0 35578 0
vsize: 142564
[startup+980.131 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 547
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 33188 0 0 0 97963 64 0 0 25 0 1 0 831910830 147513344 33166 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36014 33166 1111 63 0 35951 0
vsize: 144056
[startup+990.131 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 547
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 33550 0 0 0 98962 65 0 0 25 0 1 0 831910830 148889600 33528 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36350 33528 1111 63 0 36287 0
vsize: 145400
[startup+1000.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 549
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 33945 0 0 0 99962 65 0 0 25 0 1 0 831910830 150786048 33923 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36813 33923 1111 63 0 36750 0
vsize: 147252
[startup+1010.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 549
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 34307 0 0 0 100961 66 0 0 25 0 1 0 831910830 152317952 34285 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37187 34285 1111 63 0 37124 0
vsize: 148748
[startup+1020.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 549
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 34675 0 0 0 101960 67 0 0 25 0 1 0 831910830 153849856 34653 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37561 34653 1111 63 0 37498 0
vsize: 150244
[startup+1030.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 549
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 35038 0 0 0 102960 68 0 0 25 0 1 0 831910830 155226112 35016 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37897 35016 1111 63 0 37834 0
vsize: 151588
[startup+1040.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 549
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 35406 0 0 0 103959 69 0 0 25 0 1 0 831910830 156758016 35384 4294967295 134512640 134714540 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38271 35384 1111 63 0 38208 0
vsize: 153084
[startup+1050.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 549
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 35775 0 0 0 104958 69 0 0 25 0 1 0 831910830 158265344 35753 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38639 35753 1111 63 0 38576 0
vsize: 154556
[startup+1060.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 551
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 36150 0 0 0 105958 70 0 0 25 0 1 0 831910830 159801344 36128 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39014 36128 1111 63 0 38951 0
vsize: 156056
[startup+1070.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 551
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 36510 0 0 0 106958 71 0 0 25 0 1 0 831910830 161329152 36488 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39387 36488 1111 63 0 39324 0
vsize: 157548
[startup+1080.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 551
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 36879 0 0 0 107957 72 0 0 25 0 1 0 831910830 162861056 36857 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39761 36857 1111 63 0 39698 0
vsize: 159044
[startup+1090.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 551
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 37254 0 0 0 108957 72 0 0 25 0 1 0 831910830 164392960 37232 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40135 37232 1111 63 0 40072 0
vsize: 160540
[startup+1100.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 551
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 37628 0 0 0 109956 73 0 0 25 0 1 0 831910830 165924864 37606 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40509 37606 1111 63 0 40446 0
vsize: 162036
[startup+1110.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 551
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 37999 0 0 0 110956 74 0 0 25 0 1 0 831910830 167436288 37977 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40878 37977 1111 63 0 40815 0
vsize: 163512
[startup+1120.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 553
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 38373 0 0 0 111955 75 0 0 25 0 1 0 831910830 168943616 38351 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41246 38351 1111 63 0 41183 0
vsize: 164984
[startup+1130.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 553
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 38735 0 0 0 112954 76 0 0 25 0 1 0 831910830 170340352 38713 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41587 38713 1111 63 0 41524 0
vsize: 166348
[startup+1140.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 553
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 39111 0 0 0 113953 76 0 0 25 0 1 0 831910830 171851776 39089 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41956 39089 1111 63 0 41893 0
vsize: 167824
[startup+1150.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 553
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 39492 0 0 0 114953 77 0 0 25 0 1 0 831910830 173494272 39470 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42357 39470 1111 63 0 42294 0
vsize: 169428
[startup+1160.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 553
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 39866 0 0 0 115952 78 0 0 25 0 1 0 831910830 175026176 39844 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42731 39844 1111 63 0 42668 0
vsize: 170924
[startup+1170.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 553
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 40237 0 0 0 116952 79 0 0 25 0 1 0 831910830 176558080 40215 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43105 40215 1111 63 0 43042 0
vsize: 172420
[startup+1180.14 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 555
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 40623 0 0 0 117951 79 0 0 25 0 1 0 831910830 178065408 40601 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43473 40601 1111 63 0 43410 0
vsize: 173892
[startup+1190.14 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 555
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 40986 0 0 0 118951 80 0 0 25 0 1 0 831910830 179597312 40964 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43847 40964 1111 63 0 43784 0
vsize: 175388
[startup+1200.14 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 555
Raw data (stat): 515 (bsolo_mis) R 514 29618 29617 0 -1 0 41362 0 0 0 119950 81 0 0 25 0 1 0 831910830 181129216 41340 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44221 41340 1111 63 0 44158 0
vsize: 176884
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.22 s]
Raw data (loadavg): 1.05 0.99 0.91 1/55 555
Raw data (stat): 515 (bsolo_mis) Z 514 29618 29617 0 -1 1036 41362 0 0 0 119950 88 0 0 25 0 1 0 831910830 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.22
CPU time (s): 1200.4
CPU user time (s): 1199.51
CPU system time (s): 0.887865
CPU usage (%): 100.015
Max. virtual memory (Kb): 176884
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####