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/submitted/aloul/FPGA_SAT05/normalized-chnl20_30_pb.cnf.cr.opb
MD5SUM	afcc4289aafaea265ed2d465965a3342
Bench Category	no optimization function (SAT)
Has Objective Function	NO
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	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	31
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.036993
Number of variables	1200
Total number of constraints	100
Number of constraints which are clauses	60
Number of constraints which are cardinality constraints (but not clauses)	40
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	20
Maximum length of a constraint	30
Trace number 23189

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 06:22:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=84 boxname=wulflinc31 idbench=10 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  afcc4289aafaea265ed2d465965a3342  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl20_30_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-chnl20_30_pb.cnf.cr.opb
IDLAUNCH: 84
/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:        932100 kB
Buffers:         35736 kB
Cached:          45000 kB
SwapCached:        864 kB
Active:          70108 kB
Inactive:        13036 kB
HighTotal:      131008 kB
HighFree:        85008 kB
LowTotal:       903652 kB
LowFree:        847092 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13876 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 06:41:43 (client local time) WITH STATUS 0 IN 1175.09 SECONDS
stats: 84 7 1175.09 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 1200 variables and 100 constraints.
c After prepocess the problem consists of 1200 variables and 100 constraints.
c preprocess terminated 0.328 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.03 s
#### 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.92 2/54 8898
Raw data (stat): 8898 (runsolver) R 8897 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 629278940 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.0011 s]
Raw data (loadavg): 0.94 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 2286 0 0 0 987 9 0 0 25 0 1 0 629278940 13037568 2261 4294967295 134512640 134714540 3221221776 3221220432 134523859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3183 2261 1111 63 0 3120 0
vsize: 12732
[startup+20.0019 s]
Raw data (loadavg): 0.95 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 3465 0 0 0 1981 15 0 0 25 0 1 0 629278940 17903616 3440 4294967295 134512640 134714540 3221221776 3221220512 134535837 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4371 3440 1111 63 0 4308 0
vsize: 17484
[startup+30.0028 s]
Raw data (loadavg): 0.95 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 3912 0 0 0 2979 17 0 0 25 0 1 0 629278940 19660800 3887 4294967295 134512640 134714540 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4800 3887 1111 63 0 4737 0
vsize: 19200
[startup+40.0027 s]
Raw data (loadavg): 0.96 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 4539 0 0 0 3976 20 0 0 25 0 1 0 629278940 22233088 4514 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5428 4514 1111 63 0 5365 0
vsize: 21712
[startup+50.0026 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 4904 0 0 0 4975 22 0 0 25 0 1 0 629278940 23715840 4879 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5790 4879 1111 63 0 5727 0
vsize: 23160
[startup+60.0026 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 5186 0 0 0 5973 24 0 0 25 0 1 0 629278940 24932352 5161 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6087 5161 1111 63 0 6024 0
vsize: 24348
[startup+70.0025 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 5366 0 0 0 6972 25 0 0 25 0 1 0 629278940 25608192 5341 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6252 5341 1111 63 0 6189 0
vsize: 25008
[startup+80.0035 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 5588 0 0 0 7971 26 0 0 25 0 1 0 629278940 26554368 5563 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6483 5563 1111 63 0 6420 0
vsize: 25932
[startup+90.0034 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 5750 0 0 0 8970 27 0 0 25 0 1 0 629278940 27226112 5725 4294967295 134512640 134714540 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6647 5725 1111 63 0 6584 0
vsize: 26588
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 6010 0 0 0 9968 29 0 0 25 0 1 0 629278940 28307456 5985 4294967295 134512640 134714540 3221221776 3221220544 134592107 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6911 5985 1111 63 0 6848 0
vsize: 27644
[startup+110.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 6264 0 0 0 10967 31 0 0 25 0 1 0 629278940 29380608 6239 4294967295 134512640 134714540 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7173 6239 1111 63 0 7110 0
vsize: 28692
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 6622 0 0 0 11964 34 0 0 25 0 1 0 629278940 30732288 6597 4294967295 134512640 134714540 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7503 6597 1111 63 0 7440 0
vsize: 30012
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 6960 0 0 0 12963 35 0 0 25 0 1 0 629278940 32215040 6935 4294967295 134512640 134714540 3221221776 3221220248 1077377574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7865 6935 1111 63 0 7802 0
vsize: 31460
[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 7185 0 0 0 13961 37 0 0 25 0 1 0 629278940 33026048 7160 4294967295 134512640 134714540 3221221776 3221220592 134588097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8063 7160 1111 63 0 8000 0
vsize: 32252
[startup+150.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 7393 0 0 0 14960 39 0 0 25 0 1 0 629278940 33996800 7368 4294967295 134512640 134714540 3221221776 3221220332 134535984 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8300 7368 1111 63 0 8237 0
vsize: 33200
[startup+160.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 7609 0 0 0 15958 40 0 0 25 0 1 0 629278940 34811904 7584 4294967295 134512640 134714540 3221221776 3221220560 134529177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8499 7584 1111 63 0 8436 0
vsize: 33996
[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 7791 0 0 0 16957 42 0 0 25 0 1 0 629278940 35614720 7766 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8695 7766 1111 63 0 8632 0
vsize: 34780
[startup+180.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 7899 0 0 0 17956 43 0 0 25 0 1 0 629278940 36020224 7874 4294967295 134512640 134714540 3221221776 3221220404 134696293 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8794 7874 1111 63 0 8731 0
vsize: 35176
[startup+190.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 8139 0 0 0 18955 45 0 0 25 0 1 0 629278940 36966400 8114 4294967295 134512640 134714540 3221221776 3221220560 134529082 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9025 8114 1111 63 0 8962 0
vsize: 36100
[startup+200.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 8246 0 0 0 19953 46 0 0 25 0 1 0 629278940 37507072 8221 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9157 8221 1111 63 0 9094 0
vsize: 36628
[startup+210.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 8360 0 0 0 20953 47 0 0 25 0 1 0 629278940 38047744 8335 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9289 8335 1111 63 0 9226 0
vsize: 37156
[startup+220.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 8817 0 0 0 21952 48 0 0 25 0 1 0 629278940 39804928 8792 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9718 8792 1111 63 0 9655 0
vsize: 38872
[startup+230.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 9022 0 0 0 22951 49 0 0 25 0 1 0 629278940 40751104 8997 4294967295 134512640 134714540 3221221776 3221220564 134586092 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9949 8997 1111 63 0 9886 0
vsize: 39796
[startup+240.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 9088 0 0 0 23950 50 0 0 25 0 1 0 629278940 41021440 9063 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10015 9063 1111 63 0 9952 0
vsize: 40060
[startup+250.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 9222 0 0 0 24949 51 0 0 25 0 1 0 629278940 41562112 9197 4294967295 134512640 134714540 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10147 9197 1111 63 0 10084 0
vsize: 40588
[startup+260.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 9428 0 0 0 25949 52 0 0 25 0 1 0 629278940 42373120 9403 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10345 9403 1111 63 0 10282 0
vsize: 41380
[startup+270.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 9664 0 0 0 26947 54 0 0 25 0 1 0 629278940 43319296 9639 4294967295 134512640 134714540 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10576 9639 1111 63 0 10513 0
vsize: 42304
[startup+280.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 9821 0 0 0 27945 55 0 0 25 0 1 0 629278940 43995136 9796 4294967295 134512640 134714540 3221221776 3221220344 1077377643 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10741 9796 1111 63 0 10678 0
vsize: 42964
[startup+290.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 10022 0 0 0 28945 56 0 0 25 0 1 0 629278940 44789760 9997 4294967295 134512640 134714540 3221221776 3221220404 1077374149 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10935 9997 1111 63 0 10872 0
vsize: 43740
[startup+300.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 10173 0 0 0 29944 58 0 0 25 0 1 0 629278940 45465600 10148 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11100 10148 1111 63 0 11037 0
vsize: 44400
[startup+310.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 10283 0 0 0 30943 59 0 0 25 0 1 0 629278940 45858816 10258 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11196 10258 1111 63 0 11133 0
vsize: 44784
[startup+320.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 10367 0 0 0 31941 60 0 0 25 0 1 0 629278940 46264320 10342 4294967295 134512640 134714540 3221221776 3221220468 134528706 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11295 10342 1111 63 0 11232 0
vsize: 45180
[startup+330.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 10498 0 0 0 32940 61 0 0 25 0 1 0 629278940 46804992 10473 4294967295 134512640 134714540 3221221776 3221220344 134535489 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11427 10473 1111 63 0 11364 0
vsize: 45708
[startup+340.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 10610 0 0 0 33939 62 0 0 25 0 1 0 629278940 47210496 10585 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11526 10585 1111 63 0 11463 0
vsize: 46104
[startup+350.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 10677 0 0 0 34938 63 0 0 25 0 1 0 629278940 47472640 10652 4294967295 134512640 134714540 3221221776 3221220304 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11590 10652 1111 63 0 11527 0
vsize: 46360
[startup+360.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 10713 0 0 0 35937 64 0 0 25 0 1 0 629278940 47607808 10688 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11623 10688 1111 63 0 11560 0
vsize: 46492
[startup+370.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 10773 0 0 0 36936 65 0 0 25 0 1 0 629278940 47878144 10748 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11689 10748 1111 63 0 11626 0
vsize: 46756
[startup+380.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 10919 0 0 0 37935 66 0 0 25 0 1 0 629278940 48553984 10894 4294967295 134512640 134714540 3221221776 3221220464 134542845 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11854 10894 1111 63 0 11791 0
vsize: 47416
[startup+390.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 11131 0 0 0 38934 68 0 0 25 0 1 0 629278940 49364992 11106 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12052 11106 1111 63 0 11989 0
vsize: 48208
[startup+400.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 11426 0 0 0 39932 70 0 0 25 0 1 0 629278940 50577408 11401 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12348 11401 1111 63 0 12285 0
vsize: 49392
[startup+410.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 11632 0 0 0 40931 71 0 0 25 0 1 0 629278940 51392512 11607 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12547 11607 1111 63 0 12484 0
vsize: 50188
[startup+420.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 11803 0 0 0 41930 72 0 0 25 0 1 0 629278940 52187136 11778 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12741 11778 1111 63 0 12678 0
vsize: 50964
[startup+430.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 11956 0 0 0 42929 74 0 0 25 0 1 0 629278940 52744192 11931 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12877 11931 1111 63 0 12814 0
vsize: 51508
[startup+440.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 12090 0 0 0 43928 75 0 0 25 0 1 0 629278940 53284864 12065 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13009 12065 1111 63 0 12946 0
vsize: 52036
[startup+450.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 12207 0 0 0 44926 76 0 0 25 0 1 0 629278940 53817344 12182 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13139 12182 1111 63 0 13076 0
vsize: 52556
[startup+460.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 12343 0 0 0 45926 77 0 0 25 0 1 0 629278940 54358016 12318 4294967295 134512640 134714540 3221221776 3221220416 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13271 12318 1111 63 0 13208 0
vsize: 53084
[startup+470.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 12847 0 0 0 46923 80 0 0 25 0 1 0 629278940 56524800 12822 4294967295 134512640 134714540 3221221776 3221220560 134529184 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13800 12822 1111 63 0 13737 0
vsize: 55200
[startup+480.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 13052 0 0 0 47922 81 0 0 25 0 1 0 629278940 57335808 13027 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13998 13027 1111 63 0 13935 0
vsize: 55992
[startup+490.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 13199 0 0 0 48921 82 0 0 25 0 1 0 629278940 57876480 13174 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14130 13174 1111 63 0 14067 0
vsize: 56520
[startup+500.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 13346 0 0 0 49920 83 0 0 25 0 1 0 629278940 58540032 13321 4294967295 134512640 134714540 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14292 13321 1111 63 0 14229 0
vsize: 57168
[startup+510.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 13838 0 0 0 50918 85 0 0 25 0 1 0 629278940 60567552 13813 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14787 13813 1111 63 0 14724 0
vsize: 59148
[startup+520.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 14289 0 0 0 51916 88 0 0 25 0 1 0 629278940 62476288 14263 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15253 14263 1111 63 0 15190 0
vsize: 61012
[startup+530.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 14527 0 0 0 52915 89 0 0 25 0 1 0 629278940 63422464 14501 4294967295 134512640 134714540 3221221776 3221220500 134535789 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15484 14501 1111 63 0 15421 0
vsize: 61936
[startup+540.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 14666 0 0 0 53914 90 0 0 25 0 1 0 629278940 63963136 14640 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15616 14640 1111 63 0 15553 0
vsize: 62464
[startup+550.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 14777 0 0 0 54913 91 0 0 25 0 1 0 629278940 64368640 14751 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15715 14751 1111 63 0 15652 0
vsize: 62860
[startup+560.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 14970 0 0 0 55912 93 0 0 25 0 1 0 629278940 65179648 14944 4294967295 134512640 134714540 3221221776 3221220500 134535789 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15913 14944 1111 63 0 15850 0
vsize: 63652
[startup+570.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 15360 0 0 0 56910 95 0 0 25 0 1 0 629278940 66801664 15334 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16309 15334 1111 63 0 16246 0
vsize: 65236
[startup+580.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 15569 0 0 0 57908 97 0 0 25 0 1 0 629278940 67612672 15543 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16507 15543 1111 63 0 16444 0
vsize: 66028
[startup+590.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 15755 0 0 0 58908 97 0 0 25 0 1 0 629278940 68415488 15729 4294967295 134512640 134714540 3221221776 3221220384 134548843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16703 15729 1111 63 0 16640 0
vsize: 66812
[startup+600.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 15878 0 0 0 59907 98 0 0 25 0 1 0 629278940 68956160 15852 4294967295 134512640 134714540 3221221776 3221220416 134696092 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16835 15852 1111 63 0 16772 0
vsize: 67340
[startup+610.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 16035 0 0 0 60906 99 0 0 25 0 1 0 629278940 69640192 16008 4294967295 134512640 134714540 3221221776 3221220332 134535895 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17002 16008 1111 63 0 16939 0
vsize: 68008
[startup+620.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 16245 0 0 0 61905 100 0 0 25 0 1 0 629278940 70451200 16218 4294967295 134512640 134714540 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17200 16218 1111 63 0 17137 0
vsize: 68800
[startup+630.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 16360 0 0 0 62904 101 0 0 25 0 1 0 629278940 71008256 16333 4294967295 134512640 134714540 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17336 16333 1111 63 0 17273 0
vsize: 69344
[startup+640.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 16434 0 0 0 63904 102 0 0 25 0 1 0 629278940 71278592 16407 4294967295 134512640 134714540 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17402 16407 1111 63 0 17339 0
vsize: 69608
[startup+650.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 16555 0 0 0 64904 103 0 0 25 0 1 0 629278940 71684096 16528 4294967295 134512640 134714540 3221221776 3221220516 134591942 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17501 16528 1111 63 0 17438 0
vsize: 70004
[startup+660.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 16662 0 0 0 65903 103 0 0 25 0 1 0 629278940 72224768 16635 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17633 16635 1111 63 0 17570 0
vsize: 70532
[startup+670.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 16787 0 0 0 66902 104 0 0 25 0 1 0 629278940 72630272 16760 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17732 16760 1111 63 0 17669 0
vsize: 70928
[startup+680.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 16974 0 0 0 67901 106 0 0 25 0 1 0 629278940 73441280 16947 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17930 16947 1111 63 0 17867 0
vsize: 71720
[startup+690.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 17047 0 0 0 68901 106 0 0 25 0 1 0 629278940 73711616 17020 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17996 17020 1111 63 0 17933 0
vsize: 71984
[startup+700.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 17231 0 0 0 69900 108 0 0 25 0 1 0 629278940 74526720 17204 4294967295 134512640 134714540 3221221776 3221220332 134535631 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18195 17204 1111 63 0 18132 0
vsize: 72780
[startup+710.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 17374 0 0 0 70899 109 0 0 25 0 1 0 629278940 75067392 17347 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18327 17347 1111 63 0 18264 0
vsize: 73308
[startup+720.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 17482 0 0 0 71898 110 0 0 25 0 1 0 629278940 75579392 17455 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18452 17455 1111 63 0 18389 0
vsize: 73808
[startup+730.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 17533 0 0 0 72897 111 0 0 25 0 1 0 629278940 75714560 17506 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18485 17506 1111 63 0 18422 0
vsize: 73940
[startup+740.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 17634 0 0 0 73896 112 0 0 25 0 1 0 629278940 76128256 17607 4294967295 134512640 134714540 3221221776 3221220400 134536680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18586 17607 1111 63 0 18523 0
vsize: 74344
[startup+750.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 17723 0 0 0 74896 113 0 0 25 0 1 0 629278940 76525568 17696 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18683 17696 1111 63 0 18620 0
vsize: 74732
[startup+760.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 17796 0 0 0 75895 113 0 0 25 0 1 0 629278940 76795904 17769 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18749 17769 1111 63 0 18686 0
vsize: 74996
[startup+770.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 17827 0 0 0 76895 114 0 0 25 0 1 0 629278940 76931072 17800 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18782 17800 1111 63 0 18719 0
vsize: 75128
[startup+780.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 17912 0 0 0 77894 115 0 0 25 0 1 0 629278940 77348864 17885 4294967295 134512640 134714540 3221221776 3221220300 1076648084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18884 17885 1111 63 0 18821 0
vsize: 75536
[startup+790.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 18056 0 0 0 78893 116 0 0 25 0 1 0 629278940 77885440 18029 4294967295 134512640 134714540 3221221776 3221220368 134549780 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19015 18029 1111 63 0 18952 0
vsize: 76060
[startup+800.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 18198 0 0 0 79892 117 0 0 25 0 1 0 629278940 78426112 18171 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19147 18171 1111 63 0 19084 0
vsize: 76588
[startup+810.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 18369 0 0 0 80891 118 0 0 25 0 1 0 629278940 79237120 18342 4294967295 134512640 134714540 3221221776 3221220216 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19345 18343 1111 63 0 19282 0
vsize: 77380
[startup+820.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 18551 0 0 0 81890 119 0 0 25 0 1 0 629278940 79912960 18524 4294967295 134512640 134714540 3221221776 3221220480 134528617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19510 18524 1111 63 0 19447 0
vsize: 78040
[startup+830.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 18637 0 0 0 82890 120 0 0 25 0 1 0 629278940 80334848 18610 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19613 18610 1111 63 0 19550 0
vsize: 78452
[startup+840.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 18785 0 0 0 83889 121 0 0 25 0 1 0 629278940 80875520 18758 4294967295 134512640 134714540 3221221776 3221220512 134535840 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19745 18758 1111 63 0 19682 0
vsize: 78980
[startup+850.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 18850 0 0 0 84889 121 0 0 25 0 1 0 629278940 81133568 18823 4294967295 134512640 134714540 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19808 18823 1111 63 0 19745 0
vsize: 79232
[startup+860.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 18887 0 0 0 85888 122 0 0 25 0 1 0 629278940 81268736 18860 4294967295 134512640 134714540 3221221776 3221220336 134696769 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19841 18860 1111 63 0 19778 0
vsize: 79364
[startup+870.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 18969 0 0 0 86887 124 0 0 25 0 1 0 629278940 81690624 18942 4294967295 134512640 134714540 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19944 18942 1111 63 0 19881 0
vsize: 79776
[startup+880.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 19087 0 0 0 87886 125 0 0 25 0 1 0 629278940 82096128 19060 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20043 19060 1111 63 0 19980 0
vsize: 80172
[startup+890.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 19144 0 0 0 88885 125 0 0 25 0 1 0 629278940 82366464 19117 4294967295 134512640 134714540 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20109 19117 1111 63 0 20046 0
vsize: 80436
[startup+900.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 19236 0 0 0 89885 126 0 0 25 0 1 0 629278940 82751488 19209 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20203 19209 1111 63 0 20140 0
vsize: 80812
[startup+910.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 19290 0 0 0 90884 127 0 0 25 0 1 0 629278940 83021824 19263 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20269 19263 1111 63 0 20206 0
vsize: 81076
[startup+920.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 19326 0 0 0 91883 128 0 0 25 0 1 0 629278940 83156992 19299 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20302 19299 1111 63 0 20239 0
vsize: 81208
[startup+930.028 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 19389 0 0 0 92882 129 0 0 25 0 1 0 629278940 83419136 19362 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20366 19362 1111 63 0 20303 0
vsize: 81464
[startup+940.028 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 19476 0 0 0 93882 130 0 0 25 0 1 0 629278940 83689472 19449 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20432 19449 1111 63 0 20369 0
vsize: 81728
[startup+950.028 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 19567 0 0 0 94881 130 0 0 25 0 1 0 629278940 84094976 19540 4294967295 134512640 134714540 3221221776 3221220052 134697231 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20531 19540 1111 63 0 20468 0
vsize: 82124
[startup+960.029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 19617 0 0 0 95881 131 0 0 25 0 1 0 629278940 84365312 19590 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20597 19590 1111 63 0 20534 0
vsize: 82388
[startup+970.029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 19686 0 0 0 96880 132 0 0 25 0 1 0 629278940 84635648 19659 4294967295 134512640 134714540 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20663 19659 1111 63 0 20600 0
vsize: 82652
[startup+980.029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 19731 0 0 0 97880 133 0 0 25 0 1 0 629278940 84770816 19704 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20696 19704 1111 63 0 20633 0
vsize: 82784
[startup+990.031 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 19780 0 0 0 98880 133 0 0 25 0 1 0 629278940 84905984 19753 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20729 19753 1111 63 0 20666 0
vsize: 82916
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 19971 0 0 0 99878 135 0 0 25 0 1 0 629278940 85725184 19943 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20929 19943 1111 63 0 20866 0
vsize: 83716
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 20029 0 0 0 100878 135 0 0 25 0 1 0 629278940 85995520 20001 4294967295 134512640 134714540 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20995 20001 1111 63 0 20932 0
vsize: 83980
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 20056 0 0 0 101877 136 0 0 25 0 1 0 629278940 86130688 20028 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21028 20028 1111 63 0 20965 0
vsize: 84112
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 20084 0 0 0 102877 136 0 0 25 0 1 0 629278940 86265856 20056 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21061 20056 1111 63 0 20998 0
vsize: 84244
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 20141 0 0 0 103877 137 0 0 25 0 1 0 629278940 86401024 20113 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21094 20113 1111 63 0 21031 0
vsize: 84376
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 20175 0 0 0 104876 137 0 0 25 0 1 0 629278940 86667264 20147 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21159 20147 1111 63 0 21096 0
vsize: 84636
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 20297 0 0 0 105875 139 0 0 25 0 1 0 629278940 87072768 20269 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21258 20269 1111 63 0 21195 0
vsize: 85032
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 20337 0 0 0 106875 139 0 0 25 0 1 0 629278940 87207936 20309 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21291 20309 1111 63 0 21228 0
vsize: 85164
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 20390 0 0 0 107875 139 0 0 25 0 1 0 629278940 87478272 20362 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21357 20362 1111 63 0 21294 0
vsize: 85428
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 20439 0 0 0 108874 140 0 0 25 0 1 0 629278940 87613440 20411 4294967295 134512640 134714540 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21390 20411 1111 63 0 21327 0
vsize: 85560
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 20476 0 0 0 109873 141 0 0 25 0 1 0 629278940 87752704 20448 4294967295 134512640 134714540 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21424 20448 1111 63 0 21361 0
vsize: 85696
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 20626 0 0 0 110872 143 0 0 25 0 1 0 629278940 88428544 20598 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21589 20598 1111 63 0 21526 0
vsize: 86356
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 20748 0 0 0 111870 144 0 0 25 0 1 0 629278940 88969216 20720 4294967295 134512640 134714540 3221221776 3221220540 134552632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21721 20720 1111 63 0 21658 0
vsize: 86884
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 20865 0 0 0 112868 146 0 0 25 0 1 0 629278940 89399296 20837 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21826 20837 1111 63 0 21763 0
vsize: 87304
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 21035 0 0 0 113867 148 0 0 25 0 1 0 629278940 90218496 21007 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22026 21007 1111 63 0 21963 0
vsize: 88104
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 21211 0 0 0 114866 149 0 0 25 0 1 0 629278940 90894336 21183 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22191 21183 1111 63 0 22128 0
vsize: 88764
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 21325 0 0 0 115865 150 0 0 25 0 1 0 629278940 91435008 21297 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22323 21297 1111 63 0 22260 0
vsize: 89292
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 21424 0 0 0 116864 151 0 0 25 0 1 0 629278940 91848704 21396 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22424 21396 1111 63 0 22361 0
vsize: 89696
[startup+1174.97 s]
Raw data (loadavg): 0.99 0.98 0.92 1/53 8898
Raw data (stat): 8898 (bsolo_mis) R 8897 7876 7672 0 -1 0 21424 0 0 0 116864 151 0 0 25 0 1 0 629278940 91848704 21396 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22424 21396 1111 63 0 22361 0
vsize: 0

Child status: 0
Real time (s): 1174.97
CPU time (s): 1175.09
CPU user time (s): 1173.53
CPU system time (s): 1.56276
CPU usage (%): 100.01
Max. virtual memory (Kb): 89696
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####