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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fit2d.opb
MD5SUM	2e76b80d3e2b7702736bbbb87d69e547
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	75000
Biggest coefficient in the objective function	20812800
Number of bits for the biggest coefficient in the objective function	25
Sum of the numbers in the objective function	5499924834
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	20812800
Number of bits of the biggest number in a constraint	25
Biggest sum of numbers in a constraint	5499924834
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.850869
Number of variables	87000
Total number of constraints	10525
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	10525
Minimum length of a constraint	7
Maximum length of a constraint	87000
Trace number 26049

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-23 22:30:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15798 boxname=wulflinc31 idbench=1216 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  2e76b80d3e2b7702736bbbb87d69e547  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-fit2d.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-fit2d.opb
IDLAUNCH: 15798
/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:        698904 kB
Buffers:         13480 kB
Cached:         301096 kB
SwapCached:       1352 kB
Active:         244912 kB
Inactive:        72188 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        698652 kB
SwapTotal:     2097892 kB
SwapFree:      2095532 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            12956 kB
Committed_AS:    63840 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-23 22:50:04 (client local time) WITH STATUS 0 IN 1200.38 SECONDS
stats: 15798 7 1200.38 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (runsolver) R 18963 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 825188739 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.0006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 1262 0 0 0 992 4 0 0 25 0 1 0 825188739 17268736 1239 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4216 1239 1111 63 0 4153 0
vsize: 16864
[startup+20.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 1837 0 0 0 1991 5 0 0 25 0 1 0 825188739 19652608 1814 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4798 1814 1111 63 0 4735 0
vsize: 19192
[startup+30.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 2416 0 0 0 2989 7 0 0 25 0 1 0 825188739 22052864 2393 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5384 2393 1111 63 0 5321 0
vsize: 21536
[startup+40.0022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 2992 0 0 0 3988 9 0 0 25 0 1 0 825188739 24461312 2969 4294967295 134512640 134714540 3221221776 3221220004 1077414424 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5972 2969 1111 63 0 5909 0
vsize: 23888
[startup+50.0027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 3567 0 0 0 4987 10 0 0 25 0 1 0 825188739 26820608 3544 4294967295 134512640 134714540 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6548 3544 1111 63 0 6485 0
vsize: 26192
[startup+60.0027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 4139 0 0 0 5986 11 0 0 25 0 1 0 825188739 29057024 4116 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7094 4116 1111 63 0 7031 0
vsize: 28376
[startup+70.003 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 4722 0 0 0 6985 13 0 0 25 0 1 0 825188739 31444992 4699 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7677 4699 1111 63 0 7614 0
vsize: 30708
[startup+80.0035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 5304 0 0 0 7984 14 0 0 25 0 1 0 825188739 33828864 5281 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8259 5281 1111 63 0 8196 0
vsize: 33036
[startup+90.0034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 5881 0 0 0 8983 15 0 0 25 0 1 0 825188739 36241408 5858 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8848 5858 1111 63 0 8785 0
vsize: 35392
[startup+100.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 6476 0 0 0 9982 16 0 0 25 0 1 0 825188739 38752256 6453 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9461 6453 1111 63 0 9398 0
vsize: 37844
[startup+110.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 7059 0 0 0 10981 17 0 0 25 0 1 0 825188739 41140224 7036 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10044 7036 1111 63 0 9981 0
vsize: 40176
[startup+120.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 7650 0 0 0 11980 18 0 0 25 0 1 0 825188739 43507712 7627 4294967295 134512640 134714540 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10622 7627 1111 63 0 10559 0
vsize: 42488
[startup+130.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 8240 0 0 0 12979 19 0 0 25 0 1 0 825188739 45891584 8217 4294967295 134512640 134714540 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11204 8217 1111 63 0 11141 0
vsize: 44816
[startup+140.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 8824 0 0 0 13978 20 0 0 25 0 1 0 825188739 48279552 8801 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11787 8801 1111 63 0 11724 0
vsize: 47148
[startup+150.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 9426 0 0 0 14977 22 0 0 25 0 1 0 825188739 50794496 9403 4294967295 134512640 134714540 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12401 9403 1111 63 0 12338 0
vsize: 49604
[startup+160.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 10015 0 0 0 15976 23 0 0 25 0 1 0 825188739 53182464 9992 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12984 9992 1111 63 0 12921 0
vsize: 51936
[startup+170.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 10613 0 0 0 16974 25 0 0 25 0 1 0 825188739 55570432 10590 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13567 10590 1111 63 0 13504 0
vsize: 54268
[startup+180.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 11221 0 0 0 17973 26 0 0 25 0 1 0 825188739 58089472 11198 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14182 11198 1111 63 0 14119 0
vsize: 56728
[startup+190.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 11816 0 0 0 18972 28 0 0 25 0 1 0 825188739 60477440 11793 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14765 11793 1111 63 0 14702 0
vsize: 59060
[startup+200.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 12436 0 0 0 19970 29 0 0 25 0 1 0 825188739 63139840 12413 4294967295 134512640 134714540 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15415 12413 1111 63 0 15352 0
vsize: 61660
[startup+210.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 13045 0 0 0 20970 30 0 0 25 0 1 0 825188739 65683456 13022 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16036 13022 1111 63 0 15973 0
vsize: 64144
[startup+220.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 13655 0 0 0 21968 32 0 0 25 0 1 0 825188739 68046848 13632 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16613 13632 1111 63 0 16550 0
vsize: 66452
[startup+230.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 14263 0 0 0 22967 33 0 0 25 0 1 0 825188739 70565888 14240 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17228 14240 1111 63 0 17165 0
vsize: 68912
[startup+240.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 14874 0 0 0 23966 34 0 0 25 0 1 0 825188739 73109504 14851 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17849 14851 1111 63 0 17786 0
vsize: 71396
[startup+250.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 15494 0 0 0 24965 35 0 0 25 0 1 0 825188739 75653120 15471 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18470 15471 1111 63 0 18407 0
vsize: 73880
[startup+260.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 16112 0 0 0 25965 36 0 0 25 0 1 0 825188739 78172160 16089 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19085 16089 1111 63 0 19022 0
vsize: 76340
[startup+270.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 16733 0 0 0 26964 37 0 0 25 0 1 0 825188739 80715776 16710 4294967295 134512640 134714540 3221221776 3221218300 1077191059 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19706 16710 1111 63 0 19643 0
vsize: 78824
[startup+280.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 17354 0 0 0 27963 38 0 0 25 0 1 0 825188739 83234816 17331 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20321 17331 1111 63 0 20258 0
vsize: 81284
[startup+290.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 17983 0 0 0 28962 39 0 0 25 0 1 0 825188739 85774336 17960 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20941 17960 1111 63 0 20878 0
vsize: 83764
[startup+300.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 18606 0 0 0 29962 40 0 0 25 0 1 0 825188739 88432640 18583 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21590 18583 1111 63 0 21527 0
vsize: 86360
[startup+310.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 19235 0 0 0 30961 41 0 0 25 0 1 0 825188739 90972160 19212 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22210 19212 1111 63 0 22147 0
vsize: 88840
[startup+320.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 19874 0 0 0 31959 43 0 0 25 0 1 0 825188739 93487104 19851 4294967295 134512640 134714540 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22824 19851 1111 63 0 22761 0
vsize: 91296
[startup+330.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 20506 0 0 0 32959 43 0 0 25 0 1 0 825188739 96190464 20483 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23484 20483 1111 63 0 23421 0
vsize: 93936
[startup+340.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 21146 0 0 0 33958 44 0 0 25 0 1 0 825188739 98713600 21123 4294967295 134512640 134714540 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24100 21123 1111 63 0 24037 0
vsize: 96400
[startup+350.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 21785 0 0 0 34957 46 0 0 25 0 1 0 825188739 101412864 21762 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24759 21762 1111 63 0 24696 0
vsize: 99036
[startup+360.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 22425 0 0 0 35956 47 0 0 25 0 1 0 825188739 103927808 22402 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25373 22402 1111 63 0 25310 0
vsize: 101492
[startup+370.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 23093 0 0 0 36955 48 0 0 25 0 1 0 825188739 106905600 23070 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26100 23070 1111 63 0 26037 0
vsize: 104400
[startup+380.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 23739 0 0 0 37954 49 0 0 25 0 1 0 825188739 109420544 23716 4294967295 134512640 134714540 3221221776 3221220004 1077414399 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26714 23716 1111 63 0 26651 0
vsize: 106856
[startup+390.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 24392 0 0 0 38953 50 0 0 25 0 1 0 825188739 112095232 24369 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27367 24369 1111 63 0 27304 0
vsize: 109468
[startup+400.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 25042 0 0 0 39952 52 0 0 25 0 1 0 825188739 114774016 25019 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28021 25019 1111 63 0 27958 0
vsize: 112084
[startup+410.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 25688 0 0 0 40951 53 0 0 25 0 1 0 825188739 117448704 25665 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28674 25665 1111 63 0 28611 0
vsize: 114696
[startup+420.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 26350 0 0 0 41950 54 0 0 25 0 1 0 825188739 120147968 26327 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29333 26327 1111 63 0 29270 0
vsize: 117332
[startup+430.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 27010 0 0 0 42948 56 0 0 25 0 1 0 825188739 122847232 26987 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29992 26987 1111 63 0 29929 0
vsize: 119968
[startup+440.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 27671 0 0 0 43947 58 0 0 25 0 1 0 825188739 125501440 27648 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30640 27648 1111 63 0 30577 0
vsize: 122560
[startup+450.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 28337 0 0 0 44946 59 0 0 25 0 1 0 825188739 128356352 28314 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31337 28314 1111 63 0 31274 0
vsize: 125348
[startup+460.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 29000 0 0 0 45945 60 0 0 25 0 1 0 825188739 131039232 28977 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31992 28977 1111 63 0 31929 0
vsize: 127968
[startup+470.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 29671 0 0 0 46944 61 0 0 25 0 1 0 825188739 133713920 29648 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32645 29648 1111 63 0 32582 0
vsize: 130580
[startup+480.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 30345 0 0 0 47943 62 0 0 25 0 1 0 825188739 136519680 30322 4294967295 134512640 134714540 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33330 30322 1111 63 0 33267 0
vsize: 133320
[startup+490.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 31019 0 0 0 48943 63 0 0 25 0 1 0 825188739 139223040 30996 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33990 30996 1111 63 0 33927 0
vsize: 135960
[startup+500.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 31692 0 0 0 49941 65 0 0 25 0 1 0 825188739 142077952 31669 4294967295 134512640 134714540 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34687 31669 1111 63 0 34624 0
vsize: 138748
[startup+510.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 32365 0 0 0 50939 66 0 0 25 0 1 0 825188739 144728064 32342 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35334 32342 1111 63 0 35271 0
vsize: 141336
[startup+520.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 33053 0 0 0 51938 67 0 0 25 0 1 0 825188739 147542016 33030 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36021 33030 1111 63 0 35958 0
vsize: 144084
[startup+530.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 33731 0 0 0 52937 69 0 0 25 0 1 0 825188739 150396928 33708 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36718 33708 1111 63 0 36655 0
vsize: 146872
[startup+540.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 34418 0 0 0 53936 70 0 0 25 0 1 0 825188739 153227264 34395 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37409 34395 1111 63 0 37346 0
vsize: 149636
[startup+550.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 35110 0 0 0 54935 71 0 0 25 0 1 0 825188739 156037120 35087 4294967295 134512640 134714540 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38095 35087 1111 63 0 38032 0
vsize: 152380
[startup+560.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 35796 0 0 0 55935 72 0 0 25 0 1 0 825188739 158736384 35773 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38754 35773 1111 63 0 38691 0
vsize: 155016
[startup+570.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 36496 0 0 0 56933 74 0 0 25 0 1 0 825188739 161701888 36473 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39478 36473 1111 63 0 39415 0
vsize: 157912
[startup+580.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 37194 0 0 0 57931 75 0 0 25 0 1 0 825188739 164532224 37171 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40169 37171 1111 63 0 40106 0
vsize: 160676
[startup+590.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 37886 0 0 0 58931 76 0 0 25 0 1 0 825188739 167362560 37863 4294967295 134512640 134714540 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40860 37863 1111 63 0 40797 0
vsize: 163440
[startup+600.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 38591 0 0 0 59929 78 0 0 25 0 1 0 825188739 170176512 38568 4294967295 134512640 134714540 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41547 38568 1111 63 0 41484 0
vsize: 166188
[startup+610.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 39302 0 0 0 60928 79 0 0 25 0 1 0 825188739 173162496 39279 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42276 39279 1111 63 0 42213 0
vsize: 169104
[startup+620.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 39984 0 0 0 61927 81 0 0 25 0 1 0 825188739 175996928 39961 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42968 39961 1111 63 0 42905 0
vsize: 171872
[startup+630.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 40701 0 0 0 62926 82 0 0 25 0 1 0 825188739 178831360 40678 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43660 40678 1111 63 0 43597 0
vsize: 174640
[startup+640.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 41406 0 0 0 63925 83 0 0 25 0 1 0 825188739 181817344 41383 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44389 41383 1111 63 0 44326 0
vsize: 177556
[startup+650.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 42125 0 0 0 64924 84 0 0 25 0 1 0 825188739 184758272 42102 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45107 42102 1111 63 0 45044 0
vsize: 180428
[startup+660.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 42837 0 0 0 65923 86 0 0 25 0 1 0 825188739 187588608 42814 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45798 42814 1111 63 0 45735 0
vsize: 183192
[startup+670.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 43555 0 0 0 66922 87 0 0 25 0 1 0 825188739 190558208 43532 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46523 43532 1111 63 0 46460 0
vsize: 186092
[startup+680.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 44278 0 0 0 67920 88 0 0 25 0 1 0 825188739 193568768 44255 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47258 44255 1111 63 0 47195 0
vsize: 189032
[startup+690.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 44996 0 0 0 68919 90 0 0 25 0 1 0 825188739 196509696 44973 4294967295 134512640 134714540 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47976 44973 1111 63 0 47913 0
vsize: 191904
[startup+700.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 45753 0 0 0 69918 91 0 0 25 0 1 0 825188739 199733248 45730 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48763 45730 1111 63 0 48700 0
vsize: 195052
[startup+710.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 46485 0 0 0 70917 92 0 0 25 0 1 0 825188739 202723328 46462 4294967295 134512640 134714540 3221221776 3221218444 1077254713 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49493 46462 1111 63 0 49430 0
vsize: 197972
[startup+720.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 47209 0 0 0 71916 94 0 0 25 0 1 0 825188739 205709312 47186 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50222 47186 1111 63 0 50159 0
vsize: 200888
[startup+730.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 47947 0 0 0 72914 96 0 0 25 0 1 0 825188739 208834560 47924 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50985 47924 1111 63 0 50922 0
vsize: 203940
[startup+740.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 48684 0 0 0 73913 97 0 0 25 0 1 0 825188739 211800064 48661 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51709 48661 1111 63 0 51646 0
vsize: 206836
[startup+750.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 49485 0 0 0 74912 98 0 0 25 0 1 0 825188739 215076864 49462 4294967295 134512640 134714540 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52509 49462 1111 63 0 52446 0
vsize: 210036
[startup+760.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 50298 0 0 0 75912 99 0 0 25 0 1 0 825188739 218349568 50275 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53308 50275 1111 63 0 53245 0
vsize: 213232
[startup+770.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 51132 0 0 0 76909 102 0 0 25 0 1 0 825188739 221728768 51109 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54133 51109 1111 63 0 54070 0
vsize: 216532
[startup+780.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 51963 0 0 0 77908 103 0 0 25 0 1 0 825188739 225263616 51940 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54996 51940 1111 63 0 54933 0
vsize: 219984
[startup+790.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 52796 0 0 0 78906 105 0 0 25 0 1 0 825188739 228642816 52773 4294967295 134512640 134714540 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55821 52773 1111 63 0 55758 0
vsize: 223284
[startup+800.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 53634 0 0 0 79904 107 0 0 25 0 1 0 825188739 232071168 53611 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56658 53611 1111 63 0 56595 0
vsize: 226632
[startup+810.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 54487 0 0 0 80903 109 0 0 25 0 1 0 825188739 235479040 54464 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57490 54464 1111 63 0 57427 0
vsize: 229960
[startup+820.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 55358 0 0 0 81901 111 0 0 25 0 1 0 825188739 239140864 55335 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58384 55335 1111 63 0 58321 0
vsize: 233536
[startup+830.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 56241 0 0 0 82900 113 0 0 25 0 1 0 825188739 242733056 56218 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59261 56218 1111 63 0 59198 0
vsize: 237044
[startup+840.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 57138 0 0 0 83898 114 0 0 25 0 1 0 825188739 246378496 57115 4294967295 134512640 134714540 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60151 57115 1111 63 0 60088 0
vsize: 240604
[startup+850.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 58054 0 0 0 84897 115 0 0 25 0 1 0 825188739 250073088 58031 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61053 58031 1111 63 0 60990 0
vsize: 244212
[startup+860.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 58975 0 0 0 85896 117 0 0 25 0 1 0 825188739 253919232 58952 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61992 58952 1111 63 0 61929 0
vsize: 247968
[startup+870.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 59904 0 0 0 86895 118 0 0 25 0 1 0 825188739 257634304 59881 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62899 59881 1111 63 0 62836 0
vsize: 251596
[startup+880.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 60850 0 0 0 87893 120 0 0 25 0 1 0 825188739 261595136 60827 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63866 60827 1111 63 0 63803 0
vsize: 255464
[startup+890.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 61786 0 0 0 88892 121 0 0 25 0 1 0 825188739 265420800 61763 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64800 61763 1111 63 0 64737 0
vsize: 259200
[startup+900.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 62741 0 0 0 89890 123 0 0 25 0 1 0 825188739 269266944 62718 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65739 62718 1111 63 0 65676 0
vsize: 262956
[startup+910.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 63700 0 0 0 90889 125 0 0 25 0 1 0 825188739 273276928 63677 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 66718 63677 1111 63 0 66655 0
vsize: 266872
[startup+920.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 64662 0 0 0 91888 126 0 0 25 0 1 0 825188739 277102592 64639 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67652 64639 1111 63 0 67589 0
vsize: 270608
[startup+930.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 65630 0 0 0 92886 128 0 0 25 0 1 0 825188739 281083904 65607 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 68624 65607 1111 63 0 68561 0
vsize: 274496
[startup+940.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 66614 0 0 0 93884 130 0 0 25 0 1 0 825188739 285196288 66591 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69628 66591 1111 63 0 69565 0
vsize: 278512
[startup+950.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 67601 0 0 0 94882 132 0 0 25 0 1 0 825188739 289206272 67578 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70607 67578 1111 63 0 70544 0
vsize: 282428
[startup+960.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 68601 0 0 0 95881 134 0 0 25 0 1 0 825188739 293318656 68578 4294967295 134512640 134714540 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71611 68578 1111 63 0 71548 0
vsize: 286444
[startup+970.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 69599 0 0 0 96879 135 0 0 25 0 1 0 825188739 297353216 69576 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72596 69576 1111 63 0 72533 0
vsize: 290384
[startup+980.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 70596 0 0 0 97878 137 0 0 25 0 1 0 825188739 301355008 70573 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 73573 70573 1111 63 0 73510 0
vsize: 294292
[startup+990.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 71597 0 0 0 98875 139 0 0 25 0 1 0 825188739 305491968 71574 4294967295 134512640 134714540 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 74583 71574 1111 63 0 74520 0
vsize: 298332
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 72614 0 0 0 99874 141 0 0 25 0 1 0 825188739 309633024 72591 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75594 72591 1111 63 0 75531 0
vsize: 302376
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 73627 0 0 0 100872 143 0 0 25 0 1 0 825188739 313769984 73604 4294967295 134512640 134714540 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76604 73604 1111 63 0 76541 0
vsize: 306416
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 74646 0 0 0 101871 145 0 0 25 0 1 0 825188739 317992960 74623 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 77635 74623 1111 63 0 77572 0
vsize: 310540
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 75671 0 0 0 102869 147 0 0 25 0 1 0 825188739 322158592 75648 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78652 75648 1111 63 0 78589 0
vsize: 314608
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 76720 0 0 0 103867 148 0 0 25 0 1 0 825188739 326455296 76697 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79701 76697 1111 63 0 79638 0
vsize: 318804
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 77771 0 0 0 104865 151 0 0 25 0 1 0 825188739 330772480 77748 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80755 77748 1111 63 0 80692 0
vsize: 323020
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 78872 0 0 0 105863 153 0 0 25 0 1 0 825188739 335224832 78849 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81842 78849 1111 63 0 81779 0
vsize: 327368
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 79999 0 0 0 106862 154 0 0 25 0 1 0 825188739 339808256 79976 4294967295 134512640 134714540 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82961 79976 1111 63 0 82898 0
vsize: 331844
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 81138 0 0 0 107861 156 0 0 25 0 1 0 825188739 344551424 81115 4294967295 134512640 134714540 3221221776 3221220432 134527972 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84119 81115 1111 63 0 84056 0
vsize: 336476
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 82291 0 0 0 108858 158 0 0 25 0 1 0 825188739 349265920 82268 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 85270 82268 1111 63 0 85207 0
vsize: 341080
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 83444 0 0 0 109856 161 0 0 25 0 1 0 825188739 353984512 83421 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86422 83421 1111 63 0 86359 0
vsize: 345688
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 84597 0 0 0 110854 163 0 0 25 0 1 0 825188739 358744064 84574 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 87584 84574 1111 63 0 87521 0
vsize: 350336
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 85757 0 0 0 111852 165 0 0 25 0 1 0 825188739 363413504 85734 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 88724 85734 1111 63 0 88661 0
vsize: 354896
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 86934 0 0 0 112850 167 0 0 25 0 1 0 825188739 368181248 86911 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 89888 86911 1111 63 0 89825 0
vsize: 359552
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 88106 0 0 0 113848 169 0 0 25 0 1 0 825188739 373051392 88083 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 91077 88083 1111 63 0 91014 0
vsize: 364308
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 89298 0 0 0 114847 171 0 0 25 0 1 0 825188739 377921536 89275 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 92266 89275 1111 63 0 92203 0
vsize: 369064
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 90501 0 0 0 115844 174 0 0 25 0 1 0 825188739 382791680 90478 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93455 90478 1111 63 0 93392 0
vsize: 373820
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 91833 0 0 0 116842 176 0 0 25 0 1 0 825188739 388571136 91684 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94866 91684 1111 63 0 94803 0
vsize: 379464
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 93038 0 0 0 117840 178 0 0 25 0 1 0 825188739 393445376 92889 4294967295 134512640 134714540 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96056 92889 1111 63 0 95993 0
vsize: 384224
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 94261 0 0 0 118838 180 0 0 25 0 1 0 825188739 398450688 94112 4294967295 134512640 134714540 3221221776 3221220432 134527930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97278 94112 1111 63 0 97215 0
vsize: 389112
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 18964
Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 95487 0 0 0 119837 182 0 0 25 0 1 0 825188739 403456000 95338 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 98500 95338 1111 63 0 98437 0
vsize: 394000
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.22 s]
Raw data (loadavg): 1.00 0.97 0.91 1/55 18964
Raw data (stat): 18964 (bsolo_mis) Z 18963 7876 7672 0 -1 1036 95487 0 0 0 119837 200 0 0 25 0 1 0 825188739 0 0 4294967295 0 0 0 0 0 0 0 1 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.22
CPU time (s): 1200.38
CPU user time (s): 1198.37
CPU system time (s): 2.00469
CPU usage (%): 100.013
Max. virtual memory (Kb): 394000
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####