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/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mod008.opb
MD5SUM	581d778a36086562107993896110e0a2
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	307
Optimality of the best value was proved	NO
Number of terms in the objective function	319
Biggest coefficient in the objective function	87
Number of bits for the biggest coefficient in the objective function	7
Sum of the numbers in the objective function	23554
Number of bits of the sum of numbers in the objective function	15
Biggest number in a constraint	22000
Number of bits of the biggest number in a constraint	15
Biggest sum of numbers in a constraint	1027256
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01784
Number of variables	319
Total number of constraints	325
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	319
Number of constraints which are nor clauses,nor cardinality constraints	6
Minimum length of a constraint	1
Maximum length of a constraint	231
Trace number 28293

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-05-25 01:30:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13627 boxname=wulflinc1 idbench=1049 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  581d778a36086562107993896110e0a2  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-mod008.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-mod008.opb
IDLAUNCH: 13627
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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	: 2
cpu MHz		: 451.053
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        847224 kB
Buffers:         32708 kB
Cached:         128108 kB
SwapCached:          4 kB
Active:          37936 kB
Inactive:       126040 kB
HighTotal:      131008 kB
HighFree:         5628 kB
LowTotal:       903652 kB
LowFree:        841596 kB
SwapTotal:     2097136 kB
SwapFree:      2096964 kB
Dirty:             168 kB
Writeback:           0 kB
Mapped:           7148 kB
Slab:            17588 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 01:45:47 (client local time) WITH STATUS 0 IN 906.747 SECONDS
stats: 13627 7 906.747 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 319 variables and 6 constraints.
c After prepocess the problem consists of 319 variables and 6 constraints.
c preprocess terminated 0.241 s
c Initial Lower Bound: 57
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 642 @ 0.259
c NEW SOLUTION FOUND: 638 @ 0.262
c NEW SOLUTION FOUND: 632 @ 0.266
c NEW SOLUTION FOUND: 623 @ 0.27
c NEW SOLUTION FOUND: 622 @ 0.274
c NEW SOLUTION FOUND: 620 @ 0.279
c NEW SOLUTION FOUND: 618 @ 0.284
c NEW SOLUTION FOUND: 555 @ 0.287
c NEW SOLUTION FOUND: 536 @ 0.301
c NEW SOLUTION FOUND: 533 @ 0.33
c NEW SOLUTION FOUND: 531 @ 0.367
c NEW SOLUTION FOUND: 468 @ 0.392
c NEW SOLUTION FOUND: 467 @ 0.491
c NEW SOLUTION FOUND: 466 @ 0.55
c NEW SOLUTION FOUND: 464 @ 0.778
c NEW SOLUTION FOUND: 463 @ 1.034
c NEW SOLUTION FOUND: 460 @ 1.337
c NEW SOLUTION FOUND: 450 @ 1.489
c NEW SOLUTION FOUND: 449 @ 2.387
c NEW SOLUTION FOUND: 448 @ 2.874
c NEW SOLUTION FOUND: 447 @ 3.201
c NEW SOLUTION FOUND: 437 @ 3.887
c NEW SOLUTION FOUND: 436 @ 4.495
c NEW SOLUTION FOUND: 418 @ 5.084
c NEW SOLUTION FOUND: 392 @ 10.159
c NEW SOLUTION FOUND: 377 @ 14.243
c NEW SOLUTION FOUND: 376 @ 46.096
c NEW SOLUTION FOUND: 369 @ 129.729
c NEW SOLUTION FOUND: 364 @ 203.828
c NEW SOLUTION FOUND: 362 @ 255.48
c NEW SOLUTION FOUND: 361 @ 379.464
c NEW SOLUTION FOUND: 360 @ 497.727
#### 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.92 0.95 0.90 2/55 14474
Raw data (stat): 14474 (runsolver) R 14473 8378 8377 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 719855566 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 6218 0 0 0 983 15 0 0 25 0 1 0 719855566 29200384 6190 4294967295 134512640 134714540 3221224592 3221222872 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7129 6192 1111 63 0 7066 0
vsize: 28516
[startup+20.0005 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 9675 0 0 0 1973 25 0 0 25 0 1 0 719855566 43663360 9630 4294967295 134512640 134714540 3221224592 3221223336 134536877 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10660 9630 1111 63 0 10597 0
vsize: 42640
[startup+30.0013 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 13499 0 0 0 2964 34 0 0 25 0 1 0 719855566 59719680 13424 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14580 13424 1111 63 0 14517 0
vsize: 58320
[startup+40.0012 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 16071 0 0 0 3958 40 0 0 25 0 1 0 719855566 70471680 15966 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17205 15966 1111 63 0 17142 0
vsize: 68820
[startup+50.0009 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 16605 0 0 0 4957 41 0 0 25 0 1 0 719855566 72773632 16495 4294967295 134512640 134714540 3221224592 3221223476 134621538 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17767 16495 1111 63 0 17704 0
vsize: 71068
[startup+60.0008 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 17642 0 0 0 5953 45 0 0 25 0 1 0 719855566 77107200 17514 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18825 17514 1111 63 0 18762 0
vsize: 75300
[startup+70.0015 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 20286 0 0 0 6946 51 0 0 25 0 1 0 719855566 88207360 20129 4294967295 134512640 134714540 3221224592 3221223464 134536921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21535 20129 1111 63 0 21472 0
vsize: 86140
[startup+80.0022 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 20878 0 0 0 7944 53 0 0 25 0 1 0 719855566 90681344 20716 4294967295 134512640 134714540 3221224592 3221223464 134536921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22139 20716 1111 63 0 22076 0
vsize: 88556
[startup+90.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 22877 0 0 0 8939 59 0 0 25 0 1 0 719855566 99184640 22687 4294967295 134512640 134714540 3221224592 3221223332 134604483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24215 22687 1111 63 0 24152 0
vsize: 96860
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 25540 0 0 0 9931 67 0 0 25 0 1 0 719855566 110444544 25307 4294967295 134512640 134714540 3221224592 3221223468 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26964 25307 1111 63 0 26901 0
vsize: 107856
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 31208 0 0 0 10918 80 0 0 25 0 1 0 719855566 134328320 30878 4294967295 134512640 134714540 3221224592 3221223408 134622115 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32795 30878 1111 63 0 32732 0
vsize: 131180
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 35174 0 0 0 11908 90 0 0 25 0 1 0 719855566 149983232 34438 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36617 34438 1111 63 0 36554 0
vsize: 146468
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 37753 0 0 0 12903 96 0 0 25 0 1 0 719855566 160858112 36971 4294967295 134512640 134714540 3221224592 3221223168 134535448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39272 36971 1111 63 0 39209 0
vsize: 157088
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 39256 0 0 0 13898 101 0 0 25 0 1 0 719855566 166850560 38358 4294967295 134512640 134714540 3221224592 3221223488 134621504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40735 38358 1111 63 0 40672 0
vsize: 162940
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 39329 0 0 0 14898 101 0 0 25 0 1 0 719855566 167120896 38431 4294967295 134512640 134714540 3221224592 3221223052 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40801 38431 1111 63 0 40738 0
vsize: 163204
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 42081 0 0 0 15890 109 0 0 25 0 1 0 719855566 178634752 41118 4294967295 134512640 134714540 3221224592 3221223488 134621520 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43612 41118 1111 63 0 43549 0
vsize: 174448
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 43144 0 0 0 16887 112 0 0 25 0 1 0 719855566 182968320 42167 4294967295 134512640 134714540 3221224592 3221223328 134695837 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44670 42167 1111 63 0 44607 0
vsize: 178680
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 48244 0 0 0 17874 126 0 0 25 0 1 0 719855566 204546048 47144 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49938 47144 1111 63 0 49875 0
vsize: 199752
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 50215 0 0 0 18868 131 0 0 25 0 1 0 719855566 212619264 49096 4294967295 134512640 134714540 3221224592 3221223464 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51909 49096 1111 63 0 51846 0
vsize: 207636
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 53169 0 0 0 19861 139 0 0 25 0 1 0 719855566 224833536 52003 4294967295 134512640 134714540 3221224592 3221223476 134621657 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54891 52003 1111 63 0 54828 0
vsize: 219564
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 56291 0 0 0 20854 146 0 0 25 0 1 0 719855566 237797376 55076 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58056 55076 1111 63 0 57993 0
vsize: 232224
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 60451 0 0 0 21844 156 0 0 25 0 1 0 719855566 254337024 58727 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62094 58727 1111 63 0 62031 0
vsize: 248376
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 66274 0 0 0 22830 170 0 0 25 0 1 0 719855566 277913600 63856 4294967295 134512640 134714540 3221224592 3221223472 134621636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67850 63856 1111 63 0 67787 0
vsize: 271400
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 71459 0 0 0 23816 184 0 0 25 0 1 0 719855566 298823680 68901 4294967295 134512640 134714540 3221224592 3221223112 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72955 68901 1111 63 0 72892 0
vsize: 291820
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 74875 0 0 0 24808 192 0 0 25 0 1 0 719855566 312201216 71989 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76221 71989 1111 63 0 76158 0
vsize: 304884
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 77901 0 0 0 25800 200 0 0 25 0 1 0 719855566 324333568 74890 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79183 74890 1111 63 0 79120 0
vsize: 316732
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 83349 0 0 0 26787 213 0 0 25 0 1 0 719855566 347193344 80110 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84764 80110 1111 63 0 84701 0
vsize: 339056
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 85382 0 0 0 27781 220 0 0 25 0 1 0 719855566 355168256 81882 4294967295 134512640 134714540 3221224592 3221223104 134542300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86711 81882 1111 63 0 86648 0
vsize: 346844
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 90547 0 0 0 28769 232 0 0 25 0 1 0 719855566 376086528 86721 4294967295 134512640 134714540 3221224592 3221223488 134621561 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91818 86721 1111 63 0 91755 0
vsize: 367272
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 92905 0 0 0 29763 239 0 0 25 0 1 0 719855566 385601536 89046 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94141 89046 1111 63 0 94078 0
vsize: 376564
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 97246 0 0 0 30754 247 0 0 25 0 1 0 719855566 403476480 93056 4294967295 134512640 134714540 3221224592 3221223216 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 98505 93056 1111 63 0 98442 0
vsize: 394020
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 100157 0 0 0 31746 256 0 0 25 0 1 0 719855566 415567872 95904 4294967295 134512640 134714540 3221224592 3221223472 134621636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 101457 95904 1111 63 0 101394 0
vsize: 405828
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 103561 0 0 0 32737 265 0 0 25 0 1 0 719855566 429563904 98994 4294967295 134512640 134714540 3221224592 3221223184 134613431 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 104874 98994 1111 63 0 104811 0
vsize: 419496
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 107306 0 0 0 33730 272 0 0 25 0 1 0 719855566 444432384 102536 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108504 102536 1111 63 0 108441 0
vsize: 434016
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 110213 0 0 0 34723 280 0 0 25 0 1 0 719855566 456355840 105218 4294967295 134512640 134714540 3221224592 3221223464 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111415 105218 1111 63 0 111352 0
vsize: 445660
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 113770 0 0 0 35715 287 0 0 25 0 1 0 719855566 470953984 108615 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 114979 108615 1111 63 0 114916 0
vsize: 459916
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 115557 0 0 0 36711 292 0 0 25 0 1 0 719855566 478023680 110216 4294967295 134512640 134714540 3221224592 3221223080 134613965 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 116705 110216 1111 63 0 116642 0
vsize: 466820
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 117860 0 0 0 37706 297 0 0 25 0 1 0 719855566 487256064 112316 4294967295 134512640 134714540 3221224592 3221223224 134523851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 118959 112316 1111 63 0 118896 0
vsize: 475836
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 119047 0 0 0 38702 301 0 0 25 0 1 0 719855566 492126208 113486 4294967295 134512640 134714540 3221224592 3221223464 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 120148 113486 1111 63 0 120085 0
vsize: 480592
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 120602 0 0 0 39699 304 0 0 25 0 1 0 719855566 498208768 115033 4294967295 134512640 134714540 3221224592 3221223336 134536877 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121633 115033 1111 63 0 121570 0
vsize: 486532
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 122919 0 0 0 40692 311 0 0 25 0 1 0 719855566 506200064 116951 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 123584 116951 1111 63 0 123521 0
vsize: 494336
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 124964 0 0 0 41687 316 0 0 25 0 1 0 719855566 514330624 118809 4294967295 134512640 134714540 3221224592 3221223168 134535439 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125569 118809 1111 63 0 125506 0
vsize: 502276
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 128213 0 0 0 42681 322 0 0 25 0 1 0 719855566 525905920 121484 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 128395 121484 1111 63 0 128332 0
vsize: 513580
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 129035 0 0 0 43679 325 0 0 25 0 1 0 719855566 529281024 122288 4294967295 134512640 134714540 3221224592 3221223472 134621542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 129219 122288 1111 63 0 129156 0
vsize: 516876
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 130397 0 0 0 44677 327 0 0 25 0 1 0 719855566 534626304 123456 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 130524 123456 1111 63 0 130461 0
vsize: 522096
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 131683 0 0 0 45673 331 0 0 25 0 1 0 719855566 539774976 124647 4294967295 134512640 134714540 3221224592 3221223476 134621630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131781 124647 1111 63 0 131718 0
vsize: 527124
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 132753 0 0 0 46671 333 0 0 25 0 1 0 719855566 544145408 125695 4294967295 134512640 134714540 3221224592 3221223244 1077374497 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 132848 125695 1111 63 0 132785 0
vsize: 531392
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 133855 0 0 0 47669 336 0 0 25 0 1 0 719855566 548995072 126676 4294967295 134512640 134714540 3221224592 3221223184 134535146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134032 126681 1111 63 0 133969 0
vsize: 536128
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 135698 0 0 0 48664 340 0 0 25 0 1 0 719855566 555626496 127702 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 135651 127702 1111 63 0 135588 0
vsize: 542604
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 137268 0 0 0 49661 344 0 0 25 0 1 0 719855566 560795648 128939 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 136913 128939 1111 63 0 136850 0
vsize: 547652
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 137918 0 0 0 50659 346 0 0 25 0 1 0 719855566 563294208 129503 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 137523 129503 1111 63 0 137460 0
vsize: 550092
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 138182 0 0 0 51659 347 0 0 25 0 1 0 719855566 564240384 129767 4294967295 134512640 134714540 3221224592 3221223464 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 137754 129767 1111 63 0 137691 0
vsize: 551016
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 138292 0 0 0 52658 347 0 0 25 0 1 0 719855566 564645888 129875 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 137853 129875 1111 63 0 137790 0
vsize: 551412
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 139199 0 0 0 53656 350 0 0 25 0 1 0 719855566 568209408 130608 4294967295 134512640 134714540 3221224592 3221223472 134621636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 138723 130608 1111 63 0 138660 0
vsize: 554892
[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 139752 0 0 0 54654 351 0 0 25 0 1 0 719855566 570372096 131161 4294967295 134512640 134714540 3221224592 3221223488 134621504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 139251 131161 1111 63 0 139188 0
vsize: 557004
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 139755 0 0 0 55654 351 0 0 25 0 1 0 719855566 570372096 131164 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 139251 131164 1111 63 0 139188 0
vsize: 557004
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 139763 0 0 0 56654 351 0 0 25 0 1 0 719855566 570372096 131172 4294967295 134512640 134714540 3221224592 3221223488 134621520 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 139251 131172 1111 63 0 139188 0
vsize: 557004
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 139767 0 0 0 57655 351 0 0 25 0 1 0 719855566 570507264 131176 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 139284 131176 1111 63 0 139221 0
vsize: 557136
[startup+590.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 139776 0 0 0 58655 351 0 0 25 0 1 0 719855566 570507264 131184 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 139284 131184 1111 63 0 139221 0
vsize: 557136
[startup+600.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 139776 0 0 0 59655 351 0 0 25 0 1 0 719855566 570507264 131184 4294967295 134512640 134714540 3221224592 3221223184 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 139284 131184 1111 63 0 139221 0
vsize: 557136
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 139776 0 0 0 60655 351 0 0 25 0 1 0 719855566 570507264 131184 4294967295 134512640 134714540 3221224592 3221223052 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 139284 131184 1111 63 0 139221 0
vsize: 557136
[startup+620.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 141660 0 0 0 61650 357 0 0 25 0 1 0 719855566 577679360 132902 4294967295 134512640 134714540 3221224592 3221223464 134536906 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 141035 132902 1111 63 0 140972 0
vsize: 564140
[startup+630.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 145149 0 0 0 62639 368 0 0 25 0 1 0 719855566 591699968 136187 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 144458 136187 1111 63 0 144395 0
vsize: 577832
[startup+640.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 148649 0 0 0 63630 377 0 0 25 0 1 0 719855566 605224960 139266 4294967295 134512640 134714540 3221224592 3221223072 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 147760 139266 1111 63 0 147697 0
vsize: 591040
[startup+650.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 150874 0 0 0 64625 382 0 0 25 0 1 0 719855566 614400000 141453 4294967295 134512640 134714540 3221224592 3221223168 134535419 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 150000 141453 1111 63 0 149937 0
vsize: 600000
[startup+660.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 156364 0 0 0 65610 398 0 0 25 0 1 0 719855566 635678720 146354 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 155195 146354 1111 63 0 155132 0
vsize: 620780
[startup+670.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 159078 0 0 0 66603 405 0 0 25 0 1 0 719855566 645103616 148590 4294967295 134512640 134714540 3221224592 3221223464 134536921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 157496 148590 1111 63 0 157433 0
vsize: 629984
[startup+680.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 160335 0 0 0 67599 409 0 0 25 0 1 0 719855566 649891840 149763 4294967295 134512640 134714540 3221224592 3221223488 134621648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 158665 149763 1111 63 0 158602 0
vsize: 634660
[startup+690.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 161218 0 0 0 68597 411 0 0 25 0 1 0 719855566 653193216 150564 4294967295 134512640 134714540 3221224592 3221222872 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 159504 150565 1111 63 0 159441 0
vsize: 637884
[startup+700.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 167120 0 0 0 69581 427 0 0 25 0 1 0 719855566 676298752 156039 4294967295 134512640 134714540 3221224592 3221223168 134539559 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 165112 156039 1111 63 0 165049 0
vsize: 660448
[startup+710.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 170949 0 0 0 70573 436 0 0 25 0 1 0 719855566 691736576 159469 4294967295 134512640 134714540 3221224592 3221223464 134543589 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 168881 159469 1111 63 0 168818 0
vsize: 675524
[startup+720.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 173680 0 0 0 71567 441 0 0 25 0 1 0 719855566 702652416 162011 4294967295 134512640 134714540 3221224592 3221223468 134536922 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 171546 162011 1111 63 0 171483 0
vsize: 686184
[startup+730.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 174987 0 0 0 72564 445 0 0 25 0 1 0 719855566 707760128 163311 4294967295 134512640 134714540 3221224592 3221223464 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 172793 163311 1111 63 0 172730 0
vsize: 691172
[startup+740.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 177253 0 0 0 73558 451 0 0 25 0 1 0 719855566 716955648 165550 4294967295 134512640 134714540 3221224592 3221223464 134536921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 175038 165550 1111 63 0 174975 0
vsize: 700152
[startup+750.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 182474 0 0 0 74546 464 0 0 25 0 1 0 719855566 737218560 169908 4294967295 134512640 134714540 3221224592 3221223112 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179985 169909 1111 63 0 179922 0
vsize: 719940
[startup+760.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 187306 0 0 0 75536 474 0 0 25 0 1 0 719855566 757256192 174453 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 184877 174453 1111 63 0 184814 0
vsize: 739508
[startup+770.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 188120 0 0 0 76534 476 0 0 25 0 1 0 719855566 760430592 175258 4294967295 134512640 134714540 3221224592 3221223208 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 185652 175258 1111 63 0 185589 0
vsize: 742608
[startup+780.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 193090 0 0 0 77522 488 0 0 25 0 1 0 719855566 779149312 179164 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 190222 179164 1111 63 0 190159 0
vsize: 760888
[startup+790.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 199528 0 0 0 78505 505 0 0 25 0 1 0 719855566 803885056 185009 4294967295 134512640 134714540 3221224592 3221223464 134543606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 196261 185009 1111 63 0 196198 0
vsize: 785044
[startup+800.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 204645 0 0 0 79494 517 0 0 25 0 1 0 719855566 823803904 189590 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 201124 189590 1111 63 0 201061 0
vsize: 804496
[startup+810.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 208323 0 0 0 80485 526 0 0 25 0 1 0 719855566 837963776 192931 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 204581 192931 1111 63 0 204518 0
vsize: 818324
[startup+820.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 211064 0 0 0 81477 534 0 0 25 0 1 0 719855566 848617472 195490 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207182 195490 1111 63 0 207119 0
vsize: 828728
[startup+830.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 211345 0 0 0 82477 534 0 0 25 0 1 0 719855566 849698816 195771 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207446 195771 1111 63 0 207383 0
vsize: 829784
[startup+840.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 211345 0 0 0 83477 534 0 0 25 0 1 0 719855566 849698816 195771 4294967295 134512640 134714540 3221224592 3221223464 134536894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207446 195771 1111 63 0 207383 0
vsize: 829784
[startup+850.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 212413 0 0 0 84474 537 0 0 25 0 1 0 719855566 853733376 196677 4294967295 134512640 134714540 3221224592 3221223468 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 208431 196677 1111 63 0 208368 0
vsize: 833724
[startup+860.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 217453 0 0 0 85461 551 0 0 25 0 1 0 719855566 873316352 201121 4294967295 134512640 134714540 3221224592 3221223472 134621539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 213212 201121 1111 63 0 213149 0
vsize: 852848
[startup+870.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 221375 0 0 0 86452 560 0 0 25 0 1 0 719855566 888827904 204579 4294967295 134512640 134714540 3221224592 3221223464 134536894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 216999 204579 1111 63 0 216936 0
vsize: 867996
[startup+880.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 224397 0 0 0 87443 569 0 0 25 0 1 0 719855566 900640768 207433 4294967295 134512640 134714540 3221224592 3221223464 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 219883 207433 1111 63 0 219820 0
vsize: 879532
[startup+890.018 s]
Raw data (loadavg): 0.99 0.97 0.91 3/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 2048 228969 0 0 0 88431 580 0 0 25 0 1 0 719855566 918536192 211739 4294967295 134512640 134714540 3221224592 3221223112 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 224252 211739 1111 63 0 224189 0
vsize: 897008
[startup+900.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 232549 0 0 0 89418 593 0 0 25 0 1 0 719855566 932306944 214930 4294967295 134512640 134714540 3221224592 3221223280 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 227614 214930 1111 63 0 227551 0
vsize: 910456
[startup+906.7 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 14474
Raw data (stat): 14474 (bsolo_mis) R 14473 8378 8377 0 -1 0 232549 0 0 0 89418 593 0 0 25 0 1 0 719855566 932306944 214930 4294967295 134512640 134714540 3221224592 3221223280 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 227614 214930 1111 63 0 227551 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 906.699
CPU time (s): 906.747
CPU user time (s): 900.31
CPU system time (s): 6.43702
CPU usage (%): 100.005
Max. virtual memory (Kb): 910456
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####