Trace number 4404151

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
choco-solver 2019-09-20SAT (TO)12293 2400.39 692.698

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-graph-05-opt_c18.xml
MD5SUMd0ab6aee5f30ff70d66f863e0e3556a1
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark221
Best CPU time to get the best result obtained on this benchmark9.58451
Satisfiable
(Un)Satisfiability was proved
Number of variables1234
Number of constraints1134
Number of domains10
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":1034},{"size":6,"count":18},{"size":22,"count":8},{"size":24,"count":4},{"size":36,"count":44},{"size":42,"count":46},{"size":44,"count":80}]
Minimum variable degree1
Maximum variable degree22
Distribution of variable degrees[{"degree":1,"count":1},{"degree":2,"count":1035},{"degree":3,"count":4},{"degree":4,"count":11},{"degree":5,"count":22},{"degree":6,"count":22},{"degree":7,"count":19},{"degree":8,"count":21},{"degree":9,"count":12},{"degree":10,"count":11},{"degree":12,"count":1},{"degree":13,"count":1},{"degree":14,"count":1},{"degree":15,"count":1},{"degree":17,"count":8},{"degree":18,"count":13},{"degree":19,"count":16},{"degree":20,"count":18},{"degree":21,"count":14},{"degree":22,"count":3}]
Minimum constraint arity2
Maximum constraint arity3
Distribution of constraint arities[{"arity":2,"count":100},{"arity":3,"count":1034}]
Number of extensional constraints0
Number of intensional constraints1134
Distribution of constraint types[{"type":"intension","count":1134}]
Optimization problemYES
Type of objectivemin SUM

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 java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404151-1568992564.xml"  -tl '2400s' -p 4
0.13/0.18	c Choco 3fb4b153
0.13/0.18	c [HOME/instance-4404151-1568992564.xml, -tl, 2400s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.29	c parse instance...
10.03/4.78	c solve instance...
12.81/5.57	o 148863 
13.39/5.90	o 147962 
13.53/5.92	o 147862 
15.27/7.25	o 147762 
15.27/7.28	o 147761 
15.27/7.29	o 146862 
15.44/7.32	o 145961 
15.44/7.33	o 145861 
15.44/7.36	o 145761 
15.44/7.37	o 145732 
15.44/7.38	o 145731 
15.44/7.39	o 145640 
15.64/7.40	o 145620 
15.64/7.41	o 144960 
15.64/7.42	o 144931 
15.64/7.45	o 144930 
15.64/7.49	o 144839 
15.86/7.53	o 144819 
15.86/7.53	o 144760 
15.86/7.54	o 144731 
17.30/7.97	o 144730 
17.30/7.97	o 144639 
17.30/7.98	o 144619 
17.30/7.99	o 144596 
17.30/7.99	o 144567 
17.71/8.03	o 144503 
17.71/8.04	o 144483 
17.71/8.05	o 144414 
17.71/8.06	o 144393 
17.71/8.06	o 144373 
17.71/8.07	o 144363 
17.71/8.07	o 144353 
17.71/8.08	o 144352 
17.71/8.09	o 144342 
17.71/8.09	o 143747 
17.71/8.10	o 143647 
17.71/8.11	o 143547 
18.01/8.12	o 143528 
18.01/8.12	o 143518 
18.01/8.13	o 143517 
18.01/8.14	o 143427 
18.01/8.15	o 143426 
18.01/8.15	o 143406 
18.01/8.16	o 143383 
18.01/8.17	o 143364 
18.01/8.19	o 143159 
18.55/8.31	o 143150 
18.55/8.37	o 143140 
19.96/9.57	o 143111 
19.96/9.59	o 143090 
19.96/9.60	o 143070 
20.11/9.62	o 143060 
20.11/9.63	o 143050 
20.11/9.67	o 142956 
20.11/9.68	o 142856 
20.37/9.73	o 142756 
20.37/9.76	o 142737 
20.37/9.77	o 142727 
20.37/9.77	o 142726 
20.37/9.78	o 142636 
20.60/9.83	o 142635 
20.60/9.84	o 142615 
20.60/9.85	o 142593 
20.60/9.87	o 142493 
20.60/9.88	o 142474 
20.77/9.91	o 142464 
20.77/9.91	o 142400 
20.77/9.93	o 142380 
20.77/9.94	o 142311 
20.77/9.95	o 142290 
20.77/9.96	o 142270 
20.77/9.97	o 142260 
20.77/9.99	o 142250 
21.00/10.09	o 142249 
21.25/10.12	o 141946 
21.25/10.13	o 141846 
21.25/10.15	o 137106 
21.40/10.25	o 137103 
21.40/10.28	o 137093 
21.40/10.29	o 137092 
21.53/10.30	o 137002 
21.53/10.32	o 137001 
21.53/10.34	o 136981 
21.53/10.38	o 136960 
22.88/11.53	o 136941 
22.88/11.56	o 136940 
22.88/11.58	o 136930 
22.88/11.59	o 136877 
22.88/11.59	o 136856 
23.06/11.63	o 136836 
23.06/11.64	o 136826 
23.06/11.65	o 136816 
23.06/11.69	o 136777 
23.27/11.70	o 136756 
23.27/11.70	o 136736 
23.27/11.72	o 136726 
23.27/11.73	o 136716 
23.27/11.75	o 136677 
23.27/11.76	o 136656 
23.27/11.77	o 136636 
23.49/11.80	o 136626 
23.49/11.83	o 136616 
23.49/11.84	o 136122 
23.49/11.85	o 136022 
23.49/11.85	o 135922 
23.49/11.86	o 135903 
23.49/11.88	o 135893 
23.69/11.95	o 135892 
23.69/11.98	o 135802 
23.84/12.03	o 135801 
23.84/12.04	o 135781 
23.84/12.05	o 135760 
23.84/12.05	o 135741 
23.84/12.06	o 135731 
23.84/12.07	o 135677 
23.84/12.09	o 135656 
24.03/12.13	o 135636 
24.03/12.15	o 135626 
24.03/12.16	o 135616 
24.03/12.18	o 135122 
24.03/12.20	o 135022 
24.17/12.21	o 134922 
24.36/12.31	o 134903 
24.36/12.32	o 134893 
24.36/12.33	o 134874 
24.49/12.43	o 134802 
24.49/12.44	o 134801 
24.49/12.45	o 134781 
24.49/12.47	o 134759 
24.49/12.47	o 134740 
24.66/12.51	o 134731 
25.86/13.64	o 134677 
25.86/13.66	o 134656 
25.86/13.69	o 134636 
26.00/13.71	o 134626 
26.00/13.72	o 134616 
26.00/13.79	o 134223 
26.22/13.81	o 134123 
26.22/13.82	o 134023 
26.22/13.82	o 134004 
26.22/13.83	o 133994 
26.22/13.86	o 133993 
26.22/13.88	o 133903 
26.38/13.90	o 133902 
26.38/13.92	o 133882 
26.38/13.93	o 133877 
26.38/13.96	o 133856 
26.38/13.96	o 133836 
26.38/13.99	o 133826 
26.38/13.99	o 133816 
26.58/14.01	o 133802 
26.58/14.05	o 133801 
26.58/14.07	o 133781 
26.82/14.24	o 133759 
26.82/14.26	o 133740 
26.82/14.28	o 133731 
26.82/14.29	o 133677 
26.82/14.29	o 133656 
26.99/14.31	o 133636 
26.99/14.34	o 133626 
26.99/14.35	o 133616 
26.99/14.36	o 133222 
26.99/14.38	o 133122 
27.14/14.42	o 133022 
27.14/14.43	o 133003 
27.14/14.43	o 132706 
27.31/14.53	o 132657 
27.31/14.54	o 132616 
27.31/14.55	o 132596 
27.58/14.65	o 132547 
27.58/14.65	o 132506 
29.03/15.82	o 132505 
29.03/15.84	o 132101 
29.03/15.86	o 132001 
29.03/15.87	o 131901 
29.21/15.91	o 131882 
29.21/15.92	o 131872 
29.21/15.93	o 131871 
29.21/15.94	o 131781 
29.21/15.95	o 131780 
29.21/15.96	o 131760 
29.21/15.97	o 131759 
29.21/15.98	o 131748 
29.21/16.00	o 131737 
29.40/16.04	o 131725 
29.40/16.05	o 131656 
29.40/16.06	o 131635 
29.55/16.16	o 131615 
29.55/16.20	o 131605 
29.65/16.23	o 131546 
29.65/16.23	o 131505 
29.65/16.25	o 131496 
30.01/16.32	o 131495 
30.01/16.33	o 131468 
30.15/16.43	o 131091 
30.15/16.43	o 130991 
30.15/16.44	o 130891 
30.15/16.44	o 130872 
30.15/16.46	o 130862 
30.15/16.47	o 130861 
30.15/16.48	o 130771 
30.15/16.48	o 130770 
30.15/16.49	o 130428 
30.75/16.63	o 130213 
32.00/17.78	o 130113 
32.00/17.79	o 130013 
32.13/17.80	o 129994 
32.13/17.81	o 129984 
32.13/17.82	o 129983 
32.13/17.84	o 129893 
32.13/17.88	o 129892 
32.13/17.89	o 129872 
32.31/17.91	o 129857 
32.31/17.91	o 129837 
32.31/17.98	o 129768 
32.45/18.05	o 129747 
32.45/18.08	o 129727 
32.60/18.11	o 129717 
32.60/18.14	o 129707 
32.72/18.21	o 129648 
32.72/18.25	o 129607 
32.98/18.32	o 129092 
32.98/18.35	o 128992 
32.98/18.36	o 128892 
32.98/18.38	o 128873 
32.98/18.39	o 128863 
33.21/18.40	o 128862 
33.21/18.42	o 128772 
33.21/18.43	o 128771 
33.21/18.45	o 128751 
33.37/18.51	o 128741 
33.37/18.52	o 128739 
33.37/18.53	o 128728 
33.37/18.55	o 128716 
33.37/18.56	o 128647 
33.37/18.57	o 128626 
33.37/18.58	o 128606 
33.37/18.59	o 128596 
33.59/18.61	o 128537 
33.59/18.62	o 128496 
33.59/18.63	o 128475 
33.74/18.74	o 128474 
34.88/19.89	o 128415 
35.00/19.90	o 128374 
35.00/19.92	o 128364 
35.00/19.93	o 128354 
35.00/19.94	o 128295 
35.00/19.95	o 128254 
35.32/20.08	o 128082 
35.52/20.13	o 127982 
35.52/20.16	o 127882 
35.52/20.17	o 127863 
35.52/20.18	o 127853 
35.52/20.19	o 127852 
35.52/20.19	o 127762 
35.69/20.21	o 127761 
35.69/20.22	o 127741 
35.69/20.23	o 127740 
35.69/20.24	o 127729 
35.69/20.26	o 127718 
35.69/20.27	o 127706 
35.69/20.29	o 127637 
35.89/20.30	o 127616 
35.89/20.34	o 127596 
35.89/20.37	o 127586 
36.04/20.40	o 127527 
36.04/20.41	o 127486 
36.04/20.49	o 127476 
36.21/20.55	o 127475 
36.21/20.57	o 127465 
36.34/20.61	o 127464 
36.34/20.64	o 127405 
36.34/20.65	o 127364 
36.53/20.72	o 127310 
36.65/20.82	o 127285 
36.65/20.83	o 127244 
38.05/21.99	o 127072 
38.18/22.05	o 126972 
38.18/22.08	o 126872 
38.33/22.12	o 126853 
38.33/22.18	o 126843 
38.49/22.24	o 126842 
38.49/22.28	o 126752 
38.61/22.30	o 126751 
38.61/22.32	o 126731 
38.76/22.43	o 126730 
38.76/22.44	o 126719 
38.76/22.47	o 126708 
38.94/22.51	o 126696 
38.94/22.54	o 126686 
38.94/22.57	o 126676 
38.94/22.58	o 126617 
39.11/22.60	o 126517 
39.11/22.61	o 126476 
39.11/22.69	o 126467 
39.29/22.75	o 126268 
39.63/22.85	o 126062 
40.96/24.03	o 125962 
40.96/24.04	o 125862 
40.96/24.07	o 125843 
40.96/24.07	o 125833 
40.96/24.08	o 125832 
40.96/24.10	o 125742 
41.12/24.12	o 125741 
41.12/24.14	o 125721 
41.12/24.15	o 125720 
41.12/24.16	o 125709 
41.12/24.18	o 125698 
41.31/24.20	o 125686 
41.31/24.23	o 125676 
41.31/24.24	o 125666 
41.31/24.26	o 125607 
41.47/24.31	o 125507 
41.47/24.33	o 125466 
41.47/24.36	o 125458 
41.73/24.40	o 125184 
41.73/24.42	o 125084 
41.73/24.43	o 124984 
41.73/24.43	o 124965 
41.73/24.44	o 124955 
41.73/24.46	o 124954 
41.90/24.57	o 124864 
41.90/24.58	o 124863 
41.90/24.59	o 124843 
41.90/24.60	o 124805 
42.16/24.71	o 124798 
42.16/24.77	o 124778 
42.16/24.78	o 124719 
43.41/25.97	o 124619 
43.41/25.98	o 124578 
43.62/26.05	o 124063 
43.62/26.10	o 123963 
43.83/26.13	o 123863 
43.83/26.16	o 123844 
43.95/26.21	o 123834 
43.95/26.26	o 123833 
43.95/26.29	o 123743 
44.09/26.31	o 123742 
44.09/26.34	o 123722 
44.09/26.37	o 123712 
44.26/26.42	o 123710 
44.26/26.45	o 123699 
44.26/26.48	o 123687 
44.44/26.51	o 123677 
44.44/26.57	o 123667 
44.44/26.59	o 123608 
44.59/26.61	o 123508 
44.59/26.63	o 123467 
44.59/26.65	o 123457 
44.59/26.68	o 123456 
44.78/26.74	o 123446 
44.78/26.76	o 123445 
44.78/26.79	o 123386 
44.95/26.81	o 123345 
44.95/26.83	o 123266 
44.95/26.84	o 123225 
45.19/26.95	o 123211 
45.19/26.98	o 123210 
46.66/28.15	o 123190 
46.66/28.17	o 123189 
46.78/28.22	o 123178 
46.78/28.25	o 123167 
46.96/28.31	o 123155 
46.96/28.35	o 123089 
46.96/28.37	o 123088 
46.96/28.40	o 123068 
47.15/28.41	o 123058 
47.15/28.44	o 122969 
47.32/28.50	o 122968 
47.32/28.52	o 122948 
47.32/28.54	o 122938 
47.32/28.56	o 122936 
47.32/28.59	o 122925 
47.50/28.61	o 122913 
47.50/28.67	o 122879 
47.50/28.69	o 122878 
47.67/28.71	o 122858 
47.67/28.73	o 122848 
47.67/28.75	o 122759 
47.67/28.77	o 122758 
47.82/28.83	o 122738 
47.82/28.85	o 122728 
47.82/28.88	o 122657 
47.98/28.91	o 122656 
47.98/28.94	o 122636 
47.98/28.96	o 122626 
47.98/28.97	o 122625 
47.98/29.00	o 122615 
48.13/29.07	o 122608 
48.40/29.17	o 122320 
49.73/30.36	o 122220 
49.85/30.40	o 122120 
49.85/30.44	o 122101 
49.85/30.47	o 122091 
49.85/30.49	o 122090 
50.03/30.50	o 122000 
50.03/30.51	o 121999 
50.03/30.58	o 121979 
50.19/30.64	o 121978 
50.19/30.68	o 121967 
50.37/30.70	o 121956 
50.37/30.72	o 121934 
50.37/30.74	o 121878 
50.37/30.76	o 121877 
50.37/30.78	o 121857 
50.37/30.79	o 121847 
50.84/31.01	o 121758 
50.84/31.04	o 121757 
50.84/31.06	o 121737 
50.84/31.07	o 121727 
50.84/31.09	o 121725 
51.03/31.11	o 121714 
51.03/31.17	o 121692 
51.20/31.27	o 121656 
51.33/31.32	o 121655 
51.33/31.34	o 121635 
51.33/31.35	o 121625 
51.33/31.37	o 121624 
51.33/31.39	o 121614 
51.50/31.41	o 121607 
51.62/31.51	o 121590 
52.84/32.69	o 121589 
52.98/32.73	o 121579 
52.98/32.75	o 121578 
52.98/32.79	o 121573 
53.22/32.80	o 121572 
53.22/32.82	o 121513 
53.22/32.84	o 121472 
53.39/32.91	o 121462 
53.39/32.94	o 121452 
53.39/32.95	o 121393 
53.39/32.96	o 121352 
53.61/33.10	o 121302 
53.73/33.12	o 121261 
53.73/33.16	o 121224 
53.73/33.18	o 121183 
53.73/33.19	o 121173 
53.95/33.21	o 121172 
53.95/33.23	o 121162 
53.95/33.25	o 121161 
53.95/33.27	o 121119 
54.14/33.38	o 121102 
54.14/33.39	o 121061 
55.38/34.58	o 121051 
55.38/34.59	o 121041 
55.62/34.72	o 120982 
55.62/34.74	o 120941 
55.62/34.79	o 120882 
55.85/34.81	o 120841 
55.85/34.83	o 120831 
55.85/34.85	o 120821 
55.85/34.88	o 120820 
56.10/34.96	o 120558 
56.10/34.98	o 120458 
56.10/35.00	o 120358 
56.40/35.04	o 120339 
56.40/35.07	o 120329 
56.40/35.10	o 120328 
56.58/35.12	o 120238 
56.58/35.14	o 120237 
56.58/35.16	o 120217 
56.58/35.18	o 120216 
56.72/35.20	o 120205 
56.72/35.22	o 120194 
56.72/35.24	o 120182 
56.72/35.26	o 120113 
56.72/35.28	o 120092 
56.72/35.30	o 120072 
56.89/35.38	o 120062 
57.01/35.40	o 120003 
57.12/35.50	o 119962 
58.31/36.69	o 119952 
58.44/36.71	o 119951 
58.44/36.73	o 119941 
58.59/36.80	o 119940 
58.59/36.82	o 119881 
58.59/36.84	o 119840 
58.80/36.96	o 119830 
58.80/36.98	o 119820 
58.80/37.00	o 119761 
58.96/37.03	o 119720 
58.96/37.06	o 119661 
58.96/37.10	o 119620 
59.17/37.16	o 119611 
59.17/37.18	o 119589 
59.39/37.20	o 119588 
59.39/37.28	o 119587 
59.63/37.36	o 119577 
59.99/37.47	o 119548 
59.99/37.48	o 119448 
61.22/38.67	o 119348 
61.35/38.70	o 119329 
61.35/38.72	o 119319 
61.35/38.75	o 119318 
61.35/38.77	o 119228 
61.55/38.80	o 119227 
61.55/38.83	o 119207 
61.55/38.86	o 119206 
61.55/38.87	o 119195 
61.72/38.96	o 119184 
61.72/38.99	o 119172 
61.72/39.00	o 119103 
61.89/39.03	o 119082 
61.89/39.04	o 119062 
61.89/39.07	o 119052 
61.89/39.10	o 118993 
62.08/39.12	o 118952 
62.08/39.18	o 118942 
62.24/39.21	o 118941 
62.24/39.22	o 118931 
62.24/39.24	o 118930 
62.24/39.28	o 118871 
62.24/39.29	o 118830 
62.45/39.31	o 118820 
62.45/39.33	o 118810 
62.45/39.35	o 118751 
62.45/39.36	o 118710 
62.45/39.37	o 118547 
62.87/39.55	o 118541 
62.87/39.57	o 118540 
64.10/40.76	o 118520 
64.10/40.77	o 118519 
64.10/40.79	o 118508 
64.25/40.81	o 118497 
64.25/40.83	o 118485 
64.25/40.85	o 118475 
64.25/40.86	o 118465 
64.25/40.88	o 118406 
64.44/40.91	o 118306 
64.44/40.93	o 118265 
64.44/40.95	o 118255 
64.44/40.96	o 118254 
64.44/40.98	o 118244 
64.44/41.00	o 118243 
64.64/41.03	o 118184 
64.64/41.04	o 118143 
64.82/41.12	o 118064 
64.82/41.14	o 118023 
64.82/41.19	o 118009 
65.02/41.20	o 118008 
65.02/41.22	o 117988 
65.02/41.25	o 117987 
65.02/41.27	o 117976 
65.02/41.29	o 117965 
65.18/41.37	o 117953 
65.34/41.40	o 117887 
65.34/41.43	o 117886 
65.34/41.44	o 117866 
65.50/41.50	o 117856 
65.50/41.53	o 117767 
65.50/41.55	o 117766 
65.50/41.57	o 117746 
65.50/41.58	o 117736 
65.65/41.60	o 117734 
65.65/41.63	o 117723 
65.65/41.65	o 117711 
65.65/41.67	o 117677 
65.65/41.69	o 117676 
65.86/41.79	o 117656 
65.98/41.82	o 117646 
67.21/43.03	o 117557 
67.21/43.05	o 117556 
67.21/43.08	o 117536 
67.21/43.10	o 117526 
67.37/43.13	o 117455 
67.37/43.15	o 117454 
67.37/43.18	o 117434 
67.54/43.20	o 117424 
67.54/43.22	o 117423 
67.54/43.26	o 117413 
67.80/43.33	o 117118 
67.80/43.35	o 117018 
67.80/43.38	o 116918 
68.07/43.41	o 116899 
68.07/43.43	o 116889 
68.07/43.47	o 116888 
68.07/43.49	o 116798 
68.22/43.50	o 116797 
68.22/43.53	o 116777 
68.22/43.56	o 116776 
68.22/43.57	o 116765 
68.39/43.61	o 116754 
68.39/43.63	o 116732 
68.39/43.67	o 116676 
68.57/43.70	o 116675 
68.57/43.73	o 116637 
68.71/43.83	o 116556 
68.71/43.85	o 116555 
69.95/45.06	o 116535 
69.95/45.09	o 116525 
70.07/45.12	o 116523 
70.07/45.15	o 116512 
70.07/45.16	o 116490 
70.07/45.20	o 116454 
70.26/45.21	o 116453 
70.39/45.30	o 116433 
70.39/45.34	o 116423 
70.39/45.37	o 116422 
70.39/45.38	o 116412 
70.39/45.40	o 116410 
70.57/45.40	o 116388 
70.57/45.43	o 116387 
70.57/45.48	o 116328 
70.85/45.51	o 116228 
70.85/45.54	o 116209 
70.85/45.56	o 116199 
70.85/45.57	o 116198 
70.85/45.59	o 116108 
71.05/45.62	o 116107 
71.05/45.65	o 116087 
71.05/45.67	o 116086 
71.05/45.69	o 116075 
71.22/45.72	o 116064 
71.22/45.74	o 116042 
71.22/45.77	o 115986 
71.39/45.80	o 115985 
71.39/45.82	o 115965 
71.39/45.84	o 115955 
71.39/45.87	o 115866 
71.39/45.89	o 115757 
71.56/45.99	o 115743 
71.72/46.02	o 115733 
72.96/47.23	o 115731 
72.96/47.26	o 115720 
72.96/47.27	o 115698 
73.15/47.32	o 115697 
73.15/47.37	o 115418 
73.45/47.40	o 115318 
73.45/47.45	o 115218 
73.45/47.48	o 115199 
73.60/47.50	o 115189 
73.60/47.53	o 115188 
73.60/47.56	o 115098 
73.60/47.59	o 115097 
73.77/47.60	o 115077 
73.77/47.61	o 115067 
73.77/47.63	o 115057 
73.77/47.67	o 115056 
73.77/47.69	o 115046 
73.94/47.72	o 115045 
73.94/47.74	o 114976 
73.94/47.77	o 114975 
73.94/47.79	o 114955 
74.08/47.83	o 114945 
74.08/47.86	o 114856 
74.08/47.89	o 114855 
74.25/47.91	o 114835 
74.25/47.92	o 114825 
74.25/47.94	o 114754 
74.25/47.96	o 114753 
74.25/47.98	o 114733 
74.45/48.01	o 114723 
74.45/48.04	o 114722 
74.45/48.06	o 114712 
74.45/48.10	o 114688 
74.79/48.21	o 114687 
76.04/49.41	o 114663 
76.04/49.42	o 114662 
76.04/49.44	o 114642 
76.04/49.45	o 114632 
76.04/49.46	o 114631 
76.04/49.49	o 114621 
76.22/49.53	o 114619 
76.22/49.55	o 114597 
76.22/49.58	o 114596 
76.45/49.63	o 114565 
76.45/49.66	o 114564 
76.67/49.70	o 114544 
76.67/49.72	o 114534 
76.67/49.73	o 114445 
76.67/49.75	o 114444 
76.67/49.76	o 114424 
76.67/49.79	o 114414 
76.98/49.91	o 114412 
77.21/50.19	o 114401 
77.31/50.25	o 114379 
77.31/50.27	o 114343 
77.31/50.29	o 114342 
77.58/50.47	o 114322 
77.78/50.65	o 114312 
77.78/50.67	o 114311 
77.78/50.68	o 114301 
77.78/50.69	o 114299 
77.78/50.70	o 114277 
77.93/50.72	o 114257 
78.10/50.82	o 114225 
78.10/50.83	o 114224 
79.23/51.99	o 114204 
79.23/52.00	o 114194 
79.36/52.01	o 114123 
79.36/52.02	o 114122 
79.36/52.03	o 114102 
79.36/52.05	o 114092 
79.36/52.07	o 114091 
79.51/52.18	o 114081 
79.51/52.19	o 114023 
79.61/52.20	o 114022 
79.61/52.21	o 114002 
79.61/52.21	o 113992 
79.61/52.22	o 113991 
79.61/52.23	o 113981 
79.98/52.35	o 113786 
79.98/52.36	o 113686 
79.98/52.37	o 113586 
79.98/52.39	o 113567 
80.32/52.54	o 113557 
80.32/52.58	o 113556 
80.44/52.62	o 113466 
80.44/52.62	o 113465 
80.44/52.63	o 113445 
80.44/52.64	o 113444 
80.44/52.65	o 113433 
80.44/52.65	o 113422 
80.44/52.66	o 113400 
80.44/52.69	o 113378 
80.66/52.79	o 113344 
80.79/52.80	o 113343 
81.92/53.99	o 113323 
82.04/54.02	o 113313 
82.04/54.06	o 113224 
82.04/54.08	o 113223 
82.18/54.11	o 113203 
82.18/54.13	o 113193 
82.18/54.16	o 113191 
82.18/54.19	o 113180 
82.18/54.19	o 113158 
82.39/54.23	o 113122 
82.39/54.27	o 113121 
82.39/54.29	o 113101 
82.60/54.30	o 113091 
82.60/54.31	o 113090 
82.60/54.33	o 113080 
82.60/54.36	o 113078 
82.60/54.38	o 113056 
82.81/54.41	o 113055 
82.81/54.44	o 113022 
82.81/54.44	o 113021 
82.81/54.45	o 113001 
82.81/54.45	o 112991 
82.81/54.47	o 112990 
82.98/54.50	o 112980 
82.98/54.52	o 112978 
82.98/54.53	o 112956 
82.98/54.55	o 112955 
83.22/54.62	o 112681 
84.83/55.89	o 112677 
84.94/55.92	o 112676 
84.94/55.94	o 112586 
84.94/55.95	o 112585 
84.94/55.97	o 112565 
84.94/56.00	o 112564 
85.14/56.02	o 112553 
85.14/56.05	o 112542 
85.14/56.06	o 112520 
85.14/56.08	o 112465 
85.14/56.10	o 112464 
85.35/56.13	o 112444 
85.35/56.13	o 112434 
85.35/56.15	o 112432 
85.35/56.18	o 112421 
85.35/56.18	o 112399 
85.56/56.22	o 112384 
85.56/56.23	o 112383 
85.56/56.24	o 112363 
85.56/56.26	o 112353 
85.56/56.28	o 112344 
85.73/56.30	o 112343 
85.73/56.31	o 112333 
85.73/56.33	o 112332 
85.73/56.33	o 112263 
85.73/56.35	o 112262 
85.73/56.36	o 112242 
85.73/56.37	o 112232 
85.73/56.38	o 112231 
85.95/56.44	o 112221 
85.95/56.47	o 112197 
86.14/56.58	o 112196 
87.41/57.73	o 112163 
87.41/57.77	o 112162 
87.41/57.78	o 112142 
87.54/57.81	o 112132 
87.54/57.83	o 112131 
87.54/57.86	o 112121 
87.75/57.91	o 112119 
87.75/57.93	o 112097 
87.75/57.98	o 112096 
88.04/58.09	o 112052 
88.17/58.18	o 112051 
88.30/58.20	o 112031 
88.30/58.20	o 112021 
88.30/58.24	o 112020 
88.30/58.26	o 112010 
89.25/58.95	o 112001 
89.38/59.02	o 111991 
89.38/59.07	o 111922 
89.38/59.09	o 111921 
89.38/59.10	o 111901 
89.38/59.10	o 111891 
89.54/59.11	o 111889 
89.54/59.12	o 111820 
89.54/59.13	o 111819 
89.54/59.14	o 111799 
89.54/59.14	o 111789 
89.54/59.15	o 111720 
89.68/59.26	o 111719 
89.68/59.27	o 111699 
90.93/60.44	o 111689 
90.93/60.46	o 111679 
90.93/60.47	o 111610 
91.08/60.51	o 111609 
91.19/60.64	o 111589 
91.19/60.65	o 111579 
91.19/60.67	o 111571 
91.19/60.69	o 111569 
91.37/60.70	o 111500 
91.37/60.73	o 111499 
91.37/60.75	o 111479 
91.37/60.78	o 111469 
91.56/60.81	o 111459 
91.56/60.85	o 111418 
91.56/60.87	o 111417 
91.56/60.88	o 111397 
91.74/60.90	o 111387 
91.74/60.91	o 111379 
91.74/60.99	o 111298 
91.74/61.00	o 111297 
91.91/61.02	o 111277 
91.91/61.02	o 111267 
91.91/61.04	o 111198 
91.91/61.05	o 111197 
91.91/61.07	o 111177 
91.91/61.07	o 111167 
92.27/61.20	o 111151 
92.53/61.31	o 111150 
92.53/61.32	o 111130 
93.67/62.49	o 111129 
93.67/62.50	o 111118 
93.78/62.50	o 111107 
93.78/62.52	o 111085 
93.78/62.55	o 111084 
93.78/62.57	o 111051 
93.78/62.60	o 111050 
93.99/62.61	o 111030 
93.99/62.62	o 111020 
93.99/62.63	o 111019 
93.99/62.65	o 111009 
93.99/62.67	o 111007 
93.99/62.69	o 110985 
94.23/62.72	o 110984 
94.57/62.82	o 110977 
94.57/62.83	o 110955 
94.57/62.85	o 110921 
94.57/62.89	o 110920 
94.79/62.90	o 110900 
94.79/62.92	o 110890 
94.79/62.92	o 110888 
94.94/63.06	o 110877 
94.94/63.07	o 110855 
94.94/63.09	o 110819 
94.94/63.10	o 110818 
95.10/63.12	o 110798 
95.10/63.12	o 110788 
95.10/63.13	o 110763 
95.28/63.24	o 110753 
96.43/64.38	o 110709 
96.43/64.39	o 110708 
96.55/64.40	o 110688 
96.55/64.41	o 110678 
96.55/64.47	o 110637 
96.79/64.50	o 110537 
96.79/64.52	o 110518 
96.79/64.54	o 110508 
96.79/64.56	o 110507 
96.79/64.57	o 110417 
96.79/64.57	o 110416 
96.79/64.58	o 110396 
96.79/64.58	o 110386 
96.79/64.59	o 110378 
97.03/64.62	o 110297 
97.03/64.64	o 110296 
97.03/64.65	o 110276 
97.03/64.68	o 110266 
97.22/64.73	o 110264 
97.22/64.75	o 110241 
97.48/64.81	o 110240 
97.61/64.92	o 110197 
97.61/64.92	o 110196 
98.85/66.14	o 110176 
98.85/66.15	o 110166 
98.85/66.16	o 110164 
98.85/66.18	o 110141 
99.04/66.27	o 110121 
99.36/66.30	o 110120 
99.48/66.44	o 110100 
99.61/66.60	o 110090 
99.71/66.61	o 110089 
99.71/66.62	o 110079 
99.71/66.64	o 110077 
99.71/66.64	o 110055 
99.71/66.68	o 110054 
100.39/66.81	o 109999 
100.80/66.94	o 109996 
100.80/66.95	o 109995 
102.08/68.18	o 109975 
102.19/68.20	o 109974 
102.19/68.23	o 109963 
102.19/68.24	o 109940 
102.19/68.28	o 109886 
102.41/68.31	o 109885 
102.41/68.32	o 109865 
102.41/68.33	o 109855 
102.68/68.58	o 109853 
102.79/68.61	o 109830 
103.16/68.78	o 109807 
103.45/68.80	o 109806 
103.45/68.81	o 109786 
103.45/68.82	o 109776 
103.45/68.83	o 109758 
103.58/68.94	o 109741 
105.04/70.14	o 109731 
105.22/70.22	o 109688 
105.22/70.26	o 109687 
105.22/70.28	o 109667 
105.22/70.29	o 109657 
105.36/70.33	o 109576 
105.36/70.34	o 109575 
105.36/70.35	o 109555 
105.36/70.36	o 109545 
105.36/70.37	o 109485 
105.36/70.38	o 109385 
105.36/70.39	o 109366 
105.57/70.40	o 109356 
105.57/70.42	o 109355 
105.57/70.42	o 109265 
105.57/70.43	o 109264 
105.57/70.44	o 109244 
105.57/70.44	o 109234 
105.87/70.65	o 109232 
105.87/70.67	o 109209 
106.04/70.70	o 109165 
106.04/70.76	o 109164 
106.20/70.84	o 109144 
106.20/70.86	o 109134 
106.20/70.88	o 109132 
106.57/71.16	o 109109 
106.79/71.28	o 109077 
107.26/71.43	o 109075 
107.26/71.44	o 109053 
108.53/72.64	o 109052 
108.53/72.66	o 109019 
108.53/72.68	o 109018 
108.53/72.69	o 108998 
108.70/72.73	o 108988 
108.70/72.74	o 108987 
108.70/72.77	o 108977 
108.88/72.81	o 108975 
108.88/72.83	o 108953 
108.88/72.85	o 108952 
109.74/73.11	o 108945 
109.74/73.13	o 108923 
109.74/73.16	o 108889 
109.74/73.18	o 108888 
109.74/73.18	o 108868 
109.74/73.19	o 108858 
109.74/73.20	o 108856 
109.93/73.20	o 108845 
109.93/73.21	o 108823 
109.93/73.22	o 108787 
109.93/73.23	o 108786 
109.93/73.23	o 108766 
109.93/73.24	o 108756 
109.93/73.25	o 108754 
109.93/73.25	o 108743 
109.93/73.27	o 108721 
109.93/73.28	o 108707 
110.21/73.39	o 108677 
110.21/73.39	o 108676 
111.52/74.61	o 108656 
111.52/74.63	o 108646 
111.52/74.67	o 108645 
111.52/74.68	o 108585 
111.76/74.71	o 108485 
111.76/74.77	o 108466 
112.06/74.93	o 108456 
112.06/74.95	o 108455 
112.06/74.95	o 108365 
112.06/74.96	o 108364 
112.06/74.97	o 108344 
112.06/74.97	o 108334 
112.06/74.99	o 108255 
112.28/75.01	o 108254 
112.28/75.02	o 108234 
112.28/75.04	o 108224 
112.28/75.09	o 108222 
112.28/75.10	o 108199 
112.90/75.28	o 108155 
112.90/75.29	o 108154 
113.25/75.30	o 108134 
113.25/75.31	o 108124 
113.25/75.33	o 108122 
113.25/75.34	o 108099 
116.40/76.89	o 108045 
116.51/76.90	o 108044 
116.51/76.93	o 108024 
116.89/77.01	o 108023 
116.89/77.02	o 108012 
116.89/77.04	o 107999 
117.24/77.14	o 107992 
117.24/77.17	o 107982 
117.24/77.19	o 107923 
117.43/77.20	o 107922 
117.43/77.21	o 107902 
117.43/77.22	o 107901 
117.43/77.22	o 107890 
117.43/77.23	o 107880 
117.43/77.28	o 107879 
117.43/77.30	o 107869 
117.63/77.31	o 107823 
117.63/77.31	o 107822 
117.63/77.32	o 107802 
117.63/77.33	o 107801 
117.63/77.33	o 107790 
117.63/77.34	o 107780 
117.63/77.37	o 107779 
117.63/77.38	o 107769 
117.89/77.43	o 107713 
117.89/77.45	o 107712 
117.89/77.45	o 107692 
117.89/77.45	o 107691 
117.89/77.47	o 107680 
118.08/77.50	o 107670 
118.08/77.52	o 107669 
118.08/77.55	o 107659 
118.38/77.61	o 107603 
118.38/77.62	o 107602 
118.38/77.63	o 107582 
118.38/77.65	o 107581 
118.38/77.67	o 107570 
118.38/77.67	o 107561 
118.38/77.69	o 107559 
118.59/77.76	o 107547 
118.91/77.87	o 107509 
118.91/77.88	o 107508 
120.14/79.07	o 107488 
120.14/79.10	o 107487 
120.14/79.11	o 107476 
120.28/79.13	o 107466 
120.28/79.16	o 107399 
120.28/79.18	o 107398 
120.28/79.19	o 107378 
120.47/79.25	o 107377 
120.47/79.28	o 107366 
120.60/79.30	o 107356 
120.60/79.34	o 107299 
120.60/79.35	o 107298 
120.60/79.36	o 107278 
120.60/79.37	o 107277 
120.60/79.38	o 107266 
120.80/79.40	o 107256 
121.48/79.60	o 107253 
121.48/79.61	o 107252 
121.48/79.61	o 107232 
121.48/79.62	o 107231 
121.48/79.63	o 107220 
121.48/79.64	o 107210 
121.48/79.65	o 107202 
121.48/79.66	o 107200 
121.48/79.67	o 107143 
121.48/79.68	o 107142 
121.48/79.68	o 107122 
121.48/79.69	o 107121 
121.80/79.81	o 107110 
121.80/79.81	o 107100 
121.80/79.83	o 107092 
121.80/79.84	o 107090 
121.80/79.85	o 107033 
121.80/79.85	o 107032 
121.80/79.86	o 107012 
121.80/79.88	o 107011 
121.80/79.88	o 107000 
122.03/79.90	o 106990 
122.03/79.96	o 106980 
122.03/79.98	o 106923 
122.03/79.98	o 106922 
122.03/79.99	o 106902 
122.03/80.00	o 106901 
122.03/80.00	o 106890 
122.44/80.16	o 106880 
122.44/80.19	o 106829 
122.60/80.21	o 106828 
122.60/80.22	o 106808 
122.60/80.23	o 106807 
122.60/80.25	o 106796 
122.60/80.26	o 106786 
122.60/80.29	o 106719 
122.81/80.34	o 106718 
122.81/80.35	o 106698 
122.95/80.41	o 106697 
122.95/80.43	o 106686 
122.95/80.44	o 106676 
123.24/80.57	o 106668 
123.57/80.67	o 106666 
124.94/81.90	o 106609 
124.94/81.94	o 106608 
125.19/82.12	o 106588 
125.19/82.14	o 106587 
125.19/82.15	o 106576 
125.19/82.18	o 106566 
125.79/82.32	o 106530 
125.79/82.33	o 106529 
125.79/82.34	o 106509 
125.79/82.35	o 106508 
125.79/82.37	o 106497 
125.79/82.37	o 106487 
126.00/82.48	o 106479 
126.13/82.51	o 106420 
126.13/82.53	o 106419 
126.13/82.54	o 106399 
126.13/82.57	o 106398 
126.27/82.60	o 106387 
126.27/82.61	o 106377 
126.27/82.63	o 106367 
126.27/82.65	o 106309 
126.27/82.66	o 106308 
126.27/82.67	o 106288 
126.27/82.67	o 106278 
126.48/82.72	o 106277 
126.48/82.73	o 106218 
126.48/82.75	o 106199 
126.48/82.77	o 106189 
126.74/83.00	o 106188 
126.85/83.01	o 106098 
126.85/83.06	o 106097 
126.85/83.07	o 106077 
126.85/83.09	o 106076 
126.85/83.10	o 106065 
127.00/83.16	o 106055 
127.14/83.22	o 105998 
127.14/83.25	o 105997 
127.29/83.38	o 105977 
127.29/83.40	o 105976 
127.39/83.41	o 105965 
127.62/83.66	o 105955 
128.03/83.80	o 105945 
128.34/83.92	o 105888 
128.34/83.92	o 105887 
128.34/83.93	o 105867 
128.34/83.94	o 105866 
128.34/83.94	o 105855 
128.34/83.95	o 105845 
128.74/84.11	o 105831 
128.74/84.13	o 105830 
128.74/84.14	o 105819 
128.74/84.14	o 105809 
128.74/84.15	o 105808 
128.74/84.16	o 105798 
129.00/84.25	o 105789 
129.00/84.25	o 105779 
129.00/84.26	o 105722 
129.00/84.27	o 105721 
129.00/84.28	o 105701 
129.27/84.33	o 105700 
129.27/84.35	o 105689 
129.27/84.35	o 105679 
129.27/84.36	o 105677 
129.27/84.37	o 105620 
129.27/84.39	o 105619 
129.43/84.42	o 105599 
129.43/84.43	o 105598 
129.43/84.44	o 105587 
129.43/84.44	o 105577 
129.43/84.45	o 105520 
129.43/84.46	o 105519 
129.43/84.47	o 105499 
129.43/84.47	o 105498 
129.43/84.48	o 105487 
129.61/84.50	o 105477 
129.61/84.52	o 105467 
129.61/84.56	o 105410 
129.61/84.57	o 105409 
129.61/84.59	o 105389 
129.80/84.60	o 105388 
129.80/84.60	o 105377 
129.80/84.61	o 105367 
129.80/84.63	o 105359 
129.80/84.64	o 105357 
129.80/84.65	o 105300 
129.80/84.65	o 105299 
129.80/84.66	o 105279 
129.80/84.68	o 105278 
129.80/84.69	o 105267 
130.04/84.70	o 105257 
130.04/84.72	o 105247 
130.04/84.75	o 105198 
130.04/84.76	o 105197 
130.04/84.77	o 105177 
130.27/84.81	o 105176 
130.27/84.82	o 105165 
130.27/84.82	o 105155 
130.27/84.85	o 105088 
130.27/84.87	o 105087 
130.45/84.91	o 105067 
130.45/84.95	o 105066 
130.58/85.02	o 105055 
130.58/85.06	o 105045 
130.58/85.09	o 104988 
130.75/85.12	o 104987 
130.75/85.13	o 104967 
130.75/85.16	o 104966 
130.75/85.18	o 104955 
130.88/85.20	o 104945 
131.94/85.73	o 104935 
133.89/86.96	o 104878 
134.30/87.37	o 104877 
134.30/87.39	o 104857 
134.73/87.78	o 104856 
134.84/87.81	o 104845 
135.18/88.18	o 104835 
136.61/88.60	o 104768 
136.92/88.93	o 104767 
136.92/88.94	o 104747 
137.25/89.26	o 104746 
137.25/89.28	o 104735 
137.59/89.60	o 104701 
139.77/90.94	o 104698 
140.14/91.24	o 104690 
140.46/91.53	o 104688 
140.46/91.55	o 104631 
140.79/91.84	o 104630 
140.79/91.86	o 104610 
141.12/92.12	o 104609 
141.12/92.14	o 104598 
141.35/92.38	o 104588 
142.04/92.65	o 104539 
142.26/92.84	o 104439 
142.26/92.86	o 104420 
142.51/93.04	o 104410 
142.51/93.06	o 104409 
142.72/93.23	o 104319 
142.72/93.25	o 104318 
142.96/93.40	o 104298 
142.96/93.41	o 104297 
143.07/93.55	o 104286 
143.07/93.57	o 104276 
143.33/93.71	o 104209 
143.44/93.82	o 104208 
143.55/93.93	o 104188 
143.55/93.94	o 104187 
143.67/94.04	o 104176 
143.67/94.05	o 104166 
143.90/94.16	o 104156 
144.10/94.25	o 104147 
144.33/94.37	o 104099 
144.59/94.46	o 104098 
145.92/95.67	o 104078 
146.03/95.71	o 104077 
146.03/95.73	o 104066 
146.03/95.76	o 104056 
146.85/96.09	o 104048 
147.27/96.35	o 104046 
147.51/96.59	o 103989 
147.83/96.81	o 103988 
147.83/96.82	o 103968 
148.05/97.03	o 103967 
148.05/97.05	o 103956 
148.28/97.25	o 103946 
148.68/97.45	o 103942 
149.15/97.67	o 103941 
150.31/98.03	o 103935 
150.63/98.18	o 103932 
151.02/98.33	o 103865 
151.12/98.46	o 103864 
151.12/98.47	o 103844 
151.24/98.59	o 103843 
151.35/98.60	o 103832 
151.48/98.72	o 103831 
154.09/100.16	o 103765 
154.20/100.21	o 103764 
154.20/100.23	o 103744 
154.20/100.27	o 103743 
154.20/100.29	o 103732 
154.39/100.34	o 103731 
155.47/100.62	o 103721 
155.47/100.64	o 103720 
155.47/100.64	o 103711 
156.05/101.15	o 103710 
157.27/101.67	o 103700 
159.52/102.90	o 103674 
159.93/103.34	o 103673 
159.93/103.37	o 103653 
160.48/103.80	o 103652 
160.48/103.82	o 103641 
161.05/104.25	o 103640 
161.50/104.65	o 103631 
161.93/105.02	o 103621 
161.93/105.04	o 103620 
162.36/105.42	o 103611 
162.68/105.77	o 103610 
163.62/106.15	o 103600 
164.34/106.52	o 102600 
170.79/108.23	o 102578 
171.01/108.45	o 102577 
171.01/108.47	o 102557 
171.23/108.67	o 102556 
171.23/108.70	o 102545 
171.45/108.87	o 102536 
171.45/108.90	o 102524 
171.79/109.08	o 102523 
179.16/111.21	o 102522 
179.62/111.69	o 102514 
180.15/112.14	o 102513 
180.76/112.60	o 102512 
181.23/113.02	o 102504 
181.23/113.04	o 102503 
181.67/113.43	o 102502 
182.58/113.85	o 102487 
183.02/114.22	o 102486 
183.02/114.25	o 102466 
183.74/114.62	o 102465 
184.24/114.98	o 102456 
184.69/115.34	o 102455 
185.13/115.71	o 102446 
185.46/116.02	o 102445 
185.46/116.05	o 102436 
185.78/116.34	o 102435 
186.53/116.66	o 102433 
187.51/117.00	o 102432 
189.27/118.10	o 102423 
189.64/118.33	o 102422 
189.89/118.53	o 102414 
190.02/118.69	o 102413 
190.36/118.87	o 102412 
190.50/118.99	o 102404 
190.62/119.10	o 102403 
190.75/119.11	o 102402 
197.25/121.39	o 102387 
197.37/121.40	o 102386 
197.79/121.86	o 102366 
197.79/121.88	o 102365 
198.34/122.33	o 102356 
198.34/122.34	o 102346 
198.34/122.37	o 102345 
198.89/122.80	o 102336 
198.89/122.84	o 102335 
199.93/123.28	o 102277 
202.36/124.49	o 102266 
202.48/124.51	o 102265 
202.92/124.90	o 102256 
203.27/125.27	o 102246 
203.27/125.28	o 102245 
203.70/125.64	o 102236 
204.01/125.99	o 102235 
204.86/126.36	o 102221 
205.27/126.70	o 102220 
205.27/126.72	o 102209 
205.61/127.04	o 102200 
206.02/127.38	o 102199 
206.39/127.66	o 102198 
206.73/127.93	o 102197 
207.02/128.17	o 102189 
207.22/128.37	o 102188 
207.22/128.40	o 102187 
207.44/128.57	o 102178 
207.44/128.60	o 102177 
207.90/128.78	o 102092 
208.35/128.99	o 102089 
208.63/129.11	o 101092 
212.16/130.31	o 101081 
212.16/130.37	o 101071 
212.36/130.41	o 101061 
212.36/130.49	o 101051 
213.03/130.66	o 101003 
213.03/130.68	o 100983 
213.20/130.70	o 100982 
213.20/130.76	o 100971 
213.20/130.77	o 100961 
213.20/130.78	o 100951 
213.41/130.85	o 100941 
213.74/130.91	o 100931 
214.12/131.03	o 100893 
214.12/131.05	o 100873 
214.12/131.08	o 100863 
214.44/131.16	o 100861 
214.44/131.17	o 100852 
214.44/131.19	o 100840 
214.71/131.26	o 100830 
216.59/131.73	o 100828 
216.59/131.78	o 100816 
217.57/132.05	o 100092 
223.39/133.53	o 100069 
227.40/134.76	o 100064 
227.52/134.82	o 100063 
228.95/135.20	o 100051 
232.21/136.48	o 100048 
232.35/136.54	o 100038 
232.35/136.58	o 100029 
232.59/136.65	o 100028 
232.86/136.70	o 99980 
232.86/136.72	o 99960 
233.00/136.85	o 99959 
233.13/136.97	o 99948 
233.13/136.98	o 99938 
233.13/136.99	o 99928 
233.57/137.11	o 99918 
233.76/137.22	o 99908 
234.03/137.38	o 99849 
234.22/137.49	o 99838 
234.39/137.55	o 99829 
235.57/138.69	o 99817 
235.68/138.78	o 99807 
237.57/139.27	o 99806 
237.81/139.33	o 99794 
238.50/139.59	o 99793 
239.29/139.79	o 99746 
239.66/139.92	o 99726 
241.07/141.08	o 99725 
241.41/141.24	o 99714 
241.41/141.25	o 99705 
241.56/141.36	o 99693 
243.30/141.82	o 99692 
245.15/142.30	o 99678 
247.10/143.60	o 99673 
247.10/143.65	o 99672 
247.34/143.72	o 99655 
247.34/143.76	o 99635 
247.92/143.93	o 99634 
248.21/144.01	o 99625 
248.21/144.05	o 99624 
248.21/144.10	o 99615 
248.48/144.12	o 99614 
248.60/144.26	o 99605 
248.71/144.37	o 99604 
249.11/144.57	o 99587 
251.47/145.88	o 99583 
251.58/145.93	o 99582 
251.58/145.99	o 99581 
251.85/146.03	o 99573 
251.85/146.06	o 99572 
251.85/146.07	o 99571 
256.18/147.20	o 98687 
262.94/148.92	o 98680 
267.31/150.27	o 38761 
267.53/150.35	o 37962 
267.53/150.39	o 37863 
267.79/150.43	o 37771 
267.79/150.45	o 37770 
272.06/151.57	o 37680 
272.06/151.60	o 36780 
272.60/151.78	o 36779 
277.63/153.02	o 36777 
277.63/153.06	o 36687 
277.63/153.10	o 35777 
278.65/153.32	o 35776 
281.82/154.16	o 35078 
281.93/154.27	o 35077 
282.12/154.31	o 33977 
282.40/154.43	o 33968 
282.69/154.60	o 33887 
282.81/154.62	o 33867 
283.07/154.85	o 33866 
283.07/154.89	o 33865 
286.49/155.73	o 32984 
290.04/156.69	o 32093 
292.63/157.36	o 31126 
292.97/157.40	o 31025 
294.87/158.73	o 30628 
295.25/158.97	o 30618 
303.82/161.19	o 30529 
317.76/164.77	o 30429 
317.94/164.89	o 29533 
318.09/165.00	o 29439 
318.40/165.18	o 29438 
318.91/165.39	o 29348 
319.17/165.57	o 29329 
319.38/165.69	o 29328 
321.35/166.13	o 29239 
327.62/167.79	o 29149 
327.98/167.83	o 29139 
328.77/168.06	o 28929 
328.77/168.08	o 28928 
328.77/168.10	o 28828 
329.81/168.32	o 28729 
335.60/169.85	o 28719 
336.27/170.04	o 28718 
336.63/170.16	o 28711 
348.19/173.04	o 28702 
372.78/179.29	o 28503 
401.89/187.03	o 27876 
402.58/187.28	o 27776 
404.98/187.97	o 27775 
405.19/188.06	o 26799 
416.21/190.85	o 26699 
419.47/191.72	o 26689 
466.70/203.61	o 25690 
477.79/206.48	o 25590 
478.06/206.51	o 25582 
480.03/207.07	o 25572 
487.00/208.81	o 25482 
543.12/222.97	o 25472 
639.83/247.22	o 25372 
693.10/260.64	o 25371 
700.12/262.48	o 24799 
701.46/262.84	o 24688 
702.16/263.03	o 24590 
702.16/263.05	o 24589 
705.36/263.91	o 24588 
705.75/264.05	o 24512 
705.75/264.08	o 24511 
705.75/264.10	o 24502 
706.23/264.20	o 24402 
716.98/266.97	o 24312 
721.77/268.14	o 22703 
782.09/283.33	o 22702 
783.59/283.75	o 22701 
787.90/284.89	o 22694 
788.28/284.90	o 22692 
799.39/287.72	o 22691 
959.37/328.00	o 22508 
959.58/328.03	o 22409 
959.58/328.05	o 22350 
959.83/328.19	o 22341 
960.27/328.36	o 22241 
962.24/328.90	o 22210 
964.91/329.65	o 22209 
972.30/331.51	o 22208 
972.85/331.73	o 22201 
993.87/337.04	o 22191 
1021.03/344.57	o 22069 
1023.79/345.41	o 21169 
1031.29/347.31	o 21165 
1031.29/347.37	o 21065 
1062.97/355.33	o 20982 
1066.52/356.26	o 20893 
1075.51/358.57	o 20850 
1082.25/360.34	o 20481 
1277.99/410.06	o 20432 
1303.27/416.42	o 20431 
1356.60/429.85	o 20430 
1542.88/476.70	o 18230 
1547.89/477.95	o 18229 
1557.72/480.40	o 18224 
1557.72/480.43	o 18223 
1560.84/481.26	o 18222 
1561.57/481.45	o 18221 
1565.77/482.52	o 17434 
1565.77/482.55	o 17425 
1579.63/486.05	o 17423 
1579.63/486.07	o 17333 
1579.95/486.18	o 17332 
1590.25/488.80	o 17310 
1643.18/502.19	o 17211 
1661.32/506.88	o 17201 
1661.75/507.01	o 17200 
1856.41/555.90	o 16293 
1878.25/561.43	o 13293 
2207.18/644.18	o 12293 
2400.04/692.67	s SATISFIABLE
2400.04/692.67	v <instantiation>
2400.04/692.67	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] za1[0] za1[1] za1[2] za1[3] za1[4] za1[5] za1[6] za1[7] za1[8] za1[9] za1[10] za1[11] za1[12] za1[13] za1[14] za1[15] za1[16] za1[17] za1[18] za1[19] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za2[0] za2[1] za2[2] za2[3] za2[4] za2[5] za2[6] za2[7] za2[8] za2[9] za2[10] za2[11] za2[12] za2[13] za2[14] za2[15] za2[16] za2[17] za2[18] za2[19] za2[20] za2[21] za2[22] za2[23] za2[24] za2[25] za2[26] za2[27] za2[28] za2[29] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za3[0] za3[1] za3[2] za3[3] za3[4] za3[5] za3[6] za3[7] za3[8] za3[9] za3[10] za3[11] za3[12] za3[13] za3[14] za3[15] za3[16] za3[17] za3[18] za3[19] za3[20] za3[21] za3[22] za3[23] za3[24] za3[25] za3[26] za3[27] za3[28] za3[29] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[270] za3[271] za3[272] za3[273] za4[0] za4[1] za4[2] za4[3] za4[4] za4[5] za4[6] za4[7] za4[8] za4[9] za4[10] za4[11] za4[12] za4[13] za4[14] za4[15] za4[16] za4[17] za4[18] za4[19] za4[20] za4[21] za4[22] za4[23] za4[24] za4[25] za4[26] za4[27] za4[28] za4[29] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] </list>
2400.04/692.67	v 	<values>736 498 694 456 254 16 142 380 380 142 58 296 778 540 722 484 16 254 778 540 540 778 142 380 554 792 722 484 484 722 58 296 394 156 792 554 652 414 554 792 30 268 72 310 652 414 338 100 366 128 694 456 268 30 310 72 58 296 722 484 30 268 652 414 484 722 540 778 764 526 296 58 142 380 792 554 268 30 750 512 694 456 16 254 254 16 792 554 100 338 736 498 778 540 296 58 170 408 268 30 44 282 540 778 30 268 554 792 680 442 380 142 254 16 750 512 456 694 792 554 240 478 170 408 352 114 764 526 666 428 16 254 268 30 240 478 792 554 16 254 792 554 16 254 30 268 16 254 750 512 778 540 254 16 792 554 792 554 30 268 128 366 310 72 778 540 30 268 778 540 282 44 254 16 736 498 554 792 554 792 16 254 652 414 540 778 442 680 254 16 16 254 240 478 666 428 16 254 16 254 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 100 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 100 0 0 100 0 0 0 100 0 100 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 100 100 0 0 0 100 0 0 0 0 0 0 100 0 0 0 100 0 0 0 100 0 100 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 100 0 0 100 0 0 0 100 0 0 100 100 0 100 100 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 100 100 0 100 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 100 0 100 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 10 10 10 10 0 10 10 0 0 0 0 10 10 0 0 0 0 0 10 0 10 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 10 0 0 10 10 0 0 0 0 0 0 0 10 0 10 0 10 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 10 0 10 10 10 0 0 10 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 10 10 0 0 10 10 0 0 0 10 0 0 0 0 0 0 10 0 0 0 10 10 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 10 0 10 0 0 0 0 0 0 0 0 10 10 10 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 1 0 1 1 0 0 0 1 1 1 0 0 0 0 0 1 1 0 1 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 1 0 0 1 1 0 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 1 1 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 </values>
2400.04/692.67	v </instantiation>
2400.04/692.67	c Unexpected resolution interruption!

Verifier Data 

OK	12293

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (7367 MiB free)
  memory of node 1: 16384 MiB (4238 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404151-1568992564/watcher-4404151-1568992564 -o /var/tmp/evaluation-result-4404151-1568992564/solver-4404151-1568992564 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node117-1568989944-5358 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 388761229 HOME/instance-4404151-1568992564.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=9191, runsolver pid=9188
Current StackSize limit: 8192 KiB


[startup+0.103206 s]*
/proc/loadavg: 8.54 8.29 7.83 6/233 9207
/proc/meminfo: memFree=11869124/32770624 swapFree=66972280/67108860
[pid=9191] ppid=9188 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9191/stat : 9191 (xcsp3-exec) S 9188 9191 5327 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475198251 115843072 364 33554432000 4194304 5098028 140722179360048 140722179358152 139735987544700 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32714752 140722179367767 140722179368025 140722179368025 140722179370950 0
/proc/9191/statm: 28282 364 305 221 0 87 0
[pid=9193] ppid=9191 vsize=15144776 memory=29056 CPUtime=0.13 cores=0,2,4,6
/proc/9193/stat : 9193 (java) S 9191 9191 5327 0 -1 1077944320 5685 0 0 0 12 1 0 0 20 0 15 0 475198251 15508250624 7264 33554432000 4194304 4196468 140730606465552 140730606448096 140173313470199 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
/proc/9193/statm: 3786194 7264 3184 1 0 3748377 0
[pid=9193/tid=9194] ppid=9191 vsize=15144776 memory=7100839852958450802 CPUtime=0.09 cores=0,2,4,6
/proc/9193/task/9194/stat : 9194 (java) R 9191 9191 5327 0 -1 4202560 3555 0 0 0 9 0 0 0 20 0 15 0 475198251 15508250624 7329 33554432000 4194304 4196468 140730606465552 140173317699792 140173305707326 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9195] ppid=9191 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9195/stat : 9195 (java) S 9191 9191 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475198252 15508250624 7329 33554432000 4194304 4196468 140730606465552 140173241510928 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9196] ppid=9191 vsize=15144776 memory=140131521853056 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9196/stat : 9196 (java) S 9191 9191 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475198252 15508250624 7329 33554432000 4194304 4196468 140730606465552 140173240458384 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9197] ppid=9191 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9197/stat : 9197 (java) S 9191 9191 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475198252 15508250624 7329 33554432000 4194304 4196468 140730606465552 140173239405328 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9198] ppid=9191 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9198/stat : 9198 (java) S 9191 9191 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475198252 15508250624 7329 33554432000 4194304 4196468 140730606465552 140173238352784 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9199] ppid=9191 vsize=15144776 memory=140131521853056 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9199/stat : 9199 (java) S 9191 9191 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475198253 15508250624 7329 33554432000 4194304 4196468 140730606465552 140172782094576 140173313481346 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9200] ppid=9191 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9200/stat : 9200 (java) S 9191 9191 5327 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475198254 15508250624 7329 33554432000 4194304 4196468 140730606465552 140172781040800 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9201] ppid=9191 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9201/stat : 9201 (java) S 9191 9191 5327 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475198254 15508250624 7329 33554432000 4194304 4196468 140730606465552 140172779987696 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9202] ppid=9191 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9202/stat : 9202 (java) S 9191 9191 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475198256 15508250624 7329 33554432000 4194304 4196468 140730606465552 140172778936272 140173313488795 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9203] ppid=9191 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9203/stat : 9203 (java) R 9191 9191 5327 0 -1 4202560 439 0 0 0 0 0 0 0 20 0 15 0 475198256 15508250624 7329 33554432000 4194304 4196468 140730606465552 140172777884400 140173294170496 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9204] ppid=9191 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9204/stat : 9204 (java) R 9191 9191 5327 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 475198256 15508250624 7329 33554432000 4194304 4196468 140730606465552 140172776831856 140173313481346 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9205] ppid=9191 vsize=15144776 memory=140131521853056 CPUtime=0.02 cores=0,2,4,6
/proc/9193/task/9205/stat : 9205 (java) R 9191 9191 5327 0 -1 4202560 340 0 0 0 2 0 0 0 20 0 15 0 475198256 15508250624 7329 33554432000 4194304 4196468 140730606465552 140172775778800 140173305707326 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9206] ppid=9191 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9206/stat : 9206 (java) S 9191 9191 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475198257 15508250624 7329 33554432000 4194304 4196468 140730606465552 140172774726496 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9207] ppid=9191 vsize=15144776 memory=140131521853056 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9207/stat : 9207 (java) R 9191 9191 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475198257 15508250624 7329 33554432000 4194304 4196468 140730606465552 140172773673520 140173313481346 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30512 KiB

[startup+0.210897 s]*
/proc/loadavg: 8.54 8.29 7.83 7/233 9207
/proc/meminfo: memFree=11855776/32770624 swapFree=66972280/67108860
[pid=9191] ppid=9188 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9191/stat : 9191 (xcsp3-exec) S 9188 9191 5327 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475198251 115843072 364 33554432000 4194304 5098028 140722179360048 140722179358152 139735987544700 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32714752 140722179367767 140722179368025 140722179368025 140722179370950 0
/proc/9191/statm: 28282 364 305 221 0 87 0
[pid=9193] ppid=9191 vsize=15144776 memory=40804 CPUtime=0.34 cores=0,2,4,6
/proc/9193/stat : 9193 (java) S 9191 9191 5327 0 -1 1077944320 9462 0 0 0 31 3 0 0 20 0 15 0 475198251 15508250624 10201 33554432000 4194304 4196468 140730606465552 140730606448096 140173313470199 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
/proc/9193/statm: 3786194 10201 3272 1 0 3748377 0
[pid=9193/tid=9194] ppid=9191 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/9193/task/9194/stat : 9194 (java) R 9191 9191 5327 0 -1 4202560 6582 0 0 0 18 2 0 0 20 0 15 0 475198251 15508250624 10201 33554432000 4194304 4196468 140730606465552 140173317708016 140173313491546 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9195] ppid=9191 vsize=15144776 memory=13657 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9195/stat : 9195 (java) S 9191 9191 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475198252 15508250624 10201 33554432000 4194304 4196468 140730606465552 140173241510928 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9196] ppid=9191 vsize=15144776 memory=140131525393211 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9196/stat : 9196 (java) S 9191 9191 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475198252 15508250624 10201 33554432000 4194304 4196468 140730606465552 140173240458384 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9197] ppid=9191 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9197/stat : 9197 (java) S 9191 9191 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475198252 15508250624 10201 33554432000 4194304 4196468 140730606465552 140173239405328 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9198] ppid=9191 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9198/stat : 9198 (java) S 9191 9191 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475198252 15508250624 10201 33554432000 4194304 4196468 140730606465552 140173238352784 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9199] ppid=9191 vsize=15144776 memory=140131521853056 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9199/stat : 9199 (java) S 9191 9191 5327 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475198253 15508250624 10201 33554432000 4194304 4196468 140730606465552 140172782094576 140173313481346 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9200] ppid=9191 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9200/stat : 9200 (java) S 9191 9191 5327 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475198254 15508250624 10201 33554432000 4194304 4196468 140730606465552 140172781040800 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9201] ppid=9191 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9201/stat : 9201 (java) S 9191 9191 5327 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475198254 15508250624 10201 33554432000 4194304 4196468 140730606465552 140172779987696 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9202] ppid=9191 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9202/stat : 9202 (java) S 9191 9191 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475198256 15508250624 10201 33554432000 4194304 4196468 140730606465552 140172778936272 140173313488795 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9203] ppid=9191 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9193/task/9203/stat : 9203 (java) S 9191 9191 5327 0 -1 1077944384 506 0 0 0 2 0 0 0 20 0 15 0 475198256 15508250624 10201 33554432000 4194304 4196468 140730606465552 140172777884400 140173313481346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9204] ppid=9191 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/9193/task/9204/stat : 9204 (java) S 9191 9191 5327 0 -1 1077944384 322 0 0 0 2 0 0 0 20 0 15 0 475198256 15508250624 10201 33554432000 4194304 4196468 140730606465552 140172776831856 140173313481346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9205] ppid=9191 vsize=15144776 memory=140131521853056 CPUtime=0.08 cores=0,2,4,6
/proc/9193/task/9205/stat : 9205 (java) R 9191 9191 5327 0 -1 4202560 749 0 0 0 8 0 0 0 20 0 15 0 475198256 15508250624 10201 33554432000 4194304 4196468 140730606465552 140172775778800 140173313491546 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9206] ppid=9191 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9206/stat : 9206 (java) S 9191 9191 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475198257 15508250624 10201 33554432000 4194304 4196468 140730606465552 140172774726496 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9207] ppid=9191 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9207/stat : 9207 (java) S 9191 9191 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475198257 15508250624 10201 33554432000 4194304 4196468 140730606465552 140172773673520 140173313481346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42260 KiB

[startup+0.311868 s]*
/proc/loadavg: 8.54 8.29 7.83 6/233 9207
/proc/meminfo: memFree=11848268/32770624 swapFree=66972280/67108860
[pid=9191] ppid=9188 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9191/stat : 9191 (xcsp3-exec) S 9188 9191 5327 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475198251 115843072 364 33554432000 4194304 5098028 140722179360048 140722179358152 139735987544700 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32714752 140722179367767 140722179368025 140722179368025 140722179370950 0
/proc/9191/statm: 28282 364 305 221 0 87 0
[pid=9193] ppid=9191 vsize=15149032 memory=49484 CPUtime=0.52 cores=0,2,4,6
/proc/9193/stat : 9193 (java) S 9191 9191 5327 0 -1 1077944320 10706 0 0 0 48 4 0 0 20 0 15 0 475198251 15512608768 12371 33554432000 4194304 4196468 140730606465552 140730606448096 140173313470199 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
/proc/9193/statm: 3787258 12371 3353 1 0 3748377 0
[pid=9193/tid=9194] ppid=9191 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/9193/task/9194/stat : 9194 (java) R 9191 9191 5327 0 -1 4202560 7735 0 0 0 27 3 0 0 20 0 15 0 475198251 15512608768 12371 33554432000 4194304 4196468 140730606465552 140173317701312 140173297550686 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9195] ppid=9191 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9195/stat : 9195 (java) S 9191 9191 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475198252 15512608768 12371 33554432000 4194304 4196468 140730606465552 140173241510928 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9196] ppid=9191 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9196/stat : 9196 (java) S 9191 9191 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475198252 15512608768 12371 33554432000 4194304 4196468 140730606465552 140173240458384 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9197] ppid=9191 vsize=15149032 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9197/stat : 9197 (java) S 9191 9191 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475198252 15512608768 12371 33554432000 4194304 4196468 140730606465552 140173239405328 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9198] ppid=9191 vsize=15149032 memory=8562125494162282060 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9198/stat : 9198 (java) S 9191 9191 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475198252 15512608768 12371 33554432000 4194304 4196468 140730606465552 140173238352784 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9199] ppid=9191 vsize=15149032 memory=7223591943076881810 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9199/stat : 9199 (java) S 9191 9191 5327 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475198253 15512608768 12371 33554432000 4194304 4196468 140730606465552 140172782094576 140173313481346 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9200] ppid=9191 vsize=15149032 memory=6944938067432061290 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9200/stat : 9200 (java) S 9191 9191 5327 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475198254 15512608768 12371 33554432000 4194304 4196468 140730606465552 140172781040800 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9201] ppid=9191 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9201/stat : 9201 (java) S 9191 9191 5327 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475198254 15512608768 12371 33554432000 4194304 4196468 140730606465552 140172779987696 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9202] ppid=9191 vsize=15149032 memory=7100839852926015589 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9202/stat : 9202 (java) S 9191 9191 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475198256 15512608768 12371 33554432000 4194304 4196468 140730606465552 140172778936272 140173313488795 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9203] ppid=9191 vsize=15149032 memory=-8412656567168561567 CPUtime=0.04 cores=0,2,4,6
/proc/9193/task/9203/stat : 9203 (java) S 9191 9191 5327 0 -1 1077944384 520 0 0 0 4 0 0 0 20 0 15 0 475198256 15512608768 12371 33554432000 4194304 4196468 140730606465552 140172777884400 140173313481346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9204] ppid=9191 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/9193/task/9204/stat : 9204 (java) S 9191 9191 5327 0 -1 1077944384 333 0 0 0 3 0 0 0 20 0 15 0 475198256 15512608768 12371 33554432000 4194304 4196468 140730606465552 140172776831856 140173313481346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9205] ppid=9191 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/9193/task/9205/stat : 9205 (java) S 9191 9191 5327 0 -1 1077944384 822 0 0 0 12 0 0 0 20 0 15 0 475198256 15512608768 12371 33554432000 4194304 4196468 140730606465552 140172775778800 140173313481346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9206] ppid=9191 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9206/stat : 9206 (java) S 9191 9191 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475198257 15512608768 12371 33554432000 4194304 4196468 140730606465552 140172774726496 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9207] ppid=9191 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9207/stat : 9207 (java) S 9191 9191 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475198257 15512608768 12371 33554432000 4194304 4196468 140730606465552 140172773673520 140173313481346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50940 KiB

[startup+0.701291 s]
/proc/loadavg: 8.54 8.29 7.83 9/233 9207
/proc/meminfo: memFree=11829408/32770624 swapFree=66972280/67108860
[pid=9191] ppid=9188 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9191/stat : 9191 (xcsp3-exec) S 9188 9191 5327 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475198251 115843072 364 33554432000 4194304 5098028 140722179360048 140722179358152 139735987544700 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32714752 140722179367767 140722179368025 140722179368025 140722179370950 0
/proc/9191/statm: 28282 364 305 221 0 87 0
[pid=9193] ppid=9191 vsize=15151156 memory=89248 CPUtime=1.7 cores=0,2,4,6
/proc/9193/stat : 9193 (java) S 9191 9191 5327 0 -1 1077944320 15008 0 0 0 164 6 0 0 20 0 15 0 475198251 15514783744 22312 33554432000 4194304 4196468 140730606465552 140730606448096 140173313470199 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
/proc/9193/statm: 3787789 22312 3451 1 0 3748889 0
[pid=9193/tid=9194] ppid=9191 vsize=15151156 memory=1794759460097 CPUtime=0.67 cores=0,2,4,6
/proc/9193/task/9194/stat : 9194 (java) R 9191 9191 5327 0 -1 4202560 9136 0 0 0 63 4 0 0 20 0 15 0 475198251 15514783744 22312 33554432000 4194304 4196468 140730606465552 140173317689472 140172918336640 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9195] ppid=9191 vsize=15151156 memory=33 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9195/stat : 9195 (java) S 9191 9191 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475198252 15514783744 22312 33554432000 4194304 4196468 140730606465552 140173241510928 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9196] ppid=9191 vsize=15151156 memory=-7604262568725289114 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9196/stat : 9196 (java) S 9191 9191 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475198252 15514783744 22312 33554432000 4194304 4196468 140730606465552 140173240458384 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9197] ppid=9191 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9197/stat : 9197 (java) S 9191 9191 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475198252 15514783744 22312 33554432000 4194304 4196468 140730606465552 140173239405328 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9198] ppid=9191 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9198/stat : 9198 (java) S 9191 9191 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475198252 15514783744 22312 33554432000 4194304 4196468 140730606465552 140173238352784 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9199] ppid=9191 vsize=15151156 memory=43132 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9199/stat : 9199 (java) S 9191 9191 5327 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475198253 15514783744 22312 33554432000 4194304 4196468 140730606465552 140172782094576 140173313481346 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9200] ppid=9191 vsize=15151156 memory=992 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9200/stat : 9200 (java) S 9191 9191 5327 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475198254 15514783744 22312 33554432000 4194304 4196468 140730606465552 140172781040800 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9201] ppid=9191 vsize=15151156 memory=2044 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9201/stat : 9201 (java) S 9191 9191 5327 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475198254 15514783744 22312 33554432000 4194304 4196468 140730606465552 140172779987696 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9202] ppid=9191 vsize=15151156 memory=1432 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9202/stat : 9202 (java) S 9191 9191 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475198256 15514783744 22312 33554432000 4194304 4196468 140730606465552 140172778936272 140173313488795 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9203] ppid=9191 vsize=15151156 memory=11624 CPUtime=0.31 cores=0,2,4,6
/proc/9193/task/9203/stat : 9203 (java) R 9191 9191 5327 0 -1 4202560 1453 0 0 0 31 0 0 0 20 0 15 0 475198256 15514783744 22312 33554432000 4194304 4196468 140730606465552 140172777884400 140173297877357 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9204] ppid=9191 vsize=15151156 memory=740 CPUtime=0.27 cores=0,2,4,6
/proc/9193/task/9204/stat : 9204 (java) R 9191 9191 5327 0 -1 4202560 1101 0 0 0 27 0 0 0 20 0 15 0 475198256 15514783744 22312 33554432000 4194304 4196468 140730606465552 140172776818400 140173292716875 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9205] ppid=9191 vsize=15151156 memory=1056 CPUtime=0.41 cores=0,2,4,6
/proc/9193/task/9205/stat : 9205 (java) S 9191 9191 5327 0 -1 1077944384 2009 0 0 0 41 0 0 0 20 0 15 0 475198256 15514783744 22312 33554432000 4194304 4196468 140730606465552 140172775778800 140173313481346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9206] ppid=9191 vsize=15151156 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9206/stat : 9206 (java) S 9191 9191 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475198257 15514783744 22312 33554432000 4194304 4196468 140730606465552 140172774726496 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9207] ppid=9191 vsize=15151156 memory=1040 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9207/stat : 9207 (java) S 9191 9191 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475198257 15514783744 22312 33554432000 4194304 4196468 140730606465552 140172773673520 140173313481346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 90704 KiB

[startup+1.50088 s]
/proc/loadavg: 8.54 8.29 7.83 8/233 9207
/proc/meminfo: memFree=11775832/32770624 swapFree=66972280/67108860
[pid=9191] ppid=9188 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9191/stat : 9191 (xcsp3-exec) S 9188 9191 5327 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475198251 115843072 364 33554432000 4194304 5098028 140722179360048 140722179358152 139735987544700 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32714752 140722179367767 140722179368025 140722179368025 140722179370950 0
/proc/9191/statm: 28282 364 305 221 0 87 0

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

/proc/9193/stat : 9193 (java) S 9191 9191 5327 0 -1 1077944320 318805 0 0 0 195947 190 0 0 20 0 19 0 475198251 15994011648 519926 33554432000 4194304 4196468 140730606465552 140730606448096 140173313470199 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
/proc/9193/statm: 3904788 519926 3556 1 0 3865888 0
[pid=9193/tid=9194] ppid=9191 vsize=15619152 memory=2079636 CPUtime=5.45 cores=0,2,4,6
/proc/9193/task/9194/stat : 9194 (java) S 9191 9191 5327 0 -1 1077944384 26341 0 0 0 528 17 0 0 20 0 19 0 475198251 15994011648 519926 33554432000 4194304 4196468 140730606465552 140173317710912 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9195] ppid=9191 vsize=15619152 memory=2079636 CPUtime=0.78 cores=0,2,4,6
/proc/9193/task/9195/stat : 9195 (java) S 9191 9191 5327 0 -1 1077944384 2794 0 0 0 64 14 0 0 20 0 19 0 475198252 15994011648 519926 33554432000 4194304 4196468 140730606465552 140173241510928 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9196] ppid=9191 vsize=15619152 memory=2079648 CPUtime=0.78 cores=0,2,4,6
/proc/9193/task/9196/stat : 9196 (java) S 9191 9191 5327 0 -1 1077944384 5839 0 0 0 64 14 0 0 20 0 19 0 475198252 15994011648 519926 33554432000 4194304 4196468 140730606465552 140173240458384 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9197] ppid=9191 vsize=15619152 memory=2079648 CPUtime=0.79 cores=0,2,4,6
/proc/9193/task/9197/stat : 9197 (java) S 9191 9191 5327 0 -1 1077944384 3837 0 0 0 65 14 0 0 20 0 19 0 475198252 15994011648 519926 33554432000 4194304 4196468 140730606465552 140173239405328 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9198] ppid=9191 vsize=15619152 memory=2079568 CPUtime=0.78 cores=0,2,4,6
/proc/9193/task/9198/stat : 9198 (java) S 9191 9191 5327 0 -1 1077944384 3731 0 0 0 64 14 0 0 20 0 19 0 475198252 15994011648 519926 33554432000 4194304 4196468 140730606465552 140173238352784 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9199] ppid=9191 vsize=15619152 memory=2079704 CPUtime=0.09 cores=0,2,4,6
/proc/9193/task/9199/stat : 9199 (java) S 9191 9191 5327 0 -1 1077944384 8096 0 0 0 7 2 0 0 20 0 19 0 475198253 15994011648 519926 33554432000 4194304 4196468 140730606465552 140172782094576 140173313481346 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9200] ppid=9191 vsize=15619152 memory=2079704 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9200/stat : 9200 (java) S 9191 9191 5327 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 475198254 15994011648 519926 33554432000 4194304 4196468 140730606465552 140172781040864 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9201] ppid=9191 vsize=15619152 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9201/stat : 9201 (java) S 9191 9191 5327 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 475198254 15994011648 519926 33554432000 4194304 4196468 140730606465552 140172779987712 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9202] ppid=9191 vsize=15619152 memory=2079704 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9202/stat : 9202 (java) S 9191 9191 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475198256 15994011648 519926 33554432000 4194304 4196468 140730606465552 140172778936272 140173313488795 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9203] ppid=9191 vsize=15619152 memory=2079704 CPUtime=4.47 cores=0,2,4,6
/proc/9193/task/9203/stat : 9203 (java) S 9191 9191 5327 0 -1 1077944384 27722 0 0 0 445 2 0 0 20 0 19 0 475198256 15994011648 519926 33554432000 4194304 4196468 140730606465552 140172777884400 140173313481346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9204] ppid=9191 vsize=15619152 memory=2089436 CPUtime=4.37 cores=0,2,4,6
/proc/9193/task/9204/stat : 9204 (java) S 9191 9191 5327 0 -1 1077944384 30232 0 0 0 434 3 0 0 20 0 19 0 475198256 15994011648 519926 33554432000 4194304 4196468 140730606465552 140172776831856 140173313481346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9205] ppid=9191 vsize=15619152 memory=2079644 CPUtime=1.17 cores=0,2,4,6
/proc/9193/task/9205/stat : 9205 (java) S 9191 9191 5327 0 -1 1077944384 19794 0 0 0 114 3 0 0 20 0 19 0 475198256 15994011648 519926 33554432000 4194304 4196468 140730606465552 140172775778800 140173313481346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9206] ppid=9191 vsize=15619152 memory=2079704 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9206/stat : 9206 (java) S 9191 9191 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475198257 15994011648 519926 33554432000 4194304 4196468 140730606465552 140172774726496 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9207] ppid=9191 vsize=15619152 memory=2079704 CPUtime=0.28 cores=0,2,4,6
/proc/9193/task/9207/stat : 9207 (java) S 9191 9191 5327 0 -1 1077944384 4108 0 0 0 15 13 0 0 20 0 19 0 475198257 15994011648 519926 33554432000 4194304 4196468 140730606465552 140172773673520 140173313481346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=15525] ppid=9191 vsize=15619152 memory=2079704 CPUtime=20.47 cores=0,2,4,6
/proc/9193/task/15525/stat : 15525 (java) R 9191 9191 5327 0 -1 4202560 722 0 0 0 2047 0 0 0 20 0 19 0 475254394 15994011648 519926 33554432000 4194304 4196468 140730606465552 140172768748536 140172926938400 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=15526] ppid=9191 vsize=15619152 memory=1456 CPUtime=20.86 cores=0,2,4,6
/proc/9193/task/15526/stat : 15526 (java) R 9191 9191 5327 0 -1 4202560 1718 0 0 0 2086 0 0 0 20 0 19 0 475254394 15994011648 519926 33554432000 4194304 4196468 140730606465552 140172690605720 140172921806287 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=15527] ppid=9191 vsize=15619152 memory=2079704 CPUtime=20.86 cores=0,2,4,6
/proc/9193/task/15527/stat : 15527 (java) R 9191 9191 5327 0 -1 4202560 2069 0 0 0 2086 0 0 0 20 0 19 0 475254394 15994011648 519926 33554432000 4194304 4196468 140730606465552 140172692708328 140172927252317 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=15528] ppid=9191 vsize=15619152 memory=1456 CPUtime=20.86 cores=0,2,4,6
/proc/9193/task/15528/stat : 15528 (java) R 9191 9191 5327 0 -1 4202560 1226 0 0 0 2086 0 0 0 20 0 19 0 475254394 15994011648 519926 33554432000 4194304 4196468 140730606465552 140172688497352 140172923429032 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
Current children cumulated CPU time: 1961.37 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 2081160 KiB

[startup+642.301 s]
/proc/loadavg: 4.28 6.29 7.16 5/211 15536
/proc/meminfo: memFree=12017068/32770624 swapFree=66972280/67108860
[pid=9191] ppid=9188 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9191/stat : 9191 (xcsp3-exec) S 9188 9191 5327 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475198251 115843072 364 33554432000 4194304 5098028 140722179360048 140722179358152 139735987544700 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32714752 140722179367767 140722179368025 140722179368025 140722179370950 0
/proc/9191/statm: 28282 364 305 221 0 87 0
[pid=9193] ppid=9191 vsize=15619152 memory=2065428 CPUtime=2200.29 cores=0,2,4,6
/proc/9193/stat : 9193 (java) S 9191 9191 5327 0 -1 1077944320 330150 0 0 0 219837 192 0 0 20 0 19 0 475198251 15994011648 516357 33554432000 4194304 4196468 140730606465552 140730606448096 140173313470199 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
/proc/9193/statm: 3904788 516357 3556 1 0 3865888 0
[pid=9193/tid=9194] ppid=9191 vsize=15619152 memory=1456 CPUtime=5.45 cores=0,2,4,6
/proc/9193/task/9194/stat : 9194 (java) S 9191 9191 5327 0 -1 1077944384 26341 0 0 0 528 17 0 0 20 0 19 0 475198251 15994011648 516357 33554432000 4194304 4196468 140730606465552 140173317710912 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9195] ppid=9191 vsize=15619152 memory=2065428 CPUtime=0.79 cores=0,2,4,6
/proc/9193/task/9195/stat : 9195 (java) S 9191 9191 5327 0 -1 1077944384 2968 0 0 0 65 14 0 0 20 0 19 0 475198252 15994011648 516357 33554432000 4194304 4196468 140730606465552 140173241510928 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9196] ppid=9191 vsize=15619152 memory=2065428 CPUtime=0.79 cores=0,2,4,6
/proc/9193/task/9196/stat : 9196 (java) S 9191 9191 5327 0 -1 1077944384 6366 0 0 0 65 14 0 0 20 0 19 0 475198252 15994011648 516357 33554432000 4194304 4196468 140730606465552 140173240458384 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9197] ppid=9191 vsize=15619152 memory=2065428 CPUtime=0.79 cores=0,2,4,6
/proc/9193/task/9197/stat : 9197 (java) S 9191 9191 5327 0 -1 1077944384 4042 0 0 0 65 14 0 0 20 0 19 0 475198252 15994011648 516357 33554432000 4194304 4196468 140730606465552 140173239405328 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9198] ppid=9191 vsize=15619152 memory=2073624 CPUtime=0.79 cores=0,2,4,6
/proc/9193/task/9198/stat : 9198 (java) S 9191 9191 5327 0 -1 1077944384 4219 0 0 0 65 14 0 0 20 0 19 0 475198252 15994011648 516357 33554432000 4194304 4196468 140730606465552 140173238352784 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9199] ppid=9191 vsize=15619152 memory=2073624 CPUtime=0.1 cores=0,2,4,6
/proc/9193/task/9199/stat : 9199 (java) S 9191 9191 5327 0 -1 1077944384 8757 0 0 0 8 2 0 0 20 0 19 0 475198253 15994011648 516357 33554432000 4194304 4196468 140730606465552 140172782094576 140173313481346 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9200] ppid=9191 vsize=15619152 memory=2073624 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9200/stat : 9200 (java) S 9191 9191 5327 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 475198254 15994011648 516357 33554432000 4194304 4196468 140730606465552 140172781040864 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9201] ppid=9191 vsize=15619152 memory=2073564 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9201/stat : 9201 (java) S 9191 9191 5327 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 475198254 15994011648 516357 33554432000 4194304 4196468 140730606465552 140172779987712 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9202] ppid=9191 vsize=15619152 memory=2079708 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9202/stat : 9202 (java) S 9191 9191 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475198256 15994011648 516357 33554432000 4194304 4196468 140730606465552 140172778936272 140173313488795 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9203] ppid=9191 vsize=15619152 memory=2079708 CPUtime=4.5 cores=0,2,4,6
/proc/9193/task/9203/stat : 9203 (java) S 9191 9191 5327 0 -1 1077944384 29188 0 0 0 448 2 0 0 20 0 19 0 475198256 15994011648 516357 33554432000 4194304 4196468 140730606465552 140172777884400 140173313481346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9204] ppid=9191 vsize=15619152 memory=1456 CPUtime=4.4 cores=0,2,4,6
/proc/9193/task/9204/stat : 9204 (java) S 9191 9191 5327 0 -1 1077944384 31236 0 0 0 437 3 0 0 20 0 19 0 475198256 15994011648 516357 33554432000 4194304 4196468 140730606465552 140172776831856 140173313481346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9205] ppid=9191 vsize=15619152 memory=2079708 CPUtime=1.18 cores=0,2,4,6
/proc/9193/task/9205/stat : 9205 (java) S 9191 9191 5327 0 -1 1077944384 20729 0 0 0 115 3 0 0 20 0 19 0 475198256 15994011648 516357 33554432000 4194304 4196468 140730606465552 140172775778800 140173313481346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9206] ppid=9191 vsize=15619152 memory=2079648 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9206/stat : 9206 (java) S 9191 9191 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475198257 15994011648 516357 33554432000 4194304 4196468 140730606465552 140172774726496 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9207] ppid=9191 vsize=15619152 memory=2079648 CPUtime=0.33 cores=0,2,4,6
/proc/9193/task/9207/stat : 9207 (java) S 9191 9191 5327 0 -1 1077944384 4165 0 0 0 18 15 0 0 20 0 19 0 475198257 15994011648 516357 33554432000 4194304 4196468 140730606465552 140172773673520 140173313481346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=15525] ppid=9191 vsize=15619152 memory=2065428 CPUtime=80.36 cores=0,2,4,6
/proc/9193/task/15525/stat : 15525 (java) R 9191 9191 5327 0 -1 4202560 964 0 0 0 8036 0 0 0 20 0 19 0 475254394 15994011648 516357 33554432000 4194304 4196468 140730606465552 140172768743752 140172927252167 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=15526] ppid=9191 vsize=15619152 memory=2065428 CPUtime=80.83 cores=0,2,4,6
/proc/9193/task/15526/stat : 15526 (java) R 9191 9191 5327 0 -1 4202560 5973 0 0 0 8083 0 0 0 20 0 19 0 475254394 15994011648 516357 33554432000 4194304 4196468 140730606465552 140172690603584 140172926938689 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=15527] ppid=9191 vsize=15619152 memory=2065428 CPUtime=80.69 cores=0,2,4,6
/proc/9193/task/15527/stat : 15527 (java) R 9191 9191 5327 0 -1 4202560 2868 0 0 0 8069 0 0 0 20 0 19 0 475254394 15994011648 516357 33554432000 4194304 4196468 140730606465552 140172692706160 140172927580114 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=15528] ppid=9191 vsize=15619152 memory=1456 CPUtime=79.91 cores=0,2,4,6
/proc/9193/task/15528/stat : 15528 (java) R 9191 9191 5327 0 -1 4202560 1758 0 0 0 7991 0 0 0 20 0 19 0 475254394 15994011648 516357 33554432000 4194304 4196468 140730606465552 140172688495336 140172926938417 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
Current children cumulated CPU time: 2200.29 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 2066884 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+692.601 s]
/proc/loadavg: 4.12 5.93 6.99 5/211 15544
/proc/meminfo: memFree=12023212/32770624 swapFree=66972280/67108860
[pid=9191] ppid=9188 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9191/stat : 9191 (xcsp3-exec) S 9188 9191 5327 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475198251 115843072 364 33554432000 4194304 5098028 140722179360048 140722179358152 139735987544700 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32714752 140722179367767 140722179368025 140722179368025 140722179370950 0
/proc/9191/statm: 28282 364 305 221 0 87 0
[pid=9193] ppid=9191 vsize=15619152 memory=2058764 CPUtime=2400.04 cores=0,2,4,6
/proc/9193/stat : 9193 (java) S 9191 9191 5327 0 -1 1077944320 341235 0 0 0 239811 193 0 0 20 0 19 0 475198251 15994011648 514691 33554432000 4194304 4196468 140730606465552 140730606448096 140173313470199 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
/proc/9193/statm: 3904788 514691 3556 1 0 3865888 0
[pid=9193/tid=9194] ppid=9191 vsize=15619152 memory=992 CPUtime=5.45 cores=0,2,4,6
/proc/9193/task/9194/stat : 9194 (java) S 9191 9191 5327 0 -1 1077944384 26535 0 0 0 528 17 0 0 20 0 19 0 475198251 15994011648 514691 33554432000 4194304 4196468 140730606465552 140173317710912 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9195] ppid=9191 vsize=15619152 memory=2044 CPUtime=0.79 cores=0,2,4,6
/proc/9193/task/9195/stat : 9195 (java) S 9191 9191 5327 0 -1 1077944384 3015 0 0 0 65 14 0 0 20 0 19 0 475198252 15994011648 514691 33554432000 4194304 4196468 140730606465552 140173241510928 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9196] ppid=9191 vsize=15619152 memory=1432 CPUtime=0.79 cores=0,2,4,6
/proc/9193/task/9196/stat : 9196 (java) S 9191 9191 5327 0 -1 1077944384 6425 0 0 0 65 14 0 0 20 0 19 0 475198252 15994011648 514691 33554432000 4194304 4196468 140730606465552 140173240458384 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9197] ppid=9191 vsize=15619152 memory=11624 CPUtime=0.8 cores=0,2,4,6
/proc/9193/task/9197/stat : 9197 (java) S 9191 9191 5327 0 -1 1077944384 4186 0 0 0 66 14 0 0 20 0 19 0 475198252 15994011648 514691 33554432000 4194304 4196468 140730606465552 140173239405328 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9198] ppid=9191 vsize=15619152 memory=740 CPUtime=0.79 cores=0,2,4,6
/proc/9193/task/9198/stat : 9198 (java) S 9191 9191 5327 0 -1 1077944384 4725 0 0 0 65 14 0 0 20 0 19 0 475198252 15994011648 514691 33554432000 4194304 4196468 140730606465552 140173238352784 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9199] ppid=9191 vsize=15619152 memory=1056 CPUtime=0.1 cores=0,2,4,6
/proc/9193/task/9199/stat : 9199 (java) S 9191 9191 5327 0 -1 1077944384 9086 0 0 0 8 2 0 0 20 0 19 0 475198253 15994011648 514691 33554432000 4194304 4196468 140730606465552 140172782094576 140173313481346 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9200] ppid=9191 vsize=15619152 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9200/stat : 9200 (java) S 9191 9191 5327 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 475198254 15994011648 514691 33554432000 4194304 4196468 140730606465552 140172781040864 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9201] ppid=9191 vsize=15619152 memory=1040 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9201/stat : 9201 (java) S 9191 9191 5327 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 475198254 15994011648 514691 33554432000 4194304 4196468 140730606465552 140172779987712 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9202] ppid=9191 vsize=15619152 memory=3644 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9202/stat : 9202 (java) S 9191 9191 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475198256 15994011648 514691 33554432000 4194304 4196468 140730606465552 140172778936272 140173313488795 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9203] ppid=9191 vsize=15619152 memory=780 CPUtime=4.5 cores=0,2,4,6
/proc/9193/task/9203/stat : 9203 (java) S 9191 9191 5327 0 -1 1077944384 29203 0 0 0 448 2 0 0 20 0 19 0 475198256 15994011648 514691 33554432000 4194304 4196468 140730606465552 140172777884400 140173313481346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9204] ppid=9191 vsize=15619152 memory=2832 CPUtime=4.4 cores=0,2,4,6
/proc/9193/task/9204/stat : 9204 (java) S 9191 9191 5327 0 -1 1077944384 31268 0 0 0 437 3 0 0 20 0 19 0 475198256 15994011648 514691 33554432000 4194304 4196468 140730606465552 140172776831856 140173313481346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9205] ppid=9191 vsize=15619152 memory=1716 CPUtime=1.18 cores=0,2,4,6
/proc/9193/task/9205/stat : 9205 (java) S 9191 9191 5327 0 -1 1077944384 21376 0 0 0 115 3 0 0 20 0 19 0 475198256 15994011648 514691 33554432000 4194304 4196468 140730606465552 140172775778800 140173313481346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9206] ppid=9191 vsize=15619152 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/9193/task/9206/stat : 9206 (java) S 9191 9191 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475198257 15994011648 514691 33554432000 4194304 4196468 140730606465552 140172774726496 140173313480405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=9207] ppid=9191 vsize=15619152 memory=5996 CPUtime=0.38 cores=0,2,4,6
/proc/9193/task/9207/stat : 9207 (java) S 9191 9191 5327 0 -1 1077944384 4333 0 0 0 21 17 0 0 20 0 19 0 475198257 15994011648 514691 33554432000 4194304 4196468 140730606465552 140172773673520 140173313481346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=15537] ppid=9191 vsize=15619152 memory=14012 CPUtime=48.4 cores=0,2,4,6
/proc/9193/task/15537/stat : 15537 (java) R 9191 9191 5327 0 -1 4202560 852 0 0 0 4840 0 0 0 20 0 19 0 475262669 15994011648 514691 33554432000 4194304 4196468 140730606465552 140172768743240 140172927252225 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=15538] ppid=9191 vsize=15619152 memory=19364 CPUtime=48.4 cores=0,2,4,6
/proc/9193/task/15538/stat : 15538 (java) R 9191 9191 5327 0 -1 4202560 4161 0 0 0 4840 0 0 0 20 0 19 0 475262669 15994011648 514691 33554432000 4194304 4196468 140730606465552 140172690603296 140172926938471 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=15539] ppid=9191 vsize=15619152 memory=12024 CPUtime=48.17 cores=0,2,4,6
/proc/9193/task/15539/stat : 15539 (java) R 9191 9191 5327 0 -1 4202560 2335 0 0 0 4817 0 0 0 20 0 19 0 475262669 15994011648 514691 33554432000 4194304 4196468 140730606465552 140172692705648 140172927252428 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
[pid=9193/tid=15540] ppid=9191 vsize=15619152 memory=2120 CPUtime=47.72 cores=0,2,4,6
/proc/9193/task/15540/stat : 15540 (java) R 9191 9191 5327 0 -1 4202560 1366 0 0 0 4772 0 0 0 20 0 19 0 475262669 15994011648 514691 33554432000 4194304 4196468 140730606465552 140172688495512 140172927129443 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36249600 140730606474203 140730606474378 140730606474378 140730606477263 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 2060220 KiB

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

[startup+692.633 s]
# the end of solver process 9191 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.002385 s, system=0 s

[startup+692.698 s]
# the end of solver process 9193 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2398.45 s, system=1.94578 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 692.698
CPU time (s): 2400.39
CPU user time (s): 2398.45
CPU system time (s): 1.94578
CPU usage (%): 346.528
Max. virtual memory (cumulated for all children) (KiB): 15732280
Max. memory (cumulated for all children) (KiB): 2096544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.45
system time used= 1.94578
maximum resident set size= 2100676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 343120
page faults= 0
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 53691
involuntary context switches= 36501


# summary of solver processes directly reported to runsolver:
#   pid: 9191,9193
#   total CPU time (s): 2400.39
#   total CPU user time (s): 2398.45
#   total CPU system time (s): 1.94578

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.37778 second user time and 7.69216 second system time

The end

Launcher Data 

Begin job on node117 at 2019-09-20 17:15:21
IDJOB=4404151
IDBENCH=141204
IDSOLVER=2864
FILE ID=node117/4404151-1568992564
RUNJOBID= node117-1568989944-5358
PBS_JOBID= 21704646
Free space on /var/tmp= 13488 MiB

SOLVER NAME= choco-solver 2019-09-20
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-05-opt_c18.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404151-1568992564/watcher-4404151-1568992564 -o /var/tmp/evaluation-result-4404151-1568992564/solver-4404151-1568992564 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node117-1568989944-5358 --watchdog 2560  xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 388761229 HOME/instance-4404151-1568992564.xml

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

MD5SUM BENCH= d0ab6aee5f30ff70d66f863e0e3556a1
RANDOM SEED=388761229

node117.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        11884492 kB
MemAvailable:   29670268 kB
Buffers:          137212 kB
Cached:         17554468 kB
SwapCached:        27724 kB
Active:         10946152 kB
Inactive:        8938780 kB
Active(anon):    2162848 kB
Inactive(anon):    71684 kB
Active(file):    8783304 kB
Inactive(file):  8867096 kB
Unevictable:      108556 kB
Mlocked:          108556 kB
SwapTotal:      67108860 kB
SwapFree:       66972280 kB
Dirty:             26092 kB
Writeback:             0 kB
AnonPages:       2496200 kB
Mapped:            61372 kB
Shmem:             32436 kB
Slab:             592196 kB
SReclaimable:     563836 kB
SUnreclaim:        28360 kB
KernelStack:        4128 kB
PageTables:        10472 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3390212 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2377728 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /var/tmp at the end= 13488 MiB
End job on node117 at 2019-09-20 17:26:54