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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-dfl001.opb
MD5SUM	d116f9238cf2e97b47b1161aa0f7f9ea
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	124714
Biggest coefficient in the objective function	2100440996511744
Number of bits for the biggest coefficient in the objective function	51
Sum of the numbers in the objective function	862062472006152900
Number of bits of the sum of numbers in the objective function	60
Biggest number in a constraint	52428800000000000
Number of bits of the biggest number in a constraint	56
Biggest sum of numbers in a constraint	4176904799999651840
Number of bits of the biggest sum of numbers	62
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.31665
Number of variables	244494
Total number of constraints	6084
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	6084
Minimum length of a constraint	10
Maximum length of a constraint	4560
Trace number 27798

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-05-24 23:15:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15707 boxname=wulflinc3 idbench=1209 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  d116f9238cf2e97b47b1161aa0f7f9ea  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-dfl001.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-dfl001.opb
IDLAUNCH: 15707
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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		: 451.190
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:        776752 kB
Buffers:         13480 kB
Cached:         221960 kB
SwapCached:        112 kB
Active:          61948 kB
Inactive:       176488 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        776500 kB
SwapTotal:     2097136 kB
SwapFree:      2096992 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6904 kB
Slab:            13724 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 23:35:33 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 15707 7 1200.28 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.63 0.80 0.87 2/54 27259
Raw data (stat): 27259 (runsolver) R 27258 20224 20223 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 775893581 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.0012 s]
Raw data (loadavg): 0.69 0.81 0.87 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 1157 0 0 0 993 4 0 0 25 0 1 0 775893581 15482880 1135 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3780 1135 1111 63 0 3717 0
vsize: 15120
[startup+20.0019 s]
Raw data (loadavg): 0.74 0.81 0.87 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 1282 0 0 0 1993 4 0 0 25 0 1 0 775893581 16048128 1260 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3918 1260 1111 63 0 3855 0
vsize: 15672
[startup+30.0024 s]
Raw data (loadavg): 0.78 0.82 0.87 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 1419 0 0 0 2993 5 0 0 25 0 1 0 775893581 16609280 1397 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4055 1397 1111 63 0 3992 0
vsize: 16220
[startup+40.0026 s]
Raw data (loadavg): 0.81 0.83 0.87 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 1542 0 0 0 3993 5 0 0 25 0 1 0 775893581 17031168 1520 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4158 1520 1111 63 0 4095 0
vsize: 16632
[startup+50.0024 s]
Raw data (loadavg): 0.84 0.83 0.87 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 1667 0 0 0 4993 6 0 0 25 0 1 0 775893581 17596416 1645 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4296 1645 1111 63 0 4233 0
vsize: 17184
[startup+60.0029 s]
Raw data (loadavg): 0.86 0.83 0.88 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 1806 0 0 0 5993 6 0 0 25 0 1 0 775893581 18169856 1784 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4436 1784 1111 63 0 4373 0
vsize: 17744
[startup+70.003 s]
Raw data (loadavg): 0.88 0.84 0.88 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 1932 0 0 0 6993 6 0 0 25 0 1 0 775893581 18739200 1910 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4575 1910 1111 63 0 4512 0
vsize: 18300
[startup+80.0036 s]
Raw data (loadavg): 0.90 0.84 0.88 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 2061 0 0 0 7993 6 0 0 25 0 1 0 775893581 19161088 2039 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4678 2039 1111 63 0 4615 0
vsize: 18712
[startup+90.0034 s]
Raw data (loadavg): 0.92 0.85 0.88 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 2200 0 0 0 8992 7 0 0 25 0 1 0 775893581 19726336 2178 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4816 2178 1111 63 0 4753 0
vsize: 19264
[startup+100.004 s]
Raw data (loadavg): 0.93 0.85 0.88 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 2324 0 0 0 9992 7 0 0 25 0 1 0 775893581 20287488 2302 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4953 2302 1111 63 0 4890 0
vsize: 19812
[startup+110.004 s]
Raw data (loadavg): 0.94 0.86 0.88 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 2453 0 0 0 10992 7 0 0 25 0 1 0 775893581 20844544 2431 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5089 2431 1111 63 0 5026 0
vsize: 20356
[startup+120.005 s]
Raw data (loadavg): 0.95 0.86 0.88 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 2590 0 0 0 11992 7 0 0 25 0 1 0 775893581 21413888 2568 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5228 2568 1111 63 0 5165 0
vsize: 20912
[startup+130.006 s]
Raw data (loadavg): 0.95 0.87 0.88 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 2721 0 0 0 12992 8 0 0 25 0 1 0 775893581 21975040 2699 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5365 2699 1111 63 0 5302 0
vsize: 21460
[startup+140.006 s]
Raw data (loadavg): 0.96 0.87 0.88 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 2852 0 0 0 13992 8 0 0 25 0 1 0 775893581 22401024 2830 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5469 2830 1111 63 0 5406 0
vsize: 21876
[startup+150.006 s]
Raw data (loadavg): 0.97 0.87 0.88 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 2983 0 0 0 14992 9 0 0 25 0 1 0 775893581 22962176 2961 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5606 2961 1111 63 0 5543 0
vsize: 22424
[startup+160.006 s]
Raw data (loadavg): 0.97 0.88 0.89 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 3121 0 0 0 15992 9 0 0 25 0 1 0 775893581 23531520 3099 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5745 3099 1111 63 0 5682 0
vsize: 22980
[startup+170.006 s]
Raw data (loadavg): 0.98 0.88 0.89 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 3245 0 0 0 16992 9 0 0 25 0 1 0 775893581 24092672 3223 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5882 3223 1111 63 0 5819 0
vsize: 23528
[startup+180.007 s]
Raw data (loadavg): 0.98 0.89 0.89 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 3376 0 0 0 17992 9 0 0 25 0 1 0 775893581 24657920 3354 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6020 3354 1111 63 0 5957 0
vsize: 24080
[startup+190.008 s]
Raw data (loadavg): 0.98 0.89 0.89 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 3493 0 0 0 18992 10 0 0 25 0 1 0 775893581 25079808 3471 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6123 3471 1111 63 0 6060 0
vsize: 24492
[startup+200.008 s]
Raw data (loadavg): 0.98 0.89 0.89 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 3631 0 0 0 19991 10 0 0 25 0 1 0 775893581 25640960 3609 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6260 3609 1111 63 0 6197 0
vsize: 25040
[startup+210.009 s]
Raw data (loadavg): 0.99 0.89 0.89 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 3755 0 0 0 20991 10 0 0 25 0 1 0 775893581 26206208 3733 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6398 3733 1111 63 0 6335 0
vsize: 25592
[startup+220.009 s]
Raw data (loadavg): 0.99 0.90 0.89 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 3898 0 0 0 21991 11 0 0 25 0 1 0 775893581 26787840 3876 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6540 3876 1111 63 0 6477 0
vsize: 26160
[startup+230.009 s]
Raw data (loadavg): 0.99 0.90 0.89 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 4036 0 0 0 22991 11 0 0 25 0 1 0 775893581 27357184 4014 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6679 4014 1111 63 0 6616 0
vsize: 26716
[startup+240.009 s]
Raw data (loadavg): 0.99 0.90 0.89 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 4168 0 0 0 23991 11 0 0 25 0 1 0 775893581 27918336 4146 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6816 4146 1111 63 0 6753 0
vsize: 27264
[startup+250.009 s]
Raw data (loadavg): 0.99 0.91 0.89 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 4299 0 0 0 24991 11 0 0 25 0 1 0 775893581 28344320 4277 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6920 4277 1111 63 0 6857 0
vsize: 27680
[startup+260.01 s]
Raw data (loadavg): 0.99 0.91 0.90 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 4423 0 0 0 25991 11 0 0 25 0 1 0 775893581 28905472 4401 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7057 4401 1111 63 0 6994 0
vsize: 28228
[startup+270.01 s]
Raw data (loadavg): 0.99 0.91 0.90 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 4562 0 0 0 26991 12 0 0 25 0 1 0 775893581 29470720 4540 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7195 4540 1111 63 0 7132 0
vsize: 28780
[startup+280.01 s]
Raw data (loadavg): 0.99 0.91 0.90 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 4693 0 0 0 27991 12 0 0 25 0 1 0 775893581 30031872 4671 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7332 4671 1111 63 0 7269 0
vsize: 29328
[startup+290.01 s]
Raw data (loadavg): 0.99 0.92 0.90 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 4832 0 0 0 28991 12 0 0 25 0 1 0 775893581 30601216 4810 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7471 4810 1111 63 0 7408 0
vsize: 29884
[startup+300.01 s]
Raw data (loadavg): 0.99 0.92 0.90 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 4963 0 0 0 29991 12 0 0 25 0 1 0 775893581 31162368 4941 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7608 4941 1111 63 0 7545 0
vsize: 30432
[startup+310.011 s]
Raw data (loadavg): 0.99 0.92 0.90 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 5093 0 0 0 30991 13 0 0 25 0 1 0 775893581 31584256 5071 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7711 5071 1111 63 0 7648 0
vsize: 30844
[startup+320.011 s]
Raw data (loadavg): 0.99 0.92 0.90 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 5225 0 0 0 31991 13 0 0 25 0 1 0 775893581 32149504 5203 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7849 5203 1111 63 0 7786 0
vsize: 31396
[startup+330.012 s]
Raw data (loadavg): 0.99 0.92 0.90 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 5362 0 0 0 32991 13 0 0 25 0 1 0 775893581 32710656 5340 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7986 5340 1111 63 0 7923 0
vsize: 31944
[startup+340.011 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 5501 0 0 0 33991 13 0 0 25 0 1 0 775893581 33280000 5479 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8125 5479 1111 63 0 8062 0
vsize: 32500
[startup+350.012 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 5639 0 0 0 34991 13 0 0 25 0 1 0 775893581 33841152 5617 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8262 5617 1111 63 0 8199 0
vsize: 33048
[startup+360.012 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 5777 0 0 0 35991 14 0 0 25 0 1 0 775893581 34406400 5755 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8400 5755 1111 63 0 8337 0
vsize: 33600
[startup+370.012 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 5914 0 0 0 36991 14 0 0 25 0 1 0 775893581 34967552 5892 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8537 5892 1111 63 0 8474 0
vsize: 34148
[startup+380.013 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 6052 0 0 0 37991 14 0 0 25 0 1 0 775893581 35536896 6030 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8676 6030 1111 63 0 8613 0
vsize: 34704
[startup+390.013 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 6189 0 0 0 38991 14 0 0 25 0 1 0 775893581 36098048 6167 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8813 6167 1111 63 0 8750 0
vsize: 35252
[startup+400.012 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 6328 0 0 0 39990 15 0 0 25 0 1 0 775893581 36663296 6306 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8951 6306 1111 63 0 8888 0
vsize: 35804
[startup+410.013 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 6464 0 0 0 40990 15 0 0 25 0 1 0 775893581 37224448 6442 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9088 6442 1111 63 0 9025 0
vsize: 36352
[startup+420.012 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 6614 0 0 0 41990 15 0 0 25 0 1 0 775893581 37969920 6592 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9270 6592 1111 63 0 9207 0
vsize: 37080
[startup+430.013 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 6751 0 0 0 42990 16 0 0 25 0 1 0 775893581 38531072 6729 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9407 6729 1111 63 0 9344 0
vsize: 37628
[startup+440.013 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 6890 0 0 0 43990 16 0 0 25 0 1 0 775893581 39100416 6868 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9546 6868 1111 63 0 9483 0
vsize: 38184
[startup+450.013 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 7020 0 0 0 44989 16 0 0 25 0 1 0 775893581 39522304 6998 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9649 6998 1111 63 0 9586 0
vsize: 38596
[startup+460.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 7151 0 0 0 45989 17 0 0 25 0 1 0 775893581 40083456 7129 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9786 7129 1111 63 0 9723 0
vsize: 39144
[startup+470.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 7290 0 0 0 46990 17 0 0 25 0 1 0 775893581 40648704 7268 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9924 7268 1111 63 0 9861 0
vsize: 39696
[startup+480.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 7427 0 0 0 47990 17 0 0 25 0 1 0 775893581 41209856 7405 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10061 7405 1111 63 0 9998 0
vsize: 40244
[startup+490.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 7566 0 0 0 48990 18 0 0 25 0 1 0 775893581 41779200 7544 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10200 7544 1111 63 0 10137 0
vsize: 40800
[startup+500.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 7704 0 0 0 49989 18 0 0 25 0 1 0 775893581 42340352 7682 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10337 7682 1111 63 0 10274 0
vsize: 41348
[startup+510.021 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 7842 0 0 0 50989 18 0 0 25 0 1 0 775893581 42905600 7820 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10475 7820 1111 63 0 10412 0
vsize: 41900
[startup+520.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 7973 0 0 0 51989 19 0 0 25 0 1 0 775893581 43466752 7951 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10612 7951 1111 63 0 10549 0
vsize: 42448
[startup+530.021 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 8105 0 0 0 52989 19 0 0 25 0 1 0 775893581 44036096 8083 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10751 8083 1111 63 0 10688 0
vsize: 43004
[startup+540.021 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 8241 0 0 0 53989 19 0 0 25 0 1 0 775893581 44597248 8219 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10888 8219 1111 63 0 10825 0
vsize: 43552
[startup+550.021 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 8381 0 0 0 54989 19 0 0 25 0 1 0 775893581 45162496 8359 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11026 8359 1111 63 0 10963 0
vsize: 44104
[startup+560.022 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 8518 0 0 0 55989 19 0 0 25 0 1 0 775893581 45723648 8496 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11163 8496 1111 63 0 11100 0
vsize: 44652
[startup+570.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 8665 0 0 0 56989 19 0 0 25 0 1 0 775893581 46292992 8643 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11302 8643 1111 63 0 11239 0
vsize: 45208
[startup+580.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 8801 0 0 0 57989 20 0 0 25 0 1 0 775893581 46854144 8779 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11439 8779 1111 63 0 11376 0
vsize: 45756
[startup+590.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 8932 0 0 0 58989 20 0 0 25 0 1 0 775893581 47415296 8910 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11576 8910 1111 63 0 11513 0
vsize: 46304
[startup+600.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 9072 0 0 0 59989 21 0 0 25 0 1 0 775893581 47980544 9050 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11714 9050 1111 63 0 11651 0
vsize: 46856
[startup+610.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 9215 0 0 0 60989 21 0 0 25 0 1 0 775893581 48541696 9193 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11851 9193 1111 63 0 11788 0
vsize: 47404
[startup+620.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 9361 0 0 0 61988 21 0 0 25 0 1 0 775893581 49111040 9339 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11990 9339 1111 63 0 11927 0
vsize: 47960
[startup+630.025 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 9498 0 0 0 62988 22 0 0 25 0 1 0 775893581 49672192 9476 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12127 9476 1111 63 0 12064 0
vsize: 48508
[startup+640.025 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 9637 0 0 0 63988 22 0 0 25 0 1 0 775893581 50237440 9615 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12265 9615 1111 63 0 12202 0
vsize: 49060
[startup+650.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 9775 0 0 0 64988 22 0 0 25 0 1 0 775893581 50798592 9753 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12402 9753 1111 63 0 12339 0
vsize: 49608
[startup+660.027 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 9920 0 0 0 65988 22 0 0 25 0 1 0 775893581 51367936 9898 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12541 9898 1111 63 0 12478 0
vsize: 50164
[startup+670.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 10051 0 0 0 66989 22 0 0 25 0 1 0 775893581 51929088 10029 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12678 10029 1111 63 0 12615 0
vsize: 50712
[startup+680.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 10190 0 0 0 67988 23 0 0 25 0 1 0 775893581 52494336 10168 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12816 10168 1111 63 0 12753 0
vsize: 51264
[startup+690.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 10327 0 0 0 68988 23 0 0 25 0 1 0 775893581 53055488 10305 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12953 10305 1111 63 0 12890 0
vsize: 51812
[startup+700.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 10480 0 0 0 69988 23 0 0 25 0 1 0 775893581 53764096 10458 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13126 10458 1111 63 0 13063 0
vsize: 52504
[startup+710.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 10617 0 0 0 70988 24 0 0 25 0 1 0 775893581 54325248 10595 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13263 10595 1111 63 0 13200 0
vsize: 53052
[startup+720.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 10757 0 0 0 71988 24 0 0 25 0 1 0 775893581 54890496 10735 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13401 10735 1111 63 0 13338 0
vsize: 53604
[startup+730.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 10894 0 0 0 72988 24 0 0 25 0 1 0 775893581 55451648 10872 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13538 10872 1111 63 0 13475 0
vsize: 54152
[startup+740.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 11033 0 0 0 73988 25 0 0 25 0 1 0 775893581 56020992 11011 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13677 11011 1111 63 0 13614 0
vsize: 54708
[startup+750.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 11184 0 0 0 74988 25 0 0 25 0 1 0 775893581 56582144 11162 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13814 11162 1111 63 0 13751 0
vsize: 55256
[startup+760.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 11322 0 0 0 75987 25 0 0 25 0 1 0 775893581 57147392 11300 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13952 11300 1111 63 0 13889 0
vsize: 55808
[startup+770.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 11473 0 0 0 76987 25 0 0 25 0 1 0 775893581 57708544 11451 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14089 11451 1111 63 0 14026 0
vsize: 56356
[startup+780.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 11605 0 0 0 77987 25 0 0 25 0 1 0 775893581 58269696 11583 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14226 11583 1111 63 0 14163 0
vsize: 56904
[startup+790.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 11748 0 0 0 78987 26 0 0 25 0 1 0 775893581 58839040 11726 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14365 11726 1111 63 0 14302 0
vsize: 57460
[startup+800.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 11887 0 0 0 79987 26 0 0 25 0 1 0 775893581 59400192 11865 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14502 11865 1111 63 0 14439 0
vsize: 58008
[startup+810.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 12031 0 0 0 80987 27 0 0 25 0 1 0 775893581 60108800 12009 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14675 12009 1111 63 0 14612 0
vsize: 58700
[startup+820.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 12196 0 0 0 81987 27 0 0 25 0 1 0 775893581 60776448 12174 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14838 12174 1111 63 0 14775 0
vsize: 59352
[startup+830.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 12340 0 0 0 82987 27 0 0 25 0 1 0 775893581 61485056 12318 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15011 12318 1111 63 0 14948 0
vsize: 60044
[startup+840.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 12484 0 0 0 83987 27 0 0 25 0 1 0 775893581 62046208 12462 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15148 12462 1111 63 0 15085 0
vsize: 60592
[startup+850.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 12622 0 0 0 84986 28 0 0 25 0 1 0 775893581 62611456 12600 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15286 12600 1111 63 0 15223 0
vsize: 61144
[startup+860.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 12766 0 0 0 85986 28 0 0 25 0 1 0 775893581 63172608 12744 4294967295 134512640 134714540 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15423 12744 1111 63 0 15360 0
vsize: 61692
[startup+870.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 12914 0 0 0 86986 28 0 0 25 0 1 0 775893581 63741952 12892 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15562 12892 1111 63 0 15499 0
vsize: 62248
[startup+880.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 13057 0 0 0 87986 29 0 0 25 0 1 0 775893581 64303104 13035 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15699 13035 1111 63 0 15636 0
vsize: 62796
[startup+890.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 13202 0 0 0 88986 29 0 0 25 0 1 0 775893581 65007616 13180 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15871 13180 1111 63 0 15808 0
vsize: 63484
[startup+900.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 13346 0 0 0 89986 29 0 0 25 0 1 0 775893581 65568768 13324 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16008 13324 1111 63 0 15945 0
vsize: 64032
[startup+910.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 13493 0 0 0 90986 29 0 0 25 0 1 0 775893581 66138112 13471 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16147 13471 1111 63 0 16084 0
vsize: 64588
[startup+920.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 13637 0 0 0 91986 29 0 0 25 0 1 0 775893581 66695168 13615 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16283 13615 1111 63 0 16220 0
vsize: 65132
[startup+930.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 13776 0 0 0 92986 30 0 0 25 0 1 0 775893581 67264512 13754 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16422 13754 1111 63 0 16359 0
vsize: 65688
[startup+940.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 13920 0 0 0 93986 30 0 0 25 0 1 0 775893581 67825664 13898 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16559 13898 1111 63 0 16496 0
vsize: 66236
[startup+950.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 14066 0 0 0 94986 30 0 0 25 0 1 0 775893581 68534272 14044 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16732 14044 1111 63 0 16669 0
vsize: 66928
[startup+960.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 14211 0 0 0 95986 31 0 0 25 0 1 0 775893581 69095424 14189 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16869 14189 1111 63 0 16806 0
vsize: 67476
[startup+970.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 14363 0 0 0 96986 31 0 0 25 0 1 0 775893581 69660672 14341 4294967295 134512640 134714540 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17007 14341 1111 63 0 16944 0
vsize: 68028
[startup+980.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 14500 0 0 0 97986 31 0 0 25 0 1 0 775893581 70221824 14478 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17144 14478 1111 63 0 17081 0
vsize: 68576
[startup+990.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 14645 0 0 0 98986 31 0 0 25 0 1 0 775893581 70791168 14623 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17283 14623 1111 63 0 17220 0
vsize: 69132
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 14790 0 0 0 99986 31 0 0 25 0 1 0 775893581 71491584 14768 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17454 14768 1111 63 0 17391 0
vsize: 69816
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 14944 0 0 0 100986 32 0 0 25 0 1 0 775893581 72056832 14922 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17592 14922 1111 63 0 17529 0
vsize: 70368
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 15095 0 0 0 101986 32 0 0 25 0 1 0 775893581 72617984 15073 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17729 15073 1111 63 0 17666 0
vsize: 70916
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 15247 0 0 0 102986 32 0 0 25 0 1 0 775893581 73326592 15225 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17902 15225 1111 63 0 17839 0
vsize: 71608
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 15398 0 0 0 103986 32 0 0 25 0 1 0 775893581 73887744 15376 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18039 15376 1111 63 0 17976 0
vsize: 72156
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 15550 0 0 0 104986 33 0 0 25 0 1 0 775893581 74596352 15528 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18212 15528 1111 63 0 18149 0
vsize: 72848
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 15703 0 0 0 105986 33 0 0 25 0 1 0 775893581 75157504 15681 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18349 15681 1111 63 0 18286 0
vsize: 73396
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 15841 0 0 0 106986 33 0 0 25 0 1 0 775893581 75722752 15819 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18487 15819 1111 63 0 18424 0
vsize: 73948
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 15991 0 0 0 107985 33 0 0 25 0 1 0 775893581 76283904 15969 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18624 15969 1111 63 0 18561 0
vsize: 74496
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 16143 0 0 0 108986 34 0 0 25 0 1 0 775893581 76992512 16121 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18797 16121 1111 63 0 18734 0
vsize: 75188
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 16295 0 0 0 109986 34 0 0 25 0 1 0 775893581 77553664 16273 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18934 16273 1111 63 0 18871 0
vsize: 75736
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 16448 0 0 0 110986 35 0 0 25 0 1 0 775893581 78262272 16426 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19107 16426 1111 63 0 19044 0
vsize: 76428
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 16599 0 0 0 111986 35 0 0 25 0 1 0 775893581 78823424 16577 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19244 16577 1111 63 0 19181 0
vsize: 76976
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 16751 0 0 0 112986 35 0 0 25 0 1 0 775893581 79388672 16729 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19382 16729 1111 63 0 19319 0
vsize: 77528
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 16888 0 0 0 113986 35 0 0 25 0 1 0 775893581 79949824 16866 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19519 16866 1111 63 0 19456 0
vsize: 78076
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 17042 0 0 0 114986 36 0 0 25 0 1 0 775893581 80658432 17020 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19692 17020 1111 63 0 19629 0
vsize: 78768
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 17193 0 0 0 115987 36 0 0 25 0 1 0 775893581 81219584 17171 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19829 17171 1111 63 0 19766 0
vsize: 79316
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 17338 0 0 0 116987 36 0 0 25 0 1 0 775893581 81788928 17316 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19968 17316 1111 63 0 19905 0
vsize: 79872
[startup+1180.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 17489 0 0 0 117987 36 0 0 25 0 1 0 775893581 82489344 17467 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20139 17467 1111 63 0 20076 0
vsize: 80556
[startup+1190.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 17642 0 0 0 118987 37 0 0 25 0 1 0 775893581 83054592 17620 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20277 17620 1111 63 0 20214 0
vsize: 81108
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (bsolo_mis) R 27258 20224 20223 0 -1 0 17794 0 0 0 119987 37 0 0 25 0 1 0 775893581 83759104 17772 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20449 17772 1111 63 0 20386 0
vsize: 81796
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 27259
Raw data (stat): 27259 (bsolo_mis) Z 27258 20224 20223 0 -1 1036 17794 0 0 0 119987 40 0 0 25 0 1 0 775893581 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.11
CPU time (s): 1200.28
CPU user time (s): 1199.87
CPU system time (s): 0.409937
CPU usage (%): 100.015
Max. virtual memory (Kb): 81796
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####