Trace number 4407151

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-09-24 parallelSAT (TO)12346 19595.8 2520.11

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-4407151-1569363571.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4407151-1569363571.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
20.35/8.01	c solve instance...
25.40/8.83	o 148863 
25.93/9.11	o 147962 
28.72/10.54	o 147862 
28.72/10.57	o 147762 
28.92/10.60	o 147761 
28.92/10.63	o 146862 
28.92/10.65	o 145961 
28.92/10.69	o 145861 
29.23/10.72	o 145761 
29.23/10.74	o 145732 
29.23/10.77	o 145731 
29.51/10.80	o 145640 
29.51/10.82	o 145620 
29.51/10.83	o 144960 
29.51/10.84	o 144931 
29.51/10.85	o 144930 
29.51/10.87	o 144839 
29.51/10.89	o 144819 
29.86/10.91	o 144760 
29.86/10.94	o 144731 
29.86/10.96	o 144730 
29.86/10.98	o 144639 
29.86/10.99	o 144619 
30.24/11.01	o 144596 
30.24/11.02	o 144567 
30.24/11.03	o 144503 
30.95/11.13	o 144483 
30.95/11.15	o 144414 
30.95/11.16	o 144393 
30.95/11.17	o 144373 
31.31/11.20	o 144363 
31.31/11.22	o 144353 
31.31/11.23	o 144352 
31.31/11.27	o 144342 
31.31/11.29	o 143747 
31.57/11.30	o 143647 
31.57/11.31	o 143547 
31.57/11.34	o 143528 
31.57/11.34	o 143518 
31.57/11.38	o 143517 
31.92/11.40	o 143427 
31.92/11.41	o 143426 
31.92/11.47	o 143406 
32.47/11.52	o 143383 
32.47/11.53	o 143364 
32.47/11.54	o 143354 
32.47/11.55	o 143290 
32.47/11.57	o 143270 
32.47/11.58	o 143201 
32.47/11.59	o 143180 
32.47/11.59	o 143160 
32.82/11.70	o 143150 
33.55/11.71	o 143140 
33.55/11.74	o 143059 
33.55/11.77	o 143050 
33.90/11.88	o 142956 
34.20/11.91	o 142856 
34.20/11.92	o 142756 
35.80/13.17	o 142737 
35.80/13.19	o 142727 
35.80/13.19	o 142726 
35.96/13.21	o 142636 
35.96/13.22	o 142635 
35.96/13.23	o 142615 
35.96/13.25	o 142593 
35.96/13.29	o 142493 
36.18/13.30	o 142474 
36.18/13.32	o 142464 
36.18/13.36	o 142400 
36.18/13.37	o 142380 
36.18/13.39	o 142311 
36.42/13.42	o 142290 
36.42/13.43	o 142270 
36.42/13.44	o 142260 
36.42/13.45	o 142250 
37.68/13.64	o 142249 
37.68/13.66	o 141946 
37.68/13.69	o 141846 
38.02/13.70	o 141746 
38.02/13.75	o 141727 
38.02/13.76	o 141717 
38.02/13.76	o 141716 
38.02/13.79	o 141626 
38.02/13.79	o 141625 
38.25/13.81	o 141605 
38.25/13.83	o 141583 
38.25/13.86	o 141483 
38.25/13.87	o 141464 
38.25/13.88	o 141454 
38.25/13.90	o 141390 
38.54/13.90	o 141370 
38.54/13.92	o 141301 
38.54/13.92	o 141280 
38.54/13.97	o 141260 
38.54/13.98	o 141250 
38.54/13.99	o 141240 
38.87/14.03	o 140648 
38.87/14.05	o 140548 
38.87/14.06	o 140448 
38.87/14.08	o 140419 
39.15/14.13	o 140418 
39.15/14.15	o 140327 
39.15/14.16	o 140307 
39.35/14.21	o 139647 
39.35/14.23	o 139618 
39.35/14.25	o 139475 
39.35/14.26	o 139447 
39.55/14.36	o 139418 
40.79/15.57	o 139417 
40.79/15.58	o 139326 
40.93/15.60	o 139306 
40.93/15.62	o 139284 
40.93/15.64	o 139255 
40.93/15.65	o 139202 
40.93/15.66	o 139181 
40.93/15.68	o 139161 
40.93/15.69	o 139151 
41.27/15.73	o 139141 
41.27/15.76	o 139140 
41.27/15.77	o 139130 
41.27/15.79	o 139115 
41.83/15.81	o 139114 
41.83/15.83	o 139094 
41.83/15.86	o 138434 
42.24/15.91	o 138415 
42.24/15.94	o 138405 
42.24/15.95	o 138404 
42.24/15.96	o 138314 
42.24/15.97	o 138313 
42.24/15.99	o 138293 
42.24/15.99	o 138234 
42.52/16.02	o 138215 
42.52/16.04	o 138205 
42.52/16.05	o 138204 
42.52/16.06	o 138114 
42.52/16.08	o 138113 
42.52/16.09	o 138093 
42.79/16.12	o 138071 
42.79/16.13	o 138052 
42.79/16.15	o 137989 
42.79/16.18	o 137968 
42.79/16.20	o 137948 
42.98/16.22	o 137938 
42.98/16.23	o 137928 
42.98/16.25	o 137903 
42.98/16.27	o 137902 
43.27/16.31	o 137882 
43.27/16.33	o 137803 
43.27/16.34	o 137802 
43.27/16.36	o 137782 
43.27/16.38	o 137123 
43.27/16.39	o 137104 
43.56/16.41	o 137094 
43.56/16.45	o 137093 
43.56/16.46	o 137003 
43.56/16.47	o 137002 
43.56/16.49	o 136982 
43.80/16.50	o 136923 
43.80/16.52	o 136904 
43.80/16.53	o 136894 
43.80/16.59	o 136893 
44.05/16.60	o 136803 
44.05/16.62	o 136802 
44.05/16.64	o 136782 
44.05/16.65	o 136123 
44.05/16.67	o 136104 
44.05/16.68	o 136094 
44.39/16.70	o 136093 
44.39/16.72	o 136003 
44.39/16.73	o 136002 
44.39/16.75	o 135982 
44.39/16.76	o 135923 
44.39/16.76	o 135904 
44.39/16.79	o 135894 
44.62/16.80	o 135893 
44.62/16.80	o 135803 
44.62/16.82	o 135802 
44.62/16.84	o 135782 
44.62/16.86	o 135123 
44.62/16.86	o 135023 
44.62/16.87	o 134923 
44.62/16.89	o 134904 
44.86/16.90	o 134894 
44.86/16.93	o 134893 
44.86/16.95	o 134803 
44.86/16.96	o 134802 
44.86/16.97	o 134782 
44.86/16.99	o 134223 
44.86/17.00	o 134123 
45.13/17.01	o 134023 
45.13/17.03	o 134004 
45.13/17.04	o 133994 
45.13/17.05	o 133993 
45.13/17.06	o 133903 
45.13/17.07	o 133902 
45.13/17.08	o 133882 
45.13/17.09	o 133546 
45.47/17.16	o 133222 
45.47/17.17	o 133122 
45.47/17.18	o 133022 
45.64/17.29	o 133003 
47.10/18.53	o 132993 
47.10/18.55	o 132992 
47.10/18.56	o 132902 
47.29/18.60	o 132901 
47.29/18.61	o 132881 
47.29/18.66	o 132866 
47.29/18.67	o 132846 
47.29/18.68	o 132777 
47.29/18.69	o 132756 
47.56/18.71	o 132736 
47.56/18.73	o 132726 
47.56/18.78	o 132716 
47.56/18.79	o 132657 
47.78/18.80	o 132616 
47.78/18.84	o 132101 
47.78/18.86	o 132001 
47.78/18.87	o 131901 
47.78/18.89	o 131882 
47.78/18.90	o 131872 
48.21/18.90	o 131871 
48.21/18.92	o 131781 
48.21/18.93	o 131780 
48.21/18.95	o 131760 
48.21/18.98	o 131750 
48.66/19.20	o 131748 
48.66/19.23	o 131737 
48.66/19.26	o 131725 
48.66/19.27	o 131656 
48.66/19.29	o 131635 
48.96/19.34	o 131615 
48.96/19.36	o 131605 
48.96/19.38	o 131546 
48.96/19.39	o 131505 
49.25/19.42	o 131496 
49.79/19.51	o 131483 
50.02/19.62	o 131091 
51.32/20.86	o 130991 
51.32/20.88	o 130891 
51.49/20.91	o 130872 
51.49/20.98	o 130862 
51.49/21.00	o 130861 
51.68/21.02	o 130771 
51.68/21.04	o 130770 
51.68/21.05	o 130750 
51.68/21.08	o 130749 
51.68/21.10	o 130738 
51.96/21.12	o 130727 
51.96/21.13	o 130715 
51.96/21.15	o 130646 
51.96/21.17	o 130625 
51.96/21.19	o 130605 
51.96/21.20	o 130595 
52.21/21.21	o 130536 
52.21/21.22	o 130495 
52.21/21.25	o 130487 
52.81/21.45	o 130213 
52.81/21.46	o 130113 
52.81/21.47	o 130013 
53.05/21.51	o 129994 
53.05/21.52	o 129984 
53.05/21.55	o 129983 
53.05/21.56	o 129893 
53.05/21.60	o 129892 
53.40/21.60	o 129872 
53.40/21.62	o 129857 
53.40/21.64	o 129837 
53.40/21.65	o 129768 
53.40/21.67	o 129747 
53.40/21.68	o 129727 
53.72/21.71	o 129717 
53.72/21.72	o 129707 
53.72/21.74	o 129648 
53.72/21.76	o 129607 
54.10/21.87	o 128924 
54.10/21.90	o 128892 
54.28/21.91	o 128873 
54.47/22.02	o 128863 
55.68/23.22	o 128862 
55.68/23.24	o 128772 
55.68/23.29	o 128771 
55.87/23.33	o 128751 
55.87/23.36	o 128741 
56.07/23.41	o 128739 
56.07/23.42	o 128728 
56.07/23.44	o 128716 
56.07/23.49	o 128647 
56.27/23.50	o 128626 
56.27/23.54	o 128606 
56.27/23.55	o 128596 
56.27/23.57	o 128537 
56.27/23.59	o 128496 
56.64/23.74	o 128486 
56.64/23.78	o 128485 
56.84/23.81	o 128475 
56.84/23.85	o 128474 
56.84/23.86	o 128415 
56.84/23.86	o 128374 
57.09/23.92	o 128364 
57.09/23.98	o 128354 
57.09/24.00	o 128295 
57.31/24.05	o 128254 
57.85/24.11	o 128082 
57.85/24.12	o 127982 
57.85/24.18	o 127882 
58.05/24.25	o 127863 
58.05/24.25	o 127853 
58.18/24.32	o 127852 
58.18/24.34	o 127762 
58.18/24.35	o 127761 
58.18/24.35	o 127741 
58.39/24.42	o 127740 
58.39/24.45	o 127729 
58.39/24.46	o 127718 
58.57/24.50	o 127706 
58.57/24.53	o 127637 
58.57/24.55	o 127616 
58.57/24.56	o 127596 
58.57/24.56	o 127586 
58.79/24.62	o 127527 
58.79/24.63	o 127486 
58.79/24.69	o 127476 
59.01/24.73	o 127431 
59.01/24.76	o 127405 
59.16/24.87	o 127364 
59.31/24.93	o 127321 
59.46/25.04	o 127285 
59.46/25.07	o 127244 
59.60/25.13	o 126291 
60.09/25.29	o 126062 
60.26/25.31	o 125962 
60.26/25.32	o 125862 
61.51/26.53	o 125843 
61.51/26.53	o 125833 
61.51/26.54	o 125832 
61.51/26.55	o 125742 
61.51/26.56	o 125741 
61.67/26.60	o 125721 
61.67/26.61	o 125720 
61.67/26.64	o 125709 
61.67/26.66	o 125698 
61.67/26.68	o 125686 
61.94/26.71	o 125676 
61.94/26.72	o 125666 
61.94/26.73	o 125607 
61.94/26.74	o 125507 
61.94/26.76	o 125466 
61.94/26.78	o 125458 
62.28/26.84	o 125184 
62.28/26.85	o 125084 
62.28/26.86	o 124984 
62.28/26.87	o 124965 
62.28/26.90	o 124955 
62.62/26.90	o 124954 
62.62/26.93	o 124864 
62.62/26.94	o 124863 
62.62/26.95	o 124843 
62.62/26.97	o 124828 
62.62/27.00	o 124808 
62.62/27.00	o 124798 
62.85/27.02	o 124778 
62.85/27.04	o 124719 
62.85/27.06	o 124619 
62.85/27.07	o 124578 
63.53/27.32	o 124063 
63.53/27.38	o 123963 
63.53/27.39	o 123863 
63.71/27.40	o 123844 
63.71/27.43	o 123834 
63.71/27.44	o 123833 
63.71/27.46	o 123743 
63.71/27.47	o 123742 
63.71/27.50	o 123722 
63.89/27.51	o 123712 
63.89/27.52	o 123710 
63.89/27.53	o 123699 
63.89/27.55	o 123687 
63.89/27.57	o 123677 
63.89/27.58	o 123667 
63.89/27.60	o 123608 
64.25/27.62	o 123508 
64.25/27.62	o 123467 
64.43/27.73	o 123457 
64.43/27.75	o 122481 
64.87/27.88	o 122320 
65.20/27.91	o 122220 
65.20/27.92	o 122120 
66.51/29.15	o 122101 
66.51/29.16	o 122091 
66.51/29.18	o 122090 
66.65/29.20	o 122000 
66.65/29.21	o 121999 
66.65/29.22	o 121979 
66.65/29.23	o 121978 
66.65/29.25	o 121967 
66.85/29.30	o 121956 
66.85/29.34	o 121934 
66.85/29.40	o 121898 
67.11/29.43	o 121897 
67.11/29.44	o 121877 
67.11/29.46	o 121867 
67.11/29.47	o 121866 
67.11/29.47	o 121856 
67.31/29.51	o 121854 
67.31/29.53	o 121832 
67.59/29.60	o 121831 
67.59/29.66	o 121758 
67.59/29.66	o 121757 
67.89/29.70	o 121737 
67.89/29.71	o 121727 
67.89/29.74	o 121725 
67.89/29.78	o 121714 
68.14/29.82	o 121692 
68.14/29.85	o 121656 
68.14/29.86	o 121655 
68.14/29.87	o 121635 
68.42/29.90	o 121625 
68.42/29.93	o 121624 
68.42/29.98	o 121614 
68.66/30.02	o 121612 
68.66/30.05	o 121590 
68.66/30.07	o 121589 
69.08/30.14	o 121579 
69.08/30.16	o 121578 
69.08/30.19	o 121573 
69.36/30.21	o 121572 
69.36/30.23	o 121513 
69.36/30.24	o 121472 
69.36/30.27	o 121462 
69.64/30.31	o 121452 
69.64/30.34	o 121393 
69.64/30.34	o 121352 
69.94/30.41	o 121333 
69.94/30.43	o 121302 
69.94/30.44	o 121261 
70.27/30.54	o 121224 
70.27/30.55	o 121183 
70.27/30.58	o 120213 
70.52/30.69	o 120205 
70.67/30.72	o 120194 
70.67/30.79	o 120182 
70.96/30.82	o 120113 
70.96/30.84	o 120092 
70.96/30.86	o 120072 
72.41/32.11	o 120062 
72.41/32.13	o 120003 
72.41/32.16	o 119962 
72.67/32.21	o 119903 
72.67/32.24	o 119862 
72.67/32.28	o 119840 
72.97/32.34	o 119830 
72.97/32.36	o 119820 
72.97/32.39	o 119761 
73.16/32.42	o 119720 
73.16/32.45	o 119661 
73.16/32.46	o 119620 
73.16/32.49	o 119611 
73.54/32.51	o 119589 
73.54/32.58	o 119588 
73.91/32.63	o 119587 
74.54/32.76	o 119548 
74.54/32.80	o 119527 
74.90/32.80	o 119448 
74.90/32.82	o 119348 
75.09/32.93	o 119329 
75.09/32.93	o 119319 
75.09/32.95	o 119318 
75.09/32.98	o 119228 
75.09/32.99	o 119227 
76.61/34.23	o 119207 
76.61/34.25	o 119206 
76.81/34.32	o 119195 
76.81/34.34	o 119184 
76.81/34.36	o 119172 
76.81/34.39	o 119103 
77.05/34.42	o 119082 
77.05/34.44	o 119062 
77.05/34.46	o 119052 
77.21/34.50	o 118993 
77.21/34.51	o 118952 
77.21/34.54	o 118942 
77.46/34.61	o 118941 
77.46/34.62	o 118931 
77.63/34.73	o 118930 
77.63/34.76	o 118871 
77.63/34.77	o 118830 
77.94/34.82	o 118820 
77.94/34.84	o 118810 
77.94/34.87	o 118751 
78.16/34.91	o 118710 
78.16/34.96	o 118651 
78.16/34.97	o 118610 
78.16/35.01	o 118541 
78.47/35.03	o 118540 
78.47/35.05	o 118520 
78.47/35.05	o 118519 
78.71/35.13	o 118508 
78.71/35.15	o 118497 
78.71/35.17	o 118485 
78.95/35.21	o 118475 
78.95/35.23	o 118465 
78.95/35.24	o 118406 
78.95/35.26	o 118306 
78.95/35.28	o 118265 
79.21/35.31	o 118255 
79.21/35.33	o 118254 
79.21/35.35	o 118244 
79.21/35.37	o 118243 
79.21/35.40	o 118184 
79.43/35.40	o 118143 
79.71/35.54	o 118064 
79.71/35.58	o 118023 
80.09/35.76	o 118005 
80.30/35.87	o 117988 
80.30/35.90	o 117987 
80.46/35.92	o 117976 
80.46/35.95	o 117965 
80.46/35.96	o 117953 
80.83/36.12	o 117887 
80.83/36.14	o 117886 
80.83/36.15	o 117866 
80.83/36.17	o 117856 
80.83/36.20	o 117767 
81.06/36.20	o 117766 
81.06/36.23	o 117746 
81.06/36.24	o 117736 
82.36/37.49	o 117734 
82.48/37.51	o 117723 
82.48/37.54	o 117711 
82.48/37.57	o 117677 
82.48/37.57	o 117676 
82.48/37.58	o 117656 
82.48/37.58	o 117646 
82.78/37.61	o 117557 
82.78/37.61	o 117556 
82.78/37.61	o 117536 
82.78/37.64	o 117526 
82.78/37.68	o 117455 
83.04/37.71	o 117454 
83.04/37.74	o 117434 
83.04/37.76	o 117424 
83.04/37.79	o 117423 
83.27/37.80	o 117413 
83.27/37.89	o 117118 
83.91/37.90	o 117018 
83.91/37.91	o 116918 
83.91/37.93	o 116899 
83.91/37.95	o 116889 
83.91/37.97	o 116888 
83.91/37.97	o 116798 
83.91/37.97	o 116797 
83.91/37.99	o 116777 
84.19/38.02	o 116776 
84.19/38.04	o 116765 
84.19/38.06	o 116754 
84.19/38.08	o 116732 
84.48/38.13	o 116676 
84.48/38.15	o 116675 
84.48/38.17	o 116655 
84.70/38.20	o 116645 
84.70/38.21	o 116556 
84.70/38.24	o 116555 
84.70/38.25	o 116535 
84.70/38.28	o 116525 
84.96/38.37	o 116523 
85.10/38.49	o 116512 
85.23/38.51	o 116490 
85.51/38.67	o 116454 
85.64/38.71	o 116453 
85.64/38.72	o 116433 
85.64/38.72	o 116423 
85.64/38.73	o 116422 
85.64/38.73	o 116412 
85.64/38.79	o 116410 
85.87/38.82	o 116388 
85.87/38.84	o 116387 
86.39/38.91	o 116328 
86.39/38.91	o 116228 
86.39/38.93	o 116209 
86.39/38.94	o 116199 
86.39/38.97	o 116198 
86.72/39.01	o 116108 
86.72/39.03	o 116107 
86.72/39.06	o 116087 
86.72/39.08	o 116086 
86.72/39.10	o 116075 
86.94/39.13	o 116064 
86.94/39.15	o 116042 
86.94/39.18	o 115986 
86.94/39.19	o 115985 
87.24/39.20	o 115965 
87.24/39.20	o 115955 
87.24/39.22	o 115866 
87.24/39.22	o 115865 
87.24/39.26	o 115845 
87.24/39.28	o 115835 
87.53/39.31	o 115833 
87.53/39.34	o 115822 
87.53/39.35	o 115800 
87.53/39.38	o 115764 
87.78/39.41	o 115763 
87.78/39.43	o 115743 
87.78/39.44	o 115733 
87.78/39.45	o 115732 
87.78/39.49	o 115722 
88.00/39.53	o 115720 
88.00/39.54	o 115698 
88.00/39.58	o 115697 
88.43/39.64	o 115418 
88.43/39.67	o 115318 
88.43/39.68	o 115218 
88.80/39.71	o 115199 
88.80/39.72	o 115189 
88.80/39.74	o 115188 
88.80/39.78	o 115098 
88.80/39.79	o 115097 
88.80/39.80	o 115077 
88.99/39.83	o 115067 
88.99/39.86	o 115057 
89.23/39.90	o 115056 
89.23/39.92	o 115046 
89.23/39.94	o 115045 
89.23/39.97	o 114976 
89.45/40.03	o 114975 
89.45/40.06	o 114955 
89.60/40.12	o 114945 
89.60/40.18	o 114856 
89.60/40.19	o 114855 
89.60/40.19	o 114835 
89.78/40.24	o 114825 
89.97/40.30	o 114754 
89.97/40.30	o 114753 
89.97/40.31	o 114733 
89.97/40.31	o 114723 
89.97/40.36	o 114722 
89.97/40.38	o 114712 
90.22/40.43	o 114710 
90.22/40.48	o 114688 
90.50/40.53	o 114687 
90.50/40.57	o 114663 
90.50/40.57	o 114662 
90.72/40.62	o 114642 
90.72/40.66	o 114632 
90.72/40.67	o 114631 
90.92/40.71	o 114621 
90.92/40.75	o 114619 
90.92/40.78	o 114597 
91.22/40.82	o 114596 
91.22/40.87	o 114565 
91.22/40.89	o 114564 
91.60/40.92	o 114544 
91.60/40.96	o 114534 
91.60/40.98	o 114445 
91.78/41.02	o 114444 
91.78/41.03	o 114424 
91.78/41.06	o 114414 
91.78/41.08	o 114412 
92.05/41.12	o 114401 
92.05/41.15	o 114379 
92.05/41.18	o 114343 
92.05/41.20	o 114342 
92.30/41.22	o 114322 
92.30/41.25	o 114312 
92.30/41.29	o 114311 
92.53/41.32	o 114301 
92.77/41.42	o 114299 
92.77/41.43	o 114277 
92.77/41.46	o 114276 
93.69/41.62	o 114243 
93.69/41.65	o 114242 
93.86/41.70	o 114222 
93.86/41.71	o 114212 
93.86/41.75	o 114211 
93.86/41.79	o 114201 
94.12/41.82	o 114199 
94.12/41.84	o 114177 
94.42/41.91	o 114176 
94.94/42.01	o 114167 
95.25/42.12	o 114166 
96.83/43.28	o 114157 
97.05/43.32	o 114156 
97.59/43.40	o 114155 
97.59/43.42	o 114123 
97.59/43.43	o 114122 
97.59/43.43	o 114102 
97.59/43.45	o 114092 
97.59/43.48	o 114091 
97.82/43.50	o 114081 
98.52/43.71	o 113786 
98.52/43.74	o 113686 
98.52/43.75	o 113586 
98.52/43.76	o 113567 
98.52/43.80	o 113557 
98.77/43.82	o 113556 
98.77/43.84	o 113466 
98.77/43.86	o 113465 
98.77/43.86	o 113445 
98.77/43.88	o 113444 
98.98/43.92	o 113433 
98.98/43.95	o 113422 
98.98/43.98	o 113400 
99.28/44.02	o 113344 
99.28/44.04	o 113343 
99.28/44.06	o 113323 
99.28/44.09	o 113313 
99.48/44.12	o 113224 
99.48/44.12	o 113223 
99.48/44.15	o 113203 
99.48/44.17	o 113193 
99.71/44.20	o 113191 
99.71/44.23	o 113180 
99.71/44.25	o 113158 
99.71/44.28	o 113122 
99.71/44.29	o 113121 
99.71/44.29	o 113101 
100.00/44.33	o 113091 
100.00/44.34	o 113090 
100.00/44.36	o 113080 
100.00/44.39	o 113078 
100.21/44.41	o 113056 
100.45/44.56	o 113055 
100.45/44.58	o 113022 
100.45/44.59	o 113021 
100.68/44.61	o 113001 
100.68/44.63	o 112991 
100.68/44.65	o 112990 
100.68/44.68	o 112765 
101.87/44.96	o 112665 
102.12/45.10	o 112586 
102.26/45.14	o 112585 
102.26/45.14	o 112565 
102.26/45.15	o 112564 
102.26/45.19	o 112553 
102.50/45.22	o 112542 
102.50/45.25	o 111625 
102.93/45.40	o 111604 
103.54/45.45	o 111585 
103.70/45.51	o 111575 
103.70/45.52	o 111574 
103.70/45.53	o 111484 
103.70/45.58	o 111483 
103.85/45.63	o 111463 
105.15/46.89	o 111462 
105.25/46.90	o 111451 
105.25/46.92	o 111440 
105.25/46.97	o 111418 
105.57/47.02	o 111373 
105.57/47.04	o 111372 
105.57/47.06	o 111352 
105.57/47.07	o 111342 
105.72/47.12	o 111332 
105.72/47.13	o 111322 
105.72/47.14	o 111253 
105.72/47.15	o 111252 
105.92/47.20	o 111232 
105.92/47.23	o 111222 
105.92/47.25	o 111220 
105.92/47.27	o 111209 
106.17/47.31	o 111187 
106.17/47.36	o 111151 
106.48/47.40	o 111150 
106.48/47.42	o 111130 
106.48/47.43	o 111120 
106.48/47.45	o 111119 
106.48/47.46	o 111109 
106.48/47.49	o 111107 
106.74/47.56	o 111085 
106.74/47.59	o 111084 
107.03/47.63	o 111051 
107.03/47.65	o 111050 
107.03/47.68	o 111030 
107.03/47.68	o 111020 
107.03/47.69	o 111019 
107.19/47.70	o 111009 
107.19/47.73	o 111007 
107.19/47.74	o 110985 
107.19/47.78	o 110984 
108.35/47.90	o 110982 
108.73/48.03	o 110977 
108.73/48.05	o 110955 
108.73/48.08	o 110921 
108.73/48.09	o 110920 
108.73/48.10	o 110900 
108.73/48.10	o 110890 
108.96/48.12	o 110888 
108.96/48.15	o 110877 
108.96/48.17	o 110855 
109.12/48.21	o 110782 
109.31/48.31	o 110775 
109.31/48.35	o 110753 
109.31/48.37	o 109792 
110.50/48.55	o 109772 
111.64/48.72	o 109762 
111.64/48.75	o 109662 
112.89/49.99	o 109643 
113.03/50.01	o 109633 
113.03/50.04	o 109632 
113.03/50.06	o 109542 
113.03/50.08	o 109541 
113.27/50.12	o 109521 
113.27/50.15	o 109520 
113.27/50.19	o 109509 
113.48/50.23	o 109498 
113.48/50.24	o 109476 
113.84/50.42	o 109451 
113.84/50.46	o 109432 
113.84/50.49	o 109422 
114.00/50.52	o 109421 
114.00/50.54	o 109331 
114.00/50.56	o 109330 
114.00/50.58	o 109310 
114.00/50.59	o 109300 
114.00/50.59	o 109290 
114.22/50.61	o 109221 
114.22/50.61	o 109220 
114.22/50.65	o 109200 
114.22/50.68	o 109190 
114.42/50.71	o 109188 
114.42/50.73	o 109177 
114.42/50.74	o 109155 
114.42/50.78	o 109119 
114.42/50.79	o 109118 
114.73/50.82	o 109098 
114.73/50.83	o 109088 
114.73/50.83	o 109087 
114.73/50.86	o 109077 
114.73/50.89	o 109075 
114.97/50.91	o 109053 
114.97/50.94	o 109052 
114.97/50.97	o 109019 
114.97/51.00	o 109018 
115.30/51.04	o 108998 
115.30/51.06	o 108988 
115.30/51.09	o 108987 
115.30/51.11	o 108977 
115.44/51.14	o 108975 
115.44/51.18	o 108953 
115.76/51.22	o 108952 
115.76/51.26	o 49293 
116.12/51.30	o 48294 
116.12/51.35	o 48284 
116.12/51.37	o 48194 
116.39/51.41	o 48184 
116.39/51.43	o 48112 
116.39/51.49	o 48102 
116.63/51.55	o 48092 
116.80/51.61	o 48083 
116.80/51.67	o 48076 
117.05/51.72	o 48004 
117.05/51.73	o 47994 
159.62/57.15	o 47987 
159.62/57.18	o 47986 
159.89/57.21	o 47978 
159.89/57.23	o 47977 
160.20/57.34	o 47976 
160.20/57.35	o 47975 
160.20/57.38	o 47968 
160.20/57.39	o 47967 
160.49/57.45	o 47966 
160.49/57.48	o 47965 
160.49/57.48	o 47964 
161.00/57.65	o 47963 
161.00/57.67	o 47962 
171.67/59.09	o 47958 
172.06/59.13	o 47949 
172.06/59.15	o 47948 
172.06/59.18	o 47947 
172.46/59.30	o 47938 
173.16/59.35	o 47937 
173.16/59.36	o 47928 
173.16/59.38	o 47927 
173.48/59.42	o 47918 
173.48/59.44	o 47917 
207.37/63.84	o 39294 
207.64/64.00	o 39194 
207.75/64.07	o 38604 
208.70/64.32	o 38504 
208.70/64.35	o 38294 
209.18/64.41	o 37505 
210.47/64.60	o 36606 
219.09/65.89	o 36596 
219.45/66.16	o 36595 
220.72/66.42	o 35616 
223.78/66.87	o 34606 
231.36/67.80	o 33908 
231.36/67.82	o 33818 
232.03/67.99	o 33809 
232.03/68.01	o 33808 
233.45/68.27	o 32809 
234.56/68.44	o 31729 
244.07/69.62	o 29519 
244.07/69.66	o 29518 
244.07/69.70	o 28829 
245.10/69.83	o 28819 
249.64/70.46	o 28720 
261.99/72.95	o 27906 
262.45/73.02	o 27026 
262.67/73.13	o 27017 
263.22/73.28	o 26917 
263.98/73.33	o 26916 
265.37/73.54	o 26836 
266.69/73.70	o 26827 
313.65/79.65	o 26715 
313.96/79.72	o 26605 
317.72/80.25	o 26604 
361.24/85.77	o 26596 
361.24/85.79	o 26595 
391.06/89.57	o 26505 
391.40/89.64	o 26426 
391.71/89.71	o 26416 
391.71/89.76	o 26415 
392.08/89.87	o 26317 
392.41/89.92	o 26316 
392.68/90.06	o 26307 
392.90/90.15	o 26306 
397.16/91.47	o 25496 
397.32/91.52	o 25495 
424.99/95.08	o 25332 
425.77/95.26	o 25225 
426.13/95.32	o 25136 
426.77/95.49	o 25135 
427.89/95.67	o 25035 
434.99/96.70	o 24935 
434.99/96.73	o 24934 
435.25/96.83	o 24834 
435.65/96.97	o 24833 
435.88/97.02	o 24832 
435.88/97.05	o 24831 
437.19/97.24	o 24821 
446.52/98.48	o 24721 
446.85/98.60	o 24632 
462.55/100.69	o 24571 
467.45/101.36	o 24561 
477.32/102.62	o 24482 
477.49/102.75	o 24481 
477.68/102.87	o 24460 
480.32/103.26	o 24459 
513.42/107.41	o 24360 
513.42/107.48	o 24359 
546.65/111.78	o 23359 
594.64/117.86	o 22502 
595.27/117.99	o 22491 
596.78/118.26	o 22483 
648.81/124.85	o 22473 
654.76/125.64	o 22472 
662.35/126.63	o 22462 
662.71/126.72	o 22453 
664.14/127.00	o 21855 
665.59/127.16	o 21845 
690.10/130.27	o 21843 
691.24/130.47	o 21742 
699.81/132.60	o 21732 
705.34/133.38	o 20702 
707.46/133.60	o 20701 
737.55/137.44	o 20700 
750.09/139.34	o 20599 
754.04/139.96	o 19524 
755.68/140.21	o 19522 
784.29/143.87	o 19521 
816.93/148.42	o 19429 
816.93/148.47	o 19428 
912.13/160.54	o 18668 
921.21/161.72	o 18577 
967.78/167.67	o 18568 
968.09/167.75	o 18558 
975.91/168.79	o 18557 
1099.92/184.33	o 18547 
1100.47/184.56	o 18464 
1106.40/185.36	o 18463 
1125.34/187.76	o 18453 
1221.67/199.86	o 18243 
1222.07/199.94	o 18235 
1393.95/221.53	o 18226 
1691.08/258.90	o 18217 
1808.30/273.75	o 18214 
1832.64/277.26	o 18202 
1832.64/277.29	o 18192 
1909.09/286.96	o 18092 
1911.51/287.33	o 18082 
1913.81/287.77	o 17994 
1923.30/289.01	o 17895 
1923.30/289.04	o 17894 
1935.11/290.63	o 17893 
1966.75/294.65	o 17892 
2236.75/328.53	o 17882 
2277.15/333.69	o 17831 
2277.73/333.72	o 17821 
2277.73/333.79	o 17812 
2278.52/333.93	o 17801 
2442.55/354.57	o 17791 
2477.87/359.04	o 17790 
2488.73/360.49	o 17789 
2908.58/413.18	o 17689 
2953.02/418.82	o 17679 
3099.73/437.46	o 17589 
3120.22/440.92	o 17519 
3127.13/442.03	o 17518 
3134.69/443.44	o 17420 
3135.06/443.51	o 17419 
3135.43/443.65	o 17410 
3138.26/444.06	o 17409 
3139.58/444.25	o 17408 
3149.34/445.54	o 17400 
4573.01/624.08	o 17392 
4587.63/626.00	o 17382 
4666.65/635.95	o 17363 
4666.65/635.99	o 17362 
4670.80/636.61	o 17326 
4676.12/638.06	o 17323 
4730.60/645.26	o 17322 
5176.15/701.36	o 17321 
5183.21/702.44	o 17314 
5194.01/704.08	o 17304 
5228.06/708.44	o 16787 
5252.43/712.14	o 16688 
5269.20/714.37	o 16678 
5672.70/765.01	o 16677 
5804.75/781.60	o 16578 
5805.53/781.73	o 16577 
5829.66/785.53	o 16567 
6005.64/808.13	o 16493 
6137.44/824.74	o 16402 
6478.85/867.66	o 15402 
6490.42/869.14	o 15147 
6577.81/880.48	o 14401 
6588.40/881.88	o 14056 
6663.25/891.40	o 13944 
7160.79/954.52	o 13866 
7219.94/962.80	o 13865 
8933.68/1177.94	o 13816 
8933.68/1177.99	o 13806 
8935.05/1179.01	o 13805 
8935.05/1179.08	o 13795 
8936.59/1180.13	o 13786 
9260.08/1220.73	o 12996 
9423.91/1241.45	o 12995 
9429.10/1242.53	o 12994 
9868.22/1297.64	o 12822 
13415.80/1742.43	o 12812 
15156.90/1961.31	o 12801 
15157.72/1961.63	o 12800 
15164.86/1962.83	o 12701 
15314.16/1981.94	o 12700 
15314.64/1982.09	o 12690 
15316.81/1983.14	o 12689 
19222.70/2473.22	o 12346 
19595.18/2520.07	s SATISFIABLE
19595.18/2520.07	v <instantiation>
19595.18/2520.07	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] za1[0] za1[1] za1[2] za1[3] za1[4] za1[5] za1[6] za1[7] za1[8] za1[9] za1[10] za1[11] za1[12] za1[13] za1[14] za1[15] za1[16] za1[17] za1[18] za1[19] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za2[0] za2[1] za2[2] za2[3] za2[4] za2[5] za2[6] za2[7] za2[8] za2[9] za2[10] za2[11] za2[12] za2[13] za2[14] za2[15] za2[16] za2[17] za2[18] za2[19] za2[20] za2[21] za2[22] za2[23] za2[24] za2[25] za2[26] za2[27] za2[28] za2[29] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za3[0] za3[1] za3[2] za3[3] za3[4] za3[5] za3[6] za3[7] za3[8] za3[9] za3[10] za3[11] za3[12] za3[13] za3[14] za3[15] za3[16] za3[17] za3[18] za3[19] za3[20] za3[21] za3[22] za3[23] za3[24] za3[25] za3[26] za3[27] za3[28] za3[29] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[270] za3[271] za3[272] za3[273] za4[0] za4[1] za4[2] za4[3] za4[4] za4[5] za4[6] za4[7] za4[8] za4[9] za4[10] za4[11] za4[12] za4[13] za4[14] za4[15] za4[16] za4[17] za4[18] za4[19] za4[20] za4[21] za4[22] za4[23] za4[24] za4[25] za4[26] za4[27] za4[28] za4[29] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] </list>
19595.18/2520.07	v 	<values>58 296 792 554 72 310 240 478 240 478 554 792 750 512 44 282 16 254 16 254 540 778 478 240 254 16 310 72 526 764 16 254 736 498 722 484 792 554 750 512 694 456 680 442 114 352 296 58 498 736 30 268 708 470 16 254 268 30 268 30 694 456 142 380 778 540 72 310 764 526 694 456 240 478 30 268 694 456 16 254 750 512 16 254 554 792 16 254 142 380 156 394 792 554 72 310 240 478 778 540 750 512 268 30 100 338 16 254 792 554 792 554 254 16 16 254 268 30 254 16 408 170 170 408 268 30 722 484 526 764 114 352 100 338 142 380 554 792 310 72 142 380 310 72 792 554 792 554 792 554 736 498 254 16 114 352 394 156 722 484 128 366 442 680 30 268 722 484 58 296 72 310 792 554 694 456 470 708 414 652 792 554 156 394 736 498 16 254 128 366 792 554 240 478 72 310 156 394 554 792 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 1000 0 1000 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 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 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 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 100 100 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 100 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 100 0 100 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 100 0 100 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 10 10 10 0 0 0 10 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 10 0 10 0 0 0 10 0 0 0 10 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 10 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 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 0 0 0 10 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 10 0 0 0 10 0 0 10 0 0 0 10 10 0 0 0 0 0 10 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 10 10 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 </values>
19595.18/2520.07	v </instantiation>
19595.18/2520.07	c Unexpected resolution interruption!

Verifier Data 

OK	12346

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407151-1569363571/watcher-4407151-1569363571 -o /var/tmp/evaluation-result-4407151-1569363571/solver-4407151-1569363571 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node119-1569357949-5907 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1214974766 HOME/instance-4407151-1569363571.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
solver pid=8240, runsolver pid=8237
Starting watchdog thread
Current StackSize limit: 8192 KiB


[startup+0.100111 s]*
/proc/loadavg: 5.01 3.79 5.20 3/211 8261
/proc/meminfo: memFree=25668820/32770624 swapFree=66953500/67108860
[pid=8240] ppid=8237 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/8240/stat : 8240 (xcsp3-exec) S 8237 8240 5880 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512271896 115843072 362 33554432000 4194304 5098028 140730391465152 140730391463256 140172800393852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22282240 140730391470929 140730391471189 140730391471189 140730391474118 0
/proc/8240/statm: 28282 362 304 221 0 87 0
[pid=8242] ppid=8240 vsize=28227396 memory=29980 CPUtime=0.12 cores=0-7
/proc/8242/stat : 8242 (java) S 8240 8240 5880 0 -1 1077944320 5964 0 0 0 11 1 0 0 20 0 20 0 512271896 28904853504 7495 33554432000 4194304 4196468 140730380654880 140730380637424 140422662590199 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
/proc/8242/statm: 7056849 7495 3119 1 0 7019032 0
[pid=8242/tid=8243] ppid=8240 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/8242/task/8243/stat : 8243 (java) R 8240 8240 5880 0 -1 4202560 3887 0 0 0 8 1 0 0 20 0 20 0 512271897 28904853504 7495 33554432000 4194304 4196468 140730380654880 140422666823472 140422646633829 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8244] ppid=8240 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/8242/task/8244/stat : 8244 (java) S 8240 8240 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512271898 28904853504 7495 33554432000 4194304 4196468 140730380654880 140422615210896 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8245] ppid=8240 vsize=28227396 memory=139760085841536 CPUtime=0 cores=0-7
/proc/8242/task/8245/stat : 8245 (java) S 8240 8240 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512271898 28904853504 7495 33554432000 4194304 4196468 140730380654880 140422212868880 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8246] ppid=8240 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8242/task/8246/stat : 8246 (java) S 8240 8240 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512271898 28904853504 7495 33554432000 4194304 4196468 140730380654880 140422211816592 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8247] ppid=8240 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8242/task/8247/stat : 8247 (java) S 8240 8240 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512271898 28904853504 7495 33554432000 4194304 4196468 140730380654880 140422210763792 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8248] ppid=8240 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8242/task/8248/stat : 8248 (java) S 8240 8240 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512271898 28904853504 7495 33554432000 4194304 4196468 140730380654880 140422209710480 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8249] ppid=8240 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/8242/task/8249/stat : 8249 (java) S 8240 8240 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512271898 28904853504 7495 33554432000 4194304 4196468 140730380654880 140422208657680 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8250] ppid=8240 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8242/task/8250/stat : 8250 (java) S 8240 8240 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512271898 28904853504 7495 33554432000 4194304 4196468 140730380654880 140422207605392 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8251] ppid=8240 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8242/task/8251/stat : 8251 (java) S 8240 8240 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512271898 28904853504 7495 33554432000 4194304 4196468 140730380654880 140422206552592 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8252] ppid=8240 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8242/task/8252/stat : 8252 (java) S 8240 8240 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512271899 28904853504 7495 33554432000 4194304 4196468 140730380654880 140422047320688 140422662601346 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8253] ppid=8240 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8242/task/8253/stat : 8253 (java) S 8240 8240 5880 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512271899 28904853504 7561 33554432000 4194304 4196468 140730380654880 140422046266656 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8254] ppid=8240 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8242/task/8254/stat : 8254 (java) S 8240 8240 5880 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512271900 28904853504 7561 33554432000 4194304 4196468 140730380654880 140422045214320 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8255] ppid=8240 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8242/task/8255/stat : 8255 (java) S 8240 8240 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512271902 28904853504 7561 33554432000 4194304 4196468 140730380654880 140422044162640 140422662608795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8256] ppid=8240 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8242/task/8256/stat : 8256 (java) S 8240 8240 5880 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 20 0 512271902 28904853504 7561 33554432000 4194304 4196468 140730380654880 140422043109488 140422662601346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8257] ppid=8240 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8242/task/8257/stat : 8257 (java) S 8240 8240 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512271902 28904853504 7561 33554432000 4194304 4196468 140730380654880 140422042056688 140422662601346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8258] ppid=8240 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8242/task/8258/stat : 8258 (java) R 8240 8240 5880 0 -1 4202560 144 0 0 0 0 0 0 0 20 0 20 0 512271902 28904853504 7561 33554432000 4194304 4196468 140730380654880 140422041004400 140422646025937 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8259] ppid=8240 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/8242/task/8259/stat : 8259 (java) R 8240 8240 5880 0 -1 4202560 350 0 0 0 2 0 0 0 20 0 20 0 512271902 28904853504 7561 33554432000 4194304 4196468 140730380654880 140422039951600 140422662602134 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8260] ppid=8240 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8242/task/8260/stat : 8260 (java) S 8240 8240 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512271902 28904853504 7561 33554432000 4194304 4196468 140730380654880 140422038899552 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8261] ppid=8240 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/8242/task/8261/stat : 8261 (java) S 8240 8240 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512271903 28904853504 7561 33554432000 4194304 4196468 140730380654880 140422037846832 140422662601346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31428 KiB

[startup+0.210647 s]*
/proc/loadavg: 5.01 3.79 5.20 3/211 8261
/proc/meminfo: memFree=25655928/32770624 swapFree=66953500/67108860
[pid=8240] ppid=8237 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/8240/stat : 8240 (xcsp3-exec) S 8237 8240 5880 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512271896 115843072 362 33554432000 4194304 5098028 140730391465152 140730391463256 140172800393852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22282240 140730391470929 140730391471189 140730391471189 140730391474118 0
/proc/8240/statm: 28282 362 304 221 0 87 0
[pid=8242] ppid=8240 vsize=28227396 memory=41272 CPUtime=0.33 cores=0-7
/proc/8242/stat : 8242 (java) S 8240 8240 5880 0 -1 1077944320 9550 0 0 0 30 3 0 0 20 0 20 0 512271896 28904853504 10318 33554432000 4194304 4196468 140730380654880 140730380637424 140422662590199 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
/proc/8242/statm: 7056849 10318 3297 1 0 7019032 0
[pid=8242/tid=8243] ppid=8240 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/8242/task/8243/stat : 8243 (java) R 8240 8240 5880 0 -1 4202560 6697 0 0 0 17 2 0 0 20 0 20 0 512271897 28904853504 10318 33554432000 4194304 4196468 140730380654880 140422666821608 140422662612125 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8244] ppid=8240 vsize=28227396 memory=342 CPUtime=0 cores=0-7
/proc/8242/task/8244/stat : 8244 (java) S 8240 8240 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512271898 28904853504 10318 33554432000 4194304 4196468 140730380654880 140422615210896 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8245] ppid=8240 vsize=28227396 memory=288370136237553280 CPUtime=0 cores=0-7
/proc/8242/task/8245/stat : 8245 (java) S 8240 8240 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512271898 28904853504 10318 33554432000 4194304 4196468 140730380654880 140422212868880 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8246] ppid=8240 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/8242/task/8246/stat : 8246 (java) S 8240 8240 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512271898 28904853504 10318 33554432000 4194304 4196468 140730380654880 140422211816592 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8247] ppid=8240 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8242/task/8247/stat : 8247 (java) S 8240 8240 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512271898 28904853504 10318 33554432000 4194304 4196468 140730380654880 140422210763792 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8248] ppid=8240 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8242/task/8248/stat : 8248 (java) S 8240 8240 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512271898 28904853504 10318 33554432000 4194304 4196468 140730380654880 140422209710480 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8249] ppid=8240 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/8242/task/8249/stat : 8249 (java) S 8240 8240 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512271898 28904853504 10318 33554432000 4194304 4196468 140730380654880 140422208657680 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8250] ppid=8240 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8242/task/8250/stat : 8250 (java) S 8240 8240 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512271898 28904853504 10318 33554432000 4194304 4196468 140730380654880 140422207605392 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8251] ppid=8240 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8242/task/8251/stat : 8251 (java) S 8240 8240 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512271898 28904853504 10318 33554432000 4194304 4196468 140730380654880 140422206552592 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8252] ppid=8240 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8242/task/8252/stat : 8252 (java) S 8240 8240 5880 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512271899 28904853504 10318 33554432000 4194304 4196468 140730380654880 140422047320688 140422662601346 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8253] ppid=8240 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8242/task/8253/stat : 8253 (java) S 8240 8240 5880 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512271899 28904853504 10318 33554432000 4194304 4196468 140730380654880 140422046266656 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8254] ppid=8240 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8242/task/8254/stat : 8254 (java) S 8240 8240 5880 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512271900 28904853504 10318 33554432000 4194304 4196468 140730380654880 140422045214320 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8255] ppid=8240 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8242/task/8255/stat : 8255 (java) S 8240 8240 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512271902 28904853504 10318 33554432000 4194304 4196468 140730380654880 140422044162640 140422662608795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8256] ppid=8240 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/8242/task/8256/stat : 8256 (java) S 8240 8240 5880 0 -1 1077944384 390 0 0 0 1 0 0 0 20 0 20 0 512271902 28904853504 10318 33554432000 4194304 4196468 140730380654880 140422043109488 140422662601346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8257] ppid=8240 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/8242/task/8257/stat : 8257 (java) S 8240 8240 5880 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 20 0 512271902 28904853504 10318 33554432000 4194304 4196468 140730380654880 140422042056688 140422662601346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8258] ppid=8240 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/8242/task/8258/stat : 8258 (java) R 8240 8240 5880 0 -1 1077944384 357 0 0 0 1 0 0 0 20 0 20 0 512271902 28904853504 10318 33554432000 4194304 4196468 140730380654880 140422041004400 140422662601346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8259] ppid=8240 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/8242/task/8259/stat : 8259 (java) S 8240 8240 5880 0 -1 1077944384 741 0 0 0 8 0 0 0 20 0 20 0 512271902 28904853504 10318 33554432000 4194304 4196468 140730380654880 140422039951600 140422662601346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8260] ppid=8240 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8242/task/8260/stat : 8260 (java) S 8240 8240 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512271902 28904853504 10318 33554432000 4194304 4196468 140730380654880 140422038899552 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8261] ppid=8240 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/8242/task/8261/stat : 8261 (java) S 8240 8240 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512271903 28904853504 10318 33554432000 4194304 4196468 140730380654880 140422037846832 140422662601346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42720 KiB

[startup+0.311603 s]*
/proc/loadavg: 5.01 3.79 5.20 3/211 8261
/proc/meminfo: memFree=25648532/32770624 swapFree=66953500/67108860
[pid=8240] ppid=8237 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/8240/stat : 8240 (xcsp3-exec) S 8237 8240 5880 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512271896 115843072 362 33554432000 4194304 5098028 140730391465152 140730391463256 140172800393852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22282240 140730391470929 140730391471189 140730391471189 140730391474118 0
/proc/8240/statm: 28282 362 304 221 0 87 0
[pid=8242] ppid=8240 vsize=28231652 memory=49988 CPUtime=0.52 cores=0-7
/proc/8242/stat : 8242 (java) S 8240 8240 5880 0 -1 1077944320 10911 0 0 0 48 4 0 0 20 0 20 0 512271896 28909211648 12497 33554432000 4194304 4196468 140730380654880 140730380637424 140422662590199 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
/proc/8242/statm: 7057913 12497 3334 1 0 7019032 0
[pid=8242/tid=8243] ppid=8240 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/8242/task/8243/stat : 8243 (java) R 8240 8240 5880 0 -1 4202560 7877 0 0 0 26 3 0 0 20 0 20 0 512271897 28909211648 12568 33554432000 4194304 4196468 140730380654880 140422666821312 140422646670686 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8244] ppid=8240 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8242/task/8244/stat : 8244 (java) S 8240 8240 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512271898 28909211648 12568 33554432000 4194304 4196468 140730380654880 140422615210896 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8245] ppid=8240 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8242/task/8245/stat : 8245 (java) S 8240 8240 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512271898 28909211648 12568 33554432000 4194304 4196468 140730380654880 140422212868880 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8246] ppid=8240 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8242/task/8246/stat : 8246 (java) S 8240 8240 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512271898 28909211648 12568 33554432000 4194304 4196468 140730380654880 140422211816592 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8247] ppid=8240 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8242/task/8247/stat : 8247 (java) S 8240 8240 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512271898 28909211648 12568 33554432000 4194304 4196468 140730380654880 140422210763792 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8248] ppid=8240 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8242/task/8248/stat : 8248 (java) S 8240 8240 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512271898 28909211648 12568 33554432000 4194304 4196468 140730380654880 140422209710480 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8249] ppid=8240 vsize=28231652 memory=139759980735151 CPUtime=0 cores=0-7
/proc/8242/task/8249/stat : 8249 (java) S 8240 8240 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512271898 28909211648 12568 33554432000 4194304 4196468 140730380654880 140422208657680 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8250] ppid=8240 vsize=28231652 memory=139759980737456 CPUtime=0 cores=0-7
/proc/8242/task/8250/stat : 8250 (java) S 8240 8240 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512271898 28909211648 12568 33554432000 4194304 4196468 140730380654880 140422207605392 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8251] ppid=8240 vsize=28231652 memory=139759980739760 CPUtime=0 cores=0-7
/proc/8242/task/8251/stat : 8251 (java) S 8240 8240 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512271898 28909211648 12568 33554432000 4194304 4196468 140730380654880 140422206552592 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8252] ppid=8240 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8242/task/8252/stat : 8252 (java) S 8240 8240 5880 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512271899 28909211648 12568 33554432000 4194304 4196468 140730380654880 140422047320688 140422662601346 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8253] ppid=8240 vsize=28231652 memory=279519961493392 CPUtime=0 cores=0-7
/proc/8242/task/8253/stat : 8253 (java) S 8240 8240 5880 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512271899 28909211648 12568 33554432000 4194304 4196468 140730380654880 140422046266656 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8254] ppid=8240 vsize=28231652 memory=279519961491088 CPUtime=0 cores=0-7
/proc/8242/task/8254/stat : 8254 (java) S 8240 8240 5880 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512271900 28909211648 12568 33554432000 4194304 4196468 140730380654880 140422045214320 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8255] ppid=8240 vsize=28231652 memory=279519961498000 CPUtime=0 cores=0-7
/proc/8242/task/8255/stat : 8255 (java) S 8240 8240 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512271902 28909211648 12568 33554432000 4194304 4196468 140730380654880 140422044162640 140422662608795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8256] ppid=8240 vsize=28231652 memory=279519961439280 CPUtime=0.03 cores=0-7
/proc/8242/task/8256/stat : 8256 (java) R 8240 8240 5880 0 -1 4202560 482 0 0 0 3 0 0 0 20 0 20 0 512271902 28909211648 12568 33554432000 4194304 4196468 140730380654880 140422043100944 140422642422397 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8257] ppid=8240 vsize=28231652 memory=279519961511824 CPUtime=0.02 cores=0-7
/proc/8242/task/8257/stat : 8257 (java) S 8240 8240 5880 0 -1 1077944384 59 0 0 0 2 0 0 0 20 0 20 0 512271902 28909211648 12568 33554432000 4194304 4196468 140730380654880 140422042056688 140422662601346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8258] ppid=8240 vsize=28231652 memory=279519961518736 CPUtime=0.02 cores=0-7
/proc/8242/task/8258/stat : 8258 (java) S 8240 8240 5880 0 -1 1077944384 373 0 0 0 2 0 0 0 20 0 20 0 512271902 28909211648 12568 33554432000 4194304 4196468 140730380654880 140422041004400 140422662601346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8259] ppid=8240 vsize=28231652 memory=279519961516432 CPUtime=0.12 cores=0-7
/proc/8242/task/8259/stat : 8259 (java) S 8240 8240 5880 0 -1 1077944384 823 0 0 0 12 0 0 0 20 0 20 0 512271902 28909211648 12568 33554432000 4194304 4196468 140730380654880 140422039951600 140422662601346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8260] ppid=8240 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8242/task/8260/stat : 8260 (java) S 8240 8240 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512271902 28909211648 12568 33554432000 4194304 4196468 140730380654880 140422038899552 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8261] ppid=8240 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/8242/task/8261/stat : 8261 (java) S 8240 8240 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512271903 28909211648 12568 33554432000 4194304 4196468 140730380654880 140422037846832 140422662601346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51436 KiB

[startup+0.700944 s]
/proc/loadavg: 4.77 3.76 5.18 6/211 8261
/proc/meminfo: memFree=25629940/32770624 swapFree=66953500/67108860
[pid=8240] ppid=8237 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/8240/stat : 8240 (xcsp3-exec) S 8237 8240 5880 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512271896 115843072 362 33554432000 4194304 5098028 140730391465152 140730391463256 140172800393852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22282240 140730391470929 140730391471189 140730391471189 140730391474118 0
/proc/8240/statm: 28282 362 304 221 0 87 0
[pid=8242] ppid=8240 vsize=28233776 memory=92504 CPUtime=1.85 cores=0-7
/proc/8242/stat : 8242 (java) S 8240 8240 5880 0 -1 1077944320 15870 0 0 0 179 6 0 0 20 0 20 0 512271896 28911386624 23126 33554432000 4194304 4196468 140730380654880 140730380637424 140422662590199 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
/proc/8242/statm: 7058444 23126 3456 1 0 7019544 0
[pid=8242/tid=8243] ppid=8240 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/8242/task/8243/stat : 8243 (java) R 8240 8240 5880 0 -1 4202560 9218 0 0 0 64 4 0 0 20 0 20 0 512271897 28911386624 23126 33554432000 4194304 4196468 140730380654880 140422666809504 140422294923014 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8244] ppid=8240 vsize=28233776 memory=139759980946288 CPUtime=0 cores=0-7
/proc/8242/task/8244/stat : 8244 (java) S 8240 8240 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512271898 28911386624 23126 33554432000 4194304 4196468 140730380654880 140422615210896 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8245] ppid=8240 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/8242/task/8245/stat : 8245 (java) S 8240 8240 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512271898 28911386624 23126 33554432000 4194304 4196468 140730380654880 140422212868880 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8246] ppid=8240 vsize=28233776 memory=1276 CPUtime=0 cores=0-7
/proc/8242/task/8246/stat : 8246 (java) S 8240 8240 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512271898 28911386624 23126 33554432000 4194304 4196468 140730380654880 140422211816592 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0

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

[pid=8242/tid=16788] ppid=8240 vsize=28769364 memory=1448 CPUtime=457.97 cores=0-7
/proc/8242/task/16788/stat : 16788 (java) R 8240 8240 5880 0 -1 4202560 16671 0 0 0 45791 6 0 0 20 0 28 0 512470211 29459828736 868001 33554432000 4194304 4196468 140730380654880 140422026531448 140422304889927 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
Current children cumulated CPU time: 18977.3 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 3473452 KiB

[startup+2502.3 s]
/proc/loadavg: 8.18 8.27 8.03 9/220 16836
/proc/meminfo: memFree=22236928/32770624 swapFree=66953500/67108860
[pid=8240] ppid=8237 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/8240/stat : 8240 (xcsp3-exec) S 8237 8240 5880 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512271896 115843072 362 33554432000 4194304 5098028 140730391465152 140730391463256 140172800393852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22282240 140730391470929 140730391471189 140730391471189 140730391474118 0
/proc/8240/statm: 28282 362 304 221 0 87 0
[pid=8242] ppid=8240 vsize=28769364 memory=3448808 CPUtime=19454.1 cores=0-7
/proc/8242/stat : 8242 (java) S 8240 8240 5880 0 -1 1077944320 1500374 0 0 0 1943952 1462 0 0 20 0 28 0 512271896 29459828736 862202 33554432000 4194304 4196468 140730380654880 140730380637424 140422662590199 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
/proc/8242/statm: 7192341 862202 3565 1 0 7153441 0
[pid=8242/tid=8243] ppid=8240 vsize=28769364 memory=3458008 CPUtime=8.22 cores=0-7
/proc/8242/task/8243/stat : 8243 (java) S 8240 8240 5880 0 -1 1077944384 33685 0 0 0 794 28 0 0 20 0 28 0 512271897 29459828736 862202 33554432000 4194304 4196468 140730380654880 140422666830912 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8244] ppid=8240 vsize=28769364 memory=3641296 CPUtime=1.93 cores=0-7
/proc/8242/task/8244/stat : 8244 (java) S 8240 8240 5880 0 -1 1077944384 10380 0 0 0 149 44 0 0 20 0 28 0 512271898 29459828736 862202 33554432000 4194304 4196468 140730380654880 140422615210896 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8245] ppid=8240 vsize=28769364 memory=3642324 CPUtime=1.92 cores=0-7
/proc/8242/task/8245/stat : 8245 (java) S 8240 8240 5880 0 -1 1077944384 10092 0 0 0 150 42 0 0 20 0 28 0 512271898 29459828736 862202 33554432000 4194304 4196468 140730380654880 140422212868880 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8246] ppid=8240 vsize=28769364 memory=3665288 CPUtime=1.93 cores=0-7
/proc/8242/task/8246/stat : 8246 (java) S 8240 8240 5880 0 -1 1077944384 13330 0 0 0 150 43 0 0 20 0 28 0 512271898 29459828736 862202 33554432000 4194304 4196468 140730380654880 140422211816592 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8247] ppid=8240 vsize=28769364 memory=3675536 CPUtime=1.9 cores=0-7
/proc/8242/task/8247/stat : 8247 (java) S 8240 8240 5880 0 -1 1077944384 11937 0 0 0 147 43 0 0 20 0 28 0 512271898 29459828736 862202 33554432000 4194304 4196468 140730380654880 140422210763792 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8248] ppid=8240 vsize=28769364 memory=1448 CPUtime=1.93 cores=0-7
/proc/8242/task/8248/stat : 8248 (java) S 8240 8240 5880 0 -1 1077944384 15020 0 0 0 149 44 0 0 20 0 28 0 512271898 29459828736 862202 33554432000 4194304 4196468 140730380654880 140422209710480 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8249] ppid=8240 vsize=28769364 memory=3688692 CPUtime=1.91 cores=0-7
/proc/8242/task/8249/stat : 8249 (java) S 8240 8240 5880 0 -1 1077944384 8929 0 0 0 146 45 0 0 20 0 28 0 512271898 29459828736 862202 33554432000 4194304 4196468 140730380654880 140422208657680 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8250] ppid=8240 vsize=28769364 memory=3745264 CPUtime=1.91 cores=0-7
/proc/8242/task/8250/stat : 8250 (java) S 8240 8240 5880 0 -1 1077944384 10733 0 0 0 147 44 0 0 20 0 28 0 512271898 29459828736 862202 33554432000 4194304 4196468 140730380654880 140422207605392 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8251] ppid=8240 vsize=28769364 memory=3884732 CPUtime=1.89 cores=0-7
/proc/8242/task/8251/stat : 8251 (java) S 8240 8240 5880 0 -1 1077944384 13279 0 0 0 147 42 0 0 20 0 28 0 512271898 29459828736 862202 33554432000 4194304 4196468 140730380654880 140422206552592 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8252] ppid=8240 vsize=28769364 memory=3620264 CPUtime=0.38 cores=0-7
/proc/8242/task/8252/stat : 8252 (java) S 8240 8240 5880 0 -1 1077944384 30176 0 0 0 28 10 0 0 20 0 28 0 512271899 29459828736 862202 33554432000 4194304 4196468 140730380654880 140422047320688 140422662601346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8253] ppid=8240 vsize=28769364 memory=3619236 CPUtime=0 cores=0-7
/proc/8242/task/8253/stat : 8253 (java) S 8240 8240 5880 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 512271899 29459828736 862202 33554432000 4194304 4196468 140730380654880 140422046266720 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8254] ppid=8240 vsize=28769364 memory=3519540 CPUtime=0 cores=0-7
/proc/8242/task/8254/stat : 8254 (java) S 8240 8240 5880 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 512271900 29459828736 862202 33554432000 4194304 4196468 140730380654880 140422045214336 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8255] ppid=8240 vsize=28769364 memory=3490944 CPUtime=0 cores=0-7
/proc/8242/task/8255/stat : 8255 (java) S 8240 8240 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512271902 29459828736 862202 33554432000 4194304 4196468 140730380654880 140422044162640 140422662608795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8256] ppid=8240 vsize=28769364 memory=3452388 CPUtime=4.35 cores=0-7
/proc/8242/task/8256/stat : 8256 (java) S 8240 8240 5880 0 -1 1077944384 33519 0 0 0 427 8 0 0 20 0 28 0 512271902 29459828736 862202 33554432000 4194304 4196468 140730380654880 140422043109488 140422662601346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8257] ppid=8240 vsize=28769364 memory=3449320 CPUtime=4.16 cores=0-7
/proc/8242/task/8257/stat : 8257 (java) S 8240 8240 5880 0 -1 1077944384 36454 0 0 0 410 6 0 0 20 0 28 0 512271902 29459828736 862202 33554432000 4194304 4196468 140730380654880 140422042056688 140422662601346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8258] ppid=8240 vsize=28769364 memory=1448 CPUtime=3.99 cores=0-7
/proc/8242/task/8258/stat : 8258 (java) S 8240 8240 5880 0 -1 1077944384 38139 0 0 0 393 6 0 0 20 0 28 0 512271902 29459828736 862202 33554432000 4194304 4196468 140730380654880 140422041004400 140422662601346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8259] ppid=8240 vsize=28769364 memory=1448 CPUtime=1.3 cores=0-7
/proc/8242/task/8259/stat : 8259 (java) S 8240 8240 5880 0 -1 1077944384 34452 0 0 0 125 5 0 0 20 0 28 0 512271902 29459828736 862202 33554432000 4194304 4196468 140730380654880 140422039951600 140422662601346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8260] ppid=8240 vsize=28769364 memory=3450860 CPUtime=0 cores=0-7
/proc/8242/task/8260/stat : 8260 (java) S 8240 8240 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512271902 29459828736 862202 33554432000 4194304 4196468 140730380654880 140422038899552 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8261] ppid=8240 vsize=28769364 memory=1548 CPUtime=0.98 cores=0-7
/proc/8242/task/8261/stat : 8261 (java) S 8240 8240 5880 0 -1 1077944384 12938 0 0 0 48 50 0 0 20 0 28 0 512271903 29459828736 862202 33554432000 4194304 4196468 140730380654880 140422037846832 140422662601346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=16829] ppid=8240 vsize=28769364 memory=1728 CPUtime=28.91 cores=0-7
/proc/8242/task/16829/stat : 16829 (java) R 8240 8240 5880 0 -1 4202560 5146 0 0 0 2891 0 0 0 20 0 28 0 512519219 29459828736 862202 33554432000 4194304 4196468 140730380654880 140422026533616 140422304839120 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=16830] ppid=8240 vsize=28769364 memory=1448 CPUtime=28.89 cores=0-7
/proc/8242/task/16830/stat : 16830 (java) R 8240 8240 5880 0 -1 4202560 1421 0 0 0 2884 5 0 0 20 0 28 0 512519219 29459828736 862202 33554432000 4194304 4196468 140730380654880 140422019163152 140422304839481 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=16831] ppid=8240 vsize=28769364 memory=1448 CPUtime=28.78 cores=0-7
/proc/8242/task/16831/stat : 16831 (java) R 8240 8240 5880 0 -1 4202560 1285 0 0 0 2877 1 0 0 20 0 28 0 512519219 29459828736 862202 33554432000 4194304 4196468 140730380654880 140422023373712 140422305017280 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=16832] ppid=8240 vsize=28769364 memory=1448 CPUtime=28.85 cores=0-7
/proc/8242/task/16832/stat : 16832 (java) R 8240 8240 5880 0 -1 4202560 2130 0 0 0 2883 2 0 0 20 0 28 0 512519219 29459828736 862202 33554432000 4194304 4196468 140730380654880 140422018109848 140422304078836 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=16833] ppid=8240 vsize=28769364 memory=3452388 CPUtime=28.78 cores=0-7
/proc/8242/task/16833/stat : 16833 (java) R 8240 8240 5880 0 -1 4202560 2129 0 0 0 2877 1 0 0 20 0 28 0 512519219 29459828736 862202 33554432000 4194304 4196468 140730380654880 140422022320192 140422305017368 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=16834] ppid=8240 vsize=28769364 memory=988 CPUtime=28.91 cores=0-7
/proc/8242/task/16834/stat : 16834 (java) R 8240 8240 5880 0 -1 4202560 1883 0 0 0 2889 2 0 0 20 0 28 0 512519219 29459828736 862202 33554432000 4194304 4196468 140730380654880 140422021267912 140422304839240 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=16835] ppid=8240 vsize=28769364 memory=8112282956445269571 CPUtime=28.81 cores=0-7
/proc/8242/task/16835/stat : 16835 (java) R 8240 8240 5880 0 -1 4202560 3776 0 0 0 2881 0 0 0 20 0 28 0 512519219 29459828736 862202 33554432000 4194304 4196468 140730380654880 140422024425664 140422298374926 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=16836] ppid=8240 vsize=28769364 memory=3454944 CPUtime=28.67 cores=0-7
/proc/8242/task/16836/stat : 16836 (java) R 8240 8240 5880 0 -1 4202560 1298 0 0 0 2864 3 0 0 20 0 28 0 512519219 29459828736 862202 33554432000 4194304 4196468 140730380654880 140422020215160 140422297315864 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
Current children cumulated CPU time: 19454.1 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 3450256 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.22 8.27 8.04 9/220 16838
/proc/meminfo: memFree=22247460/32770624 swapFree=66953500/67108860
[pid=8240] ppid=8237 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/8240/stat : 8240 (xcsp3-exec) S 8237 8240 5880 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512271896 115843072 362 33554432000 4194304 5098028 140730391465152 140730391463256 140172800393852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22282240 140730391470929 140730391471189 140730391471189 140730391474118 0
/proc/8240/statm: 28282 362 304 221 0 87 0
[pid=8242] ppid=8240 vsize=28769364 memory=3438628 CPUtime=19595.2 cores=0-7
/proc/8242/stat : 8242 (java) S 8240 8240 5880 0 -1 1077944320 1505696 0 0 0 1958055 1463 0 0 20 0 28 0 512271896 29459828736 859657 33554432000 4194304 4196468 140730380654880 140730380637424 140422662590199 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
/proc/8242/statm: 7192341 859657 3565 1 0 7153441 0
[pid=8242/tid=8243] ppid=8240 vsize=28769364 memory=1398722017469774279 CPUtime=8.22 cores=0-7
/proc/8242/task/8243/stat : 8243 (java) S 8240 8240 5880 0 -1 1077944384 33685 0 0 0 794 28 0 0 20 0 28 0 512271897 29459828736 859657 33554432000 4194304 4196468 140730380654880 140422666830912 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8244] ppid=8240 vsize=28769364 memory=4872558044660077418 CPUtime=1.98 cores=0-7
/proc/8242/task/8244/stat : 8244 (java) S 8240 8240 5880 0 -1 1077944384 10456 0 0 0 153 45 0 0 20 0 28 0 512271898 29459828736 859657 33554432000 4194304 4196468 140730380654880 140422615210896 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8245] ppid=8240 vsize=28769364 memory=1408 CPUtime=1.96 cores=0-7
/proc/8242/task/8245/stat : 8245 (java) S 8240 8240 5880 0 -1 1077944384 10661 0 0 0 154 42 0 0 20 0 28 0 512271898 29459828736 859657 33554432000 4194304 4196468 140730380654880 140422212868880 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8246] ppid=8240 vsize=28769364 memory=6208 CPUtime=1.98 cores=0-7
/proc/8242/task/8246/stat : 8246 (java) S 8240 8240 5880 0 -1 1077944384 13465 0 0 0 155 43 0 0 20 0 28 0 512271898 29459828736 859657 33554432000 4194304 4196468 140730380654880 140422211816592 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8247] ppid=8240 vsize=28769364 memory=1448 CPUtime=1.94 cores=0-7
/proc/8242/task/8247/stat : 8247 (java) S 8240 8240 5880 0 -1 1077944384 12071 0 0 0 151 43 0 0 20 0 28 0 512271898 29459828736 859657 33554432000 4194304 4196468 140730380654880 140422210763792 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8248] ppid=8240 vsize=28769364 memory=3442732 CPUtime=1.97 cores=0-7
/proc/8242/task/8248/stat : 8248 (java) S 8240 8240 5880 0 -1 1077944384 15532 0 0 0 153 44 0 0 20 0 28 0 512271898 29459828736 859657 33554432000 4194304 4196468 140730380654880 140422209710480 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8249] ppid=8240 vsize=28769364 memory=1652 CPUtime=1.95 cores=0-7
/proc/8242/task/8249/stat : 8249 (java) S 8240 8240 5880 0 -1 1077944384 9147 0 0 0 150 45 0 0 20 0 28 0 512271898 29459828736 859657 33554432000 4194304 4196468 140730380654880 140422208657680 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8250] ppid=8240 vsize=28769364 memory=8112282956445269571 CPUtime=1.95 cores=0-7
/proc/8242/task/8250/stat : 8250 (java) S 8240 8240 5880 0 -1 1077944384 10837 0 0 0 151 44 0 0 20 0 28 0 512271898 29459828736 859657 33554432000 4194304 4196468 140730380654880 140422207605392 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8251] ppid=8240 vsize=28769364 memory=1424 CPUtime=1.93 cores=0-7
/proc/8242/task/8251/stat : 8251 (java) S 8240 8240 5880 0 -1 1077944384 13653 0 0 0 151 42 0 0 20 0 28 0 512271898 29459828736 859657 33554432000 4194304 4196468 140730380654880 140422206552592 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8252] ppid=8240 vsize=28769364 memory=3640 CPUtime=0.4 cores=0-7
/proc/8242/task/8252/stat : 8252 (java) S 8240 8240 5880 0 -1 1077944384 30787 0 0 0 29 11 0 0 20 0 28 0 512271899 29459828736 859657 33554432000 4194304 4196468 140730380654880 140422047320688 140422662601346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8253] ppid=8240 vsize=28769364 memory=1548 CPUtime=0 cores=0-7
/proc/8242/task/8253/stat : 8253 (java) S 8240 8240 5880 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 512271899 29459828736 859657 33554432000 4194304 4196468 140730380654880 140422046266720 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8254] ppid=8240 vsize=28769364 memory=1448 CPUtime=0 cores=0-7
/proc/8242/task/8254/stat : 8254 (java) S 8240 8240 5880 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 512271900 29459828736 859657 33554432000 4194304 4196468 140730380654880 140422045214336 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8255] ppid=8240 vsize=28769364 memory=3442732 CPUtime=0 cores=0-7
/proc/8242/task/8255/stat : 8255 (java) S 8240 8240 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512271902 29459828736 859657 33554432000 4194304 4196468 140730380654880 140422044162640 140422662608795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8256] ppid=8240 vsize=28769364 memory=64880 CPUtime=4.35 cores=0-7
/proc/8242/task/8256/stat : 8256 (java) S 8240 8240 5880 0 -1 1077944384 33524 0 0 0 427 8 0 0 20 0 28 0 512271902 29459828736 859657 33554432000 4194304 4196468 140730380654880 140422043109488 140422662601346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8257] ppid=8240 vsize=28769364 memory=988 CPUtime=4.16 cores=0-7
/proc/8242/task/8257/stat : 8257 (java) S 8240 8240 5880 0 -1 1077944384 36459 0 0 0 410 6 0 0 20 0 28 0 512271902 29459828736 859657 33554432000 4194304 4196468 140730380654880 140422042056688 140422662601346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8258] ppid=8240 vsize=28769364 memory=2008 CPUtime=3.99 cores=0-7
/proc/8242/task/8258/stat : 8258 (java) S 8240 8240 5880 0 -1 1077944384 38150 0 0 0 393 6 0 0 20 0 28 0 512271902 29459828736 859657 33554432000 4194304 4196468 140730380654880 140422041004400 140422662601346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8259] ppid=8240 vsize=28769364 memory=1424 CPUtime=1.3 cores=0-7
/proc/8242/task/8259/stat : 8259 (java) S 8240 8240 5880 0 -1 1077944384 34458 0 0 0 125 5 0 0 20 0 28 0 512271902 29459828736 859657 33554432000 4194304 4196468 140730380654880 140422039951600 140422662601346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8260] ppid=8240 vsize=28769364 memory=3640 CPUtime=0 cores=0-7
/proc/8242/task/8260/stat : 8260 (java) S 8240 8240 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512271902 29459828736 859657 33554432000 4194304 4196468 140730380654880 140422038899552 140422662600405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=8261] ppid=8240 vsize=28769364 memory=1548 CPUtime=0.98 cores=0-7
/proc/8242/task/8261/stat : 8261 (java) S 8240 8240 5880 0 -1 1077944384 12980 0 0 0 48 50 0 0 20 0 28 0 512271903 29459828736 859657 33554432000 4194304 4196468 140730380654880 140422037846832 140422662601346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=16829] ppid=8240 vsize=28769364 memory=1448 CPUtime=46.55 cores=0-7
/proc/8242/task/16829/stat : 16829 (java) R 8240 8240 5880 0 -1 4202560 5548 0 0 0 4655 0 0 0 20 0 28 0 512519219 29459828736 859657 33554432000 4194304 4196468 140730380654880 140422026530440 140422298374935 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=16830] ppid=8240 vsize=28769364 memory=3439652 CPUtime=46.53 cores=0-7
/proc/8242/task/16830/stat : 16830 (java) R 8240 8240 5880 0 -1 4202560 1574 0 0 0 4648 5 0 0 20 0 28 0 512519219 29459828736 859657 33554432000 4194304 4196468 140730380654880 140422019163288 140422305017287 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=16831] ppid=8240 vsize=28769364 memory=2008 CPUtime=46.42 cores=0-7
/proc/8242/task/16831/stat : 16831 (java) R 8240 8240 5880 0 -1 4202560 1568 0 0 0 4641 1 0 0 20 0 28 0 512519219 29459828736 859657 33554432000 4194304 4196468 140730380654880 140422023373848 140422304839406 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=16832] ppid=8240 vsize=28769364 memory=1424 CPUtime=46.46 cores=0-7
/proc/8242/task/16832/stat : 16832 (java) R 8240 8240 5880 0 -1 4202560 2616 0 0 0 4644 2 0 0 20 0 28 0 512519219 29459828736 859657 33554432000 4194304 4196468 140730380654880 140422018109848 140422304838771 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=16833] ppid=8240 vsize=28769364 memory=3640 CPUtime=46.38 cores=0-7
/proc/8242/task/16833/stat : 16833 (java) R 8240 8240 5880 0 -1 4202560 2422 0 0 0 4637 1 0 0 20 0 28 0 512519219 29459828736 859657 33554432000 4194304 4196468 140730380654880 140422022323408 140422296532419 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=16834] ppid=8240 vsize=28769364 memory=1548 CPUtime=46.44 cores=0-7
/proc/8242/task/16834/stat : 16834 (java) R 8240 8240 5880 0 -1 4202560 2024 0 0 0 4642 2 0 0 20 0 28 0 512519219 29459828736 859657 33554432000 4194304 4196468 140730380654880 140422021268120 140422298374921 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=16835] ppid=8240 vsize=28769364 memory=1728 CPUtime=46.31 cores=0-7
/proc/8242/task/16835/stat : 16835 (java) R 8240 8240 5880 0 -1 4202560 4214 0 0 0 4631 0 0 0 20 0 28 0 512519219 29459828736 859657 33554432000 4194304 4196468 140730380654880 140422024425800 140422305017437 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
[pid=8242/tid=16836] ppid=8240 vsize=28769364 memory=8204 CPUtime=46.18 cores=0-7
/proc/8242/task/16836/stat : 16836 (java) R 8240 8240 5880 0 -1 4202560 1622 0 0 0 4615 3 0 0 20 0 28 0 512519219 29459828736 859657 33554432000 4194304 4196468 140730380654880 140422020215360 140422305017433 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21217280 140730380661718 140730380661894 140730380661894 140730380664783 0
Current children cumulated CPU time: 19595.2 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 3440076 KiB

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

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

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

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

Child status: 143
Real time (s): 2520.11
CPU time (s): 19595.8
CPU user time (s): 19581.2
CPU system time (s): 14.6566
CPU usage (%): 777.579
Max. virtual memory (cumulated for all children) (KiB): 28882492
Max. memory (cumulated for all children) (KiB): 4104456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19581.2
system time used= 14.6566
maximum resident set size= 4109712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1507394
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 143408
involuntary context switches= 216967


# summary of solver processes directly reported to runsolver:
#   pid: 8240,8242
#   total CPU time (s): 19595.8
#   total CPU user time (s): 19581.2
#   total CPU system time (s): 14.6566

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 26.4471 second user time and 24.7892 second system time

The end

Launcher Data 

Begin job on node119 at 2019-09-25 00:18:50
IDJOB=4407151
IDBENCH=141204
IDSOLVER=2871
FILE ID=node119/4407151-1569363571
RUNJOBID= node119-1569357949-5907
PBS_JOBID= 21705109
Free space on /var/tmp= 13512 MiB

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

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

MD5SUM BENCH= d0ab6aee5f30ff70d66f863e0e3556a1
RANDOM SEED=1214974766

node119.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.47
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.47
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.47
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.47
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:        25685876 kB
MemAvailable:   31798196 kB
Buffers:          145176 kB
Cached:          6064788 kB
SwapCached:        46736 kB
Active:          3084156 kB
Inactive:        3177584 kB
Active(anon):       3652 kB
Inactive(anon):   105196 kB
Active(file):    3080504 kB
Inactive(file):  3072388 kB
Unevictable:      107736 kB
Mlocked:          107736 kB
SwapTotal:      67108860 kB
SwapFree:       66953500 kB
Dirty:             26128 kB
Writeback:             0 kB
AnonPages:        114464 kB
Mapped:            57112 kB
Shmem:             48544 kB
Slab:             417056 kB
SReclaimable:     387888 kB
SUnreclaim:        29168 kB
KernelStack:        3744 kB
PageTables:         5744 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514708 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /var/tmp at the end= 13488 MiB
End job on node119 at 2019-09-25 01:00:50