Trace number 3500341

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 into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. 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.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. 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 X seconds (see the parameters in the trace). 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 X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    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.
  5. 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 provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pwbo 1.1SAT (TO)-21 1800.17 900.148

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb
MD5SUM32f273c48805c1e726044ae006778010
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-44
Best CPU time to get the best result obtained on this benchmark1797.39
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -49
Optimality of the best value was proved NO
Number of variables1150
Total number of constraints80035
Number of constraints which are clauses80035
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1150
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1150
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1150
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c pwbo 1.1 beta - 20110321
0.00/0.00	c Parsing opb file format. File HOME/instance-3500341-1307993970.opb.
0.00/0.00	c Instance file HOME/instance-3500341-1307993970.opb
0.00/0.00	c File size is 1935391 bytes.
0.09/0.13	c Highest Coefficient sum: 3
0.09/0.13	c ============================[ Problem Statistics ]=============================
0.09/0.13	c |                                                                             |
0.09/0.13	c |  Parsing time:          0.12         s                                      |
0.09/0.13	c |  Number Variables:      1150                                                |
0.09/0.13	c |  Number Clauses:        80035                                               |
0.09/0.13	c |  Number Cardinality:    0                                                   |
0.09/0.13	c |  Number PB Constraints: 0                                                   |
0.09/0.16	c init lb 0
0.09/0.16	c init ub 1151
0.09/0.17	c ub 0 (thread 1)
0.09/0.17	o 0
0.09/0.17	c ub -1 (thread 1)
0.09/0.18	o -1
0.09/0.18	c ub -2 (thread 1)
0.09/0.19	o -2
0.09/0.19	c lb -1149 (thread 0)
0.09/0.20	c ub -3 (thread 1)
0.27/0.21	o -3
0.27/0.21	c ub -4 (thread 1)
0.27/0.21	o -4
0.27/0.21	c lb -1148 (thread 0)
0.27/0.21	c ub -5 (thread 1)
0.27/0.22	o -5
0.27/0.22	c ub -6 (thread 1)
0.27/0.23	o -6
0.27/0.23	c ub -7 (thread 1)
0.27/0.23	o -7
0.27/0.23	c lb -1147 (thread 0)
0.27/0.25	c lb -1146 (thread 0)
0.27/0.27	c lb -1145 (thread 0)
0.27/0.29	c ub -8 (thread 1)
0.27/0.29	o -8
0.27/0.29	c lb -1144 (thread 0)
0.47/0.31	c lb -1143 (thread 0)
0.47/0.33	c lb -1142 (thread 0)
0.47/0.35	c ub -9 (thread 1)
0.47/0.35	o -9
0.47/0.35	c lb -1141 (thread 0)
0.47/0.37	c lb -1140 (thread 0)
0.47/0.39	c lb -1139 (thread 0)
0.65/0.41	c lb -1138 (thread 0)
0.65/0.43	c lb -1137 (thread 0)
0.65/0.45	c lb -1136 (thread 0)
0.65/0.47	c lb -1135 (thread 0)
0.65/0.48	c lb -1134 (thread 0)
0.86/0.50	c lb -1133 (thread 0)
0.86/0.52	c lb -1132 (thread 0)
0.86/0.54	c lb -1131 (thread 0)
0.86/0.54	c ub -10 (thread 1)
0.86/0.56	o -10
0.86/0.56	c lb -1130 (thread 0)
0.86/0.58	c lb -1129 (thread 0)
1.05/0.60	c lb -1128 (thread 0)
1.05/0.62	c lb -1127 (thread 0)
1.05/0.64	c lb -1126 (thread 0)
1.05/0.66	c lb -1125 (thread 0)
1.05/0.68	c lb -1124 (thread 0)
1.26/0.70	c lb -1123 (thread 0)
1.26/0.72	c lb -1122 (thread 0)
1.26/0.74	c ub -11 (thread 1)
1.26/0.74	o -11
1.26/0.74	c lb -1121 (thread 0)
1.26/0.76	c lb -1120 (thread 0)
1.26/0.78	c lb -1119 (thread 0)
1.46/0.80	c lb -1118 (thread 0)
1.46/0.82	c lb -1117 (thread 0)
1.46/0.83	c lb -1116 (thread 0)
1.46/0.85	c lb -1115 (thread 0)
1.46/0.87	c lb -1114 (thread 0)
1.46/0.89	c lb -1113 (thread 0)
1.66/0.91	c lb -1112 (thread 0)
1.66/0.93	c lb -1111 (thread 0)
1.66/0.95	c lb -1110 (thread 0)
1.66/0.97	c lb -1109 (thread 0)
1.66/0.99	c lb -1108 (thread 0)
1.87/1.01	c lb -1107 (thread 0)
1.87/1.03	c lb -1106 (thread 0)
1.87/1.05	c lb -1105 (thread 0)
1.87/1.07	c lb -1104 (thread 0)
1.87/1.09	c lb -1103 (thread 0)
2.07/1.11	c lb -1102 (thread 0)
2.07/1.13	c lb -1101 (thread 0)
2.07/1.15	c lb -1100 (thread 0)
2.07/1.16	c ub -12 (thread 1)
2.07/1.17	o -12
2.07/1.17	c ub -13 (thread 1)
2.07/1.17	o -13
2.07/1.17	c lb -1099 (thread 0)
2.07/1.19	c lb -1098 (thread 0)
2.25/1.21	c lb -1097 (thread 0)
2.25/1.23	c lb -1096 (thread 0)
2.25/1.25	c lb -1095 (thread 0)
2.25/1.27	c lb -1094 (thread 0)
2.25/1.29	c lb -1093 (thread 0)
2.45/1.30	c lb -1092 (thread 0)
2.45/1.32	c lb -1091 (thread 0)
2.45/1.34	c lb -1090 (thread 0)
2.45/1.36	c lb -1089 (thread 0)
2.45/1.38	c lb -1088 (thread 0)
2.66/1.40	c lb -1087 (thread 0)
2.66/1.42	c lb -1086 (thread 0)
2.66/1.44	c lb -1085 (thread 0)
2.66/1.46	c lb -1084 (thread 0)
2.66/1.48	c lb -1083 (thread 0)
2.86/1.50	c lb -1082 (thread 0)
2.86/1.52	c lb -1081 (thread 0)
2.86/1.54	c lb -1080 (thread 0)
2.86/1.56	c lb -1079 (thread 0)
2.86/1.58	c lb -1078 (thread 0)
3.06/1.60	c lb -1077 (thread 0)
3.06/1.62	c lb -1076 (thread 0)
3.06/1.64	c lb -1075 (thread 0)
3.06/1.66	c lb -1074 (thread 0)
3.06/1.68	c lb -1073 (thread 0)
3.25/1.70	c lb -1072 (thread 0)
3.25/1.72	c lb -1071 (thread 0)
3.25/1.74	c lb -1070 (thread 0)
3.25/1.76	c lb -1069 (thread 0)
3.25/1.78	c lb -1068 (thread 0)
3.46/1.80	c lb -1067 (thread 0)
3.46/1.82	c lb -1066 (thread 0)
3.46/1.84	c lb -1065 (thread 0)
3.46/1.87	c lb -1064 (thread 0)
3.46/1.89	c lb -1063 (thread 0)
3.66/1.91	c lb -1062 (thread 0)
3.66/1.93	c lb -1061 (thread 0)
3.66/1.95	c lb -1060 (thread 0)
3.66/1.97	c lb -1059 (thread 0)
3.66/1.99	c lb -1058 (thread 0)
3.85/2.01	c lb -1057 (thread 0)
3.85/2.03	c lb -1056 (thread 0)
3.85/2.05	c lb -1055 (thread 0)
3.85/2.07	c lb -1054 (thread 0)
3.85/2.09	c lb -1053 (thread 0)
4.07/2.11	c lb -1052 (thread 0)
4.07/2.13	c lb -1051 (thread 0)
4.07/2.15	c lb -1050 (thread 0)
4.07/2.17	c lb -1049 (thread 0)
4.07/2.19	c lb -1048 (thread 0)
4.27/2.21	c ub -14 (thread 1)
4.27/2.21	o -14
4.27/2.21	c lb -1047 (thread 0)
4.27/2.23	c lb -1046 (thread 0)
4.27/2.25	c lb -1045 (thread 0)
4.27/2.27	c lb -1044 (thread 0)
4.27/2.30	c lb -1043 (thread 0)
4.46/2.32	c lb -1042 (thread 0)
4.46/2.34	c lb -1041 (thread 0)
4.46/2.36	c lb -1040 (thread 0)
4.46/2.38	c lb -1039 (thread 0)
4.66/2.40	c lb -1038 (thread 0)
4.66/2.42	c lb -1037 (thread 0)
4.66/2.44	c lb -1036 (thread 0)
4.66/2.46	c lb -1035 (thread 0)
4.66/2.48	c lb -1034 (thread 0)
4.86/2.50	c lb -1033 (thread 0)
4.86/2.53	c lb -1032 (thread 0)
4.86/2.55	c lb -1031 (thread 0)
4.86/2.57	c lb -1030 (thread 0)
4.86/2.59	c lb -1029 (thread 0)
5.06/2.61	c lb -1028 (thread 0)
5.06/2.63	c lb -1027 (thread 0)
5.06/2.65	c lb -1026 (thread 0)
5.06/2.67	c lb -1025 (thread 0)
5.06/2.69	c lb -1024 (thread 0)
5.25/2.72	c lb -1023 (thread 0)
5.25/2.74	c lb -1022 (thread 0)
5.25/2.76	c lb -1021 (thread 0)
5.25/2.78	c lb -1020 (thread 0)
5.45/2.80	c lb -1019 (thread 0)
5.45/2.82	c lb -1018 (thread 0)
5.45/2.84	c lb -1017 (thread 0)
5.45/2.87	c lb -1016 (thread 0)
5.45/2.89	c lb -1015 (thread 0)
5.65/2.91	c lb -1014 (thread 0)
5.65/2.93	c lb -1013 (thread 0)
5.65/2.95	c lb -1012 (thread 0)
5.65/2.97	c lb -1011 (thread 0)
5.65/2.99	c lb -1010 (thread 0)
5.86/3.02	c lb -1009 (thread 0)
5.86/3.04	c lb -1008 (thread 0)
5.86/3.06	c lb -1007 (thread 0)
5.86/3.08	c lb -1006 (thread 0)
6.05/3.10	c lb -1005 (thread 0)
6.05/3.12	c lb -1004 (thread 0)
6.05/3.15	c lb -1003 (thread 0)
6.05/3.17	c lb -1002 (thread 0)
6.05/3.19	c lb -1001 (thread 0)
6.26/3.21	c lb -1000 (thread 0)
6.26/3.23	c lb -999 (thread 0)
6.26/3.26	c lb -998 (thread 0)
6.26/3.28	c lb -997 (thread 0)
6.26/3.30	c lb -996 (thread 0)
6.46/3.32	c lb -995 (thread 0)
6.46/3.34	c lb -994 (thread 0)
6.46/3.37	c lb -993 (thread 0)
6.46/3.39	c lb -992 (thread 0)
6.66/3.41	c lb -991 (thread 0)
6.66/3.43	c lb -990 (thread 0)
6.66/3.45	c lb -989 (thread 0)
6.66/3.48	c lb -988 (thread 0)
6.86/3.50	c lb -987 (thread 0)
6.86/3.52	c lb -986 (thread 0)
6.86/3.54	c ub -15 (thread 1)
6.86/3.54	o -15
6.86/3.54	c lb -985 (thread 0)
6.86/3.57	c lb -984 (thread 0)
6.86/3.59	c lb -983 (thread 0)
7.06/3.61	c lb -982 (thread 0)
7.06/3.63	c lb -981 (thread 0)
7.06/3.66	c lb -980 (thread 0)
7.06/3.68	c lb -979 (thread 0)
7.26/3.70	c lb -978 (thread 0)
7.26/3.72	c lb -977 (thread 0)
7.26/3.75	c lb -976 (thread 0)
7.26/3.77	c lb -975 (thread 0)
7.26/3.79	c lb -974 (thread 0)
7.45/3.81	c lb -973 (thread 0)
7.45/3.84	c lb -972 (thread 0)
7.45/3.86	c lb -971 (thread 0)
7.45/3.88	c lb -970 (thread 0)
7.65/3.90	c lb -969 (thread 0)
7.65/3.93	c lb -968 (thread 0)
7.65/3.95	c lb -967 (thread 0)
7.65/3.97	c lb -966 (thread 0)
7.65/4.00	c lb -965 (thread 0)
7.86/4.02	c lb -964 (thread 0)
7.86/4.04	c lb -963 (thread 0)
7.86/4.07	c lb -962 (thread 0)
7.86/4.09	c lb -961 (thread 0)
8.06/4.11	c lb -960 (thread 0)
8.06/4.13	c lb -959 (thread 0)
8.06/4.16	c lb -958 (thread 0)
8.06/4.18	c lb -957 (thread 0)
8.26/4.20	c lb -956 (thread 0)
8.26/4.23	c lb -955 (thread 0)
8.26/4.25	c lb -954 (thread 0)
8.26/4.28	c lb -953 (thread 0)
8.26/4.28	c ub -16 (thread 1)
8.26/4.30	o -16
8.26/4.30	c lb -952 (thread 0)
8.47/4.32	c lb -951 (thread 0)
8.47/4.35	c lb -950 (thread 0)
8.47/4.37	c lb -949 (thread 0)
8.47/4.39	c lb -948 (thread 0)
8.67/4.42	c lb -947 (thread 0)
8.67/4.44	c lb -946 (thread 0)
8.67/4.46	c lb -945 (thread 0)
8.67/4.49	c lb -944 (thread 0)
8.86/4.51	c lb -943 (thread 0)
8.86/4.53	c lb -942 (thread 0)
8.86/4.56	c lb -941 (thread 0)
8.86/4.58	c lb -940 (thread 0)
9.06/4.61	c lb -939 (thread 0)
9.06/4.63	c lb -938 (thread 0)
9.06/4.65	c lb -937 (thread 0)
9.06/4.68	c lb -936 (thread 0)
9.26/4.70	c lb -935 (thread 0)
9.26/4.73	c lb -934 (thread 0)
9.26/4.75	c lb -933 (thread 0)
9.26/4.77	c lb -932 (thread 0)
9.46/4.80	c lb -931 (thread 0)
9.46/4.82	c lb -930 (thread 0)
9.46/4.85	c lb -929 (thread 0)
9.46/4.87	c lb -928 (thread 0)
9.46/4.90	c lb -927 (thread 0)
9.65/4.92	c lb -926 (thread 0)
9.65/4.94	c lb -925 (thread 0)
9.65/4.97	c lb -924 (thread 0)
9.65/4.99	c lb -923 (thread 0)
9.85/5.02	c lb -922 (thread 0)
9.85/5.04	c lb -921 (thread 0)
9.85/5.07	c lb -920 (thread 0)
9.85/5.09	c lb -919 (thread 0)
10.05/5.12	c lb -918 (thread 0)
10.05/5.14	c lb -917 (thread 0)
10.05/5.16	c lb -916 (thread 0)
10.05/5.19	c lb -915 (thread 0)
10.25/5.21	c lb -914 (thread 0)
10.25/5.24	c lb -913 (thread 0)
10.25/5.26	c lb -912 (thread 0)
10.25/5.29	c lb -911 (thread 0)
10.46/5.31	c lb -910 (thread 0)
10.46/5.34	c lb -909 (thread 0)
10.46/5.36	c lb -908 (thread 0)
10.46/5.39	c lb -907 (thread 0)
10.67/5.41	c lb -906 (thread 0)
10.67/5.44	c lb -905 (thread 0)
10.67/5.46	c lb -904 (thread 0)
10.67/5.49	c lb -903 (thread 0)
10.87/5.51	c lb -902 (thread 0)
10.87/5.54	c lb -901 (thread 0)
10.87/5.56	c lb -900 (thread 0)
10.87/5.59	c lb -899 (thread 0)
11.06/5.61	c lb -898 (thread 0)
11.06/5.64	c lb -897 (thread 0)
11.06/5.67	c lb -896 (thread 0)
11.06/5.69	c lb -895 (thread 0)
11.26/5.72	c lb -894 (thread 0)
11.26/5.74	c lb -893 (thread 0)
11.26/5.77	c lb -892 (thread 0)
11.26/5.79	c lb -891 (thread 0)
11.46/5.82	c lb -890 (thread 0)
11.46/5.85	c lb -889 (thread 0)
11.46/5.87	c lb -888 (thread 0)
11.66/5.90	c lb -887 (thread 0)
11.66/5.92	c lb -886 (thread 0)
11.66/5.95	c lb -885 (thread 0)
11.66/5.98	c lb -884 (thread 0)
11.85/6.00	c lb -883 (thread 0)
11.85/6.03	c lb -882 (thread 0)
11.85/6.05	c lb -881 (thread 0)
11.85/6.08	c lb -880 (thread 0)
12.05/6.11	c lb -879 (thread 0)
12.05/6.13	c lb -878 (thread 0)
12.05/6.16	c lb -877 (thread 0)
12.05/6.19	c lb -876 (thread 0)
12.25/6.21	c lb -875 (thread 0)
12.25/6.24	c lb -874 (thread 0)
12.25/6.27	c lb -873 (thread 0)
12.25/6.29	c lb -872 (thread 0)
12.46/6.32	c lb -871 (thread 0)
12.46/6.35	c lb -870 (thread 0)
12.46/6.37	c lb -869 (thread 0)
12.66/6.40	c lb -868 (thread 0)
12.66/6.43	c lb -867 (thread 0)
12.66/6.45	c lb -866 (thread 0)
12.66/6.48	c lb -865 (thread 0)
12.87/6.51	c lb -864 (thread 0)
12.87/6.53	c lb -863 (thread 0)
12.87/6.56	c lb -862 (thread 0)
12.87/6.59	c lb -861 (thread 0)
13.07/6.61	c lb -860 (thread 0)
13.07/6.64	c lb -859 (thread 0)
13.07/6.67	c lb -858 (thread 0)
13.07/6.69	c lb -857 (thread 0)
13.26/6.72	c lb -856 (thread 0)
13.26/6.75	c lb -855 (thread 0)
13.26/6.77	c lb -854 (thread 0)
13.46/6.80	c lb -853 (thread 0)
13.46/6.83	c lb -852 (thread 0)
13.46/6.86	c lb -851 (thread 0)
13.46/6.88	c lb -850 (thread 0)
13.65/6.91	c lb -849 (thread 0)
13.65/6.94	c lb -848 (thread 0)
13.65/6.97	c lb -847 (thread 0)
13.65/6.99	c lb -846 (thread 0)
13.85/7.02	c lb -845 (thread 0)
13.85/7.05	c lb -844 (thread 0)
13.85/7.08	c lb -843 (thread 0)
14.05/7.10	c lb -842 (thread 0)
14.05/7.13	c lb -841 (thread 0)
14.05/7.16	c lb -840 (thread 0)
14.05/7.19	c lb -839 (thread 0)
14.25/7.22	c lb -838 (thread 0)
14.25/7.24	c lb -837 (thread 0)
14.25/7.27	c lb -836 (thread 0)
14.45/7.30	c lb -835 (thread 0)
14.45/7.33	c lb -834 (thread 0)
14.45/7.36	c lb -833 (thread 0)
14.45/7.38	c lb -832 (thread 0)
14.65/7.41	c lb -831 (thread 0)
14.65/7.44	c lb -830 (thread 0)
14.65/7.47	c lb -829 (thread 0)
14.85/7.50	c lb -828 (thread 0)
14.85/7.53	c lb -827 (thread 0)
14.85/7.55	c lb -826 (thread 0)
14.85/7.58	c lb -825 (thread 0)
15.06/7.61	c lb -824 (thread 0)
15.06/7.64	c lb -823 (thread 0)
15.06/7.67	c lb -822 (thread 0)
15.06/7.69	c lb -821 (thread 0)
15.26/7.72	c lb -820 (thread 0)
15.26/7.73	c ub -17 (thread 1)
15.26/7.75	o -17
15.26/7.75	c lb -819 (thread 0)
15.26/7.78	c lb -818 (thread 0)
15.46/7.81	c lb -817 (thread 0)
15.46/7.84	c lb -816 (thread 0)
15.46/7.87	c lb -815 (thread 0)
15.46/7.90	c lb -814 (thread 0)
15.66/7.92	c lb -813 (thread 0)
15.66/7.95	c lb -812 (thread 0)
15.66/7.98	c lb -811 (thread 0)
15.86/8.01	c lb -810 (thread 0)
15.86/8.04	c lb -809 (thread 0)
15.86/8.07	c lb -808 (thread 0)
16.06/8.10	c lb -807 (thread 0)
16.06/8.13	c lb -806 (thread 0)
16.06/8.16	c lb -805 (thread 0)
16.06/8.19	c lb -804 (thread 0)
16.26/8.21	c lb -803 (thread 0)
16.26/8.24	c lb -802 (thread 0)
16.26/8.27	c lb -801 (thread 0)
16.45/8.30	c lb -800 (thread 0)
16.45/8.33	c lb -799 (thread 0)
16.45/8.36	c lb -798 (thread 0)
16.45/8.39	c lb -797 (thread 0)
16.66/8.42	c lb -796 (thread 0)
16.66/8.45	c lb -795 (thread 0)
16.66/8.48	c lb -794 (thread 0)
16.86/8.51	c lb -793 (thread 0)
16.86/8.54	c lb -792 (thread 0)
16.86/8.57	c lb -791 (thread 0)
17.06/8.60	c lb -790 (thread 0)
17.06/8.63	c lb -789 (thread 0)
17.06/8.66	c lb -788 (thread 0)
17.06/8.69	c lb -787 (thread 0)
17.27/8.72	c lb -786 (thread 0)
17.27/8.75	c lb -785 (thread 0)
17.27/8.78	c lb -784 (thread 0)
17.47/8.81	c lb -783 (thread 0)
17.47/8.84	c lb -782 (thread 0)
17.47/8.87	c lb -781 (thread 0)
17.66/8.90	c lb -780 (thread 0)
17.66/8.93	c lb -779 (thread 0)
17.66/8.96	c lb -778 (thread 0)
17.66/8.99	c lb -777 (thread 0)
17.86/9.02	c lb -776 (thread 0)
17.86/9.05	c lb -775 (thread 0)
17.86/9.08	c lb -774 (thread 0)
18.06/9.11	c lb -773 (thread 0)
18.06/9.14	c lb -772 (thread 0)
18.06/9.17	c lb -771 (thread 0)
18.26/9.21	c lb -770 (thread 0)
18.26/9.24	c lb -769 (thread 0)
18.26/9.27	c lb -768 (thread 0)
18.46/9.30	c lb -767 (thread 0)
18.46/9.33	c lb -766 (thread 0)
18.46/9.36	c lb -765 (thread 0)
18.46/9.39	c lb -764 (thread 0)
18.66/9.42	c lb -763 (thread 0)
18.66/9.45	c lb -762 (thread 0)
18.66/9.48	c lb -761 (thread 0)
18.86/9.51	c lb -760 (thread 0)
18.86/9.55	c lb -759 (thread 0)
18.86/9.58	c lb -758 (thread 0)
19.05/9.61	c lb -757 (thread 0)
19.05/9.64	c lb -756 (thread 0)
19.05/9.67	c lb -755 (thread 0)
19.25/9.70	c lb -754 (thread 0)
19.25/9.73	c lb -753 (thread 0)
19.25/9.77	c lb -752 (thread 0)
19.25/9.80	c lb -751 (thread 0)
19.47/9.83	c lb -750 (thread 0)
19.47/9.86	c lb -749 (thread 0)
19.47/9.89	c lb -748 (thread 0)
19.67/9.92	c lb -747 (thread 0)
19.67/9.96	c lb -746 (thread 0)
19.67/9.99	c lb -745 (thread 0)
19.86/10.02	c lb -744 (thread 0)
19.86/10.05	c lb -743 (thread 0)
19.86/10.09	c lb -742 (thread 0)
20.06/10.12	c lb -741 (thread 0)
20.06/10.15	c lb -740 (thread 0)
20.06/10.18	c lb -739 (thread 0)
20.26/10.22	c lb -738 (thread 0)
20.26/10.25	c lb -737 (thread 0)
20.26/10.28	c lb -736 (thread 0)
20.46/10.31	c lb -735 (thread 0)
20.46/10.35	c lb -734 (thread 0)
20.46/10.38	c lb -733 (thread 0)
20.66/10.41	c lb -732 (thread 0)
20.66/10.45	c lb -731 (thread 0)
20.66/10.48	c lb -730 (thread 0)
20.85/10.51	c lb -729 (thread 0)
20.85/10.54	c lb -728 (thread 0)
20.85/10.58	c lb -727 (thread 0)
21.05/10.61	c lb -726 (thread 0)
21.05/10.64	c lb -725 (thread 0)
21.05/10.68	c lb -724 (thread 0)
21.25/10.71	c lb -723 (thread 0)
21.25/10.75	c lb -722 (thread 0)
21.25/10.78	c lb -721 (thread 0)
21.46/10.81	c lb -720 (thread 0)
21.46/10.85	c lb -719 (thread 0)
21.46/10.88	c lb -718 (thread 0)
21.67/10.92	c lb -717 (thread 0)
21.67/10.95	c lb -716 (thread 0)
21.67/10.98	c lb -715 (thread 0)
21.87/11.02	c lb -714 (thread 0)
21.87/11.05	c lb -713 (thread 0)
21.87/11.09	c lb -712 (thread 0)
22.06/11.12	c lb -711 (thread 0)
22.06/11.16	c lb -710 (thread 0)
22.06/11.19	c lb -709 (thread 0)
22.26/11.23	c lb -708 (thread 0)
22.26/11.26	c lb -707 (thread 0)
22.26/11.29	c lb -706 (thread 0)
22.46/11.33	c lb -705 (thread 0)
22.46/11.37	c lb -704 (thread 0)
22.66/11.40	c lb -703 (thread 0)
22.66/11.44	c lb -702 (thread 0)
22.66/11.47	c lb -701 (thread 0)
22.86/11.51	c lb -700 (thread 0)
22.86/11.54	c lb -699 (thread 0)
22.86/11.58	c lb -698 (thread 0)
23.06/11.62	c lb -697 (thread 0)
23.06/11.65	c lb -696 (thread 0)
23.06/11.69	c lb -695 (thread 0)
23.25/11.72	c lb -694 (thread 0)
23.25/11.76	c lb -693 (thread 0)
23.45/11.80	c lb -692 (thread 0)
23.45/11.83	c lb -691 (thread 0)
23.45/11.87	c lb -690 (thread 0)
23.65/11.91	c lb -689 (thread 0)
23.65/11.94	c lb -688 (thread 0)
23.65/11.98	c lb -687 (thread 0)
23.86/12.02	c lb -686 (thread 0)
23.86/12.05	c lb -685 (thread 0)
23.86/12.09	c lb -684 (thread 0)
24.06/12.13	c lb -683 (thread 0)
24.06/12.17	c lb -682 (thread 0)
24.25/12.20	c lb -681 (thread 0)
24.25/12.24	c lb -680 (thread 0)
24.25/12.28	c lb -679 (thread 0)
24.45/12.31	c lb -678 (thread 0)
24.45/12.35	c lb -677 (thread 0)
24.45/12.39	c lb -676 (thread 0)
24.65/12.43	c lb -675 (thread 0)
24.65/12.47	c lb -674 (thread 0)
24.86/12.51	c lb -673 (thread 0)
24.86/12.54	c lb -672 (thread 0)
24.86/12.58	c lb -671 (thread 0)
25.06/12.62	c lb -670 (thread 0)
25.06/12.66	c lb -669 (thread 0)
25.26/12.70	c lb -668 (thread 0)
25.26/12.74	c lb -667 (thread 0)
25.26/12.77	c lb -666 (thread 0)
25.46/12.81	c lb -665 (thread 0)
25.46/12.85	c lb -664 (thread 0)
25.46/12.89	c lb -663 (thread 0)
25.66/12.93	c lb -662 (thread 0)
25.66/12.97	c lb -661 (thread 0)
25.86/13.01	c lb -660 (thread 0)
25.86/13.05	c lb -659 (thread 0)
25.86/13.09	c lb -658 (thread 0)
26.07/13.13	c lb -657 (thread 0)
26.07/13.17	c lb -656 (thread 0)
26.27/13.21	c lb -655 (thread 0)
26.27/13.24	c lb -654 (thread 0)
26.27/13.28	c lb -653 (thread 0)
26.46/13.32	c lb -652 (thread 0)
26.46/13.36	c lb -651 (thread 0)
26.66/13.40	c lb -650 (thread 0)
26.66/13.44	c lb -649 (thread 0)
26.66/13.48	c lb -648 (thread 0)
26.86/13.52	c lb -647 (thread 0)
26.86/13.56	c lb -646 (thread 0)
27.05/13.60	c lb -645 (thread 0)
27.05/13.64	c lb -644 (thread 0)
27.05/13.68	c lb -643 (thread 0)
27.25/13.72	c lb -642 (thread 0)
27.25/13.76	c lb -641 (thread 0)
27.46/13.80	c lb -640 (thread 0)
27.46/13.84	c lb -639 (thread 0)
27.46/13.89	c lb -638 (thread 0)
27.66/13.93	c lb -637 (thread 0)
27.66/13.97	c lb -636 (thread 0)
27.86/14.01	c lb -635 (thread 0)
27.86/14.05	c lb -634 (thread 0)
27.86/14.09	c lb -633 (thread 0)
28.06/14.13	c lb -632 (thread 0)
28.06/14.18	c lb -631 (thread 0)
28.27/14.22	c lb -630 (thread 0)
28.27/14.26	c lb -629 (thread 0)
28.27/14.30	c lb -628 (thread 0)
28.47/14.34	c lb -627 (thread 0)
28.47/14.39	c lb -626 (thread 0)
28.66/14.43	c lb -625 (thread 0)
28.66/14.47	c lb -624 (thread 0)
28.86/14.51	c lb -623 (thread 0)
28.86/14.55	c lb -622 (thread 0)
29.06/14.60	c lb -621 (thread 0)
29.06/14.64	c lb -620 (thread 0)
29.06/14.68	c lb -619 (thread 0)
29.26/14.73	c lb -618 (thread 0)
29.26/14.77	c lb -617 (thread 0)
29.46/14.81	c lb -616 (thread 0)
29.46/14.85	c lb -615 (thread 0)
29.65/14.90	c lb -614 (thread 0)
29.65/14.94	c lb -613 (thread 0)
29.65/14.98	c lb -612 (thread 0)
29.85/15.03	c lb -611 (thread 0)
29.85/15.07	c lb -610 (thread 0)
30.05/15.11	c lb -609 (thread 0)
30.05/15.16	c lb -608 (thread 0)
30.26/15.20	c lb -607 (thread 0)
30.26/15.24	c lb -606 (thread 0)
30.26/15.29	c lb -605 (thread 0)
30.47/15.33	c lb -604 (thread 0)
30.47/15.38	c lb -603 (thread 0)
30.67/15.42	c lb -602 (thread 0)
30.67/15.46	c lb -601 (thread 0)
30.86/15.51	c lb -600 (thread 0)
30.86/15.55	c lb -599 (thread 0)
30.86/15.59	c lb -598 (thread 0)
31.06/15.64	c lb -597 (thread 0)
31.06/15.68	c lb -596 (thread 0)
31.26/15.73	c lb -595 (thread 0)
31.26/15.77	c lb -594 (thread 0)
31.46/15.82	c lb -593 (thread 0)
31.46/15.86	c lb -592 (thread 0)
31.66/15.90	c lb -591 (thread 0)
31.66/15.95	c lb -590 (thread 0)
31.66/15.99	c lb -589 (thread 0)
31.86/16.04	c lb -588 (thread 0)
31.86/16.08	c lb -587 (thread 0)
32.06/16.13	c lb -586 (thread 0)
32.06/16.17	c lb -585 (thread 0)
32.26/16.21	c lb -584 (thread 0)
32.26/16.26	c lb -583 (thread 0)
32.46/16.30	c lb -582 (thread 0)
32.46/16.35	c lb -581 (thread 0)
32.46/16.39	c lb -580 (thread 0)
32.67/16.44	c lb -579 (thread 0)
32.67/16.48	c lb -578 (thread 0)
32.87/16.53	c lb -577 (thread 0)
32.87/16.57	c lb -576 (thread 0)
33.05/16.62	c lb -575 (thread 0)
33.05/16.66	c lb -574 (thread 0)
33.26/16.71	c lb -573 (thread 0)
33.26/16.76	c lb -572 (thread 0)
33.46/16.80	c lb -571 (thread 0)
33.46/16.85	c lb -570 (thread 0)
33.66/16.90	c lb -569 (thread 0)
33.66/16.95	c lb -568 (thread 0)
33.66/16.99	c lb -567 (thread 0)
33.86/17.04	c lb -566 (thread 0)
33.86/17.09	c lb -565 (thread 0)
34.06/17.13	c lb -564 (thread 0)
34.06/17.18	c lb -563 (thread 0)
34.26/17.23	c lb -562 (thread 0)
34.26/17.28	c lb -561 (thread 0)
34.46/17.33	c lb -560 (thread 0)
34.46/17.37	c lb -559 (thread 0)
34.65/17.42	c lb -558 (thread 0)
34.65/17.47	c lb -557 (thread 0)
34.86/17.52	c lb -556 (thread 0)
34.86/17.56	c lb -555 (thread 0)
35.07/17.61	c lb -554 (thread 0)
35.07/17.66	c lb -553 (thread 0)
35.26/17.71	c lb -552 (thread 0)
35.26/17.76	c lb -551 (thread 0)
35.46/17.80	c lb -550 (thread 0)
35.46/17.85	c lb -549 (thread 0)
35.66/17.90	c lb -548 (thread 0)
35.66/17.95	c lb -547 (thread 0)
35.86/18.00	c lb -546 (thread 0)
35.86/18.04	c lb -545 (thread 0)
35.86/18.09	c lb -544 (thread 0)
36.06/18.14	c lb -543 (thread 0)
36.06/18.19	c lb -542 (thread 0)
36.26/18.23	c lb -541 (thread 0)
36.26/18.28	c lb -540 (thread 0)
36.46/18.33	c lb -539 (thread 0)
36.46/18.38	c lb -538 (thread 0)
36.66/18.43	c lb -537 (thread 0)
36.66/18.48	c lb -536 (thread 0)
36.86/18.53	c lb -535 (thread 0)
36.86/18.58	c lb -534 (thread 0)
37.07/18.63	c lb -533 (thread 0)
37.07/18.67	c lb -532 (thread 0)
37.27/18.72	c lb -531 (thread 0)
37.27/18.77	c lb -530 (thread 0)
37.45/18.82	c lb -529 (thread 0)
37.45/18.87	c lb -528 (thread 0)
37.65/18.92	c lb -527 (thread 0)
37.65/18.97	c lb -526 (thread 0)
37.85/19.02	c lb -525 (thread 0)
37.85/19.07	c lb -524 (thread 0)
38.05/19.12	c lb -523 (thread 0)
38.05/19.17	c lb -522 (thread 0)
38.26/19.22	c lb -521 (thread 0)
38.26/19.26	c lb -520 (thread 0)
38.46/19.31	c lb -519 (thread 0)
38.46/19.36	c lb -518 (thread 0)
38.66/19.41	c lb -517 (thread 0)
38.66/19.46	c lb -516 (thread 0)
38.86/19.51	c lb -515 (thread 0)
38.86/19.56	c lb -514 (thread 0)
39.06/19.61	c lb -513 (thread 0)
39.06/19.66	c lb -512 (thread 0)
39.27/19.71	c lb -511 (thread 0)
39.27/19.76	c lb -510 (thread 0)
39.47/19.81	c lb -509 (thread 0)
39.47/19.85	c ub -18 (thread 1)
39.47/19.86	o -18
39.47/19.86	c lb -508 (thread 0)
39.66/19.91	c lb -507 (thread 0)
39.66/19.96	c lb -506 (thread 0)
39.86/20.01	c lb -505 (thread 0)
39.86/20.06	c lb -504 (thread 0)
40.06/20.11	c lb -503 (thread 0)
40.06/20.16	c lb -502 (thread 0)
40.26/20.21	c lb -501 (thread 0)
40.26/20.26	c lb -500 (thread 0)
40.46/20.31	c lb -499 (thread 0)
40.46/20.36	c lb -498 (thread 0)
40.66/20.41	c lb -497 (thread 0)
40.66/20.46	c lb -496 (thread 0)
40.86/20.51	c lb -495 (thread 0)
40.86/20.56	c lb -494 (thread 0)
41.05/20.61	c lb -493 (thread 0)
41.05/20.66	c lb -492 (thread 0)
41.25/20.72	c lb -491 (thread 0)
41.25/20.77	c lb -490 (thread 0)
41.47/20.82	c lb -489 (thread 0)
41.47/20.87	c lb -488 (thread 0)
41.67/20.92	c lb -487 (thread 0)
41.67/20.97	c lb -486 (thread 0)
41.86/21.02	c lb -485 (thread 0)
41.86/21.07	c lb -484 (thread 0)
42.06/21.12	c lb -483 (thread 0)
42.06/21.17	c lb -482 (thread 0)
42.26/21.22	c lb -481 (thread 0)
42.26/21.28	c lb -480 (thread 0)
42.46/21.33	c lb -479 (thread 0)
42.46/21.38	c lb -478 (thread 0)
42.66/21.43	c lb -477 (thread 0)
42.66/21.48	c lb -476 (thread 0)
42.86/21.53	c lb -475 (thread 0)
42.86/21.58	c lb -474 (thread 0)
43.06/21.63	c lb -473 (thread 0)
43.06/21.69	c lb -472 (thread 0)
43.25/21.74	c lb -471 (thread 0)
43.25/21.79	c lb -470 (thread 0)
43.45/21.84	c lb -469 (thread 0)
43.45/21.89	c lb -468 (thread 0)
43.67/21.94	c lb -467 (thread 0)
43.67/21.99	c lb -466 (thread 0)
43.87/22.04	c lb -465 (thread 0)
43.87/22.09	c lb -464 (thread 0)
44.05/22.15	c lb -463 (thread 0)
44.26/22.20	c lb -462 (thread 0)
44.26/22.25	c lb -461 (thread 0)
44.46/22.30	c lb -460 (thread 0)
44.46/22.35	c lb -459 (thread 0)
44.66/22.41	c lb -458 (thread 0)
44.66/22.46	c lb -457 (thread 0)
44.86/22.51	c lb -456 (thread 0)
44.86/22.56	c lb -455 (thread 0)
45.06/22.61	c lb -454 (thread 0)
45.06/22.66	c lb -453 (thread 0)
45.26/22.71	c lb -452 (thread 0)
45.26/22.77	c lb -451 (thread 0)
45.46/22.82	c lb -450 (thread 0)
45.46/22.87	c lb -449 (thread 0)
45.66/22.92	c lb -448 (thread 0)
45.66/22.98	c lb -447 (thread 0)
45.87/23.03	c lb -446 (thread 0)
45.87/23.08	c lb -445 (thread 0)
46.07/23.13	c lb -444 (thread 0)
46.07/23.19	c lb -443 (thread 0)
46.26/23.24	c lb -442 (thread 0)
46.26/23.29	c lb -441 (thread 0)
46.46/23.34	c lb -440 (thread 0)
46.46/23.40	c lb -439 (thread 0)
46.65/23.45	c lb -438 (thread 0)
46.85/23.50	c lb -437 (thread 0)
46.85/23.55	c lb -436 (thread 0)
47.05/23.61	c lb -435 (thread 0)
47.05/23.66	c lb -434 (thread 0)
47.26/23.71	c lb -433 (thread 0)
47.26/23.76	c lb -432 (thread 0)
47.46/23.82	c lb -431 (thread 0)
47.46/23.87	c lb -430 (thread 0)
47.66/23.92	c lb -429 (thread 0)
47.66/23.97	c lb -428 (thread 0)
47.86/24.03	c lb -427 (thread 0)
47.86/24.08	c lb -426 (thread 0)
48.07/24.13	c lb -425 (thread 0)
48.07/24.19	c lb -424 (thread 0)
48.27/24.24	c lb -423 (thread 0)
48.27/24.29	c lb -422 (thread 0)
48.46/24.35	c lb -421 (thread 0)
48.66/24.40	c lb -420 (thread 0)
48.66/24.45	c lb -419 (thread 0)
48.85/24.51	c lb -418 (thread 0)
48.85/24.56	c lb -417 (thread 0)
49.05/24.61	c lb -416 (thread 0)
49.05/24.67	c lb -415 (thread 0)
49.25/24.72	c lb -414 (thread 0)
49.25/24.77	c lb -413 (thread 0)
49.45/24.83	c lb -412 (thread 0)
49.45/24.88	c lb -411 (thread 0)
49.65/24.93	c lb -410 (thread 0)
49.65/24.99	c lb -409 (thread 0)
49.86/25.04	c lb -408 (thread 0)
49.86/25.09	c lb -407 (thread 0)
50.06/25.15	c lb -406 (thread 0)
50.06/25.20	c lb -405 (thread 0)
50.27/25.26	c lb -404 (thread 0)
50.47/25.31	c lb -403 (thread 0)
50.47/25.36	c lb -402 (thread 0)
50.66/25.41	c lb -401 (thread 0)
50.66/25.47	c lb -400 (thread 0)
50.86/25.52	c lb -399 (thread 0)
50.86/25.57	c lb -398 (thread 0)
51.06/25.63	c lb -397 (thread 0)
51.06/25.68	c lb -396 (thread 0)
51.26/25.73	c lb -395 (thread 0)
51.26/25.79	c lb -394 (thread 0)
51.46/25.85	c lb -393 (thread 0)
51.66/25.90	c lb -392 (thread 0)
51.66/25.95	c lb -391 (thread 0)
51.86/26.00	c lb -390 (thread 0)
51.86/26.06	c lb -389 (thread 0)
52.06/26.11	c lb -388 (thread 0)
52.06/26.17	c lb -387 (thread 0)
52.26/26.22	c lb -386 (thread 0)
52.26/26.27	c lb -385 (thread 0)
52.47/26.33	c lb -384 (thread 0)
52.47/26.39	c lb -383 (thread 0)
52.67/26.44	c lb -382 (thread 0)
52.86/26.50	c lb -381 (thread 0)
52.86/26.55	c lb -380 (thread 0)
53.05/26.60	c lb -379 (thread 0)
53.05/26.65	c lb -378 (thread 0)
53.25/26.71	c lb -377 (thread 0)
53.25/26.76	c lb -376 (thread 0)
53.45/26.82	c lb -375 (thread 0)
53.45/26.87	c lb -374 (thread 0)
53.65/26.93	c lb -373 (thread 0)
53.65/26.98	c lb -372 (thread 0)
53.86/27.03	c lb -371 (thread 0)
53.86/27.09	c lb -370 (thread 0)
54.06/27.14	c lb -369 (thread 0)
54.26/27.20	c lb -368 (thread 0)
54.26/27.25	c lb -367 (thread 0)
54.46/27.31	c lb -366 (thread 0)
54.46/27.34	c ub -19 (thread 1)
54.46/27.36	o -19
54.46/27.36	c lb -365 (thread 0)
54.67/27.41	c lb -364 (thread 0)
54.67/27.46	c lb -363 (thread 0)
54.87/27.51	c lb -362 (thread 0)
54.87/27.56	c lb -361 (thread 0)
55.06/27.62	c lb -360 (thread 0)
55.06/27.68	c lb -359 (thread 0)
55.26/27.73	c lb -358 (thread 0)
55.26/27.78	c lb -357 (thread 0)
55.46/27.84	c lb -356 (thread 0)
55.46/27.89	c lb -355 (thread 0)
55.66/27.95	c lb -354 (thread 0)
55.86/28.00	c lb -353 (thread 0)
55.86/28.06	c lb -352 (thread 0)
56.06/28.11	c lb -351 (thread 0)
56.06/28.16	c lb -350 (thread 0)
56.25/28.22	c lb -349 (thread 0)
56.25/28.27	c lb -348 (thread 0)
56.45/28.33	c lb -347 (thread 0)
56.45/28.39	c lb -346 (thread 0)
56.65/28.44	c lb -345 (thread 0)
56.65/28.50	c lb -344 (thread 0)
56.87/28.55	c lb -343 (thread 0)
57.07/28.60	c lb -342 (thread 0)
57.07/28.66	c lb -341 (thread 0)
57.26/28.72	c lb -340 (thread 0)
57.26/28.78	c lb -339 (thread 0)
57.46/28.83	c lb -338 (thread 0)
57.46/28.89	c lb -337 (thread 0)
57.66/28.95	c lb -336 (thread 0)
57.85/29.00	c lb -335 (thread 0)
57.85/29.06	c lb -334 (thread 0)
58.05/29.12	c lb -333 (thread 0)
58.05/29.17	c lb -332 (thread 0)
58.26/29.23	c lb -331 (thread 0)
58.26/29.28	c lb -330 (thread 0)
58.46/29.34	c lb -329 (thread 0)
58.66/29.40	c lb -328 (thread 0)
58.66/29.45	c lb -327 (thread 0)
58.86/29.51	c lb -326 (thread 0)
58.86/29.57	c lb -325 (thread 0)
59.06/29.63	c lb -324 (thread 0)
59.06/29.69	c lb -323 (thread 0)
59.27/29.74	c lb -322 (thread 0)
59.46/29.80	c lb -321 (thread 0)
59.46/29.86	c lb -320 (thread 0)
59.66/29.91	c lb -319 (thread 0)
59.66/29.97	c lb -318 (thread 0)
59.86/30.03	c lb -317 (thread 0)
59.86/30.09	c lb -316 (thread 0)
60.05/30.14	c lb -315 (thread 0)
60.25/30.20	c lb -314 (thread 0)
60.25/30.26	c lb -313 (thread 0)
60.46/30.31	c lb -312 (thread 0)
60.46/30.37	c lb -311 (thread 0)
60.66/30.43	c lb -310 (thread 0)
60.66/30.49	c lb -309 (thread 0)
60.86/30.54	c lb -308 (thread 0)
61.06/30.61	c lb -307 (thread 0)
61.06/30.67	c lb -306 (thread 0)
61.27/30.73	c lb -305 (thread 0)
61.27/30.78	c lb -304 (thread 0)
61.47/30.84	c lb -303 (thread 0)
61.66/30.90	c lb -302 (thread 0)
61.66/30.96	c lb -301 (thread 0)
61.86/31.02	c lb -300 (thread 0)
61.86/31.08	c lb -299 (thread 0)
62.06/31.14	c lb -298 (thread 0)
62.26/31.20	c lb -297 (thread 0)
62.26/31.26	c lb -296 (thread 0)
62.46/31.32	c lb -295 (thread 0)
62.46/31.38	c lb -294 (thread 0)
62.66/31.44	c lb -293 (thread 0)
62.86/31.50	c lb -292 (thread 0)
62.86/31.56	c lb -291 (thread 0)
63.06/31.63	c lb -290 (thread 0)
63.06/31.68	c lb -289 (thread 0)
63.26/31.75	c lb -288 (thread 0)
63.47/31.86	c lb -287 (thread 0)
65.06/32.69	c lb -286 (thread 0)
65.26/32.77	c lb -285 (thread 0)
65.46/32.85	c lb -284 (thread 0)
65.67/32.92	c lb -283 (thread 0)
65.87/33.05	c lb -282 (thread 0)
66.05/33.12	c lb -281 (thread 0)
67.65/34.00	c lb -280 (thread 0)
69.46/34.85	c lb -279 (thread 0)
69.86/35.00	c lb -278 (thread 0)
69.86/35.07	c lb -277 (thread 0)
70.46/35.31	c lb -276 (thread 0)
70.85/35.55	c lb -275 (thread 0)
289.06/144.69	c lb -274 (thread 0)
289.66/144.97	c lb -273 (thread 0)
991.07/495.68	c ub -20 (thread 1)
1025.09/512.69	o -20
1025.09/512.69	c lb -272 (thread 0)
1029.49/514.80	c lb -271 (thread 0)
1125.48/562.86	c ub -21 (thread 1)
1249.69/624.94	o -21
1249.69/624.94	c lb -270 (thread 0)
1800.11/900.11	s SATISFIABLE
1800.11/900.11	v -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.11/900.11	c Memory used           : 848.14 MB
1800.11/900.11	c CPU time              : 1795 s

Verifier Data 

OK	-21

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3500341-1307993970/watcher-3500341-1307993970 -o /tmp/evaluation-result-3500341-1307993970/solver-3500341-1307993970 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500341-1307993970.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.88 3.97 3.91 3/179 25636
/proc/meminfo: memFree=15880460/32951124 swapFree=67053176/67111528
[pid=25636] ppid=25634 vsize=4664 CPUtime=0 cores=1,3,5,7
/proc/25636/stat : 25636 (pwbo1.1) R 25634 25636 24477 0 -1 4202496 478 0 0 0 0 0 0 0 25 0 1 0 910994684 4775936 430 33554432000 4194304 5714118 140734591882816 18446744073709551615 5013568 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/25636/statm: 1166 431 166 372 0 318 0

[startup+0.0397681 s]
/proc/loadavg: 3.88 3.97 3.91 3/179 25636
/proc/meminfo: memFree=15880460/32951124 swapFree=67053176/67111528
[pid=25636] ppid=25634 vsize=8120 CPUtime=0.03 cores=1,3,5,7
/proc/25636/stat : 25636 (pwbo1.1) R 25634 25636 24477 0 -1 4202496 1414 0 0 0 3 0 0 0 25 0 1 0 910994684 8314880 1366 33554432000 4194304 5714118 140734591882816 18446744073709551615 4228135 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/25636/statm: 2030 1367 286 372 0 1182 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8120

[startup+0.100745 s]
/proc/loadavg: 3.88 3.97 3.91 3/179 25636
/proc/meminfo: memFree=15880460/32951124 swapFree=67053176/67111528
[pid=25636] ppid=25634 vsize=13928 CPUtime=0.09 cores=1,3,5,7
/proc/25636/stat : 25636 (pwbo1.1) R 25634 25636 24477 0 -1 4202496 3174 0 0 0 9 0 0 0 25 0 1 0 910994684 14262272 3060 33554432000 4194304 5714118 140734591882816 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/25636/statm: 3482 3060 506 372 0 2634 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13928

[startup+0.305706 s]
/proc/loadavg: 3.88 3.97 3.91 3/179 25636
/proc/meminfo: memFree=15880460/32951124 swapFree=67053176/67111528
[pid=25636] ppid=25634 vsize=147592 CPUtime=0.47 cores=1,3,5,7
/proc/25636/stat : 25636 (pwbo1.1) S 25634 25636 24477 0 -1 4202496 13020 0 0 0 43 4 0 0 25 0 3 0 910994684 151134208 11987 33554432000 4194304 5714118 140734591882816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25636/statm: 36898 11987 179 372 0 36523 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 147592

[startup+0.700649 s]
/proc/loadavg: 3.88 3.97 3.91 3/179 25636
/proc/meminfo: memFree=15880460/32951124 swapFree=67053176/67111528
[pid=25636] ppid=25634 vsize=147592 CPUtime=1.26 cores=1,3,5,7
/proc/25636/stat : 25636 (pwbo1.1) S 25634 25636 24477 0 -1 4202496 15461 0 0 0 120 6 0 0 25 0 3 0 910994684 151134208 14428 33554432000 4194304 5714118 140734591882816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25636/statm: 36898 14428 179 372 0 36523 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 147592

[startup+1.50049 s]
/proc/loadavg: 3.88 3.97 3.91 5/182 25639
/proc/meminfo: memFree=15817716/32951124 swapFree=67053176/67111528
[pid=25636] ppid=25634 vsize=147592 CPUtime=2.86 cores=1,3,5,7
/proc/25636/stat : 25636 (pwbo1.1) S 25634 25636 24477 0 -1 4202496 18305 0 0 0 278 8 0 0 25 0 3 0 910994684 151134208 17272 33554432000 4194304 5714118 140734591882816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25636/statm: 36898 17273 179 372 0 36523 0
[pid=25636/tid=25638] ppid=25634 vsize=147592 CPUtime=1.36 cores=1,3,5,7
/proc/25636/task/25638/stat : 25638 (pwbo1.1) R 25634 25636 24477 0 -1 4202560 5142 0 0 0 135 1 0 0 20 0 3 0 910994697 151134208 17273 33554432000 4194304 5714118 140734591882816 18446744073709551615 4973006 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25636/tid=25639] ppid=25634 vsize=147592 CPUtime=1.35 cores=1,3,5,7
/proc/25636/task/25639/stat : 25639 (pwbo1.1) R 25634 25636 24477 0 -1 4202560 8900 0 0 0 130 5 0 0 20 0 3 0 910994697 151134208 17273 33554432000 4194304 5714118 140734591882816 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 147592

[startup+3.1012 s]
/proc/loadavg: 3.88 3.97 3.91 5/182 25639
/proc/meminfo: memFree=15802500/32951124 swapFree=67053176/67111528
[pid=25636] ppid=25634 vsize=147592 CPUtime=6.05 cores=1,3,5,7
/proc/25636/stat : 25636 (pwbo1.1) S 25634 25636 24477 0 -1 4202496 22643 0 0 0 595 10 0 0 25 0 3 0 910994684 151134208 21610 33554432000 4194304 5714118 140734591882816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25636/statm: 36898 21610 179 372 0 36523 0
[pid=25636/tid=25638] ppid=25634 vsize=147592 CPUtime=2.96 cores=1,3,5,7
/proc/25636/task/25638/stat : 25638 (pwbo1.1) R 25634 25636 24477 0 -1 4202560 5293 0 0 0 295 1 0 0 25 0 3 0 910994697 151134208 21610 33554432000 4194304 5714118 140734591882816 18446744073709551615 4976368 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25636/tid=25639] ppid=25634 vsize=147592 CPUtime=2.96 cores=1,3,5,7
/proc/25636/task/25639/stat : 25639 (pwbo1.1) R 25634 25636 24477 0 -1 4202560 13086 0 0 0 288 8 0 0 24 0 3 0 910994697 151134208 21610 33554432000 4194304 5714118 140734591882816 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 147592

[startup+6.30062 s]
/proc/loadavg: 3.89 3.97 3.91 5/182 25639
/proc/meminfo: memFree=15774860/32951124 swapFree=67053176/67111528
[pid=25636] ppid=25634 vsize=213128 CPUtime=12.46 cores=1,3,5,7
/proc/25636/stat : 25636 (pwbo1.1) S 25634 25636 24477 0 -1 4202496 28228 0 0 0 1232 14 0 0 25 0 3 0 910994684 218243072 27195 33554432000 4194304 5714118 140734591882816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25636/statm: 53282 27195 179 372 0 52907 0
[pid=25636/tid=25638] ppid=25634 vsize=213128 CPUtime=6.15 cores=1,3,5,7
/proc/25636/task/25638/stat : 25638 (pwbo1.1) R 25634 25636 24477 0 -1 4202560 5712 0 0 0 614 1 0 0 25 0 3 0 910994697 218243072 27195 33554432000 4194304 5714118 140734591882816 18446744073709551615 4355534 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25636/tid=25639] ppid=25634 vsize=213128 CPUtime=6.16 cores=1,3,5,7
/proc/25636/task/25639/stat : 25639 (pwbo1.1) R 25634 25636 24477 0 -1 4202560 18252 0 0 0 605 11 0 0 25 0 3 0 910994697 218243072 27195 33554432000 4194304 5714118 140734591882816 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 213128

[startup+12.7005 s]
/proc/loadavg: 3.89 3.97 3.91 5/182 25639
/proc/meminfo: memFree=15731916/32951124 swapFree=67053176/67111528
[pid=25636] ppid=25634 vsize=213128 CPUtime=25.26 cores=1,3,5,7
/proc/25636/stat : 25636 (pwbo1.1) S 25634 25636 24477 0 -1 4202496 37725 0 0 0 2507 19 0 0 25 0 3 0 910994684 218243072 35260 33554432000 4194304 5714118 140734591882816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25636/statm: 53282 35260 179 372 0 52907 0
[pid=25636/tid=25638] ppid=25634 vsize=213128 CPUtime=12.56 cores=1,3,5,7
/proc/25636/task/25638/stat : 25638 (pwbo1.1) R 25634 25636 24477 0 -1 4202560 8451 0 0 0 1254 2 0 0 25 0 3 0 910994697 218243072 35260 33554432000 4194304 5714118 140734591882816 18446744073709551615 4956312 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25636/tid=25639] ppid=25634 vsize=213128 CPUtime=12.56 cores=1,3,5,7
/proc/25636/task/25639/stat : 25639 (pwbo1.1) R 25634 25636 24477 0 -1 4202560 25010 0 0 0 1241 15 0 0 25 0 3 0 910994697 218243072 35260 33554432000 4194304 5714118 140734591882816 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 213128

[startup+25.5012 s]
/proc/loadavg: 3.92 3.97 3.91 5/182 25640
/proc/meminfo: memFree=15675500/32951124 swapFree=67053176/67111528
[pid=25636] ppid=25634 vsize=278664 CPUtime=50.86 cores=1,3,5,7
/proc/25636/stat : 25636 (pwbo1.1) S 25634 25636 24477 0 -1 4202496 55339 0 0 0 5056 30 0 0 25 0 3 0 910994684 285351936 46611 33554432000 4194304 5714118 140734591882816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25636/statm: 69666 46611 179 372 0 69291 0
[pid=25636/tid=25638] ppid=25634 vsize=278664 CPUtime=25.36 cores=1,3,5,7
/proc/25636/task/25638/stat : 25638 (pwbo1.1) R 25634 25636 24477 0 -1 4202560 16723 0 0 0 2530 6 0 0 25 0 3 0 910994697 285351936 46611 33554432000 4194304 5714118 140734591882816 18446744073709551615 4973054 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25636/tid=25639] ppid=25634 vsize=278664 CPUtime=25.35 cores=1,3,5,7
/proc/25636/task/25639/stat : 25639 (pwbo1.1) R 25634 25636 24477 0 -1 4202560 34352 0 0 0 2513 22 0 0 25 0 3 0 910994697 285351936 46611 33554432000 4194304 5714118 140734591882816 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 278664

[startup+51.1005 s]
/proc/loadavg: 3.94 3.97 3.91 5/182 25640
/proc/meminfo: memFree=15618460/32951124 swapFree=67053176/67111528
[pid=25636] ppid=25634 vsize=344200 CPUtime=102.05 cores=1,3,5,7
/proc/25636/stat : 25636 (pwbo1.1) S 25634 25636 24477 0 -1 4202496 74296 0 0 0 10134 71 0 0 25 0 3 0 910994684 352460800 57002 33554432000 4194304 5714118 140734591882816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25636/statm: 86050 57002 180 372 0 85675 0
[pid=25636/tid=25638] ppid=25634 vsize=344200 CPUtime=50.96 cores=1,3,5,7
/proc/25636/task/25638/stat : 25638 (pwbo1.1) R 25634 25636 24477 0 -1 4202560 34554 0 0 0 5052 44 0 0 25 0 3 0 910994697 352460800 57002 33554432000 4194304 5714118 140734591882816 18446744073709551615 4319959 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25636/tid=25639] ppid=25634 vsize=344200 CPUtime=50.96 cores=1,3,5,7
/proc/25636/task/25639/stat : 25639 (pwbo1.1) R 25634 25636 24477 0 -1 4202560 35478 0 0 0 5070 26 0 0 25 0 3 0 910994697 352460800 57002 33554432000 4194304 5714118 140734591882816 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 102.05
Current children cumulated vsize (KiB) 344200

[startup+102.306 s]
/proc/loadavg: 3.97 3.97 3.91 5/182 25642
/proc/meminfo: memFree=15423852/32951124 swapFree=67053176/67111528
[pid=25636] ppid=25634 vsize=476356 CPUtime=204.47 cores=1,3,5,7
/proc/25636/stat : 25636 (pwbo1.1) S 25634 25636 24477 0 -1 4202496 118216 0 0 0 20337 110 0 0 25 0 3 0 910994684 487788544 100920 33554432000 4194304 5714118 140734591882816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25636/statm: 119089 100920 180 372 0 118714 0
[pid=25636/tid=25638] ppid=25634 vsize=476356 CPUtime=102.17 cores=1,3,5,7
/proc/25636/task/25638/stat : 25638 (pwbo1.1) R 25634 25636 24477 0 -1 4202560 44834 0 0 0 10152 65 0 0 25 0 3 0 910994697 487788544 100920 33554432000 4194304 5714118 140734591882816 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25636/tid=25639] ppid=25634 vsize=476356 CPUtime=102.16 cores=1,3,5,7
/proc/25636/task/25639/stat : 25639 (pwbo1.1) R 25634 25636 24477 0 -1 4202560 69118 0 0 0 10172 44 0 0 25 0 3 0 910994697 487788544 100920 33554432000 4194304 5714118 140734591882816 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.47
Current children cumulated vsize (KiB) 476356

[startup+162.3 s]
/proc/loadavg: 4.05 3.99 3.91 5/182 25643
/proc/meminfo: memFree=15250812/32951124 swapFree=67053176/67111528
[pid=25636] ppid=25634 vsize=540808 CPUtime=324.46 cores=1,3,5,7
/proc/25636/stat : 25636 (pwbo1.1) S 25634 25636 24477 0 -1 4202496 144101 0 0 0 32286 160 0 0 25 0 3 0 910994684 553787392 126565 33554432000 4194304 5714118 140734591882816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25636/statm: 135202 126565 180 372 0 134827 0
[pid=25636/tid=25638] ppid=25634 vsize=540808 CPUtime=162.17 cores=1,3,5,7
/proc/25636/task/25638/stat : 25638 (pwbo1.1) R 25634 25636 24477 0 -1 4202560 47879 0 0 0 16118 99 0 0 25 0 3 0 910994697 553787392 126565 33554432000 4194304 5714118 140734591882816 18446744073709551615 4319820 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25636/tid=25639] ppid=25634 vsize=540808 CPUtime=162.15 cores=1,3,5,7
/proc/25636/task/25639/stat : 25639 (pwbo1.1) R 25634 25636 24477 0 -1 4202560 91958 0 0 0 16155 60 0 0 25 0 3 0 910994697 553787392 126565 33554432000 4194304 5714118 140734591882816 18446744073709551615 4319359 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 324.46
Current children cumulated vsize (KiB) 540808

[startup+222.301 s]
/proc/loadavg: 4.02 3.99 3.91 5/182 25645
/proc/meminfo: memFree=15113460/32951124 swapFree=67053176/67111528
[pid=25636] ppid=25634 vsize=671880 CPUtime=444.47 cores=1,3,5,7
/proc/25636/stat : 25636 (pwbo1.1) S 25634 25636 24477 0 -1 4202496 170597 0 0 0 44246 201 0 0 25 0 3 0 910994684 688005120 153051 33554432000 4194304 5714118 140734591882816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25636/statm: 167970 153051 180 372 0 167595 0
[pid=25636/tid=25638] ppid=25634 vsize=671880 CPUtime=222.16 cores=1,3,5,7
/proc/25636/task/25638/stat : 25638 (pwbo1.1) R 25634 25636 24477 0 -1 4202560 48242 0 0 0 22095 121 0 0 25 0 3 0 910994697 688005120 153051 33554432000 4194304 5714118 140734591882816 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25636/tid=25639] ppid=25634 vsize=671880 CPUtime=222.16 cores=1,3,5,7
/proc/25636/task/25639/stat : 25639 (pwbo1.1) R 25634 25636 24477 0 -1 4202560 118091 0 0 0 22138 78 0 0 25 0 3 0 910994697 688005120 153051 33554432000 4194304 5714118 140734591882816 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 444.47
Current children cumulated vsize (KiB) 671880

[startup+282.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 25646
/proc/meminfo: memFree=14996968/32951124 swapFree=67053176/67111528
[pid=25636] ppid=25634 vsize=804576 CPUtime=564.47 cores=1,3,5,7
/proc/25636/stat : 25636 (pwbo1.1) S 25634 25636 24477 0 -1 4202496 193657 0 0 0 56209 238 0 0 25 0 3 0 910994684 823885824 176108 33554432000 4194304 5714118 140734591882816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25636/statm: 201144 176108 180 372 0 200769 0
[pid=25636/tid=25638] ppid=25634 vsize=804576 CPUtime=282.17 cores=1,3,5,7
/proc/25636/task/25638/stat : 25638 (pwbo1.1) R 25634 25636 24477 0 -1 4202560 57143 0 0 0 28068 149 0 0 25 0 3 0 910994697 823885824 176108 33554432000 4194304 5714118 140734591882816 18446744073709551615 4300228 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25636/tid=25639] ppid=25634 vsize=804576 CPUtime=282.16 cores=1,3,5,7
/proc/25636/task/25639/stat : 25639 (pwbo1.1) R 25634 25636 24477 0 -1 4202560 132250 0 0 0 28128 88 0 0 25 0 3 0 910994697 823885824 176108 33554432000 4194304 5714118 140734591882816 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 564.47
Current children cumulated vsize (KiB) 804576

[startup+342.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 25648
/proc/meminfo: memFree=14968776/32951124 swapFree=67053176/67111528
[pid=25636] ppid=25634 vsize=804576 CPUtime=684.47 cores=1,3,5,7
/proc/25636/stat : 25636 (pwbo1.1) S 25634 25636 24477 0 -1 4202496 196215 0 0 0 68180 267 0 0 25 0 3 0 910994684 823885824 178666 33554432000 4194304 5714118 140734591882816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25636/statm: 201144 178666 180 372 0 200769 0
[pid=25636/tid=25638] ppid=25634 vsize=804576 CPUtime=342.17 cores=1,3,5,7
/proc/25636/task/25638/stat : 25638 (pwbo1.1) R 25634 25636 24477 0 -1 4202560 58459 0 0 0 34045 172 0 0 25 0 3 0 910994697 823885824 178666 33554432000 4194304 5714118 140734591882816 18446744073709551615 4319704 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25636/tid=25639] ppid=25634 vsize=804576 CPUtime=342.16 cores=1,3,5,7
/proc/25636/task/25639/stat : 25639 (pwbo1.1) R 25634 25636 24477 0 -1 4202560 133492 0 0 0 34123 93 0 0 25 0 3 0 910994697 823885824 178666 33554432000 4194304 5714118 140734591882816 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 684.47
Current children cumulated vsize (KiB) 804576

[startup+402.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 25650
/proc/meminfo: memFree=14884036/32951124 swapFree=67053176/67111528
[pid=25636] ppid=25634 vsize=870112 CPUtime=804.48 cores=1,3,5,7
/proc/25636/stat : 25636 (pwbo1.1) S 25634 25636 24477 0 -1 4202496 203916 0 0 0 80158 290 0 0 25 0 3 0 910994684 890994688 186367 33554432000 4194304 5714118 140734591882816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25636/statm: 217528 186367 180 372 0 217153 0
[pid=25636/tid=25638] ppid=25634 vsize=870112 CPUtime=402.17 cores=1,3,5,7
/proc/25636/task/25638/stat : 25638 (pwbo1.1) R 25634 25636 24477 0 -1 4202560 66155 0 0 0 40025 192 0 0 25 0 3 0 910994697 890994688 186367 33554432000 4194304 5714118 140734591882816 18446744073709551615 4965663 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25636/tid=25639] ppid=25634 vsize=870112 CPUtime=402.16 cores=1,3,5,7
/proc/25636/task/25639/stat : 25639 (pwbo1.1) R 25634 25636 24477 0 -1 4202560 133497 0 0 0 40120 96 0 0 25 0 3 0 910994697 890994688 186367 33554432000 4194304 5714118 140734591882816 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 804.48
Current children cumulated vsize (KiB) 870112

[startup+462.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 25651
/proc/meminfo: memFree=14841936/32951124 swapFree=67053176/67111528
[pid=25636] ppid=25634 vsize=870112 CPUtime=924.47 cores=1,3,5,7
/proc/25636/stat : 25636 (pwbo1.1) S 25634 25636 24477 0 -1 4202496 204457 0 0 0 92135 312 0 0 25 0 3 0 910994684 890994688 186908 33554432000 4194304 5714118 140734591882816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25636/statm: 217528 186908 180 372 0 217153 0
[pid=25636/tid=25638] ppid=25634 vsize=870112 CPUtime=462.17 cores=1,3,5,7
/proc/25636/task/25638/stat : 25638 (pwbo1.1) R 25634 25636 24477 0 -1 4202560 66691 0 0 0 46007 210 0 0 25 0 3 0 910994697 890994688 186908 33554432000 4194304 5714118 140734591882816 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25636/tid=25639] ppid=25634 vsize=870112 CPUtime=462.16 cores=1,3,5,7
/proc/25636/task/25639/stat : 25639 (pwbo1.1) R 25634 25636 24477 0 -1 4202560 133502 0 0 0 46115 101 0 0 25 0 3 0 910994697 890994688 186908 33554432000 4194304 5714118 140734591882816 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 924.47
Current children cumulated vsize (KiB) 870112

[startup+522.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 25653
/proc/meminfo: memFree=14785960/32951124 swapFree=67053176/67111528
[pid=25636] ppid=25634 vsize=868488 CPUtime=1044.48 cores=1,3,5,7
/proc/25636/stat : 25636 (pwbo1.1) S 25634 25636 24477 0 -1 4202496 210265 0 0 0 104099 349 0 0 25 0 3 0 910994684 889331712 191957 33554432000 4194304 5714118 140734591882816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25636/statm: 217122 191957 180 372 0 216747 0
[pid=25636/tid=25638] ppid=25634 vsize=868488 CPUtime=522.17 cores=1,3,5,7
/proc/25636/task/25638/stat : 25638 (pwbo1.1) R 25634 25636 24477 0 -1 4202560 72493 0 0 0 51976 241 0 0 25 0 3 0 910994697 889331712 191957 33554432000 4194304 5714118 140734591882816 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25636/tid=25639] ppid=25634 vsize=868488 CPUtime=522.16 cores=1,3,5,7
/proc/25636/task/25639/stat : 25639 (pwbo1.1) R 25634 25636 24477 0 -1 4202560 133508 0 0 0 52110 106 0 0 25 0 3 0 910994697 889331712 191957 33554432000 4194304 5714118 140734591882816 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1044.48
Current children cumulated vsize (KiB) 868488

[startup+582.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 25654
/proc/meminfo: memFree=14755640/32951124 swapFree=67053176/67111528
[pid=25636] ppid=25634 vsize=868488 CPUtime=1164.49 cores=1,3,5,7
/proc/25636/stat : 25636 (pwbo1.1) S 25634 25636 24477 0 -1 4202496 210355 0 0 0 116074 375 0 0 25 0 3 0 910994684 889331712 192047 33554432000 4194304 5714118 140734591882816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25636/statm: 217122 192047 180 372 0 216747 0
[pid=25636/tid=25638] ppid=25634 vsize=868488 CPUtime=582.18 cores=1,3,5,7
/proc/25636/task/25638/stat : 25638 (pwbo1.1) R 25634 25636 24477 0 -1 4202560 72583 0 0 0 57957 261 0 0 25 0 3 0 910994697 889331712 192047 33554432000 4194304 5714118 140734591882816 18446744073709551615 4319301 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25636/tid=25639] ppid=25634 vsize=868488 CPUtime=582.16 cores=1,3,5,7
/proc/25636/task/25639/stat : 25639 (pwbo1.1) R 25634 25636 24477 0 -1 4202560 133508 0 0 0 58104 112 0 0 25 0 3 0 910994697 889331712 192047 33554432000 4194304 5714118 140734591882816 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1164.49
Current children cumulated vsize (KiB) 868488

[startup+642.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 25656
/proc/meminfo: memFree=14730292/32951124 swapFree=67053176/67111528
[pid=25636] ppid=25634 vsize=868488 CPUtime=1284.49 cores=1,3,5,7
/proc/25636/stat : 25636 (pwbo1.1) S 25634 25636 24477 0 -1 4202496 210457 0 0 0 128040 409 0 0 25 0 3 0 910994684 889331712 192149 33554432000 4194304 5714118 140734591882816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25636/statm: 217122 192149 180 372 0 216747 0
[pid=25636/tid=25638] ppid=25634 vsize=868488 CPUtime=642.19 cores=1,3,5,7
/proc/25636/task/25638/stat : 25638 (pwbo1.1) R 25634 25636 24477 0 -1 4202560 72685 0 0 0 63926 293 0 0 25 0 3 0 910994697 889331712 192149 33554432000 4194304 5714118 140734591882816 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25636/tid=25639] ppid=25634 vsize=868488 CPUtime=642.17 cores=1,3,5,7
/proc/25636/task/25639/stat : 25639 (pwbo1.1) R 25634 25636 24477 0 -1 4202560 133508 0 0 0 64102 115 0 0 25 0 3 0 910994697 889331712 192149 33554432000 4194304 5714118 140734591882816 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1284.49
Current children cumulated vsize (KiB) 868488

[startup+702.301 s]
/proc/loadavg: 4.08 4.00 3.92 5/182 25658
/proc/meminfo: memFree=14685696/32951124 swapFree=67053176/67111528
[pid=25636] ppid=25634 vsize=868488 CPUtime=1404.49 cores=1,3,5,7
/proc/25636/stat : 25636 (pwbo1.1) S 25634 25636 24477 0 -1 4202496 210462 0 0 0 140005 444 0 0 25 0 3 0 910994684 889331712 192154 33554432000 4194304 5714118 140734591882816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25636/statm: 217122 192154 180 372 0 216747 0
[pid=25636/tid=25638] ppid=25634 vsize=868488 CPUtime=702.17 cores=1,3,5,7
/proc/25636/task/25638/stat : 25638 (pwbo1.1) R 25634 25636 24477 0 -1 4202560 72690 0 0 0 69893 324 0 0 25 0 3 0 910994697 889331712 192154 33554432000 4194304 5714118 140734591882816 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25636/tid=25639] ppid=25634 vsize=868488 CPUtime=702.17 cores=1,3,5,7
/proc/25636/task/25639/stat : 25639 (pwbo1.1) R 25634 25636 24477 0 -1 4202560 133508 0 0 0 70099 118 0 0 25 0 3 0 910994697 889331712 192154 33554432000 4194304 5714118 140734591882816 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1404.49
Current children cumulated vsize (KiB) 868488

[startup+762.307 s]
/proc/loadavg: 4.03 4.00 3.92 5/182 25659
/proc/meminfo: memFree=14654404/32951124 swapFree=67053176/67111528
[pid=25636] ppid=25634 vsize=868488 CPUtime=1524.5 cores=1,3,5,7
/proc/25636/stat : 25636 (pwbo1.1) S 25634 25636 24477 0 -1 4202496 210722 0 0 0 151977 473 0 0 25 0 3 0 910994684 889331712 192414 33554432000 4194304 5714118 140734591882816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25636/statm: 217122 192414 180 372 0 216747 0
[pid=25636/tid=25638] ppid=25634 vsize=868488 CPUtime=762.18 cores=1,3,5,7
/proc/25636/task/25638/stat : 25638 (pwbo1.1) R 25634 25636 24477 0 -1 4202560 72950 0 0 0 75866 352 0 0 25 0 3 0 910994697 889331712 192414 33554432000 4194304 5714118 140734591882816 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25636/tid=25639] ppid=25634 vsize=868488 CPUtime=762.17 cores=1,3,5,7
/proc/25636/task/25639/stat : 25639 (pwbo1.1) R 25634 25636 24477 0 -1 4202560 133508 0 0 0 76098 119 0 0 25 0 3 0 910994697 889331712 192414 33554432000 4194304 5714118 140734591882816 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1524.5
Current children cumulated vsize (KiB) 868488

[startup+822.301 s]
/proc/loadavg: 3.89 3.97 3.91 5/182 25702
/proc/meminfo: memFree=15405468/32951124 swapFree=67053176/67111528
[pid=25636] ppid=25634 vsize=868488 CPUtime=1644.5 cores=1,3,5,7
/proc/25636/stat : 25636 (pwbo1.1) S 25634 25636 24477 0 -1 4202496 210879 0 0 0 163960 490 0 0 25 0 3 0 910994684 889331712 192571 33554432000 4194304 5714118 140734591882816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25636/statm: 217122 192571 180 372 0 216747 0
[pid=25636/tid=25638] ppid=25634 vsize=868488 CPUtime=822.19 cores=1,3,5,7
/proc/25636/task/25638/stat : 25638 (pwbo1.1) R 25634 25636 24477 0 -1 4202560 73107 0 0 0 81851 368 0 0 25 0 3 0 910994697 889331712 192571 33554432000 4194304 5714118 140734591882816 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25636/tid=25639] ppid=25634 vsize=868488 CPUtime=822.18 cores=1,3,5,7
/proc/25636/task/25639/stat : 25639 (pwbo1.1) R 25634 25636 24477 0 -1 4202560 133508 0 0 0 82097 121 0 0 25 0 3 0 910994697 889331712 192571 33554432000 4194304 5714118 140734591882816 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1644.5
Current children cumulated vsize (KiB) 868488

[startup+882.3 s]
/proc/loadavg: 4.03 3.99 3.91 5/182 25743
/proc/meminfo: memFree=15400432/32951124 swapFree=67053176/67111528
[pid=25636] ppid=25634 vsize=868488 CPUtime=1764.5 cores=1,3,5,7
/proc/25636/stat : 25636 (pwbo1.1) S 25634 25636 24477 0 -1 4202496 210960 0 0 0 175942 508 0 0 25 0 3 0 910994684 889331712 192652 33554432000 4194304 5714118 140734591882816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25636/statm: 217122 192652 180 372 0 216747 0
[pid=25636/tid=25638] ppid=25634 vsize=868488 CPUtime=882.19 cores=1,3,5,7
/proc/25636/task/25638/stat : 25638 (pwbo1.1) R 25634 25636 24477 0 -1 4202560 73179 0 0 0 87834 385 0 0 25 0 3 0 910994697 889331712 192652 33554432000 4194304 5714118 140734591882816 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25636/tid=25639] ppid=25634 vsize=868488 CPUtime=882.17 cores=1,3,5,7
/proc/25636/task/25639/stat : 25639 (pwbo1.1) R 25634 25636 24477 0 -1 4202560 133517 0 0 0 88095 122 0 0 25 0 3 0 910994697 889331712 192652 33554432000 4194304 5714118 140734591882816 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1764.5
Current children cumulated vsize (KiB) 868488



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.101 s]
/proc/loadavg: 4.02 3.99 3.91 5/182 25744
/proc/meminfo: memFree=15359880/32951124 swapFree=67053176/67111528
[pid=25636] ppid=25634 vsize=868488 CPUtime=1800.11 cores=1,3,5,7
/proc/25636/stat : 25636 (pwbo1.1) S 25634 25636 24477 0 -1 4202496 210960 0 0 0 179498 513 0 0 25 0 3 0 910994684 889331712 192652 33554432000 4194304 5714118 140734591882816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25636/statm: 217122 192652 180 372 0 216747 0
[pid=25636/tid=25638] ppid=25634 vsize=868488 CPUtime=899.99 cores=1,3,5,7
/proc/25636/task/25638/stat : 25638 (pwbo1.1) R 25634 25636 24477 0 -1 4202560 73179 0 0 0 89610 389 0 0 25 0 3 0 910994697 889331712 192652 33554432000 4194304 5714118 140734591882816 18446744073709551615 4324880 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25636/tid=25639] ppid=25634 vsize=868488 CPUtime=899.98 cores=1,3,5,7
/proc/25636/task/25639/stat : 25639 (pwbo1.1) R 25634 25636 24477 0 -1 4202560 133517 0 0 0 89875 123 0 0 25 0 3 0 910994697 889331712 192652 33554432000 4194304 5714118 140734591882816 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 868488

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+900.101 s]
/proc/loadavg: 4.02 3.99 3.91 5/182 25744
/proc/meminfo: memFree=15359880/32951124 swapFree=67053176/67111528
[pid=25636] ppid=25634 vsize=868488 CPUtime=1800.11 cores=1,3,5,7
/proc/25636/stat : 25636 (pwbo1.1) S 25634 25636 24477 0 -1 4202496 210960 0 0 0 179498 513 0 0 25 0 3 0 910994684 889331712 192652 33554432000 4194304 5714118 140734591882816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25636/statm: 217122 192652 180 372 0 216747 0
[pid=25636/tid=25638] ppid=25634 vsize=868488 CPUtime=899.99 cores=1,3,5,7
/proc/25636/task/25638/stat : 25638 (pwbo1.1) R 25634 25636 24477 0 -1 4202560 73179 0 0 0 89610 389 0 0 25 0 3 0 910994697 889331712 192652 33554432000 4194304 5714118 140734591882816 18446744073709551615 4324880 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25636/tid=25639] ppid=25634 vsize=868488 CPUtime=899.98 cores=1,3,5,7
/proc/25636/task/25639/stat : 25639 (pwbo1.1) R 25634 25636 24477 0 -1 4202560 133517 0 0 0 89875 123 0 0 25 0 3 0 910994697 889331712 192652 33554432000 4194304 5714118 140734591882816 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 868488

Child status: 0
Real time (s): 900.148
CPU time (s): 1800.17
CPU user time (s): 1795
CPU system time (s): 5.17021
CPU usage (%): 199.986
Max. virtual memory (cumulated for all children) (KiB): 870112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795
system time used= 5.17021
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 210966
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 633
involuntary context switches= 8321

runsolver used 1.58176 second user time and 3.38848 second system time

The end

Launcher Data 

Begin job on node137 at 2011-06-13 21:39:30
IDJOB=3500341
IDBENCH=2262
IDSOLVER=1954
FILE ID=node137/3500341-1307993970
RUNJOBID= node137-1307989301-24741
PBS_JOBID= 13559729
Free space on /tmp= 3500 MiB

SOLVER NAME= pwbo 1.1
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb
COMMAND LINE= pwbo1.1 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3500341-1307993970/watcher-3500341-1307993970 -o /tmp/evaluation-result-3500341-1307993970/solver-3500341-1307993970 -C 1800 -W 1900 -M 15500  pwbo1.1 -file-format=opb HOME/instance-3500341-1307993970.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 32f273c48805c1e726044ae006778010
RANDOM SEED=2093657984

node137.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      15880392 kB
Buffers:        147532 kB
Cached:       15910400 kB
SwapCached:      11996 kB
Active:        1100936 kB
Inactive:     15381268 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      15880392 kB
SwapTotal:    67111528 kB
SwapFree:     67053176 kB
Dirty:            6252 kB
Writeback:           0 kB
AnonPages:      422256 kB
Mapped:           9976 kB
Slab:           523048 kB
PageTables:       5092 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   615648 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 3500 MiB
End job on node137 at 2011-06-13 21:54:32