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-fpga35_33_sat_pb.cnf.cr.opb
MD5SUM	d4fd8917eebbcee2e1b2df9714e1fab8
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	36
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.59276
Number of variables	1733
Total number of constraints	1256
Number of constraints which are clauses	1188
Number of constraints which are cardinality constraints (but not clauses)	68
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	17
Maximum length of a constraint	35
Trace number 23384

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-03 01:02:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=435 boxname=wulflinc31 idbench=49 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  d4fd8917eebbcee2e1b2df9714e1fab8  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga35_33_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-fpga35_33_sat_pb.cnf.cr.opb
IDLAUNCH: 435
/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:        925008 kB
Buffers:         39068 kB
Cached:          48456 kB
SwapCached:        944 kB
Active:          73536 kB
Inactive:        16400 kB
HighTotal:      131008 kB
HighFree:        81676 kB
LowTotal:       903652 kB
LowFree:        843332 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14168 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-03 01:22:02 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 435 7 1175.04 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 1733 variables and 1256 constraints.
c After prepocess the problem consists of 1733 variables and 1256 constraints.
c preprocess terminated 3.076 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): 0.93 0.98 0.99 2/54 29938
Raw data (stat): 29938 (runsolver) R 29937 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 644642585 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.0004 s]
Raw data (loadavg): 0.94 0.98 0.99 2/54 29938
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 1696 0 0 0 990 6 0 0 25 0 1 0 644642585 10575872 1671 4294967295 134512640 134714540 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2582 1671 1111 63 0 2519 0
vsize: 10328
[startup+20.0015 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 29938
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 1894 0 0 0 1987 10 0 0 25 0 1 0 644642585 11386880 1869 4294967295 134512640 134714540 3221221776 3221220368 134543686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2780 1869 1111 63 0 2717 0
vsize: 11120
[startup+30.0014 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 29938
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 1962 0 0 0 2985 12 0 0 25 0 1 0 644642585 11657216 1937 4294967295 134512640 134714540 3221221776 3221220400 134542300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2846 1937 1111 63 0 2783 0
vsize: 11384
[startup+40.0015 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 29938
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 2101 0 0 0 3983 14 0 0 25 0 1 0 644642585 12333056 2076 4294967295 134512640 134714540 3221221776 3221220624 134531489 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3011 2076 1111 63 0 2948 0
vsize: 12044
[startup+50.0024 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 29938
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 2156 0 0 0 4981 16 0 0 25 0 1 0 644642585 12460032 2131 4294967295 134512640 134714540 3221221776 3221220384 134523173 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3042 2131 1111 63 0 2979 0
vsize: 12168
[startup+60.0024 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 29938
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 2195 0 0 0 5979 18 0 0 25 0 1 0 644642585 12693504 2170 4294967295 134512640 134714540 3221221776 3221220368 134696114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3099 2170 1111 63 0 3036 0
vsize: 12396
[startup+70.0035 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 29938
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 2240 0 0 0 6978 19 0 0 25 0 1 0 644642585 12828672 2215 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3132 2215 1111 63 0 3069 0
vsize: 12528
[startup+80.0034 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 29938
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 2287 0 0 0 7976 22 0 0 25 0 1 0 644642585 13099008 2262 4294967295 134512640 134714540 3221221776 3221220488 134552678 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3198 2262 1111 63 0 3135 0
vsize: 12792
[startup+90.0039 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 29938
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 2352 0 0 0 8974 23 0 0 25 0 1 0 644642585 13344768 2327 4294967295 134512640 134714540 3221221776 3221220336 134696544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3258 2327 1111 63 0 3195 0
vsize: 13032
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 29938
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 2380 0 0 0 9972 26 0 0 25 0 1 0 644642585 13467648 2355 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3288 2355 1111 63 0 3225 0
vsize: 13152
[startup+110.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29938
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 2616 0 0 0 10970 27 0 0 25 0 1 0 644642585 14413824 2591 4294967295 134512640 134714540 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3519 2591 1111 63 0 3456 0
vsize: 14076
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29938
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 2662 0 0 0 11970 29 0 0 25 0 1 0 644642585 14548992 2637 4294967295 134512640 134714540 3221221776 3221220424 134543589 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3552 2637 1111 63 0 3489 0
vsize: 14208
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29938
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 2708 0 0 0 12969 29 0 0 25 0 1 0 644642585 14819328 2683 4294967295 134512640 134714540 3221221776 3221220400 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3618 2683 1111 63 0 3555 0
vsize: 14472
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29938
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 2708 0 0 0 13967 31 0 0 25 0 1 0 644642585 14819328 2683 4294967295 134512640 134714540 3221221776 3221220476 134534084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3618 2683 1111 63 0 3555 0
vsize: 14472
[startup+150.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29938
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 2742 0 0 0 14967 32 0 0 25 0 1 0 644642585 14917632 2717 4294967295 134512640 134714540 3221221776 3221220400 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3642 2717 1111 63 0 3579 0
vsize: 14568
[startup+160.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29938
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 2766 0 0 0 15966 33 0 0 25 0 1 0 644642585 15052800 2741 4294967295 134512640 134714540 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3675 2741 1111 63 0 3612 0
vsize: 14700
[startup+170.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29938
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 2853 0 0 0 16965 34 0 0 25 0 1 0 644642585 15323136 2828 4294967295 134512640 134714540 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3741 2828 1111 63 0 3678 0
vsize: 14964
[startup+180.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29938
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 2889 0 0 0 17965 35 0 0 25 0 1 0 644642585 15458304 2864 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3774 2864 1111 63 0 3711 0
vsize: 15096
[startup+190.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29938
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 2907 0 0 0 18964 35 0 0 25 0 1 0 644642585 15593472 2882 4294967295 134512640 134714540 3221221776 3221220464 134594338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3807 2882 1111 63 0 3744 0
vsize: 15228
[startup+200.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29938
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 2964 0 0 0 19963 36 0 0 25 0 1 0 644642585 15863808 2939 4294967295 134512640 134714540 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3873 2939 1111 63 0 3810 0
vsize: 15492
[startup+210.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29938
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 2964 0 0 0 20962 37 0 0 25 0 1 0 644642585 15826944 2939 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3864 2939 1111 63 0 3801 0
vsize: 15456
[startup+220.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 3029 0 0 0 21961 39 0 0 25 0 1 0 644642585 16097280 3004 4294967295 134512640 134714540 3221221776 3221220456 134552650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3930 3004 1111 63 0 3867 0
vsize: 15720
[startup+230.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 3057 0 0 0 22960 40 0 0 25 0 1 0 644642585 16232448 3032 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3963 3032 1111 63 0 3900 0
vsize: 15852
[startup+240.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 3057 0 0 0 23960 41 0 0 25 0 1 0 644642585 16191488 3032 4294967295 134512640 134714540 3221221776 3221220416 134539531 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3953 3032 1111 63 0 3890 0
vsize: 15812
[startup+250.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 3110 0 0 0 24959 41 0 0 25 0 1 0 644642585 16457728 3085 4294967295 134512640 134714540 3221221776 3221220440 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4018 3085 1111 63 0 3955 0
vsize: 16072
[startup+260.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 3126 0 0 0 25958 43 0 0 25 0 1 0 644642585 16453632 3101 4294967295 134512640 134714540 3221221776 3221220324 134696741 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4017 3101 1111 63 0 3954 0
vsize: 16068
[startup+270.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 3283 0 0 0 26956 44 0 0 25 0 1 0 644642585 17117184 3258 4294967295 134512640 134714540 3221221776 3221220520 134558485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4179 3258 1111 63 0 4116 0
vsize: 16716
[startup+280.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 3337 0 0 0 27955 46 0 0 25 0 1 0 644642585 17387520 3312 4294967295 134512640 134714540 3221221776 3221220412 134543664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4245 3312 1111 63 0 4182 0
vsize: 16980
[startup+290.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 3417 0 0 0 28953 48 0 0 25 0 1 0 644642585 17645568 3392 4294967295 134512640 134714540 3221221776 3221220324 134696760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4308 3392 1111 63 0 4245 0
vsize: 17232
[startup+300.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 3546 0 0 0 29953 48 0 0 25 0 1 0 644642585 18186240 3521 4294967295 134512640 134714540 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4440 3521 1111 63 0 4377 0
vsize: 17760
[startup+310.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 3717 0 0 0 30951 50 0 0 25 0 1 0 644642585 18862080 3692 4294967295 134512640 134714540 3221221776 3221220416 134696114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4605 3693 1111 63 0 4542 0
vsize: 18420
[startup+320.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 3911 0 0 0 31950 52 0 0 25 0 1 0 644642585 19648512 3886 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4797 3886 1111 63 0 4734 0
vsize: 19188
[startup+330.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 4039 0 0 0 32949 53 0 0 25 0 1 0 644642585 20189184 4014 4294967295 134512640 134714540 3221221776 3221220336 134535985 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4929 4014 1111 63 0 4866 0
vsize: 19716
[startup+340.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 4191 0 0 0 33948 54 0 0 25 0 1 0 644642585 20852736 4166 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5091 4166 1111 63 0 5028 0
vsize: 20364
[startup+350.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 4296 0 0 0 34947 55 0 0 25 0 1 0 644642585 21258240 4271 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5190 4271 1111 63 0 5127 0
vsize: 20760
[startup+360.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 4400 0 0 0 35945 57 0 0 25 0 1 0 644642585 21663744 4375 4294967295 134512640 134714540 3221221776 3221220544 134592107 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5289 4375 1111 63 0 5226 0
vsize: 21156
[startup+370.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 4452 0 0 0 36944 59 0 0 25 0 1 0 644642585 21934080 4427 4294967295 134512640 134714540 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5355 4427 1111 63 0 5292 0
vsize: 21420
[startup+380.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 4565 0 0 0 37943 60 0 0 25 0 1 0 644642585 22339584 4540 4294967295 134512640 134714540 3221221776 3221220336 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5454 4540 1111 63 0 5391 0
vsize: 21816
[startup+390.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 4626 0 0 0 38941 62 0 0 25 0 1 0 644642585 22609920 4601 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5520 4601 1111 63 0 5457 0
vsize: 22080
[startup+400.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 4726 0 0 0 39940 63 0 0 25 0 1 0 644642585 23007232 4701 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5617 4701 1111 63 0 5554 0
vsize: 22468
[startup+410.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 4749 0 0 0 40939 64 0 0 25 0 1 0 644642585 23142400 4724 4294967295 134512640 134714540 3221221776 3221220524 134558493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5650 4724 1111 63 0 5587 0
vsize: 22600
[startup+420.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 4781 0 0 0 41938 65 0 0 25 0 1 0 644642585 23277568 4756 4294967295 134512640 134714540 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5683 4756 1111 63 0 5620 0
vsize: 22732
[startup+430.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 4846 0 0 0 42937 67 0 0 25 0 1 0 644642585 23547904 4821 4294967295 134512640 134714540 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5749 4821 1111 63 0 5686 0
vsize: 22996
[startup+440.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 4873 0 0 0 43936 68 0 0 25 0 1 0 644642585 23683072 4848 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5782 4848 1111 63 0 5719 0
vsize: 23128
[startup+450.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 4889 0 0 0 44934 69 0 0 25 0 1 0 644642585 23683072 4864 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5782 4864 1111 63 0 5719 0
vsize: 23128
[startup+460.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 4918 0 0 0 45933 71 0 0 25 0 1 0 644642585 23814144 4893 4294967295 134512640 134714540 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5814 4893 1111 63 0 5751 0
vsize: 23256
[startup+470.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 4955 0 0 0 46932 72 0 0 25 0 1 0 644642585 23900160 4930 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5835 4930 1111 63 0 5772 0
vsize: 23340
[startup+480.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 4996 0 0 0 47932 72 0 0 25 0 1 0 644642585 24170496 4971 4294967295 134512640 134714540 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5901 4971 1111 63 0 5838 0
vsize: 23604
[startup+490.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 5006 0 0 0 48931 73 0 0 25 0 1 0 644642585 24170496 4981 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5901 4981 1111 63 0 5838 0
vsize: 23604
[startup+500.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 5030 0 0 0 49930 74 0 0 25 0 1 0 644642585 24305664 5005 4294967295 134512640 134714540 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5934 5005 1111 63 0 5871 0
vsize: 23736
[startup+510.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 5046 0 0 0 50929 76 0 0 25 0 1 0 644642585 24305664 5021 4294967295 134512640 134714540 3221221776 3221220172 1077379860 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5934 5021 1111 63 0 5871 0
vsize: 23736
[startup+520.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 5092 0 0 0 51928 77 0 0 25 0 1 0 644642585 24576000 5067 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6000 5067 1111 63 0 5937 0
vsize: 24000
[startup+530.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 5133 0 0 0 52927 78 0 0 25 0 1 0 644642585 24711168 5108 4294967295 134512640 134714540 3221221776 3221220392 134613965 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6033 5108 1111 63 0 5970 0
vsize: 24132
[startup+540.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 5155 0 0 0 53926 80 0 0 25 0 1 0 644642585 24846336 5130 4294967295 134512640 134714540 3221221776 3221220432 134523856 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6066 5130 1111 63 0 6003 0
vsize: 24264
[startup+550.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 5161 0 0 0 54925 80 0 0 25 0 1 0 644642585 24817664 5136 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6059 5136 1111 63 0 5996 0
vsize: 24236
[startup+560.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 5204 0 0 0 55924 82 0 0 25 0 1 0 644642585 24952832 5179 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6092 5179 1111 63 0 6029 0
vsize: 24368
[startup+570.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 5231 0 0 0 56923 83 0 0 25 0 1 0 644642585 25067520 5206 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6120 5206 1111 63 0 6057 0
vsize: 24480
[startup+580.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 5250 0 0 0 57922 84 0 0 25 0 1 0 644642585 25198592 5225 4294967295 134512640 134714540 3221221776 3221220272 134697429 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6152 5225 1111 63 0 6089 0
vsize: 24608
[startup+590.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 5260 0 0 0 58921 86 0 0 25 0 1 0 644642585 25198592 5235 4294967295 134512640 134714540 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6152 5235 1111 63 0 6089 0
vsize: 24608
[startup+600.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 5276 0 0 0 59920 86 0 0 25 0 1 0 644642585 25325568 5251 4294967295 134512640 134714540 3221221776 3221220372 134549856 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6183 5251 1111 63 0 6120 0
vsize: 24732
[startup+610.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 5301 0 0 0 60919 88 0 0 25 0 1 0 644642585 25448448 5276 4294967295 134512640 134714540 3221221776 3221220340 1077378598 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6213 5276 1111 63 0 6150 0
vsize: 24852
[startup+620.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 5326 0 0 0 61918 89 0 0 25 0 1 0 644642585 25423872 5301 4294967295 134512640 134714540 3221221776 3221220416 134524203 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6207 5301 1111 63 0 6144 0
vsize: 24828
[startup+630.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 5336 0 0 0 62917 90 0 0 25 0 1 0 644642585 25559040 5311 4294967295 134512640 134714540 3221221776 3221220396 1077377137 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6240 5311 1111 63 0 6177 0
vsize: 24960
[startup+640.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 5419 0 0 0 63916 91 0 0 25 0 1 0 644642585 25829376 5394 4294967295 134512640 134714540 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6306 5394 1111 63 0 6243 0
vsize: 25224
[startup+650.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 5419 0 0 0 64915 92 0 0 25 0 1 0 644642585 25829376 5394 4294967295 134512640 134714540 3221221776 3221220172 1077379933 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6306 5394 1111 63 0 6243 0
vsize: 25224
[startup+660.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 5453 0 0 0 65915 93 0 0 25 0 1 0 644642585 25960448 5428 4294967295 134512640 134714540 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6338 5428 1111 63 0 6275 0
vsize: 25352
[startup+670.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 5506 0 0 0 66913 94 0 0 25 0 1 0 644642585 26210304 5481 4294967295 134512640 134714540 3221221776 3221220452 1077374514 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6399 5481 1111 63 0 6336 0
vsize: 25596
[startup+680.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 5615 0 0 0 67913 95 0 0 25 0 1 0 644642585 26615808 5590 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6498 5590 1111 63 0 6435 0
vsize: 25992
[startup+690.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 5682 0 0 0 68912 96 0 0 25 0 1 0 644642585 26886144 5657 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6564 5657 1111 63 0 6501 0
vsize: 26256
[startup+700.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 5694 0 0 0 69911 97 0 0 25 0 1 0 644642585 27021312 5669 4294967295 134512640 134714540 3221221776 3221220560 134528993 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6597 5669 1111 63 0 6534 0
vsize: 26388
[startup+710.016 s]
Raw data (loadavg): 0.99 0.98 0.99 3/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 5729 0 0 0 70909 99 0 0 25 0 1 0 644642585 27119616 5704 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6621 5704 1111 63 0 6558 0
vsize: 26484
[startup+720.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 5848 0 0 0 71908 101 0 0 25 0 1 0 644642585 27660288 5823 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6753 5823 1111 63 0 6690 0
vsize: 27012
[startup+730.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 5900 0 0 0 72907 102 0 0 25 0 1 0 644642585 27795456 5875 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6786 5875 1111 63 0 6723 0
vsize: 27144
[startup+740.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 5955 0 0 0 73906 103 0 0 25 0 1 0 644642585 28065792 5930 4294967295 134512640 134714540 3221221776 3221220172 1077379860 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6852 5930 1111 63 0 6789 0
vsize: 27408
[startup+750.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 5984 0 0 0 74905 104 0 0 25 0 1 0 644642585 28200960 5959 4294967295 134512640 134714540 3221221776 3221220764 134576604 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6885 5959 1111 63 0 6822 0
vsize: 27540
[startup+760.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 5995 0 0 0 75904 105 0 0 25 0 1 0 644642585 28200960 5970 4294967295 134512640 134714540 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6885 5970 1111 63 0 6822 0
vsize: 27540
[startup+770.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 6003 0 0 0 76903 106 0 0 25 0 1 0 644642585 28200960 5978 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6885 5978 1111 63 0 6822 0
vsize: 27540
[startup+780.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 6155 0 0 0 77901 109 0 0 25 0 1 0 644642585 28864512 6130 4294967295 134512640 134714540 3221221776 3221220560 134529412 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7047 6130 1111 63 0 6984 0
vsize: 28188
[startup+790.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 6188 0 0 0 78900 110 0 0 25 0 1 0 644642585 28999680 6163 4294967295 134512640 134714540 3221221776 3221220560 134529237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7080 6163 1111 63 0 7017 0
vsize: 28320
[startup+800.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 6265 0 0 0 79898 111 0 0 25 0 1 0 644642585 29392896 6240 4294967295 134512640 134714540 3221221776 3221220432 134536707 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7176 6240 1111 63 0 7113 0
vsize: 28704
[startup+810.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 6287 0 0 0 80897 113 0 0 25 0 1 0 644642585 29392896 6262 4294967295 134512640 134714540 3221221776 3221220560 134529390 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7176 6262 1111 63 0 7113 0
vsize: 28704
[startup+820.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 6344 0 0 0 81896 115 0 0 25 0 1 0 644642585 29663232 6319 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7242 6319 1111 63 0 7179 0
vsize: 28968
[startup+830.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 6347 0 0 0 82894 116 0 0 25 0 1 0 644642585 29663232 6322 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7242 6322 1111 63 0 7179 0
vsize: 28968
[startup+840.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 6360 0 0 0 83894 117 0 0 25 0 1 0 644642585 29663232 6335 4294967295 134512640 134714540 3221221776 3221220400 134536675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7242 6335 1111 63 0 7179 0
vsize: 28968
[startup+850.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 6383 0 0 0 84892 119 0 0 25 0 1 0 644642585 29798400 6358 4294967295 134512640 134714540 3221221776 3221220384 134549713 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7275 6358 1111 63 0 7212 0
vsize: 29100
[startup+860.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 6398 0 0 0 85891 120 0 0 25 0 1 0 644642585 29933568 6373 4294967295 134512640 134714540 3221221776 3221220504 134543796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7308 6373 1111 63 0 7245 0
vsize: 29232
[startup+870.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 6428 0 0 0 86889 122 0 0 25 0 1 0 644642585 29933568 6403 4294967295 134512640 134714540 3221221776 3221220416 134613431 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7308 6403 1111 63 0 7245 0
vsize: 29232
[startup+880.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 6458 0 0 0 87889 123 0 0 25 0 1 0 644642585 30068736 6433 4294967295 134512640 134714540 3221221776 3221220464 134551887 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7341 6433 1111 63 0 7278 0
vsize: 29364
[startup+890.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 6474 0 0 0 88887 124 0 0 25 0 1 0 644642585 30203904 6449 4294967295 134512640 134714540 3221221776 3221220524 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7374 6449 1111 63 0 7311 0
vsize: 29496
[startup+900.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 6508 0 0 0 89886 126 0 0 25 0 1 0 644642585 30339072 6483 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7407 6483 1111 63 0 7344 0
vsize: 29628
[startup+910.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 6522 0 0 0 90884 127 0 0 25 0 1 0 644642585 30339072 6497 4294967295 134512640 134714540 3221221776 3221220332 134535903 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7407 6497 1111 63 0 7344 0
vsize: 29628
[startup+920.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 6535 0 0 0 91883 129 0 0 25 0 1 0 644642585 30470144 6510 4294967295 134512640 134714540 3221221776 3221220268 134552651 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7439 6510 1111 63 0 7376 0
vsize: 29756
[startup+930.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 6555 0 0 0 92882 130 0 0 25 0 1 0 644642585 30470144 6530 4294967295 134512640 134714540 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7439 6530 1111 63 0 7376 0
vsize: 29756
[startup+940.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 6580 0 0 0 93881 131 0 0 25 0 1 0 644642585 30601216 6555 4294967295 134512640 134714540 3221221776 3221220272 134535442 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7471 6555 1111 63 0 7408 0
vsize: 29884
[startup+950.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 6602 0 0 0 94880 133 0 0 25 0 1 0 644642585 30736384 6577 4294967295 134512640 134714540 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7504 6577 1111 63 0 7441 0
vsize: 30016
[startup+960.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 6618 0 0 0 95878 134 0 0 25 0 1 0 644642585 30736384 6593 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7504 6593 1111 63 0 7441 0
vsize: 30016
[startup+970.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 6673 0 0 0 96878 135 0 0 25 0 1 0 644642585 30990336 6648 4294967295 134512640 134714540 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7566 6648 1111 63 0 7503 0
vsize: 30264
[startup+980.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 6708 0 0 0 97877 136 0 0 25 0 1 0 644642585 31117312 6683 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7597 6683 1111 63 0 7534 0
vsize: 30388
[startup+990.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 6732 0 0 0 98876 137 0 0 25 0 1 0 644642585 31252480 6707 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7630 6707 1111 63 0 7567 0
vsize: 30520
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 6758 0 0 0 99875 139 0 0 25 0 1 0 644642585 31387648 6733 4294967295 134512640 134714540 3221221776 3221220588 134554888 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7663 6733 1111 63 0 7600 0
vsize: 30652
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 6786 0 0 0 100874 140 0 0 25 0 1 0 644642585 31522816 6761 4294967295 134512640 134714540 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7696 6761 1111 63 0 7633 0
vsize: 30784
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 6789 0 0 0 101873 141 0 0 25 0 1 0 644642585 31522816 6764 4294967295 134512640 134714540 3221221776 3221220536 134552578 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7696 6764 1111 63 0 7633 0
vsize: 30784
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 6808 0 0 0 102872 142 0 0 25 0 1 0 644642585 31522816 6783 4294967295 134512640 134714540 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7696 6783 1111 63 0 7633 0
vsize: 30784
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 6851 0 0 0 103871 144 0 0 25 0 1 0 644642585 31789056 6826 4294967295 134512640 134714540 3221221776 3221220368 134548587 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7761 6826 1111 63 0 7698 0
vsize: 31044
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 6851 0 0 0 104870 145 0 0 25 0 1 0 644642585 31789056 6826 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7761 6826 1111 63 0 7698 0
vsize: 31044
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 6851 0 0 0 105869 146 0 0 25 0 1 0 644642585 31789056 6826 4294967295 134512640 134714540 3221221776 3221220492 134552682 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7761 6826 1111 63 0 7698 0
vsize: 31044
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 6851 0 0 0 106868 146 0 0 25 0 1 0 644642585 31789056 6826 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7761 6826 1111 63 0 7698 0
vsize: 31044
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 6851 0 0 0 107867 148 0 0 25 0 1 0 644642585 31789056 6826 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7761 6826 1111 63 0 7698 0
vsize: 31044
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 6851 0 0 0 108866 149 0 0 25 0 1 0 644642585 31789056 6826 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7761 6826 1111 63 0 7698 0
vsize: 31044
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 6851 0 0 0 109865 151 0 0 25 0 1 0 644642585 31789056 6826 4294967295 134512640 134714540 3221221776 3221220392 134613965 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7761 6826 1111 63 0 7698 0
vsize: 31044
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 6852 0 0 0 110864 152 0 0 25 0 1 0 644642585 31789056 6827 4294967295 134512640 134714540 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7761 6827 1111 63 0 7698 0
vsize: 31044
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 6872 0 0 0 111863 153 0 0 25 0 1 0 644642585 31789056 6847 4294967295 134512640 134714540 3221221776 3221220368 134549541 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7761 6847 1111 63 0 7698 0
vsize: 31044
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 6878 0 0 0 112862 154 0 0 25 0 1 0 644642585 31789056 6853 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7761 6853 1111 63 0 7698 0
vsize: 31044
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 6881 0 0 0 113861 155 0 0 25 0 1 0 644642585 31789056 6856 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7761 6856 1111 63 0 7698 0
vsize: 31044
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 6902 0 0 0 114860 156 0 0 25 0 1 0 644642585 31924224 6877 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7794 6877 1111 63 0 7731 0
vsize: 31176
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 6952 0 0 0 115860 157 0 0 25 0 1 0 644642585 32190464 6927 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7859 6927 1111 63 0 7796 0
vsize: 31436
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 6978 0 0 0 116859 158 0 0 25 0 1 0 644642585 32190464 6953 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7859 6953 1111 63 0 7796 0
vsize: 31436
[startup+1174.9 s]
Raw data (loadavg): 0.99 0.98 0.99 1/53 29940
Raw data (stat): 29938 (bsolo_mis) R 29937 7876 7672 0 -1 0 6978 0 0 0 116859 158 0 0 25 0 1 0 644642585 32190464 6953 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7859 6953 1111 63 0 7796 0
vsize: 0

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