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-maros-r7.opb
MD5SUM	652a81faea87c0443f84aaa4223a3702
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	125440
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	6576662400
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	4020224000000
Number of bits of the biggest number in a constraint	42
Biggest sum of numbers in a constraint	8483418475850
Number of bits of the biggest sum of numbers	43
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.71574
Number of variables	188160
Total number of constraints	3136
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	3136
Minimum length of a constraint	100
Maximum length of a constraint	480
Trace number 27738

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-05-24 23:09:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15980 boxname=wulflinc7 idbench=1230 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  652a81faea87c0443f84aaa4223a3702  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-maros-r7.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-maros-r7.opb
IDLAUNCH: 15980
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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.050
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:        444220 kB
Buffers:         35908 kB
Cached:         532744 kB
SwapCached:        100 kB
Active:         193116 kB
Inactive:       378276 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        443968 kB
SwapTotal:     2097136 kB
SwapFree:      2096820 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6740 kB
Slab:            13428 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 23:29:16 (client local time) WITH STATUS 0 IN 1200.33 SECONDS
stats: 15980 7 1200.33 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.79 0.87 0.89 2/54 1215
Raw data (stat): 1215 (runsolver) R 1214 24300 24299 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 775871331 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 0.82 0.88 0.89 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 1037 0 0 0 995 3 0 0 25 0 1 0 775871331 15900672 1015 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3882 1015 1111 63 0 3819 0
vsize: 15528
[startup+20.0008 s]
Raw data (loadavg): 0.85 0.88 0.89 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 1250 0 0 0 1995 3 0 0 25 0 1 0 775871331 16748544 1228 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4089 1228 1111 63 0 4026 0
vsize: 16356
[startup+30.0015 s]
Raw data (loadavg): 0.87 0.88 0.89 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 1463 0 0 0 2995 4 0 0 25 0 1 0 775871331 17596416 1441 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4296 1441 1111 63 0 4233 0
vsize: 17184
[startup+40.0016 s]
Raw data (loadavg): 0.89 0.89 0.89 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 1680 0 0 0 3994 5 0 0 25 0 1 0 775871331 18452480 1658 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4505 1658 1111 63 0 4442 0
vsize: 18020
[startup+50.0025 s]
Raw data (loadavg): 0.91 0.89 0.89 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 1892 0 0 0 4994 5 0 0 25 0 1 0 775871331 19435520 1870 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4745 1870 1111 63 0 4682 0
vsize: 18980
[startup+60.0022 s]
Raw data (loadavg): 0.92 0.89 0.89 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 2106 0 0 0 5994 5 0 0 25 0 1 0 775871331 20283392 2084 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4952 2084 1111 63 0 4889 0
vsize: 19808
[startup+70.0019 s]
Raw data (loadavg): 0.93 0.90 0.89 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 2331 0 0 0 6994 5 0 0 25 0 1 0 775871331 21123072 2309 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5157 2309 1111 63 0 5094 0
vsize: 20628
[startup+80.0027 s]
Raw data (loadavg): 0.94 0.90 0.89 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 2551 0 0 0 7994 6 0 0 25 0 1 0 775871331 22110208 2529 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5398 2529 1111 63 0 5335 0
vsize: 21592
[startup+90.0035 s]
Raw data (loadavg): 0.95 0.90 0.89 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 2764 0 0 0 8994 6 0 0 25 0 1 0 775871331 22949888 2742 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5603 2742 1111 63 0 5540 0
vsize: 22412
[startup+100.003 s]
Raw data (loadavg): 0.96 0.90 0.89 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 2978 0 0 0 9994 6 0 0 25 0 1 0 775871331 23797760 2956 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5810 2956 1111 63 0 5747 0
vsize: 23240
[startup+110.006 s]
Raw data (loadavg): 0.96 0.91 0.90 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 3198 0 0 0 10994 7 0 0 25 0 1 0 775871331 24784896 3176 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6051 3176 1111 63 0 5988 0
vsize: 24204
[startup+120.005 s]
Raw data (loadavg): 0.97 0.91 0.90 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 3418 0 0 0 11994 7 0 0 25 0 1 0 775871331 25624576 3396 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6256 3396 1111 63 0 6193 0
vsize: 25024
[startup+130.006 s]
Raw data (loadavg): 0.97 0.91 0.90 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 3638 0 0 0 12994 7 0 0 25 0 1 0 775871331 26476544 3616 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6464 3616 1111 63 0 6401 0
vsize: 25856
[startup+140.006 s]
Raw data (loadavg): 0.98 0.91 0.90 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 3859 0 0 0 13993 8 0 0 25 0 1 0 775871331 27475968 3837 4294967295 134512640 134714540 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6708 3837 1111 63 0 6645 0
vsize: 26832
[startup+150.007 s]
Raw data (loadavg): 0.98 0.92 0.90 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 4079 0 0 0 14993 8 0 0 25 0 1 0 775871331 28323840 4057 4294967295 134512640 134714540 3221224592 3221223248 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6915 4057 1111 63 0 6852 0
vsize: 27660
[startup+160.006 s]
Raw data (loadavg): 0.98 0.92 0.90 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 4299 0 0 0 15993 9 0 0 25 0 1 0 775871331 29306880 4277 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7155 4277 1111 63 0 7092 0
vsize: 28620
[startup+170.006 s]
Raw data (loadavg): 0.98 0.92 0.90 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 4513 0 0 0 16993 9 0 0 25 0 1 0 775871331 30150656 4491 4294967295 134512640 134714540 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7361 4491 1111 63 0 7298 0
vsize: 29444
[startup+180.006 s]
Raw data (loadavg): 0.99 0.92 0.90 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 4734 0 0 0 17992 10 0 0 25 0 1 0 775871331 30998528 4712 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7568 4712 1111 63 0 7505 0
vsize: 30272
[startup+190.006 s]
Raw data (loadavg): 0.99 0.92 0.90 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 4955 0 0 0 18992 10 0 0 25 0 1 0 775871331 31985664 4933 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7809 4933 1111 63 0 7746 0
vsize: 31236
[startup+200.007 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 5175 0 0 0 19991 11 0 0 25 0 1 0 775871331 32825344 5153 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8014 5153 1111 63 0 7951 0
vsize: 32056
[startup+210.008 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 5396 0 0 0 20991 11 0 0 25 0 1 0 775871331 33673216 5374 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8221 5374 1111 63 0 8158 0
vsize: 32884
[startup+220.007 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 5623 0 0 0 21990 12 0 0 25 0 1 0 775871331 34660352 5601 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8462 5601 1111 63 0 8399 0
vsize: 33848
[startup+230.015 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 5843 0 0 0 22991 13 0 0 25 0 1 0 775871331 35508224 5821 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8669 5821 1111 63 0 8606 0
vsize: 34676
[startup+240.015 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 6064 0 0 0 23991 13 0 0 25 0 1 0 775871331 36487168 6042 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8908 6042 1111 63 0 8845 0
vsize: 35632
[startup+250.025 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 6289 0 0 0 24992 13 0 0 25 0 1 0 775871331 37330944 6267 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9114 6267 1111 63 0 9051 0
vsize: 36456
[startup+260.025 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 6520 0 0 0 25991 14 0 0 25 0 1 0 775871331 38359040 6498 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9365 6498 1111 63 0 9302 0
vsize: 37460
[startup+270.024 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 6742 0 0 0 26991 15 0 0 25 0 1 0 775871331 39346176 6720 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9606 6720 1111 63 0 9543 0
vsize: 38424
[startup+280.025 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 6962 0 0 0 27990 15 0 0 25 0 1 0 775871331 40185856 6940 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9811 6940 1111 63 0 9748 0
vsize: 39244
[startup+290.025 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 7189 0 0 0 28990 16 0 0 25 0 1 0 775871331 41172992 7167 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10052 7167 1111 63 0 9989 0
vsize: 40208
[startup+300.025 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 7416 0 0 0 29989 17 0 0 25 0 1 0 775871331 42020864 7394 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10259 7394 1111 63 0 10196 0
vsize: 41036
[startup+310.025 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 7637 0 0 0 30989 17 0 0 25 0 1 0 775871331 43008000 7615 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10500 7615 1111 63 0 10437 0
vsize: 42000
[startup+320.04 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 7865 0 0 0 31990 17 0 0 25 0 1 0 775871331 43851776 7843 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10706 7843 1111 63 0 10643 0
vsize: 42824
[startup+330.041 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 8092 0 0 0 32990 18 0 0 25 0 1 0 775871331 44834816 8070 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10946 8070 1111 63 0 10883 0
vsize: 43784
[startup+340.041 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 8313 0 0 0 33990 18 0 0 25 0 1 0 775871331 45682688 8291 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11153 8291 1111 63 0 11090 0
vsize: 44612
[startup+350.041 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 8541 0 0 0 34990 19 0 0 25 0 1 0 775871331 46665728 8519 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11393 8519 1111 63 0 11330 0
vsize: 45572
[startup+360.042 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 8769 0 0 0 35990 19 0 0 25 0 1 0 775871331 47513600 8747 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11600 8747 1111 63 0 11537 0
vsize: 46400
[startup+370.049 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 8995 0 0 0 36990 20 0 0 25 0 1 0 775871331 48496640 8973 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11840 8973 1111 63 0 11777 0
vsize: 47360
[startup+380.056 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 9223 0 0 0 37991 20 0 0 25 0 1 0 775871331 49479680 9201 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12080 9201 1111 63 0 12017 0
vsize: 48320
[startup+390.06 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 9451 0 0 0 38991 20 0 0 25 0 1 0 775871331 50327552 9429 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12287 9429 1111 63 0 12224 0
vsize: 49148
[startup+400.06 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 9678 0 0 0 39991 20 0 0 25 0 1 0 775871331 51314688 9656 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12528 9656 1111 63 0 12465 0
vsize: 50112
[startup+410.06 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 9907 0 0 0 40991 21 0 0 25 0 1 0 775871331 52154368 9885 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12733 9885 1111 63 0 12670 0
vsize: 50932
[startup+420.059 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 10134 0 0 0 41990 21 0 0 25 0 1 0 775871331 53141504 10112 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12974 10112 1111 63 0 12911 0
vsize: 51896
[startup+430.059 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 10367 0 0 0 42990 21 0 0 25 0 1 0 775871331 54128640 10345 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13215 10345 1111 63 0 13152 0
vsize: 52860
[startup+440.059 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 10595 0 0 0 43990 22 0 0 25 0 1 0 775871331 54976512 10573 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13422 10573 1111 63 0 13359 0
vsize: 53688
[startup+450.06 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 10824 0 0 0 44990 22 0 0 25 0 1 0 775871331 55959552 10802 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13662 10802 1111 63 0 13599 0
vsize: 54648
[startup+460.06 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 11056 0 0 0 45990 23 0 0 25 0 1 0 775871331 56942592 11034 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13902 11034 1111 63 0 13839 0
vsize: 55608
[startup+470.06 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 11284 0 0 0 46989 23 0 0 25 0 1 0 775871331 57790464 11262 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14109 11262 1111 63 0 14046 0
vsize: 56436
[startup+480.06 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 11517 0 0 0 47989 23 0 0 25 0 1 0 775871331 58773504 11495 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14349 11495 1111 63 0 14286 0
vsize: 57396
[startup+490.06 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 11745 0 0 0 48989 24 0 0 25 0 1 0 775871331 59764736 11723 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14591 11723 1111 63 0 14528 0
vsize: 58364
[startup+500.061 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 11997 0 0 0 49988 25 0 0 25 0 1 0 775871331 60858368 11975 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14858 11975 1111 63 0 14795 0
vsize: 59432
[startup+510.061 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 12229 0 0 0 50988 25 0 0 25 0 1 0 775871331 61837312 12207 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15097 12207 1111 63 0 15034 0
vsize: 60388
[startup+520.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 12464 0 0 0 51988 26 0 0 25 0 1 0 775871331 62824448 12442 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15338 12442 1111 63 0 15275 0
vsize: 61352
[startup+530.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 12699 0 0 0 52987 26 0 0 25 0 1 0 775871331 63811584 12677 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15579 12677 1111 63 0 15516 0
vsize: 62316
[startup+540.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 12927 0 0 0 53987 27 0 0 25 0 1 0 775871331 64655360 12905 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15785 12905 1111 63 0 15722 0
vsize: 63140
[startup+550.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 13162 0 0 0 54987 28 0 0 25 0 1 0 775871331 65638400 13140 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16025 13140 1111 63 0 15962 0
vsize: 64100
[startup+560.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 13395 0 0 0 55986 28 0 0 25 0 1 0 775871331 66625536 13373 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16266 13373 1111 63 0 16203 0
vsize: 65064
[startup+570.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 13629 0 0 0 56986 29 0 0 25 0 1 0 775871331 67612672 13607 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16507 13607 1111 63 0 16444 0
vsize: 66028
[startup+580.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 13871 0 0 0 57986 29 0 0 25 0 1 0 775871331 68599808 13849 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16748 13849 1111 63 0 16685 0
vsize: 66992
[startup+590.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 14106 0 0 0 58986 29 0 0 25 0 1 0 775871331 69443584 14084 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16954 14084 1111 63 0 16891 0
vsize: 67816
[startup+600.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 14340 0 0 0 59985 30 0 0 25 0 1 0 775871331 70426624 14318 4294967295 134512640 134714540 3221224592 3221222820 1077414422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17194 14318 1111 63 0 17131 0
vsize: 68776
[startup+610.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 14574 0 0 0 60985 30 0 0 25 0 1 0 775871331 71413760 14552 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17435 14552 1111 63 0 17372 0
vsize: 69740
[startup+620.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 14809 0 0 0 61985 31 0 0 25 0 1 0 775871331 72400896 14787 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17676 14787 1111 63 0 17613 0
vsize: 70704
[startup+630.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 15050 0 0 0 62985 31 0 0 25 0 1 0 775871331 73383936 15028 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17916 15028 1111 63 0 17853 0
vsize: 71664
[startup+640.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 15285 0 0 0 63984 32 0 0 25 0 1 0 775871331 74371072 15263 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18157 15263 1111 63 0 18094 0
vsize: 72628
[startup+650.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 15526 0 0 0 64984 32 0 0 25 0 1 0 775871331 75358208 15504 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18398 15504 1111 63 0 18335 0
vsize: 73592
[startup+660.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 15760 0 0 0 65984 32 0 0 25 0 1 0 775871331 76197888 15738 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18603 15738 1111 63 0 18540 0
vsize: 74412
[startup+670.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 16001 0 0 0 66984 33 0 0 25 0 1 0 775871331 77185024 15979 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18844 15979 1111 63 0 18781 0
vsize: 75376
[startup+680.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 16243 0 0 0 67983 33 0 0 25 0 1 0 775871331 78172160 16221 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19085 16221 1111 63 0 19022 0
vsize: 76340
[startup+690.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 16477 0 0 0 68983 34 0 0 25 0 1 0 775871331 79159296 16455 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19326 16455 1111 63 0 19263 0
vsize: 77304
[startup+700.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 16726 0 0 0 69983 34 0 0 25 0 1 0 775871331 80146432 16704 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19567 16704 1111 63 0 19504 0
vsize: 78268
[startup+710.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 16960 0 0 0 70982 35 0 0 25 0 1 0 775871331 81129472 16938 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19807 16938 1111 63 0 19744 0
vsize: 79228
[startup+720.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 17201 0 0 0 71982 36 0 0 25 0 1 0 775871331 82112512 17179 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20047 17179 1111 63 0 19984 0
vsize: 80188
[startup+730.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 17443 0 0 0 72982 36 0 0 25 0 1 0 775871331 83099648 17421 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20288 17421 1111 63 0 20225 0
vsize: 81152
[startup+740.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 17690 0 0 0 73982 36 0 0 25 0 1 0 775871331 84086784 17668 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20529 17668 1111 63 0 20466 0
vsize: 82116
[startup+750.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 17925 0 0 0 74982 37 0 0 25 0 1 0 775871331 85073920 17903 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20770 17903 1111 63 0 20707 0
vsize: 83080
[startup+760.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 18174 0 0 0 75981 38 0 0 25 0 1 0 775871331 86052864 18152 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21009 18152 1111 63 0 20946 0
vsize: 84036
[startup+770.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 18414 0 0 0 76981 38 0 0 25 0 1 0 775871331 87040000 18392 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21250 18392 1111 63 0 21187 0
vsize: 85000
[startup+780.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 18656 0 0 0 77980 38 0 0 25 0 1 0 775871331 88027136 18634 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21491 18634 1111 63 0 21428 0
vsize: 85964
[startup+790.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 18904 0 0 0 78980 39 0 0 25 0 1 0 775871331 89153536 18882 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21766 18882 1111 63 0 21703 0
vsize: 87064
[startup+800.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 19146 0 0 0 79980 39 0 0 25 0 1 0 775871331 90140672 19124 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22007 19124 1111 63 0 21944 0
vsize: 88028
[startup+810.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 19394 0 0 0 80980 40 0 0 25 0 1 0 775871331 91127808 19372 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22248 19372 1111 63 0 22185 0
vsize: 88992
[startup+820.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 19636 0 0 0 81979 40 0 0 25 0 1 0 775871331 92114944 19614 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22489 19614 1111 63 0 22426 0
vsize: 89956
[startup+830.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 19882 0 0 0 82978 41 0 0 25 0 1 0 775871331 93093888 19860 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22728 19860 1111 63 0 22665 0
vsize: 90912
[startup+840.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 20131 0 0 0 83978 42 0 0 25 0 1 0 775871331 94081024 20109 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22969 20109 1111 63 0 22906 0
vsize: 91876
[startup+850.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 20380 0 0 0 84978 42 0 0 25 0 1 0 775871331 95068160 20358 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23210 20358 1111 63 0 23147 0
vsize: 92840
[startup+860.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 20621 0 0 0 85978 42 0 0 25 0 1 0 775871331 96055296 20599 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23451 20599 1111 63 0 23388 0
vsize: 93804
[startup+870.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 20871 0 0 0 86977 43 0 0 25 0 1 0 775871331 97181696 20849 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23726 20849 1111 63 0 23663 0
vsize: 94904
[startup+880.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 21118 0 0 0 87977 43 0 0 25 0 1 0 775871331 98168832 21096 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23967 21096 1111 63 0 23904 0
vsize: 95868
[startup+890.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 21365 0 0 0 88977 44 0 0 25 0 1 0 775871331 99151872 21343 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24207 21343 1111 63 0 24144 0
vsize: 96828
[startup+900.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 21621 0 0 0 89977 44 0 0 25 0 1 0 775871331 100134912 21599 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24447 21599 1111 63 0 24384 0
vsize: 97788
[startup+910.064 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 21868 0 0 0 90976 45 0 0 25 0 1 0 775871331 101261312 21846 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24722 21846 1111 63 0 24659 0
vsize: 98888
[startup+920.063 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 22116 0 0 0 91976 45 0 0 25 0 1 0 775871331 102248448 22094 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24963 22094 1111 63 0 24900 0
vsize: 99852
[startup+930.064 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 22365 0 0 0 92976 45 0 0 25 0 1 0 775871331 103235584 22343 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25204 22343 1111 63 0 25141 0
vsize: 100816
[startup+940.064 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 22613 0 0 0 93976 46 0 0 25 0 1 0 775871331 104222720 22591 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25445 22591 1111 63 0 25382 0
vsize: 101780
[startup+950.064 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 22868 0 0 0 94976 46 0 0 25 0 1 0 775871331 105349120 22846 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25720 22846 1111 63 0 25657 0
vsize: 102880
[startup+960.064 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 23154 0 0 0 95975 47 0 0 25 0 1 0 775871331 106692608 23132 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26048 23132 1111 63 0 25985 0
vsize: 104192
[startup+970.065 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 23402 0 0 0 96975 48 0 0 25 0 1 0 775871331 107675648 23380 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26288 23380 1111 63 0 26225 0
vsize: 105152
[startup+980.065 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 23652 0 0 0 97974 48 0 0 25 0 1 0 775871331 108802048 23630 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26563 23630 1111 63 0 26500 0
vsize: 106252
[startup+990.065 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 23913 0 0 0 98974 49 0 0 25 0 1 0 775871331 109793280 23891 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26805 23891 1111 63 0 26742 0
vsize: 107220
[startup+1000.06 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 24161 0 0 0 99974 49 0 0 25 0 1 0 775871331 110776320 24139 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27045 24139 1111 63 0 26982 0
vsize: 108180
[startup+1010.06 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 24418 0 0 0 100974 50 0 0 25 0 1 0 775871331 111902720 24396 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27320 24396 1111 63 0 27257 0
vsize: 109280
[startup+1020.06 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 24672 0 0 0 101973 50 0 0 25 0 1 0 775871331 112885760 24650 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27560 24650 1111 63 0 27497 0
vsize: 110240
[startup+1030.07 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 24926 0 0 0 102973 50 0 0 25 0 1 0 775871331 114012160 24904 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27835 24904 1111 63 0 27772 0
vsize: 111340
[startup+1040.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 25182 0 0 0 103973 51 0 0 25 0 1 0 775871331 114999296 25160 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28076 25160 1111 63 0 28013 0
vsize: 112304
[startup+1050.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 25437 0 0 0 104972 52 0 0 25 0 1 0 775871331 115986432 25415 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28317 25415 1111 63 0 28254 0
vsize: 113268
[startup+1060.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 25692 0 0 0 105972 52 0 0 25 0 1 0 775871331 117112832 25670 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28592 25670 1111 63 0 28529 0
vsize: 114368
[startup+1070.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 25954 0 0 0 106972 52 0 0 25 0 1 0 775871331 118099968 25932 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28833 25932 1111 63 0 28770 0
vsize: 115332
[startup+1080.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 26209 0 0 0 107972 53 0 0 25 0 1 0 775871331 119226368 26187 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29108 26187 1111 63 0 29045 0
vsize: 116432
[startup+1090.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 26466 0 0 0 108971 53 0 0 25 0 1 0 775871331 120213504 26444 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29349 26444 1111 63 0 29286 0
vsize: 117396
[startup+1100.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 26727 0 0 0 109971 54 0 0 25 0 1 0 775871331 121339904 26705 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29624 26705 1111 63 0 29561 0
vsize: 118496
[startup+1110.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 26987 0 0 0 110971 54 0 0 25 0 1 0 775871331 122318848 26965 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29863 26965 1111 63 0 29800 0
vsize: 119452
[startup+1120.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 27244 0 0 0 111971 55 0 0 25 0 1 0 775871331 123445248 27222 4294967295 134512640 134714540 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30138 27222 1111 63 0 30075 0
vsize: 120552
[startup+1130.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 27505 0 0 0 112970 55 0 0 25 0 1 0 775871331 124432384 27483 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30379 27483 1111 63 0 30316 0
vsize: 121516
[startup+1140.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 27767 0 0 0 113970 55 0 0 25 0 1 0 775871331 125558784 27745 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30654 27745 1111 63 0 30591 0
vsize: 122616
[startup+1150.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 28023 0 0 0 114970 56 0 0 25 0 1 0 775871331 126545920 28001 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30895 28001 1111 63 0 30832 0
vsize: 123580
[startup+1160.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 28285 0 0 0 115969 57 0 0 25 0 1 0 775871331 127672320 28263 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31170 28263 1111 63 0 31107 0
vsize: 124680
[startup+1170.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 28548 0 0 0 116969 57 0 0 25 0 1 0 775871331 128798720 28526 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31445 28526 1111 63 0 31382 0
vsize: 125780
[startup+1180.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 28810 0 0 0 117968 58 0 0 25 0 1 0 775871331 129785856 28788 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31686 28788 1111 63 0 31623 0
vsize: 126744
[startup+1190.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 29077 0 0 0 118968 58 0 0 25 0 1 0 775871331 130908160 29055 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31960 29055 1111 63 0 31897 0
vsize: 127840
[startup+1200.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1215
Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 29339 0 0 0 119968 59 0 0 25 0 1 0 775871331 132034560 29317 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32235 29317 1111 63 0 32172 0
vsize: 128940
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.12 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 1215
Raw data (stat): 1215 (bsolo_mis) Z 1214 24300 24299 0 -1 1036 29339 0 0 0 119968 64 0 0 25 0 1 0 775871331 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.12
CPU time (s): 1200.33
CPU user time (s): 1199.68
CPU system time (s): 0.647901
CPU usage (%): 100.018
Max. virtual memory (Kb): 128940
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####