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-n3701.opb
MD5SUM	43fed3c1d7a16e4c08eafe49f6a33c8e
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	29697461525571
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	29697461525571
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.43278
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 28295

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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:        409304 kB
Buffers:         14956 kB
Cached:         578992 kB
SwapCached:        984 kB
Active:          32184 kB
Inactive:       563900 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        409052 kB
SwapTotal:     2097892 kB
SwapFree:      2096008 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5072 kB
Slab:            23600 kB
Committed_AS:    63900 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 01:46:10 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 14017 7 1200.24 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): 1.01 1.00 1.00 2/55 7418
Raw data (stat): 7418 (runsolver) R 7417 32363 32362 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 712171307 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.99974 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 1140 0 0 0 995 3 0 0 25 0 1 0 712171307 15507456 1118 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3786 1118 1111 63 0 3723 0
vsize: 15144
[startup+19.9997 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 1250 0 0 0 1995 3 0 0 25 0 1 0 712171307 15958016 1228 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3896 1228 1111 63 0 3833 0
vsize: 15584
[startup+30 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 1359 0 0 0 2996 3 0 0 25 0 1 0 712171307 16404480 1337 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4005 1337 1111 63 0 3942 0
vsize: 16020
[startup+39.9997 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 1469 0 0 0 3995 4 0 0 25 0 1 0 712171307 16830464 1447 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4109 1447 1111 63 0 4046 0
vsize: 16436
[startup+50.0004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 1581 0 0 0 4995 4 0 0 25 0 1 0 712171307 17256448 1559 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4213 1559 1111 63 0 4150 0
vsize: 16852
[startup+60.0001 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 1692 0 0 0 5995 4 0 0 25 0 1 0 712171307 17711104 1670 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4324 1670 1111 63 0 4261 0
vsize: 17296
[startup+69.9997 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 1795 0 0 0 6995 5 0 0 25 0 1 0 712171307 18157568 1773 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4433 1773 1111 63 0 4370 0
vsize: 17732
[startup+80.0008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 1911 0 0 0 7995 5 0 0 25 0 1 0 712171307 18608128 1889 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4543 1889 1111 63 0 4480 0
vsize: 18172
[startup+90.0001 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 2020 0 0 0 8995 5 0 0 25 0 1 0 712171307 19058688 1998 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4653 1998 1111 63 0 4590 0
vsize: 18612
[startup+100.001 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 2135 0 0 0 9995 6 0 0 25 0 1 0 712171307 19480576 2113 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4756 2113 1111 63 0 4693 0
vsize: 19024
[startup+110.001 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 2239 0 0 0 10994 6 0 0 25 0 1 0 712171307 19922944 2217 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4864 2217 1111 63 0 4801 0
vsize: 19456
[startup+120.001 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 2356 0 0 0 11994 7 0 0 25 0 1 0 712171307 20373504 2334 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4974 2334 1111 63 0 4911 0
vsize: 19896
[startup+130.001 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 2459 0 0 0 12994 7 0 0 25 0 1 0 712171307 20819968 2437 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5083 2437 1111 63 0 5020 0
vsize: 20332
[startup+140.001 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 2575 0 0 0 13993 8 0 0 25 0 1 0 712171307 21270528 2553 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5193 2553 1111 63 0 5130 0
vsize: 20772
[startup+150.001 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 2678 0 0 0 14993 8 0 0 25 0 1 0 712171307 21721088 2656 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5303 2656 1111 63 0 5240 0
vsize: 21212
[startup+160.001 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 2795 0 0 0 15993 8 0 0 25 0 1 0 712171307 22171648 2773 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5413 2773 1111 63 0 5350 0
vsize: 21652
[startup+170 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 2898 0 0 0 16993 9 0 0 25 0 1 0 712171307 22618112 2876 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5522 2876 1111 63 0 5459 0
vsize: 22088
[startup+180 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 3022 0 0 0 17993 9 0 0 25 0 1 0 712171307 23216128 3000 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5668 3000 1111 63 0 5605 0
vsize: 22672
[startup+190 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 3125 0 0 0 18993 9 0 0 25 0 1 0 712171307 23654400 3103 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5775 3103 1111 63 0 5712 0
vsize: 23100
[startup+200.001 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 3241 0 0 0 19992 10 0 0 25 0 1 0 712171307 24109056 3219 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5886 3219 1111 63 0 5823 0
vsize: 23544
[startup+210.001 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 3350 0 0 0 20992 10 0 0 25 0 1 0 712171307 24555520 3328 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5995 3328 1111 63 0 5932 0
vsize: 23980
[startup+220.001 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 3462 0 0 0 21992 11 0 0 25 0 1 0 712171307 24985600 3440 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6100 3440 1111 63 0 6037 0
vsize: 24400
[startup+230.001 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 3572 0 0 0 22991 11 0 0 25 0 1 0 712171307 25423872 3550 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6207 3550 1111 63 0 6144 0
vsize: 24828
[startup+240 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 3683 0 0 0 23991 11 0 0 25 0 1 0 712171307 25874432 3661 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6317 3661 1111 63 0 6254 0
vsize: 25268
[startup+250.001 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 3792 0 0 0 24992 12 0 0 25 0 1 0 712171307 26324992 3770 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6427 3770 1111 63 0 6364 0
vsize: 25708
[startup+260.001 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 3904 0 0 0 25991 12 0 0 25 0 1 0 712171307 26775552 3882 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6537 3882 1111 63 0 6474 0
vsize: 26148
[startup+270 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 4020 0 0 0 26991 13 0 0 25 0 1 0 712171307 27222016 3998 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6646 3998 1111 63 0 6583 0
vsize: 26584
[startup+280.001 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 4131 0 0 0 27991 13 0 0 25 0 1 0 712171307 27676672 4109 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6757 4109 1111 63 0 6694 0
vsize: 27028
[startup+290.001 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 4240 0 0 0 28991 13 0 0 25 0 1 0 712171307 28123136 4218 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6866 4218 1111 63 0 6803 0
vsize: 27464
[startup+300.001 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 4351 0 0 0 29991 13 0 0 25 0 1 0 712171307 28573696 4329 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6976 4329 1111 63 0 6913 0
vsize: 27904
[startup+310.002 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 4461 0 0 0 30991 13 0 0 25 0 1 0 712171307 29024256 4439 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7086 4439 1111 63 0 7023 0
vsize: 28344
[startup+320.002 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 4578 0 0 0 31991 14 0 0 25 0 1 0 712171307 29474816 4556 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7196 4556 1111 63 0 7133 0
vsize: 28784
[startup+330.002 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 4687 0 0 0 32991 14 0 0 25 0 1 0 712171307 29921280 4665 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7305 4665 1111 63 0 7242 0
vsize: 29220
[startup+340.002 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 4798 0 0 0 33991 14 0 0 25 0 1 0 712171307 30371840 4776 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7415 4776 1111 63 0 7352 0
vsize: 29660
[startup+350.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 4908 0 0 0 34990 15 0 0 25 0 1 0 712171307 30822400 4886 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7525 4886 1111 63 0 7462 0
vsize: 30100
[startup+360.002 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 5030 0 0 0 35990 15 0 0 25 0 1 0 712171307 31428608 5008 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7673 5008 1111 63 0 7610 0
vsize: 30692
[startup+370.002 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 5145 0 0 0 36990 15 0 0 25 0 1 0 712171307 31875072 5123 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7782 5123 1111 63 0 7719 0
vsize: 31128
[startup+380.003 s]
Raw data (loadavg): 1.08 1.02 1.01 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 5257 0 0 0 37990 15 0 0 25 0 1 0 712171307 32329728 5235 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7893 5235 1111 63 0 7830 0
vsize: 31572
[startup+390.002 s]
Raw data (loadavg): 1.07 1.02 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 5367 0 0 0 38990 15 0 0 25 0 1 0 712171307 32776192 5345 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8002 5345 1111 63 0 7939 0
vsize: 32008
[startup+400.003 s]
Raw data (loadavg): 1.06 1.01 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 5485 0 0 0 39990 16 0 0 25 0 1 0 712171307 33226752 5463 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8112 5463 1111 63 0 8049 0
vsize: 32448
[startup+410.004 s]
Raw data (loadavg): 1.05 1.01 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 5594 0 0 0 40990 16 0 0 25 0 1 0 712171307 33677312 5572 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8222 5572 1111 63 0 8159 0
vsize: 32888
[startup+420.004 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 5705 0 0 0 41990 16 0 0 25 0 1 0 712171307 34127872 5683 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8332 5683 1111 63 0 8269 0
vsize: 33328
[startup+430.003 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 5822 0 0 0 42990 16 0 0 25 0 1 0 712171307 34721792 5800 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8477 5800 1111 63 0 8414 0
vsize: 33908
[startup+440.003 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 5933 0 0 0 43990 17 0 0 25 0 1 0 712171307 35176448 5911 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8588 5911 1111 63 0 8525 0
vsize: 34352
[startup+450.004 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 6043 0 0 0 44990 17 0 0 25 0 1 0 712171307 35622912 6021 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8697 6021 1111 63 0 8634 0
vsize: 34788
[startup+460.003 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 6160 0 0 0 45990 18 0 0 25 0 1 0 712171307 36077568 6138 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8808 6138 1111 63 0 8745 0
vsize: 35232
[startup+470.003 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 6271 0 0 0 46989 18 0 0 25 0 1 0 712171307 36519936 6249 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8916 6249 1111 63 0 8853 0
vsize: 35664
[startup+480.004 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 6388 0 0 0 47989 18 0 0 25 0 1 0 712171307 36974592 6366 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9027 6366 1111 63 0 8964 0
vsize: 36108
[startup+490.003 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 6497 0 0 0 48989 18 0 0 25 0 1 0 712171307 37421056 6475 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9136 6475 1111 63 0 9073 0
vsize: 36544
[startup+500.004 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 6615 0 0 0 49989 18 0 0 25 0 1 0 712171307 37875712 6593 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9247 6593 1111 63 0 9184 0
vsize: 36988
[startup+510.004 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 6724 0 0 0 50989 19 0 0 25 0 1 0 712171307 38318080 6702 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9355 6702 1111 63 0 9292 0
vsize: 37420
[startup+520.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 6836 0 0 0 51989 19 0 0 25 0 1 0 712171307 38772736 6814 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9466 6814 1111 63 0 9403 0
vsize: 37864
[startup+530.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 6953 0 0 0 52989 19 0 0 25 0 1 0 712171307 39219200 6931 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9575 6931 1111 63 0 9512 0
vsize: 38300
[startup+540.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 7070 0 0 0 53989 19 0 0 25 0 1 0 712171307 39821312 7048 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9722 7048 1111 63 0 9659 0
vsize: 38888
[startup+550.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 7180 0 0 0 54989 19 0 0 25 0 1 0 712171307 40267776 7158 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9831 7158 1111 63 0 9768 0
vsize: 39324
[startup+560.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 7292 0 0 0 55989 20 0 0 25 0 1 0 712171307 40722432 7270 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9942 7270 1111 63 0 9879 0
vsize: 39768
[startup+570.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 7408 0 0 0 56989 20 0 0 25 0 1 0 712171307 41168896 7386 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10051 7386 1111 63 0 9988 0
vsize: 40204
[startup+580.002 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 7526 0 0 0 57989 20 0 0 25 0 1 0 712171307 41619456 7504 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10161 7504 1111 63 0 10098 0
vsize: 40644
[startup+590.002 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 7636 0 0 0 58988 21 0 0 25 0 1 0 712171307 42070016 7614 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10271 7614 1111 63 0 10208 0
vsize: 41084
[startup+600.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 7754 0 0 0 59988 21 0 0 25 0 1 0 712171307 42520576 7732 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10381 7732 1111 63 0 10318 0
vsize: 41524
[startup+610.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 7865 0 0 0 60988 21 0 0 25 0 1 0 712171307 42967040 7843 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10490 7843 1111 63 0 10427 0
vsize: 41960
[startup+620.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 7982 0 0 0 61988 22 0 0 25 0 1 0 712171307 43417600 7960 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10600 7960 1111 63 0 10537 0
vsize: 42400
[startup+630.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 8100 0 0 0 62988 22 0 0 25 0 1 0 712171307 44019712 8078 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10747 8078 1111 63 0 10684 0
vsize: 42988
[startup+640.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 8209 0 0 0 63988 22 0 0 25 0 1 0 712171307 44470272 8187 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10857 8187 1111 63 0 10794 0
vsize: 43428
[startup+650.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 8328 0 0 0 64988 22 0 0 25 0 1 0 712171307 44920832 8306 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10967 8306 1111 63 0 10904 0
vsize: 43868
[startup+660.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 8438 0 0 0 65988 23 0 0 25 0 1 0 712171307 45367296 8416 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11076 8416 1111 63 0 11013 0
vsize: 44304
[startup+670.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 8555 0 0 0 66988 23 0 0 25 0 1 0 712171307 45817856 8533 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11186 8533 1111 63 0 11123 0
vsize: 44744
[startup+680.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 8671 0 0 0 67988 23 0 0 25 0 1 0 712171307 46268416 8649 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11296 8649 1111 63 0 11233 0
vsize: 45184
[startup+690.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 8788 0 0 0 68988 24 0 0 25 0 1 0 712171307 46718976 8766 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11406 8766 1111 63 0 11343 0
vsize: 45624
[startup+700.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 8924 0 0 0 69988 24 0 0 25 0 1 0 712171307 47509504 8902 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11599 8902 1111 63 0 11536 0
vsize: 46396
[startup+710.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 9036 0 0 0 70987 25 0 0 25 0 1 0 712171307 47960064 9014 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11709 9014 1111 63 0 11646 0
vsize: 46836
[startup+720.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 9152 0 0 0 71986 26 0 0 25 0 1 0 712171307 48406528 9130 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11818 9130 1111 63 0 11755 0
vsize: 47272
[startup+730.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 9269 0 0 0 72986 26 0 0 25 0 1 0 712171307 48861184 9247 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11929 9247 1111 63 0 11866 0
vsize: 47716
[startup+740.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 9379 0 0 0 73986 26 0 0 25 0 1 0 712171307 49303552 9357 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12037 9357 1111 63 0 11974 0
vsize: 48148
[startup+750.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 9499 0 0 0 74986 26 0 0 25 0 1 0 712171307 49758208 9477 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12148 9477 1111 63 0 12085 0
vsize: 48592
[startup+760.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 9615 0 0 0 75986 27 0 0 25 0 1 0 712171307 50204672 9593 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12257 9593 1111 63 0 12194 0
vsize: 49028
[startup+770.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 9733 0 0 0 76986 27 0 0 25 0 1 0 712171307 50806784 9711 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12404 9711 1111 63 0 12341 0
vsize: 49616
[startup+780.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 9849 0 0 0 77985 27 0 0 25 0 1 0 712171307 51253248 9827 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12513 9827 1111 63 0 12450 0
vsize: 50052
[startup+790.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 9967 0 0 0 78985 28 0 0 25 0 1 0 712171307 51703808 9945 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12623 9945 1111 63 0 12560 0
vsize: 50492
[startup+800.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 10084 0 0 0 79985 28 0 0 25 0 1 0 712171307 52154368 10062 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12733 10062 1111 63 0 12670 0
vsize: 50932
[startup+810.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 10196 0 0 0 80985 28 0 0 25 0 1 0 712171307 52604928 10174 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12843 10174 1111 63 0 12780 0
vsize: 51372
[startup+820.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 10314 0 0 0 81985 28 0 0 25 0 1 0 712171307 53051392 10292 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12952 10292 1111 63 0 12889 0
vsize: 51808
[startup+830.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 10430 0 0 0 82985 29 0 0 25 0 1 0 712171307 53653504 10408 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13099 10408 1111 63 0 13036 0
vsize: 52396
[startup+840.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 10549 0 0 0 83985 29 0 0 25 0 1 0 712171307 54108160 10527 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13210 10527 1111 63 0 13147 0
vsize: 52840
[startup+850.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 10665 0 0 0 84985 29 0 0 25 0 1 0 712171307 54554624 10643 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13319 10643 1111 63 0 13256 0
vsize: 53276
[startup+860.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 10783 0 0 0 85985 29 0 0 25 0 1 0 712171307 55005184 10761 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13429 10761 1111 63 0 13366 0
vsize: 53716
[startup+870.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 10900 0 0 0 86985 30 0 0 25 0 1 0 712171307 55455744 10878 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13539 10878 1111 63 0 13476 0
vsize: 54156
[startup+880.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 11019 0 0 0 87985 30 0 0 25 0 1 0 712171307 56053760 10997 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13685 10997 1111 63 0 13622 0
vsize: 54740
[startup+890.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 11135 0 0 0 88985 30 0 0 25 0 1 0 712171307 56500224 11113 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13794 11113 1111 63 0 13731 0
vsize: 55176
[startup+900.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 11253 0 0 0 89985 30 0 0 25 0 1 0 712171307 56954880 11231 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13905 11231 1111 63 0 13842 0
vsize: 55620
[startup+910.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 11370 0 0 0 90984 31 0 0 25 0 1 0 712171307 57401344 11348 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14014 11348 1111 63 0 13951 0
vsize: 56056
[startup+920.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 11488 0 0 0 91984 31 0 0 25 0 1 0 712171307 57974784 11466 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14154 11466 1111 63 0 14091 0
vsize: 56616
[startup+930.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 11605 0 0 0 92984 32 0 0 25 0 1 0 712171307 58417152 11583 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14262 11583 1111 63 0 14199 0
vsize: 57048
[startup+940.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 11723 0 0 0 93984 32 0 0 25 0 1 0 712171307 58871808 11701 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14373 11701 1111 63 0 14310 0
vsize: 57492
[startup+950.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 11840 0 0 0 94983 33 0 0 25 0 1 0 712171307 59318272 11818 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14482 11818 1111 63 0 14419 0
vsize: 57928
[startup+960.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 11959 0 0 0 95983 33 0 0 25 0 1 0 712171307 59772928 11937 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14593 11937 1111 63 0 14530 0
vsize: 58372
[startup+970.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 12076 0 0 0 96983 33 0 0 25 0 1 0 712171307 60366848 12054 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14738 12054 1111 63 0 14675 0
vsize: 58952
[startup+980.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 12200 0 0 0 97983 33 0 0 25 0 1 0 712171307 60817408 12178 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14848 12178 1111 63 0 14785 0
vsize: 59392
[startup+990.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 12318 0 0 0 98983 34 0 0 25 0 1 0 712171307 61267968 12296 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14958 12296 1111 63 0 14895 0
vsize: 59832
[startup+1000 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 12436 0 0 0 99983 34 0 0 25 0 1 0 712171307 61718528 12414 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15068 12414 1111 63 0 15005 0
vsize: 60272
[startup+1010 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 12555 0 0 0 100983 34 0 0 25 0 1 0 712171307 62320640 12533 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15215 12533 1111 63 0 15152 0
vsize: 60860
[startup+1020 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 12671 0 0 0 101983 34 0 0 25 0 1 0 712171307 62767104 12649 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15324 12649 1111 63 0 15261 0
vsize: 61296
[startup+1030 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 12789 0 0 0 102983 35 0 0 25 0 1 0 712171307 63217664 12767 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15434 12767 1111 63 0 15371 0
vsize: 61736
[startup+1040 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 12907 0 0 0 103982 35 0 0 25 0 1 0 712171307 63668224 12885 4294967295 134512640 134714540 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15544 12885 1111 63 0 15481 0
vsize: 62176
[startup+1050 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 13026 0 0 0 104982 35 0 0 25 0 1 0 712171307 64118784 13004 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15654 13004 1111 63 0 15591 0
vsize: 62616
[startup+1060 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 13148 0 0 0 105982 36 0 0 25 0 1 0 712171307 64712704 13126 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15799 13126 1111 63 0 15736 0
vsize: 63196
[startup+1070 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 13266 0 0 0 106982 36 0 0 25 0 1 0 712171307 65167360 13244 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15910 13244 1111 63 0 15847 0
vsize: 63640
[startup+1080 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 13390 0 0 0 107982 36 0 0 25 0 1 0 712171307 65613824 13368 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16019 13368 1111 63 0 15956 0
vsize: 64076
[startup+1090 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 13509 0 0 0 108982 37 0 0 25 0 1 0 712171307 66215936 13487 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16166 13487 1111 63 0 16103 0
vsize: 64664
[startup+1100 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 13626 0 0 0 109982 37 0 0 25 0 1 0 712171307 66662400 13604 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16275 13604 1111 63 0 16212 0
vsize: 65100
[startup+1110 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 13744 0 0 0 110982 37 0 0 25 0 1 0 712171307 67117056 13722 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16386 13722 1111 63 0 16323 0
vsize: 65544
[startup+1120 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 13863 0 0 0 111981 37 0 0 25 0 1 0 712171307 67563520 13841 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16495 13841 1111 63 0 16432 0
vsize: 65980
[startup+1130 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 13986 0 0 0 112981 38 0 0 25 0 1 0 712171307 68165632 13964 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16642 13964 1111 63 0 16579 0
vsize: 66568
[startup+1140 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 14105 0 0 0 113981 38 0 0 25 0 1 0 712171307 68616192 14083 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16752 14083 1111 63 0 16689 0
vsize: 67008
[startup+1150 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 14228 0 0 0 114981 38 0 0 25 0 1 0 712171307 69062656 14206 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16861 14206 1111 63 0 16798 0
vsize: 67444
[startup+1160 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 14348 0 0 0 115981 38 0 0 25 0 1 0 712171307 69517312 14326 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16972 14326 1111 63 0 16909 0
vsize: 67888
[startup+1170 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 14464 0 0 0 116981 38 0 0 25 0 1 0 712171307 70111232 14442 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17117 14442 1111 63 0 17054 0
vsize: 68468
[startup+1180 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 14590 0 0 0 117981 39 0 0 25 0 1 0 712171307 70565888 14568 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17228 14568 1111 63 0 17165 0
vsize: 68912
[startup+1190 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 14707 0 0 0 118981 39 0 0 25 0 1 0 712171307 71012352 14685 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17337 14685 1111 63 0 17274 0
vsize: 69348
[startup+1200 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7418
Raw data (stat): 7418 (bsolo_mis) R 7417 32363 32362 0 -1 0 14832 0 0 0 119981 39 0 0 25 0 1 0 712171307 71610368 14810 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17483 14810 1111 63 0 17420 0
vsize: 69932
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 7418
Raw data (stat): 7418 (bsolo_mis) Z 7417 32363 32362 0 -1 1036 14832 0 0 0 119981 41 0 0 25 0 1 0 712171307 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.03
CPU time (s): 1200.24
CPU user time (s): 1199.82
CPU system time (s): 0.419936
CPU usage (%): 100.017
Max. virtual memory (Kb): 69932
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####