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/MIPLIB/miplib3/normalized-mps-v2-13-7-l152lav.opb
MD5SUM	9d4ce12b138a2bef65a1f401ec9d1f01
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5046
Optimality of the best value was proved	NO
Number of terms in the objective function	1989
Biggest coefficient in the objective function	268
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	382524
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	268
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	382524
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.69
Number of variables	1989
Total number of constraints	2086
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2085
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	1
Maximum length of a constraint	1989
Trace number 25660

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-21 14:08:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18476 boxname=wulflinc31 idbench=1422 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  9d4ce12b138a2bef65a1f401ec9d1f01  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-l152lav.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-l152lav.opb
IDLAUNCH: 18476
/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:        897052 kB
Buffers:         23236 kB
Cached:          93872 kB
SwapCached:       1076 kB
Active:          52636 kB
Inactive:        66756 kB
HighTotal:      131008 kB
HighFree:        68488 kB
LowTotal:       903652 kB
LowFree:        828564 kB
SwapTotal:     2097892 kB
SwapFree:      2095984 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5356 kB
Slab:            12620 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-21 14:28:18 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 18476 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 1989 variables and 193 constraints.
c After prepocess the problem consists of 1988 variables and 193 constraints.
c preprocess terminated 14.509 s
c Initial Lower Bound: 1154
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.86 0.97 0.99 2/55 11337
Raw data (stat): 11337 (runsolver) R 11336 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 804895874 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0001 s]
Raw data (loadavg): 0.88 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 12950 0 0 0 965 32 0 0 25 0 1 0 804895874 56651776 12916 4294967295 134512640 134714540 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13831 12916 1111 63 0 13768 0
vsize: 55324
[startup+20.0011 s]
Raw data (loadavg): 0.90 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 13327 0 0 0 1963 34 0 0 25 0 1 0 804895874 58277888 13293 4294967295 134512640 134714540 3221221776 3221220504 134532457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14228 13293 1111 63 0 14165 0
vsize: 56912
[startup+30.001 s]
Raw data (loadavg): 0.91 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 13327 0 0 0 2962 35 0 0 25 0 1 0 804895874 58277888 13293 4294967295 134512640 134714540 3221221776 3221220592 134611108 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14228 13293 1111 63 0 14165 0
vsize: 56912
[startup+40.0019 s]
Raw data (loadavg): 0.93 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 13351 0 0 0 3960 37 0 0 25 0 1 0 804895874 58277888 13317 4294967295 134512640 134714540 3221221776 3221220416 134538795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14228 13317 1111 63 0 14165 0
vsize: 56912
[startup+50.0028 s]
Raw data (loadavg): 0.94 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 13351 0 0 0 4958 39 0 0 25 0 1 0 804895874 58277888 13317 4294967295 134512640 134714540 3221221776 3221220544 134592449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14228 13317 1111 63 0 14165 0
vsize: 56912
[startup+60.0028 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 13388 0 0 0 5956 41 0 0 25 0 1 0 804895874 58540032 13354 4294967295 134512640 134714540 3221221776 3221220592 134590307 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14292 13354 1111 63 0 14229 0
vsize: 57168
[startup+70.0037 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 13388 0 0 0 6955 42 0 0 25 0 1 0 804895874 58503168 13354 4294967295 134512640 134714540 3221221776 3221220192 1076647581 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14283 13354 1111 63 0 14220 0
vsize: 57132
[startup+80.0046 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 13388 0 0 0 7953 44 0 0 25 0 1 0 804895874 58503168 13354 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14283 13354 1111 63 0 14220 0
vsize: 57132
[startup+90.0055 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 13737 0 0 0 8951 46 0 0 25 0 1 0 804895874 59887616 13703 4294967295 134512640 134714540 3221221776 3221220568 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14621 13703 1111 63 0 14558 0
vsize: 58484
[startup+100.006 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 14441 0 0 0 9947 51 0 0 25 0 1 0 804895874 62726144 14407 4294967295 134512640 134714540 3221221776 3221220540 134534160 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15314 14407 1111 63 0 15251 0
vsize: 61256
[startup+110.005 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 14738 0 0 0 10945 53 0 0 25 0 1 0 804895874 63942656 14704 4294967295 134512640 134714540 3221221776 3221220336 134540260 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15611 14704 1111 63 0 15548 0
vsize: 62444
[startup+120.006 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 15106 0 0 0 11943 55 0 0 25 0 1 0 804895874 65560576 15072 4294967295 134512640 134714540 3221221776 3221220336 134540030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16006 15072 1111 63 0 15943 0
vsize: 64024
[startup+130.006 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 15461 0 0 0 12941 57 0 0 25 0 1 0 804895874 67047424 15427 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16369 15427 1111 63 0 16306 0
vsize: 65476
[startup+140.007 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 16059 0 0 0 13938 60 0 0 25 0 1 0 804895874 69476352 16025 4294967295 134512640 134714540 3221221776 3221220468 134534132 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16962 16025 1111 63 0 16899 0
vsize: 67848
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 16182 0 0 0 14937 61 0 0 25 0 1 0 804895874 69890048 16148 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17063 16148 1111 63 0 17000 0
vsize: 68252
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 16287 0 0 0 15936 63 0 0 25 0 1 0 804895874 70295552 16253 4294967295 134512640 134714540 3221221776 3221220512 134591829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17162 16253 1111 63 0 17099 0
vsize: 68648
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 16471 0 0 0 16934 65 0 0 25 0 1 0 804895874 71106560 16437 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17360 16437 1111 63 0 17297 0
vsize: 69440
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 16690 0 0 0 17932 67 0 0 25 0 1 0 804895874 72052736 16656 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17591 16656 1111 63 0 17528 0
vsize: 70364
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 16929 0 0 0 18930 69 0 0 25 0 1 0 804895874 72998912 16895 4294967295 134512640 134714540 3221221776 3221220544 134592424 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17822 16895 1111 63 0 17759 0
vsize: 71288
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 17050 0 0 0 19928 71 0 0 25 0 1 0 804895874 73539584 17016 4294967295 134512640 134714540 3221221776 3221220400 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17954 17016 1111 63 0 17891 0
vsize: 71816
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 17284 0 0 0 20925 74 0 0 25 0 1 0 804895874 74452992 17250 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18177 17250 1111 63 0 18114 0
vsize: 72708
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 17284 0 0 0 21925 74 0 0 25 0 1 0 804895874 74452992 17250 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18177 17250 1111 63 0 18114 0
vsize: 72708
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 17284 0 0 0 22925 75 0 0 25 0 1 0 804895874 74452992 17250 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18177 17250 1111 63 0 18114 0
vsize: 72708
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 17284 0 0 0 23925 75 0 0 25 0 1 0 804895874 74452992 17250 4294967295 134512640 134714540 3221221776 3221220580 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18177 17250 1111 63 0 18114 0
vsize: 72708
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 17284 0 0 0 24925 76 0 0 25 0 1 0 804895874 74452992 17250 4294967295 134512640 134714540 3221221776 3221220488 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18177 17250 1111 63 0 18114 0
vsize: 72708
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 17284 0 0 0 25924 76 0 0 25 0 1 0 804895874 74452992 17250 4294967295 134512640 134714540 3221221776 3221220488 134543144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18177 17250 1111 63 0 18114 0
vsize: 72708
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 17284 0 0 0 26924 76 0 0 25 0 1 0 804895874 74452992 17250 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18177 17250 1111 63 0 18114 0
vsize: 72708
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 17535 0 0 0 27923 78 0 0 25 0 1 0 804895874 75538432 17501 4294967295 134512640 134714540 3221221776 3221220332 134539315 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18442 17501 1111 63 0 18379 0
vsize: 73768
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 17801 0 0 0 28921 80 0 0 25 0 1 0 804895874 76636160 17765 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18710 17765 1111 63 0 18647 0
vsize: 74840
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 18008 0 0 0 29920 81 0 0 25 0 1 0 804895874 77447168 17972 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18908 17972 1111 63 0 18845 0
vsize: 75632
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 18203 0 0 0 30919 82 0 0 25 0 1 0 804895874 78258176 18167 4294967295 134512640 134714540 3221221776 3221220524 134535649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19106 18167 1111 63 0 19043 0
vsize: 76424
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 18229 0 0 0 31917 84 0 0 25 0 1 0 804895874 78393344 18193 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19139 18193 1111 63 0 19076 0
vsize: 76556
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 18408 0 0 0 32915 86 0 0 25 0 1 0 804895874 79069184 18372 4294967295 134512640 134714540 3221221776 3221220400 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19304 18372 1111 63 0 19241 0
vsize: 77216
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 18584 0 0 0 33913 88 0 0 25 0 1 0 804895874 79880192 18548 4294967295 134512640 134714540 3221221776 3221220416 134538795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19502 18548 1111 63 0 19439 0
vsize: 78008
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 18650 0 0 0 34911 91 0 0 25 0 1 0 804895874 80150528 18614 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19568 18614 1111 63 0 19505 0
vsize: 78272
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 18883 0 0 0 35909 93 0 0 25 0 1 0 804895874 81092608 18847 4294967295 134512640 134714540 3221221776 3221220104 1077377495 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19798 18847 1111 63 0 19735 0
vsize: 79192
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 19041 0 0 0 36907 95 0 0 25 0 1 0 804895874 81772544 19005 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19964 19005 1111 63 0 19901 0
vsize: 79856
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 19340 0 0 0 37906 96 0 0 25 0 1 0 804895874 82989056 19304 4294967295 134512640 134714540 3221221776 3221220456 134524426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20261 19304 1111 63 0 20198 0
vsize: 81044
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 19627 0 0 0 38905 98 0 0 25 0 1 0 804895874 84369408 19589 4294967295 134512640 134714540 3221221776 3221220520 134672921 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20598 19589 1111 63 0 20535 0
vsize: 82392
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 19736 0 0 0 39902 100 0 0 25 0 1 0 804895874 84774912 19698 4294967295 134512640 134714540 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20697 19698 1111 63 0 20634 0
vsize: 82788
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 19917 0 0 0 40901 102 0 0 25 0 1 0 804895874 85450752 19879 4294967295 134512640 134714540 3221221776 3221220484 1077374461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20862 19879 1111 63 0 20799 0
vsize: 83448
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 20070 0 0 0 41899 103 0 0 25 0 1 0 804895874 86126592 20032 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21027 20032 1111 63 0 20964 0
vsize: 84108
[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 20227 0 0 0 42898 105 0 0 25 0 1 0 804895874 86802432 20189 4294967295 134512640 134714540 3221221776 3221220544 134592424 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21192 20189 1111 63 0 21129 0
vsize: 84768
[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 20550 0 0 0 43896 107 0 0 25 0 1 0 804895874 88154112 20512 4294967295 134512640 134714540 3221221776 3221220508 134524593 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21522 20512 1111 63 0 21459 0
vsize: 86088
[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 20967 0 0 0 44894 109 0 0 25 0 1 0 804895874 89776128 20929 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21918 20929 1111 63 0 21855 0
vsize: 87672
[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 21299 0 0 0 45893 110 0 0 25 0 1 0 804895874 91127808 21261 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22248 21261 1111 63 0 22185 0
vsize: 88992
[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 21799 0 0 0 46890 114 0 0 25 0 1 0 804895874 93278208 21748 4294967295 134512640 134714540 3221221776 3221220464 134556770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22773 21748 1111 63 0 22710 0
vsize: 91092
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 22015 0 0 0 47889 115 0 0 25 0 1 0 804895874 94244864 21963 4294967295 134512640 134714540 3221221776 3221220416 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23009 21963 1111 63 0 22946 0
vsize: 92036
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 22244 0 0 0 48887 117 0 0 25 0 1 0 804895874 95191040 22192 4294967295 134512640 134714540 3221221776 3221220664 134621629 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23240 22192 1111 63 0 23177 0
vsize: 92960
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 22640 0 0 0 49885 119 0 0 25 0 1 0 804895874 96813056 22588 4294967295 134512640 134714540 3221221776 3221220420 134542296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23636 22588 1111 63 0 23573 0
vsize: 94544
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 22825 0 0 0 50884 121 0 0 25 0 1 0 804895874 97464320 22759 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23795 22759 1111 63 0 23732 0
vsize: 95180
[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 23134 0 0 0 51882 122 0 0 25 0 1 0 804895874 98816000 23068 4294967295 134512640 134714540 3221221776 3221220400 134696057 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24125 23068 1111 63 0 24062 0
vsize: 96500
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 23391 0 0 0 52880 124 0 0 25 0 1 0 804895874 99864576 23325 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24381 23325 1111 63 0 24318 0
vsize: 97524
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 23819 0 0 0 53879 126 0 0 25 0 1 0 804895874 101781504 23753 4294967295 134512640 134714540 3221221776 3221220524 134535503 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24849 23753 1111 63 0 24786 0
vsize: 99396
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 24353 0 0 0 54876 129 0 0 25 0 1 0 804895874 104394752 24248 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25487 24248 1111 63 0 25424 0
vsize: 101948
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 24643 0 0 0 55874 131 0 0 25 0 1 0 804895874 105418752 24537 4294967295 134512640 134714540 3221221776 3221220060 1077379908 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25737 24537 1111 63 0 25674 0
vsize: 102948
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 25097 0 0 0 56872 133 0 0 25 0 1 0 804895874 107311104 24991 4294967295 134512640 134714540 3221221776 3221220544 134592125 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26199 24991 1111 63 0 26136 0
vsize: 104796
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 25661 0 0 0 57870 136 0 0 25 0 1 0 804895874 109690880 25554 4294967295 134512640 134714540 3221221776 3221220368 134543740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26780 25554 1111 63 0 26717 0
vsize: 107120
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 26131 0 0 0 58868 138 0 0 25 0 1 0 804895874 111583232 26024 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27242 26024 1111 63 0 27179 0
vsize: 108968
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 26533 0 0 0 59865 140 0 0 25 0 1 0 804895874 113057792 26424 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27602 26424 1111 63 0 27539 0
vsize: 110408
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 26974 0 0 0 60864 142 0 0 25 0 1 0 804895874 114950144 26865 4294967295 134512640 134714540 3221221776 3221220520 134558490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28064 26865 1111 63 0 28001 0
vsize: 112256
[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 27332 0 0 0 61862 144 0 0 25 0 1 0 804895874 116228096 27212 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28376 27212 1111 63 0 28313 0
vsize: 113504
[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 27938 0 0 0 62860 147 0 0 25 0 1 0 804895874 118665216 27818 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28971 27818 1111 63 0 28908 0
vsize: 115884
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 27989 0 0 0 63858 148 0 0 25 0 1 0 804895874 118935552 27869 4294967295 134512640 134714540 3221221776 3221220188 1077374048 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29037 27870 1111 63 0 28974 0
vsize: 116148
[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 28464 0 0 0 64857 150 0 0 25 0 1 0 804895874 120827904 28344 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29499 28344 1111 63 0 29436 0
vsize: 117996
[startup+660.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 28840 0 0 0 65855 152 0 0 25 0 1 0 804895874 122277888 28720 4294967295 134512640 134714540 3221221776 3221220480 134584836 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29853 28720 1111 63 0 29790 0
vsize: 119412
[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 29042 0 0 0 66853 154 0 0 25 0 1 0 804895874 123088896 28922 4294967295 134512640 134714540 3221221776 3221220424 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30051 28922 1111 63 0 29988 0
vsize: 120204
[startup+680.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 29227 0 0 0 67850 157 0 0 25 0 1 0 804895874 123842560 29107 4294967295 134512640 134714540 3221221776 3221220060 1077379846 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30235 29107 1111 63 0 30172 0
vsize: 120940
[startup+690.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 29697 0 0 0 68848 159 0 0 25 0 1 0 804895874 126046208 29541 4294967295 134512640 134714540 3221221776 3221220344 134542985 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30773 29541 1111 63 0 30710 0
vsize: 123092
[startup+700.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 29970 0 0 0 69847 161 0 0 25 0 1 0 804895874 127246336 29802 4294967295 134512640 134714540 3221221776 3221220416 134543110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31066 29802 1111 63 0 31003 0
vsize: 124264
[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 30111 0 0 0 70846 162 0 0 25 0 1 0 804895874 127787008 29943 4294967295 134512640 134714540 3221221776 3221220520 134672944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31198 29943 1111 63 0 31135 0
vsize: 124792
[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 30191 0 0 0 71845 163 0 0 25 0 1 0 804895874 127930368 29996 4294967295 134512640 134714540 3221221776 3221220308 1077374082 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31233 29996 1111 63 0 31170 0
vsize: 124932
[startup+730.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 30679 0 0 0 72843 165 0 0 25 0 1 0 804895874 129961984 30484 4294967295 134512640 134714540 3221221776 3221220336 134539608 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31729 30484 1111 63 0 31666 0
vsize: 126916
[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 31109 0 0 0 73842 167 0 0 25 0 1 0 804895874 131788800 30914 4294967295 134512640 134714540 3221221776 3221220688 134598718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32175 30914 1111 63 0 32112 0
vsize: 128700
[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 31568 0 0 0 74840 169 0 0 25 0 1 0 804895874 133545984 31373 4294967295 134512640 134714540 3221221776 3221220520 134672941 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32604 31373 1111 63 0 32541 0
vsize: 130416
[startup+760.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 31602 0 0 0 75840 169 0 0 25 0 1 0 804895874 133677056 31403 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32636 31403 1111 63 0 32573 0
vsize: 130544
[startup+770.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 31944 0 0 0 76837 172 0 0 25 0 1 0 804895874 135028736 31745 4294967295 134512640 134714540 3221221776 3221220416 134613424 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32966 31745 1111 63 0 32903 0
vsize: 131864
[startup+780.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 31948 0 0 0 77837 172 0 0 25 0 1 0 804895874 135028736 31749 4294967295 134512640 134714540 3221221776 3221220492 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32966 31749 1111 63 0 32903 0
vsize: 131864
[startup+790.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 32532 0 0 0 78836 174 0 0 25 0 1 0 804895874 137576448 32333 4294967295 134512640 134714540 3221221776 3221220344 1077377193 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33588 32333 1111 63 0 33525 0
vsize: 134352
[startup+800.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 33471 0 0 0 79833 177 0 0 25 0 1 0 804895874 141500416 33272 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34546 33272 1111 63 0 34483 0
vsize: 138184
[startup+810.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 34424 0 0 0 80830 179 0 0 25 0 1 0 804895874 145534976 34225 4294967295 134512640 134714540 3221221776 3221220544 134592125 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35531 34225 1111 63 0 35468 0
vsize: 142124
[startup+820.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 35121 0 0 0 81828 182 0 0 25 0 1 0 804895874 148369408 34922 4294967295 134512640 134714540 3221221776 3221220580 134610916 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36223 34922 1111 63 0 36160 0
vsize: 144892
[startup+830.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 36106 0 0 0 82825 185 0 0 25 0 1 0 804895874 152395776 35896 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37206 35896 1111 63 0 37143 0
vsize: 148824
[startup+840.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 36705 0 0 0 83822 188 0 0 25 0 1 0 804895874 154804224 36493 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37794 36493 1111 63 0 37731 0
vsize: 151176
[startup+850.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 37416 0 0 0 84820 191 0 0 25 0 1 0 804895874 157712384 37204 4294967295 134512640 134714540 3221221776 3221220416 134538795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38504 37204 1111 63 0 38441 0
vsize: 154016
[startup+860.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 38139 0 0 0 85817 194 0 0 25 0 1 0 804895874 160649216 37927 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39221 37927 1111 63 0 39158 0
vsize: 156884
[startup+870.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 39276 0 0 0 86814 197 0 0 25 0 1 0 804895874 165507072 39054 4294967295 134512640 134714540 3221221776 3221220544 134592119 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40407 39054 1111 63 0 40344 0
vsize: 161628
[startup+880.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 40563 0 0 0 87811 201 0 0 25 0 1 0 804895874 171704320 40248 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41920 40248 1111 63 0 41857 0
vsize: 167680
[startup+890.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 41482 0 0 0 88808 204 0 0 25 0 1 0 804895874 175493120 41167 4294967295 134512640 134714540 3221221776 3221220508 134518132 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42845 41167 1111 63 0 42782 0
vsize: 171380
[startup+900.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 42126 0 0 0 89805 206 0 0 25 0 1 0 804895874 178102272 41811 4294967295 134512640 134714540 3221221776 3221220464 134594343 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43482 41811 1111 63 0 43419 0
vsize: 173928
[startup+910.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 42507 0 0 0 90803 209 0 0 25 0 1 0 804895874 179724288 42192 4294967295 134512640 134714540 3221221776 3221220512 134558535 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43878 42192 1111 63 0 43815 0
vsize: 175512
[startup+920.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 42932 0 0 0 91801 211 0 0 25 0 1 0 804895874 181346304 42617 4294967295 134512640 134714540 3221221776 3221220416 134538795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44274 42617 1111 63 0 44211 0
vsize: 177096
[startup+930.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 43470 0 0 0 92798 214 0 0 25 0 1 0 804895874 183640064 43155 4294967295 134512640 134714540 3221221776 3221220524 134672920 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44834 43155 1111 63 0 44771 0
vsize: 179336
[startup+940.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 43913 0 0 0 93796 216 0 0 25 0 1 0 804895874 185409536 43598 4294967295 134512640 134714540 3221221776 3221220400 134535471 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45266 43598 1111 63 0 45203 0
vsize: 181064
[startup+950.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 44073 0 0 0 94795 217 0 0 25 0 1 0 804895874 185950208 43758 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+960.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 44073 0 0 0 95796 217 0 0 25 0 1 0 804895874 185950208 43758 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+970.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 44073 0 0 0 96796 217 0 0 25 0 1 0 804895874 185950208 43758 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+980.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 44073 0 0 0 97794 218 0 0 25 0 1 0 804895874 185950208 43758 4294967295 134512640 134714540 3221221776 3221220568 134542412 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+990.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 44073 0 0 0 98793 218 0 0 25 0 1 0 804895874 185950208 43758 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 44073 0 0 0 99793 218 0 0 25 0 1 0 804895874 185950208 43758 4294967295 134512640 134714540 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 44073 0 0 0 100793 218 0 0 25 0 1 0 804895874 185950208 43758 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 44073 0 0 0 101793 218 0 0 25 0 1 0 804895874 185950208 43758 4294967295 134512640 134714540 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 44073 0 0 0 102793 218 0 0 25 0 1 0 804895874 185950208 43758 4294967295 134512640 134714540 3221221776 3221220580 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 44073 0 0 0 103794 218 0 0 25 0 1 0 804895874 185950208 43758 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 44073 0 0 0 104794 218 0 0 25 0 1 0 804895874 185950208 43758 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 44073 0 0 0 105794 218 0 0 25 0 1 0 804895874 185950208 43758 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 44073 0 0 0 106794 218 0 0 25 0 1 0 804895874 185950208 43758 4294967295 134512640 134714540 3221221776 3221220500 134622811 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 44073 0 0 0 107794 218 0 0 25 0 1 0 804895874 185950208 43758 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 44073 0 0 0 108795 218 0 0 25 0 1 0 804895874 185950208 43758 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 44073 0 0 0 109795 218 0 0 25 0 1 0 804895874 185950208 43758 4294967295 134512640 134714540 3221221776 3221220488 134543133 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 44073 0 0 0 110795 218 0 0 25 0 1 0 804895874 185950208 43758 4294967295 134512640 134714540 3221221776 3221220496 134622839 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 44073 0 0 0 111795 218 0 0 25 0 1 0 804895874 185950208 43758 4294967295 134512640 134714540 3221221776 3221220488 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 44073 0 0 0 112795 218 0 0 25 0 1 0 804895874 185950208 43758 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 44073 0 0 0 113795 218 0 0 25 0 1 0 804895874 185950208 43758 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 44073 0 0 0 114796 218 0 0 25 0 1 0 804895874 185950208 43758 4294967295 134512640 134714540 3221221776 3221220492 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 44073 0 0 0 115796 219 0 0 25 0 1 0 804895874 185950208 43758 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 44073 0 0 0 116796 219 0 0 25 0 1 0 804895874 185950208 43758 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 44073 0 0 0 117796 219 0 0 25 0 1 0 804895874 185950208 43758 4294967295 134512640 134714540 3221221776 3221220488 134558477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 44073 0 0 0 118796 219 0 0 25 0 1 0 804895874 185950208 43758 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 11337
Raw data (stat): 11337 (bsolo_mis) R 11336 7876 7672 0 -1 0 44073 0 0 0 119796 219 0 0 25 0 1 0 804895874 185950208 43758 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 0.99 0.97 0.99 1/55 11337
Raw data (stat): 11337 (bsolo_mis) Z 11336 7876 7672 0 -1 1036 44073 0 0 0 119796 227 0 0 25 0 1 0 804895874 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.24
CPU user time (s): 1197.97
CPU system time (s): 2.27265
CPU usage (%): 100.009
Max. virtual memory (Kb): 181592
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####