Trace number 372343

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, and are wall clock time (not CPU 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
wildcat-skc 2007-03-21SAT (TO)4869 1800.06 1800.62

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/reduced/
submittedPB07/aksoy/trarea_ac/normalized-reduced-fir06_trarea_ac.opb
MD5SUM7546aeed0de3680ab75d817854256b46
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4812
Best CPU time to get the best result obtained on this benchmark6.36403
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4812
Optimality of the best value was proved YES
Number of variables4360
Total number of constraints8610
Number of constraints which are clauses8610
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 constraint1
Maximum length of a constraint163
Number of terms in the objective function 2173
Biggest coefficient in the objective function 305
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 525495
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 305
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 525495
Number of bits of the biggest sum of numbers20
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 (download as text)

0.00/0.00	c 
0.00/0.00	c wildcat-skc (VERSION 0.8.0-lite-skc-devel)
0.00/0.00	c Developed by L. Liu  and M. Truszczynski 
0.00/0.00	c Last built on Sun 18 Mar 2007 03:03:20 PM EDT
0.00/0.00	c 
0.00/0.00	c /tmp/evaluation/372343-1177091008/wildcat-skc /tmp/evaluation/372343-1177091008/instance-372343-1177091008.opb 591938413 
0.00/0.00	c =================================== BEGIN ===================================
0.00/0.00	c 
0.00/0.00	c Random Number Seed: 591938413
0.00/0.00	c Noise: 0.1 (10 : 100) 
0.06/0.07	c Starting searching:
0.06/0.07	c Phase 1 ...
0.06/0.08	c   trying 525495: vc 
0.06/0.08	o 258631
0.06/0.08	c   trying 258122: vc 
0.06/0.08	o 237613
0.06/0.09	c   trying 237125: vc 
0.06/0.09	o 228521
0.06/0.09	c   trying 228042: vc 
0.06/0.09	o 220525
0.09/0.10	c   trying 220055: vc 
0.09/0.10	o 219266
0.09/0.11	c   trying 218797: vc 
0.09/0.11	o 206453
0.09/0.11	c   trying 205998: vc 
0.09/0.11	o 202049
0.09/0.13	c   trying 201599: vc 
0.09/0.13	o 201366
0.09/0.13	c   trying 200917: vc 
0.09/0.13	o 192068
0.09/0.15	c   trying 191629: vc 
0.09/0.15	o 191398
0.09/0.16	c   trying 190960: vc 
0.09/0.16	o 183901
0.09/0.18	c   trying 183472: vc 
0.09/0.18	o 180536
0.09/0.20	c   trying 180111: vc 
0.09/0.20	o 179921
0.19/0.21	c   trying 179496: vc 
0.19/0.21	o 173925
0.19/0.23	c   trying 173507: vc 
0.19/0.23	o 173279
0.19/0.26	c   trying 172862: vc 
0.19/0.26	o 171569
0.19/0.28	c   trying 171154: vc 
0.19/0.28	o 170059
0.29/0.30	c   trying 169646: vc 
0.29/0.30	o 169429
0.29/0.33	c   trying 169017: vc 
0.29/0.33	o 166565
0.29/0.35	c   trying 166156: vc 
0.29/0.35	o 165433
0.29/0.37	c   trying 165026: vc 
0.29/0.37	o 163768
0.29/0.40	c   trying 163363: vc 
0.29/0.40	o 163333
0.39/0.42	c   trying 162928: vc 
0.39/0.42	o 162677
0.39/0.45	c   trying 162273: vc 
0.39/0.45	o 162140
0.39/0.48	c   trying 161737: vc 
0.39/0.48	o 161736
0.49/0.51	c   trying 161333: vc 
0.49/0.51	o 161331
0.49/0.53	c   trying 160929: vc 
0.49/0.53	o 160199
0.49/0.55	c   trying 159798: vc 
0.49/0.55	o 159303
0.49/0.58	c   trying 158903: vc 
0.49/0.58	o 158703
0.59/0.61	c   trying 158304: vc 
0.59/0.61	o 158125
0.59/0.64	c   trying 157727: vc 
0.59/0.64	o 157405
0.59/0.68	c   trying 157008: vc 
0.59/0.68	o 156934
0.69/0.71	c   trying 156537: vc 
0.69/0.71	o 155931
0.69/0.74	c   trying 155536: vc 
0.69/0.74	o 155429
0.69/0.77	c   trying 155034: vc 
0.69/0.77	o 154998
0.79/0.80	c   trying 154604: vc 
0.79/0.80	o 154580
0.79/0.82	c   trying 154186: vc 
0.79/0.82	o 154043
0.79/0.85	c   trying 153650: vc 
0.79/0.85	o 153617
0.79/0.89	c   trying 153225: vc 
0.79/0.89	o 153133
0.89/0.92	c   trying 152741: vc 
0.89/0.92	o 152735
0.89/0.95	c   trying 152344: vc 
0.89/0.95	o 151524
0.89/0.97	c   trying 151134: vc 
0.89/0.97	o 151096
1.00/1.01	c   trying 150707: vc 
1.00/1.01	o 150670
1.00/1.04	c   trying 150281: vc 
1.00/1.04	o 150044
1.00/1.07	c   trying 149656: vc 
1.00/1.07	o 149589
1.10/1.11	c   trying 149202: vc 
1.10/1.11	o 149078
1.10/1.14	c   trying 148691: vc 
1.10/1.14	o 148561
1.10/1.18	c   trying 148175: vc 
1.10/1.18	o 148032
1.19/1.20	c   trying 147647: vc 
1.19/1.20	o 147195
1.19/1.24	c   trying 146811: vc 
1.19/1.24	o 146712
1.19/1.28	c   trying 146328: vc 
1.19/1.28	o 146286
1.29/1.31	c   trying 145903: vc 
1.29/1.31	o 145890
1.29/1.35	c   trying 145508: vc 
1.29/1.35	o 145445
1.29/1.38	c   trying 145063: vc 
1.29/1.38	o 144639
1.39/1.42	c   trying 144258: vc 
1.39/1.42	o 144058
1.39/1.46	c   trying 143678: vc 
1.39/1.46	o 143645
1.39/1.50	c   trying 143265: vc 
1.39/1.50	o 143025
1.49/1.53	c   trying 142646: vc 
1.49/1.53	o 142639
1.49/1.57	c   trying 142261: vc 
1.49/1.57	o 142155
1.59/1.60	c   trying 141777: vc 
1.59/1.60	o 141195
1.59/1.64	c   trying 140819: vc 
1.59/1.64	o 140671
1.59/1.68	c   trying 140295: vc 
1.59/1.68	o 140260
1.69/1.72	c   trying 139885: vc 
1.69/1.72	o 139710
1.69/1.76	c   trying 139336: vc 
1.69/1.76	o 139306
1.69/1.79	c   trying 138932: vc 
1.69/1.79	o 138926
1.79/1.83	c   trying 138553: vc 
1.79/1.83	o 136296
1.79/1.86	c   trying 135926: vc 
1.79/1.86	o 135893
1.89/1.90	c   trying 135524: vc 
1.89/1.90	o 135498
1.89/1.95	c   trying 135129: vc 
1.89/1.95	o 134956
1.89/1.99	c   trying 134588: vc 
1.89/1.99	o 134344
1.99/2.04	c   trying 133977: vc 
1.99/2.04	o 133854
1.99/2.08	c   trying 133488: vc 
1.99/2.08	o 133347
2.10/2.13	c   trying 132981: vc 
2.10/2.13	o 132956
2.10/2.17	c   trying 132591: vc 
2.10/2.17	o 132452
2.20/2.22	c   trying 132088: vc 
2.20/2.22	o 132050
2.20/2.27	c   trying 131686: vc 
2.20/2.27	o 131543
2.29/2.33	c   trying 131180: vc 
2.29/2.33	o 130948
2.29/2.37	c   trying 130586: vc 
2.29/2.37	o 130509
2.39/2.41	c   trying 130147: vc 
2.39/2.41	o 130112
2.39/2.46	c   trying 129751: vc 
2.39/2.46	o 129698
2.49/2.51	c   trying 129337: vc 
2.49/2.51	o 129210
2.49/2.55	c   trying 128850: vc 
2.49/2.55	o 128806
2.59/2.61	c   trying 128447: vc 
2.59/2.61	o 128413
2.59/2.65	c   trying 128054: vc 
2.59/2.65	o 127791
2.69/2.71	c   trying 127433: vc 
2.69/2.71	o 126585
2.69/2.75	c   trying 126229: vc 
2.69/2.75	o 125556
2.79/2.80	c   trying 125201: vc 
2.79/2.80	o 124092
2.79/2.87	c   trying 123739: vc 
2.79/2.87	o 123526
2.89/2.91	c   trying 123174: vc 
2.89/2.91	o 122878
2.89/2.96	c   trying 122527: vc 
2.89/2.96	o 122436
2.99/3.02	c   trying 122086: vc 
2.99/3.02	o 121284
2.99/3.09	c   trying 120935: vc 
2.99/3.09	o 119180
3.09/3.15	c   trying 118834: vc 
3.09/3.15	o 118795
3.19/3.24	c   trying 118450: vc 
3.19/3.24	o 118265
3.19/3.29	c   trying 117921: vc 
3.19/3.29	o 117772
3.29/3.35	c   trying 117428: vc 
3.29/3.35	o 117196
3.39/3.43	c   trying 116853: vc 
3.39/3.43	o 116753
3.39/3.49	c   trying 116411: vc 
3.39/3.49	o 116301
3.49/3.55	c   trying 115959: vc 
3.49/3.55	o 115860
3.59/3.63	c   trying 115519: vc 
3.59/3.63	o 115471
3.59/3.69	c   trying 115131: vc 
3.59/3.69	o 115098
3.69/3.76	c   trying 114758: vc 
3.69/3.76	o 114229
3.79/3.82	c   trying 113891: vc 
3.79/3.82	o 113760
3.79/3.88	c   trying 113422: vc 
3.79/3.88	o 113381
3.89/3.94	c   trying 113044: vc 
3.89/3.94	o 112499
3.99/4.01	c   trying 112163: vc 
3.99/4.01	o 112089
3.99/4.06	c   trying 111754: vc 
3.99/4.06	o 111595
4.09/4.14	c   trying 111260: vc 
4.09/4.14	o 111014
4.18/4.23	c   trying 110680: vc 
4.18/4.23	o 110481
4.18/4.30	c   trying 110148: vc 
4.18/4.30	o 110026
4.29/4.35	c   trying 109694: vc 
4.29/4.35	o 109523
4.39/4.43	c   trying 109192: vc 
4.39/4.43	o 109077
4.48/4.50	c   trying 108746: vc 
4.48/4.50	o 108538
4.48/4.57	c   trying 108208: vc 
4.48/4.57	o 107961
4.58/4.63	c   trying 107632: vc 
4.58/4.63	o 107614
4.58/4.69	c   trying 107285: vc 
4.58/4.69	o 107276
4.68/4.76	c   trying 106948: vc 
4.68/4.76	o 104781
4.78/4.83	c   trying 104457: vc 
4.78/4.83	o 104243
4.88/4.91	c   trying 103920: vc 
4.88/4.91	o 103910
4.88/4.98	c   trying 103587: vc 
4.88/4.98	o 103571
4.98/5.06	c   trying 103249: vc 
4.98/5.06	o 103118
5.08/5.13	c   trying 102796: vc 
5.08/5.13	o 102687
5.18/5.22	c   trying 102366: vc 
5.18/5.22	o 102289
5.18/5.29	c   trying 101969: vc 
5.18/5.29	o 101715
5.28/5.36	c   trying 101396: vc 
5.28/5.36	o 101235
5.39/5.44	c   trying 100916: vc 
5.39/5.44	o 100744
5.49/5.55	c   trying 100426: vc 
5.49/5.55	o 100147
5.58/5.63	c   trying 99830: vc 
5.58/5.63	o 99691
5.68/5.70	c   trying 99375: vc 
5.68/5.70	o 99182
5.78/5.80	c   trying 98867: vc 
5.78/5.80	o 98755
5.78/5.89	c   trying 98440: vc 
5.78/5.89	o 98335
5.98/6.02	c   trying 98021: vc 
5.98/6.02	o 97963
5.98/6.09	c   trying 97650: vc 
5.98/6.09	o 97434
6.08/6.17	c   trying 97121: vc 
6.08/6.17	o 96970
6.18/6.24	c   trying 96658: vc 
6.18/6.24	o 96451
6.28/6.32	c   trying 96140: vc 
6.28/6.32	o 95966
6.38/6.40	c   trying 95656: vc 
6.38/6.40	o 95612
6.38/6.49	c   trying 95302: vc 
6.38/6.49	o 95214
6.58/6.63	c   trying 94905: vc 
6.58/6.63	o 94734
6.68/6.76	c   trying 94426: vc 
6.68/6.76	o 94246
6.78/6.83	c   trying 93939: vc 
6.78/6.83	o 93737
6.88/6.92	c   trying 93430: vc 
6.88/6.92	o 93408
6.98/7.00	c   trying 93102: vc 
6.98/7.00	o 93062
7.08/7.11	c   trying 92756: vc 
7.08/7.11	o 92636
7.18/7.22	c   trying 92331: vc 
7.18/7.22	o 92163
7.28/7.31	c   trying 91859: vc 
7.28/7.31	o 91663
7.38/7.40	c   trying 91360: vc 
7.38/7.40	o 91280
7.48/7.50	c   trying 90977: vc 
7.48/7.50	o 90884
7.48/7.60	c   trying 90582: vc 
7.48/7.60	o 90369
7.58/7.69	c   trying 90068: vc 
7.58/7.69	o 90021
7.68/7.79	c   trying 89720: vc 
7.68/7.79	o 89588
7.88/7.95	c   trying 89288: vc 
7.88/7.95	o 89161
7.98/8.05	c   trying 88862: vc 
7.98/8.05	o 88690
8.08/8.14	c   trying 88392: vc 
8.08/8.14	o 88168
8.18/8.26	c   trying 87871: vc 
8.18/8.26	o 87821
8.28/8.38	c   trying 87524: vc 
8.28/8.38	o 87365
8.38/8.47	c   trying 87069: vc 
8.38/8.47	o 86867
8.48/8.57	c   trying 86572: vc 
8.48/8.57	o 86397
8.58/8.66	c   trying 86103: vc 
8.58/8.66	o 85953
8.68/8.78	c   trying 85659: vc 
8.68/8.78	o 85548
8.78/8.87	c   trying 85255: vc 
8.78/8.87	o 85033
8.98/9.01	c   trying 84741: vc 
8.98/9.01	o 84626
9.08/9.15	c   trying 84335: vc 
9.08/9.15	o 84055
9.18/9.26	c   trying 83765: vc 
9.18/9.26	o 83598
9.38/9.40	c   trying 83308: vc 
9.38/9.40	o 83225
9.48/9.53	c   trying 82936: vc 
9.48/9.53	o 82707
9.58/9.68	c   trying 82419: vc 
9.58/9.68	o 82242
9.68/9.79	c   trying 81955: vc 
9.68/9.79	o 81930
9.88/9.93	c   trying 81643: vc 
9.88/9.93	o 81517
9.98/10.05	c   trying 81231: vc 
9.98/10.05	o 80981
10.08/10.16	c   trying 80696: vc 
10.08/10.16	o 80660
10.18/10.27	c   trying 80375: vc 
10.18/10.27	o 80192
10.38/10.44	c   trying 79908: vc 
10.38/10.44	o 79393
10.58/10.60	c   trying 79111: vc 
10.58/10.60	o 79085
10.68/10.72	c   trying 78803: vc 
10.68/10.72	o 78616
10.88/10.91	c   trying 78335: vc 
10.88/10.91	o 78161
10.98/11.04	c   trying 77881: vc 
10.98/11.04	o 77837
11.08/11.19	c   trying 77558: vc 
11.08/11.19	o 77406
11.28/11.31	c   trying 77127: vc 
11.28/11.31	o 77096
11.38/11.44	c   trying 76818: vc 
11.38/11.44	o 76712
11.58/11.60	c   trying 76435: vc 
11.58/11.60	o 76235
11.68/11.75	c   trying 75958: vc 
11.68/11.75	o 75748
11.88/11.98	c   trying 75472: vc 
11.88/11.98	o 75429
12.08/12.18	c   trying 75154: vc 
12.08/12.18	o 74984
12.28/12.36	c   trying 74710: vc 
12.28/12.36	o 74525
12.58/12.61	c   trying 74252: vc 
12.58/12.61	o 74252
12.68/12.75	c   trying 73979: vc 
12.68/12.75	o 73794
12.88/12.96	c   trying 73522: vc 
12.88/12.96	o 73386
13.08/13.20	c   trying 73115: vc 
13.08/13.20	o 72984
13.28/13.37	c   trying 72713: vc 
13.28/13.37	o 72586
13.58/13.65	c   trying 72316: vc 
13.58/13.65	o 72316
13.68/13.78	c   trying 72047: vc 
13.68/13.79	o 71842
13.88/13.95	c   trying 71573: vc 
13.88/13.95	o 71443
13.98/14.09	c   trying 71175: vc 
13.98/14.09	o 70947
14.28/14.31	c   trying 70680: vc 
14.28/14.31	o 70623
14.48/14.59	c   trying 70357: vc 
14.48/14.59	o 70114
14.68/14.76	c   trying 69849: vc 
14.68/14.76	o 69620
14.88/14.95	c   trying 69356: vc 
14.88/14.95	o 69173
15.18/15.24	c   trying 68909: vc 
15.18/15.24	o 67488
15.38/15.42	c   trying 67228: vc 
15.38/15.42	o 65668
15.58/15.63	c   trying 65411: vc 
15.58/15.63	o 65229
15.78/15.85	c   trying 64973: vc 
15.78/15.85	o 64950
15.98/16.06	c   trying 64695: vc 
15.98/16.06	o 64623
16.28/16.31	c   trying 64368: vc 
16.28/16.31	o 64221
16.48/16.54	c   trying 63967: vc 
16.48/16.54	o 63894
16.58/16.69	c   trying 63641: vc 
16.58/16.69	o 63623
16.88/16.92	c   trying 63370: vc 
16.88/16.92	o 63325
17.08/17.13	c   trying 63073: vc 
17.08/17.13	o 63053
17.28/17.39	c   trying 62801: vc 
17.28/17.39	o 62595
17.58/17.65	c   trying 62344: vc 
17.58/17.65	o 62191
17.88/17.91	c   trying 61941: vc 
17.88/17.91	o 61818
18.18/18.25	c   trying 61569: vc 
18.18/18.25	o 61353
18.48/18.50	c   trying 61105: vc 
18.48/18.50	o 60921
18.58/18.69	c   trying 60674: vc 
18.58/18.69	o 60443
18.88/18.97	c   trying 60197: vc 
18.88/18.97	o 59163
19.18/19.24	c   trying 58919: vc 
19.18/19.24	o 58511
19.48/19.53	c   trying 58269: vc 
19.48/19.53	o 58238
19.68/19.79	c   trying 57996: vc 
19.68/19.79	o 57863
19.97/20.02	c   trying 57622: vc 
19.97/20.02	o 57616
20.17/20.29	c   trying 57375: vc 
20.17/20.29	o 57248
20.47/20.50	c   trying 57008: vc 
20.47/20.50	o 56992
20.68/20.79	c   trying 56753: vc 
20.68/20.79	o 56648
20.98/21.03	c   trying 56409: vc 
20.98/21.03	o 56152
21.27/21.37	c   trying 55915: vc 
21.27/21.37	o 55903
21.47/21.57	c   trying 55666: vc 
21.47/21.57	o 55417
21.77/21.89	c   trying 55181: vc 
21.77/21.89	o 55084
22.07/22.14	c   trying 54849: vc 
22.07/22.14	o 54679
22.27/22.39	c   trying 54445: vc 
22.27/22.39	o 54259
22.47/22.59	c   trying 54026: vc 
22.47/22.59	o 53920
22.77/22.84	c   trying 53687: vc 
22.77/22.84	o 53683
22.98/23.09	c   trying 53451: vc 
22.98/23.09	o 53262
23.27/23.37	c   trying 53031: vc 
23.27/23.37	o 52901
23.57/23.63	c   trying 52670: vc 
23.57/23.63	o 52646
23.77/23.83	c   trying 52416: vc 
23.77/23.83	o 52380
23.97/24.09	c   trying 52151: vc 
23.97/24.09	o 51516
24.37/24.42	c   trying 51289: vc 
24.37/24.42	o 51276
24.57/24.69	c   trying 51049: vc 
24.57/24.69	o 50901
24.97/25.01	c   trying 50675: vc 
24.97/25.01	o 50660
25.28/25.31	c   trying 50434: vc 
25.28/25.31	o 50337
25.57/25.66	c   trying 50112: vc 
25.57/25.66	o 50064
25.87/25.92	c   trying 49840: vc 
25.87/25.92	o 49795
26.28/26.33	c   trying 49571: vc 
26.28/26.33	o 49560
26.57/26.65	c   trying 49337: vc 
26.57/26.65	o 49270
26.87/26.90	c   trying 49048: vc 
26.87/26.90	o 48899
27.07/27.15	c   trying 48677: vc 
27.07/27.15	o 48676
27.27/27.38	c   trying 48455: vc 
27.27/27.38	o 48262
27.48/27.56	c   trying 48042: vc 
27.48/27.56	o 47937
27.87/27.90	c   trying 47718: vc 
27.87/27.90	o 46121
28.17/28.22	c   trying 45906: vc 
28.17/28.22	o 45868
28.48/28.54	c   trying 45653: vc 
28.48/28.54	o 45637
28.77/28.83	c   trying 45423: vc 
28.77/28.83	o 43729
29.18/29.22	c   trying 43519: vc 
29.18/29.22	o 43483
29.48/29.57	c   trying 43274: vc 
29.48/29.57	o 43176
29.88/29.92	c   trying 42968: vc 
29.88/29.92	o 42953
30.08/30.19	c   trying 42745: vc 
30.08/30.19	o 42739
30.48/30.51	c   trying 42532: vc 
30.48/30.51	o 42305
30.68/30.80	c   trying 42099: vc 
30.68/30.80	o 41927
31.18/31.26	c   trying 41722: vc 
31.18/31.26	o 41713
31.48/31.55	c   trying 41508: vc 
31.48/31.55	o 41365
31.78/31.89	c   trying 41161: vc 
31.78/31.89	o 41003
32.18/32.23	c   trying 40800: vc 
32.18/32.23	o 40767
32.58/32.60	c   trying 40565: vc 
32.58/32.60	o 40370
32.98/33.02	c   trying 40169: vc 
32.98/33.02	o 40113
33.38/33.42	c   trying 39912: vc 
33.38/33.42	o 39910
33.68/33.77	c   trying 39710: vc 
33.68/33.77	o 39520
34.08/34.10	c   trying 39321: vc 
34.08/34.10	o 39169
34.38/34.47	c   trying 38971: vc 
34.38/34.47	o 38940
34.88/34.91	c   trying 38742: vc 
34.88/34.91	o 38701
35.18/35.28	c   trying 38504: vc 
35.18/35.28	o 36942
35.58/35.61	c   trying 36749: vc 
35.58/35.61	o 36727
35.88/35.98	c   trying 36535: vc 
35.88/35.98	o 35315
36.28/36.39	c   trying 35127: vc 
36.28/36.39	o 35017
36.78/36.84	c   trying 34829: vc 
36.78/36.84	o 34761
37.18/37.27	c   trying 34574: vc 
37.18/37.27	o 34503
37.48/37.58	c   trying 34317: vc 
37.48/37.58	o 34104
37.88/37.97	c   trying 33919: vc 
37.88/37.97	o 33840
38.18/38.29	c   trying 33656: vc 
38.18/38.29	o 33563
38.58/38.67	c   trying 33379: vc 
38.58/38.68	o 33370
38.98/39.08	c   trying 33187: vc 
38.98/39.08	o 33055
39.48/39.53	c   trying 32873: vc 
39.48/39.53	o 32828
39.78/39.87	c   trying 32646: vc 
39.78/39.87	o 32506
40.28/40.32	c   trying 32325: vc 
40.28/40.32	o 32147
40.68/40.78	c   trying 31967: vc 
40.68/40.78	o 31962
41.08/41.16	c   trying 31783: vc 
41.08/41.16	o 31700
41.48/41.55	c   trying 31521: vc 
41.48/41.55	o 31440
41.98/42.00	c   trying 31262: vc 
41.98/42.00	o 31049
42.38/42.41	c   trying 30872: vc 
42.38/42.41	o 30854
42.88/42.91	c   trying 30678: vc 
42.88/42.91	o 28625
43.27/43.37	c   trying 28455: vc 
43.27/43.37	o 28342
43.88/43.93	c   trying 28173: vc 
43.88/43.93	o 27893
44.27/44.37	c   trying 27725: vc 
44.27/44.37	o 27652
44.77/44.82	c   trying 27485: vc 
44.77/44.82	o 27352
45.17/45.21	c   trying 27186: vc 
45.17/45.21	o 27105
45.57/45.63	c   trying 26940: vc 
45.57/45.63	o 26809
45.97/46.06	c   trying 26645: vc 
45.97/46.06	o 26426
46.47/46.57	c   trying 26263: vc 
46.47/46.57	o 26237
47.07/47.14	c   trying 26075: vc 
47.07/47.14	o 25261
47.57/47.62	c   trying 25102: vc 
47.57/47.62	o 24912
48.07/48.15	c   trying 24754: vc 
48.07/48.15	o 24734
48.57/48.69	c   trying 24576: vc 
48.57/48.69	o 24529
49.07/49.18	c   trying 24372: vc 
49.07/49.18	o 24216
49.57/49.68	c   trying 24060: vc 
49.57/49.68	o 23972
50.17/50.22	c   trying 23817: vc 
50.17/50.22	o 23729
50.67/50.71	c   trying 23574: vc 
50.67/50.71	o 23494
51.17/51.27	c   trying 23340: vc 
51.17/51.27	o 23157
51.77/51.86	c   trying 23004: vc 
51.77/51.86	o 22999
52.27/52.38	c   trying 22847: vc 
52.27/52.38	o 22684
52.78/52.84	c   trying 22533: vc 
52.78/52.84	o 22502
53.37/53.46	c   trying 22351: vc 
53.37/53.46	o 22248
53.97/54.03	c   trying 22098: vc 
53.97/54.03	o 22006
54.47/54.60	c   trying 21857: vc 
54.47/54.60	o 21708
54.98/55.09	c   trying 21560: vc 
54.98/55.09	o 21500
55.57/55.67	c   trying 21353: vc 
55.57/55.67	o 21350
56.08/56.17	c   trying 21203: vc 
56.08/56.17	o 21202
56.67/56.72	c   trying 21056: vc 
56.67/56.72	o 20992
57.18/57.25	c   trying 20847: vc 
57.18/57.25	o 20717
57.77/57.80	c   trying 20573: vc 
57.77/57.81	o 20397
58.28/58.36	c   trying 20254: vc 
58.28/58.36	o 20181
58.87/58.99	c   trying 20038: vc 
58.87/58.99	o 19799
59.47/59.52	c   trying 19658: vc 
59.47/59.52	o 19645
60.07/60.11	c   trying 19504: vc 
60.07/60.11	o 19410
60.67/60.70	c   trying 19270: vc 
60.67/60.70	o 19251
61.07/61.16	c   trying 19112: vc 
61.07/61.16	o 18961
61.67/61.70	c   trying 18823: vc 
61.67/61.70	o 18799
62.17/62.25	c   trying 18661: vc 
62.17/62.25	o 18657
62.67/62.79	c   trying 18520: vc 
62.67/62.79	o 18347
63.37/63.40	c   trying 18211: vc 
63.37/63.40	o 18176
63.87/63.94	c   trying 18041: vc 
63.87/63.94	o 18021
64.47/64.58	c   trying 17886: vc 
64.47/64.58	o 17877
65.17/65.20	c   trying 17743: vc 
65.17/65.20	o 17742
65.87/65.91	c   trying 17608: vc 
65.87/65.91	o 17536
66.37/66.41	c   trying 17403: vc 
66.37/66.41	o 17339
66.97/67.08	c   trying 17207: vc 
66.97/67.08	o 17092
67.57/67.66	c   trying 16961: vc 
67.57/67.66	o 16876
68.17/68.25	c   trying 16746: vc 
68.17/68.25	o 16745
68.77/68.87	c   trying 16615: vc 
68.77/68.87	o 16401
69.37/69.44	c   trying 16272: vc 
69.37/69.44	o 16183
69.97/70.09	c   trying 16055: vc 
69.97/70.09	o 16044
70.67/70.74	c   trying 15917: vc 
70.67/70.74	o 15852
71.37/71.41	c   trying 15726: vc 
71.37/71.41	o 15694
71.87/71.94	c   trying 15568: vc 
71.87/71.94	o 15367
72.47/72.54	c   trying 15243: vc 
72.47/72.54	o 15103
73.16/73.20	c   trying 14980: vc 
73.16/73.20	o 14975
73.67/73.76	c   trying 14852: vc 
73.67/73.76	o 14751
74.26/74.37	c   trying 14629: vc 
74.26/74.37	o 14629
74.86/74.96	c   trying 14508: vc 
74.86/74.96	o 14348
75.46/75.57	c   trying 14228: vc 
75.46/75.57	o 14050
76.26/76.31	c   trying 13931: vc 
76.26/76.31	o 13839
76.97/77.01	c   trying 13721: vc 
76.97/77.01	o 13676
77.56/77.63	c   trying 13559: vc 
77.56/77.63	o 13506
78.16/78.26	c   trying 13389: vc 
78.16/78.26	o 13265
78.86/78.92	c   trying 13149: vc 
78.86/78.92	o 12906
79.46/79.53	c   trying 12792: vc 
79.46/79.53	o 12740
80.17/80.28	c   trying 12627: vc 
80.17/80.28	o 12585
80.86/80.98	c   trying 12472: vc 
80.86/80.98	o 12333
81.56/81.68	c   trying 12221: vc 
81.56/81.68	o 12175
82.26/82.31	c   trying 12064: vc 
82.26/82.31	o 11992
82.96/83.08	c   trying 11882: vc 
82.96/83.08	o 11772
83.76/83.81	c   trying 11663: vc 
83.76/83.81	o 11584
84.36/84.45	c   trying 11476: vc 
84.36/84.45	o 11393
85.16/85.21	c   trying 11286: vc 
85.16/85.21	o 11285
85.76/85.87	c   trying 11178: vc 
85.76/85.87	o 11092
86.46/86.55	c   trying 10986: vc 
86.46/86.55	o 10946
87.16/87.27	c   trying 10841: vc 
87.16/87.27	o 10749
87.96/88.03	c   trying 10645: vc 
87.96/88.03	o 10470
88.56/88.65	c   trying 10367: vc 
88.56/88.65	o 10344
89.36/89.45	c   trying 10242: vc 
89.36/89.45	o 10220
89.96/90.08	c   trying 10118: vc 
89.96/90.08	o 9942
90.66/90.79	c   trying 9842: vc 
90.66/90.79	o 9694
91.46/91.53	c   trying 9595: vc 
91.46/91.53	o 9531
92.16/92.24	c   trying 9433: vc 
92.16/92.24	o 9413
92.76/92.87	c   trying 9315: vc 
92.76/92.87	o 9310
93.46/93.57	c   trying 9213: vc 
93.46/93.57	o 9193
94.26/94.37	c   trying 9097: vc 
94.26/94.37	o 9028
95.06/95.11	c   trying 8932: vc 
95.06/95.11	o 8867
95.66/95.77	c   trying 8772: vc 
95.66/95.77	o 8718
96.46/96.52	c   trying 8624: vc 
96.46/96.52	o 8404
97.26/97.32	c   trying 8312: vc 
97.26/97.32	o 8146
98.16/98.20	c   trying 8055: vc 
98.16/98.20	o 8016
98.96/99.01	c   trying 7926: vc 
98.96/99.01	o 7917
99.76/99.81	c   trying 7828: vc 
99.76/99.81	o 7813
100.56/100.64	c   trying 7724: vc 
100.56/100.64	o 7653
101.36/101.44	c   trying 7565: vc 
101.36/101.44	o 7333
102.16/102.22	c   trying 7247: vc 
102.16/102.22	o 7172
102.86/102.98	c   trying 7087: vc 
102.86/102.98	o 6861
103.66/103.70	c   trying 6778: vc 
103.66/103.71	o 6740
104.66/104.72	c   trying 6657: vc 
104.66/104.72	o 6640
105.56/105.61	c   trying 6558: vc 
105.56/105.61	o 6557
106.36/106.49	c   trying 6476: vc 
106.36/106.49	o 6333
107.15/107.27	c   trying 6253: vc 
107.15/107.27	o 6136
108.05/108.16	c   trying 6057: vc 
108.05/108.16	o 5978
109.15/109.23	c   trying 5900: vc 
109.15/109.23	o 5744
110.55/110.67	c   trying 5668: vc 
110.55/110.67	o 5655
112.65/112.73	c   trying 5579: vc 
112.65/112.73	o 5518
115.46/115.56	c   trying 5443: vc 
115.46/115.56	o 5403
117.95/118.03	c   trying 5329: vc 
117.95/118.03	o 5232
122.55/122.65	c   trying 5159: vc 
122.55/122.65	o 5084
193.23/193.36	c   trying 5012: xxxxxxxxxxc 
193.23/193.36	c Phase 2 ...
218.33/218.42	c   trying 5083: vc 
218.33/218.42	o 5022
219.23/219.32	c   trying 5021: vc 
219.23/219.32	o 4996
227.33/227.45	c   trying 4995: vc 
227.33/227.45	o 4906
475.76/475.98	c   trying 4905: xxxvc 
475.76/475.98	o 4900
487.06/487.24	c   trying 4899: vc 
487.06/487.24	o 4885
660.61/660.81	c   trying 4884: xxvc 
660.61/660.81	o 4869
1331.56/1332.07	c   trying 4868: xxxxxxxxxxc 
1331.56/1332.07	c Phase 3 ...
1800.04/1800.61	c   trying 4868 again: xc 
1800.04/1800.61	s SATISFIABLE
1800.04/1800.61	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1800.04/1800.61	v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54
1800.04/1800.61	v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
1800.04/1800.61	v -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105
1800.04/1800.61	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126
1800.04/1800.61	v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147
1800.04/1800.61	v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168
1800.04/1800.61	v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189
1800.04/1800.61	v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
1800.04/1800.61	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231
1800.04/1800.61	v -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252
1800.04/1800.61	v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273
1800.04/1800.61	v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294
1800.04/1800.61	v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315
1800.04/1800.61	v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336
1800.04/1800.61	v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357
1800.04/1800.61	v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378
1800.04/1800.61	v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399
1800.04/1800.61	v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420
1800.04/1800.61	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441
1800.04/1800.61	v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462
1800.04/1800.61	v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483
1800.04/1800.61	v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504
1800.04/1800.61	v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525
1800.04/1800.61	v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546
1800.04/1800.61	v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567
1800.04/1800.61	v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588
1800.04/1800.61	v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609
1800.04/1800.61	v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630
1800.04/1800.61	v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651
1800.04/1800.61	v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672
1800.04/1800.61	v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693
1800.04/1800.61	v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714
1800.04/1800.61	v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735
1800.04/1800.61	v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756
1800.04/1800.61	v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777
1800.04/1800.61	v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798
1800.04/1800.61	v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819
1800.04/1800.61	v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840
1800.04/1800.61	v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861
1800.04/1800.61	v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882
1800.04/1800.61	v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903
1800.04/1800.61	v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924
1800.04/1800.61	v -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945
1800.04/1800.61	v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966
1800.04/1800.61	v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987
1800.04/1800.61	v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006
1800.04/1800.61	v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023
1800.04/1800.61	v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
1800.04/1800.61	v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057
1800.04/1800.61	v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074
1800.04/1800.61	v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091
1800.04/1800.61	v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108
1800.04/1800.61	v -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125
1800.04/1800.61	v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142
1800.04/1800.61	v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159
1800.04/1800.61	v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176
1800.04/1800.61	v -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193
1800.04/1800.61	v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210
1800.04/1800.61	v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227
1800.04/1800.61	v -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244
1800.04/1800.61	v -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261
1800.04/1800.61	v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 x1271 x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279
1800.04/1800.61	v -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296
1800.04/1800.61	v -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313
1800.04/1800.61	v -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330
1800.04/1800.61	v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347
1800.04/1800.61	v -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364
1800.04/1800.61	v -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381
1800.04/1800.61	v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398
1800.04/1800.61	v -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415
1800.04/1800.61	v -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432
1800.04/1800.61	v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449
1800.04/1800.61	v -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466
1800.04/1800.61	v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483
1800.04/1800.61	v -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500
1800.04/1800.61	v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517
1800.04/1800.61	v -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534
1800.04/1800.61	v -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551
1800.04/1800.61	v -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568
1800.04/1800.61	v -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585
1800.04/1800.61	v -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602
1800.04/1800.61	v -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619
1800.04/1800.61	v -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636
1800.04/1800.61	v -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653
1800.04/1800.61	v -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670
1800.04/1800.61	v -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687
1800.04/1800.61	v -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704
1800.04/1800.61	v -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721
1800.04/1800.61	v -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738
1800.04/1800.61	v -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755
1800.04/1800.61	v -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772
1800.04/1800.61	v -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789
1800.04/1800.61	v -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806
1800.04/1800.61	v -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823
1800.04/1800.61	v -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840
1800.04/1800.61	v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857
1800.04/1800.61	v -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874
1800.04/1800.61	v -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891
1800.04/1800.61	v -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908
1800.04/1800.61	v -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925
1800.04/1800.61	v -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942
1800.04/1800.61	v -x1943 -x1944 -x1945 x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959
1800.04/1800.61	v -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976
1800.04/1800.61	v -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993
1800.04/1800.61	v -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010
1800.04/1800.61	v -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027
1800.04/1800.61	v -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044
1800.04/1800.61	v -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061
1800.04/1800.61	v -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078
1800.04/1800.61	v -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095
1800.04/1800.61	v -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112
1800.04/1800.61	v -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129
1800.04/1800.61	v -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146
1800.04/1800.61	v -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163
1800.04/1800.61	v -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180
1800.04/1800.61	v -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197
1800.04/1800.61	v -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 x2206 x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215
1800.04/1800.61	v -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 x2230 -x2231 -x2232
1800.04/1800.61	v -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249
1800.04/1800.61	v -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266
1800.04/1800.61	v -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283
1800.04/1800.61	v -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300
1800.04/1800.61	v -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317
1800.04/1800.61	v -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334
1800.04/1800.61	v -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351
1800.04/1800.61	v -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368
1800.04/1800.61	v -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385
1800.04/1800.61	v -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402
1800.04/1800.61	v -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419
1800.04/1800.61	v -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436
1800.04/1800.61	v -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453
1800.04/1800.61	v -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470
1800.04/1800.61	v -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487
1800.04/1800.61	v -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504
1800.04/1800.61	v -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521
1800.04/1800.61	v -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538
1800.04/1800.61	v -x2539 -x2540 -x2541 -x2542 x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555
1800.04/1800.61	v -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572
1800.04/1800.61	v -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589
1800.04/1800.61	v -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606
1800.04/1800.61	v -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623
1800.04/1800.61	v -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640
1800.04/1800.61	v -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657
1800.04/1800.61	v -x2658 -x2659 -x2660 -x2661 x2662 x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675
1800.04/1800.61	v -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692
1800.04/1800.61	v -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709
1800.04/1800.61	v -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 x2724 x2725 -x2726 -x2727
1800.04/1800.61	v -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744
1800.04/1800.61	v -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761
1800.04/1800.61	v -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778
1800.04/1800.61	v -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795
1800.04/1800.61	v -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812
1800.04/1800.61	v -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829
1800.04/1800.61	v -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846
1800.04/1800.61	v -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863
1800.04/1800.61	v -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880
1800.04/1800.61	v -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897
1800.04/1800.61	v -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914
1800.04/1800.61	v -x2915 x2916 x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932
1800.04/1800.61	v -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949
1800.04/1800.61	v -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966
1800.04/1800.61	v -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983
1800.04/1800.61	v -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000
1800.04/1800.61	v -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017
1800.04/1800.61	v -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034
1800.04/1800.61	v -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051
1800.04/1800.61	v -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068
1800.04/1800.61	v -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085
1800.04/1800.61	v -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102
1800.04/1800.61	v -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119
1800.04/1800.61	v -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136
1800.04/1800.61	v -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153
1800.04/1800.61	v -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170
1800.04/1800.61	v -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187
1800.04/1800.61	v -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204
1800.04/1800.61	v -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221
1800.04/1800.61	v -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238
1800.04/1800.61	v -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255
1800.04/1800.61	v -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272
1800.04/1800.61	v -x3273 -x3274 -x3275 -x3276 -x3277 x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289
1800.04/1800.61	v -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306
1800.04/1800.61	v -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323
1800.04/1800.61	v -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340
1800.04/1800.61	v -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357
1800.04/1800.61	v -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374
1800.04/1800.61	v -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391
1800.04/1800.61	v -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408
1800.04/1800.61	v -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425
1800.04/1800.61	v -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442
1800.04/1800.61	v -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459
1800.04/1800.61	v -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476
1800.04/1800.61	v -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493
1800.04/1800.61	v -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 x3508 -x3509 -x3510
1800.04/1800.61	v -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527
1800.04/1800.61	v -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544
1800.04/1800.61	v -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561
1800.04/1800.61	v -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578
1800.04/1800.61	v -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595
1800.04/1800.61	v -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612
1800.04/1800.61	v -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629
1800.04/1800.61	v -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646
1800.04/1800.61	v -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663
1800.04/1800.61	v -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680
1800.04/1800.61	v -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697
1800.04/1800.61	v -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714
1800.04/1800.61	v -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731
1800.04/1800.61	v -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748
1800.04/1800.61	v -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765
1800.04/1800.61	v -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782
1800.04/1800.61	v -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799
1800.04/1800.61	v -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816
1800.04/1800.61	v -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833
1800.04/1800.61	v -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850
1800.04/1800.61	v -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867
1800.04/1800.61	v -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884
1800.04/1800.61	v -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901
1800.04/1800.61	v -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918
1800.04/1800.61	v -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935
1800.04/1800.61	v -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952
1800.04/1800.61	v -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969
1800.04/1800.61	v -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986
1800.04/1800.61	v -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003
1800.04/1800.61	v -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020
1800.04/1800.61	v -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037
1800.04/1800.61	v -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054
1800.04/1800.61	v -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071
1800.04/1800.61	v -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088
1800.04/1800.61	v -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105
1800.04/1800.61	v -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122
1800.04/1800.61	v -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139
1800.04/1800.61	v -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156
1800.04/1800.61	v -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173
1800.04/1800.61	v -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190
1800.04/1800.61	v -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207
1800.04/1800.61	v -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224
1800.04/1800.61	v -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241
1800.04/1800.61	v -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258
1800.04/1800.61	v -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275
1800.04/1800.61	v -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292
1800.04/1800.61	v -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309
1800.04/1800.61	v -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 x4325 -x4326
1800.04/1800.61	v -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 x4335 -x4336 -x4337 x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344
1800.04/1800.61	v -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 x4356 x4357 -x4358 x4359 -x4360
1800.04/1800.62	c Total Number of Positive Atoms : 29
1800.04/1800.62	c 
1800.04/1800.62	c During searching:         660.736 seconds elapsed.
1800.04/1800.62	c CPU time spent:           660.62 seconds.
1800.04/1800.62	c 
1800.04/1800.62	c =================================== END =====================================
1800.04/1800.62	c

Verifier Data (download as text)

OK	4869

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node12/watcher-372343-1177091008 -o ROOT/results/node12/solver-372343-1177091008 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372343-1177091008/wildcat-skc /tmp/evaluation/372343-1177091008/instance-372343-1177091008.opb 591938413 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 8135
/proc/meminfo: memFree=1734048/2055920 swapFree=4160080/4192956
[pid=8135] ppid=8133 vsize=5972 CPUtime=0
/proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 153 0 0 0 0 0 0 0 18 0 1 0 185138190 6115328 137 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8135/statm: 1493 137 105 226 0 1264 0

[startup+0.066758 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 8135
/proc/meminfo: memFree=1734048/2055920 swapFree=4160080/4192956
[pid=8135] ppid=8133 vsize=7820 CPUtime=0.06
/proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 604 0 0 0 6 0 0 0 18 0 1 0 185138190 8007680 588 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 135054637 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8135/statm: 1955 589 110 226 0 1726 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 7820

[startup+0.10176 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 8135
/proc/meminfo: memFree=1734048/2055920 swapFree=4160080/4192956
[pid=8135] ppid=8133 vsize=8608 CPUtime=0.09
/proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 9 0 0 0 18 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134603942 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8135/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8608

[startup+0.301782 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 8135
/proc/meminfo: memFree=1734048/2055920 swapFree=4160080/4192956
[pid=8135] ppid=8133 vsize=8608 CPUtime=0.29
/proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 29 0 0 0 19 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134607786 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8135/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8608

[startup+0.701821 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 8135
/proc/meminfo: memFree=1734048/2055920 swapFree=4160080/4192956
[pid=8135] ppid=8133 vsize=8608 CPUtime=0.69
/proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 69 0 0 0 22 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877556 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8135/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8608

[startup+1.5019 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 8136
/proc/meminfo: memFree=1731160/2055920 swapFree=4160080/4192956
[pid=8135] ppid=8133 vsize=8608 CPUtime=1.49
/proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 149 0 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134569019 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8135/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8608

[startup+3.10106 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 8136
/proc/meminfo: memFree=1731032/2055920 swapFree=4160080/4192956
[pid=8135] ppid=8133 vsize=8608 CPUtime=3.09
/proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 309 0 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8135/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8608

[startup+6.30138 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 8136
/proc/meminfo: memFree=1730968/2055920 swapFree=4160080/4192956
[pid=8135] ppid=8133 vsize=8608 CPUtime=6.28
/proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 628 0 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134607774 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8135/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 8608

[startup+12.702 s]
/proc/loadavg: 0.94 0.98 0.99 3/78 8136
/proc/meminfo: memFree=1730840/2055920 swapFree=4160080/4192956
[pid=8135] ppid=8133 vsize=8608 CPUtime=12.68
/proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 1268 0 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134611617 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8135/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 8608

[startup+25.5013 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 8136
/proc/meminfo: memFree=1730840/2055920 swapFree=4160080/4192956
[pid=8135] ppid=8133 vsize=8608 CPUtime=25.47
/proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 2547 0 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134611577 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8135/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 8608

[startup+51.1019 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 8136
/proc/meminfo: memFree=1730904/2055920 swapFree=4160080/4192956
[pid=8135] ppid=8133 vsize=8608 CPUtime=51.07
/proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 5106 1 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134605291 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8135/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 8608

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 8136
/proc/meminfo: memFree=1730968/2055920 swapFree=4160080/4192956
[pid=8135] ppid=8133 vsize=8608 CPUtime=102.26
/proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 10225 1 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877538 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8135/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 8608

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8136
/proc/meminfo: memFree=1730968/2055920 swapFree=4160080/4192956
[pid=8135] ppid=8133 vsize=8608 CPUtime=162.24
/proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 16223 1 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8135/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 8608

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8136
/proc/meminfo: memFree=1730968/2055920 swapFree=4160080/4192956
[pid=8135] ppid=8133 vsize=8608 CPUtime=222.23
/proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 22221 2 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8135/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 8608

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8136
/proc/meminfo: memFree=1730904/2055920 swapFree=4160080/4192956
[pid=8135] ppid=8133 vsize=8608 CPUtime=282.21
/proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 28219 2 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8135/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 8608

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8136
/proc/meminfo: memFree=1730904/2055920 swapFree=4160080/4192956
[pid=8135] ppid=8133 vsize=8608 CPUtime=342.19
/proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 34217 2 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134611617 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8135/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 8608

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 3/78 8136
/proc/meminfo: memFree=1730840/2055920 swapFree=4160080/4192956
[pid=8135] ppid=8133 vsize=8608 CPUtime=402.18
/proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 40215 3 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134607768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8135/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 8608

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8136
/proc/meminfo: memFree=1730840/2055920 swapFree=4160080/4192956
[pid=8135] ppid=8133 vsize=8608 CPUtime=462.16
/proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 46213 3 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8135/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 8608

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8136
/proc/meminfo: memFree=1730968/2055920 swapFree=4160080/4192956
[pid=8135] ppid=8133 vsize=8608 CPUtime=522.15
/proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 52212 3 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134605344 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8135/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 8608

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8136
/proc/meminfo: memFree=1730904/2055920 swapFree=4160080/4192956
[pid=8135] ppid=8133 vsize=8608 CPUtime=582.14
/proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 58210 4 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134551552 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8135/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 8608

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8136
/proc/meminfo: memFree=1730904/2055920 swapFree=4160080/4192956
[pid=8135] ppid=8133 vsize=8608 CPUtime=642.12
/proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 64208 4 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134607698 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8135/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 8608


################
# More data... #
################

[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8136
/proc/meminfo: memFree=1730968/2055920 swapFree=4160080/4192956
[pid=8135] ppid=8133 vsize=8608 CPUtime=822.07
/proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 82202 5 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134605301 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8135/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 8608

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8136
/proc/meminfo: memFree=1730968/2055920 swapFree=4160080/4192956
[pid=8135] ppid=8133 vsize=8608 CPUtime=882.05
/proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 88200 5 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8135/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 8608

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8136
/proc/meminfo: memFree=1730968/2055920 swapFree=4160080/4192956
[pid=8135] ppid=8133 vsize=8608 CPUtime=942.04
/proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 94198 6 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134607810 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8135/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 8608

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8136
/proc/meminfo: memFree=1730904/2055920 swapFree=4160080/4192956
[pid=8135] ppid=8133 vsize=8608 CPUtime=1002.03
/proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 100197 6 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134868569 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8135/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 8608

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/84 8208
/proc/meminfo: memFree=1729632/2055920 swapFree=4160080/4192956
[pid=8135] ppid=8133 vsize=8608 CPUtime=1061.98
/proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 106191 7 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877556 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8135/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 8608

[startup+1122.3 s]
/proc/loadavg: 1.03 1.00 1.00 2/78 8334
/proc/meminfo: memFree=1730648/2055920 swapFree=4160080/4192956
[pid=8135] ppid=8133 vsize=8608 CPUtime=1121.9
/proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 112183 7 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134608017 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8135/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 8608

[startup+1182.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 8334
/proc/meminfo: memFree=1730648/2055920 swapFree=4160080/4192956
[pid=8135] ppid=8133 vsize=8608 CPUtime=1181.88
/proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 118181 7 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8135/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 8608

[startup+1242.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 8334
/proc/meminfo: memFree=1730648/2055920 swapFree=4160080/4192956
[pid=8135] ppid=8133 vsize=8608 CPUtime=1241.87
/proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 124179 8 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8135/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 8608

[startup+1302.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 8334
/proc/meminfo: memFree=1730648/2055920 swapFree=4160080/4192956
[pid=8135] ppid=8133 vsize=8608 CPUtime=1301.86
/proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 130178 8 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134611634 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8135/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 8608

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8334
/proc/meminfo: memFree=1730712/2055920 swapFree=4160080/4192956
[pid=8135] ppid=8133 vsize=8608 CPUtime=1361.84
/proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 136175 9 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134605283 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8135/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 8608

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8334
/proc/meminfo: memFree=1730712/2055920 swapFree=4160080/4192956
[pid=8135] ppid=8133 vsize=8608 CPUtime=1421.83
/proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 142174 9 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877536 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8135/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 8608

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8334
/proc/meminfo: memFree=1730712/2055920 swapFree=4160080/4192956
[pid=8135] ppid=8133 vsize=8608 CPUtime=1481.81
/proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 148172 9 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134607727 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8135/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 8608

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8334
/proc/meminfo: memFree=1730904/2055920 swapFree=4160080/4192956
[pid=8135] ppid=8133 vsize=8608 CPUtime=1541.79
/proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 154170 9 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134607810 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8135/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 8608

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8334
/proc/meminfo: memFree=1730904/2055920 swapFree=4160080/4192956
[pid=8135] ppid=8133 vsize=8608 CPUtime=1601.78
/proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 160168 10 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134868580 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8135/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 8608

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8334
/proc/meminfo: memFree=1730904/2055920 swapFree=4160080/4192956
[pid=8135] ppid=8133 vsize=8608 CPUtime=1661.76
/proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 166166 10 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8135/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 8608

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8334
/proc/meminfo: memFree=1730840/2055920 swapFree=4160080/4192956
[pid=8135] ppid=8133 vsize=8608 CPUtime=1721.75
/proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 172164 11 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565731 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8135/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 8608

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8334
/proc/meminfo: memFree=1730840/2055920 swapFree=4160080/4192956
[pid=8135] ppid=8133 vsize=8608 CPUtime=1781.73
/proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 178162 11 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134611634 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8135/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 8608



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8334
/proc/meminfo: memFree=1730904/2055920 swapFree=4160080/4192956
[pid=8135] ppid=8133 vsize=8608 CPUtime=1800.04
/proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 179993 11 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134611584 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8135/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 8608

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

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

Child status: 0
Real time (s): 1800.62
CPU time (s): 1800.06
CPU user time (s): 1799.94
CPU system time (s): 0.117982
CPU usage (%): 99.9688
Max. virtual memory (cumulated for all children) (KiB): 8608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.117982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 829
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= 8
involuntary context switches= 15210

runsolver used 2.32565 second user time and 4.05538 second system time

The end

Launcher Data (download as text)

Begin job on node12 on Fri Apr 20 17:43:28 UTC 2007

IDJOB= 372343
IDBENCH= 24965
IDSOLVER= 162
FILE ID= node12/372343-1177091008

PBS_JOBID= 4640316

Free space on /tmp= 66254 MiB

SOLVER NAME= wildcat-skc 2007-03-21
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir06_trarea_ac.opb
COMMAND LINE= /tmp/evaluation/372343-1177091008/wildcat-skc /tmp/evaluation/372343-1177091008/instance-372343-1177091008.opb 591938413
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node12/watcher-372343-1177091008 -o ROOT/results/node12/solver-372343-1177091008 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/372343-1177091008/wildcat-skc /tmp/evaluation/372343-1177091008/instance-372343-1177091008.opb 591938413

META MD5SUM SOLVER= 05d21ee76b90579709a9929b8e99937a
MD5SUM BENCH=  7546aeed0de3680ab75d817854256b46

RANDOM SEED= 591938413

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node12.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.239
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.239
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1734456 kB
Buffers:         74000 kB
Cached:         169232 kB
SwapCached:      11768 kB
Active:         149996 kB
Inactive:       117300 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1734456 kB
SwapTotal:     4192956 kB
SwapFree:      4160080 kB
Dirty:            2576 kB
Writeback:           0 kB
Mapped:          30388 kB
Slab:            39712 kB
Committed_AS:  6028060 kB
PageTables:       1792 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66254 MiB

End job on node12 on Fri Apr 20 18:13:31 UTC 2007