PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/een/normalized-fast0507.opb
MD5SUM	bc1a4f1c9875fd4d3273e85dcf5e871e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	311
Optimality of the best value was proved	NO
Number of terms in the objective function	63009
Biggest coefficient in the objective function	2
Number of bits for the biggest coefficient in the objective function	2
Sum of the numbers in the objective function	122425
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	2
Number of bits of the biggest number in a constraint	2
Biggest sum of numbers in a constraint	122425
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.19
Number of variables	63001
Total number of constraints	489
Number of constraints which are clauses	489
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	2
Maximum length of a constraint	7753
Trace number 25069

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-16 11:30:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5008 boxname=wulflinc31 idbench=386 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  bc1a4f1c9875fd4d3273e85dcf5e871e  /oldhome/oroussel/tmp/wulflinc31/normalized-fast0507.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-fast0507.opb
IDLAUNCH: 5008
/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:        788548 kB
Buffers:         49040 kB
Cached:         174428 kB
SwapCached:       1952 kB
Active:         182664 kB
Inactive:        44028 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        788296 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            13772 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-16 11:50:05 (client local time) WITH STATUS 0 IN 1200.21 SECONDS
stats: 5008 7 1200.21 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 63009 variables and 489 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.77 0.95 0.98 2/55 12723
Raw data (stat): 12723 (runsolver) R 12722 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 760741533 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0011 s]
Raw data (loadavg): 0.81 0.95 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 582 0 0 0 993 3 0 0 25 0 1 0 760741533 15470592 559 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3777 559 1111 63 0 3714 0
vsize: 15108
[startup+20.002 s]
Raw data (loadavg): 0.84 0.95 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 706 0 0 0 1993 3 0 0 25 0 1 0 760741533 16011264 683 4294967295 134512640 134714540 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3909 683 1111 63 0 3846 0
vsize: 15636
[startup+30.0018 s]
Raw data (loadavg): 0.86 0.95 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 826 0 0 0 2993 4 0 0 25 0 1 0 760741533 16551936 803 4294967295 134512640 134714540 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4041 803 1111 63 0 3978 0
vsize: 16164
[startup+40.0018 s]
Raw data (loadavg): 0.88 0.95 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 958 0 0 0 3993 4 0 0 25 0 1 0 760741533 17092608 935 4294967295 134512640 134714540 3221221792 3221220020 1077414357 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4173 935 1111 63 0 4110 0
vsize: 16692
[startup+50.0017 s]
Raw data (loadavg): 0.90 0.95 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1098 0 0 0 4992 5 0 0 25 0 1 0 760741533 17571840 1075 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4290 1075 1111 63 0 4227 0
vsize: 17160
[startup+60.0017 s]
Raw data (loadavg): 0.91 0.96 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1244 0 0 0 5992 5 0 0 25 0 1 0 760741533 18300928 1221 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4468 1221 1111 63 0 4405 0
vsize: 17872
[startup+70.0016 s]
Raw data (loadavg): 0.93 0.96 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1375 0 0 0 6991 6 0 0 25 0 1 0 760741533 18739200 1352 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4575 1352 1111 63 0 4512 0
vsize: 18300
[startup+80.0015 s]
Raw data (loadavg): 0.94 0.96 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1506 0 0 0 7991 6 0 0 25 0 1 0 760741533 19296256 1483 4294967295 134512640 134714540 3221221792 3221220020 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4711 1483 1111 63 0 4648 0
vsize: 18844
[startup+90.0014 s]
Raw data (loadavg): 0.95 0.96 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1640 0 0 0 8991 6 0 0 25 0 1 0 760741533 19816448 1617 4294967295 134512640 134714540 3221221792 3221220020 1077414376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4838 1617 1111 63 0 4775 0
vsize: 19352
[startup+100.001 s]
Raw data (loadavg): 0.95 0.96 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1776 0 0 0 9991 7 0 0 25 0 1 0 760741533 20348928 1753 4294967295 134512640 134714540 3221221792 3221220020 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4968 1753 1111 63 0 4905 0
vsize: 19872
[startup+110.002 s]
Raw data (loadavg): 0.96 0.96 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1926 0 0 0 10991 7 0 0 25 0 1 0 760741533 20946944 1903 4294967295 134512640 134714540 3221221792 3221220020 1077414383 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5114 1903 1111 63 0 5051 0
vsize: 20456
[startup+120.002 s]
Raw data (loadavg): 0.97 0.96 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 2221 0 0 0 11990 8 0 0 25 0 1 0 760741533 21729280 2068 4294967295 134512640 134714540 3221221792 3221220020 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5338 2068 1111 63 0 5275 0
vsize: 21220
[startup+130.002 s]
Raw data (loadavg): 0.97 0.96 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 3758 0 0 0 12984 14 0 0 25 0 1 0 760741533 22462464 2218 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5484 2218 1111 63 0 5421 0
vsize: 21936
[startup+140.003 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 7112 0 0 0 13975 23 0 0 25 0 1 0 760741533 22945792 2372 4294967295 134512640 134714540 3221221792 3221219892 1077782939 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5602 2372 1111 63 0 5539 0
vsize: 22408
[startup+150.003 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 12375 0 0 0 14962 36 0 0 25 0 1 0 760741533 23547904 2522 4294967295 134512640 134714540 3221221792 3221220020 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5749 2522 1111 63 0 5686 0
vsize: 22996
[startup+160.004 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 19536 0 0 0 15947 52 0 0 25 0 1 0 760741533 24199168 2684 4294967295 134512640 134714540 3221221792 3221220020 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5908 2684 1111 63 0 5845 0
vsize: 23632
[startup+170.004 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 28753 0 0 0 16928 71 0 0 25 0 1 0 760741533 24797184 2834 4294967295 134512640 134714540 3221221792 3221220020 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6054 2834 1111 63 0 5991 0
vsize: 24216
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 40202 0 0 0 17905 94 0 0 25 0 1 0 760741533 25440256 2995 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6211 2995 1111 63 0 6148 0
vsize: 24844
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 53940 0 0 0 18878 121 0 0 25 0 1 0 760741533 26120192 3164 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6377 3164 1111 63 0 6314 0
vsize: 25508
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 70062 0 0 0 19848 152 0 0 25 0 1 0 760741533 26849280 3345 4294967295 134512640 134714540 3221221792 3221219892 1077782939 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6555 3345 1111 63 0 6492 0
vsize: 26220
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 89267 0 0 0 20811 189 0 0 25 0 1 0 760741533 27881472 3537 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6807 3537 1111 63 0 6744 0
vsize: 27228
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 142767 0 0 0 21714 286 0 0 25 0 1 0 760741533 28565504 3696 4294967295 134512640 134714540 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6940 3666 1111 63 0 6877 0
vsize: 27896
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 208043 0 0 0 22598 402 0 0 25 0 1 0 760741533 29257728 3838 4294967295 134512640 134714540 3221221792 3221219884 1077387418 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7143 3844 1111 63 0 7080 0
vsize: 28572
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 277175 0 0 0 23467 533 0 0 25 0 1 0 760741533 29949952 4018 4294967295 134512640 134714540 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7312 4024 1111 63 0 7249 0
vsize: 29248
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 351309 0 0 0 24328 672 0 0 25 0 1 0 760741533 30478336 4184 4294967295 134512640 134714540 3221221792 3221220020 1077414433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7441 4184 1111 63 0 7378 0
vsize: 29764
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 431332 0 0 0 25184 817 0 0 25 0 1 0 760741533 31469568 4389 4294967295 134512640 134714540 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7683 4395 1111 63 0 7620 0
vsize: 30732
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 516080 0 0 0 26027 973 0 0 25 0 1 0 760741533 31981568 4547 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7808 4547 1111 63 0 7745 0
vsize: 31232
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 606327 0 0 0 26859 1142 0 0 25 0 1 0 760741533 32854016 4742 4294967295 134512640 134714540 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8021 4747 1111 63 0 7958 0
vsize: 32084
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 700932 0 0 0 27688 1313 0 0 25 0 1 0 760741533 33484800 4919 4294967295 134512640 134714540 3221221792 3221220448 134527930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8175 4919 1111 63 0 8112 0
vsize: 32700
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 806783 0 0 0 28496 1505 0 0 25 0 1 0 760741533 34304000 5118 4294967295 134512640 134714540 3221221792 3221220020 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8375 5118 1111 63 0 8312 0
vsize: 33500
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 921849 0 0 0 29280 1722 0 0 25 0 1 0 760741533 35340288 5356 4294967295 134512640 134714540 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8628 5361 1111 63 0 8565 0
vsize: 34512
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1044888 0 0 0 30046 1956 0 0 25 0 1 0 760741533 36171776 5591 4294967295 134512640 134714540 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8777 5537 1111 63 0 8714 0
vsize: 35324
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1177101 0 0 0 30794 2208 0 0 25 0 1 0 760741533 37134336 5792 4294967295 134512640 134714540 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9066 5797 1111 63 0 9003 0
vsize: 36264
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1320361 0 0 0 31531 2471 0 0 25 0 1 0 760741533 37732352 5984 4294967295 134512640 134714540 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9212 5984 1111 63 0 9149 0
vsize: 36848
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1475458 0 0 0 32236 2766 0 0 25 0 1 0 760741533 38936576 6273 4294967295 134512640 134714540 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9506 6279 1111 63 0 9443 0
vsize: 38024
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1519709 0 0 0 33150 2852 0 0 25 0 1 0 760741533 50528256 9108 4294967295 134512640 134714540 3221221792 3221220068 1077414374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12336 9108 1111 63 0 12273 0
vsize: 49344
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1521762 0 0 0 34146 2856 0 0 25 0 1 0 760741533 59142144 11161 4294967295 134512640 134714540 3221221792 3221220068 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14439 11161 1111 63 0 14376 0
vsize: 57756
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1522985 0 0 0 35142 2861 0 0 25 0 1 0 760741533 64356352 12384 4294967295 134512640 134714540 3221221792 3221220068 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15712 12384 1111 63 0 15649 0
vsize: 62848
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1523737 0 0 0 36140 2862 0 0 25 0 1 0 760741533 67784704 13121 4294967295 134512640 134714540 3221221792 3221220068 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16549 13121 1111 63 0 16486 0
vsize: 66196
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 37127 2876 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220236 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 38127 2876 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220236 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 39126 2877 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220256 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 40126 2877 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220256 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 41126 2877 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220236 134535911 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 42126 2877 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220256 134543097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 43126 2878 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220236 134536788 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 44126 2878 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220236 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 45126 2878 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220252 134536748 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 46126 2878 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220264 134543020 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+500.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 47126 2878 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220236 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 48126 2878 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220236 134535925 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 49126 2878 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220272 134543043 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 50126 2878 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 51127 2878 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220544 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 52127 2878 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220236 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 53127 2878 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220236 134535903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 54127 2878 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220524 134672949 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 55127 2878 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220272 134543008 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+590.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 56127 2878 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220272 134543008 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+600.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 57127 2878 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220236 134536814 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+610.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 58128 2878 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220236 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+620.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 59128 2879 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220236 134535978 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+630.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 60128 2879 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220236 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+640.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 61128 2879 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220236 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+650.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 62128 2879 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220236 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+660.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 63128 2879 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220256 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 64129 2879 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220256 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+680.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 65129 2879 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220236 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+690.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 66129 2879 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220260 134543025 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+700.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 67129 2879 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220236 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+710.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 68129 2879 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220236 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+720.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 69129 2879 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220256 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+730.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 70130 2879 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220236 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+740.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 71130 2879 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220544 134630798 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+750.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 72130 2879 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220256 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+760.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 73130 2879 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220236 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+770.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 74130 2879 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220544 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+780.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 75130 2879 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220236 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+790.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 76131 2879 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220236 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+800.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 77131 2879 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+810.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 78131 2879 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220236 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+820.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 79131 2879 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220256 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+830.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 80131 2879 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220236 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+840.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 81131 2879 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220236 134535976 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+850.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 82132 2879 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220236 134535903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+860.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 83132 2879 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+870.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 84132 2879 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220256 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+880.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 85132 2879 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220236 134535928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+890.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 86132 2879 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220256 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+900.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528705 0 0 0 87132 2879 0 0 25 0 1 0 760741533 79663104 17930 4294967295 134512640 134714540 3221221792 3221220256 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17930 1111 63 0 19386 0
vsize: 77796
[startup+910.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528706 0 0 0 88133 2879 0 0 25 0 1 0 760741533 79663104 17931 4294967295 134512640 134714540 3221221792 3221220256 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17931 1111 63 0 19386 0
vsize: 77796
[startup+920.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528706 0 0 0 89133 2879 0 0 25 0 1 0 760741533 79663104 17931 4294967295 134512640 134714540 3221221792 3221220236 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17931 1111 63 0 19386 0
vsize: 77796
[startup+930.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528706 0 0 0 90133 2879 0 0 25 0 1 0 760741533 79663104 17931 4294967295 134512640 134714540 3221221792 3221220236 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17931 1111 63 0 19386 0
vsize: 77796
[startup+940.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528706 0 0 0 91133 2879 0 0 25 0 1 0 760741533 79663104 17931 4294967295 134512640 134714540 3221221792 3221220256 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17931 1111 63 0 19386 0
vsize: 77796
[startup+950.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528706 0 0 0 92133 2880 0 0 25 0 1 0 760741533 79663104 17931 4294967295 134512640 134714540 3221221792 3221220244 134535880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17931 1111 63 0 19386 0
vsize: 77796
[startup+960.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528706 0 0 0 93133 2880 0 0 25 0 1 0 760741533 79663104 17931 4294967295 134512640 134714540 3221221792 3221220272 134543008 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17931 1111 63 0 19386 0
vsize: 77796
[startup+970.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528706 0 0 0 94133 2880 0 0 25 0 1 0 760741533 79663104 17931 4294967295 134512640 134714540 3221221792 3221220544 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17931 1111 63 0 19386 0
vsize: 77796
[startup+980.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528706 0 0 0 95133 2880 0 0 25 0 1 0 760741533 79663104 17931 4294967295 134512640 134714540 3221221792 3221220544 134630798 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17931 1111 63 0 19386 0
vsize: 77796
[startup+990.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528706 0 0 0 96133 2880 0 0 25 0 1 0 760741533 79663104 17931 4294967295 134512640 134714540 3221221792 3221220236 134535903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17931 1111 63 0 19386 0
vsize: 77796
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528706 0 0 0 97133 2880 0 0 25 0 1 0 760741533 79663104 17931 4294967295 134512640 134714540 3221221792 3221220236 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17931 1111 63 0 19386 0
vsize: 77796
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528706 0 0 0 98133 2880 0 0 25 0 1 0 760741533 79663104 17931 4294967295 134512640 134714540 3221221792 3221220236 134535903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17931 1111 63 0 19386 0
vsize: 77796
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528706 0 0 0 99133 2880 0 0 25 0 1 0 760741533 79663104 17931 4294967295 134512640 134714540 3221221792 3221220236 134535903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17931 1111 63 0 19386 0
vsize: 77796
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528706 0 0 0 100134 2880 0 0 25 0 1 0 760741533 79663104 17931 4294967295 134512640 134714540 3221221792 3221220236 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17931 1111 63 0 19386 0
vsize: 77796
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528707 0 0 0 101134 2880 0 0 25 0 1 0 760741533 79663104 17932 4294967295 134512640 134714540 3221221792 3221220260 134543025 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17932 1111 63 0 19386 0
vsize: 77796
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528709 0 0 0 102134 2880 0 0 25 0 1 0 760741533 79663104 17934 4294967295 134512640 134714540 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17934 1111 63 0 19386 0
vsize: 77796
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528709 0 0 0 103134 2880 0 0 25 0 1 0 760741533 79663104 17934 4294967295 134512640 134714540 3221221792 3221220520 134672932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17934 1111 63 0 19386 0
vsize: 77796
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528709 0 0 0 104134 2880 0 0 25 0 1 0 760741533 79663104 17934 4294967295 134512640 134714540 3221221792 3221220260 134543092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17934 1111 63 0 19386 0
vsize: 77796
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528709 0 0 0 105134 2880 0 0 25 0 1 0 760741533 79663104 17934 4294967295 134512640 134714540 3221221792 3221220236 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17934 1111 63 0 19386 0
vsize: 77796
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528709 0 0 0 106134 2880 0 0 25 0 1 0 760741533 79663104 17934 4294967295 134512640 134714540 3221221792 3221220236 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17934 1111 63 0 19386 0
vsize: 77796
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528709 0 0 0 107135 2880 0 0 25 0 1 0 760741533 79663104 17934 4294967295 134512640 134714540 3221221792 3221220236 134535928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17934 1111 63 0 19386 0
vsize: 77796
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528710 0 0 0 108135 2880 0 0 25 0 1 0 760741533 79663104 17935 4294967295 134512640 134714540 3221221792 3221220260 134543092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17935 1111 63 0 19386 0
vsize: 77796
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528711 0 0 0 109135 2880 0 0 25 0 1 0 760741533 79663104 17936 4294967295 134512640 134714540 3221221792 3221220236 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17936 1111 63 0 19386 0
vsize: 77796
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528711 0 0 0 110135 2880 0 0 25 0 1 0 760741533 79663104 17936 4294967295 134512640 134714540 3221221792 3221220260 134543025 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17936 1111 63 0 19386 0
vsize: 77796
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528711 0 0 0 111135 2880 0 0 25 0 1 0 760741533 79663104 17936 4294967295 134512640 134714540 3221221792 3221220256 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17936 1111 63 0 19386 0
vsize: 77796
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528711 0 0 0 112135 2880 0 0 25 0 1 0 760741533 79663104 17936 4294967295 134512640 134714540 3221221792 3221220256 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17936 1111 63 0 19386 0
vsize: 77796
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528713 0 0 0 113136 2880 0 0 25 0 1 0 760741533 79663104 17938 4294967295 134512640 134714540 3221221792 3221220256 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17938 1111 63 0 19386 0
vsize: 77796
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528713 0 0 0 114136 2880 0 0 25 0 1 0 760741533 79663104 17938 4294967295 134512640 134714540 3221221792 3221220236 134535973 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17938 1111 63 0 19386 0
vsize: 77796
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528713 0 0 0 115136 2880 0 0 25 0 1 0 760741533 79663104 17938 4294967295 134512640 134714540 3221221792 3221220236 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17938 1111 63 0 19386 0
vsize: 77796
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528713 0 0 0 116136 2880 0 0 25 0 1 0 760741533 79663104 17938 4294967295 134512640 134714540 3221221792 3221220236 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17938 1111 63 0 19386 0
vsize: 77796
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 12723
Raw data (stat): 12723 (bsolo_mis) R 12722 7876 7672 0 -1 0 1528713 0 0 0 117136 2880 0 0 25 0 1 0 760741533 79663104 17938 4294967295 134512640 134714540 3221221792 3221220544 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17938 1111 63 0 19386 0
vsize: 77796
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 12723
Raw data (stat): 12723 (bsolo_mis) Z 12722 7876 7672 0 -1 1036 1528713 0 0 0 117136 2884 0 0 25 0 1 0 760741533 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.06
CPU time (s): 1200.21
CPU user time (s): 1171.36
CPU system time (s): 28.8426
CPU usage (%): 100.012
Max. virtual memory (Kb): 77796
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####