PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370c.opb
MD5SUM	b99a0e1987692fd9762e75d45288f75a
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39256355821
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39256355821
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.97785
Number of variables	105000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 25567

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-20 17:44:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19152 boxname=wulflinc31 idbench=1474 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  b99a0e1987692fd9762e75d45288f75a  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n370c.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n370c.opb
IDLAUNCH: 19152
/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:        669664 kB
Buffers:         31208 kB
Cached:         312656 kB
SwapCached:       1168 kB
Active:         234992 kB
Inactive:       111280 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        669412 kB
SwapTotal:     2097892 kB
SwapFree:      2095980 kB
Dirty:              60 kB
Writeback:           0 kB
Mapped:           5352 kB
Slab:            13072 kB
Committed_AS:    63844 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-20 18:04:06 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 19152 7 1200.28 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.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (runsolver) R 1288 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 797549766 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0016 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 1003 0 0 0 992 4 0 0 25 0 1 0 797549766 16048128 980 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3918 980 1111 63 0 3855 0
vsize: 15672
[startup+20.0023 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 1243 0 0 0 1992 4 0 0 25 0 1 0 797549766 17027072 1220 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4157 1220 1111 63 0 4094 0
vsize: 16628
[startup+30.0033 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 1487 0 0 0 2992 5 0 0 25 0 1 0 797549766 18026496 1464 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4401 1464 1111 63 0 4338 0
vsize: 17604
[startup+40.0042 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 1734 0 0 0 3992 5 0 0 25 0 1 0 797549766 19013632 1711 4294967295 134512640 134714540 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4642 1711 1111 63 0 4579 0
vsize: 18568
[startup+50.0041 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 1982 0 0 0 4992 6 0 0 25 0 1 0 797549766 20000768 1959 4294967295 134512640 134714540 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4883 1959 1111 63 0 4820 0
vsize: 19532
[startup+60.0051 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 2234 0 0 0 5991 6 0 0 25 0 1 0 797549766 21123072 2211 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5157 2211 1111 63 0 5094 0
vsize: 20628
[startup+70.006 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 2476 0 0 0 6991 7 0 0 25 0 1 0 797549766 22110208 2453 4294967295 134512640 134714540 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5398 2453 1111 63 0 5335 0
vsize: 21592
[startup+80.0059 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 2723 0 0 0 7991 7 0 0 25 0 1 0 797549766 23089152 2700 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5637 2700 1111 63 0 5574 0
vsize: 22548
[startup+90.0069 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 2970 0 0 0 8991 8 0 0 25 0 1 0 797549766 24076288 2947 4294967295 134512640 134714540 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5878 2947 1111 63 0 5815 0
vsize: 23512
[startup+100.007 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 3218 0 0 0 9990 8 0 0 25 0 1 0 797549766 25063424 3195 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6119 3195 1111 63 0 6056 0
vsize: 24476
[startup+110.008 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 3466 0 0 0 10990 9 0 0 25 0 1 0 797549766 26050560 3443 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6360 3443 1111 63 0 6297 0
vsize: 25440
[startup+120.008 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 3720 0 0 0 11990 9 0 0 25 0 1 0 797549766 27197440 3697 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6640 3697 1111 63 0 6577 0
vsize: 26560
[startup+130.008 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 3969 0 0 0 12990 9 0 0 25 0 1 0 797549766 28184576 3946 4294967295 134512640 134714540 3221221776 3221219644 1077244341 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6881 3946 1111 63 0 6818 0
vsize: 27524
[startup+140.009 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 4217 0 0 0 13989 10 0 0 25 0 1 0 797549766 29163520 4194 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7120 4194 1111 63 0 7057 0
vsize: 28480
[startup+150.009 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 4471 0 0 0 14989 10 0 0 25 0 1 0 797549766 30289920 4448 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7395 4448 1111 63 0 7332 0
vsize: 29580
[startup+160.01 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 4719 0 0 0 15989 11 0 0 25 0 1 0 797549766 31281152 4696 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7637 4696 1111 63 0 7574 0
vsize: 30548
[startup+170.01 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 4968 0 0 0 16989 11 0 0 25 0 1 0 797549766 32264192 4945 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7877 4945 1111 63 0 7814 0
vsize: 31508
[startup+180.01 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 5218 0 0 0 17988 12 0 0 25 0 1 0 797549766 33251328 5195 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8118 5195 1111 63 0 8055 0
vsize: 32472
[startup+190.011 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 5472 0 0 0 18988 12 0 0 25 0 1 0 797549766 34377728 5449 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8393 5449 1111 63 0 8330 0
vsize: 33572
[startup+200.011 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 5726 0 0 0 19988 12 0 0 25 0 1 0 797549766 35364864 5703 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8634 5703 1111 63 0 8571 0
vsize: 34536
[startup+210.012 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 5973 0 0 0 20988 13 0 0 25 0 1 0 797549766 36347904 5950 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8874 5950 1111 63 0 8811 0
vsize: 35496
[startup+220.013 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 6227 0 0 0 21987 14 0 0 25 0 1 0 797549766 37474304 6204 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9149 6204 1111 63 0 9086 0
vsize: 36596
[startup+230.013 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 6493 0 0 0 22987 14 0 0 25 0 1 0 797549766 38498304 6470 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9399 6470 1111 63 0 9336 0
vsize: 37596
[startup+240.014 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 6741 0 0 0 23987 15 0 0 25 0 1 0 797549766 39624704 6718 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9674 6718 1111 63 0 9611 0
vsize: 38696
[startup+250.015 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 6997 0 0 0 24987 15 0 0 25 0 1 0 797549766 40611840 6974 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9915 6974 1111 63 0 9852 0
vsize: 39660
[startup+260.016 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 7252 0 0 0 25986 16 0 0 25 0 1 0 797549766 41598976 7229 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10156 7229 1111 63 0 10093 0
vsize: 40624
[startup+270.017 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 7507 0 0 0 26986 16 0 0 25 0 1 0 797549766 42725376 7484 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10431 7484 1111 63 0 10368 0
vsize: 41724
[startup+280.017 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 7761 0 0 0 27986 16 0 0 25 0 1 0 797549766 43708416 7738 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10671 7738 1111 63 0 10608 0
vsize: 42684
[startup+290.018 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 8016 0 0 0 28985 17 0 0 25 0 1 0 797549766 44834816 7993 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10946 7993 1111 63 0 10883 0
vsize: 43784
[startup+300.017 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 8271 0 0 0 29985 17 0 0 25 0 1 0 797549766 45821952 8248 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11187 8248 1111 63 0 11124 0
vsize: 44748
[startup+310.018 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 8533 0 0 0 30985 18 0 0 25 0 1 0 797549766 46948352 8510 4294967295 134512640 134714540 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11462 8510 1111 63 0 11399 0
vsize: 45848
[startup+320.02 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 8789 0 0 0 31985 18 0 0 25 0 1 0 797549766 47935488 8766 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11703 8766 1111 63 0 11640 0
vsize: 46812
[startup+330.019 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 9044 0 0 0 32984 19 0 0 25 0 1 0 797549766 48918528 9021 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11943 9021 1111 63 0 11880 0
vsize: 47772
[startup+340.02 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 9307 0 0 0 33984 20 0 0 25 0 1 0 797549766 50049024 9284 4294967295 134512640 134714540 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12219 9284 1111 63 0 12156 0
vsize: 48876
[startup+350.021 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 9568 0 0 0 34983 21 0 0 25 0 1 0 797549766 51175424 9545 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12494 9545 1111 63 0 12431 0
vsize: 49976
[startup+360.022 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 9822 0 0 0 35983 21 0 0 25 0 1 0 797549766 52154368 9799 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12733 9799 1111 63 0 12670 0
vsize: 50932
[startup+370.022 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 10078 0 0 0 36982 22 0 0 25 0 1 0 797549766 53141504 10055 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12974 10055 1111 63 0 12911 0
vsize: 51896
[startup+380.022 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 10340 0 0 0 37982 22 0 0 25 0 1 0 797549766 54267904 10317 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13249 10317 1111 63 0 13186 0
vsize: 52996
[startup+390.023 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 10602 0 0 0 38982 23 0 0 25 0 1 0 797549766 55394304 10579 4294967295 134512640 134714540 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13524 10579 1111 63 0 13461 0
vsize: 54096
[startup+400.023 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 10864 0 0 0 39981 23 0 0 25 0 1 0 797549766 56381440 10841 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13765 10841 1111 63 0 13702 0
vsize: 55060
[startup+410.024 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 11125 0 0 0 40981 24 0 0 25 0 1 0 797549766 57507840 11102 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14040 11102 1111 63 0 13977 0
vsize: 56160
[startup+420.025 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 11387 0 0 0 41980 25 0 0 25 0 1 0 797549766 58494976 11364 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14281 11364 1111 63 0 14218 0
vsize: 57124
[startup+430.025 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 11648 0 0 0 42980 25 0 0 25 0 1 0 797549766 59621376 11625 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14556 11625 1111 63 0 14493 0
vsize: 58224
[startup+440.026 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 11928 0 0 0 43980 26 0 0 25 0 1 0 797549766 60858368 11905 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14858 11905 1111 63 0 14795 0
vsize: 59432
[startup+450.027 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 12188 0 0 0 44980 26 0 0 25 0 1 0 797549766 61976576 12165 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15131 12165 1111 63 0 15068 0
vsize: 60524
[startup+460.027 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 12457 0 0 0 45979 27 0 0 25 0 1 0 797549766 63107072 12434 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15407 12434 1111 63 0 15344 0
vsize: 61628
[startup+470.027 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 12719 0 0 0 46979 27 0 0 25 0 1 0 797549766 64090112 12696 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15647 12696 1111 63 0 15584 0
vsize: 62588
[startup+480.027 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 12988 0 0 0 47979 28 0 0 25 0 1 0 797549766 65216512 12965 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15922 12965 1111 63 0 15859 0
vsize: 63688
[startup+490.028 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 13251 0 0 0 48978 28 0 0 25 0 1 0 797549766 66342912 13228 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16197 13228 1111 63 0 16134 0
vsize: 64788
[startup+500.029 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 13513 0 0 0 49978 29 0 0 25 0 1 0 797549766 67334144 13490 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16439 13490 1111 63 0 16376 0
vsize: 65756
[startup+510.029 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 13782 0 0 0 50978 29 0 0 25 0 1 0 797549766 68460544 13759 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16714 13759 1111 63 0 16651 0
vsize: 66856
[startup+520.03 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 14051 0 0 0 51977 30 0 0 25 0 1 0 797549766 69586944 14028 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16989 14028 1111 63 0 16926 0
vsize: 67956
[startup+530.03 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 14319 0 0 0 52976 31 0 0 25 0 1 0 797549766 70713344 14296 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17264 14296 1111 63 0 17201 0
vsize: 69056
[startup+540.031 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 14589 0 0 0 53976 31 0 0 25 0 1 0 797549766 71696384 14566 4294967295 134512640 134714540 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17504 14566 1111 63 0 17441 0
vsize: 70016
[startup+550.031 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 14851 0 0 0 54976 32 0 0 25 0 1 0 797549766 72818688 14828 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17778 14828 1111 63 0 17715 0
vsize: 71112
[startup+560.032 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 15125 0 0 0 55975 33 0 0 25 0 1 0 797549766 73945088 15102 4294967295 134512640 134714540 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18053 15102 1111 63 0 17990 0
vsize: 72212
[startup+570.033 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 15394 0 0 0 56975 33 0 0 25 0 1 0 797549766 75071488 15371 4294967295 134512640 134714540 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18328 15371 1111 63 0 18265 0
vsize: 73312
[startup+580.033 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 15663 0 0 0 57975 34 0 0 25 0 1 0 797549766 76197888 15640 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18603 15640 1111 63 0 18540 0
vsize: 74412
[startup+590.034 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 15932 0 0 0 58974 34 0 0 25 0 1 0 797549766 77185024 15909 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18844 15909 1111 63 0 18781 0
vsize: 75376
[startup+600.034 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 16202 0 0 0 59974 35 0 0 25 0 1 0 797549766 78315520 16179 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19120 16179 1111 63 0 19057 0
vsize: 76480
[startup+610.034 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 16477 0 0 0 60973 36 0 0 25 0 1 0 797549766 79441920 16454 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19395 16454 1111 63 0 19332 0
vsize: 77580
[startup+620.035 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 16747 0 0 0 61972 37 0 0 25 0 1 0 797549766 80568320 16724 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19670 16724 1111 63 0 19607 0
vsize: 78680
[startup+630.035 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 17022 0 0 0 62972 37 0 0 25 0 1 0 797549766 81694720 16999 4294967295 134512640 134714540 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19945 16999 1111 63 0 19882 0
vsize: 79780
[startup+640.036 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 17292 0 0 0 63971 38 0 0 25 0 1 0 797549766 82821120 17269 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20220 17269 1111 63 0 20157 0
vsize: 80880
[startup+650.036 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 17567 0 0 0 64971 39 0 0 25 0 1 0 797549766 83947520 17544 4294967295 134512640 134714540 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20495 17544 1111 63 0 20432 0
vsize: 81980
[startup+660.037 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 17842 0 0 0 65970 39 0 0 25 0 1 0 797549766 85073920 17819 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20770 17819 1111 63 0 20707 0
vsize: 83080
[startup+670.037 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 18119 0 0 0 66970 40 0 0 25 0 1 0 797549766 86200320 18096 4294967295 134512640 134714540 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21045 18096 1111 63 0 20982 0
vsize: 84180
[startup+680.037 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 18394 0 0 0 67970 41 0 0 25 0 1 0 797549766 87326720 18371 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21320 18372 1111 63 0 21257 0
vsize: 85280
[startup+690.038 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 18671 0 0 0 68969 41 0 0 25 0 1 0 797549766 88449024 18648 4294967295 134512640 134714540 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21594 18648 1111 63 0 21531 0
vsize: 86376
[startup+700.039 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 18945 0 0 0 69969 42 0 0 25 0 1 0 797549766 89575424 18922 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21869 18922 1111 63 0 21806 0
vsize: 87476
[startup+710.04 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 19221 0 0 0 70968 43 0 0 25 0 1 0 797549766 90701824 19198 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22144 19198 1111 63 0 22081 0
vsize: 88576
[startup+720.043 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 19504 0 0 0 71969 43 0 0 25 0 1 0 797549766 91828224 19481 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22419 19481 1111 63 0 22356 0
vsize: 89676
[startup+730.044 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 19779 0 0 0 72968 43 0 0 25 0 1 0 797549766 92954624 19756 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22694 19756 1111 63 0 22631 0
vsize: 90776
[startup+740.045 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 20062 0 0 0 73968 44 0 0 25 0 1 0 797549766 94081024 20039 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22969 20039 1111 63 0 22906 0
vsize: 91876
[startup+750.045 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 20338 0 0 0 74968 44 0 0 25 0 1 0 797549766 95207424 20315 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23244 20315 1111 63 0 23181 0
vsize: 92976
[startup+760.046 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 20620 0 0 0 75967 45 0 0 25 0 1 0 797549766 96337920 20597 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23520 20597 1111 63 0 23457 0
vsize: 94080
[startup+770.047 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 20904 0 0 0 76967 46 0 0 25 0 1 0 797549766 97603584 20881 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23829 20881 1111 63 0 23766 0
vsize: 95316
[startup+780.047 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 21180 0 0 0 77967 46 0 0 25 0 1 0 797549766 98729984 21157 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24104 21157 1111 63 0 24041 0
vsize: 96416
[startup+790.047 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 21469 0 0 0 78967 46 0 0 25 0 1 0 797549766 99856384 21446 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24379 21446 1111 63 0 24316 0
vsize: 97516
[startup+800.049 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 21746 0 0 0 79967 47 0 0 25 0 1 0 797549766 100982784 21723 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24654 21723 1111 63 0 24591 0
vsize: 98616
[startup+810.049 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 22034 0 0 0 80966 47 0 0 25 0 1 0 797549766 102109184 22011 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24929 22011 1111 63 0 24866 0
vsize: 99716
[startup+820.049 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 22317 0 0 0 81966 48 0 0 25 0 1 0 797549766 103378944 22294 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25239 22294 1111 63 0 25176 0
vsize: 100956
[startup+830.049 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 22599 0 0 0 82965 49 0 0 25 0 1 0 797549766 104505344 22576 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25514 22576 1111 63 0 25451 0
vsize: 102056
[startup+840.05 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 22924 0 0 0 83965 49 0 0 25 0 1 0 797549766 106004480 22901 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25880 22901 1111 63 0 25817 0
vsize: 103520
[startup+850.05 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 23203 0 0 0 84964 50 0 0 25 0 1 0 797549766 107257856 23180 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26186 23180 1111 63 0 26123 0
vsize: 104744
[startup+860.051 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 23493 0 0 0 85964 51 0 0 25 0 1 0 797549766 108384256 23470 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26461 23470 1111 63 0 26398 0
vsize: 105844
[startup+870.052 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 23776 0 0 0 86963 51 0 0 25 0 1 0 797549766 109510656 23753 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26736 23753 1111 63 0 26673 0
vsize: 106944
[startup+880.052 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 24065 0 0 0 87963 52 0 0 25 0 1 0 797549766 110776320 24042 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27045 24042 1111 63 0 26982 0
vsize: 108180
[startup+890.053 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 24356 0 0 0 88963 52 0 0 25 0 1 0 797549766 111902720 24333 4294967295 134512640 134714540 3221221776 3221220432 134527948 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27320 24333 1111 63 0 27257 0
vsize: 109280
[startup+900.053 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 24644 0 0 0 89962 53 0 0 25 0 1 0 797549766 113029120 24621 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27595 24621 1111 63 0 27532 0
vsize: 110380
[startup+910.054 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 24934 0 0 0 90962 53 0 0 25 0 1 0 797549766 114298880 24911 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27905 24911 1111 63 0 27842 0
vsize: 111620
[startup+920.054 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 25224 0 0 0 91962 54 0 0 25 0 1 0 797549766 115425280 25201 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28180 25201 1111 63 0 28117 0
vsize: 112720
[startup+930.053 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 25513 0 0 0 92961 55 0 0 25 0 1 0 797549766 116690944 25490 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25490 1111 63 0 28426 0
vsize: 113956
[startup+940.054 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 25810 0 0 0 93960 55 0 0 25 0 1 0 797549766 117817344 25787 4294967295 134512640 134714540 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28764 25787 1111 63 0 28701 0
vsize: 115056
[startup+950.054 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 26105 0 0 0 94960 56 0 0 25 0 1 0 797549766 119087104 26082 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29074 26082 1111 63 0 29011 0
vsize: 116296
[startup+960.055 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 1289
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 26396 0 0 0 95960 57 0 0 25 0 1 0 797549766 120213504 26373 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29349 26373 1111 63 0 29286 0
vsize: 117396
[startup+970.055 s]
Raw data (loadavg): 1.07 1.00 0.98 2/55 1343
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 26686 0 0 0 96959 57 0 0 25 0 1 0 797549766 121479168 26663 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29658 26663 1111 63 0 29595 0
vsize: 118632
[startup+980.055 s]
Raw data (loadavg): 1.06 1.00 0.98 2/55 1343
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 26982 0 0 0 97959 58 0 0 25 0 1 0 797549766 122605568 26959 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29933 26959 1111 63 0 29870 0
vsize: 119732
[startup+990.056 s]
Raw data (loadavg): 1.05 1.00 0.98 2/55 1343
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 27278 0 0 0 98959 58 0 0 25 0 1 0 797549766 123871232 27255 4294967295 134512640 134714540 3221221776 3221219644 1077246135 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30242 27255 1111 63 0 30179 0
vsize: 120968
[startup+1000.06 s]
Raw data (loadavg): 1.04 1.00 0.98 2/55 1343
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 27568 0 0 0 99958 58 0 0 25 0 1 0 797549766 125001728 27545 4294967295 134512640 134714540 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30518 27545 1111 63 0 30455 0
vsize: 122072
[startup+1010.06 s]
Raw data (loadavg): 1.03 1.00 0.98 2/55 1343
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 27872 0 0 0 100958 59 0 0 25 0 1 0 797549766 126267392 27849 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30827 27849 1111 63 0 30764 0
vsize: 123308
[startup+1020.06 s]
Raw data (loadavg): 1.03 1.00 0.98 2/55 1343
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 28167 0 0 0 101957 60 0 0 25 0 1 0 797549766 127533056 28144 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31136 28144 1111 63 0 31073 0
vsize: 124544
[startup+1030.06 s]
Raw data (loadavg): 1.02 1.00 0.98 2/55 1343
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 28465 0 0 0 102957 60 0 0 25 0 1 0 797549766 128659456 28442 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31411 28442 1111 63 0 31348 0
vsize: 125644
[startup+1040.06 s]
Raw data (loadavg): 1.02 1.00 0.98 2/55 1345
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 28767 0 0 0 103957 61 0 0 25 0 1 0 797549766 129925120 28744 4294967295 134512640 134714540 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31720 28744 1111 63 0 31657 0
vsize: 126880
[startup+1050.06 s]
Raw data (loadavg): 1.02 1.00 0.98 2/55 1345
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 29064 0 0 0 104957 61 0 0 25 0 1 0 797549766 131194880 29041 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32030 29041 1111 63 0 31967 0
vsize: 128120
[startup+1060.06 s]
Raw data (loadavg): 1.01 1.00 0.98 2/55 1345
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 29361 0 0 0 105956 62 0 0 25 0 1 0 797549766 132321280 29338 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32305 29338 1111 63 0 32242 0
vsize: 129220
[startup+1070.06 s]
Raw data (loadavg): 1.01 1.00 0.98 2/55 1345
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 29663 0 0 0 106956 63 0 0 25 0 1 0 797549766 133586944 29640 4294967295 134512640 134714540 3221221776 3221218364 1077091057 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32614 29640 1111 63 0 32551 0
vsize: 130456
[startup+1080.06 s]
Raw data (loadavg): 1.01 1.00 0.98 2/55 1345
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 29960 0 0 0 107955 64 0 0 25 0 1 0 797549766 134856704 29937 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32924 29937 1111 63 0 32861 0
vsize: 131696
[startup+1090.06 s]
Raw data (loadavg): 1.01 1.00 0.98 2/55 1345
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 30262 0 0 0 108955 64 0 0 25 0 1 0 797549766 135983104 30239 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33199 30239 1111 63 0 33136 0
vsize: 132796
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1345
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 30567 0 0 0 109954 65 0 0 25 0 1 0 797549766 137248768 30544 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33508 30544 1111 63 0 33445 0
vsize: 134032
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1345
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 30869 0 0 0 110954 65 0 0 25 0 1 0 797549766 138514432 30846 4294967295 134512640 134714540 3221221776 3221220128 134567410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33817 30846 1111 63 0 33754 0
vsize: 135268
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1345
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 31172 0 0 0 111954 65 0 0 25 0 1 0 797549766 139780096 31149 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34126 31149 1111 63 0 34063 0
vsize: 136504
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1345
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 31476 0 0 0 112953 66 0 0 25 0 1 0 797549766 141049856 31453 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34436 31453 1111 63 0 34373 0
vsize: 137744
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1345
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 31785 0 0 0 113953 66 0 0 25 0 1 0 797549766 142315520 31762 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34745 31762 1111 63 0 34682 0
vsize: 138980
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1345
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 32090 0 0 0 114953 67 0 0 25 0 1 0 797549766 143441920 32067 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35020 32067 1111 63 0 34957 0
vsize: 140080
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1345
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 32393 0 0 0 115953 67 0 0 25 0 1 0 797549766 144711680 32370 4294967295 134512640 134714540 3221221776 3221220004 1077414424 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35330 32370 1111 63 0 35267 0
vsize: 141320
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1345
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 32703 0 0 0 116952 68 0 0 25 0 1 0 797549766 145977344 32680 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35639 32680 1111 63 0 35576 0
vsize: 142556
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1345
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 33006 0 0 0 117952 68 0 0 25 0 1 0 797549766 147243008 32983 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35948 32983 1111 63 0 35885 0
vsize: 143792
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1345
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 33318 0 0 0 118952 69 0 0 25 0 1 0 797549766 148508672 33295 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36257 33295 1111 63 0 36194 0
vsize: 145028
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1345
Raw data (stat): 1289 (bsolo_mis) R 1288 7876 7672 0 -1 0 33627 0 0 0 119951 70 0 0 25 0 1 0 797549766 149778432 33604 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36567 33604 1111 63 0 36504 0
vsize: 146268
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 1.00 1.00 0.98 1/55 1345
Raw data (stat): 1289 (bsolo_mis) Z 1288 7876 7672 0 -1 1036 33627 0 0 0 119951 77 0 0 25 0 1 0 797549766 0 0 4294967295 0 0 0 0 0 0 0 1 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.13
CPU time (s): 1200.28
CPU user time (s): 1199.51
CPU system time (s): 0.771882
CPU usage (%): 100.013
Max. virtual memory (Kb): 146268
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####