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/synthesis-ptl-cmos-circuits/normalized-mux.opb
MD5SUM	fa7153262db792d01bec14f5a651af5b
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	872
Optimality of the best value was proved	NO
Number of terms in the objective function	232
Biggest coefficient in the objective function	61
Number of bits for the biggest coefficient in the objective function	6
Sum of the numbers in the objective function	9597
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	61
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	9597
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.332949
Number of variables	232
Total number of constraints	527
Number of constraints which are clauses	527
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	27
Trace number 24409

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-10 03:52:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2280 boxname=wulflinc31 idbench=254 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  fa7153262db792d01bec14f5a651af5b  /oldhome/oroussel/tmp/wulflinc31/normalized-mux.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mux.opb
IDLAUNCH: 2280
/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:        241612 kB
Buffers:         45752 kB
Cached:         713300 kB
SwapCached:        644 kB
Active:         364624 kB
Inactive:       396764 kB
HighTotal:      131008 kB
HighFree:        23604 kB
LowTotal:       903652 kB
LowFree:        218008 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            25932 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-10 04:12:31 (client local time) WITH STATUS 0 IN 1200.32 SECONDS
stats: 2280 7 1200.32 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 232 variables and 527 constraints.
c After prepocess the problem consists of 230 variables and 491 constraints.
c preprocess terminated 0.159 s
c Initial Lower Bound: 634
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 1965 @ 0.195
c NEW SOLUTION FOUND: 1932 @ 0.196
c NEW SOLUTION FOUND: 1900 @ 0.197
c NEW SOLUTION FOUND: 1893 @ 0.205
c NEW SOLUTION FOUND: 1868 @ 0.21
c NEW SOLUTION FOUND: 1860 @ 0.214
c NEW SOLUTION FOUND: 1858 @ 0.215
c NEW SOLUTION FOUND: 1835 @ 0.217
c NEW SOLUTION FOUND: 1810 @ 0.22
c NEW SOLUTION FOUND: 1794 @ 0.223
c NEW SOLUTION FOUND: 1777 @ 0.23
c NEW SOLUTION FOUND: 1752 @ 0.233
c NEW SOLUTION FOUND: 1735 @ 0.248
c NEW SOLUTION FOUND: 1710 @ 0.25
c NEW SOLUTION FOUND: 1709 @ 0.266
c NEW SOLUTION FOUND: 1684 @ 0.269
c NEW SOLUTION FOUND: 1668 @ 0.276
c NEW SOLUTION FOUND: 1651 @ 0.288
c NEW SOLUTION FOUND: 1626 @ 0.292
c NEW SOLUTION FOUND: 1617 @ 0.309
c NEW SOLUTION FOUND: 1601 @ 0.312
c NEW SOLUTION FOUND: 1587 @ 0.337
c NEW SOLUTION FOUND: 1578 @ 0.341
c NEW SOLUTION FOUND: 1562 @ 0.342
c NEW SOLUTION FOUND: 1548 @ 0.407
c NEW SOLUTION FOUND: 1539 @ 0.415
c NEW SOLUTION FOUND: 1523 @ 0.527
c NEW SOLUTION FOUND: 1514 @ 0.544
c NEW SOLUTION FOUND: 1489 @ 0.714
c NEW SOLUTION FOUND: 1487 @ 1.827
c NEW SOLUTION FOUND: 1480 @ 1.897
c NEW SOLUTION FOUND: 1464 @ 1.965
c NEW SOLUTION FOUND: 1457 @ 2.306
c NEW SOLUTION FOUND: 1455 @ 2.977
c NEW SOLUTION FOUND: 1437 @ 2.995
c NEW SOLUTION FOUND: 1421 @ 3.08
c NEW SOLUTION FOUND: 1414 @ 3.291
c NEW SOLUTION FOUND: 1404 @ 3.7
c NEW SOLUTION FOUND: 1388 @ 3.787
c NEW SOLUTION FOUND: 1381 @ 3.984
c NEW SOLUTION FOUND: 1379 @ 9.638
c NEW SOLUTION FOUND: 1361 @ 9.645
c NEW SOLUTION FOUND: 1345 @ 9.736
c NEW SOLUTION FOUND: 1338 @ 10.036
c NEW SOLUTION FOUND: 1328 @ 10.536
c NEW SOLUTION FOUND: 1312 @ 10.551
c NEW SOLUTION FOUND: 1305 @ 10.705
c NEW SOLUTION FOUND: 1303 @ 18.768
c NEW SOLUTION FOUND: 1296 @ 18.792
c NEW SOLUTION FOUND: 1280 @ 18.801
c NEW SOLUTION FOUND: 1271 @ 20.034
c NEW SOLUTION FOUND: 1264 @ 20.057
c NEW SOLUTION FOUND: 1248 @ 20.082
c NEW SOLUTION FOUND: 1239 @ 21.508
c NEW SOLUTION FOUND: 1232 @ 21.521
c NEW SOLUTION FOUND: 1216 @ 21.541
c NEW SOLUTION FOUND: 1208 @ 25.061
c NEW SOLUTION FOUND: 1199 @ 84.465
c NEW SOLUTION FOUND: 1183 @ 84.614
c NEW SOLUTION FOUND: 1182 @ 86.945
c NEW SOLUTION FOUND: 1166 @ 87.056
c NEW SOLUTION FOUND: 1150 @ 87.201
c NEW SOLUTION FOUND: 1149 @ 143.41
c NEW SOLUTION FOUND: 1133 @ 143.537
c NEW SOLUTION FOUND: 1125 @ 146.405
c NEW SOLUTION FOUND: 1116 @ 146.784
c NEW SOLUTION FOUND: 1100 @ 146.946
c NEW SOLUTION FOUND: 1093 @ 155.89
c NEW SOLUTION FOUND: 1084 @ 155.994
c NEW SOLUTION FOUND: 1068 @ 156.138
c NEW SOLUTION FOUND: 1060 @ 169.932
c NEW SOLUTION FOUND: 1059 @ 457.753
c NEW SOLUTION FOUND: 1051 @ 465.421
c NEW SOLUTION FOUND: 1044 @ 465.425
c NEW SOLUTION FOUND: 1043 @ 465.427
c NEW SOLUTION FOUND: 1042 @ 634.048
c NEW SOLUTION FOUND: 1034 @ 634.662
c NEW SOLUTION FOUND: 1026 @ 634.88
c NEW SOLUTION FOUND: 1018 @ 638.435
c NEW SOLUTION FOUND: 1011 @ 638.878
c NEW SOLUTION FOUND: 1010 @ 638.88
c NEW SOLUTION FOUND: 1004 @ 643.937
c NEW SOLUTION FOUND: 1002 @ 644.027
c NEW SOLUTION FOUND: 979 @ 644.123
c NEW SOLUTION FOUND: 977 @ 689.468
c NEW SOLUTION FOUND: 954 @ 689.785
c NEW SOLUTION FOUND: 946 @ 888.501
c NEW SOLUTION FOUND: 938 @ 970.617
c NEW SOLUTION FOUND: 936 @ 978.201
c NEW SOLUTION FOUND: 913 @ 978.596
#### 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.81 0.94 0.90 2/54 7141
Raw data (stat): 7141 (runsolver) R 7140 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 706149786 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 0 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0007 s]
Raw data (loadavg): 0.84 0.94 0.90 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 6434 0 0 0 976 20 0 0 25 0 1 0 706149786 30556160 6369 4294967295 134512640 134714540 3221221792 3221220072 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7460 6370 1111 63 0 7397 0
vsize: 29840
[startup+20.0002 s]
Raw data (loadavg): 0.86 0.94 0.90 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 9138 0 0 0 1968 28 0 0 25 0 1 0 706149786 41455616 9069 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10121 9069 1111 63 0 10058 0
vsize: 40484
[startup+30.0011 s]
Raw data (loadavg): 0.88 0.94 0.90 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 14431 0 0 0 2954 42 0 0 25 0 1 0 706149786 63668224 14275 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15544 14275 1111 63 0 15481 0
vsize: 62176
[startup+40.0014 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 14715 0 0 0 3953 43 0 0 25 0 1 0 706149786 64806912 14555 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15822 14555 1111 63 0 15759 0
vsize: 63288
[startup+50.002 s]
Raw data (loadavg): 0.92 0.95 0.90 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 14715 0 0 0 4953 43 0 0 25 0 1 0 706149786 64806912 14555 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15822 14555 1111 63 0 15759 0
vsize: 63288
[startup+60.0019 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 14798 0 0 0 5953 44 0 0 25 0 1 0 706149786 65212416 14638 4294967295 134512640 134714540 3221221792 3221220504 134543174 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15921 14638 1111 63 0 15858 0
vsize: 63684
[startup+70.0022 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 15016 0 0 0 6952 45 0 0 25 0 1 0 706149786 66027520 14856 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16120 14856 1111 63 0 16057 0
vsize: 64480
[startup+80.0028 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 16186 0 0 0 7948 49 0 0 25 0 1 0 706149786 70660096 16021 4294967295 134512640 134714540 3221221792 3221220348 134536754 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17251 16021 1111 63 0 17188 0
vsize: 69004
[startup+90.003 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 20804 0 0 0 8937 60 0 0 25 0 1 0 706149786 90824704 20497 4294967295 134512640 134714540 3221221792 3221220584 134542416 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22174 20497 1111 63 0 22111 0
vsize: 88696
[startup+100.004 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 20952 0 0 0 9936 61 0 0 25 0 1 0 706149786 91430912 20636 4294967295 134512640 134714540 3221221792 3221220584 134542409 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22322 20636 1111 63 0 22259 0
vsize: 89288
[startup+110.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 21052 0 0 0 10936 62 0 0 25 0 1 0 706149786 91844608 20736 4294967295 134512640 134714540 3221221792 3221220512 134622865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22423 20736 1111 63 0 22360 0
vsize: 89692
[startup+120.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 21052 0 0 0 11936 62 0 0 25 0 1 0 706149786 91844608 20736 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22423 20736 1111 63 0 22360 0
vsize: 89692
[startup+130.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 21095 0 0 0 12935 63 0 0 25 0 1 0 706149786 91979776 20779 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22456 20779 1111 63 0 22393 0
vsize: 89824
[startup+140.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 21140 0 0 0 13934 64 0 0 25 0 1 0 706149786 92250112 20824 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22522 20824 1111 63 0 22459 0
vsize: 90088
[startup+150.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 23928 0 0 0 14926 73 0 0 25 0 1 0 706149786 103563264 23583 4294967295 134512640 134714540 3221221792 3221220504 134558477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25284 23583 1111 63 0 25221 0
vsize: 101136
[startup+160.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 27914 0 0 0 15914 84 0 0 25 0 1 0 706149786 119226368 27359 4294967295 134512640 134714540 3221221792 3221220392 134539351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29108 27359 1111 63 0 29045 0
vsize: 116432
[startup+170.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 30750 0 0 0 16907 92 0 0 25 0 1 0 706149786 130781184 30184 4294967295 134512640 134714540 3221221792 3221220608 134622477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31929 30184 1111 63 0 31866 0
vsize: 127716
[startup+180.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 31925 0 0 0 17903 96 0 0 25 0 1 0 706149786 135553024 31358 4294967295 134512640 134714540 3221221792 3221220588 134536888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33094 31358 1111 63 0 33031 0
vsize: 132376
[startup+190.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 31926 0 0 0 18903 96 0 0 25 0 1 0 706149786 135553024 31359 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33094 31359 1111 63 0 33031 0
vsize: 132376
[startup+200.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 32254 0 0 0 19902 97 0 0 25 0 1 0 706149786 136781824 31594 4294967295 134512640 134714540 3221221792 3221220584 134542419 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33394 31594 1111 63 0 33331 0
vsize: 133576
[startup+210.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 32256 0 0 0 20902 98 0 0 25 0 1 0 706149786 136781824 31596 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33394 31596 1111 63 0 33331 0
vsize: 133576
[startup+220.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 32367 0 0 0 21901 98 0 0 25 0 1 0 706149786 137187328 31706 4294967295 134512640 134714540 3221221792 3221220584 134536915 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33493 31706 1111 63 0 33430 0
vsize: 133972
[startup+230.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 32550 0 0 0 22901 99 0 0 25 0 1 0 706149786 137863168 31889 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33658 31889 1111 63 0 33595 0
vsize: 134632
[startup+240.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 32552 0 0 0 23900 99 0 0 25 0 1 0 706149786 137863168 31891 4294967295 134512640 134714540 3221221792 3221220520 134622780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33658 31891 1111 63 0 33595 0
vsize: 134632
[startup+250.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 32552 0 0 0 24900 100 0 0 25 0 1 0 706149786 137863168 31891 4294967295 134512640 134714540 3221221792 3221220504 134558485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33658 31891 1111 63 0 33595 0
vsize: 134632
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 32552 0 0 0 25900 100 0 0 25 0 1 0 706149786 137863168 31891 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33658 31891 1111 63 0 33595 0
vsize: 134632
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 32552 0 0 0 26900 101 0 0 25 0 1 0 706149786 137863168 31891 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33658 31891 1111 63 0 33595 0
vsize: 134632
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 32552 0 0 0 27900 101 0 0 25 0 1 0 706149786 137863168 31891 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33658 31891 1111 63 0 33595 0
vsize: 134632
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 32552 0 0 0 28899 101 0 0 25 0 1 0 706149786 137863168 31891 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33658 31891 1111 63 0 33595 0
vsize: 134632
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 32553 0 0 0 29899 102 0 0 25 0 1 0 706149786 137863168 31892 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33658 31892 1111 63 0 33595 0
vsize: 134632
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 32553 0 0 0 30899 102 0 0 25 0 1 0 706149786 137863168 31892 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33658 31892 1111 63 0 33595 0
vsize: 134632
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 32553 0 0 0 31899 103 0 0 25 0 1 0 706149786 137863168 31892 4294967295 134512640 134714540 3221221792 3221220608 134622645 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33658 31892 1111 63 0 33595 0
vsize: 134632
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 32618 0 0 0 32898 103 0 0 25 0 1 0 706149786 138133504 31957 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33724 31957 1111 63 0 33661 0
vsize: 134896
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 32618 0 0 0 33897 104 0 0 25 0 1 0 706149786 138133504 31957 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33724 31957 1111 63 0 33661 0
vsize: 134896
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 32618 0 0 0 34897 105 0 0 25 0 1 0 706149786 138133504 31957 4294967295 134512640 134714540 3221221792 3221220576 134622606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33724 31957 1111 63 0 33661 0
vsize: 134896
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 32618 0 0 0 35896 106 0 0 25 0 1 0 706149786 138133504 31957 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33724 31957 1111 63 0 33661 0
vsize: 134896
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 32644 0 0 0 36896 106 0 0 25 0 1 0 706149786 138268672 31983 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33757 31983 1111 63 0 33694 0
vsize: 135028
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 32702 0 0 0 37895 107 0 0 25 0 1 0 706149786 138539008 32041 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33823 32041 1111 63 0 33760 0
vsize: 135292
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 32702 0 0 0 38895 108 0 0 25 0 1 0 706149786 138539008 32041 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33823 32041 1111 63 0 33760 0
vsize: 135292
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 32702 0 0 0 39894 109 0 0 25 0 1 0 706149786 138539008 32041 4294967295 134512640 134714540 3221221792 3221220584 134536921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33823 32041 1111 63 0 33760 0
vsize: 135292
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 34081 0 0 0 40892 111 0 0 25 0 1 0 706149786 144654336 32723 4294967295 134512640 134714540 3221221792 3221220508 134543192 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35316 32723 1111 63 0 35253 0
vsize: 141264
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 34089 0 0 0 41891 112 0 0 25 0 1 0 706149786 144654336 32731 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35316 32731 1111 63 0 35253 0
vsize: 141264
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 34111 0 0 0 42891 112 0 0 25 0 1 0 706149786 144789504 32753 4294967295 134512640 134714540 3221221792 3221220584 134536897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35349 32753 1111 63 0 35286 0
vsize: 141396
[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 35629 0 0 0 43888 116 0 0 25 0 1 0 706149786 150740992 34180 4294967295 134512640 134714540 3221221792 3221220592 134622353 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36802 34180 1111 63 0 36739 0
vsize: 147208
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 38100 0 0 0 44881 123 0 0 25 0 1 0 706149786 160735232 36470 4294967295 134512640 134714540 3221221792 3221220348 134536779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39242 36470 1111 63 0 39179 0
vsize: 156968
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 41099 0 0 0 45873 131 0 0 25 0 1 0 706149786 173187072 39432 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42282 39432 1111 63 0 42219 0
vsize: 169128
[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 42507 0 0 0 46869 136 0 0 25 0 1 0 706149786 178839552 40829 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43662 40829 1111 63 0 43599 0
vsize: 174648
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 42507 0 0 0 47868 136 0 0 25 0 1 0 706149786 178839552 40829 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43662 40829 1111 63 0 43599 0
vsize: 174648
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 42507 0 0 0 48868 137 0 0 25 0 1 0 706149786 178839552 40829 4294967295 134512640 134714540 3221221792 3221220516 134622859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43662 40829 1111 63 0 43599 0
vsize: 174648
[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 42507 0 0 0 49868 137 0 0 25 0 1 0 706149786 178839552 40829 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43662 40829 1111 63 0 43599 0
vsize: 174648
[startup+510.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 42507 0 0 0 50867 138 0 0 25 0 1 0 706149786 178839552 40829 4294967295 134512640 134714540 3221221792 3221220516 134622859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43662 40829 1111 63 0 43599 0
vsize: 174648
[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 42507 0 0 0 51867 138 0 0 25 0 1 0 706149786 178839552 40829 4294967295 134512640 134714540 3221221792 3221220520 134558582 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43662 40829 1111 63 0 43599 0
vsize: 174648
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 42507 0 0 0 52867 139 0 0 25 0 1 0 706149786 178839552 40829 4294967295 134512640 134714540 3221221792 3221220508 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43662 40829 1111 63 0 43599 0
vsize: 174648
[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 42507 0 0 0 53866 139 0 0 25 0 1 0 706149786 178839552 40829 4294967295 134512640 134714540 3221221792 3221220516 134622883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43662 40829 1111 63 0 43599 0
vsize: 174648
[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 42507 0 0 0 54866 140 0 0 25 0 1 0 706149786 178839552 40829 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43662 40829 1111 63 0 43599 0
vsize: 174648
[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 42507 0 0 0 55866 140 0 0 25 0 1 0 706149786 178839552 40829 4294967295 134512640 134714540 3221221792 3221220516 134622883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43662 40829 1111 63 0 43599 0
vsize: 174648
[startup+570.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 42507 0 0 0 56865 141 0 0 25 0 1 0 706149786 178839552 40829 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43662 40829 1111 63 0 43599 0
vsize: 174648
[startup+580.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 42507 0 0 0 57865 141 0 0 25 0 1 0 706149786 178839552 40829 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43662 40829 1111 63 0 43599 0
vsize: 174648
[startup+590.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 42508 0 0 0 58865 142 0 0 25 0 1 0 706149786 178839552 40830 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43662 40830 1111 63 0 43599 0
vsize: 174648
[startup+600.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 42508 0 0 0 59865 142 0 0 25 0 1 0 706149786 178839552 40830 4294967295 134512640 134714540 3221221792 3221220504 134543157 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43662 40830 1111 63 0 43599 0
vsize: 174648
[startup+610.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 42508 0 0 0 60865 142 0 0 25 0 1 0 706149786 178839552 40830 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43662 40830 1111 63 0 43599 0
vsize: 174648
[startup+620.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 42508 0 0 0 61864 143 0 0 25 0 1 0 706149786 178839552 40830 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43662 40830 1111 63 0 43599 0
vsize: 174648
[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 46266 0 0 0 62855 152 0 0 25 0 1 0 706149786 194101248 44561 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47388 44561 1111 63 0 47325 0
vsize: 189552
[startup+640.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 49091 0 0 0 63847 160 0 0 25 0 1 0 706149786 205627392 47350 4294967295 134512640 134714540 3221221792 3221220480 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50202 47350 1111 63 0 50139 0
vsize: 200808
[startup+650.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 51799 0 0 0 64841 167 0 0 25 0 1 0 706149786 216170496 49971 4294967295 134512640 134714540 3221221792 3221220688 134621530 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52776 49971 1111 63 0 52713 0
vsize: 211104
[startup+660.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 55111 0 0 0 65832 176 0 0 25 0 1 0 706149786 227663872 52789 4294967295 134512640 134714540 3221221792 3221220672 134621539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55582 52789 1111 63 0 55519 0
vsize: 222328
[startup+670.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 57691 0 0 0 66825 183 0 0 25 0 1 0 706149786 237965312 55358 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58097 55358 1111 63 0 58034 0
vsize: 232388
[startup+680.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 59442 0 0 0 67820 188 0 0 25 0 1 0 706149786 244948992 57005 4294967295 134512640 134714540 3221221792 3221220584 134558490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59802 57005 1111 63 0 59739 0
vsize: 239208
[startup+690.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 65500 0 0 0 68805 203 0 0 25 0 1 0 706149786 267059200 61191 4294967295 134512640 134714540 3221221792 3221220528 134695349 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65200 61191 1111 63 0 65137 0
vsize: 260800
[startup+700.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 65631 0 0 0 69805 203 0 0 25 0 1 0 706149786 267464704 61322 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65299 61322 1111 63 0 65236 0
vsize: 261196
[startup+710.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 65631 0 0 0 70805 204 0 0 25 0 1 0 706149786 267464704 61322 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65299 61322 1111 63 0 65236 0
vsize: 261196
[startup+720.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 65631 0 0 0 71805 204 0 0 25 0 1 0 706149786 267464704 61322 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65299 61322 1111 63 0 65236 0
vsize: 261196
[startup+730.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 65631 0 0 0 72805 204 0 0 25 0 1 0 706149786 267464704 61322 4294967295 134512640 134714540 3221221792 3221220508 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65299 61322 1111 63 0 65236 0
vsize: 261196
[startup+740.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 65631 0 0 0 73805 204 0 0 25 0 1 0 706149786 267464704 61322 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65299 61322 1111 63 0 65236 0
vsize: 261196
[startup+750.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 65631 0 0 0 74805 205 0 0 25 0 1 0 706149786 267464704 61322 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65299 61322 1111 63 0 65236 0
vsize: 261196
[startup+760.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 65633 0 0 0 75805 205 0 0 25 0 1 0 706149786 267603968 61324 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65333 61324 1111 63 0 65270 0
vsize: 261332
[startup+770.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 65633 0 0 0 76805 205 0 0 25 0 1 0 706149786 267603968 61324 4294967295 134512640 134714540 3221221792 3221220584 134536921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65333 61324 1111 63 0 65270 0
vsize: 261332
[startup+780.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 65633 0 0 0 77804 206 0 0 25 0 1 0 706149786 267603968 61324 4294967295 134512640 134714540 3221221792 3221220592 134622638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65333 61324 1111 63 0 65270 0
vsize: 261332
[startup+790.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 65647 0 0 0 78804 206 0 0 25 0 1 0 706149786 267603968 61338 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65333 61338 1111 63 0 65270 0
vsize: 261332
[startup+800.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 65709 0 0 0 79803 207 0 0 25 0 1 0 706149786 267739136 61400 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65366 61400 1111 63 0 65303 0
vsize: 261464
[startup+810.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 65709 0 0 0 80803 207 0 0 25 0 1 0 706149786 267739136 61400 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65366 61400 1111 63 0 65303 0
vsize: 261464
[startup+820.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 65709 0 0 0 81803 207 0 0 25 0 1 0 706149786 267739136 61400 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65366 61400 1111 63 0 65303 0
vsize: 261464
[startup+830.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 65709 0 0 0 82803 208 0 0 25 0 1 0 706149786 267739136 61400 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65366 61400 1111 63 0 65303 0
vsize: 261464
[startup+840.036 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 65741 0 0 0 83803 208 0 0 25 0 1 0 706149786 267874304 61432 4294967295 134512640 134714540 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65399 61432 1111 63 0 65336 0
vsize: 261596
[startup+850.038 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 65976 0 0 0 84802 209 0 0 25 0 1 0 706149786 268664832 61505 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65592 61505 1111 63 0 65529 0
vsize: 262368
[startup+860.038 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 66016 0 0 0 85802 209 0 0 25 0 1 0 706149786 268800000 61545 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65625 61545 1111 63 0 65562 0
vsize: 262500
[startup+870.039 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 66065 0 0 0 86802 210 0 0 25 0 1 0 706149786 269070336 61594 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65691 61594 1111 63 0 65628 0
vsize: 262764
[startup+880.04 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 66769 0 0 0 87800 211 0 0 25 0 1 0 706149786 271958016 62291 4294967295 134512640 134714540 3221221792 3221220368 134542368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 66396 62291 1111 63 0 66333 0
vsize: 265584
[startup+890.04 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 70257 0 0 0 88790 221 0 0 25 0 1 0 706149786 285630464 65452 4294967295 134512640 134714540 3221221792 3221220512 134622817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69734 65452 1111 63 0 69671 0
vsize: 278936
[startup+900.041 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 70257 0 0 0 89790 222 0 0 25 0 1 0 706149786 285630464 65452 4294967295 134512640 134714540 3221221792 3221220516 134622833 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69734 65452 1111 63 0 69671 0
vsize: 278936
[startup+910.041 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 70259 0 0 0 90790 222 0 0 25 0 1 0 706149786 285630464 65454 4294967295 134512640 134714540 3221221792 3221220572 134623145 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69734 65454 1111 63 0 69671 0
vsize: 278936
[startup+920.041 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 70259 0 0 0 91790 222 0 0 25 0 1 0 706149786 285630464 65454 4294967295 134512640 134714540 3221221792 3221220592 134622484 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69734 65454 1111 63 0 69671 0
vsize: 278936
[startup+930.041 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 70259 0 0 0 92789 223 0 0 25 0 1 0 706149786 285630464 65454 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69734 65454 1111 63 0 69671 0
vsize: 278936
[startup+940.042 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 70259 0 0 0 93789 224 0 0 25 0 1 0 706149786 285630464 65454 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69734 65454 1111 63 0 69671 0
vsize: 278936
[startup+950.043 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 70578 0 0 0 94787 225 0 0 25 0 1 0 706149786 286846976 65773 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70031 65774 1111 63 0 69968 0
vsize: 280124
[startup+960.043 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 73504 0 0 0 95779 234 0 0 25 0 1 0 706149786 298672128 68673 4294967295 134512640 134714540 3221221792 3221220560 134624533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72918 68673 1111 63 0 72855 0
vsize: 291672
[startup+970.043 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 75832 0 0 0 96771 241 0 0 25 0 1 0 706149786 307920896 70999 4294967295 134512640 134714540 3221221792 3221220308 134542296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75176 70999 1111 63 0 75113 0
vsize: 300704
[startup+980.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 79190 0 0 0 97761 252 0 0 25 0 1 0 706149786 321323008 74240 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78448 74240 1111 63 0 78385 0
vsize: 313792
[startup+990.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 79190 0 0 0 98761 253 0 0 25 0 1 0 706149786 321323008 74240 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78448 74240 1111 63 0 78385 0
vsize: 313792
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 79190 0 0 0 99760 253 0 0 25 0 1 0 706149786 321323008 74240 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78448 74240 1111 63 0 78385 0
vsize: 313792
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 79190 0 0 0 100760 254 0 0 25 0 1 0 706149786 321323008 74240 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78448 74240 1111 63 0 78385 0
vsize: 313792
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 79191 0 0 0 101760 254 0 0 25 0 1 0 706149786 321323008 74241 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78448 74241 1111 63 0 78385 0
vsize: 313792
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 79191 0 0 0 102759 255 0 0 25 0 1 0 706149786 321323008 74241 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78448 74241 1111 63 0 78385 0
vsize: 313792
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 79191 0 0 0 103759 255 0 0 25 0 1 0 706149786 321323008 74241 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78448 74241 1111 63 0 78385 0
vsize: 313792
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 79191 0 0 0 104759 255 0 0 25 0 1 0 706149786 321323008 74241 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78448 74241 1111 63 0 78385 0
vsize: 313792
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 79191 0 0 0 105759 256 0 0 25 0 1 0 706149786 321323008 74241 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78448 74241 1111 63 0 78385 0
vsize: 313792
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 79191 0 0 0 106759 256 0 0 25 0 1 0 706149786 321323008 74241 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78448 74241 1111 63 0 78385 0
vsize: 313792
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 79191 0 0 0 107758 257 0 0 25 0 1 0 706149786 321323008 74241 4294967295 134512640 134714540 3221221792 3221220608 134622551 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78448 74241 1111 63 0 78385 0
vsize: 313792
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 79191 0 0 0 108758 257 0 0 25 0 1 0 706149786 321323008 74241 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78448 74241 1111 63 0 78385 0
vsize: 313792
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 79191 0 0 0 109758 258 0 0 25 0 1 0 706149786 321323008 74241 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78448 74241 1111 63 0 78385 0
vsize: 313792
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 79191 0 0 0 110757 258 0 0 25 0 1 0 706149786 321323008 74241 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78448 74241 1111 63 0 78385 0
vsize: 313792
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 79191 0 0 0 111757 259 0 0 25 0 1 0 706149786 321323008 74241 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78448 74241 1111 63 0 78385 0
vsize: 313792
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 79191 0 0 0 112757 259 0 0 25 0 1 0 706149786 321323008 74241 4294967295 134512640 134714540 3221221792 3221220520 134622854 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78448 74241 1111 63 0 78385 0
vsize: 313792
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 79191 0 0 0 113757 260 0 0 25 0 1 0 706149786 321323008 74241 4294967295 134512640 134714540 3221221792 3221220512 134622817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78448 74241 1111 63 0 78385 0
vsize: 313792
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 79193 0 0 0 114756 260 0 0 25 0 1 0 706149786 321323008 74243 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78448 74243 1111 63 0 78385 0
vsize: 313792
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 79193 0 0 0 115756 261 0 0 25 0 1 0 706149786 321323008 74243 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78448 74243 1111 63 0 78385 0
vsize: 313792
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 79193 0 0 0 116756 261 0 0 25 0 1 0 706149786 321323008 74243 4294967295 134512640 134714540 3221221792 3221220608 134622477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78448 74243 1111 63 0 78385 0
vsize: 313792
[startup+1180.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 79193 0 0 0 117755 262 0 0 25 0 1 0 706149786 321323008 74243 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78448 74243 1111 63 0 78385 0
vsize: 313792
[startup+1190.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 79193 0 0 0 118755 262 0 0 25 0 1 0 706149786 321323008 74243 4294967295 134512640 134714540 3221221792 3221220508 134543156 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78448 74243 1111 63 0 78385 0
vsize: 313792
[startup+1200.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7141
Raw data (stat): 7141 (bsolo_mis) R 7140 7876 7672 0 -1 0 79193 0 0 0 119755 263 0 0 25 0 1 0 706149786 321323008 74243 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78448 74243 1111 63 0 78385 0
vsize: 313792
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.19 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 7141
Raw data (stat): 7141 (bsolo_mis) Z 7140 7876 7672 0 -1 1036 79193 0 0 0 119755 277 0 0 25 0 1 0 706149786 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.19
CPU time (s): 1200.32
CPU user time (s): 1197.55
CPU system time (s): 2.77058
CPU usage (%): 100.011
Max. virtual memory (Kb): 313792
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####