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/manquinho/primes-dimacs-cnf/normalized-ssa7552-158.opb
MD5SUM	d607820afcd431f46941921bd45aecde
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1327
Optimality of the best value was proved	NO
Number of terms in the objective function	2726
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	2726
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2726
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.06784
Number of variables	2726
Total number of constraints	4397
Number of constraints which are clauses	4397
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	5
Trace number 24279

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-09 09:38:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2046 boxname=wulflinc31 idbench=228 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  d607820afcd431f46941921bd45aecde  /oldhome/oroussel/tmp/wulflinc31/normalized-ssa7552-158.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-ssa7552-158.opb
IDLAUNCH: 2046
/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:        139528 kB
Buffers:         43884 kB
Cached:         816760 kB
SwapCached:        644 kB
Active:         490300 kB
Inactive:       372680 kB
HighTotal:      131008 kB
HighFree:         1764 kB
LowTotal:       903652 kB
LowFree:        137764 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26440 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-09 09:59:01 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 2046 7 1200.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 2726 variables and 4397 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.91 0.97 0.98 2/54 27148
Raw data (stat): 27148 (runsolver) R 27147 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 699588108 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 0 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0004 s]
Raw data (loadavg): 0.93 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 40087 0 0 0 898 99 0 0 25 0 1 0 699588108 16809984 3149 4294967295 134512640 134714540 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4104 3149 1111 63 0 4041 0
vsize: 16416
[startup+20.0015 s]
Raw data (loadavg): 0.94 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 64431 0 0 0 1839 157 0 0 25 0 1 0 699588108 25763840 5354 4294967295 134512640 134714540 3221221792 3221220320 134542851 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6290 5354 1111 63 0 6227 0
vsize: 25160
[startup+30.0025 s]
Raw data (loadavg): 0.95 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 100934 0 0 0 2757 240 0 0 25 0 1 0 699588108 30416896 6471 4294967295 134512640 134714540 3221221792 3221220304 134543674 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7426 6471 1111 63 0 7363 0
vsize: 29704
[startup+40.0031 s]
Raw data (loadavg): 0.95 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 111556 0 0 0 3733 264 0 0 25 0 1 0 699588108 34111488 7381 4294967295 134512640 134714540 3221221792 3221220272 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8328 7381 1111 63 0 8265 0
vsize: 33312
[startup+50.0043 s]
Raw data (loadavg): 0.96 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 123164 0 0 0 4708 289 0 0 25 0 1 0 699588108 37781504 8290 4294967295 134512640 134714540 3221221792 3221220416 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9224 8290 1111 63 0 9161 0
vsize: 36896
[startup+60.004 s]
Raw data (loadavg): 0.97 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 136347 0 0 0 5678 319 0 0 25 0 1 0 699588108 40484864 8929 4294967295 134512640 134714540 3221221792 3221220272 134539518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9884 8929 1111 63 0 9821 0
vsize: 39536
[startup+70.0049 s]
Raw data (loadavg): 0.97 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 147249 0 0 0 6653 345 0 0 25 0 1 0 699588108 42856448 9538 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10498 9543 1111 63 0 10435 0
vsize: 41852
[startup+80.0052 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 160126 0 0 0 7626 372 0 0 25 0 1 0 699588108 45604864 10195 4294967295 134512640 134714540 3221221792 3221220236 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11134 10195 1111 63 0 11071 0
vsize: 44536
[startup+90.0061 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 164878 0 0 0 8616 382 0 0 25 0 1 0 699588108 47751168 10703 4294967295 134512640 134714540 3221221792 3221220408 134543785 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11658 10703 1111 63 0 11595 0
vsize: 46632
[startup+100.007 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 168316 0 0 0 9608 390 0 0 25 0 1 0 699588108 50315264 11329 4294967295 134512640 134714540 3221221792 3221220592 134617242 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12284 11329 1111 63 0 12221 0
vsize: 49136
[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 171595 0 0 0 10600 398 0 0 25 0 1 0 699588108 50647040 11442 4294967295 134512640 134714540 3221221792 3221220124 134535952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12365 11442 1111 63 0 12302 0
vsize: 49460
[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 197903 0 0 0 11539 459 0 0 25 0 1 0 699588108 53383168 12105 4294967295 134512640 134714540 3221221792 3221220304 134543684 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13033 12105 1111 63 0 12970 0
vsize: 52132
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 199482 0 0 0 12536 463 0 0 25 0 1 0 699588108 53383168 12108 4294967295 134512640 134714540 3221221792 3221220272 134539516 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13033 12108 1111 63 0 12970 0
vsize: 52132
[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 204211 0 0 0 13526 473 0 0 25 0 1 0 699588108 55259136 12511 4294967295 134512640 134714540 3221221792 3221220320 134542848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13491 12511 1111 63 0 13428 0
vsize: 53964
[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 209791 0 0 0 14513 487 0 0 25 0 1 0 699588108 55558144 12597 4294967295 134512640 134714540 3221221792 3221220424 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13564 12597 1111 63 0 13501 0
vsize: 54256
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 214133 0 0 0 15503 497 0 0 25 0 1 0 699588108 58265600 13249 4294967295 134512640 134714540 3221221792 3221220236 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14225 13249 1111 63 0 14162 0
vsize: 56900
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 217911 0 0 0 16494 505 0 0 25 0 1 0 699588108 59486208 13563 4294967295 134512640 134714540 3221221792 3221220368 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14523 13563 1111 63 0 14460 0
vsize: 58092
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 220456 0 0 0 17490 510 0 0 25 0 1 0 699588108 59711488 13611 4294967295 134512640 134714540 3221221792 3221220200 134542291 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14578 13611 1111 63 0 14515 0
vsize: 58312
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 222774 0 0 0 18485 515 0 0 25 0 1 0 699588108 60960768 13915 4294967295 134512640 134714540 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14883 13915 1111 63 0 14820 0
vsize: 59532
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 229388 0 0 0 19473 528 0 0 25 0 1 0 699588108 62242816 14227 4294967295 134512640 134714540 3221221792 3221220272 134536643 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15196 14227 1111 63 0 15133 0
vsize: 60784
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 233298 0 0 0 20463 537 0 0 25 0 1 0 699588108 64606208 14797 4294967295 134512640 134714540 3221221792 3221220404 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15773 14797 1111 63 0 15710 0
vsize: 63092
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 235302 0 0 0 21459 542 0 0 25 0 1 0 699588108 65081344 14946 4294967295 134512640 134714540 3221221792 3221220272 134524108 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15889 14946 1111 63 0 15826 0
vsize: 63556
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 240581 0 0 0 22447 554 0 0 25 0 1 0 699588108 66957312 15399 4294967295 134512640 134714540 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16347 15399 1111 63 0 16284 0
vsize: 65388
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 242914 0 0 0 23442 559 0 0 25 0 1 0 699588108 67919872 15607 4294967295 134512640 134714540 3221221792 3221220272 134539390 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16582 15607 1111 63 0 16519 0
vsize: 66328
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 246092 0 0 0 24434 567 0 0 25 0 1 0 699588108 69181440 15940 4294967295 134512640 134714540 3221221792 3221220416 134594954 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16890 15940 1111 63 0 16827 0
vsize: 67560
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 246425 0 0 0 25433 568 0 0 25 0 1 0 699588108 69791744 16076 4294967295 134512640 134714540 3221221792 3221220368 134523971 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17039 16076 1111 63 0 16976 0
vsize: 68156
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 247972 0 0 0 26430 571 0 0 25 0 1 0 699588108 69521408 16004 4294967295 134512640 134714540 3221221792 3221220272 134536635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16973 16004 1111 63 0 16910 0
vsize: 67892
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 255437 0 0 0 27414 587 0 0 25 0 1 0 699588108 71852032 16569 4294967295 134512640 134714540 3221221792 3221220304 134542863 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17542 16569 1111 63 0 17479 0
vsize: 70168
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 257545 0 0 0 28410 592 0 0 25 0 1 0 699588108 71286784 16464 4294967295 134512640 134714540 3221221792 3221220164 134539212 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17404 16464 1111 63 0 17341 0
vsize: 69616
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 259360 0 0 0 29406 596 0 0 25 0 1 0 699588108 73543680 16991 4294967295 134512640 134714540 3221221792 3221220368 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17955 16991 1111 63 0 17892 0
vsize: 71820
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 260823 0 0 0 30403 599 0 0 25 0 1 0 699588108 73687040 17045 4294967295 134512640 134714540 3221221792 3221220216 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18024 17052 1111 63 0 17961 0
vsize: 71960
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 265019 0 0 0 31393 609 0 0 25 0 1 0 699588108 74326016 17191 4294967295 134512640 134714540 3221221792 3221220144 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18146 17191 1111 63 0 18083 0
vsize: 72584
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 268401 0 0 0 32386 617 0 0 25 0 1 0 699588108 75808768 17569 4294967295 134512640 134714540 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18508 17569 1111 63 0 18445 0
vsize: 74032
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 270235 0 0 0 33382 621 0 0 25 0 1 0 699588108 76636160 17771 4294967295 134512640 134714540 3221221792 3221220320 134528674 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18710 17771 1111 63 0 18647 0
vsize: 74840
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 272178 0 0 0 34378 625 0 0 25 0 1 0 699588108 77135872 17892 4294967295 134512640 134714540 3221221792 3221220272 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18832 17892 1111 63 0 18769 0
vsize: 75328
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 273967 0 0 0 35374 629 0 0 25 0 1 0 699588108 77983744 18101 4294967295 134512640 134714540 3221221792 3221220172 134539332 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19039 18101 1111 63 0 18976 0
vsize: 76156
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 276005 0 0 0 36369 634 0 0 25 0 1 0 699588108 79982592 18562 4294967295 134512640 134714540 3221221792 3221220408 134543793 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19527 18562 1111 63 0 19464 0
vsize: 78108
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 276753 0 0 0 37368 636 0 0 25 0 1 0 699588108 80703488 18744 4294967295 134512640 134714540 3221221792 3221220256 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19703 18744 1111 63 0 19640 0
vsize: 78812
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 277917 0 0 0 38365 639 0 0 25 0 1 0 699588108 80134144 18627 4294967295 134512640 134714540 3221221792 3221220296 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19564 18627 1111 63 0 19501 0
vsize: 78256
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 279719 0 0 0 39362 642 0 0 25 0 1 0 699588108 82259968 19115 4294967295 134512640 134714540 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20083 19115 1111 63 0 20020 0
vsize: 80332
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 296841 0 0 0 40321 684 0 0 25 0 1 0 699588108 83193856 19370 4294967295 134512640 134714540 3221221792 3221220124 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20311 19370 1111 63 0 20248 0
vsize: 81244
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 297832 0 0 0 41318 686 0 0 25 0 1 0 699588108 83902464 19543 4294967295 134512640 134714540 3221221792 3221220520 134672941 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20484 19543 1111 63 0 20421 0
vsize: 81936
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 299050 0 0 0 42315 690 0 0 25 0 1 0 699588108 84463616 19661 4294967295 134512640 134714540 3221221792 3221220272 134543073 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20621 19661 1111 63 0 20558 0
vsize: 82484
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 300123 0 0 0 43313 692 0 0 25 0 1 0 699588108 85655552 19958 4294967295 134512640 134714540 3221221792 3221220320 134528617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20912 19958 1111 63 0 20849 0
vsize: 83648
[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 300358 0 0 0 44313 692 0 0 25 0 1 0 699588108 85942272 20037 4294967295 134512640 134714540 3221221792 3221220216 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20982 20044 1111 63 0 20919 0
vsize: 83928
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 301114 0 0 0 45311 695 0 0 25 0 1 0 699588108 86507520 20167 4294967295 134512640 134714540 3221221792 3221220408 134543793 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21120 20167 1111 63 0 21057 0
vsize: 84480
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 301546 0 0 0 46310 695 0 0 25 0 1 0 699588108 87236608 20349 4294967295 134512640 134714540 3221221792 3221220208 134538953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21298 20349 1111 63 0 21235 0
vsize: 85192
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 302317 0 0 0 47309 697 0 0 25 0 1 0 699588108 87658496 20457 4294967295 134512640 134714540 3221221792 3221220368 134523974 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21401 20457 1111 63 0 21338 0
vsize: 85604
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 303830 0 0 0 48306 700 0 0 25 0 1 0 699588108 86925312 20288 4294967295 134512640 134714540 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21222 20288 1111 63 0 21159 0
vsize: 84888
[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 311053 0 0 0 49289 717 0 0 25 0 1 0 699588108 88891392 20766 4294967295 134512640 134714540 3221221792 3221220284 134543616 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21702 20766 1111 63 0 21639 0
vsize: 86808
[startup+510.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 312930 0 0 0 50285 722 0 0 25 0 1 0 699588108 89604096 20935 4294967295 134512640 134714540 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21876 20935 1111 63 0 21813 0
vsize: 87504
[startup+520.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 314033 0 0 0 51282 724 0 0 25 0 1 0 699588108 90165248 21048 4294967295 134512640 134714540 3221221792 3221220404 134529372 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22013 21048 1111 63 0 21950 0
vsize: 88052
[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 320877 0 0 0 52265 741 0 0 25 0 1 0 699588108 89595904 20941 4294967295 134512640 134714540 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21874 20941 1111 63 0 21811 0
vsize: 87496
[startup+540.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 322485 0 0 0 53261 746 0 0 25 0 1 0 699588108 89784320 20988 4294967295 134512640 134714540 3221221792 3221220156 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21920 20988 1111 63 0 21857 0
vsize: 87680
[startup+550.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 325832 0 0 0 54254 753 0 0 25 0 1 0 699588108 91676672 21439 4294967295 134512640 134714540 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22382 21439 1111 63 0 22319 0
vsize: 89528
[startup+560.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 342098 0 0 0 55219 788 0 0 25 0 1 0 699588108 92438528 21636 4294967295 134512640 134714540 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22568 21636 1111 63 0 22505 0
vsize: 90272
[startup+570.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 350700 0 0 0 56200 808 0 0 25 0 1 0 699588108 93327360 21840 4294967295 134512640 134714540 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22785 21840 1111 63 0 22722 0
vsize: 91140
[startup+580.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 351084 0 0 0 57199 809 0 0 25 0 1 0 699588108 93184000 21818 4294967295 134512640 134714540 3221221792 3221220124 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22750 21818 1111 63 0 22687 0
vsize: 91000
[startup+590.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 352150 0 0 0 58196 812 0 0 25 0 1 0 699588108 94318592 22090 4294967295 134512640 134714540 3221221792 3221220272 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23027 22090 1111 63 0 22964 0
vsize: 92108
[startup+600.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 353803 0 0 0 59193 815 0 0 25 0 1 0 699588108 94760960 22193 4294967295 134512640 134714540 3221221792 3221220520 134672906 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23135 22193 1111 63 0 23072 0
vsize: 92540
[startup+610.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 357985 0 0 0 60184 824 0 0 25 0 1 0 699588108 93896704 21979 4294967295 134512640 134714540 3221221792 3221220172 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22924 21979 1111 63 0 22861 0
vsize: 91696
[startup+620.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 361171 0 0 0 61178 831 0 0 25 0 1 0 699588108 95850496 22457 4294967295 134512640 134714540 3221221792 3221220272 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23401 22457 1111 63 0 23338 0
vsize: 93604
[startup+630.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 362275 0 0 0 62176 833 0 0 25 0 1 0 699588108 95244288 22322 4294967295 134512640 134714540 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23253 22322 1111 63 0 23190 0
vsize: 93012
[startup+640.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 363727 0 0 0 63173 836 0 0 25 0 1 0 699588108 96665600 22648 4294967295 134512640 134714540 3221221792 3221220408 134536894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23600 22648 1111 63 0 23537 0
vsize: 94400
[startup+650.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 366576 0 0 0 64166 843 0 0 25 0 1 0 699588108 95805440 22460 4294967295 134512640 134714540 3221221792 3221220176 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23390 22460 1111 63 0 23327 0
vsize: 93560
[startup+660.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 371085 0 0 0 65157 852 0 0 25 0 1 0 699588108 97771520 22910 4294967295 134512640 134714540 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23870 22910 1111 63 0 23807 0
vsize: 95480
[startup+670.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 372544 0 0 0 66155 854 0 0 25 0 1 0 699588108 96632832 22662 4294967295 134512640 134714540 3221221792 3221220144 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23592 22662 1111 63 0 23529 0
vsize: 94368
[startup+680.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 374253 0 0 0 67152 858 0 0 25 0 1 0 699588108 98525184 23103 4294967295 134512640 134714540 3221221792 3221220520 134672913 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24054 23103 1111 63 0 23991 0
vsize: 96216
[startup+690.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 374658 0 0 0 68151 858 0 0 25 0 1 0 699588108 98889728 23189 4294967295 134512640 134714540 3221221792 3221220416 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24143 23189 1111 63 0 24080 0
vsize: 96572
[startup+700.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 376268 0 0 0 69148 862 0 0 25 0 1 0 699588108 98603008 23143 4294967295 134512640 134714540 3221221792 3221220200 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24073 23143 1111 63 0 24010 0
vsize: 96292
[startup+710.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 378372 0 0 0 70143 867 0 0 25 0 1 0 699588108 99880960 23437 4294967295 134512640 134714540 3221221792 3221220296 134543589 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24385 23437 1111 63 0 24322 0
vsize: 97540
[startup+720.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 381806 0 0 0 71136 874 0 0 25 0 1 0 699588108 100257792 23527 4294967295 134512640 134714540 3221221792 3221220368 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24477 23527 1111 63 0 24414 0
vsize: 97908
[startup+730.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 384787 0 0 0 72130 880 0 0 25 0 1 0 699588108 99348480 23327 4294967295 134512640 134714540 3221221792 3221220320 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24255 23327 1111 63 0 24192 0
vsize: 97020
[startup+740.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 386144 0 0 0 73127 883 0 0 25 0 1 0 699588108 99532800 23372 4294967295 134512640 134714540 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24300 23372 1111 63 0 24237 0
vsize: 97200
[startup+750.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 389215 0 0 0 74120 891 0 0 25 0 1 0 699588108 101326848 23807 4294967295 134512640 134714540 3221221792 3221220236 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24738 23807 1111 63 0 24675 0
vsize: 98952
[startup+760.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 390539 0 0 0 75117 894 0 0 25 0 1 0 699588108 101675008 23887 4294967295 134512640 134714540 3221221792 3221220404 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24823 23887 1111 63 0 24760 0
vsize: 99292
[startup+770.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 393797 0 0 0 76110 901 0 0 25 0 1 0 699588108 101249024 23759 4294967295 134512640 134714540 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24719 23764 1111 63 0 24656 0
vsize: 98876
[startup+780.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 398886 0 0 0 77099 913 0 0 25 0 1 0 699588108 102502400 24078 4294967295 134512640 134714540 3221221792 3221220216 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25025 24083 1111 63 0 24962 0
vsize: 100100
[startup+790.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 399543 0 0 0 78097 915 0 0 25 0 1 0 699588108 102359040 24062 4294967295 134512640 134714540 3221221792 3221220256 134536655 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24990 24062 1111 63 0 24927 0
vsize: 99960
[startup+800.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 400322 0 0 0 79095 917 0 0 25 0 1 0 699588108 103202816 24265 4294967295 134512640 134714540 3221221792 3221220592 134617242 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25196 24265 1111 63 0 25133 0
vsize: 100784
[startup+810.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 402991 0 0 0 80088 924 0 0 25 0 1 0 699588108 103493632 24324 4294967295 134512640 134714540 3221221792 3221220344 134543665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25267 24324 1111 63 0 25204 0
vsize: 101068
[startup+820.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 405718 0 0 0 81082 930 0 0 25 0 1 0 699588108 103927808 24414 4294967295 134512640 134714540 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25373 24414 1111 63 0 25310 0
vsize: 101492
[startup+830.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 406993 0 0 0 82079 933 0 0 25 0 1 0 699588108 104161280 24498 4294967295 134512640 134714540 3221221792 3221220236 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25430 24498 1111 63 0 25367 0
vsize: 101720
[startup+840.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 408024 0 0 0 83076 936 0 0 25 0 1 0 699588108 103309312 24295 4294967295 134512640 134714540 3221221792 3221220156 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25222 24295 1111 63 0 25159 0
vsize: 100888
[startup+850.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 413085 0 0 0 84064 948 0 0 25 0 1 0 699588108 104726528 24623 4294967295 134512640 134714540 3221221792 3221220408 134543804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25568 24623 1111 63 0 25505 0
vsize: 102272
[startup+860.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 436288 0 0 0 85013 999 0 0 25 0 1 0 699588108 105586688 24824 4294967295 134512640 134714540 3221221792 3221220300 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25778 24824 1111 63 0 25715 0
vsize: 103112
[startup+870.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 436718 0 0 0 86012 1000 0 0 25 0 1 0 699588108 105869312 24915 4294967295 134512640 134714540 3221221792 3221220272 134539518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25847 24915 1111 63 0 25784 0
vsize: 103388
[startup+880.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 437474 0 0 0 87010 1003 0 0 25 0 1 0 699588108 106151936 24987 4294967295 134512640 134714540 3221221792 3221220408 134536894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25916 24987 1111 63 0 25853 0
vsize: 103664
[startup+890.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 438539 0 0 0 88008 1005 0 0 25 0 1 0 699588108 106577920 25073 4294967295 134512640 134714540 3221221792 3221220272 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26020 25073 1111 63 0 25957 0
vsize: 104080
[startup+900.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 439292 0 0 0 89006 1007 0 0 25 0 1 0 699588108 106868736 25144 4294967295 134512640 134714540 3221221792 3221220304 134543740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26091 25144 1111 63 0 26028 0
vsize: 104364
[startup+910.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 440144 0 0 0 90004 1009 0 0 25 0 1 0 699588108 107151360 25229 4294967295 134512640 134714540 3221221792 3221220296 134543606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26160 25229 1111 63 0 26097 0
vsize: 104640
[startup+920.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 441300 0 0 0 91001 1012 0 0 25 0 1 0 699588108 107438080 25296 4294967295 134512640 134714540 3221221792 3221220272 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26230 25296 1111 63 0 26167 0
vsize: 104920
[startup+930.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 442376 0 0 0 91999 1015 0 0 25 0 1 0 699588108 107810816 25379 4294967295 134512640 134714540 3221221792 3221220272 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26321 25379 1111 63 0 26258 0
vsize: 105284
[startup+940.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 442651 0 0 0 92998 1016 0 0 25 0 1 0 699588108 108101632 25446 4294967295 134512640 134714540 3221221792 3221220272 134543110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26392 25446 1111 63 0 26329 0
vsize: 105568
[startup+950.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 443225 0 0 0 93997 1017 0 0 25 0 1 0 699588108 108388352 25529 4294967295 134512640 134714540 3221221792 3221220368 134523886 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26462 25529 1111 63 0 26399 0
vsize: 105848
[startup+960.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 444057 0 0 0 94995 1020 0 0 25 0 1 0 699588108 108687360 25597 4294967295 134512640 134714540 3221221792 3221220520 134672906 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26535 25597 1111 63 0 26472 0
vsize: 106140
[startup+970.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 444787 0 0 0 95993 1022 0 0 25 0 1 0 699588108 107835392 25402 4294967295 134512640 134714540 3221221792 3221220176 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26327 25402 1111 63 0 26264 0
vsize: 105308
[startup+980.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 445762 0 0 0 96991 1024 0 0 25 0 1 0 699588108 108343296 25526 4294967295 134512640 134714540 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26451 25526 1111 63 0 26388 0
vsize: 105804
[startup+990.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 449034 0 0 0 97984 1031 0 0 25 0 1 0 699588108 108343296 25526 4294967295 134512640 134714540 3221221792 3221220124 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26451 25526 1111 63 0 26388 0
vsize: 105804
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 450324 0 0 0 98981 1034 0 0 25 0 1 0 699588108 109899776 25879 4294967295 134512640 134714540 3221221792 3221220236 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26831 25879 1111 63 0 26768 0
vsize: 107324
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 451082 0 0 0 99979 1037 0 0 25 0 1 0 699588108 110108672 25957 4294967295 134512640 134714540 3221221792 3221220404 134529106 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26882 25957 1111 63 0 26819 0
vsize: 107528
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 451268 0 0 0 100978 1037 0 0 25 0 1 0 699588108 110460928 26017 4294967295 134512640 134714540 3221221792 3221220396 134523848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26968 26017 1111 63 0 26905 0
vsize: 107872
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 451739 0 0 0 101977 1039 0 0 25 0 1 0 699588108 110743552 26094 4294967295 134512640 134714540 3221221792 3221220520 134672913 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27037 26094 1111 63 0 26974 0
vsize: 108148
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 452249 0 0 0 102976 1040 0 0 25 0 1 0 699588108 110034944 25940 4294967295 134512640 134714540 3221221792 3221220176 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26864 25940 1111 63 0 26801 0
vsize: 107456
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 453489 0 0 0 103973 1043 0 0 25 0 1 0 699588108 110612480 26066 4294967295 134512640 134714540 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27005 26066 1111 63 0 26942 0
vsize: 108020
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 454839 0 0 0 104970 1046 0 0 25 0 1 0 699588108 112189440 26442 4294967295 134512640 134714540 3221221792 3221220412 134543776 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27390 26442 1111 63 0 27327 0
vsize: 109560
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 456180 0 0 0 105967 1049 0 0 25 0 1 0 699588108 112365568 26504 4294967295 134512640 134714540 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27433 26504 1111 63 0 27370 0
vsize: 109732
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 457605 0 0 0 106964 1052 0 0 25 0 1 0 699588108 112758784 26573 4294967295 134512640 134714540 3221221792 3221220520 134672911 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27529 26573 1111 63 0 27466 0
vsize: 110116
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 459777 0 0 0 107960 1057 0 0 25 0 1 0 699588108 111923200 26402 4294967295 134512640 134714540 3221221792 3221220252 134523381 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27325 26402 1111 63 0 27262 0
vsize: 109300
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 461008 0 0 0 108957 1060 0 0 25 0 1 0 699588108 113340416 26738 4294967295 134512640 134714540 3221221792 3221220236 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27671 26738 1111 63 0 27608 0
vsize: 110684
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 462427 0 0 0 109954 1063 0 0 25 0 1 0 699588108 113586176 26795 4294967295 134512640 134714540 3221221792 3221220320 134542898 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27731 26795 1111 63 0 27668 0
vsize: 110924
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 463484 0 0 0 110951 1066 0 0 25 0 1 0 699588108 112275456 26488 4294967295 134512640 134714540 3221221792 3221220176 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27411 26488 1111 63 0 27348 0
vsize: 109644
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 464116 0 0 0 111950 1067 0 0 25 0 1 0 699588108 113512448 26790 4294967295 134512640 134714540 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27713 26790 1111 63 0 27650 0
vsize: 110852
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 465898 0 0 0 112946 1071 0 0 25 0 1 0 699588108 114221056 26950 4294967295 134512640 134714540 3221221792 3221220308 134542962 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27886 26950 1111 63 0 27823 0
vsize: 111544
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 466484 0 0 0 113945 1073 0 0 25 0 1 0 699588108 113512448 26790 4294967295 134512640 134714540 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27713 26790 1111 63 0 27650 0
vsize: 110852
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 467431 0 0 0 114943 1075 0 0 25 0 1 0 699588108 113512448 26790 4294967295 134512640 134714540 3221221792 3221220204 134542288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27713 26790 1111 63 0 27650 0
vsize: 110852
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 468614 0 0 0 115940 1079 0 0 25 0 1 0 699588108 114937856 27114 4294967295 134512640 134714540 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28061 27114 1111 63 0 27998 0
vsize: 112244
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 469618 0 0 0 116937 1081 0 0 25 0 1 0 699588108 113537024 26796 4294967295 134512640 134714540 3221221792 3221220216 134542822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27719 26796 1111 63 0 27656 0
vsize: 110876
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 471035 0 0 0 117934 1085 0 0 25 0 1 0 699588108 113754112 26849 4294967295 134512640 134714540 3221221792 3221220320 134528665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27772 26849 1111 63 0 27709 0
vsize: 111088
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 27148
Raw data (stat): 27148 (bsolo_mis) R 27147 7876 7672 0 -1 0 472452 0 0 0 118931 1088 0 0 25 0 1 0 699588108 115515392 27247 4294967295 134512640 134714540 3221221792 3221220272 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28202 27247 1111 63 0 28139 0
vsize: 112808
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.97 0.98 1/54 27148
Raw data (stat): 27148 (bsolo_mis) Z 27147 7876 7672 0 -1 1036 472452 0 0 0 118931 1093 0 0 25 0 1 0 699588108 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.1
CPU time (s): 1200.25
CPU user time (s): 1189.32
CPU system time (s): 10.9303
CPU usage (%): 100.013
Max. virtual memory (Kb): 112808
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####