PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mod011.opb
MD5SUM	5b9b020cb595d55e8dbba526590c1088
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	144804
Biggest coefficient in the objective function	37355509514240
Number of bits for the biggest coefficient in the objective function	46
Sum of the numbers in the objective function	86052429291555573
Number of bits of the sum of numbers in the objective function	57
Biggest number in a constraint	37355509514240
Number of bits of the biggest number in a constraint	46
Biggest sum of numbers in a constraint	86052429291555573
Number of bits of the biggest sum of numbers	57
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.9477
Number of variables	211663
Total number of constraints	6093
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	128
Number of constraints which are nor clauses,nor cardinality constraints	5965
Minimum length of a constraint	1
Maximum length of a constraint	16460
Trace number 25767

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-22 08:42:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17709 boxname=wulflinc31 idbench=1363 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  5b9b020cb595d55e8dbba526590c1088  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-mod011.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-mod011.opb
IDLAUNCH: 17709
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        652504 kB
Buffers:           684 kB
Cached:         360572 kB
SwapCached:        844 kB
Active:         187388 kB
Inactive:       175892 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        652252 kB
SwapTotal:     2097892 kB
SwapFree:      2095964 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5096 kB
Slab:            13128 kB
Committed_AS:    63840 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-22 09:02:08 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 17709 7 1200.25 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.81 0.92 0.93 2/55 22543
Raw data (stat): 22543 (runsolver) R 22542 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 811579574 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0004 s]
Raw data (loadavg): 0.83 0.92 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 1540 0 0 0 990 5 0 0 25 0 1 0 811579574 16556032 1517 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4042 1517 1111 63 0 3979 0
vsize: 16168
[startup+20.0016 s]
Raw data (loadavg): 0.86 0.92 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 1821 0 0 0 1989 6 0 0 25 0 1 0 811579574 17719296 1798 4294967295 134512640 134714540 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4326 1798 1111 63 0 4263 0
vsize: 17304
[startup+30.0025 s]
Raw data (loadavg): 0.88 0.93 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 1959 0 0 0 2989 6 0 0 25 0 1 0 811579574 18284544 1936 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4464 1936 1111 63 0 4401 0
vsize: 17856
[startup+40.0031 s]
Raw data (loadavg): 0.90 0.93 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 2085 0 0 0 3989 6 0 0 25 0 1 0 811579574 18833408 2062 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4598 2062 1111 63 0 4535 0
vsize: 18392
[startup+50.0034 s]
Raw data (loadavg): 0.91 0.93 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 2225 0 0 0 4989 6 0 0 25 0 1 0 811579574 19378176 2202 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4731 2202 1111 63 0 4668 0
vsize: 18924
[startup+60.0043 s]
Raw data (loadavg): 0.93 0.93 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 2363 0 0 0 5989 7 0 0 25 0 1 0 811579574 19918848 2340 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4863 2340 1111 63 0 4800 0
vsize: 19452
[startup+70.0042 s]
Raw data (loadavg): 0.94 0.93 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 2514 0 0 0 6989 7 0 0 25 0 1 0 811579574 20615168 2491 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5033 2491 1111 63 0 4970 0
vsize: 20132
[startup+80.0052 s]
Raw data (loadavg): 0.95 0.94 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 2675 0 0 0 7989 7 0 0 25 0 1 0 811579574 21172224 2652 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5169 2652 1111 63 0 5106 0
vsize: 20676
[startup+90.0061 s]
Raw data (loadavg): 0.95 0.94 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 2795 0 0 0 8989 7 0 0 25 0 1 0 811579574 21712896 2772 4294967295 134512640 134714540 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5301 2772 1111 63 0 5238 0
vsize: 21204
[startup+100.006 s]
Raw data (loadavg): 0.96 0.94 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 2927 0 0 0 9989 8 0 0 25 0 1 0 811579574 22253568 2904 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5433 2904 1111 63 0 5370 0
vsize: 21732
[startup+110.007 s]
Raw data (loadavg): 0.97 0.94 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 3061 0 0 0 10989 8 0 0 25 0 1 0 811579574 22802432 3038 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5567 3038 1111 63 0 5504 0
vsize: 22268
[startup+120.008 s]
Raw data (loadavg): 0.97 0.94 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 3188 0 0 0 11988 9 0 0 25 0 1 0 811579574 23347200 3165 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5700 3165 1111 63 0 5637 0
vsize: 22800
[startup+130.009 s]
Raw data (loadavg): 0.98 0.94 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 3315 0 0 0 12988 9 0 0 25 0 1 0 811579574 23896064 3292 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5834 3292 1111 63 0 5771 0
vsize: 23336
[startup+140.008 s]
Raw data (loadavg): 0.98 0.94 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 3435 0 0 0 13988 9 0 0 25 0 1 0 811579574 24305664 3412 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5934 3412 1111 63 0 5871 0
vsize: 23736
[startup+150.009 s]
Raw data (loadavg): 0.98 0.95 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 3572 0 0 0 14988 9 0 0 25 0 1 0 811579574 24850432 3549 4294967295 134512640 134714540 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6067 3549 1111 63 0 6004 0
vsize: 24268
[startup+160.009 s]
Raw data (loadavg): 0.98 0.95 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 3720 0 0 0 15988 10 0 0 25 0 1 0 811579574 25526272 3697 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6232 3697 1111 63 0 6169 0
vsize: 24928
[startup+170.01 s]
Raw data (loadavg): 0.99 0.95 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 3864 0 0 0 16988 10 0 0 25 0 1 0 811579574 26066944 3841 4294967295 134512640 134714540 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6364 3841 1111 63 0 6301 0
vsize: 25456
[startup+180.011 s]
Raw data (loadavg): 0.99 0.95 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 3997 0 0 0 17988 10 0 0 25 0 1 0 811579574 26607616 3974 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6496 3974 1111 63 0 6433 0
vsize: 25984
[startup+190.012 s]
Raw data (loadavg): 0.99 0.95 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 4131 0 0 0 18988 10 0 0 25 0 1 0 811579574 27156480 4108 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6630 4108 1111 63 0 6567 0
vsize: 26520
[startup+200.012 s]
Raw data (loadavg): 0.99 0.95 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 4263 0 0 0 19988 10 0 0 25 0 1 0 811579574 27701248 4240 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6763 4240 1111 63 0 6700 0
vsize: 27052
[startup+210.012 s]
Raw data (loadavg): 0.99 0.95 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 4416 0 0 0 20988 11 0 0 25 0 1 0 811579574 28377088 4393 4294967295 134512640 134714540 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6928 4393 1111 63 0 6865 0
vsize: 27712
[startup+220.013 s]
Raw data (loadavg): 0.99 0.95 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 4579 0 0 0 21988 11 0 0 25 0 1 0 811579574 29073408 4556 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7098 4556 1111 63 0 7035 0
vsize: 28392
[startup+230.014 s]
Raw data (loadavg): 0.99 0.95 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 4705 0 0 0 22988 11 0 0 25 0 1 0 811579574 29618176 4682 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7231 4682 1111 63 0 7168 0
vsize: 28924
[startup+240.015 s]
Raw data (loadavg): 0.99 0.95 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 4845 0 0 0 23988 11 0 0 25 0 1 0 811579574 30162944 4822 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7364 4822 1111 63 0 7301 0
vsize: 29456
[startup+250.015 s]
Raw data (loadavg): 0.99 0.95 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 4990 0 0 0 24988 12 0 0 25 0 1 0 811579574 30703616 4967 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7496 4967 1111 63 0 7433 0
vsize: 29984
[startup+260.016 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 5134 0 0 0 25988 12 0 0 25 0 1 0 811579574 31264768 5111 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7633 5111 1111 63 0 7570 0
vsize: 30532
[startup+270.016 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 5268 0 0 0 26988 12 0 0 25 0 1 0 811579574 31813632 5245 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7767 5245 1111 63 0 7704 0
vsize: 31068
[startup+280.017 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 5406 0 0 0 27988 13 0 0 25 0 1 0 811579574 32509952 5383 4294967295 134512640 134714540 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7937 5383 1111 63 0 7874 0
vsize: 31748
[startup+290.018 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 5546 0 0 0 28988 13 0 0 25 0 1 0 811579574 33058816 5523 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8071 5523 1111 63 0 8008 0
vsize: 32284
[startup+300.018 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 5691 0 0 0 29988 13 0 0 25 0 1 0 811579574 33599488 5668 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8203 5668 1111 63 0 8140 0
vsize: 32812
[startup+310.019 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 5829 0 0 0 30988 13 0 0 25 0 1 0 811579574 34160640 5806 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8340 5806 1111 63 0 8277 0
vsize: 33360
[startup+320.02 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 5965 0 0 0 31988 13 0 0 25 0 1 0 811579574 34713600 5942 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8475 5942 1111 63 0 8412 0
vsize: 33900
[startup+330.021 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 6115 0 0 0 32988 14 0 0 25 0 1 0 811579574 35409920 6092 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8645 6092 1111 63 0 8582 0
vsize: 34580
[startup+340.02 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 6254 0 0 0 33988 14 0 0 25 0 1 0 811579574 35950592 6231 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8777 6231 1111 63 0 8714 0
vsize: 35108
[startup+350.02 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 6401 0 0 0 34987 15 0 0 25 0 1 0 811579574 36495360 6378 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8910 6378 1111 63 0 8847 0
vsize: 35640
[startup+360.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 6551 0 0 0 35987 15 0 0 25 0 1 0 811579574 37191680 6528 4294967295 134512640 134714540 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9080 6528 1111 63 0 9017 0
vsize: 36320
[startup+370.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 6691 0 0 0 36987 15 0 0 25 0 1 0 811579574 37736448 6668 4294967295 134512640 134714540 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9213 6668 1111 63 0 9150 0
vsize: 36852
[startup+380.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 6824 0 0 0 37987 16 0 0 25 0 1 0 811579574 38281216 6801 4294967295 134512640 134714540 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9346 6801 1111 63 0 9283 0
vsize: 37384
[startup+390.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 6975 0 0 0 38987 16 0 0 25 0 1 0 811579574 38842368 6952 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9483 6952 1111 63 0 9420 0
vsize: 37932
[startup+400.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 7128 0 0 0 39987 16 0 0 25 0 1 0 811579574 39522304 7105 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9649 7105 1111 63 0 9586 0
vsize: 38596
[startup+410.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 7267 0 0 0 40987 16 0 0 25 0 1 0 811579574 40062976 7244 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9781 7244 1111 63 0 9718 0
vsize: 39124
[startup+420.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 7424 0 0 0 41987 17 0 0 25 0 1 0 811579574 40759296 7401 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9951 7401 1111 63 0 9888 0
vsize: 39804
[startup+430.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 7570 0 0 0 42987 17 0 0 25 0 1 0 811579574 41304064 7547 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10084 7547 1111 63 0 10021 0
vsize: 40336
[startup+440.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 7709 0 0 0 43987 17 0 0 25 0 1 0 811579574 41844736 7686 4294967295 134512640 134714540 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10216 7686 1111 63 0 10153 0
vsize: 40864
[startup+450.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 7856 0 0 0 44986 18 0 0 25 0 1 0 811579574 42524672 7833 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10382 7833 1111 63 0 10319 0
vsize: 41528
[startup+460.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 8001 0 0 0 45986 18 0 0 25 0 1 0 811579574 43065344 7978 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10514 7978 1111 63 0 10451 0
vsize: 42056
[startup+470.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 8127 0 0 0 46986 18 0 0 25 0 1 0 811579574 43610112 8104 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10647 8104 1111 63 0 10584 0
vsize: 42588
[startup+480.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 8280 0 0 0 47986 19 0 0 25 0 1 0 811579574 44154880 8257 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10780 8257 1111 63 0 10717 0
vsize: 43120
[startup+490.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 8424 0 0 0 48986 19 0 0 25 0 1 0 811579574 44720128 8401 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10918 8401 1111 63 0 10855 0
vsize: 43672
[startup+500.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 8571 0 0 0 49986 19 0 0 25 0 1 0 811579574 45424640 8548 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11090 8548 1111 63 0 11027 0
vsize: 44360
[startup+510.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 8716 0 0 0 50986 19 0 0 25 0 1 0 811579574 45965312 8693 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11222 8693 1111 63 0 11159 0
vsize: 44888
[startup+520.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 8873 0 0 0 51986 20 0 0 25 0 1 0 811579574 46661632 8850 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11392 8850 1111 63 0 11329 0
vsize: 45568
[startup+530.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 9019 0 0 0 52986 20 0 0 25 0 1 0 811579574 47206400 8996 4294967295 134512640 134714540 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11525 8996 1111 63 0 11462 0
vsize: 46100
[startup+540.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 9175 0 0 0 53986 20 0 0 25 0 1 0 811579574 47890432 9152 4294967295 134512640 134714540 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11692 9152 1111 63 0 11629 0
vsize: 46768
[startup+550.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 9321 0 0 0 54986 20 0 0 25 0 1 0 811579574 48578560 9298 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11860 9298 1111 63 0 11797 0
vsize: 47440
[startup+560.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 9460 0 0 0 55986 21 0 0 25 0 1 0 811579574 49119232 9437 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11992 9437 1111 63 0 11929 0
vsize: 47968
[startup+570.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 9612 0 0 0 56986 21 0 0 25 0 1 0 811579574 49680384 9589 4294967295 134512640 134714540 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12129 9589 1111 63 0 12066 0
vsize: 48516
[startup+580.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 9758 0 0 0 57986 21 0 0 25 0 1 0 811579574 50360320 9735 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12295 9735 1111 63 0 12232 0
vsize: 49180
[startup+590.044 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 9890 0 0 0 58986 21 0 0 25 0 1 0 811579574 50905088 9867 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12428 9867 1111 63 0 12365 0
vsize: 49712
[startup+600.053 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 10023 0 0 0 59987 22 0 0 25 0 1 0 811579574 51445760 10000 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12560 10000 1111 63 0 12497 0
vsize: 50240
[startup+610.054 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 10177 0 0 0 60988 22 0 0 25 0 1 0 811579574 51994624 10154 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12694 10154 1111 63 0 12631 0
vsize: 50776
[startup+620.055 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 10315 0 0 0 61988 22 0 0 25 0 1 0 811579574 52559872 10292 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12832 10292 1111 63 0 12769 0
vsize: 51328
[startup+630.056 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 10469 0 0 0 62988 22 0 0 25 0 1 0 811579574 53243904 10446 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12999 10446 1111 63 0 12936 0
vsize: 51996
[startup+640.056 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 10632 0 0 0 63987 23 0 0 25 0 1 0 811579574 53805056 10609 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13136 10609 1111 63 0 13073 0
vsize: 52544
[startup+650.056 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 10765 0 0 0 64987 23 0 0 25 0 1 0 811579574 54480896 10742 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13301 10742 1111 63 0 13238 0
vsize: 53204
[startup+660.057 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 10917 0 0 0 65987 23 0 0 25 0 1 0 811579574 55021568 10894 4294967295 134512640 134714540 3221221776 3221218492 1077199694 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13433 10894 1111 63 0 13370 0
vsize: 53732
[startup+670.058 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 11069 0 0 0 66987 23 0 0 25 0 1 0 811579574 55697408 11046 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13598 11046 1111 63 0 13535 0
vsize: 54392
[startup+680.058 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 11210 0 0 0 67987 23 0 0 25 0 1 0 811579574 56242176 11187 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13731 11187 1111 63 0 13668 0
vsize: 54924
[startup+690.059 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 11349 0 0 0 68987 24 0 0 25 0 1 0 811579574 56782848 11326 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13863 11326 1111 63 0 13800 0
vsize: 55452
[startup+700.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 11513 0 0 0 69986 24 0 0 25 0 1 0 811579574 57458688 11490 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14028 11490 1111 63 0 13965 0
vsize: 56112
[startup+710.061 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 11660 0 0 0 70987 25 0 0 25 0 1 0 811579574 58134528 11637 4294967295 134512640 134714540 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14193 11637 1111 63 0 14130 0
vsize: 56772
[startup+720.061 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 11798 0 0 0 71987 25 0 0 25 0 1 0 811579574 58675200 11775 4294967295 134512640 134714540 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14325 11775 1111 63 0 14262 0
vsize: 57300
[startup+730.062 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 11957 0 0 0 72987 25 0 0 25 0 1 0 811579574 59355136 11934 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14491 11934 1111 63 0 14428 0
vsize: 57964
[startup+740.063 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 12110 0 0 0 73987 25 0 0 25 0 1 0 811579574 59895808 12087 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14623 12087 1111 63 0 14560 0
vsize: 58492
[startup+750.063 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 12261 0 0 0 74986 26 0 0 25 0 1 0 811579574 60592128 12238 4294967295 134512640 134714540 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14793 12238 1111 63 0 14730 0
vsize: 59172
[startup+760.064 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 12408 0 0 0 75986 26 0 0 25 0 1 0 811579574 61140992 12385 4294967295 134512640 134714540 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14927 12385 1111 63 0 14864 0
vsize: 59708
[startup+770.065 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 12553 0 0 0 76986 26 0 0 25 0 1 0 811579574 61681664 12530 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15059 12530 1111 63 0 14996 0
vsize: 60236
[startup+780.066 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 12699 0 0 0 77986 26 0 0 25 0 1 0 811579574 62377984 12676 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15229 12676 1111 63 0 15166 0
vsize: 60916
[startup+790.067 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 12837 0 0 0 78987 26 0 0 25 0 1 0 811579574 62926848 12814 4294967295 134512640 134714540 3221221776 3221220004 1077414372 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15363 12814 1111 63 0 15300 0
vsize: 61452
[startup+800.068 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 12971 0 0 0 79987 26 0 0 25 0 1 0 811579574 63467520 12948 4294967295 134512640 134714540 3221221776 3221220432 134527930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15495 12948 1111 63 0 15432 0
vsize: 61980
[startup+810.068 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 13117 0 0 0 80987 27 0 0 25 0 1 0 811579574 64012288 13094 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15628 13094 1111 63 0 15565 0
vsize: 62512
[startup+820.069 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 13268 0 0 0 81986 27 0 0 25 0 1 0 811579574 64688128 13245 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15793 13245 1111 63 0 15730 0
vsize: 63172
[startup+830.069 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 13391 0 0 0 82987 27 0 0 25 0 1 0 811579574 65093632 13368 4294967295 134512640 134714540 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15892 13368 1111 63 0 15829 0
vsize: 63568
[startup+840.07 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 13501 0 0 0 83987 27 0 0 25 0 1 0 811579574 65658880 13478 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16030 13478 1111 63 0 15967 0
vsize: 64120
[startup+850.071 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 13617 0 0 0 84986 28 0 0 25 0 1 0 811579574 66080768 13594 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16133 13594 1111 63 0 16070 0
vsize: 64532
[startup+860.071 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 13723 0 0 0 85986 28 0 0 25 0 1 0 811579574 66502656 13700 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16236 13700 1111 63 0 16173 0
vsize: 64944
[startup+870.071 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 13839 0 0 0 86986 28 0 0 25 0 1 0 811579574 66928640 13816 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16340 13816 1111 63 0 16277 0
vsize: 65360
[startup+880.071 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 13948 0 0 0 87986 29 0 0 25 0 1 0 811579574 67489792 13925 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16477 13925 1111 63 0 16414 0
vsize: 65908
[startup+890.072 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 14067 0 0 0 88986 29 0 0 25 0 1 0 811579574 67915776 14044 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16581 14044 1111 63 0 16518 0
vsize: 66324
[startup+900.072 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 14176 0 0 0 89986 29 0 0 25 0 1 0 811579574 68337664 14153 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16684 14153 1111 63 0 16621 0
vsize: 66736
[startup+910.073 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 14286 0 0 0 90986 29 0 0 25 0 1 0 811579574 68755456 14263 4294967295 134512640 134714540 3221221776 3221220004 1077414349 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16786 14263 1111 63 0 16723 0
vsize: 67144
[startup+920.074 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 14397 0 0 0 91986 29 0 0 25 0 1 0 811579574 69320704 14374 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16924 14374 1111 63 0 16861 0
vsize: 67696
[startup+930.074 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 14507 0 0 0 92986 29 0 0 25 0 1 0 811579574 69742592 14484 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17027 14484 1111 63 0 16964 0
vsize: 68108
[startup+940.074 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 14618 0 0 0 93986 30 0 0 25 0 1 0 811579574 70168576 14595 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17131 14595 1111 63 0 17068 0
vsize: 68524
[startup+950.075 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 14728 0 0 0 94986 30 0 0 25 0 1 0 811579574 70590464 14705 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17234 14705 1111 63 0 17171 0
vsize: 68936
[startup+960.076 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 14838 0 0 0 95986 30 0 0 25 0 1 0 811579574 71012352 14815 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17337 14815 1111 63 0 17274 0
vsize: 69348
[startup+970.076 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 14950 0 0 0 96986 31 0 0 25 0 1 0 811579574 71577600 14927 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17475 14927 1111 63 0 17412 0
vsize: 69900
[startup+980.076 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 15059 0 0 0 97986 31 0 0 25 0 1 0 811579574 71999488 15036 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17578 15036 1111 63 0 17515 0
vsize: 70312
[startup+990.077 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 15169 0 0 0 98986 31 0 0 25 0 1 0 811579574 72417280 15146 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17680 15146 1111 63 0 17617 0
vsize: 70720
[startup+1000.08 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 15280 0 0 0 99986 31 0 0 25 0 1 0 811579574 72847360 15257 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17785 15257 1111 63 0 17722 0
vsize: 71140
[startup+1010.08 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 15395 0 0 0 100986 31 0 0 25 0 1 0 811579574 73404416 15372 4294967295 134512640 134714540 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17921 15372 1111 63 0 17858 0
vsize: 71684
[startup+1020.08 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 15507 0 0 0 101986 31 0 0 25 0 1 0 811579574 73830400 15484 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18025 15484 1111 63 0 17962 0
vsize: 72100
[startup+1030.08 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 15616 0 0 0 102986 32 0 0 25 0 1 0 811579574 74252288 15593 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18128 15593 1111 63 0 18065 0
vsize: 72512
[startup+1040.08 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 15726 0 0 0 103986 32 0 0 25 0 1 0 811579574 74674176 15703 4294967295 134512640 134714540 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18231 15703 1111 63 0 18168 0
vsize: 72924
[startup+1050.08 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 15862 0 0 0 104986 32 0 0 25 0 1 0 811579574 75407360 15839 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18410 15839 1111 63 0 18347 0
vsize: 73640
[startup+1060.08 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 15972 0 0 0 105986 32 0 0 25 0 1 0 811579574 75825152 15949 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18512 15949 1111 63 0 18449 0
vsize: 74048
[startup+1070.08 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22543
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 16096 0 0 0 106986 33 0 0 25 0 1 0 811579574 76390400 16073 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18650 16073 1111 63 0 18587 0
vsize: 74600
[startup+1080.08 s]
Raw data (loadavg): 0.99 0.97 0.93 3/58 22578
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 16206 0 0 0 107983 36 0 0 25 0 1 0 811579574 76812288 16183 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18753 16183 1111 63 0 18690 0
vsize: 75012
[startup+1090.08 s]
Raw data (loadavg): 1.07 0.99 0.94 2/55 22596
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 16322 0 0 0 108983 36 0 0 25 0 1 0 811579574 77230080 16299 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18855 16299 1111 63 0 18792 0
vsize: 75420
[startup+1100.08 s]
Raw data (loadavg): 1.06 0.99 0.94 2/55 22596
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 16441 0 0 0 109983 36 0 0 25 0 1 0 811579574 77795328 16418 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18993 16418 1111 63 0 18930 0
vsize: 75972
[startup+1110.08 s]
Raw data (loadavg): 1.05 0.99 0.94 2/55 22596
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 16558 0 0 0 110983 36 0 0 25 0 1 0 811579574 78217216 16535 4294967295 134512640 134714540 3221221776 3221220004 1077414424 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19096 16535 1111 63 0 19033 0
vsize: 76384
[startup+1120.08 s]
Raw data (loadavg): 1.04 0.99 0.94 2/55 22596
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 16676 0 0 0 111983 36 0 0 25 0 1 0 811579574 78635008 16653 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19198 16653 1111 63 0 19135 0
vsize: 76792
[startup+1130.08 s]
Raw data (loadavg): 1.03 0.99 0.94 2/55 22596
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 16786 0 0 0 112983 37 0 0 25 0 1 0 811579574 79204352 16763 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19337 16763 1111 63 0 19274 0
vsize: 77348
[startup+1140.08 s]
Raw data (loadavg): 1.03 0.99 0.94 2/55 22596
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 16908 0 0 0 113982 37 0 0 25 0 1 0 811579574 79626240 16885 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19440 16885 1111 63 0 19377 0
vsize: 77760
[startup+1150.08 s]
Raw data (loadavg): 1.02 0.99 0.94 2/55 22598
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 17020 0 0 0 114983 37 0 0 25 0 1 0 811579574 80048128 16997 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19543 16997 1111 63 0 19480 0
vsize: 78172
[startup+1160.09 s]
Raw data (loadavg): 1.02 0.99 0.94 2/55 22598
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 17137 0 0 0 115983 37 0 0 25 0 1 0 811579574 80609280 17114 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19680 17114 1111 63 0 19617 0
vsize: 78720
[startup+1170.09 s]
Raw data (loadavg): 1.02 0.99 0.94 2/55 22598
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 17254 0 0 0 116983 37 0 0 25 0 1 0 811579574 81031168 17231 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19783 17231 1111 63 0 19720 0
vsize: 79132
[startup+1180.08 s]
Raw data (loadavg): 1.01 0.99 0.94 2/55 22598
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 17365 0 0 0 117983 38 0 0 25 0 1 0 811579574 81457152 17342 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19887 17342 1111 63 0 19824 0
vsize: 79548
[startup+1190.09 s]
Raw data (loadavg): 1.01 0.99 0.94 2/55 22598
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 17482 0 0 0 118982 38 0 0 25 0 1 0 811579574 82018304 17459 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20024 17459 1111 63 0 19961 0
vsize: 80096
[startup+1200.09 s]
Raw data (loadavg): 1.01 0.99 0.94 2/55 22598
Raw data (stat): 22543 (bsolo_mis) R 22542 7876 7672 0 -1 0 17599 0 0 0 119982 38 0 0 25 0 1 0 811579574 82444288 17576 4294967295 134512640 134714540 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20128 17576 1111 63 0 20065 0
vsize: 80512
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.12 s]
Raw data (loadavg): 1.01 0.99 0.94 1/55 22598
Raw data (stat): 22543 (bsolo_mis) Z 22542 7876 7672 0 -1 1036 17599 0 0 0 119983 41 0 0 25 0 1 0 811579574 0 0 4294967295 0 0 0 0 0 0 0 1 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.12
CPU time (s): 1200.25
CPU user time (s): 1199.83
CPU system time (s): 0.418936
CPU usage (%): 100.011
Max. virtual memory (Kb): 80512
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####