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-n3702.opb
MD5SUM	8a9d9f3204d778657700e0268ec9ac0e
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	29701186548799
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	29701186548799
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.43078
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 26355

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-05-24 15:13:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14030 boxname=wulflinc29 idbench=1080 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  8a9d9f3204d778657700e0268ec9ac0e  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-n3702.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-n3702.opb
IDLAUNCH: 14030
/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:        855472 kB
Buffers:         35016 kB
Cached:         121908 kB
SwapCached:        768 kB
Active:          65920 kB
Inactive:        93664 kB
HighTotal:      131008 kB
HighFree:        19768 kB
LowTotal:       903652 kB
LowFree:        835704 kB
SwapTotal:     2097892 kB
SwapFree:      2096732 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5652 kB
Slab:            13896 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 15:33:47 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 14030 7 1200.28 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.86 0.97 1.03 2/54 20473
Raw data (stat): 20473 (runsolver) R 20472 20001 20000 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831226878 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.0014 s]
Raw data (loadavg): 0.88 0.97 1.02 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 1140 0 0 0 995 3 0 0 25 0 1 0 831226878 15507456 1118 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3786 1118 1111 63 0 3723 0
vsize: 15144
[startup+20.0017 s]
Raw data (loadavg): 0.90 0.97 1.02 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 1250 0 0 0 1995 3 0 0 25 0 1 0 831226878 15958016 1228 4294967295 134512640 134714540 3221224592 3221222820 1077414363 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.0015 s]
Raw data (loadavg): 0.91 0.97 1.02 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 1359 0 0 0 2995 4 0 0 25 0 1 0 831226878 16404480 1337 4294967295 134512640 134714540 3221224592 3221222820 1077414388 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.0026 s]
Raw data (loadavg): 0.93 0.97 1.02 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 1469 0 0 0 3995 4 0 0 25 0 1 0 831226878 16830464 1447 4294967295 134512640 134714540 3221224592 3221222820 1077414413 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.0031 s]
Raw data (loadavg): 0.94 0.97 1.02 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 1581 0 0 0 4995 4 0 0 25 0 1 0 831226878 17256448 1559 4294967295 134512640 134714540 3221224592 3221222820 1077414413 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.0043 s]
Raw data (loadavg): 0.95 0.97 1.02 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 1692 0 0 0 5995 5 0 0 25 0 1 0 831226878 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.005 s]
Raw data (loadavg): 0.95 0.97 1.02 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 1795 0 0 0 6995 5 0 0 25 0 1 0 831226878 18157568 1773 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4433 1773 1111 63 0 4370 0
vsize: 17732
[startup+80.0045 s]
Raw data (loadavg): 0.96 0.97 1.02 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 1911 0 0 0 7995 5 0 0 25 0 1 0 831226878 18608128 1889 4294967295 134512640 134714540 3221224592 3221222820 1077414360 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.0043 s]
Raw data (loadavg): 0.97 0.97 1.02 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 2020 0 0 0 8995 5 0 0 25 0 1 0 831226878 19058688 1998 4294967295 134512640 134714540 3221224592 3221222820 1077414413 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.004 s]
Raw data (loadavg): 0.97 0.97 1.02 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 2135 0 0 0 9995 5 0 0 25 0 1 0 831226878 19480576 2113 4294967295 134512640 134714540 3221224592 3221222820 1077414388 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.005 s]
Raw data (loadavg): 0.97 0.97 1.02 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 2239 0 0 0 10995 6 0 0 25 0 1 0 831226878 19922944 2217 4294967295 134512640 134714540 3221224592 3221222820 1077414345 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.005 s]
Raw data (loadavg): 0.98 0.97 1.01 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 2356 0 0 0 11995 6 0 0 25 0 1 0 831226878 20373504 2334 4294967295 134512640 134714540 3221224592 3221222820 1077414363 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.005 s]
Raw data (loadavg): 0.98 0.97 1.01 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 2459 0 0 0 12995 6 0 0 25 0 1 0 831226878 20819968 2437 4294967295 134512640 134714540 3221224592 3221222820 1077414363 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.005 s]
Raw data (loadavg): 0.98 0.97 1.01 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 2575 0 0 0 13995 6 0 0 25 0 1 0 831226878 21270528 2553 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5193 2553 1111 63 0 5130 0
vsize: 20772
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 1.01 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 2678 0 0 0 14995 6 0 0 25 0 1 0 831226878 21721088 2656 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5303 2656 1111 63 0 5240 0
vsize: 21212
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 1.01 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 2795 0 0 0 15994 7 0 0 25 0 1 0 831226878 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.006 s]
Raw data (loadavg): 0.99 0.97 1.01 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 2898 0 0 0 16994 7 0 0 25 0 1 0 831226878 22618112 2876 4294967295 134512640 134714540 3221224592 3221222820 1077414395 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.007 s]
Raw data (loadavg): 0.99 0.97 1.01 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 3022 0 0 0 17994 7 0 0 25 0 1 0 831226878 23216128 3000 4294967295 134512640 134714540 3221224592 3221222820 1077414413 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.007 s]
Raw data (loadavg): 0.99 0.97 1.01 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 3125 0 0 0 18995 7 0 0 25 0 1 0 831226878 23654400 3103 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5775 3103 1111 63 0 5712 0
vsize: 23100
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 1.01 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 3241 0 0 0 19995 7 0 0 25 0 1 0 831226878 24109056 3219 4294967295 134512640 134714540 3221224592 3221222820 1077414338 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.008 s]
Raw data (loadavg): 0.99 0.97 1.01 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 3350 0 0 0 20995 7 0 0 25 0 1 0 831226878 24555520 3328 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5995 3328 1111 63 0 5932 0
vsize: 23980
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 3462 0 0 0 21995 8 0 0 25 0 1 0 831226878 24985600 3440 4294967295 134512640 134714540 3221224592 3221222820 1077414338 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 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 3572 0 0 0 22995 8 0 0 25 0 1 0 831226878 25423872 3550 4294967295 134512640 134714540 3221224592 3221222820 1077414385 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.009 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 3683 0 0 0 23994 8 0 0 25 0 1 0 831226878 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 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 3792 0 0 0 24995 8 0 0 25 0 1 0 831226878 26324992 3770 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6427 3770 1111 63 0 6364 0
vsize: 25708
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 3904 0 0 0 25994 9 0 0 25 0 1 0 831226878 26775552 3882 4294967295 134512640 134714540 3221224592 3221222820 1077414370 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.011 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 4020 0 0 0 26994 9 0 0 25 0 1 0 831226878 27222016 3998 4294967295 134512640 134714540 3221224592 3221222820 1077414432 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.014 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 4131 0 0 0 27995 9 0 0 25 0 1 0 831226878 27676672 4109 4294967295 134512640 134714540 3221224592 3221222820 1077414338 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.022 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 4240 0 0 0 28996 9 0 0 25 0 1 0 831226878 28123136 4218 4294967295 134512640 134714540 3221224592 3221222820 1077414383 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.022 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 4351 0 0 0 29996 9 0 0 25 0 1 0 831226878 28573696 4329 4294967295 134512640 134714540 3221224592 3221222820 1077414376 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.023 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 4461 0 0 0 30996 10 0 0 25 0 1 0 831226878 29024256 4439 4294967295 134512640 134714540 3221224592 3221222820 1077414338 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.024 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 4578 0 0 0 31996 10 0 0 25 0 1 0 831226878 29474816 4556 4294967295 134512640 134714540 3221224592 3221222820 1077414420 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.023 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 4687 0 0 0 32996 10 0 0 25 0 1 0 831226878 29921280 4665 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7305 4665 1111 63 0 7242 0
vsize: 29220
[startup+340.023 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 4798 0 0 0 33996 10 0 0 25 0 1 0 831226878 30371840 4776 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7415 4776 1111 63 0 7352 0
vsize: 29660
[startup+350.031 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 4908 0 0 0 34996 11 0 0 25 0 1 0 831226878 30822400 4886 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7525 4886 1111 63 0 7462 0
vsize: 30100
[startup+360.035 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 5030 0 0 0 35997 11 0 0 25 0 1 0 831226878 31428608 5008 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7673 5008 1111 63 0 7610 0
vsize: 30692
[startup+370.037 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 5145 0 0 0 36996 11 0 0 25 0 1 0 831226878 31875072 5123 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7782 5123 1111 63 0 7719 0
vsize: 31128
[startup+380.038 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 5257 0 0 0 37996 12 0 0 25 0 1 0 831226878 32329728 5235 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7893 5235 1111 63 0 7830 0
vsize: 31572
[startup+390.04 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 5367 0 0 0 38996 12 0 0 25 0 1 0 831226878 32776192 5345 4294967295 134512640 134714540 3221224592 3221222820 1077414385 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.04 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 5485 0 0 0 39997 12 0 0 25 0 1 0 831226878 33226752 5463 4294967295 134512640 134714540 3221224592 3221222820 1077414388 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.041 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 5594 0 0 0 40997 12 0 0 25 0 1 0 831226878 33677312 5572 4294967295 134512640 134714540 3221224592 3221222820 1077414433 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.042 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 5705 0 0 0 41997 12 0 0 25 0 1 0 831226878 34127872 5683 4294967295 134512640 134714540 3221224592 3221222820 1077414351 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.042 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 5822 0 0 0 42996 13 0 0 25 0 1 0 831226878 34721792 5800 4294967295 134512640 134714540 3221224592 3221222820 1077414336 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.043 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 5933 0 0 0 43996 13 0 0 25 0 1 0 831226878 35176448 5911 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8588 5911 1111 63 0 8525 0
vsize: 34352
[startup+450.043 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 6043 0 0 0 44996 13 0 0 25 0 1 0 831226878 35622912 6021 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8697 6021 1111 63 0 8634 0
vsize: 34788
[startup+460.044 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 6160 0 0 0 45997 13 0 0 25 0 1 0 831226878 36077568 6138 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8808 6138 1111 63 0 8745 0
vsize: 35232
[startup+470.045 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 6277 0 0 0 46997 14 0 0 25 0 1 0 831226878 36519936 6255 4294967295 134512640 134714540 3221224592 3221222820 1077414374 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.045 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 6388 0 0 0 47996 14 0 0 25 0 1 0 831226878 36974592 6366 4294967295 134512640 134714540 3221224592 3221222820 1077414413 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.046 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 6498 0 0 0 48996 14 0 0 25 0 1 0 831226878 37421056 6476 4294967295 134512640 134714540 3221224592 3221223248 134527932 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.045 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 6615 0 0 0 49996 14 0 0 25 0 1 0 831226878 37875712 6593 4294967295 134512640 134714540 3221224592 3221222820 1077414388 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.046 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 6724 0 0 0 50996 15 0 0 25 0 1 0 831226878 38318080 6702 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9355 6702 1111 63 0 9292 0
vsize: 37420
[startup+520.047 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 6836 0 0 0 51996 15 0 0 25 0 1 0 831226878 38772736 6814 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9466 6814 1111 63 0 9403 0
vsize: 37864
[startup+530.047 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 6953 0 0 0 52996 15 0 0 25 0 1 0 831226878 39219200 6931 4294967295 134512640 134714540 3221224592 3221222820 1077414408 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.047 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 7070 0 0 0 53997 15 0 0 25 0 1 0 831226878 39821312 7048 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9722 7048 1111 63 0 9659 0
vsize: 38888
[startup+550.047 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 7180 0 0 0 54997 15 0 0 25 0 1 0 831226878 40267776 7158 4294967295 134512640 134714540 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9831 7158 1111 63 0 9768 0
vsize: 39324
[startup+560.048 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 7292 0 0 0 55997 15 0 0 25 0 1 0 831226878 40722432 7270 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9942 7270 1111 63 0 9879 0
vsize: 39768
[startup+570.048 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 7408 0 0 0 56996 16 0 0 25 0 1 0 831226878 41168896 7386 4294967295 134512640 134714540 3221224592 3221222820 1077414370 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.048 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 7526 0 0 0 57996 16 0 0 25 0 1 0 831226878 41619456 7504 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10161 7504 1111 63 0 10098 0
vsize: 40644
[startup+590.048 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 7643 0 0 0 58997 16 0 0 25 0 1 0 831226878 42070016 7621 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10271 7621 1111 63 0 10208 0
vsize: 41084
[startup+600.048 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 7754 0 0 0 59997 16 0 0 25 0 1 0 831226878 42520576 7732 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10381 7732 1111 63 0 10318 0
vsize: 41524
[startup+610.049 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 7866 0 0 0 60997 16 0 0 25 0 1 0 831226878 42967040 7844 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10490 7844 1111 63 0 10427 0
vsize: 41960
[startup+620.05 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 7982 0 0 0 61997 16 0 0 25 0 1 0 831226878 43417600 7960 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10600 7960 1111 63 0 10537 0
vsize: 42400
[startup+630.05 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 8100 0 0 0 62997 16 0 0 25 0 1 0 831226878 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.05 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 8216 0 0 0 63997 17 0 0 25 0 1 0 831226878 44470272 8194 4294967295 134512640 134714540 3221224592 3221222820 1077414338 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.05 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 8328 0 0 0 64996 17 0 0 25 0 1 0 831226878 44920832 8306 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10967 8306 1111 63 0 10904 0
vsize: 43868
[startup+660.051 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 8444 0 0 0 65996 18 0 0 25 0 1 0 831226878 45367296 8422 4294967295 134512640 134714540 3221224592 3221222820 1077414336 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.052 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 8555 0 0 0 66996 18 0 0 25 0 1 0 831226878 45817856 8533 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11186 8533 1111 63 0 11123 0
vsize: 44744
[startup+680.052 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 8671 0 0 0 67996 19 0 0 25 0 1 0 831226878 46268416 8649 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11296 8649 1111 63 0 11233 0
vsize: 45184
[startup+690.052 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 8789 0 0 0 68996 19 0 0 25 0 1 0 831226878 46718976 8767 4294967295 134512640 134714540 3221224592 3221222820 1077414360 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.052 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 8924 0 0 0 69996 19 0 0 25 0 1 0 831226878 47509504 8902 4294967295 134512640 134714540 3221224592 3221223248 134527932 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.053 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 9042 0 0 0 70996 19 0 0 25 0 1 0 831226878 47960064 9020 4294967295 134512640 134714540 3221224592 3221222820 1077414370 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.054 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 9152 0 0 0 71996 20 0 0 25 0 1 0 831226878 48406528 9130 4294967295 134512640 134714540 3221224592 3221222820 1077414363 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.054 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 9269 0 0 0 72996 20 0 0 25 0 1 0 831226878 48861184 9247 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11929 9247 1111 63 0 11866 0
vsize: 47716
[startup+740.054 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 9380 0 0 0 73995 20 0 0 25 0 1 0 831226878 49303552 9358 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12037 9358 1111 63 0 11974 0
vsize: 48148
[startup+750.054 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 9499 0 0 0 74995 21 0 0 25 0 1 0 831226878 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.055 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 9615 0 0 0 75995 21 0 0 25 0 1 0 831226878 50204672 9593 4294967295 134512640 134714540 3221224592 3221222820 1077414360 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.056 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 9733 0 0 0 76995 21 0 0 25 0 1 0 831226878 50806784 9711 4294967295 134512640 134714540 3221224592 3221222820 1077414388 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.056 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 9849 0 0 0 77995 21 0 0 25 0 1 0 831226878 51253248 9827 4294967295 134512640 134714540 3221224592 3221222820 1077414360 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.056 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 9968 0 0 0 78995 21 0 0 25 0 1 0 831226878 51703808 9946 4294967295 134512640 134714540 3221224592 3221222820 1077414413 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.057 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 10085 0 0 0 79995 22 0 0 25 0 1 0 831226878 52154368 10063 4294967295 134512640 134714540 3221224592 3221222820 1077414413 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.058 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 10202 0 0 0 80995 22 0 0 25 0 1 0 831226878 52604928 10180 4294967295 134512640 134714540 3221224592 3221222820 1077414407 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.058 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 10320 0 0 0 81995 22 0 0 25 0 1 0 831226878 53207040 10298 4294967295 134512640 134714540 3221224592 3221222820 1077414338 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.057 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 10430 0 0 0 82995 22 0 0 25 0 1 0 831226878 53653504 10408 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13099 10408 1111 63 0 13036 0
vsize: 52396
[startup+840.058 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 10549 0 0 0 83995 22 0 0 25 0 1 0 831226878 54108160 10527 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13210 10527 1111 63 0 13147 0
vsize: 52840
[startup+850.058 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 10665 0 0 0 84995 23 0 0 25 0 1 0 831226878 54554624 10643 4294967295 134512640 134714540 3221224592 3221222820 1077414338 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.059 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 10783 0 0 0 85995 23 0 0 25 0 1 0 831226878 55005184 10761 4294967295 134512640 134714540 3221224592 3221222820 1077414424 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.059 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 10900 0 0 0 86995 24 0 0 25 0 1 0 831226878 55455744 10878 4294967295 134512640 134714540 3221224592 3221222820 1077414338 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.06 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 11019 0 0 0 87995 24 0 0 25 0 1 0 831226878 56053760 10997 4294967295 134512640 134714540 3221224592 3221222820 1077414358 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.06 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 11135 0 0 0 88994 24 0 0 25 0 1 0 831226878 56500224 11113 4294967295 134512640 134714540 3221224592 3221222820 1077414401 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.06 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 11253 0 0 0 89994 25 0 0 25 0 1 0 831226878 56954880 11231 4294967295 134512640 134714540 3221224592 3221222820 1077414413 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.06 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 11370 0 0 0 90994 25 0 0 25 0 1 0 831226878 57401344 11348 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14014 11348 1111 63 0 13951 0
vsize: 56056
[startup+920.059 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 11488 0 0 0 91994 25 0 0 25 0 1 0 831226878 57974784 11466 4294967295 134512640 134714540 3221224592 3221222820 1077414408 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.059 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 11606 0 0 0 92994 25 0 0 25 0 1 0 831226878 58417152 11584 4294967295 134512640 134714540 3221224592 3221222820 1077414413 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.06 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 11724 0 0 0 93995 25 0 0 25 0 1 0 831226878 58871808 11702 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14373 11702 1111 63 0 14310 0
vsize: 57492
[startup+950.06 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 11847 0 0 0 94994 25 0 0 25 0 1 0 831226878 59318272 11825 4294967295 134512640 134714540 3221224592 3221222820 1077414388 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.06 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 11965 0 0 0 95995 25 0 0 25 0 1 0 831226878 59920384 11943 4294967295 134512640 134714540 3221224592 3221223236 1077374550 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.06 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 12082 0 0 0 96994 26 0 0 25 0 1 0 831226878 60366848 12060 4294967295 134512640 134714540 3221224592 3221222820 1077414376 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.059 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 12200 0 0 0 97994 26 0 0 25 0 1 0 831226878 60817408 12178 4294967295 134512640 134714540 3221224592 3221222820 1077414338 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.059 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 12318 0 0 0 98994 26 0 0 25 0 1 0 831226878 61267968 12296 4294967295 134512640 134714540 3221224592 3221222820 1077414338 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.06 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 12436 0 0 0 99994 27 0 0 25 0 1 0 831226878 61718528 12414 4294967295 134512640 134714540 3221224592 3221222820 1077414370 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.06 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 12555 0 0 0 100994 27 0 0 25 0 1 0 831226878 62320640 12533 4294967295 134512640 134714540 3221224592 3221222820 1077414413 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.06 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 12671 0 0 0 101994 27 0 0 25 0 1 0 831226878 62767104 12649 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15324 12649 1111 63 0 15261 0
vsize: 61296
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 12789 0 0 0 102994 27 0 0 25 0 1 0 831226878 63217664 12767 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15434 12767 1111 63 0 15371 0
vsize: 61736
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 12913 0 0 0 103994 28 0 0 25 0 1 0 831226878 63668224 12891 4294967295 134512640 134714540 3221224592 3221222820 1077414370 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.06 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 13032 0 0 0 104994 28 0 0 25 0 1 0 831226878 64270336 13010 4294967295 134512640 134714540 3221224592 3221222820 1077414413 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.06 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 13149 0 0 0 105993 28 0 0 25 0 1 0 831226878 64712704 13127 4294967295 134512640 134714540 3221224592 3221222820 1077414413 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.06 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 13273 0 0 0 106993 28 0 0 25 0 1 0 831226878 65167360 13251 4294967295 134512640 134714540 3221224592 3221222820 1077414351 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.06 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 13391 0 0 0 107993 29 0 0 25 0 1 0 831226878 65613824 13369 4294967295 134512640 134714540 3221224592 3221222820 1077414413 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.06 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 13510 0 0 0 108993 29 0 0 25 0 1 0 831226878 66215936 13488 4294967295 134512640 134714540 3221224592 3221222820 1077414338 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.06 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 13626 0 0 0 109993 29 0 0 25 0 1 0 831226878 66662400 13604 4294967295 134512640 134714540 3221224592 3221222820 1077414338 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.06 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 13745 0 0 0 110993 29 0 0 25 0 1 0 831226878 67117056 13723 4294967295 134512640 134714540 3221224592 3221222820 1077414426 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.06 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 13870 0 0 0 111993 30 0 0 25 0 1 0 831226878 67563520 13848 4294967295 134512640 134714540 3221224592 3221222820 1077414358 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.06 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 13987 0 0 0 112993 30 0 0 25 0 1 0 831226878 68165632 13965 4294967295 134512640 134714540 3221224592 3221222820 1077414388 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.06 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 14112 0 0 0 113993 30 0 0 25 0 1 0 831226878 68616192 14090 4294967295 134512640 134714540 3221224592 3221222820 1077414388 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.06 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 14229 0 0 0 114993 30 0 0 25 0 1 0 831226878 69062656 14207 4294967295 134512640 134714540 3221224592 3221222820 1077414388 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.06 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 14348 0 0 0 115993 30 0 0 25 0 1 0 831226878 69517312 14326 4294967295 134512640 134714540 3221224592 3221222820 1077414360 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.06 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 14471 0 0 0 116993 30 0 0 25 0 1 0 831226878 70111232 14449 4294967295 134512640 134714540 3221224592 3221222820 1077414413 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.06 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 14590 0 0 0 117993 31 0 0 25 0 1 0 831226878 70565888 14568 4294967295 134512640 134714540 3221224592 3221223248 134527946 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.06 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 14713 0 0 0 118993 31 0 0 25 0 1 0 831226878 71012352 14691 4294967295 134512640 134714540 3221224592 3221223248 134527972 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.06 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 20473
Raw data (stat): 20473 (bsolo_mis) R 20472 20001 20000 0 -1 0 14833 0 0 0 119992 32 0 0 25 0 1 0 831226878 71610368 14811 4294967295 134512640 134714540 3221224592 3221222820 1077414370 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.09 s]
Raw data (loadavg): 0.99 0.97 1.00 1/54 20473
Raw data (stat): 20473 (bsolo_mis) Z 20472 20001 20000 0 -1 1036 14833 0 0 0 119993 34 0 0 25 0 1 0 831226878 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.09
CPU time (s): 1200.28
CPU user time (s): 1199.93
CPU system time (s): 0.348946
CPU usage (%): 100.016
Max. virtual memory (Kb): 69932
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####