Trace number 4297874

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 4.0.7b par (e747e1e)SAT (TO)20333 19579.2 2520.14

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-graph-05-opt_c18.xml
MD5SUMd0ab6aee5f30ff70d66f863e0e3556a1
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark20333
Best CPU time to get the best result obtained on this benchmark19579.2
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 -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297874-1532706647.xml"  -tl '20160s' -p 8
0.11/0.18	c Choco e747e1e
0.11/0.18	c [HOME/instance-4297874-1532706647.xml, -tl, 20160s, -p, 8]
0.32/0.22	c 8 solvers in parallel
0.32/0.28	c parse instance...
20.40/8.03	c solve instance...
25.49/8.87	o 148863 
26.41/9.19	o 147962 
29.38/10.69	o 147862 
29.48/10.71	o 147762 
29.48/10.75	o 147761 
29.48/10.78	o 146862 
29.48/10.79	o 145961 
29.79/10.81	o 145861 
29.79/10.84	o 145761 
29.79/10.85	o 145732 
30.20/11.16	o 145731 
30.20/11.17	o 145640 
30.20/11.18	o 145620 
30.20/11.18	o 144960 
30.42/11.21	o 144931 
30.42/11.21	o 144930 
30.42/11.23	o 144839 
30.42/11.23	o 144819 
30.42/11.24	o 144760 
30.42/11.27	o 144731 
30.42/11.28	o 144730 
30.71/11.30	o 144639 
30.71/11.31	o 144619 
30.71/11.35	o 144596 
30.71/11.38	o 144567 
30.98/11.40	o 144503 
30.98/11.41	o 144483 
30.98/11.42	o 144414 
30.98/11.43	o 144393 
30.98/11.44	o 144373 
30.98/11.45	o 144363 
30.98/11.47	o 144353 
30.98/11.48	o 144352 
31.34/11.59	o 144342 
32.01/11.63	o 143747 
32.17/11.72	o 143647 
32.29/11.83	o 143547 
32.29/11.84	o 143528 
32.29/11.86	o 143518 
32.29/11.89	o 143517 
32.52/11.93	o 143427 
32.52/11.94	o 143426 
32.52/11.96	o 143406 
32.97/12.03	o 143383 
32.97/12.05	o 143364 
33.49/12.18	o 143354 
33.64/12.21	o 143290 
33.64/12.23	o 143270 
33.64/12.27	o 143201 
33.89/12.30	o 143180 
33.89/12.32	o 143160 
33.89/12.34	o 143150 
33.89/12.34	o 143140 
34.15/12.40	o 143111 
34.15/12.42	o 143090 
34.15/12.44	o 143070 
34.15/12.45	o 143060 
34.15/12.47	o 143050 
34.15/12.49	o 142956 
34.43/12.50	o 142856 
34.43/12.52	o 142756 
34.43/12.53	o 142737 
34.43/12.58	o 142727 
34.43/12.58	o 142726 
34.43/12.59	o 142636 
34.71/12.60	o 142635 
34.71/12.61	o 142615 
34.71/12.62	o 142593 
34.71/12.63	o 142493 
34.71/12.64	o 142474 
34.71/12.66	o 142464 
34.96/12.72	o 142400 
34.96/12.76	o 142380 
34.96/12.79	o 142311 
35.11/12.81	o 142290 
35.11/12.81	o 142270 
35.68/12.91	o 142260 
35.68/12.93	o 142250 
35.68/12.96	o 142249 
35.68/13.00	o 142038 
35.93/13.03	o 141946 
36.42/13.21	o 141846 
37.90/14.56	o 141746 
38.05/14.60	o 141727 
38.05/14.65	o 141717 
38.05/14.67	o 141716 
38.05/14.68	o 141626 
38.25/14.70	o 141625 
38.25/14.71	o 141605 
38.25/14.73	o 141583 
38.25/14.74	o 141483 
38.25/14.76	o 141464 
38.50/14.81	o 141454 
38.50/14.82	o 141390 
38.50/14.84	o 141370 
38.50/14.87	o 141301 
38.74/14.91	o 141280 
38.74/14.92	o 141260 
38.74/14.99	o 141250 
39.01/15.01	o 141240 
39.01/15.05	o 140648 
39.01/15.09	o 140548 
39.24/15.13	o 140448 
39.24/15.14	o 140419 
39.24/15.16	o 140418 
39.24/15.18	o 140327 
39.46/15.22	o 140307 
39.46/15.25	o 139647 
39.46/15.29	o 139618 
39.64/15.31	o 139617 
39.64/15.32	o 139526 
39.64/15.34	o 139506 
39.64/15.36	o 139447 
39.64/15.39	o 139418 
39.89/15.42	o 139417 
39.89/15.46	o 139326 
39.89/15.48	o 139306 
40.16/15.51	o 139284 
40.16/15.53	o 139255 
40.72/15.68	o 139202 
41.31/15.71	o 139181 
41.31/15.72	o 139161 
41.31/15.74	o 139151 
41.31/15.77	o 139141 
41.59/15.80	o 139140 
41.59/15.89	o 139130 
41.77/15.91	o 139115 
41.77/15.94	o 139114 
41.77/15.96	o 139094 
41.77/15.98	o 138434 
42.05/16.03	o 138415 
42.05/16.07	o 138405 
42.05/16.09	o 138404 
42.27/16.12	o 138314 
42.27/16.14	o 138313 
42.27/16.17	o 138293 
42.27/16.19	o 138234 
42.50/16.22	o 138215 
42.50/16.24	o 138205 
42.50/16.26	o 138204 
42.73/16.30	o 138114 
42.73/16.33	o 138113 
42.73/16.35	o 138093 
42.73/16.40	o 138071 
43.17/16.52	o 138052 
43.17/16.55	o 137989 
43.17/16.59	o 137968 
43.43/16.61	o 137948 
43.43/16.66	o 137938 
43.43/16.67	o 137928 
43.88/16.71	o 137903 
43.88/16.73	o 137902 
43.88/16.77	o 137882 
44.24/16.84	o 137803 
44.24/16.87	o 137802 
44.53/16.92	o 137782 
44.53/16.94	o 137123 
44.53/16.97	o 137104 
44.53/17.00	o 137094 
44.82/17.01	o 137093 
44.82/17.04	o 137003 
44.82/17.06	o 137002 
44.82/17.09	o 136982 
45.24/17.12	o 136923 
45.24/17.14	o 136904 
45.24/17.18	o 136894 
45.56/17.20	o 136893 
45.56/17.23	o 136803 
45.56/17.26	o 136802 
45.85/17.31	o 136782 
45.85/17.34	o 136123 
45.85/17.35	o 136104 
45.85/17.37	o 136094 
45.85/17.39	o 136093 
46.11/17.41	o 136003 
46.11/17.45	o 136002 
46.11/17.48	o 135982 
46.41/17.51	o 135923 
46.41/17.53	o 135904 
46.41/17.54	o 135894 
46.41/17.59	o 135893 
46.64/17.61	o 135803 
46.64/17.63	o 135802 
46.64/17.68	o 135782 
46.90/17.71	o 135123 
46.90/17.74	o 135023 
46.90/17.76	o 134923 
46.90/17.78	o 134904 
47.14/17.81	o 134894 
47.14/17.85	o 134893 
47.14/17.88	o 134803 
47.39/17.92	o 134802 
47.39/17.93	o 134782 
47.39/17.98	o 134223 
47.39/18.00	o 134123 
47.63/18.04	o 134023 
47.63/18.06	o 134004 
47.97/18.21	o 133994 
47.97/18.24	o 133993 
47.97/18.26	o 133903 
47.97/18.27	o 133902 
48.17/18.32	o 133882 
48.17/18.34	o 133802 
48.17/18.37	o 133801 
48.17/18.40	o 133781 
48.43/18.45	o 133759 
48.43/18.47	o 133740 
48.43/18.48	o 133731 
48.70/18.51	o 133677 
48.70/18.53	o 133656 
48.70/18.56	o 133636 
48.70/18.59	o 133626 
48.96/18.61	o 133616 
48.96/18.62	o 133222 
48.96/18.67	o 133122 
48.96/18.69	o 133022 
49.24/18.72	o 133003 
49.24/18.74	o 132993 
49.24/18.78	o 132992 
49.48/18.81	o 132902 
49.48/18.83	o 132901 
49.48/18.85	o 132881 
49.48/18.88	o 132872 
49.79/18.91	o 132866 
49.79/18.93	o 132846 
49.79/18.96	o 132777 
49.79/18.99	o 132756 
50.05/19.02	o 132736 
50.05/19.04	o 132726 
50.55/19.41	o 132716 
50.55/19.45	o 132657 
50.55/19.47	o 132616 
50.91/19.55	o 132101 
51.26/19.63	o 132001 
51.26/19.66	o 131901 
51.41/19.70	o 131882 
51.41/19.72	o 131872 
51.41/19.75	o 131871 
51.41/19.79	o 131781 
51.67/19.83	o 131780 
51.67/19.86	o 131760 
51.67/19.88	o 131750 
51.88/19.91	o 131748 
51.88/19.94	o 131737 
51.88/19.98	o 131725 
51.88/20.00	o 131656 
52.18/20.01	o 131635 
52.18/20.04	o 131615 
52.18/20.08	o 131605 
52.40/20.11	o 131546 
52.40/20.13	o 131505 
52.40/20.20	o 131496 
53.51/20.30	o 131495 
53.51/20.32	o 131091 
53.79/20.42	o 130991 
53.79/20.44	o 130891 
53.79/20.46	o 130872 
53.79/20.48	o 130862 
53.98/20.51	o 130861 
53.98/20.55	o 130771 
53.98/20.59	o 130770 
54.25/20.60	o 130750 
54.43/20.70	o 130749 
54.43/20.73	o 130738 
54.69/20.81	o 130727 
54.69/20.84	o 130715 
54.69/20.85	o 130646 
54.69/20.88	o 130625 
54.98/20.90	o 130605 
54.98/20.94	o 130595 
55.31/21.14	o 130536 
55.31/21.18	o 130495 
55.58/21.27	o 130487 
56.50/21.55	o 130213 
56.68/21.60	o 130113 
56.68/21.62	o 130013 
56.85/21.70	o 129994 
56.85/21.77	o 129984 
56.85/21.79	o 129983 
57.05/21.81	o 129893 
57.05/21.83	o 129892 
57.05/21.85	o 129872 
57.05/21.87	o 129857 
57.37/21.92	o 129837 
57.37/21.95	o 129768 
57.37/21.98	o 129747 
57.57/22.02	o 129727 
57.57/22.05	o 129717 
57.57/22.07	o 129707 
57.57/22.09	o 129648 
57.85/22.14	o 129607 
58.26/22.21	o 129092 
58.26/22.26	o 128992 
58.26/22.27	o 128892 
58.81/22.64	o 128873 
58.81/22.67	o 128863 
58.95/22.71	o 128862 
58.95/22.77	o 128772 
59.11/22.83	o 128771 
59.11/22.86	o 128751 
59.30/22.90	o 128741 
59.30/22.95	o 128739 
59.59/23.07	o 128728 
59.76/23.11	o 128716 
60.00/23.22	o 128647 
60.00/23.26	o 128626 
60.19/23.32	o 128606 
60.19/23.34	o 128596 
60.19/23.39	o 128537 
60.39/23.42	o 128496 
60.39/23.47	o 128486 
60.75/23.51	o 128485 
60.75/23.55	o 128475 
60.75/23.58	o 128474 
61.06/23.63	o 128415 
61.22/23.72	o 128374 
61.22/23.76	o 128364 
61.51/23.81	o 128354 
61.51/23.86	o 128295 
61.51/23.88	o 128254 
61.82/24.01	o 128082 
62.59/24.03	o 127982 
62.59/24.05	o 127882 
62.59/24.06	o 127863 
62.59/24.08	o 127853 
62.59/24.10	o 127852 
62.91/24.13	o 127762 
62.91/24.16	o 127761 
63.09/24.20	o 127741 
63.09/24.22	o 127740 
63.09/24.26	o 127729 
63.44/24.46	o 127718 
63.44/24.49	o 127706 
63.66/24.55	o 127637 
63.66/24.60	o 127616 
63.82/24.62	o 127596 
63.82/24.66	o 127586 
63.82/24.67	o 127527 
63.82/24.69	o 127486 
64.14/24.72	o 127476 
64.14/24.77	o 127475 
64.32/24.81	o 127465 
64.32/24.83	o 127464 
64.32/24.89	o 127405 
64.69/24.92	o 127364 
64.69/24.98	o 127354 
64.98/25.04	o 127344 
64.98/25.08	o 127285 
64.98/25.10	o 127244 
65.91/25.26	o 127072 
65.91/25.29	o 126972 
66.40/25.33	o 126872 
66.40/25.35	o 126853 
66.40/25.36	o 126843 
66.40/25.38	o 126842 
66.56/25.40	o 126752 
66.56/25.43	o 126751 
66.56/25.47	o 126731 
66.82/25.51	o 126730 
66.82/25.54	o 126719 
66.82/25.58	o 126708 
67.10/25.60	o 126696 
67.10/25.62	o 126686 
67.10/25.64	o 126676 
67.10/25.66	o 126617 
67.10/25.69	o 126517 
67.38/25.74	o 126476 
67.73/25.80	o 126467 
68.57/26.04	o 126466 
68.57/26.10	o 126062 
69.04/26.26	o 125962 
69.16/26.37	o 125862 
70.91/27.82	o 125843 
71.04/27.94	o 125833 
71.18/28.05	o 125832 
71.33/28.16	o 125742 
71.58/28.30	o 125741 
71.70/28.41	o 125721 
71.83/28.53	o 125720 
71.95/28.64	o 125709 
72.12/28.78	o 125698 
72.50/28.93	o 125686 
72.74/29.04	o 125676 
72.74/29.08	o 125666 
72.90/29.19	o 125607 
73.17/29.33	o 125507 
73.45/29.50	o 125466 
73.77/29.66	o 125458 
74.12/29.77	o 125184 
74.38/29.82	o 125084 
74.38/29.84	o 124984 
74.51/29.95	o 124965 
74.65/30.06	o 124955 
74.81/30.18	o 124954 
74.81/30.19	o 124864 
75.05/30.34	o 124863 
75.17/30.45	o 124843 
75.34/30.56	o 124828 
75.50/30.67	o 124808 
75.73/30.81	o 124798 
75.85/30.96	o 124778 
76.04/31.08	o 124719 
76.26/31.19	o 124619 
76.48/31.34	o 124578 
76.93/31.50	o 124063 
77.06/31.55	o 123963 
77.06/31.58	o 123863 
77.23/31.69	o 123844 
77.48/31.81	o 123834 
77.62/31.92	o 123833 
77.62/31.93	o 123743 
77.82/32.08	o 123742 
77.98/32.19	o 123722 
78.23/32.30	o 123712 
78.39/32.41	o 123710 
78.57/32.55	o 123699 
78.84/32.70	o 123687 
79.05/32.82	o 123677 
79.20/32.93	o 123667 
79.33/33.04	o 123608 
79.47/33.18	o 123508 
79.68/33.35	o 123467 
79.98/33.50	o 123457 
80.15/33.61	o 123456 
80.31/33.73	o 123446 
80.66/34.00	o 123445 
80.95/34.11	o 123386 
81.08/34.26	o 123345 
81.32/34.37	o 123266 
81.64/34.53	o 123225 
82.03/34.64	o 123211 
82.18/34.80	o 123210 
82.41/34.97	o 123190 
82.64/35.12	o 123189 
82.64/35.15	o 123178 
82.84/35.21	o 123167 
82.84/35.25	o 123155 
83.08/35.36	o 123089 
83.29/35.51	o 123088 
83.29/35.56	o 123068 
83.43/35.67	o 123058 
83.61/35.77	o 122969 
83.90/35.92	o 122968 
84.04/36.03	o 122948 
84.18/36.14	o 122938 
84.38/36.25	o 122936 
84.55/36.36	o 122925 
84.68/36.47	o 122913 
84.90/36.58	o 122879 
85.15/36.73	o 122878 
85.29/36.84	o 122858 
85.29/36.87	o 122848 
85.44/36.98	o 122759 
85.76/37.13	o 122758 
85.88/37.24	o 122738 
85.99/37.35	o 122728 
86.18/37.46	o 122657 
86.49/37.61	o 122656 
86.68/37.73	o 122636 
86.81/37.84	o 122626 
86.93/37.95	o 122625 
87.10/38.06	o 122615 
88.54/38.34	o 122320 
90.61/40.13	o 122220 
90.91/40.30	o 122120 
91.17/40.48	o 122101 
91.27/40.51	o 122091 
91.27/40.57	o 122090 
91.27/40.58	o 122000 
91.47/40.70	o 121999 
91.76/40.81	o 121979 
91.91/40.92	o 121978 
92.08/41.03	o 121967 
92.26/41.14	o 121956 
92.47/41.25	o 121934 
92.70/41.36	o 121878 
92.95/41.51	o 121877 
93.13/41.62	o 121857 
93.27/41.73	o 121847 
93.45/41.84	o 121758 
93.45/41.86	o 121757 
93.72/42.01	o 121737 
93.72/42.04	o 121727 
93.96/42.15	o 121725 
94.15/42.26	o 121714 
94.31/42.37	o 121692 
94.71/42.52	o 121656 
94.90/42.63	o 121655 
95.03/42.74	o 121635 
95.21/42.85	o 121625 
95.40/42.96	o 121624 
95.40/42.99	o 121614 
95.63/43.10	o 121612 
95.99/43.21	o 121590 
96.22/43.36	o 121589 
96.50/43.47	o 121579 
96.65/43.58	o 121578 
97.37/43.90	o 121573 
97.57/44.01	o 121572 
97.87/44.15	o 121513 
98.05/44.25	o 121472 
98.45/44.40	o 121462 
98.65/44.55	o 121452 
98.83/44.66	o 121393 
99.08/44.81	o 121352 
99.39/44.92	o 121302 
99.52/45.06	o 121261 
100.05/45.21	o 121224 
100.05/45.28	o 121183 
100.52/45.43	o 121173 
100.65/45.56	o 121172 
100.80/45.63	o 121162 
101.03/45.70	o 121161 
101.33/45.84	o 121102 
101.45/45.98	o 121061 
101.92/46.12	o 121051 
101.92/46.19	o 121041 
102.26/46.30	o 120982 
102.47/46.46	o 120941 
102.75/46.57	o 120882 
103.05/46.72	o 120841 
103.30/46.83	o 120831 
103.54/46.94	o 120821 
103.83/47.05	o 120820 
104.29/47.18	o 120558 
104.92/47.32	o 120458 
105.07/47.47	o 120358 
105.33/47.61	o 120339 
105.54/47.76	o 120329 
105.70/47.87	o 120328 
105.86/47.94	o 120238 
106.06/48.09	o 120237 
106.24/48.15	o 120217 
106.39/48.26	o 120216 
106.69/48.41	o 120205 
106.87/48.58	o 120194 
107.23/48.73	o 120182 
107.41/48.80	o 120113 
107.41/48.86	o 120092 
107.41/48.89	o 120072 
107.56/48.91	o 120062 
107.71/49.02	o 120003 
107.71/49.10	o 119962 
108.05/49.24	o 119952 
108.20/49.35	o 119951 
108.34/49.46	o 119941 
108.49/49.57	o 119940 
108.66/49.69	o 119881 
108.96/49.83	o 119840 
109.21/49.94	o 119830 
109.38/50.05	o 119820 
109.54/50.16	o 119761 
109.74/50.30	o 119720 
110.12/50.42	o 119661 
110.26/50.57	o 119620 
110.52/50.68	o 119611 
110.68/50.79	o 119589 
111.04/50.94	o 119588 
111.38/51.07	o 119587 
112.66/51.30	o 119548 
112.83/51.41	o 119448 
112.98/51.55	o 119348 
113.24/51.70	o 119329 
113.48/51.81	o 119319 
113.67/51.92	o 119318 
113.85/52.04	o 119228 
114.02/52.18	o 119227 
114.29/52.30	o 119207 
114.48/52.44	o 119206 
114.78/52.62	o 119195 
114.96/52.76	o 119184 
115.16/52.83	o 119172 
115.33/52.94	o 119103 
115.33/53.00	o 119082 
115.61/53.14	o 119062 
115.79/53.25	o 119052 
115.98/53.37	o 118993 
116.31/53.51	o 118952 
116.53/53.62	o 118942 
116.71/53.74	o 118941 
116.92/53.85	o 118931 
117.15/53.96	o 118930 
117.36/54.08	o 118871 
117.56/54.22	o 118830 
117.91/54.36	o 118820 
118.13/54.47	o 118810 
118.41/54.61	o 118751 
118.59/54.76	o 118710 
119.02/54.90	o 118651 
119.19/55.04	o 118610 
119.45/55.19	o 118541 
119.67/55.33	o 118540 
119.77/55.44	o 118520 
120.00/55.61	o 118519 
120.20/55.72	o 118508 
120.39/55.87	o 118497 
120.70/56.01	o 118485 
120.88/56.12	o 118475 
120.98/56.24	o 118465 
121.13/56.36	o 118406 
121.36/56.50	o 118306 
121.54/56.68	o 118265 
121.83/56.82	o 118255 
121.83/56.89	o 118254 
122.22/57.03	o 118244 
122.44/57.15	o 118243 
122.66/57.26	o 118184 
122.95/57.40	o 118143 
122.95/57.48	o 118064 
122.95/57.49	o 118023 
123.54/57.62	o 118009 
123.54/57.64	o 118008 
123.70/57.78	o 117988 
123.95/57.91	o 117987 
124.19/58.08	o 117976 
124.64/58.27	o 117965 
126.28/59.66	o 117953 
126.57/59.78	o 117887 
127.23/60.08	o 117886 
127.23/60.09	o 117866 
127.45/60.20	o 117856 
127.67/60.31	o 117767 
127.87/60.45	o 117766 
128.04/60.57	o 117746 
128.19/60.68	o 117736 
128.35/60.79	o 117734 
128.63/60.90	o 117723 
128.92/61.01	o 117711 
129.15/61.12	o 117677 
129.26/61.26	o 117676 
129.40/61.38	o 117656 
129.55/61.49	o 117646 
129.87/61.60	o 117557 
129.97/61.74	o 117556 
130.08/61.85	o 117536 
130.20/61.96	o 117526 
130.42/62.08	o 117455 
130.62/62.23	o 117454 
130.74/62.34	o 117434 
130.89/62.45	o 117424 
131.05/62.56	o 117423 
131.18/62.68	o 117413 
132.57/62.96	o 117118 
132.89/63.13	o 117018 
132.98/63.20	o 116918 
133.14/63.31	o 116899 
133.28/63.46	o 116889 
133.28/63.47	o 116888 
133.40/63.59	o 116798 
133.61/63.73	o 116797 
133.72/63.85	o 116777 
133.84/63.96	o 116776 
134.00/64.08	o 116765 
134.16/64.19	o 116754 
134.49/64.31	o 116732 
134.77/64.42	o 116676 
134.97/64.57	o 116675 
135.11/64.68	o 116655 
135.35/64.80	o 116645 
135.52/64.92	o 116556 
135.70/65.06	o 116555 
135.70/65.07	o 116535 
135.83/65.18	o 116525 
136.13/65.30	o 116523 
136.47/65.57	o 116512 
136.60/65.68	o 116490 
136.94/65.83	o 116454 
137.07/65.96	o 116453 
137.24/66.07	o 116433 
137.65/66.39	o 116423 
137.77/66.43	o 116422 
137.88/66.54	o 116412 
138.13/66.67	o 116410 
138.44/66.82	o 116388 
138.73/66.97	o 116387 
139.57/67.11	o 116328 
139.57/67.11	o 116228 
139.73/67.26	o 116209 
139.84/67.30	o 116199 
140.22/67.51	o 116198 
140.22/67.58	o 116108 
140.22/67.59	o 116107 
140.37/67.68	o 116087 
140.65/67.82	o 116086 
140.84/67.94	o 116075 
141.06/68.08	o 116064 
141.26/68.19	o 116042 
141.61/68.30	o 115986 
141.75/68.44	o 115985 
141.86/68.56	o 115965 
141.97/68.67	o 115955 
142.10/68.79	o 115866 
142.38/68.93	o 115865 
142.51/69.04	o 115845 
142.75/69.16	o 115835 
143.20/69.41	o 115833 
143.34/69.53	o 115822 
143.48/69.64	o 115800 
143.75/69.79	o 115764 
144.02/69.91	o 115763 
144.46/70.24	o 115743 
144.56/70.36	o 115733 
144.66/70.47	o 115732 
144.66/70.48	o 115722 
145.03/70.61	o 115720 
145.21/70.72	o 115698 
145.51/70.86	o 115697 
146.32/71.01	o 115418 
146.45/71.16	o 115318 
146.72/71.30	o 115218 
146.97/71.47	o 115199 
147.35/71.65	o 115189 
147.51/71.72	o 115188 
147.61/71.83	o 115098 
147.61/71.87	o 115097 
147.76/71.98	o 115077 
147.93/72.09	o 115067 
148.22/72.20	o 115057 
148.37/72.31	o 115056 
148.48/72.43	o 115046 
148.63/72.50	o 115045 
148.75/72.61	o 114976 
148.86/72.76	o 114975 
149.29/73.02	o 114955 
149.29/73.05	o 114945 
149.49/73.17	o 114856 
149.70/73.31	o 114855 
149.90/73.44	o 114835 
150.04/73.50	o 114825 
150.24/73.62	o 114754 
150.38/73.76	o 114753 
150.49/73.88	o 114733 
150.63/74.00	o 114723 
151.03/74.14	o 114722 
151.03/74.15	o 114712 
151.29/74.27	o 114710 
151.63/74.42	o 114688 
152.08/74.68	o 114687 
152.46/74.85	o 114663 
152.56/74.96	o 114662 
152.56/74.99	o 114642 
152.72/75.10	o 114632 
152.96/75.21	o 114631 
153.06/75.33	o 114621 
153.30/75.46	o 114619 
153.49/75.57	o 114597 
153.92/75.72	o 114596 
154.46/75.99	o 114565 
154.60/76.10	o 114564 
154.80/76.22	o 114544 
154.91/76.35	o 114534 
155.08/76.46	o 114445 
155.31/76.61	o 114444 
155.44/76.72	o 114424 
155.61/76.84	o 114414 
155.97/77.09	o 114412 
156.29/77.21	o 114401 
156.50/77.31	o 114379 
156.96/77.57	o 114343 
157.10/77.69	o 114342 
157.31/77.80	o 114322 
157.31/77.81	o 114312 
157.50/77.93	o 114311 
157.50/77.94	o 114301 
157.75/78.05	o 114299 
157.88/78.19	o 114277 
158.05/78.27	o 114276 
159.15/78.55	o 114243 
159.15/78.55	o 114242 
159.29/78.70	o 114222 
159.40/78.71	o 114212 
159.51/78.82	o 114211 
159.51/78.83	o 114201 
159.76/78.97	o 114199 
160.11/79.11	o 114177 
160.42/79.20	o 114176 
161.18/79.47	o 114167 
161.42/79.58	o 114166 
162.07/79.74	o 114157 
162.35/79.85	o 114156 
162.77/79.97	o 114155 
163.49/80.23	o 114123 
163.49/80.25	o 114122 
163.49/80.26	o 114102 
163.65/80.38	o 114092 
163.77/80.44	o 114091 
163.77/80.45	o 114081 
165.02/80.80	o 113786 
165.02/80.82	o 113686 
165.02/80.82	o 113586 
165.18/80.95	o 113567 
165.33/81.01	o 113557 
165.33/81.02	o 113556 
165.33/81.03	o 113466 
165.33/81.10	o 113465 
165.68/81.27	o 113445 
165.83/81.38	o 113444 
165.95/81.48	o 113433 
166.08/81.51	o 113422 
166.08/81.57	o 113400 
166.34/81.66	o 113344 
166.34/81.67	o 113343 
166.34/81.69	o 113323 
166.68/81.86	o 113313 
166.83/81.98	o 113224 
166.97/82.08	o 113223 
167.09/82.12	o 113203 
167.09/82.17	o 113193 
167.09/82.19	o 65323 
167.46/82.36	o 65314 
167.87/82.54	o 64525 
168.24/82.70	o 64425 
168.24/82.76	o 64415 
168.59/82.90	o 64325 
168.59/82.95	o 64315 
169.07/83.16	o 63535 
169.32/83.34	o 63435 
169.32/83.34	o 63425 
169.64/83.51	o 63335 
169.75/83.69	o 63325 
170.24/83.86	o 62645 
170.56/84.01	o 62545 
170.56/84.02	o 62535 
170.69/84.13	o 62445 
170.78/84.24	o 62435 
170.92/84.36	o 62345 
171.04/84.47	o 62335 
171.61/84.64	o 62325 
514.86/127.88	o 30410 
515.87/128.14	o 29519 
517.21/128.96	o 29417 
518.40/129.22	o 28429 
519.69/130.03	o 28418 
520.27/130.18	o 28409 
1163.71/210.91	o 24461 
1164.08/211.10	o 24361 
1164.97/211.27	o 23461 
1166.05/211.45	o 23251 
1166.97/211.64	o 22701 
3329.98/482.80	o 20423 
3331.39/483.04	o 20343 
3332.02/483.25	o 20333 
19578.18/2520.10	s SATISFIABLE
19578.18/2520.10	v <instantiation>
19578.18/2520.10	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>
19578.18/2520.10	v 	<values>30 268 16 254 72 310 240 478 240 478 114 352 254 16 652 414 16 254 30 268 722 484 380 142 498 736 268 30 484 722 708 470 310 72 554 792 16 254 296 58 694 456 540 778 86 324 268 30 680 442 764 526 268 30 114 352 722 484 722 484 680 442 30 268 792 554 100 338 764 526 498 736 380 142 30 268 30 268 156 394 100 338 16 254 792 554 792 554 30 268 16 254 128 366 72 310 408 170 456 694 456 694 268 30 666 428 254 16 680 442 414 652 414 652 764 526 380 142 254 16 380 142 170 408 268 30 484 722 44 282 414 652 100 338 240 478 554 792 414 652 470 708 16 254 792 554 764 526 414 652 778 540 540 778 512 750 792 554 484 722 128 366 736 498 128 366 680 442 58 296 512 750 554 792 268 30 86 324 414 652 128 366 708 470 736 498 16 254 792 554 16 254 240 478 72 310 16 254 652 414 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 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 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 1000 0 0 1000 1000 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 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 100 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 100 0 0 100 0 0 0 100 100 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 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 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 100 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 100 0 0 0 0 100 100 100 0 0 100 0 0 100 0 0 0 100 0 100 100 0 100 100 100 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 10 10 0 10 10 0 10 10 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 10 0 0 0 10 10 0 0 0 10 10 10 0 10 0 0 0 10 10 0 10 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 10 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 10 0 0 10 0 0 10 10 0 10 10 10 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 10 0 0 0 10 0 10 10 0 0 0 0 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 0 0 10 0 0 0 0 0 0 10 10 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 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 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 1 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 </values>
19578.18/2520.10	v </instantiation>
19578.18/2520.10	c Unexpected resolution interruption!

Verifier Data 

OK	20333

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 (8303 MiB free)
  memory of node 1: 16384 MiB (14821 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297874-1532706647/watcher-4297874-1532706647 -o /tmp/evaluation-result-4297874-1532706647/solver-4297874-1532706647 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1532706647-13303 --watchdog 2580 HOME/xcsp3-exec -seed 1163486068 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297874-1532706647.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=13320, runsolver pid=13317
Current StackSize limit: 8192 KiB


[startup+0.100145 s]*
/proc/loadavg: 7.47 8.12 8.26 2/200 13341
/proc/meminfo: memFree=23663168/32770624 swapFree=67108404/67108860
[pid=13320] ppid=13317 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13320/stat : 13320 (xcsp3-exec) S 13317 13320 13276 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 88227836 115843072 363 33554432000 4194304 5098028 140736262070128 140736262068232 139756338729596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22482944 140736262071349 140736262071552 140736262071552 140736262074314 0
/proc/13320/statm: 28282 363 306 221 0 87 0
[pid=13322] ppid=13320 vsize=26104152 memory=27804 CPUtime=0.11 cores=0-7
/proc/13322/stat : 13322 (java) S 13320 13320 13276 0 -1 1077944320 5879 0 0 0 9 2 0 0 20 0 20 0 88227836 26730651648 6951 33554432000 4194304 4196468 140733663634384 140733663616928 140693773094647 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
/proc/13322/statm: 6526038 6951 2992 1 0 6488315 0
[pid=13322/tid=13323] ppid=13320 vsize=26104152 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/13322/task/13323/stat : 13323 (java) R 13320 13320 13276 0 -1 4202560 3890 0 0 0 8 1 0 0 20 0 20 0 88227837 26730651648 6951 33554432000 4194304 4196468 140733663634384 140693777322880 140693773106582 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13324] ppid=13320 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/13322/task/13324/stat : 13324 (java) S 13320 13320 13276 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88227837 26730651648 6951 33554432000 4194304 4196468 140733663634384 140693331164048 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13325] ppid=13320 vsize=26104152 memory=140663246890624 CPUtime=0 cores=0-7
/proc/13322/task/13325/stat : 13325 (java) S 13320 13320 13276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88227837 26730651648 6951 33554432000 4194304 4196468 140733663634384 140693330111248 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13326] ppid=13320 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13322/task/13326/stat : 13326 (java) S 13320 13320 13276 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88227837 26730651648 6951 33554432000 4194304 4196468 140733663634384 140693329058960 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13327] ppid=13320 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13322/task/13327/stat : 13327 (java) S 13320 13320 13276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88227837 26730651648 6951 33554432000 4194304 4196468 140733663634384 140693328006160 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13328] ppid=13320 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13322/task/13328/stat : 13328 (java) S 13320 13320 13276 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88227837 26730651648 6951 33554432000 4194304 4196468 140733663634384 140693326952848 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13329] ppid=13320 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/13322/task/13329/stat : 13329 (java) S 13320 13320 13276 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88227837 26730651648 6951 33554432000 4194304 4196468 140733663634384 140693325900048 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13330] ppid=13320 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13322/task/13330/stat : 13330 (java) S 13320 13320 13276 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88227837 26730651648 6951 33554432000 4194304 4196468 140733663634384 140693324847760 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13331] ppid=13320 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13322/task/13331/stat : 13331 (java) S 13320 13320 13276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88227837 26730651648 6951 33554432000 4194304 4196468 140733663634384 140693323794960 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13332] ppid=13320 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13322/task/13332/stat : 13332 (java) S 13320 13320 13276 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88227839 26730651648 6951 33554432000 4194304 4196468 140733663634384 140692447775344 140693773105794 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13333] ppid=13320 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13322/task/13333/stat : 13333 (java) S 13320 13320 13276 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88227839 26730651648 6951 33554432000 4194304 4196468 140733663634384 140692446721312 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13334] ppid=13320 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13322/task/13334/stat : 13334 (java) S 13320 13320 13276 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88227840 26730651648 6951 33554432000 4194304 4196468 140733663634384 140692445668976 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13335] ppid=13320 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13322/task/13335/stat : 13335 (java) S 13320 13320 13276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88227842 26730651648 6951 33554432000 4194304 4196468 140733663634384 140692444617296 140693773113243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13336] ppid=13320 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13322/task/13336/stat : 13336 (java) R 13320 13320 13276 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 88227842 26730651648 6951 33554432000 4194304 4196468 140733663634384 140692443564144 140693773105794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13337] ppid=13320 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13322/task/13337/stat : 13337 (java) S 13320 13320 13276 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 88227842 26730651648 6951 33554432000 4194304 4196468 140733663634384 140692442511344 140693773105794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13338] ppid=13320 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13322/task/13338/stat : 13338 (java) R 13320 13320 13276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88227842 26730651648 6951 33554432000 4194304 4196468 140733663634384 140692441459056 140693773105794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13339] ppid=13320 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/13322/task/13339/stat : 13339 (java) R 13320 13320 13276 0 -1 4202560 248 0 0 0 1 0 0 0 20 0 20 0 88227842 26730651648 6951 33554432000 4194304 4196468 140733663634384 140692440406256 140693773115994 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13340] ppid=13320 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13322/task/13340/stat : 13340 (java) S 13320 13320 13276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88227842 26730651648 6951 33554432000 4194304 4196468 140733663634384 140692439354208 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13341] ppid=13320 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/13322/task/13341/stat : 13341 (java) S 13320 13320 13276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88227842 26730651648 6951 33554432000 4194304 4196468 140733663634384 140692438301488 140693773105794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 29256 KiB

[startup+0.210122 s]*
/proc/loadavg: 7.47 8.12 8.26 2/200 13341
/proc/meminfo: memFree=23651712/32770624 swapFree=67108404/67108860
[pid=13320] ppid=13317 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13320/stat : 13320 (xcsp3-exec) S 13317 13320 13276 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 88227836 115843072 363 33554432000 4194304 5098028 140736262070128 140736262068232 139756338729596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22482944 140736262071349 140736262071552 140736262071552 140736262074314 0
/proc/13320/statm: 28282 363 306 221 0 87 0
[pid=13322] ppid=13320 vsize=26104152 memory=39736 CPUtime=0.32 cores=0-7
/proc/13322/stat : 13322 (java) S 13320 13320 13276 0 -1 1077944320 8525 0 0 0 30 2 0 0 20 0 20 0 88227836 26730651648 9934 33554432000 4194304 4196468 140733663634384 140733663616928 140693773094647 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
/proc/13322/statm: 6526038 9934 3134 1 0 6488315 0
[pid=13322/tid=13323] ppid=13320 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/13322/task/13323/stat : 13323 (java) R 13320 13320 13276 0 -1 4202560 5612 0 0 0 18 1 0 0 20 0 20 0 88227837 26730651648 9934 33554432000 4194304 4196468 140733663634384 140693777325920 140693773106582 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13324] ppid=13320 vsize=26104152 memory=331 CPUtime=0 cores=0-7
/proc/13322/task/13324/stat : 13324 (java) S 13320 13320 13276 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88227837 26730651648 9934 33554432000 4194304 4196468 140733663634384 140693331164048 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13325] ppid=13320 vsize=26104152 memory=140663246903288 CPUtime=0 cores=0-7
/proc/13322/task/13325/stat : 13325 (java) S 13320 13320 13276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88227837 26730651648 9934 33554432000 4194304 4196468 140733663634384 140693330111248 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13326] ppid=13320 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/13322/task/13326/stat : 13326 (java) S 13320 13320 13276 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88227837 26730651648 9934 33554432000 4194304 4196468 140733663634384 140693329058960 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13327] ppid=13320 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13322/task/13327/stat : 13327 (java) S 13320 13320 13276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88227837 26730651648 9934 33554432000 4194304 4196468 140733663634384 140693328006160 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13328] ppid=13320 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13322/task/13328/stat : 13328 (java) S 13320 13320 13276 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88227837 26730651648 9934 33554432000 4194304 4196468 140733663634384 140693326952848 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13329] ppid=13320 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/13322/task/13329/stat : 13329 (java) S 13320 13320 13276 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88227837 26730651648 9934 33554432000 4194304 4196468 140733663634384 140693325900048 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13330] ppid=13320 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13322/task/13330/stat : 13330 (java) S 13320 13320 13276 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88227837 26730651648 9934 33554432000 4194304 4196468 140733663634384 140693324847760 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13331] ppid=13320 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13322/task/13331/stat : 13331 (java) S 13320 13320 13276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88227837 26730651648 9934 33554432000 4194304 4196468 140733663634384 140693323794960 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13332] ppid=13320 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13322/task/13332/stat : 13332 (java) S 13320 13320 13276 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88227839 26730651648 9934 33554432000 4194304 4196468 140733663634384 140692447775344 140693773105794 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13333] ppid=13320 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13322/task/13333/stat : 13333 (java) S 13320 13320 13276 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88227839 26730651648 9934 33554432000 4194304 4196468 140733663634384 140692446721312 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13334] ppid=13320 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13322/task/13334/stat : 13334 (java) S 13320 13320 13276 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88227840 26730651648 9934 33554432000 4194304 4196468 140733663634384 140692445668976 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13335] ppid=13320 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13322/task/13335/stat : 13335 (java) S 13320 13320 13276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88227842 26730651648 9934 33554432000 4194304 4196468 140733663634384 140692444617296 140693773113243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13336] ppid=13320 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7
/proc/13322/task/13336/stat : 13336 (java) S 13320 13320 13276 0 -1 1077944384 603 0 0 0 2 0 0 0 20 0 20 0 88227842 26730651648 9934 33554432000 4194304 4196468 140733663634384 140692443564144 140693773105794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13337] ppid=13320 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13322/task/13337/stat : 13337 (java) S 13320 13320 13276 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 88227842 26730651648 9934 33554432000 4194304 4196468 140733663634384 140692442511344 140693773105794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13338] ppid=13320 vsize=26104152 memory=-1 CPUtime=0.01 cores=0-7
/proc/13322/task/13338/stat : 13338 (java) S 13320 13320 13276 0 -1 1077944384 120 0 0 0 1 0 0 0 20 0 20 0 88227842 26730651648 9934 33554432000 4194304 4196468 140733663634384 140692441459056 140693773105794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13339] ppid=13320 vsize=26104152 memory=-1 CPUtime=0.08 cores=0-7
/proc/13322/task/13339/stat : 13339 (java) S 13320 13320 13276 0 -1 1077944384 749 0 0 0 8 0 0 0 20 0 20 0 88227842 26730651648 9934 33554432000 4194304 4196468 140733663634384 140692440406256 140693773105794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13340] ppid=13320 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13322/task/13340/stat : 13340 (java) S 13320 13320 13276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88227842 26730651648 9934 33554432000 4194304 4196468 140733663634384 140692439354208 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13341] ppid=13320 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/13322/task/13341/stat : 13341 (java) S 13320 13320 13276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88227842 26730651648 9934 33554432000 4194304 4196468 140733663634384 140692438301488 140693773105794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 41188 KiB

[startup+0.309515 s]*
/proc/loadavg: 7.47 8.12 8.26 4/200 13341
/proc/meminfo: memFree=23646172/32770624 swapFree=67108404/67108860
[pid=13320] ppid=13317 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13320/stat : 13320 (xcsp3-exec) S 13317 13320 13276 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 88227836 115843072 363 33554432000 4194304 5098028 140736262070128 140736262068232 139756338729596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22482944 140736262071349 140736262071552 140736262071552 140736262074314 0
/proc/13320/statm: 28282 363 306 221 0 87 0
[pid=13322] ppid=13320 vsize=26108408 memory=46280 CPUtime=0.5 cores=0-7
/proc/13322/stat : 13322 (java) S 13320 13320 13276 0 -1 1077944320 9248 0 0 0 47 3 0 0 20 0 20 0 88227836 26735009792 11570 33554432000 4194304 4196468 140733663634384 140733663616928 140693773094647 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
/proc/13322/statm: 6527102 11570 3227 1 0 6488315 0
[pid=13322/tid=13323] ppid=13320 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/13322/task/13323/stat : 13323 (java) R 13320 13320 13276 0 -1 4202560 6263 0 0 0 27 2 0 0 20 0 20 0 88227837 26735009792 11570 33554432000 4194304 4196468 140733663634384 140693777325760 140693773116573 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13324] ppid=13320 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/13322/task/13324/stat : 13324 (java) S 13320 13320 13276 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88227837 26735009792 11570 33554432000 4194304 4196468 140733663634384 140693331164048 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13325] ppid=13320 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/13322/task/13325/stat : 13325 (java) S 13320 13320 13276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88227837 26735009792 11570 33554432000 4194304 4196468 140733663634384 140693330111248 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13326] ppid=13320 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/13322/task/13326/stat : 13326 (java) S 13320 13320 13276 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88227837 26735009792 11570 33554432000 4194304 4196468 140733663634384 140693329058960 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13327] ppid=13320 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/13322/task/13327/stat : 13327 (java) S 13320 13320 13276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88227837 26735009792 11570 33554432000 4194304 4196468 140733663634384 140693328006160 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13328] ppid=13320 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/13322/task/13328/stat : 13328 (java) S 13320 13320 13276 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88227837 26735009792 11570 33554432000 4194304 4196468 140733663634384 140693326952848 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13329] ppid=13320 vsize=26108408 memory=140663131829167 CPUtime=0 cores=0-7
/proc/13322/task/13329/stat : 13329 (java) S 13320 13320 13276 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88227837 26735009792 11570 33554432000 4194304 4196468 140733663634384 140693325900048 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13330] ppid=13320 vsize=26108408 memory=140663131831472 CPUtime=0 cores=0-7
/proc/13322/task/13330/stat : 13330 (java) S 13320 13320 13276 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88227837 26735009792 11570 33554432000 4194304 4196468 140733663634384 140693324847760 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13331] ppid=13320 vsize=26108408 memory=140663131833776 CPUtime=0 cores=0-7
/proc/13322/task/13331/stat : 13331 (java) S 13320 13320 13276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88227837 26735009792 11570 33554432000 4194304 4196468 140733663634384 140693323794960 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13332] ppid=13320 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/13322/task/13332/stat : 13332 (java) S 13320 13320 13276 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88227839 26735009792 11570 33554432000 4194304 4196468 140733663634384 140692447775344 140693773105794 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13333] ppid=13320 vsize=26108408 memory=281326263674512 CPUtime=0 cores=0-7
/proc/13322/task/13333/stat : 13333 (java) S 13320 13320 13276 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88227839 26735009792 11570 33554432000 4194304 4196468 140733663634384 140692446721312 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13334] ppid=13320 vsize=26108408 memory=281326263681424 CPUtime=0 cores=0-7
/proc/13322/task/13334/stat : 13334 (java) S 13320 13320 13276 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88227840 26735009792 11570 33554432000 4194304 4196468 140733663634384 140692445668976 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13335] ppid=13320 vsize=26108408 memory=281326263622704 CPUtime=0 cores=0-7
/proc/13322/task/13335/stat : 13335 (java) S 13320 13320 13276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88227842 26735009792 11570 33554432000 4194304 4196468 140733663634384 140692444617296 140693773113243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13336] ppid=13320 vsize=26108408 memory=281326263695248 CPUtime=0.02 cores=0-7
/proc/13322/task/13336/stat : 13336 (java) S 13320 13320 13276 0 -1 1077944384 606 0 0 0 2 0 0 0 20 0 20 0 88227842 26735009792 11570 33554432000 4194304 4196468 140733663634384 140692443564144 140693773105794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13337] ppid=13320 vsize=26108408 memory=281326263702160 CPUtime=0.01 cores=0-7
/proc/13322/task/13337/stat : 13337 (java) S 13320 13320 13276 0 -1 1077944384 144 0 0 0 1 0 0 0 20 0 20 0 88227842 26735009792 11570 33554432000 4194304 4196468 140733663634384 140692442511344 140693773105794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13338] ppid=13320 vsize=26108408 memory=281326263699856 CPUtime=0.02 cores=0-7
/proc/13322/task/13338/stat : 13338 (java) S 13320 13320 13276 0 -1 1077944384 124 0 0 0 2 0 0 0 20 0 20 0 88227842 26735009792 11570 33554432000 4194304 4196468 140733663634384 140692441459056 140693773105794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13339] ppid=13320 vsize=26108408 memory=281326263716016 CPUtime=0.12 cores=0-7
/proc/13322/task/13339/stat : 13339 (java) R 13320 13320 13276 0 -1 4202560 799 0 0 0 12 0 0 0 20 0 20 0 88227842 26735009792 11570 33554432000 4194304 4196468 140733663634384 140692440406256 140693773105794 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13340] ppid=13320 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/13322/task/13340/stat : 13340 (java) S 13320 13320 13276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88227842 26735009792 11570 33554432000 4194304 4196468 140733663634384 140692439354208 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13341] ppid=13320 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/13322/task/13341/stat : 13341 (java) S 13320 13320 13276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88227842 26735009792 11570 33554432000 4194304 4196468 140733663634384 140692438301488 140693773105794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 47732 KiB

[startup+0.700926 s]
/proc/loadavg: 7.47 8.12 8.26 5/200 13341
/proc/meminfo: memFree=23623744/32770624 swapFree=67108404/67108860
[pid=13320] ppid=13317 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13320/stat : 13320 (xcsp3-exec) S 13317 13320 13276 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 88227836 115843072 363 33554432000 4194304 5098028 140736262070128 140736262068232 139756338729596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22482944 140736262071349 140736262071552 140736262071552 140736262074314 0
/proc/13320/statm: 28282 363 306 221 0 87 0
[pid=13322] ppid=13320 vsize=26110532 memory=91640 CPUtime=1.88 cores=0-7
/proc/13322/stat : 13322 (java) S 13320 13320 13276 0 -1 1077944320 14536 0 0 0 182 6 0 0 20 0 20 0 88227836 26737184768 22910 33554432000 4194304 4196468 140733663634384 140733663616928 140693773094647 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
/proc/13322/statm: 6527633 22910 3361 1 0 6488827 0
[pid=13322/tid=13323] ppid=13320 vsize=26110532 memory=281326264073904 CPUtime=0.67 cores=0-7
/proc/13322/task/13323/stat : 13323 (java) R 13320 13320 13276 0 -1 4202560 7192 0 0 0 64 3 0 0 20 0 20 0 88227837 26737184768 22910 33554432000 4194304 4196468 140733663634384 140693777322720 140693410233711 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13324] ppid=13320 vsize=26110532 memory=140663132038000 CPUtime=0 cores=0-7
/proc/13322/task/13324/stat : 13324 (java) S 13320 13320 13276 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88227837 26737184768 22910 33554432000 4194304 4196468 140733663634384 140693331164048 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13325] ppid=13320 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/13322/task/13325/stat : 13325 (java) S 13320 13320 13276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88227837 26737184768 22910 33554432000 4194304 4196468 140733663634384 140693330111248 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13326] ppid=13320 vsize=26110532 memory=1440 CPUtime=0 cores=0-7
/proc/13322/task/13326/stat : 13326 (java) S 13320 13320 13276 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88227837 26737184768 22910 33554432000 4194304 4196468 140733663634384 140693329058960 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0

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

[pid=13322/tid=20088] ppid=13320 vsize=26711656 memory=1300 CPUtime=1946.49 cores=0-7
/proc/13322/task/20088/stat : 20088 (java) R 13320 13320 13276 0 -1 4202560 9202 0 0 0 194646 3 0 0 20 0 28 0 88276161 27352735744 650995 33554432000 4194304 4196468 140733663634384 140692427608640 140693420120001 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
Current children cumulated CPU time: 18959.6 s
Current children cumulated vsize: 26824784 KiB
Current children cumulated memory: 2605432 KiB

[startup+2502.3 s]
/proc/loadavg: 8.09 8.22 8.19 9/208 20142
/proc/meminfo: memFree=21146640/32770624 swapFree=67108404/67108860
[pid=13320] ppid=13317 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13320/stat : 13320 (xcsp3-exec) S 13317 13320 13276 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 88227836 115843072 363 33554432000 4194304 5098028 140736262070128 140736262068232 139756338729596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22482944 140736262071349 140736262071552 140736262071552 140736262074314 0
/proc/13320/statm: 28282 363 306 221 0 87 0
[pid=13322] ppid=13320 vsize=26711656 memory=2538828 CPUtime=19437.2 cores=0-7
/proc/13322/stat : 13322 (java) S 13320 13320 13276 0 -1 1077944320 685199 0 0 0 1942999 722 0 0 20 0 28 0 88227836 27352735744 634707 33554432000 4194304 4196468 140733663634384 140733663616928 140693773094647 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
/proc/13322/statm: 6677914 634707 3463 1 0 6639108 0
[pid=13322/tid=13323] ppid=13320 vsize=26711656 memory=2538828 CPUtime=8.06 cores=0-7
/proc/13322/task/13323/stat : 13323 (java) S 13320 13320 13276 0 -1 1077944384 12358 0 0 0 786 20 0 0 20 0 28 0 88227837 27352735744 634707 33554432000 4194304 4196468 140733663634384 140693777335360 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13324] ppid=13320 vsize=26711656 memory=2541904 CPUtime=2.16 cores=0-7
/proc/13322/task/13324/stat : 13324 (java) S 13320 13320 13276 0 -1 1077944384 8957 0 0 0 175 41 0 0 20 0 28 0 88227837 27352735744 634707 33554432000 4194304 4196468 140733663634384 140693331164048 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13325] ppid=13320 vsize=26711656 memory=1452 CPUtime=2.16 cores=0-7
/proc/13322/task/13325/stat : 13325 (java) S 13320 13320 13276 0 -1 1077944384 9481 0 0 0 175 41 0 0 20 0 28 0 88227837 27352735744 634707 33554432000 4194304 4196468 140733663634384 140693330111248 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13326] ppid=13320 vsize=26711656 memory=2588592 CPUtime=2.12 cores=0-7
/proc/13322/task/13326/stat : 13326 (java) S 13320 13320 13276 0 -1 1077944384 11900 0 0 0 175 37 0 0 20 0 28 0 88227837 27352735744 634707 33554432000 4194304 4196468 140733663634384 140693329058960 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13327] ppid=13320 vsize=26711656 memory=2895356 CPUtime=2.1 cores=0-7
/proc/13322/task/13327/stat : 13327 (java) S 13320 13320 13276 0 -1 1077944384 9053 0 0 0 173 37 0 0 20 0 28 0 88227837 27352735744 634707 33554432000 4194304 4196468 140733663634384 140693328006160 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13328] ppid=13320 vsize=26711656 memory=2817892 CPUtime=2.21 cores=0-7
/proc/13322/task/13328/stat : 13328 (java) S 13320 13320 13276 0 -1 1077944384 9137 0 0 0 180 41 0 0 20 0 28 0 88227837 27352735744 634707 33554432000 4194304 4196468 140733663634384 140693326952848 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13329] ppid=13320 vsize=26711656 memory=2809168 CPUtime=2.18 cores=0-7
/proc/13322/task/13329/stat : 13329 (java) S 13320 13320 13276 0 -1 1077944384 11180 0 0 0 178 40 0 0 20 0 28 0 88227837 27352735744 634707 33554432000 4194304 4196468 140733663634384 140693325900048 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13330] ppid=13320 vsize=26711656 memory=1452 CPUtime=2.15 cores=0-7
/proc/13322/task/13330/stat : 13330 (java) S 13320 13320 13276 0 -1 1077944384 10425 0 0 0 173 42 0 0 20 0 28 0 88227837 27352735744 634707 33554432000 4194304 4196468 140733663634384 140693324847760 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13331] ppid=13320 vsize=26711656 memory=2601416 CPUtime=2.17 cores=0-7
/proc/13322/task/13331/stat : 13331 (java) S 13320 13320 13276 0 -1 1077944384 9837 0 0 0 173 44 0 0 20 0 28 0 88227837 27352735744 634707 33554432000 4194304 4196468 140733663634384 140693323794960 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13332] ppid=13320 vsize=26711656 memory=2572176 CPUtime=0.43 cores=0-7
/proc/13322/task/13332/stat : 13332 (java) S 13320 13320 13276 0 -1 1077944384 20053 0 0 0 31 12 0 0 20 0 28 0 88227839 27352735744 634707 33554432000 4194304 4196468 140733663634384 140692447775344 140693773105794 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13333] ppid=13320 vsize=26711656 memory=2549088 CPUtime=0 cores=0-7
/proc/13322/task/13333/stat : 13333 (java) S 13320 13320 13276 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 88227839 27352735744 634707 33554432000 4194304 4196468 140733663634384 140692446721376 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13334] ppid=13320 vsize=26711656 memory=2575768 CPUtime=0 cores=0-7
/proc/13322/task/13334/stat : 13334 (java) S 13320 13320 13276 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 88227840 27352735744 634707 33554432000 4194304 4196468 140733663634384 140692445668992 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13335] ppid=13320 vsize=26711656 memory=2541904 CPUtime=0 cores=0-7
/proc/13322/task/13335/stat : 13335 (java) S 13320 13320 13276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88227842 27352735744 634707 33554432000 4194304 4196468 140733663634384 140692444617296 140693773113243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13336] ppid=13320 vsize=26711656 memory=1452 CPUtime=4.08 cores=0-7
/proc/13322/task/13336/stat : 13336 (java) S 13320 13320 13276 0 -1 1077944384 27839 0 0 0 404 4 0 0 20 0 28 0 88227842 27352735744 634707 33554432000 4194304 4196468 140733663634384 140692443564144 140693773105794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 30 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13337] ppid=13320 vsize=26711656 memory=1452 CPUtime=4.58 cores=0-7
/proc/13322/task/13337/stat : 13337 (java) S 13320 13320 13276 0 -1 1077944384 32007 0 0 0 452 6 0 0 20 0 28 0 88227842 27352735744 634707 33554432000 4194304 4196468 140733663634384 140692442511344 140693773105794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13338] ppid=13320 vsize=26711656 memory=1452 CPUtime=4.21 cores=0-7
/proc/13322/task/13338/stat : 13338 (java) S 13320 13320 13276 0 -1 1077944384 25911 0 0 0 417 4 0 0 20 0 28 0 88227842 27352735744 634707 33554432000 4194304 4196468 140733663634384 140692441459056 140693773105794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13339] ppid=13320 vsize=26711656 memory=2540880 CPUtime=1.23 cores=0-7
/proc/13322/task/13339/stat : 13339 (java) S 13320 13320 13276 0 -1 1077944384 18426 0 0 0 119 4 0 0 20 0 28 0 88227842 27352735744 634707 33554432000 4194304 4196468 140733663634384 140692440406256 140693773105794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13340] ppid=13320 vsize=26711656 memory=4012 CPUtime=0 cores=0-7
/proc/13322/task/13340/stat : 13340 (java) S 13320 13320 13276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88227842 27352735744 634707 33554432000 4194304 4196468 140733663634384 140692439354208 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13341] ppid=13320 vsize=26711656 memory=25616 CPUtime=0.96 cores=0-7
/proc/13322/task/13341/stat : 13341 (java) S 13320 13320 13276 0 -1 1077944384 4612 0 0 0 55 41 0 0 20 0 28 0 88227842 27352735744 634707 33554432000 4194304 4196468 140733663634384 140692438301488 140693773105794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=20081] ppid=13320 vsize=26711656 memory=1452 CPUtime=2011.57 cores=0-7
/proc/13322/task/20081/stat : 20081 (java) R 13320 13320 13276 0 -1 4202560 26675 0 0 0 201152 5 0 0 20 0 28 0 88276161 27352735744 634707 33554432000 4194304 4196468 140733663634384 140692419186968 140693414731264 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=20082] ppid=13320 vsize=26711656 memory=2570124 CPUtime=2016.7 cores=0-7
/proc/13322/task/20082/stat : 20082 (java) R 13320 13320 13276 0 -1 4202560 10403 0 0 0 201666 4 0 0 20 0 28 0 88276161 27352735744 634707 33554432000 4194304 4196468 140733663634384 140692425503960 140693420120016 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=20083] ppid=13320 vsize=26711656 memory=1452 CPUtime=2004.59 cores=0-7
/proc/13322/task/20083/stat : 20083 (java) R 13320 13320 13276 0 -1 4202560 10463 0 0 0 200444 15 0 0 20 0 28 0 88276161 27352735744 634707 33554432000 4194304 4196468 140733663634384 140692421292632 140693413764598 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=20084] ppid=13320 vsize=26711656 memory=4012 CPUtime=2017.1 cores=0-7
/proc/13322/task/20084/stat : 20084 (java) R 13320 13320 13276 0 -1 4202560 43520 0 0 0 201686 24 0 0 20 0 28 0 88276161 27352735744 634707 33554432000 4194304 4196468 140733663634384 140692420239736 140693413980984 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=20085] ppid=13320 vsize=26711656 memory=2541904 CPUtime=2008.1 cores=0-7
/proc/13322/task/20085/stat : 20085 (java) R 13320 13320 13276 0 -1 4202560 24212 0 0 0 200797 13 0 0 20 0 28 0 88276161 27352735744 634707 33554432000 4194304 4196468 140733663634384 140692426559136 140693420177403 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=20086] ppid=13320 vsize=26711656 memory=1452 CPUtime=2017.05 cores=0-7
/proc/13322/task/20086/stat : 20086 (java) R 13320 13320 13276 0 -1 4202560 8340 0 0 0 201689 16 0 0 20 0 28 0 88276161 27352735744 634707 33554432000 4194304 4196468 140733663634384 140692422345432 140693420119995 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=20087] ppid=13320 vsize=26711656 memory=1440 CPUtime=2014.85 cores=0-7
/proc/13322/task/20087/stat : 20087 (java) R 13320 13320 13276 0 -1 4202560 17064 0 0 0 201470 15 0 0 20 0 28 0 88276161 27352735744 634707 33554432000 4194304 4196468 140733663634384 140692423398240 140693414731271 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=20088] ppid=13320 vsize=26711656 memory=4612 CPUtime=2005.92 cores=0-7
/proc/13322/task/20088/stat : 20088 (java) R 13320 13320 13276 0 -1 4202560 9564 0 0 0 200589 3 0 0 20 0 28 0 88276161 27352735744 634707 33554432000 4194304 4196468 140733663634384 140692427608824 140693420119995 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
Current children cumulated CPU time: 19437.2 s
Current children cumulated vsize: 26824784 KiB
Current children cumulated memory: 2540280 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.07 8.20 8.18 9/208 20142
/proc/meminfo: memFree=21151452/32770624 swapFree=67108404/67108860
[pid=13320] ppid=13317 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13320/stat : 13320 (xcsp3-exec) S 13317 13320 13276 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 88227836 115843072 363 33554432000 4194304 5098028 140736262070128 140736262068232 139756338729596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22482944 140736262071349 140736262071552 140736262071552 140736262074314 0
/proc/13320/statm: 28282 363 306 221 0 87 0
[pid=13322] ppid=13320 vsize=26711656 memory=2533176 CPUtime=19578.2 cores=0-7
/proc/13322/stat : 13322 (java) S 13320 13320 13276 0 -1 1077944320 690747 0 0 0 1957093 725 0 0 20 0 28 0 88227836 27352735744 633294 33554432000 4194304 4196468 140733663634384 140733663616928 140693773094647 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
/proc/13322/statm: 6677914 633294 3463 1 0 6639108 0
[pid=13322/tid=13323] ppid=13320 vsize=26711656 memory=1398720917958146503 CPUtime=8.06 cores=0-7
/proc/13322/task/13323/stat : 13323 (java) S 13320 13320 13276 0 -1 1077944384 12358 0 0 0 786 20 0 0 20 0 28 0 88227837 27352735744 633294 33554432000 4194304 4196468 140733663634384 140693777335360 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13324] ppid=13320 vsize=26711656 memory=4872558044660077418 CPUtime=2.22 cores=0-7
/proc/13322/task/13324/stat : 13324 (java) S 13320 13320 13276 0 -1 1077944384 9151 0 0 0 181 41 0 0 20 0 28 0 88227837 27352735744 633294 33554432000 4194304 4196468 140733663634384 140693331164048 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13325] ppid=13320 vsize=26711656 memory=13847469322668609 CPUtime=2.21 cores=0-7
/proc/13322/task/13325/stat : 13325 (java) S 13320 13320 13276 0 -1 1077944384 9584 0 0 0 180 41 0 0 20 0 28 0 88227837 27352735744 633294 33554432000 4194304 4196468 140733663634384 140693330111248 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13326] ppid=13320 vsize=26711656 memory=3908 CPUtime=2.18 cores=0-7
/proc/13322/task/13326/stat : 13326 (java) S 13320 13320 13276 0 -1 1077944384 12211 0 0 0 181 37 0 0 20 0 28 0 88227837 27352735744 633294 33554432000 4194304 4196468 140733663634384 140693329058960 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13327] ppid=13320 vsize=26711656 memory=1408 CPUtime=2.15 cores=0-7
/proc/13322/task/13327/stat : 13327 (java) S 13320 13320 13276 0 -1 1077944384 9407 0 0 0 178 37 0 0 20 0 28 0 88227837 27352735744 633294 33554432000 4194304 4196468 140733663634384 140693328006160 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13328] ppid=13320 vsize=26711656 memory=5192 CPUtime=2.26 cores=0-7
/proc/13322/task/13328/stat : 13328 (java) S 13320 13320 13276 0 -1 1077944384 9470 0 0 0 185 41 0 0 20 0 28 0 88227837 27352735744 633294 33554432000 4194304 4196468 140733663634384 140693326952848 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13329] ppid=13320 vsize=26711656 memory=1452 CPUtime=2.23 cores=0-7
/proc/13322/task/13329/stat : 13329 (java) S 13320 13320 13276 0 -1 1077944384 11561 0 0 0 183 40 0 0 20 0 28 0 88227837 27352735744 633294 33554432000 4194304 4196468 140733663634384 140693325900048 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13330] ppid=13320 vsize=26711656 memory=2532668 CPUtime=2.21 cores=0-7
/proc/13322/task/13330/stat : 13330 (java) S 13320 13320 13276 0 -1 1077944384 10544 0 0 0 179 42 0 0 20 0 28 0 88227837 27352735744 633294 33554432000 4194304 4196468 140733663634384 140693324847760 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13331] ppid=13320 vsize=26711656 memory=4104 CPUtime=2.21 cores=0-7
/proc/13322/task/13331/stat : 13331 (java) S 13320 13320 13276 0 -1 1077944384 10175 0 0 0 177 44 0 0 20 0 28 0 88227837 27352735744 633294 33554432000 4194304 4196468 140733663634384 140693323794960 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13332] ppid=13320 vsize=26711656 memory=1452 CPUtime=0.45 cores=0-7
/proc/13322/task/13332/stat : 13332 (java) S 13320 13320 13276 0 -1 1077944384 20492 0 0 0 32 13 0 0 20 0 28 0 88227839 27352735744 633294 33554432000 4194304 4196468 140733663634384 140692447775344 140693773105794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13333] ppid=13320 vsize=26711656 memory=2531640 CPUtime=0 cores=0-7
/proc/13322/task/13333/stat : 13333 (java) S 13320 13320 13276 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 88227839 27352735744 633294 33554432000 4194304 4196468 140733663634384 140692446721376 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13334] ppid=13320 vsize=26711656 memory=2244 CPUtime=0 cores=0-7
/proc/13322/task/13334/stat : 13334 (java) S 13320 13320 13276 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 88227840 27352735744 633294 33554432000 4194304 4196468 140733663634384 140692445668992 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13335] ppid=13320 vsize=26711656 memory=4124 CPUtime=0 cores=0-7
/proc/13322/task/13335/stat : 13335 (java) S 13320 13320 13276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88227842 27352735744 633294 33554432000 4194304 4196468 140733663634384 140692444617296 140693773113243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13336] ppid=13320 vsize=26711656 memory=2200 CPUtime=4.08 cores=0-7
/proc/13322/task/13336/stat : 13336 (java) S 13320 13320 13276 0 -1 1077944384 27843 0 0 0 404 4 0 0 20 0 28 0 88227842 27352735744 633294 33554432000 4194304 4196468 140733663634384 140692443564144 140693773105794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 30 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13337] ppid=13320 vsize=26711656 memory=7284 CPUtime=4.58 cores=0-7
/proc/13322/task/13337/stat : 13337 (java) S 13320 13320 13276 0 -1 1077944384 32011 0 0 0 452 6 0 0 20 0 28 0 88227842 27352735744 633294 33554432000 4194304 4196468 140733663634384 140692442511344 140693773105794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13338] ppid=13320 vsize=26711656 memory=840 CPUtime=4.21 cores=0-7
/proc/13322/task/13338/stat : 13338 (java) S 13320 13320 13276 0 -1 1077944384 25915 0 0 0 417 4 0 0 20 0 28 0 88227842 27352735744 633294 33554432000 4194304 4196468 140733663634384 140692441459056 140693773105794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13339] ppid=13320 vsize=26711656 memory=1796 CPUtime=1.23 cores=0-7
/proc/13322/task/13339/stat : 13339 (java) S 13320 13320 13276 0 -1 1077944384 18430 0 0 0 119 4 0 0 20 0 28 0 88227842 27352735744 633294 33554432000 4194304 4196468 140733663634384 140692440406256 140693773105794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13340] ppid=13320 vsize=26711656 memory=912 CPUtime=0 cores=0-7
/proc/13322/task/13340/stat : 13340 (java) S 13320 13320 13276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88227842 27352735744 633294 33554432000 4194304 4196468 140733663634384 140692439354208 140693773104853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=13341] ppid=13320 vsize=26711656 memory=912 CPUtime=0.96 cores=0-7
/proc/13322/task/13341/stat : 13341 (java) S 13320 13320 13276 0 -1 1077944384 4634 0 0 0 55 41 0 0 20 0 28 0 88227842 27352735744 633294 33554432000 4194304 4196468 140733663634384 140692438301488 140693773105794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=20081] ppid=13320 vsize=26711656 memory=3908 CPUtime=2028.99 cores=0-7
/proc/13322/task/20081/stat : 20081 (java) R 13320 13320 13276 0 -1 4202560 27143 0 0 0 202894 5 0 0 20 0 28 0 88276161 27352735744 633294 33554432000 4194304 4196468 140733663634384 140692419186968 140693420120116 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=20082] ppid=13320 vsize=26711656 memory=4044 CPUtime=2034.3 cores=0-7
/proc/13322/task/20082/stat : 20082 (java) R 13320 13320 13276 0 -1 4202560 10594 0 0 0 203426 4 0 0 20 0 28 0 88276161 27352735744 633294 33554432000 4194304 4196468 140733663634384 140692425503616 140693420119995 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=20083] ppid=13320 vsize=26711656 memory=14924 CPUtime=2022.04 cores=0-7
/proc/13322/task/20083/stat : 20083 (java) R 13320 13320 13276 0 -1 4202560 10716 0 0 0 202189 15 0 0 20 0 28 0 88276161 27352735744 633294 33554432000 4194304 4196468 140733663634384 140692421292496 140693420120010 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=20084] ppid=13320 vsize=26711656 memory=16240 CPUtime=2034.71 cores=0-7
/proc/13322/task/20084/stat : 20084 (java) R 13320 13320 13276 0 -1 4202560 44229 0 0 0 203447 24 0 0 20 0 28 0 88276161 27352735744 633294 33554432000 4194304 4196468 140733663634384 140692420242832 140693413764598 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=20085] ppid=13320 vsize=26711656 memory=1792 CPUtime=2025.65 cores=0-7
/proc/13322/task/20085/stat : 20085 (java) R 13320 13320 13276 0 -1 4202560 24743 0 0 0 202552 13 0 0 20 0 28 0 88276161 27352735744 633294 33554432000 4194304 4196468 140733663634384 140692426556248 140693420177245 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=20086] ppid=13320 vsize=26711656 memory=644 CPUtime=2034.67 cores=0-7
/proc/13322/task/20086/stat : 20086 (java) R 13320 13320 13276 0 -1 4202560 8566 0 0 0 203451 16 0 0 20 0 28 0 88276161 27352735744 633294 33554432000 4194304 4196468 140733663634384 140692422345296 140693420119995 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=20087] ppid=13320 vsize=26711656 memory=956 CPUtime=2032.48 cores=0-7
/proc/13322/task/20087/stat : 20087 (java) R 13320 13320 13276 0 -1 4202560 17481 0 0 0 203233 15 0 0 20 0 28 0 88276161 27352735744 633294 33554432000 4194304 4196468 140733663634384 140692423398352 140693414731271 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
[pid=13322/tid=20088] ppid=13320 vsize=26711656 memory=1232 CPUtime=2023.54 cores=0-7
/proc/13322/task/20088/stat : 20088 (java) R 13320 13320 13276 0 -1 4202560 9707 0 0 0 202351 3 0 0 20 0 28 0 88276161 27352735744 633294 33554432000 4194304 4196468 140733663634384 140692427608688 140693413764619 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 13283328 140733663638657 140733663638829 140733663638829 140733663641551 0
Current children cumulated CPU time: 19578.2 s
Current children cumulated vsize: 26824784 KiB
Current children cumulated memory: 2534628 KiB

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

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

[startup+2520.14 s]
# the end of solver process 13322 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19571.9 s, system=7.26986 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): 2520.14
CPU time (s): 19579.2
CPU user time (s): 19571.9
CPU system time (s): 7.26986
CPU usage (%): 776.906
Max. virtual memory (cumulated for all children) (KiB): 26824784
Max. memory (cumulated for all children) (KiB): 3447092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19571.9
system time used= 7.26986
maximum resident set size= 3451328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 691903
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 128374
involuntary context switches= 197595


# summary of solver processes directly reported to runsolver:
#   pid: 13320,13322
#   total CPU time (s): 19579.2
#   total CPU user time (s): 19571.9
#   total CPU system time (s): 7.26986

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.6512 second user time and 25.5378 second system time

The end

Launcher Data 

Begin job on node148 at 2018-07-27 17:50:47
IDJOB=4297874
IDBENCH=141204
IDSOLVER=2760
FILE ID=node148/4297874-1532706647
RUNJOBID= node148-1532706647-13303
PBS_JOBID= 21022312
Free space on /tmp= 43264 MiB

SOLVER NAME= Choco-solver 4.0.7b par (e747e1e)
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-05-opt_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297874-1532706647/watcher-4297874-1532706647 -o /tmp/evaluation-result-4297874-1532706647/solver-4297874-1532706647 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1532706647-13303 --watchdog 2580  HOME/xcsp3-exec -seed 1163486068 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297874-1532706647.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= d0ab6aee5f30ff70d66f863e0e3556a1
RANDOM SEED=1163486068

node148.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.50
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.50
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.50
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.50
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:        23679712 kB
MemAvailable:   31930408 kB
Buffers:          206100 kB
Cached:          8179424 kB
SwapCached:          352 kB
Active:          1990620 kB
Inactive:        6445828 kB
Active(anon):       4272 kB
Inactive(anon):    74256 kB
Active(file):    1986348 kB
Inactive(file):  6371572 kB
Unevictable:        7080 kB
Mlocked:            7080 kB
SwapTotal:      67108860 kB
SwapFree:       67108404 kB
Dirty:             21760 kB
Writeback:             0 kB
AnonPages:         56620 kB
Mapped:            41720 kB
Shmem:             25016 kB
Slab:             348808 kB
SReclaimable:     321236 kB
SUnreclaim:        27572 kB
KernelStack:        3104 kB
PageTables:         4748 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 43244 MiB
End job on node148 at 2018-07-27 18:32:47