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/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3705.opb
MD5SUM	0c133df60e56cfadff3d5b0562856855
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39009164451
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39009164451
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.97685
Number of variables	105000
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	21
Maximum length of a constraint	2000
Trace number 25579

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-20 21:47:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19061 boxname=wulflinc31 idbench=1467 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  0c133df60e56cfadff3d5b0562856855  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n3705.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n3705.opb
IDLAUNCH: 19061
/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:        616736 kB
Buffers:         33208 kB
Cached:         363420 kB
SwapCached:       1172 kB
Active:         270612 kB
Inactive:       128484 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        616484 kB
SwapTotal:     2097892 kB
SwapFree:      2095980 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5356 kB
Slab:            13104 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-20 22:07:58 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 19061 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.86 0.95 0.91 2/55 2649
Raw data (stat): 2649 (runsolver) R 2648 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 799013202 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.001 s]
Raw data (loadavg): 0.88 0.96 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 1003 0 0 0 993 4 0 0 25 0 1 0 799013202 16048128 980 4294967295 134512640 134714540 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3918 980 1111 63 0 3855 0
vsize: 15672
[startup+20.002 s]
Raw data (loadavg): 0.90 0.96 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 1243 0 0 0 1992 4 0 0 25 0 1 0 799013202 17027072 1220 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4157 1220 1111 63 0 4094 0
vsize: 16628
[startup+30.0029 s]
Raw data (loadavg): 0.91 0.96 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 1487 0 0 0 2991 5 0 0 25 0 1 0 799013202 18026496 1464 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4401 1464 1111 63 0 4338 0
vsize: 17604
[startup+40.0039 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 1734 0 0 0 3990 6 0 0 25 0 1 0 799013202 19013632 1711 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4642 1711 1111 63 0 4579 0
vsize: 18568
[startup+50.0047 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 1982 0 0 0 4989 7 0 0 25 0 1 0 799013202 20000768 1959 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4883 1959 1111 63 0 4820 0
vsize: 19532
[startup+60.0057 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 2228 0 0 0 5989 8 0 0 25 0 1 0 799013202 20983808 2205 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5123 2205 1111 63 0 5060 0
vsize: 20492
[startup+70.0065 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 2475 0 0 0 6988 9 0 0 25 0 1 0 799013202 22110208 2452 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5398 2452 1111 63 0 5335 0
vsize: 21592
[startup+80.0074 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 2723 0 0 0 7987 10 0 0 25 0 1 0 799013202 23089152 2700 4294967295 134512640 134714540 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5637 2700 1111 63 0 5574 0
vsize: 22548
[startup+90.0073 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 2970 0 0 0 8987 11 0 0 25 0 1 0 799013202 24076288 2947 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5878 2947 1111 63 0 5815 0
vsize: 23512
[startup+100.007 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 3212 0 0 0 9986 12 0 0 25 0 1 0 799013202 25063424 3189 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6119 3189 1111 63 0 6056 0
vsize: 24476
[startup+110.008 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 3466 0 0 0 10986 12 0 0 25 0 1 0 799013202 26050560 3443 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6360 3443 1111 63 0 6297 0
vsize: 25440
[startup+120.009 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 3721 0 0 0 11985 13 0 0 25 0 1 0 799013202 27197440 3698 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6640 3698 1111 63 0 6577 0
vsize: 26560
[startup+130.01 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 3976 0 0 0 12984 14 0 0 25 0 1 0 799013202 28184576 3953 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6881 3953 1111 63 0 6818 0
vsize: 27524
[startup+140.01 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 4224 0 0 0 13984 14 0 0 25 0 1 0 799013202 29163520 4201 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7120 4201 1111 63 0 7057 0
vsize: 28480
[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 4479 0 0 0 14983 15 0 0 25 0 1 0 799013202 30289920 4456 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7395 4456 1111 63 0 7332 0
vsize: 29580
[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 4733 0 0 0 15982 16 0 0 25 0 1 0 799013202 31281152 4710 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7637 4710 1111 63 0 7574 0
vsize: 30548
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 4982 0 0 0 16982 17 0 0 25 0 1 0 799013202 32264192 4959 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7877 4959 1111 63 0 7814 0
vsize: 31508
[startup+180.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 5238 0 0 0 17982 17 0 0 25 0 1 0 799013202 33390592 5215 4294967295 134512640 134714540 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8152 5215 1111 63 0 8089 0
vsize: 32608
[startup+190.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 5492 0 0 0 18982 17 0 0 25 0 1 0 799013202 34377728 5469 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8393 5469 1111 63 0 8330 0
vsize: 33572
[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 5747 0 0 0 19981 18 0 0 25 0 1 0 799013202 35508224 5724 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8669 5724 1111 63 0 8606 0
vsize: 34676
[startup+210.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 6001 0 0 0 20981 18 0 0 25 0 1 0 799013202 36487168 5978 4294967295 134512640 134714540 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8908 5978 1111 63 0 8845 0
vsize: 35632
[startup+220.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 6255 0 0 0 21981 19 0 0 25 0 1 0 799013202 37474304 6232 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9149 6232 1111 63 0 9086 0
vsize: 36596
[startup+230.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 6521 0 0 0 22980 20 0 0 25 0 1 0 799013202 38641664 6498 4294967295 134512640 134714540 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9434 6498 1111 63 0 9371 0
vsize: 37736
[startup+240.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 6781 0 0 0 23980 21 0 0 25 0 1 0 799013202 39768064 6758 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9709 6758 1111 63 0 9646 0
vsize: 38836
[startup+250.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 7037 0 0 0 24979 21 0 0 25 0 1 0 799013202 40751104 7014 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9949 7014 1111 63 0 9886 0
vsize: 39796
[startup+260.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 7293 0 0 0 25979 21 0 0 25 0 1 0 799013202 41877504 7270 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10224 7270 1111 63 0 10161 0
vsize: 40896
[startup+270.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 7554 0 0 0 26979 22 0 0 25 0 1 0 799013202 42868736 7531 4294967295 134512640 134714540 3221221776 3221220004 1077414424 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10466 7531 1111 63 0 10403 0
vsize: 41864
[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 7810 0 0 0 27979 22 0 0 25 0 1 0 799013202 43995136 7787 4294967295 134512640 134714540 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10741 7787 1111 63 0 10678 0
vsize: 42964
[startup+290.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 8066 0 0 0 28978 23 0 0 25 0 1 0 799013202 44974080 8043 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10980 8043 1111 63 0 10917 0
vsize: 43920
[startup+300.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 8326 0 0 0 29978 23 0 0 25 0 1 0 799013202 46100480 8303 4294967295 134512640 134714540 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11255 8303 1111 63 0 11192 0
vsize: 45020
[startup+310.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 8589 0 0 0 30978 24 0 0 25 0 1 0 799013202 47087616 8566 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11496 8566 1111 63 0 11433 0
vsize: 45984
[startup+320.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 8850 0 0 0 31977 25 0 0 25 0 1 0 799013202 48214016 8827 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11771 8827 1111 63 0 11708 0
vsize: 47084
[startup+330.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 9112 0 0 0 32977 25 0 0 25 0 1 0 799013202 49201152 9089 4294967295 134512640 134714540 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12012 9089 1111 63 0 11949 0
vsize: 48048
[startup+340.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 9369 0 0 0 33977 25 0 0 25 0 1 0 799013202 50327552 9346 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12287 9346 1111 63 0 12224 0
vsize: 49148
[startup+350.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 9630 0 0 0 34977 25 0 0 25 0 1 0 799013202 51314688 9607 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12528 9607 1111 63 0 12465 0
vsize: 50112
[startup+360.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 9892 0 0 0 35977 26 0 0 25 0 1 0 799013202 52441088 9869 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12803 9869 1111 63 0 12740 0
vsize: 51212
[startup+370.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 10155 0 0 0 36977 26 0 0 25 0 1 0 799013202 53567488 10132 4294967295 134512640 134714540 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13078 10132 1111 63 0 13015 0
vsize: 52312
[startup+380.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 10422 0 0 0 37976 27 0 0 25 0 1 0 799013202 54546432 10399 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13317 10399 1111 63 0 13254 0
vsize: 53268
[startup+390.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 10684 0 0 0 38976 27 0 0 25 0 1 0 799013202 55676928 10661 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13593 10661 1111 63 0 13530 0
vsize: 54372
[startup+400.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 10946 0 0 0 39976 28 0 0 25 0 1 0 799013202 56803328 10923 4294967295 134512640 134714540 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13868 10923 1111 63 0 13805 0
vsize: 55472
[startup+410.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 11208 0 0 0 40975 28 0 0 25 0 1 0 799013202 57790464 11185 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14109 11185 1111 63 0 14046 0
vsize: 56436
[startup+420.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 11476 0 0 0 41975 29 0 0 25 0 1 0 799013202 58916864 11453 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14384 11453 1111 63 0 14321 0
vsize: 57536
[startup+430.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 11744 0 0 0 42975 29 0 0 25 0 1 0 799013202 60043264 11721 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14659 11721 1111 63 0 14596 0
vsize: 58636
[startup+440.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 12023 0 0 0 43975 30 0 0 25 0 1 0 799013202 61276160 12000 4294967295 134512640 134714540 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14960 12000 1111 63 0 14897 0
vsize: 59840
[startup+450.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 12286 0 0 0 44974 30 0 0 25 0 1 0 799013202 62402560 12263 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15235 12263 1111 63 0 15172 0
vsize: 60940
[startup+460.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 12561 0 0 0 45974 31 0 0 25 0 1 0 799013202 63528960 12538 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15510 12538 1111 63 0 15447 0
vsize: 62040
[startup+470.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 12824 0 0 0 46973 32 0 0 25 0 1 0 799013202 64520192 12801 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15752 12801 1111 63 0 15689 0
vsize: 63008
[startup+480.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 13093 0 0 0 47973 32 0 0 25 0 1 0 799013202 65638400 13070 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16025 13070 1111 63 0 15962 0
vsize: 64100
[startup+490.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 13361 0 0 0 48973 32 0 0 25 0 1 0 799013202 66764800 13338 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16300 13338 1111 63 0 16237 0
vsize: 65200
[startup+500.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 13629 0 0 0 49972 33 0 0 25 0 1 0 799013202 67891200 13606 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16575 13606 1111 63 0 16512 0
vsize: 66300
[startup+510.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 13899 0 0 0 50972 34 0 0 25 0 1 0 799013202 68878336 13876 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16816 13876 1111 63 0 16753 0
vsize: 67264
[startup+520.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 14174 0 0 0 51972 34 0 0 25 0 1 0 799013202 70004736 14151 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17091 14151 1111 63 0 17028 0
vsize: 68364
[startup+530.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 14443 0 0 0 52971 35 0 0 25 0 1 0 799013202 71131136 14420 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17366 14420 1111 63 0 17303 0
vsize: 69464
[startup+540.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 14713 0 0 0 53971 35 0 0 25 0 1 0 799013202 72257536 14690 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17641 14690 1111 63 0 17578 0
vsize: 70564
[startup+550.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 14987 0 0 0 54970 36 0 0 25 0 1 0 799013202 73383936 14964 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17916 14964 1111 63 0 17853 0
vsize: 71664
[startup+560.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 15257 0 0 0 55970 36 0 0 25 0 1 0 799013202 74510336 15234 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18191 15234 1111 63 0 18128 0
vsize: 72764
[startup+570.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 15533 0 0 0 56970 37 0 0 25 0 1 0 799013202 75640832 15510 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18467 15510 1111 63 0 18404 0
vsize: 73868
[startup+580.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 15802 0 0 0 57969 38 0 0 25 0 1 0 799013202 76767232 15779 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18742 15779 1111 63 0 18679 0
vsize: 74968
[startup+590.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 16078 0 0 0 58969 38 0 0 25 0 1 0 799013202 77893632 16055 4294967295 134512640 134714540 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19017 16055 1111 63 0 18954 0
vsize: 76068
[startup+600.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 16353 0 0 0 59969 39 0 0 25 0 1 0 799013202 79020032 16330 4294967295 134512640 134714540 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19292 16330 1111 63 0 19229 0
vsize: 77168
[startup+610.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 16629 0 0 0 60968 40 0 0 25 0 1 0 799013202 80146432 16606 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19567 16606 1111 63 0 19504 0
vsize: 78268
[startup+620.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 16906 0 0 0 61968 40 0 0 25 0 1 0 799013202 81264640 16883 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19840 16883 1111 63 0 19777 0
vsize: 79360
[startup+630.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 17180 0 0 0 62967 41 0 0 25 0 1 0 799013202 82395136 17157 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20116 17157 1111 63 0 20053 0
vsize: 80464
[startup+640.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 17456 0 0 0 63966 42 0 0 25 0 1 0 799013202 83521536 17433 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20391 17433 1111 63 0 20328 0
vsize: 81564
[startup+650.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 17732 0 0 0 64966 42 0 0 25 0 1 0 799013202 84647936 17709 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20666 17709 1111 63 0 20603 0
vsize: 82664
[startup+660.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 18014 0 0 0 65966 43 0 0 25 0 1 0 799013202 85774336 17991 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20941 17991 1111 63 0 20878 0
vsize: 83764
[startup+670.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 18297 0 0 0 66966 43 0 0 25 0 1 0 799013202 86900736 18274 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21216 18274 1111 63 0 21153 0
vsize: 84864
[startup+680.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 18572 0 0 0 67966 43 0 0 25 0 1 0 799013202 88027136 18549 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21491 18549 1111 63 0 21428 0
vsize: 85964
[startup+690.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 18856 0 0 0 68965 44 0 0 25 0 1 0 799013202 89153536 18833 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21766 18833 1111 63 0 21703 0
vsize: 87064
[startup+700.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 19138 0 0 0 69965 44 0 0 25 0 1 0 799013202 90279936 19115 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22041 19115 1111 63 0 21978 0
vsize: 88164
[startup+710.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 19415 0 0 0 70965 45 0 0 25 0 1 0 799013202 91406336 19392 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22316 19392 1111 63 0 22253 0
vsize: 89264
[startup+720.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2649
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 19697 0 0 0 71965 45 0 0 25 0 1 0 799013202 92676096 19674 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22626 19674 1111 63 0 22563 0
vsize: 90504
[startup+730.042 s]
Raw data (loadavg): 1.07 0.99 0.91 3/59 2694
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 19979 0 0 0 72962 48 0 0 25 0 1 0 799013202 93802496 19956 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22901 19956 1111 63 0 22838 0
vsize: 91604
[startup+740.043 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 2702
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 20263 0 0 0 73961 48 0 0 25 0 1 0 799013202 94928896 20240 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23176 20240 1111 63 0 23113 0
vsize: 92704
[startup+750.043 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 2702
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 20545 0 0 0 74961 48 0 0 25 0 1 0 799013202 96055296 20522 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23451 20522 1111 63 0 23388 0
vsize: 93804
[startup+760.043 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 2702
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 20835 0 0 0 75961 49 0 0 25 0 1 0 799013202 97320960 20812 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23760 20812 1111 63 0 23697 0
vsize: 95040
[startup+770.043 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 2702
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 21118 0 0 0 76961 49 0 0 25 0 1 0 799013202 98447360 21095 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24035 21095 1111 63 0 23972 0
vsize: 96140
[startup+780.044 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 2702
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 21401 0 0 0 77960 50 0 0 25 0 1 0 799013202 99573760 21378 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24310 21378 1111 63 0 24247 0
vsize: 97240
[startup+790.044 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 2702
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 21690 0 0 0 78960 51 0 0 25 0 1 0 799013202 100704256 21667 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24586 21667 1111 63 0 24523 0
vsize: 98344
[startup+800.044 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 2702
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 21979 0 0 0 79959 51 0 0 25 0 1 0 799013202 101969920 21956 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24895 21956 1111 63 0 24832 0
vsize: 99580
[startup+810.045 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 2704
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 22262 0 0 0 80959 52 0 0 25 0 1 0 799013202 103096320 22239 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25170 22239 1111 63 0 25107 0
vsize: 100680
[startup+820.044 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 2704
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 22551 0 0 0 81958 53 0 0 25 0 1 0 799013202 104222720 22528 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25445 22528 1111 63 0 25382 0
vsize: 101780
[startup+830.044 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 2704
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 22833 0 0 0 82958 53 0 0 25 0 1 0 799013202 105488384 22810 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25754 22810 1111 63 0 25691 0
vsize: 103016
[startup+840.044 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 2704
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 23156 0 0 0 83957 54 0 0 25 0 1 0 799013202 106979328 23133 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26118 23133 1111 63 0 26055 0
vsize: 104472
[startup+850.045 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 2704
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 23445 0 0 0 84957 55 0 0 25 0 1 0 799013202 108244992 23422 4294967295 134512640 134714540 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26427 23422 1111 63 0 26364 0
vsize: 105708
[startup+860.045 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 2704
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 23741 0 0 0 85956 55 0 0 25 0 1 0 799013202 109371392 23718 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26702 23718 1111 63 0 26639 0
vsize: 106808
[startup+870.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 2704
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 24031 0 0 0 86956 56 0 0 25 0 1 0 799013202 110637056 24008 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27011 24008 1111 63 0 26948 0
vsize: 108044
[startup+880.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 2704
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 24328 0 0 0 87956 56 0 0 25 0 1 0 799013202 111763456 24305 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27286 24305 1111 63 0 27223 0
vsize: 109144
[startup+890.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 2704
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 24617 0 0 0 88955 57 0 0 25 0 1 0 799013202 113029120 24594 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27595 24594 1111 63 0 27532 0
vsize: 110380
[startup+900.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 2704
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 24907 0 0 0 89955 57 0 0 25 0 1 0 799013202 114155520 24884 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27870 24884 1111 63 0 27807 0
vsize: 111480
[startup+910.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 2704
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 25203 0 0 0 90955 58 0 0 25 0 1 0 799013202 115425280 25180 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28180 25180 1111 63 0 28117 0
vsize: 112720
[startup+920.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 2704
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 25499 0 0 0 91954 59 0 0 25 0 1 0 799013202 116551680 25476 4294967295 134512640 134714540 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28455 25476 1111 63 0 28392 0
vsize: 113820
[startup+930.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 2704
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 25790 0 0 0 92954 59 0 0 25 0 1 0 799013202 117817344 25767 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28764 25767 1111 63 0 28701 0
vsize: 115056
[startup+940.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 2704
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 26092 0 0 0 93953 60 0 0 25 0 1 0 799013202 118943744 26069 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29039 26069 1111 63 0 28976 0
vsize: 116156
[startup+950.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 2704
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 26383 0 0 0 94953 60 0 0 25 0 1 0 799013202 120213504 26360 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29349 26360 1111 63 0 29286 0
vsize: 117396
[startup+960.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 2704
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 26685 0 0 0 95952 61 0 0 25 0 1 0 799013202 121479168 26662 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29658 26662 1111 63 0 29595 0
vsize: 118632
[startup+970.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 2704
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 26982 0 0 0 96952 61 0 0 25 0 1 0 799013202 122605568 26959 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29933 26959 1111 63 0 29870 0
vsize: 119732
[startup+980.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 2704
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 27279 0 0 0 97951 62 0 0 25 0 1 0 799013202 123871232 27256 4294967295 134512640 134714540 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30242 27256 1111 63 0 30179 0
vsize: 120968
[startup+990.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 2704
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 27581 0 0 0 98951 63 0 0 25 0 1 0 799013202 125140992 27558 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30552 27558 1111 63 0 30489 0
vsize: 122208
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 2704
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 27879 0 0 0 99950 64 0 0 25 0 1 0 799013202 126267392 27856 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30827 27856 1111 63 0 30764 0
vsize: 123308
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 2704
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 28175 0 0 0 100950 64 0 0 25 0 1 0 799013202 127533056 28152 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31136 28152 1111 63 0 31073 0
vsize: 124544
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 2704
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 28479 0 0 0 101949 65 0 0 25 0 1 0 799013202 128798720 28456 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31445 28456 1111 63 0 31382 0
vsize: 125780
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 2704
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 28781 0 0 0 102949 65 0 0 25 0 1 0 799013202 129925120 28758 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31720 28758 1111 63 0 31657 0
vsize: 126880
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 2704
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 29085 0 0 0 103948 66 0 0 25 0 1 0 799013202 131194880 29062 4294967295 134512640 134714540 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32030 29062 1111 63 0 31967 0
vsize: 128120
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 2704
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 29388 0 0 0 104948 67 0 0 25 0 1 0 799013202 132460544 29365 4294967295 134512640 134714540 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32339 29365 1111 63 0 32276 0
vsize: 129356
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 2704
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 29690 0 0 0 105948 67 0 0 25 0 1 0 799013202 133726208 29667 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32648 29667 1111 63 0 32585 0
vsize: 130592
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 2704
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 29994 0 0 0 106947 68 0 0 25 0 1 0 799013202 134991872 29971 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32957 29971 1111 63 0 32894 0
vsize: 131828
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 2704
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 30296 0 0 0 107947 68 0 0 25 0 1 0 799013202 136122368 30273 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33233 30273 1111 63 0 33170 0
vsize: 132932
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 2706
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 30608 0 0 0 108946 69 0 0 25 0 1 0 799013202 137388032 30585 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33542 30585 1111 63 0 33479 0
vsize: 134168
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 2706
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 30917 0 0 0 109946 70 0 0 25 0 1 0 799013202 138653696 30894 4294967295 134512640 134714540 3221221776 3221220108 1077399562 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33851 30894 1111 63 0 33788 0
vsize: 135404
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 2706
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 31228 0 0 0 110945 71 0 0 25 0 1 0 799013202 139923456 31205 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34161 31205 1111 63 0 34098 0
vsize: 136644
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 2706
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 31538 0 0 0 111944 72 0 0 25 0 1 0 799013202 141189120 31515 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34470 31515 1111 63 0 34407 0
vsize: 137880
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 2706
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 31855 0 0 0 112944 72 0 0 25 0 1 0 799013202 142594048 31832 4294967295 134512640 134714540 3221221776 3221220432 134527948 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34813 31832 1111 63 0 34750 0
vsize: 139252
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 2706
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 32172 0 0 0 113944 73 0 0 25 0 1 0 799013202 143863808 32149 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35123 32149 1111 63 0 35060 0
vsize: 140492
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 2706
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 32495 0 0 0 114944 73 0 0 25 0 1 0 799013202 145129472 32472 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35432 32472 1111 63 0 35369 0
vsize: 141728
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 2706
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 32821 0 0 0 115943 73 0 0 25 0 1 0 799013202 146534400 32798 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35775 32798 1111 63 0 35712 0
vsize: 143100
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 2706
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 33138 0 0 0 116943 74 0 0 25 0 1 0 799013202 147808256 33115 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36086 33115 1111 63 0 36023 0
vsize: 144344
[startup+1180.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 2706
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 33463 0 0 0 117942 75 0 0 25 0 1 0 799013202 149073920 33440 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36395 33440 1111 63 0 36332 0
vsize: 145580
[startup+1190.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 2706
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 33785 0 0 0 118941 76 0 0 25 0 1 0 799013202 150482944 33762 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36739 33762 1111 63 0 36676 0
vsize: 146956
[startup+1200.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 2706
Raw data (stat): 2649 (bsolo_mis) R 2648 7876 7672 0 -1 0 34104 0 0 0 119941 77 0 0 25 0 1 0 799013202 151748608 34081 4294967295 134512640 134714540 3221221776 3221220432 134527928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37048 34081 1111 63 0 36985 0
vsize: 148192
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.12 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 2706
Raw data (stat): 2649 (bsolo_mis) Z 2648 7876 7672 0 -1 1036 34104 0 0 0 119941 83 0 0 25 0 1 0 799013202 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.41
CPU system time (s): 0.835872
CPU usage (%): 100.011
Max. virtual memory (Kb): 148192
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####