PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-8pb.opb
MD5SUM	2bf0a3299a380a62e2f4aaf6d6f8fe18
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	36
Optimality of the best value was proved	NO
Number of terms in the objective function	432
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	432
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	3
Number of bits of the biggest number in a constraint	2
Biggest sum of numbers in a constraint	432
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.903861
Number of variables	432
Total number of constraints	1304
Number of constraints which are clauses	1280
Number of constraints which are cardinality constraints (but not clauses)	24
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	18
Trace number 24359

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-09 19:56:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2190 boxname=wulflinc31 idbench=244 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  2bf0a3299a380a62e2f4aaf6d6f8fe18  /oldhome/oroussel/tmp/wulflinc31/normalized-s4-4-3-8pb.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-s4-4-3-8pb.opb
IDLAUNCH: 2190
/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:        136408 kB
Buffers:         45356 kB
Cached:         818212 kB
SwapCached:        644 kB
Active:         492764 kB
Inactive:       373104 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        136128 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26440 kB
Committed_AS:    63628 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-09 20:16:29 (client local time) WITH STATUS 0 IN 1200.19 SECONDS
stats: 2190 7 1200.19 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 432 variables and 1304 constraints.
c After prepocess the problem consists of 360 variables and 1045 constraints.
c preprocess terminated 0.296 s
c Initial Lower Bound: 27
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 58 @ 3.97
c NEW SOLUTION FOUND: 56 @ 4.977
c NEW SOLUTION FOUND: 54 @ 5.827
c NEW SOLUTION FOUND: 52 @ 21.826
c NEW SOLUTION FOUND: 50 @ 22.09
#### 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.80 0.92 0.90 2/54 2361
Raw data (stat): 2361 (runsolver) R 2360 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 703293272 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.001 s]
Raw data (loadavg): 0.83 0.93 0.90 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 2092 0 0 0 989 7 0 0 25 0 1 0 703293272 12201984 2067 4294967295 134512640 134714540 3221221792 3221220516 134622811 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2979 2067 1111 63 0 2916 0
vsize: 11916
[startup+20.0018 s]
Raw data (loadavg): 0.86 0.93 0.90 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 2161 0 0 0 1989 7 0 0 25 0 1 0 703293272 12472320 2136 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3045 2136 1111 63 0 2982 0
vsize: 12180
[startup+30.0022 s]
Raw data (loadavg): 0.88 0.93 0.90 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 3476 0 0 0 2985 11 0 0 25 0 1 0 703293272 17895424 3451 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4369 3451 1111 63 0 4306 0
vsize: 17476
[startup+40.0027 s]
Raw data (loadavg): 0.90 0.93 0.90 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 3480 0 0 0 3985 11 0 0 25 0 1 0 703293272 17895424 3455 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4369 3455 1111 63 0 4306 0
vsize: 17476
[startup+50.0026 s]
Raw data (loadavg): 0.91 0.93 0.90 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 3512 0 0 0 4985 11 0 0 25 0 1 0 703293272 18030592 3487 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4402 3487 1111 63 0 4339 0
vsize: 17608
[startup+60.0036 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 3512 0 0 0 5985 11 0 0 25 0 1 0 703293272 18030592 3487 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4402 3487 1111 63 0 4339 0
vsize: 17608
[startup+70.0045 s]
Raw data (loadavg): 0.94 0.94 0.90 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 3527 0 0 0 6985 11 0 0 25 0 1 0 703293272 18178048 3502 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4438 3502 1111 63 0 4375 0
vsize: 17752
[startup+80.0044 s]
Raw data (loadavg): 0.95 0.94 0.90 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 3546 0 0 0 7985 11 0 0 25 0 1 0 703293272 18178048 3521 4294967295 134512640 134714540 3221221792 3221220528 134622896 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4438 3521 1111 63 0 4375 0
vsize: 17752
[startup+90.0046 s]
Raw data (loadavg): 0.95 0.94 0.90 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 3652 0 0 0 8985 12 0 0 25 0 1 0 703293272 18718720 3626 4294967295 134512640 134714540 3221221792 3221220512 134622889 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4570 3626 1111 63 0 4507 0
vsize: 18280
[startup+100.004 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 3652 0 0 0 9985 12 0 0 25 0 1 0 703293272 18718720 3626 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4570 3626 1111 63 0 4507 0
vsize: 18280
[startup+110.005 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 3674 0 0 0 10985 12 0 0 25 0 1 0 703293272 18718720 3648 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4570 3648 1111 63 0 4507 0
vsize: 18280
[startup+120.005 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 3674 0 0 0 11985 12 0 0 25 0 1 0 703293272 18718720 3648 4294967295 134512640 134714540 3221221792 3221220512 134622865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4570 3648 1111 63 0 4507 0
vsize: 18280
[startup+130.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 3674 0 0 0 12985 13 0 0 25 0 1 0 703293272 18718720 3648 4294967295 134512640 134714540 3221221792 3221220504 134558485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4570 3648 1111 63 0 4507 0
vsize: 18280
[startup+140.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 3920 0 0 0 13984 13 0 0 25 0 1 0 703293272 19849216 3893 4294967295 134512640 134714540 3221221792 3221220504 134543174 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4846 3893 1111 63 0 4783 0
vsize: 19384
[startup+150.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 4186 0 0 0 14984 14 0 0 25 0 1 0 703293272 20930560 4158 4294967295 134512640 134714540 3221221792 3221220284 134539301 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5110 4158 1111 63 0 5047 0
vsize: 20440
[startup+160.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 4187 0 0 0 15984 14 0 0 25 0 1 0 703293272 20930560 4159 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5110 4159 1111 63 0 5047 0
vsize: 20440
[startup+170.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 4191 0 0 0 16984 14 0 0 25 0 1 0 703293272 20930560 4163 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5110 4163 1111 63 0 5047 0
vsize: 20440
[startup+180.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 4204 0 0 0 17984 14 0 0 25 0 1 0 703293272 21065728 4176 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5143 4176 1111 63 0 5080 0
vsize: 20572
[startup+190.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 4213 0 0 0 18985 14 0 0 25 0 1 0 703293272 21065728 4185 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5143 4185 1111 63 0 5080 0
vsize: 20572
[startup+200.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 4348 0 0 0 19985 14 0 0 25 0 1 0 703293272 21606400 4320 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5275 4320 1111 63 0 5212 0
vsize: 21100
[startup+210.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 5498 0 0 0 20982 17 0 0 25 0 1 0 703293272 26406912 5468 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6447 5468 1111 63 0 6384 0
vsize: 25788
[startup+220.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 5498 0 0 0 21982 17 0 0 25 0 1 0 703293272 26406912 5468 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6447 5468 1111 63 0 6384 0
vsize: 25788
[startup+230.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 5504 0 0 0 22982 17 0 0 25 0 1 0 703293272 26406912 5474 4294967295 134512640 134714540 3221221792 3221220508 134543156 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6447 5474 1111 63 0 6384 0
vsize: 25788
[startup+240.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 5508 0 0 0 23982 17 0 0 25 0 1 0 703293272 26406912 5478 4294967295 134512640 134714540 3221221792 3221220504 134543171 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6447 5478 1111 63 0 6384 0
vsize: 25788
[startup+250.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 5511 0 0 0 24983 17 0 0 25 0 1 0 703293272 26406912 5481 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6447 5481 1111 63 0 6384 0
vsize: 25788
[startup+260.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 5511 0 0 0 25983 17 0 0 25 0 1 0 703293272 26406912 5481 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6447 5481 1111 63 0 6384 0
vsize: 25788
[startup+270.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 5512 0 0 0 26983 17 0 0 25 0 1 0 703293272 26406912 5482 4294967295 134512640 134714540 3221221792 3221220584 134536921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6447 5482 1111 63 0 6384 0
vsize: 25788
[startup+280.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 5544 0 0 0 27983 17 0 0 25 0 1 0 703293272 26542080 5513 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6480 5513 1111 63 0 6417 0
vsize: 25920
[startup+290.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 5544 0 0 0 28983 17 0 0 25 0 1 0 703293272 26542080 5513 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6480 5513 1111 63 0 6417 0
vsize: 25920
[startup+300.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 5658 0 0 0 29983 17 0 0 25 0 1 0 703293272 27090944 5625 4294967295 134512640 134714540 3221221792 3221220504 134543191 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6614 5625 1111 63 0 6551 0
vsize: 26456
[startup+310.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 5663 0 0 0 30983 17 0 0 25 0 1 0 703293272 27090944 5630 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6614 5630 1111 63 0 6551 0
vsize: 26456
[startup+320.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 5667 0 0 0 31984 17 0 0 25 0 1 0 703293272 27090944 5634 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6614 5634 1111 63 0 6551 0
vsize: 26456
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 5667 0 0 0 32984 17 0 0 25 0 1 0 703293272 27090944 5634 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6614 5634 1111 63 0 6551 0
vsize: 26456
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 5765 0 0 0 33983 18 0 0 25 0 1 0 703293272 27496448 5732 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6713 5732 1111 63 0 6650 0
vsize: 26852
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 5863 0 0 0 34983 18 0 0 25 0 1 0 703293272 27963392 5825 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6827 5825 1111 63 0 6764 0
vsize: 27308
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 6319 0 0 0 35982 19 0 0 25 0 1 0 703293272 29970432 6270 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7317 6270 1111 63 0 7254 0
vsize: 29268
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 6757 0 0 0 36981 20 0 0 25 0 1 0 703293272 31735808 6705 4294967295 134512640 134714540 3221221792 3221220584 134536915 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7748 6705 1111 63 0 7685 0
vsize: 30992
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 6757 0 0 0 37982 20 0 0 25 0 1 0 703293272 31735808 6705 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7748 6705 1111 63 0 7685 0
vsize: 30992
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 6757 0 0 0 38982 20 0 0 25 0 1 0 703293272 31735808 6705 4294967295 134512640 134714540 3221221792 3221220504 134543157 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7748 6705 1111 63 0 7685 0
vsize: 30992
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 6757 0 0 0 39982 20 0 0 25 0 1 0 703293272 31735808 6705 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7748 6705 1111 63 0 7685 0
vsize: 30992
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 6757 0 0 0 40982 20 0 0 25 0 1 0 703293272 31735808 6705 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7748 6705 1111 63 0 7685 0
vsize: 30992
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 6757 0 0 0 41982 20 0 0 25 0 1 0 703293272 31735808 6705 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7748 6705 1111 63 0 7685 0
vsize: 30992
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 6767 0 0 0 42983 20 0 0 25 0 1 0 703293272 31870976 6715 4294967295 134512640 134714540 3221221792 3221220596 134622629 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7781 6715 1111 63 0 7718 0
vsize: 31124
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 6767 0 0 0 43983 20 0 0 25 0 1 0 703293272 31870976 6715 4294967295 134512640 134714540 3221221792 3221220528 134622708 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7781 6715 1111 63 0 7718 0
vsize: 31124
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 6767 0 0 0 44983 21 0 0 25 0 1 0 703293272 31870976 6715 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7781 6715 1111 63 0 7718 0
vsize: 31124
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 6767 0 0 0 45983 21 0 0 25 0 1 0 703293272 31870976 6715 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7781 6715 1111 63 0 7718 0
vsize: 31124
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 6778 0 0 0 46983 21 0 0 25 0 1 0 703293272 31870976 6726 4294967295 134512640 134714540 3221221792 3221220608 134622547 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7781 6726 1111 63 0 7718 0
vsize: 31124
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 6778 0 0 0 47983 21 0 0 25 0 1 0 703293272 31870976 6726 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7781 6726 1111 63 0 7718 0
vsize: 31124
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 6778 0 0 0 48983 21 0 0 25 0 1 0 703293272 31870976 6726 4294967295 134512640 134714540 3221221792 3221220504 134543157 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7781 6726 1111 63 0 7718 0
vsize: 31124
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 7240 0 0 0 49982 22 0 0 25 0 1 0 703293272 33787904 7188 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8249 7188 1111 63 0 8186 0
vsize: 32996
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8022 0 0 0 50981 24 0 0 25 0 1 0 703293272 36995072 7966 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9032 7966 1111 63 0 8969 0
vsize: 36128
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8440 0 0 0 51980 25 0 0 25 0 1 0 703293272 38764544 8382 4294967295 134512640 134714540 3221221792 3221220516 134622811 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9464 8382 1111 63 0 9401 0
vsize: 37856
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8440 0 0 0 52980 25 0 0 25 0 1 0 703293272 38764544 8382 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9464 8382 1111 63 0 9401 0
vsize: 37856
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8440 0 0 0 53980 25 0 0 25 0 1 0 703293272 38764544 8382 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9464 8382 1111 63 0 9401 0
vsize: 37856
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8440 0 0 0 54980 25 0 0 25 0 1 0 703293272 38764544 8382 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9464 8382 1111 63 0 9401 0
vsize: 37856
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8442 0 0 0 55980 25 0 0 25 0 1 0 703293272 38764544 8384 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9464 8384 1111 63 0 9401 0
vsize: 37856
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8443 0 0 0 56980 25 0 0 25 0 1 0 703293272 38764544 8385 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9464 8385 1111 63 0 9401 0
vsize: 37856
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8455 0 0 0 57981 25 0 0 25 0 1 0 703293272 38764544 8397 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9464 8397 1111 63 0 9401 0
vsize: 37856
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8455 0 0 0 58981 25 0 0 25 0 1 0 703293272 38764544 8397 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9464 8397 1111 63 0 9401 0
vsize: 37856
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8455 0 0 0 59981 25 0 0 25 0 1 0 703293272 38764544 8397 4294967295 134512640 134714540 3221221792 3221220516 134622833 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9464 8397 1111 63 0 9401 0
vsize: 37856
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8455 0 0 0 60981 25 0 0 25 0 1 0 703293272 38764544 8397 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9464 8397 1111 63 0 9401 0
vsize: 37856
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8455 0 0 0 61981 25 0 0 25 0 1 0 703293272 38764544 8397 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9464 8397 1111 63 0 9401 0
vsize: 37856
[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8457 0 0 0 62981 25 0 0 25 0 1 0 703293272 38764544 8399 4294967295 134512640 134714540 3221221792 3221220508 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9464 8399 1111 63 0 9401 0
vsize: 37856
[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8457 0 0 0 63982 25 0 0 25 0 1 0 703293272 38764544 8399 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9464 8399 1111 63 0 9401 0
vsize: 37856
[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8457 0 0 0 64982 25 0 0 25 0 1 0 703293272 38764544 8399 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9464 8399 1111 63 0 9401 0
vsize: 37856
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8457 0 0 0 65982 25 0 0 25 0 1 0 703293272 38764544 8399 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9464 8399 1111 63 0 9401 0
vsize: 37856
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8457 0 0 0 66982 25 0 0 25 0 1 0 703293272 38764544 8399 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9464 8399 1111 63 0 9401 0
vsize: 37856
[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8475 0 0 0 67982 25 0 0 25 0 1 0 703293272 38899712 8417 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9497 8417 1111 63 0 9434 0
vsize: 37988
[startup+690.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8488 0 0 0 68982 25 0 0 25 0 1 0 703293272 38899712 8430 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9497 8430 1111 63 0 9434 0
vsize: 37988
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8632 0 0 0 69982 26 0 0 25 0 1 0 703293272 39530496 8574 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8574 1111 63 0 9588 0
vsize: 38604
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8635 0 0 0 70982 26 0 0 25 0 1 0 703293272 39530496 8577 4294967295 134512640 134714540 3221221792 3221220516 134622859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8577 1111 63 0 9588 0
vsize: 38604
[startup+720.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8635 0 0 0 71982 27 0 0 25 0 1 0 703293272 39530496 8577 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8577 1111 63 0 9588 0
vsize: 38604
[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8635 0 0 0 72982 27 0 0 25 0 1 0 703293272 39530496 8577 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8577 1111 63 0 9588 0
vsize: 38604
[startup+740.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8635 0 0 0 73982 27 0 0 25 0 1 0 703293272 39530496 8577 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8577 1111 63 0 9588 0
vsize: 38604
[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8635 0 0 0 74982 27 0 0 25 0 1 0 703293272 39530496 8577 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8577 1111 63 0 9588 0
vsize: 38604
[startup+760.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8635 0 0 0 75982 27 0 0 25 0 1 0 703293272 39530496 8577 4294967295 134512640 134714540 3221221792 3221220504 134543191 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8577 1111 63 0 9588 0
vsize: 38604
[startup+770.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8635 0 0 0 76982 27 0 0 25 0 1 0 703293272 39530496 8577 4294967295 134512640 134714540 3221221792 3221220520 134622854 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8577 1111 63 0 9588 0
vsize: 38604
[startup+780.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8635 0 0 0 77982 27 0 0 25 0 1 0 703293272 39530496 8577 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8577 1111 63 0 9588 0
vsize: 38604
[startup+790.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8635 0 0 0 78982 27 0 0 25 0 1 0 703293272 39530496 8577 4294967295 134512640 134714540 3221221792 3221220520 134622828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8577 1111 63 0 9588 0
vsize: 38604
[startup+800.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8635 0 0 0 79983 27 0 0 25 0 1 0 703293272 39530496 8577 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8577 1111 63 0 9588 0
vsize: 38604
[startup+810.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8635 0 0 0 80983 27 0 0 25 0 1 0 703293272 39530496 8577 4294967295 134512640 134714540 3221221792 3221220592 134622273 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8577 1111 63 0 9588 0
vsize: 38604
[startup+820.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8639 0 0 0 81983 27 0 0 25 0 1 0 703293272 39530496 8581 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8581 1111 63 0 9588 0
vsize: 38604
[startup+830.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8639 0 0 0 82983 27 0 0 25 0 1 0 703293272 39530496 8581 4294967295 134512640 134714540 3221221792 3221220516 134622859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8581 1111 63 0 9588 0
vsize: 38604
[startup+840.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8639 0 0 0 83983 27 0 0 25 0 1 0 703293272 39530496 8581 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8581 1111 63 0 9588 0
vsize: 38604
[startup+850.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8639 0 0 0 84983 27 0 0 25 0 1 0 703293272 39530496 8581 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8581 1111 63 0 9588 0
vsize: 38604
[startup+860.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8639 0 0 0 85984 27 0 0 25 0 1 0 703293272 39530496 8581 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8581 1111 63 0 9588 0
vsize: 38604
[startup+870.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8639 0 0 0 86984 27 0 0 25 0 1 0 703293272 39530496 8581 4294967295 134512640 134714540 3221221792 3221220508 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8581 1111 63 0 9588 0
vsize: 38604
[startup+880.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8639 0 0 0 87984 27 0 0 25 0 1 0 703293272 39530496 8581 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8581 1111 63 0 9588 0
vsize: 38604
[startup+890.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8639 0 0 0 88984 27 0 0 25 0 1 0 703293272 39530496 8581 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8581 1111 63 0 9588 0
vsize: 38604
[startup+900.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8639 0 0 0 89984 27 0 0 25 0 1 0 703293272 39530496 8581 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8581 1111 63 0 9588 0
vsize: 38604
[startup+910.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8639 0 0 0 90984 27 0 0 25 0 1 0 703293272 39530496 8581 4294967295 134512640 134714540 3221221792 3221220528 134622873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8581 1111 63 0 9588 0
vsize: 38604
[startup+920.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8639 0 0 0 91985 27 0 0 25 0 1 0 703293272 39530496 8581 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8581 1111 63 0 9588 0
vsize: 38604
[startup+930.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8639 0 0 0 92985 27 0 0 25 0 1 0 703293272 39530496 8581 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8581 1111 63 0 9588 0
vsize: 38604
[startup+940.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8639 0 0 0 93985 27 0 0 25 0 1 0 703293272 39530496 8581 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8581 1111 63 0 9588 0
vsize: 38604
[startup+950.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8639 0 0 0 94985 27 0 0 25 0 1 0 703293272 39530496 8581 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8581 1111 63 0 9588 0
vsize: 38604
[startup+960.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8639 0 0 0 95985 27 0 0 25 0 1 0 703293272 39530496 8581 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8581 1111 63 0 9588 0
vsize: 38604
[startup+970.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8639 0 0 0 96985 27 0 0 25 0 1 0 703293272 39530496 8581 4294967295 134512640 134714540 3221221792 3221220504 134543191 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8581 1111 63 0 9588 0
vsize: 38604
[startup+980.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8639 0 0 0 97986 27 0 0 25 0 1 0 703293272 39530496 8581 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8581 1111 63 0 9588 0
vsize: 38604
[startup+990.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8639 0 0 0 98986 28 0 0 25 0 1 0 703293272 39530496 8581 4294967295 134512640 134714540 3221221792 3221220516 134622905 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8581 1111 63 0 9588 0
vsize: 38604
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8639 0 0 0 99986 28 0 0 25 0 1 0 703293272 39530496 8581 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8581 1111 63 0 9588 0
vsize: 38604
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8639 0 0 0 100986 28 0 0 25 0 1 0 703293272 39530496 8581 4294967295 134512640 134714540 3221221792 3221220512 134622812 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8581 1111 63 0 9588 0
vsize: 38604
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8639 0 0 0 101986 28 0 0 25 0 1 0 703293272 39530496 8581 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8581 1111 63 0 9588 0
vsize: 38604
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8639 0 0 0 102986 28 0 0 25 0 1 0 703293272 39530496 8581 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8581 1111 63 0 9588 0
vsize: 38604
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8639 0 0 0 103986 28 0 0 25 0 1 0 703293272 39530496 8581 4294967295 134512640 134714540 3221221792 3221220520 134622828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8581 1111 63 0 9588 0
vsize: 38604
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8639 0 0 0 104987 28 0 0 25 0 1 0 703293272 39530496 8581 4294967295 134512640 134714540 3221221792 3221220516 134622883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8581 1111 63 0 9588 0
vsize: 38604
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8639 0 0 0 105987 28 0 0 25 0 1 0 703293272 39530496 8581 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8581 1111 63 0 9588 0
vsize: 38604
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8639 0 0 0 106987 28 0 0 25 0 1 0 703293272 39530496 8581 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8581 1111 63 0 9588 0
vsize: 38604
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8639 0 0 0 107987 28 0 0 25 0 1 0 703293272 39530496 8581 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8581 1111 63 0 9588 0
vsize: 38604
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8641 0 0 0 108987 28 0 0 25 0 1 0 703293272 39530496 8583 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8583 1111 63 0 9588 0
vsize: 38604
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8641 0 0 0 109987 28 0 0 25 0 1 0 703293272 39530496 8583 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8583 1111 63 0 9588 0
vsize: 38604
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8641 0 0 0 110987 28 0 0 25 0 1 0 703293272 39530496 8583 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8583 1111 63 0 9588 0
vsize: 38604
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8641 0 0 0 111987 28 0 0 25 0 1 0 703293272 39530496 8583 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8583 1111 63 0 9588 0
vsize: 38604
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8641 0 0 0 112988 28 0 0 25 0 1 0 703293272 39530496 8583 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8583 1111 63 0 9588 0
vsize: 38604
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8641 0 0 0 113988 28 0 0 25 0 1 0 703293272 39530496 8583 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8583 1111 63 0 9588 0
vsize: 38604
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8656 0 0 0 114988 28 0 0 25 0 1 0 703293272 39530496 8598 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8598 1111 63 0 9588 0
vsize: 38604
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8656 0 0 0 115988 28 0 0 25 0 1 0 703293272 39530496 8598 4294967295 134512640 134714540 3221221792 3221220516 134622811 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8598 1111 63 0 9588 0
vsize: 38604
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8656 0 0 0 116988 28 0 0 25 0 1 0 703293272 39530496 8598 4294967295 134512640 134714540 3221221792 3221220516 134622883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8598 1111 63 0 9588 0
vsize: 38604
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8656 0 0 0 117988 28 0 0 25 0 1 0 703293272 39530496 8598 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8598 1111 63 0 9588 0
vsize: 38604
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8656 0 0 0 118988 28 0 0 25 0 1 0 703293272 39530496 8598 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8598 1111 63 0 9588 0
vsize: 38604
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2361
Raw data (stat): 2361 (bsolo_mis) R 2360 7876 7672 0 -1 0 8656 0 0 0 119989 28 0 0 25 0 1 0 703293272 39530496 8598 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8598 1111 63 0 9588 0
vsize: 38604
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 2361
Raw data (stat): 2361 (bsolo_mis) Z 2360 7876 7672 0 -1 1036 8656 0 0 0 119989 29 0 0 25 0 1 0 703293272 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.05
CPU time (s): 1200.19
CPU user time (s): 1199.89
CPU system time (s): 0.299954
CPU usage (%): 100.012
Max. virtual memory (Kb): 38604
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####