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-fpga14_12_sat_pb.cnf.cr.opb
MD5SUM	a8b77e93664627ad0410220dcaf11219
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
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	15
Number of bits of the biggest sum of numbers	4
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.05899
Number of variables	252
Total number of constraints	206
Number of constraints which are clauses	180
Number of constraints which are cardinality constraints (but not clauses)	26
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	7
Maximum length of a constraint	14
Trace number 23309

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 08:56:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=300 boxname=wulflinc31 idbench=34 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  a8b77e93664627ad0410220dcaf11219  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga14_12_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-fpga14_12_sat_pb.cnf.cr.opb
IDLAUNCH: 300
/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:        928332 kB
Buffers:         37768 kB
Cached:          46708 kB
SwapCached:        864 kB
Active:          71688 kB
Inactive:        15128 kB
HighTotal:      131008 kB
HighFree:        83384 kB
LowTotal:       903652 kB
LowFree:        844948 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13932 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 09:16:11 (client local time) WITH STATUS 0 IN 1175.18 SECONDS
stats: 300 7 1175.18 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 252 variables and 206 constraints.
c After prepocess the problem consists of 252 variables and 206 constraints.
c preprocess terminated 0.116 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.07 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.99 1.00 0.99 2/54 21810
Raw data (stat): 21810 (runsolver) R 21809 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 638846831 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.001 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 21810
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 2891 0 0 0 984 12 0 0 25 0 1 0 638846831 15466496 2866 4294967295 134512640 134714540 3221221776 3221220488 134552673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3776 2866 1111 63 0 3713 0
vsize: 15104
[startup+20.0019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 21810
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 4807 0 0 0 1976 20 0 0 25 0 1 0 638846831 23314432 4782 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5692 4782 1111 63 0 5629 0
vsize: 22768
[startup+30.0019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 21810
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 5930 0 0 0 2969 27 0 0 25 0 1 0 638846831 27918336 5905 4294967295 134512640 134714540 3221221776 3221220488 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6816 5905 1111 63 0 6753 0
vsize: 27264
[startup+40.0018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 21810
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 7109 0 0 0 3964 33 0 0 25 0 1 0 638846831 32792576 7084 4294967295 134512640 134714540 3221221776 3221220416 134539382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8006 7084 1111 63 0 7943 0
vsize: 32024
[startup+50.0027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 21810
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 7985 0 0 0 4960 36 0 0 25 0 1 0 638846831 36331520 7960 4294967295 134512640 134714540 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8870 7960 1111 63 0 8807 0
vsize: 35480
[startup+60.0037 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 21810
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 8738 0 0 0 5956 40 0 0 25 0 1 0 638846831 39440384 8713 4294967295 134512640 134714540 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9629 8713 1111 63 0 9566 0
vsize: 38516
[startup+70.0046 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 21810
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 9516 0 0 0 6952 44 0 0 25 0 1 0 638846831 42729472 9491 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10432 9491 1111 63 0 10369 0
vsize: 41728
[startup+80.0045 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 21810
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 10777 0 0 0 7947 50 0 0 25 0 1 0 638846831 47865856 10752 4294967295 134512640 134714540 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11686 10752 1111 63 0 11623 0
vsize: 46744
[startup+90.0044 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 21810
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 12123 0 0 0 8942 55 0 0 25 0 1 0 638846831 53407744 12098 4294967295 134512640 134714540 3221221776 3221220416 134696114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13039 12098 1111 63 0 12976 0
vsize: 52156
[startup+100.004 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 21810
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 13347 0 0 0 9938 59 0 0 25 0 1 0 638846831 58404864 13321 4294967295 134512640 134714540 3221221776 3221220248 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14259 13321 1111 63 0 14196 0
vsize: 57036
[startup+110.005 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 21810
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 14788 0 0 0 10933 64 0 0 25 0 1 0 638846831 64368640 14762 4294967295 134512640 134714540 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15715 14762 1111 63 0 15652 0
vsize: 62860
[startup+120.005 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 21810
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 16247 0 0 0 11927 70 0 0 25 0 1 0 638846831 70324224 16220 4294967295 134512640 134714540 3221221776 3221220560 134528801 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17169 16220 1111 63 0 17106 0
vsize: 68676
[startup+130.005 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 21810
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 16986 0 0 0 12925 73 0 0 25 0 1 0 638846831 73433088 16957 4294967295 134512640 134714540 3221221776 3221220020 134697231 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17928 16957 1111 63 0 17865 0
vsize: 71712
[startup+140.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 21810
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 17543 0 0 0 13922 75 0 0 25 0 1 0 638846831 75743232 17514 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18492 17514 1111 63 0 18429 0
vsize: 73968
[startup+150.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 21810
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 17993 0 0 0 14920 78 0 0 25 0 1 0 638846831 77639680 17960 4294967295 134512640 134714540 3221221776 3221220560 134529243 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18955 17960 1111 63 0 18892 0
vsize: 75820
[startup+160.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 21810
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 18767 0 0 0 15917 81 0 0 25 0 1 0 638846831 80891904 18733 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19749 18733 1111 63 0 19686 0
vsize: 78996
[startup+170.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 21810
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 19166 0 0 0 16915 83 0 0 25 0 1 0 638846831 82558976 19128 4294967295 134512640 134714540 3221221776 3221220464 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20156 19128 1111 63 0 20093 0
vsize: 80624
[startup+180.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 21810
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 19501 0 0 0 17914 85 0 0 25 0 1 0 638846831 83922944 19460 4294967295 134512640 134714540 3221221776 3221220496 134529157 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20489 19460 1111 63 0 20426 0
vsize: 81956
[startup+190.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 21810
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 19827 0 0 0 18912 86 0 0 25 0 1 0 638846831 85327872 19783 4294967295 134512640 134714540 3221221776 3221220540 134552557 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20832 19783 1111 63 0 20769 0
vsize: 83328
[startup+200.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 21810
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 20119 0 0 0 19910 88 0 0 25 0 1 0 638846831 86552576 20074 4294967295 134512640 134714540 3221221776 3221220364 134535895 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21131 20074 1111 63 0 21068 0
vsize: 84524
[startup+210.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 21810
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 20397 0 0 0 20909 90 0 0 25 0 1 0 638846831 87633920 20350 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21395 20350 1111 63 0 21332 0
vsize: 85580
[startup+220.008 s]
Raw data (loadavg): 1.07 1.02 1.00 2/58 21860
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 20838 0 0 0 21907 92 0 0 25 0 1 0 638846831 89399296 20790 4294967295 134512640 134714540 3221221776 3221220560 134529259 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21826 20790 1111 63 0 21763 0
vsize: 87304
[startup+230.007 s]
Raw data (loadavg): 1.20 1.05 1.01 2/54 21863
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 21144 0 0 0 22906 93 0 0 25 0 1 0 638846831 90624000 21094 4294967295 134512640 134714540 3221221776 3221220544 134529113 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22125 21094 1111 63 0 22062 0
vsize: 88500
[startup+240.007 s]
Raw data (loadavg): 1.17 1.05 1.00 2/54 21863
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 21432 0 0 0 23904 95 0 0 25 0 1 0 638846831 91910144 21382 4294967295 134512640 134714540 3221221776 3221220400 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22439 21382 1111 63 0 22376 0
vsize: 89756
[startup+250.35 s]
Raw data (loadavg): 1.15 1.04 1.00 2/54 21863
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 22014 0 0 0 24936 97 0 0 25 0 1 0 638846831 94220288 21964 4294967295 134512640 134714540 3221221776 3221220324 134696760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23003 21964 1111 63 0 22940 0
vsize: 92012
[startup+260.35 s]
Raw data (loadavg): 1.12 1.04 1.00 2/54 21863
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 23654 0 0 0 25930 103 0 0 25 0 1 0 638846831 100986880 23604 4294967295 134512640 134714540 3221221776 3221220464 134528607 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24655 23604 1111 63 0 24592 0
vsize: 98620
[startup+270.35 s]
Raw data (loadavg): 1.10 1.04 1.00 2/54 21863
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 24740 0 0 0 26926 107 0 0 25 0 1 0 638846831 105451520 24689 4294967295 134512640 134714540 3221221776 3221220480 134528665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25745 24689 1111 63 0 25682 0
vsize: 102980
[startup+280.35 s]
Raw data (loadavg): 1.09 1.04 1.00 2/54 21863
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 25511 0 0 0 27924 110 0 0 25 0 1 0 638846831 108732416 25460 4294967295 134512640 134714540 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26546 25460 1111 63 0 26483 0
vsize: 106184
[startup+290.351 s]
Raw data (loadavg): 1.07 1.04 1.00 2/54 21865
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 25930 0 0 0 28923 111 0 0 25 0 1 0 638846831 110407680 25879 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26955 25879 1111 63 0 26892 0
vsize: 107820
[startup+300.351 s]
Raw data (loadavg): 1.06 1.03 1.00 2/54 21865
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 26239 0 0 0 29922 113 0 0 25 0 1 0 638846831 111759360 26188 4294967295 134512640 134714540 3221221776 3221220512 134535829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27285 26188 1111 63 0 27222 0
vsize: 109140
[startup+310.352 s]
Raw data (loadavg): 1.05 1.03 1.00 2/54 21865
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 26544 0 0 0 30920 114 0 0 25 0 1 0 638846831 113070080 26491 4294967295 134512640 134714540 3221221776 3221220352 134549802 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27605 26491 1111 63 0 27542 0
vsize: 110420
[startup+320.353 s]
Raw data (loadavg): 1.04 1.03 1.00 2/54 21865
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 26827 0 0 0 31918 116 0 0 25 0 1 0 638846831 114126848 26770 4294967295 134512640 134714540 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27863 26770 1111 63 0 27800 0
vsize: 111452
[startup+330.353 s]
Raw data (loadavg): 1.04 1.03 1.00 2/54 21865
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 27078 0 0 0 32917 118 0 0 25 0 1 0 638846831 115208192 27021 4294967295 134512640 134714540 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28127 27021 1111 63 0 28064 0
vsize: 112508
[startup+340.354 s]
Raw data (loadavg): 1.03 1.03 1.00 2/54 21865
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 27299 0 0 0 33916 119 0 0 25 0 1 0 638846831 116023296 27241 4294967295 134512640 134714540 3221221776 3221220492 134536746 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28326 27241 1111 63 0 28263 0
vsize: 113304
[startup+350.354 s]
Raw data (loadavg): 1.02 1.03 1.00 2/54 21865
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 27547 0 0 0 34915 120 0 0 25 0 1 0 638846831 116969472 27489 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28557 27489 1111 63 0 28494 0
vsize: 114228
[startup+360.354 s]
Raw data (loadavg): 1.02 1.03 1.00 2/54 21865
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 27756 0 0 0 35914 121 0 0 25 0 1 0 638846831 117780480 27698 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28755 27698 1111 63 0 28692 0
vsize: 115020
[startup+370.354 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 21865
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 27946 0 0 0 36914 122 0 0 25 0 1 0 638846831 118591488 27888 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28953 27888 1111 63 0 28890 0
vsize: 115812
[startup+380.354 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 21865
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 28122 0 0 0 37913 123 0 0 25 0 1 0 638846831 119304192 28064 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29127 28064 1111 63 0 29064 0
vsize: 116508
[startup+390.356 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 21865
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 28328 0 0 0 38912 124 0 0 25 0 1 0 638846831 120168448 28270 4294967295 134512640 134714540 3221221776 3221220496 134523872 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29338 28270 1111 63 0 29275 0
vsize: 117352
[startup+400.355 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 21865
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 28517 0 0 0 39911 125 0 0 25 0 1 0 638846831 120844288 28459 4294967295 134512640 134714540 3221221776 3221220412 134552672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29503 28459 1111 63 0 29440 0
vsize: 118012
[startup+410.356 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 21865
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 28725 0 0 0 40911 126 0 0 25 0 1 0 638846831 121737216 28666 4294967295 134512640 134714540 3221221776 3221220512 134529393 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29721 28666 1111 63 0 29658 0
vsize: 118884
[startup+420.357 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 21865
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 28909 0 0 0 41910 126 0 0 25 0 1 0 638846831 122425344 28850 4294967295 134512640 134714540 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29889 28850 1111 63 0 29826 0
vsize: 119556
[startup+430.357 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 21865
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 29111 0 0 0 42909 127 0 0 25 0 1 0 638846831 123301888 29050 4294967295 134512640 134714540 3221221776 3221220428 134536791 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30103 29050 1111 63 0 30040 0
vsize: 120412
[startup+440.357 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 21865
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 29297 0 0 0 43909 128 0 0 25 0 1 0 638846831 124112896 29236 4294967295 134512640 134714540 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30301 29236 1111 63 0 30238 0
vsize: 121204
[startup+450.357 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 21865
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 29509 0 0 0 44908 130 0 0 25 0 1 0 638846831 124923904 29448 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30499 29448 1111 63 0 30436 0
vsize: 121996
[startup+460.358 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 21865
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 29826 0 0 0 45906 131 0 0 25 0 1 0 638846831 126275584 29765 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30829 29765 1111 63 0 30766 0
vsize: 123316
[startup+470.358 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 21865
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 30012 0 0 0 46905 132 0 0 25 0 1 0 638846831 127139840 29949 4294967295 134512640 134714540 3221221776 3221220272 134535468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31040 29949 1111 63 0 30977 0
vsize: 124160
[startup+480.358 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 21865
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 30187 0 0 0 47904 134 0 0 25 0 1 0 638846831 127815680 30124 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31205 30124 1111 63 0 31142 0
vsize: 124820
[startup+490.359 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 21865
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 30371 0 0 0 48903 135 0 0 25 0 1 0 638846831 128491520 30308 4294967295 134512640 134714540 3221221776 3221220416 134613451 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31370 30308 1111 63 0 31307 0
vsize: 125480
[startup+500.359 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 21865
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 30609 0 0 0 49903 135 0 0 25 0 1 0 638846831 129572864 30546 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31634 30546 1111 63 0 31571 0
vsize: 126536
[startup+510.36 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 21865
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 30829 0 0 0 50902 136 0 0 25 0 1 0 638846831 130383872 30766 4294967295 134512640 134714540 3221221776 3221220368 134549742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31832 30766 1111 63 0 31769 0
vsize: 127328
[startup+520.36 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 21865
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 31018 0 0 0 51901 137 0 0 25 0 1 0 638846831 131244032 30952 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32042 30952 1111 63 0 31979 0
vsize: 128168
[startup+530.36 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 21865
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 31179 0 0 0 52901 138 0 0 25 0 1 0 638846831 131919872 31113 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32207 31113 1111 63 0 32144 0
vsize: 128828
[startup+540.36 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 21865
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 31332 0 0 0 53900 139 0 0 25 0 1 0 638846831 132460544 31266 4294967295 134512640 134714540 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32339 31266 1111 63 0 32276 0
vsize: 129356
[startup+550.36 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 21865
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 31574 0 0 0 54899 140 0 0 25 0 1 0 638846831 133406720 31508 4294967295 134512640 134714540 3221221776 3221220464 134528712 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32570 31508 1111 63 0 32507 0
vsize: 130280
[startup+560.361 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 21865
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 31758 0 0 0 55899 140 0 0 25 0 1 0 638846831 134221824 31689 4294967295 134512640 134714540 3221221776 3221220400 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32769 31689 1111 63 0 32706 0
vsize: 131076
[startup+570.361 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21865
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 31922 0 0 0 56898 141 0 0 25 0 1 0 638846831 134897664 31853 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32934 31853 1111 63 0 32871 0
vsize: 131736
[startup+580.361 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 32159 0 0 0 57898 142 0 0 25 0 1 0 638846831 135999488 32085 4294967295 134512640 134714540 3221221776 3221220296 134535482 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33203 32085 1111 63 0 33140 0
vsize: 132812
[startup+590.362 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 32348 0 0 0 58896 143 0 0 25 0 1 0 638846831 136916992 32273 4294967295 134512640 134714540 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33427 32273 1111 63 0 33364 0
vsize: 133708
[startup+600.362 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 32543 0 0 0 59896 144 0 0 25 0 1 0 638846831 137760768 32466 4294967295 134512640 134714540 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33633 32466 1111 63 0 33570 0
vsize: 134532
[startup+610.363 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 32803 0 0 0 60894 146 0 0 25 0 1 0 638846831 138878976 32726 4294967295 134512640 134714540 3221221776 3221220364 134535631 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33906 32726 1111 63 0 33843 0
vsize: 135624
[startup+620.363 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 32993 0 0 0 61893 147 0 0 25 0 1 0 638846831 139755520 32916 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34120 32916 1111 63 0 34057 0
vsize: 136480
[startup+630.363 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 33246 0 0 0 62892 149 0 0 25 0 1 0 638846831 140894208 33169 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34398 33169 1111 63 0 34335 0
vsize: 137592
[startup+640.364 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 33426 0 0 0 63891 150 0 0 25 0 1 0 638846831 141570048 33349 4294967295 134512640 134714540 3221221776 3221220332 134535891 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34563 33349 1111 63 0 34500 0
vsize: 138252
[startup+650.364 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 33653 0 0 0 64890 151 0 0 25 0 1 0 638846831 142516224 33576 4294967295 134512640 134714540 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34794 33576 1111 63 0 34731 0
vsize: 139176
[startup+660.364 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 33958 0 0 0 65890 151 0 0 25 0 1 0 638846831 143785984 33878 4294967295 134512640 134714540 3221221776 3221220464 134551897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35104 33878 1111 63 0 35041 0
vsize: 140416
[startup+670.364 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 34217 0 0 0 66889 152 0 0 25 0 1 0 638846831 144977920 34135 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35395 34135 1111 63 0 35332 0
vsize: 141580
[startup+680.364 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 34457 0 0 0 67889 153 0 0 25 0 1 0 638846831 146063360 34375 4294967295 134512640 134714540 3221221776 3221220396 134549508 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35660 34375 1111 63 0 35597 0
vsize: 142640
[startup+690.365 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 34602 0 0 0 68888 153 0 0 25 0 1 0 638846831 146604032 34520 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35792 34520 1111 63 0 35729 0
vsize: 143168
[startup+700.365 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 34788 0 0 0 69888 153 0 0 25 0 1 0 638846831 147415040 34706 4294967295 134512640 134714540 3221221776 3221220404 134696293 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35990 34706 1111 63 0 35927 0
vsize: 143960
[startup+710.366 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 34958 0 0 0 70888 155 0 0 25 0 1 0 638846831 148090880 34876 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36155 34876 1111 63 0 36092 0
vsize: 144620
[startup+720.366 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 35168 0 0 0 71887 156 0 0 25 0 1 0 638846831 148901888 35086 4294967295 134512640 134714540 3221221776 3221220332 134535631 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36353 35086 1111 63 0 36290 0
vsize: 145412
[startup+730.366 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 35358 0 0 0 72886 156 0 0 25 0 1 0 638846831 149712896 35276 4294967295 134512640 134714540 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36551 35276 1111 63 0 36488 0
vsize: 146204
[startup+740.366 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 35522 0 0 0 73885 157 0 0 25 0 1 0 638846831 150388736 35440 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36716 35440 1111 63 0 36653 0
vsize: 146864
[startup+750.366 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 35686 0 0 0 74885 158 0 0 25 0 1 0 638846831 151064576 35604 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36881 35604 1111 63 0 36818 0
vsize: 147524
[startup+760.367 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 35877 0 0 0 75884 159 0 0 25 0 1 0 638846831 151875584 35795 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37079 35795 1111 63 0 37016 0
vsize: 148316
[startup+770.368 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 36052 0 0 0 76884 159 0 0 25 0 1 0 638846831 152551424 35970 4294967295 134512640 134714540 3221221776 3221220284 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37244 35970 1111 63 0 37181 0
vsize: 148976
[startup+780.368 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 36229 0 0 0 77884 160 0 0 25 0 1 0 638846831 153399296 36147 4294967295 134512640 134714540 3221221776 3221220404 134536674 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37451 36147 1111 63 0 37388 0
vsize: 149804
[startup+790.368 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 36394 0 0 0 78883 161 0 0 25 0 1 0 638846831 154075136 36312 4294967295 134512640 134714540 3221221776 3221220332 134535620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37616 36312 1111 63 0 37553 0
vsize: 150464
[startup+800.368 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 36564 0 0 0 79882 162 0 0 25 0 1 0 638846831 154750976 36482 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37781 36482 1111 63 0 37718 0
vsize: 151124
[startup+810.369 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 36751 0 0 0 80881 163 0 0 25 0 1 0 638846831 155426816 36669 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37946 36669 1111 63 0 37883 0
vsize: 151784
[startup+820.368 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 36948 0 0 0 81880 164 0 0 25 0 1 0 638846831 156237824 36866 4294967295 134512640 134714540 3221221776 3221220368 134549668 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38144 36866 1111 63 0 38081 0
vsize: 152576
[startup+830.368 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 37105 0 0 0 82879 165 0 0 25 0 1 0 638846831 156954624 37021 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38319 37021 1111 63 0 38256 0
vsize: 153276
[startup+840.369 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 37281 0 0 0 83878 166 0 0 25 0 1 0 638846831 157630464 37197 4294967295 134512640 134714540 3221221776 3221220416 134536653 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38484 37197 1111 63 0 38421 0
vsize: 153936
[startup+850.369 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 37476 0 0 0 84878 167 0 0 25 0 1 0 638846831 158441472 37392 4294967295 134512640 134714540 3221221776 3221220492 134551880 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38682 37392 1111 63 0 38619 0
vsize: 154728
[startup+860.37 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 37689 0 0 0 85877 168 0 0 25 0 1 0 638846831 159420416 37605 4294967295 134512640 134714540 3221221776 3221220368 134549541 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38921 37605 1111 63 0 38858 0
vsize: 155684
[startup+870.371 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 37903 0 0 0 86876 169 0 0 25 0 1 0 638846831 160231424 37819 4294967295 134512640 134714540 3221221776 3221220432 134536730 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39119 37819 1111 63 0 39056 0
vsize: 156476
[startup+880.371 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 38093 0 0 0 87876 169 0 0 25 0 1 0 638846831 161042432 38009 4294967295 134512640 134714540 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39317 38009 1111 63 0 39254 0
vsize: 157268
[startup+890.371 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 38290 0 0 0 88875 170 0 0 25 0 1 0 638846831 161853440 38206 4294967295 134512640 134714540 3221221776 3221220432 134536724 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39515 38206 1111 63 0 39452 0
vsize: 158060
[startup+900.371 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 38493 0 0 0 89874 171 0 0 25 0 1 0 638846831 162664448 38409 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39713 38409 1111 63 0 39650 0
vsize: 158852
[startup+910.372 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 38710 0 0 0 90873 172 0 0 25 0 1 0 638846831 163512320 38624 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39920 38624 1111 63 0 39857 0
vsize: 159680
[startup+920.372 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 38970 0 0 0 91873 173 0 0 25 0 1 0 638846831 164593664 38884 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40184 38884 1111 63 0 40121 0
vsize: 160736
[startup+930.372 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 39145 0 0 0 92872 174 0 0 25 0 1 0 638846831 165269504 39059 4294967295 134512640 134714540 3221221776 3221220400 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40349 39059 1111 63 0 40286 0
vsize: 161396
[startup+940.373 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 39390 0 0 0 93871 175 0 0 25 0 1 0 638846831 166215680 39304 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40580 39304 1111 63 0 40517 0
vsize: 162320
[startup+950.373 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 39642 0 0 0 94871 176 0 0 25 0 1 0 638846831 167297024 39556 4294967295 134512640 134714540 3221221776 3221220496 134535757 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40844 39556 1111 63 0 40781 0
vsize: 163376
[startup+960.374 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 39863 0 0 0 95870 177 0 0 25 0 1 0 638846831 168112128 39777 4294967295 134512640 134714540 3221221776 3221220332 134535903 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41043 39777 1111 63 0 40980 0
vsize: 164172
[startup+970.373 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 40096 0 0 0 96869 178 0 0 25 0 1 0 638846831 169058304 40010 4294967295 134512640 134714540 3221221776 3221220456 134552642 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41274 40010 1111 63 0 41211 0
vsize: 165096
[startup+980.373 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 40353 0 0 0 97868 179 0 0 25 0 1 0 638846831 170139648 40267 4294967295 134512640 134714540 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41538 40267 1111 63 0 41475 0
vsize: 166152
[startup+990.374 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 40568 0 0 0 98867 180 0 0 25 0 1 0 638846831 170950656 40482 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41736 40482 1111 63 0 41673 0
vsize: 166944
[startup+1000.37 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 40710 0 0 0 99867 181 0 0 25 0 1 0 638846831 171491328 40624 4294967295 134512640 134714540 3221221776 3221220304 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41868 40624 1111 63 0 41805 0
vsize: 167472
[startup+1010.38 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 40855 0 0 0 100866 182 0 0 25 0 1 0 638846831 172167168 40769 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42033 40769 1111 63 0 41970 0
vsize: 168132
[startup+1020.38 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 40998 0 0 0 101865 183 0 0 25 0 1 0 638846831 172736512 40912 4294967295 134512640 134714540 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42172 40912 1111 63 0 42109 0
vsize: 168688
[startup+1030.38 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 41434 0 0 0 102864 184 0 0 25 0 1 0 638846831 174497792 41348 4294967295 134512640 134714540 3221221776 3221220352 134549802 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42602 41348 1111 63 0 42539 0
vsize: 170408
[startup+1040.37 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 42494 0 0 0 103860 188 0 0 25 0 1 0 638846831 178823168 42408 4294967295 134512640 134714540 3221221776 3221220480 134528677 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43658 42408 1111 63 0 43595 0
vsize: 174632
[startup+1050.38 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 43188 0 0 0 104858 191 0 0 25 0 1 0 638846831 181678080 43100 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44355 43100 1111 63 0 44292 0
vsize: 177420
[startup+1060.38 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 43606 0 0 0 105856 193 0 0 25 0 1 0 638846831 183435264 43518 4294967295 134512640 134714540 3221221776 3221220512 134529368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44784 43518 1111 63 0 44721 0
vsize: 179136
[startup+1070.38 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 43950 0 0 0 106854 195 0 0 25 0 1 0 638846831 184967168 43861 4294967295 134512640 134714540 3221221776 3221220360 134542289 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45158 43861 1111 63 0 45095 0
vsize: 180632
[startup+1080.38 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 44591 0 0 0 107852 197 0 0 25 0 1 0 638846831 187535360 44502 4294967295 134512640 134714540 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45785 44502 1111 63 0 45722 0
vsize: 183140
[startup+1090.38 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 45065 0 0 0 108850 199 0 0 25 0 1 0 638846831 189431808 44976 4294967295 134512640 134714540 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46248 44976 1111 63 0 46185 0
vsize: 184992
[startup+1100.38 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 45407 0 0 0 109850 200 0 0 25 0 1 0 638846831 190955520 45313 4294967295 134512640 134714540 3221221776 3221220396 134549859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46620 45313 1111 63 0 46557 0
vsize: 186480
[startup+1110.38 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 45838 0 0 0 110848 201 0 0 25 0 1 0 638846831 192577536 45744 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47016 45744 1111 63 0 46953 0
vsize: 188064
[startup+1120.38 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 46311 0 0 0 111847 203 0 0 25 0 1 0 638846831 194613248 46213 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47513 46213 1111 63 0 47450 0
vsize: 190052
[startup+1130.38 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 46741 0 0 0 112845 205 0 0 25 0 1 0 638846831 196370432 46643 4294967295 134512640 134714540 3221221776 3221220560 134529296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47942 46643 1111 63 0 47879 0
vsize: 191768
[startup+1140.38 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 47130 0 0 0 113843 207 0 0 25 0 1 0 638846831 198004736 47032 4294967295 134512640 134714540 3221221776 3221220332 134535891 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48341 47032 1111 63 0 48278 0
vsize: 193364
[startup+1150.38 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 47414 0 0 0 114842 209 0 0 25 0 1 0 638846831 199086080 47315 4294967295 134512640 134714540 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48605 47315 1111 63 0 48542 0
vsize: 194420
[startup+1160.38 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 47638 0 0 0 115841 209 0 0 25 0 1 0 638846831 200032256 47539 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48836 47539 1111 63 0 48773 0
vsize: 195344
[startup+1170.38 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 48092 0 0 0 116840 211 0 0 25 0 1 0 638846831 201924608 47993 4294967295 134512640 134714540 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49298 47993 1111 63 0 49235 0
vsize: 197192
[startup+1175.04 s]
Raw data (loadavg): 1.00 1.00 1.00 1/53 21867
Raw data (stat): 21810 (bsolo_mis) R 21809 7876 7672 0 -1 0 48092 0 0 0 116840 211 0 0 25 0 1 0 638846831 201924608 47993 4294967295 134512640 134714540 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49298 47993 1111 63 0 49235 0
vsize: 0

Child status: 0
Real time (s): 1175.04
CPU time (s): 1175.18
CPU user time (s): 1172.97
CPU system time (s): 2.20866
CPU usage (%): 100.012
Max. virtual memory (Kb): 197192
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####