Trace number 4405051

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

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

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-09-20 parallelSAT (TO)17387 1446.82 252.111

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4405051-1569014104.xml"  -tl '2016s' -p 8
0.12/0.18	c Choco 3fb4b153
0.12/0.18	c [HOME/instance-4405051-1569014104.xml, -tl, 2016s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
20.85/8.37	c solve instance...
26.73/9.24	o 148863 
26.73/9.26	o 147962 
27.96/9.42	o 147862 
27.96/9.46	o 147762 
27.96/9.49	o 147761 
28.88/9.74	o 146862 
30.75/11.01	o 145961 
30.75/11.04	o 145861 
30.75/11.06	o 145761 
30.75/11.09	o 145732 
31.08/11.11	o 145731 
31.08/11.16	o 145640 
31.08/11.19	o 145620 
31.08/11.20	o 144960 
31.29/11.23	o 144931 
31.29/11.24	o 144930 
31.29/11.25	o 144839 
31.29/11.26	o 144819 
31.29/11.28	o 144760 
31.66/11.30	o 144731 
31.66/11.32	o 144730 
31.66/11.34	o 144639 
31.66/11.36	o 144619 
32.08/11.56	o 144596 
32.08/11.57	o 144567 
32.28/11.64	o 144503 
32.74/11.75	o 144483 
32.74/11.78	o 144414 
33.29/11.81	o 144393 
33.29/11.85	o 144373 
33.29/11.87	o 144363 
33.29/11.88	o 144353 
33.57/11.90	o 144352 
33.57/11.92	o 144342 
33.57/11.93	o 143747 
33.57/11.96	o 143647 
33.57/11.98	o 143547 
34.05/12.01	o 143528 
34.05/12.02	o 143518 
34.05/12.05	o 143517 
34.05/12.08	o 143427 
34.05/12.09	o 143407 
34.49/12.15	o 143406 
34.96/12.30	o 143383 
34.96/12.32	o 143364 
34.96/12.33	o 143354 
34.96/12.35	o 143290 
34.96/12.36	o 143270 
34.96/12.38	o 143201 
34.96/12.39	o 142407 
36.40/12.60	o 142400 
36.40/12.63	o 142380 
37.95/13.88	o 142311 
37.95/13.89	o 142290 
38.13/13.92	o 142270 
38.13/13.95	o 142260 
38.13/13.97	o 142250 
38.13/13.99	o 142249 
38.48/14.02	o 141946 
38.48/14.04	o 141846 
38.48/14.05	o 141746 
38.48/14.07	o 141727 
38.81/14.13	o 141717 
38.81/14.13	o 141716 
38.81/14.15	o 141626 
38.81/14.16	o 141625 
38.81/14.19	o 141605 
39.06/14.21	o 141583 
39.06/14.23	o 141483 
39.06/14.24	o 141464 
39.06/14.29	o 141454 
39.32/14.31	o 141390 
39.32/14.36	o 141370 
39.32/14.37	o 141301 
39.32/14.39	o 141280 
39.58/14.44	o 141260 
39.58/14.48	o 141250 
39.58/14.49	o 141240 
39.86/14.51	o 140648 
39.86/14.53	o 140548 
39.86/14.54	o 140448 
39.86/14.56	o 140419 
39.86/14.59	o 140418 
40.22/14.61	o 140327 
40.22/14.62	o 140307 
40.22/14.64	o 139647 
40.22/14.65	o 139618 
41.47/14.80	o 139617 
41.47/14.82	o 139526 
41.47/14.84	o 139506 
41.47/14.85	o 139447 
41.47/14.86	o 139418 
41.47/14.87	o 139417 
41.47/14.89	o 139326 
41.85/14.90	o 139306 
41.85/14.92	o 139284 
41.85/14.94	o 139255 
42.15/15.04	o 139202 
43.46/16.27	o 139181 
43.46/16.29	o 139161 
43.64/16.32	o 139151 
43.64/16.33	o 139141 
43.64/16.35	o 139140 
43.64/16.37	o 139130 
43.64/16.39	o 139115 
44.02/16.41	o 139114 
44.02/16.44	o 139094 
44.35/16.51	o 138434 
44.35/16.55	o 138415 
44.35/16.58	o 138405 
44.71/16.62	o 138404 
44.71/16.62	o 138314 
44.71/16.64	o 138313 
44.71/16.65	o 138293 
44.71/16.66	o 138234 
44.71/16.69	o 138215 
45.00/16.70	o 138205 
45.00/16.74	o 138204 
45.00/16.76	o 138114 
45.00/16.77	o 138113 
45.25/16.86	o 138093 
45.25/16.88	o 138071 
45.25/16.90	o 138052 
45.43/16.91	o 137989 
45.43/16.94	o 137968 
45.43/16.96	o 137948 
45.76/17.04	o 137938 
45.76/17.06	o 137928 
45.76/17.08	o 137903 
46.10/17.12	o 137902 
46.10/17.14	o 137882 
46.10/17.16	o 137803 
46.10/17.17	o 137802 
46.10/17.18	o 137782 
46.10/17.19	o 137123 
46.10/17.20	o 137104 
46.47/17.22	o 137094 
46.47/17.29	o 137093 
46.67/17.30	o 137003 
46.67/17.36	o 137002 
46.87/17.47	o 136982 
46.87/17.49	o 136923 
47.05/17.51	o 136457 
47.26/17.61	o 136123 
48.58/18.80	o 136023 
48.58/18.81	o 135923 
48.77/18.98	o 135904 
48.91/19.00	o 135894 
48.91/19.02	o 135893 
48.91/19.04	o 135803 
48.91/19.06	o 135802 
48.91/19.07	o 135782 
48.91/19.10	o 135123 
49.24/19.14	o 135023 
49.24/19.15	o 134923 
49.24/19.17	o 134904 
49.57/19.29	o 134894 
49.57/19.30	o 134893 
49.71/19.31	o 134803 
49.71/19.32	o 134802 
49.71/19.35	o 134782 
49.71/19.39	o 134223 
49.94/19.42	o 134123 
49.94/19.43	o 134023 
49.94/19.45	o 134004 
49.94/19.47	o 133994 
50.29/19.50	o 133993 
50.29/19.51	o 133903 
50.29/19.53	o 133902 
50.29/19.57	o 133882 
50.62/19.60	o 133802 
50.62/19.62	o 133801 
50.62/19.63	o 133781 
50.62/19.67	o 133759 
50.62/19.68	o 133740 
50.90/19.70	o 133731 
50.90/19.72	o 133677 
50.90/19.77	o 133656 
50.90/19.78	o 133636 
51.16/19.81	o 133626 
51.16/19.82	o 133616 
51.16/19.84	o 133222 
51.16/19.86	o 133122 
51.16/19.88	o 133022 
51.16/19.89	o 133003 
51.48/19.91	o 132993 
51.48/19.93	o 132898 
51.71/20.03	o 132881 
51.71/20.06	o 131898 
51.94/20.18	o 131882 
52.08/20.24	o 131872 
52.19/20.32	o 131871 
52.19/20.35	o 131781 
52.19/20.37	o 131780 
52.38/20.41	o 131760 
52.38/20.48	o 131759 
52.59/20.52	o 131748 
52.59/20.54	o 131737 
52.59/20.56	o 131725 
52.82/20.64	o 131656 
52.82/20.67	o 131635 
52.82/20.69	o 131615 
53.04/20.71	o 131605 
54.37/21.91	o 131546 
54.37/21.94	o 131505 
54.37/21.98	o 131496 
54.77/22.04	o 131495 
54.77/22.10	o 131091 
55.18/22.12	o 130991 
55.18/22.15	o 130891 
55.18/22.16	o 130872 
55.18/22.18	o 130862 
55.18/22.19	o 130861 
55.49/22.21	o 130771 
55.49/22.23	o 130770 
55.49/22.25	o 130750 
55.49/22.26	o 130749 
55.49/22.29	o 130738 
55.93/22.47	o 130727 
55.93/22.48	o 130715 
56.13/22.55	o 130646 
56.13/22.58	o 130625 
56.33/22.62	o 130605 
56.33/22.67	o 130595 
56.53/22.71	o 130536 
56.53/22.73	o 130495 
56.53/22.75	o 130487 
56.53/22.78	o 130478 
57.02/22.89	o 130213 
57.27/22.92	o 130113 
57.27/22.97	o 130013 
57.27/22.99	o 129994 
57.48/23.00	o 129984 
57.48/23.02	o 129983 
57.48/23.09	o 129893 
57.66/23.11	o 129892 
59.04/24.30	o 129872 
59.04/24.34	o 129857 
59.04/24.38	o 129837 
59.29/24.43	o 129768 
59.29/24.44	o 129747 
59.29/24.48	o 129727 
59.53/24.51	o 129717 
59.70/24.60	o 129707 
59.70/24.66	o 129648 
59.90/24.70	o 129607 
60.36/24.80	o 129092 
60.36/24.84	o 128992 
60.54/24.90	o 128892 
60.54/24.97	o 128873 
60.74/25.01	o 128863 
60.74/25.06	o 128862 
60.95/25.11	o 128772 
61.17/25.27	o 128771 
61.31/25.33	o 128751 
61.31/25.34	o 128741 
61.53/25.40	o 128739 
61.53/25.43	o 128728 
61.53/25.47	o 128716 
61.75/25.51	o 128647 
61.75/25.57	o 128626 
61.75/25.58	o 128606 
61.75/25.59	o 128596 
61.98/25.61	o 128537 
61.98/25.61	o 128496 
61.98/25.63	o 128486 
61.98/25.64	o 128485 
61.98/25.65	o 128475 
61.98/25.68	o 128474 
62.37/25.71	o 128415 
62.37/25.73	o 128374 
62.37/25.75	o 128364 
62.37/25.77	o 128354 
62.37/25.78	o 128295 
62.37/25.79	o 128254 
62.65/25.85	o 128100 
63.19/25.96	o 128082 
63.19/25.97	o 127100 
63.84/26.15	o 127072 
63.84/26.18	o 126972 
63.84/26.20	o 126872 
65.22/27.39	o 126853 
65.36/27.43	o 126843 
65.36/27.46	o 126842 
65.36/27.48	o 126752 
65.54/27.50	o 126751 
65.54/27.52	o 126731 
65.54/27.53	o 126730 
65.76/27.60	o 126719 
65.76/27.62	o 126708 
65.76/27.69	o 126696 
66.01/27.72	o 126686 
66.01/27.78	o 126676 
66.23/27.81	o 126617 
66.23/27.84	o 126517 
66.23/27.86	o 126476 
66.23/27.89	o 126467 
66.56/27.96	o 126466 
67.03/28.02	o 126062 
67.03/28.05	o 125962 
67.03/28.08	o 125862 
67.26/28.13	o 125843 
67.26/28.15	o 125833 
67.26/28.20	o 125832 
67.44/28.24	o 125742 
67.44/28.28	o 125741 
67.62/28.32	o 125721 
67.62/28.34	o 125720 
67.62/28.39	o 125709 
67.81/28.42	o 125698 
67.81/28.46	o 125686 
67.81/28.48	o 125676 
68.07/28.51	o 125666 
68.07/28.58	o 125607 
68.07/28.60	o 125507 
68.47/28.82	o 125466 
68.47/28.86	o 125458 
68.47/28.90	o 125147 
69.12/29.01	o 125084 
69.12/29.03	o 124147 
69.67/29.15	o 124063 
69.67/29.20	o 123963 
69.86/29.22	o 123863 
69.86/29.26	o 123844 
70.03/29.33	o 123834 
70.03/29.37	o 123833 
70.19/29.41	o 123743 
70.19/29.43	o 123742 
70.19/29.45	o 123722 
71.65/30.71	o 123721 
71.65/30.77	o 123710 
71.84/30.81	o 123699 
71.84/30.83	o 123687 
71.84/30.86	o 123677 
71.84/30.88	o 123667 
71.84/30.89	o 123608 
72.20/30.92	o 123508 
72.20/30.99	o 123467 
72.41/31.01	o 123457 
72.41/31.05	o 123456 
72.41/31.07	o 123446 
72.41/31.10	o 123445 
72.72/31.12	o 123386 
72.72/31.14	o 123345 
72.99/31.21	o 123266 
72.99/31.22	o 123225 
72.99/31.29	o 123211 
73.33/31.31	o 123210 
73.57/31.40	o 123190 
73.57/31.47	o 123189 
73.57/31.49	o 123178 
73.84/31.59	o 123167 
73.99/31.61	o 123155 
73.99/31.64	o 123089 
73.99/31.67	o 123088 
74.28/31.74	o 123068 
74.28/31.76	o 123058 
74.50/31.81	o 122969 
74.50/31.89	o 122968 
74.67/31.90	o 122948 
74.67/31.93	o 122938 
74.67/31.95	o 122936 
74.67/31.99	o 122925 
74.96/32.04	o 122913 
74.96/32.08	o 122852 
75.94/32.32	o 122320 
75.94/32.36	o 122220 
75.94/32.38	o 121852 
76.40/32.50	o 121832 
78.00/33.80	o 121831 
78.00/33.85	o 121758 
78.00/33.88	o 121757 
78.27/33.90	o 121737 
78.27/33.94	o 121727 
78.49/34.05	o 121725 
78.49/34.08	o 121714 
78.71/34.11	o 121692 
78.71/34.16	o 121656 
78.71/34.18	o 121655 
79.08/34.21	o 121635 
79.08/34.22	o 121625 
79.08/34.25	o 121624 
79.08/34.26	o 121614 
79.08/34.28	o 121612 
79.40/34.32	o 121590 
79.69/34.48	o 121589 
79.92/34.52	o 121579 
79.92/34.55	o 121578 
79.92/34.59	o 121573 
80.37/34.62	o 121572 
80.37/34.66	o 121513 
80.37/34.69	o 121472 
80.66/34.73	o 121462 
80.66/34.75	o 121452 
80.66/34.77	o 121393 
80.66/34.77	o 121352 
80.94/34.82	o 121320 
80.94/34.83	o 121302 
81.14/34.94	o 121261 
81.14/34.97	o 121220 
81.45/35.08	o 121183 
81.45/35.10	o 121173 
81.65/35.12	o 121172 
81.65/35.13	o 121162 
83.00/36.34	o 121161 
83.00/36.36	o 121102 
83.00/36.39	o 121061 
83.29/36.41	o 121051 
83.29/36.43	o 121041 
83.29/36.45	o 120982 
83.29/36.47	o 120941 
83.71/36.52	o 120882 
83.71/36.54	o 120841 
84.01/36.61	o 120831 
84.01/36.64	o 120821 
84.01/36.67	o 120820 
84.50/36.75	o 120558 
84.50/36.79	o 120458 
84.90/36.81	o 120358 
84.90/36.84	o 120339 
84.90/36.86	o 120329 
84.90/36.89	o 120328 
85.16/36.90	o 120238 
85.16/36.93	o 120237 
85.16/36.95	o 120217 
85.16/36.97	o 120216 
85.16/36.98	o 120205 
85.43/37.03	o 120194 
85.43/37.05	o 120182 
85.43/37.09	o 120113 
85.67/37.11	o 120092 
85.67/37.13	o 120068 
85.87/37.25	o 120062 
86.11/37.43	o 119068 
86.66/37.54	o 118861 
86.66/37.56	o 118761 
86.66/37.58	o 118661 
86.87/37.60	o 118642 
86.87/37.62	o 118632 
86.87/37.64	o 118631 
86.87/37.66	o 118541 
86.87/37.68	o 118540 
87.12/37.71	o 118520 
87.12/37.72	o 118519 
88.41/38.99	o 118508 
88.55/39.03	o 118497 
88.55/39.05	o 118485 
88.55/39.09	o 118475 
88.85/39.12	o 118465 
88.85/39.15	o 118406 
88.85/39.18	o 118306 
88.85/39.20	o 118265 
89.18/39.23	o 118255 
89.18/39.27	o 118254 
89.41/39.30	o 118244 
89.60/39.42	o 118243 
89.60/39.46	o 118184 
89.60/39.48	o 118143 
89.90/39.50	o 118064 
89.90/39.54	o 118023 
89.90/39.58	o 118009 
90.30/39.61	o 118008 
90.30/39.63	o 117988 
90.30/39.65	o 117987 
90.30/39.69	o 117976 
90.58/39.71	o 117965 
90.58/39.74	o 117953 
90.58/39.77	o 117887 
90.58/39.80	o 117886 
90.83/39.82	o 117866 
90.83/39.85	o 117856 
90.83/39.87	o 117767 
91.10/39.90	o 117766 
91.10/39.94	o 117746 
91.10/39.96	o 117736 
91.10/40.00	o 117734 
91.36/40.02	o 117723 
91.36/40.05	o 117711 
91.36/40.09	o 117677 
91.75/40.12	o 117676 
91.75/40.14	o 117656 
91.75/40.17	o 117388 
92.54/40.30	o 117118 
92.54/40.34	o 117018 
92.54/40.36	o 116918 
93.84/41.54	o 116899 
93.84/41.58	o 116889 
94.01/41.61	o 116888 
94.01/41.67	o 116798 
94.20/41.70	o 116797 
94.20/41.71	o 116777 
94.20/41.78	o 116776 
94.44/41.83	o 116765 
94.44/41.89	o 116754 
94.63/41.94	o 116732 
94.91/42.05	o 116676 
94.91/42.10	o 116675 
94.91/42.10	o 116655 
95.11/42.13	o 116645 
95.11/42.18	o 116556 
95.11/42.20	o 116555 
95.37/42.25	o 116535 
95.37/42.29	o 116525 
95.57/42.34	o 116523 
95.57/42.38	o 116512 
95.57/42.40	o 116490 
95.77/42.44	o 116454 
95.77/42.47	o 116453 
95.77/42.49	o 116433 
96.13/42.52	o 116423 
96.13/42.55	o 116422 
96.13/42.56	o 116412 
96.13/42.59	o 116410 
96.43/42.61	o 116388 
96.43/42.65	o 116387 
97.00/42.72	o 116328 
97.00/42.74	o 116228 
97.00/42.78	o 116209 
97.22/42.80	o 116199 
97.22/42.83	o 116198 
97.22/42.86	o 116108 
97.22/42.88	o 116107 
97.47/42.90	o 116087 
97.47/42.92	o 116086 
97.47/42.96	o 116075 
97.72/43.00	o 116064 
97.72/43.04	o 116042 
97.72/43.08	o 115986 
98.05/43.11	o 115985 
98.30/43.37	o 115965 
98.44/43.40	o 115955 
98.44/43.43	o 115866 
98.44/43.45	o 115865 
98.44/43.48	o 115845 
98.44/43.49	o 115835 
98.79/43.58	o 115833 
99.08/43.71	o 115822 
99.08/43.75	o 115800 
99.33/43.80	o 115764 
99.33/43.84	o 115763 
99.33/43.86	o 115743 
99.33/43.89	o 115733 
99.61/43.92	o 115732 
99.61/43.95	o 115722 
99.61/43.97	o 115720 
99.61/44.00	o 115698 
99.88/44.03	o 115697 
100.62/44.27	o 115418 
100.62/44.29	o 115318 
100.76/44.33	o 115218 
100.76/44.36	o 115199 
100.76/44.39	o 115189 
101.01/44.41	o 115188 
101.01/44.45	o 115098 
101.01/44.49	o 115097 
101.35/44.69	o 115077 
101.49/44.72	o 115067 
101.49/44.76	o 115057 
101.49/44.79	o 115056 
101.66/44.81	o 115046 
101.66/44.83	o 115045 
101.66/44.87	o 114976 
101.66/44.89	o 114975 
101.66/44.90	o 114955 
101.90/44.93	o 114945 
101.90/44.97	o 114856 
101.90/44.98	o 114855 
102.17/45.00	o 114835 
102.17/45.02	o 114825 
102.17/45.05	o 114754 
102.17/45.09	o 114753 
102.45/45.12	o 114733 
102.45/45.14	o 114723 
102.45/45.16	o 114722 
102.45/45.19	o 114712 
102.76/45.24	o 114710 
102.76/45.27	o 114688 
103.07/45.31	o 114687 
103.07/45.34	o 114663 
103.07/45.35	o 114662 
103.07/45.39	o 114642 
103.34/45.42	o 114632 
103.34/45.44	o 114631 
103.34/45.48	o 114621 
103.61/45.51	o 114619 
103.61/45.53	o 114597 
103.61/45.56	o 114596 
104.13/45.65	o 114565 
104.13/45.67	o 114564 
104.35/45.71	o 114544 
104.35/45.74	o 114534 
104.35/45.77	o 114445 
104.59/45.81	o 114444 
104.59/45.85	o 114424 
104.59/45.87	o 114414 
104.59/45.89	o 114412 
104.86/45.93	o 114401 
104.86/45.99	o 114379 
105.12/46.05	o 114343 
105.12/46.10	o 114342 
105.31/46.16	o 114322 
105.48/46.21	o 114312 
105.48/46.26	o 114311 
105.48/46.27	o 114301 
105.68/46.32	o 114299 
105.68/46.36	o 114277 
105.99/46.41	o 114276 
106.66/46.54	o 114243 
106.83/46.64	o 114242 
108.19/47.92	o 114222 
108.19/47.96	o 114212 
108.19/48.00	o 114211 
108.41/48.02	o 114201 
108.41/48.05	o 114199 
108.41/48.08	o 114177 
108.81/48.13	o 114176 
109.37/48.22	o 114167 
109.37/48.26	o 114166 
109.84/48.34	o 114157 
109.84/48.38	o 114156 
110.38/48.47	o 114155 
110.38/48.49	o 114123 
111.02/48.52	o 114122 
111.02/48.53	o 114102 
111.02/48.56	o 114092 
111.02/48.58	o 114091 
111.37/48.61	o 114081 
111.37/48.66	o 114050 
112.00/48.77	o 113786 
112.00/48.79	o 113686 
112.17/48.81	o 113050 
112.59/48.92	o 113022 
112.59/48.96	o 113021 
112.86/49.01	o 112050 
113.63/49.13	o 112038 
113.63/49.17	o 112037 
113.86/49.23	o 112026 
113.86/49.25	o 112015 
113.86/49.29	o 111993 
115.35/50.51	o 111959 
115.35/50.54	o 111958 
115.35/50.58	o 111938 
115.80/50.87	o 111928 
115.96/50.95	o 111926 
116.17/51.01	o 111915 
116.17/51.02	o 111893 
116.99/51.24	o 111883 
117.40/51.42	o 111840 
117.40/51.44	o 111839 
117.40/51.46	o 111819 
117.40/51.49	o 111809 
117.63/51.52	o 111728 
117.63/51.52	o 111727 
117.63/51.56	o 111707 
117.63/51.57	o 111697 
117.63/51.59	o 111637 
117.89/51.60	o 111537 
117.89/51.62	o 111518 
117.89/51.64	o 111508 
117.89/51.68	o 111507 
118.12/51.72	o 111417 
118.12/51.73	o 111416 
118.12/51.76	o 111396 
118.30/51.86	o 111386 
118.30/51.89	o 111384 
118.30/51.89	o 111361 
118.60/51.92	o 111317 
118.60/51.92	o 111316 
118.60/51.93	o 111296 
118.60/51.97	o 111286 
118.60/52.00	o 111284 
118.85/52.04	o 111261 
119.49/52.13	o 111253 
119.49/52.19	o 111252 
119.49/52.20	o 111232 
119.71/52.21	o 111231 
119.71/52.22	o 111220 
119.71/52.27	o 111209 
119.92/52.33	o 111187 
119.92/52.39	o 111151 
120.17/52.41	o 111150 
120.17/52.47	o 111130 
120.17/52.47	o 111120 
120.37/52.52	o 111119 
120.37/52.58	o 111109 
120.61/52.63	o 111107 
120.61/52.68	o 111085 
120.91/52.73	o 111084 
120.91/52.73	o 111051 
120.91/52.75	o 111050 
121.11/52.89	o 111030 
121.23/52.91	o 111020 
121.39/53.02	o 111019 
121.39/53.03	o 111009 
121.62/53.16	o 111007 
121.76/53.25	o 110985 
121.76/53.29	o 110984 
122.58/53.43	o 110921 
122.86/53.53	o 49293 
124.20/54.78	o 48294 
124.39/54.87	o 48284 
124.66/54.93	o 48194 
124.66/54.99	o 48184 
124.90/55.04	o 48112 
124.90/55.09	o 48102 
125.11/55.14	o 48092 
125.11/55.19	o 48083 
125.40/55.24	o 48076 
125.67/55.31	o 48004 
125.67/55.35	o 47994 
167.44/60.66	o 47987 
167.65/60.70	o 47986 
167.91/60.82	o 47978 
167.91/60.84	o 47977 
168.34/61.04	o 47976 
168.34/61.08	o 47975 
168.70/61.13	o 47968 
168.70/61.16	o 47967 
168.70/61.19	o 47966 
168.96/61.22	o 47965 
168.96/61.24	o 47964 
169.20/61.32	o 47963 
169.20/61.34	o 47962 
179.29/62.65	o 47958 
179.29/62.66	o 47949 
179.29/62.69	o 47948 
179.59/62.72	o 47947 
180.58/62.93	o 47938 
180.58/62.96	o 47937 
180.58/62.98	o 47928 
180.85/63.01	o 47927 
181.24/63.16	o 47918 
181.42/63.21	o 47917 
227.52/69.19	o 47874 
227.97/69.57	o 47873 
227.97/69.58	o 47853 
228.13/69.60	o 47844 
228.52/69.96	o 47843 
228.52/69.99	o 47834 
229.02/70.33	o 47833 
229.02/70.35	o 47824 
229.02/70.36	o 47823 
229.57/70.71	o 47814 
229.92/71.02	o 47813 
229.92/71.03	o 47743 
230.32/71.33	o 47733 
230.32/71.36	o 47723 
230.73/71.66	o 47714 
231.08/71.96	o 47713 
231.85/72.30	o 47712 
232.17/72.57	o 47704 
232.32/72.60	o 47703 
232.68/72.87	o 47700 
232.92/73.09	o 47699 
233.12/73.12	o 47641 
233.36/73.32	o 47631 
233.36/73.35	o 47630 
233.64/73.53	o 47621 
233.64/73.55	o 47620 
233.93/73.72	o 47611 
233.93/73.76	o 47610 
234.28/73.93	o 47602 
234.41/74.07	o 47601 
236.96/74.48	o 47600 
237.12/74.60	o 47598 
237.25/74.63	o 47539 
237.46/74.73	o 47529 
237.46/74.74	o 47519 
237.64/74.83	o 47509 
237.64/74.85	o 47500 
237.91/74.93	o 47499 
238.44/75.02	o 47498 
238.44/75.07	o 47439 
238.44/75.08	o 47429 
238.44/75.10	o 47419 
238.74/75.13	o 47409 
238.74/75.15	o 47408 
239.25/75.43	o 47400 
239.25/75.44	o 47399 
240.07/75.72	o 47340 
240.31/75.96	o 47330 
240.31/75.98	o 47320 
240.61/76.20	o 47310 
240.79/76.26	o 47308 
241.08/76.48	o 47307 
241.34/76.69	o 47299 
241.60/76.89	o 47297 
241.88/77.07	o 47238 
242.12/77.23	o 47228 
242.12/77.25	o 47218 
242.50/77.42	o 47208 
242.73/77.56	o 47207 
243.07/77.71	o 47199 
243.24/77.84	o 47198 
243.74/77.99	o 46931 
244.07/78.10	o 46820 
244.24/78.11	o 46818 
244.24/78.13	o 46718 
244.41/78.23	o 46708 
244.41/78.24	o 46698 
244.58/78.32	o 46689 
244.58/78.34	o 46688 
244.96/78.43	o 46619 
245.14/78.51	o 46609 
245.14/78.54	o 46599 
245.33/78.60	o 46598 
245.33/78.61	o 46589 
245.33/78.66	o 46588 
245.62/78.72	o 46587 
245.62/78.73	o 46518 
245.62/78.76	o 46508 
245.82/78.80	o 46498 
245.82/78.83	o 46497 
245.82/78.86	o 46488 
245.82/78.89	o 46487 
246.11/78.93	o 46418 
246.11/78.96	o 46408 
246.11/78.97	o 46398 
272.39/82.42	o 46344 
273.06/82.82	o 46343 
273.58/83.23	o 46342 
274.59/83.61	o 46340 
275.06/84.00	o 46339 
275.16/84.03	o 46330 
275.56/84.39	o 46329 
276.07/84.75	o 46328 
291.20/86.81	o 46326 
292.80/88.02	o 46325 
293.05/88.20	o 46324 
293.21/88.29	o 46323 
293.62/88.46	o 46322 
293.78/88.53	o 46321 
294.14/88.69	o 46320 
294.51/88.82	o 46319 
294.67/88.94	o 46318 
294.83/89.00	o 46317 
295.05/89.12	o 46316 
295.30/89.25	o 46315 
295.50/89.35	o 46314 
295.89/89.47	o 46313 
320.16/92.58	o 46312 
320.90/93.01	o 46224 
321.38/93.42	o 46214 
321.38/93.46	o 46213 
322.06/93.87	o 46212 
322.61/94.26	o 46124 
323.03/94.62	o 46114 
323.16/94.70	o 46113 
323.70/95.07	o 46103 
324.21/95.42	o 46102 
380.10/102.77	o 45690 
380.60/103.17	o 45580 
380.74/103.24	o 45481 
381.25/103.63	o 45382 
381.75/104.02	o 45373 
382.13/104.39	o 45364 
382.63/104.75	o 45363 
382.79/104.81	o 45362 
383.29/105.18	o 45282 
383.77/105.51	o 45273 
383.77/105.55	o 45264 
384.19/105.84	o 45263 
384.19/105.87	o 45262 
385.33/106.18	o 45184 
385.70/106.42	o 45183 
385.93/106.53	o 45182 
386.26/106.76	o 45174 
386.26/106.79	o 45173 
386.81/107.02	o 45172 
387.24/107.23	o 45171 
387.58/107.40	o 45163 
387.58/107.46	o 45162 
387.97/107.61	o 45161 
388.66/107.90	o 45160 
389.19/108.05	o 45159 
389.95/108.27	o 44581 
390.10/108.37	o 44580 
390.27/108.41	o 44481 
390.41/108.50	o 44480 
390.41/108.52	o 44479 
390.41/108.60	o 44470 
390.59/108.61	o 44469 
390.59/108.63	o 44468 
390.88/108.73	o 44371 
391.02/108.84	o 44370 
391.02/108.86	o 44369 
391.02/108.87	o 44283 
391.23/108.93	o 44282 
391.23/108.95	o 44281 
391.23/108.98	o 44272 
391.43/109.01	o 44271 
391.43/109.03	o 44270 
391.77/109.17	o 44182 
391.95/109.24	o 44181 
392.21/109.38	o 44180 
392.47/109.45	o 44172 
392.64/109.52	o 44171 
392.64/109.58	o 44170 
393.24/109.71	o 44169 
396.85/110.24	o 43692 
397.04/110.32	o 43592 
397.32/110.50	o 43492 
397.32/110.55	o 43491 
397.32/110.59	o 43482 
397.59/110.65	o 43481 
397.88/110.73	o 43480 
397.88/110.79	o 43393 
398.07/110.81	o 43392 
398.07/110.86	o 43383 
398.33/110.93	o 43382 
398.33/110.98	o 43381 
398.56/111.04	o 43294 
398.89/111.28	o 43293 
399.03/111.31	o 43284 
399.03/111.34	o 43283 
399.03/111.38	o 43282 
399.55/111.50	o 43205 
399.55/111.54	o 43204 
409.75/113.73	o 43150 
409.94/113.86	o 43149 
410.37/114.13	o 43148 
410.61/114.31	o 43147 
410.61/114.37	o 43140 
410.93/114.42	o 43139 
410.93/114.47	o 43138 
411.14/114.59	o 43137 
411.73/114.75	o 43060 
411.73/114.79	o 43059 
411.89/114.82	o 43058 
412.15/114.99	o 43057 
412.28/115.02	o 43050 
412.28/115.05	o 43049 
412.54/115.18	o 43048 
412.70/115.21	o 43047 
413.08/115.33	o 43040 
413.25/115.40	o 43039 
413.50/115.68	o 43038 
413.62/115.75	o 43037 
413.91/115.82	o 42970 
413.91/115.87	o 42969 
414.12/115.93	o 42968 
414.12/115.99	o 42967 
414.31/116.00	o 42960 
414.31/116.02	o 42959 
414.31/116.04	o 42958 
414.31/116.08	o 42957 
414.72/116.16	o 42956 
414.72/116.20	o 42949 
415.10/116.23	o 42948 
415.10/116.26	o 42947 
415.27/116.31	o 42946 
415.46/116.43	o 42939 
415.46/116.50	o 42938 
415.60/116.52	o 42937 
415.60/116.58	o 42936 
415.91/116.65	o 42869 
416.12/116.71	o 42868 
416.41/116.95	o 42867 
416.59/117.02	o 42866 
416.59/117.08	o 42859 
416.59/117.09	o 42858 
416.84/117.11	o 42857 
416.84/117.14	o 42856 
417.20/117.29	o 42849 
417.34/117.33	o 42848 
417.34/117.35	o 42847 
417.34/117.38	o 42846 
417.86/117.55	o 42837 
417.86/117.58	o 42836 
418.68/117.76	o 42827 
418.86/117.83	o 42826 
418.86/117.90	o 42819 
419.01/117.96	o 42818 
419.22/118.02	o 42817 
419.22/118.08	o 42816 
419.55/118.15	o 42815 
419.55/118.21	o 42806 
420.01/118.22	o 42805 
420.01/118.24	o 42746 
420.26/118.31	o 42736 
420.26/118.34	o 42735 
420.26/118.37	o 42726 
420.26/118.39	o 42725 
420.54/118.42	o 42716 
420.54/118.45	o 42715 
421.76/118.70	o 42666 
421.91/118.82	o 42656 
422.04/118.96	o 42655 
422.20/119.07	o 42646 
422.20/119.08	o 42645 
422.44/119.18	o 42636 
422.44/119.20	o 42635 
423.42/119.38	o 42626 
423.73/119.44	o 42625 
424.03/119.51	o 42624 
424.03/119.56	o 42623 
424.03/119.57	o 42614 
424.27/119.61	o 42613 
424.27/119.63	o 42604 
424.27/119.64	o 42603 
424.27/119.68	o 42595 
424.72/119.83	o 42594 
424.72/119.87	o 42585 
424.72/119.89	o 42584 
425.02/119.91	o 42525 
425.02/119.94	o 42524 
425.02/119.98	o 42515 
425.28/120.01	o 42514 
425.28/120.06	o 42505 
425.28/120.09	o 27303 
426.05/120.27	o 27204 
426.24/120.34	o 26214 
426.49/120.40	o 26204 
427.59/120.69	o 26104 
434.11/121.59	o 25104 
435.04/121.74	o 25103 
438.01/122.19	o 25006 
438.63/122.24	o 25005 
440.68/122.57	o 24994 
447.85/123.52	o 24985 
448.11/123.64	o 24984 
448.11/123.69	o 24983 
448.42/123.79	o 24570 
448.66/123.89	o 24470 
451.91/124.38	o 24370 
452.70/124.62	o 24369 
467.65/126.59	o 24279 
468.83/126.80	o 24258 
469.56/126.91	o 23267 
471.73/127.21	o 22986 
471.93/127.37	o 22975 
475.36/127.83	o 22974 
490.42/129.76	o 22922 
490.42/129.78	o 22921 
491.71/129.96	o 22894 
531.14/134.95	o 22796 
540.26/136.20	o 22116 
540.62/136.36	o 22026 
541.18/136.60	o 21926 
541.63/136.73	o 21917 
541.91/136.85	o 21907 
546.31/137.55	o 20806 
548.30/137.86	o 20706 
550.87/138.24	o 20705 
557.67/139.12	o 20605 
560.66/139.52	o 20604 
560.84/139.61	o 20594 
575.01/141.47	o 20593 
632.15/149.27	o 20494 
634.80/149.74	o 20484 
717.22/160.11	o 18524 
726.23/161.35	o 17504 
823.02/173.53	o 17496 
823.48/173.66	o 17486 
1294.89/232.85	o 17476 
1295.16/232.99	o 17399 
1295.37/233.08	o 17397 
1295.78/233.15	o 17387 
1446.11/252.07	s SATISFIABLE
1446.11/252.07	v <instantiation>
1446.11/252.07	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>
1446.11/252.07	v 	<values>58 296 16 254 16 254 142 380 240 478 442 680 680 442 268 30 16 254 16 254 484 722 240 478 100 338 540 778 764 526 652 414 778 540 86 324 792 554 554 792 694 456 680 442 442 680 352 114 680 442 498 736 554 792 16 254 114 352 268 30 44 282 764 526 268 30 72 310 694 456 778 540 240 478 652 414 456 694 156 394 114 352 16 254 324 86 16 254 708 470 156 394 792 554 72 310 240 478 414 652 750 512 30 268 100 338 16 254 778 540 778 540 128 366 16 254 456 694 554 792 170 408 170 408 282 44 30 268 694 456 114 352 100 338 142 380 778 540 58 296 86 324 72 310 512 750 764 526 792 554 792 554 652 414 366 128 268 30 722 484 128 366 58 296 30 268 680 442 58 296 128 366 282 44 778 540 254 16 268 30 554 792 156 394 736 498 142 380 338 100 792 554 240 478 512 750 16 254 792 554 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1000 0 1000 0 0 0 0 0 0 0 0 1000 1000 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 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 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 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 100 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 100 100 0 0 0 100 0 100 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 100 0 0 100 0 0 0 0 100 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 100 0 100 0 100 0 100 0 100 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 10 0 0 10 10 0 0 0 10 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 10 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 10 10 0 0 0 10 0 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 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 10 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 1 1 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 </values>
1446.11/252.07	v </instantiation>
1446.11/252.07	c Unexpected resolution interruption!

Verifier Data 

OK	17387

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405051-1569014104/watcher-4405051-1569014104 -o /tmp/evaluation-result-4405051-1569014104/solver-4405051-1569014104 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569000410-26068 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 467092854 HOME/instance-4405051-1569014104.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=31760, runsolver pid=31757
Current StackSize limit: 8192 KiB


[startup+0.100159 s]*
/proc/loadavg: 7.55 8.13 8.21 2/211 31781
/proc/meminfo: memFree=25636940/32770624 swapFree=66986244/67108860
[pid=31760] ppid=31757 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/31760/stat : 31760 (xcsp3-exec) S 31757 31760 26041 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477667289 115843072 362 33554432000 4194304 5098028 140721755099344 140721755097448 139908762047100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24535040 140721755108220 140721755108462 140721755108462 140721755111370 0
/proc/31760/statm: 28282 362 304 221 0 87 0
[pid=31762] ppid=31760 vsize=28227396 memory=30068 CPUtime=0.12 cores=0-7
/proc/31762/stat : 31762 (java) S 31760 31760 26041 0 -1 1077944320 5489 0 0 0 11 1 0 0 20 0 20 0 477667289 28904853504 7517 33554432000 4194304 4196468 140725365975104 140725365957648 139721170538231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
/proc/31762/statm: 7056849 7517 3122 1 0 7019032 0
[pid=31762/tid=31763] ppid=31760 vsize=28227396 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/31762/task/31763/stat : 31763 (java) R 31760 31760 26041 0 -1 4202560 3392 0 0 0 8 0 0 0 20 0 20 0 477667290 28904853504 7517 33554432000 4194304 4196468 140725365975104 139721174777472 139721154581861 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31764] ppid=31760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31762/task/31764/stat : 31764 (java) S 31760 31760 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667290 28904853504 7517 33554432000 4194304 4196468 140725365975104 139721127091088 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31765] ppid=31760 vsize=28227396 memory=140157892541104 CPUtime=0 cores=0-7
/proc/31762/task/31765/stat : 31765 (java) S 31760 31760 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477667290 28904853504 7517 33554432000 4194304 4196468 140725365975104 139721126038288 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31766] ppid=31760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31762/task/31766/stat : 31766 (java) S 31760 31760 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477667290 28904853504 7517 33554432000 4194304 4196468 140725365975104 139720719981712 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31767] ppid=31760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31762/task/31767/stat : 31767 (java) S 31760 31760 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667290 28904853504 7517 33554432000 4194304 4196468 140725365975104 139720718928912 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31768] ppid=31760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31762/task/31768/stat : 31768 (java) S 31760 31760 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667290 28904853504 7517 33554432000 4194304 4196468 140725365975104 139720717875600 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31769] ppid=31760 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/31762/task/31769/stat : 31769 (java) S 31760 31760 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477667290 28904853504 7517 33554432000 4194304 4196468 140725365975104 139720716822800 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31770] ppid=31760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31762/task/31770/stat : 31770 (java) S 31760 31760 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477667290 28904853504 7517 33554432000 4194304 4196468 140725365975104 139720715770512 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31771] ppid=31760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31762/task/31771/stat : 31771 (java) S 31760 31760 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477667290 28904853504 7517 33554432000 4194304 4196468 140725365975104 139720714717712 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31772] ppid=31760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31762/task/31772/stat : 31772 (java) S 31760 31760 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477667292 28904853504 7517 33554432000 4194304 4196468 140725365975104 139720152586864 139721170549378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31773] ppid=31760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31762/task/31773/stat : 31773 (java) S 31760 31760 26041 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477667292 28904853504 7517 33554432000 4194304 4196468 140725365975104 139720151532832 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31774] ppid=31760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31762/task/31774/stat : 31774 (java) S 31760 31760 26041 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477667293 28904853504 7517 33554432000 4194304 4196468 140725365975104 139720150480496 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31775] ppid=31760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31762/task/31775/stat : 31775 (java) S 31760 31760 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667295 28904853504 7517 33554432000 4194304 4196468 140725365975104 139720149428816 139721170556827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31776] ppid=31760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31762/task/31776/stat : 31776 (java) S 31760 31760 26041 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 477667295 28904853504 7517 33554432000 4194304 4196468 140725365975104 139720148375664 139721170549378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31777] ppid=31760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31762/task/31777/stat : 31777 (java) R 31760 31760 26041 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 477667295 28904853504 7517 33554432000 4194304 4196468 140725365975104 139720147314512 139721155292350 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31778] ppid=31760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31762/task/31778/stat : 31778 (java) S 31760 31760 26041 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 477667295 28904853504 7517 33554432000 4194304 4196468 140725365975104 139720146270576 139721170549378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31779] ppid=31760 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/31762/task/31779/stat : 31779 (java) R 31760 31760 26041 0 -1 4202560 365 0 0 0 2 0 0 0 20 0 20 0 477667295 28904853504 7517 33554432000 4194304 4196468 140725365975104 139720145217776 139721148903408 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31780] ppid=31760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31762/task/31780/stat : 31780 (java) S 31760 31760 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477667295 28904853504 7517 33554432000 4194304 4196468 140725365975104 139720144165728 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31781] ppid=31760 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/31762/task/31781/stat : 31781 (java) S 31760 31760 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667295 28904853504 7517 33554432000 4194304 4196468 140725365975104 139720143113008 139721170549378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31516 KiB

[startup+0.210578 s]*
/proc/loadavg: 7.55 8.13 8.21 3/211 31781
/proc/meminfo: memFree=25623268/32770624 swapFree=66986244/67108860
[pid=31760] ppid=31757 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/31760/stat : 31760 (xcsp3-exec) S 31757 31760 26041 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477667289 115843072 362 33554432000 4194304 5098028 140721755099344 140721755097448 139908762047100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24535040 140721755108220 140721755108462 140721755108462 140721755111370 0
/proc/31760/statm: 28282 362 304 221 0 87 0
[pid=31762] ppid=31760 vsize=28227396 memory=41352 CPUtime=0.34 cores=0-7
/proc/31762/stat : 31762 (java) S 31760 31760 26041 0 -1 1077944320 9063 0 0 0 31 3 0 0 20 0 20 0 477667289 28904853504 10338 33554432000 4194304 4196468 140725365975104 140725365957648 139721170538231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
/proc/31762/statm: 7056849 10338 3299 1 0 7019032 0
[pid=31762/tid=31763] ppid=31760 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/31762/task/31763/stat : 31763 (java) R 31760 31760 26041 0 -1 4202560 6210 0 0 0 18 2 0 0 20 0 20 0 477667290 28904853504 10338 33554432000 4194304 4196468 140725365975104 139721174771304 139721154618718 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31764] ppid=31760 vsize=28227396 memory=288230604707987820 CPUtime=0 cores=0-7
/proc/31762/task/31764/stat : 31764 (java) S 31760 31760 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667290 28904853504 10338 33554432000 4194304 4196468 140725365975104 139721127091088 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31765] ppid=31760 vsize=28227396 memory=288370534044231296 CPUtime=0 cores=0-7
/proc/31762/task/31765/stat : 31765 (java) S 31760 31760 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477667290 28904853504 10338 33554432000 4194304 4196468 140725365975104 139721126038288 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31766] ppid=31760 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/31762/task/31766/stat : 31766 (java) S 31760 31760 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477667290 28904853504 10338 33554432000 4194304 4196468 140725365975104 139720719981712 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31767] ppid=31760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31762/task/31767/stat : 31767 (java) S 31760 31760 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667290 28904853504 10338 33554432000 4194304 4196468 140725365975104 139720718928912 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31768] ppid=31760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31762/task/31768/stat : 31768 (java) S 31760 31760 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667290 28904853504 10338 33554432000 4194304 4196468 140725365975104 139720717875600 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31769] ppid=31760 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/31762/task/31769/stat : 31769 (java) S 31760 31760 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477667290 28904853504 10338 33554432000 4194304 4196468 140725365975104 139720716822800 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31770] ppid=31760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31762/task/31770/stat : 31770 (java) S 31760 31760 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477667290 28904853504 10338 33554432000 4194304 4196468 140725365975104 139720715770512 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31771] ppid=31760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31762/task/31771/stat : 31771 (java) S 31760 31760 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477667290 28904853504 10338 33554432000 4194304 4196468 140725365975104 139720714717712 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31772] ppid=31760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31762/task/31772/stat : 31772 (java) S 31760 31760 26041 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477667292 28904853504 10338 33554432000 4194304 4196468 140725365975104 139720152586864 139721170549378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31773] ppid=31760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31762/task/31773/stat : 31773 (java) S 31760 31760 26041 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477667292 28904853504 10338 33554432000 4194304 4196468 140725365975104 139720151532832 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31774] ppid=31760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31762/task/31774/stat : 31774 (java) S 31760 31760 26041 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477667293 28904853504 10338 33554432000 4194304 4196468 140725365975104 139720150480496 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31775] ppid=31760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31762/task/31775/stat : 31775 (java) S 31760 31760 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667295 28904853504 10338 33554432000 4194304 4196468 140725365975104 139720149428816 139721170556827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31776] ppid=31760 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/31762/task/31776/stat : 31776 (java) S 31760 31760 26041 0 -1 1077944384 393 0 0 0 1 0 0 0 20 0 20 0 477667295 28904853504 10338 33554432000 4194304 4196468 140725365975104 139720148375664 139721170549378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31777] ppid=31760 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/31762/task/31777/stat : 31777 (java) S 31760 31760 26041 0 -1 1077944384 103 0 0 0 1 0 0 0 20 0 20 0 477667295 28904853504 10338 33554432000 4194304 4196468 140725365975104 139720147322864 139721170549378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31778] ppid=31760 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/31762/task/31778/stat : 31778 (java) S 31760 31760 26041 0 -1 1077944384 282 0 0 0 1 0 0 0 20 0 20 0 477667295 28904853504 10338 33554432000 4194304 4196468 140725365975104 139720146270576 139721170549378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31779] ppid=31760 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7
/proc/31762/task/31779/stat : 31779 (java) S 31760 31760 26041 0 -1 1077944384 764 0 0 0 8 0 0 0 20 0 20 0 477667295 28904853504 10338 33554432000 4194304 4196468 140725365975104 139720145217776 139721170549378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31780] ppid=31760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31762/task/31780/stat : 31780 (java) S 31760 31760 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477667295 28904853504 10338 33554432000 4194304 4196468 140725365975104 139720144165728 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31781] ppid=31760 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/31762/task/31781/stat : 31781 (java) S 31760 31760 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667295 28904853504 10338 33554432000 4194304 4196468 140725365975104 139720143113008 139721170549378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42800 KiB

[startup+0.310127 s]*
/proc/loadavg: 7.55 8.13 8.21 4/211 31781
/proc/meminfo: memFree=25616388/32770624 swapFree=66986244/67108860
[pid=31760] ppid=31757 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/31760/stat : 31760 (xcsp3-exec) S 31757 31760 26041 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477667289 115843072 362 33554432000 4194304 5098028 140721755099344 140721755097448 139908762047100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24535040 140721755108220 140721755108462 140721755108462 140721755111370 0
/proc/31760/statm: 28282 362 304 221 0 87 0
[pid=31762] ppid=31760 vsize=28231652 memory=50324 CPUtime=0.52 cores=0-7
/proc/31762/stat : 31762 (java) S 31760 31760 26041 0 -1 1077944320 10401 0 0 0 48 4 0 0 20 0 20 0 477667289 28909211648 12581 33554432000 4194304 4196468 140725365975104 140725365957648 139721170538231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
/proc/31762/statm: 7057913 12581 3349 1 0 7019032 0
[pid=31762/tid=31763] ppid=31760 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/31762/task/31763/stat : 31763 (java) R 31760 31760 26041 0 -1 4202560 7303 0 0 0 27 2 0 0 20 0 20 0 477667290 28909211648 12581 33554432000 4194304 4196468 140725365975104 139721174769344 139721154618718 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31764] ppid=31760 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31762/task/31764/stat : 31764 (java) S 31760 31760 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667290 28909211648 12581 33554432000 4194304 4196468 140725365975104 139721127091088 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31765] ppid=31760 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31762/task/31765/stat : 31765 (java) S 31760 31760 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477667290 28909211648 12581 33554432000 4194304 4196468 140725365975104 139721126038288 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31766] ppid=31760 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31762/task/31766/stat : 31766 (java) S 31760 31760 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477667290 28909211648 12581 33554432000 4194304 4196468 140725365975104 139720719981712 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31767] ppid=31760 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31762/task/31767/stat : 31767 (java) S 31760 31760 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667290 28909211648 12581 33554432000 4194304 4196468 140725365975104 139720718928912 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31768] ppid=31760 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31762/task/31768/stat : 31768 (java) S 31760 31760 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667290 28909211648 12581 33554432000 4194304 4196468 140725365975104 139720717875600 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31769] ppid=31760 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31762/task/31769/stat : 31769 (java) S 31760 31760 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477667290 28909211648 12581 33554432000 4194304 4196468 140725365975104 139720716822800 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31770] ppid=31760 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31762/task/31770/stat : 31770 (java) S 31760 31760 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477667290 28909211648 12581 33554432000 4194304 4196468 140725365975104 139720715770512 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31771] ppid=31760 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31762/task/31771/stat : 31771 (java) S 31760 31760 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477667290 28909211648 12581 33554432000 4194304 4196468 140725365975104 139720714717712 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31772] ppid=31760 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31762/task/31772/stat : 31772 (java) S 31760 31760 26041 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477667292 28909211648 12581 33554432000 4194304 4196468 140725365975104 139720152586864 139721170549378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31773] ppid=31760 vsize=28231652 memory=280315469962624 CPUtime=0 cores=0-7
/proc/31762/task/31773/stat : 31773 (java) S 31760 31760 26041 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477667292 28909211648 12581 33554432000 4194304 4196468 140725365975104 139720151532832 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31774] ppid=31760 vsize=28231652 memory=280315469967232 CPUtime=0 cores=0-7
/proc/31762/task/31774/stat : 31774 (java) S 31760 31760 26041 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477667293 28909211648 12581 33554432000 4194304 4196468 140725365975104 139720150480496 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31775] ppid=31760 vsize=28231652 memory=280315469971840 CPUtime=0 cores=0-7
/proc/31762/task/31775/stat : 31775 (java) S 31760 31760 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667295 28909211648 12581 33554432000 4194304 4196468 140725365975104 139720149428816 139721170556827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31776] ppid=31760 vsize=28231652 memory=280315469976448 CPUtime=0.02 cores=0-7
/proc/31762/task/31776/stat : 31776 (java) S 31760 31760 26041 0 -1 1077944384 403 0 0 0 2 0 0 0 20 0 20 0 477667295 28909211648 12581 33554432000 4194304 4196468 140725365975104 139720148375664 139721170549378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31777] ppid=31760 vsize=28231652 memory=280315469981056 CPUtime=0.02 cores=0-7
/proc/31762/task/31777/stat : 31777 (java) S 31760 31760 26041 0 -1 1077944384 109 0 0 0 2 0 0 0 20 0 20 0 477667295 28909211648 12581 33554432000 4194304 4196468 140725365975104 139720147322864 139721170549378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31778] ppid=31760 vsize=28231652 memory=280315469985664 CPUtime=0.03 cores=0-7
/proc/31762/task/31778/stat : 31778 (java) R 31760 31760 26041 0 -1 4202560 410 0 0 0 3 0 0 0 20 0 20 0 477667295 28909211648 12581 33554432000 4194304 4196468 140725365975104 139720146270576 139721152059580 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31779] ppid=31760 vsize=28231652 memory=280315469990272 CPUtime=0.12 cores=0-7
/proc/31762/task/31779/stat : 31779 (java) S 31760 31760 26041 0 -1 1077944384 866 0 0 0 12 0 0 0 20 0 20 0 477667295 28909211648 12581 33554432000 4194304 4196468 140725365975104 139720145217776 139721170549378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31780] ppid=31760 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31762/task/31780/stat : 31780 (java) S 31760 31760 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477667295 28909211648 12581 33554432000 4194304 4196468 140725365975104 139720144165728 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31781] ppid=31760 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/31762/task/31781/stat : 31781 (java) S 31760 31760 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667295 28909211648 12581 33554432000 4194304 4196468 140725365975104 139720143113008 139721170549378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51772 KiB

[startup+0.701014 s]
/proc/loadavg: 7.55 8.13 8.21 5/211 31781
/proc/meminfo: memFree=25598572/32770624 swapFree=66986244/67108860
[pid=31760] ppid=31757 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/31760/stat : 31760 (xcsp3-exec) S 31757 31760 26041 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477667289 115843072 362 33554432000 4194304 5098028 140721755099344 140721755097448 139908762047100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24535040 140721755108220 140721755108462 140721755108462 140721755111370 0
/proc/31760/statm: 28282 362 304 221 0 87 0
[pid=31762] ppid=31760 vsize=28233776 memory=91240 CPUtime=1.92 cores=0-7
/proc/31762/stat : 31762 (java) S 31760 31760 26041 0 -1 1077944320 16046 0 0 0 186 6 0 0 20 0 20 0 477667289 28911386624 22810 33554432000 4194304 4196468 140725365975104 140725365957648 139721170538231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
/proc/31762/statm: 7058444 22810 3457 1 0 7019544 0
[pid=31762/tid=31763] ppid=31760 vsize=28233776 memory=4580 CPUtime=0.68 cores=0-7
/proc/31762/task/31763/stat : 31763 (java) R 31760 31760 26041 0 -1 4202560 8725 0 0 0 64 4 0 0 20 0 20 0 477667290 28911386624 22810 33554432000 4194304 4196468 140725365975104 139721174775728 139720810629459 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31764] ppid=31760 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/31762/task/31764/stat : 31764 (java) S 31760 31760 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667290 28911386624 22810 33554432000 4194304 4196468 140725365975104 139721127091088 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31765] ppid=31760 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/31762/task/31765/stat : 31765 (java) S 31760 31760 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477667290 28911386624 22810 33554432000 4194304 4196468 140725365975104 139721126038288 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31766] ppid=31760 vsize=28233776 memory=1056 CPUtime=0 cores=0-7
/proc/31762/task/31766/stat : 31766 (java) S 31760 31760 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477667290 28911386624 22810 33554432000 4194304 4196468 140725365975104 139720719981712 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0

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

[pid=31762/tid=7859] ppid=31760 vsize=28769364 memory=4639952720406145389 CPUtime=48.6 cores=0-7
/proc/31762/task/7859/stat : 7859 (java) R 31760 31760 26041 0 -1 4202560 2772 0 0 0 4857 3 0 0 20 0 28 0 477684656 29459828736 947996 33554432000 4194304 4196468 140725365975104 139720129695048 139720810879047 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
Current children cumulated CPU time: 1211.42 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 3793432 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]
/proc/loadavg: 7.51 7.01 7.64 9/218 7897
/proc/meminfo: memFree=21862980/32770624 swapFree=66986244/67108860
[pid=31760] ppid=31757 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/31760/stat : 31760 (xcsp3-exec) S 31757 31760 26041 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477667289 115843072 362 33554432000 4194304 5098028 140721755099344 140721755097448 139908762047100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24535040 140721755108220 140721755108462 140721755108462 140721755111370 0
/proc/31760/statm: 28282 362 304 221 0 87 0
[pid=31762] ppid=31760 vsize=28769364 memory=3794224 CPUtime=1446.11 cores=0-7
/proc/31762/stat : 31762 (java) S 31760 31760 26041 0 -1 1077944320 600962 0 0 0 143879 732 0 0 20 0 28 0 477667289 29459828736 948556 33554432000 4194304 4196468 140725365975104 140725365957648 139721170538231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
/proc/31762/statm: 7192341 948556 3557 1 0 7153441 0
[pid=31762/tid=31763] ppid=31760 vsize=28769364 memory=3794224 CPUtime=8.28 cores=0-7
/proc/31762/task/31763/stat : 31763 (java) S 31760 31760 26041 0 -1 1077944384 17427 0 0 0 801 27 0 0 20 0 28 0 477667290 29459828736 948556 33554432000 4194304 4196468 140725365975104 139721174778944 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31764] ppid=31760 vsize=28769364 memory=3792176 CPUtime=1.23 cores=0-7
/proc/31762/task/31764/stat : 31764 (java) S 31760 31760 26041 0 -1 1077944384 3694 0 0 0 84 39 0 0 20 0 28 0 477667290 29459828736 948556 33554432000 4194304 4196468 140725365975104 139721127091088 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31765] ppid=31760 vsize=28769364 memory=3792176 CPUtime=1.22 cores=0-7
/proc/31762/task/31765/stat : 31765 (java) S 31760 31760 26041 0 -1 1077944384 4007 0 0 0 83 39 0 0 20 0 28 0 477667290 29459828736 948556 33554432000 4194304 4196468 140725365975104 139721126038288 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31766] ppid=31760 vsize=28769364 memory=692 CPUtime=1.24 cores=0-7
/proc/31762/task/31766/stat : 31766 (java) S 31760 31760 26041 0 -1 1077944384 3778 0 0 0 86 38 0 0 20 0 28 0 477667290 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720719981712 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31767] ppid=31760 vsize=28769364 memory=1448 CPUtime=1.25 cores=0-7
/proc/31762/task/31767/stat : 31767 (java) S 31760 31760 26041 0 -1 1077944384 3727 0 0 0 84 41 0 0 20 0 28 0 477667290 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720718928912 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31768] ppid=31760 vsize=28769364 memory=3791896 CPUtime=1.25 cores=0-7
/proc/31762/task/31768/stat : 31768 (java) S 31760 31760 26041 0 -1 1077944384 3539 0 0 0 86 39 0 0 20 0 28 0 477667290 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720717875600 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31769] ppid=31760 vsize=28769364 memory=3792240 CPUtime=1.26 cores=0-7
/proc/31762/task/31769/stat : 31769 (java) S 31760 31760 26041 0 -1 1077944384 3839 0 0 0 85 41 0 0 20 0 28 0 477667290 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720716822800 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31770] ppid=31760 vsize=28769364 memory=1448 CPUtime=1.27 cores=0-7
/proc/31762/task/31770/stat : 31770 (java) S 31760 31760 26041 0 -1 1077944384 3713 0 0 0 86 41 0 0 20 0 28 0 477667290 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720715770512 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31771] ppid=31760 vsize=28769364 memory=3310776 CPUtime=1.2 cores=0-7
/proc/31762/task/31771/stat : 31771 (java) S 31760 31760 26041 0 -1 1077944384 3295 0 0 0 81 39 0 0 20 0 28 0 477667290 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720714717712 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31772] ppid=31760 vsize=28769364 memory=2725912 CPUtime=0.1 cores=0-7
/proc/31762/task/31772/stat : 31772 (java) S 31760 31760 26041 0 -1 1077944384 5947 0 0 0 9 1 0 0 20 0 28 0 477667292 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720152586864 139721170549378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 30 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31773] ppid=31760 vsize=28769364 memory=3792176 CPUtime=0 cores=0-7
/proc/31762/task/31773/stat : 31773 (java) S 31760 31760 26041 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 477667292 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720151532896 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31774] ppid=31760 vsize=28769364 memory=3792172 CPUtime=0 cores=0-7
/proc/31762/task/31774/stat : 31774 (java) S 31760 31760 26041 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 28 0 477667293 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720150480512 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31775] ppid=31760 vsize=28769364 memory=2004 CPUtime=0 cores=0-7
/proc/31762/task/31775/stat : 31775 (java) S 31760 31760 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477667295 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720149428816 139721170556827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31776] ppid=31760 vsize=28769364 memory=988 CPUtime=4.64 cores=0-7
/proc/31762/task/31776/stat : 31776 (java) S 31760 31760 26041 0 -1 1077944384 27566 0 0 0 459 5 0 0 20 0 28 0 477667295 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720148375664 139721170549378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31777] ppid=31760 vsize=28769364 memory=55808 CPUtime=4.33 cores=0-7
/proc/31762/task/31777/stat : 31777 (java) S 31760 31760 26041 0 -1 1077944384 22769 0 0 0 429 4 0 0 20 0 28 0 477667295 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720147322864 139721170549378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 39 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31778] ppid=31760 vsize=28769364 memory=3616 CPUtime=3.96 cores=0-7
/proc/31762/task/31778/stat : 31778 (java) S 31760 31760 26041 0 -1 1077944384 19025 0 0 0 391 5 0 0 20 0 28 0 477667295 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720146270576 139721170549378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 37 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31779] ppid=31760 vsize=28769364 memory=3792176 CPUtime=1.2 cores=0-7
/proc/31762/task/31779/stat : 31779 (java) S 31760 31760 26041 0 -1 1077944384 15103 0 0 0 116 4 0 0 20 0 28 0 477667295 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720145217776 139721170549378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31780] ppid=31760 vsize=28769364 memory=1448 CPUtime=0 cores=0-7
/proc/31762/task/31780/stat : 31780 (java) S 31760 31760 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477667295 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720144165728 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31781] ppid=31760 vsize=28769364 memory=3794224 CPUtime=0.11 cores=0-7
/proc/31762/task/31781/stat : 31781 (java) S 31760 31760 26041 0 -1 1077944384 2234 0 0 0 4 7 0 0 20 0 28 0 477667295 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720143113008 139721170549378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 41 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=7889] ppid=31760 vsize=28769364 memory=1448 CPUtime=18.82 cores=0-7
/proc/31762/task/7889/stat : 7889 (java) R 31760 31760 26041 0 -1 4202560 3603 0 0 0 1882 0 0 0 20 0 28 0 477690605 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720131802040 139720815935133 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=7890] ppid=31760 vsize=28769364 memory=1448 CPUtime=18.83 cores=0-7
/proc/31762/task/7890/stat : 7890 (java) R 31760 31760 26041 0 -1 4202560 743 0 0 0 1882 1 0 0 20 0 28 0 477690605 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720130750312 139720807496932 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=7891] ppid=31760 vsize=28769364 memory=3792052 CPUtime=18.82 cores=0-7
/proc/31762/task/7891/stat : 7891 (java) R 31760 31760 26041 0 -1 4202560 634 0 0 0 1881 1 0 0 20 0 28 0 477690605 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720129696920 139720815935975 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=7892] ppid=31760 vsize=28769364 memory=1448 CPUtime=18.83 cores=0-7
/proc/31762/task/7892/stat : 7892 (java) R 31760 31760 26041 0 -1 4202560 2029 0 0 0 1881 2 0 0 20 0 28 0 477690605 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720128641176 139720809440062 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=7893] ppid=31760 vsize=28769364 memory=3792176 CPUtime=18.45 cores=0-7
/proc/31762/task/7893/stat : 7893 (java) R 31760 31760 26041 0 -1 4202560 2266 0 0 0 1844 1 0 0 20 0 28 0 477690605 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720125488200 139720809440071 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=7894] ppid=31760 vsize=28769364 memory=3792176 CPUtime=18.82 cores=0-7
/proc/31762/task/7894/stat : 7894 (java) R 31760 31760 26041 0 -1 4202560 634 0 0 0 1882 0 0 0 20 0 28 0 477690605 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720124435400 139720815935133 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=7895] ppid=31760 vsize=28769364 memory=1448 CPUtime=18.81 cores=0-7
/proc/31762/task/7895/stat : 7895 (java) R 31760 31760 26041 0 -1 4202560 3483 0 0 0 1879 2 0 0 20 0 28 0 477690605 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720123383112 139720810879040 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=7896] ppid=31760 vsize=28769364 memory=3792176 CPUtime=18.8 cores=0-7
/proc/31762/task/7896/stat : 7896 (java) R 31760 31760 26041 0 -1 4202560 822 0 0 0 1880 0 0 0 20 0 28 0 477690605 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720126541000 139720815935129 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
Current children cumulated CPU time: 1446.11 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 3795672 KiB

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

[startup+252.035 s]
# the end of solver process 31760 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000802 s, system=0.001605 s

[startup+252.111 s]
# the end of solver process 31762 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1439.46 s, system=7.35654 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

[startup+252.001 s]
/proc/loadavg: 7.51 7.01 7.64 9/218 7897
/proc/meminfo: memFree=21862980/32770624 swapFree=66986244/67108860
[pid=31760] ppid=31757 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/31760/stat : 31760 (xcsp3-exec) S 31757 31760 26041 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477667289 115843072 362 33554432000 4194304 5098028 140721755099344 140721755097448 139908762047100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24535040 140721755108220 140721755108462 140721755108462 140721755111370 0
/proc/31760/statm: 28282 362 304 221 0 87 0
[pid=31762] ppid=31760 vsize=28769364 memory=3794224 CPUtime=1446.11 cores=0-7
/proc/31762/stat : 31762 (java) S 31760 31760 26041 0 -1 1077944320 600962 0 0 0 143879 732 0 0 20 0 28 0 477667289 29459828736 948556 33554432000 4194304 4196468 140725365975104 140725365957648 139721170538231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
/proc/31762/statm: 7192341 948556 3557 1 0 7153441 0
[pid=31762/tid=31763] ppid=31760 vsize=28769364 memory=3794224 CPUtime=8.28 cores=0-7
/proc/31762/task/31763/stat : 31763 (java) S 31760 31760 26041 0 -1 1077944384 17427 0 0 0 801 27 0 0 20 0 28 0 477667290 29459828736 948556 33554432000 4194304 4196468 140725365975104 139721174778944 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31764] ppid=31760 vsize=28769364 memory=3792176 CPUtime=1.23 cores=0-7
/proc/31762/task/31764/stat : 31764 (java) S 31760 31760 26041 0 -1 1077944384 3694 0 0 0 84 39 0 0 20 0 28 0 477667290 29459828736 948556 33554432000 4194304 4196468 140725365975104 139721127091088 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31765] ppid=31760 vsize=28769364 memory=3792176 CPUtime=1.22 cores=0-7
/proc/31762/task/31765/stat : 31765 (java) S 31760 31760 26041 0 -1 1077944384 4007 0 0 0 83 39 0 0 20 0 28 0 477667290 29459828736 948556 33554432000 4194304 4196468 140725365975104 139721126038288 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31766] ppid=31760 vsize=28769364 memory=692 CPUtime=1.24 cores=0-7
/proc/31762/task/31766/stat : 31766 (java) S 31760 31760 26041 0 -1 1077944384 3778 0 0 0 86 38 0 0 20 0 28 0 477667290 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720719981712 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31767] ppid=31760 vsize=28769364 memory=1448 CPUtime=1.25 cores=0-7
/proc/31762/task/31767/stat : 31767 (java) S 31760 31760 26041 0 -1 1077944384 3727 0 0 0 84 41 0 0 20 0 28 0 477667290 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720718928912 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31768] ppid=31760 vsize=28769364 memory=3791896 CPUtime=1.25 cores=0-7
/proc/31762/task/31768/stat : 31768 (java) S 31760 31760 26041 0 -1 1077944384 3539 0 0 0 86 39 0 0 20 0 28 0 477667290 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720717875600 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31769] ppid=31760 vsize=28769364 memory=3792240 CPUtime=1.26 cores=0-7
/proc/31762/task/31769/stat : 31769 (java) S 31760 31760 26041 0 -1 1077944384 3839 0 0 0 85 41 0 0 20 0 28 0 477667290 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720716822800 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31770] ppid=31760 vsize=28769364 memory=1448 CPUtime=1.27 cores=0-7
/proc/31762/task/31770/stat : 31770 (java) S 31760 31760 26041 0 -1 1077944384 3713 0 0 0 86 41 0 0 20 0 28 0 477667290 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720715770512 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31771] ppid=31760 vsize=28769364 memory=3310776 CPUtime=1.2 cores=0-7
/proc/31762/task/31771/stat : 31771 (java) S 31760 31760 26041 0 -1 1077944384 3295 0 0 0 81 39 0 0 20 0 28 0 477667290 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720714717712 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31772] ppid=31760 vsize=28769364 memory=2725912 CPUtime=0.1 cores=0-7
/proc/31762/task/31772/stat : 31772 (java) S 31760 31760 26041 0 -1 1077944384 5947 0 0 0 9 1 0 0 20 0 28 0 477667292 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720152586864 139721170549378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 30 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31773] ppid=31760 vsize=28769364 memory=3792176 CPUtime=0 cores=0-7
/proc/31762/task/31773/stat : 31773 (java) S 31760 31760 26041 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 477667292 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720151532896 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31774] ppid=31760 vsize=28769364 memory=3792172 CPUtime=0 cores=0-7
/proc/31762/task/31774/stat : 31774 (java) S 31760 31760 26041 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 28 0 477667293 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720150480512 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31775] ppid=31760 vsize=28769364 memory=2004 CPUtime=0 cores=0-7
/proc/31762/task/31775/stat : 31775 (java) S 31760 31760 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477667295 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720149428816 139721170556827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31776] ppid=31760 vsize=28769364 memory=988 CPUtime=4.64 cores=0-7
/proc/31762/task/31776/stat : 31776 (java) S 31760 31760 26041 0 -1 1077944384 27566 0 0 0 459 5 0 0 20 0 28 0 477667295 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720148375664 139721170549378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31777] ppid=31760 vsize=28769364 memory=55808 CPUtime=4.33 cores=0-7
/proc/31762/task/31777/stat : 31777 (java) S 31760 31760 26041 0 -1 1077944384 22769 0 0 0 429 4 0 0 20 0 28 0 477667295 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720147322864 139721170549378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 39 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31778] ppid=31760 vsize=28769364 memory=3616 CPUtime=3.96 cores=0-7
/proc/31762/task/31778/stat : 31778 (java) S 31760 31760 26041 0 -1 1077944384 19025 0 0 0 391 5 0 0 20 0 28 0 477667295 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720146270576 139721170549378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 37 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31779] ppid=31760 vsize=28769364 memory=3792176 CPUtime=1.2 cores=0-7
/proc/31762/task/31779/stat : 31779 (java) S 31760 31760 26041 0 -1 1077944384 15103 0 0 0 116 4 0 0 20 0 28 0 477667295 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720145217776 139721170549378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31780] ppid=31760 vsize=28769364 memory=1448 CPUtime=0 cores=0-7
/proc/31762/task/31780/stat : 31780 (java) S 31760 31760 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477667295 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720144165728 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=31781] ppid=31760 vsize=28769364 memory=3794224 CPUtime=0.11 cores=0-7
/proc/31762/task/31781/stat : 31781 (java) S 31760 31760 26041 0 -1 1077944384 2234 0 0 0 4 7 0 0 20 0 28 0 477667295 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720143113008 139721170549378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 41 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=7889] ppid=31760 vsize=28769364 memory=1448 CPUtime=18.82 cores=0-7
/proc/31762/task/7889/stat : 7889 (java) R 31760 31760 26041 0 -1 4202560 3603 0 0 0 1882 0 0 0 20 0 28 0 477690605 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720131802040 139720815935133 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=7890] ppid=31760 vsize=28769364 memory=1448 CPUtime=18.83 cores=0-7
/proc/31762/task/7890/stat : 7890 (java) R 31760 31760 26041 0 -1 4202560 743 0 0 0 1882 1 0 0 20 0 28 0 477690605 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720130750312 139720807496932 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=7891] ppid=31760 vsize=28769364 memory=3792052 CPUtime=18.82 cores=0-7
/proc/31762/task/7891/stat : 7891 (java) R 31760 31760 26041 0 -1 4202560 634 0 0 0 1881 1 0 0 20 0 28 0 477690605 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720129696920 139720815935975 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=7892] ppid=31760 vsize=28769364 memory=1448 CPUtime=18.83 cores=0-7
/proc/31762/task/7892/stat : 7892 (java) R 31760 31760 26041 0 -1 4202560 2029 0 0 0 1881 2 0 0 20 0 28 0 477690605 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720128641176 139720809440062 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=7893] ppid=31760 vsize=28769364 memory=3792176 CPUtime=18.45 cores=0-7
/proc/31762/task/7893/stat : 7893 (java) R 31760 31760 26041 0 -1 4202560 2266 0 0 0 1844 1 0 0 20 0 28 0 477690605 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720125488200 139720809440071 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=7894] ppid=31760 vsize=28769364 memory=3792176 CPUtime=18.82 cores=0-7
/proc/31762/task/7894/stat : 7894 (java) R 31760 31760 26041 0 -1 4202560 634 0 0 0 1882 0 0 0 20 0 28 0 477690605 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720124435400 139720815935133 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=7895] ppid=31760 vsize=28769364 memory=1448 CPUtime=18.81 cores=0-7
/proc/31762/task/7895/stat : 7895 (java) R 31760 31760 26041 0 -1 4202560 3483 0 0 0 1879 2 0 0 20 0 28 0 477690605 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720123383112 139720810879040 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
[pid=31762/tid=7896] ppid=31760 vsize=28769364 memory=3792176 CPUtime=18.8 cores=0-7
/proc/31762/task/7896/stat : 7896 (java) R 31760 31760 26041 0 -1 4202560 822 0 0 0 1880 0 0 0 20 0 28 0 477690605 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720126541000 139720815935129 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0
Current children cumulated CPU time: 1446.11 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 3795672 KiB

Child status: 143
Real time (s): 252.111
CPU time (s): 1446.82
CPU user time (s): 1439.46
CPU system time (s): 7.35654
CPU usage (%): 573.881
Max. virtual memory (cumulated for all children) (KiB): 28882492
Max. memory (cumulated for all children) (KiB): 3795672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1439.46
system time used= 7.35654
maximum resident set size= 3794624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 603044
page faults= 0
swaps= 0
block input operations= 0
block output operations= 536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77179
involuntary context switches= 14810


# summary of solver processes directly reported to runsolver:
#   pid: 31760,31762
#   total CPU time (s): 1446.82
#   total CPU user time (s): 1439.46
#   total CPU system time (s): 7.35654

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.98633 second user time and 2.94986 second system time

The end

Launcher Data 

Begin job on node104 at 2019-09-20 22:04:43
IDJOB=4405051
IDBENCH=141204
IDSOLVER=2866
FILE ID=node104/4405051-1569014104
RUNJOBID= node104-1569000410-26068
PBS_JOBID= 21704740
Free space on /tmp= 9832 MiB

SOLVER NAME= choco-solver 2019-09-20 parallel
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-05-opt_c18.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405051-1569014104/watcher-4405051-1569014104 -o /tmp/evaluation-result-4405051-1569014104/solver-4405051-1569014104 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569000410-26068 --watchdog 312  xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 467092854 HOME/instance-4405051-1569014104.xml

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

MD5SUM BENCH= d0ab6aee5f30ff70d66f863e0e3556a1
RANDOM SEED=467092854

node104.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	: 5334.09
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	: 5334.09
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	: 5334.09
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	: 5334.09
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:        25653820 kB
MemAvailable:   31828076 kB
Buffers:           46436 kB
Cached:          6202084 kB
SwapCached:        22652 kB
Active:          3123320 kB
Inactive:        3151832 kB
Active(anon):       2688 kB
Inactive(anon):    73140 kB
Active(file):    3120632 kB
Inactive(file):  3078692 kB
Unevictable:      109708 kB
Mlocked:          109708 kB
SwapTotal:      67108860 kB
SwapFree:       66986244 kB
Dirty:             26136 kB
Writeback:            12 kB
AnonPages:        114880 kB
Mapped:            52200 kB
Shmem:             40708 kB
Slab:             433300 kB
SReclaimable:     403392 kB
SUnreclaim:        29908 kB
KernelStack:        3376 kB
PageTables:         5520 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498164 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 9804 MiB
End job on node104 at 2019-09-20 22:08:55