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/submitted/een/normalized-mitre.opb
MD5SUM	a32373ce42835aed9464b28f5a9ed13c
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	8818
Optimality of the best value was proved	NO
Number of terms in the objective function	9324
Biggest coefficient in the objective function	213
Number of bits for the biggest coefficient in the objective function	8
Sum of the numbers in the objective function	909647
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	1069
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	909647
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.18
Number of variables	10724
Total number of constraints	2045
Number of constraints which are clauses	523
Number of constraints which are cardinality constraints (but not clauses)	1139
Number of constraints which are nor clauses,nor cardinality constraints	383
Minimum length of a constraint	3
Maximum length of a constraint	98
Trace number 25114

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-16 21:10:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5125 boxname=wulflinc31 idbench=395 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  a32373ce42835aed9464b28f5a9ed13c  /oldhome/oroussel/tmp/wulflinc31/normalized-mitre.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mitre.opb
IDLAUNCH: 5125
/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:        766092 kB
Buffers:         51664 kB
Cached:         187376 kB
SwapCached:       1952 kB
Active:         202944 kB
Inactive:        45008 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        765840 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            14904 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-16 21:30:35 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 5125 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 10724 variables and 2045 constraints.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.98 0.99 1/55 17572
Raw data (stat): 17572 (runsolver) D 17571 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 18 0 1 0 764224860 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0005 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 4277 0 0 0 984 12 0 0 25 0 1 0 764224860 20746240 4089 4294967295 134512640 134714540 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5065 4089 1111 63 0 5002 0
vsize: 20260
[startup+20.0015 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 5710 0 0 0 1981 14 0 0 25 0 1 0 764224860 24653824 5042 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6019 5042 1111 63 0 5956 0
vsize: 24076
[startup+30.0031 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 7274 0 0 0 2976 20 0 0 25 0 1 0 764224860 27529216 5745 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6721 5745 1111 63 0 6658 0
vsize: 26884
[startup+40.0043 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 8839 0 0 0 3972 24 0 0 25 0 1 0 764224860 33275904 7148 4294967295 134512640 134714540 3221221792 3221220520 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8124 7148 1111 63 0 8061 0
vsize: 32496
[startup+50.0053 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 9709 0 0 0 4968 28 0 0 25 0 1 0 764224860 35123200 7598 4294967295 134512640 134714540 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8575 7598 1111 63 0 8512 0
vsize: 34300
[startup+60.0057 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 10023 0 0 0 5967 29 0 0 25 0 1 0 764224860 36409344 7912 4294967295 134512640 134714540 3221221792 3221220464 134607024 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8889 7912 1111 63 0 8826 0
vsize: 35556
[startup+70.0062 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 10378 0 0 0 6966 31 0 0 25 0 1 0 764224860 37740544 8237 4294967295 134512640 134714540 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9214 8237 1111 63 0 9151 0
vsize: 36856
[startup+80.0071 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 10630 0 0 0 7965 31 0 0 25 0 1 0 764224860 38768640 8489 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9465 8489 1111 63 0 9402 0
vsize: 37860
[startup+90.0088 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 10818 0 0 0 8964 33 0 0 25 0 1 0 764224860 39542784 8677 4294967295 134512640 134714540 3221221792 3221220592 134617624 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9654 8677 1111 63 0 9591 0
vsize: 38616
[startup+100.009 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 11070 0 0 0 9963 34 0 0 25 0 1 0 764224860 40570880 8929 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9905 8929 1111 63 0 9842 0
vsize: 39620
[startup+110.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 11356 0 0 0 10963 34 0 0 25 0 1 0 764224860 41086976 9055 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10031 9055 1111 63 0 9968 0
vsize: 40124
[startup+120.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 12127 0 0 0 11960 37 0 0 25 0 1 0 764224860 42160128 9316 4294967295 134512640 134714540 3221221792 3221220592 134617624 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10293 9316 1111 63 0 10230 0
vsize: 41172
[startup+130.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 12316 0 0 0 12960 37 0 0 25 0 1 0 764224860 42930176 9505 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10481 9505 1111 63 0 10418 0
vsize: 41924
[startup+140.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 14085 0 0 0 13956 42 0 0 25 0 1 0 764224860 49152000 11024 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12000 11024 1111 63 0 11937 0
vsize: 48000
[startup+150.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 14148 0 0 0 14956 42 0 0 25 0 1 0 764224860 49410048 11087 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12063 11087 1111 63 0 12000 0
vsize: 48252
[startup+160.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 14273 0 0 0 15956 42 0 0 25 0 1 0 764224860 49926144 11212 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12189 11212 1111 63 0 12126 0
vsize: 48756
[startup+170.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 14419 0 0 0 16955 43 0 0 25 0 1 0 764224860 50483200 11348 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12325 11348 1111 63 0 12262 0
vsize: 49300
[startup+180.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 14545 0 0 0 17955 43 0 0 25 0 1 0 764224860 50999296 11474 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12451 11474 1111 63 0 12388 0
vsize: 49804
[startup+190.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 14734 0 0 0 18955 44 0 0 25 0 1 0 764224860 51769344 11663 4294967295 134512640 134714540 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12639 11663 1111 63 0 12576 0
vsize: 50556
[startup+200.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 15023 0 0 0 19954 45 0 0 25 0 1 0 764224860 52584448 11862 4294967295 134512640 134714540 3221221792 3221220308 1077378730 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12838 11862 1111 63 0 12775 0
vsize: 51352
[startup+210.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 15211 0 0 0 20954 45 0 0 25 0 1 0 764224860 53358592 12050 4294967295 134512640 134714540 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13027 12050 1111 63 0 12964 0
vsize: 52108
[startup+220.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 15400 0 0 0 21954 46 0 0 25 0 1 0 764224860 54128640 12239 4294967295 134512640 134714540 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13215 12239 1111 63 0 13152 0
vsize: 52860
[startup+230.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 15463 0 0 0 22954 46 0 0 25 0 1 0 764224860 54386688 12302 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13278 12302 1111 63 0 13215 0
vsize: 53112
[startup+240.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 15692 0 0 0 23953 46 0 0 25 0 1 0 764224860 55201792 12501 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13477 12501 1111 63 0 13414 0
vsize: 53908
[startup+250.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 15880 0 0 0 24953 47 0 0 25 0 1 0 764224860 55975936 12689 4294967295 134512640 134714540 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13666 12689 1111 63 0 13603 0
vsize: 54664
[startup+260.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 16383 0 0 0 25952 48 0 0 25 0 1 0 764224860 58036224 13192 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14169 13192 1111 63 0 14106 0
vsize: 56676
[startup+270.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 16383 0 0 0 26952 48 0 0 25 0 1 0 764224860 58036224 13192 4294967295 134512640 134714540 3221221792 3221220528 134618224 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14169 13192 1111 63 0 14106 0
vsize: 56676
[startup+280.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 16509 0 0 0 27952 48 0 0 25 0 1 0 764224860 58548224 13318 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14294 13318 1111 63 0 14231 0
vsize: 57176
[startup+290.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 17148 0 0 0 28951 50 0 0 25 0 1 0 764224860 61165568 13957 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14933 13957 1111 63 0 14870 0
vsize: 59732
[startup+300.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 17148 0 0 0 29951 50 0 0 25 0 1 0 764224860 61165568 13957 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14933 13957 1111 63 0 14870 0
vsize: 59732
[startup+310.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 17148 0 0 0 30951 50 0 0 25 0 1 0 764224860 61165568 13957 4294967295 134512640 134714540 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14933 13957 1111 63 0 14870 0
vsize: 59732
[startup+320.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 17336 0 0 0 31951 50 0 0 25 0 1 0 764224860 61939712 14145 4294967295 134512640 134714540 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15122 14145 1111 63 0 15059 0
vsize: 60488
[startup+330.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 17399 0 0 0 32951 50 0 0 25 0 1 0 764224860 62197760 14208 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15185 14208 1111 63 0 15122 0
vsize: 60740
[startup+340.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 17525 0 0 0 33951 51 0 0 25 0 1 0 764224860 62713856 14334 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15311 14334 1111 63 0 15248 0
vsize: 61244
[startup+350.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 18038 0 0 0 34950 52 0 0 25 0 1 0 764224860 64815104 14847 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15824 14847 1111 63 0 15761 0
vsize: 63296
[startup+360.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 18101 0 0 0 35950 52 0 0 25 0 1 0 764224860 65073152 14910 4294967295 134512640 134714540 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15887 14910 1111 63 0 15824 0
vsize: 63548
[startup+370.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 18227 0 0 0 36950 52 0 0 25 0 1 0 764224860 65585152 15036 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16012 15036 1111 63 0 15949 0
vsize: 64048
[startup+380.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 18415 0 0 0 37950 52 0 0 25 0 1 0 764224860 66359296 15224 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16201 15224 1111 63 0 16138 0
vsize: 64804
[startup+390.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 18478 0 0 0 38950 53 0 0 25 0 1 0 764224860 66617344 15287 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16264 15287 1111 63 0 16201 0
vsize: 65056
[startup+400.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 18686 0 0 0 39949 53 0 0 25 0 1 0 764224860 67432448 15486 4294967295 134512640 134714540 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16463 15486 1111 63 0 16400 0
vsize: 65852
[startup+410.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 18686 0 0 0 40950 53 0 0 25 0 1 0 764224860 67432448 15486 4294967295 134512640 134714540 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16463 15486 1111 63 0 16400 0
vsize: 65852
[startup+420.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 19189 0 0 0 41948 55 0 0 25 0 1 0 764224860 69492736 15989 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16966 15989 1111 63 0 16903 0
vsize: 67864
[startup+430.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 19441 0 0 0 42948 55 0 0 25 0 1 0 764224860 70520832 16241 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17217 16241 1111 63 0 17154 0
vsize: 68868
[startup+440.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 19441 0 0 0 43948 55 0 0 25 0 1 0 764224860 70520832 16241 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17217 16241 1111 63 0 17154 0
vsize: 68868
[startup+450.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 19629 0 0 0 44948 56 0 0 25 0 1 0 764224860 71294976 16429 4294967295 134512640 134714540 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17406 16429 1111 63 0 17343 0
vsize: 69624
[startup+460.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 19629 0 0 0 45948 56 0 0 25 0 1 0 764224860 71294976 16429 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17406 16429 1111 63 0 17343 0
vsize: 69624
[startup+470.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 19882 0 0 0 46948 56 0 0 25 0 1 0 764224860 72110080 16628 4294967295 134512640 134714540 3221221792 3221220344 1077377193 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17605 16628 1111 63 0 17542 0
vsize: 70420
[startup+480.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 20134 0 0 0 47947 57 0 0 25 0 1 0 764224860 73138176 16880 4294967295 134512640 134714540 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17856 16880 1111 63 0 17793 0
vsize: 71424
[startup+490.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 20574 0 0 0 48946 58 0 0 25 0 1 0 764224860 74940416 17320 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18296 17320 1111 63 0 18233 0
vsize: 73184
[startup+500.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 20574 0 0 0 49946 58 0 0 25 0 1 0 764224860 74940416 17320 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18296 17320 1111 63 0 18233 0
vsize: 73184
[startup+510.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 20699 0 0 0 50946 59 0 0 25 0 1 0 764224860 75456512 17445 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18422 17445 1111 63 0 18359 0
vsize: 73688
[startup+520.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 20888 0 0 0 51946 59 0 0 25 0 1 0 764224860 76226560 17634 4294967295 134512640 134714540 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18610 17634 1111 63 0 18547 0
vsize: 74440
[startup+530.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 21318 0 0 0 52945 61 0 0 25 0 1 0 764224860 76226560 17634 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18610 17634 1111 63 0 18547 0
vsize: 74440
[startup+540.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 21997 0 0 0 53943 62 0 0 25 0 1 0 764224860 78843904 18273 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19249 18273 1111 63 0 19186 0
vsize: 76996
[startup+550.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 22060 0 0 0 54943 63 0 0 25 0 1 0 764224860 79101952 18336 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19312 18336 1111 63 0 19249 0
vsize: 77248
[startup+560.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 22123 0 0 0 55943 63 0 0 25 0 1 0 764224860 79360000 18399 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19375 18399 1111 63 0 19312 0
vsize: 77500
[startup+570.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 22185 0 0 0 56943 63 0 0 25 0 1 0 764224860 79618048 18461 4294967295 134512640 134714540 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19438 18461 1111 63 0 19375 0
vsize: 77752
[startup+580.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 22374 0 0 0 57943 63 0 0 25 0 1 0 764224860 80392192 18650 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19627 18650 1111 63 0 19564 0
vsize: 78508
[startup+590.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 22607 0 0 0 58942 64 0 0 25 0 1 0 764224860 80646144 18713 4294967295 134512640 134714540 3221221792 3221220544 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19689 18713 1111 63 0 19626 0
vsize: 78756
[startup+600.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 23180 0 0 0 59940 67 0 0 25 0 1 0 764224860 80949248 18786 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19763 18786 1111 63 0 19700 0
vsize: 79052
[startup+610.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 23306 0 0 0 60940 67 0 0 25 0 1 0 764224860 81461248 18912 4294967295 134512640 134714540 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19888 18912 1111 63 0 19825 0
vsize: 79552
[startup+620.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 23306 0 0 0 61940 67 0 0 25 0 1 0 764224860 81461248 18912 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19888 18912 1111 63 0 19825 0
vsize: 79552
[startup+630.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 23432 0 0 0 62940 67 0 0 25 0 1 0 764224860 81977344 19038 4294967295 134512640 134714540 3221221792 3221220276 1077378730 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20014 19038 1111 63 0 19951 0
vsize: 80056
[startup+640.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 23494 0 0 0 63940 67 0 0 25 0 1 0 764224860 82235392 19100 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20077 19100 1111 63 0 20014 0
vsize: 80308
[startup+650.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 23620 0 0 0 64939 68 0 0 25 0 1 0 764224860 82751488 19226 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20203 19226 1111 63 0 20140 0
vsize: 80812
[startup+660.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 23620 0 0 0 65939 68 0 0 25 0 1 0 764224860 82751488 19226 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20203 19226 1111 63 0 20140 0
vsize: 80812
[startup+670.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 23809 0 0 0 66939 68 0 0 25 0 1 0 764224860 83521536 19415 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20391 19415 1111 63 0 20328 0
vsize: 81564
[startup+680.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 23934 0 0 0 67939 69 0 0 25 0 1 0 764224860 84037632 19540 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20517 19540 1111 63 0 20454 0
vsize: 82068
[startup+690.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 24008 0 0 0 68939 69 0 0 25 0 1 0 764224860 84336640 19614 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20590 19614 1111 63 0 20527 0
vsize: 82360
[startup+700.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 24008 0 0 0 69940 69 0 0 25 0 1 0 764224860 84336640 19614 4294967295 134512640 134714540 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20590 19614 1111 63 0 20527 0
vsize: 82360
[startup+710.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 24071 0 0 0 70939 69 0 0 25 0 1 0 764224860 84594688 19677 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20653 19677 1111 63 0 20590 0
vsize: 82612
[startup+720.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 24196 0 0 0 71939 69 0 0 25 0 1 0 764224860 85110784 19802 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20779 19802 1111 63 0 20716 0
vsize: 83116
[startup+730.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 24322 0 0 0 72939 70 0 0 25 0 1 0 764224860 85626880 19928 4294967295 134512640 134714540 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20905 19928 1111 63 0 20842 0
vsize: 83620
[startup+740.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 24925 0 0 0 73938 71 0 0 25 0 1 0 764224860 87683072 20431 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21407 20431 1111 63 0 21344 0
vsize: 85628
[startup+750.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 25837 0 0 0 74936 73 0 0 25 0 1 0 764224860 90558464 21133 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22109 21133 1111 63 0 22046 0
vsize: 88436
[startup+760.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 26025 0 0 0 75935 74 0 0 25 0 1 0 764224860 91332608 21321 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22298 21321 1111 63 0 22235 0
vsize: 89192
[startup+770.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 26214 0 0 0 76935 74 0 0 25 0 1 0 764224860 92102656 21510 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22486 21510 1111 63 0 22423 0
vsize: 89944
[startup+780.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 26214 0 0 0 77935 74 0 0 25 0 1 0 764224860 92102656 21510 4294967295 134512640 134714540 3221221792 3221220520 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22486 21510 1111 63 0 22423 0
vsize: 89944
[startup+790.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 26287 0 0 0 78935 75 0 0 25 0 1 0 764224860 92405760 21583 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22560 21583 1111 63 0 22497 0
vsize: 90240
[startup+800.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 26413 0 0 0 79935 75 0 0 25 0 1 0 764224860 92917760 21709 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22685 21709 1111 63 0 22622 0
vsize: 90740
[startup+810.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 26476 0 0 0 80935 75 0 0 25 0 1 0 764224860 93175808 21772 4294967295 134512640 134714540 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22748 21772 1111 63 0 22685 0
vsize: 90992
[startup+820.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 26601 0 0 0 81935 76 0 0 25 0 1 0 764224860 93691904 21897 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22874 21897 1111 63 0 22811 0
vsize: 91496
[startup+830.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 26666 0 0 0 82935 76 0 0 25 0 1 0 764224860 93954048 21962 4294967295 134512640 134714540 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22938 21962 1111 63 0 22875 0
vsize: 91752
[startup+840.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 26854 0 0 0 83935 76 0 0 25 0 1 0 764224860 94728192 22150 4294967295 134512640 134714540 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23127 22150 1111 63 0 23064 0
vsize: 92508
[startup+850.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 27348 0 0 0 84933 78 0 0 25 0 1 0 764224860 95027200 22224 4294967295 134512640 134714540 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23200 22224 1111 63 0 23137 0
vsize: 92800
[startup+860.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 27473 0 0 0 85933 78 0 0 25 0 1 0 764224860 95543296 22349 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23326 22349 1111 63 0 23263 0
vsize: 93304
[startup+870.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 27599 0 0 0 86933 78 0 0 25 0 1 0 764224860 96059392 22475 4294967295 134512640 134714540 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23452 22475 1111 63 0 23389 0
vsize: 93808
[startup+880.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 27690 0 0 0 87933 78 0 0 25 0 1 0 764224860 96317440 22539 4294967295 134512640 134714540 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23515 22539 1111 63 0 23452 0
vsize: 94060
[startup+890.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 28059 0 0 0 88932 80 0 0 25 0 1 0 764224860 96616448 22611 4294967295 134512640 134714540 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23588 22611 1111 63 0 23525 0
vsize: 94352
[startup+900.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 28185 0 0 0 89932 80 0 0 25 0 1 0 764224860 97132544 22737 4294967295 134512640 134714540 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23714 22737 1111 63 0 23651 0
vsize: 94856
[startup+910.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 29505 0 0 0 90929 83 0 0 25 0 1 0 764224860 102535168 24057 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25033 24057 1111 63 0 24970 0
vsize: 100132
[startup+920.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 29568 0 0 0 91929 83 0 0 25 0 1 0 764224860 102793216 24120 4294967295 134512640 134714540 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25096 24120 1111 63 0 25033 0
vsize: 100384
[startup+930.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 29568 0 0 0 92929 83 0 0 25 0 1 0 764224860 102793216 24120 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25096 24120 1111 63 0 25033 0
vsize: 100384
[startup+940.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 29568 0 0 0 93930 83 0 0 25 0 1 0 764224860 102793216 24120 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25096 24120 1111 63 0 25033 0
vsize: 100384
[startup+950.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 29568 0 0 0 94930 83 0 0 25 0 1 0 764224860 102793216 24120 4294967295 134512640 134714540 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25096 24120 1111 63 0 25033 0
vsize: 100384
[startup+960.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 29568 0 0 0 95930 83 0 0 25 0 1 0 764224860 102793216 24120 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25096 24120 1111 63 0 25033 0
vsize: 100384
[startup+970.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 29568 0 0 0 96930 83 0 0 25 0 1 0 764224860 102793216 24120 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25096 24120 1111 63 0 25033 0
vsize: 100384
[startup+980.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 29568 0 0 0 97930 83 0 0 25 0 1 0 764224860 102793216 24120 4294967295 134512640 134714540 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25096 24120 1111 63 0 25033 0
vsize: 100384
[startup+990.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 29568 0 0 0 98931 83 0 0 25 0 1 0 764224860 102793216 24120 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25096 24120 1111 63 0 25033 0
vsize: 100384
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 29777 0 0 0 99931 83 0 0 25 0 1 0 764224860 103608320 24319 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25295 24319 1111 63 0 25232 0
vsize: 101180
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 29777 0 0 0 100931 83 0 0 25 0 1 0 764224860 103608320 24319 4294967295 134512640 134714540 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25295 24319 1111 63 0 25232 0
vsize: 101180
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 29777 0 0 0 101931 83 0 0 25 0 1 0 764224860 103608320 24319 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25295 24319 1111 63 0 25232 0
vsize: 101180
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 29840 0 0 0 102931 84 0 0 25 0 1 0 764224860 103866368 24382 4294967295 134512640 134714540 3221221792 3221220276 1077378674 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25358 24382 1111 63 0 25295 0
vsize: 101432
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 29840 0 0 0 103931 84 0 0 25 0 1 0 764224860 103866368 24382 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25358 24382 1111 63 0 25295 0
vsize: 101432
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 29903 0 0 0 104931 84 0 0 25 0 1 0 764224860 104124416 24445 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25421 24445 1111 63 0 25358 0
vsize: 101684
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 30028 0 0 0 105931 84 0 0 25 0 1 0 764224860 104640512 24570 4294967295 134512640 134714540 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25547 24570 1111 63 0 25484 0
vsize: 102188
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 30028 0 0 0 106931 84 0 0 25 0 1 0 764224860 104640512 24570 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25547 24570 1111 63 0 25484 0
vsize: 102188
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 30154 0 0 0 107931 84 0 0 25 0 1 0 764224860 105156608 24696 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25673 24696 1111 63 0 25610 0
vsize: 102692
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 30362 0 0 0 108930 85 0 0 25 0 1 0 764224860 105156608 24697 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25673 24697 1111 63 0 25610 0
vsize: 102692
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 30884 0 0 0 109929 87 0 0 25 0 1 0 764224860 106741760 25084 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26060 25084 1111 63 0 25997 0
vsize: 104240
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 31009 0 0 0 110929 87 0 0 25 0 1 0 764224860 107257856 25209 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26186 25209 1111 63 0 26123 0
vsize: 104744
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 31009 0 0 0 111929 87 0 0 25 0 1 0 764224860 107257856 25209 4294967295 134512640 134714540 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26186 25209 1111 63 0 26123 0
vsize: 104744
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 31009 0 0 0 112929 87 0 0 25 0 1 0 764224860 107257856 25209 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26186 25209 1111 63 0 26123 0
vsize: 104744
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 31135 0 0 0 113929 88 0 0 25 0 1 0 764224860 107773952 25335 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26312 25335 1111 63 0 26249 0
vsize: 105248
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 31323 0 0 0 114928 88 0 0 25 0 1 0 764224860 108544000 25523 4294967295 134512640 134714540 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26500 25523 1111 63 0 26437 0
vsize: 106000
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 31323 0 0 0 115928 88 0 0 25 0 1 0 764224860 108544000 25523 4294967295 134512640 134714540 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26500 25523 1111 63 0 26437 0
vsize: 106000
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 31449 0 0 0 116929 89 0 0 25 0 1 0 764224860 109060096 25649 4294967295 134512640 134714540 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26626 25649 1111 63 0 26563 0
vsize: 106504
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 31575 0 0 0 117928 89 0 0 25 0 1 0 764224860 109572096 25775 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26751 25775 1111 63 0 26688 0
vsize: 107004
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 31575 0 0 0 118928 89 0 0 25 0 1 0 764224860 109572096 25775 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26751 25775 1111 63 0 26688 0
vsize: 107004
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 17572
Raw data (stat): 17572 (bsolo_mis) R 17571 7876 7672 0 -1 0 31638 0 0 0 119928 89 0 0 25 0 1 0 764224860 109830144 25838 4294967295 134512640 134714540 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26814 25838 1111 63 0 26751 0
vsize: 107256
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.98 0.99 1/55 17572
Raw data (stat): 17572 (bsolo_mis) Z 17571 7876 7672 0 -1 1036 31638 0 0 0 119928 94 0 0 25 0 1 0 764224860 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 1 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.1
CPU time (s): 1200.24
CPU user time (s): 1199.29
CPU system time (s): 0.947855
CPU usage (%): 100.011
Max. virtual memory (Kb): 107256
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####