Trace number 4407451

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-24 parallelSAT (TO)20631 1645.35 252.129

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-4407451-1569349903.xml"  -tl '2016s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4407451-1569349903.xml, -tl, 2016s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.29	c parse instance...
20.74/8.10	c solve instance...
26.26/8.95	o 148863 
26.80/9.24	o 147962 
27.30/9.39	o 147862 
28.08/9.44	o 147762 
29.92/10.79	o 147761 
30.09/10.82	o 146862 
30.09/10.83	o 145961 
30.09/10.84	o 145861 
30.09/10.85	o 145761 
30.09/10.88	o 145732 
30.09/10.90	o 145731 
30.32/10.91	o 145640 
30.32/10.92	o 145620 
30.32/10.92	o 144960 
30.32/10.94	o 144931 
30.32/10.97	o 144930 
30.32/10.99	o 144839 
30.62/11.02	o 144819 
30.62/11.03	o 144760 
30.62/11.05	o 144731 
31.17/11.18	o 144730 
31.17/11.18	o 144639 
31.17/11.19	o 144619 
31.17/11.21	o 144596 
31.74/11.22	o 144567 
31.74/11.23	o 144503 
31.74/11.24	o 144483 
31.74/11.26	o 144414 
31.74/11.27	o 144393 
31.74/11.27	o 144373 
31.74/11.28	o 144363 
32.09/11.30	o 144353 
32.09/11.32	o 144352 
32.09/11.33	o 144342 
32.09/11.35	o 143747 
32.09/11.37	o 143647 
32.09/11.38	o 143547 
32.09/11.40	o 143528 
33.11/11.51	o 143518 
33.11/11.54	o 143517 
33.11/11.56	o 143427 
33.11/11.56	o 143426 
33.11/11.57	o 143406 
33.42/11.60	o 143383 
33.42/11.62	o 143364 
33.42/11.63	o 143354 
33.42/11.69	o 143290 
33.85/11.77	o 143270 
33.85/11.78	o 143201 
33.85/11.79	o 143180 
34.41/11.82	o 143160 
34.41/11.85	o 143150 
34.41/11.88	o 143140 
34.66/11.91	o 143111 
34.66/11.93	o 143090 
34.66/11.94	o 143070 
34.66/11.95	o 143060 
34.66/11.95	o 143050 
34.91/12.05	o 142956 
34.91/12.06	o 142856 
34.91/12.08	o 142756 
34.91/12.10	o 142737 
34.91/12.11	o 142727 
35.12/12.11	o 142726 
35.12/12.13	o 142636 
35.12/12.13	o 142635 
35.12/12.15	o 142615 
35.12/12.16	o 142593 
35.12/12.19	o 142493 
35.43/12.30	o 142474 
35.93/12.31	o 142464 
35.93/12.36	o 142400 
35.93/12.36	o 142380 
35.93/12.37	o 142311 
35.93/12.39	o 142290 
36.18/12.40	o 142270 
36.18/12.44	o 142260 
36.18/12.44	o 142250 
36.18/12.47	o 142038 
36.49/12.58	o 141549 
38.22/13.81	o 140648 
38.22/13.85	o 140548 
38.22/13.86	o 140448 
38.22/13.88	o 140419 
38.49/13.91	o 140418 
38.49/13.92	o 140327 
38.49/13.93	o 140307 
38.49/13.95	o 140296 
38.49/13.99	o 140216 
38.49/14.00	o 140215 
38.76/14.01	o 140195 
38.76/14.06	o 139435 
38.76/14.09	o 139335 
38.76/14.10	o 139235 
39.00/14.13	o 139216 
39.00/14.14	o 139206 
39.00/14.17	o 139205 
39.34/14.21	o 139115 
39.34/14.23	o 139114 
39.34/14.25	o 139094 
40.50/14.42	o 139083 
40.50/14.48	o 138323 
40.50/14.49	o 138304 
40.50/14.49	o 138294 
40.75/14.51	o 138293 
40.75/14.52	o 138203 
40.75/14.54	o 138202 
40.75/14.58	o 138182 
41.10/14.63	o 138123 
41.10/14.65	o 138104 
41.10/14.66	o 138094 
41.10/14.67	o 138093 
41.10/14.69	o 138003 
41.32/14.70	o 138002 
41.32/14.71	o 137982 
41.32/14.73	o 137903 
41.32/14.74	o 137902 
41.32/14.75	o 137882 
41.32/14.78	o 137803 
41.32/14.78	o 137802 
41.32/14.79	o 137782 
41.65/14.81	o 137123 
41.65/14.83	o 137104 
41.65/14.85	o 137094 
41.65/14.86	o 137093 
41.65/14.87	o 137003 
41.65/14.88	o 137002 
41.96/14.92	o 136982 
41.96/14.93	o 136923 
41.96/14.94	o 136904 
41.96/14.96	o 136894 
41.96/14.97	o 136893 
41.96/14.98	o 136803 
41.96/15.00	o 136802 
42.32/15.02	o 136782 
42.32/15.03	o 136123 
42.32/15.06	o 135885 
42.55/15.18	o 135803 
42.71/15.23	o 135802 
42.71/15.25	o 135782 
42.71/15.28	o 135123 
42.91/15.31	o 135023 
44.27/16.57	o 134923 
44.27/16.59	o 134904 
44.27/16.60	o 134894 
44.44/16.61	o 134893 
44.44/16.63	o 134803 
44.44/16.64	o 134802 
44.44/16.67	o 134782 
44.44/16.69	o 134223 
44.81/16.71	o 134123 
44.81/16.75	o 134023 
44.81/16.76	o 134004 
44.81/16.80	o 133994 
44.98/16.81	o 133993 
44.98/16.83	o 133903 
44.98/16.86	o 133902 
44.98/16.87	o 133882 
45.31/16.96	o 133802 
45.31/17.00	o 133801 
45.64/17.01	o 133781 
45.64/17.03	o 133759 
45.64/17.04	o 133740 
45.64/17.06	o 133731 
45.64/17.07	o 133677 
45.64/17.10	o 133656 
45.92/17.11	o 133636 
45.92/17.15	o 133626 
45.92/17.15	o 133616 
45.92/17.17	o 133222 
45.92/17.19	o 133122 
45.92/17.19	o 133022 
46.19/17.20	o 133003 
46.19/17.24	o 132993 
46.19/17.29	o 132992 
46.35/17.30	o 132902 
46.35/17.30	o 132901 
46.35/17.32	o 132881 
46.35/17.35	o 132866 
46.35/17.36	o 132846 
46.35/17.37	o 132777 
46.64/17.45	o 132756 
46.64/17.47	o 132736 
46.64/17.48	o 132726 
46.64/17.49	o 132716 
46.80/17.51	o 132657 
46.80/17.52	o 132616 
46.80/17.55	o 132459 
47.25/17.66	o 132101 
47.25/17.67	o 132001 
48.55/18.86	o 131901 
48.55/18.88	o 131882 
48.55/18.89	o 131872 
48.76/18.94	o 131871 
48.76/18.95	o 131781 
48.76/18.97	o 131780 
48.76/18.99	o 131760 
48.76/19.01	o 131750 
49.06/19.03	o 131748 
49.06/19.04	o 131737 
49.06/19.09	o 131725 
49.33/19.13	o 131656 
49.33/19.14	o 131635 
49.33/19.15	o 131615 
49.33/19.17	o 131605 
49.33/19.18	o 131546 
49.57/19.20	o 131505 
49.57/19.27	o 131496 
49.95/19.34	o 131495 
49.95/19.36	o 131091 
49.95/19.37	o 130991 
50.45/19.43	o 130891 
50.45/19.44	o 130872 
50.45/19.45	o 130862 
50.45/19.48	o 130861 
50.45/19.48	o 130771 
50.45/19.50	o 130770 
50.64/19.51	o 130750 
50.64/19.52	o 130749 
50.64/19.54	o 130738 
50.64/19.56	o 130727 
50.92/19.63	o 130715 
50.92/19.64	o 130646 
51.07/19.71	o 130625 
51.07/19.74	o 130605 
51.07/19.76	o 130595 
51.07/19.80	o 130536 
51.28/19.87	o 130495 
51.28/19.90	o 130487 
51.87/20.07	o 130439 
52.05/20.17	o 130213 
52.05/20.19	o 130113 
52.05/20.20	o 130013 
52.17/20.21	o 129994 
52.17/20.26	o 129984 
52.17/20.28	o 129983 
52.17/20.29	o 129893 
52.40/20.30	o 129892 
52.40/20.32	o 129872 
52.40/20.34	o 129857 
52.40/20.36	o 129837 
52.40/20.39	o 129768 
52.63/20.41	o 129747 
52.63/20.42	o 129727 
52.63/20.44	o 129717 
52.63/20.46	o 129707 
52.89/20.59	o 129648 
52.89/20.60	o 129299 
53.48/20.71	o 129092 
53.48/20.74	o 128992 
53.48/20.75	o 128892 
53.48/20.77	o 128873 
53.48/20.78	o 128863 
53.69/20.81	o 128862 
53.69/20.81	o 128772 
55.27/22.04	o 128771 
55.27/22.06	o 128751 
55.27/22.08	o 128750 
55.27/22.09	o 128739 
55.27/22.11	o 128728 
55.48/22.13	o 128716 
55.48/22.15	o 128647 
55.48/22.17	o 128626 
55.48/22.19	o 128606 
55.86/22.37	o 128596 
56.01/22.41	o 128537 
56.01/22.44	o 128496 
56.01/22.49	o 128486 
56.29/22.57	o 128485 
56.43/22.63	o 128475 
56.43/22.65	o 128474 
56.43/22.67	o 128415 
56.43/22.68	o 128374 
56.70/22.73	o 128364 
56.70/22.75	o 128354 
56.70/22.76	o 128295 
56.70/22.78	o 128254 
57.42/22.95	o 128082 
57.42/22.98	o 127982 
57.42/22.98	o 127882 
57.42/22.99	o 127863 
57.64/23.10	o 127853 
57.64/23.10	o 127852 
57.81/23.17	o 127762 
57.96/23.24	o 127761 
57.96/23.29	o 127741 
58.19/23.30	o 127740 
58.19/23.31	o 127729 
58.19/23.35	o 127718 
58.19/23.39	o 127706 
58.42/23.45	o 127637 
58.42/23.46	o 127616 
58.42/23.46	o 127596 
58.42/23.47	o 127586 
58.64/23.51	o 127527 
58.64/23.55	o 127486 
58.85/23.62	o 127476 
58.85/23.69	o 127475 
59.04/23.72	o 127465 
59.04/23.76	o 127464 
59.28/23.82	o 127405 
59.28/23.83	o 127364 
59.28/23.89	o 127360 
59.48/23.94	o 127354 
59.48/23.96	o 127344 
59.67/24.07	o 127285 
59.78/24.14	o 127244 
59.98/24.25	o 126350 
60.34/24.36	o 126084 
60.34/24.37	o 125984 
61.68/25.57	o 125884 
61.68/25.58	o 125865 
61.68/25.60	o 125855 
61.82/25.61	o 125854 
61.82/25.67	o 125764 
61.82/25.67	o 125763 
61.82/25.68	o 125743 
62.01/25.70	o 125721 
62.01/25.71	o 125702 
62.01/25.73	o 125693 
62.01/25.76	o 125619 
62.01/25.78	o 125578 
62.01/25.80	o 125184 
62.27/25.84	o 125084 
62.27/25.85	o 124984 
62.27/25.86	o 124965 
62.27/25.87	o 124955 
62.27/25.88	o 124954 
62.27/25.89	o 124864 
62.50/25.90	o 124863 
62.50/25.94	o 124843 
62.50/25.96	o 124828 
62.50/25.97	o 124808 
62.50/25.97	o 124798 
62.50/26.00	o 124778 
62.80/26.02	o 124719 
62.80/26.03	o 124619 
62.80/26.05	o 124578 
62.80/26.07	o 124568 
62.80/26.08	o 124567 
62.80/26.09	o 124557 
63.10/26.11	o 124556 
63.10/26.14	o 124497 
63.10/26.14	o 124456 
63.10/26.16	o 124377 
63.10/26.17	o 124336 
63.55/26.23	o 124063 
63.55/26.24	o 123963 
63.55/26.25	o 123863 
63.55/26.27	o 123844 
63.55/26.28	o 123834 
63.94/26.30	o 123833 
63.94/26.33	o 123743 
63.94/26.34	o 123742 
63.94/26.35	o 123722 
63.94/26.36	o 123721 
63.94/26.37	o 123710 
63.94/26.39	o 123699 
64.23/26.40	o 123687 
64.23/26.41	o 123211 
64.62/26.57	o 123210 
64.76/26.60	o 123190 
64.76/26.61	o 123189 
64.76/26.67	o 123178 
64.76/26.69	o 123167 
64.95/26.70	o 123155 
64.95/26.71	o 123101 
65.17/26.84	o 123092 
65.17/26.85	o 123091 
65.41/27.03	o 123001 
65.41/27.06	o 123000 
65.41/27.10	o 122980 
65.41/27.11	o 122970 
65.57/27.12	o 122899 
65.57/27.13	o 122898 
65.57/27.16	o 122878 
65.78/27.22	o 122868 
65.78/27.22	o 122867 
65.78/27.25	o 122857 
67.73/28.47	o 122856 
67.90/28.53	o 122320 
67.90/28.53	o 122220 
67.90/28.56	o 122120 
67.90/28.59	o 122101 
68.12/28.62	o 122091 
68.12/28.65	o 122090 
68.32/28.71	o 122000 
68.32/28.76	o 121999 
68.32/28.79	o 121979 
68.56/28.84	o 121978 
68.56/28.88	o 121967 
68.77/28.91	o 121956 
68.77/28.94	o 121934 
68.77/29.00	o 121898 
69.04/29.02	o 121897 
69.04/29.04	o 121877 
69.04/29.06	o 121867 
69.04/29.07	o 121866 
69.04/29.09	o 121856 
69.27/29.11	o 121854 
69.27/29.14	o 121832 
69.53/29.21	o 121831 
69.53/29.24	o 121758 
69.53/29.26	o 121757 
69.53/29.29	o 121737 
69.81/29.33	o 121727 
69.81/29.35	o 121725 
69.81/29.38	o 121714 
70.08/29.45	o 121692 
70.31/29.51	o 121656 
70.31/29.51	o 121655 
70.31/29.53	o 121635 
70.31/29.58	o 121625 
70.31/29.59	o 121624 
70.51/29.64	o 121614 
70.51/29.67	o 121612 
70.51/29.68	o 121590 
70.81/29.73	o 121589 
70.81/29.80	o 121579 
71.13/29.82	o 121578 
71.13/29.85	o 121573 
71.13/29.87	o 121572 
71.13/29.88	o 121551 
71.51/30.00	o 121513 
71.63/30.03	o 121472 
71.63/30.10	o 120511 
72.50/30.25	o 120458 
72.50/30.27	o 120358 
72.66/30.33	o 120339 
72.66/30.35	o 120329 
74.06/31.63	o 120328 
74.06/31.63	o 120238 
74.06/31.64	o 120237 
74.06/31.66	o 120217 
74.06/31.68	o 120216 
74.24/31.72	o 120205 
74.24/31.75	o 120194 
74.49/31.82	o 120182 
74.49/31.84	o 120113 
74.49/31.87	o 120092 
74.49/31.88	o 120072 
74.65/31.90	o 120062 
74.65/31.93	o 120003 
74.65/31.95	o 119962 
74.65/31.98	o 119903 
74.98/32.05	o 119862 
74.98/32.07	o 119840 
74.98/32.09	o 119830 
75.25/32.13	o 119820 
75.25/32.14	o 119761 
75.25/32.14	o 119720 
75.49/32.20	o 119661 
75.49/32.21	o 119620 
75.49/32.24	o 119611 
75.49/32.28	o 119589 
75.89/32.35	o 119588 
75.89/32.39	o 119587 
76.84/32.50	o 119538 
77.15/32.63	o 119448 
77.15/32.63	o 119348 
77.32/32.72	o 119329 
77.32/32.74	o 119319 
77.32/32.75	o 119318 
77.32/32.78	o 119228 
77.32/32.80	o 119227 
78.66/33.99	o 119207 
78.79/34.03	o 119206 
78.79/34.06	o 119195 
78.79/34.09	o 119184 
79.03/34.12	o 119172 
79.03/34.14	o 119103 
79.03/34.16	o 119082 
79.03/34.17	o 119062 
79.03/34.19	o 119052 
79.24/34.21	o 118993 
79.24/34.25	o 118952 
79.47/34.33	o 118942 
79.47/34.38	o 118941 
79.66/34.40	o 118931 
79.66/34.43	o 118930 
79.66/34.46	o 118871 
79.66/34.47	o 118830 
79.66/34.50	o 118820 
79.94/34.50	o 118810 
79.94/34.53	o 118751 
79.94/34.55	o 118710 
80.24/34.60	o 118651 
80.24/34.61	o 118610 
80.24/34.66	o 118541 
80.24/34.66	o 118540 
80.51/34.70	o 118520 
80.51/34.72	o 118519 
80.51/34.77	o 118508 
80.76/34.81	o 118497 
80.76/34.85	o 118485 
80.76/34.89	o 118475 
81.02/34.90	o 118465 
81.02/34.95	o 118406 
81.02/34.97	o 118306 
81.02/34.98	o 118265 
81.31/35.02	o 118255 
81.31/35.03	o 118254 
81.31/35.05	o 118244 
81.31/35.07	o 118243 
81.31/35.10	o 118184 
81.31/35.11	o 118143 
81.60/35.13	o 118064 
81.60/35.16	o 118023 
81.98/35.21	o 118009 
81.98/35.23	o 118008 
81.98/35.23	o 117988 
81.98/35.24	o 117987 
81.98/35.25	o 117976 
81.98/35.27	o 117965 
82.19/35.30	o 117953 
82.19/35.32	o 117827 
82.19/35.34	o 117767 
82.19/35.35	o 117766 
82.19/35.37	o 117746 
82.44/35.41	o 117736 
82.60/35.51	o 117734 
82.60/35.55	o 117723 
82.60/35.57	o 117711 
84.00/36.79	o 117677 
84.00/36.80	o 117676 
84.11/36.82	o 117656 
84.11/36.83	o 117646 
84.11/36.86	o 117557 
84.11/36.87	o 117556 
84.11/36.87	o 117536 
84.11/36.88	o 117526 
84.36/36.91	o 117455 
84.36/36.91	o 117454 
84.36/36.92	o 117434 
84.36/36.92	o 117424 
84.36/36.95	o 117423 
84.36/36.98	o 117413 
84.79/37.09	o 117118 
85.25/37.12	o 117018 
85.25/37.14	o 116918 
85.25/37.17	o 116899 
85.25/37.19	o 116889 
85.45/37.21	o 116888 
85.45/37.21	o 116798 
85.45/37.24	o 116797 
85.45/37.26	o 116777 
85.66/37.33	o 116776 
85.66/37.35	o 116765 
85.66/37.39	o 116754 
85.86/37.42	o 116732 
85.86/37.45	o 116676 
85.86/37.48	o 116675 
86.11/37.58	o 116655 
86.25/37.60	o 116645 
86.25/37.63	o 116556 
86.25/37.64	o 116555 
86.25/37.65	o 116535 
86.25/37.68	o 116525 
86.25/37.70	o 116523 
86.50/37.72	o 116512 
86.50/37.74	o 116490 
86.50/37.78	o 116454 
86.50/37.79	o 116453 
86.83/37.81	o 116433 
86.83/37.81	o 116423 
86.83/37.83	o 116422 
86.83/37.84	o 116412 
86.83/37.87	o 116410 
86.83/37.89	o 116388 
87.37/38.03	o 116387 
87.37/38.07	o 116300 
87.90/38.23	o 116228 
87.90/38.25	o 116209 
87.90/38.27	o 116199 
87.90/38.29	o 116198 
87.90/38.30	o 116108 
88.06/38.32	o 116107 
88.06/38.34	o 116087 
88.06/38.37	o 116086 
88.06/38.39	o 116075 
88.27/38.42	o 116064 
88.27/38.45	o 116042 
88.27/38.48	o 115986 
88.51/38.51	o 115985 
88.51/38.52	o 115965 
88.51/38.52	o 115955 
88.51/38.56	o 115866 
88.51/38.57	o 115865 
88.75/38.60	o 115845 
88.75/38.63	o 115835 
88.75/38.65	o 115833 
88.75/38.68	o 115822 
88.98/38.71	o 115800 
90.35/39.92	o 115764 
90.35/39.95	o 115763 
90.35/39.97	o 115743 
90.35/40.00	o 115733 
90.55/40.03	o 115732 
90.55/40.03	o 115722 
90.55/40.06	o 115720 
90.55/40.08	o 115698 
90.90/40.11	o 115697 
90.90/40.19	o 115418 
91.39/40.22	o 115318 
91.39/40.23	o 115218 
91.39/40.25	o 115199 
91.39/40.29	o 115189 
91.70/40.31	o 115188 
91.70/40.34	o 115098 
91.70/40.37	o 115097 
91.70/40.39	o 115077 
91.95/40.42	o 115067 
91.95/40.45	o 115057 
91.95/40.48	o 115056 
91.95/40.49	o 115046 
92.20/40.51	o 115045 
92.20/40.54	o 114976 
92.20/40.56	o 114975 
92.38/40.60	o 114955 
92.38/40.61	o 114945 
92.38/40.64	o 114856 
92.38/40.65	o 114855 
92.38/40.68	o 114835 
92.38/40.69	o 114825 
92.66/40.76	o 114754 
92.66/40.79	o 114753 
92.84/40.82	o 114733 
92.84/40.86	o 114723 
92.84/40.89	o 114722 
93.06/40.91	o 114712 
93.06/40.96	o 114710 
93.34/41.01	o 114688 
93.34/41.07	o 114687 
93.65/41.13	o 114663 
93.65/41.15	o 114662 
93.65/41.15	o 114642 
93.78/41.21	o 114632 
93.78/41.22	o 114631 
93.78/41.24	o 114621 
93.98/41.30	o 114399 
94.43/41.49	o 114391 
94.43/41.49	o 114379 
94.62/41.55	o 114289 
94.91/41.69	o 114279 
96.60/42.99	o 114277 
96.86/43.04	o 114276 
97.43/43.19	o 114243 
97.53/43.24	o 114242 
97.53/43.26	o 114222 
97.74/43.30	o 114212 
97.74/43.33	o 114211 
97.74/43.36	o 114201 
97.74/43.39	o 114199 
98.05/43.41	o 114177 
98.05/43.44	o 114176 
98.68/43.53	o 114167 
98.68/43.56	o 114166 
99.26/43.64	o 114157 
99.26/43.67	o 114147 
99.72/43.83	o 114123 
99.72/43.84	o 114122 
99.72/43.86	o 114102 
99.72/43.87	o 114092 
99.72/43.90	o 114091 
99.88/43.92	o 114081 
99.88/43.93	o 114023 
99.88/43.94	o 114022 
99.88/43.96	o 114002 
99.88/43.97	o 113992 
99.88/43.98	o 113107 
100.13/44.03	o 113101 
100.34/44.16	o 113100 
100.51/44.20	o 113089 
100.51/44.25	o 113078 
100.51/44.27	o 113056 
102.06/45.58	o 113055 
102.21/45.61	o 113022 
102.21/45.63	o 113021 
102.21/45.64	o 113001 
102.21/45.65	o 112991 
102.21/45.67	o 112990 
102.21/45.69	o 112980 
102.50/45.72	o 112978 
102.50/45.73	o 112956 
102.50/45.77	o 112955 
102.99/45.87	o 112938 
103.51/45.90	o 112937 
103.51/45.93	o 112917 
103.51/45.94	o 112916 
103.51/45.97	o 112905 
103.51/45.98	o 112882 
104.71/46.17	o 112850 
104.71/46.18	o 112849 
105.10/46.20	o 112829 
105.10/46.22	o 112819 
105.10/46.28	o 112738 
105.10/46.28	o 112737 
105.10/46.29	o 112717 
105.31/46.33	o 112707 
105.58/46.57	o 112647 
105.69/46.61	o 112547 
105.69/46.65	o 112528 
105.69/46.66	o 112518 
105.69/46.68	o 112517 
105.69/46.69	o 112427 
105.69/46.69	o 112426 
105.95/46.70	o 112406 
105.95/46.70	o 112396 
105.95/46.73	o 112394 
105.95/46.76	o 112371 
106.40/46.96	o 112327 
106.40/47.00	o 112326 
106.56/47.04	o 112306 
106.56/47.04	o 112296 
106.56/47.07	o 111670 
107.65/47.21	o 111570 
107.81/47.34	o 111484 
107.81/47.36	o 111483 
107.81/47.38	o 111463 
107.81/47.39	o 111462 
107.98/47.41	o 111451 
109.38/48.71	o 111440 
109.38/48.74	o 111418 
109.38/48.78	o 111373 
109.63/48.80	o 111372 
109.63/48.81	o 111352 
109.63/48.81	o 111342 
109.63/48.85	o 111332 
109.63/48.85	o 111322 
109.63/48.87	o 111253 
109.88/48.90	o 111252 
109.88/48.91	o 111232 
109.88/48.95	o 111222 
109.88/48.99	o 111220 
110.17/49.02	o 111209 
110.17/49.05	o 111187 
110.17/49.08	o 111151 
110.50/49.11	o 111150 
110.50/49.15	o 111130 
110.50/49.18	o 111120 
110.72/49.20	o 111119 
110.72/49.23	o 111109 
110.72/49.27	o 111107 
110.97/49.31	o 111085 
110.97/49.34	o 111084 
110.97/49.38	o 111051 
110.97/49.39	o 111050 
111.29/49.45	o 111030 
111.29/49.45	o 111020 
111.29/49.46	o 111019 
111.29/49.48	o 111009 
111.55/49.55	o 111007 
111.55/49.58	o 110985 
111.83/49.63	o 110984 
112.26/49.70	o 110927 
112.98/49.84	o 110921 
112.98/49.84	o 110920 
112.98/49.89	o 110900 
113.21/49.91	o 110899 
113.21/49.96	o 110888 
113.21/49.99	o 110817 
113.59/50.12	o 110798 
113.59/50.14	o 110797 
113.59/50.15	o 110786 
113.59/50.19	o 110775 
113.83/50.23	o 110753 
113.83/50.26	o 110709 
114.10/50.30	o 110708 
114.10/50.31	o 110688 
114.10/50.31	o 110678 
115.79/51.60	o 110637 
115.90/51.62	o 110537 
115.90/51.64	o 110518 
115.90/51.66	o 110508 
115.90/51.69	o 110507 
115.90/51.69	o 110417 
115.90/51.70	o 110416 
116.26/51.82	o 110396 
116.26/51.83	o 110386 
116.26/51.86	o 110378 
116.51/51.90	o 110297 
116.51/51.90	o 110296 
116.51/51.92	o 110276 
116.51/51.96	o 110266 
116.82/52.05	o 110264 
116.82/52.07	o 110241 
117.17/52.17	o 110197 
117.17/52.19	o 110196 
117.48/52.23	o 110176 
117.48/52.23	o 110166 
117.48/52.27	o 110164 
117.48/52.28	o 110141 
117.83/52.38	o 110121 
117.83/52.39	o 110120 
117.83/52.39	o 110100 
117.83/52.39	o 110090 
118.45/52.44	o 110089 
118.45/52.44	o 110079 
118.45/52.47	o 110077 
118.45/52.49	o 110055 
119.00/52.63	o 110054 
119.40/52.71	o 109975 
120.08/52.84	o 109965 
120.08/52.88	o 109943 
120.37/52.92	o 109907 
120.37/52.95	o 109906 
120.37/52.97	o 109886 
120.37/52.98	o 109876 
120.37/53.01	o 109865 
120.74/53.11	o 109863 
120.74/53.15	o 109841 
120.74/53.19	o 109807 
121.24/53.48	o 109806 
121.37/53.55	o 109786 
121.37/53.57	o 109776 
121.51/53.60	o 109774 
121.51/53.63	o 109763 
121.51/53.66	o 109741 
123.40/54.90	o 49293 
123.60/55.07	o 48294 
123.79/55.15	o 48284 
123.79/55.19	o 48194 
124.06/55.30	o 48184 
124.06/55.33	o 48112 
124.06/55.36	o 48102 
124.52/55.60	o 48092 
124.52/55.63	o 48083 
124.52/55.66	o 48076 
124.52/55.68	o 48004 
124.87/55.72	o 47994 
167.02/61.09	o 47987 
167.60/61.11	o 47986 
167.60/61.16	o 47978 
167.88/61.21	o 47977 
167.88/61.24	o 47976 
167.88/61.27	o 47975 
167.88/61.30	o 47968 
168.32/61.31	o 47967 
168.32/61.35	o 47966 
168.32/61.40	o 47965 
168.65/61.40	o 47964 
168.65/61.47	o 47963 
168.65/61.48	o 47962 
179.32/62.88	o 47958 
179.98/62.91	o 47949 
179.98/62.93	o 47948 
179.98/62.95	o 47947 
181.05/63.13	o 47938 
181.05/63.15	o 47937 
181.05/63.16	o 47928 
181.05/63.18	o 47927 
181.65/63.33	o 47918 
181.65/63.34	o 47917 
209.27/66.88	o 39294 
209.91/66.91	o 39194 
209.91/66.96	o 38604 
210.46/67.04	o 38504 
210.88/67.23	o 38294 
210.88/67.28	o 37505 
212.17/67.46	o 36606 
220.67/68.59	o 36596 
220.80/68.62	o 36595 
221.45/68.78	o 35616 
225.25/69.27	o 34606 
233.89/70.32	o 33908 
233.89/70.34	o 33818 
235.64/70.92	o 33809 
235.64/70.93	o 33808 
236.65/71.24	o 32809 
238.22/71.52	o 31729 
248.58/72.91	o 29519 
248.58/72.93	o 29518 
248.58/72.96	o 28829 
249.66/73.13	o 28819 
254.24/73.76	o 28720 
265.36/75.17	o 27906 
265.89/75.21	o 27026 
265.89/75.25	o 27017 
267.21/75.57	o 26917 
267.57/75.70	o 26916 
269.16/75.93	o 26836 
270.57/76.18	o 26827 
319.05/82.35	o 26715 
319.47/82.53	o 26605 
323.42/83.11	o 26604 
368.59/88.86	o 26596 
368.75/88.92	o 26595 
395.38/92.34	o 26505 
395.69/92.43	o 26426 
395.86/92.50	o 26416 
395.86/92.53	o 26415 
396.34/92.65	o 26317 
396.61/92.73	o 26316 
396.84/92.80	o 26307 
397.10/92.91	o 26306 
400.13/93.35	o 25496 
400.13/93.38	o 25495 
432.52/97.45	o 25398 
447.55/99.46	o 25389 
458.26/100.83	o 25293 
462.06/101.37	o 25247 
463.69/101.67	o 25177 
464.77/101.86	o 25078 
470.79/102.69	o 25068 
471.39/102.71	o 25067 
471.39/102.73	o 25059 
472.04/102.90	o 24959 
472.67/103.17	o 24760 
473.03/103.32	o 24750 
473.23/103.43	o 24749 
480.92/104.49	o 24649 
482.41/104.61	o 24571 
489.50/105.59	o 23990 
490.73/105.73	o 23773 
491.30/105.83	o 23155 
491.68/105.91	o 23134 
514.18/108.85	o 23133 
514.42/108.94	o 23125 
516.40/109.28	o 23026 
533.06/111.43	o 22925 
563.13/115.26	o 22916 
573.06/116.55	o 22910 
573.28/116.61	o 22907 
573.82/116.77	o 22897 
681.50/130.30	o 22875 
682.20/130.41	o 22784 
682.20/130.45	o 22674 
683.70/130.70	o 22574 
717.74/135.14	o 22098 
738.92/137.83	o 21231 
738.92/137.89	o 21153 
741.89/138.23	o 21144 
801.64/145.78	o 21134 
801.87/145.83	o 21133 
808.36/146.78	o 21123 
931.03/162.23	o 21113 
951.39/164.85	o 21014 
978.69/168.31	o 20904 
985.04/169.16	o 20893 
988.02/169.55	o 20803 
1041.37/176.27	o 20802 
1042.02/176.31	o 20801 
1087.45/182.07	o 20701 
1612.54/247.99	o 20631 
1644.65/252.07	s SATISFIABLE
1644.65/252.07	v <instantiation>
1644.65/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>
1644.65/252.07	v 	<values>268 30 484 722 72 310 240 478 240 478 442 680 442 680 778 540 16 254 16 254 498 736 240 478 554 792 498 736 484 722 16 254 16 254 554 792 792 554 750 512 736 498 680 442 114 352 722 484 680 442 44 282 58 296 16 254 540 778 338 100 44 282 722 484 792 554 72 310 30 268 156 394 240 478 792 554 456 694 156 394 666 428 16 254 16 254 30 268 16 254 156 394 792 554 72 310 240 478 792 554 750 512 30 268 100 338 16 254 16 254 778 540 16 254 16 254 694 456 554 792 380 142 170 408 268 30 268 30 268 30 498 736 100 338 142 380 554 792 16 254 554 792 512 750 526 764 394 156 792 554 268 30 652 414 254 16 778 540 722 484 128 366 442 680 428 666 778 540 58 296 72 310 792 554 30 268 254 16 694 456 554 792 156 394 736 498 30 268 428 666 792 554 240 478 72 310 16 254 296 58 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 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 1000 0 1000 0 0 1000 0 0 0 0 0 1000 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 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1000 0 0 0 0 0 0 1000 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 100 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 100 0 100 0 0 0 0 100 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 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 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 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 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 100 0 0 0 0 100 0 100 100 0 0 100 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 100 0 0 0 0 0 0 100 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 100 0 0 0 0 0 0 100 0 100 0 100 0 0 0 0 0 0 10 10 0 0 0 0 0 0 10 0 0 10 0 10 0 0 10 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 10 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 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 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 10 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 10 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 10 0 0 10 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 1 0 1 0 0 1 0 0 0 0 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 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 </values>
1644.65/252.07	v </instantiation>
1644.65/252.07	c Unexpected resolution interruption!

Verifier Data 

OK	20631

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407451-1569349903/watcher-4407451-1569349903 -o /var/tmp/evaluation-result-4407451-1569349903/solver-4407451-1569349903 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1569335937-18517 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 81567665 HOME/instance-4407451-1569349903.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=25962, runsolver pid=25959
Current StackSize limit: 8192 KiB


[startup+0.100113 s]*
/proc/loadavg: 5.12 6.58 7.50 3/212 25983
/proc/meminfo: memFree=22096520/32770624 swapFree=67002364/67108860
[pid=25962] ppid=25959 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/25962/stat : 25962 (xcsp3-exec) S 25959 25962 18490 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510904218 115843072 363 33554432000 4194304 5098028 140735286431104 140735286429208 139772327420540 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31195136 140735286436697 140735286436954 140735286436954 140735286439878 0
/proc/25962/statm: 28282 363 304 221 0 87 0
[pid=25964] ppid=25962 vsize=28227396 memory=29784 CPUtime=0.12 cores=0-7
/proc/25964/stat : 25964 (java) S 25962 25962 18490 0 -1 1077944320 5929 0 0 0 11 1 0 0 20 0 20 0 510904219 28904853504 7446 33554432000 4194304 4196468 140722350664928 140722350647472 139823686295287 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
/proc/25964/statm: 7056849 7446 3118 1 0 7019032 0
[pid=25964/tid=25965] ppid=25962 vsize=28227396 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/25964/task/25965/stat : 25965 (java) R 25962 25962 18490 0 -1 4202560 3841 0 0 0 8 0 0 0 20 0 20 0 510904219 28904853504 7446 33554432000 4194304 4196468 140722350664928 139823690528560 139823686307222 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25966] ppid=25962 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/25964/task/25966/stat : 25966 (java) S 25962 25962 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510904220 28904853504 7446 33554432000 4194304 4196468 140722350664928 139823606147728 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25967] ppid=25962 vsize=28227396 memory=139770059703936 CPUtime=0 cores=0-7
/proc/25964/task/25967/stat : 25967 (java) S 25962 25962 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510904220 28904853504 7446 33554432000 4194304 4196468 140722350664928 139823605094928 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25968] ppid=25962 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25964/task/25968/stat : 25968 (java) S 25962 25962 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510904220 28904853504 7446 33554432000 4194304 4196468 140722350664928 139823604042128 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25969] ppid=25962 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25964/task/25969/stat : 25969 (java) S 25962 25962 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510904220 28904853504 7446 33554432000 4194304 4196468 140722350664928 139823602989328 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25970] ppid=25962 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25964/task/25970/stat : 25970 (java) S 25962 25962 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510904220 28904853504 7446 33554432000 4194304 4196468 140722350664928 139823601937552 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25971] ppid=25962 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/25964/task/25971/stat : 25971 (java) S 25962 25962 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510904220 28904853504 7446 33554432000 4194304 4196468 140722350664928 139823231917072 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25972] ppid=25962 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25964/task/25972/stat : 25972 (java) S 25962 25962 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510904220 28904853504 7446 33554432000 4194304 4196468 140722350664928 139823230864272 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25973] ppid=25962 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25964/task/25973/stat : 25973 (java) S 25962 25962 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510904220 28904853504 7446 33554432000 4194304 4196468 140722350664928 139823229811472 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25974] ppid=25962 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25964/task/25974/stat : 25974 (java) S 25962 25962 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510904221 28904853504 7446 33554432000 4194304 4196468 140722350664928 139822801963376 139823686306434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25975] ppid=25962 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25964/task/25975/stat : 25975 (java) S 25962 25962 18490 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510904222 28904853504 7446 33554432000 4194304 4196468 140722350664928 139822800909344 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25976] ppid=25962 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25964/task/25976/stat : 25976 (java) S 25962 25962 18490 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510904222 28904853504 7446 33554432000 4194304 4196468 140722350664928 139822799856496 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25977] ppid=25962 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25964/task/25977/stat : 25977 (java) S 25962 25962 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510904224 28904853504 7446 33554432000 4194304 4196468 140722350664928 139822798804816 139823686313883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25978] ppid=25962 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25964/task/25978/stat : 25978 (java) S 25962 25962 18490 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 510904224 28904853504 7446 33554432000 4194304 4196468 140722350664928 139822797753200 139823686306434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25979] ppid=25962 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25964/task/25979/stat : 25979 (java) S 25962 25962 18490 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 510904224 28904853504 7446 33554432000 4194304 4196468 140722350664928 139822796700400 139823686306434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25980] ppid=25962 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25964/task/25980/stat : 25980 (java) S 25962 25962 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510904224 28904853504 7446 33554432000 4194304 4196468 140722350664928 139822795647600 139823686306434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25981] ppid=25962 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/25964/task/25981/stat : 25981 (java) S 25962 25962 18490 0 -1 1077944384 345 0 0 0 2 0 0 0 20 0 20 0 510904224 28904853504 7446 33554432000 4194304 4196468 140722350664928 139821806774768 139823686306434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25982] ppid=25962 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25964/task/25982/stat : 25982 (java) S 25962 25962 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510904225 28904853504 7446 33554432000 4194304 4196468 140722350664928 139821805722208 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25983] ppid=25962 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/25964/task/25983/stat : 25983 (java) S 25962 25962 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510904225 28904853504 7446 33554432000 4194304 4196468 140722350664928 139821804669488 139823686306434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31236 KiB

[startup+0.210105 s]*
/proc/loadavg: 5.12 6.58 7.50 2/212 25983
/proc/meminfo: memFree=22084928/32770624 swapFree=67002364/67108860
[pid=25962] ppid=25959 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/25962/stat : 25962 (xcsp3-exec) S 25959 25962 18490 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510904218 115843072 363 33554432000 4194304 5098028 140735286431104 140735286429208 139772327420540 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31195136 140735286436697 140735286436954 140735286436954 140735286439878 0
/proc/25962/statm: 28282 363 304 221 0 87 0
[pid=25964] ppid=25962 vsize=28227396 memory=40472 CPUtime=0.33 cores=0-7
/proc/25964/stat : 25964 (java) S 25962 25962 18490 0 -1 1077944320 9382 0 0 0 30 3 0 0 20 0 20 0 510904219 28904853504 10118 33554432000 4194304 4196468 140722350664928 140722350647472 139823686295287 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
/proc/25964/statm: 7056849 10118 3270 1 0 7019032 0
[pid=25964/tid=25965] ppid=25962 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/25964/task/25965/stat : 25965 (java) R 25962 25962 18490 0 -1 4202560 6657 0 0 0 18 2 0 0 20 0 20 0 510904219 28904853504 10118 33554432000 4194304 4196468 140722350664928 139823690525008 139823670375774 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25966] ppid=25962 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/25964/task/25966/stat : 25966 (java) S 25962 25962 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510904220 28904853504 10118 33554432000 4194304 4196468 140722350664928 139823606147728 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25967] ppid=25962 vsize=28227396 memory=288370146211415680 CPUtime=0 cores=0-7
/proc/25964/task/25967/stat : 25967 (java) S 25962 25962 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510904220 28904853504 10118 33554432000 4194304 4196468 140722350664928 139823605094928 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25968] ppid=25962 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/25964/task/25968/stat : 25968 (java) S 25962 25962 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510904220 28904853504 10118 33554432000 4194304 4196468 140722350664928 139823604042128 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25969] ppid=25962 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25964/task/25969/stat : 25969 (java) S 25962 25962 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510904220 28904853504 10118 33554432000 4194304 4196468 140722350664928 139823602989328 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25970] ppid=25962 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25964/task/25970/stat : 25970 (java) S 25962 25962 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510904220 28904853504 10118 33554432000 4194304 4196468 140722350664928 139823601937552 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25971] ppid=25962 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/25964/task/25971/stat : 25971 (java) S 25962 25962 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510904220 28904853504 10118 33554432000 4194304 4196468 140722350664928 139823231917072 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25972] ppid=25962 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25964/task/25972/stat : 25972 (java) S 25962 25962 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510904220 28904853504 10118 33554432000 4194304 4196468 140722350664928 139823230864272 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25973] ppid=25962 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25964/task/25973/stat : 25973 (java) S 25962 25962 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510904220 28904853504 10118 33554432000 4194304 4196468 140722350664928 139823229811472 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25974] ppid=25962 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25964/task/25974/stat : 25974 (java) S 25962 25962 18490 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510904221 28904853504 10118 33554432000 4194304 4196468 140722350664928 139822801963376 139823686306434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25975] ppid=25962 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25964/task/25975/stat : 25975 (java) S 25962 25962 18490 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510904222 28904853504 10118 33554432000 4194304 4196468 140722350664928 139822800909344 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25976] ppid=25962 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25964/task/25976/stat : 25976 (java) S 25962 25962 18490 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510904222 28904853504 10118 33554432000 4194304 4196468 140722350664928 139822799856496 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25977] ppid=25962 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25964/task/25977/stat : 25977 (java) S 25962 25962 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510904224 28904853504 10118 33554432000 4194304 4196468 140722350664928 139822798804816 139823686313883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25978] ppid=25962 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/25964/task/25978/stat : 25978 (java) R 25962 25962 18490 0 -1 1077944384 368 0 0 0 1 0 0 0 20 0 20 0 510904224 28904853504 10118 33554432000 4194304 4196468 140722350664928 139822797753200 139823686306434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25979] ppid=25962 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/25964/task/25979/stat : 25979 (java) S 25962 25962 18490 0 -1 1077944384 172 0 0 0 1 0 0 0 20 0 20 0 510904224 28904853504 10118 33554432000 4194304 4196468 140722350664928 139822796700400 139823686306434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25980] ppid=25962 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/25964/task/25980/stat : 25980 (java) R 25962 25962 18490 0 -1 1077944384 108 0 0 0 1 0 0 0 20 0 20 0 510904224 28904853504 10118 33554432000 4194304 4196468 140722350664928 139822795647600 139823686306434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25981] ppid=25962 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/25964/task/25981/stat : 25981 (java) S 25962 25962 18490 0 -1 1077944384 761 0 0 0 7 0 0 0 20 0 20 0 510904224 28904853504 10118 33554432000 4194304 4196468 140722350664928 139821806774768 139823686306434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25982] ppid=25962 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25964/task/25982/stat : 25982 (java) S 25962 25962 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510904225 28904853504 10118 33554432000 4194304 4196468 140722350664928 139821805722208 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25983] ppid=25962 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/25964/task/25983/stat : 25983 (java) S 25962 25962 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510904225 28904853504 10118 33554432000 4194304 4196468 140722350664928 139821804669488 139823686306434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41924 KiB

[startup+0.309484 s]*
/proc/loadavg: 5.12 6.58 7.50 3/212 25983
/proc/meminfo: memFree=22077276/32770624 swapFree=67002364/67108860
[pid=25962] ppid=25959 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/25962/stat : 25962 (xcsp3-exec) S 25959 25962 18490 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510904218 115843072 363 33554432000 4194304 5098028 140735286431104 140735286429208 139772327420540 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31195136 140735286436697 140735286436954 140735286436954 140735286439878 0
/proc/25962/statm: 28282 363 304 221 0 87 0
[pid=25964] ppid=25962 vsize=28231652 memory=49404 CPUtime=0.52 cores=0-7
/proc/25964/stat : 25964 (java) S 25962 25962 18490 0 -1 1077944320 10748 0 0 0 48 4 0 0 20 0 20 0 510904219 28909211648 12351 33554432000 4194304 4196468 140722350664928 140722350647472 139823686295287 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
/proc/25964/statm: 7057913 12351 3308 1 0 7019032 0
[pid=25964/tid=25965] ppid=25962 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/25964/task/25965/stat : 25965 (java) R 25962 25962 18490 0 -1 4202560 7758 0 0 0 27 3 0 0 20 0 20 0 510904219 28909211648 12395 33554432000 4194304 4196468 140722350664928 139823690526400 139823670375774 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25966] ppid=25962 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25964/task/25966/stat : 25966 (java) S 25962 25962 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510904220 28909211648 12395 33554432000 4194304 4196468 140722350664928 139823606147728 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25967] ppid=25962 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25964/task/25967/stat : 25967 (java) S 25962 25962 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510904220 28909211648 12395 33554432000 4194304 4196468 140722350664928 139823605094928 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25968] ppid=25962 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25964/task/25968/stat : 25968 (java) S 25962 25962 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510904220 28909211648 12395 33554432000 4194304 4196468 140722350664928 139823604042128 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25969] ppid=25962 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25964/task/25969/stat : 25969 (java) S 25962 25962 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510904220 28909211648 12395 33554432000 4194304 4196468 140722350664928 139823602989328 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25970] ppid=25962 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25964/task/25970/stat : 25970 (java) S 25962 25962 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510904220 28909211648 12395 33554432000 4194304 4196468 140722350664928 139823601937552 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25971] ppid=25962 vsize=28231652 memory=139769912847023 CPUtime=0 cores=0-7
/proc/25964/task/25971/stat : 25971 (java) S 25962 25962 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510904220 28909211648 12395 33554432000 4194304 4196468 140722350664928 139823231917072 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25972] ppid=25962 vsize=28231652 memory=139769912849328 CPUtime=0 cores=0-7
/proc/25964/task/25972/stat : 25972 (java) S 25962 25962 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510904220 28909211648 12395 33554432000 4194304 4196468 140722350664928 139823230864272 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25973] ppid=25962 vsize=28231652 memory=139769912851632 CPUtime=0 cores=0-7
/proc/25964/task/25973/stat : 25973 (java) S 25962 25962 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510904220 28909211648 12395 33554432000 4194304 4196468 140722350664928 139823229811472 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25974] ppid=25962 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25964/task/25974/stat : 25974 (java) S 25962 25962 18490 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510904221 28909211648 12395 33554432000 4194304 4196468 140722350664928 139822801963376 139823686306434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25975] ppid=25962 vsize=28231652 memory=279539825717136 CPUtime=0 cores=0-7
/proc/25964/task/25975/stat : 25975 (java) S 25962 25962 18490 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510904222 28909211648 12395 33554432000 4194304 4196468 140722350664928 139822800909344 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25976] ppid=25962 vsize=28231652 memory=279539825714832 CPUtime=0 cores=0-7
/proc/25964/task/25976/stat : 25976 (java) S 25962 25962 18490 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510904222 28909211648 12395 33554432000 4194304 4196468 140722350664928 139822799856496 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25977] ppid=25962 vsize=28231652 memory=279539825721744 CPUtime=0 cores=0-7
/proc/25964/task/25977/stat : 25977 (java) S 25962 25962 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510904224 28909211648 12395 33554432000 4194304 4196468 140722350664928 139822798804816 139823686313883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25978] ppid=25962 vsize=28231652 memory=279539825663024 CPUtime=0.02 cores=0-7
/proc/25964/task/25978/stat : 25978 (java) S 25962 25962 18490 0 -1 1077944384 371 0 0 0 2 0 0 0 20 0 20 0 510904224 28909211648 12395 33554432000 4194304 4196468 140722350664928 139822797753200 139823686306434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25979] ppid=25962 vsize=28231652 memory=279539825735568 CPUtime=0.02 cores=0-7
/proc/25964/task/25979/stat : 25979 (java) S 25962 25962 18490 0 -1 1077944384 189 0 0 0 2 0 0 0 20 0 20 0 510904224 28909211648 12395 33554432000 4194304 4196468 140722350664928 139822796700400 139823686306434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25980] ppid=25962 vsize=28231652 memory=279539825742480 CPUtime=0.03 cores=0-7
/proc/25964/task/25980/stat : 25980 (java) R 25962 25962 18490 0 -1 4202560 193 0 0 0 3 0 0 0 20 0 20 0 510904224 28909211648 12395 33554432000 4194304 4196468 140722350664928 139822795637984 139823671960473 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25981] ppid=25962 vsize=28231652 memory=279539825740176 CPUtime=0.12 cores=0-7
/proc/25964/task/25981/stat : 25981 (java) S 25962 25962 18490 0 -1 1077944384 925 0 0 0 12 0 0 0 20 0 20 0 510904224 28909211648 12395 33554432000 4194304 4196468 140722350664928 139821806774768 139823686306434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25982] ppid=25962 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25964/task/25982/stat : 25982 (java) S 25962 25962 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510904225 28909211648 12395 33554432000 4194304 4196468 140722350664928 139821805722208 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25983] ppid=25962 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/25964/task/25983/stat : 25983 (java) S 25962 25962 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510904225 28909211648 12395 33554432000 4194304 4196468 140722350664928 139821804669488 139823686306434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 50856 KiB

[startup+0.700954 s]
/proc/loadavg: 5.12 6.58 7.50 6/212 25983
/proc/meminfo: memFree=22050472/32770624 swapFree=67002364/67108860
[pid=25962] ppid=25959 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/25962/stat : 25962 (xcsp3-exec) S 25959 25962 18490 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510904218 115843072 363 33554432000 4194304 5098028 140735286431104 140735286429208 139772327420540 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31195136 140735286436697 140735286436954 140735286436954 140735286439878 0
/proc/25962/statm: 28282 363 304 221 0 87 0
[pid=25964] ppid=25962 vsize=28233776 memory=96984 CPUtime=1.98 cores=0-7
/proc/25964/stat : 25964 (java) S 25962 25962 18490 0 -1 1077944320 16041 0 0 0 191 7 0 0 20 0 20 0 510904219 28911386624 24246 33554432000 4194304 4196468 140722350664928 140722350647472 139823686295287 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
/proc/25964/statm: 7058444 24246 3460 1 0 7019544 0
[pid=25964/tid=25965] ppid=25962 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/25964/task/25965/stat : 25965 (java) R 25962 25962 18490 0 -1 4202560 8947 0 0 0 64 4 0 0 20 0 20 0 510904219 28911386624 24246 33554432000 4194304 4196468 140722350664928 139823690530736 139823686307222 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25966] ppid=25962 vsize=28233776 memory=139769913058160 CPUtime=0 cores=0-7
/proc/25964/task/25966/stat : 25966 (java) S 25962 25962 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510904220 28911386624 24246 33554432000 4194304 4196468 140722350664928 139823606147728 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25967] ppid=25962 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/25964/task/25967/stat : 25967 (java) S 25962 25962 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510904220 28911386624 24246 33554432000 4194304 4196468 140722350664928 139823605094928 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25968] ppid=25962 vsize=28233776 memory=1056 CPUtime=0 cores=0-7
/proc/25964/task/25968/stat : 25968 (java) S 25962 25962 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510904220 28911386624 24246 33554432000 4194304 4196468 140722350664928 139823604042128 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0

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

[pid=25964/tid=25983] ppid=25962 vsize=28834900 memory=4052960 CPUtime=0.07 cores=0-7
/proc/25964/task/25983/stat : 25983 (java) S 25962 25962 18490 0 -1 1077944384 2776 0 0 0 3 4 0 0 20 0 28 0 510904225 29526937600 1076760 33554432000 4194304 4196468 140722350664928 139821804669488 139823686306434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
Current children cumulated CPU time: 931.59 s
Current children cumulated vsize: 28948028 KiB
Current children cumulated memory: 4308492 KiB

[startup+222.302 s]
/proc/loadavg: 7.71 6.66 7.29 9/220 1144
/proc/meminfo: memFree=17802680/32770624 swapFree=67002364/67108860
[pid=25962] ppid=25959 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/25962/stat : 25962 (xcsp3-exec) S 25959 25962 18490 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510904218 115843072 363 33554432000 4194304 5098028 140735286431104 140735286429208 139772327420540 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31195136 140735286436697 140735286436954 140735286436954 140735286439878 0
/proc/25962/statm: 28282 363 304 221 0 87 0
[pid=25964] ppid=25962 vsize=28834900 memory=4315576 CPUtime=1408.57 cores=0-7
/proc/25964/stat : 25964 (java) S 25962 25962 18490 0 -1 1077944320 627384 0 0 0 140131 726 0 0 20 0 28 0 510904219 29526937600 1078894 33554432000 4194304 4196468 140722350664928 140722350647472 139823686295287 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
/proc/25964/statm: 7208725 1078894 3556 1 0 7169825 0
[pid=25964/tid=25965] ppid=25962 vsize=28834900 memory=4315516 CPUtime=8.14 cores=0-7
/proc/25964/task/25965/stat : 25965 (java) S 25962 25962 18490 0 -1 1077944384 18950 0 0 0 791 23 0 0 20 0 28 0 510904219 29526937600 1078894 33554432000 4194304 4196468 140722350664928 139823690536000 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25966] ppid=25962 vsize=28834900 memory=4192416 CPUtime=1.34 cores=0-7
/proc/25964/task/25966/stat : 25966 (java) S 25962 25962 18490 0 -1 1077944384 4399 0 0 0 92 42 0 0 20 0 28 0 510904220 29526937600 1078894 33554432000 4194304 4196468 140722350664928 139823606147728 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25967] ppid=25962 vsize=28834900 memory=1452 CPUtime=1.32 cores=0-7
/proc/25964/task/25967/stat : 25967 (java) S 25962 25962 18490 0 -1 1077944384 4979 0 0 0 92 40 0 0 20 0 28 0 510904220 29526937600 1078894 33554432000 4194304 4196468 140722350664928 139823605094928 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25968] ppid=25962 vsize=28834900 memory=4245624 CPUtime=1.32 cores=0-7
/proc/25964/task/25968/stat : 25968 (java) S 25962 25962 18490 0 -1 1077944384 4222 0 0 0 92 40 0 0 20 0 28 0 510904220 29526937600 1078894 33554432000 4194304 4196468 140722350664928 139823604042128 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25969] ppid=25962 vsize=28834900 memory=4245720 CPUtime=1.31 cores=0-7
/proc/25964/task/25969/stat : 25969 (java) S 25962 25962 18490 0 -1 1077944384 4706 0 0 0 92 39 0 0 20 0 28 0 510904220 29526937600 1078894 33554432000 4194304 4196468 140722350664928 139823602989328 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25970] ppid=25962 vsize=28834900 memory=4249880 CPUtime=1.33 cores=0-7
/proc/25964/task/25970/stat : 25970 (java) S 25962 25962 18490 0 -1 1077944384 4353 0 0 0 91 42 0 0 20 0 28 0 510904220 29526937600 1078894 33554432000 4194304 4196468 140722350664928 139823601937552 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25971] ppid=25962 vsize=28834900 memory=1452 CPUtime=1.37 cores=0-7
/proc/25964/task/25971/stat : 25971 (java) S 25962 25962 18490 0 -1 1077944384 4438 0 0 0 97 40 0 0 20 0 28 0 510904220 29526937600 1078894 33554432000 4194304 4196468 140722350664928 139823231917072 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25972] ppid=25962 vsize=28834900 memory=4315392 CPUtime=1.34 cores=0-7
/proc/25964/task/25972/stat : 25972 (java) S 25962 25962 18490 0 -1 1077944384 4108 0 0 0 92 42 0 0 20 0 28 0 510904220 29526937600 1078894 33554432000 4194304 4196468 140722350664928 139823230864272 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25973] ppid=25962 vsize=28834900 memory=4315456 CPUtime=1.36 cores=0-7
/proc/25964/task/25973/stat : 25973 (java) S 25962 25962 18490 0 -1 1077944384 4320 0 0 0 93 43 0 0 20 0 28 0 510904220 29526937600 1078894 33554432000 4194304 4196468 140722350664928 139823229811472 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25974] ppid=25962 vsize=28834900 memory=4315456 CPUtime=0.1 cores=0-7
/proc/25964/task/25974/stat : 25974 (java) S 25962 25962 18490 0 -1 1077944384 6263 0 0 0 8 2 0 0 20 0 28 0 510904221 29526937600 1078894 33554432000 4194304 4196468 140722350664928 139822801963376 139823686306434 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25975] ppid=25962 vsize=28834900 memory=4315576 CPUtime=0 cores=0-7
/proc/25964/task/25975/stat : 25975 (java) S 25962 25962 18490 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 510904222 29526937600 1078894 33554432000 4194304 4196468 140722350664928 139822800909408 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25976] ppid=25962 vsize=28834900 memory=4315576 CPUtime=0 cores=0-7
/proc/25964/task/25976/stat : 25976 (java) S 25962 25962 18490 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 510904222 29526937600 1078894 33554432000 4194304 4196468 140722350664928 139822799856512 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25977] ppid=25962 vsize=28834900 memory=4315576 CPUtime=0 cores=0-7
/proc/25964/task/25977/stat : 25977 (java) S 25962 25962 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510904224 29526937600 1078894 33554432000 4194304 4196468 140722350664928 139822798804816 139823686313883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25978] ppid=25962 vsize=28834900 memory=1452 CPUtime=4 cores=0-7
/proc/25964/task/25978/stat : 25978 (java) S 25962 25962 18490 0 -1 1077944384 23893 0 0 0 393 7 0 0 20 0 28 0 510904224 29526937600 1078894 33554432000 4194304 4196468 140722350664928 139822797753200 139823686306434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25979] ppid=25962 vsize=28834900 memory=1452 CPUtime=4.06 cores=0-7
/proc/25964/task/25979/stat : 25979 (java) S 25962 25962 18490 0 -1 1077944384 26742 0 0 0 401 5 0 0 20 0 28 0 510904224 29526937600 1078894 33554432000 4194304 4196468 140722350664928 139822796700400 139823686306434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25980] ppid=25962 vsize=28834900 memory=2648 CPUtime=4.27 cores=0-7
/proc/25964/task/25980/stat : 25980 (java) S 25962 25962 18490 0 -1 1077944384 18118 0 0 0 424 3 0 0 20 0 28 0 510904224 29526937600 1078894 33554432000 4194304 4196468 140722350664928 139822795647600 139823686306434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25981] ppid=25962 vsize=28834900 memory=1452 CPUtime=1.23 cores=0-7
/proc/25964/task/25981/stat : 25981 (java) S 25962 25962 18490 0 -1 1077944384 14740 0 0 0 119 4 0 0 20 0 28 0 510904224 29526937600 1078894 33554432000 4194304 4196468 140722350664928 139821806774768 139823686306434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25982] ppid=25962 vsize=28834900 memory=4315516 CPUtime=0 cores=0-7
/proc/25964/task/25982/stat : 25982 (java) S 25962 25962 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510904225 29526937600 1078894 33554432000 4194304 4196468 140722350664928 139821805722208 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25983] ppid=25962 vsize=28834900 memory=1452 CPUtime=0.08 cores=0-7
/proc/25964/task/25983/stat : 25983 (java) S 25962 25962 18490 0 -1 1077944384 3181 0 0 0 3 5 0 0 20 0 28 0 510904225 29526937600 1078894 33554432000 4194304 4196468 140722350664928 139821804669488 139823686306434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=1134] ppid=25962 vsize=28834900 memory=4315516 CPUtime=40.19 cores=0-7
/proc/25964/task/1134/stat : 1134 (java) R 25962 25962 18490 0 -1 4202560 20737 0 0 0 4016 3 0 0 20 0 28 0 510922426 29526937600 1078894 33554432000 4194304 4196468 140722350664928 139821479439472 139823291034497 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=1135] ppid=25962 vsize=28834900 memory=580 CPUtime=40.21 cores=0-7
/proc/25964/task/1135/stat : 1135 (java) R 25962 25962 18490 0 -1 4202560 1025 0 0 0 4021 0 0 0 20 0 28 0 510922426 29526937600 1078894 33554432000 4194304 4196468 140722350664928 139821791486232 139823290903190 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=1136] ppid=25962 vsize=28834900 memory=1692 CPUtime=40.19 cores=0-7
/proc/25964/task/1136/stat : 1136 (java) R 25962 25962 18490 0 -1 4202560 1115 0 0 0 4019 0 0 0 20 0 28 0 510922426 29526937600 1078894 33554432000 4194304 4196468 140722350664928 139821792539800 139823290903252 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=1137] ppid=25962 vsize=28834900 memory=2012 CPUtime=39.49 cores=0-7
/proc/25964/task/1137/stat : 1137 (java) R 25962 25962 18490 0 -1 4202560 23200 0 0 0 3947 2 0 0 20 0 28 0 510922426 29526937600 1078894 33554432000 4194304 4196468 140722350664928 139821790434328 139823291034311 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=1138] ppid=25962 vsize=28834900 memory=1424 CPUtime=40.11 cores=0-7
/proc/25964/task/1138/stat : 1138 (java) R 25962 25962 18490 0 -1 4202560 2928 0 0 0 4009 2 0 0 20 0 28 0 510922426 29526937600 1078894 33554432000 4194304 4196468 140722350664928 139821789383544 139823287280179 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=1139] ppid=25962 vsize=28834900 memory=1452 CPUtime=40.19 cores=0-7
/proc/25964/task/1139/stat : 1139 (java) R 25962 25962 18490 0 -1 4202560 1251 0 0 0 4018 1 0 0 20 0 28 0 510922426 29526937600 1078894 33554432000 4194304 4196468 140722350664928 139821477335592 139823291034461 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=1140] ppid=25962 vsize=28834900 memory=3616 CPUtime=40.21 cores=0-7
/proc/25964/task/1140/stat : 1140 (java) R 25962 25962 18490 0 -1 4202560 3222 0 0 0 4019 2 0 0 20 0 28 0 510922426 29526937600 1078894 33554432000 4194304 4196468 140722350664928 139821793594680 139823290903959 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=1141] ppid=25962 vsize=28834900 memory=6791534058613427641 CPUtime=40.21 cores=0-7
/proc/25964/task/1141/stat : 1141 (java) R 25962 25962 18490 0 -1 4202560 6212 0 0 0 4018 3 0 0 20 0 28 0 510922426 29526937600 1078894 33554432000 4194304 4196468 140722350664928 139821478388008 139823291034330 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
Current children cumulated CPU time: 1408.57 s
Current children cumulated vsize: 28948028 KiB
Current children cumulated memory: 4317028 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 7.95 6.82 7.32 9/219 1154
/proc/meminfo: memFree=17746976/32770624 swapFree=67002364/67108860
[pid=25962] ppid=25959 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/25962/stat : 25962 (xcsp3-exec) S 25959 25962 18490 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510904218 115843072 363 33554432000 4194304 5098028 140735286431104 140735286429208 139772327420540 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31195136 140735286436697 140735286436954 140735286436954 140735286439878 0
/proc/25962/statm: 28282 363 304 221 0 87 0
[pid=25964] ppid=25962 vsize=28834900 memory=4370624 CPUtime=1644.65 cores=0-7
/proc/25964/stat : 25964 (java) S 25962 25962 18490 0 -1 1077944320 638290 0 0 0 163729 736 0 0 20 0 28 0 510904219 29526937600 1092656 33554432000 4194304 4196468 140722350664928 140722350647472 139823686295287 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
/proc/25964/statm: 7208725 1092656 3556 1 0 7169825 0
[pid=25964/tid=25965] ppid=25962 vsize=28834900 memory=1398722017469774279 CPUtime=8.14 cores=0-7
/proc/25964/task/25965/stat : 25965 (java) S 25962 25962 18490 0 -1 1077944384 19145 0 0 0 791 23 0 0 20 0 28 0 510904219 29526937600 1092656 33554432000 4194304 4196468 140722350664928 139823690536000 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25966] ppid=25962 vsize=28834900 memory=4872558044660077418 CPUtime=1.34 cores=0-7
/proc/25964/task/25966/stat : 25966 (java) S 25962 25962 18490 0 -1 1077944384 4399 0 0 0 92 42 0 0 20 0 28 0 510904220 29526937600 1092656 33554432000 4194304 4196468 140722350664928 139823606147728 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25967] ppid=25962 vsize=28834900 memory=4329912 CPUtime=1.32 cores=0-7
/proc/25964/task/25967/stat : 25967 (java) S 25962 25962 18490 0 -1 1077944384 4979 0 0 0 92 40 0 0 20 0 28 0 510904220 29526937600 1092656 33554432000 4194304 4196468 140722350664928 139823605094928 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25968] ppid=25962 vsize=28834900 memory=34624 CPUtime=1.32 cores=0-7
/proc/25964/task/25968/stat : 25968 (java) S 25962 25962 18490 0 -1 1077944384 4222 0 0 0 92 40 0 0 20 0 28 0 510904220 29526937600 1092656 33554432000 4194304 4196468 140722350664928 139823604042128 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25969] ppid=25962 vsize=28834900 memory=1452 CPUtime=1.31 cores=0-7
/proc/25964/task/25969/stat : 25969 (java) S 25962 25962 18490 0 -1 1077944384 4706 0 0 0 92 39 0 0 20 0 28 0 510904220 29526937600 1092656 33554432000 4194304 4196468 140722350664928 139823602989328 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25970] ppid=25962 vsize=28834900 memory=1452 CPUtime=1.33 cores=0-7
/proc/25964/task/25970/stat : 25970 (java) S 25962 25962 18490 0 -1 1077944384 4353 0 0 0 91 42 0 0 20 0 28 0 510904220 29526937600 1092656 33554432000 4194304 4196468 140722350664928 139823601937552 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25971] ppid=25962 vsize=28834900 memory=4358336 CPUtime=1.37 cores=0-7
/proc/25964/task/25971/stat : 25971 (java) S 25962 25962 18490 0 -1 1077944384 4438 0 0 0 97 40 0 0 20 0 28 0 510904220 29526937600 1092656 33554432000 4194304 4196468 140722350664928 139823231917072 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25972] ppid=25962 vsize=28834900 memory=4325816 CPUtime=1.34 cores=0-7
/proc/25964/task/25972/stat : 25972 (java) S 25962 25962 18490 0 -1 1077944384 4108 0 0 0 92 42 0 0 20 0 28 0 510904220 29526937600 1092656 33554432000 4194304 4196468 140722350664928 139823230864272 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25973] ppid=25962 vsize=28834900 memory=63160 CPUtime=1.36 cores=0-7
/proc/25964/task/25973/stat : 25973 (java) S 25962 25962 18490 0 -1 1077944384 4320 0 0 0 93 43 0 0 20 0 28 0 510904220 29526937600 1092656 33554432000 4194304 4196468 140722350664928 139823229811472 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25974] ppid=25962 vsize=28834900 memory=988 CPUtime=0.1 cores=0-7
/proc/25964/task/25974/stat : 25974 (java) S 25962 25962 18490 0 -1 1077944384 6275 0 0 0 8 2 0 0 20 0 28 0 510904221 29526937600 1092656 33554432000 4194304 4196468 140722350664928 139822801963376 139823686306434 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25975] ppid=25962 vsize=28834900 memory=2012 CPUtime=0 cores=0-7
/proc/25964/task/25975/stat : 25975 (java) S 25962 25962 18490 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 510904222 29526937600 1092656 33554432000 4194304 4196468 140722350664928 139822800909408 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25976] ppid=25962 vsize=28834900 memory=1424 CPUtime=0 cores=0-7
/proc/25964/task/25976/stat : 25976 (java) S 25962 25962 18490 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 510904222 29526937600 1092656 33554432000 4194304 4196468 140722350664928 139822799856512 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25977] ppid=25962 vsize=28834900 memory=580 CPUtime=0 cores=0-7
/proc/25964/task/25977/stat : 25977 (java) S 25962 25962 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510904224 29526937600 1092656 33554432000 4194304 4196468 140722350664928 139822798804816 139823686313883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25978] ppid=25962 vsize=28834900 memory=4346296 CPUtime=4 cores=0-7
/proc/25964/task/25978/stat : 25978 (java) S 25962 25962 18490 0 -1 1077944384 24287 0 0 0 393 7 0 0 20 0 28 0 510904224 29526937600 1092656 33554432000 4194304 4196468 140722350664928 139822797753200 139823686306434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25979] ppid=25962 vsize=28834900 memory=304274665394929958 CPUtime=4.06 cores=0-7
/proc/25964/task/25979/stat : 25979 (java) S 25962 25962 18490 0 -1 1077944384 26748 0 0 0 401 5 0 0 20 0 28 0 510904224 29526937600 1092656 33554432000 4194304 4196468 140722350664928 139822796700400 139823686306434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25980] ppid=25962 vsize=28834900 memory=13571479002416456 CPUtime=4.27 cores=0-7
/proc/25964/task/25980/stat : 25980 (java) S 25962 25962 18490 0 -1 1077944384 18124 0 0 0 424 3 0 0 20 0 28 0 510904224 29526937600 1092656 33554432000 4194304 4196468 140722350664928 139822795647600 139823686306434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25981] ppid=25962 vsize=28834900 memory=111636 CPUtime=1.24 cores=0-7
/proc/25964/task/25981/stat : 25981 (java) S 25962 25962 18490 0 -1 1077944384 15333 0 0 0 120 4 0 0 20 0 28 0 510904224 29526937600 1092656 33554432000 4194304 4196468 140722350664928 139821806774768 139823686306434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25982] ppid=25962 vsize=28834900 memory=808 CPUtime=0 cores=0-7
/proc/25964/task/25982/stat : 25982 (java) S 25962 25962 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510904225 29526937600 1092656 33554432000 4194304 4196468 140722350664928 139821805722208 139823686305493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=25983] ppid=25962 vsize=28834900 memory=1804 CPUtime=0.1 cores=0-7
/proc/25964/task/25983/stat : 25983 (java) S 25962 25962 18490 0 -1 1077944384 3258 0 0 0 4 6 0 0 20 0 28 0 510904225 29526937600 1092656 33554432000 4194304 4196468 140722350664928 139821804669488 139823686306434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=1147] ppid=25962 vsize=28834900 memory=920 CPUtime=4.01 cores=0-7
/proc/25964/task/1147/stat : 1147 (java) R 25962 25962 18490 0 -1 4202560 1180 0 0 0 401 0 0 0 20 0 28 0 510929018 29526937600 1092656 33554432000 4194304 4196468 140722350664928 139821789384888 139823290903116 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=1148] ppid=25962 vsize=28834900 memory=5296 CPUtime=4 cores=0-7
/proc/25964/task/1148/stat : 1148 (java) R 25962 25962 18490 0 -1 4202560 214 0 0 0 400 0 0 0 20 0 28 0 510929018 29526937600 1092656 33554432000 4194304 4196468 140722350664928 139821792543848 139823290903252 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=1149] ppid=25962 vsize=28834900 memory=4100 CPUtime=4.01 cores=0-7
/proc/25964/task/1149/stat : 1149 (java) R 25962 25962 18490 0 -1 4202560 235 0 0 0 401 0 0 0 20 0 28 0 510929018 29526937600 1092656 33554432000 4194304 4196468 140722350664928 139821479446504 139823285966229 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=1150] ppid=25962 vsize=28834900 memory=1412 CPUtime=4.01 cores=0-7
/proc/25964/task/1150/stat : 1150 (java) R 25962 25962 18490 0 -1 4202560 575 0 0 0 400 1 0 0 20 0 28 0 510929018 29526937600 1092656 33554432000 4194304 4196468 140722350664928 139821477342664 139823287897024 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=1151] ppid=25962 vsize=28834900 memory=4932 CPUtime=3.93 cores=0-7
/proc/25964/task/1151/stat : 1151 (java) R 25962 25962 18490 0 -1 4202560 200 0 0 0 393 0 0 0 20 0 28 0 510929018 29526937600 1092656 33554432000 4194304 4196468 140722350664928 139821793598792 139823290902776 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=1152] ppid=25962 vsize=28834900 memory=1452 CPUtime=3.99 cores=0-7
/proc/25964/task/1152/stat : 1152 (java) R 25962 25962 18490 0 -1 4202560 283 0 0 0 399 0 0 0 20 0 28 0 510929018 29526937600 1092656 33554432000 4194304 4196468 140722350664928 139821478395080 139823291034461 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=1153] ppid=25962 vsize=28834900 memory=4350048 CPUtime=4.01 cores=0-7
/proc/25964/task/1153/stat : 1153 (java) R 25962 25962 18490 0 -1 4202560 1634 0 0 0 401 0 0 0 20 0 28 0 510929018 29526937600 1092656 33554432000 4194304 4196468 140722350664928 139821790440520 139823284653446 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
[pid=25964/tid=1154] ppid=25962 vsize=28834900 memory=1440 CPUtime=4 cores=0-7
/proc/25964/task/1154/stat : 1154 (java) R 25962 25962 18490 0 -1 4202560 592 0 0 0 399 1 0 0 20 0 28 0 510929018 29526937600 1092656 33554432000 4194304 4196468 140722350664928 139821791493064 139823290902627 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25767936 140722350666716 140722350666891 140722350666891 140722350669775 0
Current children cumulated CPU time: 1644.65 s
Current children cumulated vsize: 28948028 KiB
Current children cumulated memory: 4372076 KiB

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

[startup+252.043 s]
# the end of solver process 25962 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000818 s, system=0.001637 s

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

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

Child status: 143
Real time (s): 252.129
CPU time (s): 1645.35
CPU user time (s): 1637.95
CPU system time (s): 7.40219
CPU usage (%): 652.582
Max. virtual memory (cumulated for all children) (KiB): 28948028
Max. memory (cumulated for all children) (KiB): 4372076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1637.95
system time used= 7.40219
maximum resident set size= 4371172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 640293
page faults= 0
swaps= 0
block input operations= 0
block output operations= 544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 71267
involuntary context switches= 18313


# summary of solver processes directly reported to runsolver:
#   pid: 25962,25964
#   total CPU time (s): 1645.35
#   total CPU user time (s): 1637.95
#   total CPU system time (s): 7.40219

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.16904 second user time and 2.88107 second system time

The end

Launcher Data 

Begin job on node146 at 2019-09-24 20:31:01
IDJOB=4407451
IDBENCH=141204
IDSOLVER=2872
FILE ID=node146/4407451-1569349903
RUNJOBID= node146-1569335937-18517
PBS_JOBID= 21705051
Free space on /var/tmp= 13508 MiB

SOLVER NAME= choco-solver 2019-09-24 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 /var/tmp/evaluation-result-4407451-1569349903/watcher-4407451-1569349903 -o /var/tmp/evaluation-result-4407451-1569349903/solver-4407451-1569349903 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1569335937-18517 --watchdog 312  xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 81567665 HOME/instance-4407451-1569349903.xml

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

MD5SUM BENCH= d0ab6aee5f30ff70d66f863e0e3556a1
RANDOM SEED=81567665

node146.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	: 5332.90
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	: 5332.90
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	: 5332.90
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	: 5332.90
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:        22113132 kB
MemAvailable:   31841484 kB
Buffers:          149344 kB
Cached:          9616804 kB
SwapCached:         3568 kB
Active:          4855996 kB
Inactive:        4916168 kB
Active(anon):       5792 kB
Inactive(anon):    56460 kB
Active(file):    4850204 kB
Inactive(file):  4859708 kB
Unevictable:      110896 kB
Mlocked:          110896 kB
SwapTotal:      67108860 kB
SwapFree:       67002364 kB
Dirty:             26148 kB
Writeback:             0 kB
AnonPages:        114632 kB
Mapped:            56600 kB
Shmem:             47620 kB
Slab:             475496 kB
SReclaimable:     446900 kB
SUnreclaim:        28596 kB
KernelStack:        3616 kB
PageTables:         5648 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     517128 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /var/tmp at the end= 13480 MiB
End job on node146 at 2019-09-24 20:35:14