PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/een/normalized-p0548.opb
MD5SUM	422c0da7d5380a26c4dac413428db5c9
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	14670
Optimality of the best value was proved	NO
Number of terms in the objective function	416
Biggest coefficient in the objective function	11000
Number of bits for the biggest coefficient in the objective function	14
Sum of the numbers in the objective function	96797
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	11000
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	96797
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1230.14
Number of variables	527
Total number of constraints	156
Number of constraints which are clauses	40
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	116
Minimum length of a constraint	2
Maximum length of a constraint	134
Trace number 25154

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-17 03:37:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5229 boxname=wulflinc31 idbench=403 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  422c0da7d5380a26c4dac413428db5c9  /oldhome/oroussel/tmp/wulflinc31/normalized-p0548.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-p0548.opb
IDLAUNCH: 5229
/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:        764476 kB
Buffers:         52124 kB
Cached:         188684 kB
SwapCached:       1952 kB
Active:         204800 kB
Inactive:        44932 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        764224 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            14608 kB
Committed_AS:    63820 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-17 03:57:38 (client local time) WITH STATUS 0 IN 1200.84 SECONDS
stats: 5229 7 1200.84 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 535 variables and 156 constraints.
c After prepocess the problem consists of 530 variables and 151 constraints.
c preprocess terminated 0.12 s
c Initial Lower Bound: 60
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
#### 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.91 0.97 0.96 2/55 21741
Raw data (stat): 21741 (runsolver) R 21740 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 766547394 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.0008 s]
Raw data (loadavg): 0.93 0.97 0.96 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 7709 0 0 0 976 21 0 0 25 0 1 0 766547394 35397632 7667 4294967295 134512640 134714540 3221221792 3221220504 134558490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8642 7667 1111 63 0 8579 0
vsize: 34568
[startup+20.0021 s]
Raw data (loadavg): 0.94 0.97 0.96 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 10061 0 0 0 1972 25 0 0 25 0 1 0 766547394 45768704 9972 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11174 9972 1111 63 0 11111 0
vsize: 44696
[startup+30.0027 s]
Raw data (loadavg): 0.95 0.97 0.96 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 11069 0 0 0 2968 29 0 0 25 0 1 0 766547394 49995776 10974 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12206 10974 1111 63 0 12143 0
vsize: 48824
[startup+40.0026 s]
Raw data (loadavg): 0.95 0.97 0.96 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 13577 0 0 0 3962 34 0 0 25 0 1 0 766547394 60067840 13476 4294967295 134512640 134714540 3221221792 3221220412 134536814 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14665 13476 1111 63 0 14602 0
vsize: 58660
[startup+50.004 s]
Raw data (loadavg): 0.96 0.97 0.96 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 15125 0 0 0 4958 39 0 0 25 0 1 0 766547394 66289664 15020 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16184 15020 1111 63 0 16121 0
vsize: 64736
[startup+60.0044 s]
Raw data (loadavg): 0.97 0.97 0.96 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 17730 0 0 0 5951 46 0 0 25 0 1 0 766547394 78422016 17475 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19146 17475 1111 63 0 19083 0
vsize: 76584
[startup+70.0054 s]
Raw data (loadavg): 0.97 0.97 0.96 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 19963 0 0 0 6947 51 0 0 25 0 1 0 766547394 87425024 19703 4294967295 134512640 134714540 3221221792 3221220516 134622883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21344 19703 1111 63 0 21281 0
vsize: 85376
[startup+80.0057 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 22791 0 0 0 7939 58 0 0 25 0 1 0 766547394 98889728 22506 4294967295 134512640 134714540 3221221792 3221220568 134543568 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24143 22506 1111 63 0 24080 0
vsize: 96572
[startup+90.0063 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 24414 0 0 0 8935 63 0 0 25 0 1 0 766547394 105447424 24119 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25744 24119 1111 63 0 25681 0
vsize: 102976
[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 25804 0 0 0 9931 67 0 0 25 0 1 0 766547394 111026176 25505 4294967295 134512640 134714540 3221221792 3221220528 134622873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27106 25505 1111 63 0 27043 0
vsize: 108424
[startup+110.008 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 28887 0 0 0 10925 73 0 0 25 0 1 0 766547394 123457536 28568 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30141 28568 1111 63 0 30078 0
vsize: 120564
[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 31002 0 0 0 11920 78 0 0 25 0 1 0 766547394 132120576 30675 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32256 30675 1111 63 0 32193 0
vsize: 129024
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 34259 0 0 0 12914 85 0 0 25 0 1 0 766547394 148680704 33610 4294967295 134512640 134714540 3221221792 3221220432 134538795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36299 33610 1111 63 0 36236 0
vsize: 145196
[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 35959 0 0 0 13909 90 0 0 25 0 1 0 766547394 155377664 35310 4294967295 134512640 134714540 3221221792 3221220520 134622752 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37934 35310 1111 63 0 37871 0
vsize: 151736
[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 39060 0 0 0 14901 98 0 0 25 0 1 0 766547394 167866368 38393 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40983 38393 1111 63 0 40920 0
vsize: 163932
[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 40362 0 0 0 15898 101 0 0 25 0 1 0 766547394 173281280 39682 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42305 39682 1111 63 0 42242 0
vsize: 169220
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 42323 0 0 0 16893 106 0 0 25 0 1 0 766547394 181518336 41616 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44316 41616 1111 63 0 44253 0
vsize: 177264
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 44596 0 0 0 17887 112 0 0 25 0 1 0 766547394 190640128 43880 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46543 43880 1111 63 0 46480 0
vsize: 186172
[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 45416 0 0 0 18885 114 0 0 25 0 1 0 766547394 194015232 44682 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47367 44682 1111 63 0 47304 0
vsize: 189468
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 45416 0 0 0 19885 114 0 0 25 0 1 0 766547394 194015232 44682 4294967295 134512640 134714540 3221221792 3221220504 134543133 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47367 44682 1111 63 0 47304 0
vsize: 189468
[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 45416 0 0 0 20885 115 0 0 25 0 1 0 766547394 194015232 44682 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47367 44682 1111 63 0 47304 0
vsize: 189468
[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 45416 0 0 0 21884 115 0 0 25 0 1 0 766547394 194015232 44682 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47367 44682 1111 63 0 47304 0
vsize: 189468
[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 45416 0 0 0 22884 115 0 0 25 0 1 0 766547394 194015232 44682 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47367 44682 1111 63 0 47304 0
vsize: 189468
[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 45416 0 0 0 23884 116 0 0 25 0 1 0 766547394 194015232 44682 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47367 44682 1111 63 0 47304 0
vsize: 189468
[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 47456 0 0 0 24880 120 0 0 25 0 1 0 766547394 202391552 46704 4294967295 134512640 134714540 3221221792 3221220516 134622785 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49412 46704 1111 63 0 49349 0
vsize: 197648
[startup+260.016 s]
Raw data (loadavg): 1.07 0.99 0.96 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 48309 0 0 0 25879 122 0 0 25 0 1 0 766547394 205701120 47548 4294967295 134512640 134714540 3221221792 3221220508 134543156 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50220 47548 1111 63 0 50157 0
vsize: 200880
[startup+270.016 s]
Raw data (loadavg): 1.06 0.99 0.96 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 48309 0 0 0 26878 122 0 0 25 0 1 0 766547394 205701120 47548 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50220 47548 1111 63 0 50157 0
vsize: 200880
[startup+280.016 s]
Raw data (loadavg): 1.05 0.99 0.96 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 48309 0 0 0 27878 122 0 0 25 0 1 0 766547394 205701120 47548 4294967295 134512640 134714540 3221221792 3221220568 134542416 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50220 47548 1111 63 0 50157 0
vsize: 200880
[startup+290.017 s]
Raw data (loadavg): 1.04 0.99 0.96 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 48309 0 0 0 28878 123 0 0 25 0 1 0 766547394 205701120 47548 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50220 47548 1111 63 0 50157 0
vsize: 200880
[startup+300.018 s]
Raw data (loadavg): 1.03 0.99 0.96 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 48309 0 0 0 29878 123 0 0 25 0 1 0 766547394 205701120 47548 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50220 47548 1111 63 0 50157 0
vsize: 200880
[startup+310.019 s]
Raw data (loadavg): 1.03 0.99 0.96 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 48309 0 0 0 30878 123 0 0 25 0 1 0 766547394 205701120 47548 4294967295 134512640 134714540 3221221792 3221220584 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50220 47548 1111 63 0 50157 0
vsize: 200880
[startup+320.019 s]
Raw data (loadavg): 1.10 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 48309 0 0 0 31878 123 0 0 25 0 1 0 766547394 205701120 47548 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50220 47548 1111 63 0 50157 0
vsize: 200880
[startup+330.02 s]
Raw data (loadavg): 1.16 1.02 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 49173 0 0 0 32876 125 0 0 25 0 1 0 766547394 209080320 48412 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51045 48412 1111 63 0 50982 0
vsize: 204180
[startup+340.021 s]
Raw data (loadavg): 1.14 1.02 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 50312 0 0 0 33873 128 0 0 25 0 1 0 766547394 213676032 49551 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52167 49551 1111 63 0 52104 0
vsize: 208668
[startup+350.021 s]
Raw data (loadavg): 1.11 1.02 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 50846 0 0 0 34872 130 0 0 25 0 1 0 766547394 215703552 50085 4294967295 134512640 134714540 3221221792 3221220664 134543606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52662 50085 1111 63 0 52599 0
vsize: 210648
[startup+360.022 s]
Raw data (loadavg): 1.10 1.02 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 51487 0 0 0 35870 132 0 0 25 0 1 0 766547394 218349568 50717 4294967295 134512640 134714540 3221221792 3221220480 134594336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53308 50717 1111 63 0 53245 0
vsize: 213232
[startup+370.022 s]
Raw data (loadavg): 1.08 1.02 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 52790 0 0 0 36867 135 0 0 25 0 1 0 766547394 223289344 51943 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54514 51943 1111 63 0 54451 0
vsize: 218056
[startup+380.022 s]
Raw data (loadavg): 1.07 1.01 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 53489 0 0 0 37865 137 0 0 25 0 1 0 766547394 225742848 52540 4294967295 134512640 134714540 3221221792 3221220512 134622884 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55113 52540 1111 63 0 55050 0
vsize: 220452
[startup+390.023 s]
Raw data (loadavg): 1.06 1.01 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 55595 0 0 0 38860 143 0 0 25 0 1 0 766547394 234201088 54619 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 57178 54619 1111 63 0 57115 0
vsize: 228712
[startup+400.024 s]
Raw data (loadavg): 1.05 1.01 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 56570 0 0 0 39858 145 0 0 25 0 1 0 766547394 238186496 55585 4294967295 134512640 134714540 3221221792 3221220520 134622857 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58151 55585 1111 63 0 58088 0
vsize: 232604
[startup+410.025 s]
Raw data (loadavg): 1.04 1.01 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 59170 0 0 0 40852 151 0 0 25 0 1 0 766547394 248639488 58163 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60703 58163 1111 63 0 60640 0
vsize: 242812
[startup+420.025 s]
Raw data (loadavg): 1.03 1.01 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 61607 0 0 0 41846 157 0 0 25 0 1 0 766547394 258375680 60587 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63080 60587 1111 63 0 63017 0
vsize: 252320
[startup+430.025 s]
Raw data (loadavg): 1.03 1.01 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 61617 0 0 0 42846 157 0 0 25 0 1 0 766547394 258375680 60597 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63080 60597 1111 63 0 63017 0
vsize: 252320
[startup+440.025 s]
Raw data (loadavg): 1.02 1.01 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 61617 0 0 0 43846 157 0 0 25 0 1 0 766547394 258375680 60597 4294967295 134512640 134714540 3221221792 3221220512 134622786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63080 60597 1111 63 0 63017 0
vsize: 252320
[startup+450.025 s]
Raw data (loadavg): 1.02 1.01 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 61617 0 0 0 44846 157 0 0 25 0 1 0 766547394 258375680 60597 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63080 60597 1111 63 0 63017 0
vsize: 252320
[startup+460.026 s]
Raw data (loadavg): 1.02 1.01 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 61617 0 0 0 45846 157 0 0 25 0 1 0 766547394 258375680 60597 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63080 60597 1111 63 0 63017 0
vsize: 252320
[startup+470.026 s]
Raw data (loadavg): 1.01 1.01 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 62481 0 0 0 46845 159 0 0 25 0 1 0 766547394 261976064 61448 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63959 61448 1111 63 0 63896 0
vsize: 255836
[startup+480.026 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 68391 0 0 0 47833 171 0 0 25 0 1 0 766547394 287719424 64716 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 70244 64716 1111 63 0 70181 0
vsize: 280976
[startup+490.026 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 68433 0 0 0 48833 171 0 0 25 0 1 0 766547394 287854592 64758 4294967295 134512640 134714540 3221221792 3221220508 134558493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 70277 64758 1111 63 0 70214 0
vsize: 281108
[startup+500.027 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 68433 0 0 0 49833 171 0 0 25 0 1 0 766547394 287854592 64758 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 70277 64758 1111 63 0 70214 0
vsize: 281108
[startup+510.028 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 68433 0 0 0 50834 171 0 0 25 0 1 0 766547394 287854592 64758 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 70277 64758 1111 63 0 70214 0
vsize: 281108
[startup+520.028 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 68433 0 0 0 51834 171 0 0 25 0 1 0 766547394 287854592 64758 4294967295 134512640 134714540 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 70277 64758 1111 63 0 70214 0
vsize: 281108
[startup+530.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 68433 0 0 0 52834 171 0 0 25 0 1 0 766547394 287854592 64758 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 70277 64758 1111 63 0 70214 0
vsize: 281108
[startup+540.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 69266 0 0 0 53832 174 0 0 25 0 1 0 766547394 291233792 65591 4294967295 134512640 134714540 3221221792 3221220568 134542416 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 71102 65591 1111 63 0 71039 0
vsize: 284408
[startup+550.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 70361 0 0 0 54828 177 0 0 25 0 1 0 766547394 295424000 66686 4294967295 134512640 134714540 3221221792 3221220120 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72125 66687 1111 63 0 72062 0
vsize: 288500
[startup+560.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 70938 0 0 0 55828 178 0 0 25 0 1 0 766547394 297721856 67263 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72686 67263 1111 63 0 72623 0
vsize: 290744
[startup+570.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 71282 0 0 0 56827 179 0 0 25 0 1 0 766547394 298938368 67607 4294967295 134512640 134714540 3221221792 3221220504 134558485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72983 67607 1111 63 0 72920 0
vsize: 291932
[startup+580.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 72748 0 0 0 57823 183 0 0 25 0 1 0 766547394 304750592 69073 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 74402 69073 1111 63 0 74339 0
vsize: 297608
[startup+590.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 73277 0 0 0 58822 184 0 0 25 0 1 0 766547394 306778112 69602 4294967295 134512640 134714540 3221221792 3221220572 134543569 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 74897 69602 1111 63 0 74834 0
vsize: 299588
[startup+600.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 73409 0 0 0 59822 185 0 0 25 0 1 0 766547394 307318784 69734 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75029 69734 1111 63 0 74966 0
vsize: 300116
[startup+610.031 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 73409 0 0 0 60822 185 0 0 25 0 1 0 766547394 307318784 69734 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75029 69734 1111 63 0 74966 0
vsize: 300116
[startup+620.031 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 73409 0 0 0 61822 185 0 0 25 0 1 0 766547394 307318784 69734 4294967295 134512640 134714540 3221221792 3221220504 134543191 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75029 69734 1111 63 0 74966 0
vsize: 300116
[startup+630.031 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 73409 0 0 0 62822 185 0 0 25 0 1 0 766547394 307318784 69734 4294967295 134512640 134714540 3221221792 3221220504 134558490 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75029 69734 1111 63 0 74966 0
vsize: 300116
[startup+640.032 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 73409 0 0 0 63822 185 0 0 25 0 1 0 766547394 307318784 69734 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75029 69734 1111 63 0 74966 0
vsize: 300116
[startup+650.032 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 73409 0 0 0 64822 185 0 0 25 0 1 0 766547394 307318784 69734 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75029 69734 1111 63 0 74966 0
vsize: 300116
[startup+660.032 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 73409 0 0 0 65823 185 0 0 25 0 1 0 766547394 307318784 69734 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75029 69734 1111 63 0 74966 0
vsize: 300116
[startup+670.032 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 73409 0 0 0 66823 185 0 0 25 0 1 0 766547394 307318784 69734 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75029 69734 1111 63 0 74966 0
vsize: 300116
[startup+680.032 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 73409 0 0 0 67823 185 0 0 25 0 1 0 766547394 307318784 69734 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75029 69734 1111 63 0 74966 0
vsize: 300116
[startup+690.032 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 73409 0 0 0 68823 185 0 0 25 0 1 0 766547394 307318784 69734 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75029 69734 1111 63 0 74966 0
vsize: 300116
[startup+700.032 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 73409 0 0 0 69823 185 0 0 25 0 1 0 766547394 307318784 69734 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75029 69734 1111 63 0 74966 0
vsize: 300116
[startup+710.033 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 73409 0 0 0 70823 185 0 0 25 0 1 0 766547394 307318784 69734 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75029 69734 1111 63 0 74966 0
vsize: 300116
[startup+720.033 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 73409 0 0 0 71823 185 0 0 25 0 1 0 766547394 307318784 69734 4294967295 134512640 134714540 3221221792 3221220608 134622556 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75029 69734 1111 63 0 74966 0
vsize: 300116
[startup+730.033 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 73409 0 0 0 72823 186 0 0 25 0 1 0 766547394 307318784 69734 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75029 69734 1111 63 0 74966 0
vsize: 300116
[startup+740.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 73409 0 0 0 73823 186 0 0 25 0 1 0 766547394 307318784 69734 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75029 69734 1111 63 0 74966 0
vsize: 300116
[startup+750.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 73409 0 0 0 74824 186 0 0 25 0 1 0 766547394 307318784 69734 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75029 69734 1111 63 0 74966 0
vsize: 300116
[startup+760.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 73409 0 0 0 75824 186 0 0 25 0 1 0 766547394 307318784 69734 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75029 69734 1111 63 0 74966 0
vsize: 300116
[startup+770.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 73409 0 0 0 76824 186 0 0 25 0 1 0 766547394 307318784 69734 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75029 69734 1111 63 0 74966 0
vsize: 300116
[startup+780.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 73409 0 0 0 77824 186 0 0 25 0 1 0 766547394 307318784 69734 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75029 69734 1111 63 0 74966 0
vsize: 300116
[startup+790.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 73409 0 0 0 78824 186 0 0 25 0 1 0 766547394 307318784 69734 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75029 69734 1111 63 0 74966 0
vsize: 300116
[startup+800.033 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 73409 0 0 0 79824 186 0 0 25 0 1 0 766547394 307318784 69734 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75029 69734 1111 63 0 74966 0
vsize: 300116
[startup+810.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 73409 0 0 0 80824 186 0 0 25 0 1 0 766547394 307318784 69734 4294967295 134512640 134714540 3221221792 3221220584 134536889 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75029 69734 1111 63 0 74966 0
vsize: 300116
[startup+820.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 75234 0 0 0 81819 192 0 0 25 0 1 0 766547394 314617856 71559 4294967295 134512640 134714540 3221221792 3221220516 134622859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 76811 71559 1111 63 0 76748 0
vsize: 307244
[startup+830.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 76260 0 0 0 82817 194 0 0 25 0 1 0 766547394 318603264 72576 4294967295 134512640 134714540 3221221792 3221220508 134558493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 77784 72576 1111 63 0 77721 0
vsize: 311136
[startup+840.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 78611 0 0 0 83811 200 0 0 25 0 1 0 766547394 327581696 74845 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 79976 74845 1111 63 0 79913 0
vsize: 319904
[startup+850.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 80930 0 0 0 84805 206 0 0 25 0 1 0 766547394 336789504 77069 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 82224 77069 1111 63 0 82161 0
vsize: 328896
[startup+860.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 81459 0 0 0 85803 208 0 0 25 0 1 0 766547394 338952192 77598 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 82752 77598 1111 63 0 82689 0
vsize: 331008
[startup+870.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 81459 0 0 0 86803 208 0 0 25 0 1 0 766547394 338952192 77598 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 82752 77598 1111 63 0 82689 0
vsize: 331008
[startup+880.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 81459 0 0 0 87803 208 0 0 25 0 1 0 766547394 338952192 77598 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 82752 77598 1111 63 0 82689 0
vsize: 331008
[startup+890.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 81459 0 0 0 88803 208 0 0 25 0 1 0 766547394 338952192 77598 4294967295 134512640 134714540 3221221792 3221220504 134558490 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 82752 77598 1111 63 0 82689 0
vsize: 331008
[startup+900.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 81459 0 0 0 89803 208 0 0 25 0 1 0 766547394 338952192 77598 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 82752 77598 1111 63 0 82689 0
vsize: 331008
[startup+910.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 81459 0 0 0 90803 208 0 0 25 0 1 0 766547394 338952192 77598 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 82752 77598 1111 63 0 82689 0
vsize: 331008
[startup+920.035 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 81459 0 0 0 91804 208 0 0 25 0 1 0 766547394 338952192 77598 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 82752 77598 1111 63 0 82689 0
vsize: 331008
[startup+930.035 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 81459 0 0 0 92804 208 0 0 25 0 1 0 766547394 338952192 77598 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 82752 77598 1111 63 0 82689 0
vsize: 331008
[startup+940.036 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 81459 0 0 0 93804 209 0 0 25 0 1 0 766547394 338952192 77598 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 82752 77598 1111 63 0 82689 0
vsize: 331008
[startup+950.036 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 81459 0 0 0 94804 209 0 0 25 0 1 0 766547394 338952192 77598 4294967295 134512640 134714540 3221221792 3221220508 134558493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 82752 77598 1111 63 0 82689 0
vsize: 331008
[startup+960.036 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 81459 0 0 0 95804 209 0 0 25 0 1 0 766547394 338952192 77598 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 82752 77598 1111 63 0 82689 0
vsize: 331008
[startup+970.037 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 81459 0 0 0 96804 209 0 0 25 0 1 0 766547394 338952192 77598 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 82752 77598 1111 63 0 82689 0
vsize: 331008
[startup+980.037 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 81459 0 0 0 97804 209 0 0 25 0 1 0 766547394 338952192 77598 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 82752 77598 1111 63 0 82689 0
vsize: 331008
[startup+990.037 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 81459 0 0 0 98804 209 0 0 25 0 1 0 766547394 338952192 77598 4294967295 134512640 134714540 3221221792 3221220528 134622873 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 82752 77598 1111 63 0 82689 0
vsize: 331008
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 81459 0 0 0 99805 209 0 0 25 0 1 0 766547394 338952192 77598 4294967295 134512640 134714540 3221221792 3221220504 134543179 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 82752 77598 1111 63 0 82689 0
vsize: 331008
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 81459 0 0 0 100805 209 0 0 25 0 1 0 766547394 338952192 77598 4294967295 134512640 134714540 3221221792 3221220584 134536900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 82752 77598 1111 63 0 82689 0
vsize: 331008
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 81459 0 0 0 101805 209 0 0 25 0 1 0 766547394 338952192 77598 4294967295 134512640 134714540 3221221792 3221220584 134536904 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 82752 77598 1111 63 0 82689 0
vsize: 331008
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 81459 0 0 0 102805 209 0 0 25 0 1 0 766547394 338952192 77598 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 82752 77598 1111 63 0 82689 0
vsize: 331008
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 81459 0 0 0 103805 209 0 0 25 0 1 0 766547394 338952192 77598 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 82752 77598 1111 63 0 82689 0
vsize: 331008
[startup+1050.28 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 81459 0 0 0 104829 209 0 0 25 0 1 0 766547394 338952192 77598 4294967295 134512640 134714540 3221221792 3221220576 134622506 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 82752 77598 1111 63 0 82689 0
vsize: 331008
[startup+1060.55 s]
Raw data (loadavg): 1.08 1.02 0.98 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 81459 0 0 0 105856 209 0 0 25 0 1 0 766547394 338952192 77598 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 82752 77598 1111 63 0 82689 0
vsize: 331008
[startup+1070.55 s]
Raw data (loadavg): 1.07 1.02 0.98 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 81459 0 0 0 106856 209 0 0 25 0 1 0 766547394 338952192 77598 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 82752 77598 1111 63 0 82689 0
vsize: 331008
[startup+1080.55 s]
Raw data (loadavg): 1.06 1.01 0.98 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 81459 0 0 0 107856 209 0 0 25 0 1 0 766547394 338952192 77598 4294967295 134512640 134714540 3221221792 3221220584 134536897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 82752 77598 1111 63 0 82689 0
vsize: 331008
[startup+1090.55 s]
Raw data (loadavg): 1.05 1.01 0.98 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 81459 0 0 0 108857 209 0 0 25 0 1 0 766547394 338952192 77598 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 82752 77598 1111 63 0 82689 0
vsize: 331008
[startup+1100.55 s]
Raw data (loadavg): 1.04 1.01 0.98 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 82348 0 0 0 109855 211 0 0 25 0 1 0 766547394 342331392 78487 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 83577 78487 1111 63 0 83514 0
vsize: 334308
[startup+1110.55 s]
Raw data (loadavg): 1.03 1.01 0.98 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 83737 0 0 0 110852 214 0 0 25 0 1 0 766547394 347660288 79708 4294967295 134512640 134714540 3221221792 3221220608 134622477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84878 79708 1111 63 0 84815 0
vsize: 339512
[startup+1120.55 s]
Raw data (loadavg): 1.03 1.01 0.98 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 84442 0 0 0 111850 216 0 0 25 0 1 0 766547394 350498816 80413 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85571 80413 1111 63 0 85508 0
vsize: 342284
[startup+1130.55 s]
Raw data (loadavg): 1.02 1.01 0.98 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 84529 0 0 0 112850 216 0 0 25 0 1 0 766547394 350904320 80500 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85670 80500 1111 63 0 85607 0
vsize: 342680
[startup+1140.55 s]
Raw data (loadavg): 1.02 1.01 0.98 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 84529 0 0 0 113850 217 0 0 25 0 1 0 766547394 350904320 80500 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85670 80500 1111 63 0 85607 0
vsize: 342680
[startup+1150.55 s]
Raw data (loadavg): 1.02 1.01 0.98 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 84529 0 0 0 114850 217 0 0 25 0 1 0 766547394 350904320 80500 4294967295 134512640 134714540 3221221792 3221220508 134543156 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85670 80500 1111 63 0 85607 0
vsize: 342680
[startup+1160.55 s]
Raw data (loadavg): 1.01 1.01 0.98 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 84529 0 0 0 115850 217 0 0 25 0 1 0 766547394 350904320 80500 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85670 80500 1111 63 0 85607 0
vsize: 342680
[startup+1170.55 s]
Raw data (loadavg): 1.01 1.01 0.98 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 84529 0 0 0 116850 217 0 0 25 0 1 0 766547394 350904320 80500 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85670 80500 1111 63 0 85607 0
vsize: 342680
[startup+1180.55 s]
Raw data (loadavg): 1.01 1.00 0.98 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 84529 0 0 0 117851 217 0 0 25 0 1 0 766547394 350904320 80500 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85670 80500 1111 63 0 85607 0
vsize: 342680
[startup+1190.55 s]
Raw data (loadavg): 1.01 1.00 0.98 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 84529 0 0 0 118851 217 0 0 25 0 1 0 766547394 350904320 80500 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85670 80500 1111 63 0 85607 0
vsize: 342680
[startup+1200.55 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 21741
Raw data (stat): 21741 (bsolo_mis) R 21740 7876 7672 0 -1 0 84529 0 0 0 119851 217 0 0 25 0 1 0 766547394 350904320 80500 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85670 80500 1111 63 0 85607 0
vsize: 342680
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.7 s]
Raw data (loadavg): 1.00 1.00 0.98 1/55 21741
Raw data (stat): 21741 (bsolo_mis) Z 21740 7876 7672 0 -1 1036 84529 0 0 0 119851 232 0 0 25 0 1 0 766547394 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.7
CPU time (s): 1200.84
CPU user time (s): 1198.51
CPU system time (s): 2.32465
CPU usage (%): 100.011
Max. virtual memory (Kb): 342680
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####