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-c8.opb
MD5SUM	9b291040ec2b77d0bffb739c0db80d53
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1194
Optimality of the best value was proved	NO
Number of terms in the objective function	239
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	10012
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	10012
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.941856
Number of variables	239
Total number of constraints	524
Number of constraints which are clauses	520
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	4
Minimum length of a constraint	1
Maximum length of a constraint	36
Trace number 24389

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-09 23:54:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2244 boxname=wulflinc31 idbench=250 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  9b291040ec2b77d0bffb739c0db80d53  /oldhome/oroussel/tmp/wulflinc31/normalized-c8.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-c8.opb
IDLAUNCH: 2244
/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:        135676 kB
Buffers:         45876 kB
Cached:         818508 kB
SwapCached:        644 kB
Active:         493412 kB
Inactive:       373348 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        135424 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26472 kB
Committed_AS:    63632 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-10 00:14:54 (client local time) WITH STATUS 0 IN 1200.3 SECONDS
stats: 2244 7 1200.3 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 239 variables and 524 constraints.
c After prepocess the problem consists of 234 variables and 456 constraints.
c preprocess terminated 0.17 s
c Initial Lower Bound: 792
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 2169 @ 0.195
c NEW SOLUTION FOUND: 2136 @ 0.195
c NEW SOLUTION FOUND: 2104 @ 0.197
c NEW SOLUTION FOUND: 2079 @ 0.198
c NEW SOLUTION FOUND: 1987 @ 0.2
c NEW SOLUTION FOUND: 1982 @ 0.207
c NEW SOLUTION FOUND: 1964 @ 0.213
c NEW SOLUTION FOUND: 1959 @ 0.217
c NEW SOLUTION FOUND: 1941 @ 0.221
c NEW SOLUTION FOUND: 1936 @ 0.228
c NEW SOLUTION FOUND: 1918 @ 0.233
c NEW SOLUTION FOUND: 1897 @ 0.257
c NEW SOLUTION FOUND: 1893 @ 0.273
c NEW SOLUTION FOUND: 1888 @ 0.285
c NEW SOLUTION FOUND: 1886 @ 0.295
c NEW SOLUTION FOUND: 1865 @ 0.295
c NEW SOLUTION FOUND: 1861 @ 0.309
c NEW SOLUTION FOUND: 1859 @ 0.323
c NEW SOLUTION FOUND: 1840 @ 0.331
c NEW SOLUTION FOUND: 1836 @ 0.337
c NEW SOLUTION FOUND: 1831 @ 0.667
c NEW SOLUTION FOUND: 1827 @ 0.686
c NEW SOLUTION FOUND: 1825 @ 0.923
c NEW SOLUTION FOUND: 1806 @ 1.081
c NEW SOLUTION FOUND: 1802 @ 1.101
c NEW SOLUTION FOUND: 1790 @ 1.432
c NEW SOLUTION FOUND: 1786 @ 1.446
c NEW SOLUTION FOUND: 1781 @ 1.978
c NEW SOLUTION FOUND: 1777 @ 2.024
c NEW SOLUTION FOUND: 1758 @ 2.966
c NEW SOLUTION FOUND: 1754 @ 3.01
c NEW SOLUTION FOUND: 1751 @ 5.145
c NEW SOLUTION FOUND: 1750 @ 5.406
c NEW SOLUTION FOUND: 1732 @ 5.407
c NEW SOLUTION FOUND: 1728 @ 5.527
c NEW SOLUTION FOUND: 1727 @ 15.265
c NEW SOLUTION FOUND: 1724 @ 15.282
c NEW SOLUTION FOUND: 1706 @ 15.288
c NEW SOLUTION FOUND: 1702 @ 16.323
c NEW SOLUTION FOUND: 1700 @ 18.816
c NEW SOLUTION FOUND: 1697 @ 26.088
c NEW SOLUTION FOUND: 1690 @ 26.2
c NEW SOLUTION FOUND: 1672 @ 26.221
c NEW SOLUTION FOUND: 1668 @ 26.439
c NEW SOLUTION FOUND: 1656 @ 41.46
c NEW SOLUTION FOUND: 1652 @ 41.886
c NEW SOLUTION FOUND: 1645 @ 43.475
c NEW SOLUTION FOUND: 1641 @ 43.536
c NEW SOLUTION FOUND: 1640 @ 54.124
c NEW SOLUTION FOUND: 1638 @ 54.162
c NEW SOLUTION FOUND: 1622 @ 54.172
c NEW SOLUTION FOUND: 1618 @ 54.658
c NEW SOLUTION FOUND: 1616 @ 77.921
c NEW SOLUTION FOUND: 1615 @ 84.763
c NEW SOLUTION FOUND: 1613 @ 84.852
c NEW SOLUTION FOUND: 1597 @ 84.858
c NEW SOLUTION FOUND: 1593 @ 86.138
c NEW SOLUTION FOUND: 1591 @ 107.861
c NEW SOLUTION FOUND: 1588 @ 108.265
c NEW SOLUTION FOUND: 1570 @ 108.285
c NEW SOLUTION FOUND: 1566 @ 108.487
c NEW SOLUTION FOUND: 1560 @ 125.977
c NEW SOLUTION FOUND: 1556 @ 126.117
c NEW SOLUTION FOUND: 1555 @ 126.193
c NEW SOLUTION FOUND: 1537 @ 126.268
c NEW SOLUTION FOUND: 1533 @ 126.406
c NEW SOLUTION FOUND: 1531 @ 126.511
c NEW SOLUTION FOUND: 1530 @ 126.558
c NEW SOLUTION FOUND: 1526 @ 126.577
c NEW SOLUTION FOUND: 1512 @ 126.635
c NEW SOLUTION FOUND: 1508 @ 126.648
c NEW SOLUTION FOUND: 1507 @ 144.724
c NEW SOLUTION FOUND: 1503 @ 144.744
c NEW SOLUTION FOUND: 1489 @ 144.76
c NEW SOLUTION FOUND: 1485 @ 144.775
c NEW SOLUTION FOUND: 1479 @ 145.154
c NEW SOLUTION FOUND: 1475 @ 145.172
c NEW SOLUTION FOUND: 1473 @ 292.943
c NEW SOLUTION FOUND: 1472 @ 293.033
c NEW SOLUTION FOUND: 1454 @ 293.047
c NEW SOLUTION FOUND: 1450 @ 293.073
c NEW SOLUTION FOUND: 1447 @ 340.061
c NEW SOLUTION FOUND: 1443 @ 340.68
#### 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.68 0.87 0.88 2/54 5232
Raw data (stat): 5232 (runsolver) R 5231 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 704723929 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.0009 s]
Raw data (loadavg): 0.73 0.88 0.88 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 9120 0 0 0 972 24 0 0 25 0 1 0 704723929 41426944 9040 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10114 9040 1111 63 0 10051 0
vsize: 40456
[startup+20.0019 s]
Raw data (loadavg): 0.77 0.88 0.88 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 13728 0 0 0 1960 36 0 0 25 0 1 0 704723929 61054976 13546 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14906 13546 1111 63 0 14843 0
vsize: 59624
[startup+30.003 s]
Raw data (loadavg): 0.81 0.88 0.88 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 15773 0 0 0 2956 40 0 0 25 0 1 0 704723929 69414912 15568 4294967295 134512640 134714540 3221221792 3221220572 134542400 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16947 15568 1111 63 0 16884 0
vsize: 67788
[startup+40.0037 s]
Raw data (loadavg): 0.84 0.89 0.88 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 18582 0 0 0 3948 48 0 0 25 0 1 0 704723929 80711680 18356 4294967295 134512640 134714540 3221221792 3221220508 134558493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19705 18356 1111 63 0 19642 0
vsize: 78820
[startup+50.0045 s]
Raw data (loadavg): 0.86 0.89 0.88 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 23837 0 0 0 4935 62 0 0 25 0 1 0 704723929 103960576 23400 4294967295 134512640 134714540 3221221792 3221220608 134622115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25381 23400 1111 63 0 25318 0
vsize: 101524
[startup+60.0054 s]
Raw data (loadavg): 0.88 0.89 0.89 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 27209 0 0 0 5926 71 0 0 25 0 1 0 704723929 117923840 26729 4294967295 134512640 134714540 3221221792 3221220516 134622833 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28790 26729 1111 63 0 28727 0
vsize: 115160
[startup+70.0063 s]
Raw data (loadavg): 0.90 0.90 0.89 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 27212 0 0 0 6926 72 0 0 25 0 1 0 704723929 117923840 26732 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28790 26732 1111 63 0 28727 0
vsize: 115160
[startup+80.0072 s]
Raw data (loadavg): 0.91 0.90 0.89 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 28880 0 0 0 7921 77 0 0 25 0 1 0 704723929 124682240 28375 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30440 28375 1111 63 0 30377 0
vsize: 121760
[startup+90.0075 s]
Raw data (loadavg): 0.93 0.90 0.89 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 33100 0 0 0 8912 85 0 0 25 0 1 0 704723929 140967936 32385 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34416 32385 1111 63 0 34353 0
vsize: 137664
[startup+100.007 s]
Raw data (loadavg): 0.94 0.90 0.89 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 33177 0 0 0 9911 86 0 0 25 0 1 0 704723929 141377536 32462 4294967295 134512640 134714540 3221221792 3221220516 134622911 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34516 32462 1111 63 0 34453 0
vsize: 138064
[startup+110.008 s]
Raw data (loadavg): 0.95 0.91 0.89 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 34546 0 0 0 10906 91 0 0 25 0 1 0 704723929 146702336 33825 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35816 33825 1111 63 0 35753 0
vsize: 143264
[startup+120.009 s]
Raw data (loadavg): 0.95 0.91 0.89 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 36123 0 0 0 11900 97 0 0 25 0 1 0 704723929 152920064 35402 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37334 35402 1111 63 0 37271 0
vsize: 149336
[startup+130.01 s]
Raw data (loadavg): 0.96 0.91 0.89 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 40306 0 0 0 12891 106 0 0 25 0 1 0 704723929 170315776 38252 4294967295 134512640 134714540 3221221792 3221220312 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41581 38253 1111 63 0 41518 0
vsize: 166324
[startup+140.01 s]
Raw data (loadavg): 0.97 0.91 0.89 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 41333 0 0 0 13888 110 0 0 25 0 1 0 704723929 174555136 39230 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42616 39230 1111 63 0 42553 0
vsize: 170464
[startup+150.01 s]
Raw data (loadavg): 0.97 0.92 0.89 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 43047 0 0 0 14883 114 0 0 25 0 1 0 704723929 181420032 40939 4294967295 134512640 134714540 3221221792 3221220592 134622574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44292 40939 1111 63 0 44229 0
vsize: 177168
[startup+160.011 s]
Raw data (loadavg): 0.98 0.92 0.89 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 43084 0 0 0 15883 114 0 0 25 0 1 0 704723929 181555200 40976 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44325 40976 1111 63 0 44262 0
vsize: 177300
[startup+170.011 s]
Raw data (loadavg): 0.98 0.92 0.90 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 43086 0 0 0 16884 114 0 0 25 0 1 0 704723929 181555200 40978 4294967295 134512640 134714540 3221221792 3221220504 134543174 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44325 40978 1111 63 0 44262 0
vsize: 177300
[startup+180.012 s]
Raw data (loadavg): 0.98 0.92 0.90 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 43445 0 0 0 17883 115 0 0 25 0 1 0 704723929 183042048 41337 4294967295 134512640 134714540 3221221792 3221220512 134622817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44688 41337 1111 63 0 44625 0
vsize: 178752
[startup+190.011 s]
Raw data (loadavg): 0.98 0.92 0.90 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 43465 0 0 0 18883 115 0 0 25 0 1 0 704723929 183042048 41357 4294967295 134512640 134714540 3221221792 3221220576 134622501 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44688 41357 1111 63 0 44625 0
vsize: 178752
[startup+200.011 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 43584 0 0 0 19882 116 0 0 25 0 1 0 704723929 183672832 41435 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44842 41435 1111 63 0 44779 0
vsize: 179368
[startup+210.013 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 43584 0 0 0 20882 116 0 0 25 0 1 0 704723929 183672832 41435 4294967295 134512640 134714540 3221221792 3221220504 134558485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44842 41435 1111 63 0 44779 0
vsize: 179368
[startup+220.013 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 43584 0 0 0 21882 116 0 0 25 0 1 0 704723929 183672832 41435 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44842 41435 1111 63 0 44779 0
vsize: 179368
[startup+230.014 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 43588 0 0 0 22882 117 0 0 25 0 1 0 704723929 183672832 41439 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44842 41439 1111 63 0 44779 0
vsize: 179368
[startup+240.015 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 43588 0 0 0 23883 117 0 0 25 0 1 0 704723929 183672832 41439 4294967295 134512640 134714540 3221221792 3221220592 134622569 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44842 41439 1111 63 0 44779 0
vsize: 179368
[startup+250.015 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 43588 0 0 0 24883 117 0 0 25 0 1 0 704723929 183672832 41439 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44842 41439 1111 63 0 44779 0
vsize: 179368
[startup+260.016 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 43594 0 0 0 25883 117 0 0 25 0 1 0 704723929 183672832 41445 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44842 41445 1111 63 0 44779 0
vsize: 179368
[startup+270.017 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 43621 0 0 0 26883 117 0 0 25 0 1 0 704723929 183808000 41472 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44875 41472 1111 63 0 44812 0
vsize: 179500
[startup+280.018 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 43768 0 0 0 27883 117 0 0 25 0 1 0 704723929 184348672 41617 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45007 41617 1111 63 0 44944 0
vsize: 180028
[startup+290.018 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 44730 0 0 0 28881 120 0 0 25 0 1 0 704723929 188198912 42570 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45947 42570 1111 63 0 45884 0
vsize: 183788
[startup+300.018 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 47222 0 0 0 29873 127 0 0 25 0 1 0 704723929 198201344 45044 4294967295 134512640 134714540 3221221792 3221220504 134543174 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48389 45044 1111 63 0 48326 0
vsize: 193556
[startup+310.019 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 47744 0 0 0 30871 129 0 0 25 0 1 0 704723929 200273920 45562 4294967295 134512640 134714540 3221221792 3221220368 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48895 45562 1111 63 0 48832 0
vsize: 195580
[startup+320.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 49853 0 0 0 31866 135 0 0 25 0 1 0 704723929 208777216 47656 4294967295 134512640 134714540 3221221792 3221220516 134622905 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50971 47656 1111 63 0 50908 0
vsize: 203884
[startup+330.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 52243 0 0 0 32859 142 0 0 25 0 1 0 704723929 218091520 49836 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53245 49836 1111 63 0 53182 0
vsize: 212980
[startup+340.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 53921 0 0 0 33855 146 0 0 25 0 1 0 704723929 224985088 51486 4294967295 134512640 134714540 3221221792 3221220380 134542371 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54928 51486 1111 63 0 54865 0
vsize: 219712
[startup+350.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 59746 0 0 0 34837 164 0 0 25 0 1 0 704723929 247664640 57056 4294967295 134512640 134714540 3221221792 3221220584 134542409 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60465 57056 1111 63 0 60402 0
vsize: 241860
[startup+360.021 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 59914 0 0 0 35837 164 0 0 25 0 1 0 704723929 248348672 57224 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60632 57224 1111 63 0 60569 0
vsize: 242528
[startup+370.021 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 60123 0 0 0 36836 165 0 0 25 0 1 0 704723929 249159680 57433 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60830 57433 1111 63 0 60767 0
vsize: 243320
[startup+380.022 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 60306 0 0 0 37836 165 0 0 25 0 1 0 704723929 249835520 57616 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60995 57616 1111 63 0 60932 0
vsize: 243980
[startup+390.022 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 60562 0 0 0 38836 166 0 0 25 0 1 0 704723929 250982400 57863 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61275 57863 1111 63 0 61212 0
vsize: 245100
[startup+400.022 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 60563 0 0 0 39836 166 0 0 25 0 1 0 704723929 250982400 57864 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61275 57864 1111 63 0 61212 0
vsize: 245100
[startup+410.023 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 60563 0 0 0 40836 166 0 0 25 0 1 0 704723929 250982400 57864 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61275 57864 1111 63 0 61212 0
vsize: 245100
[startup+420.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 60568 0 0 0 41836 166 0 0 25 0 1 0 704723929 250982400 57869 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61275 57869 1111 63 0 61212 0
vsize: 245100
[startup+430.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 60570 0 0 0 42836 166 0 0 25 0 1 0 704723929 250982400 57871 4294967295 134512640 134714540 3221221792 3221220568 134542409 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61275 57871 1111 63 0 61212 0
vsize: 245100
[startup+440.025 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 60573 0 0 0 43837 166 0 0 25 0 1 0 704723929 250982400 57874 4294967295 134512640 134714540 3221221792 3221220416 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61275 57874 1111 63 0 61212 0
vsize: 245100
[startup+450.025 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 60580 0 0 0 44837 166 0 0 25 0 1 0 704723929 250982400 57881 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61275 57881 1111 63 0 61212 0
vsize: 245100
[startup+460.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 60580 0 0 0 45837 166 0 0 25 0 1 0 704723929 250982400 57881 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61275 57881 1111 63 0 61212 0
vsize: 245100
[startup+470.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 60580 0 0 0 46837 166 0 0 25 0 1 0 704723929 250982400 57881 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61275 57881 1111 63 0 61212 0
vsize: 245100
[startup+480.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 60582 0 0 0 47837 166 0 0 25 0 1 0 704723929 250982400 57883 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61275 57883 1111 63 0 61212 0
vsize: 245100
[startup+490.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 60582 0 0 0 48837 166 0 0 25 0 1 0 704723929 250982400 57883 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61275 57883 1111 63 0 61212 0
vsize: 245100
[startup+500.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 60583 0 0 0 49838 166 0 0 25 0 1 0 704723929 250982400 57884 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61275 57884 1111 63 0 61212 0
vsize: 245100
[startup+510.027 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 60583 0 0 0 50838 166 0 0 25 0 1 0 704723929 250982400 57884 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61275 57884 1111 63 0 61212 0
vsize: 245100
[startup+520.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 60585 0 0 0 51838 166 0 0 25 0 1 0 704723929 250982400 57886 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61275 57886 1111 63 0 61212 0
vsize: 245100
[startup+530.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 60585 0 0 0 52838 166 0 0 25 0 1 0 704723929 250982400 57886 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61275 57886 1111 63 0 61212 0
vsize: 245100
[startup+540.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 61065 0 0 0 53838 167 0 0 25 0 1 0 704723929 252510208 58232 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61648 58232 1111 63 0 61585 0
vsize: 246592
[startup+550.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 61065 0 0 0 54838 167 0 0 25 0 1 0 704723929 252510208 58232 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61648 58232 1111 63 0 61585 0
vsize: 246592
[startup+560.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 61065 0 0 0 55838 167 0 0 25 0 1 0 704723929 252510208 58232 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61648 58232 1111 63 0 61585 0
vsize: 246592
[startup+570.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 61160 0 0 0 56838 167 0 0 25 0 1 0 704723929 252796928 58326 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61718 58326 1111 63 0 61655 0
vsize: 246872
[startup+580.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 61160 0 0 0 57838 167 0 0 25 0 1 0 704723929 252796928 58326 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61718 58326 1111 63 0 61655 0
vsize: 246872
[startup+590.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 61803 0 0 0 58837 169 0 0 25 0 1 0 704723929 254300160 58701 4294967295 134512640 134714540 3221221792 3221220504 134558485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62085 58701 1111 63 0 62022 0
vsize: 248340
[startup+600.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 61843 0 0 0 59837 169 0 0 25 0 1 0 704723929 254435328 58741 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62118 58741 1111 63 0 62055 0
vsize: 248472
[startup+610.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 61983 0 0 0 60837 169 0 0 25 0 1 0 704723929 254976000 58881 4294967295 134512640 134714540 3221221792 3221220520 134622752 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62250 58881 1111 63 0 62187 0
vsize: 249000
[startup+620.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 61983 0 0 0 61837 169 0 0 25 0 1 0 704723929 254976000 58881 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62250 58881 1111 63 0 62187 0
vsize: 249000
[startup+630.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 61983 0 0 0 62837 169 0 0 25 0 1 0 704723929 254976000 58881 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62250 58881 1111 63 0 62187 0
vsize: 249000
[startup+640.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 61983 0 0 0 63837 169 0 0 25 0 1 0 704723929 254976000 58881 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62250 58881 1111 63 0 62187 0
vsize: 249000
[startup+650.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 61983 0 0 0 64838 169 0 0 25 0 1 0 704723929 254976000 58881 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62250 58881 1111 63 0 62187 0
vsize: 249000
[startup+660.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 61983 0 0 0 65838 169 0 0 25 0 1 0 704723929 254976000 58881 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62250 58881 1111 63 0 62187 0
vsize: 249000
[startup+670.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 61983 0 0 0 66838 169 0 0 25 0 1 0 704723929 254976000 58881 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62250 58881 1111 63 0 62187 0
vsize: 249000
[startup+680.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 61983 0 0 0 67838 169 0 0 25 0 1 0 704723929 254976000 58881 4294967295 134512640 134714540 3221221792 3221220512 134622865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62250 58881 1111 63 0 62187 0
vsize: 249000
[startup+690.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 61983 0 0 0 68838 169 0 0 25 0 1 0 704723929 254976000 58881 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62250 58881 1111 63 0 62187 0
vsize: 249000
[startup+700.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 61983 0 0 0 69838 169 0 0 25 0 1 0 704723929 254976000 58881 4294967295 134512640 134714540 3221221792 3221220508 134543124 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62250 58881 1111 63 0 62187 0
vsize: 249000
[startup+710.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 61983 0 0 0 70839 169 0 0 25 0 1 0 704723929 254976000 58881 4294967295 134512640 134714540 3221221792 3221220508 134543156 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62250 58881 1111 63 0 62187 0
vsize: 249000
[startup+720.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 61983 0 0 0 71839 169 0 0 25 0 1 0 704723929 254976000 58881 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62250 58881 1111 63 0 62187 0
vsize: 249000
[startup+730.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 61983 0 0 0 72839 169 0 0 25 0 1 0 704723929 254976000 58881 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62250 58881 1111 63 0 62187 0
vsize: 249000
[startup+740.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 61983 0 0 0 73839 169 0 0 25 0 1 0 704723929 254976000 58881 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62250 58881 1111 63 0 62187 0
vsize: 249000
[startup+750.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 61983 0 0 0 74839 169 0 0 25 0 1 0 704723929 254976000 58881 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62250 58881 1111 63 0 62187 0
vsize: 249000
[startup+760.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 61983 0 0 0 75839 169 0 0 25 0 1 0 704723929 254976000 58881 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62250 58881 1111 63 0 62187 0
vsize: 249000
[startup+770.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 61983 0 0 0 76840 169 0 0 25 0 1 0 704723929 254976000 58881 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62250 58881 1111 63 0 62187 0
vsize: 249000
[startup+780.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 61983 0 0 0 77840 169 0 0 25 0 1 0 704723929 254976000 58881 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62250 58881 1111 63 0 62187 0
vsize: 249000
[startup+790.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 61983 0 0 0 78840 169 0 0 25 0 1 0 704723929 254976000 58881 4294967295 134512640 134714540 3221221792 3221220508 134543192 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62250 58881 1111 63 0 62187 0
vsize: 249000
[startup+800.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 61983 0 0 0 79840 170 0 0 25 0 1 0 704723929 254976000 58881 4294967295 134512640 134714540 3221221792 3221220528 134622896 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62250 58881 1111 63 0 62187 0
vsize: 249000
[startup+810.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 61983 0 0 0 80840 170 0 0 25 0 1 0 704723929 254976000 58881 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62250 58881 1111 63 0 62187 0
vsize: 249000
[startup+820.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 61983 0 0 0 81840 170 0 0 25 0 1 0 704723929 254976000 58881 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62250 58881 1111 63 0 62187 0
vsize: 249000
[startup+830.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 61984 0 0 0 82840 170 0 0 25 0 1 0 704723929 254976000 58882 4294967295 134512640 134714540 3221221792 3221220504 134543174 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62250 58882 1111 63 0 62187 0
vsize: 249000
[startup+840.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 61984 0 0 0 83840 170 0 0 25 0 1 0 704723929 254976000 58882 4294967295 134512640 134714540 3221221792 3221220516 134622859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62250 58882 1111 63 0 62187 0
vsize: 249000
[startup+850.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 61984 0 0 0 84840 170 0 0 25 0 1 0 704723929 254976000 58882 4294967295 134512640 134714540 3221221792 3221220576 134622534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62250 58882 1111 63 0 62187 0
vsize: 249000
[startup+860.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 61984 0 0 0 85840 170 0 0 25 0 1 0 704723929 254976000 58882 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62250 58882 1111 63 0 62187 0
vsize: 249000
[startup+870.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 61984 0 0 0 86840 170 0 0 25 0 1 0 704723929 254976000 58882 4294967295 134512640 134714540 3221221792 3221220504 134543174 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62250 58882 1111 63 0 62187 0
vsize: 249000
[startup+880.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 61986 0 0 0 87841 171 0 0 25 0 1 0 704723929 254976000 58884 4294967295 134512640 134714540 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62250 58884 1111 63 0 62187 0
vsize: 249000
[startup+890.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 61986 0 0 0 88841 171 0 0 25 0 1 0 704723929 254976000 58884 4294967295 134512640 134714540 3221221792 3221220512 134622887 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62250 58884 1111 63 0 62187 0
vsize: 249000
[startup+900.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 61986 0 0 0 89841 171 0 0 25 0 1 0 704723929 254976000 58884 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62250 58884 1111 63 0 62187 0
vsize: 249000
[startup+910.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 61987 0 0 0 90841 171 0 0 25 0 1 0 704723929 255111168 58885 4294967295 134512640 134714540 3221221792 3221220584 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62283 58885 1111 63 0 62220 0
vsize: 249132
[startup+920.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 62120 0 0 0 91841 171 0 0 25 0 1 0 704723929 255717376 59009 4294967295 134512640 134714540 3221221792 3221220552 134542409 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62431 59009 1111 63 0 62368 0
vsize: 249724
[startup+930.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 62554 0 0 0 92840 172 0 0 25 0 1 0 704723929 257261568 59361 4294967295 134512640 134714540 3221221792 3221220512 134622839 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62808 59361 1111 63 0 62745 0
vsize: 251232
[startup+940.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 62861 0 0 0 93839 173 0 0 25 0 1 0 704723929 258478080 59668 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63105 59668 1111 63 0 63042 0
vsize: 252420
[startup+950.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 62861 0 0 0 94839 173 0 0 25 0 1 0 704723929 258478080 59668 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63105 59668 1111 63 0 63042 0
vsize: 252420
[startup+960.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 62861 0 0 0 95839 173 0 0 25 0 1 0 704723929 258478080 59668 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63105 59668 1111 63 0 63042 0
vsize: 252420
[startup+970.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 62861 0 0 0 96839 173 0 0 25 0 1 0 704723929 258478080 59668 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63105 59668 1111 63 0 63042 0
vsize: 252420
[startup+980.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 62861 0 0 0 97840 174 0 0 25 0 1 0 704723929 258478080 59668 4294967295 134512640 134714540 3221221792 3221220528 134622873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63105 59668 1111 63 0 63042 0
vsize: 252420
[startup+990.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 62861 0 0 0 98840 174 0 0 25 0 1 0 704723929 258478080 59668 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63105 59668 1111 63 0 63042 0
vsize: 252420
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 62861 0 0 0 99840 174 0 0 25 0 1 0 704723929 258478080 59668 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63105 59668 1111 63 0 63042 0
vsize: 252420
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 62861 0 0 0 100840 174 0 0 25 0 1 0 704723929 258478080 59668 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63105 59668 1111 63 0 63042 0
vsize: 252420
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 62861 0 0 0 101840 174 0 0 25 0 1 0 704723929 258478080 59668 4294967295 134512640 134714540 3221221792 3221220520 134622882 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63105 59668 1111 63 0 63042 0
vsize: 252420
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 62861 0 0 0 102840 174 0 0 25 0 1 0 704723929 258478080 59668 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63105 59668 1111 63 0 63042 0
vsize: 252420
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 62861 0 0 0 103841 174 0 0 25 0 1 0 704723929 258478080 59668 4294967295 134512640 134714540 3221221792 3221220568 134542409 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63105 59668 1111 63 0 63042 0
vsize: 252420
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 62861 0 0 0 104841 174 0 0 25 0 1 0 704723929 258478080 59668 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63105 59668 1111 63 0 63042 0
vsize: 252420
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 62861 0 0 0 105841 174 0 0 25 0 1 0 704723929 258478080 59668 4294967295 134512640 134714540 3221221792 3221220516 134622883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63105 59668 1111 63 0 63042 0
vsize: 252420
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 62861 0 0 0 106841 174 0 0 25 0 1 0 704723929 258478080 59668 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63105 59668 1111 63 0 63042 0
vsize: 252420
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 62861 0 0 0 107841 174 0 0 25 0 1 0 704723929 258478080 59668 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63105 59668 1111 63 0 63042 0
vsize: 252420
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 62861 0 0 0 108841 174 0 0 25 0 1 0 704723929 258478080 59668 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63105 59668 1111 63 0 63042 0
vsize: 252420
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 62861 0 0 0 109842 174 0 0 25 0 1 0 704723929 258478080 59668 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63105 59668 1111 63 0 63042 0
vsize: 252420
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 62861 0 0 0 110842 174 0 0 25 0 1 0 704723929 258478080 59668 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63105 59668 1111 63 0 63042 0
vsize: 252420
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 62861 0 0 0 111842 174 0 0 25 0 1 0 704723929 258478080 59668 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63105 59668 1111 63 0 63042 0
vsize: 252420
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 62861 0 0 0 112842 174 0 0 25 0 1 0 704723929 258478080 59668 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63105 59668 1111 63 0 63042 0
vsize: 252420
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 62861 0 0 0 113842 174 0 0 25 0 1 0 704723929 258478080 59668 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63105 59668 1111 63 0 63042 0
vsize: 252420
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 62863 0 0 0 114843 174 0 0 25 0 1 0 704723929 258478080 59670 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63105 59670 1111 63 0 63042 0
vsize: 252420
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 62863 0 0 0 115843 174 0 0 25 0 1 0 704723929 258478080 59670 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63105 59670 1111 63 0 63042 0
vsize: 252420
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 62863 0 0 0 116843 174 0 0 25 0 1 0 704723929 258478080 59670 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63105 59670 1111 63 0 63042 0
vsize: 252420
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 62863 0 0 0 117843 174 0 0 25 0 1 0 704723929 258478080 59670 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63105 59670 1111 63 0 63042 0
vsize: 252420
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 62863 0 0 0 118844 174 0 0 25 0 1 0 704723929 258478080 59670 4294967295 134512640 134714540 3221221792 3221220516 134622905 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63105 59670 1111 63 0 63042 0
vsize: 252420
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5232
Raw data (stat): 5232 (bsolo_mis) R 5231 7876 7672 0 -1 0 62863 0 0 0 119844 174 0 0 25 0 1 0 704723929 258478080 59670 4294967295 134512640 134714540 3221221792 3221220588 134536922 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63105 59670 1111 63 0 63042 0
vsize: 252420
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.17 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 5232
Raw data (stat): 5232 (bsolo_mis) Z 5231 7876 7672 0 -1 1036 62863 0 0 0 119844 185 0 0 25 0 1 0 704723929 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.17
CPU time (s): 1200.3
CPU user time (s): 1198.44
CPU system time (s): 1.85572
CPU usage (%): 100.011
Max. virtual memory (Kb): 252420
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####