Trace number 4400251

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-09-16 parallelSAT (TO)14482 1644.51 252.127

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400251-1568720375.xml"  -tl '2016s' -p 8
0.11/0.18	c Choco e747e1e
0.11/0.18	c [HOME/instance-4400251-1568720375.xml, -tl, 2016s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.29	c parse instance...
20.50/8.15	c solve instance...
26.42/9.03	o 148863 
26.42/9.08	o 147962 
27.77/9.23	o 147862 
27.77/9.24	o 147762 
27.77/9.26	o 147761 
27.77/9.27	o 146862 
28.23/9.30	o 145961 
28.88/9.55	o 145861 
28.88/9.56	o 145761 
28.88/9.58	o 145732 
28.88/9.59	o 145731 
29.36/9.74	o 145720 
29.36/9.75	o 145640 
29.36/9.77	o 145620 
29.81/9.97	o 144960 
31.34/11.23	o 144931 
31.34/11.25	o 144930 
31.34/11.28	o 144839 
31.51/11.31	o 144819 
31.51/11.32	o 144760 
31.51/11.34	o 144731 
31.51/11.35	o 144730 
31.51/11.36	o 144639 
31.51/11.38	o 144619 
31.81/11.41	o 144596 
31.81/11.43	o 144567 
32.43/11.54	o 144503 
32.43/11.57	o 144483 
32.89/11.64	o 144414 
32.89/11.67	o 144393 
32.89/11.68	o 144373 
33.10/11.70	o 144363 
33.10/11.72	o 144353 
33.10/11.75	o 144352 
33.10/11.76	o 144342 
33.10/11.79	o 143747 
33.49/11.80	o 143647 
33.49/11.81	o 143547 
33.49/11.82	o 143528 
33.49/11.83	o 143518 
33.49/11.85	o 143517 
33.49/11.85	o 143427 
33.49/11.86	o 143426 
34.02/11.92	o 143406 
34.02/11.94	o 143383 
34.02/11.95	o 143364 
34.02/11.97	o 143354 
34.44/12.04	o 143290 
34.44/12.05	o 143270 
34.44/12.06	o 143201 
34.91/12.17	o 143180 
34.91/12.17	o 143160 
34.91/12.19	o 143150 
34.91/12.21	o 143140 
35.40/12.23	o 143111 
35.40/12.24	o 143090 
35.40/12.24	o 143070 
35.40/12.30	o 143060 
35.65/12.30	o 143050 
35.65/12.32	o 142956 
35.65/12.34	o 142856 
35.65/12.34	o 142756 
35.65/12.39	o 142737 
35.65/12.39	o 142727 
35.94/12.41	o 142726 
35.94/12.41	o 142636 
35.94/12.43	o 142635 
35.94/12.45	o 142615 
35.94/12.47	o 142593 
35.94/12.47	o 142493 
35.94/12.48	o 142474 
35.94/12.49	o 142464 
36.21/12.51	o 142400 
36.21/12.52	o 142380 
36.21/12.54	o 142311 
36.21/12.58	o 142290 
36.21/12.58	o 142270 
36.49/12.60	o 142260 
36.49/12.62	o 142250 
36.49/12.63	o 142249 
36.49/12.69	o 142160 
37.07/12.86	o 141946 
38.44/14.10	o 141846 
38.44/14.11	o 141746 
38.59/14.12	o 141727 
38.59/14.14	o 141717 
38.59/14.15	o 141716 
39.06/14.29	o 141626 
39.77/14.32	o 141625 
39.77/14.32	o 141605 
39.77/14.34	o 141583 
39.95/14.47	o 141483 
40.08/14.50	o 141464 
40.08/14.51	o 141454 
40.08/14.54	o 141390 
40.08/14.55	o 141370 
40.30/14.60	o 141301 
40.30/14.63	o 141280 
40.30/14.64	o 141260 
40.30/14.65	o 141250 
40.30/14.67	o 141240 
40.54/14.70	o 140648 
40.54/14.71	o 140548 
40.54/14.77	o 140448 
40.54/14.78	o 140419 
41.02/14.92	o 140418 
41.02/14.94	o 140327 
41.02/14.97	o 140307 
41.41/15.03	o 139647 
41.41/15.04	o 139618 
41.41/15.08	o 139617 
41.41/15.09	o 139526 
41.86/15.12	o 139506 
41.86/15.14	o 139447 
41.86/15.15	o 139418 
41.86/15.18	o 139417 
42.05/15.21	o 139326 
42.05/15.23	o 139306 
42.05/15.24	o 139284 
42.05/15.29	o 139255 
42.34/15.32	o 139202 
42.34/15.33	o 139181 
42.34/15.34	o 139161 
42.34/15.35	o 139151 
42.34/15.37	o 139141 
42.34/15.38	o 139140 
42.34/15.39	o 139130 
42.34/15.39	o 139115 
42.60/15.41	o 139114 
42.60/15.43	o 139094 
42.60/15.44	o 138434 
42.87/15.51	o 138415 
42.87/15.53	o 138405 
42.87/15.56	o 138404 
42.87/15.57	o 138314 
42.87/15.58	o 138313 
43.16/15.61	o 138293 
43.16/15.62	o 138234 
43.16/15.64	o 138215 
43.16/15.65	o 138205 
43.16/15.66	o 138204 
43.16/15.68	o 138114 
43.47/15.72	o 138113 
43.47/15.73	o 138093 
43.47/15.75	o 138071 
43.47/15.76	o 138052 
43.47/15.77	o 137989 
43.47/15.80	o 137968 
43.75/15.82	o 137948 
43.75/15.83	o 137938 
43.75/15.84	o 137928 
43.95/15.95	o 137903 
43.95/15.98	o 137902 
43.95/15.99	o 137882 
44.17/16.05	o 137803 
44.17/16.07	o 137802 
44.17/16.08	o 137782 
44.17/16.10	o 137123 
44.39/16.11	o 137104 
44.39/16.11	o 137094 
44.39/16.12	o 137093 
44.39/16.14	o 137003 
44.39/16.16	o 137002 
44.39/16.17	o 136982 
44.39/16.18	o 136923 
44.39/16.20	o 136904 
44.61/16.23	o 136894 
44.61/16.24	o 136893 
44.61/16.25	o 136803 
44.61/16.26	o 136802 
44.61/16.27	o 136782 
44.61/16.29	o 136123 
44.89/16.31	o 136104 
44.89/16.32	o 136094 
44.89/16.34	o 136093 
44.89/16.36	o 136003 
44.89/16.37	o 136002 
44.89/16.39	o 135982 
45.14/16.40	o 135923 
45.28/16.51	o 135904 
45.28/16.52	o 135894 
45.28/16.54	o 135893 
45.28/16.55	o 135803 
45.28/16.56	o 135802 
45.28/16.58	o 135782 
45.55/16.60	o 135123 
45.55/16.61	o 135023 
45.55/16.63	o 134923 
45.55/16.64	o 134904 
45.55/16.66	o 134894 
45.76/16.70	o 134893 
45.76/16.71	o 134803 
45.76/16.73	o 134802 
45.76/16.76	o 134782 
45.76/16.78	o 134223 
45.76/16.79	o 134123 
45.76/16.80	o 134023 
46.03/16.82	o 134004 
46.03/16.83	o 133994 
46.03/16.87	o 133993 
46.03/16.90	o 133903 
46.24/16.91	o 133902 
46.24/16.92	o 133882 
46.24/16.93	o 133802 
46.24/16.94	o 133801 
46.24/16.95	o 133781 
46.24/16.98	o 133759 
46.24/16.99	o 133740 
46.24/17.00	o 133731 
46.59/17.06	o 133677 
46.59/17.07	o 133656 
46.59/17.07	o 133636 
46.59/17.08	o 133626 
46.59/17.09	o 133616 
46.82/17.12	o 133222 
46.82/17.14	o 133122 
46.82/17.17	o 133022 
46.82/17.19	o 133003 
47.05/17.23	o 132993 
47.05/17.25	o 132992 
47.05/17.27	o 132902 
47.05/17.28	o 132901 
47.24/17.30	o 132881 
47.24/17.31	o 132866 
47.24/17.33	o 132846 
47.24/17.35	o 132777 
47.24/17.37	o 132756 
47.52/17.44	o 132736 
47.65/17.51	o 132726 
47.80/17.61	o 132716 
47.80/17.64	o 132657 
47.80/17.67	o 132616 
48.12/17.75	o 132101 
48.12/17.76	o 132001 
48.12/17.77	o 131901 
48.12/17.78	o 131882 
48.12/17.80	o 131872 
48.45/17.81	o 131871 
48.45/17.82	o 131781 
48.45/17.83	o 131780 
48.45/17.87	o 131760 
48.45/17.89	o 131750 
48.77/17.91	o 131748 
48.77/17.94	o 131737 
48.77/17.98	o 131725 
48.77/17.99	o 131656 
49.08/18.01	o 131635 
49.08/18.02	o 131615 
49.08/18.04	o 131605 
49.08/18.06	o 131546 
49.08/18.09	o 131505 
49.38/18.11	o 131496 
49.38/18.17	o 131495 
49.92/18.20	o 131091 
49.92/18.23	o 130991 
49.92/18.23	o 130891 
49.92/18.30	o 130872 
50.11/18.31	o 130862 
50.11/18.32	o 130861 
50.11/18.35	o 130771 
50.11/18.36	o 130770 
50.11/18.37	o 130750 
50.49/18.50	o 130749 
50.49/18.52	o 130738 
50.49/18.53	o 130727 
50.49/18.57	o 130715 
50.49/18.58	o 130646 
50.49/18.60	o 130625 
50.75/18.60	o 130605 
50.75/18.64	o 130595 
50.75/18.67	o 130536 
50.99/18.72	o 130495 
51.21/18.80	o 130487 
51.21/18.85	o 130213 
51.21/18.86	o 130113 
51.21/18.89	o 130013 
51.66/18.90	o 129994 
51.66/18.94	o 129984 
51.66/18.97	o 129983 
51.89/19.01	o 129893 
51.89/19.02	o 129892 
51.89/19.02	o 129872 
51.89/19.09	o 129857 
51.89/19.10	o 129837 
51.89/19.11	o 129768 
52.10/19.11	o 129747 
52.10/19.17	o 129727 
52.10/19.19	o 129717 
52.24/19.21	o 129707 
52.24/19.24	o 129648 
52.24/19.28	o 129607 
52.48/19.36	o 129092 
52.48/19.38	o 128992 
52.48/19.38	o 128892 
52.48/19.39	o 128873 
52.79/19.40	o 128863 
52.79/19.43	o 128862 
52.79/19.47	o 128772 
52.97/19.50	o 128771 
52.97/19.54	o 128751 
52.97/19.57	o 128741 
53.16/19.60	o 128739 
53.16/19.67	o 128728 
53.41/19.73	o 128716 
53.41/19.74	o 128647 
53.41/19.74	o 128626 
53.79/20.00	o 128606 
53.89/20.01	o 128596 
53.89/20.04	o 128537 
53.89/20.06	o 128496 
54.11/20.17	o 128486 
54.11/20.18	o 128485 
54.26/20.23	o 128475 
54.26/20.27	o 128474 
54.26/20.28	o 128415 
54.54/20.31	o 128374 
54.78/20.40	o 128364 
54.78/20.41	o 128354 
54.78/20.45	o 128295 
54.78/20.49	o 128254 
55.48/20.60	o 128082 
55.48/20.64	o 127982 
55.48/20.64	o 127882 
55.48/20.65	o 127863 
55.73/20.70	o 127853 
55.73/20.72	o 127852 
55.73/20.73	o 127762 
55.73/20.77	o 127761 
55.73/20.78	o 127741 
55.93/20.80	o 127740 
55.93/20.83	o 127729 
55.93/20.87	o 127718 
55.93/20.89	o 127706 
56.15/20.90	o 127637 
56.15/20.94	o 127616 
56.15/20.97	o 127596 
56.15/20.98	o 127586 
56.15/21.00	o 127527 
56.40/21.02	o 127486 
56.40/21.06	o 127476 
56.40/21.09	o 127475 
56.40/21.10	o 127465 
56.70/21.11	o 127464 
56.70/21.14	o 127405 
56.70/21.17	o 127364 
56.94/21.21	o 127354 
56.94/21.21	o 127344 
56.94/21.25	o 127285 
56.94/21.28	o 127244 
57.23/21.35	o 127072 
57.23/21.38	o 126972 
57.64/21.40	o 126872 
57.64/21.47	o 126853 
57.81/21.51	o 126843 
57.81/21.54	o 126842 
57.81/21.54	o 126752 
57.81/21.55	o 126751 
57.81/21.58	o 126731 
57.98/21.60	o 126730 
57.98/21.62	o 126719 
57.98/21.65	o 126708 
57.98/21.68	o 126696 
58.29/21.74	o 126686 
58.29/21.75	o 126676 
58.47/21.81	o 126617 
58.47/21.86	o 126517 
58.47/21.87	o 126476 
58.70/21.92	o 126467 
58.70/21.98	o 126466 
59.23/22.03	o 126062 
59.23/22.04	o 125962 
59.23/22.08	o 125862 
59.23/22.11	o 125843 
59.41/22.11	o 125833 
59.41/22.17	o 125832 
59.41/22.18	o 125742 
59.64/22.21	o 125741 
59.64/22.26	o 125721 
59.64/22.29	o 125720 
59.84/22.32	o 125709 
59.84/22.34	o 125698 
60.03/22.41	o 125686 
60.16/22.52	o 125676 
60.16/22.54	o 125666 
60.16/22.58	o 125607 
60.40/22.60	o 125507 
60.40/22.61	o 125466 
60.40/22.64	o 125458 
60.90/22.71	o 125184 
60.90/22.73	o 125084 
60.90/22.76	o 124984 
61.09/22.87	o 124965 
62.38/24.04	o 124955 
62.38/24.06	o 124954 
62.38/24.08	o 124864 
62.55/24.11	o 124863 
62.55/24.19	o 124843 
62.77/24.26	o 124828 
62.77/24.27	o 124808 
62.77/24.29	o 124798 
62.96/24.32	o 124778 
62.96/24.34	o 124719 
62.96/24.36	o 124619 
62.96/24.37	o 124578 
63.46/24.54	o 124063 
63.46/24.57	o 123963 
63.65/24.61	o 123863 
63.65/24.67	o 123844 
63.65/24.69	o 123834 
63.84/24.72	o 123833 
63.84/24.72	o 123743 
63.84/24.74	o 123742 
64.01/24.83	o 123722 
64.01/24.90	o 123712 
64.15/24.96	o 123710 
64.15/24.98	o 123699 
64.15/25.01	o 123687 
64.41/25.04	o 123677 
64.41/25.06	o 123667 
64.61/25.19	o 123608 
64.73/25.22	o 123508 
64.73/25.23	o 123467 
64.91/25.30	o 123457 
64.91/25.32	o 123456 
64.91/25.34	o 123446 
64.91/25.37	o 123445 
65.19/25.46	o 123386 
65.19/25.49	o 123345 
65.65/25.67	o 123266 
65.65/25.69	o 123225 
65.89/25.73	o 123211 
65.89/25.75	o 123210 
65.89/25.76	o 123190 
65.89/25.79	o 123189 
66.19/25.85	o 123178 
66.19/25.87	o 123167 
66.36/25.96	o 123155 
66.56/26.03	o 123089 
66.56/26.03	o 123088 
66.56/26.05	o 123068 
66.71/26.17	o 123058 
66.84/26.21	o 122969 
66.84/26.24	o 122968 
66.84/26.28	o 122948 
67.23/26.40	o 122938 
67.23/26.45	o 122936 
67.23/26.48	o 122925 
67.64/26.63	o 122913 
67.64/26.69	o 122879 
67.87/26.72	o 122878 
67.87/26.74	o 122858 
67.87/26.74	o 122848 
67.87/26.78	o 122759 
68.13/26.86	o 122758 
68.25/26.93	o 122738 
68.25/26.95	o 122728 
68.25/26.98	o 122657 
68.25/26.99	o 122656 
68.25/27.01	o 122636 
68.48/27.03	o 122626 
68.66/27.11	o 122625 
68.66/27.12	o 122615 
69.27/27.20	o 122320 
69.27/27.23	o 122220 
69.27/27.24	o 122120 
69.27/27.27	o 122101 
69.27/27.28	o 122091 
69.49/27.30	o 122090 
69.49/27.39	o 122000 
69.65/27.46	o 121999 
69.65/27.48	o 121979 
69.77/27.50	o 121978 
69.77/27.52	o 121967 
69.77/27.54	o 121956 
69.77/27.56	o 121934 
69.77/27.59	o 121878 
70.09/27.67	o 121877 
70.25/27.75	o 121857 
70.25/27.77	o 121847 
70.25/27.77	o 121758 
70.25/27.78	o 121757 
70.25/27.79	o 121737 
70.43/27.82	o 121727 
70.43/27.84	o 121725 
70.63/27.98	o 121714 
70.63/28.01	o 121692 
70.76/28.08	o 121656 
70.76/28.10	o 121655 
71.08/28.13	o 121635 
71.08/28.15	o 121625 
71.22/28.23	o 121624 
71.37/28.30	o 121614 
71.37/28.33	o 121612 
71.37/28.33	o 121590 
71.37/28.36	o 121589 
71.95/28.51	o 121579 
71.95/28.53	o 121578 
71.95/28.57	o 121573 
71.95/28.59	o 121572 
72.42/28.73	o 121513 
72.42/28.75	o 121472 
72.42/28.78	o 121462 
72.70/28.81	o 121452 
72.89/28.95	o 121393 
72.89/28.96	o 121352 
72.89/28.99	o 121302 
73.15/29.01	o 121261 
73.15/29.05	o 121224 
73.15/29.05	o 121183 
73.48/29.15	o 121173 
73.61/29.21	o 121172 
73.61/29.22	o 121162 
73.61/29.24	o 121161 
73.61/29.26	o 121102 
73.61/29.29	o 121061 
73.94/29.31	o 121051 
73.94/29.34	o 121041 
73.94/29.37	o 120982 
73.94/29.39	o 120941 
74.21/29.42	o 120882 
74.21/29.44	o 120841 
74.21/29.47	o 120831 
74.53/29.50	o 120821 
74.53/29.54	o 120820 
75.12/29.63	o 120558 
75.12/29.68	o 120458 
75.43/29.81	o 120358 
75.43/29.86	o 120339 
75.43/29.88	o 120329 
75.58/29.91	o 120328 
75.58/29.94	o 120238 
75.58/29.94	o 120237 
75.58/29.96	o 120217 
75.58/29.99	o 120216 
75.82/30.04	o 120205 
75.82/30.07	o 120194 
75.82/30.09	o 120182 
76.09/30.12	o 120113 
76.09/30.14	o 120092 
76.09/30.18	o 120072 
76.23/30.22	o 120062 
76.23/30.27	o 120003 
76.23/30.30	o 119962 
76.41/30.35	o 119952 
76.41/30.36	o 119951 
76.70/30.41	o 119941 
76.70/30.43	o 119940 
76.70/30.46	o 119881 
76.70/30.47	o 119840 
76.99/30.50	o 119830 
76.99/30.52	o 119820 
76.99/30.55	o 119761 
76.99/30.56	o 119720 
77.25/30.61	o 119661 
77.25/30.65	o 119620 
77.25/30.68	o 119611 
77.54/30.74	o 119589 
77.54/30.77	o 119588 
77.93/30.84	o 119587 
78.46/30.97	o 119548 
80.11/32.23	o 119448 
80.11/32.23	o 119348 
80.11/32.25	o 119329 
80.11/32.26	o 119319 
80.11/32.28	o 119318 
80.27/32.32	o 119228 
80.27/32.35	o 119227 
80.27/32.38	o 119207 
80.48/32.41	o 119206 
80.48/32.44	o 119195 
80.48/32.48	o 119184 
80.74/32.52	o 119172 
80.74/32.58	o 119103 
80.95/32.61	o 119082 
80.95/32.63	o 119062 
80.95/32.65	o 119052 
80.95/32.66	o 118993 
81.17/32.71	o 118952 
81.17/32.75	o 118942 
81.17/32.78	o 118941 
81.49/32.86	o 118931 
81.49/32.89	o 118930 
81.70/32.92	o 118871 
81.70/32.96	o 118830 
81.70/32.99	o 118820 
81.99/33.06	o 118810 
81.99/33.08	o 118751 
81.99/33.10	o 118710 
82.35/33.13	o 118651 
82.35/33.17	o 118610 
82.63/33.22	o 118541 
82.63/33.22	o 118540 
82.63/33.24	o 118520 
82.63/33.26	o 118519 
82.63/33.28	o 118508 
82.85/33.30	o 118497 
82.85/33.39	o 118485 
83.06/33.43	o 118475 
83.06/33.46	o 118465 
83.24/33.52	o 118406 
83.24/33.53	o 118306 
83.24/33.55	o 118265 
83.24/33.57	o 118255 
83.24/33.58	o 118254 
83.51/33.61	o 118244 
83.51/33.66	o 118243 
83.74/33.71	o 118184 
83.74/33.75	o 118143 
83.74/33.77	o 118064 
83.74/33.79	o 118023 
84.08/33.82	o 118011 
84.37/33.93	o 118009 
84.37/33.98	o 118008 
84.54/34.01	o 117011 
84.80/34.14	o 116918 
85.01/34.25	o 116899 
85.01/34.29	o 116889 
85.16/34.31	o 116888 
85.16/34.33	o 116798 
85.16/34.33	o 116797 
85.16/34.35	o 116777 
85.39/34.40	o 116776 
85.39/34.42	o 116011 
85.81/34.52	o 115953 
85.81/34.57	o 115912 
86.00/34.60	o 115911 
86.29/34.71	o 115853 
86.29/34.74	o 115812 
86.29/34.78	o 115802 
86.55/34.81	o 115771 
87.27/35.09	o 115529 
87.41/35.13	o 115429 
87.41/35.14	o 115329 
87.61/35.21	o 114581 
88.20/35.33	o 114568 
88.20/35.35	o 114558 
88.20/35.36	o 114557 
88.20/35.38	o 114467 
88.39/35.40	o 114466 
88.39/35.45	o 114446 
88.39/35.45	o 114436 
89.71/36.64	o 114426 
89.71/36.68	o 114425 
89.90/36.71	o 114415 
89.90/36.76	o 114414 
89.90/36.78	o 114345 
89.90/36.78	o 114344 
90.10/36.80	o 114324 
90.10/36.82	o 114314 
90.10/36.86	o 114225 
90.36/36.92	o 114224 
90.36/36.98	o 114204 
90.50/37.01	o 114194 
90.50/37.08	o 114123 
90.50/37.08	o 114122 
90.71/37.11	o 114102 
90.71/37.15	o 114092 
90.71/37.18	o 114091 
90.89/37.22	o 114081 
90.89/37.23	o 114023 
90.89/37.25	o 114022 
90.89/37.26	o 114002 
91.11/37.30	o 113992 
91.11/37.34	o 113991 
91.29/37.40	o 113981 
92.67/37.63	o 113786 
92.67/37.67	o 113686 
92.67/37.70	o 113586 
92.84/37.71	o 113567 
92.84/37.72	o 113557 
92.84/37.72	o 113556 
92.84/37.75	o 113466 
92.84/37.76	o 113465 
92.84/37.77	o 113445 
92.84/37.77	o 113444 
92.84/37.79	o 113433 
93.14/37.83	o 113422 
93.14/37.84	o 113400 
93.39/37.90	o 113344 
93.39/37.92	o 113343 
93.39/37.95	o 113323 
93.39/37.96	o 113313 
93.39/37.98	o 113224 
93.58/38.01	o 113223 
93.58/38.06	o 113203 
93.58/38.10	o 113193 
93.80/38.12	o 113191 
93.80/38.15	o 113180 
93.80/38.19	o 113158 
94.00/38.22	o 113122 
94.00/38.25	o 113121 
94.00/38.25	o 113101 
94.23/38.30	o 113091 
94.23/38.34	o 113090 
94.23/38.35	o 113080 
94.23/38.38	o 113078 
94.55/38.50	o 113056 
94.55/38.53	o 113055 
94.55/38.56	o 113022 
94.81/38.60	o 113021 
94.81/38.60	o 113001 
94.81/38.69	o 112991 
94.96/38.70	o 112990 
94.96/38.72	o 112980 
94.96/38.76	o 112978 
95.21/38.80	o 112956 
95.21/38.85	o 112955 
95.78/38.94	o 112940 
96.19/39.05	o 112938 
96.19/39.08	o 112937 
96.19/39.09	o 112840 
97.01/39.28	o 112838 
97.14/39.31	o 112837 
97.14/39.35	o 112826 
97.14/39.37	o 112730 
98.04/39.65	o 112725 
98.04/39.65	o 112684 
98.04/39.67	o 112682 
99.40/40.84	o 112647 
99.40/40.84	o 112547 
99.40/40.87	o 112528 
99.40/40.89	o 112518 
99.56/40.91	o 112517 
99.56/40.95	o 112427 
99.56/40.97	o 112426 
99.70/41.01	o 112406 
99.70/41.02	o 112396 
99.70/41.03	o 112394 
99.70/41.06	o 112371 
99.70/41.08	o 112327 
99.70/41.09	o 112326 
99.70/41.09	o 112306 
100.12/41.16	o 112296 
100.12/41.19	o 112294 
100.36/41.23	o 112271 
100.92/41.35	o 112232 
100.92/41.37	o 112231 
101.24/41.41	o 112211 
101.24/41.46	o 112201 
101.63/41.52	o 112191 
101.63/41.55	o 112122 
101.63/41.57	o 112121 
101.63/41.59	o 112101 
102.00/41.73	o 112091 
102.20/41.80	o 112048 
102.20/41.81	o 112047 
102.20/41.84	o 112027 
102.20/41.85	o 112017 
102.20/41.88	o 112009 
102.47/41.92	o 111928 
102.47/41.96	o 111927 
102.47/42.00	o 111907 
102.61/42.02	o 111897 
103.00/42.27	o 111895 
103.12/42.31	o 111872 
103.12/42.39	o 111848 
103.80/42.50	o 111828 
104.10/42.52	o 111827 
104.10/42.53	o 111816 
104.10/42.55	o 111648 
104.57/42.67	o 111637 
104.57/42.68	o 111537 
105.89/43.84	o 111518 
105.89/43.85	o 111508 
105.89/43.88	o 111507 
105.89/43.89	o 111417 
106.10/43.96	o 111416 
106.10/43.99	o 111396 
106.28/44.02	o 111386 
106.28/44.04	o 111384 
106.28/44.07	o 111361 
106.55/44.11	o 111317 
106.55/44.12	o 111316 
106.55/44.17	o 111296 
106.55/44.19	o 111286 
106.80/44.22	o 111284 
106.80/44.24	o 111261 
107.30/44.33	o 111253 
107.30/44.35	o 111252 
107.30/44.35	o 111232 
107.30/44.37	o 111231 
107.30/44.39	o 111220 
107.78/44.44	o 111209 
107.78/44.48	o 111187 
108.28/44.77	o 111151 
108.28/44.79	o 111150 
108.28/44.79	o 111130 
108.28/44.80	o 111120 
108.42/44.80	o 111119 
108.42/44.80	o 111109 
108.42/44.87	o 111107 
108.60/44.92	o 111085 
108.60/44.95	o 111084 
108.60/44.97	o 111051 
108.60/44.98	o 111050 
108.99/45.16	o 111030 
108.99/45.17	o 111020 
109.25/45.36	o 111019 
109.25/45.36	o 111009 
109.40/45.41	o 111007 
109.40/45.43	o 110985 
109.40/45.45	o 110984 
109.94/45.53	o 110950 
110.50/45.65	o 110921 
110.50/45.66	o 110920 
110.50/45.68	o 110900 
110.50/45.68	o 110890 
110.70/45.71	o 110840 
110.88/45.82	o 110819 
110.88/45.83	o 110818 
110.88/45.88	o 110798 
110.88/45.90	o 110788 
111.08/45.94	o 110786 
111.08/45.96	o 110730 
111.52/46.10	o 109640 
111.52/46.11	o 49293 
112.30/46.20	o 48294 
113.56/47.35	o 48284 
113.56/47.40	o 48194 
113.77/47.41	o 48184 
113.96/47.54	o 48112 
113.96/47.59	o 48102 
114.12/47.61	o 48092 
114.12/47.64	o 48083 
114.12/47.68	o 48076 
114.12/47.68	o 48004 
114.48/47.74	o 47994 
157.48/53.23	o 47987 
157.48/53.29	o 47986 
157.77/53.37	o 47978 
157.77/53.40	o 47977 
158.05/53.42	o 47976 
158.05/53.45	o 47975 
158.49/53.60	o 47968 
158.49/53.62	o 47967 
158.49/53.65	o 47966 
158.49/53.67	o 47965 
158.49/53.68	o 47964 
158.84/53.70	o 47963 
158.84/53.71	o 47962 
169.91/55.17	o 47958 
171.19/56.39	o 47949 
171.36/56.49	o 47948 
171.62/56.52	o 47947 
172.56/56.73	o 47938 
172.56/56.76	o 47937 
172.56/56.79	o 47928 
172.82/56.81	o 47927 
172.82/56.88	o 47918 
173.21/56.91	o 47917 
178.65/57.64	o 21300 
180.13/57.97	o 21299 
180.43/58.08	o 21289 
180.89/58.16	o 21288 
181.17/58.20	o 21287 
184.30/58.69	o 20287 
199.07/60.56	o 20238 
244.49/66.32	o 20148 
244.72/66.49	o 20058 
244.87/66.53	o 20049 
244.87/66.59	o 19959 
263.35/68.93	o 19958 
263.91/69.10	o 19948 
264.74/69.16	o 19938 
266.94/69.50	o 19839 
274.90/70.59	o 19749 
290.42/72.50	o 19649 
292.76/72.84	o 18649 
410.21/87.67	o 18560 
410.45/87.73	o 18550 
415.47/88.43	o 18476 
423.07/89.42	o 18376 
423.07/89.45	o 18276 
425.14/89.76	o 18216 
426.93/90.08	o 18196 
427.17/90.17	o 18111 
434.97/91.15	o 17191 
440.04/91.81	o 17189 
443.10/92.27	o 17110 
452.52/93.46	o 17101 
460.30/94.42	o 17093 
461.75/94.72	o 17083 
533.34/103.98	o 17073 
534.07/104.29	o 17071 
537.63/105.00	o 16503 
537.76/105.05	o 16414 
538.13/105.18	o 16393 
538.94/105.73	o 16383 
540.22/106.34	o 16373 
552.48/108.38	o 16314 
552.63/108.41	o 16307 
553.92/109.08	o 16298 
554.60/109.30	o 16290 
562.17/110.91	o 16269 
579.88/113.32	o 16268 
593.26/115.08	o 16177 
641.77/121.64	o 16169 
643.70/122.49	o 16168 
655.93/124.44	o 16068 
694.82/129.72	o 15967 
924.62/159.33	o 15767 
924.98/159.54	o 15766 
926.30/160.74	o 15675 
969.80/166.23	o 15666 
984.98/168.59	o 14827 
985.09/168.65	o 14817 
1045.73/176.60	o 14604 
1046.00/176.84	o 14603 
1046.00/176.86	o 14582 
1093.22/182.85	o 14483 
1414.41/223.25	o 14482 
1643.80/252.07	s SATISFIABLE
1643.80/252.07	v <instantiation>
1643.80/252.07	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] za1[0] za1[1] za1[2] za1[3] za1[4] za1[5] za1[6] za1[7] za1[8] za1[9] za1[10] za1[11] za1[12] za1[13] za1[14] za1[15] za1[16] za1[17] za1[18] za1[19] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za2[0] za2[1] za2[2] za2[3] za2[4] za2[5] za2[6] za2[7] za2[8] za2[9] za2[10] za2[11] za2[12] za2[13] za2[14] za2[15] za2[16] za2[17] za2[18] za2[19] za2[20] za2[21] za2[22] za2[23] za2[24] za2[25] za2[26] za2[27] za2[28] za2[29] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za3[0] za3[1] za3[2] za3[3] za3[4] za3[5] za3[6] za3[7] za3[8] za3[9] za3[10] za3[11] za3[12] za3[13] za3[14] za3[15] za3[16] za3[17] za3[18] za3[19] za3[20] za3[21] za3[22] za3[23] za3[24] za3[25] za3[26] za3[27] za3[28] za3[29] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[270] za3[271] za3[272] za3[273] za4[0] za4[1] za4[2] za4[3] za4[4] za4[5] za4[6] za4[7] za4[8] za4[9] za4[10] za4[11] za4[12] za4[13] za4[14] za4[15] za4[16] za4[17] za4[18] za4[19] za4[20] za4[21] za4[22] za4[23] za4[24] za4[25] za4[26] za4[27] za4[28] za4[29] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] </list>
1643.80/252.07	v 	<values>428 666 792 554 72 310 240 478 380 142 86 324 254 16 30 268 16 254 792 554 268 30 170 408 736 498 680 442 764 526 16 254 736 498 722 484 366 128 750 512 268 30 268 30 694 456 428 666 268 30 282 44 428 666 792 554 512 750 722 484 722 484 394 156 470 708 72 310 764 526 708 470 240 478 778 540 792 554 652 414 100 338 16 254 554 792 792 554 16 254 540 778 554 792 72 310 240 478 554 792 750 512 44 282 100 338 16 254 16 254 792 554 792 554 540 778 268 30 666 428 240 478 478 240 512 750 30 268 114 352 484 722 722 484 240 478 268 30 414 652 30 268 86 324 414 652 554 792 792 554 128 366 652 414 16 254 778 540 778 540 16 254 30 268 128 366 30 268 764 526 72 310 16 254 792 554 254 16 736 498 16 254 708 470 652 414 456 694 554 792 16 254 380 142 72 310 792 554 512 750 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1000 1000 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 1000 0 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 100 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 100 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 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 100 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 100 100 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 100 0 0 0 0 100 0 0 100 0 100 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 10 10 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 10 10 10 10 0 0 10 0 0 0 0 0 0 0 10 0 0 0 10 10 10 0 0 10 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 10 0 10 0 10 10 0 0 0 10 0 0 0 10 0 0 0 10 0 0 0 0 0 10 10 0 10 10 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 10 0 10 10 0 0 0 0 0 0 0 0 0 0 0 10 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 10 10 0 10 0 0 0 0 10 0 0 10 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 10 0 10 0 10 0 10 10 0 0 10 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 10 10 0 10 0 0 0 0 10 0 0 10 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 1 1 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 1 1 1 1 1 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 </values>
1643.80/252.07	v </instantiation>
1643.80/252.07	c Unexpected resolution interruption!

Verifier Data 

OK	14482

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400251-1568720375/watcher-4400251-1568720375 -o /tmp/evaluation-result-4400251-1568720375/solver-4400251-1568720375 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node148-1568711605-30394 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1286376282 HOME/instance-4400251-1568720375.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=382, runsolver pid=379

[startup+0.100115 s]*
/proc/loadavg: 6.89 7.55 7.99 2/211 403
/proc/meminfo: memFree=30951332/32770624 swapFree=67004320/67108860
[pid=382] ppid=379 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/382/stat : 382 (xcsp3-exec) S 379 382 30367 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 448199083 115843072 362 33554432000 4194304 5098028 140730865467696 140730865465800 139784856879740 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17354752 140730865472379 140730865472622 140730865472622 140730865475530 0
/proc/382/statm: 28282 362 304 221 0 87 0
[pid=384] ppid=382 vsize=28227396 memory=29120 CPUtime=0.11 cores=0-7
/proc/384/stat : 384 (java) S 382 382 30367 0 -1 1077944320 5732 0 0 0 10 1 0 0 20 0 20 0 448199083 28904853504 7280 33554432000 4194304 4196468 140727575318976 140727575301520 140278901071607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
/proc/384/statm: 7056849 7280 3147 1 0 7019032 0
[pid=384/tid=385] ppid=382 vsize=28227396 memory=8390339637985935414 CPUtime=0.09 cores=0-7
/proc/384/task/385/stat : 385 (java) R 382 382 30367 0 -1 4202560 3646 0 0 0 9 0 0 0 20 0 20 0 448199084 28904853504 7346 33554432000 4194304 4196468 140727575318976 140278905304400 140278901093533 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=386] ppid=382 vsize=28227396 memory=288230604707987479 CPUtime=0 cores=0-7
/proc/384/task/386/stat : 386 (java) S 382 382 30367 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448199084 28904853504 7346 33554432000 4194304 4196468 140727575318976 140278452919440 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=387] ppid=382 vsize=28227396 memory=140202936480301 CPUtime=0 cores=0-7
/proc/384/task/387/stat : 387 (java) S 382 382 30367 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448199084 28904853504 7346 33554432000 4194304 4196468 140727575318976 140278451866640 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=388] ppid=382 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/384/task/388/stat : 388 (java) S 382 382 30367 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448199084 28904853504 7346 33554432000 4194304 4196468 140727575318976 140278450813840 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=389] ppid=382 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/384/task/389/stat : 389 (java) S 382 382 30367 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448199084 28904853504 7346 33554432000 4194304 4196468 140727575318976 140278449761040 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=390] ppid=382 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/384/task/390/stat : 390 (java) S 382 382 30367 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448199084 28904853504 7346 33554432000 4194304 4196468 140727575318976 140278448708240 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=391] ppid=382 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/384/task/391/stat : 391 (java) S 382 382 30367 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448199084 28904853504 7346 33554432000 4194304 4196468 140727575318976 140278447655440 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=392] ppid=382 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/384/task/392/stat : 392 (java) S 382 382 30367 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448199084 28904853504 7346 33554432000 4194304 4196468 140727575318976 140278446602640 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=393] ppid=382 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/384/task/393/stat : 393 (java) S 382 382 30367 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448199084 28904853504 7346 33554432000 4194304 4196468 140727575318976 140278445549840 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=394] ppid=382 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/384/task/394/stat : 394 (java) S 382 382 30367 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448199086 28904853504 7346 33554432000 4194304 4196468 140727575318976 140278402128752 140278901082754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=395] ppid=382 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/384/task/395/stat : 395 (java) S 382 382 30367 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 448199086 28904853504 7346 33554432000 4194304 4196468 140727575318976 140278401074720 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=396] ppid=382 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/384/task/396/stat : 396 (java) S 382 382 30367 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 448199086 28904853504 7346 33554432000 4194304 4196468 140727575318976 140278400021872 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=397] ppid=382 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/384/task/397/stat : 397 (java) S 382 382 30367 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448199089 28904853504 7346 33554432000 4194304 4196468 140727575318976 140278398970192 140278901090203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=398] ppid=382 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/384/task/398/stat : 398 (java) S 382 382 30367 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 20 0 448199089 28904853504 7346 33554432000 4194304 4196468 140727575318976 140278397917552 140278901082754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=399] ppid=382 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/384/task/399/stat : 399 (java) S 382 382 30367 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448199089 28904853504 7346 33554432000 4194304 4196468 140727575318976 140278280349936 140278901082754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=400] ppid=382 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/384/task/400/stat : 400 (java) S 382 382 30367 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448199089 28904853504 7346 33554432000 4194304 4196468 140727575318976 140278279297136 140278901082754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=401] ppid=382 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/384/task/401/stat : 401 (java) R 382 382 30367 0 -1 4202560 363 0 0 0 2 0 0 0 20 0 20 0 448199089 28904853504 7346 33554432000 4194304 4196468 140727575318976 140278278244336 140278901092954 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=402] ppid=382 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/384/task/402/stat : 402 (java) S 382 382 30367 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448199089 28904853504 7346 33554432000 4194304 4196468 140727575318976 140278277192800 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=403] ppid=382 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/384/task/403/stat : 403 (java) S 382 382 30367 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448199089 28904853504 7346 33554432000 4194304 4196468 140727575318976 140278276140080 140278901082754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30568 KiB

[startup+0.210196 s]*
/proc/loadavg: 6.89 7.55 7.99 3/211 403
/proc/meminfo: memFree=30937244/32770624 swapFree=67004320/67108860
[pid=382] ppid=379 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/382/stat : 382 (xcsp3-exec) S 379 382 30367 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 448199083 115843072 362 33554432000 4194304 5098028 140730865467696 140730865465800 139784856879740 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17354752 140730865472379 140730865472622 140730865472622 140730865475530 0
/proc/382/statm: 28282 362 304 221 0 87 0
[pid=384] ppid=382 vsize=28227396 memory=41308 CPUtime=0.33 cores=0-7
/proc/384/stat : 384 (java) S 382 382 30367 0 -1 1077944320 9527 0 0 0 30 3 0 0 20 0 20 0 448199083 28904853504 10327 33554432000 4194304 4196468 140727575318976 140727575301520 140278901071607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
/proc/384/statm: 7056849 10327 3296 1 0 7019032 0
[pid=384/tid=385] ppid=382 vsize=28227396 memory=8390339637985935414 CPUtime=0.19 cores=0-7
/proc/384/task/385/stat : 385 (java) R 382 382 30367 0 -1 4202560 6671 0 0 0 18 1 0 0 20 0 20 0 448199084 28904853504 10327 33554432000 4194304 4196468 140727575318976 140278905304336 140278901093533 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=386] ppid=382 vsize=28227396 memory=288230604707987479 CPUtime=0 cores=0-7
/proc/384/task/386/stat : 386 (java) S 382 382 30367 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448199084 28904853504 10327 33554432000 4194304 4196468 140727575318976 140278452919440 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=387] ppid=382 vsize=28227396 memory=140202936480301 CPUtime=0 cores=0-7
/proc/384/task/387/stat : 387 (java) S 382 382 30367 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448199084 28904853504 10327 33554432000 4194304 4196468 140727575318976 140278451866640 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=388] ppid=382 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/384/task/388/stat : 388 (java) S 382 382 30367 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448199084 28904853504 10327 33554432000 4194304 4196468 140727575318976 140278450813840 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=389] ppid=382 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/384/task/389/stat : 389 (java) S 382 382 30367 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448199084 28904853504 10327 33554432000 4194304 4196468 140727575318976 140278449761040 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=390] ppid=382 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/384/task/390/stat : 390 (java) S 382 382 30367 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448199084 28904853504 10327 33554432000 4194304 4196468 140727575318976 140278448708240 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=391] ppid=382 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/384/task/391/stat : 391 (java) S 382 382 30367 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448199084 28904853504 10327 33554432000 4194304 4196468 140727575318976 140278447655440 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=392] ppid=382 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/384/task/392/stat : 392 (java) S 382 382 30367 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448199084 28904853504 10327 33554432000 4194304 4196468 140727575318976 140278446602640 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=393] ppid=382 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/384/task/393/stat : 393 (java) S 382 382 30367 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448199084 28904853504 10327 33554432000 4194304 4196468 140727575318976 140278445549840 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=394] ppid=382 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/384/task/394/stat : 394 (java) S 382 382 30367 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 448199086 28904853504 10327 33554432000 4194304 4196468 140727575318976 140278402128752 140278901082754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=395] ppid=382 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/384/task/395/stat : 395 (java) S 382 382 30367 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 448199086 28904853504 10327 33554432000 4194304 4196468 140727575318976 140278401074720 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=396] ppid=382 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/384/task/396/stat : 396 (java) S 382 382 30367 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 448199086 28904853504 10327 33554432000 4194304 4196468 140727575318976 140278400021872 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=397] ppid=382 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/384/task/397/stat : 397 (java) S 382 382 30367 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448199089 28904853504 10327 33554432000 4194304 4196468 140727575318976 140278398970192 140278901090203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=398] ppid=382 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/384/task/398/stat : 398 (java) S 382 382 30367 0 -1 1077944384 639 0 0 0 1 0 0 0 20 0 20 0 448199089 28904853504 10327 33554432000 4194304 4196468 140727575318976 140278397917552 140278901082754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=399] ppid=382 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/384/task/399/stat : 399 (java) S 382 382 30367 0 -1 1077944384 107 0 0 0 2 0 0 0 20 0 20 0 448199089 28904853504 10327 33554432000 4194304 4196468 140727575318976 140278280349936 140278901082754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=400] ppid=382 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/384/task/400/stat : 400 (java) S 382 382 30367 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 448199089 28904853504 10327 33554432000 4194304 4196468 140727575318976 140278279297136 140278901082754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=401] ppid=382 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7
/proc/384/task/401/stat : 401 (java) S 382 382 30367 0 -1 1077944384 796 0 0 0 8 0 0 0 20 0 20 0 448199089 28904853504 10327 33554432000 4194304 4196468 140727575318976 140278278244336 140278901082754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=402] ppid=382 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/384/task/402/stat : 402 (java) S 382 382 30367 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448199089 28904853504 10327 33554432000 4194304 4196468 140727575318976 140278277192800 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=403] ppid=382 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/384/task/403/stat : 403 (java) S 382 382 30367 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448199089 28904853504 10327 33554432000 4194304 4196468 140727575318976 140278276140080 140278901082754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42756 KiB

[startup+0.309445 s]*
/proc/loadavg: 6.89 7.55 7.99 2/211 403
/proc/meminfo: memFree=30933076/32770624 swapFree=67004320/67108860
[pid=382] ppid=379 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/382/stat : 382 (xcsp3-exec) S 379 382 30367 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 448199083 115843072 362 33554432000 4194304 5098028 140730865467696 140730865465800 139784856879740 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17354752 140730865472379 140730865472622 140730865472622 140730865475530 0
/proc/382/statm: 28282 362 304 221 0 87 0
[pid=384] ppid=382 vsize=28231652 memory=49676 CPUtime=0.51 cores=0-7
/proc/384/stat : 384 (java) S 382 382 30367 0 -1 1077944320 10729 0 0 0 47 4 0 0 20 0 20 0 448199083 28909211648 12419 33554432000 4194304 4196468 140727575318976 140727575301520 140278901071607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
/proc/384/statm: 7057913 12419 3339 1 0 7019032 0
[pid=384/tid=385] ppid=382 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/384/task/385/stat : 385 (java) R 382 382 30367 0 -1 4202560 7741 0 0 0 27 2 0 0 20 0 20 0 448199084 28909211648 12516 33554432000 4194304 4196468 140727575318976 140278905302720 140278885152094 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=386] ppid=382 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/384/task/386/stat : 386 (java) S 382 382 30367 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448199084 28909211648 12516 33554432000 4194304 4196468 140727575318976 140278452919440 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=387] ppid=382 vsize=28231652 memory=140202933171894 CPUtime=0 cores=0-7
/proc/384/task/387/stat : 387 (java) S 382 382 30367 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448199084 28909211648 12516 33554432000 4194304 4196468 140727575318976 140278451866640 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=388] ppid=382 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/384/task/388/stat : 388 (java) S 382 382 30367 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448199084 28909211648 12516 33554432000 4194304 4196468 140727575318976 140278450813840 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=389] ppid=382 vsize=28231652 memory=2240 CPUtime=0 cores=0-7
/proc/384/task/389/stat : 389 (java) S 382 382 30367 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448199084 28909211648 12516 33554432000 4194304 4196468 140727575318976 140278449761040 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=390] ppid=382 vsize=28231652 memory=2241 CPUtime=0 cores=0-7
/proc/384/task/390/stat : 390 (java) S 382 382 30367 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448199084 28909211648 12516 33554432000 4194304 4196468 140727575318976 140278448708240 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=391] ppid=382 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/384/task/391/stat : 391 (java) S 382 382 30367 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448199084 28909211648 12516 33554432000 4194304 4196468 140727575318976 140278447655440 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=392] ppid=382 vsize=28231652 memory=280405664276000 CPUtime=0 cores=0-7
/proc/384/task/392/stat : 392 (java) S 382 382 30367 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448199084 28909211648 12516 33554432000 4194304 4196468 140727575318976 140278446602640 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=393] ppid=382 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/384/task/393/stat : 393 (java) S 382 382 30367 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448199084 28909211648 12516 33554432000 4194304 4196468 140727575318976 140278445549840 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=394] ppid=382 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/384/task/394/stat : 394 (java) S 382 382 30367 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 448199086 28909211648 12516 33554432000 4194304 4196468 140727575318976 140278402128752 140278901082754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=395] ppid=382 vsize=28231652 memory=251 CPUtime=0 cores=0-7
/proc/384/task/395/stat : 395 (java) S 382 382 30367 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 448199086 28909211648 12516 33554432000 4194304 4196468 140727575318976 140278401074720 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=396] ppid=382 vsize=28231652 memory=308 CPUtime=0 cores=0-7
/proc/384/task/396/stat : 396 (java) S 382 382 30367 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 448199086 28909211648 12516 33554432000 4194304 4196468 140727575318976 140278400021872 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=397] ppid=382 vsize=28231652 memory=249968 CPUtime=0 cores=0-7
/proc/384/task/397/stat : 397 (java) S 382 382 30367 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448199089 28909211648 12516 33554432000 4194304 4196468 140727575318976 140278398970192 140278901090203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=398] ppid=382 vsize=28231652 memory=1 CPUtime=0.02 cores=0-7
/proc/384/task/398/stat : 398 (java) S 382 382 30367 0 -1 1077944384 662 0 0 0 2 0 0 0 20 0 20 0 448199089 28909211648 12516 33554432000 4194304 4196468 140727575318976 140278397917552 140278901082754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=399] ppid=382 vsize=28231652 memory=0 CPUtime=0.03 cores=0-7
/proc/384/task/399/stat : 399 (java) S 382 382 30367 0 -1 1077944384 117 0 0 0 3 0 0 0 20 0 20 0 448199089 28909211648 12516 33554432000 4194304 4196468 140727575318976 140278280349936 140278901082754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=400] ppid=382 vsize=28231652 memory=0 CPUtime=0.01 cores=0-7
/proc/384/task/400/stat : 400 (java) R 382 382 30367 0 -1 4202560 124 0 0 0 1 0 0 0 20 0 20 0 448199089 28909211648 12516 33554432000 4194304 4196468 140727575318976 140278279287520 140278884570476 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=401] ppid=382 vsize=28231652 memory=84 CPUtime=0.13 cores=0-7
/proc/384/task/401/stat : 401 (java) S 382 382 30367 0 -1 1077944384 875 0 0 0 13 0 0 0 20 0 20 0 448199089 28909211648 12516 33554432000 4194304 4196468 140727575318976 140278278244336 140278901082754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=402] ppid=382 vsize=28231652 memory=3467825727391412274 CPUtime=0 cores=0-7
/proc/384/task/402/stat : 402 (java) S 382 382 30367 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448199089 28909211648 12516 33554432000 4194304 4196468 140727575318976 140278277192800 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=403] ppid=382 vsize=28231652 memory=4049352007140520236 CPUtime=0 cores=0-7
/proc/384/task/403/stat : 403 (java) S 382 382 30367 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448199089 28909211648 12516 33554432000 4194304 4196468 140727575318976 140278276140080 140278901082754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51124 KiB

[startup+0.700908 s]
/proc/loadavg: 6.50 7.46 7.95 6/211 403
/proc/meminfo: memFree=30915136/32770624 swapFree=67004320/67108860
[pid=382] ppid=379 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/382/stat : 382 (xcsp3-exec) S 379 382 30367 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 448199083 115843072 362 33554432000 4194304 5098028 140730865467696 140730865465800 139784856879740 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17354752 140730865472379 140730865472622 140730865472622 140730865475530 0
/proc/382/statm: 28282 362 304 221 0 87 0
[pid=384] ppid=382 vsize=28233776 memory=90680 CPUtime=1.91 cores=0-7
/proc/384/stat : 384 (java) S 382 382 30367 0 -1 1077944320 16263 0 0 0 185 6 0 0 20 0 20 0 448199083 28911386624 22670 33554432000 4194304 4196468 140727575318976 140727575301520 140278901071607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
/proc/384/statm: 7058444 22670 3460 1 0 7019544 0
[pid=384/tid=385] ppid=382 vsize=28233776 memory=1412 CPUtime=0.67 cores=0-7
/proc/384/task/385/stat : 385 (java) R 382 382 30367 0 -1 4202560 9189 0 0 0 64 3 0 0 20 0 20 0 448199084 28911386624 22670 33554432000 4194304 4196468 140727575318976 140278905299024 140278543606800 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=386] ppid=382 vsize=28233776 memory=2388 CPUtime=0 cores=0-7
/proc/384/task/386/stat : 386 (java) S 382 382 30367 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448199084 28911386624 22670 33554432000 4194304 4196468 140727575318976 140278452919440 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=387] ppid=382 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/384/task/387/stat : 387 (java) S 382 382 30367 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448199084 28911386624 22670 33554432000 4194304 4196468 140727575318976 140278451866640 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=388] ppid=382 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/384/task/388/stat : 388 (java) S 382 382 30367 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448199084 28911386624 22670 33554432000 4194304 4196468 140727575318976 140278450813840 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0

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

[pid=384/tid=7740] ppid=382 vsize=28769364 memory=3839008 CPUtime=1.55 cores=0-7
/proc/384/task/7740/stat : 7740 (java) R 382 382 30367 0 -1 4202560 89 0 0 0 155 0 0 0 20 0 28 0 448215158 29459828736 960258 33554432000 4194304 4196468 140727575318976 140278192121256 140278543936421 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
Current children cumulated CPU time: 938.71 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 3842480 KiB

[startup+222.302 s]
/proc/loadavg: 7.94 7.26 7.72 9/220 7799
/proc/meminfo: memFree=27095660/32770624 swapFree=67004320/67108860
[pid=382] ppid=379 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/382/stat : 382 (xcsp3-exec) S 379 382 30367 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 448199083 115843072 362 33554432000 4194304 5098028 140730865467696 140730865465800 139784856879740 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17354752 140730865472379 140730865472622 140730865472622 140730865475530 0
/proc/382/statm: 28282 362 304 221 0 87 0
[pid=384] ppid=382 vsize=28769364 memory=3876764 CPUtime=1407.96 cores=0-7
/proc/384/stat : 384 (java) S 382 382 30367 0 -1 1077944320 596990 0 0 0 140111 685 0 0 20 0 28 0 448199083 29459828736 969191 33554432000 4194304 4196468 140727575318976 140727575301520 140278901071607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
/proc/384/statm: 7192341 969191 3557 1 0 7153441 0
[pid=384/tid=385] ppid=382 vsize=28769364 memory=3834780 CPUtime=8.14 cores=0-7
/proc/384/task/385/stat : 385 (java) S 382 382 30367 0 -1 1077944384 20767 0 0 0 793 21 0 0 20 0 28 0 448199084 29459828736 969191 33554432000 4194304 4196468 140727575318976 140278905312320 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=386] ppid=382 vsize=28769364 memory=3834648 CPUtime=1.25 cores=0-7
/proc/384/task/386/stat : 386 (java) S 382 382 30367 0 -1 1077944384 3514 0 0 0 84 41 0 0 20 0 28 0 448199084 29459828736 969191 33554432000 4194304 4196468 140727575318976 140278452919440 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=387] ppid=382 vsize=28769364 memory=3836900 CPUtime=1.22 cores=0-7
/proc/384/task/387/stat : 387 (java) S 382 382 30367 0 -1 1077944384 3085 0 0 0 82 40 0 0 20 0 28 0 448199084 29459828736 969191 33554432000 4194304 4196468 140727575318976 140278451866640 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=388] ppid=382 vsize=28769364 memory=1448 CPUtime=1.19 cores=0-7
/proc/384/task/388/stat : 388 (java) S 382 382 30367 0 -1 1077944384 2991 0 0 0 79 40 0 0 20 0 28 0 448199084 29459828736 969191 33554432000 4194304 4196468 140727575318976 140278450813840 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=389] ppid=382 vsize=28769364 memory=3875532 CPUtime=1.24 cores=0-7
/proc/384/task/389/stat : 389 (java) S 382 382 30367 0 -1 1077944384 2841 0 0 0 82 42 0 0 20 0 28 0 448199084 29459828736 969191 33554432000 4194304 4196468 140727575318976 140278449761040 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=390] ppid=382 vsize=28769364 memory=3875624 CPUtime=1.24 cores=0-7
/proc/384/task/390/stat : 390 (java) S 382 382 30367 0 -1 1077944384 3948 0 0 0 85 39 0 0 20 0 28 0 448199084 29459828736 969191 33554432000 4194304 4196468 140727575318976 140278448708240 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=391] ppid=382 vsize=28769364 memory=3875624 CPUtime=1.19 cores=0-7
/proc/384/task/391/stat : 391 (java) S 382 382 30367 0 -1 1077944384 4623 0 0 0 81 38 0 0 20 0 28 0 448199084 29459828736 969191 33554432000 4194304 4196468 140727575318976 140278447655440 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=392] ppid=382 vsize=28769364 memory=1448 CPUtime=1.19 cores=0-7
/proc/384/task/392/stat : 392 (java) S 382 382 30367 0 -1 1077944384 3558 0 0 0 83 36 0 0 20 0 28 0 448199084 29459828736 969191 33554432000 4194304 4196468 140727575318976 140278446602640 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=393] ppid=382 vsize=28769364 memory=3875744 CPUtime=1.2 cores=0-7
/proc/384/task/393/stat : 393 (java) S 382 382 30367 0 -1 1077944384 3268 0 0 0 83 37 0 0 20 0 28 0 448199084 29459828736 969191 33554432000 4194304 4196468 140727575318976 140278445549840 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=394] ppid=382 vsize=28769364 memory=3876764 CPUtime=0.1 cores=0-7
/proc/384/task/394/stat : 394 (java) S 382 382 30367 0 -1 1077944384 7264 0 0 0 8 2 0 0 20 0 28 0 448199086 29459828736 969191 33554432000 4194304 4196468 140727575318976 140278402128752 140278901082754 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=395] ppid=382 vsize=28769364 memory=3876764 CPUtime=0 cores=0-7
/proc/384/task/395/stat : 395 (java) S 382 382 30367 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 448199086 29459828736 969191 33554432000 4194304 4196468 140727575318976 140278401074784 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=396] ppid=382 vsize=28769364 memory=1448 CPUtime=0 cores=0-7
/proc/384/task/396/stat : 396 (java) S 382 382 30367 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 28 0 448199086 29459828736 969191 33554432000 4194304 4196468 140727575318976 140278400021888 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=397] ppid=382 vsize=28769364 memory=3876764 CPUtime=0 cores=0-7
/proc/384/task/397/stat : 397 (java) S 382 382 30367 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 448199089 29459828736 969191 33554432000 4194304 4196468 140727575318976 140278398970192 140278901090203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=398] ppid=382 vsize=28769364 memory=1448 CPUtime=4.16 cores=0-7
/proc/384/task/398/stat : 398 (java) S 382 382 30367 0 -1 1077944384 27969 0 0 0 411 5 0 0 20 0 28 0 448199089 29459828736 969191 33554432000 4194304 4196468 140727575318976 140278397917552 140278901082754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=399] ppid=382 vsize=28769364 memory=1448 CPUtime=4.44 cores=0-7
/proc/384/task/399/stat : 399 (java) S 382 382 30367 0 -1 1077944384 30053 0 0 0 439 5 0 0 20 0 28 0 448199089 29459828736 969191 33554432000 4194304 4196468 140727575318976 140278280349936 140278901082754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=400] ppid=382 vsize=28769364 memory=3846936 CPUtime=4.65 cores=0-7
/proc/384/task/400/stat : 400 (java) S 382 382 30367 0 -1 1077944384 26726 0 0 0 460 5 0 0 20 0 28 0 448199089 29459828736 969191 33554432000 4194304 4196468 140727575318976 140278279297136 140278901082754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=401] ppid=382 vsize=28769364 memory=1448 CPUtime=1.24 cores=0-7
/proc/384/task/401/stat : 401 (java) S 382 382 30367 0 -1 1077944384 16822 0 0 0 119 5 0 0 20 0 28 0 448199089 29459828736 969191 33554432000 4194304 4196468 140727575318976 140278278244336 140278901082754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=402] ppid=382 vsize=28769364 memory=3876764 CPUtime=0 cores=0-7
/proc/384/task/402/stat : 402 (java) S 382 382 30367 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 448199089 29459828736 969191 33554432000 4194304 4196468 140727575318976 140278277192800 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=403] ppid=382 vsize=28769364 memory=3876764 CPUtime=0.08 cores=0-7
/proc/384/task/403/stat : 403 (java) S 382 382 30367 0 -1 1077944384 3186 0 0 0 4 4 0 0 20 0 28 0 448199089 29459828736 969191 33554432000 4194304 4196468 140727575318976 140278276140080 140278901082754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=7789] ppid=382 vsize=28769364 memory=1448 CPUtime=39.41 cores=0-7
/proc/384/task/7789/stat : 7789 (java) R 382 382 30367 0 -1 4202560 8763 0 0 0 3940 1 0 0 20 0 28 0 448217368 29459828736 969191 33554432000 4194304 4196468 140727575318976 140278188961736 140278541132872 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=7790] ppid=382 vsize=28769364 memory=1448 CPUtime=39.43 cores=0-7
/proc/384/task/7790/stat : 7790 (java) R 382 382 30367 0 -1 4202560 1310 0 0 0 3942 1 0 0 20 0 28 0 448217368 29459828736 969191 33554432000 4194304 4196468 140727575318976 140278194226056 140278548602318 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=7791] ppid=382 vsize=28769364 memory=1448 CPUtime=39.37 cores=0-7
/proc/384/task/7791/stat : 7791 (java) R 382 382 30367 0 -1 4202560 2879 0 0 0 3936 1 0 0 20 0 28 0 448217368 29459828736 969191 33554432000 4194304 4196468 140727575318976 140278192120584 140278543932987 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=7792] ppid=382 vsize=28769364 memory=3588 CPUtime=39.42 cores=0-7
/proc/384/task/7792/stat : 7792 (java) R 382 382 30367 0 -1 4202560 4079 0 0 0 3939 3 0 0 20 0 28 0 448217368 29459828736 969191 33554432000 4194304 4196468 140727575318976 140278265062024 140278542514454 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=7793] ppid=382 vsize=28769364 memory=1448 CPUtime=39.36 cores=0-7
/proc/384/task/7793/stat : 7793 (java) R 382 382 30367 0 -1 4202560 37200 0 0 0 3932 4 0 0 20 0 28 0 448217368 29459828736 969191 33554432000 4194304 4196468 140727575318976 140278264009216 140278542342142 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=7794] ppid=382 vsize=28769364 memory=1448 CPUtime=39.42 cores=0-7
/proc/384/task/7794/stat : 7794 (java) R 382 382 30367 0 -1 4202560 1045 0 0 0 3940 2 0 0 20 0 28 0 448217368 29459828736 969191 33554432000 4194304 4196468 140727575318976 140278193172584 140278541133200 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=7795] ppid=382 vsize=28769364 memory=1448 CPUtime=39.42 cores=0-7
/proc/384/task/7795/stat : 7795 (java) R 382 382 30367 0 -1 4202560 14514 0 0 0 3941 1 0 0 20 0 28 0 448217368 29459828736 969191 33554432000 4194304 4196468 140727575318976 140278195279112 140278541133244 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=7796] ppid=382 vsize=28769364 memory=3876764 CPUtime=38.69 cores=0-7
/proc/384/task/7796/stat : 7796 (java) R 382 382 30367 0 -1 4202560 7872 0 0 0 3866 3 0 0 20 0 28 0 448217368 29459828736 969191 33554432000 4194304 4196468 140727575318976 140278191067736 140278541133122 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
Current children cumulated CPU time: 1407.96 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 3878212 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.02 7.34 7.73 9/220 7809
/proc/meminfo: memFree=27096396/32770624 swapFree=67004320/67108860
[pid=382] ppid=379 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/382/stat : 382 (xcsp3-exec) S 379 382 30367 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 448199083 115843072 362 33554432000 4194304 5098028 140730865467696 140730865465800 139784856879740 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17354752 140730865472379 140730865472622 140730865472622 140730865475530 0
/proc/382/statm: 28282 362 304 221 0 87 0
[pid=384] ppid=382 vsize=28769364 memory=3876712 CPUtime=1643.8 cores=0-7
/proc/384/stat : 384 (java) S 382 382 30367 0 -1 1077944320 633955 0 0 0 163680 700 0 0 20 0 28 0 448199083 29459828736 969178 33554432000 4194304 4196468 140727575318976 140727575301520 140278901071607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
/proc/384/statm: 7192341 969178 3557 1 0 7153441 0
[pid=384/tid=385] ppid=382 vsize=28769364 memory=1398722017469774279 CPUtime=8.15 cores=0-7
/proc/384/task/385/stat : 385 (java) S 382 382 30367 0 -1 1077944384 20966 0 0 0 794 21 0 0 20 0 28 0 448199084 29459828736 969178 33554432000 4194304 4196468 140727575318976 140278905312320 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=386] ppid=382 vsize=28769364 memory=24020 CPUtime=1.25 cores=0-7
/proc/384/task/386/stat : 386 (java) S 382 382 30367 0 -1 1077944384 3514 0 0 0 84 41 0 0 20 0 28 0 448199084 29459828736 969178 33554432000 4194304 4196468 140727575318976 140278452919440 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=387] ppid=382 vsize=28769364 memory=14068 CPUtime=1.22 cores=0-7
/proc/384/task/387/stat : 387 (java) S 382 382 30367 0 -1 1077944384 3085 0 0 0 82 40 0 0 20 0 28 0 448199084 29459828736 969178 33554432000 4194304 4196468 140727575318976 140278451866640 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=388] ppid=382 vsize=28769364 memory=2120 CPUtime=1.19 cores=0-7
/proc/384/task/388/stat : 388 (java) S 382 382 30367 0 -1 1077944384 2991 0 0 0 79 40 0 0 20 0 28 0 448199084 29459828736 969178 33554432000 4194304 4196468 140727575318976 140278450813840 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=389] ppid=382 vsize=28769364 memory=504 CPUtime=1.24 cores=0-7
/proc/384/task/389/stat : 389 (java) S 382 382 30367 0 -1 1077944384 2841 0 0 0 82 42 0 0 20 0 28 0 448199084 29459828736 969178 33554432000 4194304 4196468 140727575318976 140278449761040 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=390] ppid=382 vsize=28769364 memory=3876712 CPUtime=1.24 cores=0-7
/proc/384/task/390/stat : 390 (java) S 382 382 30367 0 -1 1077944384 3948 0 0 0 85 39 0 0 20 0 28 0 448199084 29459828736 969178 33554432000 4194304 4196468 140727575318976 140278448708240 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=391] ppid=382 vsize=28769364 memory=1416 CPUtime=1.19 cores=0-7
/proc/384/task/391/stat : 391 (java) S 382 382 30367 0 -1 1077944384 4623 0 0 0 81 38 0 0 20 0 28 0 448199084 29459828736 969178 33554432000 4194304 4196468 140727575318976 140278447655440 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=392] ppid=382 vsize=28769364 memory=1556 CPUtime=1.19 cores=0-7
/proc/384/task/392/stat : 392 (java) S 382 382 30367 0 -1 1077944384 3558 0 0 0 83 36 0 0 20 0 28 0 448199084 29459828736 969178 33554432000 4194304 4196468 140727575318976 140278446602640 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=393] ppid=382 vsize=28769364 memory=740 CPUtime=1.2 cores=0-7
/proc/384/task/393/stat : 393 (java) S 382 382 30367 0 -1 1077944384 3268 0 0 0 83 37 0 0 20 0 28 0 448199084 29459828736 969178 33554432000 4194304 4196468 140727575318976 140278445549840 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=394] ppid=382 vsize=28769364 memory=1052 CPUtime=0.1 cores=0-7
/proc/384/task/394/stat : 394 (java) S 382 382 30367 0 -1 1077944384 7315 0 0 0 8 2 0 0 20 0 28 0 448199086 29459828736 969178 33554432000 4194304 4196468 140727575318976 140278402128752 140278901082754 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=395] ppid=382 vsize=28769364 memory=7548 CPUtime=0 cores=0-7
/proc/384/task/395/stat : 395 (java) S 382 382 30367 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 448199086 29459828736 969178 33554432000 4194304 4196468 140727575318976 140278401074784 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=396] ppid=382 vsize=28769364 memory=4004 CPUtime=0 cores=0-7
/proc/384/task/396/stat : 396 (java) S 382 382 30367 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 28 0 448199086 29459828736 969178 33554432000 4194304 4196468 140727575318976 140278400021888 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=397] ppid=382 vsize=28769364 memory=1448 CPUtime=0 cores=0-7
/proc/384/task/397/stat : 397 (java) S 382 382 30367 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 448199089 29459828736 969178 33554432000 4194304 4196468 140727575318976 140278398970192 140278901090203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=398] ppid=382 vsize=28769364 memory=3588 CPUtime=4.16 cores=0-7
/proc/384/task/398/stat : 398 (java) S 382 382 30367 0 -1 1077944384 27985 0 0 0 411 5 0 0 20 0 28 0 448199089 29459828736 969178 33554432000 4194304 4196468 140727575318976 140278397917552 140278901082754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=399] ppid=382 vsize=28769364 memory=1412 CPUtime=4.44 cores=0-7
/proc/384/task/399/stat : 399 (java) S 382 382 30367 0 -1 1077944384 30496 0 0 0 439 5 0 0 20 0 28 0 448199089 29459828736 969178 33554432000 4194304 4196468 140727575318976 140278280349936 140278901082754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=400] ppid=382 vsize=28769364 memory=4804 CPUtime=4.65 cores=0-7
/proc/384/task/400/stat : 400 (java) S 382 382 30367 0 -1 1077944384 26739 0 0 0 460 5 0 0 20 0 28 0 448199089 29459828736 969178 33554432000 4194304 4196468 140727575318976 140278279297136 140278901082754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=401] ppid=382 vsize=28769364 memory=1448 CPUtime=1.25 cores=0-7
/proc/384/task/401/stat : 401 (java) S 382 382 30367 0 -1 1077944384 18392 0 0 0 120 5 0 0 20 0 28 0 448199089 29459828736 969178 33554432000 4194304 4196468 140727575318976 140278278244336 140278901082754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=402] ppid=382 vsize=28769364 memory=3876712 CPUtime=0 cores=0-7
/proc/384/task/402/stat : 402 (java) S 382 382 30367 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 448199089 29459828736 969178 33554432000 4194304 4196468 140727575318976 140278277192800 140278901081813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=403] ppid=382 vsize=28769364 memory=48420 CPUtime=0.1 cores=0-7
/proc/384/task/403/stat : 403 (java) R 382 382 30367 0 -1 1077944384 3428 0 0 0 5 5 0 0 20 0 28 0 448199089 29459828736 969178 33554432000 4194304 4196468 140727575318976 140278276140080 140278901082754 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=7800] ppid=382 vsize=28769364 memory=984 CPUtime=28.73 cores=0-7
/proc/384/task/7800/stat : 7800 (java) R 382 382 30367 0 -1 4202560 3387 0 0 0 2873 0 0 0 20 0 28 0 448221409 29459828736 969178 33554432000 4194304 4196468 140727575318976 140278193177256 140278542342104 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=7801] ppid=382 vsize=28769364 memory=1940 CPUtime=28.74 cores=0-7
/proc/384/task/7801/stat : 7801 (java) R 382 382 30367 0 -1 4202560 1018 0 0 0 2874 0 0 0 20 0 28 0 448221409 29459828736 969178 33554432000 4194304 4196468 140727575318976 140278264014440 140278542513693 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=7802] ppid=382 vsize=28769364 memory=1416 CPUtime=28.58 cores=0-7
/proc/384/task/7802/stat : 7802 (java) R 382 382 30367 0 -1 4202560 1706 0 0 0 2857 1 0 0 20 0 28 0 448221409 29459828736 969178 33554432000 4194304 4196468 140727575318976 140278191072776 140278541133261 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=7803] ppid=382 vsize=28769364 memory=1556 CPUtime=28.73 cores=0-7
/proc/384/task/7803/stat : 7803 (java) R 382 382 30367 0 -1 4202560 3021 0 0 0 2871 2 0 0 20 0 28 0 448221409 29459828736 969178 33554432000 4194304 4196468 140727575318976 140278265064040 140278541133122 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=7804] ppid=382 vsize=28769364 memory=740 CPUtime=28.63 cores=0-7
/proc/384/task/7804/stat : 7804 (java) R 382 382 30367 0 -1 4202560 7581 0 0 0 2863 0 0 0 20 0 28 0 448221409 29459828736 969178 33554432000 4194304 4196468 140727575318976 140278195284808 140278542513543 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=7805] ppid=382 vsize=28769364 memory=1052 CPUtime=28.73 cores=0-7
/proc/384/task/7805/stat : 7805 (java) R 382 382 30367 0 -1 4202560 5707 0 0 0 2870 3 0 0 20 0 28 0 448221409 29459828736 969178 33554432000 4194304 4196468 140727575318976 140278192122680 140278542514142 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=7806] ppid=382 vsize=28769364 memory=7548 CPUtime=28.39 cores=0-7
/proc/384/task/7806/stat : 7806 (java) R 382 382 30367 0 -1 4202560 637 0 0 0 2839 0 0 0 20 0 28 0 448221409 29459828736 969178 33554432000 4194304 4196468 140727575318976 140278188969544 140278542342112 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
[pid=384/tid=7807] ppid=382 vsize=28769364 memory=4004 CPUtime=28.73 cores=0-7
/proc/384/task/7807/stat : 7807 (java) R 382 382 30367 0 -1 4202560 11228 0 0 0 2870 3 0 0 20 0 28 0 448221409 29459828736 969178 33554432000 4194304 4196468 140727575318976 140278194226728 140278542342119 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16478208 140727575323632 140727575323803 140727575323803 140727575326671 0
Current children cumulated CPU time: 1643.8 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 3878160 KiB

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

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

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

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

Child status: 143
Real time (s): 252.127
CPU time (s): 1644.51
CPU user time (s): 1637.48
CPU system time (s): 7.03157
CPU usage (%): 652.257
Max. virtual memory (cumulated for all children) (KiB): 28882492
Max. memory (cumulated for all children) (KiB): 3878272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1637.48
system time used= 7.03156
maximum resident set size= 3877188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 635611
page faults= 0
swaps= 0
block input operations= 0
block output operations= 624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68576
involuntary context switches= 18250


# summary of solver processes directly reported to runsolver:
#   pid: 382,384
#   total CPU time (s): 1644.51
#   total CPU user time (s): 1637.48
#   total CPU system time (s): 7.03157

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.97128 second user time and 3.06031 second system time

The end

Launcher Data 

Begin job on node148 at 2019-09-17 13:38:58
IDJOB=4400251
IDBENCH=141204
IDSOLVER=2855
FILE ID=node148/4400251-1568720375
RUNJOBID= node148-1568711605-30394
PBS_JOBID= 21703935
Free space on /tmp= 61308 MiB

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

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

MD5SUM BENCH= d0ab6aee5f30ff70d66f863e0e3556a1
RANDOM SEED=1286376282

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.13
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.13
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.13
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.13
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:        30968028 kB
MemAvailable:   31897404 kB
Buffers:          165528 kB
Cached:          1066200 kB
SwapCached:         3724 kB
Active:           525504 kB
Inactive:         714100 kB
Active(anon):       4480 kB
Inactive(anon):    52636 kB
Active(file):     521024 kB
Inactive(file):   661464 kB
Unevictable:      108200 kB
Mlocked:          108200 kB
SwapTotal:      67108860 kB
SwapFree:       67004320 kB
Dirty:             26144 kB
Writeback:             0 kB
AnonPages:        113444 kB
Mapped:            48540 kB
Shmem:             40628 kB
Slab:             154540 kB
SReclaimable:     125448 kB
SUnreclaim:        29092 kB
KernelStack:        3360 kB
PageTables:         5120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     507384 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:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 61284 MiB
End job on node148 at 2019-09-17 13:43:10