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-fpga25_25_sat_pb.cnf.cr.opb
MD5SUM	54139ff5e28c6041ec6c692b0d10f866
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	26
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.362944
Number of variables	938
Total number of constraints	700
Number of constraints which are clauses	650
Number of constraints which are cardinality constraints (but not clauses)	50
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	12
Maximum length of a constraint	25
Trace number 23364

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 19:55:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=399 boxname=wulflinc31 idbench=45 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  54139ff5e28c6041ec6c692b0d10f866  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga25_25_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-fpga25_25_sat_pb.cnf.cr.opb
IDLAUNCH: 399
/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:        926420 kB
Buffers:         38704 kB
Cached:          47596 kB
SwapCached:        944 kB
Active:          72720 kB
Inactive:        16028 kB
HighTotal:      131008 kB
HighFree:        82488 kB
LowTotal:       903652 kB
LowFree:        843932 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            13960 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 20:15:20 (client local time) WITH STATUS 0 IN 1175.03 SECONDS
stats: 399 7 1175.03 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 938 variables and 700 constraints.
c After prepocess the problem consists of 938 variables and 700 constraints.
c preprocess terminated 1.015 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 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.91 0.95 0.95 2/54 27698
Raw data (stat): 27698 (runsolver) R 27697 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 642802160 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.0009 s]
Raw data (loadavg): 0.93 0.95 0.95 2/54 27698
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 1646 0 0 0 989 6 0 0 25 0 1 0 642802160 10326016 1621 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2521 1621 1111 63 0 2458 0
vsize: 10084
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.96 0.95 2/54 27698
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 1805 0 0 0 1986 9 0 0 25 0 1 0 642802160 11001856 1780 4294967295 134512640 134714540 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2686 1780 1111 63 0 2623 0
vsize: 10744
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.96 0.95 2/54 27698
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 1936 0 0 0 2984 12 0 0 25 0 1 0 642802160 11522048 1911 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2813 1911 1111 63 0 2750 0
vsize: 11252
[startup+40.0015 s]
Raw data (loadavg): 0.95 0.96 0.95 2/54 27698
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 2003 0 0 0 3983 13 0 0 25 0 1 0 642802160 11919360 1978 4294967295 134512640 134714540 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2910 1978 1111 63 0 2847 0
vsize: 11640
[startup+50.0014 s]
Raw data (loadavg): 0.96 0.96 0.95 2/54 27698
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 2143 0 0 0 4981 16 0 0 25 0 1 0 642802160 12451840 2118 4294967295 134512640 134714540 3221221776 3221220404 134543092 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3040 2118 1111 63 0 2977 0
vsize: 12160
[startup+60.0013 s]
Raw data (loadavg): 0.97 0.96 0.95 2/54 27698
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 2175 0 0 0 5979 17 0 0 25 0 1 0 642802160 12587008 2150 4294967295 134512640 134714540 3221221776 3221220464 134551890 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3073 2150 1111 63 0 3010 0
vsize: 12292
[startup+70.0013 s]
Raw data (loadavg): 0.97 0.96 0.95 2/54 27698
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 2255 0 0 0 6978 18 0 0 25 0 1 0 642802160 12849152 2230 4294967295 134512640 134714540 3221221776 3221220432 134536624 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3137 2230 1111 63 0 3074 0
vsize: 12548
[startup+80.0012 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 27698
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 2281 0 0 0 7977 19 0 0 25 0 1 0 642802160 12976128 2256 4294967295 134512640 134714540 3221221776 3221220560 134584866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3168 2256 1111 63 0 3105 0
vsize: 12672
[startup+90.0011 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 27698
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 2322 0 0 0 8976 21 0 0 25 0 1 0 642802160 13111296 2297 4294967295 134512640 134714540 3221221776 3221220524 134558545 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3201 2297 1111 63 0 3138 0
vsize: 12804
[startup+100.001 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 27698
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 2341 0 0 0 9975 22 0 0 25 0 1 0 642802160 13230080 2316 4294967295 134512640 134714540 3221221776 3221220384 134543674 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3230 2316 1111 63 0 3167 0
vsize: 12920
[startup+110.002 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 27698
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 2408 0 0 0 10974 23 0 0 25 0 1 0 642802160 13557760 2383 4294967295 134512640 134714540 3221221776 3221220512 134558518 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3310 2383 1111 63 0 3247 0
vsize: 13240
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27698
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 2549 0 0 0 11973 24 0 0 25 0 1 0 642802160 14094336 2524 4294967295 134512640 134714540 3221221776 3221220332 134539282 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3441 2524 1111 63 0 3378 0
vsize: 13764
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27698
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 2645 0 0 0 12971 26 0 0 25 0 1 0 642802160 14487552 2620 4294967295 134512640 134714540 3221221776 3221220400 134696392 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3537 2620 1111 63 0 3474 0
vsize: 14148
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27698
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 2701 0 0 0 13970 28 0 0 25 0 1 0 642802160 14712832 2676 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3592 2676 1111 63 0 3529 0
vsize: 14368
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27698
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 2767 0 0 0 14968 29 0 0 25 0 1 0 642802160 14983168 2742 4294967295 134512640 134714540 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3658 2742 1111 63 0 3595 0
vsize: 14632
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27698
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 2891 0 0 0 15967 30 0 0 25 0 1 0 642802160 15503360 2866 4294967295 134512640 134714540 3221221776 3221220512 134558516 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3785 2866 1111 63 0 3722 0
vsize: 15140
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27698
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 2907 0 0 0 16966 31 0 0 25 0 1 0 642802160 15503360 2882 4294967295 134512640 134714540 3221221776 3221220368 134549541 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3785 2882 1111 63 0 3722 0
vsize: 15140
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27698
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 2958 0 0 0 17964 33 0 0 25 0 1 0 642802160 15769600 2933 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3850 2933 1111 63 0 3787 0
vsize: 15400
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27698
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 2973 0 0 0 18964 34 0 0 25 0 1 0 642802160 15769600 2948 4294967295 134512640 134714540 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3850 2948 1111 63 0 3787 0
vsize: 15400
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27698
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 2991 0 0 0 19962 36 0 0 25 0 1 0 642802160 15904768 2966 4294967295 134512640 134714540 3221221776 3221220368 134549651 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3883 2966 1111 63 0 3820 0
vsize: 15532
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27698
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 3105 0 0 0 20960 38 0 0 25 0 1 0 642802160 16310272 3080 4294967295 134512640 134714540 3221221776 3221220480 134528735 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3982 3080 1111 63 0 3919 0
vsize: 15928
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27698
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 3175 0 0 0 21959 40 0 0 25 0 1 0 642802160 16715776 3150 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4081 3150 1111 63 0 4018 0
vsize: 16324
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27698
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 3224 0 0 0 22958 41 0 0 25 0 1 0 642802160 16850944 3199 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4114 3199 1111 63 0 4051 0
vsize: 16456
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27698
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 3358 0 0 0 23957 42 0 0 25 0 1 0 642802160 17383424 3333 4294967295 134512640 134714540 3221221776 3221220420 134613632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4244 3333 1111 63 0 4181 0
vsize: 16976
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27698
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 3358 0 0 0 24956 43 0 0 25 0 1 0 642802160 17383424 3333 4294967295 134512640 134714540 3221221776 3221220432 134536738 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4244 3333 1111 63 0 4181 0
vsize: 16976
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/57 27718
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 3415 0 0 0 25955 44 0 0 25 0 1 0 642802160 17653760 3390 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4310 3390 1111 63 0 4247 0
vsize: 17240
[startup+270.005 s]
Raw data (loadavg): 1.07 0.99 0.96 2/54 27751
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 3449 0 0 0 26955 45 0 0 25 0 1 0 642802160 17788928 3424 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4343 3424 1111 63 0 4280 0
vsize: 17372
[startup+280.004 s]
Raw data (loadavg): 1.06 0.99 0.96 2/54 27751
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 3506 0 0 0 27954 46 0 0 25 0 1 0 642802160 18059264 3481 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4409 3481 1111 63 0 4346 0
vsize: 17636
[startup+290.005 s]
Raw data (loadavg): 1.05 0.99 0.96 2/54 27751
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 3519 0 0 0 28952 47 0 0 25 0 1 0 642802160 18059264 3494 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4409 3494 1111 63 0 4346 0
vsize: 17636
[startup+300.005 s]
Raw data (loadavg): 1.04 0.99 0.96 2/54 27751
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 3560 0 0 0 29951 49 0 0 25 0 1 0 642802160 18194432 3535 4294967295 134512640 134714540 3221221776 3221220560 134529177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4442 3535 1111 63 0 4379 0
vsize: 17768
[startup+310.006 s]
Raw data (loadavg): 1.03 0.99 0.96 2/54 27751
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 3560 0 0 0 30950 50 0 0 25 0 1 0 642802160 18194432 3535 4294967295 134512640 134714540 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4442 3535 1111 63 0 4379 0
vsize: 17768
[startup+320.007 s]
Raw data (loadavg): 1.03 0.99 0.96 2/54 27751
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 3560 0 0 0 31950 51 0 0 25 0 1 0 642802160 18194432 3535 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4442 3535 1111 63 0 4379 0
vsize: 17768
[startup+330.007 s]
Raw data (loadavg): 1.02 0.99 0.96 2/54 27751
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 3586 0 0 0 32949 52 0 0 25 0 1 0 642802160 18329600 3561 4294967295 134512640 134714540 3221221776 3221220324 134696760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4475 3561 1111 63 0 4412 0
vsize: 17900
[startup+340.008 s]
Raw data (loadavg): 1.02 0.99 0.96 2/54 27753
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 3613 0 0 0 33948 53 0 0 25 0 1 0 642802160 18456576 3588 4294967295 134512640 134714540 3221221776 3221220360 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4506 3588 1111 63 0 4443 0
vsize: 18024
[startup+350.008 s]
Raw data (loadavg): 1.02 0.99 0.96 2/54 27753
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 3614 0 0 0 34947 54 0 0 25 0 1 0 642802160 18456576 3589 4294967295 134512640 134714540 3221221776 3221220272 134535468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4506 3589 1111 63 0 4443 0
vsize: 18024
[startup+360.008 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 27753
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 3634 0 0 0 35946 55 0 0 25 0 1 0 642802160 18591744 3609 4294967295 134512640 134714540 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4539 3609 1111 63 0 4476 0
vsize: 18156
[startup+370.009 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 27753
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 3672 0 0 0 36945 57 0 0 25 0 1 0 642802160 18718720 3647 4294967295 134512640 134714540 3221221776 3221220480 134528481 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4570 3647 1111 63 0 4507 0
vsize: 18280
[startup+380.008 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 27753
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 3677 0 0 0 37944 57 0 0 25 0 1 0 642802160 18718720 3652 4294967295 134512640 134714540 3221221776 3221220284 134535925 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4570 3652 1111 63 0 4507 0
vsize: 18280
[startup+390.009 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 27753
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 3688 0 0 0 38944 58 0 0 25 0 1 0 642802160 18718720 3663 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4570 3663 1111 63 0 4507 0
vsize: 18280
[startup+400.009 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27753
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 3705 0 0 0 39943 59 0 0 25 0 1 0 642802160 18853888 3680 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4603 3680 1111 63 0 4540 0
vsize: 18412
[startup+410.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27753
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 3733 0 0 0 40942 60 0 0 25 0 1 0 642802160 18989056 3708 4294967295 134512640 134714540 3221221776 3221220512 134535735 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4636 3708 1111 63 0 4573 0
vsize: 18544
[startup+420.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27753
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 3733 0 0 0 41941 61 0 0 25 0 1 0 642802160 18989056 3708 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4636 3708 1111 63 0 4573 0
vsize: 18544
[startup+430.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27753
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 3733 0 0 0 42940 63 0 0 25 0 1 0 642802160 18989056 3708 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4636 3708 1111 63 0 4573 0
vsize: 18544
[startup+440.011 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27753
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 3733 0 0 0 43939 64 0 0 25 0 1 0 642802160 18989056 3708 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4636 3708 1111 63 0 4573 0
vsize: 18544
[startup+450.011 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27753
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 3733 0 0 0 44937 66 0 0 25 0 1 0 642802160 18989056 3708 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4636 3708 1111 63 0 4573 0
vsize: 18544
[startup+460.012 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27753
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 3743 0 0 0 45936 67 0 0 25 0 1 0 642802160 18989056 3718 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4636 3718 1111 63 0 4573 0
vsize: 18544
[startup+470.012 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27753
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 3743 0 0 0 46935 68 0 0 25 0 1 0 642802160 18989056 3718 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4636 3718 1111 63 0 4573 0
vsize: 18544
[startup+480.011 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27753
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 3743 0 0 0 47935 69 0 0 25 0 1 0 642802160 18989056 3718 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4636 3718 1111 63 0 4573 0
vsize: 18544
[startup+490.012 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27753
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 3754 0 0 0 48934 70 0 0 25 0 1 0 642802160 18989056 3729 4294967295 134512640 134714540 3221221776 3221220392 134613957 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4636 3729 1111 63 0 4573 0
vsize: 18544
[startup+500.013 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27753
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 3757 0 0 0 49933 71 0 0 25 0 1 0 642802160 18989056 3732 4294967295 134512640 134714540 3221221776 3221220416 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4636 3732 1111 63 0 4573 0
vsize: 18544
[startup+510.014 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27753
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 3772 0 0 0 50933 71 0 0 25 0 1 0 642802160 19124224 3747 4294967295 134512640 134714540 3221221776 3221220768 134574948 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4669 3747 1111 63 0 4606 0
vsize: 18676
[startup+520.013 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27753
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 3791 0 0 0 51931 73 0 0 25 0 1 0 642802160 19124224 3766 4294967295 134512640 134714540 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4669 3766 1111 63 0 4606 0
vsize: 18676
[startup+530.013 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27753
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 3791 0 0 0 52930 74 0 0 25 0 1 0 642802160 19124224 3766 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4669 3766 1111 63 0 4606 0
vsize: 18676
[startup+540.014 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27753
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 3791 0 0 0 53930 74 0 0 25 0 1 0 642802160 19124224 3766 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4669 3766 1111 63 0 4606 0
vsize: 18676
[startup+550.014 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27753
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 3791 0 0 0 54930 75 0 0 25 0 1 0 642802160 19124224 3766 4294967295 134512640 134714540 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4669 3766 1111 63 0 4606 0
vsize: 18676
[startup+560.015 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27753
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 3793 0 0 0 55928 76 0 0 25 0 1 0 642802160 19124224 3768 4294967295 134512640 134714540 3221221776 3221220416 134539567 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4669 3768 1111 63 0 4606 0
vsize: 18676
[startup+570.016 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27753
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 3846 0 0 0 56928 77 0 0 25 0 1 0 642802160 19394560 3821 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4735 3821 1111 63 0 4672 0
vsize: 18940
[startup+580.016 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27753
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 3863 0 0 0 57926 80 0 0 25 0 1 0 642802160 19525632 3838 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4767 3838 1111 63 0 4704 0
vsize: 19068
[startup+590.017 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27753
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 3905 0 0 0 58925 81 0 0 25 0 1 0 642802160 19644416 3880 4294967295 134512640 134714540 3221221776 3221220328 134696493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4796 3880 1111 63 0 4733 0
vsize: 19184
[startup+600.018 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27753
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 3943 0 0 0 59923 83 0 0 25 0 1 0 642802160 19779584 3918 4294967295 134512640 134714540 3221221776 3221220400 134539460 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4829 3918 1111 63 0 4766 0
vsize: 19316
[startup+610.018 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27753
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 3997 0 0 0 60922 84 0 0 25 0 1 0 642802160 20049920 3972 4294967295 134512640 134714540 3221221776 3221220480 134528617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4895 3972 1111 63 0 4832 0
vsize: 19580
[startup+620.018 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4009 0 0 0 61921 85 0 0 25 0 1 0 642802160 20049920 3984 4294967295 134512640 134714540 3221221776 3221220504 134591837 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4895 3984 1111 63 0 4832 0
vsize: 19580
[startup+630.017 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4009 0 0 0 62920 86 0 0 25 0 1 0 642802160 20049920 3984 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4895 3984 1111 63 0 4832 0
vsize: 19580
[startup+640.018 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4009 0 0 0 63920 87 0 0 25 0 1 0 642802160 20049920 3984 4294967295 134512640 134714540 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4895 3984 1111 63 0 4832 0
vsize: 19580
[startup+650.018 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4009 0 0 0 64919 88 0 0 25 0 1 0 642802160 20049920 3984 4294967295 134512640 134714540 3221221776 3221220480 134528677 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4895 3984 1111 63 0 4832 0
vsize: 19580
[startup+660.018 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4009 0 0 0 65918 89 0 0 25 0 1 0 642802160 20049920 3984 4294967295 134512640 134714540 3221221776 3221220416 134536700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4895 3984 1111 63 0 4832 0
vsize: 19580
[startup+670.018 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4009 0 0 0 66918 89 0 0 25 0 1 0 642802160 20049920 3984 4294967295 134512640 134714540 3221221776 3221220496 134535795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4895 3984 1111 63 0 4832 0
vsize: 19580
[startup+680.018 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4009 0 0 0 67917 91 0 0 25 0 1 0 642802160 20049920 3984 4294967295 134512640 134714540 3221221776 3221220416 134696043 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4895 3984 1111 63 0 4832 0
vsize: 19580
[startup+690.019 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4009 0 0 0 68915 92 0 0 25 0 1 0 642802160 20049920 3984 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4895 3984 1111 63 0 4832 0
vsize: 19580
[startup+700.02 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4009 0 0 0 69914 93 0 0 25 0 1 0 642802160 20049920 3984 4294967295 134512640 134714540 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4895 3984 1111 63 0 4832 0
vsize: 19580
[startup+710.021 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4009 0 0 0 70914 94 0 0 25 0 1 0 642802160 20049920 3984 4294967295 134512640 134714540 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4895 3984 1111 63 0 4832 0
vsize: 19580
[startup+720.021 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4009 0 0 0 71913 95 0 0 25 0 1 0 642802160 20049920 3984 4294967295 134512640 134714540 3221221776 3221220088 134613965 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4895 3984 1111 63 0 4832 0
vsize: 19580
[startup+730.021 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4009 0 0 0 72913 95 0 0 25 0 1 0 642802160 20049920 3984 4294967295 134512640 134714540 3221221776 3221220400 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4895 3984 1111 63 0 4832 0
vsize: 19580
[startup+740.022 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4009 0 0 0 73912 97 0 0 25 0 1 0 642802160 20049920 3984 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4895 3984 1111 63 0 4832 0
vsize: 19580
[startup+750.022 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4009 0 0 0 74910 98 0 0 25 0 1 0 642802160 20049920 3984 4294967295 134512640 134714540 3221221776 3221220480 134528410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4895 3984 1111 63 0 4832 0
vsize: 19580
[startup+760.023 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4009 0 0 0 75909 99 0 0 25 0 1 0 642802160 20049920 3984 4294967295 134512640 134714540 3221221776 3221220416 134539362 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4895 3984 1111 63 0 4832 0
vsize: 19580
[startup+770.024 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4009 0 0 0 76909 100 0 0 25 0 1 0 642802160 20049920 3984 4294967295 134512640 134714540 3221221776 3221220292 1077374084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4895 3984 1111 63 0 4832 0
vsize: 19580
[startup+780.023 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4009 0 0 0 77908 101 0 0 25 0 1 0 642802160 20049920 3984 4294967295 134512640 134714540 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4895 3984 1111 63 0 4832 0
vsize: 19580
[startup+790.024 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4009 0 0 0 78907 102 0 0 25 0 1 0 642802160 20049920 3984 4294967295 134512640 134714540 3221221776 3221220400 134542362 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4895 3984 1111 63 0 4832 0
vsize: 19580
[startup+800.024 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4009 0 0 0 79906 104 0 0 25 0 1 0 642802160 20049920 3984 4294967295 134512640 134714540 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4895 3984 1111 63 0 4832 0
vsize: 19580
[startup+810.024 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4009 0 0 0 80905 105 0 0 25 0 1 0 642802160 20049920 3984 4294967295 134512640 134714540 3221221776 3221220500 134613700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4895 3984 1111 63 0 4832 0
vsize: 19580
[startup+820.024 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4009 0 0 0 81904 106 0 0 25 0 1 0 642802160 20049920 3984 4294967295 134512640 134714540 3221221776 3221220464 134551897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4895 3984 1111 63 0 4832 0
vsize: 19580
[startup+830.024 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4017 0 0 0 82903 107 0 0 25 0 1 0 642802160 20049920 3992 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4895 3992 1111 63 0 4832 0
vsize: 19580
[startup+840.025 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4017 0 0 0 83903 107 0 0 25 0 1 0 642802160 20049920 3992 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4895 3992 1111 63 0 4832 0
vsize: 19580
[startup+850.025 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4017 0 0 0 84902 109 0 0 25 0 1 0 642802160 20049920 3992 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4895 3992 1111 63 0 4832 0
vsize: 19580
[startup+860.026 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4029 0 0 0 85901 110 0 0 25 0 1 0 642802160 20185088 4004 4294967295 134512640 134714540 3221221776 3221220416 134696145 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4928 4004 1111 63 0 4865 0
vsize: 19712
[startup+870.026 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4077 0 0 0 86900 110 0 0 25 0 1 0 642802160 20320256 4052 4294967295 134512640 134714540 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4961 4052 1111 63 0 4898 0
vsize: 19844
[startup+880.026 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4133 0 0 0 87900 111 0 0 25 0 1 0 642802160 20582400 4108 4294967295 134512640 134714540 3221221776 3221220536 134552650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5025 4108 1111 63 0 4962 0
vsize: 20100
[startup+890.027 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4160 0 0 0 88899 112 0 0 25 0 1 0 642802160 20709376 4135 4294967295 134512640 134714540 3221221776 3221220384 134549457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5056 4135 1111 63 0 4993 0
vsize: 20224
[startup+900.027 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4160 0 0 0 89898 113 0 0 25 0 1 0 642802160 20709376 4135 4294967295 134512640 134714540 3221221776 3221220524 134551608 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5056 4135 1111 63 0 4993 0
vsize: 20224
[startup+910.028 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4160 0 0 0 90897 115 0 0 25 0 1 0 642802160 20709376 4135 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5056 4135 1111 63 0 4993 0
vsize: 20224
[startup+920.029 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4160 0 0 0 91897 115 0 0 25 0 1 0 642802160 20709376 4135 4294967295 134512640 134714540 3221221776 3221220356 1077378596 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5056 4135 1111 63 0 4993 0
vsize: 20224
[startup+930.029 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4160 0 0 0 92896 116 0 0 25 0 1 0 642802160 20709376 4135 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5056 4135 1111 63 0 4993 0
vsize: 20224
[startup+940.03 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4160 0 0 0 93896 117 0 0 25 0 1 0 642802160 20709376 4135 4294967295 134512640 134714540 3221221776 3221220416 134696117 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5056 4135 1111 63 0 4993 0
vsize: 20224
[startup+950.03 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4160 0 0 0 94895 117 0 0 25 0 1 0 642802160 20709376 4135 4294967295 134512640 134714540 3221221776 3221220424 134543617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5056 4135 1111 63 0 4993 0
vsize: 20224
[startup+960.032 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4160 0 0 0 95894 119 0 0 25 0 1 0 642802160 20709376 4135 4294967295 134512640 134714540 3221221776 3221220316 134539276 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5056 4135 1111 63 0 4993 0
vsize: 20224
[startup+970.031 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4160 0 0 0 96894 119 0 0 25 0 1 0 642802160 20709376 4135 4294967295 134512640 134714540 3221221776 3221220364 134543615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5056 4135 1111 63 0 4993 0
vsize: 20224
[startup+980.031 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4160 0 0 0 97893 120 0 0 25 0 1 0 642802160 20709376 4135 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5056 4135 1111 63 0 4993 0
vsize: 20224
[startup+990.033 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4161 0 0 0 98893 121 0 0 25 0 1 0 642802160 20709376 4136 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5056 4136 1111 63 0 4993 0
vsize: 20224
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4167 0 0 0 99892 122 0 0 25 0 1 0 642802160 20709376 4142 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5056 4142 1111 63 0 4993 0
vsize: 20224
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4167 0 0 0 100891 123 0 0 25 0 1 0 642802160 20709376 4142 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5056 4142 1111 63 0 4993 0
vsize: 20224
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4167 0 0 0 101890 124 0 0 25 0 1 0 642802160 20709376 4142 4294967295 134512640 134714540 3221221776 3221220492 134551880 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5056 4142 1111 63 0 4993 0
vsize: 20224
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4167 0 0 0 102889 125 0 0 25 0 1 0 642802160 20709376 4142 4294967295 134512640 134714540 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5056 4142 1111 63 0 4993 0
vsize: 20224
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4173 0 0 0 103889 125 0 0 25 0 1 0 642802160 20709376 4148 4294967295 134512640 134714540 3221221776 3221220416 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5056 4148 1111 63 0 4993 0
vsize: 20224
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4173 0 0 0 104888 126 0 0 25 0 1 0 642802160 20709376 4148 4294967295 134512640 134714540 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5056 4148 1111 63 0 4993 0
vsize: 20224
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4173 0 0 0 105887 127 0 0 25 0 1 0 642802160 20709376 4148 4294967295 134512640 134714540 3221221776 3221220528 134587956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5056 4148 1111 63 0 4993 0
vsize: 20224
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4174 0 0 0 106886 128 0 0 25 0 1 0 642802160 20709376 4149 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5056 4149 1111 63 0 4993 0
vsize: 20224
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4182 0 0 0 107886 129 0 0 25 0 1 0 642802160 20807680 4157 4294967295 134512640 134714540 3221221776 3221220368 134549668 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5080 4157 1111 63 0 5017 0
vsize: 20320
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4193 0 0 0 108885 130 0 0 25 0 1 0 642802160 20807680 4168 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5080 4168 1111 63 0 5017 0
vsize: 20320
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4200 0 0 0 109885 130 0 0 25 0 1 0 642802160 20807680 4175 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5080 4175 1111 63 0 5017 0
vsize: 20320
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4200 0 0 0 110884 131 0 0 25 0 1 0 642802160 20807680 4175 4294967295 134512640 134714540 3221221776 3221220324 134696760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5080 4175 1111 63 0 5017 0
vsize: 20320
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4210 0 0 0 111883 132 0 0 25 0 1 0 642802160 20942848 4185 4294967295 134512640 134714540 3221221776 3221220332 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5113 4185 1111 63 0 5050 0
vsize: 20452
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4263 0 0 0 112882 134 0 0 25 0 1 0 642802160 21078016 4238 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5146 4238 1111 63 0 5083 0
vsize: 20584
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4276 0 0 0 113881 135 0 0 25 0 1 0 642802160 21204992 4251 4294967295 134512640 134714540 3221221776 3221220440 134543606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5177 4251 1111 63 0 5114 0
vsize: 20708
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4322 0 0 0 114880 137 0 0 25 0 1 0 642802160 21340160 4297 4294967295 134512640 134714540 3221221776 3221220324 134696757 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5210 4297 1111 63 0 5147 0
vsize: 20840
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4344 0 0 0 115879 138 0 0 25 0 1 0 642802160 21475328 4319 4294967295 134512640 134714540 3221221776 3221220188 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5243 4319 1111 63 0 5180 0
vsize: 20972
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4344 0 0 0 116878 138 0 0 25 0 1 0 642802160 21475328 4319 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5243 4319 1111 63 0 5180 0
vsize: 20972
[startup+1174.9 s]
Raw data (loadavg): 1.00 0.99 0.96 1/53 27755
Raw data (stat): 27698 (bsolo_mis) R 27697 7876 7672 0 -1 0 4344 0 0 0 116878 138 0 0 25 0 1 0 642802160 21475328 4319 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5243 4319 1111 63 0 5180 0
vsize: 0

Child status: 0
Real time (s): 1174.9
CPU time (s): 1175.03
CPU user time (s): 1173.63
CPU system time (s): 1.40279
CPU usage (%): 100.011
Max. virtual memory (Kb): 20972
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####