PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3707.opb
MD5SUM	9a33380ca74da1778d689b1fccd15cfc
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	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29764190431236
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29764190431236
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.42078
Number of variables	155000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	31
Maximum length of a constraint	3000
Trace number 28228

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-05-25 01:16:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14095 boxname=wulflinc29 idbench=1085 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  9a33380ca74da1778d689b1fccd15cfc  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-n3707.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-n3707.opb
IDLAUNCH: 14095
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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.020
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:        338120 kB
Buffers:         32748 kB
Cached:         634236 kB
SwapCached:        776 kB
Active:          69096 kB
Inactive:       603592 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        337868 kB
SwapTotal:     2097892 kB
SwapFree:      2096724 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5644 kB
Slab:            18228 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 01:36:41 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 14095 7 1200.26 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.87 0.97 0.99 2/54 25557
Raw data (stat): 25557 (runsolver) R 25556 20001 20000 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834844774 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 0.89 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 1146 0 0 0 995 3 0 0 25 0 1 0 834844774 15507456 1124 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3786 1124 1111 63 0 3723 0
vsize: 15144
[startup+20.0009 s]
Raw data (loadavg): 0.90 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 1250 0 0 0 1995 4 0 0 25 0 1 0 834844774 15958016 1228 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3896 1228 1111 63 0 3833 0
vsize: 15584
[startup+30.0014 s]
Raw data (loadavg): 0.92 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 1359 0 0 0 2995 4 0 0 25 0 1 0 834844774 16404480 1337 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4005 1337 1111 63 0 3942 0
vsize: 16020
[startup+40.0014 s]
Raw data (loadavg): 0.93 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 1469 0 0 0 3995 4 0 0 25 0 1 0 834844774 16830464 1447 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4109 1447 1111 63 0 4046 0
vsize: 16436
[startup+50.0022 s]
Raw data (loadavg): 0.94 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 1581 0 0 0 4995 4 0 0 25 0 1 0 834844774 17256448 1559 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4213 1559 1111 63 0 4150 0
vsize: 16852
[startup+60.002 s]
Raw data (loadavg): 0.95 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 1692 0 0 0 5995 4 0 0 25 0 1 0 834844774 17711104 1670 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4324 1670 1111 63 0 4261 0
vsize: 17296
[startup+70.0018 s]
Raw data (loadavg): 0.96 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 1801 0 0 0 6995 5 0 0 25 0 1 0 834844774 18157568 1779 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4433 1779 1111 63 0 4370 0
vsize: 17732
[startup+80.0025 s]
Raw data (loadavg): 0.96 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 1911 0 0 0 7995 5 0 0 25 0 1 0 834844774 18608128 1889 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4543 1889 1111 63 0 4480 0
vsize: 18172
[startup+90.0024 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 2020 0 0 0 8995 5 0 0 25 0 1 0 834844774 19058688 1998 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4653 1998 1111 63 0 4590 0
vsize: 18612
[startup+100.003 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 2135 0 0 0 9995 5 0 0 25 0 1 0 834844774 19480576 2113 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4756 2113 1111 63 0 4693 0
vsize: 19024
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 2239 0 0 0 10995 5 0 0 25 0 1 0 834844774 19922944 2217 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4864 2217 1111 63 0 4801 0
vsize: 19456
[startup+120.004 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 2356 0 0 0 11995 5 0 0 25 0 1 0 834844774 20373504 2334 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4974 2334 1111 63 0 4911 0
vsize: 19896
[startup+130.004 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 2459 0 0 0 12996 5 0 0 25 0 1 0 834844774 20819968 2437 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5083 2437 1111 63 0 5020 0
vsize: 20332
[startup+140.004 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 2576 0 0 0 13995 6 0 0 25 0 1 0 834844774 21270528 2554 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5193 2554 1111 63 0 5130 0
vsize: 20772
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 2679 0 0 0 14995 6 0 0 25 0 1 0 834844774 21721088 2657 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5303 2657 1111 63 0 5240 0
vsize: 21212
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 2795 0 0 0 15995 6 0 0 25 0 1 0 834844774 22171648 2773 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5413 2773 1111 63 0 5350 0
vsize: 21652
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 2898 0 0 0 16995 7 0 0 25 0 1 0 834844774 22618112 2876 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5522 2876 1111 63 0 5459 0
vsize: 22088
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 3022 0 0 0 17995 7 0 0 25 0 1 0 834844774 23216128 3000 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5668 3000 1111 63 0 5605 0
vsize: 22672
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 3131 0 0 0 18995 7 0 0 25 0 1 0 834844774 23654400 3109 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5775 3109 1111 63 0 5712 0
vsize: 23100
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 3241 0 0 0 19995 7 0 0 25 0 1 0 834844774 24109056 3219 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5886 3219 1111 63 0 5823 0
vsize: 23544
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 3351 0 0 0 20995 7 0 0 25 0 1 0 834844774 24555520 3329 4294967295 134512640 134714540 3221224592 3221222552 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5995 3329 1111 63 0 5932 0
vsize: 23980
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 3462 0 0 0 21995 7 0 0 25 0 1 0 834844774 24985600 3440 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6100 3440 1111 63 0 6037 0
vsize: 24400
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 3572 0 0 0 22995 8 0 0 25 0 1 0 834844774 25423872 3550 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6207 3550 1111 63 0 6144 0
vsize: 24828
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 3683 0 0 0 23995 8 0 0 25 0 1 0 834844774 25874432 3661 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6317 3661 1111 63 0 6254 0
vsize: 25268
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 3798 0 0 0 24995 9 0 0 25 0 1 0 834844774 26324992 3776 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6427 3776 1111 63 0 6364 0
vsize: 25708
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 3904 0 0 0 25995 9 0 0 25 0 1 0 834844774 26775552 3882 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6537 3882 1111 63 0 6474 0
vsize: 26148
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 4020 0 0 0 26995 9 0 0 25 0 1 0 834844774 27222016 3998 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6646 3998 1111 63 0 6583 0
vsize: 26584
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 4131 0 0 0 27995 9 0 0 25 0 1 0 834844774 27676672 4109 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6757 4109 1111 63 0 6694 0
vsize: 27028
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 4240 0 0 0 28995 10 0 0 25 0 1 0 834844774 28123136 4218 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6866 4218 1111 63 0 6803 0
vsize: 27464
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 4351 0 0 0 29995 10 0 0 25 0 1 0 834844774 28573696 4329 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6976 4329 1111 63 0 6913 0
vsize: 27904
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 4461 0 0 0 30995 10 0 0 25 0 1 0 834844774 29024256 4439 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7086 4439 1111 63 0 7023 0
vsize: 28344
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 4578 0 0 0 31994 11 0 0 25 0 1 0 834844774 29474816 4556 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7196 4556 1111 63 0 7133 0
vsize: 28784
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 4688 0 0 0 32994 11 0 0 25 0 1 0 834844774 29921280 4666 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7305 4666 1111 63 0 7242 0
vsize: 29220
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 4799 0 0 0 33994 11 0 0 25 0 1 0 834844774 30371840 4777 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7415 4777 1111 63 0 7352 0
vsize: 29660
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 4914 0 0 0 34994 11 0 0 25 0 1 0 834844774 30969856 4892 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7561 4892 1111 63 0 7498 0
vsize: 30244
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 5036 0 0 0 35995 12 0 0 25 0 1 0 834844774 31428608 5014 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7673 5014 1111 63 0 7610 0
vsize: 30692
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 5146 0 0 0 36994 12 0 0 25 0 1 0 834844774 31875072 5124 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7782 5124 1111 63 0 7719 0
vsize: 31128
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 5258 0 0 0 37994 12 0 0 25 0 1 0 834844774 32329728 5236 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7893 5236 1111 63 0 7830 0
vsize: 31572
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 5367 0 0 0 38994 12 0 0 25 0 1 0 834844774 32776192 5345 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8002 5345 1111 63 0 7939 0
vsize: 32008
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 5485 0 0 0 39995 12 0 0 25 0 1 0 834844774 33226752 5463 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8112 5463 1111 63 0 8049 0
vsize: 32448
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 5594 0 0 0 40994 13 0 0 25 0 1 0 834844774 33677312 5572 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8222 5572 1111 63 0 8159 0
vsize: 32888
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 5705 0 0 0 41994 13 0 0 25 0 1 0 834844774 34127872 5683 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8332 5683 1111 63 0 8269 0
vsize: 33328
[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 5822 0 0 0 42994 13 0 0 25 0 1 0 834844774 34721792 5800 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8477 5800 1111 63 0 8414 0
vsize: 33908
[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 5939 0 0 0 43994 13 0 0 25 0 1 0 834844774 35176448 5917 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8588 5917 1111 63 0 8525 0
vsize: 34352
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 6049 0 0 0 44994 14 0 0 25 0 1 0 834844774 35622912 6027 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8697 6027 1111 63 0 8634 0
vsize: 34788
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 6161 0 0 0 45994 14 0 0 25 0 1 0 834844774 36077568 6139 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8808 6139 1111 63 0 8745 0
vsize: 35232
[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 6277 0 0 0 46994 14 0 0 25 0 1 0 834844774 36519936 6255 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8916 6255 1111 63 0 8853 0
vsize: 35664
[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 6388 0 0 0 47994 14 0 0 25 0 1 0 834844774 36974592 6366 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9027 6366 1111 63 0 8964 0
vsize: 36108
[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 6498 0 0 0 48994 15 0 0 25 0 1 0 834844774 37421056 6476 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9136 6476 1111 63 0 9073 0
vsize: 36544
[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 6615 0 0 0 49994 15 0 0 25 0 1 0 834844774 37875712 6593 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9247 6593 1111 63 0 9184 0
vsize: 36988
[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 6731 0 0 0 50994 15 0 0 25 0 1 0 834844774 38318080 6709 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9355 6709 1111 63 0 9292 0
vsize: 37420
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 6843 0 0 0 51993 16 0 0 25 0 1 0 834844774 38772736 6821 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9466 6821 1111 63 0 9403 0
vsize: 37864
[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 6953 0 0 0 52993 16 0 0 25 0 1 0 834844774 39219200 6931 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9575 6931 1111 63 0 9512 0
vsize: 38300
[startup+540.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 7071 0 0 0 53994 16 0 0 25 0 1 0 834844774 39821312 7049 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9722 7049 1111 63 0 9659 0
vsize: 38888
[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 7186 0 0 0 54994 16 0 0 25 0 1 0 834844774 40267776 7164 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9831 7164 1111 63 0 9768 0
vsize: 39324
[startup+560.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 7298 0 0 0 55994 16 0 0 25 0 1 0 834844774 40722432 7276 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9942 7276 1111 63 0 9879 0
vsize: 39768
[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 7408 0 0 0 56994 17 0 0 25 0 1 0 834844774 41168896 7386 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10051 7386 1111 63 0 9988 0
vsize: 40204
[startup+580.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 7527 0 0 0 57994 17 0 0 25 0 1 0 834844774 41619456 7505 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10161 7505 1111 63 0 10098 0
vsize: 40644
[startup+590.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 7644 0 0 0 58994 17 0 0 25 0 1 0 834844774 42070016 7622 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10271 7622 1111 63 0 10208 0
vsize: 41084
[startup+600.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 7755 0 0 0 59994 17 0 0 25 0 1 0 834844774 42520576 7733 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10381 7733 1111 63 0 10318 0
vsize: 41524
[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 7872 0 0 0 60994 17 0 0 25 0 1 0 834844774 42967040 7850 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10490 7850 1111 63 0 10427 0
vsize: 41960
[startup+620.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 7983 0 0 0 61994 17 0 0 25 0 1 0 834844774 43417600 7961 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10600 7961 1111 63 0 10537 0
vsize: 42400
[startup+630.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 8100 0 0 0 62994 18 0 0 25 0 1 0 834844774 44019712 8078 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10747 8078 1111 63 0 10684 0
vsize: 42988
[startup+640.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 8216 0 0 0 63994 18 0 0 25 0 1 0 834844774 44470272 8194 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10857 8194 1111 63 0 10794 0
vsize: 43428
[startup+650.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 8334 0 0 0 64994 18 0 0 25 0 1 0 834844774 44920832 8312 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10967 8312 1111 63 0 10904 0
vsize: 43868
[startup+660.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 8444 0 0 0 65994 18 0 0 25 0 1 0 834844774 45367296 8422 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11076 8422 1111 63 0 11013 0
vsize: 44304
[startup+670.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 8562 0 0 0 66994 18 0 0 25 0 1 0 834844774 45817856 8540 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11186 8540 1111 63 0 11123 0
vsize: 44744
[startup+680.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 8672 0 0 0 67994 19 0 0 25 0 1 0 834844774 46268416 8650 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11296 8650 1111 63 0 11233 0
vsize: 45184
[startup+690.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 8789 0 0 0 68994 19 0 0 25 0 1 0 834844774 46718976 8767 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11406 8767 1111 63 0 11343 0
vsize: 45624
[startup+700.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 8924 0 0 0 69994 19 0 0 25 0 1 0 834844774 47509504 8902 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11599 8902 1111 63 0 11536 0
vsize: 46396
[startup+710.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 9042 0 0 0 70994 19 0 0 25 0 1 0 834844774 47960064 9020 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11709 9020 1111 63 0 11646 0
vsize: 46836
[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 9152 0 0 0 71994 20 0 0 25 0 1 0 834844774 48406528 9130 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11818 9130 1111 63 0 11755 0
vsize: 47272
[startup+730.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 9270 0 0 0 72994 20 0 0 25 0 1 0 834844774 48861184 9248 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11929 9248 1111 63 0 11866 0
vsize: 47716
[startup+740.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 9386 0 0 0 73994 20 0 0 25 0 1 0 834844774 49303552 9364 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12037 9364 1111 63 0 11974 0
vsize: 48148
[startup+750.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 9499 0 0 0 74993 20 0 0 25 0 1 0 834844774 49758208 9477 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12148 9477 1111 63 0 12085 0
vsize: 48592
[startup+760.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 9615 0 0 0 75993 20 0 0 25 0 1 0 834844774 50204672 9593 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12257 9593 1111 63 0 12194 0
vsize: 49028
[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 9733 0 0 0 76993 21 0 0 25 0 1 0 834844774 50806784 9711 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12404 9711 1111 63 0 12341 0
vsize: 49616
[startup+780.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 9849 0 0 0 77993 21 0 0 25 0 1 0 834844774 51253248 9827 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12513 9827 1111 63 0 12450 0
vsize: 50052
[startup+790.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 9968 0 0 0 78993 21 0 0 25 0 1 0 834844774 51703808 9946 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12623 9946 1111 63 0 12560 0
vsize: 50492
[startup+800.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 10085 0 0 0 79993 21 0 0 25 0 1 0 834844774 52154368 10063 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12733 10063 1111 63 0 12670 0
vsize: 50932
[startup+810.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 10202 0 0 0 80993 22 0 0 25 0 1 0 834844774 52604928 10180 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12843 10180 1111 63 0 12780 0
vsize: 51372
[startup+820.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 10320 0 0 0 81993 22 0 0 25 0 1 0 834844774 53207040 10298 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12990 10298 1111 63 0 12927 0
vsize: 51960
[startup+830.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 10436 0 0 0 82993 22 0 0 25 0 1 0 834844774 53653504 10414 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13099 10414 1111 63 0 13036 0
vsize: 52396
[startup+840.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 10555 0 0 0 83993 22 0 0 25 0 1 0 834844774 54108160 10533 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13210 10533 1111 63 0 13147 0
vsize: 52840
[startup+850.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 10665 0 0 0 84993 22 0 0 25 0 1 0 834844774 54554624 10643 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13319 10643 1111 63 0 13256 0
vsize: 53276
[startup+860.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 10783 0 0 0 85993 23 0 0 25 0 1 0 834844774 55005184 10761 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13429 10761 1111 63 0 13366 0
vsize: 53716
[startup+870.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 10900 0 0 0 86993 23 0 0 25 0 1 0 834844774 55455744 10878 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13539 10878 1111 63 0 13476 0
vsize: 54156
[startup+880.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 11019 0 0 0 87993 23 0 0 25 0 1 0 834844774 56053760 10997 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13685 10997 1111 63 0 13622 0
vsize: 54740
[startup+890.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 11135 0 0 0 88993 23 0 0 25 0 1 0 834844774 56500224 11113 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13794 11113 1111 63 0 13731 0
vsize: 55176
[startup+900.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 11253 0 0 0 89993 24 0 0 25 0 1 0 834844774 56954880 11231 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13905 11231 1111 63 0 13842 0
vsize: 55620
[startup+910.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 11371 0 0 0 90993 24 0 0 25 0 1 0 834844774 57401344 11349 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14014 11349 1111 63 0 13951 0
vsize: 56056
[startup+920.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 11488 0 0 0 91992 24 0 0 25 0 1 0 834844774 57974784 11466 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14154 11466 1111 63 0 14091 0
vsize: 56616
[startup+930.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 11606 0 0 0 92992 25 0 0 25 0 1 0 834844774 58417152 11584 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14262 11584 1111 63 0 14199 0
vsize: 57048
[startup+940.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 11730 0 0 0 93992 25 0 0 25 0 1 0 834844774 58871808 11708 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14373 11708 1111 63 0 14310 0
vsize: 57492
[startup+950.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 11847 0 0 0 94992 25 0 0 25 0 1 0 834844774 59318272 11825 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14482 11825 1111 63 0 14419 0
vsize: 57928
[startup+960.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 11965 0 0 0 95992 26 0 0 25 0 1 0 834844774 59920384 11943 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14629 11943 1111 63 0 14566 0
vsize: 58516
[startup+970.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 12082 0 0 0 96992 26 0 0 25 0 1 0 834844774 60366848 12060 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14738 12060 1111 63 0 14675 0
vsize: 58952
[startup+980.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 12200 0 0 0 97992 26 0 0 25 0 1 0 834844774 60817408 12178 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14848 12178 1111 63 0 14785 0
vsize: 59392
[startup+990.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 12318 0 0 0 98992 26 0 0 25 0 1 0 834844774 61267968 12296 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14958 12296 1111 63 0 14895 0
vsize: 59832
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 12436 0 0 0 99992 26 0 0 25 0 1 0 834844774 61718528 12414 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15068 12414 1111 63 0 15005 0
vsize: 60272
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 12555 0 0 0 100992 26 0 0 25 0 1 0 834844774 62320640 12533 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15215 12533 1111 63 0 15152 0
vsize: 60860
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 12672 0 0 0 101992 26 0 0 25 0 1 0 834844774 62767104 12650 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15324 12650 1111 63 0 15261 0
vsize: 61296
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 12790 0 0 0 102992 27 0 0 25 0 1 0 834844774 63217664 12768 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15434 12768 1111 63 0 15371 0
vsize: 61736
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 12913 0 0 0 103992 27 0 0 25 0 1 0 834844774 63668224 12891 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15544 12891 1111 63 0 15481 0
vsize: 62176
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 13032 0 0 0 104992 27 0 0 25 0 1 0 834844774 64270336 13010 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15691 13010 1111 63 0 15628 0
vsize: 62764
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 13149 0 0 0 105992 27 0 0 25 0 1 0 834844774 64712704 13127 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15799 13127 1111 63 0 15736 0
vsize: 63196
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 13273 0 0 0 106992 28 0 0 25 0 1 0 834844774 65167360 13251 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15910 13251 1111 63 0 15847 0
vsize: 63640
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 13391 0 0 0 107991 28 0 0 25 0 1 0 834844774 65613824 13369 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16019 13369 1111 63 0 15956 0
vsize: 64076
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 13510 0 0 0 108991 29 0 0 25 0 1 0 834844774 66215936 13488 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16166 13488 1111 63 0 16103 0
vsize: 64664
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 13626 0 0 0 109991 29 0 0 25 0 1 0 834844774 66662400 13604 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16275 13604 1111 63 0 16212 0
vsize: 65100
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 13745 0 0 0 110991 29 0 0 25 0 1 0 834844774 67117056 13723 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16386 13723 1111 63 0 16323 0
vsize: 65544
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 13870 0 0 0 111991 29 0 0 25 0 1 0 834844774 67563520 13848 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16495 13848 1111 63 0 16432 0
vsize: 65980
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 13987 0 0 0 112991 29 0 0 25 0 1 0 834844774 68165632 13965 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16642 13965 1111 63 0 16579 0
vsize: 66568
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 14112 0 0 0 113991 30 0 0 25 0 1 0 834844774 68616192 14090 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16752 14090 1111 63 0 16689 0
vsize: 67008
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 14229 0 0 0 114991 30 0 0 25 0 1 0 834844774 69062656 14207 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16861 14207 1111 63 0 16798 0
vsize: 67444
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 14348 0 0 0 115991 30 0 0 25 0 1 0 834844774 69517312 14326 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16972 14326 1111 63 0 16909 0
vsize: 67888
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 14471 0 0 0 116991 30 0 0 25 0 1 0 834844774 70111232 14449 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17117 14449 1111 63 0 17054 0
vsize: 68468
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 14590 0 0 0 117991 31 0 0 25 0 1 0 834844774 70565888 14568 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17228 14568 1111 63 0 17165 0
vsize: 68912
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 14713 0 0 0 118991 31 0 0 25 0 1 0 834844774 71012352 14691 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17337 14691 1111 63 0 17274 0
vsize: 69348
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25557
Raw data (stat): 25557 (bsolo_mis) R 25556 20001 20000 0 -1 0 14833 0 0 0 119991 31 0 0 25 0 1 0 834844774 71610368 14811 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17483 14811 1111 63 0 17420 0
vsize: 69932
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.99 1/54 25557
Raw data (stat): 25557 (bsolo_mis) Z 25556 20001 20000 0 -1 1036 14833 0 0 0 119991 34 0 0 25 0 1 0 834844774 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.07
CPU time (s): 1200.26
CPU user time (s): 1199.91
CPU system time (s): 0.344947
CPU usage (%): 100.016
Max. virtual memory (Kb): 69932
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####