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-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-mod008.opb
MD5SUM	fbdb3cf321a85412feefcaac30780520
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.01684
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 27445

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-05-24 21:54:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17020 boxname=wulflinc11 idbench=1310 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  fbdb3cf321a85412feefcaac30780520  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-mod008.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-mod008.opb
IDLAUNCH: 17020
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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.028
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:        888064 kB
Buffers:         22880 kB
Cached:          98200 kB
SwapCached:        640 kB
Active:          20564 kB
Inactive:       106436 kB
HighTotal:      131008 kB
HighFree:       103544 kB
LowTotal:       903652 kB
LowFree:        784520 kB
SwapTotal:     2097136 kB
SwapFree:      2095664 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5468 kB
Slab:            13868 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 22:09:22 (client local time) WITH STATUS 0 IN 905.211 SECONDS
stats: 17020 7 905.211 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.244 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.264
c NEW SOLUTION FOUND: 638 @ 0.267
c NEW SOLUTION FOUND: 632 @ 0.27
c NEW SOLUTION FOUND: 623 @ 0.275
c NEW SOLUTION FOUND: 622 @ 0.278
c NEW SOLUTION FOUND: 620 @ 0.283
c NEW SOLUTION FOUND: 618 @ 0.288
c NEW SOLUTION FOUND: 555 @ 0.291
c NEW SOLUTION FOUND: 536 @ 0.305
c NEW SOLUTION FOUND: 533 @ 0.334
c NEW SOLUTION FOUND: 531 @ 0.37
c NEW SOLUTION FOUND: 468 @ 0.395
c NEW SOLUTION FOUND: 467 @ 0.492
c NEW SOLUTION FOUND: 466 @ 0.551
c NEW SOLUTION FOUND: 464 @ 0.776
c NEW SOLUTION FOUND: 463 @ 1.029
c NEW SOLUTION FOUND: 460 @ 1.332
c NEW SOLUTION FOUND: 450 @ 1.485
c NEW SOLUTION FOUND: 449 @ 2.389
c NEW SOLUTION FOUND: 448 @ 2.88
c NEW SOLUTION FOUND: 447 @ 3.205
c NEW SOLUTION FOUND: 437 @ 3.889
c NEW SOLUTION FOUND: 436 @ 4.496
c NEW SOLUTION FOUND: 418 @ 5.093
c NEW SOLUTION FOUND: 392 @ 10.179
c NEW SOLUTION FOUND: 377 @ 14.224
c NEW SOLUTION FOUND: 376 @ 46.171
c NEW SOLUTION FOUND: 369 @ 129.929
c NEW SOLUTION FOUND: 364 @ 203.928
c NEW SOLUTION FOUND: 362 @ 255.45
c NEW SOLUTION FOUND: 361 @ 379.15
c NEW SOLUTION FOUND: 360 @ 497.388
#### 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.97 0.97 2/54 31242
Raw data (stat): 31242 (runsolver) R 31241 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 775409581 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 0.93 0.97 0.97 2/54 31242
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 6210 0 0 0 981 17 0 0 25 0 1 0 775409581 29200384 6182 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7129 6182 1111 63 0 7066 0
vsize: 28516
[startup+20.0015 s]
Raw data (loadavg): 0.94 0.97 0.97 2/54 31242
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 9675 0 0 0 1972 26 0 0 25 0 1 0 775409581 43663360 9630 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10660 9630 1111 63 0 10597 0
vsize: 42640
[startup+30.001 s]
Raw data (loadavg): 0.95 0.97 0.97 2/54 31242
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 13499 0 0 0 2963 34 0 0 25 0 1 0 775409581 59719680 13424 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14580 13424 1111 63 0 14517 0
vsize: 58320
[startup+40.0008 s]
Raw data (loadavg): 0.96 0.97 0.97 2/54 31242
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 16071 0 0 0 3956 41 0 0 25 0 1 0 775409581 70471680 15966 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17205 15966 1111 63 0 17142 0
vsize: 68820
[startup+50.0009 s]
Raw data (loadavg): 0.96 0.97 0.97 2/54 31242
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 16605 0 0 0 4954 43 0 0 25 0 1 0 775409581 72773632 16495 4294967295 134512640 134714540 3221224592 3221223488 134621515 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.0013 s]
Raw data (loadavg): 0.97 0.97 0.97 2/54 31242
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 17624 0 0 0 5952 46 0 0 25 0 1 0 775409581 77107200 17496 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18825 17496 1111 63 0 18762 0
vsize: 75300
[startup+70.0011 s]
Raw data (loadavg): 0.97 0.97 0.97 2/54 31242
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 20286 0 0 0 6944 54 0 0 25 0 1 0 775409581 88207360 20129 4294967295 134512640 134714540 3221224592 3221223464 134536889 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21535 20129 1111 63 0 21472 0
vsize: 86140
[startup+80.0012 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 31242
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 20877 0 0 0 7942 56 0 0 25 0 1 0 775409581 90681344 20715 4294967295 134512640 134714540 3221224592 3221223168 134535383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22139 20715 1111 63 0 22076 0
vsize: 88556
[startup+90.0017 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 31242
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 22875 0 0 0 8937 61 0 0 25 0 1 0 775409581 99184640 22686 4294967295 134512640 134714540 3221224592 3221223464 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24215 22686 1111 63 0 24152 0
vsize: 96860
[startup+100.001 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 31242
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 25443 0 0 0 9930 69 0 0 25 0 1 0 775409581 110010368 25211 4294967295 134512640 134714540 3221224592 3221223288 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26858 25211 1111 63 0 26795 0
vsize: 107432
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 31242
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 31165 0 0 0 10914 84 0 0 25 0 1 0 775409581 134193152 30835 4294967295 134512640 134714540 3221224592 3221223240 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32762 30835 1111 63 0 32699 0
vsize: 131048
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31242
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 35157 0 0 0 11906 92 0 0 25 0 1 0 775409581 149848064 34421 4294967295 134512640 134714540 3221224592 3221223464 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36584 34421 1111 63 0 36521 0
vsize: 146336
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31242
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 37753 0 0 0 12899 99 0 0 25 0 1 0 775409581 160858112 36971 4294967295 134512640 134714540 3221224592 3221223184 134538795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39272 36971 1111 63 0 39209 0
vsize: 157088
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31242
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 39256 0 0 0 13894 103 0 0 25 0 1 0 775409581 166850560 38358 4294967295 134512640 134714540 3221224592 3221223464 134543606 0 0 7 0 0 0 0 17 1 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.97 2/54 31242
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 39329 0 0 0 14894 104 0 0 25 0 1 0 775409581 167120896 38431 4294967295 134512640 134714540 3221224592 3221223052 134535956 0 0 7 0 0 0 0 17 1 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.97 2/54 31242
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 42081 0 0 0 15887 111 0 0 25 0 1 0 775409581 178634752 41118 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43612 41118 1111 63 0 43549 0
vsize: 174448
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31242
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 43084 0 0 0 16884 114 0 0 25 0 1 0 775409581 182697984 42107 4294967295 134512640 134714540 3221224592 3221223476 134621660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44604 42107 1111 63 0 44541 0
vsize: 178416
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31242
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 48198 0 0 0 17872 127 0 0 25 0 1 0 775409581 204275712 47098 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49872 47098 1111 63 0 49809 0
vsize: 199488
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31242
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 50209 0 0 0 18866 132 0 0 25 0 1 0 775409581 212619264 49090 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51909 49090 1111 63 0 51846 0
vsize: 207636
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31242
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 53104 0 0 0 19860 139 0 0 25 0 1 0 775409581 224546816 51938 4294967295 134512640 134714540 3221224592 3221222920 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54821 51939 1111 63 0 54758 0
vsize: 219284
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31242
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 56291 0 0 0 20852 147 0 0 25 0 1 0 775409581 237797376 55076 4294967295 134512640 134714540 3221224592 3221223464 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58056 55076 1111 63 0 57993 0
vsize: 232224
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31242
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 60384 0 0 0 21843 156 0 0 25 0 1 0 775409581 254066688 58660 4294967295 134512640 134714540 3221224592 3221223472 134621636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62028 58660 1111 63 0 61965 0
vsize: 248112
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31242
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 66273 0 0 0 22828 171 0 0 25 0 1 0 775409581 277913600 63855 4294967295 134512640 134714540 3221224592 3221223464 134543589 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67850 63855 1111 63 0 67787 0
vsize: 271400
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31242
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 71417 0 0 0 23818 182 0 0 25 0 1 0 775409581 298688512 68859 4294967295 134512640 134714540 3221224592 3221223184 134538795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72922 68859 1111 63 0 72859 0
vsize: 291688
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31242
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 74873 0 0 0 24811 189 0 0 25 0 1 0 775409581 312201216 71987 4294967295 134512640 134714540 3221224592 3221223104 134540339 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76221 71987 1111 63 0 76158 0
vsize: 304884
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31242
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 77901 0 0 0 25803 197 0 0 25 0 1 0 775409581 324333568 74890 4294967295 134512640 134714540 3221224592 3221223476 134621660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 79183 74890 1111 63 0 79120 0
vsize: 316732
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31242
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 83349 0 0 0 26792 208 0 0 25 0 1 0 775409581 347193344 80110 4294967295 134512640 134714540 3221224592 3221223384 134543179 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84764 80110 1111 63 0 84701 0
vsize: 339056
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31242
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 85383 0 0 0 27788 213 0 0 25 0 1 0 775409581 355168256 81883 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86711 81883 1111 63 0 86648 0
vsize: 346844
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31242
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 90547 0 0 0 28777 224 0 0 25 0 1 0 775409581 376086528 86721 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91818 86721 1111 63 0 91755 0
vsize: 367272
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31242
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 92930 0 0 0 29772 229 0 0 25 0 1 0 775409581 385736704 89071 4294967295 134512640 134714540 3221224592 3221223464 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94174 89071 1111 63 0 94111 0
vsize: 376696
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31242
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 97342 0 0 0 30764 237 0 0 25 0 1 0 775409581 403881984 93152 4294967295 134512640 134714540 3221224592 3221223328 134695235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 98604 93152 1111 63 0 98541 0
vsize: 394416
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31242
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 100360 0 0 0 31757 244 0 0 25 0 1 0 775409581 416378880 96107 4294967295 134512640 134714540 3221224592 3221223328 134695334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101655 96107 1111 63 0 101592 0
vsize: 406620
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31242
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 103563 0 0 0 32750 251 0 0 25 0 1 0 775409581 429563904 98996 4294967295 134512640 134714540 3221224592 3221223488 134621648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104874 98996 1111 63 0 104811 0
vsize: 419496
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31242
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 107306 0 0 0 33742 260 0 0 25 0 1 0 775409581 444432384 102536 4294967295 134512640 134714540 3221224592 3221223476 134621538 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 108504 102536 1111 63 0 108441 0
vsize: 434016
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.97 3/57 31289
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 110341 0 0 0 34735 267 0 0 25 0 1 0 775409581 456761344 105346 4294967295 134512640 134714540 3221224592 3221223464 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 111514 105346 1111 63 0 111451 0
vsize: 446056
[startup+360.014 s]
Raw data (loadavg): 1.07 0.99 0.98 2/54 31295
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 113770 0 0 0 35728 275 0 0 25 0 1 0 775409581 470953984 108615 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114979 108615 1111 63 0 114916 0
vsize: 459916
[startup+370.014 s]
Raw data (loadavg): 1.06 0.99 0.98 2/54 31295
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 115883 0 0 0 36724 279 0 0 25 0 1 0 775409581 479371264 110542 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 117034 110542 1111 63 0 116971 0
vsize: 468136
[startup+380.014 s]
Raw data (loadavg): 1.05 0.99 0.98 2/54 31295
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 117873 0 0 0 37719 284 0 0 25 0 1 0 775409581 487391232 112329 4294967295 134512640 134714540 3221224592 3221223464 134536894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 118992 112329 1111 63 0 118929 0
vsize: 475968
[startup+390.015 s]
Raw data (loadavg): 1.04 0.99 0.98 2/54 31295
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 119047 0 0 0 38716 285 0 0 25 0 1 0 775409581 492126208 113486 4294967295 134512640 134714540 3221224592 3221223064 1077377239 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.015 s]
Raw data (loadavg): 1.03 0.99 0.98 2/54 31295
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 120702 0 0 0 39711 290 0 0 25 0 1 0 775409581 498614272 115133 4294967295 134512640 134714540 3221224592 3221223476 134621538 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121732 115133 1111 63 0 121669 0
vsize: 486928
[startup+410.016 s]
Raw data (loadavg): 1.03 0.99 0.98 2/54 31295
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 122919 0 0 0 40707 295 0 0 25 0 1 0 775409581 506200064 116951 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 123584 116951 1111 63 0 123521 0
vsize: 494336
[startup+420.017 s]
Raw data (loadavg): 1.02 0.99 0.98 2/54 31297
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 125216 0 0 0 41702 300 0 0 25 0 1 0 775409581 515276800 119061 4294967295 134512640 134714540 3221224592 3221222920 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 125800 119063 1111 63 0 125737 0
vsize: 503200
[startup+430.016 s]
Raw data (loadavg): 1.02 0.99 0.98 2/54 31297
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 128213 0 0 0 42697 305 0 0 25 0 1 0 775409581 525905920 121484 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128395 121484 1111 63 0 128332 0
vsize: 513580
[startup+440.017 s]
Raw data (loadavg): 1.02 0.99 0.98 2/54 31297
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 129035 0 0 0 43696 306 0 0 25 0 1 0 775409581 529281024 122288 4294967295 134512640 134714540 3221224592 3221223476 134621538 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 129219 122288 1111 63 0 129156 0
vsize: 516876
[startup+450.016 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 31297
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 130402 0 0 0 44693 309 0 0 25 0 1 0 775409581 534761472 123461 4294967295 134512640 134714540 3221224592 3221223168 134535439 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 130557 123461 1111 63 0 130494 0
vsize: 522228
[startup+460.017 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 31297
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 131683 0 0 0 45690 312 0 0 25 0 1 0 775409581 539774976 124647 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131781 124647 1111 63 0 131718 0
vsize: 527124
[startup+470.018 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 31297
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 132753 0 0 0 46688 314 0 0 25 0 1 0 775409581 544145408 125695 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 132848 125695 1111 63 0 132785 0
vsize: 531392
[startup+480.017 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 31297
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 133991 0 0 0 47686 317 0 0 25 0 1 0 775409581 549621760 126805 4294967295 134512640 134714540 3221224592 3221223464 134536894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134185 126805 1111 63 0 134122 0
vsize: 536740
[startup+490.017 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31297
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 135934 0 0 0 48683 320 0 0 25 0 1 0 775409581 556572672 127938 4294967295 134512640 134714540 3221224592 3221223488 134621520 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 135882 127938 1111 63 0 135819 0
vsize: 543528
[startup+500.017 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31297
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 137268 0 0 0 49680 323 0 0 25 0 1 0 775409581 560795648 128939 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 136913 128939 1111 63 0 136850 0
vsize: 547652
[startup+510.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31297
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 137918 0 0 0 50679 324 0 0 25 0 1 0 775409581 563294208 129503 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 137523 129503 1111 63 0 137460 0
vsize: 550092
[startup+520.019 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31297
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 138187 0 0 0 51678 325 0 0 25 0 1 0 775409581 564240384 129772 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 137754 129772 1111 63 0 137691 0
vsize: 551016
[startup+530.019 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31297
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 138292 0 0 0 52678 325 0 0 25 0 1 0 775409581 564645888 129875 4294967295 134512640 134714540 3221224592 3221223476 134621538 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 137853 129875 1111 63 0 137790 0
vsize: 551412
[startup+540.019 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31297
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 139199 0 0 0 53677 327 0 0 25 0 1 0 775409581 568209408 130608 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 138723 130608 1111 63 0 138660 0
vsize: 554892
[startup+550.019 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31297
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 139752 0 0 0 54676 328 0 0 25 0 1 0 775409581 570372096 131161 4294967295 134512640 134714540 3221224592 3221223468 134536922 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 139251 131161 1111 63 0 139188 0
vsize: 557004
[startup+560.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31297
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 139761 0 0 0 55676 328 0 0 25 0 1 0 775409581 570372096 131170 4294967295 134512640 134714540 3221224592 3221223472 134621641 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 139251 131170 1111 63 0 139188 0
vsize: 557004
[startup+570.021 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31297
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 139763 0 0 0 56676 329 0 0 25 0 1 0 775409581 570372096 131172 4294967295 134512640 134714540 3221224592 3221223472 134621544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 139251 131172 1111 63 0 139188 0
vsize: 557004
[startup+580.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31297
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 139767 0 0 0 57676 329 0 0 25 0 1 0 775409581 570507264 131176 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 139284 131176 1111 63 0 139221 0
vsize: 557136
[startup+590.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31297
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 139776 0 0 0 58676 329 0 0 25 0 1 0 775409581 570507264 131184 4294967295 134512640 134714540 3221224592 3221223488 134621520 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 139284 131184 1111 63 0 139221 0
vsize: 557136
[startup+600.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31297
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 139776 0 0 0 59676 329 0 0 25 0 1 0 775409581 570507264 131184 4294967295 134512640 134714540 3221224592 3221223184 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 139284 131184 1111 63 0 139221 0
vsize: 557136
[startup+610.021 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31297
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 139776 0 0 0 60676 329 0 0 25 0 1 0 775409581 570507264 131184 4294967295 134512640 134714540 3221224592 3221223080 134543020 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 139284 131184 1111 63 0 139221 0
vsize: 557136
[startup+620.021 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31297
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 141847 0 0 0 61671 335 0 0 25 0 1 0 775409581 578490368 133089 4294967295 134512640 134714540 3221224592 3221223328 134604683 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 141233 133089 1111 63 0 141170 0
vsize: 564932
[startup+630.021 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31297
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 145596 0 0 0 62663 343 0 0 25 0 1 0 775409581 593301504 136470 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 144849 136470 1111 63 0 144786 0
vsize: 579396
[startup+640.021 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31297
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 148660 0 0 0 63657 349 0 0 25 0 1 0 775409581 605360128 139277 4294967295 134512640 134714540 3221224592 3221223488 134621520 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 147793 139277 1111 63 0 147730 0
vsize: 591172
[startup+650.021 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31297
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 150977 0 0 0 64652 354 0 0 25 0 1 0 775409581 614805504 141556 4294967295 134512640 134714540 3221224592 3221223472 134621636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 150099 141556 1111 63 0 150036 0
vsize: 600396
[startup+660.022 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31297
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 156364 0 0 0 65639 368 0 0 25 0 1 0 775409581 635678720 146354 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 155195 146354 1111 63 0 155132 0
vsize: 620780
[startup+670.021 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31297
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 159169 0 0 0 66632 374 0 0 25 0 1 0 775409581 645373952 148681 4294967295 134512640 134714540 3221224592 3221223464 134536901 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 157562 148681 1111 63 0 157499 0
vsize: 630248
[startup+680.021 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31297
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 160335 0 0 0 67629 378 0 0 25 0 1 0 775409581 649891840 149763 4294967295 134512640 134714540 3221224592 3221223476 134621538 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 158665 149763 1111 63 0 158602 0
vsize: 634660
[startup+690.022 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31297
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 161609 0 0 0 68626 381 0 0 25 0 1 0 775409581 654815232 150955 4294967295 134512640 134714540 3221224592 3221223464 134536921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 159867 150955 1111 63 0 159804 0
vsize: 639468
[startup+700.022 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31297
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 167414 0 0 0 69612 395 0 0 25 0 1 0 775409581 677445632 156324 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 165392 156324 1111 63 0 165329 0
vsize: 661568
[startup+710.023 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31297
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 171274 0 0 0 70602 405 0 0 25 0 1 0 775409581 693108736 159794 4294967295 134512640 134714540 3221224592 3221223232 134524198 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169216 159794 1111 63 0 169153 0
vsize: 676864
[startup+720.022 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31297
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 174024 0 0 0 71595 412 0 0 25 0 1 0 775409581 704028672 162355 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 171882 162355 1111 63 0 171819 0
vsize: 687528
[startup+730.022 s]
Raw data (loadavg): 1.16 1.02 0.99 2/54 31299
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 174987 0 0 0 72593 415 0 0 25 0 1 0 775409581 707760128 163311 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 172793 163311 1111 63 0 172730 0
vsize: 691172
[startup+740.022 s]
Raw data (loadavg): 1.13 1.02 0.99 2/54 31299
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 177253 0 0 0 73588 419 0 0 25 0 1 0 775409581 716955648 165550 4294967295 134512640 134714540 3221224592 3221223208 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 175038 165550 1111 63 0 174975 0
vsize: 700152
[startup+750.023 s]
Raw data (loadavg): 1.11 1.02 0.99 2/54 31299
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 183060 0 0 0 74575 433 0 0 25 0 1 0 775409581 739672064 170472 4294967295 134512640 134714540 3221224592 3221223344 134604472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 180584 170472 1111 63 0 180521 0
vsize: 722336
[startup+760.023 s]
Raw data (loadavg): 1.10 1.02 0.99 2/54 31299
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 187376 0 0 0 75566 442 0 0 25 0 1 0 775409581 757526528 174523 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 184943 174523 1111 63 0 184880 0
vsize: 739772
[startup+770.024 s]
Raw data (loadavg): 1.08 1.02 0.99 2/54 31299
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 188120 0 0 0 76563 445 0 0 25 0 1 0 775409581 760430592 175258 4294967295 134512640 134714540 3221224592 3221223052 134535891 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 185652 175258 1111 63 0 185589 0
vsize: 742608
[startup+780.024 s]
Raw data (loadavg): 1.07 1.02 0.99 2/54 31299
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 193734 0 0 0 77551 458 0 0 25 0 1 0 775409581 781647872 179799 4294967295 134512640 134714540 3221224592 3221223476 134621538 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 190832 179799 1111 63 0 190769 0
vsize: 763328
[startup+790.024 s]
Raw data (loadavg): 1.06 1.01 0.99 2/54 31299
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 199837 0 0 0 78534 474 0 0 25 0 1 0 775409581 805101568 185318 4294967295 134512640 134714540 3221224592 3221223464 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 196558 185318 1111 63 0 196495 0
vsize: 786232
[startup+800.024 s]
Raw data (loadavg): 1.05 1.01 0.99 2/54 31299
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 204733 0 0 0 79523 486 0 0 25 0 1 0 775409581 824209408 189678 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 201223 189678 1111 63 0 201160 0
vsize: 804892
[startup+810.025 s]
Raw data (loadavg): 1.04 1.01 0.99 2/54 31299
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 208638 0 0 0 80515 494 0 0 25 0 1 0 775409581 839180288 193246 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 204878 193246 1111 63 0 204815 0
vsize: 819512
[startup+820.025 s]
Raw data (loadavg): 1.03 1.01 0.99 2/54 31299
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 211100 0 0 0 81508 501 0 0 25 0 1 0 775409581 848752640 195526 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 207215 195526 1111 63 0 207152 0
vsize: 828860
[startup+830.025 s]
Raw data (loadavg): 1.03 1.01 0.99 2/54 31299
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 211345 0 0 0 82508 501 0 0 25 0 1 0 775409581 849698816 195771 4294967295 134512640 134714540 3221224592 3221223476 134621538 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 207446 195771 1111 63 0 207383 0
vsize: 829784
[startup+840.025 s]
Raw data (loadavg): 1.02 1.01 0.99 2/54 31299
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 211345 0 0 0 83508 501 0 0 25 0 1 0 775409581 849698816 195771 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 207446 195771 1111 63 0 207383 0
vsize: 829784
[startup+850.024 s]
Raw data (loadavg): 1.02 1.01 0.99 2/54 31299
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 213330 0 0 0 84503 507 0 0 25 0 1 0 775409581 857448448 197585 4294967295 134512640 134714540 3221224592 3221223476 134621538 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 209338 197585 1111 63 0 209275 0
vsize: 837352
[startup+860.025 s]
Raw data (loadavg): 1.02 1.01 0.99 2/54 31299
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 217811 0 0 0 85492 518 0 0 25 0 1 0 775409581 874733568 201470 4294967295 134512640 134714540 3221224592 3221223464 134536921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 213558 201470 1111 63 0 213495 0
vsize: 854232
[startup+870.025 s]
Raw data (loadavg): 1.01 1.01 0.99 2/54 31299
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 221734 0 0 0 86484 526 0 0 25 0 1 0 775409581 890314752 204938 4294967295 134512640 134714540 3221224592 3221222872 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 217362 204938 1111 63 0 217299 0
vsize: 869448
[startup+880.025 s]
Raw data (loadavg): 1.01 1.01 0.99 2/54 31299
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 224892 0 0 0 87476 534 0 0 25 0 1 0 775409581 902533120 207928 4294967295 134512640 134714540 3221224592 3221223464 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 220345 207928 1111 63 0 220282 0
vsize: 881380
[startup+890.026 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 31299
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 229621 0 0 0 88466 545 0 0 25 0 1 0 775409581 921108480 212391 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 224880 212391 1111 63 0 224817 0
vsize: 899520
[startup+900.025 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 31299
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 233748 0 0 0 89455 556 0 0 25 0 1 0 775409581 937082880 216172 4294967295 134512640 134714540 3221224592 3221223256 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 228780 216173 1111 63 0 228717 0
vsize: 915120
[startup+905.122 s]
Raw data (loadavg): 1.01 1.00 0.99 1/53 31299
Raw data (stat): 31242 (bsolo_mis) R 31241 25830 25829 0 -1 0 233748 0 0 0 89455 556 0 0 25 0 1 0 775409581 937082880 216172 4294967295 134512640 134714540 3221224592 3221223256 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 228780 216173 1111 63 0 228717 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 905.122
CPU time (s): 905.211
CPU user time (s): 899.203
CPU system time (s): 6.00809
CPU usage (%): 100.01
Max. virtual memory (Kb): 915120
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####