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-p0282.opb
MD5SUM	dd62132555621025f45a5a6099c90742
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	258411
Optimality of the best value was proved	NO
Number of terms in the objective function	282
Biggest coefficient in the objective function	160646
Number of bits for the biggest coefficient in the objective function	18
Sum of the numbers in the objective function	1302615
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	160646
Number of bits of the biggest number in a constraint	18
Biggest sum of numbers in a constraint	1302615
Number of bits of the biggest sum of numbers	21
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01884
Number of variables	282
Total number of constraints	221
Number of constraints which are clauses	177
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	44
Minimum length of a constraint	2
Maximum length of a constraint	57
Trace number 25084

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-16 15:53:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5047 boxname=wulflinc31 idbench=389 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  dd62132555621025f45a5a6099c90742  /oldhome/oroussel/tmp/wulflinc31/normalized-p0282.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-p0282.opb
IDLAUNCH: 5047
/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:        791300 kB
Buffers:         49320 kB
Cached:         171836 kB
SwapCached:       1952 kB
Active:         180328 kB
Inactive:        44016 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        791048 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            13200 kB
Committed_AS:    63820 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-16 16:13:28 (client local time) WITH STATUS 0 IN 1200.66 SECONDS
stats: 5047 7 1200.66 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 282 variables and 221 constraints.
c After prepocess the problem consists of 282 variables and 221 constraints.
c preprocess terminated 0.153 s
c Initial Lower Bound: 10
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 473269 @ 0.221
c NEW SOLUTION FOUND: 364126 @ 0.223
c NEW SOLUTION FOUND: 357183 @ 0.226
c NEW SOLUTION FOUND: 345421 @ 0.229
c NEW SOLUTION FOUND: 342320 @ 0.233
c NEW SOLUTION FOUND: 342162 @ 0.24
c NEW SOLUTION FOUND: 342134 @ 0.262
c NEW SOLUTION FOUND: 341941 @ 0.263
c NEW SOLUTION FOUND: 339671 @ 0.272
c NEW SOLUTION FOUND: 337950 @ 0.286
c NEW SOLUTION FOUND: 337412 @ 0.287
c NEW SOLUTION FOUND: 337378 @ 0.289
c NEW SOLUTION FOUND: 334056 @ 0.291
c NEW SOLUTION FOUND: 332925 @ 0.582
c NEW SOLUTION FOUND: 322412 @ 0.751
c NEW SOLUTION FOUND: 309990 @ 0.768
c NEW SOLUTION FOUND: 308439 @ 0.787
c NEW SOLUTION FOUND: 306169 @ 0.8
c NEW SOLUTION FOUND: 305105 @ 2.791
c NEW SOLUTION FOUND: 305071 @ 2.793
c NEW SOLUTION FOUND: 305050 @ 255.702
c NEW SOLUTION FOUND: 296805 @ 266.942
c NEW SOLUTION FOUND: 296607 @ 267.046
c NEW SOLUTION FOUND: 294473 @ 271.502
c NEW SOLUTION FOUND: 294275 @ 276.667
#### 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.99 2/55 14375
Raw data (stat): 14375 (runsolver) R 14374 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 762321977 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0006 s]
Raw data (loadavg): 0.93 0.97 0.99 2/55 14375
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 2033 0 0 0 992 4 0 0 25 0 1 0 762321977 11976704 2008 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2924 2008 1111 63 0 2861 0
vsize: 11696
[startup+20.0015 s]
Raw data (loadavg): 0.94 0.97 0.99 2/55 14375
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 2484 0 0 0 1991 6 0 0 25 0 1 0 762321977 13889536 2459 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3391 2459 1111 63 0 3328 0
vsize: 13564
[startup+30.0014 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 14375
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 2622 0 0 0 2990 6 0 0 25 0 1 0 762321977 14446592 2594 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3527 2594 1111 63 0 3464 0
vsize: 14108
[startup+40.0013 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 14375
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 2631 0 0 0 3990 6 0 0 25 0 1 0 762321977 14446592 2603 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3527 2603 1111 63 0 3464 0
vsize: 14108
[startup+50.0012 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 14375
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 2719 0 0 0 4990 7 0 0 25 0 1 0 762321977 14852096 2691 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3626 2691 1111 63 0 3563 0
vsize: 14504
[startup+60.0015 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 14375
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 2916 0 0 0 5990 7 0 0 25 0 1 0 762321977 15671296 2888 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3826 2888 1111 63 0 3763 0
vsize: 15304
[startup+70.0021 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 14375
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 2916 0 0 0 6990 7 0 0 25 0 1 0 762321977 15671296 2888 4294967295 134512640 134714540 3221221792 3221220504 134558490 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3826 2888 1111 63 0 3763 0
vsize: 15304
[startup+80.002 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 14375
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 2968 0 0 0 7990 7 0 0 25 0 1 0 762321977 15941632 2940 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3892 2940 1111 63 0 3829 0
vsize: 15568
[startup+90.002 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 14375
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 3364 0 0 0 8989 9 0 0 25 0 1 0 762321977 17563648 3335 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4288 3335 1111 63 0 4225 0
vsize: 17152
[startup+100.002 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 14375
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 3364 0 0 0 9989 9 0 0 25 0 1 0 762321977 17563648 3335 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4288 3335 1111 63 0 4225 0
vsize: 17152
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 14375
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 3364 0 0 0 10989 9 0 0 25 0 1 0 762321977 17563648 3335 4294967295 134512640 134714540 3221221792 3221220516 134622883 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4288 3335 1111 63 0 4225 0
vsize: 17152
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14375
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 3404 0 0 0 11989 9 0 0 25 0 1 0 762321977 17698816 3375 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4321 3375 1111 63 0 4258 0
vsize: 17284
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14375
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 3418 0 0 0 12989 9 0 0 25 0 1 0 762321977 17842176 3389 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4356 3389 1111 63 0 4293 0
vsize: 17424
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14375
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 3688 0 0 0 13989 9 0 0 25 0 1 0 762321977 18939904 3657 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4624 3657 1111 63 0 4561 0
vsize: 18496
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14375
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 3693 0 0 0 14989 9 0 0 25 0 1 0 762321977 18939904 3662 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4624 3662 1111 63 0 4561 0
vsize: 18496
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14375
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 3808 0 0 0 15989 10 0 0 25 0 1 0 762321977 19484672 3777 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4757 3777 1111 63 0 4694 0
vsize: 19028
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14375
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 4121 0 0 0 16988 11 0 0 25 0 1 0 762321977 20729856 4090 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5061 4090 1111 63 0 4998 0
vsize: 20244
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14375
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 4121 0 0 0 17988 11 0 0 25 0 1 0 762321977 20729856 4090 4294967295 134512640 134714540 3221221792 3221220584 134542414 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5061 4090 1111 63 0 4998 0
vsize: 20244
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14375
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 4121 0 0 0 18989 11 0 0 25 0 1 0 762321977 20729856 4090 4294967295 134512640 134714540 3221221792 3221220508 134543192 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5061 4090 1111 63 0 4998 0
vsize: 20244
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14375
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 4975 0 0 0 19987 12 0 0 25 0 1 0 762321977 24494080 4931 4294967295 134512640 134714540 3221221792 3221220504 134543133 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5980 4931 1111 63 0 5917 0
vsize: 23920
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14375
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 4975 0 0 0 20988 12 0 0 25 0 1 0 762321977 24494080 4931 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5980 4931 1111 63 0 5917 0
vsize: 23920
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14375
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 4975 0 0 0 21988 12 0 0 25 0 1 0 762321977 24494080 4931 4294967295 134512640 134714540 3221221792 3221220508 134543192 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5980 4931 1111 63 0 5917 0
vsize: 23920
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14375
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 4975 0 0 0 22988 12 0 0 25 0 1 0 762321977 24494080 4931 4294967295 134512640 134714540 3221221792 3221220516 134622811 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5980 4931 1111 63 0 5917 0
vsize: 23920
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14375
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 4975 0 0 0 23988 12 0 0 25 0 1 0 762321977 24494080 4931 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5980 4931 1111 63 0 5917 0
vsize: 23920
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14375
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 5161 0 0 0 24988 13 0 0 25 0 1 0 762321977 25190400 5114 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6150 5114 1111 63 0 6087 0
vsize: 24600
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14375
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 6065 0 0 0 25985 15 0 0 25 0 1 0 762321977 28925952 6007 4294967295 134512640 134714540 3221221792 3221220516 134622811 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7062 6007 1111 63 0 6999 0
vsize: 28248
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14375
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 6674 0 0 0 26984 16 0 0 25 0 1 0 762321977 31535104 6611 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7699 6611 1111 63 0 7636 0
vsize: 30796
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14375
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7090 0 0 0 27983 17 0 0 25 0 1 0 762321977 33308672 7021 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7021 1111 63 0 8069 0
vsize: 32528
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14375
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7091 0 0 0 28983 17 0 0 25 0 1 0 762321977 33308672 7022 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7022 1111 63 0 8069 0
vsize: 32528
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14375
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7091 0 0 0 29983 17 0 0 25 0 1 0 762321977 33308672 7022 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7022 1111 63 0 8069 0
vsize: 32528
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14375
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7093 0 0 0 30983 17 0 0 25 0 1 0 762321977 33308672 7024 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7024 1111 63 0 8069 0
vsize: 32528
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14375
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7095 0 0 0 31983 17 0 0 25 0 1 0 762321977 33308672 7026 4294967295 134512640 134714540 3221221792 3221220520 134622854 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7026 1111 63 0 8069 0
vsize: 32528
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14375
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7095 0 0 0 32983 17 0 0 25 0 1 0 762321977 33308672 7026 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7026 1111 63 0 8069 0
vsize: 32528
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14375
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7095 0 0 0 33984 17 0 0 25 0 1 0 762321977 33308672 7026 4294967295 134512640 134714540 3221221792 3221220516 134622811 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7026 1111 63 0 8069 0
vsize: 32528
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14375
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7095 0 0 0 34984 18 0 0 25 0 1 0 762321977 33308672 7026 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7026 1111 63 0 8069 0
vsize: 32528
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14375
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7095 0 0 0 35984 18 0 0 25 0 1 0 762321977 33308672 7026 4294967295 134512640 134714540 3221221792 3221220512 134622839 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7026 1111 63 0 8069 0
vsize: 32528
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14375
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7095 0 0 0 36984 18 0 0 25 0 1 0 762321977 33308672 7026 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7026 1111 63 0 8069 0
vsize: 32528
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14375
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7095 0 0 0 37984 18 0 0 25 0 1 0 762321977 33308672 7026 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7026 1111 63 0 8069 0
vsize: 32528
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14375
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7095 0 0 0 38984 18 0 0 25 0 1 0 762321977 33308672 7026 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7026 1111 63 0 8069 0
vsize: 32528
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14375
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7095 0 0 0 39984 18 0 0 25 0 1 0 762321977 33308672 7026 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7026 1111 63 0 8069 0
vsize: 32528
[startup+410.348 s]
Raw data (loadavg): 1.15 1.00 1.00 3/58 14414
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7096 0 0 0 41017 19 0 0 25 0 1 0 762321977 33308672 7027 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7027 1111 63 0 8069 0
vsize: 32528
[startup+420.35 s]
Raw data (loadavg): 1.20 1.02 1.00 3/59 14422
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7096 0 0 0 42017 19 0 0 25 0 1 0 762321977 33308672 7027 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7027 1111 63 0 8069 0
vsize: 32528
[startup+430.472 s]
Raw data (loadavg): 1.25 1.03 1.01 2/55 14428
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7096 0 0 0 43030 19 0 0 25 0 1 0 762321977 33308672 7027 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7027 1111 63 0 8069 0
vsize: 32528
[startup+440.472 s]
Raw data (loadavg): 1.21 1.03 1.01 2/55 14428
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7096 0 0 0 44030 19 0 0 25 0 1 0 762321977 33308672 7027 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7027 1111 63 0 8069 0
vsize: 32528
[startup+450.472 s]
Raw data (loadavg): 1.25 1.05 1.01 2/55 14428
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7096 0 0 0 45030 19 0 0 25 0 1 0 762321977 33308672 7027 4294967295 134512640 134714540 3221221792 3221220608 134622551 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7027 1111 63 0 8069 0
vsize: 32528
[startup+460.474 s]
Raw data (loadavg): 1.21 1.05 1.01 2/55 14428
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7096 0 0 0 46030 19 0 0 25 0 1 0 762321977 33308672 7027 4294967295 134512640 134714540 3221221792 3221220528 134622896 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7027 1111 63 0 8069 0
vsize: 32528
[startup+470.473 s]
Raw data (loadavg): 1.18 1.04 1.01 2/55 14428
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7096 0 0 0 47030 19 0 0 25 0 1 0 762321977 33308672 7027 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7027 1111 63 0 8069 0
vsize: 32528
[startup+480.473 s]
Raw data (loadavg): 1.15 1.04 1.01 2/55 14428
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7096 0 0 0 48030 19 0 0 25 0 1 0 762321977 33308672 7027 4294967295 134512640 134714540 3221221792 3221220584 134536921 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7027 1111 63 0 8069 0
vsize: 32528
[startup+490.474 s]
Raw data (loadavg): 1.13 1.04 1.01 2/55 14430
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7096 0 0 0 49031 19 0 0 25 0 1 0 762321977 33308672 7027 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7027 1111 63 0 8069 0
vsize: 32528
[startup+500.475 s]
Raw data (loadavg): 1.11 1.04 1.01 2/55 14430
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7096 0 0 0 50031 19 0 0 25 0 1 0 762321977 33308672 7027 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7027 1111 63 0 8069 0
vsize: 32528
[startup+510.476 s]
Raw data (loadavg): 1.09 1.04 1.01 2/55 14430
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7096 0 0 0 51031 19 0 0 25 0 1 0 762321977 33308672 7027 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7027 1111 63 0 8069 0
vsize: 32528
[startup+520.476 s]
Raw data (loadavg): 1.08 1.03 1.01 2/55 14430
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7096 0 0 0 52031 19 0 0 25 0 1 0 762321977 33308672 7027 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7027 1111 63 0 8069 0
vsize: 32528
[startup+530.476 s]
Raw data (loadavg): 1.06 1.03 1.00 2/55 14430
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7096 0 0 0 53031 19 0 0 25 0 1 0 762321977 33308672 7027 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7027 1111 63 0 8069 0
vsize: 32528
[startup+540.476 s]
Raw data (loadavg): 1.05 1.03 1.00 2/55 14430
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7096 0 0 0 54031 19 0 0 25 0 1 0 762321977 33308672 7027 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7027 1111 63 0 8069 0
vsize: 32528
[startup+550.477 s]
Raw data (loadavg): 1.04 1.03 1.00 2/55 14430
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7096 0 0 0 55031 19 0 0 25 0 1 0 762321977 33308672 7027 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7027 1111 63 0 8069 0
vsize: 32528
[startup+560.478 s]
Raw data (loadavg): 1.04 1.03 1.00 2/55 14430
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7096 0 0 0 56032 19 0 0 25 0 1 0 762321977 33308672 7027 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7027 1111 63 0 8069 0
vsize: 32528
[startup+570.479 s]
Raw data (loadavg): 1.03 1.03 1.00 2/55 14430
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7096 0 0 0 57032 19 0 0 25 0 1 0 762321977 33308672 7027 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7027 1111 63 0 8069 0
vsize: 32528
[startup+580.479 s]
Raw data (loadavg): 1.03 1.03 1.00 2/55 14430
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7096 0 0 0 58032 19 0 0 25 0 1 0 762321977 33308672 7027 4294967295 134512640 134714540 3221221792 3221220572 134622696 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7027 1111 63 0 8069 0
vsize: 32528
[startup+590.479 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 14430
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7096 0 0 0 59032 19 0 0 25 0 1 0 762321977 33308672 7027 4294967295 134512640 134714540 3221221792 3221220508 134543156 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7027 1111 63 0 8069 0
vsize: 32528
[startup+600.48 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 14430
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7096 0 0 0 60032 19 0 0 25 0 1 0 762321977 33308672 7027 4294967295 134512640 134714540 3221221792 3221220508 134558608 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7027 1111 63 0 8069 0
vsize: 32528
[startup+610.481 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 14430
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7096 0 0 0 61032 20 0 0 25 0 1 0 762321977 33308672 7027 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7027 1111 63 0 8069 0
vsize: 32528
[startup+620.48 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 14430
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7096 0 0 0 62032 20 0 0 25 0 1 0 762321977 33308672 7027 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7027 1111 63 0 8069 0
vsize: 32528
[startup+630.48 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 14430
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7096 0 0 0 63033 20 0 0 25 0 1 0 762321977 33308672 7027 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7027 1111 63 0 8069 0
vsize: 32528
[startup+640.48 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 14430
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7097 0 0 0 64033 20 0 0 25 0 1 0 762321977 33308672 7028 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7028 1111 63 0 8069 0
vsize: 32528
[startup+650.48 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 14430
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7097 0 0 0 65033 20 0 0 25 0 1 0 762321977 33308672 7028 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7028 1111 63 0 8069 0
vsize: 32528
[startup+660.48 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 14430
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7097 0 0 0 66033 20 0 0 25 0 1 0 762321977 33308672 7028 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7028 1111 63 0 8069 0
vsize: 32528
[startup+670.481 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 14430
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7097 0 0 0 67033 20 0 0 25 0 1 0 762321977 33308672 7028 4294967295 134512640 134714540 3221221792 3221220584 134622601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7028 1111 63 0 8069 0
vsize: 32528
[startup+680.481 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 14430
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7097 0 0 0 68033 20 0 0 25 0 1 0 762321977 33308672 7028 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7028 1111 63 0 8069 0
vsize: 32528
[startup+690.481 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 14430
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7097 0 0 0 69034 20 0 0 25 0 1 0 762321977 33308672 7028 4294967295 134512640 134714540 3221221792 3221220504 134558485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7028 1111 63 0 8069 0
vsize: 32528
[startup+700.481 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 14430
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7097 0 0 0 70034 20 0 0 25 0 1 0 762321977 33308672 7028 4294967295 134512640 134714540 3221221792 3221220584 134536900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7028 1111 63 0 8069 0
vsize: 32528
[startup+710.481 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 14430
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7097 0 0 0 71034 20 0 0 25 0 1 0 762321977 33308672 7028 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7028 1111 63 0 8069 0
vsize: 32528
[startup+720.482 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 14430
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7097 0 0 0 72034 20 0 0 25 0 1 0 762321977 33308672 7028 4294967295 134512640 134714540 3221221792 3221220584 134536921 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7028 1111 63 0 8069 0
vsize: 32528
[startup+730.482 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 14430
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7097 0 0 0 73034 20 0 0 25 0 1 0 762321977 33308672 7028 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7028 1111 63 0 8069 0
vsize: 32528
[startup+740.484 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 14430
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7097 0 0 0 74035 20 0 0 25 0 1 0 762321977 33308672 7028 4294967295 134512640 134714540 3221221792 3221220584 134536900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7028 1111 63 0 8069 0
vsize: 32528
[startup+750.484 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 14430
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7101 0 0 0 75035 20 0 0 25 0 1 0 762321977 33308672 7032 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7032 1111 63 0 8069 0
vsize: 32528
[startup+760.486 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 14430
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7101 0 0 0 76035 20 0 0 25 0 1 0 762321977 33308672 7032 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7032 1111 63 0 8069 0
vsize: 32528
[startup+770.486 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 14430
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7101 0 0 0 77035 20 0 0 25 0 1 0 762321977 33308672 7032 4294967295 134512640 134714540 3221221792 3221220572 134622696 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7032 1111 63 0 8069 0
vsize: 32528
[startup+780.486 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 14430
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7101 0 0 0 78035 20 0 0 25 0 1 0 762321977 33308672 7032 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7032 1111 63 0 8069 0
vsize: 32528
[startup+790.487 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14430
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7611 0 0 0 79034 22 0 0 25 0 1 0 762321977 35373056 7537 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8636 7537 1111 63 0 8573 0
vsize: 34544
[startup+800.487 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14432
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7611 0 0 0 80034 22 0 0 25 0 1 0 762321977 35373056 7537 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8636 7537 1111 63 0 8573 0
vsize: 34544
[startup+810.488 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14432
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7611 0 0 0 81034 22 0 0 25 0 1 0 762321977 35373056 7537 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8636 7537 1111 63 0 8573 0
vsize: 34544
[startup+820.488 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14432
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7611 0 0 0 82034 22 0 0 25 0 1 0 762321977 35373056 7537 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8636 7537 1111 63 0 8573 0
vsize: 34544
[startup+830.488 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14432
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7611 0 0 0 83034 22 0 0 25 0 1 0 762321977 35373056 7537 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8636 7537 1111 63 0 8573 0
vsize: 34544
[startup+840.489 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14432
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7784 0 0 0 84034 22 0 0 25 0 1 0 762321977 36184064 7708 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8834 7708 1111 63 0 8771 0
vsize: 35336
[startup+850.489 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14432
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7784 0 0 0 85034 22 0 0 25 0 1 0 762321977 36184064 7708 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8834 7708 1111 63 0 8771 0
vsize: 35336
[startup+860.489 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14432
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7784 0 0 0 86034 22 0 0 25 0 1 0 762321977 36184064 7708 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8834 7708 1111 63 0 8771 0
vsize: 35336
[startup+870.489 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14432
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7784 0 0 0 87034 22 0 0 25 0 1 0 762321977 36184064 7708 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8834 7708 1111 63 0 8771 0
vsize: 35336
[startup+880.488 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14432
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 7784 0 0 0 88034 23 0 0 25 0 1 0 762321977 36184064 7708 4294967295 134512640 134714540 3221221792 3221220504 134543133 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8834 7708 1111 63 0 8771 0
vsize: 35336
[startup+890.488 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14432
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 8604 0 0 0 89033 24 0 0 25 0 1 0 762321977 39489536 8523 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9641 8523 1111 63 0 9578 0
vsize: 38564
[startup+900.489 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14432
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 8604 0 0 0 90033 24 0 0 25 0 1 0 762321977 39489536 8523 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9641 8523 1111 63 0 9578 0
vsize: 38564
[startup+910.489 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14432
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 8604 0 0 0 91033 24 0 0 25 0 1 0 762321977 39489536 8523 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9641 8523 1111 63 0 9578 0
vsize: 38564
[startup+920.489 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14432
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 8604 0 0 0 92033 24 0 0 25 0 1 0 762321977 39489536 8523 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9641 8523 1111 63 0 9578 0
vsize: 38564
[startup+930.489 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14432
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 9041 0 0 0 93032 25 0 0 25 0 1 0 762321977 41590784 8932 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10154 8932 1111 63 0 10091 0
vsize: 40616
[startup+940.49 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14432
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 9245 0 0 0 94032 26 0 0 25 0 1 0 762321977 42471424 9123 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10369 9123 1111 63 0 10306 0
vsize: 41476
[startup+950.49 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14432
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 9473 0 0 0 95031 27 0 0 25 0 1 0 762321977 43438080 9347 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10605 9347 1111 63 0 10542 0
vsize: 42420
[startup+960.491 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14432
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 9473 0 0 0 96032 27 0 0 25 0 1 0 762321977 43438080 9347 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10605 9347 1111 63 0 10542 0
vsize: 42420
[startup+970.491 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14432
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 9473 0 0 0 97032 27 0 0 25 0 1 0 762321977 43438080 9347 4294967295 134512640 134714540 3221221792 3221220516 134622911 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10605 9347 1111 63 0 10542 0
vsize: 42420
[startup+980.491 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14432
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 9473 0 0 0 98032 27 0 0 25 0 1 0 762321977 43438080 9347 4294967295 134512640 134714540 3221221792 3221220572 134542400 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10605 9347 1111 63 0 10542 0
vsize: 42420
[startup+990.491 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14432
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 9473 0 0 0 99032 27 0 0 25 0 1 0 762321977 43438080 9347 4294967295 134512640 134714540 3221221792 3221220608 134622477 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10605 9347 1111 63 0 10542 0
vsize: 42420
[startup+1000.49 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14432
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 9538 0 0 0 100032 27 0 0 25 0 1 0 762321977 43712512 9412 4294967295 134512640 134714540 3221221792 3221220504 134543133 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10672 9412 1111 63 0 10609 0
vsize: 42688
[startup+1010.49 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14432
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 9538 0 0 0 101032 27 0 0 25 0 1 0 762321977 43712512 9412 4294967295 134512640 134714540 3221221792 3221220516 134622811 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10672 9412 1111 63 0 10609 0
vsize: 42688
[startup+1020.49 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14432
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 9538 0 0 0 102032 27 0 0 25 0 1 0 762321977 43712512 9412 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10672 9412 1111 63 0 10609 0
vsize: 42688
[startup+1030.49 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14432
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 9593 0 0 0 103032 28 0 0 25 0 1 0 762321977 43847680 9467 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10705 9467 1111 63 0 10642 0
vsize: 42820
[startup+1040.49 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14432
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 9593 0 0 0 104032 28 0 0 25 0 1 0 762321977 43847680 9467 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10705 9467 1111 63 0 10642 0
vsize: 42820
[startup+1050.49 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14432
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 9593 0 0 0 105032 28 0 0 25 0 1 0 762321977 43847680 9467 4294967295 134512640 134714540 3221221792 3221220568 134542409 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10705 9467 1111 63 0 10642 0
vsize: 42820
[startup+1060.49 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14432
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 9747 0 0 0 106032 28 0 0 25 0 1 0 762321977 44523520 9616 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10870 9616 1111 63 0 10807 0
vsize: 43480
[startup+1070.49 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14432
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 9747 0 0 0 107032 28 0 0 25 0 1 0 762321977 44523520 9616 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10870 9616 1111 63 0 10807 0
vsize: 43480
[startup+1080.49 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14432
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 9826 0 0 0 108032 28 0 0 25 0 1 0 762321977 44929024 9695 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10969 9695 1111 63 0 10906 0
vsize: 43876
[startup+1090.49 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14432
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 9826 0 0 0 109032 28 0 0 25 0 1 0 762321977 44929024 9695 4294967295 134512640 134714540 3221221792 3221220512 134622860 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10969 9695 1111 63 0 10906 0
vsize: 43876
[startup+1100.49 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14432
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 9960 0 0 0 110032 29 0 0 25 0 1 0 762321977 45555712 9825 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11122 9825 1111 63 0 11059 0
vsize: 44488
[startup+1110.49 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14432
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 10010 0 0 0 111032 29 0 0 25 0 1 0 762321977 45699072 9875 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11157 9875 1111 63 0 11094 0
vsize: 44628
[startup+1120.49 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14432
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 10223 0 0 0 112032 29 0 0 25 0 1 0 762321977 46620672 10078 4294967295 134512640 134714540 3221221792 3221220516 134622811 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11382 10078 1111 63 0 11319 0
vsize: 45528
[startup+1130.49 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14432
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 10320 0 0 0 113032 30 0 0 25 0 1 0 762321977 47026176 10175 4294967295 134512640 134714540 3221221792 3221220528 134622740 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11481 10175 1111 63 0 11418 0
vsize: 45924
[startup+1140.49 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14432
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 10320 0 0 0 114032 30 0 0 25 0 1 0 762321977 47026176 10175 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11481 10175 1111 63 0 11418 0
vsize: 45924
[startup+1150.49 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14432
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 10320 0 0 0 115032 30 0 0 25 0 1 0 762321977 47026176 10175 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11481 10175 1111 63 0 11418 0
vsize: 45924
[startup+1160.5 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14432
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 10320 0 0 0 116032 30 0 0 25 0 1 0 762321977 47026176 10175 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11481 10175 1111 63 0 11418 0
vsize: 45924
[startup+1170.5 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14432
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 10320 0 0 0 117032 30 0 0 25 0 1 0 762321977 47026176 10175 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11481 10175 1111 63 0 11418 0
vsize: 45924
[startup+1180.5 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14432
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 10320 0 0 0 118032 30 0 0 25 0 1 0 762321977 47026176 10175 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11481 10175 1111 63 0 11418 0
vsize: 45924
[startup+1190.5 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14432
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 10320 0 0 0 119032 30 0 0 25 0 1 0 762321977 47026176 10175 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11481 10175 1111 63 0 11418 0
vsize: 45924
[startup+1200.5 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14432
Raw data (stat): 14375 (bsolo_mis) R 14374 7876 7672 0 -1 0 10320 0 0 0 120032 30 0 0 25 0 1 0 762321977 47026176 10175 4294967295 134512640 134714540 3221221792 3221220528 134622873 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11481 10175 1111 63 0 11418 0
vsize: 45924
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.52 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 14432
Raw data (stat): 14375 (bsolo_mis) Z 14374 7876 7672 0 -1 1036 10320 0 0 0 120033 32 0 0 25 0 1 0 762321977 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.52
CPU time (s): 1200.66
CPU user time (s): 1200.33
CPU system time (s): 0.32495
CPU usage (%): 100.011
Max. virtual memory (Kb): 45924
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####