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-n370d.opb
MD5SUM	5482c063922cabc25678dee80f9b5125
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.965852
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 25564

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-20 16:43:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19165 boxname=wulflinc31 idbench=1475 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  5482c063922cabc25678dee80f9b5125  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n370d.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n370d.opb
IDLAUNCH: 19165
/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:        677712 kB
Buffers:         30424 kB
Cached:         305416 kB
SwapCached:       1168 kB
Active:         225328 kB
Inactive:       112892 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        677460 kB
SwapTotal:     2097892 kB
SwapFree:      2095980 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5352 kB
Slab:            13140 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-20 17:03:24 (client local time) WITH STATUS 0 IN 1200.29 SECONDS
stats: 19165 7 1200.29 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.92 0.95 0.97 2/55 953
Raw data (stat): 953 (runsolver) R 952 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 797185543 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.0006 s]
Raw data (loadavg): 0.93 0.96 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 1003 0 0 0 992 4 0 0 25 0 1 0 797185543 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.0013 s]
Raw data (loadavg): 0.94 0.96 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 1243 0 0 0 1992 4 0 0 25 0 1 0 797185543 17027072 1220 4294967295 134512640 134714540 3221221776 3221220004 1077414435 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.0023 s]
Raw data (loadavg): 0.95 0.96 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 1487 0 0 0 2992 5 0 0 25 0 1 0 797185543 18026496 1464 4294967295 134512640 134714540 3221221776 3221220004 1077414338 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.0022 s]
Raw data (loadavg): 0.96 0.96 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 1734 0 0 0 3991 5 0 0 25 0 1 0 797185543 19013632 1711 4294967295 134512640 134714540 3221221776 3221220004 1077414345 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.0051 s]
Raw data (loadavg): 0.96 0.96 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 1982 0 0 0 4991 6 0 0 25 0 1 0 797185543 20000768 1959 4294967295 134512640 134714540 3221221776 3221220004 1077414388 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.97 0.96 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 2234 0 0 0 5991 6 0 0 25 0 1 0 797185543 21123072 2211 4294967295 134512640 134714540 3221221776 3221220004 1077414413 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.97 0.96 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 2476 0 0 0 6991 7 0 0 25 0 1 0 797185543 22110208 2453 4294967295 134512640 134714540 3221221776 3221220004 1077414388 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.0069 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 2723 0 0 0 7991 7 0 0 25 0 1 0 797185543 23089152 2700 4294967295 134512640 134714540 3221221776 3221220004 1077414413 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.98 0.96 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 2970 0 0 0 8990 8 0 0 25 0 1 0 797185543 24076288 2947 4294967295 134512640 134714540 3221221776 3221220004 1077414382 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.008 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 3218 0 0 0 9990 8 0 0 25 0 1 0 797185543 25063424 3195 4294967295 134512640 134714540 3221221776 3221220004 1077414408 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.98 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 3466 0 0 0 10990 9 0 0 25 0 1 0 797185543 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.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 3720 0 0 0 11989 9 0 0 25 0 1 0 797185543 27197440 3697 4294967295 134512640 134714540 3221221776 3221220004 1077414358 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.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 3969 0 0 0 12989 9 0 0 25 0 1 0 797185543 28184576 3946 4294967295 134512640 134714540 3221221776 3221220004 1077414413 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.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 4216 0 0 0 13989 10 0 0 25 0 1 0 797185543 29163520 4193 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7120 4193 1111 63 0 7057 0
vsize: 28480
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 4471 0 0 0 14989 10 0 0 25 0 1 0 797185543 30289920 4448 4294967295 134512640 134714540 3221221776 3221220004 1077414408 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.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 4719 0 0 0 15988 11 0 0 25 0 1 0 797185543 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.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 4968 0 0 0 16988 12 0 0 25 0 1 0 797185543 32264192 4945 4294967295 134512640 134714540 3221221776 3221220004 1077414388 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.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 5217 0 0 0 17987 12 0 0 25 0 1 0 797185543 33251328 5194 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8118 5194 1111 63 0 8055 0
vsize: 32472
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 5472 0 0 0 18987 13 0 0 25 0 1 0 797185543 34377728 5449 4294967295 134512640 134714540 3221221776 3221220004 1077414338 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.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 5726 0 0 0 19987 13 0 0 25 0 1 0 797185543 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.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 5973 0 0 0 20987 13 0 0 25 0 1 0 797185543 36347904 5950 4294967295 134512640 134714540 3221221776 3221220004 1077414413 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.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 6227 0 0 0 21987 14 0 0 25 0 1 0 797185543 37474304 6204 4294967295 134512640 134714540 3221221776 3221220004 1077414424 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.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 6493 0 0 0 22986 14 0 0 25 0 1 0 797185543 38498304 6470 4294967295 134512640 134714540 3221221776 3221220004 1077414357 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.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 6741 0 0 0 23986 15 0 0 25 0 1 0 797185543 39624704 6718 4294967295 134512640 134714540 3221221776 3221220004 1077414363 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.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 6997 0 0 0 24986 15 0 0 25 0 1 0 797185543 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.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 7252 0 0 0 25985 16 0 0 25 0 1 0 797185543 41598976 7229 4294967295 134512640 134714540 3221221776 3221220432 134527932 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.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 7507 0 0 0 26985 16 0 0 25 0 1 0 797185543 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.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 7761 0 0 0 27985 17 0 0 25 0 1 0 797185543 43708416 7738 4294967295 134512640 134714540 3221221776 3221220004 1077414410 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.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 8016 0 0 0 28984 17 0 0 25 0 1 0 797185543 44834816 7993 4294967295 134512640 134714540 3221221776 3221220004 1077414385 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.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 8271 0 0 0 29984 18 0 0 25 0 1 0 797185543 45821952 8248 4294967295 134512640 134714540 3221221776 3221220004 1077414388 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.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 8533 0 0 0 30984 18 0 0 25 0 1 0 797185543 46948352 8510 4294967295 134512640 134714540 3221221776 3221220004 1077414420 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.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 8789 0 0 0 31984 18 0 0 25 0 1 0 797185543 47935488 8766 4294967295 134512640 134714540 3221221776 3221220004 1077414370 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.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 9044 0 0 0 32983 19 0 0 25 0 1 0 797185543 48918528 9021 4294967295 134512640 134714540 3221221776 3221220004 1077414338 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.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 9307 0 0 0 33983 19 0 0 25 0 1 0 797185543 50049024 9284 4294967295 134512640 134714540 3221221776 3221220004 1077414426 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.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 9568 0 0 0 34983 20 0 0 25 0 1 0 797185543 51175424 9545 4294967295 134512640 134714540 3221221776 3221220004 1077414424 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.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 9822 0 0 0 35983 20 0 0 25 0 1 0 797185543 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.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 10078 0 0 0 36982 21 0 0 25 0 1 0 797185543 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.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 10340 0 0 0 37982 21 0 0 25 0 1 0 797185543 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.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 10602 0 0 0 38983 22 0 0 25 0 1 0 797185543 55394304 10579 4294967295 134512640 134714540 3221221776 3221220004 1077414370 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.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 10864 0 0 0 39982 22 0 0 25 0 1 0 797185543 56381440 10841 4294967295 134512640 134714540 3221221776 3221220432 134527932 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.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 11126 0 0 0 40982 23 0 0 25 0 1 0 797185543 57507840 11103 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14040 11103 1111 63 0 13977 0
vsize: 56160
[startup+420.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 11387 0 0 0 41982 23 0 0 25 0 1 0 797185543 58494976 11364 4294967295 134512640 134714540 3221221776 3221220004 1077414388 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.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 11648 0 0 0 42981 24 0 0 25 0 1 0 797185543 59621376 11625 4294967295 134512640 134714540 3221221776 3221220004 1077414363 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.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 11928 0 0 0 43981 24 0 0 25 0 1 0 797185543 60858368 11905 4294967295 134512640 134714540 3221221776 3221220004 1077414338 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.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 12188 0 0 0 44981 24 0 0 25 0 1 0 797185543 61976576 12165 4294967295 134512640 134714540 3221221776 3221220004 1077414363 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.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 12457 0 0 0 45981 25 0 0 25 0 1 0 797185543 63107072 12434 4294967295 134512640 134714540 3221221776 3221220004 1077414413 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.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 12719 0 0 0 46980 26 0 0 25 0 1 0 797185543 64090112 12696 4294967295 134512640 134714540 3221221776 3221220004 1077414413 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.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 12988 0 0 0 47980 26 0 0 25 0 1 0 797185543 65216512 12965 4294967295 134512640 134714540 3221221776 3221220004 1077414338 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.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 13251 0 0 0 48979 28 0 0 25 0 1 0 797185543 66342912 13228 4294967295 134512640 134714540 3221221776 3221220004 1077414388 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.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 13519 0 0 0 49979 28 0 0 25 0 1 0 797185543 67334144 13496 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16439 13496 1111 63 0 16376 0
vsize: 65756
[startup+510.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 13788 0 0 0 50978 29 0 0 25 0 1 0 797185543 68460544 13765 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16714 13765 1111 63 0 16651 0
vsize: 66856
[startup+520.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 14051 0 0 0 51978 30 0 0 25 0 1 0 797185543 69586944 14028 4294967295 134512640 134714540 3221221776 3221220004 1077414357 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.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 14319 0 0 0 52977 30 0 0 25 0 1 0 797185543 70713344 14296 4294967295 134512640 134714540 3221221776 3221220004 1077414345 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.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 14589 0 0 0 53977 30 0 0 25 0 1 0 797185543 71696384 14566 4294967295 134512640 134714540 3221221776 3221220004 1077414363 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.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 14858 0 0 0 54977 31 0 0 25 0 1 0 797185543 72818688 14835 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17778 14835 1111 63 0 17715 0
vsize: 71112
[startup+560.037 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 15125 0 0 0 55976 32 0 0 25 0 1 0 797185543 73945088 15102 4294967295 134512640 134714540 3221221776 3221220004 1077414338 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.038 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 15395 0 0 0 56976 33 0 0 25 0 1 0 797185543 75071488 15372 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18328 15372 1111 63 0 18265 0
vsize: 73312
[startup+580.038 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 15663 0 0 0 57976 33 0 0 25 0 1 0 797185543 76197888 15640 4294967295 134512640 134714540 3221221776 3221220004 1077414413 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.038 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 15939 0 0 0 58975 33 0 0 25 0 1 0 797185543 77324288 15916 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18878 15916 1111 63 0 18815 0
vsize: 75512
[startup+600.038 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 16208 0 0 0 59975 34 0 0 25 0 1 0 797185543 78315520 16185 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19120 16185 1111 63 0 19057 0
vsize: 76480
[startup+610.038 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 16478 0 0 0 60974 35 0 0 25 0 1 0 797185543 79441920 16455 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19395 16455 1111 63 0 19332 0
vsize: 77580
[startup+620.039 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 16754 0 0 0 61974 36 0 0 25 0 1 0 797185543 80568320 16731 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19670 16731 1111 63 0 19607 0
vsize: 78680
[startup+630.039 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 17028 0 0 0 62973 36 0 0 25 0 1 0 797185543 81694720 17005 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19945 17005 1111 63 0 19882 0
vsize: 79780
[startup+640.039 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 17298 0 0 0 63973 37 0 0 25 0 1 0 797185543 82821120 17275 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20220 17275 1111 63 0 20157 0
vsize: 80880
[startup+650.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 17574 0 0 0 64972 38 0 0 25 0 1 0 797185543 83947520 17551 4294967295 134512640 134714540 3221221776 3221220432 134527930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20495 17551 1111 63 0 20432 0
vsize: 81980
[startup+660.041 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 17849 0 0 0 65972 38 0 0 25 0 1 0 797185543 85073920 17826 4294967295 134512640 134714540 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20770 17826 1111 63 0 20707 0
vsize: 83080
[startup+670.042 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 18126 0 0 0 66971 39 0 0 25 0 1 0 797185543 86200320 18103 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21045 18103 1111 63 0 20982 0
vsize: 84180
[startup+680.043 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 18401 0 0 0 67971 39 0 0 25 0 1 0 797185543 87326720 18378 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21320 18378 1111 63 0 21257 0
vsize: 85280
[startup+690.043 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 18678 0 0 0 68971 40 0 0 25 0 1 0 797185543 88449024 18655 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21594 18655 1111 63 0 21531 0
vsize: 86376
[startup+700.044 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 18958 0 0 0 69971 40 0 0 25 0 1 0 797185543 89575424 18935 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21869 18935 1111 63 0 21806 0
vsize: 87476
[startup+710.045 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 19234 0 0 0 70970 41 0 0 25 0 1 0 797185543 90701824 19211 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22144 19211 1111 63 0 22081 0
vsize: 88576
[startup+720.046 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 19511 0 0 0 71970 41 0 0 25 0 1 0 797185543 91828224 19488 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22419 19488 1111 63 0 22356 0
vsize: 89676
[startup+730.046 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 19787 0 0 0 72970 42 0 0 25 0 1 0 797185543 92954624 19764 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22694 19764 1111 63 0 22631 0
vsize: 90776
[startup+740.045 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 20069 0 0 0 73970 42 0 0 25 0 1 0 797185543 94081024 20046 4294967295 134512640 134714540 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22969 20046 1111 63 0 22906 0
vsize: 91876
[startup+750.046 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 20352 0 0 0 74969 43 0 0 25 0 1 0 797185543 95346688 20329 4294967295 134512640 134714540 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23278 20329 1111 63 0 23215 0
vsize: 93112
[startup+760.046 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 20628 0 0 0 75969 43 0 0 25 0 1 0 797185543 96477184 20605 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23554 20605 1111 63 0 23491 0
vsize: 94216
[startup+770.048 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 20918 0 0 0 76968 44 0 0 25 0 1 0 797185543 97603584 20895 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23829 20895 1111 63 0 23766 0
vsize: 95316
[startup+780.048 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 21193 0 0 0 77967 45 0 0 25 0 1 0 797185543 98729984 21170 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24104 21170 1111 63 0 24041 0
vsize: 96416
[startup+790.048 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 21483 0 0 0 78967 45 0 0 25 0 1 0 797185543 99856384 21460 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24379 21460 1111 63 0 24316 0
vsize: 97516
[startup+800.049 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 21759 0 0 0 79967 46 0 0 25 0 1 0 797185543 100982784 21736 4294967295 134512640 134714540 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24654 21736 1111 63 0 24591 0
vsize: 98616
[startup+810.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 22048 0 0 0 80966 47 0 0 25 0 1 0 797185543 102248448 22025 4294967295 134512640 134714540 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24963 22025 1111 63 0 24900 0
vsize: 99852
[startup+820.06 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 22337 0 0 0 81967 47 0 0 25 0 1 0 797185543 103378944 22314 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25239 22314 1111 63 0 25176 0
vsize: 100956
[startup+830.06 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 22619 0 0 0 82966 48 0 0 25 0 1 0 797185543 104505344 22596 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25514 22596 1111 63 0 25451 0
vsize: 102056
[startup+840.061 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 22936 0 0 0 83965 49 0 0 25 0 1 0 797185543 106139648 22913 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25913 22913 1111 63 0 25850 0
vsize: 103652
[startup+850.062 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 23224 0 0 0 84965 50 0 0 25 0 1 0 797185543 107257856 23201 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26186 23201 1111 63 0 26123 0
vsize: 104744
[startup+860.062 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 23513 0 0 0 85965 50 0 0 25 0 1 0 797185543 108523520 23490 4294967295 134512640 134714540 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26495 23490 1111 63 0 26432 0
vsize: 105980
[startup+870.063 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 23797 0 0 0 86964 51 0 0 25 0 1 0 797185543 109649920 23774 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26770 23774 1111 63 0 26707 0
vsize: 107080
[startup+880.063 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 24085 0 0 0 87964 51 0 0 25 0 1 0 797185543 110776320 24062 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27045 24062 1111 63 0 26982 0
vsize: 108180
[startup+890.063 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 24376 0 0 0 88963 52 0 0 25 0 1 0 797185543 112046080 24353 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27355 24353 1111 63 0 27292 0
vsize: 109420
[startup+900.063 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 24658 0 0 0 89963 53 0 0 25 0 1 0 797185543 113172480 24635 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27630 24635 1111 63 0 27567 0
vsize: 110520
[startup+910.063 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 24955 0 0 0 90962 53 0 0 25 0 1 0 797185543 114298880 24932 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27905 24932 1111 63 0 27842 0
vsize: 111620
[startup+920.064 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 25244 0 0 0 91962 54 0 0 25 0 1 0 797185543 115564544 25221 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28214 25221 1111 63 0 28151 0
vsize: 112856
[startup+930.064 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 25534 0 0 0 92962 55 0 0 25 0 1 0 797185543 116690944 25511 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25511 1111 63 0 28426 0
vsize: 113956
[startup+940.064 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 25830 0 0 0 93961 55 0 0 25 0 1 0 797185543 117960704 25807 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28799 25807 1111 63 0 28736 0
vsize: 115196
[startup+950.065 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 26120 0 0 0 94961 56 0 0 25 0 1 0 797185543 119087104 26097 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29074 26097 1111 63 0 29011 0
vsize: 116296
[startup+960.066 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 26411 0 0 0 95961 56 0 0 25 0 1 0 797185543 120352768 26388 4294967295 134512640 134714540 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29383 26388 1111 63 0 29320 0
vsize: 117532
[startup+970.067 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 26706 0 0 0 96960 57 0 0 25 0 1 0 797185543 121479168 26683 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29658 26683 1111 63 0 29595 0
vsize: 118632
[startup+980.067 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 27002 0 0 0 97960 58 0 0 25 0 1 0 797185543 122744832 26979 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29967 26979 1111 63 0 29904 0
vsize: 119868
[startup+990.067 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 27293 0 0 0 98959 58 0 0 25 0 1 0 797185543 123871232 27270 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30242 27270 1111 63 0 30179 0
vsize: 120968
[startup+1000.07 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 953
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 27594 0 0 0 99959 59 0 0 25 0 1 0 797185543 125140992 27571 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30552 27571 1111 63 0 30489 0
vsize: 122208
[startup+1010.07 s]
Raw data (loadavg): 1.07 0.99 0.97 2/55 1006
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 27886 0 0 0 100958 60 0 0 25 0 1 0 797185543 126267392 27863 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30827 27863 1111 63 0 30764 0
vsize: 123308
[startup+1020.07 s]
Raw data (loadavg): 1.06 0.99 0.97 2/55 1006
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 28188 0 0 0 101958 60 0 0 25 0 1 0 797185543 127533056 28165 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31136 28165 1111 63 0 31073 0
vsize: 124544
[startup+1030.07 s]
Raw data (loadavg): 1.05 0.99 0.97 2/55 1006
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 28485 0 0 0 102957 61 0 0 25 0 1 0 797185543 128798720 28462 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31445 28462 1111 63 0 31382 0
vsize: 125780
[startup+1040.07 s]
Raw data (loadavg): 1.04 0.99 0.97 2/55 1006
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 28781 0 0 0 103957 61 0 0 25 0 1 0 797185543 129925120 28758 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31720 28758 1111 63 0 31657 0
vsize: 126880
[startup+1050.07 s]
Raw data (loadavg): 1.04 0.99 0.97 2/55 1006
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 29084 0 0 0 104957 62 0 0 25 0 1 0 797185543 131194880 29061 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32030 29061 1111 63 0 31967 0
vsize: 128120
[startup+1060.07 s]
Raw data (loadavg): 1.03 0.99 0.97 2/55 1006
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 29381 0 0 0 105956 62 0 0 25 0 1 0 797185543 132460544 29358 4294967295 134512640 134714540 3221221776 3221220432 134527930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32339 29358 1111 63 0 32276 0
vsize: 129356
[startup+1070.07 s]
Raw data (loadavg): 1.03 0.99 0.97 2/55 1006
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 29684 0 0 0 106956 62 0 0 25 0 1 0 797185543 133726208 29661 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32648 29661 1111 63 0 32585 0
vsize: 130592
[startup+1080.07 s]
Raw data (loadavg): 1.02 0.99 0.97 2/55 1006
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 29987 0 0 0 107956 63 0 0 25 0 1 0 797185543 134856704 29964 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32924 29964 1111 63 0 32861 0
vsize: 131696
[startup+1090.07 s]
Raw data (loadavg): 1.02 0.99 0.97 2/55 1008
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 30296 0 0 0 108956 64 0 0 25 0 1 0 797185543 136122368 30273 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33233 30273 1111 63 0 33170 0
vsize: 132932
[startup+1100.07 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 1008
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 30601 0 0 0 109955 64 0 0 25 0 1 0 797185543 137388032 30578 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33542 30578 1111 63 0 33479 0
vsize: 134168
[startup+1110.07 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 1008
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 30910 0 0 0 110955 64 0 0 25 0 1 0 797185543 138653696 30887 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33851 30887 1111 63 0 33788 0
vsize: 135404
[startup+1120.08 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 1008
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 31221 0 0 0 111955 65 0 0 25 0 1 0 797185543 139923456 31198 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34161 31198 1111 63 0 34098 0
vsize: 136644
[startup+1130.08 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 1008
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 31531 0 0 0 112954 66 0 0 25 0 1 0 797185543 141189120 31508 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34470 31508 1111 63 0 34407 0
vsize: 137880
[startup+1140.08 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 1008
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 31840 0 0 0 113954 66 0 0 25 0 1 0 797185543 142454784 31817 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34779 31817 1111 63 0 34716 0
vsize: 139116
[startup+1150.08 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1008
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 32151 0 0 0 114954 66 0 0 25 0 1 0 797185543 143720448 32128 4294967295 134512640 134714540 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35088 32128 1111 63 0 35025 0
vsize: 140352
[startup+1160.08 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1008
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 32461 0 0 0 115954 67 0 0 25 0 1 0 797185543 144990208 32438 4294967295 134512640 134714540 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35398 32438 1111 63 0 35335 0
vsize: 141592
[startup+1170.08 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1008
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 32772 0 0 0 116953 68 0 0 25 0 1 0 797185543 146255872 32749 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35707 32749 1111 63 0 35644 0
vsize: 142828
[startup+1180.08 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1008
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 33082 0 0 0 117953 68 0 0 25 0 1 0 797185543 147521536 33059 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36016 33059 1111 63 0 35953 0
vsize: 144064
[startup+1190.08 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1008
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 33400 0 0 0 118952 69 0 0 25 0 1 0 797185543 148791296 33377 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36326 33377 1111 63 0 36263 0
vsize: 145304
[startup+1200.08 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1008
Raw data (stat): 953 (bsolo_mis) R 952 7876 7672 0 -1 0 33717 0 0 0 119952 69 0 0 25 0 1 0 797185543 150204416 33694 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36671 33694 1111 63 0 36608 0
vsize: 146684
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.15 s]
Raw data (loadavg): 1.00 0.99 0.97 1/55 1008
Raw data (stat): 953 (bsolo_mis) Z 952 7876 7672 0 -1 1036 33717 0 0 0 119952 76 0 0 25 0 1 0 797185543 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.14
CPU time (s): 1200.29
CPU user time (s): 1199.53
CPU system time (s): 0.761884
CPU usage (%): 100.012
Max. virtual memory (Kb): 146684
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####