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-038.opb
MD5SUM	47daf5749c77d7eb7d5d94fe2374f355
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1448
Optimality of the best value was proved	NO
Number of terms in the objective function	3002
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	3002
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	3002
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.05184
Number of variables	3002
Total number of constraints	5076
Number of constraints which are clauses	5076
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	6
Trace number 24274

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-09 07:52:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2037 boxname=wulflinc31 idbench=227 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  47daf5749c77d7eb7d5d94fe2374f355  /oldhome/oroussel/tmp/wulflinc31/normalized-ssa7552-038.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-ssa7552-038.opb
IDLAUNCH: 2037
/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:        139376 kB
Buffers:         43768 kB
Cached:         816944 kB
SwapCached:        644 kB
Active:         490120 kB
Inactive:       372964 kB
HighTotal:      131008 kB
HighFree:         1540 kB
LowTotal:       903652 kB
LowFree:        137836 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26464 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-09 08:12:16 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 2037 7 1200.26 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 3002 variables and 5076 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.95 0.98 2/54 26675
Raw data (stat): 26675 (runsolver) R 26674 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 698947493 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0011 s]
Raw data (loadavg): 0.93 0.95 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 11135 0 0 0 968 29 0 0 25 0 1 0 698947493 26054656 5421 4294967295 134512640 134714540 3221221792 3221220176 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6361 5421 1111 63 0 6298 0
vsize: 25444
[startup+20.0023 s]
Raw data (loadavg): 0.94 0.96 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 19172 0 0 0 1950 46 0 0 25 0 1 0 698947493 34983936 7618 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8541 7618 1111 63 0 8478 0
vsize: 34164
[startup+30.0021 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 21357 0 0 0 2945 52 0 0 25 0 1 0 698947493 36712448 8029 4294967295 134512640 134714540 3221221792 3221220520 134672921 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8963 8029 1111 63 0 8900 0
vsize: 35852
[startup+40.0028 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 24065 0 0 0 3937 60 0 0 25 0 1 0 698947493 40529920 8966 4294967295 134512640 134714540 3221221792 3221220592 134617624 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9895 8966 1111 63 0 9832 0
vsize: 39580
[startup+50.0031 s]
Raw data (loadavg): 0.96 0.96 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 26369 0 0 0 4934 63 0 0 25 0 1 0 698947493 43704320 9715 4294967295 134512640 134714540 3221221792 3221220256 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10670 9715 1111 63 0 10607 0
vsize: 42680
[startup+60.0037 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 27827 0 0 0 5931 66 0 0 25 0 1 0 698947493 46272512 10363 4294967295 134512640 134714540 3221221792 3221220124 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11297 10363 1111 63 0 11234 0
vsize: 45188
[startup+70.0037 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 29604 0 0 0 6927 71 0 0 25 0 1 0 698947493 48701440 10964 4294967295 134512640 134714540 3221221792 3221220296 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11890 10964 1111 63 0 11827 0
vsize: 47560
[startup+80.0039 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 30690 0 0 0 7923 74 0 0 25 0 1 0 698947493 50929664 11498 4294967295 134512640 134714540 3221221792 3221220172 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12434 11498 1111 63 0 12371 0
vsize: 49736
[startup+90.0049 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 31498 0 0 0 8921 77 0 0 25 0 1 0 698947493 52871168 11979 4294967295 134512640 134714540 3221221792 3221220348 134542983 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12908 11979 1111 63 0 12845 0
vsize: 51632
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 32441 0 0 0 9918 80 0 0 25 0 1 0 698947493 55463936 12597 4294967295 134512640 134714540 3221221792 3221220300 134543615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13541 12597 1111 63 0 13478 0
vsize: 54164
[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 35940 0 0 0 10911 88 0 0 25 0 1 0 698947493 59490304 13601 4294967295 134512640 134714540 3221221792 3221220256 134543097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14524 13601 1111 63 0 14461 0
vsize: 58096
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 36380 0 0 0 11910 89 0 0 25 0 1 0 698947493 59490304 13601 4294967295 134512640 134714540 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14524 13601 1111 63 0 14461 0
vsize: 58096
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 36380 0 0 0 12910 89 0 0 25 0 1 0 698947493 59490304 13601 4294967295 134512640 134714540 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14524 13601 1111 63 0 14461 0
vsize: 58096
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 36546 0 0 0 13910 89 0 0 25 0 1 0 698947493 60129280 13726 4294967295 134512640 134714540 3221221792 3221220544 134630789 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14680 13726 1111 63 0 14617 0
vsize: 58720
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 37467 0 0 0 14908 91 0 0 25 0 1 0 698947493 61751296 14126 4294967295 134512640 134714540 3221221792 3221220320 134542848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15076 14126 1111 63 0 15013 0
vsize: 60304
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 38046 0 0 0 15907 92 0 0 25 0 1 0 698947493 63041536 14438 4294967295 134512640 134714540 3221221792 3221220300 134543615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15391 14438 1111 63 0 15328 0
vsize: 61564
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 38809 0 0 0 16904 95 0 0 25 0 1 0 698947493 64446464 14766 4294967295 134512640 134714540 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15734 14766 1111 63 0 15671 0
vsize: 62936
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 39355 0 0 0 17903 96 0 0 25 0 1 0 698947493 65699840 15072 4294967295 134512640 134714540 3221221792 3221220176 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16040 15072 1111 63 0 15977 0
vsize: 64160
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 40129 0 0 0 18901 98 0 0 25 0 1 0 698947493 67227648 15440 4294967295 134512640 134714540 3221221792 3221220592 134617242 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16413 15440 1111 63 0 16350 0
vsize: 65652
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 40603 0 0 0 19900 100 0 0 25 0 1 0 698947493 68173824 15676 4294967295 134512640 134714540 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16644 15676 1111 63 0 16581 0
vsize: 66576
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 41179 0 0 0 20899 101 0 0 25 0 1 0 698947493 69259264 15959 4294967295 134512640 134714540 3221221792 3221220296 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16909 15959 1111 63 0 16846 0
vsize: 67636
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 41767 0 0 0 21898 102 0 0 25 0 1 0 698947493 70316032 16224 4294967295 134512640 134714540 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17167 16224 1111 63 0 17104 0
vsize: 68668
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 42490 0 0 0 22896 104 0 0 25 0 1 0 698947493 71491584 16485 4294967295 134512640 134714540 3221221792 3221220272 134524108 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17454 16485 1111 63 0 17391 0
vsize: 69816
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 42888 0 0 0 23895 105 0 0 25 0 1 0 698947493 72249344 16692 4294967295 134512640 134714540 3221221792 3221220524 134672896 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17639 16692 1111 63 0 17576 0
vsize: 70556
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 43343 0 0 0 24895 106 0 0 25 0 1 0 698947493 73297920 16922 4294967295 134512640 134714540 3221221792 3221220260 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17895 16922 1111 63 0 17832 0
vsize: 71580
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 43796 0 0 0 25894 107 0 0 25 0 1 0 698947493 74166272 17165 4294967295 134512640 134714540 3221221792 3221220252 134543760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18107 17165 1111 63 0 18044 0
vsize: 72428
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 44240 0 0 0 26893 108 0 0 25 0 1 0 698947493 75169792 17408 4294967295 134512640 134714540 3221221792 3221220304 134543707 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18352 17408 1111 63 0 18289 0
vsize: 73408
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 44656 0 0 0 27893 109 0 0 25 0 1 0 698947493 75763712 17554 4294967295 134512640 134714540 3221221792 3221220256 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18497 17554 1111 63 0 18434 0
vsize: 73988
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 44993 0 0 0 28892 110 0 0 25 0 1 0 698947493 75927552 17597 4294967295 134512640 134714540 3221221792 3221220192 134542753 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18537 17597 1111 63 0 18474 0
vsize: 74148
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 45407 0 0 0 29891 111 0 0 25 0 1 0 698947493 76906496 17833 4294967295 134512640 134714540 3221221792 3221220400 134529376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18776 17833 1111 63 0 18713 0
vsize: 75104
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 45958 0 0 0 30890 112 0 0 25 0 1 0 698947493 77758464 18039 4294967295 134512640 134714540 3221221792 3221220396 134673068 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18984 18039 1111 63 0 18921 0
vsize: 75936
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 46438 0 0 0 31889 114 0 0 25 0 1 0 698947493 78708736 18248 4294967295 134512640 134714540 3221221792 3221220296 134543606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19216 18248 1111 63 0 19153 0
vsize: 76864
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 47011 0 0 0 32888 115 0 0 25 0 1 0 698947493 80277504 18645 4294967295 134512640 134714540 3221221792 3221220172 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19599 18645 1111 63 0 19536 0
vsize: 78396
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 47552 0 0 0 33887 116 0 0 25 0 1 0 698947493 81022976 18840 4294967295 134512640 134714540 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19781 18840 1111 63 0 19718 0
vsize: 79124
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 47925 0 0 0 34886 117 0 0 25 0 1 0 698947493 81817600 19035 4294967295 134512640 134714540 3221221792 3221220272 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19975 19035 1111 63 0 19912 0
vsize: 79900
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 48297 0 0 0 35886 117 0 0 25 0 1 0 698947493 82599936 19227 4294967295 134512640 134714540 3221221792 3221220176 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20166 19227 1111 63 0 20103 0
vsize: 80664
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 48608 0 0 0 36886 117 0 0 25 0 1 0 698947493 83386368 19418 4294967295 134512640 134714540 3221221792 3221220200 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20358 19418 1111 63 0 20295 0
vsize: 81432
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 48943 0 0 0 37885 118 0 0 25 0 1 0 698947493 84164608 19605 4294967295 134512640 134714540 3221221792 3221220368 134523974 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20548 19605 1111 63 0 20485 0
vsize: 82192
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 49312 0 0 0 38885 119 0 0 25 0 1 0 698947493 84934656 19794 4294967295 134512640 134714540 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20736 19794 1111 63 0 20673 0
vsize: 82944
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 49644 0 0 0 39884 120 0 0 25 0 1 0 698947493 85704704 19978 4294967295 134512640 134714540 3221221792 3221220296 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20924 19978 1111 63 0 20861 0
vsize: 83696
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 50004 0 0 0 40884 120 0 0 25 0 1 0 698947493 86470656 20164 4294967295 134512640 134714540 3221221792 3221220520 134672913 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21111 20164 1111 63 0 21048 0
vsize: 84444
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 69239 0 0 0 41838 166 0 0 25 0 1 0 698947493 93245440 21806 4294967295 134512640 134714540 3221221792 3221220272 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22765 21806 1111 63 0 22702 0
vsize: 91060
[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 69239 0 0 0 42838 166 0 0 25 0 1 0 698947493 93245440 21806 4294967295 134512640 134714540 3221221792 3221220156 134539223 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22765 21806 1111 63 0 22702 0
vsize: 91060
[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 69239 0 0 0 43838 166 0 0 25 0 1 0 698947493 93245440 21806 4294967295 134512640 134714540 3221221792 3221220252 134543664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22765 21806 1111 63 0 22702 0
vsize: 91060
[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 69239 0 0 0 44838 166 0 0 25 0 1 0 698947493 93245440 21806 4294967295 134512640 134714540 3221221792 3221220396 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22765 21806 1111 63 0 22702 0
vsize: 91060
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 69240 0 0 0 45839 166 0 0 25 0 1 0 698947493 93245440 21807 4294967295 134512640 134714540 3221221792 3221220236 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22765 21807 1111 63 0 22702 0
vsize: 91060
[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 69240 0 0 0 46839 166 0 0 25 0 1 0 698947493 93245440 21807 4294967295 134512640 134714540 3221221792 3221220236 134536784 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22765 21807 1111 63 0 22702 0
vsize: 91060
[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 69241 0 0 0 47839 166 0 0 25 0 1 0 698947493 93245440 21808 4294967295 134512640 134714540 3221221792 3221220156 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22765 21808 1111 63 0 22702 0
vsize: 91060
[startup+490.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 69241 0 0 0 48839 166 0 0 25 0 1 0 698947493 93245440 21808 4294967295 134512640 134714540 3221221792 3221220320 134528665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22765 21808 1111 63 0 22702 0
vsize: 91060
[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 69271 0 0 0 49839 167 0 0 25 0 1 0 698947493 93245440 21832 4294967295 134512640 134714540 3221221792 3221220172 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22765 21832 1111 63 0 22702 0
vsize: 91060
[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 70532 0 0 0 50837 169 0 0 25 0 1 0 698947493 93831168 21971 4294967295 134512640 134714540 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22908 21971 1111 63 0 22845 0
vsize: 91632
[startup+520.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 70928 0 0 0 51837 169 0 0 25 0 1 0 698947493 94191616 22063 4294967295 134512640 134714540 3221221792 3221220156 134539223 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22996 22063 1111 63 0 22933 0
vsize: 91984
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 71930 0 0 0 52835 171 0 0 25 0 1 0 698947493 95072256 22249 4294967295 134512640 134714540 3221221792 3221220432 134594970 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23211 22249 1111 63 0 23148 0
vsize: 92844
[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 74475 0 0 0 53830 177 0 0 25 0 1 0 698947493 95703040 22426 4294967295 134512640 134714540 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23365 22426 1111 63 0 23302 0
vsize: 93460
[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 74952 0 0 0 54829 178 0 0 25 0 1 0 698947493 96243712 22535 4294967295 134512640 134714540 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23497 22535 1111 63 0 23434 0
vsize: 93988
[startup+560.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 75963 0 0 0 55827 180 0 0 25 0 1 0 698947493 96423936 22597 4294967295 134512640 134714540 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23541 22597 1111 63 0 23478 0
vsize: 94164
[startup+570.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 85328 0 0 0 56803 204 0 0 25 0 1 0 698947493 99962880 23473 4294967295 134512640 134714540 3221221792 3221220416 134529401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24405 23473 1111 63 0 24342 0
vsize: 97620
[startup+580.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 89383 0 0 0 57793 214 0 0 25 0 1 0 698947493 100569088 23621 4294967295 134512640 134714540 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24553 23621 1111 63 0 24490 0
vsize: 98212
[startup+590.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 89383 0 0 0 58793 214 0 0 25 0 1 0 698947493 100569088 23621 4294967295 134512640 134714540 3221221792 3221220256 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24553 23621 1111 63 0 24490 0
vsize: 98212
[startup+600.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 89383 0 0 0 59793 214 0 0 25 0 1 0 698947493 100569088 23621 4294967295 134512640 134714540 3221221792 3221220184 134543589 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24553 23621 1111 63 0 24490 0
vsize: 98212
[startup+610.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 89383 0 0 0 60794 214 0 0 25 0 1 0 698947493 100569088 23621 4294967295 134512640 134714540 3221221792 3221220368 134523959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24553 23621 1111 63 0 24490 0
vsize: 98212
[startup+620.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 89383 0 0 0 61794 214 0 0 25 0 1 0 698947493 100569088 23621 4294967295 134512640 134714540 3221221792 3221220320 134528665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24553 23621 1111 63 0 24490 0
vsize: 98212
[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 90481 0 0 0 62792 216 0 0 25 0 1 0 698947493 103297024 24288 4294967295 134512640 134714540 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25219 24288 1111 63 0 25156 0
vsize: 100876
[startup+640.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 90481 0 0 0 63792 216 0 0 25 0 1 0 698947493 103297024 24288 4294967295 134512640 134714540 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25219 24288 1111 63 0 25156 0
vsize: 100876
[startup+650.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 90481 0 0 0 64792 216 0 0 25 0 1 0 698947493 103297024 24288 4294967295 134512640 134714540 3221221792 3221220256 134542365 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25219 24288 1111 63 0 25156 0
vsize: 100876
[startup+660.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 90481 0 0 0 65792 216 0 0 25 0 1 0 698947493 103297024 24288 4294967295 134512640 134714540 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25219 24288 1111 63 0 25156 0
vsize: 100876
[startup+670.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 90482 0 0 0 66793 216 0 0 25 0 1 0 698947493 103297024 24289 4294967295 134512640 134714540 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25219 24289 1111 63 0 25156 0
vsize: 100876
[startup+680.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 90482 0 0 0 67793 217 0 0 25 0 1 0 698947493 103297024 24289 4294967295 134512640 134714540 3221221792 3221220172 134539329 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25219 24289 1111 63 0 25156 0
vsize: 100876
[startup+690.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 90539 0 0 0 68793 217 0 0 25 0 1 0 698947493 103575552 24340 4294967295 134512640 134714540 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25287 24340 1111 63 0 25224 0
vsize: 101148
[startup+700.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 90901 0 0 0 69792 218 0 0 25 0 1 0 698947493 103915520 24434 4294967295 134512640 134714540 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25370 24434 1111 63 0 25307 0
vsize: 101480
[startup+710.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 91919 0 0 0 70790 220 0 0 25 0 1 0 698947493 103944192 24447 4294967295 134512640 134714540 3221221792 3221220208 134543684 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25377 24447 1111 63 0 25314 0
vsize: 101508
[startup+720.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 92784 0 0 0 71788 222 0 0 25 0 1 0 698947493 104779776 24632 4294967295 134512640 134714540 3221221792 3221220320 134523365 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25581 24632 1111 63 0 25518 0
vsize: 102324
[startup+730.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 93806 0 0 0 72786 224 0 0 25 0 1 0 698947493 105181184 24730 4294967295 134512640 134714540 3221221792 3221220368 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25679 24730 1111 63 0 25616 0
vsize: 102716
[startup+740.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 94834 0 0 0 73783 227 0 0 25 0 1 0 698947493 105275392 24753 4294967295 134512640 134714540 3221221792 3221220156 134539243 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25702 24753 1111 63 0 25639 0
vsize: 102808
[startup+750.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 95257 0 0 0 74782 228 0 0 25 0 1 0 698947493 105648128 24844 4294967295 134512640 134714540 3221221792 3221220248 134543665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25793 24844 1111 63 0 25730 0
vsize: 103172
[startup+760.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 95628 0 0 0 75782 229 0 0 25 0 1 0 698947493 106520576 25049 4294967295 134512640 134714540 3221221792 3221220272 134539374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26006 25049 1111 63 0 25943 0
vsize: 104024
[startup+770.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 95924 0 0 0 76782 229 0 0 25 0 1 0 698947493 106844160 25137 4294967295 134512640 134714540 3221221792 3221220368 134535837 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26085 25137 1111 63 0 26022 0
vsize: 104340
[startup+780.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 96342 0 0 0 77781 230 0 0 25 0 1 0 698947493 107159552 25225 4294967295 134512640 134714540 3221221792 3221220272 134543110 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26162 25225 1111 63 0 26099 0
vsize: 104648
[startup+790.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 97260 0 0 0 78779 232 0 0 25 0 1 0 698947493 107175936 25238 4294967295 134512640 134714540 3221221792 3221220172 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26166 25238 1111 63 0 26103 0
vsize: 104664
[startup+800.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 98537 0 0 0 79777 235 0 0 25 0 1 0 698947493 107835392 25398 4294967295 134512640 134714540 3221221792 3221220320 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26327 25398 1111 63 0 26264 0
vsize: 105308
[startup+810.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 98662 0 0 0 80777 235 0 0 25 0 1 0 698947493 107864064 25407 4294967295 134512640 134714540 3221221792 3221220176 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26334 25407 1111 63 0 26271 0
vsize: 105336
[startup+820.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 99822 0 0 0 81774 238 0 0 25 0 1 0 698947493 108584960 25565 4294967295 134512640 134714540 3221221792 3221220520 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26510 25565 1111 63 0 26447 0
vsize: 106040
[startup+830.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 100268 0 0 0 82773 239 0 0 25 0 1 0 698947493 108769280 25608 4294967295 134512640 134714540 3221221792 3221220272 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26555 25608 1111 63 0 26492 0
vsize: 106220
[startup+840.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 100927 0 0 0 83771 241 0 0 25 0 1 0 698947493 109330432 25765 4294967295 134512640 134714540 3221221792 3221220408 134543793 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26692 25765 1111 63 0 26629 0
vsize: 106768
[startup+850.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 100927 0 0 0 84772 241 0 0 25 0 1 0 698947493 109330432 25765 4294967295 134512640 134714540 3221221792 3221220272 134543110 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26692 25765 1111 63 0 26629 0
vsize: 106768
[startup+860.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 102696 0 0 0 85768 245 0 0 25 0 1 0 698947493 109617152 25833 4294967295 134512640 134714540 3221221792 3221220304 134542934 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26762 25833 1111 63 0 26699 0
vsize: 107048
[startup+870.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 116969 0 0 0 86733 280 0 0 25 0 1 0 698947493 111218688 26226 4294967295 134512640 134714540 3221221792 3221220304 134543681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27153 26226 1111 63 0 27090 0
vsize: 108612
[startup+880.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 116969 0 0 0 87733 280 0 0 25 0 1 0 698947493 111218688 26226 4294967295 134512640 134714540 3221221792 3221220280 134543634 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27153 26226 1111 63 0 27090 0
vsize: 108612
[startup+890.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 116969 0 0 0 88734 280 0 0 25 0 1 0 698947493 111218688 26226 4294967295 134512640 134714540 3221221792 3221220256 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27153 26226 1111 63 0 27090 0
vsize: 108612
[startup+900.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 116969 0 0 0 89734 280 0 0 25 0 1 0 698947493 111218688 26226 4294967295 134512640 134714540 3221221792 3221220432 134594970 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27153 26226 1111 63 0 27090 0
vsize: 108612
[startup+910.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 117026 0 0 0 90734 280 0 0 25 0 1 0 698947493 111497216 26271 4294967295 134512640 134714540 3221221792 3221220236 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27221 26271 1111 63 0 27158 0
vsize: 108884
[startup+920.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 117356 0 0 0 91733 281 0 0 25 0 1 0 698947493 111779840 26347 4294967295 134512640 134714540 3221221792 3221220284 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27290 26347 1111 63 0 27227 0
vsize: 109160
[startup+930.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 117800 0 0 0 92733 281 0 0 25 0 1 0 698947493 112046080 26423 4294967295 134512640 134714540 3221221792 3221220296 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27355 26423 1111 63 0 27292 0
vsize: 109420
[startup+940.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 118242 0 0 0 93732 282 0 0 25 0 1 0 698947493 112373760 26501 4294967295 134512640 134714540 3221221792 3221220520 134672913 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27435 26501 1111 63 0 27372 0
vsize: 109740
[startup+950.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 118683 0 0 0 94731 283 0 0 25 0 1 0 698947493 112672768 26576 4294967295 134512640 134714540 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27508 26576 1111 63 0 27445 0
vsize: 110032
[startup+960.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 119003 0 0 0 95731 284 0 0 25 0 1 0 698947493 112562176 26528 4294967295 134512640 134714540 3221221792 3221220196 134542744 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27481 26528 1111 63 0 27418 0
vsize: 109924
[startup+970.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 119446 0 0 0 96730 285 0 0 25 0 1 0 698947493 112865280 26603 4294967295 134512640 134714540 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27555 26603 1111 63 0 27492 0
vsize: 110220
[startup+980.039 s]
Raw data (loadavg): 0.99 0.97 0.98 3/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 119885 0 0 0 97729 286 0 0 25 0 1 0 698947493 113172480 26676 4294967295 134512640 134714540 3221221792 3221220176 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27630 26676 1111 63 0 27567 0
vsize: 110520
[startup+990.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 120324 0 0 0 98728 287 0 0 25 0 1 0 698947493 113467392 26749 4294967295 134512640 134714540 3221221792 3221220224 134523171 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27702 26749 1111 63 0 27639 0
vsize: 110808
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 120757 0 0 0 99727 288 0 0 25 0 1 0 698947493 114049024 26907 4294967295 134512640 134714540 3221221792 3221220320 134542848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27844 26907 1111 63 0 27781 0
vsize: 111376
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 121197 0 0 0 100726 289 0 0 25 0 1 0 698947493 114343936 26980 4294967295 134512640 134714540 3221221792 3221220284 134543615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27916 26980 1111 63 0 27853 0
vsize: 111664
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 122294 0 0 0 101724 291 0 0 25 0 1 0 698947493 114634752 27051 4294967295 134512640 134714540 3221221792 3221220592 134617634 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27987 27051 1111 63 0 27924 0
vsize: 111948
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 122638 0 0 0 102724 292 0 0 25 0 1 0 698947493 114495488 27029 4294967295 134512640 134714540 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27953 27029 1111 63 0 27890 0
vsize: 111812
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 123074 0 0 0 103723 293 0 0 25 0 1 0 698947493 115036160 27161 4294967295 134512640 134714540 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28085 27161 1111 63 0 28022 0
vsize: 112340
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 123331 0 0 0 104722 294 0 0 25 0 1 0 698947493 115458048 27258 4294967295 134512640 134714540 3221221792 3221220272 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28188 27258 1111 63 0 28125 0
vsize: 112752
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 123762 0 0 0 105722 295 0 0 25 0 1 0 698947493 115744768 27325 4294967295 134512640 134714540 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28258 27325 1111 63 0 28195 0
vsize: 113032
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 124288 0 0 0 106720 296 0 0 25 0 1 0 698947493 116436992 27485 4294967295 134512640 134714540 3221221792 3221220416 134529097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28427 27485 1111 63 0 28364 0
vsize: 113708
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 124713 0 0 0 107719 298 0 0 25 0 1 0 698947493 116613120 27546 4294967295 134512640 134714540 3221221792 3221220176 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28470 27546 1111 63 0 28407 0
vsize: 113880
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 125121 0 0 0 108718 299 0 0 25 0 1 0 698947493 116785152 27588 4294967295 134512640 134714540 3221221792 3221220176 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28512 27588 1111 63 0 28449 0
vsize: 114048
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 125548 0 0 0 109718 300 0 0 25 0 1 0 698947493 117456896 27741 4294967295 134512640 134714540 3221221792 3221220236 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28676 27741 1111 63 0 28613 0
vsize: 114704
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 126690 0 0 0 110715 302 0 0 25 0 1 0 698947493 117915648 27804 4294967295 134512640 134714540 3221221792 3221220524 134672920 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28788 27804 1111 63 0 28725 0
vsize: 115152
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 127027 0 0 0 111715 303 0 0 25 0 1 0 698947493 118108160 27862 4294967295 134512640 134714540 3221221792 3221220172 134539329 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28835 27862 1111 63 0 28772 0
vsize: 115340
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 127161 0 0 0 112715 303 0 0 25 0 1 0 698947493 118394880 27927 4294967295 134512640 134714540 3221221792 3221220368 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28905 27927 1111 63 0 28842 0
vsize: 115620
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 127529 0 0 0 113715 303 0 0 25 0 1 0 698947493 118673408 27983 4294967295 134512640 134714540 3221221792 3221220368 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28973 27983 1111 63 0 28910 0
vsize: 115892
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 127833 0 0 0 114714 304 0 0 25 0 1 0 698947493 118341632 27919 4294967295 134512640 134714540 3221221792 3221220320 134528677 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28892 27919 1111 63 0 28829 0
vsize: 115568
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 128256 0 0 0 115713 305 0 0 25 0 1 0 698947493 118996992 28068 4294967295 134512640 134714540 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29052 28068 1111 63 0 28989 0
vsize: 116208
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 129340 0 0 0 116711 307 0 0 25 0 1 0 698947493 119234560 28125 4294967295 134512640 134714540 3221221792 3221220416 134528953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29110 28125 1111 63 0 29047 0
vsize: 116440
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 129672 0 0 0 117711 308 0 0 25 0 1 0 698947493 119046144 28091 4294967295 134512640 134714540 3221221792 3221220176 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29064 28091 1111 63 0 29001 0
vsize: 116256
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 130091 0 0 0 118710 309 0 0 25 0 1 0 698947493 119713792 28237 4294967295 134512640 134714540 3221221792 3221220408 134543804 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29227 28237 1111 63 0 29164 0
vsize: 116908
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26675
Raw data (stat): 26675 (bsolo_mis) R 26674 7876 7672 0 -1 0 130512 0 0 0 119709 310 0 0 25 0 1 0 698947493 119934976 28292 4294967295 134512640 134714540 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29281 28292 1111 63 0 29218 0
vsize: 117124
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.97 0.98 1/54 26675
Raw data (stat): 26675 (bsolo_mis) Z 26674 7876 7672 0 -1 1036 130512 0 0 0 119709 315 0 0 25 0 1 0 698947493 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.26
CPU user time (s): 1197.1
CPU system time (s): 3.15652
CPU usage (%): 100.013
Max. virtual memory (Kb): 117124
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####