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/unibo/normalized-mps-v2-13-7-NSR8K.opb
MD5SUM	2b4498b8d68d4bfe8495244ac3a43397
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	158360
Biggest coefficient in the objective function	524288000000000000
Number of bits for the biggest coefficient in the objective function	59
Sum of the numbers in the objective function	33594826051364978688
Number of bits of the sum of numbers in the objective function	65
Biggest number in a constraint	524288000000000000
Number of bits of the biggest number in a constraint	59
Biggest sum of numbers in a constraint	33607626051364978688
Number of bits of the biggest sum of numbers	65
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.60676
Number of variables	158360
Total number of constraints	38324
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	32041
Number of constraints which are nor clauses,nor cardinality constraints	6283
Minimum length of a constraint	1
Maximum length of a constraint	158360
Trace number 25193

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-17 11:48:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20153 boxname=wulflinc31 idbench=1551 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  2b4498b8d68d4bfe8495244ac3a43397  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-NSR8K.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-NSR8K.opb
IDLAUNCH: 20153
/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:        750368 kB
Buffers:         25748 kB
Cached:         235936 kB
SwapCached:       1000 kB
Active:          67724 kB
Inactive:       196240 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        750116 kB
SwapTotal:     2097892 kB
SwapFree:      2096064 kB
Dirty:            1492 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            14576 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-17 12:08:46 (client local time) WITH STATUS 0 IN 1200.47 SECONDS
stats: 20153 7 1200.47 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.93 0.98 0.99 2/55 25949
Raw data (stat): 25949 (runsolver) R 25948 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 769494559 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.0002 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 1917 0 0 0 989 8 0 0 25 0 1 0 769494559 17747968 1894 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4333 1894 1111 63 0 4270 0
vsize: 17332
[startup+20.0012 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 2598 0 0 0 1987 10 0 0 25 0 1 0 769494559 20586496 2575 4294967295 134512640 134714540 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5026 2575 1111 63 0 4963 0
vsize: 20104
[startup+30.0017 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 3285 0 0 0 2986 11 0 0 25 0 1 0 769494559 23277568 3262 4294967295 134512640 134714540 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5683 3262 1111 63 0 5620 0
vsize: 22732
[startup+40.0019 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 3965 0 0 0 3985 12 0 0 25 0 1 0 769494559 26112000 3942 4294967295 134512640 134714540 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6375 3942 1111 63 0 6312 0
vsize: 25500
[startup+50.0029 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 4652 0 0 0 4984 13 0 0 25 0 1 0 769494559 28950528 4629 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7068 4629 1111 63 0 7005 0
vsize: 28272
[startup+60.0025 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 5339 0 0 0 5982 15 0 0 25 0 1 0 769494559 31789056 5316 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7761 5316 1111 63 0 7698 0
vsize: 31044
[startup+70.0037 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 6018 0 0 0 6981 17 0 0 25 0 1 0 769494559 34471936 5995 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8416 5995 1111 63 0 8353 0
vsize: 33664
[startup+80.0047 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 6705 0 0 0 7980 18 0 0 25 0 1 0 769494559 37310464 6682 4294967295 134512640 134714540 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9109 6682 1111 63 0 9046 0
vsize: 36436
[startup+90.0043 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 7395 0 0 0 8978 20 0 0 25 0 1 0 769494559 40136704 7372 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9799 7372 1111 63 0 9736 0
vsize: 39196
[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 8081 0 0 0 9977 21 0 0 25 0 1 0 769494559 42967040 8058 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10490 8058 1111 63 0 10427 0
vsize: 41960
[startup+110.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 8768 0 0 0 10976 22 0 0 25 0 1 0 769494559 45805568 8745 4294967295 134512640 134714540 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11183 8745 1111 63 0 11120 0
vsize: 44732
[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 9455 0 0 0 11976 23 0 0 25 0 1 0 769494559 48648192 9432 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11877 9432 1111 63 0 11814 0
vsize: 47508
[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 10146 0 0 0 12975 24 0 0 25 0 1 0 769494559 51478528 10123 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12568 10123 1111 63 0 12505 0
vsize: 50272
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 10833 0 0 0 13973 25 0 0 25 0 1 0 769494559 54317056 10810 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13261 10810 1111 63 0 13198 0
vsize: 53044
[startup+150.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 11520 0 0 0 14973 27 0 0 25 0 1 0 769494559 57008128 11497 4294967295 134512640 134714540 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13918 11497 1111 63 0 13855 0
vsize: 55672
[startup+160.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 12212 0 0 0 15971 28 0 0 25 0 1 0 769494559 59838464 12189 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14609 12189 1111 63 0 14546 0
vsize: 58436
[startup+170.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 12905 0 0 0 16970 29 0 0 25 0 1 0 769494559 62681088 12882 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15303 12882 1111 63 0 15240 0
vsize: 61212
[startup+180.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 13597 0 0 0 17969 31 0 0 25 0 1 0 769494559 65515520 13574 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15995 13574 1111 63 0 15932 0
vsize: 63980
[startup+190.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 14288 0 0 0 18968 32 0 0 25 0 1 0 769494559 68349952 14265 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16687 14265 1111 63 0 16624 0
vsize: 66748
[startup+200.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 14982 0 0 0 19967 33 0 0 25 0 1 0 769494559 71188480 14959 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17380 14959 1111 63 0 17317 0
vsize: 69520
[startup+210.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 15675 0 0 0 20966 34 0 0 25 0 1 0 769494559 74027008 15652 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18073 15652 1111 63 0 18010 0
vsize: 72292
[startup+220.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 16367 0 0 0 21965 36 0 0 25 0 1 0 769494559 76861440 16344 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18765 16344 1111 63 0 18702 0
vsize: 75060
[startup+230.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 17060 0 0 0 22964 37 0 0 25 0 1 0 769494559 79699968 17037 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19458 17037 1111 63 0 19395 0
vsize: 77832
[startup+240.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 17753 0 0 0 23963 38 0 0 25 0 1 0 769494559 82538496 17730 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20151 17730 1111 63 0 20088 0
vsize: 80604
[startup+250.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 18445 0 0 0 24962 39 0 0 25 0 1 0 769494559 85368832 18422 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20842 18422 1111 63 0 20779 0
vsize: 83368
[startup+260.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 19138 0 0 0 25961 40 0 0 25 0 1 0 769494559 88207360 19115 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21535 19115 1111 63 0 21472 0
vsize: 86140
[startup+270.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 19831 0 0 0 26960 42 0 0 25 0 1 0 769494559 91049984 19808 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22229 19808 1111 63 0 22166 0
vsize: 88916
[startup+280.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 20529 0 0 0 27959 43 0 0 25 0 1 0 769494559 94031872 20506 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22957 20506 1111 63 0 22894 0
vsize: 91828
[startup+290.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 21222 0 0 0 28958 44 0 0 25 0 1 0 769494559 96870400 21199 4294967295 134512640 134714540 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23650 21199 1111 63 0 23587 0
vsize: 94600
[startup+300.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 21921 0 0 0 29956 46 0 0 25 0 1 0 769494559 99708928 21898 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24343 21898 1111 63 0 24280 0
vsize: 97372
[startup+310.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 22618 0 0 0 30955 47 0 0 25 0 1 0 769494559 102539264 22595 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25034 22595 1111 63 0 24971 0
vsize: 100136
[startup+320.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 23311 0 0 0 31955 48 0 0 25 0 1 0 769494559 105377792 23288 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25727 23290 1111 63 0 25664 0
vsize: 102908
[startup+330.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 24011 0 0 0 32954 49 0 0 25 0 1 0 769494559 108216320 23988 4294967295 134512640 134714540 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26420 23988 1111 63 0 26357 0
vsize: 105680
[startup+340.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 24708 0 0 0 33953 50 0 0 25 0 1 0 769494559 111050752 24685 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27112 24685 1111 63 0 27049 0
vsize: 108448
[startup+350.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 25407 0 0 0 34952 51 0 0 25 0 1 0 769494559 113889280 25384 4294967295 134512640 134714540 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27805 25384 1111 63 0 27742 0
vsize: 111220
[startup+360.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 26113 0 0 0 35951 52 0 0 25 0 1 0 769494559 116875264 26090 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28534 26090 1111 63 0 28471 0
vsize: 114136
[startup+370.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 26817 0 0 0 36951 53 0 0 25 0 1 0 769494559 119709696 26794 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29226 26794 1111 63 0 29163 0
vsize: 116904
[startup+380.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 27516 0 0 0 37949 55 0 0 25 0 1 0 769494559 122548224 27493 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29919 27493 1111 63 0 29856 0
vsize: 119676
[startup+390.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 28215 0 0 0 38948 56 0 0 25 0 1 0 769494559 125534208 28192 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30648 28192 1111 63 0 30585 0
vsize: 122592
[startup+400.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 28919 0 0 0 39946 58 0 0 25 0 1 0 769494559 128368640 28896 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31340 28896 1111 63 0 31277 0
vsize: 125360
[startup+410.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 29619 0 0 0 40946 59 0 0 25 0 1 0 769494559 131207168 29596 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32033 29596 1111 63 0 31970 0
vsize: 128132
[startup+420.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 30324 0 0 0 41945 60 0 0 25 0 1 0 769494559 134045696 30301 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32726 30301 1111 63 0 32663 0
vsize: 130904
[startup+430.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 31028 0 0 0 42944 60 0 0 25 0 1 0 769494559 137027584 31005 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33454 31005 1111 63 0 33391 0
vsize: 133816
[startup+440.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 31728 0 0 0 43943 62 0 0 25 0 1 0 769494559 139866112 31705 4294967295 134512640 134714540 3221221776 3221220004 1077414374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34147 31705 1111 63 0 34084 0
vsize: 136588
[startup+450.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 32433 0 0 0 44942 63 0 0 25 0 1 0 769494559 142704640 32410 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34840 32410 1111 63 0 34777 0
vsize: 139360
[startup+460.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 33137 0 0 0 45941 64 0 0 25 0 1 0 769494559 145686528 33114 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35568 33114 1111 63 0 35505 0
vsize: 142272
[startup+470.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 33842 0 0 0 46941 65 0 0 25 0 1 0 769494559 148525056 33819 4294967295 134512640 134714540 3221221776 3221218524 1077091139 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36261 33819 1111 63 0 36198 0
vsize: 145044
[startup+480.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 34547 0 0 0 47940 66 0 0 25 0 1 0 769494559 151363584 34524 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36954 34524 1111 63 0 36891 0
vsize: 147816
[startup+490.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 35259 0 0 0 48938 68 0 0 25 0 1 0 769494559 154345472 35236 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37682 35236 1111 63 0 37619 0
vsize: 150728
[startup+500.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 35963 0 0 0 49937 69 0 0 25 0 1 0 769494559 157184000 35940 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38375 35940 1111 63 0 38312 0
vsize: 153500
[startup+510.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 36669 0 0 0 50936 70 0 0 25 0 1 0 769494559 160022528 36646 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39068 36646 1111 63 0 39005 0
vsize: 156272
[startup+520.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 37380 0 0 0 51936 72 0 0 25 0 1 0 769494559 163012608 37357 4294967295 134512640 134714540 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39798 37357 1111 63 0 39735 0
vsize: 159192
[startup+530.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 38085 0 0 0 52935 73 0 0 25 0 1 0 769494559 165842944 38062 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40489 38062 1111 63 0 40426 0
vsize: 161956
[startup+540.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 38796 0 0 0 53935 74 0 0 25 0 1 0 769494559 168833024 38773 4294967295 134512640 134714540 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41219 38773 1111 63 0 41156 0
vsize: 164876
[startup+550.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 39507 0 0 0 54934 75 0 0 25 0 1 0 769494559 171671552 39484 4294967295 134512640 134714540 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41912 39484 1111 63 0 41849 0
vsize: 167648
[startup+560.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 40217 0 0 0 55933 76 0 0 25 0 1 0 769494559 174653440 40194 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42640 40194 1111 63 0 42577 0
vsize: 170560
[startup+570.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 40928 0 0 0 56932 77 0 0 25 0 1 0 769494559 177491968 40905 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43333 40905 1111 63 0 43270 0
vsize: 173332
[startup+580.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 41640 0 0 0 57931 78 0 0 25 0 1 0 769494559 180477952 41617 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44062 41617 1111 63 0 43999 0
vsize: 176248
[startup+590.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 42350 0 0 0 58930 79 0 0 25 0 1 0 769494559 183312384 42327 4294967295 134512640 134714540 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44754 42327 1111 63 0 44691 0
vsize: 179016
[startup+600.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 43061 0 0 0 59929 80 0 0 25 0 1 0 769494559 186298368 43038 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45483 43038 1111 63 0 45420 0
vsize: 181932
[startup+610.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 43773 0 0 0 60928 82 0 0 25 0 1 0 769494559 189136896 43750 4294967295 134512640 134714540 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46176 43750 1111 63 0 46113 0
vsize: 184704
[startup+620.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 44489 0 0 0 61926 83 0 0 25 0 1 0 769494559 192118784 44466 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46904 44466 1111 63 0 46841 0
vsize: 187616
[startup+630.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 45200 0 0 0 62926 84 0 0 25 0 1 0 769494559 194957312 45177 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47597 45177 1111 63 0 47534 0
vsize: 190388
[startup+640.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 45917 0 0 0 63925 85 0 0 25 0 1 0 769494559 197947392 45894 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48327 45894 1111 63 0 48264 0
vsize: 193308
[startup+650.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 46627 0 0 0 64924 86 0 0 25 0 1 0 769494559 200929280 46604 4294967295 134512640 134714540 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49055 46604 1111 63 0 48992 0
vsize: 196220
[startup+660.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 47344 0 0 0 65923 87 0 0 25 0 1 0 769494559 203767808 47321 4294967295 134512640 134714540 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49748 47321 1111 63 0 49685 0
vsize: 198992
[startup+670.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 48062 0 0 0 66922 89 0 0 25 0 1 0 769494559 206753792 48039 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50477 48039 1111 63 0 50414 0
vsize: 201908
[startup+680.103 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25949
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 48779 0 0 0 67927 90 0 0 25 0 1 0 769494559 209743872 48756 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51207 48756 1111 63 0 51144 0
vsize: 204828
[startup+690.102 s]
Raw data (loadavg): 1.07 1.00 1.00 2/59 25992
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 49495 0 0 0 68926 91 0 0 25 0 1 0 769494559 212578304 49472 4294967295 134512640 134714540 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51899 49472 1111 63 0 51836 0
vsize: 207596
[startup+700.138 s]
Raw data (loadavg): 1.13 1.02 1.00 2/55 26002
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 50229 0 0 0 69928 92 0 0 25 0 1 0 769494559 215736320 50206 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52670 50206 1111 63 0 52607 0
vsize: 210680
[startup+710.138 s]
Raw data (loadavg): 1.11 1.02 1.00 2/55 26002
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 50946 0 0 0 70927 93 0 0 25 0 1 0 769494559 218574848 50923 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53363 50923 1111 63 0 53300 0
vsize: 213452
[startup+720.139 s]
Raw data (loadavg): 1.09 1.01 1.00 2/55 26002
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 51669 0 0 0 71926 95 0 0 25 0 1 0 769494559 221556736 51646 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54091 51646 1111 63 0 54028 0
vsize: 216364
[startup+730.14 s]
Raw data (loadavg): 1.08 1.01 1.00 2/55 26002
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 52387 0 0 0 72925 96 0 0 25 0 1 0 769494559 224546816 52364 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54821 52364 1111 63 0 54758 0
vsize: 219284
[startup+740.14 s]
Raw data (loadavg): 1.07 1.01 1.00 2/55 26002
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 53111 0 0 0 73925 97 0 0 25 0 1 0 769494559 227536896 53088 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55551 53088 1111 63 0 55488 0
vsize: 222204
[startup+750.14 s]
Raw data (loadavg): 1.06 1.01 1.00 2/55 26002
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 53827 0 0 0 74924 98 0 0 25 0 1 0 769494559 230367232 53804 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56242 53804 1111 63 0 56179 0
vsize: 224968
[startup+760.14 s]
Raw data (loadavg): 1.05 1.01 1.00 2/55 26002
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 54550 0 0 0 75923 99 0 0 25 0 1 0 769494559 233357312 54527 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56972 54527 1111 63 0 56909 0
vsize: 227888
[startup+770.14 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 26004
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 55274 0 0 0 76922 100 0 0 25 0 1 0 769494559 236347392 55251 4294967295 134512640 134714540 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 57702 55251 1111 63 0 57639 0
vsize: 230808
[startup+780.141 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 26004
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 55997 0 0 0 77920 102 0 0 25 0 1 0 769494559 239329280 55974 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58430 55974 1111 63 0 58367 0
vsize: 233720
[startup+790.141 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 26004
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 56721 0 0 0 78920 103 0 0 25 0 1 0 769494559 242319360 56698 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59160 56698 1111 63 0 59097 0
vsize: 236640
[startup+800.141 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 26004
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 57450 0 0 0 79919 104 0 0 25 0 1 0 769494559 245305344 57427 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59889 57427 1111 63 0 59826 0
vsize: 239556
[startup+810.143 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 26004
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 58175 0 0 0 80918 105 0 0 25 0 1 0 769494559 248147968 58152 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60583 58152 1111 63 0 60520 0
vsize: 242332
[startup+820.143 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 26004
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 58897 0 0 0 81917 106 0 0 25 0 1 0 769494559 251129856 58874 4294967295 134512640 134714540 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61311 58874 1111 63 0 61248 0
vsize: 245244
[startup+830.143 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 26004
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 59627 0 0 0 82916 107 0 0 25 0 1 0 769494559 254119936 59604 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62041 59604 1111 63 0 61978 0
vsize: 248164
[startup+840.142 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 26004
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 60351 0 0 0 83915 108 0 0 25 0 1 0 769494559 257105920 60328 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62770 60328 1111 63 0 62707 0
vsize: 251080
[startup+850.143 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 26004
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 61079 0 0 0 84914 110 0 0 25 0 1 0 769494559 260091904 61056 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63499 61056 1111 63 0 63436 0
vsize: 253996
[startup+860.143 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 26004
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 61808 0 0 0 85912 111 0 0 25 0 1 0 769494559 263077888 61785 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64228 61785 1111 63 0 64165 0
vsize: 256912
[startup+870.143 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26004
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 62539 0 0 0 86911 113 0 0 25 0 1 0 769494559 266067968 62516 4294967295 134512640 134714540 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64958 62516 1111 63 0 64895 0
vsize: 259832
[startup+880.144 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26004
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 63267 0 0 0 87910 114 0 0 25 0 1 0 769494559 269049856 63244 4294967295 134512640 134714540 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65686 63244 1111 63 0 65623 0
vsize: 262744
[startup+890.144 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26004
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 63997 0 0 0 88909 115 0 0 25 0 1 0 769494559 272039936 63974 4294967295 134512640 134714540 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 66416 63974 1111 63 0 66353 0
vsize: 265664
[startup+900.145 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26004
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 64728 0 0 0 89908 116 0 0 25 0 1 0 769494559 275030016 64705 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67146 64705 1111 63 0 67083 0
vsize: 268584
[startup+910.146 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26004
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 65457 0 0 0 90907 118 0 0 25 0 1 0 769494559 278016000 65434 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67875 65434 1111 63 0 67812 0
vsize: 271500
[startup+920.146 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26004
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 66192 0 0 0 91905 119 0 0 25 0 1 0 769494559 280997888 66169 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 68603 66169 1111 63 0 68540 0
vsize: 274412
[startup+930.146 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26004
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 66921 0 0 0 92903 122 0 0 25 0 1 0 769494559 283987968 66898 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69333 66898 1111 63 0 69270 0
vsize: 277332
[startup+940.146 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26004
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 67657 0 0 0 93902 123 0 0 25 0 1 0 769494559 286978048 67634 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 70063 67634 1111 63 0 70000 0
vsize: 280252
[startup+950.147 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26004
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 68393 0 0 0 94901 125 0 0 25 0 1 0 769494559 290107392 68370 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 70827 68370 1111 63 0 70764 0
vsize: 283308
[startup+960.147 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26004
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 69122 0 0 0 95900 126 0 0 25 0 1 0 769494559 293097472 69099 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 71557 69099 1111 63 0 71494 0
vsize: 286228
[startup+970.146 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26004
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 69858 0 0 0 96898 127 0 0 25 0 1 0 769494559 296087552 69835 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72287 69835 1111 63 0 72224 0
vsize: 289148
[startup+980.147 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26004
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 70595 0 0 0 97897 128 0 0 25 0 1 0 769494559 299077632 70572 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73017 70572 1111 63 0 72954 0
vsize: 292068
[startup+990.148 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26004
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 71329 0 0 0 98896 130 0 0 25 0 1 0 769494559 302059520 71306 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73745 71306 1111 63 0 73682 0
vsize: 294980
[startup+1000.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26006
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 72065 0 0 0 99895 131 0 0 25 0 1 0 769494559 305045504 72042 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 74474 72042 1111 63 0 74411 0
vsize: 297896
[startup+1010.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26006
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 72807 0 0 0 100894 132 0 0 25 0 1 0 769494559 308187136 72784 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75241 72784 1111 63 0 75178 0
vsize: 300964
[startup+1020.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26006
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 73541 0 0 0 101893 133 0 0 25 0 1 0 769494559 311169024 73518 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75969 73518 1111 63 0 75906 0
vsize: 303876
[startup+1030.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26006
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 74284 0 0 0 102892 135 0 0 25 0 1 0 769494559 314159104 74261 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 76699 74261 1111 63 0 76636 0
vsize: 306796
[startup+1040.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26006
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 75020 0 0 0 103891 136 0 0 25 0 1 0 769494559 317145088 74997 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 77428 74997 1111 63 0 77365 0
vsize: 309712
[startup+1050.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26006
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 75761 0 0 0 104889 138 0 0 25 0 1 0 769494559 320282624 75738 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 78194 75738 1111 63 0 78131 0
vsize: 312776
[startup+1060.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26006
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 76502 0 0 0 105889 139 0 0 25 0 1 0 769494559 323268608 76479 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 78923 76479 1111 63 0 78860 0
vsize: 315692
[startup+1070.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26006
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 77245 0 0 0 106887 140 0 0 25 0 1 0 769494559 326254592 77222 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 79652 77222 1111 63 0 79589 0
vsize: 318608
[startup+1080.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26006
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 77986 0 0 0 107886 142 0 0 25 0 1 0 769494559 329392128 77963 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 80418 77963 1111 63 0 80355 0
vsize: 321672
[startup+1090.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26006
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 78727 0 0 0 108885 143 0 0 25 0 1 0 769494559 332378112 78704 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 81147 78704 1111 63 0 81084 0
vsize: 324588
[startup+1100.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26006
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 79469 0 0 0 109883 145 0 0 25 0 1 0 769494559 335364096 79446 4294967295 134512640 134714540 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 81876 79446 1111 63 0 81813 0
vsize: 327504
[startup+1110.15 s]
Raw data (loadavg): 1.07 1.02 1.00 2/55 26006
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 80210 0 0 0 110882 146 0 0 25 0 1 0 769494559 338501632 80187 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 82642 80187 1111 63 0 82579 0
vsize: 330568
[startup+1120.15 s]
Raw data (loadavg): 1.06 1.02 1.00 2/55 26006
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 80959 0 0 0 111880 148 0 0 25 0 1 0 769494559 341491712 80936 4294967295 134512640 134714540 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 83372 80936 1111 63 0 83309 0
vsize: 333488
[startup+1130.15 s]
Raw data (loadavg): 1.05 1.01 1.00 2/55 26006
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 81700 0 0 0 112880 149 0 0 25 0 1 0 769494559 344473600 81677 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84100 81677 1111 63 0 84037 0
vsize: 336400
[startup+1140.15 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 26006
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 82448 0 0 0 113879 149 0 0 25 0 1 0 769494559 347611136 82425 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84866 82425 1111 63 0 84803 0
vsize: 339464
[startup+1150.15 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 26006
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 83196 0 0 0 114878 151 0 0 25 0 1 0 769494559 350601216 83173 4294967295 134512640 134714540 3221221776 3221220004 1077414424 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85596 83173 1111 63 0 85533 0
vsize: 342384
[startup+1160.15 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 26006
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 83943 0 0 0 115877 152 0 0 25 0 1 0 769494559 353734656 83920 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 86361 83920 1111 63 0 86298 0
vsize: 345444
[startup+1170.15 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 26006
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 84685 0 0 0 116876 153 0 0 25 0 1 0 769494559 356720640 84662 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87090 84662 1111 63 0 87027 0
vsize: 348360
[startup+1180.15 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 26006
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 85433 0 0 0 117875 154 0 0 25 0 1 0 769494559 359862272 85410 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87857 85410 1111 63 0 87794 0
vsize: 351428
[startup+1190.15 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 26006
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 86187 0 0 0 118874 155 0 0 25 0 1 0 769494559 362848256 86164 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88586 86164 1111 63 0 88523 0
vsize: 354344
[startup+1200.15 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 26006
Raw data (stat): 25949 (bsolo_mis) R 25948 7876 7672 0 -1 0 86934 0 0 0 119873 156 0 0 25 0 1 0 769494559 365981696 86911 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 89351 86911 1111 63 0 89288 0
vsize: 357404
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.32 s]
Raw data (loadavg): 1.01 1.01 1.00 1/55 26006
Raw data (stat): 25949 (bsolo_mis) Z 25948 7876 7672 0 -1 1036 86934 0 0 0 119873 173 0 0 25 0 1 0 769494559 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.32
CPU time (s): 1200.47
CPU user time (s): 1198.74
CPU system time (s): 1.73174
CPU usage (%): 100.013
Max. virtual memory (Kb): 357404
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####