PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3708.opb
MD5SUM	5b991f27ed09188f1ae8c5e20a0bcb79
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39212410939
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39212410939
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.997848
Number of variables	105000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 26931

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-05-24 18:11:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19100 boxname=wulflinc15 idbench=1470 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  5b991f27ed09188f1ae8c5e20a0bcb79  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-n3708.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-n3708.opb
IDLAUNCH: 19100
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        538244 kB
Buffers:         10508 kB
Cached:         464924 kB
SwapCached:        568 kB
Active:          29476 kB
Inactive:       448420 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        537992 kB
SwapTotal:     2097136 kB
SwapFree:      2096108 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5708 kB
Slab:            12776 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 18:31:37 (client local time) WITH STATUS 0 IN 1200.36 SECONDS
stats: 19100 7 1200.36 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
#### 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.93 0.97 0.93 2/54 26686
Raw data (stat): 26686 (runsolver) R 26685 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774071044 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 0.94 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 1002 0 0 0 996 2 0 0 25 0 1 0 774071044 16048128 980 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3918 980 1111 63 0 3855 0
vsize: 15672
[startup+20.0009 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 1248 0 0 0 1996 3 0 0 25 0 1 0 774071044 17027072 1226 4294967295 134512640 134714540 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4157 1226 1111 63 0 4094 0
vsize: 16628
[startup+30.0008 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 1492 0 0 0 2996 3 0 0 25 0 1 0 774071044 18026496 1470 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4401 1470 1111 63 0 4338 0
vsize: 17604
[startup+40.0006 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 1740 0 0 0 3995 4 0 0 25 0 1 0 774071044 19013632 1718 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4642 1718 1111 63 0 4579 0
vsize: 18568
[startup+50.0014 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 1981 0 0 0 4995 4 0 0 25 0 1 0 774071044 20000768 1959 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4883 1959 1111 63 0 4820 0
vsize: 19532
[startup+60.0016 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 2234 0 0 0 5995 5 0 0 25 0 1 0 774071044 21123072 2212 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5157 2212 1111 63 0 5094 0
vsize: 20628
[startup+70.0021 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 2482 0 0 0 6995 5 0 0 25 0 1 0 774071044 22110208 2460 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5398 2460 1111 63 0 5335 0
vsize: 21592
[startup+80.0029 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 2729 0 0 0 7994 5 0 0 25 0 1 0 774071044 23089152 2707 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5637 2707 1111 63 0 5574 0
vsize: 22548
[startup+90.0027 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 2977 0 0 0 8995 5 0 0 25 0 1 0 774071044 24076288 2955 4294967295 134512640 134714540 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5878 2955 1111 63 0 5815 0
vsize: 23512
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 3224 0 0 0 9994 6 0 0 25 0 1 0 774071044 25063424 3202 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6119 3202 1111 63 0 6056 0
vsize: 24476
[startup+110.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 3472 0 0 0 10994 6 0 0 25 0 1 0 774071044 26189824 3450 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6394 3450 1111 63 0 6331 0
vsize: 25576
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 3733 0 0 0 11994 7 0 0 25 0 1 0 774071044 27197440 3711 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6640 3711 1111 63 0 6577 0
vsize: 26560
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 3982 0 0 0 12994 7 0 0 25 0 1 0 774071044 28184576 3960 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6881 3960 1111 63 0 6818 0
vsize: 27524
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 4231 0 0 0 13993 8 0 0 25 0 1 0 774071044 29306880 4209 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7155 4209 1111 63 0 7092 0
vsize: 28620
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 4484 0 0 0 14993 8 0 0 25 0 1 0 774071044 30289920 4462 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7395 4462 1111 63 0 7332 0
vsize: 29580
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 4732 0 0 0 15992 9 0 0 25 0 1 0 774071044 31281152 4710 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7637 4711 1111 63 0 7574 0
vsize: 30548
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 4988 0 0 0 16992 9 0 0 25 0 1 0 774071044 32407552 4966 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7912 4966 1111 63 0 7849 0
vsize: 31648
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 5237 0 0 0 17992 10 0 0 25 0 1 0 774071044 33390592 5215 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8152 5215 1111 63 0 8089 0
vsize: 32608
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 5491 0 0 0 18992 10 0 0 25 0 1 0 774071044 34377728 5469 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8393 5469 1111 63 0 8330 0
vsize: 33572
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 5739 0 0 0 19992 10 0 0 25 0 1 0 774071044 35364864 5717 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8634 5717 1111 63 0 8571 0
vsize: 34536
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 6000 0 0 0 20992 10 0 0 25 0 1 0 774071044 36487168 5978 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8908 5978 1111 63 0 8845 0
vsize: 35632
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 6247 0 0 0 21991 11 0 0 25 0 1 0 774071044 37474304 6225 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9149 6225 1111 63 0 9086 0
vsize: 36596
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 6513 0 0 0 22991 12 0 0 25 0 1 0 774071044 38641664 6491 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9434 6491 1111 63 0 9371 0
vsize: 37736
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 6767 0 0 0 23991 12 0 0 25 0 1 0 774071044 39624704 6745 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9674 6745 1111 63 0 9611 0
vsize: 38696
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 7023 0 0 0 24991 12 0 0 25 0 1 0 774071044 40751104 7001 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9949 7001 1111 63 0 9886 0
vsize: 39796
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 7279 0 0 0 25991 13 0 0 25 0 1 0 774071044 41742336 7257 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10191 7257 1111 63 0 10128 0
vsize: 40764
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 7539 0 0 0 26991 13 0 0 25 0 1 0 774071044 42868736 7517 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10466 7517 1111 63 0 10403 0
vsize: 41864
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 7795 0 0 0 27991 13 0 0 25 0 1 0 774071044 43851776 7773 4294967295 134512640 134714540 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10706 7773 1111 63 0 10643 0
vsize: 42824
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 8050 0 0 0 28990 14 0 0 25 0 1 0 774071044 44974080 8028 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10980 8028 1111 63 0 10917 0
vsize: 43920
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 8310 0 0 0 29990 14 0 0 25 0 1 0 774071044 45961216 8288 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11221 8288 1111 63 0 11158 0
vsize: 44884
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 8566 0 0 0 30990 14 0 0 25 0 1 0 774071044 47087616 8544 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11496 8544 1111 63 0 11433 0
vsize: 45984
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 8822 0 0 0 31990 15 0 0 25 0 1 0 774071044 48074752 8800 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11737 8800 1111 63 0 11674 0
vsize: 46948
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 9084 0 0 0 32989 15 0 0 25 0 1 0 774071044 49201152 9062 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12012 9062 1111 63 0 11949 0
vsize: 48048
[startup+340.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 9347 0 0 0 33990 16 0 0 25 0 1 0 774071044 50188288 9325 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12253 9325 1111 63 0 12190 0
vsize: 49012
[startup+350.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 9608 0 0 0 34990 16 0 0 25 0 1 0 774071044 51314688 9586 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12528 9586 1111 63 0 12465 0
vsize: 50112
[startup+360.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 9870 0 0 0 35990 17 0 0 25 0 1 0 774071044 52301824 9848 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12769 9848 1111 63 0 12706 0
vsize: 51076
[startup+370.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 10126 0 0 0 36990 17 0 0 25 0 1 0 774071044 53420032 10104 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13042 10104 1111 63 0 12979 0
vsize: 52168
[startup+380.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 10386 0 0 0 37989 18 0 0 25 0 1 0 774071044 54407168 10364 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13283 10364 1111 63 0 13220 0
vsize: 53132
[startup+390.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 10649 0 0 0 38988 18 0 0 25 0 1 0 774071044 55537664 10627 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13559 10627 1111 63 0 13496 0
vsize: 54236
[startup+400.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 10911 0 0 0 39989 19 0 0 25 0 1 0 774071044 56664064 10889 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13834 10889 1111 63 0 13771 0
vsize: 55336
[startup+410.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 11179 0 0 0 40989 19 0 0 25 0 1 0 774071044 57647104 11157 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14074 11157 1111 63 0 14011 0
vsize: 56296
[startup+420.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 11440 0 0 0 41989 20 0 0 25 0 1 0 774071044 58773504 11418 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14349 11418 1111 63 0 14286 0
vsize: 57396
[startup+430.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 11702 0 0 0 42988 20 0 0 25 0 1 0 774071044 59904000 11680 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14625 11680 1111 63 0 14562 0
vsize: 58500
[startup+440.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 11982 0 0 0 43988 21 0 0 25 0 1 0 774071044 61136896 11960 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14926 11960 1111 63 0 14863 0
vsize: 59704
[startup+450.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 12251 0 0 0 44988 21 0 0 25 0 1 0 774071044 62263296 12229 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15201 12229 1111 63 0 15138 0
vsize: 60804
[startup+460.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 12519 0 0 0 45987 22 0 0 25 0 1 0 774071044 63242240 12497 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15440 12497 1111 63 0 15377 0
vsize: 61760
[startup+470.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 12780 0 0 0 46987 22 0 0 25 0 1 0 774071044 64372736 12758 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15716 12758 1111 63 0 15653 0
vsize: 62864
[startup+480.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 13049 0 0 0 47987 23 0 0 25 0 1 0 774071044 65499136 13027 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15991 13027 1111 63 0 15928 0
vsize: 63964
[startup+490.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 13318 0 0 0 48986 24 0 0 25 0 1 0 774071044 66625536 13296 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16266 13296 1111 63 0 16203 0
vsize: 65064
[startup+500.039 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 13580 0 0 0 49986 24 0 0 25 0 1 0 774071044 67612672 13558 4294967295 134512640 134714540 3221224592 3221223248 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16507 13558 1111 63 0 16444 0
vsize: 66028
[startup+510.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 13855 0 0 0 50986 25 0 0 25 0 1 0 774071044 68739072 13833 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16782 13833 1111 63 0 16719 0
vsize: 67128
[startup+520.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 14119 0 0 0 51985 25 0 0 25 0 1 0 774071044 69865472 14097 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17057 14097 1111 63 0 16994 0
vsize: 68228
[startup+530.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 14394 0 0 0 52985 26 0 0 25 0 1 0 774071044 70991872 14372 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17332 14372 1111 63 0 17269 0
vsize: 69328
[startup+540.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 14663 0 0 0 53984 26 0 0 25 0 1 0 774071044 72118272 14641 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17607 14641 1111 63 0 17544 0
vsize: 70428
[startup+550.041 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 14932 0 0 0 54984 27 0 0 25 0 1 0 774071044 73105408 14910 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17848 14910 1111 63 0 17785 0
vsize: 71392
[startup+560.041 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 15208 0 0 0 55984 27 0 0 25 0 1 0 774071044 74231808 15186 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18123 15186 1111 63 0 18060 0
vsize: 72492
[startup+570.042 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 15477 0 0 0 56984 27 0 0 25 0 1 0 774071044 75358208 15455 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18398 15455 1111 63 0 18335 0
vsize: 73592
[startup+580.042 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 15752 0 0 0 57984 28 0 0 25 0 1 0 774071044 76484608 15730 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18673 15730 1111 63 0 18610 0
vsize: 74692
[startup+590.042 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 16023 0 0 0 58984 28 0 0 25 0 1 0 774071044 77606912 16001 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18947 16001 1111 63 0 18884 0
vsize: 75788
[startup+600.043 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 16296 0 0 0 59984 28 0 0 25 0 1 0 774071044 78733312 16274 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19222 16274 1111 63 0 19159 0
vsize: 76888
[startup+610.043 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 16572 0 0 0 60983 29 0 0 25 0 1 0 774071044 79859712 16550 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19497 16550 1111 63 0 19434 0
vsize: 77988
[startup+620.044 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 16848 0 0 0 61982 30 0 0 25 0 1 0 774071044 80986112 16826 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19772 16826 1111 63 0 19709 0
vsize: 79088
[startup+630.044 s]
Raw data (loadavg): 1.15 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 17123 0 0 0 62983 30 0 0 25 0 1 0 774071044 82112512 17101 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20047 17101 1111 63 0 19984 0
vsize: 80188
[startup+640.043 s]
Raw data (loadavg): 1.12 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 17400 0 0 0 63982 30 0 0 25 0 1 0 774071044 83238912 17378 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20322 17378 1111 63 0 20259 0
vsize: 81288
[startup+650.044 s]
Raw data (loadavg): 1.10 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 17675 0 0 0 64982 30 0 0 25 0 1 0 774071044 84365312 17653 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20597 17653 1111 63 0 20534 0
vsize: 82388
[startup+660.044 s]
Raw data (loadavg): 1.09 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 17952 0 0 0 65982 31 0 0 25 0 1 0 774071044 85491712 17930 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20872 17930 1111 63 0 20809 0
vsize: 83488
[startup+670.045 s]
Raw data (loadavg): 1.07 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 18228 0 0 0 66981 32 0 0 25 0 1 0 774071044 86622208 18206 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21148 18206 1111 63 0 21085 0
vsize: 84592
[startup+680.046 s]
Raw data (loadavg): 1.06 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 18510 0 0 0 67981 32 0 0 25 0 1 0 774071044 87748608 18488 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21423 18488 1111 63 0 21360 0
vsize: 85692
[startup+690.046 s]
Raw data (loadavg): 1.05 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 18787 0 0 0 68981 32 0 0 25 0 1 0 774071044 88875008 18765 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21698 18765 1111 63 0 21635 0
vsize: 86792
[startup+700.046 s]
Raw data (loadavg): 1.04 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 19069 0 0 0 69981 33 0 0 25 0 1 0 774071044 90001408 19047 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21973 19047 1111 63 0 21910 0
vsize: 87892
[startup+710.046 s]
Raw data (loadavg): 1.04 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 19345 0 0 0 70980 34 0 0 25 0 1 0 774071044 91127808 19323 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22248 19323 1111 63 0 22185 0
vsize: 88992
[startup+720.047 s]
Raw data (loadavg): 1.03 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 19628 0 0 0 71980 34 0 0 25 0 1 0 774071044 92397568 19606 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22558 19606 1111 63 0 22495 0
vsize: 90232
[startup+730.047 s]
Raw data (loadavg): 1.03 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 19910 0 0 0 72979 35 0 0 25 0 1 0 774071044 93523968 19888 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22833 19888 1111 63 0 22770 0
vsize: 91332
[startup+740.047 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 20194 0 0 0 73979 36 0 0 25 0 1 0 774071044 94650368 20172 4294967295 134512640 134714540 3221224592 3221222680 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23108 20172 1111 63 0 23045 0
vsize: 92432
[startup+750.048 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 20476 0 0 0 74979 36 0 0 25 0 1 0 774071044 95776768 20454 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23383 20454 1111 63 0 23320 0
vsize: 93532
[startup+760.048 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 20759 0 0 0 75979 36 0 0 25 0 1 0 774071044 96903168 20737 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23658 20737 1111 63 0 23595 0
vsize: 94632
[startup+770.049 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 21042 0 0 0 76978 37 0 0 25 0 1 0 774071044 98168832 21020 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23967 21020 1111 63 0 23904 0
vsize: 95868
[startup+780.049 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 21330 0 0 0 77978 37 0 0 25 0 1 0 774071044 99291136 21308 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24241 21308 1111 63 0 24178 0
vsize: 96964
[startup+790.049 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 21614 0 0 0 78977 38 0 0 25 0 1 0 774071044 100417536 21592 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24516 21592 1111 63 0 24453 0
vsize: 98064
[startup+800.049 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 21901 0 0 0 79977 38 0 0 25 0 1 0 774071044 101683200 21879 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24825 21879 1111 63 0 24762 0
vsize: 99300
[startup+810.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 22185 0 0 0 80977 39 0 0 25 0 1 0 774071044 102809600 22163 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25100 22163 1111 63 0 25037 0
vsize: 100400
[startup+820.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 22473 0 0 0 81976 40 0 0 25 0 1 0 774071044 103936000 22451 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25375 22451 1111 63 0 25312 0
vsize: 101500
[startup+830.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 22762 0 0 0 82976 40 0 0 25 0 1 0 774071044 105201664 22740 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25684 22740 1111 63 0 25621 0
vsize: 102736
[startup+840.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 23085 0 0 0 83976 41 0 0 25 0 1 0 774071044 106692608 23063 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26048 23063 1111 63 0 25985 0
vsize: 104192
[startup+850.052 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 23373 0 0 0 84975 42 0 0 25 0 1 0 774071044 107958272 23351 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26357 23351 1111 63 0 26294 0
vsize: 105428
[startup+860.053 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 23664 0 0 0 85975 42 0 0 25 0 1 0 774071044 109084672 23642 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26632 23642 1111 63 0 26569 0
vsize: 106528
[startup+870.054 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 23953 0 0 0 86974 43 0 0 25 0 1 0 774071044 110211072 23931 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26907 23931 1111 63 0 26844 0
vsize: 107628
[startup+880.054 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 24243 0 0 0 87973 44 0 0 25 0 1 0 774071044 111476736 24221 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27216 24221 1111 63 0 27153 0
vsize: 108864
[startup+890.054 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 24539 0 0 0 88973 44 0 0 25 0 1 0 774071044 112607232 24517 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27492 24517 1111 63 0 27429 0
vsize: 109968
[startup+900.055 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 24836 0 0 0 89973 45 0 0 25 0 1 0 774071044 113872896 24814 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27801 24814 1111 63 0 27738 0
vsize: 111204
[startup+910.055 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 25126 0 0 0 90973 45 0 0 25 0 1 0 774071044 114999296 25104 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28076 25104 1111 63 0 28013 0
vsize: 112304
[startup+920.063 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 25421 0 0 0 91973 46 0 0 25 0 1 0 774071044 116264960 25399 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28385 25399 1111 63 0 28322 0
vsize: 113540
[startup+930.099 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 25719 0 0 0 92976 46 0 0 25 0 1 0 774071044 117530624 25697 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28694 25697 1111 63 0 28631 0
vsize: 114776
[startup+940.098 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 26014 0 0 0 93976 47 0 0 25 0 1 0 774071044 118657024 25992 4294967295 134512640 134714540 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28969 25992 1111 63 0 28906 0
vsize: 115876
[startup+950.098 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 26311 0 0 0 94975 48 0 0 25 0 1 0 774071044 119926784 26289 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29279 26289 1111 63 0 29216 0
vsize: 117116
[startup+960.099 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 26608 0 0 0 95975 49 0 0 25 0 1 0 774071044 121053184 26586 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29554 26586 1111 63 0 29491 0
vsize: 118216
[startup+970.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 26903 0 0 0 96974 49 0 0 25 0 1 0 774071044 122318848 26881 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29863 26881 1111 63 0 29800 0
vsize: 119452
[startup+980.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 27207 0 0 0 97974 50 0 0 25 0 1 0 774071044 123588608 27185 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30173 27185 1111 63 0 30110 0
vsize: 120692
[startup+990.101 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 27497 0 0 0 98973 51 0 0 25 0 1 0 774071044 124715008 27475 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30448 27475 1111 63 0 30385 0
vsize: 121792
[startup+1000.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 27801 0 0 0 99973 51 0 0 25 0 1 0 774071044 125980672 27779 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30757 27779 1111 63 0 30694 0
vsize: 123028
[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 28103 0 0 0 100973 51 0 0 25 0 1 0 774071044 127246336 28081 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31066 28081 1111 63 0 31003 0
vsize: 124264
[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 28407 0 0 0 101973 52 0 0 25 0 1 0 774071044 128512000 28385 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31375 28385 1111 63 0 31312 0
vsize: 125500
[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 28705 0 0 0 102972 53 0 0 25 0 1 0 774071044 129638400 28683 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31650 28683 1111 63 0 31587 0
vsize: 126600
[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 29008 0 0 0 103971 54 0 0 25 0 1 0 774071044 130908160 28986 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31960 28986 1111 63 0 31897 0
vsize: 127840
[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 29312 0 0 0 104971 54 0 0 25 0 1 0 774071044 132177920 29290 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32270 29290 1111 63 0 32207 0
vsize: 129080
[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 29621 0 0 0 105971 55 0 0 25 0 1 0 774071044 133447680 29599 4294967295 134512640 134714540 3221224592 3221223248 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32580 29599 1111 63 0 32517 0
vsize: 130320
[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 29924 0 0 0 106970 55 0 0 25 0 1 0 774071044 134713344 29902 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32889 29902 1111 63 0 32826 0
vsize: 131556
[startup+1080.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 30227 0 0 0 107970 56 0 0 25 0 1 0 774071044 135839744 30205 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33164 30205 1111 63 0 33101 0
vsize: 132656
[startup+1090.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 30532 0 0 0 108970 56 0 0 25 0 1 0 774071044 137109504 30510 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33474 30510 1111 63 0 33411 0
vsize: 133896
[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 30834 0 0 0 109970 57 0 0 25 0 1 0 774071044 138375168 30812 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33783 30812 1111 63 0 33720 0
vsize: 135132
[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 31143 0 0 0 110969 57 0 0 25 0 1 0 774071044 139640832 31121 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34092 31121 1111 63 0 34029 0
vsize: 136368
[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 31455 0 0 0 111969 57 0 0 25 0 1 0 774071044 140906496 31433 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34401 31433 1111 63 0 34338 0
vsize: 137604
[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 31757 0 0 0 112969 58 0 0 25 0 1 0 774071044 142176256 31735 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34711 31735 1111 63 0 34648 0
vsize: 138844
[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 32075 0 0 0 113968 59 0 0 25 0 1 0 774071044 143441920 32053 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35020 32053 1111 63 0 34957 0
vsize: 140080
[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 32378 0 0 0 114968 60 0 0 25 0 1 0 774071044 144711680 32356 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35330 32356 1111 63 0 35267 0
vsize: 141320
[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 32696 0 0 0 115968 60 0 0 25 0 1 0 774071044 145977344 32674 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35639 32674 1111 63 0 35576 0
vsize: 142556
[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 33005 0 0 0 116967 61 0 0 25 0 1 0 774071044 147243008 32983 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35948 32983 1111 63 0 35885 0
vsize: 143792
[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 33317 0 0 0 117967 61 0 0 25 0 1 0 774071044 148508672 33295 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36257 33295 1111 63 0 36194 0
vsize: 145028
[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 33632 0 0 0 118966 62 0 0 25 0 1 0 774071044 149778432 33610 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36567 33610 1111 63 0 36504 0
vsize: 146268
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26686
Raw data (stat): 26686 (bsolo_mis) R 26685 23514 23513 0 -1 0 33949 0 0 0 119966 63 0 0 25 0 1 0 774071044 151044096 33927 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36876 33927 1111 63 0 36813 0
vsize: 147504
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.18 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 26686
Raw data (stat): 26686 (bsolo_mis) Z 26685 23514 23513 0 -1 1036 33949 0 0 0 119966 69 0 0 25 0 1 0 774071044 0 0 4294967295 0 0 0 0 0 0 0 7 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.18
CPU time (s): 1200.36
CPU user time (s): 1199.66
CPU system time (s): 0.694894
CPU usage (%): 100.015
Max. virtual memory (Kb): 147504
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####