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-d6cube.opb
MD5SUM	889599bea53ff906bd4dd516c552c027
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	123680
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	6484387800
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	188743680
Number of bits of the biggest number in a constraint	28
Biggest sum of numbers in a constraint	10767194085
Number of bits of the biggest sum of numbers	34
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.12283
Number of variables	123680
Total number of constraints	404
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	404
Minimum length of a constraint	20
Maximum length of a constraint	123680
Trace number 27862

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        850352 kB
Buffers:         17448 kB
Cached:         144260 kB
SwapCached:       1628 kB
Active:          37984 kB
Inactive:       126772 kB
HighTotal:      131008 kB
HighFree:        36932 kB
LowTotal:       903652 kB
LowFree:        813420 kB
SwapTotal:     2097892 kB
SwapFree:      2095420 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5016 kB
Slab:            13840 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 23:44:25 (client local time) WITH STATUS 0 IN 1200.46 SECONDS
stats: 15668 7 1200.46 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.97 0.93 2/54 28695
Raw data (stat): 28695 (runsolver) R 28694 22056 22055 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834170629 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+9.99981 s]
Raw data (loadavg): 0.94 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 1030 0 0 0 996 2 0 0 25 0 1 0 834170629 15900672 1008 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3882 1008 1111 63 0 3819 0
vsize: 15528
[startup+20.0004 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 1250 0 0 0 1996 2 0 0 25 0 1 0 834170629 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+29.9999 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 1464 0 0 0 2996 3 0 0 25 0 1 0 834170629 17735680 1442 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4330 1442 1111 63 0 4267 0
vsize: 17320
[startup+40.001 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 1681 0 0 0 3996 3 0 0 25 0 1 0 834170629 18595840 1659 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4540 1659 1111 63 0 4477 0
vsize: 18160
[startup+50.0018 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 1900 0 0 0 4995 4 0 0 25 0 1 0 834170629 19435520 1878 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4745 1878 1111 63 0 4682 0
vsize: 18980
[startup+60.0013 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 2120 0 0 0 5995 4 0 0 25 0 1 0 834170629 20422656 2098 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4986 2098 1111 63 0 4923 0
vsize: 19944
[startup+70.0014 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 2345 0 0 0 6994 5 0 0 25 0 1 0 834170629 21262336 2323 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5191 2323 1111 63 0 5128 0
vsize: 20764
[startup+80.0025 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 2565 0 0 0 7994 6 0 0 25 0 1 0 834170629 22249472 2543 4294967295 134512640 134714540 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5432 2543 1111 63 0 5369 0
vsize: 21728
[startup+90.0027 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 2785 0 0 0 8994 6 0 0 25 0 1 0 834170629 23089152 2763 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5637 2763 1111 63 0 5574 0
vsize: 22548
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 2999 0 0 0 9994 7 0 0 25 0 1 0 834170629 23937024 2977 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5844 2977 1111 63 0 5781 0
vsize: 23376
[startup+110.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 3220 0 0 0 10994 7 0 0 25 0 1 0 834170629 24924160 3198 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6085 3198 1111 63 0 6022 0
vsize: 24340
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 3440 0 0 0 11994 7 0 0 25 0 1 0 834170629 25772032 3418 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6292 3418 1111 63 0 6229 0
vsize: 25168
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 3666 0 0 0 12993 8 0 0 25 0 1 0 834170629 26771456 3644 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6536 3644 1111 63 0 6473 0
vsize: 26144
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 3887 0 0 0 13993 8 0 0 25 0 1 0 834170629 27619328 3865 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6743 3865 1111 63 0 6680 0
vsize: 26972
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 4114 0 0 0 14993 9 0 0 25 0 1 0 834170629 28602368 4092 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6983 4092 1111 63 0 6920 0
vsize: 27932
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 4335 0 0 0 15992 9 0 0 25 0 1 0 834170629 29450240 4313 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7190 4313 1111 63 0 7127 0
vsize: 28760
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 4555 0 0 0 16993 9 0 0 25 0 1 0 834170629 30289920 4533 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7395 4533 1111 63 0 7332 0
vsize: 29580
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 4776 0 0 0 17992 10 0 0 25 0 1 0 834170629 31281152 4754 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7637 4754 1111 63 0 7574 0
vsize: 30548
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 4997 0 0 0 18992 10 0 0 25 0 1 0 834170629 32124928 4975 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7843 4975 1111 63 0 7780 0
vsize: 31372
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 5219 0 0 0 19992 10 0 0 25 0 1 0 834170629 33112064 5197 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8084 5197 1111 63 0 8021 0
vsize: 32336
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 5444 0 0 0 20991 11 0 0 25 0 1 0 834170629 33951744 5422 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8289 5422 1111 63 0 8226 0
vsize: 33156
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 5671 0 0 0 21991 12 0 0 25 0 1 0 834170629 34938880 5649 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8530 5649 1111 63 0 8467 0
vsize: 34120
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 5892 0 0 0 22991 12 0 0 25 0 1 0 834170629 35786752 5870 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8737 5870 1111 63 0 8674 0
vsize: 34948
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 6113 0 0 0 23990 13 0 0 25 0 1 0 834170629 36773888 6091 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8978 6091 1111 63 0 8915 0
vsize: 35912
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 6350 0 0 0 24990 13 0 0 25 0 1 0 834170629 37801984 6328 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9229 6328 1111 63 0 9166 0
vsize: 36916
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 6576 0 0 0 25990 14 0 0 25 0 1 0 834170629 38641664 6554 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9434 6554 1111 63 0 9371 0
vsize: 37736
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 6797 0 0 0 26989 14 0 0 25 0 1 0 834170629 39624704 6775 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9674 6775 1111 63 0 9611 0
vsize: 38696
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 7024 0 0 0 27989 15 0 0 25 0 1 0 834170629 40472576 7002 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9881 7002 1111 63 0 9818 0
vsize: 39524
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 7253 0 0 0 28989 15 0 0 25 0 1 0 834170629 41459712 7231 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10122 7231 1111 63 0 10059 0
vsize: 40488
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 7473 0 0 0 29989 16 0 0 25 0 1 0 834170629 42299392 7451 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10327 7451 1111 63 0 10264 0
vsize: 41308
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 7706 0 0 0 30988 16 0 0 25 0 1 0 834170629 43286528 7684 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10568 7684 1111 63 0 10505 0
vsize: 42272
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 7929 0 0 0 31988 17 0 0 25 0 1 0 834170629 44134400 7907 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10775 7907 1111 63 0 10712 0
vsize: 43100
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 8162 0 0 0 32988 17 0 0 25 0 1 0 834170629 45121536 8140 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11016 8140 1111 63 0 10953 0
vsize: 44064
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 8382 0 0 0 33988 18 0 0 25 0 1 0 834170629 46100480 8360 4294967295 134512640 134714540 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 8360 1111 63 0 11192 0
vsize: 45020
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 8616 0 0 0 34987 18 0 0 25 0 1 0 834170629 46948352 8594 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11462 8594 1111 63 0 11399 0
vsize: 45848
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 8838 0 0 0 35987 18 0 0 25 0 1 0 834170629 47935488 8816 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11703 8816 1111 63 0 11640 0
vsize: 46812
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 9072 0 0 0 36987 19 0 0 25 0 1 0 834170629 48918528 9050 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11943 9050 1111 63 0 11880 0
vsize: 47772
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 9300 0 0 0 37987 19 0 0 25 0 1 0 834170629 49762304 9278 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12149 9278 1111 63 0 12086 0
vsize: 48596
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 9527 0 0 0 38986 20 0 0 25 0 1 0 834170629 50749440 9505 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12390 9505 1111 63 0 12327 0
vsize: 49560
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 9761 0 0 0 39986 20 0 0 25 0 1 0 834170629 51732480 9739 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12630 9739 1111 63 0 12567 0
vsize: 50520
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 9989 0 0 0 40986 21 0 0 25 0 1 0 834170629 52580352 9967 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12837 9967 1111 63 0 12774 0
vsize: 51348
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 10218 0 0 0 41985 22 0 0 25 0 1 0 834170629 53567488 10196 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13078 10196 1111 63 0 13015 0
vsize: 52312
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 10450 0 0 0 42985 22 0 0 25 0 1 0 834170629 54546432 10428 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13317 10428 1111 63 0 13254 0
vsize: 53268
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 10685 0 0 0 43984 23 0 0 25 0 1 0 834170629 55394304 10663 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13524 10663 1111 63 0 13461 0
vsize: 54096
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 10913 0 0 0 44984 24 0 0 25 0 1 0 834170629 56381440 10891 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13765 10891 1111 63 0 13702 0
vsize: 55060
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 11141 0 0 0 45984 24 0 0 25 0 1 0 834170629 57368576 11119 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14006 11119 1111 63 0 13943 0
vsize: 56024
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 11375 0 0 0 46983 25 0 0 25 0 1 0 834170629 58208256 11353 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14211 11353 1111 63 0 14148 0
vsize: 56844
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 11607 0 0 0 47983 25 0 0 25 0 1 0 834170629 59195392 11585 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14452 11585 1111 63 0 14389 0
vsize: 57808
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 11841 0 0 0 48983 25 0 0 25 0 1 0 834170629 60182528 11819 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14693 11819 1111 63 0 14630 0
vsize: 58772
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 12093 0 0 0 49983 26 0 0 25 0 1 0 834170629 61276160 12071 4294967295 134512640 134714540 3221224592 3221221084 1077298538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14960 12071 1111 63 0 14897 0
vsize: 59840
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 12328 0 0 0 50982 26 0 0 25 0 1 0 834170629 62263296 12306 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15201 12306 1111 63 0 15138 0
vsize: 60804
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 12562 0 0 0 51981 27 0 0 25 0 1 0 834170629 63242240 12540 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15440 12540 1111 63 0 15377 0
vsize: 61760
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 12795 0 0 0 52981 28 0 0 25 0 1 0 834170629 64233472 12773 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15682 12773 1111 63 0 15619 0
vsize: 62728
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 13031 0 0 0 53980 29 0 0 25 0 1 0 834170629 65216512 13009 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15922 13009 1111 63 0 15859 0
vsize: 63688
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 13266 0 0 0 54980 29 0 0 25 0 1 0 834170629 66064384 13244 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16129 13244 1111 63 0 16066 0
vsize: 64516
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 13500 0 0 0 55980 29 0 0 25 0 1 0 834170629 67051520 13478 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16370 13478 1111 63 0 16307 0
vsize: 65480
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 13735 0 0 0 56980 30 0 0 25 0 1 0 834170629 68030464 13713 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16609 13713 1111 63 0 16546 0
vsize: 66436
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 13969 0 0 0 57979 30 0 0 25 0 1 0 834170629 69017600 13947 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16850 13947 1111 63 0 16787 0
vsize: 67400
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 14209 0 0 0 58979 31 0 0 25 0 1 0 834170629 70004736 14187 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17091 14187 1111 63 0 17028 0
vsize: 68364
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 14447 0 0 0 59979 31 0 0 25 0 1 0 834170629 70991872 14425 4294967295 134512640 134714540 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17332 14429 1111 63 0 17269 0
vsize: 69328
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 14686 0 0 0 60979 32 0 0 25 0 1 0 834170629 71979008 14664 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17573 14664 1111 63 0 17510 0
vsize: 70292
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 14921 0 0 0 61979 32 0 0 25 0 1 0 834170629 72818688 14899 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17778 14899 1111 63 0 17715 0
vsize: 71112
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 15161 0 0 0 62979 32 0 0 25 0 1 0 834170629 73805824 15139 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18019 15139 1111 63 0 17956 0
vsize: 72076
[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 15402 0 0 0 63979 32 0 0 25 0 1 0 834170629 74792960 15380 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18260 15380 1111 63 0 18197 0
vsize: 73040
[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 15637 0 0 0 64979 33 0 0 25 0 1 0 834170629 75780096 15615 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18501 15615 1111 63 0 18438 0
vsize: 74004
[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 15879 0 0 0 65979 33 0 0 25 0 1 0 834170629 76767232 15857 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18742 15857 1111 63 0 18679 0
vsize: 74968
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 16121 0 0 0 66979 33 0 0 25 0 1 0 834170629 77754368 16099 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18983 16099 1111 63 0 18920 0
vsize: 75932
[startup+680.124 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 16366 0 0 0 67988 34 0 0 25 0 1 0 834170629 78733312 16344 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19222 16344 1111 63 0 19159 0
vsize: 76888
[startup+690.124 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 16602 0 0 0 68988 35 0 0 25 0 1 0 834170629 79720448 16580 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19463 16580 1111 63 0 19400 0
vsize: 77852
[startup+700.125 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 16850 0 0 0 69988 35 0 0 25 0 1 0 834170629 80707584 16828 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19704 16828 1111 63 0 19641 0
vsize: 78816
[startup+710.125 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 17085 0 0 0 70988 35 0 0 25 0 1 0 834170629 81694720 17063 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19945 17063 1111 63 0 19882 0
vsize: 79780
[startup+720.125 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 17333 0 0 0 71987 36 0 0 25 0 1 0 834170629 82677760 17311 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20185 17311 1111 63 0 20122 0
vsize: 80740
[startup+730.126 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 17575 0 0 0 72987 37 0 0 25 0 1 0 834170629 83660800 17553 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20425 17553 1111 63 0 20362 0
vsize: 81700
[startup+740.127 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 17815 0 0 0 73987 37 0 0 25 0 1 0 834170629 84647936 17793 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20666 17793 1111 63 0 20603 0
vsize: 82664
[startup+750.127 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 18063 0 0 0 74987 37 0 0 25 0 1 0 834170629 85774336 18041 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20941 18041 1111 63 0 20878 0
vsize: 83764
[startup+760.135 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 18305 0 0 0 75987 38 0 0 25 0 1 0 834170629 86761472 18283 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21182 18283 1111 63 0 21119 0
vsize: 84728
[startup+770.144 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 18547 0 0 0 76987 38 0 0 25 0 1 0 834170629 87748608 18525 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21423 18525 1111 63 0 21360 0
vsize: 85692
[startup+780.144 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 18796 0 0 0 77987 39 0 0 25 0 1 0 834170629 88735744 18774 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21664 18774 1111 63 0 21601 0
vsize: 86656
[startup+790.153 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 19043 0 0 0 78988 39 0 0 25 0 1 0 834170629 89718784 19021 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21904 19021 1111 63 0 21841 0
vsize: 87616
[startup+800.154 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 19283 0 0 0 79988 40 0 0 25 0 1 0 834170629 90701824 19261 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22144 19261 1111 63 0 22081 0
vsize: 88576
[startup+810.154 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 19533 0 0 0 80987 40 0 0 25 0 1 0 834170629 91688960 19511 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22385 19511 1111 63 0 22322 0
vsize: 89540
[startup+820.164 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 19780 0 0 0 81988 40 0 0 25 0 1 0 834170629 92676096 19758 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22626 19758 1111 63 0 22563 0
vsize: 90504
[startup+830.172 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 20022 0 0 0 82989 41 0 0 25 0 1 0 834170629 93663232 20000 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22867 20000 1111 63 0 22804 0
vsize: 91468
[startup+840.18 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 20272 0 0 0 83989 42 0 0 25 0 1 0 834170629 94789632 20250 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23142 20250 1111 63 0 23079 0
vsize: 92568
[startup+850.18 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 20519 0 0 0 84989 42 0 0 25 0 1 0 834170629 95776768 20497 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23383 20497 1111 63 0 23320 0
vsize: 93532
[startup+860.185 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 20767 0 0 0 85989 42 0 0 25 0 1 0 834170629 96755712 20745 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23622 20745 1111 63 0 23559 0
vsize: 94488
[startup+870.188 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 21021 0 0 0 86989 42 0 0 25 0 1 0 834170629 97742848 20999 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23863 20999 1111 63 0 23800 0
vsize: 95452
[startup+880.19 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 21269 0 0 0 87989 43 0 0 25 0 1 0 834170629 98869248 21247 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24138 21247 1111 63 0 24075 0
vsize: 96552
[startup+890.19 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 21518 0 0 0 88989 44 0 0 25 0 1 0 834170629 99856384 21496 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24379 21496 1111 63 0 24316 0
vsize: 97516
[startup+900.19 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 21773 0 0 0 89988 44 0 0 25 0 1 0 834170629 100843520 21751 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24620 21751 1111 63 0 24557 0
vsize: 98480
[startup+910.19 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 22021 0 0 0 90988 45 0 0 25 0 1 0 834170629 101830656 21999 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24861 21999 1111 63 0 24798 0
vsize: 99444
[startup+920.198 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 22271 0 0 0 91989 45 0 0 25 0 1 0 834170629 102957056 22249 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25136 22249 1111 63 0 25073 0
vsize: 100544
[startup+930.198 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 22523 0 0 0 92988 45 0 0 25 0 1 0 834170629 103936000 22501 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25375 22501 1111 63 0 25312 0
vsize: 101500
[startup+940.198 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 22777 0 0 0 93988 46 0 0 25 0 1 0 834170629 104923136 22755 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25616 22755 1111 63 0 25553 0
vsize: 102464
[startup+950.199 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 23059 0 0 0 94988 46 0 0 25 0 1 0 834170629 106409984 23037 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25979 23037 1111 63 0 25916 0
vsize: 103916
[startup+960.199 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 23314 0 0 0 95988 47 0 0 25 0 1 0 834170629 107397120 23292 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26220 23292 1111 63 0 26157 0
vsize: 104880
[startup+970.2 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 23569 0 0 0 96987 47 0 0 25 0 1 0 834170629 108523520 23547 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26495 23547 1111 63 0 26432 0
vsize: 105980
[startup+980.201 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 23819 0 0 0 97987 48 0 0 25 0 1 0 834170629 109510656 23797 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26736 23797 1111 63 0 26673 0
vsize: 106944
[startup+990.202 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 24073 0 0 0 98986 49 0 0 25 0 1 0 834170629 110489600 24051 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26975 24051 1111 63 0 26912 0
vsize: 107900
[startup+1000.2 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 24328 0 0 0 99986 49 0 0 25 0 1 0 834170629 111616000 24306 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27250 24306 1111 63 0 27187 0
vsize: 109000
[startup+1010.2 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 24583 0 0 0 100986 50 0 0 25 0 1 0 834170629 112607232 24561 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27492 24561 1111 63 0 27429 0
vsize: 109968
[startup+1020.2 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 24837 0 0 0 101986 50 0 0 25 0 1 0 834170629 113590272 24815 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27732 24815 1111 63 0 27669 0
vsize: 110928
[startup+1030.2 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 25094 0 0 0 102986 50 0 0 25 0 1 0 834170629 114716672 25072 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28007 25072 1111 63 0 27944 0
vsize: 112028
[startup+1040.2 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 25349 0 0 0 103986 50 0 0 25 0 1 0 834170629 115703808 25327 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28248 25327 1111 63 0 28185 0
vsize: 112992
[startup+1050.2 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 25610 0 0 0 104985 51 0 0 25 0 1 0 834170629 116834304 25588 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28524 25588 1111 63 0 28461 0
vsize: 114096
[startup+1060.2 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 25866 0 0 0 105985 52 0 0 25 0 1 0 834170629 117817344 25844 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28764 25844 1111 63 0 28701 0
vsize: 115056
[startup+1070.2 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 26121 0 0 0 106985 52 0 0 25 0 1 0 834170629 118943744 26099 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29039 26099 1111 63 0 28976 0
vsize: 116156
[startup+1080.2 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 26382 0 0 0 107984 53 0 0 25 0 1 0 834170629 119926784 26360 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29279 26360 1111 63 0 29216 0
vsize: 117116
[startup+1090.2 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 26644 0 0 0 108983 54 0 0 25 0 1 0 834170629 121053184 26622 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29554 26622 1111 63 0 29491 0
vsize: 118216
[startup+1100.2 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 26899 0 0 0 109983 54 0 0 25 0 1 0 834170629 122040320 26877 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29795 26877 1111 63 0 29732 0
vsize: 119180
[startup+1110.2 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 27162 0 0 0 110983 55 0 0 25 0 1 0 834170629 123166720 27140 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30070 27140 1111 63 0 30007 0
vsize: 120280
[startup+1120.2 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 27417 0 0 0 111982 55 0 0 25 0 1 0 834170629 124153856 27395 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30311 27395 1111 63 0 30248 0
vsize: 121244
[startup+1130.2 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 27678 0 0 0 112982 56 0 0 25 0 1 0 834170629 125280256 27656 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30586 27656 1111 63 0 30523 0
vsize: 122344
[startup+1140.21 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 27942 0 0 0 113982 56 0 0 25 0 1 0 834170629 126267392 27920 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30827 27920 1111 63 0 30764 0
vsize: 123308
[startup+1150.21 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 28203 0 0 0 114981 57 0 0 25 0 1 0 834170629 127393792 28181 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31102 28181 1111 63 0 31039 0
vsize: 124408
[startup+1160.21 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 28466 0 0 0 115981 57 0 0 25 0 1 0 834170629 128512000 28444 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31375 28444 1111 63 0 31312 0
vsize: 125500
[startup+1170.21 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 28726 0 0 0 116981 58 0 0 25 0 1 0 834170629 129499136 28704 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31616 28704 1111 63 0 31553 0
vsize: 126464
[startup+1180.21 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 28988 0 0 0 117980 59 0 0 25 0 1 0 834170629 130629632 28966 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31892 28966 1111 63 0 31829 0
vsize: 127568
[startup+1190.21 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 29251 0 0 0 118980 59 0 0 25 0 1 0 834170629 131612672 29229 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32132 29229 1111 63 0 32069 0
vsize: 128528
[startup+1200.21 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 28695
Raw data (stat): 28695 (bsolo_mis) R 28694 22056 22055 0 -1 0 29513 0 0 0 119980 59 0 0 25 0 1 0 834170629 132739072 29491 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32407 29491 1111 63 0 32344 0
vsize: 129628
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.29 s]
Raw data (loadavg): 0.99 0.97 0.93 1/54 28695
Raw data (stat): 28695 (bsolo_mis) Z 28694 22056 22055 0 -1 1036 29513 0 0 0 119980 65 0 0 23 0 1 0 834170629 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.29
CPU time (s): 1200.46
CPU user time (s): 1199.81
CPU system time (s): 0.6529
CPU usage (%): 100.014
Max. virtual memory (Kb): 129628
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####