Trace number 4404751

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-09-20 parallelSAT (TO)5831 19286.4 2520.1

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404751-1569011484.xml"  -tl '20160s' -p 8
0.11/0.19	c Choco 3fb4b153
0.11/0.19	c [HOME/instance-4404751-1569011484.xml, -tl, 20160s, -p, 8]
0.33/0.23	c 8 solvers in parallel
0.33/0.29	c parse instance...
20.20/7.99	c solve instance...
26.27/8.88	o 148863 
26.57/8.90	o 147962 
27.98/9.29	o 147862 
29.71/10.56	o 147762 
29.71/10.58	o 147761 
29.94/10.60	o 146862 
29.94/10.63	o 145961 
29.94/10.65	o 145861 
29.94/10.67	o 145761 
29.94/10.70	o 145732 
30.38/10.73	o 145731 
30.38/10.75	o 145640 
30.38/10.76	o 145620 
30.73/10.83	o 144960 
30.73/10.86	o 144931 
30.73/10.87	o 144930 
30.73/10.88	o 144839 
30.98/10.93	o 144819 
30.98/10.95	o 144760 
30.98/10.96	o 144731 
30.98/10.97	o 144730 
30.98/10.99	o 144639 
31.32/11.03	o 144619 
31.32/11.05	o 144596 
31.32/11.07	o 144567 
31.66/11.11	o 144503 
32.36/11.23	o 144483 
32.36/11.25	o 144414 
32.36/11.28	o 144393 
32.79/11.30	o 144373 
32.97/11.42	o 144363 
32.97/11.44	o 144353 
32.97/11.46	o 144352 
32.97/11.48	o 144342 
33.25/11.50	o 143747 
33.25/11.52	o 143647 
33.25/11.53	o 143547 
33.25/11.54	o 143528 
33.25/11.55	o 143518 
33.25/11.55	o 143517 
33.25/11.58	o 143427 
33.70/11.61	o 143426 
33.70/11.62	o 143406 
33.70/11.64	o 143383 
33.70/11.67	o 143364 
34.14/11.70	o 143354 
34.14/11.72	o 143290 
34.14/11.74	o 143270 
34.14/11.76	o 143201 
34.14/11.79	o 143180 
34.44/11.82	o 143160 
35.07/11.96	o 143150 
35.07/11.97	o 143140 
35.59/12.01	o 143111 
35.59/12.03	o 143090 
35.59/12.06	o 143070 
35.59/12.06	o 143059 
35.92/12.18	o 143050 
36.18/12.20	o 142059 
36.55/12.33	o 141549 
38.05/13.55	o 140648 
38.21/13.61	o 140548 
38.21/13.62	o 140448 
38.21/13.64	o 140419 
38.21/13.65	o 140418 
38.21/13.69	o 140327 
38.51/13.72	o 140307 
38.66/13.81	o 139647 
38.66/13.89	o 139618 
38.66/13.89	o 139617 
38.85/13.91	o 139526 
38.85/13.93	o 139506 
38.85/13.95	o 139447 
38.85/13.98	o 139418 
39.15/14.01	o 139417 
39.90/14.16	o 139326 
39.90/14.17	o 139306 
40.47/14.24	o 139284 
40.47/14.26	o 139255 
40.47/14.29	o 139202 
40.79/14.31	o 139181 
40.79/14.33	o 139161 
40.79/14.34	o 139151 
40.79/14.37	o 139141 
40.79/14.39	o 139115 
41.09/14.40	o 139095 
41.38/14.57	o 139015 
41.38/14.59	o 138995 
41.57/14.60	o 138336 
41.57/14.62	o 138307 
41.57/14.64	o 138306 
41.57/14.66	o 138215 
41.57/14.69	o 138195 
41.98/14.72	o 138136 
41.98/14.73	o 138107 
41.98/14.74	o 138106 
41.98/14.76	o 138015 
41.98/14.78	o 137995 
42.26/14.80	o 137336 
42.26/14.82	o 137307 
42.26/14.83	o 136554 
42.51/14.94	o 136336 
42.51/14.96	o 136236 
42.70/15.08	o 136136 
42.70/15.09	o 135204 
43.13/15.24	o 135115 
43.13/15.26	o 135084 
43.35/15.38	o 135014 
43.49/15.40	o 134954 
43.84/15.65	o 134943 
43.84/15.66	o 134890 
43.84/15.68	o 134854 
44.12/15.79	o 134849 
45.61/17.02	o 134839 
45.61/17.03	o 134829 
45.61/17.08	o 134435 
45.88/17.11	o 134335 
45.88/17.14	o 134235 
45.88/17.16	o 134206 
45.88/17.18	o 134205 
46.18/17.22	o 134114 
46.18/17.26	o 134094 
46.18/17.29	o 134079 
46.18/17.30	o 134059 
46.45/17.31	o 133990 
46.45/17.33	o 133969 
46.45/17.35	o 133949 
46.45/17.37	o 133939 
46.74/17.41	o 133929 
46.74/17.43	o 133870 
46.74/17.45	o 133829 
46.74/17.49	o 133802 
47.14/17.50	o 133801 
47.14/17.51	o 133781 
47.14/17.53	o 133759 
47.14/17.54	o 133740 
47.14/17.58	o 133731 
47.14/17.59	o 133677 
47.48/17.63	o 133656 
47.48/17.65	o 133636 
47.48/17.67	o 133626 
47.48/17.69	o 133616 
47.73/17.75	o 133222 
47.73/17.77	o 133122 
47.73/17.80	o 133022 
47.93/17.83	o 133003 
47.93/17.84	o 132993 
47.93/17.86	o 132992 
47.93/17.88	o 132902 
47.93/17.89	o 132901 
48.20/17.91	o 132881 
48.20/17.96	o 132866 
48.20/17.98	o 132846 
48.20/18.00	o 132777 
48.49/18.01	o 132756 
48.49/18.03	o 132736 
48.49/18.05	o 132726 
48.49/18.06	o 132716 
48.49/18.07	o 132657 
48.49/18.08	o 132616 
48.49/18.10	o 132597 
49.23/18.22	o 132101 
50.52/19.47	o 132001 
50.52/19.49	o 131901 
50.69/19.50	o 131882 
50.69/19.51	o 131872 
50.69/19.54	o 131871 
50.69/19.55	o 131781 
50.69/19.59	o 131780 
50.94/19.61	o 131760 
50.94/19.66	o 131750 
50.94/19.68	o 131748 
50.94/19.70	o 131737 
51.18/19.71	o 131725 
51.18/19.73	o 131656 
51.18/19.75	o 131635 
51.18/19.76	o 131615 
51.18/19.77	o 131605 
51.18/19.79	o 131546 
51.61/19.80	o 131505 
51.87/19.96	o 131496 
52.27/20.03	o 131495 
52.27/20.05	o 131091 
52.27/20.08	o 130991 
52.27/20.10	o 130891 
52.59/20.12	o 130872 
52.59/20.19	o 130862 
52.76/20.27	o 130861 
52.76/20.30	o 130771 
52.90/20.31	o 130770 
52.90/20.35	o 130750 
53.09/20.41	o 130749 
53.09/20.43	o 130729 
53.30/20.54	o 130727 
53.30/20.55	o 130629 
53.56/20.66	o 130625 
53.56/20.67	o 130605 
53.74/20.78	o 130595 
53.90/20.83	o 130489 
53.90/20.86	o 130487 
54.35/20.97	o 130213 
54.35/20.99	o 129369 
54.68/21.10	o 129092 
56.32/22.32	o 128992 
56.32/22.34	o 128892 
56.32/22.36	o 128873 
56.32/22.38	o 128863 
56.62/22.41	o 128862 
56.62/22.42	o 128772 
56.62/22.48	o 128771 
56.62/22.49	o 128751 
56.89/22.54	o 128750 
56.89/22.56	o 128739 
56.89/22.59	o 128728 
57.20/22.61	o 128716 
57.20/22.63	o 128647 
57.20/22.64	o 128626 
57.20/22.68	o 128606 
57.54/22.87	o 128596 
57.69/22.91	o 128537 
57.69/22.92	o 128496 
57.69/23.00	o 128486 
57.98/23.02	o 128485 
57.98/23.04	o 128475 
57.98/23.06	o 128474 
58.22/23.12	o 128415 
58.22/23.14	o 128374 
58.22/23.16	o 128364 
58.22/23.17	o 128354 
58.52/23.23	o 128295 
58.52/23.27	o 128254 
58.79/23.31	o 128175 
59.25/23.44	o 128082 
59.25/23.45	o 127982 
59.46/23.56	o 127882 
59.46/23.58	o 127863 
59.46/23.59	o 126935 
59.87/23.70	o 126872 
59.87/23.71	o 126815 
60.07/23.82	o 126752 
61.35/25.04	o 126751 
61.35/25.08	o 126731 
61.35/25.10	o 126730 
61.54/25.16	o 126719 
61.70/25.20	o 126708 
61.70/25.23	o 126696 
61.70/25.29	o 126686 
61.93/25.33	o 126676 
61.93/25.36	o 126617 
62.13/25.43	o 126517 
62.26/25.50	o 126476 
62.26/25.54	o 126467 
62.79/25.69	o 126466 
63.06/25.75	o 126062 
63.46/25.90	o 125962 
63.46/25.92	o 125862 
63.46/25.95	o 125843 
63.46/25.98	o 125833 
63.73/26.05	o 125832 
63.73/26.06	o 125742 
63.73/26.08	o 125741 
63.73/26.08	o 125721 
63.73/26.09	o 125720 
63.73/26.11	o 125709 
63.95/26.12	o 125698 
63.95/26.13	o 125686 
63.95/26.13	o 125676 
63.95/26.15	o 125666 
63.95/26.16	o 125607 
63.95/26.17	o 125507 
64.29/26.20	o 125466 
64.29/26.22	o 125376 
64.71/26.34	o 125184 
64.71/26.35	o 125084 
64.71/26.36	o 124256 
65.10/26.48	o 124063 
66.60/27.70	o 123963 
66.60/27.73	o 123863 
66.60/27.76	o 123844 
66.60/27.78	o 123834 
66.60/27.79	o 123833 
66.86/27.81	o 123743 
66.86/27.82	o 123742 
66.86/27.84	o 123722 
66.86/27.85	o 123721 
66.86/27.87	o 123710 
66.86/27.89	o 123699 
67.20/27.90	o 123687 
67.20/27.94	o 123677 
67.20/27.97	o 123667 
67.20/27.99	o 123608 
67.49/28.01	o 123508 
67.49/28.02	o 123467 
67.49/28.05	o 123457 
67.76/28.11	o 123456 
67.76/28.13	o 123446 
67.76/28.14	o 123445 
67.76/28.17	o 123386 
68.02/28.21	o 123345 
68.02/28.27	o 123266 
68.25/28.32	o 123225 
68.25/28.38	o 123211 
68.57/28.43	o 123210 
68.57/28.48	o 123190 
68.74/28.51	o 123189 
68.74/28.54	o 123178 
68.74/28.57	o 123167 
68.96/28.60	o 123155 
69.16/28.75	o 122079 
69.37/28.86	o 122000 
69.37/28.89	o 121999 
69.56/28.95	o 121949 
69.75/29.06	o 121934 
69.75/29.09	o 121859 
70.12/29.21	o 121854 
70.12/29.23	o 121832 
70.33/29.30	o 121831 
70.71/29.41	o 121812 
70.71/29.43	o 121749 
70.96/29.54	o 121737 
70.96/29.57	o 121736 
71.15/29.60	o 120739 
71.88/29.78	o 120639 
72.35/29.89	o 120319 
72.35/29.89	o 120219 
73.82/31.17	o 120119 
73.82/31.19	o 120100 
73.96/31.22	o 120090 
73.96/31.29	o 120089 
74.19/31.33	o 119999 
74.19/31.36	o 119998 
74.44/31.40	o 119978 
74.44/31.42	o 119977 
74.44/31.45	o 119966 
74.44/31.48	o 119955 
74.68/31.55	o 119933 
74.68/31.58	o 119877 
74.96/31.63	o 119876 
74.96/31.66	o 119856 
74.96/31.68	o 119846 
75.23/31.71	o 119757 
75.23/31.78	o 119756 
75.42/31.80	o 119736 
75.42/31.83	o 119726 
75.42/31.85	o 119724 
75.42/31.87	o 119713 
75.42/31.89	o 119691 
75.80/31.96	o 119655 
75.80/31.98	o 119654 
75.80/32.00	o 119634 
76.07/32.03	o 119624 
76.07/32.06	o 119623 
76.07/32.07	o 119613 
76.07/32.10	o 119611 
76.59/32.21	o 119589 
76.59/32.25	o 119588 
77.00/32.30	o 119587 
77.00/32.34	o 119533 
77.58/32.48	o 119448 
79.27/33.76	o 119348 
79.27/33.79	o 119329 
79.47/33.82	o 119319 
79.47/33.85	o 119318 
79.74/33.92	o 119228 
79.74/33.96	o 119227 
79.74/33.99	o 119207 
80.02/34.01	o 119206 
80.02/34.05	o 119195 
80.02/34.07	o 119184 
80.33/34.11	o 119172 
80.33/34.13	o 119103 
80.33/34.17	o 119082 
80.54/34.20	o 119062 
80.54/34.23	o 119052 
80.54/34.25	o 118993 
80.54/34.27	o 118952 
80.91/34.31	o 118942 
80.91/34.33	o 118941 
80.91/34.36	o 118931 
80.91/34.39	o 118930 
81.38/34.53	o 118871 
81.38/34.55	o 118830 
81.38/34.57	o 118820 
81.38/34.59	o 118810 
81.69/34.62	o 118751 
81.69/34.65	o 118710 
81.69/34.69	o 118651 
81.96/34.71	o 118610 
81.96/34.75	o 118590 
82.21/34.87	o 118541 
82.21/34.89	o 118490 
82.56/35.01	o 118485 
82.56/35.04	o 118390 
82.79/35.15	o 118365 
82.79/35.17	o 118306 
82.94/35.28	o 118265 
83.06/35.30	o 118260 
83.23/35.41	o 118255 
83.23/35.43	o 118254 
83.23/35.45	o 117360 
84.13/35.61	o 117118 
85.41/36.84	o 117018 
85.41/36.86	o 116918 
85.41/36.89	o 116899 
85.59/36.90	o 116889 
85.59/36.96	o 116888 
85.59/37.00	o 116798 
85.94/37.01	o 116797 
85.94/37.05	o 116777 
85.94/37.07	o 116776 
85.94/37.10	o 116765 
86.23/37.13	o 116754 
86.23/37.15	o 116732 
86.53/37.20	o 116676 
86.53/37.23	o 116675 
86.53/37.25	o 116655 
86.53/37.28	o 116645 
86.84/37.32	o 116556 
86.84/37.35	o 116555 
86.84/37.38	o 116535 
87.13/37.42	o 116525 
87.13/37.44	o 116523 
87.13/37.46	o 116512 
87.13/37.47	o 116490 
87.53/37.56	o 116454 
87.53/37.59	o 116453 
87.70/37.62	o 116433 
87.70/37.64	o 116423 
87.70/37.66	o 116422 
87.70/37.68	o 116412 
87.96/37.71	o 116410 
87.96/37.74	o 116388 
87.96/37.79	o 116387 
88.35/37.83	o 116328 
88.67/37.94	o 116228 
88.67/37.97	o 116209 
88.90/38.09	o 116199 
89.04/38.11	o 116118 
89.16/38.22	o 116108 
89.16/38.23	o 116098 
89.16/38.25	o 116087 
89.33/38.36	o 116086 
89.33/38.39	o 115998 
89.57/38.41	o 115986 
89.57/38.45	o 115985 
89.81/38.57	o 115965 
89.81/38.59	o 115964 
89.95/38.67	o 115098 
90.24/38.79	o 115097 
90.41/38.82	o 114998 
90.61/38.94	o 114976 
90.61/38.96	o 114878 
90.61/38.98	o 114856 
90.84/39.10	o 114855 
92.21/40.37	o 114835 
92.36/40.41	o 114825 
92.36/40.45	o 114823 
92.36/40.48	o 114812 
92.62/40.50	o 114790 
92.62/40.54	o 114754 
92.62/40.57	o 114753 
92.95/40.60	o 114733 
92.95/40.64	o 114723 
92.95/40.66	o 114722 
92.95/40.69	o 114712 
93.27/40.72	o 114710 
93.27/40.74	o 114688 
93.27/40.79	o 114687 
93.58/40.82	o 114663 
93.58/40.86	o 114662 
93.58/40.88	o 114642 
93.91/40.92	o 114632 
93.91/40.96	o 114631 
93.91/40.98	o 114621 
94.16/41.01	o 114619 
94.42/41.21	o 114597 
94.42/41.24	o 114596 
94.89/41.30	o 114565 
94.89/41.33	o 114564 
94.89/41.34	o 114544 
94.89/41.37	o 114534 
94.89/41.40	o 114445 
95.13/41.43	o 114444 
95.13/41.45	o 114424 
95.13/41.48	o 114414 
95.34/41.50	o 114384 
95.54/41.63	o 114379 
96.90/42.87	o 114343 
97.06/42.91	o 114342 
97.06/42.94	o 114322 
97.06/42.98	o 114312 
97.33/43.06	o 114311 
97.33/43.09	o 114301 
97.56/43.16	o 114299 
97.72/43.21	o 114277 
97.98/43.31	o 114276 
98.63/43.43	o 114243 
98.63/43.48	o 114242 
98.88/43.53	o 114222 
98.88/43.58	o 114212 
98.88/43.59	o 114211 
99.24/43.71	o 114201 
99.24/43.75	o 114199 
99.24/43.80	o 114177 
99.51/43.83	o 114176 
99.51/43.88	o 114173 
100.09/44.00	o 114167 
100.34/44.10	o 114063 
101.25/44.21	o 113786 
101.25/44.23	o 113686 
101.25/44.26	o 113586 
101.49/44.31	o 113567 
101.49/44.33	o 112973 
101.81/44.45	o 112956 
101.81/44.48	o 112193 
102.75/44.60	o 112188 
102.75/44.64	o 112166 
103.13/44.75	o 112122 
103.13/44.78	o 112063 
103.35/44.89	o 112048 
103.48/44.92	o 111953 
103.76/45.03	o 111928 
103.76/45.06	o 111063 
104.19/45.19	o 111051 
104.40/45.22	o 111050 
105.68/46.45	o 111030 
105.68/46.47	o 111020 
105.86/46.51	o 111019 
105.86/46.59	o 111009 
106.10/46.62	o 111007 
106.10/46.66	o 110985 
106.10/46.70	o 110984 
107.18/46.85	o 110977 
107.18/46.87	o 110955 
107.83/47.02	o 110921 
107.83/47.06	o 110920 
107.83/47.09	o 110900 
108.08/47.11	o 110890 
108.08/47.14	o 110888 
108.08/47.16	o 110877 
108.08/47.18	o 110855 
108.39/47.28	o 110819 
108.55/47.31	o 110818 
108.55/47.35	o 110798 
108.55/47.38	o 110788 
108.80/47.41	o 110786 
108.80/47.45	o 110775 
108.80/47.46	o 110753 
108.80/47.50	o 110709 
109.11/47.53	o 110708 
109.11/47.57	o 110688 
109.11/47.59	o 110678 
109.61/47.73	o 110637 
109.61/47.74	o 110537 
109.61/47.77	o 110518 
109.80/47.81	o 110508 
109.80/47.82	o 110507 
109.80/47.84	o 110417 
109.80/47.86	o 110416 
110.00/47.90	o 110396 
110.21/48.02	o 110386 
111.50/49.23	o 110378 
111.50/49.26	o 110297 
111.50/49.30	o 110296 
111.70/49.33	o 110276 
111.70/49.35	o 110266 
111.70/49.39	o 110264 
112.06/49.42	o 110241 
112.56/49.54	o 110197 
112.56/49.58	o 110196 
112.76/49.61	o 110176 
112.76/49.65	o 110166 
112.76/49.67	o 110164 
112.76/49.70	o 110141 
113.75/49.81	o 110121 
113.75/49.89	o 110120 
113.94/49.92	o 110100 
113.94/49.94	o 110081 
114.16/50.05	o 110079 
114.31/50.11	o 109981 
116.65/51.46	o 109975 
116.81/51.51	o 109974 
116.81/51.53	o 109963 
117.23/51.75	o 109940 
117.44/51.81	o 109886 
117.44/51.86	o 109885 
117.44/51.90	o 109865 
117.60/51.95	o 109855 
117.60/52.00	o 109853 
117.82/52.01	o 109830 
118.58/52.19	o 109807 
119.10/52.22	o 109806 
119.10/52.24	o 109786 
119.10/52.28	o 109776 
119.30/52.39	o 109774 
119.40/52.43	o 109763 
119.40/52.46	o 109741 
119.88/52.53	o 109659 
120.57/52.67	o 109655 
120.76/52.71	o 108659 
121.43/52.84	o 108654 
121.43/52.86	o 108559 
121.70/52.99	o 108556 
121.82/53.01	o 108555 
123.12/54.27	o 108544 
123.12/54.29	o 108533 
123.40/54.40	o 108511 
124.13/54.54	o 108485 
124.13/54.57	o 108466 
124.13/54.59	o 108456 
124.32/54.62	o 108455 
124.32/54.65	o 108365 
124.32/54.67	o 108364 
124.32/54.69	o 108344 
124.69/54.80	o 108343 
124.69/54.84	o 108332 
124.69/54.86	o 108309 
125.11/55.01	o 108255 
125.11/55.05	o 108254 
125.49/55.34	o 108234 
125.64/55.41	o 108224 
125.64/55.45	o 108222 
125.64/55.47	o 108199 
126.37/55.68	o 108155 
126.68/55.85	o 108154 
126.68/55.88	o 108134 
126.83/55.92	o 108124 
126.83/55.93	o 108122 
126.83/55.94	o 108099 
127.50/56.25	o 108086 
128.73/56.42	o 107986 
129.62/56.67	o 49293 
130.92/57.89	o 48294 
131.10/57.92	o 48284 
131.34/58.06	o 48194 
131.34/58.11	o 48184 
131.52/58.14	o 48112 
131.52/58.16	o 48102 
131.52/58.17	o 48092 
131.52/58.20	o 48083 
132.22/58.44	o 48076 
132.22/58.49	o 48004 
132.51/58.52	o 47994 
175.11/64.03	o 47987 
175.34/64.12	o 47986 
175.74/64.32	o 47978 
175.89/64.45	o 47977 
175.89/64.49	o 47976 
176.15/64.50	o 47975 
176.15/64.53	o 47968 
176.15/64.54	o 47967 
176.15/64.56	o 47966 
176.15/64.59	o 47965 
176.64/64.62	o 47964 
176.64/64.69	o 47963 
176.88/64.73	o 47962 
187.85/66.13	o 47958 
187.85/66.16	o 47949 
187.85/66.19	o 47948 
188.20/66.21	o 47947 
189.08/66.43	o 47938 
189.22/66.50	o 47937 
189.22/66.58	o 47928 
189.42/66.61	o 47927 
189.81/66.74	o 47918 
189.81/66.77	o 47917 
238.37/73.18	o 47874 
238.82/73.54	o 47873 
238.82/73.58	o 47853 
239.36/73.93	o 47844 
239.70/74.26	o 47843 
239.70/74.29	o 47834 
240.24/74.61	o 47833 
240.24/74.66	o 47824 
240.66/74.97	o 47823 
240.89/75.01	o 47814 
241.35/75.31	o 47813 
241.78/75.62	o 47743 
241.95/75.71	o 47733 
241.95/75.73	o 47723 
242.35/76.01	o 47714 
242.35/76.04	o 47713 
242.96/76.33	o 47712 
243.21/76.57	o 47704 
243.21/76.59	o 47703 
243.80/76.83	o 47700 
244.07/77.03	o 47699 
244.36/77.25	o 47641 
244.36/77.27	o 47631 
244.65/77.46	o 47630 
244.65/77.48	o 47621 
244.92/77.64	o 47620 
244.92/77.66	o 47611 
245.18/77.81	o 47610 
245.18/77.84	o 47602 
245.41/77.98	o 47601 
247.91/78.41	o 47600 
248.07/78.53	o 47598 
248.07/78.55	o 47539 
248.26/78.65	o 47529 
248.26/78.67	o 47519 
248.44/78.76	o 47509 
248.44/78.78	o 47500 
248.89/78.92	o 47499 
249.47/79.02	o 47498 
249.47/79.08	o 47439 
249.47/79.10	o 47429 
249.74/79.15	o 47419 
249.74/79.18	o 47409 
250.06/79.23	o 47408 
250.42/79.51	o 47400 
250.42/79.52	o 47399 
251.17/79.79	o 47340 
251.54/80.02	o 47330 
251.54/80.04	o 47320 
251.83/80.26	o 47310 
252.11/80.45	o 47308 
252.38/80.67	o 47307 
252.65/80.88	o 47299 
252.94/81.08	o 47297 
253.20/81.26	o 47238 
253.44/81.42	o 47228 
253.44/81.47	o 47218 
253.75/81.63	o 47208 
254.01/81.77	o 47207 
254.38/81.92	o 47199 
254.52/82.05	o 47198 
255.31/82.20	o 46931 
255.44/82.31	o 46820 
255.44/82.33	o 46818 
255.44/82.35	o 46718 
255.66/82.44	o 46708 
255.66/82.46	o 46698 
255.85/82.54	o 46689 
255.85/82.56	o 46688 
256.22/82.65	o 46619 
256.36/82.72	o 46609 
256.36/82.73	o 46599 
256.59/82.82	o 46598 
256.59/82.84	o 46589 
256.59/82.89	o 46588 
256.83/82.95	o 46587 
256.83/82.96	o 46518 
256.83/82.99	o 46508 
257.08/83.03	o 46498 
257.08/83.08	o 46497 
257.44/83.21	o 46488 
257.44/83.25	o 46487 
257.44/83.29	o 46418 
257.72/83.32	o 46408 
257.72/83.34	o 46398 
284.23/86.93	o 46344 
284.90/87.32	o 46343 
285.44/87.72	o 46342 
286.46/88.09	o 46340 
286.93/88.46	o 46339 
287.38/88.81	o 46330 
287.38/88.83	o 46329 
287.85/89.17	o 46328 
302.37/91.09	o 46326 
302.67/91.27	o 46325 
302.85/91.30	o 46324 
303.02/91.46	o 46323 
303.02/91.49	o 46322 
303.33/91.63	o 46321 
303.60/91.77	o 46320 
303.75/91.89	o 46319 
303.91/91.92	o 46318 
304.09/92.04	o 46317 
304.09/92.07	o 46316 
304.34/92.17	o 46315 
304.62/92.31	o 46314 
305.11/92.44	o 46313 
331.64/96.46	o 46312 
332.33/96.89	o 46224 
332.99/97.30	o 46214 
333.21/97.47	o 46213 
333.80/97.88	o 46212 
333.96/97.95	o 46124 
334.55/98.33	o 46114 
334.55/98.36	o 46113 
335.21/98.75	o 46103 
335.71/99.12	o 46102 
389.54/105.97	o 45690 
390.03/106.38	o 45580 
390.16/106.40	o 45481 
390.67/106.80	o 45382 
391.11/107.18	o 45373 
391.25/107.22	o 45364 
391.74/107.60	o 45363 
391.74/107.62	o 45362 
392.38/108.01	o 45282 
392.76/108.35	o 45273 
393.26/108.72	o 45264 
393.26/108.80	o 45263 
394.15/109.13	o 45262 
395.36/109.52	o 45184 
395.77/109.81	o 45183 
395.77/109.88	o 45182 
396.02/109.94	o 45174 
396.41/110.21	o 45173 
396.41/110.27	o 45172 
397.23/110.57	o 45171 
397.69/110.81	o 45163 
397.69/110.85	o 45162 
398.04/111.06	o 45161 
398.79/111.30	o 45160 
399.38/111.49	o 45159 
400.08/111.65	o 44581 
400.26/111.77	o 44580 
400.47/111.89	o 44481 
400.89/112.15	o 44480 
401.08/112.27	o 44479 
401.26/112.33	o 44470 
401.44/112.44	o 44469 
401.44/112.45	o 44468 
401.68/112.54	o 44371 
401.83/112.67	o 44370 
401.99/112.75	o 44369 
402.31/112.93	o 44283 
402.31/113.01	o 44282 
402.51/113.05	o 44281 
402.51/113.10	o 44272 
402.89/113.20	o 44271 
403.05/113.33	o 44270 
403.05/113.35	o 44182 
403.05/113.38	o 44181 
403.41/113.47	o 44180 
403.82/113.61	o 44172 
403.82/113.68	o 44171 
404.08/113.75	o 44170 
404.41/113.82	o 44169 
407.95/114.31	o 43692 
407.95/114.35	o 43592 
407.95/114.37	o 43492 
407.95/114.38	o 43491 
408.23/114.41	o 43482 
408.23/114.45	o 43481 
408.23/114.50	o 43480 
408.54/114.53	o 43393 
408.78/114.61	o 43392 
408.78/114.68	o 43383 
409.00/114.74	o 43382 
409.22/114.82	o 43381 
409.22/114.88	o 43294 
409.51/114.95	o 43293 
409.51/115.00	o 43284 
409.78/115.06	o 43283 
409.97/115.11	o 43282 
410.30/115.29	o 43205 
410.42/115.34	o 43204 
420.46/116.98	o 43150 
420.65/117.06	o 43149 
420.86/117.13	o 43148 
420.86/117.19	o 43147 
421.18/117.25	o 43140 
421.39/117.31	o 43139 
421.39/117.36	o 43138 
421.58/117.40	o 43137 
422.07/117.57	o 43060 
422.25/117.61	o 43059 
422.43/117.75	o 43058 
422.43/117.78	o 43057 
423.04/118.29	o 43050 
423.18/118.33	o 43049 
423.42/118.59	o 43048 
423.56/118.63	o 43047 
423.98/118.70	o 43040 
423.98/118.76	o 43039 
424.16/118.82	o 43038 
424.16/118.89	o 43037 
424.46/118.96	o 42970 
425.01/119.22	o 42969 
425.01/119.28	o 42968 
425.22/119.36	o 42967 
425.55/119.50	o 42960 
425.55/119.53	o 42959 
425.55/119.54	o 42958 
425.55/119.58	o 42957 
426.19/119.72	o 42956 
426.19/119.77	o 42949 
426.42/119.80	o 42948 
426.42/119.85	o 42947 
426.42/119.87	o 42946 
426.73/119.93	o 42939 
426.73/119.99	o 42938 
426.93/120.06	o 42937 
427.09/120.12	o 42936 
427.09/120.18	o 42869 
427.41/120.24	o 42868 
427.41/120.29	o 42867 
427.57/120.30	o 42866 
427.57/120.32	o 42859 
427.74/120.41	o 42858 
427.74/120.44	o 42857 
427.74/120.47	o 42856 
428.07/120.53	o 42849 
428.07/120.55	o 42848 
428.07/120.56	o 42847 
428.07/120.59	o 42846 
428.43/120.63	o 42837 
428.43/120.67	o 42836 
428.91/120.79	o 42827 
429.35/120.81	o 42826 
429.35/120.88	o 42819 
429.67/120.92	o 42818 
429.67/120.98	o 42817 
429.93/121.05	o 42816 
430.44/121.17	o 42815 
430.70/121.22	o 42806 
430.70/121.24	o 42805 
430.70/121.29	o 42746 
430.96/121.32	o 42736 
430.96/121.33	o 42735 
430.96/121.36	o 42726 
431.46/121.62	o 42725 
431.46/121.64	o 42716 
431.46/121.66	o 42715 
432.76/121.92	o 42666 
432.76/121.94	o 42656 
432.95/122.08	o 42655 
433.09/122.19	o 42646 
433.22/122.21	o 42645 
433.41/122.32	o 42636 
433.41/122.37	o 42635 
434.51/122.57	o 42626 
434.68/122.60	o 42625 
434.68/122.69	o 42624 
435.02/122.75	o 42623 
435.02/122.79	o 42614 
435.24/122.84	o 42613 
435.24/122.86	o 42604 
435.48/122.90	o 42603 
435.48/122.95	o 42595 
435.48/122.96	o 42594 
435.48/123.01	o 42585 
435.78/123.02	o 42584 
435.78/123.05	o 42525 
435.78/123.09	o 42524 
436.12/123.12	o 42515 
436.12/123.14	o 42514 
436.12/123.16	o 42505 
436.12/123.19	o 42504 
436.66/123.33	o 27303 
437.19/123.42	o 27204 
437.19/123.45	o 26214 
437.58/123.57	o 26204 
438.65/123.74	o 26104 
446.13/124.77	o 25104 
446.32/124.86	o 25103 
450.03/125.52	o 25006 
450.03/125.56	o 25005 
452.55/125.97	o 24994 
459.95/127.01	o 24985 
460.40/127.19	o 24984 
460.81/127.35	o 24983 
460.81/127.38	o 24570 
461.09/127.48	o 24470 
463.77/127.86	o 24370 
464.64/128.08	o 24369 
480.05/130.06	o 24279 
481.30/130.26	o 24258 
481.90/130.49	o 23267 
484.20/130.80	o 22986 
484.20/130.87	o 22975 
487.73/131.36	o 22974 
503.37/133.37	o 22922 
503.57/133.41	o 22921 
504.27/133.59	o 22894 
544.70/138.63	o 22796 
554.28/139.95	o 22116 
554.47/140.10	o 22026 
554.85/140.22	o 21926 
555.19/140.34	o 21917 
555.39/140.44	o 21907 
559.74/141.01	o 20806 
561.71/141.36	o 20706 
564.19/141.71	o 20705 
571.80/143.20	o 20605 
574.88/143.63	o 20604 
575.17/143.79	o 20594 
589.60/145.63	o 20593 
647.57/152.99	o 20494 
650.92/153.44	o 20484 
736.39/164.47	o 18524 
745.35/165.73	o 17504 
841.66/177.89	o 17496 
842.29/177.97	o 17486 
1297.68/235.08	o 17476 
1298.34/235.22	o 17399 
1298.74/235.34	o 17397 
1298.74/235.38	o 17387 
1455.38/255.04	o 17379 
1613.50/274.97	o 17377 
1621.50/276.11	o 17367 
1629.40/277.18	o 17357 
1638.45/278.36	o 17356 
1638.95/278.44	o 17355 
1639.84/278.61	o 17286 
1639.84/278.67	o 17285 
1640.18/278.70	o 17284 
1645.70/279.46	o 17274 
1652.68/280.40	o 17273 
1699.60/286.79	o 16687 
1702.15/287.13	o 16263 
1713.64/288.68	o 15698 
1714.37/288.84	o 15697 
1724.80/290.22	o 15597 
1749.39/293.35	o 15481 
1749.66/293.47	o 15480 
1755.52/294.29	o 15470 
1834.88/304.22	o 15380 
1839.82/305.04	o 15372 
1840.04/305.18	o 15371 
1841.74/305.44	o 14697 
1866.93/308.60	o 14598 
1866.93/308.64	o 14597 
1869.97/309.08	o 14499 
1870.62/309.13	o 14498 
1873.57/309.60	o 14497 
1946.80/318.81	o 14408 
1946.80/318.89	o 14399 
2077.49/335.32	o 14355 
2077.49/335.36	o 14354 
2077.85/335.40	o 14332 
2077.85/335.43	o 14331 
2257.36/358.08	o 14319 
2257.36/358.11	o 14318 
2324.31/366.50	o 14300 
2341.54/368.78	o 14291 
2363.73/371.64	o 14281 
2388.30/375.22	o 14223 
2388.30/375.26	o 14213 
2388.64/375.31	o 14204 
2388.94/375.42	o 14194 
2551.70/395.90	o 14113 
2554.06/396.27	o 14014 
2562.03/397.30	o 13903 
2562.03/397.39	o 13902 
2620.21/404.84	o 13802 
3390.20/501.45	o 13792 
3392.29/501.75	o 13092 
3788.46/551.45	o 13070 
3789.02/551.50	o 13069 
3807.12/553.83	o 13068 
3807.85/554.06	o 12968 
3809.01/554.29	o 12869 
3812.15/554.70	o 12859 
3813.68/554.91	o 12858 
3819.20/555.64	o 12851 
3848.39/559.60	o 12761 
3855.11/560.73	o 12743 
3908.19/568.15	o 12704 
3908.37/568.29	o 12694 
3908.50/568.36	o 12693 
3951.14/574.51	o 12502 
4013.79/582.76	o 12501 
4016.98/583.91	o 12500 
4145.77/600.57	o 12422 
4315.33/621.99	o 12334 
4414.26/635.19	o 12333 
4447.39/640.05	o 12324 
4906.80/698.44	o 12314 
4909.66/699.60	o 12214 
4925.28/702.08	o 11106 
5758.43/806.83	o 10533 
5758.87/806.90	o 10433 
5762.70/808.04	o 10353 
5764.58/809.20	o 10343 
5779.71/811.18	o 10243 
5787.22/812.15	o 10235 
5813.38/815.54	o 10144 
5832.90/818.07	o 10133 
6086.54/849.96	o 9734 
6087.71/850.22	o 9635 
8572.10/1161.70	o 9536 
8607.05/1166.65	o 9535 
8618.79/1169.00	o 8669 
8618.91/1169.04	o 8660 
8619.49/1169.21	o 8659 
8710.34/1180.83	o 7659 
8735.86/1184.28	o 7658 
8783.75/1190.31	o 7656 
8788.29/1191.40	o 7655 
8788.39/1191.46	o 7554 
9199.73/1243.20	o 7550 
9349.28/1262.59	o 7541 
9365.91/1265.02	o 7529 
9365.91/1265.09	o 7528 
9641.88/1299.78	o 7508 
9643.84/1300.95	o 7507 
10313.63/1385.24	o 7410 
10591.83/1420.90	o 6723 
10593.72/1422.19	o 6722 
10594.16/1422.31	o 6713 
10595.74/1423.50	o 6712 
10637.11/1428.70	o 6711 
10684.94/1434.73	o 6611 
11227.88/1502.95	o 6601 
11534.09/1541.40	o 6503 
12475.70/1659.58	o 6502 
13543.59/1793.67	o 6079 
13549.18/1794.46	o 6078 
13912.68/1840.22	o 6068 
13912.97/1840.37	o 6061 
13914.37/1841.42	o 6060 
13917.66/1842.55	o 6034 
13917.90/1842.60	o 6027 
13919.37/1843.61	o 6017 
13919.37/1843.69	o 6014 
13920.12/1843.86	o 6004 
13921.27/1844.84	o 6003 
13921.50/1844.93	o 6000 
13925.44/1845.96	o 5992 
13925.74/1846.05	o 5982 
13927.44/1847.22	o 5981 
13928.08/1847.48	o 5980 
13928.32/1847.57	o 5979 
13928.75/1847.66	o 5972 
13929.14/1847.84	o 5971 
13929.46/1847.95	o 5970 
13929.97/1848.11	o 5968 
13930.40/1848.26	o 5957 
13930.65/1848.36	o 5947 
13992.50/1856.14	o 5946 
14053.99/1863.90	o 5835 
18323.87/2399.28	o 5833 
18616.50/2436.03	o 5832 
18616.50/2436.09	o 5831 
19285.82/2520.07	s SATISFIABLE
19285.82/2520.07	v <instantiation>
19285.82/2520.07	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] za1[0] za1[1] za1[2] za1[3] za1[4] za1[5] za1[6] za1[7] za1[8] za1[9] za1[10] za1[11] za1[12] za1[13] za1[14] za1[15] za1[16] za1[17] za1[18] za1[19] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za2[0] za2[1] za2[2] za2[3] za2[4] za2[5] za2[6] za2[7] za2[8] za2[9] za2[10] za2[11] za2[12] za2[13] za2[14] za2[15] za2[16] za2[17] za2[18] za2[19] za2[20] za2[21] za2[22] za2[23] za2[24] za2[25] za2[26] za2[27] za2[28] za2[29] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za3[0] za3[1] za3[2] za3[3] za3[4] za3[5] za3[6] za3[7] za3[8] za3[9] za3[10] za3[11] za3[12] za3[13] za3[14] za3[15] za3[16] za3[17] za3[18] za3[19] za3[20] za3[21] za3[22] za3[23] za3[24] za3[25] za3[26] za3[27] za3[28] za3[29] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[270] za3[271] za3[272] za3[273] za4[0] za4[1] za4[2] za4[3] za4[4] za4[5] za4[6] za4[7] za4[8] za4[9] za4[10] za4[11] za4[12] za4[13] za4[14] za4[15] za4[16] za4[17] za4[18] za4[19] za4[20] za4[21] za4[22] za4[23] za4[24] za4[25] za4[26] za4[27] za4[28] za4[29] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] </list>
19285.82/2520.07	v 	<values>456 694 792 554 72 310 240 478 142 380 792 554 750 512 268 30 16 254 414 652 722 484 240 478 666 428 722 484 484 722 128 366 708 470 722 484 498 736 16 254 268 30 128 366 540 778 296 58 428 666 778 540 484 722 114 352 652 414 722 484 44 282 652 414 268 30 750 512 764 526 100 338 240 478 708 470 498 736 414 652 100 338 16 254 16 254 792 554 750 512 666 428 722 484 72 310 380 142 414 652 484 722 778 540 722 484 792 554 16 254 16 254 16 254 16 254 366 128 554 792 170 408 170 408 282 44 680 442 114 352 764 526 526 764 240 478 554 792 750 512 72 310 736 498 394 156 16 254 16 254 778 540 156 394 470 708 778 540 30 268 156 394 58 296 128 366 30 268 86 324 694 456 792 554 652 414 254 16 268 30 30 268 554 792 554 792 750 512 526 764 16 254 408 170 72 310 16 254 554 792 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 100 100 0 100 100 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 100 100 0 0 100 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 100 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 100 0 0 0 0 100 100 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 10 0 0 0 0 0 0 10 0 0 0 10 0 0 0 10 0 0 10 0 10 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 10 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 10 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 1 1 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 1 0 1 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 1 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 1 1 1 0 0 1 1 1 0 1 1 1 1 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 1 0 </values>
19285.82/2520.07	v </instantiation>
19285.82/2520.07	c Unexpected resolution interruption!

Verifier Data 

OK	5831

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404751-1569011484/watcher-4404751-1569011484 -o /var/tmp/evaluation-result-4404751-1569011484/solver-4404751-1569011484 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node124-1569005314-11667 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 33766634 HOME/instance-4404751-1569011484.xml 

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

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


[startup+0.10059 s]*
/proc/loadavg: 8.56 7.84 7.96 3/213 14517
/proc/meminfo: memFree=15743984/32770624 swapFree=66976740/67108860
[pid=14496] ppid=14493 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14496/stat : 14496 (xcsp3-exec) S 14493 14496 11640 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477088529 115843072 363 33554432000 4194304 5098028 140734079007328 140734079005432 140283667141244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18616320 140734079013715 140734079013973 140734079013973 140734079016902 0
/proc/14496/statm: 28282 363 304 221 0 87 0
[pid=14498] ppid=14496 vsize=28227396 memory=28760 CPUtime=0.11 cores=0-7
/proc/14498/stat : 14498 (java) S 14496 14496 11640 0 -1 1077944320 5672 0 0 0 10 1 0 0 20 0 20 0 477088530 28904853504 7190 33554432000 4194304 4196468 140723245701952 140723245684496 139942101942007 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
/proc/14498/statm: 7056849 7190 3114 1 0 7019032 0
[pid=14498/tid=14499] ppid=14496 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/14498/task/14499/stat : 14499 (java) R 14496 14496 11640 0 -1 4202560 3585 0 0 0 7 1 0 0 20 0 20 0 477088530 28904853504 7190 33554432000 4194304 4196468 140723245701952 139942106168424 139942080386807 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14500] ppid=14496 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/14498/task/14500/stat : 14500 (java) S 14496 14496 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477088531 28904853504 7190 33554432000 4194304 4196468 140723245701952 139942054562704 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14501] ppid=14496 vsize=28227396 memory=140239751599744 CPUtime=0 cores=0-7
/proc/14498/task/14501/stat : 14501 (java) S 14496 14496 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477088531 28904853504 7190 33554432000 4194304 4196468 140723245701952 139942053509904 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14502] ppid=14496 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14502/stat : 14502 (java) S 14496 14496 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477088531 28904853504 7190 33554432000 4194304 4196468 140723245701952 139942052457616 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14503] ppid=14496 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14503/stat : 14503 (java) S 14496 14496 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477088531 28904853504 7190 33554432000 4194304 4196468 140723245701952 139942051404816 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14504] ppid=14496 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14504/stat : 14504 (java) S 14496 14496 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477088531 28904853504 7190 33554432000 4194304 4196468 140723245701952 139942050351504 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14505] ppid=14496 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14498/task/14505/stat : 14505 (java) S 14496 14496 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477088531 28904853504 7190 33554432000 4194304 4196468 140723245701952 139942049298704 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14506] ppid=14496 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14506/stat : 14506 (java) S 14496 14496 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477088531 28904853504 7190 33554432000 4194304 4196468 140723245701952 139942048246416 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14507] ppid=14496 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14507/stat : 14507 (java) S 14496 14496 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477088531 28904853504 7190 33554432000 4194304 4196468 140723245701952 139941646293520 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14508] ppid=14496 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14508/stat : 14508 (java) S 14496 14496 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477088532 28904853504 7190 33554432000 4194304 4196468 140723245701952 139941419575920 139942101953154 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14509] ppid=14496 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14509/stat : 14509 (java) S 14496 14496 11640 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477088533 28904853504 7190 33554432000 4194304 4196468 140723245701952 139941418521888 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14510] ppid=14496 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14510/stat : 14510 (java) S 14496 14496 11640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477088533 28904853504 7190 33554432000 4194304 4196468 140723245701952 139941417469552 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14511] ppid=14496 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14511/stat : 14511 (java) S 14496 14496 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477088535 28904853504 7190 33554432000 4194304 4196468 140723245701952 139941416417872 139942101960603 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14512] ppid=14496 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14512/stat : 14512 (java) S 14496 14496 11640 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 20 0 477088535 28904853504 7190 33554432000 4194304 4196468 140723245701952 139941415364720 139942101953154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14513] ppid=14496 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14513/stat : 14513 (java) S 14496 14496 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477088535 28904853504 7190 33554432000 4194304 4196468 140723245701952 139941414311920 139942101953154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14514] ppid=14496 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14514/stat : 14514 (java) S 14496 14496 11640 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 477088535 28904853504 7190 33554432000 4194304 4196468 140723245701952 139941413259632 139942101953154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14515] ppid=14496 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/14498/task/14515/stat : 14515 (java) S 14496 14496 11640 0 -1 1077944384 337 0 0 0 1 0 0 0 20 0 20 0 477088535 28904853504 7190 33554432000 4194304 4196468 140723245701952 139941412206832 139942101953154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14516] ppid=14496 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14516/stat : 14516 (java) S 14496 14496 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477088536 28904853504 7190 33554432000 4194304 4196468 140723245701952 139941411154784 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14517] ppid=14496 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14498/task/14517/stat : 14517 (java) S 14496 14496 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477088536 28904853504 7190 33554432000 4194304 4196468 140723245701952 139941410102064 139942101953154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30212 KiB

[startup+0.211798 s]*
/proc/loadavg: 8.56 7.84 7.96 3/213 14517
/proc/meminfo: memFree=15730016/32770624 swapFree=66976740/67108860
[pid=14496] ppid=14493 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14496/stat : 14496 (xcsp3-exec) S 14493 14496 11640 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477088529 115843072 363 33554432000 4194304 5098028 140734079007328 140734079005432 140283667141244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18616320 140734079013715 140734079013973 140734079013973 140734079016902 0
/proc/14496/statm: 28282 363 304 221 0 87 0
[pid=14498] ppid=14496 vsize=28227396 memory=41344 CPUtime=0.33 cores=0-7
/proc/14498/stat : 14498 (java) S 14496 14496 11640 0 -1 1077944320 9537 0 0 0 30 3 0 0 20 0 20 0 477088530 28904853504 10336 33554432000 4194304 4196468 140723245701952 140723245684496 139942101942007 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
/proc/14498/statm: 7056849 10336 3307 1 0 7019032 0
[pid=14498/tid=14499] ppid=14496 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/14498/task/14499/stat : 14499 (java) R 14496 14496 11640 0 -1 4202560 6610 0 0 0 17 2 0 0 20 0 20 0 477088530 28904853504 10336 33554432000 4194304 4196468 140723245701952 139942106171728 139942094620021 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14500] ppid=14496 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/14498/task/14500/stat : 14500 (java) S 14496 14496 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477088531 28904853504 10336 33554432000 4194304 4196468 140723245701952 139942054562704 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14501] ppid=14496 vsize=28227396 memory=3834167188191172256 CPUtime=0 cores=0-7
/proc/14498/task/14501/stat : 14501 (java) S 14496 14496 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477088531 28904853504 10336 33554432000 4194304 4196468 140723245701952 139942053509904 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14502] ppid=14496 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14498/task/14502/stat : 14502 (java) S 14496 14496 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477088531 28904853504 10336 33554432000 4194304 4196468 140723245701952 139942052457616 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14503] ppid=14496 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14503/stat : 14503 (java) S 14496 14496 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477088531 28904853504 10336 33554432000 4194304 4196468 140723245701952 139942051404816 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14504] ppid=14496 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14504/stat : 14504 (java) S 14496 14496 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477088531 28904853504 10336 33554432000 4194304 4196468 140723245701952 139942050351504 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14505] ppid=14496 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14498/task/14505/stat : 14505 (java) S 14496 14496 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477088531 28904853504 10336 33554432000 4194304 4196468 140723245701952 139942049298704 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14506] ppid=14496 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14506/stat : 14506 (java) S 14496 14496 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477088531 28904853504 10336 33554432000 4194304 4196468 140723245701952 139942048246416 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14507] ppid=14496 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14507/stat : 14507 (java) S 14496 14496 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477088531 28904853504 10336 33554432000 4194304 4196468 140723245701952 139941646293520 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14508] ppid=14496 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14508/stat : 14508 (java) S 14496 14496 11640 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477088532 28904853504 10336 33554432000 4194304 4196468 140723245701952 139941419575920 139942101953154 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14509] ppid=14496 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14509/stat : 14509 (java) S 14496 14496 11640 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477088533 28904853504 10336 33554432000 4194304 4196468 140723245701952 139941418521888 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14510] ppid=14496 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14510/stat : 14510 (java) S 14496 14496 11640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477088533 28904853504 10336 33554432000 4194304 4196468 140723245701952 139941417469552 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14511] ppid=14496 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14511/stat : 14511 (java) S 14496 14496 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477088535 28904853504 10336 33554432000 4194304 4196468 140723245701952 139941416417872 139942101960603 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14512] ppid=14496 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/14498/task/14512/stat : 14512 (java) S 14496 14496 11640 0 -1 1077944384 354 0 0 0 1 0 0 0 20 0 20 0 477088535 28904853504 10336 33554432000 4194304 4196468 140723245701952 139941415364720 139942101953154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14513] ppid=14496 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/14498/task/14513/stat : 14513 (java) S 14496 14496 11640 0 -1 1077944384 93 0 0 0 1 0 0 0 20 0 20 0 477088535 28904853504 10336 33554432000 4194304 4196468 140723245701952 139941414311920 139942101953154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14514] ppid=14496 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/14498/task/14514/stat : 14514 (java) S 14496 14496 11640 0 -1 1077944384 436 0 0 0 2 0 0 0 20 0 20 0 477088535 28904853504 10336 33554432000 4194304 4196468 140723245701952 139941413259632 139942101953154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14515] ppid=14496 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/14498/task/14515/stat : 14515 (java) R 14496 14496 11640 0 -1 4202560 730 0 0 0 7 0 0 0 20 0 20 0 477088535 28904853504 10336 33554432000 4194304 4196468 140723245701952 139941412206832 139942081077667 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14516] ppid=14496 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14516/stat : 14516 (java) S 14496 14496 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477088536 28904853504 10336 33554432000 4194304 4196468 140723245701952 139941411154784 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14517] ppid=14496 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14498/task/14517/stat : 14517 (java) S 14496 14496 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477088536 28904853504 10336 33554432000 4194304 4196468 140723245701952 139941410102064 139942101953154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42796 KiB

[startup+0.310637 s]*
/proc/loadavg: 8.56 7.84 7.96 3/213 14519
/proc/meminfo: memFree=15723080/32770624 swapFree=66976740/67108860
[pid=14496] ppid=14493 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14496/stat : 14496 (xcsp3-exec) S 14493 14496 11640 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477088529 115843072 363 33554432000 4194304 5098028 140734079007328 140734079005432 140283667141244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18616320 140734079013715 140734079013973 140734079013973 140734079016902 0
/proc/14496/statm: 28282 363 304 221 0 87 0
[pid=14498] ppid=14496 vsize=28231652 memory=49052 CPUtime=0.51 cores=0-7
/proc/14498/stat : 14498 (java) S 14496 14496 11640 0 -1 1077944320 10684 0 0 0 47 4 0 0 20 0 20 0 477088530 28909211648 12263 33554432000 4194304 4196468 140723245701952 140723245684496 139942101942007 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
/proc/14498/statm: 7057913 12263 3336 1 0 7019032 0
[pid=14498/tid=14499] ppid=14496 vsize=28231652 memory=6791534058613427641 CPUtime=0.28 cores=0-7
/proc/14498/task/14499/stat : 14499 (java) R 14496 14496 11640 0 -1 4202560 7665 0 0 0 26 2 0 0 20 0 20 0 477088530 28909211648 12327 33554432000 4194304 4196468 140723245701952 139942106178440 139942101963933 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14500] ppid=14496 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14500/stat : 14500 (java) S 14496 14496 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477088531 28909211648 12327 33554432000 4194304 4196468 140723245701952 139942054562704 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14501] ppid=14496 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14501/stat : 14501 (java) S 14496 14496 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477088531 28909211648 12327 33554432000 4194304 4196468 140723245701952 139942053509904 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14502] ppid=14496 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14502/stat : 14502 (java) S 14496 14496 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477088531 28909211648 12327 33554432000 4194304 4196468 140723245701952 139942052457616 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14503] ppid=14496 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14503/stat : 14503 (java) S 14496 14496 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477088531 28909211648 12327 33554432000 4194304 4196468 140723245701952 139942051404816 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14504] ppid=14496 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/14498/task/14504/stat : 14504 (java) S 14496 14496 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477088531 28909211648 12327 33554432000 4194304 4196468 140723245701952 139942050351504 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14505] ppid=14496 vsize=28231652 memory=140239607788463 CPUtime=0 cores=0-7
/proc/14498/task/14505/stat : 14505 (java) S 14496 14496 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477088531 28909211648 12327 33554432000 4194304 4196468 140723245701952 139942049298704 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14506] ppid=14496 vsize=28231652 memory=140239607790768 CPUtime=0 cores=0-7
/proc/14498/task/14506/stat : 14506 (java) S 14496 14496 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477088531 28909211648 12327 33554432000 4194304 4196468 140723245701952 139942048246416 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14507] ppid=14496 vsize=28231652 memory=140239607793072 CPUtime=0 cores=0-7
/proc/14498/task/14507/stat : 14507 (java) S 14496 14496 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477088531 28909211648 12327 33554432000 4194304 4196468 140723245701952 139941646293520 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14508] ppid=14496 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14508/stat : 14508 (java) S 14496 14496 11640 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477088532 28909211648 12327 33554432000 4194304 4196468 140723245701952 139941419575920 139942101953154 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14509] ppid=14496 vsize=28231652 memory=280479215593104 CPUtime=0 cores=0-7
/proc/14498/task/14509/stat : 14509 (java) S 14496 14496 11640 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477088533 28909211648 12327 33554432000 4194304 4196468 140723245701952 139941418521888 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14510] ppid=14496 vsize=28231652 memory=280479215600016 CPUtime=0 cores=0-7
/proc/14498/task/14510/stat : 14510 (java) S 14496 14496 11640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477088533 28909211648 12327 33554432000 4194304 4196468 140723245701952 139941417469552 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14511] ppid=14496 vsize=28231652 memory=280479215541296 CPUtime=0 cores=0-7
/proc/14498/task/14511/stat : 14511 (java) S 14496 14496 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477088535 28909211648 12327 33554432000 4194304 4196468 140723245701952 139941416417872 139942101960603 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14512] ppid=14496 vsize=28231652 memory=280479215613840 CPUtime=0.02 cores=0-7
/proc/14498/task/14512/stat : 14512 (java) S 14496 14496 11640 0 -1 1077944384 372 0 0 0 2 0 0 0 20 0 20 0 477088535 28909211648 12327 33554432000 4194304 4196468 140723245701952 139941415364720 139942101953154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14513] ppid=14496 vsize=28231652 memory=280479215620752 CPUtime=0.02 cores=0-7
/proc/14498/task/14513/stat : 14513 (java) S 14496 14496 11640 0 -1 1077944384 93 0 0 0 2 0 0 0 20 0 20 0 477088535 28909211648 12327 33554432000 4194304 4196468 140723245701952 139941414311920 139942101953154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14514] ppid=14496 vsize=28231652 memory=280479215618448 CPUtime=0.02 cores=0-7
/proc/14498/task/14514/stat : 14514 (java) R 14496 14496 11640 0 -1 4202560 436 0 0 0 2 0 0 0 20 0 20 0 477088535 28909211648 12327 33554432000 4194304 4196468 140723245701952 139941413250016 139942081161278 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14515] ppid=14496 vsize=28231652 memory=280479215634608 CPUtime=0.13 cores=0-7
/proc/14498/task/14515/stat : 14515 (java) S 14496 14496 11640 0 -1 1077944384 812 0 0 0 13 0 0 0 20 0 20 0 477088535 28909211648 12327 33554432000 4194304 4196468 140723245701952 139941412206832 139942101953154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14516] ppid=14496 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14516/stat : 14516 (java) S 14496 14496 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477088536 28909211648 12327 33554432000 4194304 4196468 140723245701952 139941411154784 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14517] ppid=14496 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/14498/task/14517/stat : 14517 (java) S 14496 14496 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477088536 28909211648 12327 33554432000 4194304 4196468 140723245701952 139941410102064 139942101953154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 50504 KiB

[startup+0.703421 s]
/proc/loadavg: 8.56 7.84 7.96 6/213 14519
/proc/meminfo: memFree=15699308/32770624 swapFree=66976740/67108860
[pid=14496] ppid=14493 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14496/stat : 14496 (xcsp3-exec) S 14493 14496 11640 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477088529 115843072 363 33554432000 4194304 5098028 140734079007328 140734079005432 140283667141244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18616320 140734079013715 140734079013973 140734079013973 140734079016902 0
/proc/14496/statm: 28282 363 304 221 0 87 0
[pid=14498] ppid=14496 vsize=28233776 memory=98076 CPUtime=1.97 cores=0-7
/proc/14498/stat : 14498 (java) S 14496 14496 11640 0 -1 1077944320 17199 0 0 0 192 5 0 0 20 0 20 0 477088530 28911386624 24519 33554432000 4194304 4196468 140723245701952 140723245684496 139942101942007 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
/proc/14498/statm: 7058444 24519 3461 1 0 7019544 0
[pid=14498/tid=14499] ppid=14496 vsize=28233776 memory=280479215992496 CPUtime=0.66 cores=0-7
/proc/14498/task/14499/stat : 14499 (java) R 14496 14496 11640 0 -1 4202560 9252 0 0 0 63 3 0 0 20 0 20 0 477088530 28911386624 24519 33554432000 4194304 4196468 140723245701952 139942106170080 139942082586911 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14500] ppid=14496 vsize=28233776 memory=140239607997296 CPUtime=0 cores=0-7
/proc/14498/task/14500/stat : 14500 (java) S 14496 14496 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477088531 28911386624 24519 33554432000 4194304 4196468 140723245701952 139942054562704 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14501] ppid=14496 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14501/stat : 14501 (java) S 14496 14496 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477088531 28911386624 24519 33554432000 4194304 4196468 140723245701952 139942053509904 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14502] ppid=14496 vsize=28233776 memory=1060 CPUtime=0 cores=0-7
/proc/14498/task/14502/stat : 14502 (java) S 14496 14496 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477088531 28911386624 24519 33554432000 4194304 4196468 140723245701952 139942052457616 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0

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

[pid=14498/tid=23771] ppid=14496 vsize=28769364 memory=3626864 CPUtime=6.2 cores=0-7
/proc/14498/task/23771/stat : 23771 (java) R 14496 14496 11640 0 -1 4202560 567 0 0 0 619 1 0 0 20 0 28 0 477332139 29459828736 906716 33554432000 4194304 4196468 140723245701952 139941397734200 139941738209498 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
Current children cumulated CPU time: 18666.2 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 3628316 KiB

[startup+2502.3 s]
/proc/loadavg: 8.01 8.17 8.13 9/220 23774
/proc/meminfo: memFree=12156628/32770624 swapFree=66976744/67108860
[pid=14496] ppid=14493 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14496/stat : 14496 (xcsp3-exec) S 14493 14496 11640 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477088529 115843072 363 33554432000 4194304 5098028 140734079007328 140734079005432 140283667141244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18616320 140734079013715 140734079013973 140734079013973 140734079016902 0
/proc/14496/statm: 28282 363 304 221 0 87 0
[pid=14498] ppid=14496 vsize=28769364 memory=3602764 CPUtime=19144.7 cores=0-7
/proc/14498/stat : 14498 (java) S 14496 14496 11640 0 -1 1077944320 1887193 0 0 0 1912955 1511 0 0 20 0 28 0 477088530 29459828736 900691 33554432000 4194304 4196468 140723245701952 140723245684496 139942101942007 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
/proc/14498/statm: 7192341 900691 3560 1 0 7153441 0
[pid=14498/tid=14499] ppid=14496 vsize=28769364 memory=3602764 CPUtime=8.25 cores=0-7
/proc/14498/task/14499/stat : 14499 (java) S 14496 14496 11640 0 -1 1077944384 34715 0 0 0 801 24 0 0 20 0 28 0 477088530 29459828736 900691 33554432000 4194304 4196468 140723245701952 139942106182720 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14500] ppid=14496 vsize=28769364 memory=3816856 CPUtime=1.54 cores=0-7
/proc/14498/task/14500/stat : 14500 (java) S 14496 14496 11640 0 -1 1077944384 12064 0 0 0 110 44 0 0 20 0 28 0 477088531 29459828736 900691 33554432000 4194304 4196468 140723245701952 139942054562704 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14501] ppid=14496 vsize=28769364 memory=3813052 CPUtime=1.54 cores=0-7
/proc/14498/task/14501/stat : 14501 (java) S 14496 14496 11640 0 -1 1077944384 10380 0 0 0 110 44 0 0 20 0 28 0 477088531 29459828736 900691 33554432000 4194304 4196468 140723245701952 139942053509904 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14502] ppid=14496 vsize=28769364 memory=3816856 CPUtime=1.56 cores=0-7
/proc/14498/task/14502/stat : 14502 (java) S 14496 14496 11640 0 -1 1077944384 9673 0 0 0 111 45 0 0 20 0 28 0 477088531 29459828736 900691 33554432000 4194304 4196468 140723245701952 139942052457616 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14503] ppid=14496 vsize=28769364 memory=1452 CPUtime=1.53 cores=0-7
/proc/14498/task/14503/stat : 14503 (java) S 14496 14496 11640 0 -1 1077944384 8841 0 0 0 110 43 0 0 20 0 28 0 477088531 29459828736 900691 33554432000 4194304 4196468 140723245701952 139942051404816 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14504] ppid=14496 vsize=28769364 memory=3767928 CPUtime=1.48 cores=0-7
/proc/14498/task/14504/stat : 14504 (java) S 14496 14496 11640 0 -1 1077944384 9359 0 0 0 106 42 0 0 20 0 28 0 477088531 29459828736 900691 33554432000 4194304 4196468 140723245701952 139942050351504 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14505] ppid=14496 vsize=28769364 memory=3767928 CPUtime=1.53 cores=0-7
/proc/14498/task/14505/stat : 14505 (java) S 14496 14496 11640 0 -1 1077944384 12180 0 0 0 109 44 0 0 20 0 28 0 477088531 29459828736 900691 33554432000 4194304 4196468 140723245701952 139942049298704 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14506] ppid=14496 vsize=28769364 memory=3765904 CPUtime=1.55 cores=0-7
/proc/14498/task/14506/stat : 14506 (java) S 14496 14496 11640 0 -1 1077944384 11374 0 0 0 110 45 0 0 20 0 28 0 477088531 29459828736 900691 33554432000 4194304 4196468 140723245701952 139942048246416 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14507] ppid=14496 vsize=28769364 memory=3706200 CPUtime=1.51 cores=0-7
/proc/14498/task/14507/stat : 14507 (java) S 14496 14496 11640 0 -1 1077944384 11575 0 0 0 109 42 0 0 20 0 28 0 477088531 29459828736 900691 33554432000 4194304 4196468 140723245701952 139941646293520 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14508] ppid=14496 vsize=28769364 memory=3688256 CPUtime=0.27 cores=0-7
/proc/14498/task/14508/stat : 14508 (java) S 14496 14496 11640 0 -1 1077944384 25794 0 0 0 18 9 0 0 20 0 28 0 477088532 29459828736 900691 33554432000 4194304 4196468 140723245701952 139941419575920 139942101953154 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14509] ppid=14496 vsize=28769364 memory=3682100 CPUtime=0 cores=0-7
/proc/14498/task/14509/stat : 14509 (java) S 14496 14496 11640 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 477088533 29459828736 900691 33554432000 4194304 4196468 140723245701952 139941418521952 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14510] ppid=14496 vsize=28769364 memory=3637564 CPUtime=0 cores=0-7
/proc/14498/task/14510/stat : 14510 (java) S 14496 14496 11640 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 477088533 29459828736 900691 33554432000 4194304 4196468 140723245701952 139941417469568 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14511] ppid=14496 vsize=28769364 memory=3626804 CPUtime=0 cores=0-7
/proc/14498/task/14511/stat : 14511 (java) S 14496 14496 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477088535 29459828736 900691 33554432000 4194304 4196468 140723245701952 139941416417872 139942101960603 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14512] ppid=14496 vsize=28769364 memory=1452 CPUtime=4.68 cores=0-7
/proc/14498/task/14512/stat : 14512 (java) S 14496 14496 11640 0 -1 1077944384 34229 0 0 0 462 6 0 0 20 0 28 0 477088535 29459828736 900691 33554432000 4194304 4196468 140723245701952 139941415364720 139942101953154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14513] ppid=14496 vsize=28769364 memory=3620720 CPUtime=4.5 cores=0-7
/proc/14498/task/14513/stat : 14513 (java) S 14496 14496 11640 0 -1 1077944384 32330 0 0 0 445 5 0 0 20 0 28 0 477088535 29459828736 900691 33554432000 4194304 4196468 140723245701952 139941414311920 139942101953154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14514] ppid=14496 vsize=28769364 memory=3608920 CPUtime=4.23 cores=0-7
/proc/14498/task/14514/stat : 14514 (java) S 14496 14496 11640 0 -1 1077944384 30343 0 0 0 418 5 0 0 20 0 28 0 477088535 29459828736 900691 33554432000 4194304 4196468 140723245701952 139941413259632 139942101953154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14515] ppid=14496 vsize=28769364 memory=3608920 CPUtime=1.3 cores=0-7
/proc/14498/task/14515/stat : 14515 (java) S 14496 14496 11640 0 -1 1077944384 31084 0 0 0 125 5 0 0 20 0 28 0 477088535 29459828736 900691 33554432000 4194304 4196468 140723245701952 139941412206832 139942101953154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14516] ppid=14496 vsize=28769364 memory=3607380 CPUtime=0 cores=0-7
/proc/14498/task/14516/stat : 14516 (java) S 14496 14496 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477088536 29459828736 900691 33554432000 4194304 4196468 140723245701952 139941411154784 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14517] ppid=14496 vsize=28769364 memory=3602764 CPUtime=0.99 cores=0-7
/proc/14498/task/14517/stat : 14517 (java) S 14496 14496 11640 0 -1 1077944384 12550 0 0 0 53 46 0 0 20 0 28 0 477088536 29459828736 900691 33554432000 4194304 4196468 140723245701952 139941410102064 139942101953154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=23764] ppid=14496 vsize=28769364 memory=3602764 CPUtime=66.12 cores=0-7
/proc/14498/task/23764/stat : 23764 (java) R 14496 14496 11640 0 -1 4202560 13116 0 0 0 6609 3 0 0 20 0 28 0 477332139 29459828736 900691 33554432000 4194304 4196468 140723245701952 139941392470296 139941732578676 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=23765] ppid=14496 vsize=28769364 memory=3602764 CPUtime=65.35 cores=0-7
/proc/14498/task/23765/stat : 23765 (java) R 14496 14496 11640 0 -1 4202560 2455 0 0 0 6533 2 0 0 20 0 28 0 477332139 29459828736 900691 33554432000 4194304 4196468 140723245701952 139941391418472 139941732579303 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=23766] ppid=14496 vsize=28769364 memory=1452 CPUtime=66.12 cores=0-7
/proc/14498/task/23766/stat : 23766 (java) R 14496 14496 11640 0 -1 4202560 2688 0 0 0 6609 3 0 0 20 0 28 0 477332139 29459828736 900691 33554432000 4194304 4196468 140723245701952 139941390365160 139941732578461 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=23767] ppid=14496 vsize=28769364 memory=3602764 CPUtime=66.11 cores=0-7
/proc/14498/task/23767/stat : 23767 (java) R 14496 14496 11640 0 -1 4202560 20597 0 0 0 6606 5 0 0 20 0 28 0 477332139 29459828736 900691 33554432000 4194304 4196468 140723245701952 139941394575720 139941738209498 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=23768] ppid=14496 vsize=28769364 memory=1452 CPUtime=65.7 cores=0-7
/proc/14498/task/23768/stat : 23768 (java) R 14496 14496 11640 0 -1 4202560 2067 0 0 0 6567 3 0 0 20 0 28 0 477332139 29459828736 900691 33554432000 4194304 4196468 140723245701952 139941393523432 139941732578821 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=23769] ppid=14496 vsize=28769364 memory=1452 CPUtime=66.12 cores=0-7
/proc/14498/task/23769/stat : 23769 (java) R 14496 14496 11640 0 -1 4202560 3503 0 0 0 6609 3 0 0 20 0 28 0 477332139 29459828736 900691 33554432000 4194304 4196468 140723245701952 139941396684128 139941738209668 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=23770] ppid=14496 vsize=28769364 memory=3602764 CPUtime=65.94 cores=0-7
/proc/14498/task/23770/stat : 23770 (java) R 14496 14496 11640 0 -1 4202560 2472 0 0 0 6594 0 0 0 20 0 28 0 477332139 29459828736 900691 33554432000 4194304 4196468 140723245701952 139941398786528 139941738209589 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=23771] ppid=14496 vsize=28769364 memory=7518596186239821932 CPUtime=66.12 cores=0-7
/proc/14498/task/23771/stat : 23771 (java) R 14496 14496 11640 0 -1 4202560 5026 0 0 0 6609 3 0 0 20 0 28 0 477332139 29459828736 900691 33554432000 4194304 4196468 140723245701952 139941397733768 139941733302536 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
Current children cumulated CPU time: 19144.7 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 3604216 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.01 8.16 8.13 9/220 23774
/proc/meminfo: memFree=12161240/32770624 swapFree=66976744/67108860
[pid=14496] ppid=14493 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14496/stat : 14496 (xcsp3-exec) S 14493 14496 11640 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477088529 115843072 363 33554432000 4194304 5098028 140734079007328 140734079005432 140283667141244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18616320 140734079013715 140734079013973 140734079013973 140734079016902 0
/proc/14496/statm: 28282 363 304 221 0 87 0
[pid=14498] ppid=14496 vsize=28769364 memory=3598676 CPUtime=19285.8 cores=0-7
/proc/14498/stat : 14498 (java) S 14496 14496 11640 0 -1 1077944320 1904433 0 0 0 1927062 1520 0 0 20 0 28 0 477088530 29459828736 899669 33554432000 4194304 4196468 140723245701952 140723245684496 139942101942007 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
/proc/14498/statm: 7192341 899669 3560 1 0 7153441 0
[pid=14498/tid=14499] ppid=14496 vsize=28769364 memory=7518596186239821932 CPUtime=8.25 cores=0-7
/proc/14498/task/14499/stat : 14499 (java) S 14496 14496 11640 0 -1 1077944384 34715 0 0 0 801 24 0 0 20 0 28 0 477088530 29459828736 899669 33554432000 4194304 4196468 140723245701952 139942106182720 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14500] ppid=14496 vsize=28769364 memory=4872558044660077418 CPUtime=1.55 cores=0-7
/proc/14498/task/14500/stat : 14500 (java) S 14496 14496 11640 0 -1 1077944384 12475 0 0 0 111 44 0 0 20 0 28 0 477088531 29459828736 899669 33554432000 4194304 4196468 140723245701952 139942054562704 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14501] ppid=14496 vsize=28769364 memory=3598676 CPUtime=1.55 cores=0-7
/proc/14498/task/14501/stat : 14501 (java) S 14496 14496 11640 0 -1 1077944384 10561 0 0 0 111 44 0 0 20 0 28 0 477088531 29459828736 899669 33554432000 4194304 4196468 140723245701952 139942053509904 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14502] ppid=14496 vsize=28769364 memory=580 CPUtime=1.57 cores=0-7
/proc/14498/task/14502/stat : 14502 (java) S 14496 14496 11640 0 -1 1077944384 10588 0 0 0 112 45 0 0 20 0 28 0 477088531 29459828736 899669 33554432000 4194304 4196468 140723245701952 139942052457616 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14503] ppid=14496 vsize=28769364 memory=1716 CPUtime=1.54 cores=0-7
/proc/14498/task/14503/stat : 14503 (java) S 14496 14496 11640 0 -1 1077944384 9000 0 0 0 111 43 0 0 20 0 28 0 477088531 29459828736 899669 33554432000 4194304 4196468 140723245701952 139942051404816 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14504] ppid=14496 vsize=28769364 memory=2124 CPUtime=1.49 cores=0-7
/proc/14498/task/14504/stat : 14504 (java) S 14496 14496 11640 0 -1 1077944384 9952 0 0 0 107 42 0 0 20 0 28 0 477088531 29459828736 899669 33554432000 4194304 4196468 140723245701952 139942050351504 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14505] ppid=14496 vsize=28769364 memory=500 CPUtime=1.54 cores=0-7
/proc/14498/task/14505/stat : 14505 (java) S 14496 14496 11640 0 -1 1077944384 12278 0 0 0 110 44 0 0 20 0 28 0 477088531 29459828736 899669 33554432000 4194304 4196468 140723245701952 139942049298704 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14506] ppid=14496 vsize=28769364 memory=1556 CPUtime=1.56 cores=0-7
/proc/14498/task/14506/stat : 14506 (java) S 14496 14496 11640 0 -1 1077944384 11706 0 0 0 111 45 0 0 20 0 28 0 477088531 29459828736 899669 33554432000 4194304 4196468 140723245701952 139942048246416 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14507] ppid=14496 vsize=28769364 memory=928 CPUtime=1.52 cores=0-7
/proc/14498/task/14507/stat : 14507 (java) S 14496 14496 11640 0 -1 1077944384 12050 0 0 0 110 42 0 0 20 0 28 0 477088531 29459828736 899669 33554432000 4194304 4196468 140723245701952 139941646293520 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14508] ppid=14496 vsize=28769364 memory=1772 CPUtime=0.28 cores=0-7
/proc/14498/task/14508/stat : 14508 (java) S 14496 14496 11640 0 -1 1077944384 26715 0 0 0 18 10 0 0 20 0 28 0 477088532 29459828736 899669 33554432000 4194304 4196468 140723245701952 139941419575920 139942101953154 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14509] ppid=14496 vsize=28769364 memory=3598676 CPUtime=0 cores=0-7
/proc/14498/task/14509/stat : 14509 (java) S 14496 14496 11640 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 477088533 29459828736 899669 33554432000 4194304 4196468 140723245701952 139941418521952 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14510] ppid=14496 vsize=28769364 memory=14981057220971048 CPUtime=0 cores=0-7
/proc/14498/task/14510/stat : 14510 (java) S 14496 14496 11640 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 477088533 29459828736 899669 33554432000 4194304 4196468 140723245701952 139941417469568 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14511] ppid=14496 vsize=28769364 memory=816 CPUtime=0 cores=0-7
/proc/14498/task/14511/stat : 14511 (java) S 14496 14496 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477088535 29459828736 899669 33554432000 4194304 4196468 140723245701952 139941416417872 139942101960603 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14512] ppid=14496 vsize=28769364 memory=1436 CPUtime=4.68 cores=0-7
/proc/14498/task/14512/stat : 14512 (java) S 14496 14496 11640 0 -1 1077944384 34237 0 0 0 462 6 0 0 20 0 28 0 477088535 29459828736 899669 33554432000 4194304 4196468 140723245701952 139941415364720 139942101953154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14513] ppid=14496 vsize=28769364 memory=1984 CPUtime=4.5 cores=0-7
/proc/14498/task/14513/stat : 14513 (java) S 14496 14496 11640 0 -1 1077944384 32338 0 0 0 445 5 0 0 20 0 28 0 477088535 29459828736 899669 33554432000 4194304 4196468 140723245701952 139941414311920 139942101953154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14514] ppid=14496 vsize=28769364 memory=2580 CPUtime=4.23 cores=0-7
/proc/14498/task/14514/stat : 14514 (java) S 14496 14496 11640 0 -1 1077944384 30353 0 0 0 418 5 0 0 20 0 28 0 477088535 29459828736 899669 33554432000 4194304 4196468 140723245701952 139941413259632 139942101953154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14515] ppid=14496 vsize=28769364 memory=0 CPUtime=1.3 cores=0-7
/proc/14498/task/14515/stat : 14515 (java) S 14496 14496 11640 0 -1 1077944384 31104 0 0 0 125 5 0 0 20 0 28 0 477088535 29459828736 899669 33554432000 4194304 4196468 140723245701952 139941412206832 139942101953154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14516] ppid=14496 vsize=28769364 memory=-7521736447810188379 CPUtime=0 cores=0-7
/proc/14498/task/14516/stat : 14516 (java) S 14496 14496 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477088536 29459828736 899669 33554432000 4194304 4196468 140723245701952 139941411154784 139942101952213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=14517] ppid=14496 vsize=28769364 memory=-8412652160765825907 CPUtime=0.99 cores=0-7
/proc/14498/task/14517/stat : 14517 (java) S 14496 14496 11640 0 -1 1077944384 12655 0 0 0 53 46 0 0 20 0 28 0 477088536 29459828736 899669 33554432000 4194304 4196468 140723245701952 139941410102064 139942101953154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=23764] ppid=14496 vsize=28769364 memory=-8634980985311628903 CPUtime=83.8 cores=0-7
/proc/14498/task/23764/stat : 23764 (java) R 14496 14496 11640 0 -1 4202560 15289 0 0 0 8376 4 0 0 20 0 28 0 477332139 29459828736 899669 33554432000 4194304 4196468 140723245701952 139941392470296 139941738209504 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=23765] ppid=14496 vsize=28769364 memory=6791534058613427641 CPUtime=83.01 cores=0-7
/proc/14498/task/23765/stat : 23765 (java) R 14496 14496 11640 0 -1 4202560 3067 0 0 0 8298 3 0 0 20 0 28 0 477332139 29459828736 899669 33554432000 4194304 4196468 140723245701952 139941391418224 139941738209498 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=23766] ppid=14496 vsize=28769364 memory=988 CPUtime=83.8 cores=0-7
/proc/14498/task/23766/stat : 23766 (java) R 14496 14496 11640 0 -1 4202560 3580 0 0 0 8376 4 0 0 20 0 28 0 477332139 29459828736 899669 33554432000 4194304 4196468 140723245701952 139941390365160 139941731887582 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=23767] ppid=14496 vsize=28769364 memory=2008 CPUtime=83.5 cores=0-7
/proc/14498/task/23767/stat : 23767 (java) R 14496 14496 11640 0 -1 4202560 25944 0 0 0 8343 7 0 0 20 0 28 0 477332139 29459828736 899669 33554432000 4194304 4196468 140723245701952 139941394575720 139941733302528 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=23768] ppid=14496 vsize=28769364 memory=1436 CPUtime=83.29 cores=0-7
/proc/14498/task/23768/stat : 23768 (java) R 14496 14496 11640 0 -1 4202560 2679 0 0 0 8325 4 0 0 20 0 28 0 477332139 29459828736 899669 33554432000 4194304 4196468 140723245701952 139941393523256 139941732578311 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=23769] ppid=14496 vsize=28769364 memory=580 CPUtime=83.81 cores=0-7
/proc/14498/task/23769/stat : 23769 (java) R 14496 14496 11640 0 -1 4202560 4543 0 0 0 8377 4 0 0 20 0 28 0 477332139 29459828736 899669 33554432000 4194304 4196468 140723245701952 139941396684128 139941738209966 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=23770] ppid=14496 vsize=28769364 memory=1716 CPUtime=83.62 cores=0-7
/proc/14498/task/23770/stat : 23770 (java) R 14496 14496 11640 0 -1 4202560 3288 0 0 0 8361 1 0 0 20 0 28 0 477332139 29459828736 899669 33554432000 4194304 4196468 140723245701952 139941398786872 139941732578304 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
[pid=14498/tid=23771] ppid=14496 vsize=28769364 memory=10604 CPUtime=83.81 cores=0-7
/proc/14498/task/23771/stat : 23771 (java) R 14496 14496 11640 0 -1 4202560 6538 0 0 0 8377 4 0 0 20 0 28 0 477332139 29459828736 899669 33554432000 4194304 4196468 140723245701952 139941397733768 139941738209498 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24399872 140723245704150 140723245704326 140723245704326 140723245707215 0
Current children cumulated CPU time: 19285.8 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 3600128 KiB

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

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

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

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

Child status: 143
Real time (s): 2520.1
CPU time (s): 19286.4
CPU user time (s): 19271.2
CPU system time (s): 15.2271
CPU usage (%): 765.302
Max. virtual memory (cumulated for all children) (KiB): 28882492
Max. memory (cumulated for all children) (KiB): 4020744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19271.2
system time used= 15.2271
maximum resident set size= 4025440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1905924
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 141219
involuntary context switches= 224197


# summary of solver processes directly reported to runsolver:
#   pid: 14496,14498
#   total CPU time (s): 19286.4
#   total CPU user time (s): 19271.2
#   total CPU system time (s): 15.2271

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5618 second user time and 32.5295 second system time

The end

Launcher Data 

Begin job on node124 at 2019-09-20 22:30:44
IDJOB=4404751
IDBENCH=141204
IDSOLVER=2865
FILE ID=node124/4404751-1569011484
RUNJOBID= node124-1569005314-11667
PBS_JOBID= 21704756
Free space on /var/tmp= 13512 MiB

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

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

MD5SUM BENCH= d0ab6aee5f30ff70d66f863e0e3556a1
RANDOM SEED=33766634

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        15760448 kB
MemAvailable:   31823628 kB
Buffers:          142696 kB
Cached:         15866544 kB
SwapCached:        28940 kB
Active:          7977520 kB
Inactive:        8067448 kB
Active(anon):       4728 kB
Inactive(anon):    80500 kB
Active(file):    7972792 kB
Inactive(file):  7986948 kB
Unevictable:      108080 kB
Mlocked:          108080 kB
SwapTotal:      67108860 kB
SwapFree:       66976740 kB
Dirty:             26008 kB
Writeback:             0 kB
AnonPages:        116092 kB
Mapped:            51260 kB
Shmem:             40884 kB
Slab:             560708 kB
SReclaimable:     531900 kB
SUnreclaim:        28808 kB
KernelStack:        3424 kB
PageTables:         5328 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     507176 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /var/tmp at the end= 13484 MiB
End job on node124 at 2019-09-20 23:12:44