Trace number 4393391

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-06-14SAT (TO)40765 2520.65 672.489

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 -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393391-1568354807.xml"  -tl '2520s' -p 4
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4393391-1568354807.xml, -tl, 2520s, -p, 4]
0.35/0.22	c 4 solvers in parallel
0.35/0.28	c parse instance...
10.55/4.79	c solve instance...
13.26/5.59	o 148863 
13.40/5.60	o 147962 
13.40/5.61	o 147862 
13.40/5.62	o 147762 
13.40/5.63	o 147761 
13.40/5.64	o 146862 
13.40/5.65	o 145961 
13.40/5.67	o 145861 
13.40/5.68	o 145761 
13.40/5.69	o 145732 
13.61/5.70	o 145731 
13.61/5.71	o 145640 
13.61/5.72	o 145620 
13.61/5.73	o 144960 
13.61/5.74	o 144931 
13.61/5.76	o 144930 
13.61/5.76	o 144839 
13.61/5.77	o 144819 
13.61/5.77	o 144760 
13.61/5.78	o 144731 
15.40/6.21	o 144730 
15.40/6.21	o 144639 
15.40/6.22	o 144619 
15.40/6.23	o 144596 
15.40/6.23	o 144567 
15.40/6.24	o 144563 
15.40/6.25	o 144553 
15.40/6.25	o 144503 
15.40/6.26	o 144483 
16.09/6.50	o 144414 
17.69/7.73	o 144393 
17.69/7.74	o 144373 
17.69/7.75	o 144363 
17.69/7.76	o 144353 
17.69/7.76	o 144352 
17.69/7.77	o 144342 
17.69/7.77	o 143747 
17.69/7.78	o 143647 
17.69/7.78	o 143547 
17.69/7.79	o 143528 
17.90/7.81	o 143518 
17.90/7.83	o 143517 
17.90/7.83	o 143427 
17.90/7.84	o 143426 
17.90/7.87	o 143406 
18.04/7.90	o 143383 
18.04/7.91	o 143364 
18.04/7.91	o 143354 
18.04/7.92	o 143290 
18.04/7.92	o 143270 
18.04/7.95	o 143201 
18.04/7.95	o 143180 
18.04/7.95	o 143160 
18.04/7.96	o 143150 
18.04/7.96	o 143140 
18.04/7.99	o 143111 
18.04/8.00	o 143090 
18.04/8.00	o 143070 
18.30/8.01	o 143060 
18.30/8.01	o 143050 
18.30/8.02	o 142956 
18.30/8.03	o 142856 
18.30/8.04	o 142756 
18.30/8.05	o 142737 
18.30/8.05	o 142727 
18.30/8.06	o 142726 
18.30/8.06	o 142636 
18.30/8.07	o 142635 
18.30/8.08	o 142615 
18.30/8.09	o 142593 
18.30/8.09	o 142493 
18.30/8.09	o 142474 
18.65/8.12	o 142464 
18.65/8.12	o 142400 
18.65/8.14	o 142380 
18.65/8.15	o 142311 
18.65/8.15	o 142290 
18.65/8.15	o 142270 
18.65/8.16	o 142260 
18.65/8.16	o 142250 
18.65/8.19	o 142249 
18.94/8.21	o 141946 
18.94/8.21	o 141846 
18.94/8.21	o 141746 
18.94/8.22	o 141727 
18.94/8.22	o 141717 
18.94/8.23	o 141716 
18.94/8.23	o 141626 
18.94/8.24	o 141625 
18.94/8.24	o 141605 
19.23/8.38	o 141583 
19.35/8.40	o 141483 
19.35/8.40	o 141464 
19.35/8.41	o 141454 
19.35/8.42	o 141390 
19.35/8.42	o 141370 
19.35/8.42	o 141301 
19.35/8.43	o 141280 
19.35/8.43	o 141260 
19.35/8.44	o 141250 
19.35/8.45	o 141240 
19.35/8.45	o 140648 
19.74/8.74	o 140548 
19.74/8.74	o 140448 
19.74/8.75	o 140419 
19.74/8.75	o 140418 
19.74/8.76	o 140327 
19.74/8.76	o 140307 
19.74/8.77	o 139647 
19.74/8.77	o 139618 
19.74/8.77	o 139617 
19.74/8.78	o 139526 
19.74/8.79	o 139506 
19.95/8.81	o 139447 
19.95/8.86	o 139418 
19.95/8.87	o 139417 
19.95/8.87	o 139326 
19.95/8.87	o 139306 
19.95/8.87	o 139255 
20.48/9.02	o 139202 
20.48/9.03	o 139181 
20.48/9.03	o 139161 
20.48/9.03	o 138255 
20.69/9.12	o 138234 
20.69/9.12	o 138155 
20.69/9.13	o 138114 
20.79/9.22	o 138113 
20.79/9.22	o 138093 
20.79/9.22	o 138045 
21.10/9.34	o 137989 
21.10/9.34	o 137968 
21.10/9.34	o 137948 
21.10/9.34	o 137938 
21.10/9.35	o 137928 
21.10/9.35	o 137925 
21.28/9.44	o 137903 
21.28/9.46	o 137902 
21.28/9.46	o 137882 
21.28/9.46	o 137115 
21.46/9.55	o 137023 
21.46/9.55	o 136923 
21.46/9.58	o 136915 
21.46/9.59	o 136904 
21.58/9.68	o 136894 
21.58/9.68	o 136893 
21.58/9.69	o 136803 
21.71/9.70	o 136802 
21.71/9.70	o 136782 
21.71/9.71	o 135885 
21.89/9.80	o 135803 
21.89/9.80	o 135802 
21.89/9.81	o 135782 
22.02/9.92	o 135765 
22.16/10.01	o 135123 
23.36/11.17	o 135023 
23.36/11.17	o 134923 
23.36/11.18	o 134904 
23.36/11.18	o 134894 
23.36/11.20	o 134893 
23.48/11.22	o 134803 
23.48/11.23	o 134802 
23.48/11.26	o 134782 
23.62/11.30	o 134223 
23.62/11.35	o 134123 
23.62/11.35	o 134023 
23.62/11.37	o 134004 
23.62/11.39	o 133994 
23.62/11.39	o 133993 
23.62/11.39	o 133903 
23.80/11.40	o 133902 
23.80/11.40	o 133882 
23.80/11.43	o 133802 
23.80/11.44	o 133801 
23.80/11.45	o 133781 
23.80/11.47	o 133759 
23.80/11.48	o 133740 
24.03/11.51	o 133731 
24.03/11.51	o 133677 
24.03/11.54	o 133656 
24.03/11.55	o 133636 
24.03/11.55	o 133626 
24.03/11.56	o 133616 
24.03/11.57	o 133222 
24.03/11.58	o 133122 
24.03/11.58	o 133022 
24.26/11.61	o 133003 
24.26/11.61	o 132993 
24.26/11.61	o 132992 
24.26/11.63	o 132902 
24.26/11.63	o 132901 
24.26/11.63	o 132881 
24.26/11.65	o 132866 
24.26/11.65	o 132846 
24.26/11.67	o 132777 
24.26/11.67	o 132756 
24.44/11.72	o 132736 
24.44/11.72	o 132726 
24.44/11.72	o 132716 
24.44/11.73	o 132657 
24.44/11.73	o 132616 
24.44/11.77	o 132586 
24.72/11.87	o 132101 
26.00/13.02	o 132001 
26.00/13.02	o 131901 
26.21/13.20	o 131882 
26.21/13.22	o 131872 
26.21/13.23	o 131871 
26.21/13.27	o 131781 
26.21/13.27	o 131780 
26.21/13.29	o 131760 
26.35/13.33	o 131750 
26.35/13.33	o 131748 
26.35/13.35	o 131737 
26.35/13.36	o 131725 
26.35/13.37	o 131656 
26.35/13.38	o 131635 
26.35/13.39	o 131615 
26.53/13.43	o 131605 
26.53/13.46	o 131546 
26.53/13.46	o 131505 
26.75/13.50	o 131496 
26.75/13.58	o 131463 
27.11/13.67	o 131091 
28.40/14.84	o 130991 
28.40/14.86	o 130891 
28.40/14.88	o 130872 
28.54/14.90	o 130862 
28.54/14.93	o 130861 
28.54/14.94	o 130771 
28.54/14.98	o 130770 
28.54/15.00	o 130750 
28.68/15.03	o 130749 
28.68/15.04	o 130738 
28.68/15.07	o 130727 
28.68/15.08	o 130715 
28.68/15.10	o 130646 
28.68/15.10	o 130625 
28.68/15.10	o 130605 
28.86/15.12	o 130595 
28.86/15.12	o 130536 
28.86/15.13	o 130495 
28.86/15.17	o 130487 
29.14/15.28	o 130213 
29.45/15.30	o 130113 
29.45/15.30	o 130013 
29.45/15.39	o 129994 
29.45/15.40	o 129984 
29.45/15.40	o 129983 
29.45/15.40	o 129893 
29.59/15.42	o 129892 
29.59/15.42	o 129872 
29.59/15.43	o 129857 
29.59/15.44	o 129837 
29.59/15.44	o 129768 
29.59/15.45	o 129747 
29.59/15.46	o 129727 
29.59/15.46	o 129717 
29.59/15.46	o 129699 
29.74/15.56	o 129648 
29.74/15.56	o 129607 
29.74/15.56	o 128709 
29.90/15.66	o 128647 
29.90/15.66	o 128626 
29.90/15.66	o 128606 
31.18/16.81	o 128596 
31.18/16.82	o 128537 
31.18/16.82	o 128496 
31.18/16.86	o 128486 
31.18/16.89	o 128485 
31.37/16.90	o 128475 
31.37/16.92	o 128474 
31.37/16.94	o 128415 
31.37/16.94	o 128374 
31.37/16.96	o 128364 
31.37/16.98	o 128354 
31.37/17.00	o 128295 
31.37/17.01	o 128254 
32.04/17.16	o 128082 
32.04/17.17	o 127982 
32.39/17.46	o 127882 
32.39/17.46	o 127863 
32.39/17.47	o 127853 
32.39/17.47	o 127852 
32.39/17.47	o 127762 
32.39/17.48	o 127761 
32.39/17.49	o 127741 
32.39/17.49	o 127740 
32.39/17.49	o 127729 
32.54/17.50	o 127718 
32.65/17.64	o 127706 
32.65/17.66	o 127637 
32.65/17.66	o 127616 
32.65/17.67	o 127596 
32.65/17.67	o 127594 
32.65/17.67	o 127586 
32.81/17.77	o 127527 
32.81/17.78	o 127486 
32.81/17.79	o 126504 
33.02/17.89	o 126476 
33.02/17.90	o 124514 
33.11/17.99	o 124497 
33.11/18.00	o 124456 
33.11/18.00	o 123514 
33.29/18.10	o 123508 
34.51/19.25	o 123467 
34.66/19.32	o 123457 
34.66/19.35	o 123456 
34.66/19.38	o 123446 
34.84/19.40	o 123445 
34.84/19.42	o 123386 
34.84/19.46	o 123345 
35.01/19.54	o 123266 
35.01/19.56	o 123225 
35.23/19.67	o 123211 
35.38/19.74	o 123210 
35.38/19.74	o 123190 
35.38/19.77	o 123189 
35.51/19.83	o 123178 
35.62/19.93	o 123167 
35.62/19.96	o 123155 
35.79/20.01	o 123089 
35.79/20.04	o 123088 
35.92/20.13	o 123068 
35.92/20.18	o 123058 
36.07/20.24	o 122969 
36.07/20.29	o 122968 
36.07/20.29	o 122948 
36.18/20.30	o 122938 
36.18/20.35	o 122936 
36.18/20.39	o 122925 
36.38/20.42	o 122913 
36.38/20.48	o 122814 
36.54/20.57	o 122759 
36.68/20.61	o 122758 
36.68/20.63	o 122738 
36.68/20.64	o 121804 
36.88/20.74	o 121758 
38.13/21.90	o 121757 
38.13/21.93	o 121737 
38.13/21.96	o 121727 
38.13/21.99	o 121725 
38.30/22.02	o 121714 
38.30/22.04	o 121692 
38.30/22.08	o 121656 
38.52/22.11	o 121655 
38.52/22.14	o 121635 
38.52/22.15	o 121625 
38.52/22.15	o 121624 
38.62/22.21	o 121614 
38.62/22.23	o 121612 
38.62/22.29	o 121590 
38.80/22.34	o 121589 
39.02/22.42	o 121579 
39.02/22.49	o 121578 
39.16/22.53	o 121573 
39.16/22.54	o 121572 
39.41/22.68	o 121513 
39.60/22.70	o 121472 
39.60/22.77	o 121462 
39.60/22.78	o 121452 
39.77/22.80	o 121393 
39.77/22.84	o 121352 
39.94/22.90	o 121302 
39.94/22.93	o 121261 
39.94/23.01	o 121224 
40.13/23.01	o 121183 
40.13/23.09	o 121173 
40.26/23.12	o 121172 
40.26/23.14	o 121162 
40.37/23.22	o 121161 
40.37/23.26	o 121100 
40.50/23.36	o 121061 
41.91/24.56	o 121051 
41.91/24.60	o 121041 
42.02/24.64	o 120982 
42.02/24.67	o 120941 
42.22/24.75	o 120882 
42.22/24.76	o 120841 
42.39/24.80	o 120831 
42.39/24.82	o 120821 
42.58/24.91	o 120820 
42.97/25.07	o 120558 
42.97/25.09	o 120458 
42.97/25.09	o 120358 
42.97/25.11	o 120339 
43.14/25.15	o 120329 
43.14/25.15	o 120328 
43.24/25.22	o 120238 
43.24/25.23	o 120237 
43.24/25.25	o 120217 
43.24/25.29	o 120216 
43.36/25.35	o 120205 
43.47/25.43	o 120194 
43.47/25.46	o 120182 
43.61/25.50	o 119830 
43.89/25.65	o 119820 
45.19/26.82	o 119761 
45.19/26.84	o 119720 
45.36/26.92	o 119661 
45.36/26.95	o 119620 
45.55/27.04	o 119611 
45.55/27.07	o 119589 
45.55/27.09	o 119588 
45.78/27.13	o 119587 
46.10/27.29	o 119548 
46.38/27.32	o 119448 
46.38/27.32	o 119348 
46.38/27.34	o 119329 
46.38/27.35	o 119319 
46.38/27.35	o 119318 
46.38/27.36	o 119228 
46.38/27.36	o 119227 
46.38/27.36	o 119207 
46.38/27.37	o 119206 
46.38/27.37	o 119195 
46.38/27.38	o 119184 
46.65/27.56	o 119172 
46.77/27.60	o 119103 
46.77/27.64	o 119082 
46.77/27.64	o 119062 
46.77/27.69	o 119052 
46.77/27.69	o 119048 
46.91/27.79	o 118993 
48.11/28.93	o 118952 
48.11/28.99	o 118942 
48.29/29.02	o 118941 
48.29/29.03	o 118931 
48.29/29.05	o 118930 
48.49/29.17	o 118871 
48.49/29.19	o 118830 
48.63/29.24	o 118820 
48.63/29.25	o 118810 
48.63/29.26	o 118751 
48.63/29.27	o 118710 
48.63/29.29	o 118651 
48.83/29.32	o 118610 
48.83/29.34	o 118541 
48.83/29.35	o 118540 
48.83/29.35	o 118520 
48.83/29.35	o 118519 
48.83/29.35	o 118508 
48.83/29.38	o 118497 
49.02/29.42	o 118485 
49.02/29.45	o 118475 
49.02/29.49	o 118465 
49.18/29.53	o 118406 
49.18/29.56	o 118306 
49.28/29.60	o 118265 
49.28/29.63	o 118255 
49.28/29.67	o 118254 
49.46/29.71	o 118244 
49.46/29.74	o 118243 
49.74/29.91	o 118184 
49.74/29.95	o 118143 
49.74/29.98	o 118064 
49.93/30.02	o 118023 
49.93/30.06	o 118021 
50.17/30.16	o 118009 
51.38/31.30	o 118008 
51.38/31.34	o 117988 
51.38/31.39	o 117987 
51.55/31.41	o 117976 
51.55/31.48	o 117965 
51.71/31.52	o 117953 
51.71/31.55	o 117887 
51.71/31.55	o 117886 
51.71/31.57	o 117866 
51.87/31.60	o 117856 
51.87/31.63	o 117767 
51.87/31.66	o 117766 
51.87/31.66	o 117746 
52.00/31.71	o 117736 
52.00/31.75	o 117734 
52.00/31.79	o 117723 
52.15/31.83	o 117711 
52.34/31.99	o 117677 
52.46/32.04	o 117676 
52.46/32.08	o 117656 
52.59/32.13	o 117646 
52.59/32.17	o 117557 
52.72/32.21	o 117556 
52.72/32.25	o 117536 
52.72/32.30	o 117526 
52.85/32.34	o 117455 
52.85/32.38	o 117454 
52.98/32.43	o 117434 
52.98/32.46	o 117424 
53.11/32.52	o 117423 
53.11/32.56	o 117413 
53.34/32.63	o 117207 
53.62/32.73	o 117118 
54.80/33.86	o 117018 
54.80/33.87	o 116918 
54.95/33.91	o 116899 
54.95/33.96	o 116889 
54.95/34.00	o 116888 
54.95/34.00	o 116798 
55.12/34.02	o 116797 
55.12/34.06	o 116777 
55.12/34.09	o 116776 
55.29/34.13	o 116765 
55.29/34.19	o 116754 
55.42/34.23	o 116732 
55.42/34.29	o 116676 
55.58/34.33	o 116675 
55.58/34.38	o 116655 
55.71/34.42	o 116645 
55.71/34.45	o 116556 
55.71/34.49	o 116555 
55.71/34.49	o 116535 
55.71/34.49	o 116525 
55.84/34.51	o 116523 
55.84/34.52	o 116512 
55.84/34.58	o 116490 
56.05/34.69	o 116454 
56.05/34.69	o 116453 
56.19/34.74	o 116433 
56.19/34.79	o 116423 
56.37/34.83	o 116422 
56.37/34.90	o 116412 
56.52/34.95	o 116410 
56.52/34.98	o 116388 
56.52/35.00	o 116387 
56.76/35.07	o 116328 
56.76/35.09	o 116228 
57.05/35.14	o 116209 
57.05/35.15	o 116199 
57.05/35.15	o 116198 
57.15/35.20	o 116108 
57.15/35.21	o 116107 
57.26/35.31	o 116087 
57.26/35.32	o 116086 
57.26/35.33	o 116075 
57.26/35.34	o 116064 
57.26/35.35	o 116042 
57.26/35.37	o 115986 
57.26/35.37	o 115985 
57.45/35.40	o 115965 
57.45/35.40	o 115955 
57.45/35.41	o 115096 
57.69/35.51	o 115074 
58.79/36.67	o 114974 
58.79/36.68	o 114933 
58.79/36.68	o 114923 
58.93/36.72	o 114922 
58.93/36.73	o 114912 
58.93/36.74	o 114911 
58.93/36.76	o 114852 
58.93/36.76	o 114811 
58.93/36.79	o 114732 
58.93/36.79	o 114691 
59.14/36.81	o 114632 
59.14/36.82	o 114591 
59.14/36.89	o 114587 
59.49/36.90	o 114568 
59.49/36.91	o 114558 
59.49/36.93	o 114557 
59.49/36.95	o 114467 
59.49/36.97	o 114466 
59.49/36.97	o 114446 
59.49/36.98	o 114436 
59.49/36.99	o 114426 
59.49/37.00	o 114425 
59.49/37.00	o 114415 
59.49/37.01	o 114414 
59.49/37.01	o 114345 
59.68/37.01	o 114344 
59.68/37.02	o 114324 
59.68/37.03	o 114314 
59.68/37.05	o 114225 
59.68/37.05	o 114224 
59.68/37.05	o 114204 
59.68/37.06	o 114194 
59.68/37.08	o 114123 
59.68/37.08	o 114122 
59.68/37.09	o 114102 
59.68/37.09	o 114092 
59.85/37.14	o 114091 
59.85/37.17	o 114081 
59.85/37.18	o 114023 
59.85/37.18	o 114022 
59.85/37.18	o 114002 
59.85/37.20	o 113992 
59.98/37.21	o 113991 
59.98/37.22	o 113981 
59.98/37.26	o 113842 
60.28/37.37	o 113786 
60.28/37.38	o 113752 
60.57/37.48	o 113686 
61.77/38.64	o 113586 
61.77/38.66	o 113567 
61.77/38.66	o 113557 
61.77/38.66	o 113556 
61.77/38.67	o 113466 
61.77/38.68	o 113465 
61.77/38.69	o 113445 
61.77/38.69	o 113444 
61.92/38.70	o 113433 
61.92/38.71	o 113422 
61.92/38.74	o 113400 
61.92/38.76	o 113344 
61.92/38.77	o 113343 
61.92/38.78	o 113323 
61.92/38.78	o 113313 
61.92/38.79	o 113224 
62.13/38.80	o 113223 
62.13/38.81	o 113203 
62.24/38.95	o 113193 
62.24/38.98	o 113191 
62.24/38.99	o 113180 
62.41/39.05	o 113158 
62.68/39.25	o 113122 
62.68/39.29	o 113121 
62.80/39.30	o 113101 
62.80/39.31	o 113091 
62.80/39.33	o 113090 
62.80/39.34	o 113080 
62.94/39.45	o 113078 
62.94/39.47	o 113056 
63.12/39.53	o 113055 
63.12/39.55	o 113022 
63.12/39.55	o 113021 
63.12/39.55	o 113001 
63.12/39.58	o 112991 
63.27/39.61	o 112990 
63.27/39.62	o 112980 
63.27/39.63	o 112978 
63.27/39.64	o 112956 
63.27/39.67	o 112955 
63.53/39.78	o 112938 
63.53/39.78	o 112937 
63.53/39.79	o 112917 
63.53/39.80	o 112916 
63.83/39.80	o 112905 
63.83/39.81	o 112882 
64.62/40.02	o 112850 
64.62/40.03	o 112849 
64.62/40.04	o 112829 
64.62/40.04	o 112819 
64.62/40.05	o 112738 
64.62/40.06	o 112737 
64.62/40.07	o 112717 
64.62/40.07	o 112707 
64.62/40.08	o 112647 
64.62/40.09	o 112547 
64.78/40.13	o 112528 
64.78/40.13	o 112518 
64.78/40.14	o 112517 
64.78/40.14	o 112427 
64.78/40.15	o 112426 
64.78/40.16	o 112406 
64.78/40.19	o 112396 
64.93/40.23	o 112394 
64.93/40.24	o 112371 
64.93/40.25	o 112284 
65.13/40.35	o 112271 
66.76/41.56	o 112232 
66.76/41.59	o 112231 
66.76/41.59	o 112211 
66.87/41.60	o 112201 
66.87/41.66	o 112191 
67.23/41.86	o 112122 
67.23/41.87	o 112121 
67.23/41.87	o 112101 
67.23/41.87	o 112091 
67.23/41.89	o 112048 
67.23/41.90	o 112047 
67.37/41.91	o 112027 
67.37/41.92	o 112017 
67.37/41.92	o 112009 
67.37/41.94	o 111928 
67.37/41.94	o 111927 
67.37/41.94	o 111907 
67.37/41.95	o 111897 
67.37/41.98	o 111895 
67.37/41.99	o 111872 
68.05/42.19	o 111840 
68.05/42.20	o 111839 
68.39/42.20	o 111819 
68.39/42.20	o 111809 
68.39/42.22	o 111728 
68.39/42.23	o 111727 
68.39/42.23	o 111707 
68.39/42.25	o 111697 
68.39/42.27	o 111637 
68.39/42.27	o 111537 
68.39/42.29	o 111518 
68.54/42.30	o 111508 
68.54/42.31	o 111507 
68.54/42.31	o 111417 
68.54/42.32	o 111416 
68.54/42.32	o 111396 
68.54/42.33	o 111386 
68.54/42.36	o 111384 
68.54/42.37	o 111361 
68.54/42.39	o 111317 
68.75/42.42	o 111316 
68.75/42.43	o 111296 
68.75/42.43	o 111286 
68.90/42.57	o 111284 
68.90/42.59	o 111261 
69.01/42.64	o 111216 
69.38/42.75	o 111209 
69.38/42.76	o 111116 
69.55/42.86	o 111107 
70.78/44.06	o 111085 
70.78/44.08	o 111084 
70.78/44.10	o 111051 
70.78/44.11	o 111050 
70.97/44.11	o 111030 
70.97/44.12	o 111020 
70.97/44.12	o 111019 
70.97/44.16	o 111009 
70.97/44.18	o 111007 
70.97/44.18	o 110985 
71.14/44.20	o 110984 
71.54/44.38	o 110977 
71.54/44.40	o 110955 
71.79/44.41	o 110921 
71.79/44.42	o 110920 
71.79/44.43	o 110900 
71.79/44.43	o 110890 
71.93/44.59	o 110888 
72.05/44.61	o 110877 
72.05/44.63	o 110855 
72.05/44.64	o 110819 
72.05/44.65	o 110818 
72.05/44.65	o 110798 
72.05/44.66	o 110788 
72.05/44.67	o 110786 
72.05/44.69	o 110775 
72.23/44.70	o 110753 
72.23/44.77	o 110709 
72.23/44.79	o 110708 
72.41/44.80	o 110688 
72.41/44.81	o 110678 
72.41/44.85	o 110637 
72.41/44.86	o 110537 
72.62/44.90	o 110518 
72.62/44.93	o 110508 
72.62/44.94	o 110507 
72.62/44.94	o 110417 
72.62/44.94	o 110416 
72.84/45.14	o 110396 
72.84/45.16	o 110386 
72.84/45.18	o 110378 
73.16/45.48	o 110297 
73.16/45.49	o 110296 
73.28/45.50	o 110276 
73.28/45.50	o 110266 
73.28/45.55	o 109696 
73.59/45.67	o 108706 
73.96/45.77	o 108687 
75.35/46.97	o 108686 
75.35/46.98	o 108666 
75.35/46.99	o 108656 
75.50/47.01	o 108654 
75.50/47.03	o 108643 
75.50/47.05	o 108621 
75.83/47.19	o 108611 
76.20/47.25	o 108566 
76.20/47.26	o 108565 
76.20/47.26	o 108545 
76.40/47.39	o 108535 
76.40/47.39	o 108485 
76.53/47.41	o 108466 
76.53/47.41	o 108456 
76.53/47.43	o 108455 
76.53/47.43	o 108365 
76.53/47.43	o 108364 
76.53/47.44	o 108344 
76.53/47.44	o 108334 
76.67/47.52	o 108255 
76.67/47.53	o 108254 
76.67/47.54	o 108234 
76.67/47.54	o 108224 
76.67/47.56	o 108191 
78.65/48.83	o 108155 
78.65/48.87	o 108154 
78.81/48.91	o 108134 
78.81/48.96	o 108124 
78.81/48.97	o 108122 
78.81/48.98	o 108099 
80.56/49.45	o 108071 
82.71/50.75	o 108045 
82.71/50.76	o 108044 
82.71/50.76	o 108024 
82.86/50.80	o 108023 
82.86/50.83	o 108012 
82.86/50.85	o 107999 
83.14/50.98	o 107992 
83.14/50.99	o 107982 
83.52/51.03	o 107923 
83.65/51.19	o 107922 
83.75/51.20	o 107902 
83.75/51.21	o 107901 
83.75/51.22	o 107890 
83.75/51.25	o 107880 
83.75/51.27	o 107879 
83.75/51.29	o 107869 
83.93/51.30	o 107823 
83.93/51.31	o 107822 
83.93/51.32	o 107802 
83.93/51.33	o 107801 
83.93/51.33	o 107790 
83.93/51.34	o 107780 
83.93/51.36	o 107779 
83.93/51.37	o 107769 
84.17/51.41	o 107713 
84.17/51.42	o 107712 
84.17/51.42	o 107692 
84.17/51.46	o 107691 
84.17/51.49	o 107680 
84.17/51.49	o 107670 
84.36/51.52	o 107669 
84.36/51.55	o 107659 
84.63/51.61	o 107638 
84.82/51.72	o 107603 
85.03/51.93	o 107602 
85.03/51.93	o 107582 
85.03/51.94	o 107581 
85.03/51.95	o 107570 
85.03/51.96	o 107561 
85.03/51.97	o 107559 
86.52/53.18	o 107558 
86.65/53.20	o 107509 
86.65/53.22	o 107508 
86.65/53.23	o 107488 
86.65/53.24	o 107487 
86.65/53.26	o 107476 
86.65/53.26	o 107466 
86.89/53.35	o 107399 
86.89/53.36	o 107398 
86.89/53.37	o 107378 
86.89/53.38	o 107377 
86.89/53.39	o 107366 
87.02/53.40	o 107356 
87.02/53.49	o 107299 
87.02/53.49	o 107298 
87.22/53.53	o 107278 
87.22/53.53	o 107277 
87.22/53.54	o 107266 
87.22/53.55	o 107256 
87.48/53.68	o 107194 
87.83/53.79	o 107084 
88.22/53.89	o 107035 
89.65/55.09	o 107034 
89.65/55.10	o 107014 
89.76/55.17	o 107013 
89.76/55.19	o 107002 
89.76/55.19	o 106992 
90.08/55.33	o 106990 
90.08/55.37	o 106980 
90.08/55.39	o 106923 
90.26/55.43	o 106922 
90.26/55.44	o 106902 
90.26/55.45	o 106901 
90.26/55.46	o 106890 
90.26/55.47	o 106880 
90.46/55.51	o 106829 
90.46/55.53	o 106828 
90.46/55.54	o 106808 
90.46/55.56	o 106807 
90.46/55.57	o 106796 
90.46/55.57	o 106786 
90.63/55.68	o 106719 
90.74/55.70	o 106718 
90.74/55.72	o 106698 
90.74/55.73	o 106697 
90.74/55.74	o 106686 
90.74/55.76	o 106676 
91.35/55.93	o 106668 
91.35/55.96	o 106666 
91.56/56.07	o 106609 
91.56/56.10	o 106608 
91.56/56.10	o 106556 
93.31/57.30	o 106530 
93.31/57.31	o 106529 
93.31/57.32	o 106509 
93.31/57.38	o 106508 
93.31/57.39	o 106497 
93.31/57.39	o 106487 
93.66/57.51	o 106479 
93.66/57.52	o 106420 
93.66/57.53	o 106419 
93.66/57.55	o 106399 
93.66/57.58	o 106398 
93.66/57.59	o 106387 
93.66/57.59	o 106377 
93.83/57.62	o 106367 
93.83/57.64	o 106309 
93.83/57.67	o 106308 
93.83/57.69	o 106288 
93.83/57.69	o 106278 
94.01/57.70	o 106277 
94.01/57.74	o 106218 
94.01/57.76	o 106199 
94.01/57.76	o 106189 
94.01/57.76	o 106188 
94.01/57.77	o 106098 
94.01/57.77	o 106097 
94.01/57.79	o 106077 
94.01/57.80	o 106076 
94.01/57.80	o 106065 
94.18/57.81	o 106055 
94.18/57.84	o 105998 
94.18/57.85	o 105997 
94.18/57.85	o 105977 
94.18/57.86	o 105976 
94.36/57.99	o 105965 
94.47/58.01	o 105955 
94.82/58.12	o 105941 
95.13/58.23	o 105888 
96.25/59.34	o 105887 
96.25/59.34	o 105867 
96.25/59.35	o 105866 
96.25/59.36	o 105855 
96.25/59.37	o 105845 
96.46/59.46	o 105831 
96.46/59.47	o 105830 
96.46/59.48	o 105819 
96.74/59.50	o 105809 
96.74/59.51	o 105808 
96.74/59.51	o 105798 
96.74/59.58	o 105789 
96.74/59.58	o 105779 
97.06/59.60	o 105722 
97.06/59.61	o 105721 
97.06/59.61	o 105701 
97.06/59.63	o 105700 
97.06/59.63	o 105689 
97.06/59.64	o 105679 
97.06/59.65	o 105677 
97.06/59.66	o 105620 
97.06/59.66	o 105619 
97.06/59.66	o 105599 
97.06/59.67	o 105598 
97.06/59.67	o 105587 
97.06/59.69	o 105577 
97.28/59.70	o 105520 
97.28/59.71	o 105519 
97.28/59.71	o 105499 
97.28/59.72	o 105498 
97.28/59.73	o 105487 
97.28/59.74	o 105477 
97.55/59.91	o 105467 
97.55/59.94	o 105410 
97.55/60.00	o 105409 
97.55/60.00	o 105389 
97.55/60.00	o 105388 
97.72/60.01	o 105348 
98.10/60.20	o 105300 
99.22/61.39	o 105299 
99.22/61.40	o 105279 
99.33/61.40	o 105278 
99.33/61.41	o 105267 
99.33/61.41	o 105257 
99.51/61.54	o 105247 
99.51/61.59	o 105198 
99.70/61.61	o 105197 
99.70/61.62	o 105177 
99.70/61.62	o 105176 
99.70/61.64	o 105165 
99.70/61.64	o 105155 
99.86/61.77	o 105088 
99.86/61.79	o 105087 
99.97/61.80	o 105067 
99.97/61.82	o 105066 
99.97/61.83	o 105055 
99.97/61.83	o 105045 
99.97/61.87	o 104988 
99.97/61.88	o 104987 
99.97/61.89	o 104967 
100.21/61.91	o 104966 
100.21/61.91	o 104955 
100.21/61.94	o 104945 
100.91/62.18	o 104935 
101.47/62.36	o 104878 
101.47/62.39	o 104877 
101.47/62.39	o 104857 
101.74/62.41	o 104856 
101.74/62.41	o 104845 
101.74/62.42	o 104835 
103.55/62.96	o 104768 
103.55/62.99	o 104767 
103.70/63.01	o 104747 
103.70/63.07	o 104746 
103.70/63.07	o 104735 
105.10/63.44	o 104720 
105.28/63.54	o 104719 
106.48/64.71	o 104708 
106.48/64.71	o 104698 
106.48/64.72	o 104690 
106.48/64.75	o 104688 
106.48/64.76	o 104631 
106.48/64.77	o 104630 
106.65/64.81	o 104610 
106.77/64.99	o 104609 
106.77/65.01	o 104598 
106.90/65.02	o 104588 
107.81/65.43	o 104539 
107.81/65.44	o 104439 
107.81/65.44	o 104420 
107.81/65.44	o 104410 
107.81/65.47	o 104409 
107.81/65.49	o 104319 
107.96/65.50	o 104318 
107.96/65.50	o 104298 
107.96/65.51	o 104297 
107.96/65.52	o 104286 
107.96/65.53	o 104276 
108.13/65.60	o 104209 
108.13/65.66	o 104208 
108.13/65.66	o 104188 
108.13/65.67	o 104187 
108.13/65.68	o 104176 
108.13/65.68	o 104166 
108.30/65.74	o 104156 
108.68/65.86	o 104099 
108.68/65.86	o 104098 
108.68/65.86	o 104078 
108.68/65.87	o 104077 
108.68/65.88	o 104066 
108.98/65.90	o 104056 
108.98/65.92	o 103991 
109.39/66.04	o 103981 
109.69/66.14	o 103968 
109.69/66.14	o 103967 
109.69/66.14	o 103956 
109.69/66.14	o 103946 
111.53/67.30	o 103942 
111.53/67.37	o 103941 
112.31/67.59	o 103940 
112.70/67.69	o 40765 
2520.33/672.46	s SATISFIABLE
2520.33/672.46	v <instantiation>
2520.33/672.46	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>
2520.33/672.46	v 	<values>428 666 442 680 72 310 142 380 380 142 694 456 764 526 554 792 114 352 526 764 296 58 142 380 652 414 708 470 680 442 16 254 16 254 512 750 254 16 512 750 156 394 128 366 484 722 268 30 30 268 764 526 414 652 736 498 764 526 778 540 268 30 778 540 414 652 72 310 778 540 100 338 380 142 778 540 128 366 16 254 484 722 254 16 722 484 526 764 30 268 72 310 512 750 30 268 380 142 540 778 16 254 540 778 666 428 554 792 16 254 16 254 414 652 750 512 380 142 16 254 240 478 240 478 414 652 750 512 44 282 268 30 778 540 240 478 128 366 414 652 652 414 16 254 268 30 254 16 58 296 72 310 540 778 16 254 694 456 764 526 86 324 100 338 722 484 736 498 44 282 30 268 554 792 554 792 554 792 296 58 16 254 764 526 526 764 694 456 414 652 254 16 478 240 268 30 540 778 156 394 0 0 0 0 1000 0 0 0 0 0 0 1000 0 1000 0 1000 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 1000 1000 0 0 0 0 0 0 0 0 0 1000 0 1000 1000 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 1000 1000 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 1000 0 0 0 0 1000 1000 0 1000 0 0 0 0 0 1000 0 0 0 0 1000 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 100 100 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 100 100 100 0 0 100 0 0 100 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 100 100 0 0 0 100 0 100 0 0 0 0 0 100 0 0 100 0 0 0 0 0 100 0 0 0 100 0 0 0 0 100 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 100 0 100 0 0 0 0 0 100 0 0 0 0 100 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 100 0 0 0 100 0 0 100 100 0 0 0 0 0 100 0 0 0 0 100 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 100 100 0 0 0 0 100 0 0 100 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 100 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 10 10 10 0 0 0 0 10 10 10 0 0 10 0 0 0 0 0 10 0 10 10 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 10 0 0 0 10 10 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 10 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 10 0 0 0 0 0 10 0 10 0 10 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 10 10 10 10 10 10 0 10 0 10 0 0 0 0 10 0 0 10 10 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 10 0 10 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 10 10 0 10 0 10 0 10 0 0 10 10 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 10 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 10 10 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 </values>
2520.33/672.46	v </instantiation>
2520.33/672.46	c Unexpected resolution interruption!

Verifier Data 

OK	40765

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393391-1568354807/watcher-4393391-1568354807 -o /tmp/evaluation-result-4393391-1568354807/solver-4393391-1568354807 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568354118-30105 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 582874924 HOME/instance-4393391-1568354807.xml 

running on 4 cores: 1,3,5,7

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

solver pid=30432, runsolver pid=30429

[startup+0.100109 s]*
/proc/loadavg: 8.01 6.00 3.67 8/233 30448
/proc/meminfo: memFree=23165968/32770624 swapFree=66957012/67108860
[pid=30432] ppid=30429 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30432/stat : 30432 (xcsp3-exec) S 30429 30432 30073 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411394602 115843072 362 33554432000 4194304 5098028 140725234791488 140725234789592 140522309276284 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18206720 140725234795387 140725234795629 140725234795629 140725234798538 0
/proc/30432/statm: 28282 362 304 221 0 87 0
[pid=30434] ppid=30432 vsize=15144768 memory=28904 CPUtime=0.13 cores=1,3,5,7
/proc/30434/stat : 30434 (java) S 30432 30432 30073 0 -1 1077944320 5700 0 0 0 12 1 0 0 20 0 15 0 411394602 15508242432 7226 33554432000 4194304 4196468 140728482219440 140728482201984 140466756792055 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
/proc/30434/statm: 3786192 7226 3144 1 0 3748377 0
[pid=30434/tid=30435] ppid=30432 vsize=15144768 memory=-6962121287837372198 CPUtime=0.08 cores=1,3,5,7
/proc/30434/task/30435/stat : 30435 (java) R 30432 30432 30073 0 -1 4202560 3572 0 0 0 8 0 0 0 20 0 15 0 411394603 15508242432 7226 33554432000 4194304 4196468 140728482219440 140466761014112 140466749029182 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30436] ppid=30432 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30436/stat : 30436 (java) S 30432 30432 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411394603 15508242432 7226 33554432000 4194304 4196468 140728482219440 140466709412752 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30437] ppid=30432 vsize=15144768 memory=139933830325888 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30437/stat : 30437 (java) S 30432 30432 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411394603 15508242432 7226 33554432000 4194304 4196468 140728482219440 140466708359952 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30438] ppid=30432 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30438/stat : 30438 (java) S 30432 30432 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411394603 15508242432 7226 33554432000 4194304 4196468 140728482219440 140466707307664 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30439] ppid=30432 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30439/stat : 30439 (java) S 30432 30432 30073 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411394603 15508242432 7226 33554432000 4194304 4196468 140728482219440 140466706254864 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30440] ppid=30432 vsize=15144768 memory=139933830325888 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30440/stat : 30440 (java) S 30432 30432 30073 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411394605 15508242432 7226 33554432000 4194304 4196468 140728482219440 140466225494128 140466756803202 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30441] ppid=30432 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30441/stat : 30441 (java) S 30432 30432 30073 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411394605 15508242432 7226 33554432000 4194304 4196468 140728482219440 140466224440096 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30442] ppid=30432 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30442/stat : 30442 (java) S 30432 30432 30073 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411394605 15508242432 7226 33554432000 4194304 4196468 140728482219440 140466223387760 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30443] ppid=30432 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30443/stat : 30443 (java) S 30432 30432 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411394608 15508242432 7226 33554432000 4194304 4196468 140728482219440 140466222336080 140466756810651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30444] ppid=30432 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30444/stat : 30444 (java) S 30432 30432 30073 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 411394608 15508242432 7226 33554432000 4194304 4196468 140728482219440 140466221283952 140466756803202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30445] ppid=30432 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30445/stat : 30445 (java) S 30432 30432 30073 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 411394608 15508242432 7226 33554432000 4194304 4196468 140728482219440 140466220231152 140466756803202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30446] ppid=30432 vsize=15144768 memory=139933830325888 CPUtime=0.02 cores=1,3,5,7
/proc/30434/task/30446/stat : 30446 (java) S 30432 30432 30073 0 -1 1077944384 357 0 0 0 2 0 0 0 20 0 15 0 411394608 15508242432 7226 33554432000 4194304 4196468 140728482219440 140466219178864 140466756803202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30447] ppid=30432 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30447/stat : 30447 (java) S 30432 30432 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411394608 15508242432 7226 33554432000 4194304 4196468 140728482219440 140466218126304 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30448] ppid=30432 vsize=15144768 memory=139933830325888 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30448/stat : 30448 (java) S 30432 30432 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411394608 15508242432 7226 33554432000 4194304 4196468 140728482219440 140466217073072 140466756803202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30352 KiB

[startup+0.210887 s]*
/proc/loadavg: 8.01 6.00 3.67 7/233 30448
/proc/meminfo: memFree=23153112/32770624 swapFree=66957012/67108860
[pid=30432] ppid=30429 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30432/stat : 30432 (xcsp3-exec) S 30429 30432 30073 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411394602 115843072 362 33554432000 4194304 5098028 140725234791488 140725234789592 140522309276284 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18206720 140725234795387 140725234795629 140725234795629 140725234798538 0
/proc/30432/statm: 28282 362 304 221 0 87 0
[pid=30434] ppid=30432 vsize=15144768 memory=40608 CPUtime=0.35 cores=1,3,5,7
/proc/30434/stat : 30434 (java) S 30432 30432 30073 0 -1 1077944320 9343 0 0 0 32 3 0 0 20 0 15 0 411394602 15508242432 10152 33554432000 4194304 4196468 140728482219440 140728482201984 140466756792055 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
/proc/30434/statm: 3786192 10152 3310 1 0 3748377 0
[pid=30434/tid=30435] ppid=30432 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/30434/task/30435/stat : 30435 (java) R 30432 30432 30073 0 -1 4202560 6596 0 0 0 18 2 0 0 20 0 15 0 411394603 15508242432 10152 33554432000 4194304 4196468 140728482219440 140466761025520 140466749470069 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30436] ppid=30432 vsize=15144768 memory=8952 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30436/stat : 30436 (java) S 30432 30432 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411394603 15508242432 10152 33554432000 4194304 4196468 140728482219440 140466709412752 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30437] ppid=30432 vsize=15144768 memory=4050900445395396256 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30437/stat : 30437 (java) S 30432 30432 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411394603 15508242432 10152 33554432000 4194304 4196468 140728482219440 140466708359952 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30438] ppid=30432 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30438/stat : 30438 (java) S 30432 30432 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411394603 15508242432 10152 33554432000 4194304 4196468 140728482219440 140466707307664 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30439] ppid=30432 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30439/stat : 30439 (java) S 30432 30432 30073 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411394603 15508242432 10152 33554432000 4194304 4196468 140728482219440 140466706254864 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30440] ppid=30432 vsize=15144768 memory=139933830325888 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30440/stat : 30440 (java) S 30432 30432 30073 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411394605 15508242432 10152 33554432000 4194304 4196468 140728482219440 140466225494128 140466756803202 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30441] ppid=30432 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30441/stat : 30441 (java) S 30432 30432 30073 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411394605 15508242432 10152 33554432000 4194304 4196468 140728482219440 140466224440096 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30442] ppid=30432 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30442/stat : 30442 (java) S 30432 30432 30073 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411394605 15508242432 10152 33554432000 4194304 4196468 140728482219440 140466223387760 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30443] ppid=30432 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30443/stat : 30443 (java) S 30432 30432 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411394608 15508242432 10152 33554432000 4194304 4196468 140728482219440 140466222336080 140466756810651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30444] ppid=30432 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30434/task/30444/stat : 30444 (java) S 30432 30432 30073 0 -1 1077944384 495 0 0 0 2 0 0 0 20 0 15 0 411394608 15508242432 10152 33554432000 4194304 4196468 140728482219440 140466221283952 140466756803202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30445] ppid=30432 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/30434/task/30445/stat : 30445 (java) S 30432 30432 30073 0 -1 1077944384 152 0 0 0 2 0 0 0 20 0 15 0 411394608 15508242432 10152 33554432000 4194304 4196468 140728482219440 140466220231152 140466756803202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30446] ppid=30432 vsize=15144768 memory=139933830325888 CPUtime=0.08 cores=1,3,5,7
/proc/30434/task/30446/stat : 30446 (java) R 30432 30432 30073 0 -1 4202560 794 0 0 0 8 0 0 0 20 0 15 0 411394608 15508242432 10152 33554432000 4194304 4196468 140728482219440 140466219178864 140466756813402 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30447] ppid=30432 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30447/stat : 30447 (java) S 30432 30432 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411394608 15508242432 10152 33554432000 4194304 4196468 140728482219440 140466218126304 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30448] ppid=30432 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30448/stat : 30448 (java) S 30432 30432 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411394608 15508242432 10152 33554432000 4194304 4196468 140728482219440 140466217073072 140466756803202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42056 KiB

[startup+0.318311 s]*
/proc/loadavg: 8.01 6.00 3.67 7/233 30448
/proc/meminfo: memFree=23145448/32770624 swapFree=66957012/67108860
[pid=30432] ppid=30429 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30432/stat : 30432 (xcsp3-exec) S 30429 30432 30073 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411394602 115843072 362 33554432000 4194304 5098028 140725234791488 140725234789592 140522309276284 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18206720 140725234795387 140725234795629 140725234795629 140725234798538 0
/proc/30432/statm: 28282 362 304 221 0 87 0
[pid=30434] ppid=30432 vsize=15149024 memory=50468 CPUtime=0.53 cores=1,3,5,7
/proc/30434/stat : 30434 (java) S 30432 30432 30073 0 -1 1077944320 10932 0 0 0 50 3 0 0 20 0 15 0 411394602 15512600576 12617 33554432000 4194304 4196468 140728482219440 140728482201984 140466756792055 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
/proc/30434/statm: 3787256 12617 3374 1 0 3748377 0
[pid=30434/tid=30435] ppid=30432 vsize=15149024 memory=6791534058613427641 CPUtime=0.31 cores=1,3,5,7
/proc/30434/task/30435/stat : 30435 (java) R 30432 30432 30073 0 -1 4202560 7877 0 0 0 28 3 0 0 20 0 15 0 411394603 15512600576 12617 33554432000 4194304 4196468 140728482219440 140466761028368 140466740872542 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30436] ppid=30432 vsize=15149024 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30436/stat : 30436 (java) S 30432 30432 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411394603 15512600576 12617 33554432000 4194304 4196468 140728482219440 140466709412752 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30437] ppid=30432 vsize=15149024 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30437/stat : 30437 (java) S 30432 30432 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411394603 15512600576 12617 33554432000 4194304 4196468 140728482219440 140466708359952 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30438] ppid=30432 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30438/stat : 30438 (java) S 30432 30432 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411394603 15512600576 12617 33554432000 4194304 4196468 140728482219440 140466707307664 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30439] ppid=30432 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30439/stat : 30439 (java) S 30432 30432 30073 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411394603 15512600576 12617 33554432000 4194304 4196468 140728482219440 140466706254864 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30440] ppid=30432 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30440/stat : 30440 (java) S 30432 30432 30073 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411394605 15512600576 12617 33554432000 4194304 4196468 140728482219440 140466225494128 140466756803202 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30441] ppid=30432 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30441/stat : 30441 (java) S 30432 30432 30073 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411394605 15512600576 12617 33554432000 4194304 4196468 140728482219440 140466224440096 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30442] ppid=30432 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30442/stat : 30442 (java) S 30432 30432 30073 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411394605 15512600576 12617 33554432000 4194304 4196468 140728482219440 140466223387760 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30443] ppid=30432 vsize=15149024 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30443/stat : 30443 (java) S 30432 30432 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411394608 15512600576 12617 33554432000 4194304 4196468 140728482219440 140466222336080 140466756810651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30444] ppid=30432 vsize=15149024 memory=4426078206164241782 CPUtime=0.05 cores=1,3,5,7
/proc/30434/task/30444/stat : 30444 (java) S 30432 30432 30073 0 -1 1077944384 587 0 0 0 5 0 0 0 20 0 15 0 411394608 15512600576 12617 33554432000 4194304 4196468 140728482219440 140466221283952 140466756803202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30445] ppid=30432 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/30434/task/30445/stat : 30445 (java) S 30432 30432 30073 0 -1 1077944384 216 0 0 0 4 0 0 0 20 0 15 0 411394608 15512600576 12617 33554432000 4194304 4196468 140728482219440 140466220231152 140466756803202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30446] ppid=30432 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/30434/task/30446/stat : 30446 (java) S 30432 30432 30073 0 -1 1077944384 950 0 0 0 12 0 0 0 20 0 15 0 411394608 15512600576 12617 33554432000 4194304 4196468 140728482219440 140466219178864 140466756803202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30447] ppid=30432 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30447/stat : 30447 (java) S 30432 30432 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411394608 15512600576 12617 33554432000 4194304 4196468 140728482219440 140466218126304 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30448] ppid=30432 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30448/stat : 30448 (java) S 30432 30432 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411394608 15512600576 12617 33554432000 4194304 4196468 140728482219440 140466217073072 140466756803202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51916 KiB

[startup+0.70231 s]
/proc/loadavg: 8.01 6.00 3.67 9/233 30448
/proc/meminfo: memFree=23125088/32770624 swapFree=66957012/67108860
[pid=30432] ppid=30429 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30432/stat : 30432 (xcsp3-exec) S 30429 30432 30073 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411394602 115843072 362 33554432000 4194304 5098028 140725234791488 140725234789592 140522309276284 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18206720 140725234795387 140725234795629 140725234795629 140725234798538 0
/proc/30432/statm: 28282 362 304 221 0 87 0
[pid=30434] ppid=30432 vsize=15151148 memory=93044 CPUtime=1.73 cores=1,3,5,7
/proc/30434/stat : 30434 (java) S 30432 30432 30073 0 -1 1077944320 15426 0 0 0 168 5 0 0 20 0 15 0 411394602 15514775552 23261 33554432000 4194304 4196468 140728482219440 140728482201984 140466756792055 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
/proc/30434/statm: 3787787 23261 3458 1 0 3748889 0
[pid=30434/tid=30435] ppid=30432 vsize=15151148 memory=38932 CPUtime=0.67 cores=1,3,5,7
/proc/30434/task/30435/stat : 30435 (java) R 30432 30432 30073 0 -1 4202560 9152 0 0 0 64 3 0 0 20 0 15 0 411394603 15514775552 23261 33554432000 4194304 4196468 140728482219440 140466761027200 140466736984928 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30436] ppid=30432 vsize=15151148 memory=2020 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30436/stat : 30436 (java) S 30432 30432 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411394603 15514775552 23261 33554432000 4194304 4196468 140728482219440 140466709412752 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30437] ppid=30432 vsize=15151148 memory=988 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30437/stat : 30437 (java) S 30432 30432 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411394603 15514775552 23261 33554432000 4194304 4196468 140728482219440 140466708359952 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30438] ppid=30432 vsize=15151148 memory=1368 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30438/stat : 30438 (java) S 30432 30432 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411394603 15514775552 23261 33554432000 4194304 4196468 140728482219440 140466707307664 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30439] ppid=30432 vsize=15151148 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30439/stat : 30439 (java) S 30432 30432 30073 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411394603 15514775552 23261 33554432000 4194304 4196468 140728482219440 140466706254864 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30440] ppid=30432 vsize=15151148 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30440/stat : 30440 (java) S 30432 30432 30073 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 411394605 15514775552 23261 33554432000 4194304 4196468 140728482219440 140466225494128 140466756803202 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30441] ppid=30432 vsize=15151148 memory=6092 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30441/stat : 30441 (java) S 30432 30432 30073 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411394605 15514775552 23261 33554432000 4194304 4196468 140728482219440 140466224440096 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30442] ppid=30432 vsize=15151148 memory=11624 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30442/stat : 30442 (java) S 30432 30432 30073 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411394605 15514775552 23261 33554432000 4194304 4196468 140728482219440 140466223387760 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30443] ppid=30432 vsize=15151148 memory=732 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30443/stat : 30443 (java) S 30432 30432 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411394608 15514775552 23261 33554432000 4194304 4196468 140728482219440 140466222336080 140466756810651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30444] ppid=30432 vsize=15151148 memory=776 CPUtime=0.32 cores=1,3,5,7
/proc/30434/task/30444/stat : 30444 (java) R 30432 30432 30073 0 -1 4202560 1567 0 0 0 32 0 0 0 20 0 15 0 411394608 15514775552 23261 33554432000 4194304 4196468 140728482219440 140466221270848 140466734386801 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30445] ppid=30432 vsize=15151148 memory=1560 CPUtime=0.29 cores=1,3,5,7
/proc/30434/task/30445/stat : 30445 (java) R 30432 30432 30073 0 -1 4202560 1232 0 0 0 29 0 0 0 20 0 15 0 411394608 15514775552 23261 33554432000 4194304 4196468 140728482219440 140466220224344 140466736048426 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30446] ppid=30432 vsize=15151148 memory=4008 CPUtime=0.42 cores=1,3,5,7
/proc/30434/task/30446/stat : 30446 (java) S 30432 30432 30073 0 -1 1077944384 2168 0 0 0 42 0 0 0 20 0 15 0 411394608 15514775552 23261 33554432000 4194304 4196468 140728482219440 140466219178864 140466756803202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30447] ppid=30432 vsize=15151148 memory=1096 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30447/stat : 30447 (java) S 30432 30432 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411394608 15514775552 23261 33554432000 4194304 4196468 140728482219440 140466218126304 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30448] ppid=30432 vsize=15151148 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30448/stat : 30448 (java) S 30432 30432 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411394608 15514775552 23261 33554432000 4194304 4196468 140728482219440 140466217073072 140466756803202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 94492 KiB

[startup+1.50131 s]
/proc/loadavg: 8.01 6.00 3.67 8/233 30448
/proc/meminfo: memFree=23065180/32770624 swapFree=66957012/67108860
[pid=30432] ppid=30429 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30432/stat : 30432 (xcsp3-exec) S 30429 30432 30073 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411394602 115843072 362 33554432000 4194304 5098028 140725234791488 140725234789592 140522309276284 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18206720 140725234795387 140725234795629 140725234795629 140725234798538 0
/proc/30432/statm: 28282 362 304 221 0 87 0

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

/proc/30434/stat : 30434 (java) S 30432 30432 30073 0 -1 1077944320 165754 0 0 0 216007 156 0 0 20 0 19 0 411394602 15995056128 518581 33554432000 4194304 4196468 140728482219440 140728482201984 140466756792055 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
/proc/30434/statm: 3905043 518581 3554 1 0 3866145 0
[pid=30434/tid=30435] ppid=30432 vsize=15620172 memory=1448 CPUtime=5.08 cores=1,3,5,7
/proc/30434/task/30435/stat : 30435 (java) S 30432 30432 30073 0 -1 1077944384 13751 0 0 0 495 13 0 0 20 0 19 0 411394603 15995056128 518581 33554432000 4194304 4196468 140728482219440 140466761032768 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30436] ppid=30432 vsize=15620172 memory=2074324 CPUtime=0.85 cores=1,3,5,7
/proc/30434/task/30436/stat : 30436 (java) S 30432 30432 30073 0 -1 1077944384 3105 0 0 0 69 16 0 0 20 0 19 0 411394603 15995056128 518581 33554432000 4194304 4196468 140728482219440 140466709412752 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30437] ppid=30432 vsize=15620172 memory=2074324 CPUtime=0.83 cores=1,3,5,7
/proc/30434/task/30437/stat : 30437 (java) S 30432 30432 30073 0 -1 1077944384 2998 0 0 0 68 15 0 0 20 0 19 0 411394603 15995056128 518581 33554432000 4194304 4196468 140728482219440 140466708359952 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30438] ppid=30432 vsize=15620172 memory=2090192 CPUtime=0.82 cores=1,3,5,7
/proc/30434/task/30438/stat : 30438 (java) S 30432 30432 30073 0 -1 1077944384 1875 0 0 0 67 15 0 0 20 0 19 0 411394603 15995056128 518581 33554432000 4194304 4196468 140728482219440 140466707307664 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30439] ppid=30432 vsize=15620172 memory=2090192 CPUtime=0.85 cores=1,3,5,7
/proc/30434/task/30439/stat : 30439 (java) S 30432 30432 30073 0 -1 1077944384 2884 0 0 0 69 16 0 0 20 0 19 0 411394603 15995056128 518581 33554432000 4194304 4196468 140728482219440 140466706254864 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30440] ppid=30432 vsize=15620172 memory=2090192 CPUtime=0.11 cores=1,3,5,7
/proc/30434/task/30440/stat : 30440 (java) S 30432 30432 30073 0 -1 1077944384 4959 0 0 0 8 3 0 0 20 0 19 0 411394605 15995056128 518581 33554432000 4194304 4196468 140728482219440 140466225494128 140466756803202 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30441] ppid=30432 vsize=15620172 memory=2090192 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30441/stat : 30441 (java) S 30432 30432 30073 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 411394605 15995056128 518581 33554432000 4194304 4196468 140728482219440 140466224440160 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30442] ppid=30432 vsize=15620172 memory=469 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30442/stat : 30442 (java) S 30432 30432 30073 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 411394605 15995056128 518581 33554432000 4194304 4196468 140728482219440 140466223387776 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30443] ppid=30432 vsize=15620172 memory=2090192 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30443/stat : 30443 (java) S 30432 30432 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411394608 15995056128 518581 33554432000 4194304 4196468 140728482219440 140466222336080 140466756810651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30444] ppid=30432 vsize=15620172 memory=2090192 CPUtime=4.63 cores=1,3,5,7
/proc/30434/task/30444/stat : 30444 (java) S 30432 30432 30073 0 -1 1077944384 20169 0 0 0 461 2 0 0 20 0 19 0 411394608 15995056128 518581 33554432000 4194304 4196468 140728482219440 140466221283952 140466756803202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30445] ppid=30432 vsize=15620172 memory=2090192 CPUtime=4.69 cores=1,3,5,7
/proc/30434/task/30445/stat : 30445 (java) S 30432 30432 30073 0 -1 1077944384 20410 0 0 0 467 2 0 0 20 0 19 0 411394608 15995056128 518581 33554432000 4194304 4196468 140728482219440 140466220231152 140466756803202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30446] ppid=30432 vsize=15620172 memory=2074324 CPUtime=1.12 cores=1,3,5,7
/proc/30434/task/30446/stat : 30446 (java) S 30432 30432 30073 0 -1 1077944384 13436 0 0 0 109 3 0 0 20 0 19 0 411394608 15995056128 518581 33554432000 4194304 4196468 140728482219440 140466219178864 140466756803202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30447] ppid=30432 vsize=15620172 memory=2074324 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30447/stat : 30447 (java) S 30432 30432 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411394608 15995056128 518581 33554432000 4194304 4196468 140728482219440 140466218126304 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30448] ppid=30432 vsize=15620172 memory=2074324 CPUtime=0.36 cores=1,3,5,7
/proc/30434/task/30448/stat : 30448 (java) S 30432 30432 30073 0 -1 1077944384 1246 0 0 0 21 15 0 0 20 0 19 0 411394608 15995056128 518581 33554432000 4194304 4196468 140728482219440 140466217073072 140466756803202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=2192] ppid=30432 vsize=15620172 memory=2074324 CPUtime=512.65 cores=1,3,5,7
/proc/30434/task/2192/stat : 2192 (java) R 30432 30432 30073 0 -1 4202560 2564 0 0 0 51265 0 0 0 20 0 19 0 411401372 15995056128 518581 33554432000 4194304 4196468 140728482219440 140466202606872 140466388851545 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=2193] ppid=30432 vsize=15620172 memory=1448 CPUtime=511.21 cores=1,3,5,7
/proc/30434/task/2193/stat : 2193 (java) R 30432 30432 30073 0 -1 4202560 22877 0 0 0 51114 7 0 0 20 0 19 0 411401372 15995056128 518581 33554432000 4194304 4196468 140728482219440 140466204715712 140466393967864 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=2194] ppid=30432 vsize=15620172 memory=1448 CPUtime=511.96 cores=1,3,5,7
/proc/30434/task/2194/stat : 2194 (java) R 30432 30432 30073 0 -1 4202560 5016 0 0 0 51196 0 0 0 20 0 19 0 411401372 15995056128 518581 33554432000 4194304 4196468 140728482219440 140466199450168 140466393978849 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=2195] ppid=30432 vsize=15620172 memory=2074324 CPUtime=511.08 cores=1,3,5,7
/proc/30434/task/2195/stat : 2195 (java) R 30432 30432 30073 0 -1 4202560 2734 0 0 0 51107 1 0 0 20 0 19 0 411401372 15995056128 518581 33554432000 4194304 4196468 140728482219440 140466201555104 140466391668604 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
Current children cumulated CPU time: 2161.63 s
Current children cumulated vsize: 15733300 KiB
Current children cumulated memory: 2075772 KiB

[startup+642.301 s]
/proc/loadavg: 5.20 6.20 5.16 6/237 2448
/proc/meminfo: memFree=18145156/32770624 swapFree=66957012/67108860
[pid=30432] ppid=30429 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30432/stat : 30432 (xcsp3-exec) S 30429 30432 30073 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411394602 115843072 362 33554432000 4194304 5098028 140725234791488 140725234789592 140522309276284 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18206720 140725234795387 140725234795629 140725234795629 140725234798538 0
/proc/30432/statm: 28282 362 304 221 0 87 0
[pid=30434] ppid=30432 vsize=15620172 memory=2048168 CPUtime=2400.49 cores=1,3,5,7
/proc/30434/stat : 30434 (java) S 30432 30432 30073 0 -1 1077944320 171191 0 0 0 239891 158 0 0 20 0 19 0 411394602 15995056128 512042 33554432000 4194304 4196468 140728482219440 140728482201984 140466756792055 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
/proc/30434/statm: 3905043 512042 3554 1 0 3866145 0
[pid=30434/tid=30435] ppid=30432 vsize=15620172 memory=2048168 CPUtime=5.08 cores=1,3,5,7
/proc/30434/task/30435/stat : 30435 (java) S 30432 30432 30073 0 -1 1077944384 13751 0 0 0 495 13 0 0 20 0 19 0 411394603 15995056128 512042 33554432000 4194304 4196468 140728482219440 140466761032768 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30436] ppid=30432 vsize=15620172 memory=2090192 CPUtime=0.86 cores=1,3,5,7
/proc/30434/task/30436/stat : 30436 (java) S 30432 30432 30073 0 -1 1077944384 3572 0 0 0 70 16 0 0 20 0 19 0 411394603 15995056128 512042 33554432000 4194304 4196468 140728482219440 140466709412752 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30437] ppid=30432 vsize=15620172 memory=2090192 CPUtime=0.84 cores=1,3,5,7
/proc/30434/task/30437/stat : 30437 (java) S 30432 30432 30073 0 -1 1077944384 3010 0 0 0 69 15 0 0 20 0 19 0 411394603 15995056128 512042 33554432000 4194304 4196468 140728482219440 140466708359952 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30438] ppid=30432 vsize=15620172 memory=1448 CPUtime=0.83 cores=1,3,5,7
/proc/30434/task/30438/stat : 30438 (java) S 30432 30432 30073 0 -1 1077944384 1974 0 0 0 68 15 0 0 20 0 19 0 411394603 15995056128 512042 33554432000 4194304 4196468 140728482219440 140466707307664 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30439] ppid=30432 vsize=15620172 memory=1448 CPUtime=0.86 cores=1,3,5,7
/proc/30434/task/30439/stat : 30439 (java) S 30432 30432 30073 0 -1 1077944384 3031 0 0 0 70 16 0 0 20 0 19 0 411394603 15995056128 512042 33554432000 4194304 4196468 140728482219440 140466706254864 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30440] ppid=30432 vsize=15620172 memory=1448 CPUtime=0.11 cores=1,3,5,7
/proc/30434/task/30440/stat : 30440 (java) S 30432 30432 30073 0 -1 1077944384 5233 0 0 0 8 3 0 0 20 0 19 0 411394605 15995056128 512042 33554432000 4194304 4196468 140728482219440 140466225494128 140466756803202 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30441] ppid=30432 vsize=15620172 memory=2048168 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30441/stat : 30441 (java) S 30432 30432 30073 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 411394605 15995056128 512042 33554432000 4194304 4196468 140728482219440 140466224440160 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30442] ppid=30432 vsize=15620172 memory=2048168 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30442/stat : 30442 (java) S 30432 30432 30073 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 411394605 15995056128 512042 33554432000 4194304 4196468 140728482219440 140466223387776 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30443] ppid=30432 vsize=15620172 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30443/stat : 30443 (java) S 30432 30432 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411394608 15995056128 512042 33554432000 4194304 4196468 140728482219440 140466222336080 140466756810651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30444] ppid=30432 vsize=15620172 memory=2048168 CPUtime=4.64 cores=1,3,5,7
/proc/30434/task/30444/stat : 30444 (java) S 30432 30432 30073 0 -1 1077944384 20404 0 0 0 462 2 0 0 20 0 19 0 411394608 15995056128 512042 33554432000 4194304 4196468 140728482219440 140466221283952 140466756803202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30445] ppid=30432 vsize=15620172 memory=2048168 CPUtime=4.71 cores=1,3,5,7
/proc/30434/task/30445/stat : 30445 (java) S 30432 30432 30073 0 -1 1077944384 21247 0 0 0 469 2 0 0 20 0 19 0 411394608 15995056128 512042 33554432000 4194304 4196468 140728482219440 140466220231152 140466756803202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30446] ppid=30432 vsize=15620172 memory=2048168 CPUtime=1.12 cores=1,3,5,7
/proc/30434/task/30446/stat : 30446 (java) S 30432 30432 30073 0 -1 1077944384 13441 0 0 0 109 3 0 0 20 0 19 0 411394608 15995056128 512042 33554432000 4194304 4196468 140728482219440 140466219178864 140466756803202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30447] ppid=30432 vsize=15620172 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30447/stat : 30447 (java) S 30432 30432 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411394608 15995056128 512042 33554432000 4194304 4196468 140728482219440 140466218126304 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30448] ppid=30432 vsize=15620172 memory=1448 CPUtime=0.43 cores=1,3,5,7
/proc/30434/task/30448/stat : 30448 (java) S 30432 30432 30073 0 -1 1077944384 1276 0 0 0 25 18 0 0 20 0 19 0 411394608 15995056128 512042 33554432000 4194304 4196468 140728482219440 140466217073072 140466756803202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=2192] ppid=30432 vsize=15620172 memory=0 CPUtime=572.4 cores=1,3,5,7
/proc/30434/task/2192/stat : 2192 (java) R 30432 30432 30073 0 -1 4202560 2695 0 0 0 57240 0 0 0 20 0 19 0 411401372 15995056128 512042 33554432000 4194304 4196468 140728482219440 140466202606872 140466392788885 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=2193] ppid=30432 vsize=15620172 memory=2048168 CPUtime=570.67 cores=1,3,5,7
/proc/30434/task/2193/stat : 2193 (java) R 30432 30432 30073 0 -1 4202560 25445 0 0 0 57059 8 0 0 20 0 19 0 411401372 15995056128 512042 33554432000 4194304 4196468 140728482219440 140466204715712 140466393978141 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=2194] ppid=30432 vsize=15620172 memory=2048168 CPUtime=571.87 cores=1,3,5,7
/proc/30434/task/2194/stat : 2194 (java) R 30432 30432 30073 0 -1 4202560 5516 0 0 0 57187 0 0 0 20 0 19 0 411401372 15995056128 512042 33554432000 4194304 4196468 140728482219440 140466199450168 140466393978628 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=2195] ppid=30432 vsize=15620172 memory=1448 CPUtime=570.67 cores=1,3,5,7
/proc/30434/task/2195/stat : 2195 (java) R 30432 30432 30073 0 -1 4202560 2866 0 0 0 57066 1 0 0 20 0 19 0 411401372 15995056128 512042 33554432000 4194304 4196468 140728482219440 140466201555104 140466391668371 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
Current children cumulated CPU time: 2400.49 s
Current children cumulated vsize: 15733300 KiB
Current children cumulated memory: 2049616 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+672.401 s]
/proc/loadavg: 5.12 6.09 5.15 6/237 2452
/proc/meminfo: memFree=18163680/32770624 swapFree=66957012/67108860
[pid=30432] ppid=30429 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30432/stat : 30432 (xcsp3-exec) S 30429 30432 30073 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411394602 115843072 362 33554432000 4194304 5098028 140725234791488 140725234789592 140522309276284 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18206720 140725234795387 140725234795629 140725234795629 140725234798538 0
/proc/30432/statm: 28282 362 304 221 0 87 0
[pid=30434] ppid=30432 vsize=15620172 memory=2029192 CPUtime=2520.33 cores=1,3,5,7
/proc/30434/stat : 30434 (java) S 30432 30432 30073 0 -1 1077944320 173691 0 0 0 251875 158 0 0 20 0 19 0 411394602 15995056128 507298 33554432000 4194304 4196468 140728482219440 140728482201984 140466756792055 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
/proc/30434/statm: 3905043 507298 3554 1 0 3866145 0
[pid=30434/tid=30435] ppid=30432 vsize=15620172 memory=3852 CPUtime=5.08 cores=1,3,5,7
/proc/30434/task/30435/stat : 30435 (java) S 30432 30432 30073 0 -1 1077944384 13751 0 0 0 495 13 0 0 20 0 19 0 411394603 15995056128 507298 33554432000 4194304 4196468 140728482219440 140466761032768 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30436] ppid=30432 vsize=15620172 memory=2600 CPUtime=0.87 cores=1,3,5,7
/proc/30434/task/30436/stat : 30436 (java) S 30432 30432 30073 0 -1 1077944384 3577 0 0 0 71 16 0 0 20 0 19 0 411394603 15995056128 507298 33554432000 4194304 4196468 140728482219440 140466709412752 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30437] ppid=30432 vsize=15620172 memory=6791534058613427641 CPUtime=0.85 cores=1,3,5,7
/proc/30434/task/30437/stat : 30437 (java) S 30432 30432 30073 0 -1 1077944384 3015 0 0 0 70 15 0 0 20 0 19 0 411394603 15995056128 507298 33554432000 4194304 4196468 140728482219440 140466708359952 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30438] ppid=30432 vsize=15620172 memory=1164 CPUtime=0.84 cores=1,3,5,7
/proc/30434/task/30438/stat : 30438 (java) S 30432 30432 30073 0 -1 1077944384 1983 0 0 0 69 15 0 0 20 0 19 0 411394603 15995056128 507298 33554432000 4194304 4196468 140728482219440 140466707307664 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30439] ppid=30432 vsize=15620172 memory=14008 CPUtime=0.87 cores=1,3,5,7
/proc/30434/task/30439/stat : 30439 (java) S 30432 30432 30073 0 -1 1077944384 3039 0 0 0 71 16 0 0 20 0 19 0 411394603 15995056128 507298 33554432000 4194304 4196468 140728482219440 140466706254864 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30440] ppid=30432 vsize=15620172 memory=12040 CPUtime=0.11 cores=1,3,5,7
/proc/30434/task/30440/stat : 30440 (java) S 30432 30432 30073 0 -1 1077944384 5240 0 0 0 8 3 0 0 20 0 19 0 411394605 15995056128 507298 33554432000 4194304 4196468 140728482219440 140466225494128 140466756803202 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30441] ppid=30432 vsize=15620172 memory=2124 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30441/stat : 30441 (java) S 30432 30432 30073 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 411394605 15995056128 507298 33554432000 4194304 4196468 140728482219440 140466224440160 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30442] ppid=30432 vsize=15620172 memory=20844 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30442/stat : 30442 (java) S 30432 30432 30073 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 411394605 15995056128 507298 33554432000 4194304 4196468 140728482219440 140466223387776 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30443] ppid=30432 vsize=15620172 memory=492 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30443/stat : 30443 (java) S 30432 30432 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411394608 15995056128 507298 33554432000 4194304 4196468 140728482219440 140466222336080 140466756810651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30444] ppid=30432 vsize=15620172 memory=1560 CPUtime=4.64 cores=1,3,5,7
/proc/30434/task/30444/stat : 30444 (java) S 30432 30432 30073 0 -1 1077944384 20408 0 0 0 462 2 0 0 20 0 19 0 411394608 15995056128 507298 33554432000 4194304 4196468 140728482219440 140466221283952 140466756803202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30445] ppid=30432 vsize=15620172 memory=932 CPUtime=4.71 cores=1,3,5,7
/proc/30434/task/30445/stat : 30445 (java) S 30432 30432 30073 0 -1 1077944384 21249 0 0 0 469 2 0 0 20 0 19 0 411394608 15995056128 507298 33554432000 4194304 4196468 140728482219440 140466220231152 140466756803202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30446] ppid=30432 vsize=15620172 memory=1768 CPUtime=1.13 cores=1,3,5,7
/proc/30434/task/30446/stat : 30446 (java) S 30432 30432 30073 0 -1 1077944384 13450 0 0 0 110 3 0 0 20 0 19 0 411394608 15995056128 507298 33554432000 4194304 4196468 140728482219440 140466219178864 140466756803202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30447] ppid=30432 vsize=15620172 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/30434/task/30447/stat : 30447 (java) S 30432 30432 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411394608 15995056128 507298 33554432000 4194304 4196468 140728482219440 140466218126304 140466756802261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=30448] ppid=30432 vsize=15620172 memory=896 CPUtime=0.47 cores=1,3,5,7
/proc/30434/task/30448/stat : 30448 (java) S 30432 30432 30073 0 -1 1077944384 1314 0 0 0 27 20 0 0 20 0 19 0 411394608 15995056128 507298 33554432000 4194304 4196468 140728482219440 140466217073072 140466756803202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=2192] ppid=30432 vsize=15620172 memory=1980 CPUtime=602.49 cores=1,3,5,7
/proc/30434/task/2192/stat : 2192 (java) R 30432 30432 30073 0 -1 4202560 2854 0 0 0 60249 0 0 0 20 0 19 0 411401372 15995056128 507298 33554432000 4194304 4196468 140728482219440 140466202606872 140466393968018 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=2193] ppid=30432 vsize=15620172 memory=2520 CPUtime=600.63 cores=1,3,5,7
/proc/30434/task/2193/stat : 2193 (java) R 30432 30432 30073 0 -1 4202560 27156 0 0 0 60055 8 0 0 20 0 19 0 411401372 15995056128 507298 33554432000 4194304 4196468 140728482219440 140466204715712 140466393978560 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=2194] ppid=30432 vsize=15620172 memory=1412 CPUtime=601.66 cores=1,3,5,7
/proc/30434/task/2194/stat : 2194 (java) R 30432 30432 30073 0 -1 4202560 5964 0 0 0 60166 0 0 0 20 0 19 0 411401372 15995056128 507298 33554432000 4194304 4196468 140728482219440 140466199450168 140466388851527 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
[pid=30434/tid=2195] ppid=30432 vsize=15620172 memory=3396 CPUtime=600.58 cores=1,3,5,7
/proc/30434/task/2195/stat : 2195 (java) R 30432 30432 30073 0 -1 4202560 2961 0 0 0 60057 1 0 0 20 0 19 0 411401372 15995056128 507298 33554432000 4194304 4196468 140728482219440 140466201555104 140466391668394 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32841728 140728482227183 140728482227354 140728482227354 140728482230223 0
Current children cumulated CPU time: 2520.33 s
Current children cumulated vsize: 15733300 KiB
Current children cumulated memory: 2030640 KiB

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

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

[startup+672.489 s]
# the end of solver process 30434 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.05 s, system=1.60004 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): 672.489
CPU time (s): 2520.65
CPU user time (s): 2519.05
CPU system time (s): 1.60004
CPU usage (%): 374.824
Max. virtual memory (cumulated for all children) (KiB): 15733300
Max. memory (cumulated for all children) (KiB): 2096316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.05
system time used= 1.60004
maximum resident set size= 2096916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175627
page faults= 0
swaps= 0
block input operations= 0
block output operations= 808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41103
involuntary context switches= 33038


# summary of solver processes directly reported to runsolver:
#   pid: 30432,30434
#   total CPU time (s): 2520.65
#   total CPU user time (s): 2519.05
#   total CPU system time (s): 1.60004

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.32111 second user time and 7.93926 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-13 08:06:04
IDJOB=4393391
IDBENCH=141204
IDSOLVER=2840
FILE ID=node147/4393391-1568354807
RUNJOBID= node147-1568354118-30105
PBS_JOBID= 21701187
Free space on /tmp= 56520 MiB

SOLVER NAME= choco-solver 2019-06-14
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-05-opt_c18.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393391-1568354807/watcher-4393391-1568354807 -o /tmp/evaluation-result-4393391-1568354807/solver-4393391-1568354807 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568354118-30105 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 582874924 HOME/instance-4393391-1568354807.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= d0ab6aee5f30ff70d66f863e0e3556a1
RANDOM SEED=582874924

node147.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.52
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.52
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.52
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.52
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:        23182632 kB
MemAvailable:   28261372 kB
Buffers:          149212 kB
Cached:          5147292 kB
SwapCached:        48500 kB
Active:          5698500 kB
Inactive:        3198192 kB
Active(anon):    3552104 kB
Inactive(anon):    89340 kB
Active(file):    2146396 kB
Inactive(file):  3108852 kB
Unevictable:      107768 kB
Mlocked:          107768 kB
SwapTotal:      67108860 kB
SwapFree:       66957012 kB
Dirty:             26016 kB
Writeback:             0 kB
AnonPages:       3661404 kB
Mapped:            57080 kB
Shmem:             32768 kB
Slab:             280632 kB
SReclaimable:     251952 kB
SUnreclaim:        28680 kB
KernelStack:        4032 kB
PageTables:        12856 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5446368 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3532800 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 56412 MiB
End job on node147 at 2019-09-13 08:17:17