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-chnl30_31_pb.cnf.cr.opb
MD5SUM	79bafd08ddd684356ab9abc8fabf88a7
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	32
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.05399
Number of variables	1860
Total number of constraints	122
Number of constraints which are clauses	62
Number of constraints which are cardinality constraints (but not clauses)	60
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	30
Maximum length of a constraint	31
Trace number 23194

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 07:42:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=93 boxname=wulflinc31 idbench=11 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  79bafd08ddd684356ab9abc8fabf88a7  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl30_31_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-chnl30_31_pb.cnf.cr.opb
IDLAUNCH: 93
/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:        931944 kB
Buffers:         35836 kB
Cached:          45104 kB
SwapCached:        864 kB
Active:          70200 kB
Inactive:        13108 kB
HighTotal:      131008 kB
HighFree:        84924 kB
LowTotal:       903652 kB
LowFree:        847020 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13840 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 08:01:51 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 93 7 1175.04 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 1860 variables and 122 constraints.
c After prepocess the problem consists of 1860 variables and 122 constraints.
c preprocess terminated 0.552 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.97 0.91 2/54 9429
Raw data (stat): 9429 (runsolver) R 9428 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 629759757 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.0012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 1106 0 0 0 990 6 0 0 25 0 1 0 629759757 8159232 1081 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1992 1081 1111 63 0 1929 0
vsize: 7968
[startup+20.0021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 1161 0 0 0 1988 8 0 0 25 0 1 0 629759757 8429568 1136 4294967295 134512640 134714540 3221221776 3221220416 134696109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2058 1136 1111 63 0 1995 0
vsize: 8232
[startup+30.0037 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 1172 0 0 0 2986 10 0 0 25 0 1 0 629759757 8429568 1147 4294967295 134512640 134714540 3221221776 3221220384 134549457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2058 1147 1111 63 0 1995 0
vsize: 8232
[startup+40.0038 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 1178 0 0 0 3983 13 0 0 25 0 1 0 629759757 8564736 1153 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2091 1153 1111 63 0 2028 0
vsize: 8364
[startup+50.0037 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 1196 0 0 0 4980 16 0 0 25 0 1 0 629759757 8564736 1171 4294967295 134512640 134714540 3221221776 3221220392 134613965 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2091 1171 1111 63 0 2028 0
vsize: 8364
[startup+60.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 1276 0 0 0 5978 18 0 0 25 0 1 0 629759757 8970240 1251 4294967295 134512640 134714540 3221221776 3221220512 134558518 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2190 1251 1111 63 0 2127 0
vsize: 8760
[startup+70.0048 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 1370 0 0 0 6977 20 0 0 25 0 1 0 629759757 9240576 1345 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2256 1345 1111 63 0 2193 0
vsize: 9024
[startup+80.0056 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 1617 0 0 0 7975 22 0 0 25 0 1 0 629759757 10313728 1592 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2518 1592 1111 63 0 2455 0
vsize: 10072
[startup+90.0061 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 1765 0 0 0 8974 23 0 0 25 0 1 0 629759757 10969088 1740 4294967295 134512640 134714540 3221221776 3221220260 134697228 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2678 1740 1111 63 0 2615 0
vsize: 10712
[startup+100.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 1887 0 0 0 9971 26 0 0 25 0 1 0 629759757 11358208 1862 4294967295 134512640 134714540 3221221776 3221220332 134535891 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2773 1862 1111 63 0 2710 0
vsize: 11092
[startup+110.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 1959 0 0 0 10969 28 0 0 25 0 1 0 629759757 11763712 1934 4294967295 134512640 134714540 3221221776 3221220560 134529296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2872 1934 1111 63 0 2809 0
vsize: 11488
[startup+120.007 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 1995 0 0 0 11968 29 0 0 25 0 1 0 629759757 11894784 1970 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2904 1970 1111 63 0 2841 0
vsize: 11616
[startup+130.007 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 2042 0 0 0 12966 31 0 0 25 0 1 0 629759757 12029952 2017 4294967295 134512640 134714540 3221221776 3221220368 134549680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2937 2017 1111 63 0 2874 0
vsize: 11748
[startup+140.007 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 2090 0 0 0 13964 34 0 0 25 0 1 0 629759757 12300288 2065 4294967295 134512640 134714540 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3003 2065 1111 63 0 2940 0
vsize: 12012
[startup+150.008 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 2193 0 0 0 14962 36 0 0 25 0 1 0 629759757 12701696 2168 4294967295 134512640 134714540 3221221776 3221220428 134536771 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3101 2168 1111 63 0 3038 0
vsize: 12404
[startup+160.008 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 2208 0 0 0 15961 38 0 0 25 0 1 0 629759757 12701696 2183 4294967295 134512640 134714540 3221221776 3221220428 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3101 2183 1111 63 0 3038 0
vsize: 12404
[startup+170.008 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 2308 0 0 0 16959 40 0 0 25 0 1 0 629759757 13103104 2283 4294967295 134512640 134714540 3221221776 3221220600 134590243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3199 2283 1111 63 0 3136 0
vsize: 12796
[startup+180.009 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 2380 0 0 0 17957 42 0 0 25 0 1 0 629759757 13373440 2355 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3265 2355 1111 63 0 3202 0
vsize: 13060
[startup+190.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 2414 0 0 0 18956 43 0 0 25 0 1 0 629759757 13508608 2389 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3298 2389 1111 63 0 3235 0
vsize: 13192
[startup+200.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 2430 0 0 0 19955 44 0 0 25 0 1 0 629759757 13643776 2405 4294967295 134512640 134714540 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3331 2405 1111 63 0 3268 0
vsize: 13324
[startup+210.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 2465 0 0 0 20954 45 0 0 25 0 1 0 629759757 13774848 2440 4294967295 134512640 134714540 3221221776 3221220352 134549718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3363 2440 1111 63 0 3300 0
vsize: 13452
[startup+220.011 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 2497 0 0 0 21953 46 0 0 25 0 1 0 629759757 13905920 2472 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3395 2472 1111 63 0 3332 0
vsize: 13580
[startup+230.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 2513 0 0 0 22952 48 0 0 25 0 1 0 629759757 13905920 2488 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3395 2488 1111 63 0 3332 0
vsize: 13580
[startup+240.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 2584 0 0 0 23950 50 0 0 25 0 1 0 629759757 14311424 2559 4294967295 134512640 134714540 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3494 2559 1111 63 0 3431 0
vsize: 13976
[startup+250.011 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 2643 0 0 0 24948 52 0 0 25 0 1 0 629759757 14446592 2618 4294967295 134512640 134714540 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3527 2618 1111 63 0 3464 0
vsize: 14108
[startup+260.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 2711 0 0 0 25947 54 0 0 25 0 1 0 629759757 14831616 2686 4294967295 134512640 134714540 3221221776 3221220464 134524578 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3621 2686 1111 63 0 3558 0
vsize: 14484
[startup+270.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 2727 0 0 0 26945 56 0 0 25 0 1 0 629759757 14827520 2702 4294967295 134512640 134714540 3221221776 3221220432 134536600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3620 2702 1111 63 0 3557 0
vsize: 14480
[startup+280.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 2838 0 0 0 27943 57 0 0 25 0 1 0 629759757 15368192 2813 4294967295 134512640 134714540 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3752 2813 1111 63 0 3689 0
vsize: 15008
[startup+290.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 2902 0 0 0 28942 59 0 0 25 0 1 0 629759757 15499264 2877 4294967295 134512640 134714540 3221221776 3221220560 134584852 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3784 2877 1111 63 0 3721 0
vsize: 15136
[startup+300.019 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 2963 0 0 0 29940 61 0 0 25 0 1 0 629759757 15769600 2938 4294967295 134512640 134714540 3221221776 3221220460 134523848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3850 2938 1111 63 0 3787 0
vsize: 15400
[startup+310.019 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 2997 0 0 0 30939 63 0 0 25 0 1 0 629759757 15900672 2972 4294967295 134512640 134714540 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3882 2972 1111 63 0 3819 0
vsize: 15528
[startup+320.019 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3023 0 0 0 31938 64 0 0 25 0 1 0 629759757 16035840 2998 4294967295 134512640 134714540 3221221776 3221220360 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3915 2998 1111 63 0 3852 0
vsize: 15660
[startup+330.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3044 0 0 0 32937 65 0 0 25 0 1 0 629759757 16166912 3019 4294967295 134512640 134714540 3221221776 3221220368 134549742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3947 3019 1111 63 0 3884 0
vsize: 15788
[startup+340.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3050 0 0 0 33935 67 0 0 25 0 1 0 629759757 16166912 3025 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3947 3025 1111 63 0 3884 0
vsize: 15788
[startup+350.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3061 0 0 0 34934 69 0 0 25 0 1 0 629759757 16166912 3036 4294967295 134512640 134714540 3221221776 3221220392 134542657 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3947 3036 1111 63 0 3884 0
vsize: 15788
[startup+360.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3075 0 0 0 35932 70 0 0 25 0 1 0 629759757 16285696 3050 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3976 3050 1111 63 0 3913 0
vsize: 15904
[startup+370.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3080 0 0 0 36931 72 0 0 25 0 1 0 629759757 16285696 3055 4294967295 134512640 134714540 3221221776 3221220560 134529232 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3976 3055 1111 63 0 3913 0
vsize: 15904
[startup+380.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3089 0 0 0 37930 73 0 0 25 0 1 0 629759757 16285696 3064 4294967295 134512640 134714540 3221221776 3221220400 134696055 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3976 3064 1111 63 0 3913 0
vsize: 15904
[startup+390.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3139 0 0 0 38929 74 0 0 25 0 1 0 629759757 16556032 3114 4294967295 134512640 134714540 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4042 3114 1111 63 0 3979 0
vsize: 16168
[startup+400.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3189 0 0 0 39928 76 0 0 25 0 1 0 629759757 16691200 3164 4294967295 134512640 134714540 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4075 3164 1111 63 0 4012 0
vsize: 16300
[startup+410.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3189 0 0 0 40926 77 0 0 25 0 1 0 629759757 16691200 3164 4294967295 134512640 134714540 3221221776 3221220400 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4075 3164 1111 63 0 4012 0
vsize: 16300
[startup+420.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3208 0 0 0 41926 78 0 0 25 0 1 0 629759757 16826368 3183 4294967295 134512640 134714540 3221221776 3221220384 134549334 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4108 3183 1111 63 0 4045 0
vsize: 16432
[startup+430.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3237 0 0 0 42925 79 0 0 25 0 1 0 629759757 16961536 3212 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4141 3212 1111 63 0 4078 0
vsize: 16564
[startup+440.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3268 0 0 0 43924 80 0 0 25 0 1 0 629759757 17092608 3243 4294967295 134512640 134714540 3221221776 3221220524 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4173 3243 1111 63 0 4110 0
vsize: 16692
[startup+450.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3317 0 0 0 44923 82 0 0 25 0 1 0 629759757 17317888 3292 4294967295 134512640 134714540 3221221776 3221220368 134549588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4228 3292 1111 63 0 4165 0
vsize: 16912
[startup+460.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3336 0 0 0 45921 84 0 0 25 0 1 0 629759757 17309696 3311 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4226 3311 1111 63 0 4163 0
vsize: 16904
[startup+470.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3373 0 0 0 46920 85 0 0 25 0 1 0 629759757 17444864 3348 4294967295 134512640 134714540 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4259 3348 1111 63 0 4196 0
vsize: 17036
[startup+480.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3382 0 0 0 47919 87 0 0 25 0 1 0 629759757 17559552 3357 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4287 3357 1111 63 0 4224 0
vsize: 17148
[startup+490.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3413 0 0 0 48917 88 0 0 25 0 1 0 629759757 17657856 3388 4294967295 134512640 134714540 3221221776 3221220232 1077378180 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3388 1111 63 0 4248 0
vsize: 17244
[startup+500.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3435 0 0 0 49916 89 0 0 25 0 1 0 629759757 17793024 3410 4294967295 134512640 134714540 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4344 3410 1111 63 0 4281 0
vsize: 17376
[startup+510.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3454 0 0 0 50915 91 0 0 25 0 1 0 629759757 17793024 3429 4294967295 134512640 134714540 3221221776 3221220384 134549457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4344 3429 1111 63 0 4281 0
vsize: 17376
[startup+520.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3472 0 0 0 51914 92 0 0 25 0 1 0 629759757 17928192 3447 4294967295 134512640 134714540 3221221776 3221220428 134536839 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4377 3447 1111 63 0 4314 0
vsize: 17508
[startup+530.031 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3483 0 0 0 52912 94 0 0 25 0 1 0 629759757 17928192 3458 4294967295 134512640 134714540 3221221776 3221220512 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4377 3458 1111 63 0 4314 0
vsize: 17508
[startup+540.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3487 0 0 0 53912 95 0 0 25 0 1 0 629759757 17928192 3462 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4377 3462 1111 63 0 4314 0
vsize: 17508
[startup+550.031 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3499 0 0 0 54910 96 0 0 25 0 1 0 629759757 18063360 3474 4294967295 134512640 134714540 3221221776 3221220540 134552651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4410 3474 1111 63 0 4347 0
vsize: 17640
[startup+560.031 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3511 0 0 0 55909 98 0 0 25 0 1 0 629759757 18063360 3486 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4410 3486 1111 63 0 4347 0
vsize: 17640
[startup+570.032 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3522 0 0 0 56908 99 0 0 25 0 1 0 629759757 18063360 3497 4294967295 134512640 134714540 3221221776 3221220432 134536624 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4410 3497 1111 63 0 4347 0
vsize: 17640
[startup+580.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3550 0 0 0 57907 101 0 0 25 0 1 0 629759757 18194432 3525 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4442 3525 1111 63 0 4379 0
vsize: 17768
[startup+590.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3550 0 0 0 58906 102 0 0 25 0 1 0 629759757 18194432 3525 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4442 3525 1111 63 0 4379 0
vsize: 17768
[startup+600.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3559 0 0 0 59904 104 0 0 25 0 1 0 629759757 18194432 3534 4294967295 134512640 134714540 3221221776 3221220492 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4442 3534 1111 63 0 4379 0
vsize: 17768
[startup+610.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3568 0 0 0 60903 105 0 0 25 0 1 0 629759757 18329600 3543 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4475 3543 1111 63 0 4412 0
vsize: 17900
[startup+620.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3570 0 0 0 61901 107 0 0 25 0 1 0 629759757 18329600 3545 4294967295 134512640 134714540 3221221776 3221220236 1077374432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4475 3545 1111 63 0 4412 0
vsize: 17900
[startup+630.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3582 0 0 0 62900 108 0 0 25 0 1 0 629759757 18329600 3557 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4475 3557 1111 63 0 4412 0
vsize: 17900
[startup+640.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3612 0 0 0 63899 109 0 0 25 0 1 0 629759757 18464768 3587 4294967295 134512640 134714540 3221221776 3221220432 134524132 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4508 3587 1111 63 0 4445 0
vsize: 18032
[startup+650.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3649 0 0 0 64898 111 0 0 25 0 1 0 629759757 18599936 3624 4294967295 134512640 134714540 3221221776 3221220472 134528705 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4541 3624 1111 63 0 4478 0
vsize: 18164
[startup+660.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3666 0 0 0 65896 113 0 0 25 0 1 0 629759757 18735104 3641 4294967295 134512640 134714540 3221221776 3221220412 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4574 3641 1111 63 0 4511 0
vsize: 18296
[startup+670.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3685 0 0 0 66895 114 0 0 25 0 1 0 629759757 18735104 3660 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4574 3660 1111 63 0 4511 0
vsize: 18296
[startup+680.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3735 0 0 0 67893 116 0 0 25 0 1 0 629759757 19005440 3710 4294967295 134512640 134714540 3221221776 3221220520 134551632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4640 3710 1111 63 0 4577 0
vsize: 18560
[startup+690.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3735 0 0 0 68892 117 0 0 25 0 1 0 629759757 19005440 3710 4294967295 134512640 134714540 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4640 3710 1111 63 0 4577 0
vsize: 18560
[startup+700.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3735 0 0 0 69891 118 0 0 25 0 1 0 629759757 19005440 3710 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4640 3710 1111 63 0 4577 0
vsize: 18560
[startup+710.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3771 0 0 0 70890 120 0 0 25 0 1 0 629759757 19140608 3746 4294967295 134512640 134714540 3221221776 3221220296 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4673 3746 1111 63 0 4610 0
vsize: 18692
[startup+720.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3805 0 0 0 71889 120 0 0 25 0 1 0 629759757 19275776 3780 4294967295 134512640 134714540 3221221776 3221220520 134551620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4706 3780 1111 63 0 4643 0
vsize: 18824
[startup+730.037 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3817 0 0 0 72888 122 0 0 25 0 1 0 629759757 19275776 3792 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4706 3792 1111 63 0 4643 0
vsize: 18824
[startup+740.037 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3829 0 0 0 73887 123 0 0 25 0 1 0 629759757 19410944 3804 4294967295 134512640 134714540 3221221776 3221220512 134535835 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4739 3804 1111 63 0 4676 0
vsize: 18956
[startup+750.038 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3861 0 0 0 74886 124 0 0 25 0 1 0 629759757 19546112 3836 4294967295 134512640 134714540 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4772 3836 1111 63 0 4709 0
vsize: 19088
[startup+760.038 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3889 0 0 0 75885 125 0 0 25 0 1 0 629759757 19546112 3864 4294967295 134512640 134714540 3221221776 3221220516 134524380 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4772 3864 1111 63 0 4709 0
vsize: 19088
[startup+770.039 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3931 0 0 0 76884 127 0 0 25 0 1 0 629759757 19808256 3906 4294967295 134512640 134714540 3221221776 3221220476 1076533124 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4836 3906 1111 63 0 4773 0
vsize: 19344
[startup+780.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3934 0 0 0 77883 128 0 0 25 0 1 0 629759757 19808256 3909 4294967295 134512640 134714540 3221221776 3221220376 134549411 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4836 3909 1111 63 0 4773 0
vsize: 19344
[startup+790.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3956 0 0 0 78882 129 0 0 25 0 1 0 629759757 19943424 3931 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4869 3931 1111 63 0 4806 0
vsize: 19476
[startup+800.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3960 0 0 0 79882 130 0 0 25 0 1 0 629759757 19943424 3935 4294967295 134512640 134714540 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4869 3935 1111 63 0 4806 0
vsize: 19476
[startup+810.041 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3965 0 0 0 80881 131 0 0 25 0 1 0 629759757 19943424 3940 4294967295 134512640 134714540 3221221776 3221220368 134549588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4869 3940 1111 63 0 4806 0
vsize: 19476
[startup+820.041 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3976 0 0 0 81880 132 0 0 25 0 1 0 629759757 19943424 3951 4294967295 134512640 134714540 3221221776 3221220368 134549742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4869 3951 1111 63 0 4806 0
vsize: 19476
[startup+830.041 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3988 0 0 0 82879 133 0 0 25 0 1 0 629759757 20078592 3963 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4902 3963 1111 63 0 4839 0
vsize: 19608
[startup+840.042 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 3992 0 0 0 83878 134 0 0 25 0 1 0 629759757 20078592 3967 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4902 3967 1111 63 0 4839 0
vsize: 19608
[startup+850.042 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 4011 0 0 0 84877 136 0 0 25 0 1 0 629759757 20078592 3986 4294967295 134512640 134714540 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4902 3986 1111 63 0 4839 0
vsize: 19608
[startup+860.043 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 4017 0 0 0 85875 137 0 0 25 0 1 0 629759757 20078592 3992 4294967295 134512640 134714540 3221221776 3221220368 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4902 3992 1111 63 0 4839 0
vsize: 19608
[startup+870.043 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 4031 0 0 0 86874 139 0 0 25 0 1 0 629759757 20213760 4006 4294967295 134512640 134714540 3221221776 3221220400 134696302 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4935 4006 1111 63 0 4872 0
vsize: 19740
[startup+880.043 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 4046 0 0 0 87873 140 0 0 25 0 1 0 629759757 20213760 4021 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4935 4021 1111 63 0 4872 0
vsize: 19740
[startup+890.043 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 4054 0 0 0 88872 141 0 0 25 0 1 0 629759757 20348928 4029 4294967295 134512640 134714540 3221221776 3221220352 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4968 4029 1111 63 0 4905 0
vsize: 19872
[startup+900.043 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 4076 0 0 0 89871 142 0 0 25 0 1 0 629759757 20348928 4051 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4968 4051 1111 63 0 4905 0
vsize: 19872
[startup+910.044 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 4076 0 0 0 90871 143 0 0 25 0 1 0 629759757 20348928 4051 4294967295 134512640 134714540 3221221776 3221220304 134535460 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4968 4051 1111 63 0 4905 0
vsize: 19872
[startup+920.044 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 4078 0 0 0 91870 144 0 0 25 0 1 0 629759757 20348928 4053 4294967295 134512640 134714540 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4968 4053 1111 63 0 4905 0
vsize: 19872
[startup+930.044 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 4078 0 0 0 92868 145 0 0 25 0 1 0 629759757 20348928 4053 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4968 4053 1111 63 0 4905 0
vsize: 19872
[startup+940.045 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 4080 0 0 0 93867 147 0 0 25 0 1 0 629759757 20348928 4055 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4968 4055 1111 63 0 4905 0
vsize: 19872
[startup+950.046 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 4090 0 0 0 94866 148 0 0 25 0 1 0 629759757 20480000 4065 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5000 4065 1111 63 0 4937 0
vsize: 20000
[startup+960.046 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 4098 0 0 0 95865 149 0 0 25 0 1 0 629759757 20480000 4073 4294967295 134512640 134714540 3221221776 3221220368 134549585 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5000 4073 1111 63 0 4937 0
vsize: 20000
[startup+970.046 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 4100 0 0 0 96864 150 0 0 25 0 1 0 629759757 20480000 4075 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5000 4075 1111 63 0 4937 0
vsize: 20000
[startup+980.046 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 4113 0 0 0 97863 151 0 0 25 0 1 0 629759757 20480000 4088 4294967295 134512640 134714540 3221221776 3221220456 134552642 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5000 4088 1111 63 0 4937 0
vsize: 20000
[startup+990.046 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 4113 0 0 0 98863 152 0 0 25 0 1 0 629759757 20480000 4088 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5000 4088 1111 63 0 4937 0
vsize: 20000
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 4118 0 0 0 99862 153 0 0 25 0 1 0 629759757 20480000 4093 4294967295 134512640 134714540 3221221776 3221220504 134535782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5000 4093 1111 63 0 4937 0
vsize: 20000
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 4130 0 0 0 100861 154 0 0 25 0 1 0 629759757 20615168 4105 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5033 4105 1111 63 0 4970 0
vsize: 20132
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 4141 0 0 0 101860 155 0 0 25 0 1 0 629759757 20615168 4116 4294967295 134512640 134714540 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5033 4116 1111 63 0 4970 0
vsize: 20132
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 4152 0 0 0 102859 156 0 0 25 0 1 0 629759757 20750336 4127 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5066 4127 1111 63 0 5003 0
vsize: 20264
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 4152 0 0 0 103859 157 0 0 25 0 1 0 629759757 20750336 4127 4294967295 134512640 134714540 3221221776 3221220432 1076647581 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5066 4127 1111 63 0 5003 0
vsize: 20264
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 4152 0 0 0 104858 158 0 0 25 0 1 0 629759757 20725760 4127 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5060 4127 1111 63 0 4997 0
vsize: 20240
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9429
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 4172 0 0 0 105857 159 0 0 25 0 1 0 629759757 20725760 4147 4294967295 134512640 134714540 3221221776 3221220332 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5060 4147 1111 63 0 4997 0
vsize: 20240
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 9430
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 4179 0 0 0 106855 161 0 0 25 0 1 0 629759757 20860928 4154 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5093 4154 1111 63 0 5030 0
vsize: 20372
[startup+1080.05 s]
Raw data (loadavg): 1.15 1.02 0.93 4/59 9481
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 4195 0 0 0 107854 162 0 0 25 0 1 0 629759757 20848640 4170 4294967295 134512640 134714540 3221221776 3221220520 134551632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5090 4170 1111 63 0 5027 0
vsize: 20360
[startup+1090.05 s]
Raw data (loadavg): 1.13 1.02 0.93 2/54 9482
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 4213 0 0 0 108853 163 0 0 25 0 1 0 629759757 20983808 4188 4294967295 134512640 134714540 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5123 4188 1111 63 0 5060 0
vsize: 20492
[startup+1100.05 s]
Raw data (loadavg): 1.11 1.01 0.93 2/54 9482
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 4222 0 0 0 109852 165 0 0 25 0 1 0 629759757 20983808 4197 4294967295 134512640 134714540 3221221776 3221220412 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5123 4197 1111 63 0 5060 0
vsize: 20492
[startup+1110.05 s]
Raw data (loadavg): 1.09 1.01 0.93 2/54 9482
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 4245 0 0 0 110851 166 0 0 25 0 1 0 629759757 21118976 4220 4294967295 134512640 134714540 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5156 4220 1111 63 0 5093 0
vsize: 20624
[startup+1120.05 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 9482
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 4245 0 0 0 111850 167 0 0 25 0 1 0 629759757 21106688 4220 4294967295 134512640 134714540 3221221776 3221220384 134549332 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5153 4220 1111 63 0 5090 0
vsize: 20612
[startup+1130.05 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 9482
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 4254 0 0 0 112849 168 0 0 25 0 1 0 629759757 21106688 4229 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5153 4229 1111 63 0 5090 0
vsize: 20612
[startup+1140.05 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 9482
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 4267 0 0 0 113848 169 0 0 25 0 1 0 629759757 21106688 4242 4294967295 134512640 134714540 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5153 4242 1111 63 0 5090 0
vsize: 20612
[startup+1150.05 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 9482
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 4276 0 0 0 114847 171 0 0 25 0 1 0 629759757 21241856 4251 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5186 4251 1111 63 0 5123 0
vsize: 20744
[startup+1160.05 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 9484
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 4286 0 0 0 115846 172 0 0 25 0 1 0 629759757 21241856 4261 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5186 4261 1111 63 0 5123 0
vsize: 20744
[startup+1170.05 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 9484
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 4307 0 0 0 116844 174 0 0 25 0 1 0 629759757 21377024 4282 4294967295 134512640 134714540 3221221776 3221220408 134696049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5219 4282 1111 63 0 5156 0
vsize: 20876
[startup+1174.9 s]
Raw data (loadavg): 1.03 1.01 0.93 1/53 9484
Raw data (stat): 9429 (bsolo_mis) R 9428 7876 7672 0 -1 0 4307 0 0 0 116844 174 0 0 25 0 1 0 629759757 21377024 4282 4294967295 134512640 134714540 3221221776 3221220408 134696049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5219 4282 1111 63 0 5156 0
vsize: 0

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