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-fpga12_11_sat_pb.cnf.cr.opb
MD5SUM	2acc4f964e1e6f176bb0ec9705d398d2
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	13
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.044993
Number of variables	198
Total number of constraints	166
Number of constraints which are clauses	143
Number of constraints which are cardinality constraints (but not clauses)	23
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	6
Maximum length of a constraint	12
Trace number 23284

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 03:58:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=255 boxname=wulflinc31 idbench=29 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  2acc4f964e1e6f176bb0ec9705d398d2  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga12_11_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-fpga12_11_sat_pb.cnf.cr.opb
IDLAUNCH: 255
/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:        928892 kB
Buffers:         37388 kB
Cached:          46476 kB
SwapCached:        864 kB
Active:          71576 kB
Inactive:        14616 kB
HighTotal:      131008 kB
HighFree:        83608 kB
LowTotal:       903652 kB
LowFree:        845284 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13900 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 04:17:52 (client local time) WITH STATUS 0 IN 1175.11 SECONDS
stats: 255 7 1175.11 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 198 variables and 166 constraints.
c After prepocess the problem consists of 198 variables and 166 constraints.
c preprocess terminated 0.086 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 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): 1.06 1.02 0.95 2/54 19135
Raw data (stat): 19135 (runsolver) R 19134 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 637056671 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0006 s]
Raw data (loadavg): 1.05 1.01 0.95 2/54 19135
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 2743 0 0 0 986 11 0 0 25 0 1 0 637056671 14925824 2718 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3644 2718 1111 63 0 3581 0
vsize: 14576
[startup+20.0006 s]
Raw data (loadavg): 1.04 1.01 0.95 2/54 19135
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 3862 0 0 0 1981 15 0 0 25 0 1 0 637056671 19402752 3837 4294967295 134512640 134714540 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4737 3837 1111 63 0 4674 0
vsize: 18948
[startup+30.0015 s]
Raw data (loadavg): 1.04 1.01 0.95 2/54 19135
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 5285 0 0 0 2975 22 0 0 25 0 1 0 637056671 25354240 5259 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6190 5259 1111 63 0 6127 0
vsize: 24760
[startup+40.0014 s]
Raw data (loadavg): 1.03 1.01 0.95 2/54 19135
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 6596 0 0 0 3969 27 0 0 25 0 1 0 637056671 30765056 6570 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7511 6570 1111 63 0 7448 0
vsize: 30044
[startup+50.0024 s]
Raw data (loadavg): 1.02 1.01 0.95 2/54 19135
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 7321 0 0 0 4967 30 0 0 25 0 1 0 637056671 33751040 7292 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8240 7292 1111 63 0 8177 0
vsize: 32960
[startup+60.0023 s]
Raw data (loadavg): 1.02 1.01 0.95 2/54 19135
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 7902 0 0 0 5963 34 0 0 25 0 1 0 637056671 36102144 7872 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8814 7872 1111 63 0 8751 0
vsize: 35256
[startup+70.0022 s]
Raw data (loadavg): 1.02 1.01 0.95 2/54 19135
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 8688 0 0 0 6959 38 0 0 25 0 1 0 637056671 39346176 8658 4294967295 134512640 134714540 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9606 8658 1111 63 0 9543 0
vsize: 38424
[startup+80.0032 s]
Raw data (loadavg): 1.01 1.01 0.95 2/54 19135
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 9392 0 0 0 7957 40 0 0 25 0 1 0 637056671 42344448 9362 4294967295 134512640 134714540 3221221776 3221220540 134552560 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10338 9362 1111 63 0 10275 0
vsize: 41352
[startup+90.003 s]
Raw data (loadavg): 1.01 1.01 0.95 2/54 19135
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 9924 0 0 0 8955 42 0 0 25 0 1 0 637056671 44568576 9893 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10881 9893 1111 63 0 10818 0
vsize: 43524
[startup+100.003 s]
Raw data (loadavg): 1.01 1.01 0.95 2/54 19135
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 10415 0 0 0 9953 44 0 0 25 0 1 0 637056671 46661632 10381 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11392 10381 1111 63 0 11329 0
vsize: 45568
[startup+110.005 s]
Raw data (loadavg): 1.09 1.02 0.95 3/57 19171
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 10889 0 0 0 10951 47 0 0 25 0 1 0 637056671 48558080 10854 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11855 10854 1111 63 0 11792 0
vsize: 47420
[startup+120.006 s]
Raw data (loadavg): 1.07 1.02 0.95 2/54 19188
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 11449 0 0 0 11948 49 0 0 25 0 1 0 637056671 50896896 11414 4294967295 134512640 134714540 3221221776 3221220536 134552578 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12426 11414 1111 63 0 12363 0
vsize: 49704
[startup+130.006 s]
Raw data (loadavg): 1.06 1.02 0.95 2/54 19188
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 12054 0 0 0 12945 52 0 0 25 0 1 0 637056671 53485568 12018 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13058 12018 1111 63 0 12995 0
vsize: 52232
[startup+140.006 s]
Raw data (loadavg): 1.05 1.02 0.95 2/54 19188
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 12557 0 0 0 13943 55 0 0 25 0 1 0 637056671 55513088 12521 4294967295 134512640 134714540 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13553 12521 1111 63 0 13490 0
vsize: 54212
[startup+150.006 s]
Raw data (loadavg): 1.04 1.02 0.95 2/54 19188
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 13111 0 0 0 14939 59 0 0 25 0 1 0 637056671 57831424 13075 4294967295 134512640 134714540 3221221776 3221220560 134529266 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14119 13075 1111 63 0 14056 0
vsize: 56476
[startup+160.006 s]
Raw data (loadavg): 1.04 1.02 0.95 2/54 19188
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 13558 0 0 0 15936 62 0 0 25 0 1 0 637056671 59596800 13522 4294967295 134512640 134714540 3221221776 3221220480 134528674 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14550 13522 1111 63 0 14487 0
vsize: 58200
[startup+170.006 s]
Raw data (loadavg): 1.03 1.02 0.95 2/54 19188
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 13828 0 0 0 16934 64 0 0 25 0 1 0 637056671 60817408 13792 4294967295 134512640 134714540 3221221776 3221220512 134528691 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14848 13792 1111 63 0 14785 0
vsize: 59392
[startup+180.005 s]
Raw data (loadavg): 1.02 1.01 0.95 2/54 19188
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 14113 0 0 0 17932 66 0 0 25 0 1 0 637056671 61911040 14077 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15115 14077 1111 63 0 15052 0
vsize: 60460
[startup+190.006 s]
Raw data (loadavg): 1.02 1.01 0.95 2/54 19190
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 14452 0 0 0 18930 68 0 0 25 0 1 0 637056671 63262720 14416 4294967295 134512640 134714540 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15445 14416 1111 63 0 15382 0
vsize: 61780
[startup+200.006 s]
Raw data (loadavg): 1.02 1.01 0.95 2/54 19190
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 15074 0 0 0 19927 71 0 0 25 0 1 0 637056671 65843200 15038 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16075 15038 1111 63 0 16012 0
vsize: 64300
[startup+210.007 s]
Raw data (loadavg): 1.01 1.01 0.95 2/54 19190
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 15401 0 0 0 20925 74 0 0 25 0 1 0 637056671 67194880 15365 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16405 15365 1111 63 0 16342 0
vsize: 65620
[startup+220.008 s]
Raw data (loadavg): 1.01 1.01 0.95 2/54 19190
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 15718 0 0 0 21923 76 0 0 25 0 1 0 637056671 68583424 15682 4294967295 134512640 134714540 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16744 15682 1111 63 0 16681 0
vsize: 66976
[startup+230.008 s]
Raw data (loadavg): 1.01 1.01 0.95 2/54 19190
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 15978 0 0 0 22921 78 0 0 25 0 1 0 637056671 69664768 15942 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17008 15942 1111 63 0 16945 0
vsize: 68032
[startup+240.008 s]
Raw data (loadavg): 1.01 1.01 0.95 2/54 19190
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 16419 0 0 0 23919 81 0 0 25 0 1 0 637056671 71454720 16380 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17445 16380 1111 63 0 17382 0
vsize: 69780
[startup+250.008 s]
Raw data (loadavg): 1.01 1.01 0.95 2/54 19190
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 16701 0 0 0 24918 82 0 0 25 0 1 0 637056671 72671232 16662 4294967295 134512640 134714540 3221221776 3221220512 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17742 16662 1111 63 0 17679 0
vsize: 70968
[startup+260.009 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 19190
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 16979 0 0 0 25916 84 0 0 25 0 1 0 637056671 73752576 16939 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18006 16939 1111 63 0 17943 0
vsize: 72024
[startup+270.009 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 19190
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 17297 0 0 0 26915 85 0 0 25 0 1 0 637056671 75112448 17257 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18338 17257 1111 63 0 18275 0
vsize: 73352
[startup+280.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19190
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 17538 0 0 0 27913 87 0 0 25 0 1 0 637056671 76075008 17498 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18573 17498 1111 63 0 18510 0
vsize: 74292
[startup+290.011 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19190
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 17777 0 0 0 28912 88 0 0 25 0 1 0 637056671 77217792 17736 4294967295 134512640 134714540 3221221776 3221220332 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18852 17736 1111 63 0 18789 0
vsize: 75408
[startup+300.011 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19190
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 18078 0 0 0 29911 90 0 0 25 0 1 0 637056671 78434304 18037 4294967295 134512640 134714540 3221221776 3221220472 134552673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19149 18037 1111 63 0 19086 0
vsize: 76596
[startup+310.011 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19190
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 18321 0 0 0 30910 91 0 0 25 0 1 0 637056671 79380480 18280 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19380 18280 1111 63 0 19317 0
vsize: 77520
[startup+320.012 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19190
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 18595 0 0 0 31909 92 0 0 25 0 1 0 637056671 80461824 18554 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19644 18554 1111 63 0 19581 0
vsize: 78576
[startup+330.013 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19190
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 18886 0 0 0 32907 94 0 0 25 0 1 0 637056671 81727488 18841 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19953 18841 1111 63 0 19890 0
vsize: 79812
[startup+340.013 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19190
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 19119 0 0 0 33907 95 0 0 25 0 1 0 637056671 82718720 19070 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20195 19070 1111 63 0 20132 0
vsize: 80780
[startup+350.013 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19190
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 19360 0 0 0 34905 96 0 0 25 0 1 0 637056671 83664896 19311 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20426 19311 1111 63 0 20363 0
vsize: 81704
[startup+360.013 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19190
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 19610 0 0 0 35904 98 0 0 25 0 1 0 637056671 84811776 19557 4294967295 134512640 134714540 3221221776 3221220544 134529136 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20706 19557 1111 63 0 20643 0
vsize: 82824
[startup+370.014 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19190
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 19802 0 0 0 36903 99 0 0 25 0 1 0 637056671 85495808 19748 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20873 19748 1111 63 0 20810 0
vsize: 83492
[startup+380.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19190
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 20025 0 0 0 37902 101 0 0 25 0 1 0 637056671 86462464 19971 4294967295 134512640 134714540 3221221776 3221220416 134523874 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21109 19971 1111 63 0 21046 0
vsize: 84436
[startup+390.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19190
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 20203 0 0 0 38901 102 0 0 25 0 1 0 637056671 87154688 20149 4294967295 134512640 134714540 3221221776 3221220352 134549802 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21278 20149 1111 63 0 21215 0
vsize: 85112
[startup+400.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19190
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 20417 0 0 0 39900 103 0 0 25 0 1 0 637056671 88186880 20357 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21530 20357 1111 63 0 21467 0
vsize: 86120
[startup+410.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19190
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 20700 0 0 0 40899 104 0 0 25 0 1 0 637056671 89268224 20640 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21794 20640 1111 63 0 21731 0
vsize: 87176
[startup+420.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19190
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 20945 0 0 0 41898 105 0 0 25 0 1 0 637056671 90382336 20884 4294967295 134512640 134714540 3221221776 3221220456 134523849 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22066 20884 1111 63 0 22003 0
vsize: 88264
[startup+430.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19190
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 21123 0 0 0 42898 106 0 0 25 0 1 0 637056671 91082752 21062 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22237 21062 1111 63 0 22174 0
vsize: 88948
[startup+440.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19190
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 21327 0 0 0 43897 106 0 0 25 0 1 0 637056671 91893760 21266 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22435 21266 1111 63 0 22372 0
vsize: 89740
[startup+450.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19190
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 21543 0 0 0 44897 107 0 0 25 0 1 0 637056671 92868608 21480 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22673 21480 1111 63 0 22610 0
vsize: 90692
[startup+460.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19190
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 21729 0 0 0 45896 108 0 0 25 0 1 0 637056671 93601792 21663 4294967295 134512640 134714540 3221221776 3221220416 134523869 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22852 21663 1111 63 0 22789 0
vsize: 91408
[startup+470.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19190
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 22100 0 0 0 46895 109 0 0 25 0 1 0 637056671 95105024 22033 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23219 22033 1111 63 0 23156 0
vsize: 92876
[startup+480.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 22637 0 0 0 47893 112 0 0 25 0 1 0 637056671 97435648 22570 4294967295 134512640 134714540 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23788 22570 1111 63 0 23725 0
vsize: 95152
[startup+490.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 23062 0 0 0 48891 114 0 0 25 0 1 0 637056671 99192832 22995 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24217 22995 1111 63 0 24154 0
vsize: 96868
[startup+500.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 23363 0 0 0 49890 115 0 0 25 0 1 0 637056671 100409344 23296 4294967295 134512640 134714540 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24514 23296 1111 63 0 24451 0
vsize: 98056
[startup+510.022 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 23605 0 0 0 50888 117 0 0 25 0 1 0 637056671 101355520 23538 4294967295 134512640 134714540 3221221776 3221220432 134536635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24745 23538 1111 63 0 24682 0
vsize: 98980
[startup+520.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 23853 0 0 0 51887 118 0 0 25 0 1 0 637056671 102440960 23786 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25010 23786 1111 63 0 24947 0
vsize: 100040
[startup+530.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 24066 0 0 0 52887 119 0 0 25 0 1 0 637056671 103251968 23999 4294967295 134512640 134714540 3221221776 3221220464 134524376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25208 23999 1111 63 0 25145 0
vsize: 100832
[startup+540.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 24266 0 0 0 53885 120 0 0 25 0 1 0 637056671 104062976 24199 4294967295 134512640 134714540 3221221776 3221220488 134551881 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25406 24199 1111 63 0 25343 0
vsize: 101624
[startup+550.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 24542 0 0 0 54884 121 0 0 25 0 1 0 637056671 105279488 24475 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25703 24475 1111 63 0 25640 0
vsize: 102812
[startup+560.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 24816 0 0 0 55883 123 0 0 25 0 1 0 637056671 106360832 24749 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25967 24749 1111 63 0 25904 0
vsize: 103868
[startup+570.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 24964 0 0 0 56882 124 0 0 25 0 1 0 637056671 106913792 24897 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26102 24897 1111 63 0 26039 0
vsize: 104408
[startup+580.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 25135 0 0 0 57881 125 0 0 25 0 1 0 637056671 107589632 25068 4294967295 134512640 134714540 3221221776 3221220380 134536763 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26267 25068 1111 63 0 26204 0
vsize: 105068
[startup+590.026 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 25277 0 0 0 58880 126 0 0 25 0 1 0 637056671 108265472 25210 4294967295 134512640 134714540 3221221776 3221220480 134528665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26432 25210 1111 63 0 26369 0
vsize: 105728
[startup+600.026 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 25518 0 0 0 59879 128 0 0 25 0 1 0 637056671 109211648 25451 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26663 25451 1111 63 0 26600 0
vsize: 106652
[startup+610.027 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 25888 0 0 0 60877 130 0 0 25 0 1 0 637056671 110698496 25821 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27026 25821 1111 63 0 26963 0
vsize: 108104
[startup+620.027 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 26340 0 0 0 61875 132 0 0 25 0 1 0 637056671 112517120 26273 4294967295 134512640 134714540 3221221776 3221220332 134535895 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27470 26273 1111 63 0 27407 0
vsize: 109880
[startup+630.028 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 26611 0 0 0 62874 134 0 0 25 0 1 0 637056671 113733632 26544 4294967295 134512640 134714540 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27767 26544 1111 63 0 27704 0
vsize: 111068
[startup+640.029 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 26872 0 0 0 63872 135 0 0 25 0 1 0 637056671 114814976 26805 4294967295 134512640 134714540 3221221776 3221220332 134535676 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28031 26805 1111 63 0 27968 0
vsize: 112124
[startup+650.029 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 27085 0 0 0 64871 137 0 0 25 0 1 0 637056671 115625984 27018 4294967295 134512640 134714540 3221221776 3221220284 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28229 27018 1111 63 0 28166 0
vsize: 112916
[startup+660.029 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 27258 0 0 0 65870 138 0 0 25 0 1 0 637056671 116441088 27191 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28428 27191 1111 63 0 28365 0
vsize: 113712
[startup+670.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 27418 0 0 0 66869 139 0 0 25 0 1 0 637056671 117010432 27350 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28567 27350 1111 63 0 28504 0
vsize: 114268
[startup+680.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 27782 0 0 0 67868 140 0 0 25 0 1 0 637056671 118497280 27714 4294967295 134512640 134714540 3221221776 3221220368 134549809 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28930 27714 1111 63 0 28867 0
vsize: 115720
[startup+690.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 28034 0 0 0 68867 141 0 0 25 0 1 0 637056671 119443456 27966 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29161 27966 1111 63 0 29098 0
vsize: 116644
[startup+700.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 28326 0 0 0 69865 143 0 0 25 0 1 0 637056671 120811520 28257 4294967295 134512640 134714540 3221221776 3221220336 134696615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29495 28257 1111 63 0 29432 0
vsize: 117980
[startup+710.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 28659 0 0 0 70864 145 0 0 25 0 1 0 637056671 122167296 28590 4294967295 134512640 134714540 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29826 28590 1111 63 0 29763 0
vsize: 119304
[startup+720.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 28840 0 0 0 71863 146 0 0 25 0 1 0 637056671 122843136 28771 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 28771 1111 63 0 29928 0
vsize: 119964
[startup+730.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 29061 0 0 0 72862 147 0 0 25 0 1 0 637056671 123789312 28992 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30222 28992 1111 63 0 30159 0
vsize: 120888
[startup+740.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 29227 0 0 0 73861 148 0 0 25 0 1 0 637056671 124329984 29158 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30354 29158 1111 63 0 30291 0
vsize: 121416
[startup+750.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 29547 0 0 0 74860 150 0 0 25 0 1 0 637056671 125767680 29475 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30705 29475 1111 63 0 30642 0
vsize: 122820
[startup+760.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 29760 0 0 0 75859 151 0 0 25 0 1 0 637056671 126578688 29688 4294967295 134512640 134714540 3221221776 3221220512 134529177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30903 29688 1111 63 0 30840 0
vsize: 123612
[startup+770.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 29924 0 0 0 76858 152 0 0 25 0 1 0 637056671 127254528 29852 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31068 29852 1111 63 0 31005 0
vsize: 124272
[startup+780.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 30088 0 0 0 77858 152 0 0 25 0 1 0 637056671 127930368 30016 4294967295 134512640 134714540 3221221776 3221220560 134529404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31233 30016 1111 63 0 31170 0
vsize: 124932
[startup+790.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 30224 0 0 0 78857 153 0 0 25 0 1 0 637056671 128471040 30152 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31365 30152 1111 63 0 31302 0
vsize: 125460
[startup+800.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 30393 0 0 0 79857 154 0 0 25 0 1 0 637056671 129069056 30321 4294967295 134512640 134714540 3221221776 3221220432 134536738 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31511 30321 1111 63 0 31448 0
vsize: 126044
[startup+810.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 30554 0 0 0 80856 155 0 0 25 0 1 0 637056671 129744896 30482 4294967295 134512640 134714540 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31676 30482 1111 63 0 31613 0
vsize: 126704
[startup+820.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 30723 0 0 0 81855 156 0 0 25 0 1 0 637056671 130420736 30651 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31841 30651 1111 63 0 31778 0
vsize: 127364
[startup+830.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 30877 0 0 0 82854 157 0 0 25 0 1 0 637056671 131182592 30802 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32027 30802 1111 63 0 31964 0
vsize: 128108
[startup+840.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 31001 0 0 0 83854 157 0 0 25 0 1 0 637056671 131829760 30923 4294967295 134512640 134714540 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32185 30923 1111 63 0 32122 0
vsize: 128740
[startup+850.038 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 31101 0 0 0 84854 158 0 0 25 0 1 0 637056671 132112384 31023 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32254 31023 1111 63 0 32191 0
vsize: 129016
[startup+860.038 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 31196 0 0 0 85853 159 0 0 25 0 1 0 637056671 132587520 31117 4294967295 134512640 134714540 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32370 31117 1111 63 0 32307 0
vsize: 129480
[startup+870.038 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 31324 0 0 0 86853 159 0 0 25 0 1 0 637056671 133165056 31244 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32511 31244 1111 63 0 32448 0
vsize: 130044
[startup+880.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 31432 0 0 0 87853 159 0 0 25 0 1 0 637056671 133570560 31352 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32610 31352 1111 63 0 32547 0
vsize: 130440
[startup+890.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 31539 0 0 0 88853 160 0 0 25 0 1 0 637056671 134062080 31455 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32730 31455 1111 63 0 32667 0
vsize: 130920
[startup+900.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 31601 0 0 0 89852 161 0 0 25 0 1 0 637056671 134332416 31517 4294967295 134512640 134714540 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32796 31517 1111 63 0 32733 0
vsize: 131184
[startup+910.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 31692 0 0 0 90852 161 0 0 25 0 1 0 637056671 134627328 31606 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32868 31606 1111 63 0 32805 0
vsize: 131472
[startup+920.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 31793 0 0 0 91851 162 0 0 25 0 1 0 637056671 135032832 31707 4294967295 134512640 134714540 3221221776 3221220500 134535789 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32967 31707 1111 63 0 32904 0
vsize: 131868
[startup+930.041 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 31890 0 0 0 92851 162 0 0 25 0 1 0 637056671 135536640 31804 4294967295 134512640 134714540 3221221776 3221220480 134528617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33090 31804 1111 63 0 33027 0
vsize: 132360
[startup+940.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 31983 0 0 0 93851 163 0 0 25 0 1 0 637056671 136003584 31896 4294967295 134512640 134714540 3221221776 3221220528 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33204 31896 1111 63 0 33141 0
vsize: 132816
[startup+950.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 32097 0 0 0 94851 163 0 0 25 0 1 0 637056671 136474624 32010 4294967295 134512640 134714540 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33319 32010 1111 63 0 33256 0
vsize: 133276
[startup+960.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 32164 0 0 0 95851 163 0 0 25 0 1 0 637056671 136781824 32077 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33394 32077 1111 63 0 33331 0
vsize: 133576
[startup+970.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 32284 0 0 0 96850 164 0 0 25 0 1 0 637056671 137437184 32190 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33554 32190 1111 63 0 33491 0
vsize: 134216
[startup+980.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 32413 0 0 0 97850 164 0 0 25 0 1 0 637056671 137879552 32317 4294967295 134512640 134714540 3221221776 3221220348 134535988 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33662 32317 1111 63 0 33599 0
vsize: 134648
[startup+990.043 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 32535 0 0 0 98850 165 0 0 25 0 1 0 637056671 138518528 32437 4294967295 134512640 134714540 3221221776 3221220536 134552642 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33818 32437 1111 63 0 33755 0
vsize: 135272
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 32600 0 0 0 99849 165 0 0 25 0 1 0 637056671 138788864 32502 4294967295 134512640 134714540 3221221776 3221220440 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33884 32502 1111 63 0 33821 0
vsize: 135536
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 32671 0 0 0 100849 165 0 0 25 0 1 0 637056671 139059200 32573 4294967295 134512640 134714540 3221221776 3221220496 134523874 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33950 32573 1111 63 0 33887 0
vsize: 135800
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 32773 0 0 0 101849 166 0 0 25 0 1 0 637056671 139464704 32675 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34049 32675 1111 63 0 33986 0
vsize: 136196
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 32844 0 0 0 102849 166 0 0 25 0 1 0 637056671 139735040 32746 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34115 32746 1111 63 0 34052 0
vsize: 136460
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 32935 0 0 0 103849 166 0 0 25 0 1 0 637056671 140140544 32837 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34214 32837 1111 63 0 34151 0
vsize: 136856
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 33006 0 0 0 104849 166 0 0 25 0 1 0 637056671 140423168 32907 4294967295 134512640 134714540 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34283 32907 1111 63 0 34220 0
vsize: 137132
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 33083 0 0 0 105849 167 0 0 25 0 1 0 637056671 140767232 32983 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34367 32983 1111 63 0 34304 0
vsize: 137468
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 33159 0 0 0 106849 167 0 0 25 0 1 0 637056671 141037568 33059 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34433 33059 1111 63 0 34370 0
vsize: 137732
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 33238 0 0 0 107849 168 0 0 25 0 1 0 637056671 141307904 33138 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34499 33138 1111 63 0 34436 0
vsize: 137996
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 33342 0 0 0 108848 168 0 0 25 0 1 0 637056671 141848576 33242 4294967295 134512640 134714540 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34631 33242 1111 63 0 34568 0
vsize: 138524
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 33529 0 0 0 109847 169 0 0 25 0 1 0 637056671 142725120 33429 4294967295 134512640 134714540 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34845 33429 1111 63 0 34782 0
vsize: 139380
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 33762 0 0 0 110847 170 0 0 25 0 1 0 637056671 143671296 33662 4294967295 134512640 134714540 3221221776 3221220496 134535757 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35076 33662 1111 63 0 35013 0
vsize: 140304
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 33930 0 0 0 111846 171 0 0 25 0 1 0 637056671 144347136 33830 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35241 33830 1111 63 0 35178 0
vsize: 140964
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 34065 0 0 0 112846 172 0 0 25 0 1 0 637056671 144900096 33963 4294967295 134512640 134714540 3221221776 3221220480 134528617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35376 33963 1111 63 0 35313 0
vsize: 141504
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 34276 0 0 0 113845 173 0 0 25 0 1 0 637056671 145911808 34174 4294967295 134512640 134714540 3221221776 3221220480 134528671 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35623 34174 1111 63 0 35560 0
vsize: 142492
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 34432 0 0 0 114844 173 0 0 25 0 1 0 637056671 146452480 34330 4294967295 134512640 134714540 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35755 34330 1111 63 0 35692 0
vsize: 143020
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 34595 0 0 0 115844 174 0 0 25 0 1 0 637056671 147128320 34493 4294967295 134512640 134714540 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35920 34493 1111 63 0 35857 0
vsize: 143680
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 34805 0 0 0 116843 175 0 0 25 0 1 0 637056671 147939328 34703 4294967295 134512640 134714540 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36118 34703 1111 63 0 36055 0
vsize: 144472
[startup+1174.99 s]
Raw data (loadavg): 1.00 1.00 0.95 1/53 19192
Raw data (stat): 19135 (bsolo_mis) R 19134 7876 7672 0 -1 0 34805 0 0 0 116843 175 0 0 25 0 1 0 637056671 147939328 34703 4294967295 134512640 134714540 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36118 34703 1111 63 0 36055 0
vsize: 0

Child status: 0
Real time (s): 1174.99
CPU time (s): 1175.11
CPU user time (s): 1173.29
CPU system time (s): 1.81972
CPU usage (%): 100.01
Max. virtual memory (Kb): 144472
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####