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-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-d2q06c.opb
MD5SUM	91ef78d459f6272891a68c3f1abe1bde
Bench Category	optimization, big integers (OPTBIGINT)
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	89670
Biggest coefficient in the objective function	36281708852543488
Number of bits for the biggest coefficient in the objective function	56
Sum of the numbers in the objective function	-1012211575040220109
Number of bits of the sum of numbers in the objective function	64
Biggest number in a constraint	1246989811751845888
Number of bits of the biggest number in a constraint	61
Biggest sum of numbers in a constraint	-1012211575040220109
Number of bits of the biggest sum of numbers	64
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.42378
Number of variables	155010
Total number of constraints	2171
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	2171
Minimum length of a constraint	30
Maximum length of a constraint	3270
Trace number 29037

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-05-25 04:27:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=10663 boxname=wulflinc8 idbench=821 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  91ef78d459f6272891a68c3f1abe1bde  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-d2q06c.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-d2q06c.opb
IDLAUNCH: 10663
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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:        322080 kB
Buffers:         37428 kB
Cached:         648012 kB
SwapCached:          0 kB
Active:          87728 kB
Inactive:       604708 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        321828 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           7064 kB
Slab:            14532 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 04:47:56 (client local time) WITH STATUS 0 IN 1200.32 SECONDS
stats: 10663 7 1200.32 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.95 0.93 0.90 1/54 14427
Raw data (stat): 14427 (runsolver) D 14426 3132 3131 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 764209595 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0009 s]
Raw data (loadavg): 0.96 0.93 0.90 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 995 0 0 0 987 3 0 0 25 0 1 0 764209595 15355904 973 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3749 973 1111 63 0 3686 0
vsize: 14996
[startup+20.0011 s]
Raw data (loadavg): 0.97 0.93 0.90 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 1099 0 0 0 1987 3 0 0 25 0 1 0 764209595 15790080 1077 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3855 1077 1111 63 0 3792 0
vsize: 15420
[startup+30.0009 s]
Raw data (loadavg): 0.97 0.93 0.90 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 1208 0 0 0 2986 4 0 0 25 0 1 0 764209595 16232448 1186 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3963 1186 1111 63 0 3900 0
vsize: 15852
[startup+40.01 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 1319 0 0 0 3987 4 0 0 25 0 1 0 764209595 16678912 1297 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4072 1297 1111 63 0 4009 0
vsize: 16288
[startup+50.0095 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 1424 0 0 0 4987 4 0 0 25 0 1 0 764209595 17235968 1402 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4208 1402 1111 63 0 4145 0
vsize: 16832
[startup+60.0092 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 1528 0 0 0 5987 4 0 0 25 0 1 0 764209595 17534976 1506 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4281 1506 1111 63 0 4218 0
vsize: 17124
[startup+70.0094 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 1637 0 0 0 6987 5 0 0 25 0 1 0 764209595 17989632 1615 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4392 1615 1111 63 0 4329 0
vsize: 17568
[startup+80.0098 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 1748 0 0 0 7987 5 0 0 25 0 1 0 764209595 18436096 1726 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4501 1726 1111 63 0 4438 0
vsize: 18004
[startup+90.0096 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 1851 0 0 0 8987 5 0 0 25 0 1 0 764209595 18862080 1829 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4605 1829 1111 63 0 4542 0
vsize: 18420
[startup+100.01 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 1966 0 0 0 9987 5 0 0 25 0 1 0 764209595 19439616 1944 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4746 1944 1111 63 0 4683 0
vsize: 18984
[startup+110.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 2032 0 0 0 10987 5 0 0 25 0 1 0 764209595 19730432 2010 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4817 2010 1111 63 0 4754 0
vsize: 19268
[startup+120.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 2105 0 0 0 11987 5 0 0 25 0 1 0 764209595 20029440 2083 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4890 2083 1111 63 0 4827 0
vsize: 19560
[startup+130.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 2179 0 0 0 12987 5 0 0 25 0 1 0 764209595 20328448 2157 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4963 2157 1111 63 0 4900 0
vsize: 19852
[startup+140.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 2268 0 0 0 13987 6 0 0 25 0 1 0 764209595 20631552 2246 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5037 2246 1111 63 0 4974 0
vsize: 20148
[startup+150.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 2369 0 0 0 14987 6 0 0 25 0 1 0 764209595 21082112 2347 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5147 2347 1111 63 0 5084 0
vsize: 20588
[startup+160.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 2459 0 0 0 15987 6 0 0 25 0 1 0 764209595 21364736 2437 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5216 2437 1111 63 0 5153 0
vsize: 20864
[startup+170.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 2561 0 0 0 16987 7 0 0 25 0 1 0 764209595 21807104 2539 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5324 2539 1111 63 0 5261 0
vsize: 21296
[startup+180.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 2651 0 0 0 17987 7 0 0 25 0 1 0 764209595 22257664 2629 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5434 2629 1111 63 0 5371 0
vsize: 21736
[startup+190.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 2752 0 0 0 18987 7 0 0 25 0 1 0 764209595 22556672 2730 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5507 2730 1111 63 0 5444 0
vsize: 22028
[startup+200.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 2856 0 0 0 19987 7 0 0 25 0 1 0 764209595 23007232 2834 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5617 2834 1111 63 0 5554 0
vsize: 22468
[startup+210.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 2972 0 0 0 20987 7 0 0 25 0 1 0 764209595 23601152 2950 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5762 2950 1111 63 0 5699 0
vsize: 23048
[startup+220.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 3067 0 0 0 21987 7 0 0 25 0 1 0 764209595 23900160 3045 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5835 3045 1111 63 0 5772 0
vsize: 23340
[startup+230.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 3163 0 0 0 22987 8 0 0 25 0 1 0 764209595 24350720 3141 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5945 3141 1111 63 0 5882 0
vsize: 23780
[startup+240.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 3258 0 0 0 23987 8 0 0 25 0 1 0 764209595 24649728 3236 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6018 3236 1111 63 0 5955 0
vsize: 24072
[startup+250.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 3363 0 0 0 24988 8 0 0 25 0 1 0 764209595 25108480 3341 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6130 3341 1111 63 0 6067 0
vsize: 24520
[startup+260.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 3459 0 0 0 25987 9 0 0 25 0 1 0 764209595 25554944 3437 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6239 3437 1111 63 0 6176 0
vsize: 24956
[startup+270.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 3555 0 0 0 26987 9 0 0 25 0 1 0 764209595 25858048 3533 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6313 3533 1111 63 0 6250 0
vsize: 25252
[startup+280.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 3658 0 0 0 27988 9 0 0 25 0 1 0 764209595 26308608 3636 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6423 3636 1111 63 0 6360 0
vsize: 25692
[startup+290.126 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 3747 0 0 0 28998 9 0 0 25 0 1 0 764209595 26755072 3725 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6532 3725 1111 63 0 6469 0
vsize: 26128
[startup+300.129 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 3850 0 0 0 29998 9 0 0 25 0 1 0 764209595 27181056 3828 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6636 3828 1111 63 0 6573 0
vsize: 26544
[startup+310.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 3969 0 0 0 30998 10 0 0 25 0 1 0 764209595 27631616 3947 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6746 3947 1111 63 0 6683 0
vsize: 26984
[startup+320.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 4085 0 0 0 31998 10 0 0 25 0 1 0 764209595 28082176 4063 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6856 4063 1111 63 0 6793 0
vsize: 27424
[startup+330.131 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 4174 0 0 0 32998 10 0 0 25 0 1 0 764209595 28381184 4152 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6929 4152 1111 63 0 6866 0
vsize: 27716
[startup+340.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 4278 0 0 0 33998 10 0 0 25 0 1 0 764209595 28839936 4256 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7041 4256 1111 63 0 6978 0
vsize: 28164
[startup+350.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 4380 0 0 0 34998 10 0 0 25 0 1 0 764209595 29286400 4358 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7150 4358 1111 63 0 7087 0
vsize: 28600
[startup+360.131 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 4470 0 0 0 35998 10 0 0 25 0 1 0 764209595 29589504 4448 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7224 4448 1111 63 0 7161 0
vsize: 28896
[startup+370.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 4586 0 0 0 36998 11 0 0 25 0 1 0 764209595 30187520 4564 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7370 4564 1111 63 0 7307 0
vsize: 29480
[startup+380.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 4690 0 0 0 37998 11 0 0 25 0 1 0 764209595 30494720 4668 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7445 4668 1111 63 0 7382 0
vsize: 29780
[startup+390.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 4771 0 0 0 39000 11 0 0 25 0 1 0 764209595 30945280 4749 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7555 4749 1111 63 0 7492 0
vsize: 30220
[startup+400.149 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 4886 0 0 0 40000 11 0 0 25 0 1 0 764209595 31432704 4864 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7674 4864 1111 63 0 7611 0
vsize: 30696
[startup+410.148 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 5002 0 0 0 41000 11 0 0 25 0 1 0 764209595 31883264 4980 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7784 4980 1111 63 0 7721 0
vsize: 31136
[startup+420.149 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 5121 0 0 0 42000 12 0 0 25 0 1 0 764209595 32337920 5099 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7895 5099 1111 63 0 7832 0
vsize: 31580
[startup+430.149 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 5230 0 0 0 43000 12 0 0 25 0 1 0 764209595 32788480 5208 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8005 5208 1111 63 0 7942 0
vsize: 32020
[startup+440.149 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 5343 0 0 0 44000 12 0 0 25 0 1 0 764209595 33239040 5321 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8115 5321 1111 63 0 8052 0
vsize: 32460
[startup+450.149 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 5453 0 0 0 45000 12 0 0 25 0 1 0 764209595 33689600 5431 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8225 5431 1111 63 0 8162 0
vsize: 32900
[startup+460.149 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 5563 0 0 0 46000 12 0 0 25 0 1 0 764209595 34144256 5541 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8336 5541 1111 63 0 8273 0
vsize: 33344
[startup+470.149 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 5672 0 0 0 47000 12 0 0 25 0 1 0 764209595 34590720 5650 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8445 5650 1111 63 0 8382 0
vsize: 33780
[startup+480.149 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 5777 0 0 0 48000 13 0 0 25 0 1 0 764209595 35045376 5755 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8556 5755 1111 63 0 8493 0
vsize: 34224
[startup+490.149 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 5888 0 0 0 49000 13 0 0 25 0 1 0 764209595 35495936 5866 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8666 5866 1111 63 0 8603 0
vsize: 34664
[startup+500.149 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 5977 0 0 0 50000 13 0 0 25 0 1 0 764209595 35794944 5955 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8739 5955 1111 63 0 8676 0
vsize: 34956
[startup+510.149 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 6094 0 0 0 51000 13 0 0 25 0 1 0 764209595 36397056 6072 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8886 6072 1111 63 0 8823 0
vsize: 35544
[startup+520.148 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 6206 0 0 0 52000 13 0 0 25 0 1 0 764209595 36851712 6184 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8997 6184 1111 63 0 8934 0
vsize: 35988
[startup+530.149 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 6324 0 0 0 53000 14 0 0 25 0 1 0 764209595 37302272 6302 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9107 6302 1111 63 0 9044 0
vsize: 36428
[startup+540.149 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 6441 0 0 0 54000 14 0 0 25 0 1 0 764209595 37752832 6419 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9217 6419 1111 63 0 9154 0
vsize: 36868
[startup+550.149 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 6558 0 0 0 54999 14 0 0 25 0 1 0 764209595 38203392 6536 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9327 6536 1111 63 0 9264 0
vsize: 37308
[startup+560.149 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 6648 0 0 0 55999 15 0 0 25 0 1 0 764209595 38658048 6626 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9438 6626 1111 63 0 9375 0
vsize: 37752
[startup+570.155 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 6751 0 0 0 57000 15 0 0 25 0 1 0 764209595 38957056 6729 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9511 6729 1111 63 0 9448 0
vsize: 38044
[startup+580.155 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 6870 0 0 0 58000 15 0 0 25 0 1 0 764209595 39559168 6848 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9658 6848 1111 63 0 9595 0
vsize: 38632
[startup+590.154 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 6973 0 0 0 59000 15 0 0 25 0 1 0 764209595 39858176 6951 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9731 6951 1111 63 0 9668 0
vsize: 38924
[startup+600.155 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 7074 0 0 0 60000 15 0 0 25 0 1 0 764209595 40308736 7052 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9841 7052 1111 63 0 9778 0
vsize: 39364
[startup+610.155 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 7171 0 0 0 61000 16 0 0 25 0 1 0 764209595 40763392 7149 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9952 7149 1111 63 0 9889 0
vsize: 39808
[startup+620.155 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 7295 0 0 0 62000 16 0 0 25 0 1 0 764209595 41213952 7273 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10062 7273 1111 63 0 9999 0
vsize: 40248
[startup+630.156 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 7401 0 0 0 63000 16 0 0 25 0 1 0 764209595 41664512 7379 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10172 7379 1111 63 0 10109 0
vsize: 40688
[startup+640.156 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 7496 0 0 0 64000 17 0 0 25 0 1 0 764209595 42115072 7474 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10282 7474 1111 63 0 10219 0
vsize: 41128
[startup+650.156 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 7607 0 0 0 64999 17 0 0 25 0 1 0 764209595 42541056 7585 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10386 7585 1111 63 0 10323 0
vsize: 41544
[startup+660.156 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 7716 0 0 0 65999 17 0 0 25 0 1 0 764209595 42987520 7694 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10495 7694 1111 63 0 10432 0
vsize: 41980
[startup+670.157 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 7836 0 0 0 66999 17 0 0 25 0 1 0 764209595 43442176 7814 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10606 7814 1111 63 0 10543 0
vsize: 42424
[startup+680.158 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 7953 0 0 0 67999 18 0 0 25 0 1 0 764209595 43888640 7931 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10715 7931 1111 63 0 10652 0
vsize: 42860
[startup+690.158 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 8079 0 0 0 68999 18 0 0 25 0 1 0 764209595 44494848 8057 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10863 8057 1111 63 0 10800 0
vsize: 43452
[startup+700.157 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 8195 0 0 0 69999 18 0 0 25 0 1 0 764209595 44945408 8173 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10973 8173 1111 63 0 10910 0
vsize: 43892
[startup+710.158 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 8313 0 0 0 71000 18 0 0 25 0 1 0 764209595 45395968 8291 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11083 8291 1111 63 0 11020 0
vsize: 44332
[startup+720.158 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 8431 0 0 0 71999 18 0 0 25 0 1 0 764209595 45846528 8409 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11193 8409 1111 63 0 11130 0
vsize: 44772
[startup+730.158 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 8535 0 0 0 73000 18 0 0 25 0 1 0 764209595 46301184 8513 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11304 8513 1111 63 0 11241 0
vsize: 45216
[startup+740.159 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 8653 0 0 0 74000 18 0 0 25 0 1 0 764209595 46751744 8631 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11414 8631 1111 63 0 11351 0
vsize: 45656
[startup+750.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 8812 0 0 0 75000 18 0 0 25 0 1 0 764209595 47611904 8790 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11624 8790 1111 63 0 11561 0
vsize: 46496
[startup+760.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 8936 0 0 0 76000 19 0 0 25 0 1 0 764209595 48058368 8914 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11733 8914 1111 63 0 11670 0
vsize: 46932
[startup+770.159 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 9054 0 0 0 77000 19 0 0 25 0 1 0 764209595 48508928 9032 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11843 9032 1111 63 0 11780 0
vsize: 47372
[startup+780.161 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 9185 0 0 0 78000 19 0 0 25 0 1 0 764209595 49082368 9163 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11983 9163 1111 63 0 11920 0
vsize: 47932
[startup+790.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 9283 0 0 0 79000 19 0 0 25 0 1 0 764209595 49532928 9261 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12093 9261 1111 63 0 12030 0
vsize: 48372
[startup+800.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 9394 0 0 0 80000 20 0 0 25 0 1 0 764209595 49983488 9372 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12203 9372 1111 63 0 12140 0
vsize: 48812
[startup+810.161 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 9511 0 0 0 81000 20 0 0 25 0 1 0 764209595 50434048 9489 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12313 9489 1111 63 0 12250 0
vsize: 49252
[startup+820.161 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 9629 0 0 0 82000 20 0 0 25 0 1 0 764209595 50860032 9607 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12417 9607 1111 63 0 12354 0
vsize: 49668
[startup+830.161 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 9732 0 0 0 83000 20 0 0 25 0 1 0 764209595 51306496 9710 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12526 9710 1111 63 0 12463 0
vsize: 50104
[startup+840.162 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 9866 0 0 0 84000 20 0 0 25 0 1 0 764209595 51908608 9844 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12673 9844 1111 63 0 12610 0
vsize: 50692
[startup+850.162 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 9984 0 0 0 85000 20 0 0 25 0 1 0 764209595 52359168 9962 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12783 9962 1111 63 0 12720 0
vsize: 51132
[startup+860.162 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 10102 0 0 0 86000 20 0 0 25 0 1 0 764209595 52813824 10080 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12894 10080 1111 63 0 12831 0
vsize: 51576
[startup+870.162 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 10204 0 0 0 87000 21 0 0 25 0 1 0 764209595 53264384 10182 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13004 10182 1111 63 0 12941 0
vsize: 52016
[startup+880.162 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 10331 0 0 0 88000 21 0 0 25 0 1 0 764209595 53714944 10309 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13114 10309 1111 63 0 13051 0
vsize: 52456
[startup+890.162 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 10457 0 0 0 88999 22 0 0 25 0 1 0 764209595 54321152 10435 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13262 10435 1111 63 0 13199 0
vsize: 53048
[startup+900.162 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 10587 0 0 0 89999 22 0 0 25 0 1 0 764209595 54771712 10565 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13372 10565 1111 63 0 13309 0
vsize: 53488
[startup+910.162 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 10707 0 0 0 90999 22 0 0 25 0 1 0 764209595 55222272 10685 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13482 10685 1111 63 0 13419 0
vsize: 53928
[startup+920.162 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 10825 0 0 0 91999 22 0 0 25 0 1 0 764209595 55820288 10803 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13628 10803 1111 63 0 13565 0
vsize: 54512
[startup+930.164 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 10951 0 0 0 92999 23 0 0 25 0 1 0 764209595 56279040 10929 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13740 10929 1111 63 0 13677 0
vsize: 54960
[startup+940.164 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 11082 0 0 0 93999 23 0 0 25 0 1 0 764209595 56877056 11060 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13886 11060 1111 63 0 13823 0
vsize: 55544
[startup+950.163 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 11208 0 0 0 94999 23 0 0 25 0 1 0 764209595 57327616 11186 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13996 11186 1111 63 0 13933 0
vsize: 55984
[startup+960.164 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 11327 0 0 0 95999 23 0 0 25 0 1 0 764209595 57778176 11305 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14106 11305 1111 63 0 14043 0
vsize: 56424
[startup+970.164 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 11438 0 0 0 96999 23 0 0 25 0 1 0 764209595 58232832 11416 4294967295 134512640 134714540 3221224592 3221223248 134527935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14217 11416 1111 63 0 14154 0
vsize: 56868
[startup+980.165 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 11549 0 0 0 97999 24 0 0 25 0 1 0 764209595 58683392 11527 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14327 11527 1111 63 0 14264 0
vsize: 57308
[startup+990.165 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 11665 0 0 0 98999 24 0 0 25 0 1 0 764209595 59133952 11643 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14437 11643 1111 63 0 14374 0
vsize: 57748
[startup+1000.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 11800 0 0 0 99999 24 0 0 25 0 1 0 764209595 59740160 11778 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14585 11778 1111 63 0 14522 0
vsize: 58340
[startup+1010.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 11931 0 0 0 100999 24 0 0 25 0 1 0 764209595 60338176 11909 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14731 11909 1111 63 0 14668 0
vsize: 58924
[startup+1020.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 12049 0 0 0 101999 25 0 0 25 0 1 0 764209595 60792832 12027 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14842 12027 1111 63 0 14779 0
vsize: 59368
[startup+1030.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 12167 0 0 0 102999 25 0 0 25 0 1 0 764209595 61239296 12145 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14951 12145 1111 63 0 14888 0
vsize: 59804
[startup+1040.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 12287 0 0 0 103999 25 0 0 25 0 1 0 764209595 61698048 12265 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15063 12265 1111 63 0 15000 0
vsize: 60252
[startup+1050.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 12404 0 0 0 105000 25 0 0 25 0 1 0 764209595 62144512 12382 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15172 12382 1111 63 0 15109 0
vsize: 60688
[startup+1060.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 12529 0 0 0 106000 26 0 0 25 0 1 0 764209595 62746624 12507 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15319 12507 1111 63 0 15256 0
vsize: 61276
[startup+1070.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 12653 0 0 0 107000 26 0 0 25 0 1 0 764209595 63197184 12631 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15429 12631 1111 63 0 15366 0
vsize: 61716
[startup+1080.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 12765 0 0 0 108000 26 0 0 25 0 1 0 764209595 63651840 12743 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15540 12743 1111 63 0 15477 0
vsize: 62160
[startup+1090.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 12885 0 0 0 109000 26 0 0 25 0 1 0 764209595 64098304 12863 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15649 12863 1111 63 0 15586 0
vsize: 62596
[startup+1100.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 12995 0 0 0 110000 26 0 0 25 0 1 0 764209595 64552960 12973 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15760 12973 1111 63 0 15697 0
vsize: 63040
[startup+1110.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 13113 0 0 0 111000 26 0 0 25 0 1 0 764209595 65155072 13091 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15907 13091 1111 63 0 15844 0
vsize: 63628
[startup+1120.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 13229 0 0 0 112001 26 0 0 25 0 1 0 764209595 65605632 13207 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16017 13207 1111 63 0 15954 0
vsize: 64068
[startup+1130.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 13350 0 0 0 113001 26 0 0 25 0 1 0 764209595 66060288 13328 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16128 13328 1111 63 0 16065 0
vsize: 64512
[startup+1140.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 13473 0 0 0 114001 26 0 0 25 0 1 0 764209595 66510848 13451 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16238 13451 1111 63 0 16175 0
vsize: 64952
[startup+1150.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 13599 0 0 0 115001 27 0 0 25 0 1 0 764209595 67112960 13577 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16385 13577 1111 63 0 16322 0
vsize: 65540
[startup+1160.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 13718 0 0 0 116001 27 0 0 25 0 1 0 764209595 67559424 13696 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16494 13696 1111 63 0 16431 0
vsize: 65976
[startup+1170.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 13850 0 0 0 117001 27 0 0 25 0 1 0 764209595 68165632 13828 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16642 13828 1111 63 0 16579 0
vsize: 66568
[startup+1180.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 13968 0 0 0 118001 27 0 0 25 0 1 0 764209595 68616192 13946 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16752 13946 1111 63 0 16689 0
vsize: 67008
[startup+1190.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 14100 0 0 0 119000 28 0 0 25 0 1 0 764209595 69066752 14078 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16862 14078 1111 63 0 16799 0
vsize: 67448
[startup+1200.18 s]
Raw data (loadavg): 1.15 1.00 0.92 2/54 14427
Raw data (stat): 14427 (bsolo_mis) R 14426 3132 3131 0 -1 0 14220 0 0 0 120000 28 0 0 25 0 1 0 764209595 69672960 14198 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17010 14198 1111 63 0 16947 0
vsize: 68040
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.21 s]
Raw data (loadavg): 1.15 1.00 0.92 1/54 14427
Raw data (stat): 14427 (bsolo_mis) Z 14426 3132 3131 0 -1 1036 14220 0 0 0 120000 31 0 0 25 0 1 0 764209595 0 0 4294967295 0 0 0 0 0 0 0 7 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.21
CPU time (s): 1200.32
CPU user time (s): 1200.01
CPU system time (s): 0.313952
CPU usage (%): 100.009
Max. virtual memory (Kb): 68040
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####