Trace number 4399951

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-16 parallelSAT (TO)6817 19609.6 2520.14

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-graph-05-opt_c18.xml
MD5SUMd0ab6aee5f30ff70d66f863e0e3556a1
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark221
Best CPU time to get the best result obtained on this benchmark9.42536
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-4399951-1568717631.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4399951-1568717631.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
20.35/8.52	c solve instance...
26.53/9.43	o 148863 
26.53/9.46	o 147962 
28.14/9.85	o 147862 
28.37/9.90	o 147762 
30.17/11.18	o 147761 
30.17/11.19	o 146862 
30.31/11.21	o 145961 
30.31/11.24	o 145861 
30.31/11.24	o 145761 
30.31/11.26	o 145732 
30.31/11.29	o 145731 
30.58/11.30	o 145640 
30.58/11.32	o 145620 
30.58/11.33	o 144960 
30.58/11.35	o 144931 
30.58/11.36	o 144930 
30.58/11.37	o 144839 
30.58/11.38	o 144819 
30.58/11.39	o 144760 
30.95/11.45	o 144731 
30.95/11.47	o 144730 
30.95/11.49	o 144639 
31.14/11.50	o 144619 
31.14/11.54	o 144596 
31.14/11.55	o 144567 
31.14/11.58	o 144503 
31.53/11.68	o 144483 
31.53/11.70	o 144414 
32.20/11.76	o 144393 
32.20/11.78	o 144373 
32.20/11.79	o 144363 
32.20/11.79	o 144353 
32.65/11.81	o 144352 
32.65/11.84	o 144342 
32.65/11.88	o 143747 
32.65/11.88	o 143647 
32.65/11.89	o 143547 
32.91/11.92	o 143528 
32.91/11.94	o 143518 
32.91/11.95	o 143517 
32.91/11.96	o 143427 
32.91/11.97	o 143426 
32.91/11.98	o 143406 
32.91/12.00	o 143383 
33.28/12.10	o 143364 
34.02/12.12	o 143354 
34.02/12.13	o 143290 
34.02/12.16	o 143270 
34.02/12.19	o 143201 
34.02/12.19	o 143180 
34.48/12.22	o 143160 
34.48/12.24	o 143150 
34.48/12.26	o 143140 
34.48/12.28	o 143111 
34.48/12.28	o 143090 
34.48/12.28	o 143070 
34.77/12.30	o 143060 
34.77/12.31	o 143050 
34.77/12.32	o 142956 
34.77/12.35	o 142856 
34.77/12.36	o 142756 
34.77/12.39	o 142737 
35.02/12.40	o 142727 
35.02/12.41	o 142726 
35.02/12.41	o 142636 
35.02/12.43	o 142635 
35.02/12.44	o 142615 
35.02/12.46	o 142593 
35.02/12.49	o 142493 
35.27/12.51	o 142474 
35.27/12.52	o 142464 
35.27/12.54	o 142400 
35.27/12.56	o 142380 
35.27/12.56	o 142311 
35.27/12.56	o 142290 
35.69/12.66	o 142270 
35.69/12.68	o 142260 
36.03/12.70	o 142250 
36.03/12.71	o 142038 
36.42/12.85	o 141549 
36.42/12.86	o 140648 
36.42/12.88	o 140548 
36.42/12.90	o 140448 
36.77/12.95	o 140419 
36.77/13.00	o 140418 
36.77/13.00	o 140327 
36.95/13.02	o 140307 
36.95/13.07	o 140296 
38.43/14.28	o 140216 
38.43/14.28	o 140215 
38.43/14.30	o 140195 
38.56/14.31	o 139435 
38.56/14.33	o 139335 
38.56/14.34	o 139235 
38.56/14.37	o 139216 
39.00/14.49	o 139206 
39.15/14.53	o 139205 
39.15/14.53	o 139115 
39.15/14.55	o 139114 
39.15/14.56	o 139094 
39.15/14.58	o 139083 
39.15/14.59	o 138323 
39.15/14.60	o 138304 
39.47/14.67	o 138294 
39.77/14.72	o 138293 
39.77/14.75	o 138203 
39.77/14.76	o 138202 
39.77/14.78	o 138182 
39.77/14.79	o 138123 
39.99/14.80	o 138104 
39.99/14.82	o 138094 
39.99/14.83	o 138093 
39.99/14.84	o 138003 
39.99/14.86	o 138002 
40.23/14.90	o 137982 
40.23/14.92	o 137903 
40.23/14.93	o 137902 
40.23/14.94	o 137882 
40.23/14.97	o 137803 
40.72/15.10	o 137802 
41.43/15.11	o 137782 
41.43/15.13	o 137123 
41.43/15.15	o 137104 
41.43/15.16	o 137094 
41.43/15.18	o 137093 
41.66/15.20	o 137003 
41.66/15.23	o 137002 
41.66/15.27	o 136982 
41.66/15.28	o 136923 
41.93/15.31	o 136904 
41.93/15.33	o 136894 
41.93/15.34	o 136893 
41.93/15.37	o 136803 
41.93/15.39	o 136802 
42.16/15.41	o 136782 
42.41/15.60	o 136123 
42.41/15.62	o 136104 
42.41/15.63	o 136094 
42.41/15.64	o 136093 
42.41/15.69	o 136003 
42.62/15.72	o 136002 
42.62/15.77	o 135533 
42.62/15.79	o 135123 
43.01/15.89	o 135023 
44.36/17.08	o 134923 
44.49/17.12	o 134904 
44.49/17.13	o 134894 
44.49/17.15	o 134893 
44.49/17.16	o 134803 
44.49/17.18	o 134802 
44.49/17.19	o 134782 
44.77/17.21	o 134223 
44.77/17.22	o 134123 
44.77/17.24	o 134023 
44.77/17.26	o 134004 
44.77/17.27	o 133994 
45.00/17.31	o 133993 
45.00/17.33	o 133903 
45.00/17.34	o 133902 
45.00/17.36	o 133882 
45.00/17.39	o 133802 
45.33/17.40	o 133801 
45.33/17.42	o 133781 
45.33/17.44	o 133759 
45.33/17.48	o 133740 
45.56/17.50	o 133731 
45.56/17.52	o 133677 
45.56/17.54	o 133656 
45.56/17.55	o 133636 
45.56/17.57	o 133626 
45.56/17.58	o 133616 
45.83/17.61	o 133222 
45.83/17.63	o 133122 
45.83/17.64	o 133022 
45.83/17.65	o 133003 
45.83/17.66	o 132993 
45.83/17.68	o 132992 
45.83/17.69	o 132902 
46.07/17.70	o 132901 
46.07/17.73	o 132881 
46.07/17.79	o 132866 
46.27/17.81	o 132846 
46.27/17.82	o 132777 
46.27/17.83	o 132756 
46.27/17.85	o 132736 
46.27/17.86	o 132726 
46.27/17.88	o 132716 
46.27/17.89	o 132657 
46.54/17.90	o 132616 
46.54/17.94	o 132426 
46.54/17.97	o 132101 
46.54/17.98	o 132001 
46.54/17.99	o 131901 
47.06/18.11	o 131882 
47.18/18.15	o 131872 
47.18/18.16	o 131871 
47.18/18.16	o 131781 
47.18/18.18	o 131780 
47.18/18.19	o 131760 
47.59/18.22	o 131750 
47.59/18.24	o 131748 
47.59/18.25	o 131737 
47.59/18.29	o 131725 
47.59/18.30	o 131656 
47.91/18.30	o 131635 
47.91/18.32	o 131615 
47.91/18.34	o 131605 
47.91/18.35	o 131546 
47.91/18.38	o 131505 
49.48/19.58	o 131496 
49.67/19.67	o 131495 
50.22/19.71	o 131091 
50.22/19.72	o 130991 
50.22/19.74	o 130891 
50.22/19.75	o 130872 
50.22/19.77	o 130862 
50.22/19.79	o 130861 
50.47/19.80	o 130771 
50.47/19.83	o 130770 
50.47/19.84	o 130750 
50.47/19.86	o 130749 
50.74/19.92	o 130738 
50.74/20.00	o 130727 
50.95/20.03	o 130715 
50.95/20.05	o 130646 
50.95/20.06	o 130625 
50.95/20.09	o 130605 
50.95/20.10	o 130595 
51.19/20.14	o 130536 
51.19/20.14	o 130495 
51.19/20.18	o 130487 
51.51/20.26	o 130213 
51.51/20.27	o 130113 
51.51/20.28	o 130013 
51.89/20.31	o 129994 
51.89/20.34	o 129984 
51.89/20.35	o 129983 
51.89/20.38	o 129893 
52.13/20.40	o 129892 
52.13/20.42	o 129872 
52.13/20.44	o 129857 
52.13/20.46	o 129837 
52.13/20.48	o 129768 
52.13/20.49	o 129747 
52.38/20.51	o 129727 
52.38/20.53	o 129717 
52.38/20.54	o 129707 
52.38/20.56	o 129648 
52.38/20.57	o 129607 
52.81/20.63	o 129092 
52.94/20.72	o 128992 
52.94/20.74	o 128892 
52.94/20.77	o 128873 
53.11/20.81	o 128863 
53.11/20.83	o 128862 
53.11/20.83	o 128772 
53.11/20.85	o 128771 
53.28/20.98	o 128751 
53.42/21.01	o 128741 
53.42/21.02	o 128740 
53.42/21.06	o 128739 
53.69/21.17	o 128728 
53.69/21.19	o 128716 
53.88/21.20	o 128647 
55.04/22.35	o 128626 
55.04/22.37	o 128606 
55.04/22.39	o 128596 
55.22/22.41	o 128537 
55.22/22.44	o 128496 
55.22/22.49	o 128486 
55.50/22.52	o 128485 
55.50/22.56	o 128475 
55.50/22.57	o 128474 
55.73/22.65	o 128415 
55.73/22.68	o 128374 
55.73/22.70	o 128364 
55.91/22.70	o 128354 
55.91/22.71	o 128295 
55.91/22.75	o 128254 
56.44/22.86	o 128082 
56.44/22.89	o 127982 
56.67/22.91	o 127882 
56.67/22.92	o 127863 
56.67/22.99	o 127853 
56.67/23.01	o 127852 
56.88/23.02	o 127762 
56.88/23.03	o 127761 
56.88/23.04	o 127741 
56.88/23.05	o 127740 
56.88/23.06	o 127729 
57.05/23.12	o 127718 
57.05/23.15	o 127706 
57.05/23.18	o 127637 
57.05/23.19	o 127616 
57.27/23.23	o 127596 
57.27/23.27	o 127586 
57.44/23.30	o 127527 
57.44/23.34	o 127486 
57.69/23.40	o 127476 
57.69/23.43	o 127475 
57.69/23.44	o 127465 
57.88/23.50	o 127464 
57.88/23.56	o 127405 
57.88/23.57	o 127364 
58.10/23.63	o 127354 
58.10/23.64	o 127072 
58.57/23.77	o 126972 
58.57/23.78	o 126872 
58.78/23.84	o 126853 
58.78/23.88	o 126843 
58.95/23.90	o 126842 
58.95/23.93	o 126752 
59.13/24.04	o 126751 
59.13/24.05	o 126731 
59.13/24.07	o 126730 
59.13/24.10	o 126719 
59.34/24.14	o 126708 
59.34/24.17	o 126696 
59.34/24.19	o 126686 
59.52/24.21	o 126676 
59.52/24.24	o 126617 
59.52/24.25	o 126517 
59.52/24.28	o 126476 
60.86/25.46	o 126467 
61.18/25.55	o 126466 
61.18/25.59	o 126062 
61.50/25.60	o 125962 
61.63/25.70	o 125862 
61.63/25.73	o 125843 
61.63/25.74	o 125833 
61.63/25.78	o 125832 
61.63/25.79	o 125742 
61.87/25.82	o 125741 
61.87/25.85	o 125721 
61.87/25.86	o 125720 
61.87/25.90	o 125709 
62.06/25.93	o 125698 
62.06/25.95	o 125686 
62.06/25.98	o 125676 
62.31/26.01	o 125666 
62.31/26.05	o 125607 
62.31/26.05	o 125507 
62.31/26.08	o 125466 
62.57/26.13	o 125458 
62.57/26.19	o 125184 
62.96/26.22	o 125084 
62.96/26.24	o 124984 
62.96/26.25	o 124965 
62.96/26.26	o 124955 
62.96/26.28	o 124954 
62.96/26.29	o 124864 
63.16/26.30	o 124863 
63.16/26.31	o 124843 
63.16/26.32	o 124828 
63.16/26.34	o 124808 
63.16/26.36	o 124798 
63.16/26.38	o 124778 
63.63/26.55	o 124719 
63.63/26.55	o 124619 
63.63/26.58	o 124578 
63.90/26.64	o 124063 
63.90/26.66	o 123963 
63.90/26.66	o 123863 
64.19/26.73	o 123852 
64.38/26.85	o 123844 
64.38/26.86	o 123834 
64.38/26.87	o 123833 
64.38/26.88	o 123743 
64.38/26.88	o 123742 
64.38/26.89	o 123722 
64.56/26.90	o 123712 
64.56/26.92	o 123710 
65.75/28.10	o 123699 
65.89/28.11	o 123687 
65.89/28.13	o 123677 
65.89/28.15	o 123667 
66.15/28.20	o 123608 
66.15/28.22	o 123508 
66.15/28.27	o 123467 
66.36/28.33	o 123457 
66.36/28.34	o 123456 
66.36/28.37	o 123446 
66.36/28.39	o 123445 
66.62/28.45	o 123386 
66.62/28.48	o 123345 
66.86/28.51	o 123266 
66.86/28.57	o 123225 
67.27/28.62	o 123211 
67.27/28.64	o 123210 
67.27/28.67	o 123190 
67.27/28.70	o 123189 
67.48/28.70	o 123178 
67.48/28.75	o 123167 
67.67/28.82	o 123155 
67.67/28.84	o 123089 
67.89/28.97	o 123088 
67.89/28.99	o 123068 
68.03/29.02	o 123058 
68.03/29.05	o 122969 
68.03/29.05	o 122968 
68.03/29.07	o 122948 
68.03/29.10	o 122938 
68.27/29.16	o 122936 
68.27/29.19	o 122925 
68.52/29.32	o 122913 
68.52/29.36	o 122879 
68.52/29.37	o 122878 
68.52/29.38	o 122858 
68.74/29.40	o 122848 
68.74/29.42	o 122759 
68.74/29.43	o 122758 
68.74/29.44	o 122738 
68.74/29.46	o 122728 
69.14/29.60	o 122657 
69.14/29.66	o 122656 
69.31/29.70	o 122636 
69.31/29.71	o 122626 
69.31/29.72	o 122625 
69.31/29.74	o 122615 
69.95/29.90	o 122309 
70.14/30.02	o 122220 
70.14/30.03	o 122120 
70.14/30.05	o 122101 
70.14/30.07	o 122091 
70.14/30.10	o 122090 
70.35/30.15	o 122000 
70.35/30.19	o 121999 
70.48/30.21	o 121979 
70.68/30.34	o 121978 
70.81/30.40	o 121967 
70.81/30.45	o 121956 
70.81/30.48	o 121934 
71.12/30.51	o 121878 
71.12/30.59	o 121877 
71.30/30.66	o 121857 
71.30/30.68	o 121847 
72.60/31.89	o 121758 
72.72/31.91	o 121757 
72.72/31.94	o 121737 
72.72/31.97	o 121727 
72.93/32.04	o 121725 
72.93/32.06	o 121714 
73.13/32.18	o 121692 
73.34/32.24	o 121656 
73.34/32.26	o 121655 
73.34/32.29	o 121635 
73.61/32.37	o 121625 
73.78/32.45	o 121624 
73.78/32.47	o 121614 
73.78/32.49	o 121612 
74.02/32.51	o 121590 
74.02/32.54	o 121589 
74.43/32.68	o 121579 
74.56/32.70	o 121578 
74.56/32.77	o 121573 
74.56/32.79	o 121572 
74.90/32.81	o 121513 
74.90/32.88	o 121472 
75.23/33.02	o 121462 
75.23/33.04	o 121452 
75.23/33.06	o 121393 
75.23/33.08	o 121352 
75.55/33.14	o 121330 
75.67/33.22	o 121302 
75.67/33.29	o 121261 
76.37/33.47	o 121224 
76.37/33.49	o 121183 
76.54/33.50	o 121173 
76.54/33.52	o 121172 
77.83/34.70	o 121162 
78.05/34.86	o 121161 
78.05/34.88	o 121102 
78.24/34.91	o 121061 
78.48/35.07	o 121051 
78.66/35.15	o 121041 
78.81/35.22	o 120982 
78.81/35.23	o 120941 
79.09/35.31	o 120882 
79.09/35.33	o 120841 
79.34/35.47	o 120831 
79.57/35.50	o 120821 
79.57/35.52	o 120820 
80.18/35.68	o 120558 
80.30/35.70	o 120458 
80.30/35.71	o 120358 
80.30/35.72	o 120339 
80.30/35.74	o 120329 
80.30/35.76	o 120328 
80.30/35.79	o 120238 
80.51/35.87	o 120237 
80.62/35.93	o 120217 
80.62/35.95	o 120216 
80.62/35.97	o 120205 
80.62/35.99	o 120194 
80.87/36.03	o 120182 
81.02/36.12	o 120113 
81.02/36.14	o 120092 
81.13/36.21	o 120072 
81.13/36.23	o 120062 
81.13/36.28	o 120003 
81.32/36.31	o 119962 
81.32/36.34	o 119952 
81.32/36.37	o 119951 
81.59/36.40	o 119941 
81.59/36.44	o 119940 
81.59/36.48	o 119881 
81.88/36.53	o 119840 
81.88/36.57	o 119833 
82.13/36.69	o 119830 
82.13/36.70	o 119820 
82.27/36.74	o 119761 
82.27/36.76	o 119720 
83.67/37.99	o 119661 
83.78/38.01	o 119620 
83.78/38.04	o 119611 
83.78/38.06	o 119589 
84.21/38.11	o 119588 
84.21/38.18	o 119587 
85.26/38.31	o 119548 
85.26/38.33	o 119448 
85.26/38.37	o 119348 
85.26/38.39	o 119329 
85.46/38.42	o 119319 
85.46/38.45	o 119318 
85.46/38.46	o 119228 
85.46/38.47	o 119227 
85.46/38.48	o 119207 
85.66/38.51	o 119206 
85.66/38.52	o 119195 
85.66/38.55	o 119184 
85.66/38.57	o 119172 
85.91/38.60	o 119103 
85.91/38.64	o 119082 
85.91/38.67	o 119062 
85.91/38.67	o 119052 
86.10/38.73	o 118993 
86.10/38.74	o 118952 
86.10/38.76	o 118942 
86.10/38.78	o 118941 
86.34/38.80	o 118931 
86.34/38.82	o 118930 
86.58/38.91	o 118871 
86.58/38.91	o 118830 
86.58/38.96	o 118820 
86.58/39.00	o 118810 
86.83/39.02	o 118751 
86.83/39.03	o 118710 
86.83/39.06	o 118651 
86.83/39.07	o 118610 
86.83/39.09	o 118510 
87.32/39.20	o 118508 
87.32/39.24	o 118497 
87.32/39.27	o 118485 
87.56/39.31	o 118475 
87.56/39.31	o 118465 
87.56/39.37	o 118406 
87.56/39.39	o 118306 
87.75/39.41	o 118265 
87.75/39.45	o 118255 
87.75/39.47	o 118254 
87.97/39.51	o 118244 
87.97/39.55	o 118243 
87.97/39.57	o 118184 
87.97/39.58	o 118143 
89.49/40.83	o 118064 
89.49/40.83	o 118023 
89.81/40.98	o 118009 
89.97/41.02	o 118008 
89.97/41.02	o 117988 
89.97/41.06	o 117987 
90.16/41.12	o 117976 
90.16/41.17	o 117965 
90.35/41.21	o 117953 
90.35/41.24	o 117887 
90.35/41.25	o 117886 
90.35/41.28	o 117866 
90.61/41.31	o 117856 
90.61/41.35	o 117767 
90.82/41.40	o 117766 
90.82/41.42	o 117746 
90.82/41.43	o 117736 
90.82/41.46	o 117734 
90.82/41.49	o 117723 
91.05/41.53	o 117711 
91.50/41.68	o 117677 
91.64/41.70	o 117676 
91.64/41.72	o 117656 
91.64/41.74	o 117646 
91.64/41.77	o 117557 
91.64/41.77	o 117556 
91.64/41.80	o 117536 
91.90/41.82	o 117526 
91.90/41.86	o 117455 
91.90/41.88	o 117454 
92.14/41.93	o 117434 
92.14/41.97	o 117424 
92.14/41.99	o 117423 
92.14/41.99	o 117413 
92.50/42.05	o 117410 
92.99/42.16	o 117118 
92.99/42.19	o 117018 
93.14/42.25	o 116918 
93.14/42.29	o 116899 
93.40/42.33	o 116889 
93.40/42.35	o 116888 
93.40/42.37	o 116798 
93.40/42.38	o 116797 
93.40/42.39	o 116777 
93.55/42.40	o 116776 
93.55/42.43	o 116765 
93.55/42.48	o 116754 
93.78/42.52	o 116732 
95.11/43.76	o 116676 
95.25/43.80	o 116675 
95.25/43.84	o 116655 
95.25/43.85	o 116645 
95.25/43.89	o 116556 
95.25/43.89	o 116555 
95.54/43.95	o 116535 
95.54/43.95	o 116525 
95.54/43.97	o 116523 
95.54/43.99	o 116512 
95.85/44.03	o 116490 
95.85/44.07	o 116454 
95.85/44.08	o 116453 
95.85/44.11	o 116433 
96.18/44.12	o 116423 
96.18/44.16	o 116422 
96.18/44.16	o 116412 
96.45/44.23	o 116410 
96.45/44.26	o 116388 
96.75/44.30	o 116387 
96.75/44.39	o 116328 
97.15/44.42	o 116228 
97.15/44.46	o 116209 
97.35/44.50	o 116199 
97.35/44.52	o 116198 
97.35/44.53	o 116108 
97.35/44.53	o 116107 
97.35/44.55	o 116087 
97.35/44.58	o 116086 
97.56/44.60	o 116075 
97.56/44.64	o 116064 
97.56/44.67	o 116042 
97.81/44.70	o 115986 
97.81/44.71	o 115985 
97.81/44.77	o 115965 
97.81/44.78	o 115955 
98.01/44.81	o 115866 
98.01/44.82	o 115865 
98.01/44.85	o 115845 
98.33/45.02	o 115835 
98.33/45.06	o 115833 
98.33/45.09	o 115822 
98.57/45.12	o 115800 
98.57/45.16	o 115764 
98.79/45.20	o 115763 
98.79/45.21	o 115743 
98.79/45.22	o 115733 
98.79/45.27	o 115732 
98.79/45.29	o 115722 
98.93/45.32	o 115720 
98.93/45.35	o 115698 
98.93/45.39	o 115697 
99.22/45.45	o 115418 
99.64/45.58	o 115318 
99.64/45.58	o 115218 
99.79/45.61	o 115199 
99.79/45.61	o 115189 
99.79/45.62	o 115188 
99.79/45.63	o 115098 
99.79/45.65	o 115097 
99.79/45.67	o 115077 
100.08/45.70	o 115067 
100.08/45.74	o 115057 
100.38/45.99	o 115056 
100.54/46.01	o 115046 
100.54/46.03	o 115045 
100.54/46.06	o 114976 
100.54/46.08	o 114975 
100.75/46.11	o 114955 
100.75/46.17	o 114945 
100.75/46.19	o 114856 
100.93/46.22	o 114855 
100.93/46.23	o 114835 
100.93/46.24	o 114825 
100.93/46.27	o 114754 
101.12/46.30	o 114753 
101.12/46.30	o 114733 
101.12/46.31	o 114723 
101.12/46.32	o 114722 
101.12/46.33	o 114712 
101.12/46.38	o 114710 
101.38/46.44	o 114688 
102.69/47.69	o 114687 
102.97/47.81	o 114663 
102.97/47.81	o 114662 
102.97/47.81	o 114642 
102.97/47.85	o 114632 
102.97/47.87	o 114631 
102.97/47.88	o 114621 
103.26/47.92	o 114619 
103.45/48.07	o 114597 
103.45/48.11	o 114596 
104.03/48.29	o 114565 
104.15/48.33	o 114564 
104.15/48.36	o 114544 
104.15/48.38	o 114534 
104.41/48.40	o 114445 
104.41/48.41	o 114444 
104.41/48.41	o 114424 
104.41/48.41	o 114414 
104.41/48.43	o 114412 
104.41/48.47	o 114401 
104.63/48.51	o 114379 
104.63/48.59	o 114343 
104.87/48.60	o 114342 
104.87/48.63	o 114322 
104.87/48.65	o 114312 
104.87/48.66	o 114311 
104.87/48.67	o 114301 
104.87/48.69	o 114299 
105.13/48.70	o 114277 
105.13/48.73	o 114276 
105.84/48.85	o 114209 
106.17/49.06	o 114201 
106.34/49.17	o 114199 
106.34/49.19	o 114177 
106.48/49.22	o 114109 
107.50/49.41	o 113786 
107.50/49.44	o 113686 
107.50/49.44	o 113586 
107.50/49.46	o 113567 
107.50/49.49	o 113557 
107.77/49.52	o 113556 
107.77/49.54	o 113466 
107.77/49.58	o 113465 
108.01/49.60	o 113445 
108.01/49.64	o 113444 
108.01/49.66	o 113433 
108.01/49.67	o 113422 
108.27/49.71	o 113400 
108.27/49.75	o 112689 
108.74/49.89	o 112687 
109.43/49.93	o 112677 
109.43/49.97	o 112676 
109.62/50.01	o 112586 
109.62/50.02	o 112585 
109.62/50.03	o 112565 
109.62/50.06	o 112564 
109.91/50.28	o 112553 
111.27/51.53	o 112542 
111.27/51.55	o 112520 
111.58/51.70	o 112465 
111.58/51.75	o 112464 
111.58/51.79	o 112444 
111.87/51.81	o 112434 
111.87/51.84	o 112432 
112.11/51.90	o 112421 
112.11/51.95	o 112399 
112.11/51.98	o 112384 
112.11/52.00	o 112383 
112.45/52.06	o 112363 
112.45/52.09	o 112353 
112.45/52.11	o 112344 
112.71/52.12	o 112343 
112.71/52.17	o 112333 
112.93/52.21	o 112332 
112.93/52.22	o 112263 
113.08/52.35	o 112262 
113.08/52.37	o 112242 
113.08/52.38	o 112232 
113.40/52.53	o 112231 
113.40/52.54	o 112221 
113.40/52.57	o 112219 
113.66/52.60	o 112197 
113.66/52.62	o 112196 
113.66/52.65	o 112163 
113.66/52.66	o 112162 
114.04/52.71	o 112142 
114.04/52.73	o 112132 
114.04/52.74	o 112131 
114.04/52.76	o 112121 
114.32/52.82	o 112119 
114.32/52.85	o 112097 
114.32/52.89	o 112096 
114.71/52.95	o 112052 
114.71/52.98	o 112051 
114.71/52.99	o 112031 
115.01/53.02	o 112021 
115.01/53.07	o 112020 
115.01/53.09	o 112010 
115.24/53.17	o 112001 
115.24/53.17	o 111991 
115.24/53.17	o 111922 
115.63/53.20	o 111921 
115.63/53.24	o 111901 
115.63/53.25	o 111891 
115.63/53.27	o 111889 
115.63/53.29	o 111820 
115.88/53.30	o 111819 
115.88/53.30	o 111799 
115.88/53.35	o 111789 
115.88/53.36	o 111720 
115.88/53.39	o 111719 
116.10/53.43	o 111699 
116.10/53.45	o 111689 
116.10/53.47	o 111679 
116.31/53.52	o 111610 
116.31/53.54	o 111609 
116.31/53.54	o 111589 
116.31/53.56	o 111579 
116.58/53.65	o 111571 
116.58/53.69	o 111569 
116.74/53.70	o 111500 
116.74/53.75	o 111499 
116.74/53.76	o 111479 
116.74/53.77	o 111469 
116.74/53.79	o 111459 
117.00/53.81	o 111418 
117.00/53.84	o 111417 
117.00/53.88	o 111397 
117.00/53.88	o 111387 
117.16/53.93	o 111379 
117.51/54.22	o 111298 
117.51/54.24	o 111297 
117.51/54.26	o 111277 
117.51/54.27	o 111267 
117.71/54.34	o 111198 
117.71/54.35	o 111197 
117.71/54.36	o 111177 
117.71/54.38	o 111167 
118.82/54.60	o 111151 
118.93/54.77	o 111150 
118.93/54.78	o 111130 
118.93/54.79	o 111120 
119.08/54.80	o 111118 
119.08/54.81	o 111107 
119.26/54.93	o 111085 
119.26/54.97	o 111059 
119.54/55.09	o 111051 
119.65/55.11	o 111050 
119.65/55.13	o 111030 
119.65/55.14	o 111020 
119.65/55.14	o 111019 
119.65/55.15	o 111009 
119.65/55.20	o 110959 
120.36/55.33	o 49293 
121.63/56.55	o 48294 
121.63/56.57	o 48284 
121.87/56.65	o 48194 
121.87/56.68	o 48184 
122.10/56.70	o 48112 
122.10/56.71	o 48102 
122.10/56.77	o 48092 
122.34/56.81	o 48083 
122.34/56.85	o 48076 
122.34/56.86	o 48004 
122.34/56.88	o 47994 
165.63/62.45	o 47987 
165.82/62.50	o 47986 
165.82/62.59	o 47978 
166.16/62.61	o 47977 
166.52/62.89	o 47976 
166.63/62.91	o 47975 
166.84/63.03	o 47968 
166.84/63.04	o 47967 
167.01/63.16	o 47966 
167.01/63.19	o 47965 
167.21/63.27	o 47964 
167.56/63.45	o 47963 
167.56/63.46	o 47962 
177.95/64.81	o 47958 
177.95/64.87	o 47949 
178.31/65.03	o 47948 
178.31/65.05	o 47947 
178.85/65.18	o 47938 
179.33/65.22	o 47937 
179.33/65.25	o 47928 
179.33/65.27	o 47927 
180.01/65.51	o 21300 
180.85/65.75	o 21299 
181.32/65.83	o 21289 
181.32/65.85	o 21288 
181.98/65.98	o 21287 
186.81/67.29	o 20287 
199.72/68.98	o 20238 
246.83/74.93	o 20148 
246.83/74.97	o 20058 
246.83/75.00	o 20049 
247.14/75.10	o 19959 
264.45/77.34	o 19958 
265.71/77.51	o 19948 
266.23/77.64	o 19938 
267.57/77.86	o 19839 
276.11/78.90	o 19749 
290.85/80.83	o 19649 
293.36/81.20	o 18649 
404.98/95.27	o 18560 
405.41/95.32	o 18550 
431.53/98.62	o 18543 
431.53/98.64	o 18542 
431.53/98.66	o 18541 
441.61/100.00	o 16991 
442.24/100.10	o 16990 
445.27/100.47	o 16989 
453.83/101.55	o 16988 
454.18/101.63	o 16920 
454.68/101.72	o 16840 
455.28/101.95	o 16819 
456.32/102.23	o 16731 
456.32/102.26	o 16720 
459.80/102.73	o 16710 
473.88/104.55	o 15911 
474.57/104.71	o 15910 
474.74/104.82	o 15900 
474.89/104.95	o 15800 
474.89/104.97	o 15799 
526.27/111.47	o 15797 
526.75/111.50	o 15795 
549.30/114.40	o 15675 
549.30/114.42	o 15674 
549.63/114.55	o 15673 
550.01/114.66	o 15663 
550.59/114.72	o 15565 
552.49/115.03	o 15555 
553.16/115.21	o 15554 
553.83/115.37	o 15545 
561.70/116.72	o 15535 
564.02/117.91	o 15534 
580.50/120.09	o 15524 
580.77/120.25	o 15523 
588.31/121.26	o 15512 
608.34/124.23	o 15415 
641.92/128.67	o 15406 
650.53/130.13	o 14961 
650.67/130.27	o 14960 
651.12/130.45	o 14957 
656.17/131.76	o 14868 
656.17/131.79	o 14867 
656.34/131.81	o 14866 
722.90/140.26	o 13840 
723.22/140.39	o 13753 
723.41/140.43	o 13742 
727.51/141.74	o 13741 
809.41/152.06	o 13663 
810.13/152.18	o 13662 
810.68/152.23	o 13661 
814.32/153.48	o 13562 
923.00/167.18	o 13552 
923.23/167.21	o 13542 
1126.45/192.97	o 13541 
1136.31/194.79	o 13531 
1148.66/197.22	o 13530 
1148.94/197.32	o 13529 
1406.27/229.62	o 13527 
1562.13/249.61	o 13517 
1599.48/254.36	o 13420 
1617.27/256.61	o 13410 
1621.18/257.18	o 13310 
1917.46/294.69	o 12341 
1937.62/297.33	o 12340 
2262.05/338.02	o 12339 
2271.44/339.24	o 12239 
2497.66/367.63	o 12142 
2586.89/378.84	o 12132 
2660.70/388.11	o 11121 
2683.14/391.21	o 11120 
2685.29/391.65	o 11020 
2686.05/391.80	o 10811 
2701.19/393.79	o 10711 
2719.72/396.19	o 10223 
2720.17/396.30	o 10133 
2746.03/399.82	o 9511 
2748.99/401.01	o 9502 
2748.99/401.09	o 9501 
2778.57/405.64	o 9492 
2984.73/432.00	o 8492 
3239.40/464.29	o 7706 
3286.87/470.31	o 7705 
3313.80/473.80	o 7704 
3829.53/538.69	o 6891 
3833.96/539.81	o 6890 
3834.23/539.92	o 6880 
4169.31/582.32	o 6879 
4326.48/602.53	o 6877 
4856.77/669.07	o 6830 
4859.03/670.16	o 6829 
4861.35/671.32	o 6817 
19608.82/2520.09	s SATISFIABLE
19608.82/2520.09	v <instantiation>
19608.82/2520.09	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>
19608.82/2520.09	v 	<values>58 296 792 554 72 310 240 478 170 408 792 554 750 512 652 414 16 254 16 254 722 484 240 478 666 428 722 484 484 722 16 254 114 352 722 484 792 554 792 554 694 456 680 442 114 352 366 128 680 442 750 512 352 114 16 254 30 268 736 498 44 282 30 268 554 792 72 310 764 526 708 470 240 478 708 470 694 456 156 394 666 428 16 254 792 554 16 254 142 380 156 394 792 554 72 310 240 478 540 778 750 512 30 268 100 338 16 254 652 414 792 554 128 366 16 254 268 30 254 16 170 408 170 408 282 44 680 442 764 526 254 16 100 338 380 142 554 792 554 792 736 498 72 310 652 414 16 254 554 792 268 30 666 428 254 16 268 30 484 722 128 366 484 722 512 750 778 540 58 296 114 352 652 414 652 414 16 254 554 792 498 736 142 380 554 792 16 254 792 554 792 554 240 478 72 310 778 540 16 254 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 100 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 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 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 100 0 0 100 100 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 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 10 0 10 10 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 10 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 1 1 0 1 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 1 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 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 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 </values>
19608.82/2520.09	v </instantiation>
19608.82/2520.09	c Unexpected resolution interruption!

Verifier Data 

OK	6817

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399951-1568717631/watcher-4399951-1568717631 -o /tmp/evaluation-result-4399951-1568717631/solver-4399951-1568717631 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568711786-15138 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1669417059 HOME/instance-4399951-1568717631.xml 

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

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


[startup+0.100133 s]*
/proc/loadavg: 7.95 8.17 8.23 2/212 16437
/proc/meminfo: memFree=29313728/32770624 swapFree=66958324/67108860
[pid=16416] ppid=16413 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16416/stat : 16416 (xcsp3-exec) S 16413 16416 15111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447699588 115843072 363 33554432000 4194304 5098028 140732217126256 140732217124360 140310924190332 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15622144 140732217131893 140732217132137 140732217132137 140732217135050 0
/proc/16416/statm: 28282 363 304 221 0 87 0
[pid=16418] ppid=16416 vsize=28227396 memory=29796 CPUtime=0.12 cores=0-7
/proc/16418/stat : 16418 (java) S 16416 16416 15111 0 -1 1077944320 5426 0 0 0 11 1 0 0 20 0 20 0 447699589 28904853504 7449 33554432000 4194304 4196468 140732541316992 140732541299536 139848318758647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
/proc/16418/statm: 7056849 7449 3126 1 0 7019032 0
[pid=16418/tid=16419] ppid=16416 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/16418/task/16419/stat : 16419 (java) R 16416 16416 15111 0 -1 4202560 3364 0 0 0 8 1 0 0 20 0 20 0 447699589 28904853504 7449 33554432000 4194304 4196468 140732541316992 139848322993280 139848318770582 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16420] ppid=16416 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/16418/task/16420/stat : 16420 (java) S 16416 16416 15111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447699590 28904853504 7449 33554432000 4194304 4196468 140732541316992 139848238611344 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16421] ppid=16416 vsize=28227396 memory=139781939336832 CPUtime=0 cores=0-7
/proc/16418/task/16421/stat : 16421 (java) S 16416 16416 15111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447699590 28904853504 7449 33554432000 4194304 4196468 140732541316992 139848237558544 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16422] ppid=16416 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16418/task/16422/stat : 16422 (java) S 16416 16416 15111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447699590 28904853504 7449 33554432000 4194304 4196468 140732541316992 139848236506256 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16423] ppid=16416 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16418/task/16423/stat : 16423 (java) S 16416 16416 15111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447699590 28904853504 7449 33554432000 4194304 4196468 140732541316992 139848235453456 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16424] ppid=16416 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16418/task/16424/stat : 16424 (java) S 16416 16416 15111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447699590 28904853504 7449 33554432000 4194304 4196468 140732541316992 139848234400144 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16425] ppid=16416 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16418/task/16425/stat : 16425 (java) S 16416 16416 15111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447699590 28904853504 7449 33554432000 4194304 4196468 140732541316992 139848233347344 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16426] ppid=16416 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16418/task/16426/stat : 16426 (java) S 16416 16416 15111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447699590 28904853504 7449 33554432000 4194304 4196468 140732541316992 139848232295056 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16427] ppid=16416 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16418/task/16427/stat : 16427 (java) S 16416 16416 15111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447699590 28904853504 7449 33554432000 4194304 4196468 140732541316992 139848231242256 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16428] ppid=16416 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16418/task/16428/stat : 16428 (java) S 16416 16416 15111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447699591 28904853504 7449 33554432000 4194304 4196468 140732541316992 139846782696048 139848318769794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16429] ppid=16416 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16418/task/16429/stat : 16429 (java) S 16416 16416 15111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447699592 28904853504 7449 33554432000 4194304 4196468 140732541316992 139846781642016 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16430] ppid=16416 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16418/task/16430/stat : 16430 (java) S 16416 16416 15111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447699592 28904853504 7449 33554432000 4194304 4196468 140732541316992 139846780589680 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16431] ppid=16416 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16418/task/16431/stat : 16431 (java) S 16416 16416 15111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447699594 28904853504 7449 33554432000 4194304 4196468 140732541316992 139846779538000 139848318777243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16432] ppid=16416 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16418/task/16432/stat : 16432 (java) S 16416 16416 15111 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 20 0 447699594 28904853504 7449 33554432000 4194304 4196468 140732541316992 139846778484848 139848318769794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16433] ppid=16416 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16418/task/16433/stat : 16433 (java) R 16416 16416 15111 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 447699594 28904853504 7449 33554432000 4194304 4196468 140732541316992 139846777432048 139848318769794 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16434] ppid=16416 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16418/task/16434/stat : 16434 (java) S 16416 16416 15111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447699594 28904853504 7449 33554432000 4194304 4196468 140732541316992 139846776379760 139848318769794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16435] ppid=16416 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/16418/task/16435/stat : 16435 (java) R 16416 16416 15111 0 -1 4202560 315 0 0 0 1 0 0 0 20 0 20 0 447699594 28904853504 7449 33554432000 4194304 4196468 140732541316992 139846775326960 139848304458225 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16436] ppid=16416 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16418/task/16436/stat : 16436 (java) S 16416 16416 15111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447699595 28904853504 7449 33554432000 4194304 4196468 140732541316992 139846774274912 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16437] ppid=16416 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16418/task/16437/stat : 16437 (java) S 16416 16416 15111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447699595 28904853504 7449 33554432000 4194304 4196468 140732541316992 139846773222192 139848318769794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31248 KiB

[startup+0.210959 s]*
/proc/loadavg: 7.95 8.17 8.23 2/212 16437
/proc/meminfo: memFree=29300620/32770624 swapFree=66958324/67108860
[pid=16416] ppid=16413 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16416/stat : 16416 (xcsp3-exec) S 16413 16416 15111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447699588 115843072 363 33554432000 4194304 5098028 140732217126256 140732217124360 140310924190332 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15622144 140732217131893 140732217132137 140732217132137 140732217135050 0
/proc/16416/statm: 28282 363 304 221 0 87 0
[pid=16418] ppid=16416 vsize=28227396 memory=41460 CPUtime=0.34 cores=0-7
/proc/16418/stat : 16418 (java) S 16416 16416 15111 0 -1 1077944320 9024 0 0 0 31 3 0 0 20 0 20 0 447699589 28904853504 10365 33554432000 4194304 4196468 140732541316992 140732541299536 139848318758647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
/proc/16418/statm: 7056849 10365 3316 1 0 7019032 0
[pid=16418/tid=16419] ppid=16416 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/16418/task/16419/stat : 16419 (java) R 16416 16416 15111 0 -1 4202560 6187 0 0 0 18 2 0 0 20 0 20 0 447699589 28904853504 10365 33554432000 4194304 4196468 140732541316992 139848322992384 139848318770582 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16420] ppid=16416 vsize=28227396 memory=329 CPUtime=0 cores=0-7
/proc/16418/task/16420/stat : 16420 (java) S 16416 16416 15111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447699590 28904853504 10365 33554432000 4194304 4196468 140732541316992 139848238611344 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16421] ppid=16416 vsize=28227396 memory=139781942655700 CPUtime=0 cores=0-7
/proc/16418/task/16421/stat : 16421 (java) S 16416 16416 15111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447699590 28904853504 10365 33554432000 4194304 4196468 140732541316992 139848237558544 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16422] ppid=16416 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16418/task/16422/stat : 16422 (java) S 16416 16416 15111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447699590 28904853504 10365 33554432000 4194304 4196468 140732541316992 139848236506256 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16423] ppid=16416 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16418/task/16423/stat : 16423 (java) S 16416 16416 15111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447699590 28904853504 10365 33554432000 4194304 4196468 140732541316992 139848235453456 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16424] ppid=16416 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16418/task/16424/stat : 16424 (java) S 16416 16416 15111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447699590 28904853504 10365 33554432000 4194304 4196468 140732541316992 139848234400144 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16425] ppid=16416 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16418/task/16425/stat : 16425 (java) S 16416 16416 15111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447699590 28904853504 10365 33554432000 4194304 4196468 140732541316992 139848233347344 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16426] ppid=16416 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16418/task/16426/stat : 16426 (java) S 16416 16416 15111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447699590 28904853504 10365 33554432000 4194304 4196468 140732541316992 139848232295056 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16427] ppid=16416 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16418/task/16427/stat : 16427 (java) S 16416 16416 15111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447699590 28904853504 10365 33554432000 4194304 4196468 140732541316992 139848231242256 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16428] ppid=16416 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16418/task/16428/stat : 16428 (java) S 16416 16416 15111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447699591 28904853504 10365 33554432000 4194304 4196468 140732541316992 139846782696048 139848318769794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16429] ppid=16416 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16418/task/16429/stat : 16429 (java) S 16416 16416 15111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447699592 28904853504 10365 33554432000 4194304 4196468 140732541316992 139846781642016 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16430] ppid=16416 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16418/task/16430/stat : 16430 (java) S 16416 16416 15111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447699592 28904853504 10365 33554432000 4194304 4196468 140732541316992 139846780589680 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16431] ppid=16416 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16418/task/16431/stat : 16431 (java) S 16416 16416 15111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447699594 28904853504 10365 33554432000 4194304 4196468 140732541316992 139846779538000 139848318777243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16432] ppid=16416 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/16418/task/16432/stat : 16432 (java) S 16416 16416 15111 0 -1 1077944384 331 0 0 0 1 0 0 0 20 0 20 0 447699594 28904853504 10365 33554432000 4194304 4196468 140732541316992 139846778484848 139848318769794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16433] ppid=16416 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/16418/task/16433/stat : 16433 (java) S 16416 16416 15111 0 -1 1077944384 212 0 0 0 1 0 0 0 20 0 20 0 447699594 28904853504 10365 33554432000 4194304 4196468 140732541316992 139846777432048 139848318769794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16434] ppid=16416 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/16418/task/16434/stat : 16434 (java) S 16416 16416 15111 0 -1 1077944384 241 0 0 0 2 0 0 0 20 0 20 0 447699594 28904853504 10365 33554432000 4194304 4196468 140732541316992 139846776379760 139848318769794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16435] ppid=16416 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/16418/task/16435/stat : 16435 (java) R 16416 16416 15111 0 -1 4202560 740 0 0 0 8 0 0 0 20 0 20 0 447699594 28904853504 10365 33554432000 4194304 4196468 140732541316992 139846775326960 139848318770582 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16436] ppid=16416 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16418/task/16436/stat : 16436 (java) S 16416 16416 15111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447699595 28904853504 10365 33554432000 4194304 4196468 140732541316992 139846774274912 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16437] ppid=16416 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16418/task/16437/stat : 16437 (java) S 16416 16416 15111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447699595 28904853504 10365 33554432000 4194304 4196468 140732541316992 139846773222192 139848318769794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42912 KiB

[startup+0.310847 s]*
/proc/loadavg: 7.95 8.17 8.23 3/212 16437
/proc/meminfo: memFree=29293596/32770624 swapFree=66958324/67108860
[pid=16416] ppid=16413 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16416/stat : 16416 (xcsp3-exec) S 16413 16416 15111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447699588 115843072 363 33554432000 4194304 5098028 140732217126256 140732217124360 140310924190332 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15622144 140732217131893 140732217132137 140732217132137 140732217135050 0
/proc/16416/statm: 28282 363 304 221 0 87 0
[pid=16418] ppid=16416 vsize=28231652 memory=49820 CPUtime=0.53 cores=0-7
/proc/16418/stat : 16418 (java) S 16416 16416 15111 0 -1 1077944320 10324 0 0 0 49 4 0 0 20 0 20 0 447699589 28909211648 12455 33554432000 4194304 4196468 140732541316992 140732541299536 139848318758647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
/proc/16418/statm: 7057913 12455 3354 1 0 7019032 0
[pid=16418/tid=16419] ppid=16416 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/16418/task/16419/stat : 16419 (java) R 16416 16416 15111 0 -1 4202560 7308 0 0 0 26 3 0 0 20 0 20 0 447699589 28909211648 12455 33554432000 4194304 4196468 140732541316992 139848322989760 139848302839164 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16420] ppid=16416 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16418/task/16420/stat : 16420 (java) S 16416 16416 15111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447699590 28909211648 12455 33554432000 4194304 4196468 140732541316992 139848238611344 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16421] ppid=16416 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16418/task/16421/stat : 16421 (java) S 16416 16416 15111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447699590 28909211648 12455 33554432000 4194304 4196468 140732541316992 139848237558544 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16422] ppid=16416 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16418/task/16422/stat : 16422 (java) S 16416 16416 15111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447699590 28909211648 12455 33554432000 4194304 4196468 140732541316992 139848236506256 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16423] ppid=16416 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16418/task/16423/stat : 16423 (java) S 16416 16416 15111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447699590 28909211648 12455 33554432000 4194304 4196468 140732541316992 139848235453456 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16424] ppid=16416 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16418/task/16424/stat : 16424 (java) S 16416 16416 15111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447699590 28909211648 12455 33554432000 4194304 4196468 140732541316992 139848234400144 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16425] ppid=16416 vsize=28231652 memory=139781791115951 CPUtime=0 cores=0-7
/proc/16418/task/16425/stat : 16425 (java) S 16416 16416 15111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447699590 28909211648 12455 33554432000 4194304 4196468 140732541316992 139848233347344 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16426] ppid=16416 vsize=28231652 memory=139781791118256 CPUtime=0 cores=0-7
/proc/16418/task/16426/stat : 16426 (java) S 16416 16416 15111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447699590 28909211648 12455 33554432000 4194304 4196468 140732541316992 139848232295056 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16427] ppid=16416 vsize=28231652 memory=139781791120560 CPUtime=0 cores=0-7
/proc/16418/task/16427/stat : 16427 (java) S 16416 16416 15111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447699590 28909211648 12455 33554432000 4194304 4196468 140732541316992 139848231242256 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16428] ppid=16416 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16418/task/16428/stat : 16428 (java) S 16416 16416 15111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447699591 28909211648 12455 33554432000 4194304 4196468 140732541316992 139846782696048 139848318769794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16429] ppid=16416 vsize=28231652 memory=279563582254992 CPUtime=0 cores=0-7
/proc/16418/task/16429/stat : 16429 (java) S 16416 16416 15111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447699592 28909211648 12455 33554432000 4194304 4196468 140732541316992 139846781642016 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16430] ppid=16416 vsize=28231652 memory=279563582252688 CPUtime=0 cores=0-7
/proc/16418/task/16430/stat : 16430 (java) S 16416 16416 15111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447699592 28909211648 12455 33554432000 4194304 4196468 140732541316992 139846780589680 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16431] ppid=16416 vsize=28231652 memory=279563582259600 CPUtime=0 cores=0-7
/proc/16418/task/16431/stat : 16431 (java) S 16416 16416 15111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447699594 28909211648 12455 33554432000 4194304 4196468 140732541316992 139846779538000 139848318777243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16432] ppid=16416 vsize=28231652 memory=279563582200848 CPUtime=0.02 cores=0-7
/proc/16418/task/16432/stat : 16432 (java) S 16416 16416 15111 0 -1 1077944384 351 0 0 0 2 0 0 0 20 0 20 0 447699594 28909211648 12455 33554432000 4194304 4196468 140732541316992 139846778484848 139848318769794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16433] ppid=16416 vsize=28231652 memory=279563582273424 CPUtime=0.02 cores=0-7
/proc/16418/task/16433/stat : 16433 (java) S 16416 16416 15111 0 -1 1077944384 227 0 0 0 2 0 0 0 20 0 20 0 447699594 28909211648 12455 33554432000 4194304 4196468 140732541316992 139846777432048 139848318769794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16434] ppid=16416 vsize=28231652 memory=279563582280336 CPUtime=0.04 cores=0-7
/proc/16418/task/16434/stat : 16434 (java) R 16416 16416 15111 0 -1 4202560 326 0 0 0 4 0 0 0 20 0 20 0 447699594 28909211648 12455 33554432000 4194304 4196468 140732541316992 139846776370144 139848300280467 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16435] ppid=16416 vsize=28231652 memory=279563582278032 CPUtime=0.12 cores=0-7
/proc/16418/task/16435/stat : 16435 (java) S 16416 16416 15111 0 -1 1077944384 816 0 0 0 12 0 0 0 20 0 20 0 447699594 28909211648 12455 33554432000 4194304 4196468 140732541316992 139846775326960 139848318769794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16436] ppid=16416 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16418/task/16436/stat : 16436 (java) S 16416 16416 15111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447699595 28909211648 12455 33554432000 4194304 4196468 140732541316992 139846774274912 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16437] ppid=16416 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/16418/task/16437/stat : 16437 (java) S 16416 16416 15111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447699595 28909211648 12455 33554432000 4194304 4196468 140732541316992 139846773222192 139848318769794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51272 KiB

[startup+0.700998 s]
/proc/loadavg: 7.95 8.17 8.23 5/213 16439
/proc/meminfo: memFree=29265140/32770624 swapFree=66958324/67108860
[pid=16416] ppid=16413 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16416/stat : 16416 (xcsp3-exec) S 16413 16416 15111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447699588 115843072 363 33554432000 4194304 5098028 140732217126256 140732217124360 140310924190332 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15622144 140732217131893 140732217132137 140732217132137 140732217135050 0
/proc/16416/statm: 28282 363 304 221 0 87 0
[pid=16418] ppid=16416 vsize=28233776 memory=97660 CPUtime=2.05 cores=0-7
/proc/16418/stat : 16418 (java) S 16416 16416 15111 0 -1 1077944320 16649 0 0 0 198 7 0 0 20 0 20 0 447699589 28911386624 24415 33554432000 4194304 4196468 140732541316992 140732541299536 139848318758647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
/proc/16418/statm: 7058444 24415 3459 1 0 7019544 0
[pid=16418/tid=16419] ppid=16416 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/16418/task/16419/stat : 16419 (java) R 16416 16416 15111 0 -1 4202560 8869 0 0 0 63 4 0 0 20 0 20 0 447699589 28911386624 24415 33554432000 4194304 4196468 140732541316992 139848322994112 139847910170512 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16420] ppid=16416 vsize=28233776 memory=139781791327088 CPUtime=0 cores=0-7
/proc/16418/task/16420/stat : 16420 (java) S 16416 16416 15111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447699590 28911386624 24415 33554432000 4194304 4196468 140732541316992 139848238611344 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16421] ppid=16416 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/16418/task/16421/stat : 16421 (java) S 16416 16416 15111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447699590 28911386624 24415 33554432000 4194304 4196468 140732541316992 139848237558544 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16422] ppid=16416 vsize=28233776 memory=8024 CPUtime=0 cores=0-7
/proc/16418/task/16422/stat : 16422 (java) S 16416 16416 15111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447699590 28911386624 24415 33554432000 4194304 4196468 140732541316992 139848236506256 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0

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

/proc/meminfo: memFree=25285944/32770624 swapFree=66958324/67108860
[pid=16416] ppid=16413 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16416/stat : 16416 (xcsp3-exec) S 16413 16416 15111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447699588 115843072 363 33554432000 4194304 5098028 140732217126256 140732217124360 140310924190332 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15622144 140732217131893 140732217132137 140732217132137 140732217135050 0
/proc/16416/statm: 28282 363 304 221 0 87 0
[pid=16418] ppid=16416 vsize=28769364 memory=4047348 CPUtime=19467.6 cores=0-7
/proc/16418/stat : 16418 (java) S 16416 16416 15111 0 -1 1077944320 1198658 0 0 0 1945596 1160 0 0 20 0 28 0 447699589 29459828736 1011837 33554432000 4194304 4196468 140732541316992 140732541299536 139848318758647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
/proc/16418/statm: 7192341 1011837 3560 1 0 7153441 0
[pid=16418/tid=16419] ppid=16416 vsize=28769364 memory=1452 CPUtime=8.29 cores=0-7
/proc/16418/task/16419/stat : 16419 (java) S 16416 16416 15111 0 -1 1077944384 24425 0 0 0 799 30 0 0 20 0 28 0 447699589 29459828736 1011837 33554432000 4194304 4196468 140732541316992 139848322999360 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16420] ppid=16416 vsize=28769364 memory=4058116 CPUtime=1.52 cores=0-7
/proc/16418/task/16420/stat : 16420 (java) S 16416 16416 15111 0 -1 1077944384 7367 0 0 0 109 43 0 0 20 0 28 0 447699590 29459828736 1011837 33554432000 4194304 4196468 140732541316992 139848238611344 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16421] ppid=16416 vsize=28769364 memory=4160688 CPUtime=1.51 cores=0-7
/proc/16418/task/16421/stat : 16421 (java) S 16416 16416 15111 0 -1 1077944384 7659 0 0 0 106 45 0 0 20 0 28 0 447699590 29459828736 1011837 33554432000 4194304 4196468 140732541316992 139848237558544 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16422] ppid=16416 vsize=28769364 memory=1452 CPUtime=1.48 cores=0-7
/proc/16418/task/16422/stat : 16422 (java) S 16416 16416 15111 0 -1 1077944384 8318 0 0 0 106 42 0 0 20 0 28 0 447699590 29459828736 1011837 33554432000 4194304 4196468 140732541316992 139848236506256 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16423] ppid=16416 vsize=28769364 memory=4354732 CPUtime=1.52 cores=0-7
/proc/16418/task/16423/stat : 16423 (java) S 16416 16416 15111 0 -1 1077944384 7046 0 0 0 106 46 0 0 20 0 28 0 447699590 29459828736 1011837 33554432000 4194304 4196468 140732541316992 139848235453456 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16424] ppid=16416 vsize=28769364 memory=4360512 CPUtime=1.5 cores=0-7
/proc/16418/task/16424/stat : 16424 (java) S 16416 16416 15111 0 -1 1077944384 6852 0 0 0 105 45 0 0 20 0 28 0 447699590 29459828736 1011837 33554432000 4194304 4196468 140732541316992 139848234400144 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16425] ppid=16416 vsize=28769364 memory=4460632 CPUtime=1.5 cores=0-7
/proc/16418/task/16425/stat : 16425 (java) S 16416 16416 15111 0 -1 1077944384 6998 0 0 0 107 43 0 0 20 0 28 0 447699590 29459828736 1011837 33554432000 4194304 4196468 140732541316992 139848233347344 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16426] ppid=16416 vsize=28769364 memory=4452772 CPUtime=1.53 cores=0-7
/proc/16418/task/16426/stat : 16426 (java) S 16416 16416 15111 0 -1 1077944384 7404 0 0 0 109 44 0 0 20 0 28 0 447699590 29459828736 1011837 33554432000 4194304 4196468 140732541316992 139848232295056 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16427] ppid=16416 vsize=28769364 memory=4452772 CPUtime=1.49 cores=0-7
/proc/16418/task/16427/stat : 16427 (java) S 16416 16416 15111 0 -1 1077944384 8291 0 0 0 107 42 0 0 20 0 28 0 447699590 29459828736 1011837 33554432000 4194304 4196468 140732541316992 139848231242256 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16428] ppid=16416 vsize=28769364 memory=4412768 CPUtime=0.21 cores=0-7
/proc/16418/task/16428/stat : 16428 (java) S 16416 16416 15111 0 -1 1077944384 18497 0 0 0 15 6 0 0 20 0 28 0 447699591 29459828736 1011837 33554432000 4194304 4196468 140732541316992 139846782696048 139848318769794 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16429] ppid=16416 vsize=28769364 memory=4403040 CPUtime=0 cores=0-7
/proc/16418/task/16429/stat : 16429 (java) S 16416 16416 15111 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 447699592 29459828736 1011837 33554432000 4194304 4196468 140732541316992 139846781642080 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16430] ppid=16416 vsize=28769364 memory=4184788 CPUtime=0 cores=0-7
/proc/16418/task/16430/stat : 16430 (java) S 16416 16416 15111 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 447699592 29459828736 1011837 33554432000 4194304 4196468 140732541316992 139846780589696 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16431] ppid=16416 vsize=28769364 memory=4184788 CPUtime=0 cores=0-7
/proc/16418/task/16431/stat : 16431 (java) S 16416 16416 15111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447699594 29459828736 1011837 33554432000 4194304 4196468 140732541316992 139846779538000 139848318777243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16432] ppid=16416 vsize=28769364 memory=4162232 CPUtime=3.98 cores=0-7
/proc/16418/task/16432/stat : 16432 (java) S 16416 16416 15111 0 -1 1077944384 28229 0 0 0 392 6 0 0 20 0 28 0 447699594 29459828736 1011837 33554432000 4194304 4196468 140732541316992 139846778484848 139848318769794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16433] ppid=16416 vsize=28769364 memory=4073496 CPUtime=4.77 cores=0-7
/proc/16418/task/16433/stat : 16433 (java) S 16416 16416 15111 0 -1 1077944384 27899 0 0 0 472 5 0 0 20 0 28 0 447699594 29459828736 1011837 33554432000 4194304 4196468 140732541316992 139846777432048 139848318769794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16434] ppid=16416 vsize=28769364 memory=4073496 CPUtime=3.75 cores=0-7
/proc/16418/task/16434/stat : 16434 (java) S 16416 16416 15111 0 -1 1077944384 30883 0 0 0 370 5 0 0 20 0 28 0 447699594 29459828736 1011837 33554432000 4194304 4196468 140732541316992 139846776379760 139848318769794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 46 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16435] ppid=16416 vsize=28769364 memory=4059656 CPUtime=1.3 cores=0-7
/proc/16418/task/16435/stat : 16435 (java) S 16416 16416 15111 0 -1 1077944384 33627 0 0 0 122 8 0 0 20 0 28 0 447699594 29459828736 1011837 33554432000 4194304 4196468 140732541316992 139846775326960 139848318769794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16436] ppid=16416 vsize=28769364 memory=4058116 CPUtime=0 cores=0-7
/proc/16418/task/16436/stat : 16436 (java) S 16416 16416 15111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447699595 29459828736 1011837 33554432000 4194304 4196468 140732541316992 139846774274912 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16437] ppid=16416 vsize=28769364 memory=4047348 CPUtime=0.85 cores=0-7
/proc/16418/task/16437/stat : 16437 (java) S 16416 16416 15111 0 -1 1077944384 8607 0 0 0 31 54 0 0 20 0 28 0 447699595 29459828736 1011837 33554432000 4194304 4196468 140732541316992 139846773222192 139848318769794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 45 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=24425] ppid=16416 vsize=28769364 memory=4047348 CPUtime=1822.89 cores=0-7
/proc/16418/task/24425/stat : 24425 (java) R 16416 16416 15111 0 -1 4202560 63528 0 0 0 182275 14 0 0 20 0 28 0 447766721 29459828736 1011837 33554432000 4194304 4196468 140732541316992 139846757695688 139847917678293 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=24426] ppid=16416 vsize=28769364 memory=4047348 CPUtime=1830.28 cores=0-7
/proc/16418/task/24426/stat : 24426 (java) R 16416 16416 15111 0 -1 4202560 9812 0 0 0 183021 7 0 0 20 0 28 0 447766721 29459828736 1011837 33554432000 4194304 4196468 140732541316992 139846760854552 139847913638486 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=24427] ppid=16416 vsize=28769364 memory=1452 CPUtime=1826.17 cores=0-7
/proc/16418/task/24427/stat : 24427 (java) R 16416 16416 15111 0 -1 4202560 9651 0 0 0 182611 6 0 0 20 0 28 0 447766721 29459828736 1011837 33554432000 4194304 4196468 140732541316992 139846756643320 139847912379072 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=24428] ppid=16416 vsize=28769364 memory=1452 CPUtime=1830.19 cores=0-7
/proc/16418/task/24428/stat : 24428 (java) R 16416 16416 15111 0 -1 4202560 60673 0 0 0 182944 75 0 0 20 0 28 0 447766721 29459828736 1011837 33554432000 4194304 4196468 140732541316992 139846755590456 139847917277644 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=24429] ppid=16416 vsize=28769364 memory=6791534058613427641 CPUtime=1829.59 cores=0-7
/proc/16418/task/24429/stat : 24429 (java) R 16416 16416 15111 0 -1 4202560 15496 0 0 0 182948 11 0 0 20 0 28 0 447766721 29459828736 1011837 33554432000 4194304 4196468 140732541316992 139846754538232 139847912379229 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=24430] ppid=16416 vsize=28769364 memory=1452 CPUtime=1817.92 cores=0-7
/proc/16418/task/24430/stat : 24430 (java) R 16416 16416 15111 0 -1 4202560 8298 0 0 0 181782 10 0 0 20 0 28 0 447766721 29459828736 1011837 33554432000 4194304 4196468 140732541316992 139846753485384 139847912379923 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=24431] ppid=16416 vsize=28769364 memory=4047348 CPUtime=1816.84 cores=0-7
/proc/16418/task/24431/stat : 24431 (java) R 16416 16416 15111 0 -1 4202560 20930 0 0 0 181663 21 0 0 20 0 28 0 447766721 29459828736 1011837 33554432000 4194304 4196468 140732541316992 139846758751712 139847915666611 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=24432] ppid=16416 vsize=28769364 memory=2120 CPUtime=1830.34 cores=0-7
/proc/16418/task/24432/stat : 24432 (java) R 16416 16416 15111 0 -1 4202560 8435 0 0 0 183030 4 0 0 20 0 28 0 447766721 29459828736 1011837 33554432000 4194304 4196468 140732541316992 139846759801424 139847913638481 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
Current children cumulated CPU time: 19467.6 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 4048800 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.68 8.44 8.27 10/219 24570
/proc/meminfo: memFree=25286808/32770624 swapFree=66958324/67108860
[pid=16416] ppid=16413 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16416/stat : 16416 (xcsp3-exec) S 16413 16416 15111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447699588 115843072 363 33554432000 4194304 5098028 140732217126256 140732217124360 140310924190332 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15622144 140732217131893 140732217132137 140732217132137 140732217135050 0
/proc/16416/statm: 28282 363 304 221 0 87 0
[pid=16418] ppid=16416 vsize=28769364 memory=4046168 CPUtime=19608.8 cores=0-7
/proc/16418/stat : 16418 (java) S 16416 16416 15111 0 -1 1077944320 1203017 0 0 0 1959720 1162 0 0 20 0 28 0 447699589 29459828736 1011542 33554432000 4194304 4196468 140732541316992 140732541299536 139848318758647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
/proc/16418/statm: 7192341 1011542 3560 1 0 7153441 0
[pid=16418/tid=16419] ppid=16416 vsize=28769364 memory=14012 CPUtime=8.29 cores=0-7
/proc/16418/task/16419/stat : 16419 (java) S 16416 16416 15111 0 -1 1077944384 24425 0 0 0 799 30 0 0 20 0 28 0 447699589 29459828736 1011542 33554432000 4194304 4196468 140732541316992 139848322999360 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16420] ppid=16416 vsize=28769364 memory=4872558044660077418 CPUtime=1.52 cores=0-7
/proc/16418/task/16420/stat : 16420 (java) S 16416 16416 15111 0 -1 1077944384 7404 0 0 0 109 43 0 0 20 0 28 0 447699590 29459828736 1011542 33554432000 4194304 4196468 140732541316992 139848238611344 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16421] ppid=16416 vsize=28769364 memory=4046168 CPUtime=1.51 cores=0-7
/proc/16418/task/16421/stat : 16421 (java) S 16416 16416 15111 0 -1 1077944384 8068 0 0 0 106 45 0 0 20 0 28 0 447699590 29459828736 1011542 33554432000 4194304 4196468 140732541316992 139848237558544 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16422] ppid=16416 vsize=28769364 memory=14408211662899591 CPUtime=1.49 cores=0-7
/proc/16418/task/16422/stat : 16422 (java) S 16416 16416 15111 0 -1 1077944384 8452 0 0 0 107 42 0 0 20 0 28 0 447699590 29459828736 1011542 33554432000 4194304 4196468 140732541316992 139848236506256 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16423] ppid=16416 vsize=28769364 memory=988 CPUtime=1.52 cores=0-7
/proc/16418/task/16423/stat : 16423 (java) S 16416 16416 15111 0 -1 1077944384 7127 0 0 0 106 46 0 0 20 0 28 0 447699590 29459828736 1011542 33554432000 4194304 4196468 140732541316992 139848235453456 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16424] ppid=16416 vsize=28769364 memory=2020 CPUtime=1.5 cores=0-7
/proc/16418/task/16424/stat : 16424 (java) S 16416 16416 15111 0 -1 1077944384 6905 0 0 0 105 45 0 0 20 0 28 0 447699590 29459828736 1011542 33554432000 4194304 4196468 140732541316992 139848234400144 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16425] ppid=16416 vsize=28769364 memory=1432 CPUtime=1.5 cores=0-7
/proc/16418/task/16425/stat : 16425 (java) S 16416 16416 15111 0 -1 1077944384 7084 0 0 0 107 43 0 0 20 0 28 0 447699590 29459828736 1011542 33554432000 4194304 4196468 140732541316992 139848233347344 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16426] ppid=16416 vsize=28769364 memory=776 CPUtime=1.53 cores=0-7
/proc/16418/task/16426/stat : 16426 (java) S 16416 16416 15111 0 -1 1077944384 7459 0 0 0 109 44 0 0 20 0 28 0 447699590 29459828736 1011542 33554432000 4194304 4196468 140732541316992 139848232295056 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16427] ppid=16416 vsize=28769364 memory=14080 CPUtime=1.49 cores=0-7
/proc/16418/task/16427/stat : 16427 (java) S 16416 16416 15111 0 -1 1077944384 8330 0 0 0 107 42 0 0 20 0 28 0 447699590 29459828736 1011542 33554432000 4194304 4196468 140732541316992 139848231242256 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16428] ppid=16416 vsize=28769364 memory=26380 CPUtime=0.21 cores=0-7
/proc/16418/task/16428/stat : 16428 (java) S 16416 16416 15111 0 -1 1077944384 18772 0 0 0 15 6 0 0 20 0 28 0 447699591 29459828736 1011542 33554432000 4194304 4196468 140732541316992 139846782696048 139848318769794 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16429] ppid=16416 vsize=28769364 memory=2120 CPUtime=0 cores=0-7
/proc/16418/task/16429/stat : 16429 (java) S 16416 16416 15111 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 447699592 29459828736 1011542 33554432000 4194304 4196468 140732541316992 139846781642080 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16430] ppid=16416 vsize=28769364 memory=508 CPUtime=0 cores=0-7
/proc/16418/task/16430/stat : 16430 (java) S 16416 16416 15111 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 447699592 29459828736 1011542 33554432000 4194304 4196468 140732541316992 139846780589696 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16431] ppid=16416 vsize=28769364 memory=1560 CPUtime=0 cores=0-7
/proc/16418/task/16431/stat : 16431 (java) S 16416 16416 15111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447699594 29459828736 1011542 33554432000 4194304 4196468 140732541316992 139846779538000 139848318777243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16432] ppid=16416 vsize=28769364 memory=932 CPUtime=3.98 cores=0-7
/proc/16418/task/16432/stat : 16432 (java) S 16416 16416 15111 0 -1 1077944384 28947 0 0 0 392 6 0 0 20 0 28 0 447699594 29459828736 1011542 33554432000 4194304 4196468 140732541316992 139846778484848 139848318769794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16433] ppid=16416 vsize=28769364 memory=1568 CPUtime=4.77 cores=0-7
/proc/16418/task/16433/stat : 16433 (java) S 16416 16416 15111 0 -1 1077944384 27902 0 0 0 472 5 0 0 20 0 28 0 447699594 29459828736 1011542 33554432000 4194304 4196468 140732541316992 139846777432048 139848318769794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16434] ppid=16416 vsize=28769364 memory=6791534058613427641 CPUtime=3.75 cores=0-7
/proc/16418/task/16434/stat : 16434 (java) S 16416 16416 15111 0 -1 1077944384 30886 0 0 0 370 5 0 0 20 0 28 0 447699594 29459828736 1011542 33554432000 4194304 4196468 140732541316992 139846776379760 139848318769794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 46 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16435] ppid=16416 vsize=28769364 memory=776 CPUtime=1.3 cores=0-7
/proc/16418/task/16435/stat : 16435 (java) S 16416 16416 15111 0 -1 1077944384 33631 0 0 0 122 8 0 0 20 0 28 0 447699594 29459828736 1011542 33554432000 4194304 4196468 140732541316992 139846775326960 139848318769794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16436] ppid=16416 vsize=28769364 memory=1056 CPUtime=0 cores=0-7
/proc/16418/task/16436/stat : 16436 (java) S 16416 16416 15111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447699595 29459828736 1011542 33554432000 4194304 4196468 140732541316992 139846774274912 139848318768853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=16437] ppid=16416 vsize=28769364 memory=4000 CPUtime=0.87 cores=0-7
/proc/16418/task/16437/stat : 16437 (java) R 16416 16416 15111 0 -1 1077944384 8636 0 0 0 32 55 0 0 20 0 28 0 447699595 29459828736 1011542 33554432000 4194304 4196468 140732541316992 139846773222192 139848318769794 0 4 0 16800975 0 0 0 -1 6 0 0 45 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=24425] ppid=16416 vsize=28769364 memory=1552 CPUtime=1840.59 cores=0-7
/proc/16418/task/24425/stat : 24425 (java) R 16416 16416 15111 0 -1 4202560 64352 0 0 0 184045 14 0 0 20 0 28 0 447766721 29459828736 1011542 33554432000 4194304 4196468 140732541316992 139846757695688 139847919875078 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=24426] ppid=16416 vsize=28769364 memory=1712 CPUtime=1847.98 cores=0-7
/proc/16418/task/24426/stat : 24426 (java) R 16416 16416 15111 0 -1 4202560 9970 0 0 0 184791 7 0 0 20 0 28 0 447766721 29459828736 1011542 33554432000 4194304 4196468 140732541316992 139846760854648 139847912379615 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=24427] ppid=16416 vsize=28769364 memory=1196 CPUtime=1843.87 cores=0-7
/proc/16418/task/24427/stat : 24427 (java) R 16416 16416 15111 0 -1 4202560 9772 0 0 0 184381 6 0 0 20 0 28 0 447766721 29459828736 1011542 33554432000 4194304 4196468 140732541316992 139846756646192 139847912379615 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=24428] ppid=16416 vsize=28769364 memory=1044 CPUtime=1847.88 cores=0-7
/proc/16418/task/24428/stat : 24428 (java) R 16416 16416 15111 0 -1 4202560 61097 0 0 0 184713 75 0 0 20 0 28 0 447766721 29459828736 1011542 33554432000 4194304 4196468 140732541316992 139846755590520 139847912379265 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=24429] ppid=16416 vsize=28769364 memory=712 CPUtime=1847.28 cores=0-7
/proc/16418/task/24429/stat : 24429 (java) R 16416 16416 15111 0 -1 4202560 15669 0 0 0 184717 11 0 0 20 0 28 0 447766721 29459828736 1011542 33554432000 4194304 4196468 140732541316992 139846754537984 139847912379229 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=24430] ppid=16416 vsize=28769364 memory=2832 CPUtime=1835.62 cores=0-7
/proc/16418/task/24430/stat : 24430 (java) R 16416 16416 15111 0 -1 4202560 8567 0 0 0 183552 10 0 0 20 0 28 0 447766721 29459828736 1011542 33554432000 4194304 4196468 140732541316992 139846753485384 139847919875972 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=24431] ppid=16416 vsize=28769364 memory=8024 CPUtime=1834.17 cores=0-7
/proc/16418/task/24431/stat : 24431 (java) R 16416 16416 15111 0 -1 4202560 21257 0 0 0 183396 21 0 0 20 0 28 0 447766721 29459828736 1011542 33554432000 4194304 4196468 140732541316992 139846758748664 139847912379141 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
[pid=16418/tid=24432] ppid=16416 vsize=28769364 memory=10428 CPUtime=1848.04 cores=0-7
/proc/16418/task/24432/stat : 24432 (java) R 16416 16416 15111 0 -1 4202560 8572 0 0 0 184800 4 0 0 20 0 28 0 447766721 29459828736 1011542 33554432000 4194304 4196468 140732541316992 139846759801672 139847912379233 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 20365312 140732541322218 140732541322390 140732541322390 140732541325263 0
Current children cumulated CPU time: 19608.8 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 4047620 KiB

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

[startup+2520.04 s]
# the end of solver process 16416 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000822 s, system=0.001644 s

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

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

[startup+2520.13 s]*
/proc/loadavg: 8.68 8.44 8.27 2/190 24572
/proc/meminfo: memFree=29327356/32770624 swapFree=66958324/67108860
Current cumulated CPU time of completed processes: 0.002466 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.14
CPU time (s): 19609.6
CPU user time (s): 19598
CPU system time (s): 11.6485
CPU usage (%): 778.115
Max. virtual memory (cumulated for all children) (KiB): 28882492
Max. memory (cumulated for all children) (KiB): 4466588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19598
system time used= 11.6485
maximum resident set size= 4473760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1204216
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 127327
involuntary context switches= 214375


# summary of solver processes directly reported to runsolver:
#   pid: 16416,16418
#   total CPU time (s): 19609.6
#   total CPU user time (s): 19598
#   total CPU system time (s): 11.6485

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.3032 second user time and 31.3086 second system time

The end

Launcher Data 

Begin job on node145 at 2019-09-17 12:53:09
IDJOB=4399951
IDBENCH=141204
IDSOLVER=2854
FILE ID=node145/4399951-1568717631
RUNJOBID= node145-1568711786-15138
PBS_JOBID= 21703940
Free space on /tmp= 59532 MiB

SOLVER NAME= choco-solver 2019-09-16 parallel
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-05-opt_c18.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4399951-1568717631/watcher-4399951-1568717631 -o /tmp/evaluation-result-4399951-1568717631/solver-4399951-1568717631 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568711786-15138 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1669417059 HOME/instance-4399951-1568717631.xml

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

MD5SUM BENCH= d0ab6aee5f30ff70d66f863e0e3556a1
RANDOM SEED=1669417059

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.59
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:        29330876 kB
MemAvailable:   31850748 kB
Buffers:          192424 kB
Cached:          2618100 kB
SwapCached:        41068 kB
Active:          1389084 kB
Inactive:        1466380 kB
Active(anon):       7548 kB
Inactive(anon):    86528 kB
Active(file):    1381536 kB
Inactive(file):  1379852 kB
Unevictable:      109612 kB
Mlocked:          109612 kB
SwapTotal:      67108860 kB
SwapFree:       66958324 kB
Dirty:             25960 kB
Writeback:             0 kB
AnonPages:        240600 kB
Mapped:            47932 kB
Shmem:             40620 kB
Slab:             177128 kB
SReclaimable:     148636 kB
SUnreclaim:        28492 kB
KernelStack:        3888 kB
PageTables:         5704 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    194560 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 59508 MiB
End job on node145 at 2019-09-17 13:35:09