Trace number 4394291

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 2400.59 639.601

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394291-1568349482.xml"  -tl '2400s' -p 4
0.12/0.20	c Choco e747e1e
0.12/0.20	c [HOME/instance-4394291-1568349482.xml, -tl, 2400s, -p, 4]
0.34/0.24	c 4 solvers in parallel
0.34/0.31	c parse instance...
11.76/5.23	c solve instance...
14.32/6.08	o 148863 
14.32/6.09	o 147962 
14.50/6.12	o 147862 
14.50/6.12	o 147762 
14.50/6.14	o 147761 
14.50/6.17	o 146862 
14.50/6.17	o 145961 
14.50/6.19	o 145861 
14.80/6.20	o 145761 
14.80/6.22	o 145732 
14.80/6.24	o 145731 
14.80/6.24	o 145640 
14.80/6.25	o 145620 
14.80/6.25	o 144960 
14.80/6.27	o 144931 
14.80/6.28	o 144930 
14.80/6.28	o 144839 
14.80/6.29	o 144819 
14.80/6.29	o 144760 
15.07/6.30	o 144731 
16.60/6.79	o 144730 
16.60/6.80	o 144639 
16.88/6.80	o 144619 
16.88/6.81	o 144596 
16.88/6.82	o 144567 
16.88/6.83	o 144503 
16.88/6.84	o 144483 
16.88/6.84	o 144414 
16.88/6.85	o 144393 
16.88/6.85	o 144373 
16.88/6.85	o 144363 
16.88/6.86	o 144353 
16.88/6.87	o 144352 
16.88/6.87	o 144342 
16.88/6.88	o 143747 
16.88/6.88	o 143647 
16.88/6.89	o 143547 
16.88/6.90	o 143528 
17.20/6.90	o 143518 
17.20/6.91	o 143517 
17.20/6.91	o 143427 
17.20/6.92	o 143426 
17.20/6.92	o 143406 
17.20/6.94	o 143383 
17.20/6.95	o 143364 
17.20/6.96	o 143354 
17.20/6.96	o 143290 
17.20/6.97	o 143201 
17.78/7.29	o 143191 
19.62/8.74	o 143181 
19.62/8.74	o 143180 
19.62/8.74	o 143160 
19.62/8.75	o 143150 
19.62/8.75	o 143140 
19.86/8.80	o 143111 
19.86/8.80	o 143090 
19.86/8.81	o 143070 
19.86/8.81	o 143060 
19.86/8.82	o 143050 
19.86/8.84	o 142956 
19.86/8.85	o 142856 
19.86/8.85	o 142756 
19.86/8.86	o 142737 
19.86/8.86	o 142727 
19.86/8.89	o 142726 
19.86/8.90	o 142636 
20.17/8.92	o 142635 
20.17/8.92	o 142615 
20.17/8.93	o 142593 
20.17/8.95	o 142493 
20.17/8.95	o 142474 
20.17/8.96	o 142464 
20.17/8.97	o 142400 
20.17/8.97	o 142380 
20.17/9.01	o 142311 
20.40/9.01	o 142290 
20.40/9.05	o 142270 
20.40/9.06	o 142260 
20.40/9.07	o 142250 
20.40/9.09	o 142249 
20.61/9.12	o 141946 
20.61/9.12	o 141846 
20.61/9.12	o 141746 
20.61/9.13	o 141727 
20.61/9.13	o 141717 
20.61/9.14	o 141716 
20.61/9.15	o 141626 
20.61/9.15	o 141625 
20.61/9.15	o 141605 
20.61/9.17	o 141583 
20.61/9.18	o 141483 
20.61/9.18	o 141464 
20.61/9.19	o 141454 
20.86/9.21	o 141390 
20.86/9.21	o 141370 
20.86/9.22	o 141301 
20.86/9.22	o 141280 
20.86/9.23	o 141260 
20.86/9.23	o 141250 
20.86/9.23	o 141240 
20.86/9.24	o 140648 
20.86/9.25	o 140548 
20.86/9.25	o 140448 
20.86/9.27	o 140419 
20.86/9.27	o 140418 
20.86/9.27	o 140327 
21.20/9.37	o 140307 
21.20/9.38	o 139647 
21.40/9.40	o 139618 
21.40/9.42	o 139617 
21.40/9.44	o 139526 
21.40/9.47	o 139506 
21.40/9.48	o 137959 
21.77/9.60	o 137948 
21.77/9.61	o 137859 
22.04/9.72	o 137803 
22.04/9.73	o 137759 
22.20/9.83	o 137123 
23.71/11.19	o 137023 
23.81/11.22	o 136923 
23.81/11.23	o 136904 
23.81/11.25	o 136894 
23.81/11.27	o 136893 
23.81/11.28	o 136803 
23.81/11.29	o 136802 
23.97/11.30	o 136782 
23.97/11.31	o 136123 
24.21/11.53	o 136104 
24.21/11.56	o 136094 
24.37/11.62	o 136093 
24.37/11.64	o 136003 
24.37/11.64	o 136002 
24.37/11.66	o 135982 
24.37/11.67	o 135923 
24.37/11.68	o 135904 
24.37/11.69	o 135894 
24.53/11.71	o 135893 
24.53/11.71	o 135803 
24.53/11.72	o 135802 
24.53/11.74	o 135782 
24.53/11.76	o 135123 
24.71/11.82	o 135023 
24.71/11.83	o 134923 
24.71/11.85	o 134904 
24.71/11.86	o 134894 
24.71/11.86	o 134893 
24.71/11.86	o 134803 
24.71/11.87	o 134802 
24.71/11.87	o 134782 
24.71/11.88	o 134223 
24.71/11.88	o 134123 
24.71/11.89	o 134023 
24.71/11.89	o 134004 
24.94/11.92	o 133994 
24.94/11.93	o 133993 
24.94/11.93	o 133903 
24.94/11.93	o 133902 
24.94/11.96	o 133882 
24.94/12.00	o 133802 
24.94/12.00	o 133801 
25.19/12.01	o 133781 
25.19/12.07	o 133759 
25.19/12.09	o 133740 
25.19/12.10	o 133731 
25.19/12.11	o 133677 
25.36/12.12	o 133656 
25.36/12.12	o 133636 
25.36/12.16	o 133626 
25.36/12.17	o 133616 
25.36/12.19	o 133222 
25.51/12.23	o 133122 
25.51/12.24	o 133022 
25.51/12.25	o 133003 
25.51/12.25	o 132993 
25.51/12.25	o 132992 
25.51/12.25	o 132916 
25.51/12.25	o 132902 
25.68/12.36	o 132901 
25.68/12.36	o 132881 
25.68/12.36	o 132786 
25.87/12.46	o 132777 
25.87/12.47	o 132756 
25.87/12.48	o 132686 
25.87/12.49	o 132657 
25.87/12.49	o 132616 
26.02/12.59	o 132101 
27.67/13.95	o 132001 
27.67/13.96	o 131901 
27.67/13.97	o 131882 
27.67/13.98	o 131872 
27.67/14.00	o 131871 
27.67/14.00	o 131781 
27.67/14.01	o 131780 
27.67/14.01	o 131760 
27.83/14.01	o 131750 
27.83/14.05	o 131748 
27.83/14.06	o 131737 
27.83/14.07	o 131725 
27.83/14.08	o 131656 
27.83/14.08	o 131635 
27.83/14.08	o 131615 
27.83/14.10	o 131605 
27.83/14.11	o 131546 
28.02/14.11	o 131505 
28.28/14.25	o 131496 
28.82/14.49	o 131426 
29.09/14.60	o 131091 
29.09/14.66	o 130316 
29.36/14.77	o 130213 
29.36/14.77	o 130196 
29.56/14.88	o 130113 
29.67/14.94	o 130013 
31.08/16.26	o 129994 
31.20/16.30	o 129984 
31.20/16.32	o 129983 
31.20/16.36	o 129893 
31.20/16.37	o 129892 
31.20/16.37	o 129872 
31.36/16.41	o 129857 
31.36/16.41	o 129837 
31.36/16.41	o 129768 
31.36/16.42	o 129747 
31.36/16.46	o 129727 
31.36/16.47	o 129717 
31.36/16.47	o 129707 
31.36/16.48	o 129648 
31.36/16.48	o 129607 
31.54/16.57	o 129597 
31.65/16.63	o 129596 
31.65/16.65	o 129586 
31.65/16.66	o 129585 
31.65/16.69	o 129526 
31.82/16.70	o 129485 
31.82/16.72	o 129475 
31.82/16.73	o 129465 
31.98/16.81	o 129406 
31.98/16.81	o 129365 
32.96/17.15	o 129092 
32.96/17.16	o 128992 
32.96/17.16	o 128892 
32.96/17.16	o 128890 
32.96/17.17	o 128873 
33.11/17.28	o 128863 
33.11/17.29	o 128790 
33.23/17.30	o 128772 
33.36/17.41	o 128771 
33.36/17.41	o 128690 
33.49/17.52	o 128647 
33.49/17.53	o 128637 
33.49/17.54	o 128537 
33.49/17.54	o 127660 
33.66/17.65	o 127628 
33.66/17.68	o 127587 
33.66/17.68	o 127560 
33.85/17.80	o 127518 
33.85/17.80	o 127477 
34.00/17.80	o 127440 
34.50/18.02	o 127072 
35.81/19.34	o 126972 
35.81/19.35	o 126872 
35.81/19.36	o 126853 
35.81/19.37	o 126843 
35.93/19.41	o 126842 
35.93/19.41	o 126752 
35.93/19.41	o 126751 
35.93/19.41	o 126731 
35.93/19.45	o 126730 
35.93/19.47	o 126719 
35.93/19.48	o 126708 
36.09/19.57	o 126696 
36.23/19.62	o 126686 
36.23/19.63	o 126676 
36.23/19.64	o 126617 
36.23/19.65	o 126517 
36.23/19.66	o 126476 
36.50/19.76	o 126440 
36.50/19.77	o 126340 
36.67/19.89	o 126321 
36.78/19.97	o 126311 
36.78/20.00	o 126310 
36.95/20.07	o 126220 
37.06/20.18	o 126219 
37.16/20.21	o 126199 
37.16/20.27	o 126198 
37.16/20.28	o 126187 
37.33/20.30	o 126176 
37.33/20.30	o 126164 
37.50/20.47	o 126130 
37.64/20.51	o 126111 
37.64/20.54	o 126101 
37.64/20.54	o 126100 
37.75/20.60	o 126010 
37.75/20.63	o 126009 
37.75/20.66	o 125989 
37.86/20.72	o 125979 
37.86/20.75	o 125908 
37.86/20.78	o 125907 
37.98/20.82	o 125887 
37.98/20.85	o 125877 
37.98/20.89	o 125876 
38.11/20.92	o 125866 
38.90/21.21	o 125865 
38.90/21.28	o 125329 
39.06/21.32	o 125229 
39.06/21.35	o 125129 
39.06/21.39	o 125110 
39.18/21.42	o 125100 
39.18/21.46	o 125099 
39.18/21.49	o 125009 
39.31/21.51	o 125008 
39.31/21.53	o 124988 
39.31/21.56	o 124987 
39.45/21.62	o 124976 
39.45/21.64	o 124965 
39.45/21.64	o 124943 
39.63/21.71	o 124907 
39.63/21.71	o 124906 
39.63/21.73	o 124886 
39.63/21.73	o 124876 
39.63/21.78	o 124875 
39.77/21.87	o 124865 
39.89/21.94	o 124863 
39.89/21.98	o 124841 
40.05/22.06	o 124840 
40.05/22.07	o 124778 
40.26/22.19	o 124719 
40.26/22.19	o 124619 
40.26/22.19	o 124578 
40.40/22.26	o 123768 
40.55/22.38	o 123743 
40.67/22.41	o 123668 
40.88/22.53	o 123608 
40.88/22.53	o 123508 
40.88/22.57	o 123467 
42.23/23.86	o 123457 
42.42/23.95	o 123456 
42.42/23.99	o 123446 
42.58/24.01	o 123445 
42.58/24.10	o 123386 
42.74/24.11	o 123345 
42.74/24.15	o 123266 
42.74/24.15	o 123225 
43.05/24.28	o 123211 
43.05/24.29	o 123210 
43.05/24.30	o 123190 
43.25/24.31	o 123189 
43.25/24.36	o 123178 
43.41/24.44	o 123167 
43.41/24.45	o 123155 
43.41/24.47	o 123089 
43.59/24.53	o 123088 
43.59/24.54	o 123068 
43.71/24.61	o 123058 
43.71/24.63	o 122969 
43.71/24.65	o 122968 
43.85/24.73	o 122948 
43.85/24.78	o 122938 
43.85/24.80	o 122936 
43.98/24.88	o 122925 
44.11/24.93	o 122913 
44.11/24.99	o 122879 
44.30/25.04	o 122878 
44.43/25.11	o 122858 
44.43/25.12	o 122848 
44.43/25.18	o 122759 
44.56/25.27	o 122758 
44.66/25.31	o 122738 
44.78/25.49	o 122728 
44.91/25.57	o 122657 
45.02/25.68	o 122656 
45.13/25.71	o 122636 
45.13/25.73	o 122626 
45.13/25.73	o 122200 
45.29/25.85	o 122120 
45.29/25.85	o 122100 
45.42/25.96	o 122091 
45.42/25.97	o 122000 
45.42/25.98	o 121999 
45.55/26.09	o 121979 
45.55/26.09	o 121978 
45.55/26.10	o 121970 
45.55/26.11	o 121967 
45.75/26.22	o 121956 
45.75/26.24	o 121934 
45.75/26.24	o 121870 
45.90/26.35	o 121857 
45.90/26.36	o 121856 
45.90/26.36	o 120970 
46.12/26.47	o 120968 
46.12/26.48	o 120967 
46.12/26.48	o 120947 
46.12/26.48	o 120946 
46.39/26.67	o 120870 
46.94/26.81	o 120850 
47.16/26.92	o 120319 
48.47/28.24	o 120219 
48.58/28.30	o 120119 
48.58/28.31	o 120100 
48.58/28.31	o 120090 
48.58/28.33	o 120089 
48.58/28.36	o 119999 
48.58/28.36	o 119998 
48.58/28.37	o 119978 
48.73/28.41	o 119977 
48.87/28.56	o 119966 
48.87/28.57	o 119955 
48.87/28.58	o 119933 
49.04/28.61	o 119897 
49.04/28.61	o 119896 
49.04/28.61	o 119876 
49.04/28.62	o 119866 
49.04/28.66	o 119865 
49.17/28.70	o 119855 
49.17/28.74	o 119853 
49.17/28.78	o 119831 
49.35/28.82	o 119830 
49.35/28.86	o 119757 
49.50/28.90	o 119756 
49.50/28.94	o 119736 
49.50/28.98	o 119726 
49.64/29.02	o 119724 
49.64/29.06	o 119713 
49.64/29.11	o 119691 
49.77/29.14	o 119655 
49.77/29.18	o 119654 
49.93/29.22	o 119634 
49.93/29.25	o 119624 
49.93/29.29	o 119623 
49.93/29.29	o 119613 
50.08/29.33	o 119611 
50.08/29.36	o 119589 
50.27/29.50	o 119588 
50.37/29.53	o 119587 
50.37/29.58	o 119427 
51.10/29.80	o 119348 
51.10/29.85	o 119327 
51.25/29.96	o 119319 
51.25/30.00	o 119227 
51.77/30.32	o 119207 
51.77/30.37	o 119206 
51.88/30.42	o 119197 
51.88/30.47	o 119195 
52.01/30.59	o 119184 
52.15/30.63	o 118197 
52.32/30.75	o 118184 
52.32/30.75	o 118143 
52.32/30.80	o 118097 
52.62/30.91	o 118064 
52.62/30.91	o 118023 
52.62/30.96	o 117977 
52.85/31.08	o 117976 
52.96/31.11	o 117877 
53.15/31.23	o 117866 
53.15/31.23	o 117865 
54.53/32.55	o 117854 
54.53/32.57	o 117843 
54.67/32.62	o 117831 
54.67/32.68	o 117767 
54.82/32.73	o 117766 
54.82/32.77	o 117746 
54.95/32.80	o 117745 
54.95/32.88	o 117734 
55.13/32.93	o 117723 
55.13/32.98	o 117711 
55.31/33.01	o 117677 
55.31/33.06	o 117676 
55.46/33.16	o 117656 
55.46/33.17	o 117646 
55.60/33.22	o 117557 
55.60/33.25	o 117556 
55.60/33.26	o 117536 
55.72/33.31	o 117526 
55.72/33.36	o 117455 
55.89/33.40	o 117454 
55.89/33.44	o 117434 
55.89/33.48	o 117424 
56.02/33.54	o 117423 
56.02/33.59	o 117413 
56.55/33.78	o 117339 
56.95/33.90	o 117118 
58.25/35.21	o 117018 
58.25/35.22	o 116918 
58.25/35.28	o 116899 
58.25/35.28	o 116889 
58.39/35.32	o 116888 
58.39/35.32	o 116798 
58.39/35.33	o 116797 
58.39/35.33	o 116777 
58.39/35.35	o 116776 
58.39/35.37	o 116765 
58.39/35.38	o 116754 
58.39/35.39	o 116732 
58.72/35.50	o 116676 
58.72/35.52	o 116675 
58.72/35.53	o 116655 
58.72/35.53	o 116645 
58.72/35.54	o 116556 
58.72/35.55	o 116555 
58.72/35.56	o 116535 
58.72/35.56	o 116525 
58.91/35.66	o 116523 
58.91/35.69	o 116512 
59.05/35.71	o 116490 
59.05/35.75	o 116454 
59.05/35.79	o 116453 
59.25/35.80	o 116433 
59.25/35.81	o 116423 
59.25/35.84	o 116422 
59.25/35.84	o 116412 
59.25/35.86	o 116410 
59.25/35.87	o 116388 
59.25/35.89	o 116387 
59.79/36.10	o 116328 
59.89/36.11	o 116228 
59.89/36.12	o 116209 
59.89/36.13	o 116199 
59.89/36.14	o 116198 
59.89/36.14	o 116108 
59.89/36.15	o 116107 
60.03/36.20	o 116087 
60.03/36.22	o 116086 
60.03/36.23	o 116075 
60.03/36.24	o 116064 
60.03/36.24	o 116042 
60.03/36.27	o 115961 
60.25/36.38	o 115955 
60.41/36.43	o 115861 
60.53/36.55	o 115845 
60.53/36.56	o 115835 
60.53/36.56	o 115741 
60.70/36.69	o 115731 
60.89/36.72	o 115641 
61.15/36.83	o 115585 
61.15/36.85	o 114641 
61.36/36.97	o 114630 
61.52/37.02	o 114541 
61.80/37.14	o 114534 
61.80/37.15	o 114531 
61.93/37.26	o 114522 
61.93/37.27	o 114431 
62.04/37.38	o 114414 
62.04/37.39	o 114413 
63.46/38.71	o 114402 
63.46/38.72	o 114391 
63.46/38.73	o 114379 
63.46/38.75	o 114335 
63.46/38.75	o 114334 
63.46/38.77	o 114314 
63.46/38.78	o 114304 
63.68/38.85	o 114302 
63.68/38.86	o 114291 
63.92/39.06	o 114279 
64.16/39.14	o 114277 
64.16/39.19	o 114276 
64.36/39.29	o 114243 
64.36/39.29	o 114082 
64.78/39.41	o 114081 
64.78/39.41	o 113982 
64.92/39.52	o 113981 
64.92/39.56	o 113962 
65.49/39.73	o 113862 
65.72/39.84	o 113786 
65.72/39.85	o 113762 
65.83/39.96	o 113686 
65.83/39.96	o 113586 
67.34/41.28	o 113567 
67.46/41.32	o 113557 
67.46/41.37	o 113556 
67.60/41.41	o 113466 
67.60/41.42	o 113465 
67.60/41.46	o 113445 
67.60/41.47	o 113444 
67.60/41.48	o 113433 
67.79/41.51	o 113422 
67.79/41.55	o 113400 
68.12/41.73	o 113344 
68.12/41.78	o 113343 
68.25/41.82	o 113323 
68.25/41.82	o 113313 
68.25/41.83	o 113224 
68.25/41.86	o 113223 
68.25/41.88	o 113203 
68.25/41.88	o 113193 
68.42/41.93	o 113191 
68.42/41.95	o 113180 
68.42/41.99	o 113158 
68.62/42.03	o 113122 
68.62/42.03	o 113121 
68.62/42.08	o 113101 
68.62/42.09	o 113091 
68.62/42.10	o 113090 
68.74/42.15	o 113080 
68.74/42.17	o 113078 
68.86/42.20	o 113056 
68.86/42.22	o 113055 
68.86/42.24	o 113022 
68.86/42.24	o 113021 
68.86/42.26	o 113001 
68.86/42.26	o 112991 
68.86/42.27	o 112990 
68.86/42.27	o 112980 
68.86/42.28	o 112978 
68.86/42.29	o 112956 
68.86/42.30	o 112955 
69.46/42.42	o 112938 
69.46/42.42	o 112855 
69.78/42.55	o 112838 
71.32/43.91	o 112837 
71.32/43.93	o 112826 
71.32/43.94	o 112815 
71.32/43.94	o 112793 
71.83/44.19	o 112784 
71.83/44.20	o 112725 
71.93/44.20	o 112684 
71.93/44.27	o 112682 
72.10/44.31	o 112647 
72.10/44.33	o 112547 
72.10/44.36	o 112528 
72.10/44.36	o 112518 
72.10/44.38	o 112517 
72.10/44.38	o 112427 
72.10/44.39	o 112426 
72.24/44.42	o 112406 
72.24/44.42	o 112396 
72.24/44.43	o 112394 
72.24/44.44	o 112371 
72.24/44.46	o 112327 
72.24/44.46	o 112326 
72.24/44.47	o 112306 
72.24/44.47	o 112296 
72.24/44.49	o 112294 
72.24/44.49	o 112271 
72.50/44.59	o 112129 
73.21/44.83	o 112029 
73.41/44.94	o 112027 
73.41/44.94	o 111929 
73.55/45.05	o 111928 
73.55/45.06	o 111927 
73.55/45.06	o 111907 
73.55/45.07	o 111906 
73.76/45.22	o 111895 
73.76/45.24	o 111809 
74.04/45.36	o 111799 
74.04/45.36	o 111789 
75.58/46.70	o 111720 
75.58/46.71	o 111719 
75.58/46.73	o 111699 
75.58/46.74	o 111689 
75.58/46.76	o 111679 
75.58/46.78	o 111610 
75.58/46.79	o 111609 
75.77/46.80	o 111589 
75.77/46.81	o 111579 
75.77/46.83	o 111571 
75.77/46.86	o 111569 
75.77/46.87	o 111500 
75.77/46.87	o 111499 
75.77/46.88	o 111479 
75.98/46.90	o 111469 
76.27/47.11	o 111459 
76.27/47.15	o 111418 
76.41/47.22	o 111417 
76.41/47.22	o 111397 
76.41/47.24	o 111387 
76.41/47.25	o 111379 
76.56/47.31	o 111298 
76.56/47.32	o 111297 
76.56/47.32	o 111277 
76.56/47.33	o 111267 
76.72/47.46	o 111198 
76.72/47.49	o 111197 
76.72/47.49	o 111177 
76.86/47.50	o 111167 
77.23/47.60	o 111072 
77.49/47.71	o 111051 
77.49/47.74	o 111050 
77.49/47.74	o 110972 
78.18/48.10	o 110962 
78.48/48.21	o 110955 
78.48/48.22	o 110862 
78.61/48.33	o 110855 
78.61/48.35	o 110852 
78.78/48.46	o 110819 
78.78/48.47	o 110818 
78.78/48.47	o 110752 
78.94/48.58	o 110709 
79.05/48.60	o 110708 
79.05/48.61	o 110688 
79.05/48.61	o 110678 
79.05/48.62	o 109742 
79.40/48.74	o 109642 
79.76/48.89	o 109622 
80.06/49.00	o 109542 
80.06/49.00	o 109522 
80.06/49.00	o 109521 
80.48/49.11	o 109520 
81.78/50.46	o 109509 
81.78/50.49	o 109498 
81.91/50.52	o 109476 
81.91/50.58	o 109451 
82.08/50.60	o 109432 
82.08/50.60	o 109422 
82.08/50.61	o 109421 
82.08/50.62	o 109331 
82.08/50.63	o 109330 
82.08/50.63	o 109310 
82.08/50.63	o 109300 
82.08/50.65	o 109290 
82.08/50.65	o 109221 
82.08/50.67	o 109220 
82.08/50.68	o 109200 
82.08/50.68	o 109190 
82.08/50.69	o 109188 
82.27/50.71	o 109177 
82.27/50.72	o 109155 
82.27/50.75	o 109119 
82.27/50.76	o 109118 
82.27/50.76	o 109098 
82.27/50.77	o 109088 
82.27/50.77	o 109087 
82.27/50.77	o 109077 
82.27/50.79	o 109075 
82.49/50.82	o 109053 
82.66/50.90	o 109052 
82.66/50.93	o 109019 
82.66/50.94	o 109018 
82.66/50.97	o 108998 
82.66/50.97	o 108988 
82.84/51.03	o 108987 
82.84/51.08	o 108977 
82.97/51.14	o 108975 
82.97/51.18	o 108953 
83.13/51.20	o 108952 
83.13/51.24	o 108906 
83.50/51.36	o 108806 
83.89/51.48	o 108787 
83.89/51.49	o 108786 
83.89/51.50	o 108766 
84.18/51.50	o 107796 
84.73/51.72	o 107696 
84.88/51.83	o 107692 
84.88/51.85	o 107691 
84.88/51.85	o 107676 
84.88/51.87	o 107670 
85.02/51.99	o 107669 
85.15/52.04	o 107576 
85.31/52.15	o 107570 
85.31/52.16	o 107561 
86.72/53.53	o 107559 
87.02/53.66	o 107558 
87.45/53.82	o 107509 
87.45/53.85	o 107508 
87.45/53.87	o 107488 
87.45/53.89	o 107487 
87.45/53.90	o 107476 
87.65/53.91	o 107466 
87.65/53.97	o 107399 
87.65/54.00	o 107398 
87.87/54.03	o 107378 
87.87/54.05	o 107377 
87.87/54.06	o 107366 
87.87/54.08	o 107356 
88.11/54.14	o 107299 
88.11/54.17	o 107298 
88.11/54.18	o 107278 
88.25/54.21	o 107277 
88.25/54.28	o 107266 
88.40/54.30	o 107256 
88.76/54.42	o 106958 
89.31/54.61	o 106858 
89.49/54.72	o 106829 
89.49/54.75	o 106828 
89.49/54.77	o 106748 
89.63/54.88	o 106719 
89.63/54.89	o 106718 
89.73/54.90	o 106698 
89.73/54.91	o 105748 
90.13/55.08	o 105648 
90.41/55.19	o 105620 
90.52/55.20	o 105619 
90.52/55.21	o 105548 
90.66/55.32	o 105520 
90.66/55.32	o 105448 
90.82/55.43	o 105410 
90.82/55.44	o 105409 
92.22/56.80	o 105389 
92.22/56.81	o 105388 
92.22/56.83	o 105377 
92.22/56.83	o 105367 
92.46/56.97	o 105359 
92.46/57.01	o 105357 
92.60/57.03	o 105300 
92.60/57.04	o 105299 
92.60/57.05	o 105279 
92.60/57.09	o 105278 
92.77/57.11	o 105267 
92.77/57.12	o 105257 
92.77/57.17	o 105247 
93.14/57.34	o 105198 
93.14/57.36	o 105197 
93.14/57.36	o 105177 
93.14/57.38	o 105176 
93.14/57.39	o 105165 
93.28/57.40	o 105155 
93.28/57.44	o 105088 
93.28/57.44	o 105087 
93.28/57.45	o 105067 
93.28/57.46	o 105066 
93.28/57.47	o 105055 
93.28/57.48	o 105045 
93.49/57.51	o 104988 
93.49/57.54	o 104987 
93.49/57.57	o 104967 
93.49/57.58	o 104966 
93.68/57.60	o 104955 
93.68/57.62	o 104945 
94.56/57.95	o 104935 
95.23/58.14	o 104878 
95.23/58.15	o 104877 
95.23/58.17	o 104857 
95.23/58.19	o 104856 
95.23/58.19	o 104845 
95.47/58.21	o 104835 
97.41/58.73	o 104768 
97.41/58.74	o 104767 
97.41/58.75	o 104747 
97.41/58.78	o 104746 
97.41/58.79	o 104735 
99.20/59.20	o 104720 
99.20/59.21	o 104719 
99.20/59.23	o 104708 
99.20/59.24	o 104698 
99.36/59.34	o 104690 
99.36/59.35	o 104688 
99.49/59.48	o 104631 
99.60/59.51	o 104630 
99.60/59.52	o 104610 
99.60/59.52	o 104609 
99.60/59.52	o 104598 
99.60/59.53	o 104588 
100.31/59.73	o 104539 
100.31/59.74	o 104439 
100.31/59.80	o 104420 
100.46/59.80	o 104410 
100.46/59.81	o 104409 
100.46/59.82	o 104319 
100.46/59.83	o 104318 
100.46/59.85	o 104298 
100.46/59.86	o 104297 
100.46/59.87	o 104286 
100.46/59.88	o 104276 
100.66/59.91	o 104209 
100.66/59.92	o 104208 
100.66/59.92	o 104188 
100.66/59.92	o 104187 
100.66/59.93	o 104176 
100.66/59.94	o 104166 
100.66/60.00	o 104156 
101.36/60.15	o 104099 
101.53/60.20	o 104098 
101.53/60.21	o 104078 
101.53/60.21	o 104077 
101.53/60.23	o 104066 
101.53/60.24	o 104056 
102.45/60.54	o 104048 
102.45/60.59	o 104046 
102.72/60.62	o 103989 
102.72/60.63	o 103988 
102.72/60.64	o 103968 
102.72/60.65	o 103967 
102.72/60.67	o 103956 
102.72/60.68	o 103946 
103.53/60.90	o 103942 
103.53/60.99	o 103941 
106.64/62.58	o 103935 
107.18/62.72	o 103932 
107.18/62.76	o 103865 
107.18/62.76	o 103864 
107.44/62.81	o 103844 
107.44/62.82	o 103843 
107.44/62.83	o 103832 
107.44/62.88	o 103831 
108.85/63.28	o 103823 
109.48/63.42	o 103723 
110.05/63.60	o 103713 
110.43/63.75	o 103613 
111.14/63.91	o 103593 
111.69/64.11	o 102593 
112.03/64.25	o 102493 
112.70/64.47	o 102473 
112.89/64.59	o 102373 
113.69/64.71	o 102183 
114.48/65.14	o 102173 
114.73/65.26	o 40765 
2400.23/639.56	s SATISFIABLE
2400.23/639.56	v <instantiation>
2400.23/639.56	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>
2400.23/639.56	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>
2400.23/639.56	v </instantiation>
2400.23/639.56	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: 16375 MiB (10089 MiB free)
  memory of node 1: 16384 MiB (13547 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394291-1568349482/watcher-4394291-1568349482 -o /tmp/evaluation-result-4394291-1568349482/solver-4394291-1568349482 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323860857-17632 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 949333382 HOME/instance-4394291-1568349482.xml 

running on 4 cores: 4-7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=23197, runsolver pid=23194

[startup+0.100113 s]*
/proc/loadavg: 5.02 5.12 5.70 4/233 23213
/proc/meminfo: memFree=24189316/32770688 swapFree=66919992/67108860
[pid=23197] ppid=23194 vsize=113128 memory=1452 CPUtime=0 cores=4-7
/proc/23197/stat : 23197 (xcsp3-exec) S 23194 23197 17600 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410954522 115843072 363 33554432000 4194304 5098028 140735801637088 140735801635192 139689408537212 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7749632 140735801639803 140735801640045 140735801640045 140735801642954 0
/proc/23197/statm: 28282 363 304 221 0 87 0
[pid=23199] ppid=23197 vsize=15144768 memory=28988 CPUtime=0.12 cores=4-7
/proc/23199/stat : 23199 (java) S 23197 23197 17600 0 -1 1077944320 5732 0 0 0 11 1 0 0 20 0 15 0 410954522 15508242432 7247 33554432000 4194304 4196468 140730282712992 140730282695536 139776119533303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
/proc/23199/statm: 3786192 7247 3121 1 0 3748377 0
[pid=23199/tid=23200] ppid=23197 vsize=15144768 memory=8108032331684915787 CPUtime=0.09 cores=4-7
/proc/23199/task/23200/stat : 23200 (java) R 23197 23197 17600 0 -1 4202560 3611 0 0 0 9 0 0 0 20 0 15 0 410954523 15508242432 7247 33554432000 4194304 4196468 140730282712992 139776123765632 139776103576933 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23201] ppid=23197 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=4-7
/proc/23199/task/23201/stat : 23201 (java) S 23197 23197 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410954523 15508242432 7247 33554432000 4194304 4196468 140730282712992 139775712094480 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23202] ppid=23197 vsize=15144768 memory=139832058869376 CPUtime=0 cores=4-7
/proc/23199/task/23202/stat : 23202 (java) S 23197 23197 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410954523 15508242432 7247 33554432000 4194304 4196468 140730282712992 139775711041936 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23203] ppid=23197 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/23199/task/23203/stat : 23203 (java) S 23197 23197 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410954523 15508242432 7247 33554432000 4194304 4196468 140730282712992 139775709989392 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23204] ppid=23197 vsize=15144768 memory=-1 CPUtime=0 cores=4-7
/proc/23199/task/23204/stat : 23204 (java) S 23197 23197 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410954523 15508242432 7247 33554432000 4194304 4196468 140730282712992 139775708936848 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23205] ppid=23197 vsize=15144768 memory=139832058869376 CPUtime=0 cores=4-7
/proc/23199/task/23205/stat : 23205 (java) S 23197 23197 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410954525 15508242432 7247 33554432000 4194304 4196468 140730282712992 139775219575280 139776119544450 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23206] ppid=23197 vsize=15144768 memory=-1 CPUtime=0 cores=4-7
/proc/23199/task/23206/stat : 23206 (java) S 23197 23197 17600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410954525 15508242432 7247 33554432000 4194304 4196468 140730282712992 139775218521504 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23207] ppid=23197 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/23199/task/23207/stat : 23207 (java) S 23197 23197 17600 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410954526 15508242432 7247 33554432000 4194304 4196468 140730282712992 139775217468912 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23208] ppid=23197 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/23199/task/23208/stat : 23208 (java) S 23197 23197 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410954528 15508242432 7247 33554432000 4194304 4196468 140730282712992 139775216417488 139776119551899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23209] ppid=23197 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/23199/task/23209/stat : 23209 (java) S 23197 23197 17600 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 410954528 15508242432 7247 33554432000 4194304 4196468 140730282712992 139775122663408 139776119544450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23210] ppid=23197 vsize=15144768 memory=-1 CPUtime=0 cores=4-7
/proc/23199/task/23210/stat : 23210 (java) S 23197 23197 17600 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 15 0 410954528 15508242432 7247 33554432000 4194304 4196468 140730282712992 139775121610864 139776119544450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23211] ppid=23197 vsize=15144768 memory=139832058869376 CPUtime=0.01 cores=4-7
/proc/23199/task/23211/stat : 23211 (java) R 23197 23197 17600 0 -1 4202560 393 0 0 0 1 0 0 0 20 0 15 0 410954528 15508242432 7247 33554432000 4194304 4196468 140730282712992 139775120558320 139776103613790 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23212] ppid=23197 vsize=15144768 memory=-1 CPUtime=0 cores=4-7
/proc/23199/task/23212/stat : 23212 (java) S 23197 23197 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410954529 15508242432 7247 33554432000 4194304 4196468 140730282712992 139775119506016 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23213] ppid=23197 vsize=15144768 memory=139832058869376 CPUtime=0 cores=4-7
/proc/23199/task/23213/stat : 23213 (java) S 23197 23197 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410954529 15508242432 7247 33554432000 4194304 4196468 140730282712992 139775118453552 139776119544450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30440 KiB

[startup+0.21168 s]*
/proc/loadavg: 5.02 5.12 5.70 4/233 23213
/proc/meminfo: memFree=24175640/32770688 swapFree=66919992/67108860
[pid=23197] ppid=23194 vsize=113128 memory=1452 CPUtime=0 cores=4-7
/proc/23197/stat : 23197 (xcsp3-exec) S 23194 23197 17600 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410954522 115843072 363 33554432000 4194304 5098028 140735801637088 140735801635192 139689408537212 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7749632 140735801639803 140735801640045 140735801640045 140735801642954 0
/proc/23197/statm: 28282 363 304 221 0 87 0
[pid=23199] ppid=23197 vsize=15144768 memory=40912 CPUtime=0.34 cores=4-7
/proc/23199/stat : 23199 (java) S 23197 23197 17600 0 -1 1077944320 9442 0 0 0 32 2 0 0 20 0 15 0 410954522 15508242432 10228 33554432000 4194304 4196468 140730282712992 140730282695536 139776119533303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
/proc/23199/statm: 3786192 10228 3255 1 0 3748377 0
[pid=23199/tid=23200] ppid=23197 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=4-7
/proc/23199/task/23200/stat : 23200 (java) R 23197 23197 17600 0 -1 4202560 6568 0 0 0 18 2 0 0 20 0 15 0 410954523 15508242432 10228 33554432000 4194304 4196468 140730282712992 139776123767424 139776119545238 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23201] ppid=23197 vsize=15144768 memory=1915596 CPUtime=0 cores=4-7
/proc/23199/task/23201/stat : 23201 (java) S 23197 23197 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410954523 15508242432 10228 33554432000 4194304 4196468 140730282712992 139775712094480 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23202] ppid=23197 vsize=15144768 memory=139832058887264 CPUtime=0 cores=4-7
/proc/23199/task/23202/stat : 23202 (java) S 23197 23197 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410954523 15508242432 10228 33554432000 4194304 4196468 140730282712992 139775711041936 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23203] ppid=23197 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/23199/task/23203/stat : 23203 (java) S 23197 23197 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410954523 15508242432 10228 33554432000 4194304 4196468 140730282712992 139775709989392 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23204] ppid=23197 vsize=15144768 memory=-1 CPUtime=0 cores=4-7
/proc/23199/task/23204/stat : 23204 (java) S 23197 23197 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410954523 15508242432 10228 33554432000 4194304 4196468 140730282712992 139775708936848 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23205] ppid=23197 vsize=15144768 memory=139832058869376 CPUtime=0 cores=4-7
/proc/23199/task/23205/stat : 23205 (java) S 23197 23197 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410954525 15508242432 10228 33554432000 4194304 4196468 140730282712992 139775219575280 139776119544450 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23206] ppid=23197 vsize=15144768 memory=-1 CPUtime=0 cores=4-7
/proc/23199/task/23206/stat : 23206 (java) S 23197 23197 17600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410954525 15508242432 10228 33554432000 4194304 4196468 140730282712992 139775218521504 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23207] ppid=23197 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/23199/task/23207/stat : 23207 (java) S 23197 23197 17600 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410954526 15508242432 10228 33554432000 4194304 4196468 140730282712992 139775217468912 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23208] ppid=23197 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/23199/task/23208/stat : 23208 (java) S 23197 23197 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410954528 15508242432 10228 33554432000 4194304 4196468 140730282712992 139775216417488 139776119551899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23209] ppid=23197 vsize=15144768 memory=0 CPUtime=0.01 cores=4-7
/proc/23199/task/23209/stat : 23209 (java) S 23197 23197 17600 0 -1 1077944384 373 0 0 0 1 0 0 0 20 0 15 0 410954528 15508242432 10228 33554432000 4194304 4196468 140730282712992 139775122663408 139776119544450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23210] ppid=23197 vsize=15144768 memory=-1 CPUtime=0.03 cores=4-7
/proc/23199/task/23210/stat : 23210 (java) S 23197 23197 17600 0 -1 1077944384 263 0 0 0 3 0 0 0 20 0 15 0 410954528 15508242432 10228 33554432000 4194304 4196468 140730282712992 139775121610864 139776119544450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23211] ppid=23197 vsize=15144768 memory=139832058869376 CPUtime=0.08 cores=4-7
/proc/23199/task/23211/stat : 23211 (java) R 23197 23197 17600 0 -1 4202560 934 0 0 0 8 0 0 0 20 0 15 0 410954528 15508242432 10228 33554432000 4194304 4196468 140730282712992 139775120556720 139776112630139 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23212] ppid=23197 vsize=15144768 memory=-1 CPUtime=0 cores=4-7
/proc/23199/task/23212/stat : 23212 (java) S 23197 23197 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410954529 15508242432 10228 33554432000 4194304 4196468 140730282712992 139775119506016 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23213] ppid=23197 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/23199/task/23213/stat : 23213 (java) S 23197 23197 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410954529 15508242432 10228 33554432000 4194304 4196468 140730282712992 139775118453552 139776119544450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42364 KiB

[startup+0.311591 s]*
/proc/loadavg: 5.02 5.12 5.70 3/233 23213
/proc/meminfo: memFree=24170020/32770688 swapFree=66919992/67108860
[pid=23197] ppid=23194 vsize=113128 memory=1452 CPUtime=0 cores=4-7
/proc/23197/stat : 23197 (xcsp3-exec) S 23194 23197 17600 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410954522 115843072 363 33554432000 4194304 5098028 140735801637088 140735801635192 139689408537212 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7749632 140735801639803 140735801640045 140735801640045 140735801642954 0
/proc/23197/statm: 28282 363 304 221 0 87 0
[pid=23199] ppid=23197 vsize=15149024 memory=47508 CPUtime=0.52 cores=4-7
/proc/23199/stat : 23199 (java) S 23197 23197 17600 0 -1 1077944320 10757 0 0 0 49 3 0 0 20 0 15 0 410954522 15512600576 11877 33554432000 4194304 4196468 140730282712992 140730282695536 139776119533303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
/proc/23199/statm: 3787256 11877 3353 1 0 3748377 0
[pid=23199/tid=23200] ppid=23197 vsize=15149024 memory=1398722017469774279 CPUtime=0.3 cores=4-7
/proc/23199/task/23200/stat : 23200 (java) R 23197 23197 17600 0 -1 4202560 7571 0 0 0 28 2 0 0 20 0 15 0 410954523 15512600576 11877 33554432000 4194304 4196468 140730282712992 139776123754816 139776103613790 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23201] ppid=23197 vsize=15149024 memory=4872558044660077418 CPUtime=0 cores=4-7
/proc/23199/task/23201/stat : 23201 (java) S 23197 23197 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410954523 15512600576 11877 33554432000 4194304 4196468 140730282712992 139775712094480 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23202] ppid=23197 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=4-7
/proc/23199/task/23202/stat : 23202 (java) S 23197 23197 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410954523 15512600576 11877 33554432000 4194304 4196468 140730282712992 139775711041936 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23203] ppid=23197 vsize=15149024 memory=6943526294502006880 CPUtime=0 cores=4-7
/proc/23199/task/23203/stat : 23203 (java) S 23197 23197 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410954523 15512600576 11877 33554432000 4194304 4196468 140730282712992 139775709989392 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23204] ppid=23197 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=4-7
/proc/23199/task/23204/stat : 23204 (java) S 23197 23197 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410954523 15512600576 11877 33554432000 4194304 4196468 140730282712992 139775708936848 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23205] ppid=23197 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=4-7
/proc/23199/task/23205/stat : 23205 (java) S 23197 23197 17600 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410954525 15512600576 11877 33554432000 4194304 4196468 140730282712992 139775219575280 139776119544450 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23206] ppid=23197 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=4-7
/proc/23199/task/23206/stat : 23206 (java) S 23197 23197 17600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410954525 15512600576 11877 33554432000 4194304 4196468 140730282712992 139775218521504 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23207] ppid=23197 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=4-7
/proc/23199/task/23207/stat : 23207 (java) S 23197 23197 17600 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410954526 15512600576 11877 33554432000 4194304 4196468 140730282712992 139775217468912 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23208] ppid=23197 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=4-7
/proc/23199/task/23208/stat : 23208 (java) S 23197 23197 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410954528 15512600576 11877 33554432000 4194304 4196468 140730282712992 139775216417488 139776119551899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23209] ppid=23197 vsize=15149024 memory=7827413994055111515 CPUtime=0.03 cores=4-7
/proc/23199/task/23209/stat : 23209 (java) S 23197 23197 17600 0 -1 1077944384 433 0 0 0 3 0 0 0 20 0 15 0 410954528 15512600576 11877 33554432000 4194304 4196468 140730282712992 139775122663408 139776119544450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23210] ppid=23197 vsize=15149024 memory=0 CPUtime=0.04 cores=4-7
/proc/23199/task/23210/stat : 23210 (java) S 23197 23197 17600 0 -1 1077944384 306 0 0 0 4 0 0 0 20 0 15 0 410954528 15512600576 11877 33554432000 4194304 4196468 140730282712992 139775121610864 139776119544450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23211] ppid=23197 vsize=15149024 memory=0 CPUtime=0.12 cores=4-7
/proc/23199/task/23211/stat : 23211 (java) S 23197 23197 17600 0 -1 1077944384 1142 0 0 0 12 0 0 0 20 0 15 0 410954528 15512600576 11877 33554432000 4194304 4196468 140730282712992 139775120558320 139776119544450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23212] ppid=23197 vsize=15149024 memory=0 CPUtime=0 cores=4-7
/proc/23199/task/23212/stat : 23212 (java) S 23197 23197 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410954529 15512600576 11877 33554432000 4194304 4196468 140730282712992 139775119506016 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23213] ppid=23197 vsize=15149024 memory=0 CPUtime=0 cores=4-7
/proc/23199/task/23213/stat : 23213 (java) S 23197 23197 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410954529 15512600576 11877 33554432000 4194304 4196468 140730282712992 139775118453552 139776119544450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 48960 KiB

[startup+0.701658 s]
/proc/loadavg: 5.02 5.12 5.70 5/233 23213
/proc/meminfo: memFree=24156860/32770688 swapFree=66919992/67108860
[pid=23197] ppid=23194 vsize=113128 memory=1452 CPUtime=0 cores=4-7
/proc/23197/stat : 23197 (xcsp3-exec) S 23194 23197 17600 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410954522 115843072 363 33554432000 4194304 5098028 140735801637088 140735801635192 139689408537212 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7749632 140735801639803 140735801640045 140735801640045 140735801642954 0
/proc/23197/statm: 28282 363 304 221 0 87 0
[pid=23199] ppid=23197 vsize=15151148 memory=86220 CPUtime=1.61 cores=4-7
/proc/23199/stat : 23199 (java) S 23197 23197 17600 0 -1 1077944320 15326 0 0 0 156 5 0 0 20 0 15 0 410954522 15514775552 21555 33554432000 4194304 4196468 140730282712992 140730282695536 139776119533303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
/proc/23199/statm: 3787787 21555 3449 1 0 3748889 0
[pid=23199/tid=23200] ppid=23197 vsize=15151148 memory=0 CPUtime=0.68 cores=4-7
/proc/23199/task/23200/stat : 23200 (java) R 23197 23197 17600 0 -1 4202560 9163 0 0 0 64 4 0 0 20 0 15 0 410954523 15514775552 21555 33554432000 4194304 4196468 140730282712992 139776123770112 139776103613790 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23201] ppid=23197 vsize=15151148 memory=45252 CPUtime=0 cores=4-7
/proc/23199/task/23201/stat : 23201 (java) S 23197 23197 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410954523 15514775552 21555 33554432000 4194304 4196468 140730282712992 139775712094480 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23202] ppid=23197 vsize=15151148 memory=984 CPUtime=0 cores=4-7
/proc/23199/task/23202/stat : 23202 (java) S 23197 23197 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410954523 15514775552 21555 33554432000 4194304 4196468 140730282712992 139775711041936 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23203] ppid=23197 vsize=15151148 memory=2020 CPUtime=0 cores=4-7
/proc/23199/task/23203/stat : 23203 (java) S 23197 23197 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410954523 15514775552 21555 33554432000 4194304 4196468 140730282712992 139775709989392 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23204] ppid=23197 vsize=15151148 memory=1432 CPUtime=0 cores=4-7
/proc/23199/task/23204/stat : 23204 (java) S 23197 23197 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410954523 15514775552 21555 33554432000 4194304 4196468 140730282712992 139775708936848 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23205] ppid=23197 vsize=15151148 memory=776 CPUtime=0 cores=4-7
/proc/23199/task/23205/stat : 23205 (java) S 23197 23197 17600 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 410954525 15514775552 21555 33554432000 4194304 4196468 140730282712992 139775219575280 139776119544450 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23206] ppid=23197 vsize=15151148 memory=660 CPUtime=0 cores=4-7
/proc/23199/task/23206/stat : 23206 (java) S 23197 23197 17600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410954525 15514775552 21555 33554432000 4194304 4196468 140730282712992 139775218521504 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23207] ppid=23197 vsize=15151148 memory=1556 CPUtime=0 cores=4-7
/proc/23199/task/23207/stat : 23207 (java) S 23197 23197 17600 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410954526 15514775552 21555 33554432000 4194304 4196468 140730282712992 139775217468912 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23208] ppid=23197 vsize=15151148 memory=9588 CPUtime=0 cores=4-7
/proc/23199/task/23208/stat : 23208 (java) S 23197 23197 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410954528 15514775552 21555 33554432000 4194304 4196468 140730282712992 139775216417488 139776119551899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23209] ppid=23197 vsize=15151148 memory=1712 CPUtime=0.23 cores=4-7
/proc/23199/task/23209/stat : 23209 (java) R 23197 23197 17600 0 -1 4202560 1391 0 0 0 23 0 0 0 20 0 15 0 410954528 15514775552 21555 33554432000 4194304 4196468 140730282712992 139775122650768 139776098779151 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23210] ppid=23197 vsize=15151148 memory=5972 CPUtime=0.28 cores=4-7
/proc/23199/task/23210/stat : 23210 (java) R 23197 23197 17600 0 -1 4202560 1229 0 0 0 28 0 0 0 20 0 15 0 410954528 15514775552 21555 33554432000 4194304 4196468 140730282712992 139775121596888 139776098789691 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23211] ppid=23197 vsize=15151148 memory=4164 CPUtime=0.39 cores=4-7
/proc/23199/task/23211/stat : 23211 (java) R 23197 23197 17600 0 -1 4202560 2235 0 0 0 39 0 0 0 20 0 15 0 410954528 15514775552 21555 33554432000 4194304 4196468 140730282712992 139775120558320 139776098951106 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23212] ppid=23197 vsize=15151148 memory=1056 CPUtime=0 cores=4-7
/proc/23199/task/23212/stat : 23212 (java) S 23197 23197 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410954529 15514775552 21555 33554432000 4194304 4196468 140730282712992 139775119506016 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23213] ppid=23197 vsize=15151148 memory=2828 CPUtime=0 cores=4-7
/proc/23199/task/23213/stat : 23213 (java) S 23197 23197 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410954529 15514775552 21555 33554432000 4194304 4196468 140730282712992 139775118453552 139776119544450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 87672 KiB

[startup+1.50091 s]
/proc/loadavg: 5.02 5.12 5.70 6/233 23213
/proc/meminfo: memFree=24100152/32770688 swapFree=66919992/67108860
[pid=23197] ppid=23194 vsize=113128 memory=1452 CPUtime=0 cores=4-7
/proc/23197/stat : 23197 (xcsp3-exec) S 23194 23197 17600 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410954522 115843072 363 33554432000 4194304 5098028 140735801637088 140735801635192 139689408537212 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7749632 140735801639803 140735801640045 140735801640045 140735801642954 0
/proc/23197/statm: 28282 363 304 221 0 87 0

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

/proc/23199/stat : 23199 (java) S 23197 23197 17600 0 -1 1077944320 173584 0 0 0 217109 150 0 0 20 0 19 0 410954522 15925841920 461637 33554432000 4194304 4196468 140730282712992 140730282695536 139776119533303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
/proc/23199/statm: 3888145 461637 3556 1 0 3849247 0
[pid=23199/tid=23200] ppid=23197 vsize=15552580 memory=1846548 CPUtime=5.5 cores=4-7
/proc/23199/task/23200/stat : 23200 (java) S 23197 23197 17600 0 -1 1077944384 14595 0 0 0 537 13 0 0 20 0 19 0 410954523 15925841920 461637 33554432000 4194304 4196468 140730282712992 139776123774016 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23201] ppid=23197 vsize=15552580 memory=1871256 CPUtime=0.87 cores=4-7
/proc/23199/task/23201/stat : 23201 (java) S 23197 23197 17600 0 -1 1077944384 2410 0 0 0 73 14 0 0 20 0 19 0 410954523 15925841920 461637 33554432000 4194304 4196468 140730282712992 139775712094480 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23202] ppid=23197 vsize=15552580 memory=3624 CPUtime=0.87 cores=4-7
/proc/23199/task/23202/stat : 23202 (java) S 23197 23197 17600 0 -1 1077944384 2229 0 0 0 73 14 0 0 20 0 19 0 410954523 15925841920 461637 33554432000 4194304 4196468 140730282712992 139775711041936 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23203] ppid=23197 vsize=15552580 memory=1871256 CPUtime=0.88 cores=4-7
/proc/23199/task/23203/stat : 23203 (java) S 23197 23197 17600 0 -1 1077944384 1638 0 0 0 74 14 0 0 20 0 19 0 410954523 15925841920 461637 33554432000 4194304 4196468 140730282712992 139775709989392 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23204] ppid=23197 vsize=15552580 memory=1875816 CPUtime=0.88 cores=4-7
/proc/23199/task/23204/stat : 23204 (java) S 23197 23197 17600 0 -1 1077944384 3977 0 0 0 74 14 0 0 20 0 19 0 410954523 15925841920 461637 33554432000 4194304 4196468 140730282712992 139775708936848 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23205] ppid=23197 vsize=15552580 memory=1851200 CPUtime=0.13 cores=4-7
/proc/23199/task/23205/stat : 23205 (java) S 23197 23197 17600 0 -1 1077944384 5298 0 0 0 8 5 0 0 20 0 19 0 410954525 15925841920 461637 33554432000 4194304 4196468 140730282712992 139775219575280 139776119544450 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23206] ppid=23197 vsize=15552580 memory=1851200 CPUtime=0 cores=4-7
/proc/23199/task/23206/stat : 23206 (java) S 23197 23197 17600 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 410954525 15925841920 461637 33554432000 4194304 4196468 140730282712992 139775218521568 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23207] ppid=23197 vsize=15552580 memory=1851200 CPUtime=0 cores=4-7
/proc/23199/task/23207/stat : 23207 (java) S 23197 23197 17600 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 410954526 15925841920 461637 33554432000 4194304 4196468 140730282712992 139775217468928 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23208] ppid=23197 vsize=15552580 memory=1846548 CPUtime=0 cores=4-7
/proc/23199/task/23208/stat : 23208 (java) S 23197 23197 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410954528 15925841920 461637 33554432000 4194304 4196468 140730282712992 139775216417488 139776119551899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23209] ppid=23197 vsize=15552580 memory=1846548 CPUtime=5.2 cores=4-7
/proc/23199/task/23209/stat : 23209 (java) S 23197 23197 17600 0 -1 1077944384 23267 0 0 0 518 2 0 0 20 0 19 0 410954528 15925841920 461637 33554432000 4194304 4196468 140730282712992 139775122663408 139776119544450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23210] ppid=23197 vsize=15552580 memory=1846548 CPUtime=5.1 cores=4-7
/proc/23199/task/23210/stat : 23210 (java) S 23197 23197 17600 0 -1 1077944384 26574 0 0 0 507 3 0 0 20 0 19 0 410954528 15925841920 461637 33554432000 4194304 4196468 140730282712992 139775121610864 139776119544450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23211] ppid=23197 vsize=15552580 memory=1846548 CPUtime=1.23 cores=4-7
/proc/23199/task/23211/stat : 23211 (java) S 23197 23197 17600 0 -1 1077944384 13812 0 0 0 121 2 0 0 20 0 19 0 410954528 15925841920 461637 33554432000 4194304 4196468 140730282712992 139775120558320 139776119544450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23212] ppid=23197 vsize=15552580 memory=1846548 CPUtime=0 cores=4-7
/proc/23199/task/23212/stat : 23212 (java) S 23197 23197 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410954529 15925841920 461637 33554432000 4194304 4196468 140730282712992 139775119506016 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23213] ppid=23197 vsize=15552580 memory=1846548 CPUtime=0.58 cores=4-7
/proc/23199/task/23213/stat : 23213 (java) S 23197 23197 17600 0 -1 1077944384 631 0 0 0 41 17 0 0 20 0 19 0 410954529 15925841920 461637 33554432000 4194304 4196468 140730282712992 139775118453552 139776119544450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=26811] ppid=23197 vsize=15552580 memory=1452 CPUtime=515.55 cores=4-7
/proc/23199/task/26811/stat : 26811 (java) R 23197 23197 17600 0 -1 4202560 3141 0 0 0 51555 0 0 0 20 0 19 0 410961049 15925841920 461637 33554432000 4194304 4196468 140730282712992 139775106329896 139775760583647 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=26812] ppid=23197 vsize=15552580 memory=1846548 CPUtime=514.71 cores=4-7
/proc/23199/task/26812/stat : 26812 (java) R 23197 23197 17600 0 -1 4202560 21895 0 0 0 51465 6 0 0 20 0 19 0 410961049 15925841920 461637 33554432000 4194304 4196468 140730282712992 139775105281312 139775765827131 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=26813] ppid=23197 vsize=15552580 memory=1452 CPUtime=511.67 cores=4-7
/proc/23199/task/26813/stat : 26813 (java) R 23197 23197 17600 0 -1 4202560 4873 0 0 0 51167 0 0 0 20 0 19 0 410961049 15925841920 461637 33554432000 4194304 4196468 140730282712992 139775104225560 139775760583662 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=26814] ppid=23197 vsize=15552580 memory=9588 CPUtime=513.55 cores=4-7
/proc/23199/task/26814/stat : 26814 (java) R 23197 23197 17600 0 -1 4202560 2273 0 0 0 51355 0 0 0 20 0 19 0 410961049 15925841920 461637 33554432000 4194304 4196468 140730282712992 139775102119392 139775766803516 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
Current children cumulated CPU time: 2172.59 s
Current children cumulated vsize: 15665708 KiB
Current children cumulated memory: 1848000 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+639.502 s]
/proc/loadavg: 5.09 5.00 5.31 6/237 26962
/proc/meminfo: memFree=22270892/32770688 swapFree=66919992/67108860
[pid=23197] ppid=23194 vsize=113128 memory=1452 CPUtime=0 cores=4-7
/proc/23197/stat : 23197 (xcsp3-exec) S 23194 23197 17600 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410954522 115843072 363 33554432000 4194304 5098028 140735801637088 140735801635192 139689408537212 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7749632 140735801639803 140735801640045 140735801640045 140735801642954 0
/proc/23197/statm: 28282 363 304 221 0 87 0
[pid=23199] ppid=23197 vsize=15552580 memory=1818864 CPUtime=2400.23 cores=4-7
/proc/23199/stat : 23199 (java) S 23197 23197 17600 0 -1 1077944320 177385 0 0 0 239872 151 0 0 20 0 19 0 410954522 15925841920 454716 33554432000 4194304 4196468 140730282712992 140730282695536 139776119533303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
/proc/23199/statm: 3888145 454716 3556 1 0 3849247 0
[pid=23199/tid=23200] ppid=23197 vsize=15552580 memory=1818864 CPUtime=5.5 cores=4-7
/proc/23199/task/23200/stat : 23200 (java) S 23197 23197 17600 0 -1 1077944384 14595 0 0 0 537 13 0 0 20 0 19 0 410954523 15925841920 454716 33554432000 4194304 4196468 140730282712992 139776123774016 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23201] ppid=23197 vsize=15552580 memory=1818864 CPUtime=0.89 cores=4-7
/proc/23199/task/23201/stat : 23201 (java) S 23197 23197 17600 0 -1 1077944384 2425 0 0 0 75 14 0 0 20 0 19 0 410954523 15925841920 454716 33554432000 4194304 4196468 140730282712992 139775712094480 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23202] ppid=23197 vsize=15552580 memory=1851200 CPUtime=0.89 cores=4-7
/proc/23199/task/23202/stat : 23202 (java) S 23197 23197 17600 0 -1 1077944384 2236 0 0 0 75 14 0 0 20 0 19 0 410954523 15925841920 454716 33554432000 4194304 4196468 140730282712992 139775711041936 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23203] ppid=23197 vsize=15552580 memory=1846548 CPUtime=0.9 cores=4-7
/proc/23199/task/23203/stat : 23203 (java) S 23197 23197 17600 0 -1 1077944384 1653 0 0 0 76 14 0 0 20 0 19 0 410954523 15925841920 454716 33554432000 4194304 4196468 140730282712992 139775709989392 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23204] ppid=23197 vsize=15552580 memory=1846548 CPUtime=0.9 cores=4-7
/proc/23199/task/23204/stat : 23204 (java) S 23197 23197 17600 0 -1 1077944384 3989 0 0 0 76 14 0 0 20 0 19 0 410954523 15925841920 454716 33554432000 4194304 4196468 140730282712992 139775708936848 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23205] ppid=23197 vsize=15552580 memory=1846548 CPUtime=0.13 cores=4-7
/proc/23199/task/23205/stat : 23205 (java) S 23197 23197 17600 0 -1 1077944384 5311 0 0 0 8 5 0 0 20 0 19 0 410954525 15925841920 454716 33554432000 4194304 4196468 140730282712992 139775219575280 139776119544450 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23206] ppid=23197 vsize=15552580 memory=1818864 CPUtime=0 cores=4-7
/proc/23199/task/23206/stat : 23206 (java) S 23197 23197 17600 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 410954525 15925841920 454716 33554432000 4194304 4196468 140730282712992 139775218521568 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23207] ppid=23197 vsize=15552580 memory=1818864 CPUtime=0 cores=4-7
/proc/23199/task/23207/stat : 23207 (java) S 23197 23197 17600 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 410954526 15925841920 454716 33554432000 4194304 4196468 140730282712992 139775217468928 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23208] ppid=23197 vsize=15552580 memory=1818864 CPUtime=0 cores=4-7
/proc/23199/task/23208/stat : 23208 (java) S 23197 23197 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410954528 15925841920 454716 33554432000 4194304 4196468 140730282712992 139775216417488 139776119551899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23209] ppid=23197 vsize=15552580 memory=1452 CPUtime=5.21 cores=4-7
/proc/23199/task/23209/stat : 23209 (java) S 23197 23197 17600 0 -1 1077944384 24011 0 0 0 519 2 0 0 20 0 19 0 410954528 15925841920 454716 33554432000 4194304 4196468 140730282712992 139775122663408 139776119544450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23210] ppid=23197 vsize=15552580 memory=1818864 CPUtime=5.1 cores=4-7
/proc/23199/task/23210/stat : 23210 (java) S 23197 23197 17600 0 -1 1077944384 26576 0 0 0 507 3 0 0 20 0 19 0 410954528 15925841920 454716 33554432000 4194304 4196468 140730282712992 139775121610864 139776119544450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23211] ppid=23197 vsize=15552580 memory=1818864 CPUtime=1.23 cores=4-7
/proc/23199/task/23211/stat : 23211 (java) S 23197 23197 17600 0 -1 1077944384 13817 0 0 0 121 2 0 0 20 0 19 0 410954528 15925841920 454716 33554432000 4194304 4196468 140730282712992 139775120558320 139776119544450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23212] ppid=23197 vsize=15552580 memory=1452 CPUtime=0 cores=4-7
/proc/23199/task/23212/stat : 23212 (java) S 23197 23197 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410954529 15925841920 454716 33554432000 4194304 4196468 140730282712992 139775119506016 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23213] ppid=23197 vsize=15552580 memory=1452 CPUtime=0.65 cores=4-7
/proc/23199/task/23213/stat : 23213 (java) S 23197 23197 17600 0 -1 1077944384 663 0 0 0 46 19 0 0 20 0 19 0 410954529 15925841920 454716 33554432000 4194304 4196468 140730282712992 139775118453552 139776119544450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=26811] ppid=23197 vsize=15552580 memory=1452 CPUtime=572.2 cores=4-7
/proc/23199/task/26811/stat : 26811 (java) R 23197 23197 17600 0 -1 4202560 3410 0 0 0 57220 0 0 0 20 0 19 0 410961049 15925841920 454716 33554432000 4194304 4196468 140730282712992 139775106329896 139775765827168 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=26812] ppid=23197 vsize=15552580 memory=1452 CPUtime=571.84 cores=4-7
/proc/23199/task/26812/stat : 26812 (java) R 23197 23197 17600 0 -1 4202560 24010 0 0 0 57178 6 0 0 20 0 19 0 410961049 15925841920 454716 33554432000 4194304 4196468 140730282712992 139775105278952 139775763321556 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=26813] ppid=23197 vsize=15552580 memory=3624 CPUtime=568.79 cores=4-7
/proc/23199/task/26813/stat : 26813 (java) R 23197 23197 17600 0 -1 4202560 5257 0 0 0 56879 0 0 0 20 0 19 0 410961049 15925841920 454716 33554432000 4194304 4196468 140730282712992 139775104225928 139775765827080 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=26814] ppid=23197 vsize=15552580 memory=45276 CPUtime=570.11 cores=4-7
/proc/23199/task/26814/stat : 26814 (java) R 23197 23197 17600 0 -1 4202560 2461 0 0 0 57011 0 0 0 20 0 19 0 410961049 15925841920 454716 33554432000 4194304 4196468 140730282712992 139775102119536 139775766803532 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
Current children cumulated CPU time: 2400.23 s
Current children cumulated vsize: 15665708 KiB
Current children cumulated memory: 1820316 KiB

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

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

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

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

[startup+639.502 s]
/proc/loadavg: 5.09 5.00 5.31 6/237 26962
/proc/meminfo: memFree=22270892/32770688 swapFree=66919992/67108860
[pid=23197] ppid=23194 vsize=113128 memory=1452 CPUtime=0 cores=4-7
/proc/23197/stat : 23197 (xcsp3-exec) S 23194 23197 17600 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410954522 115843072 363 33554432000 4194304 5098028 140735801637088 140735801635192 139689408537212 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7749632 140735801639803 140735801640045 140735801640045 140735801642954 0
/proc/23197/statm: 28282 363 304 221 0 87 0
[pid=23199] ppid=23197 vsize=15552580 memory=1818864 CPUtime=2400.23 cores=4-7
/proc/23199/stat : 23199 (java) S 23197 23197 17600 0 -1 1077944320 177385 0 0 0 239872 151 0 0 20 0 19 0 410954522 15925841920 454716 33554432000 4194304 4196468 140730282712992 140730282695536 139776119533303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
/proc/23199/statm: 3888145 454716 3556 1 0 3849247 0
[pid=23199/tid=23200] ppid=23197 vsize=15552580 memory=1818864 CPUtime=5.5 cores=4-7
/proc/23199/task/23200/stat : 23200 (java) S 23197 23197 17600 0 -1 1077944384 14595 0 0 0 537 13 0 0 20 0 19 0 410954523 15925841920 454716 33554432000 4194304 4196468 140730282712992 139776123774016 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23201] ppid=23197 vsize=15552580 memory=1818864 CPUtime=0.89 cores=4-7
/proc/23199/task/23201/stat : 23201 (java) S 23197 23197 17600 0 -1 1077944384 2425 0 0 0 75 14 0 0 20 0 19 0 410954523 15925841920 454716 33554432000 4194304 4196468 140730282712992 139775712094480 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23202] ppid=23197 vsize=15552580 memory=1851200 CPUtime=0.89 cores=4-7
/proc/23199/task/23202/stat : 23202 (java) S 23197 23197 17600 0 -1 1077944384 2236 0 0 0 75 14 0 0 20 0 19 0 410954523 15925841920 454716 33554432000 4194304 4196468 140730282712992 139775711041936 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23203] ppid=23197 vsize=15552580 memory=1846548 CPUtime=0.9 cores=4-7
/proc/23199/task/23203/stat : 23203 (java) S 23197 23197 17600 0 -1 1077944384 1653 0 0 0 76 14 0 0 20 0 19 0 410954523 15925841920 454716 33554432000 4194304 4196468 140730282712992 139775709989392 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23204] ppid=23197 vsize=15552580 memory=1846548 CPUtime=0.9 cores=4-7
/proc/23199/task/23204/stat : 23204 (java) S 23197 23197 17600 0 -1 1077944384 3989 0 0 0 76 14 0 0 20 0 19 0 410954523 15925841920 454716 33554432000 4194304 4196468 140730282712992 139775708936848 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23205] ppid=23197 vsize=15552580 memory=1846548 CPUtime=0.13 cores=4-7
/proc/23199/task/23205/stat : 23205 (java) S 23197 23197 17600 0 -1 1077944384 5311 0 0 0 8 5 0 0 20 0 19 0 410954525 15925841920 454716 33554432000 4194304 4196468 140730282712992 139775219575280 139776119544450 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23206] ppid=23197 vsize=15552580 memory=1818864 CPUtime=0 cores=4-7
/proc/23199/task/23206/stat : 23206 (java) S 23197 23197 17600 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 410954525 15925841920 454716 33554432000 4194304 4196468 140730282712992 139775218521568 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23207] ppid=23197 vsize=15552580 memory=1818864 CPUtime=0 cores=4-7
/proc/23199/task/23207/stat : 23207 (java) S 23197 23197 17600 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 410954526 15925841920 454716 33554432000 4194304 4196468 140730282712992 139775217468928 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23208] ppid=23197 vsize=15552580 memory=1818864 CPUtime=0 cores=4-7
/proc/23199/task/23208/stat : 23208 (java) S 23197 23197 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410954528 15925841920 454716 33554432000 4194304 4196468 140730282712992 139775216417488 139776119551899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23209] ppid=23197 vsize=15552580 memory=1452 CPUtime=5.21 cores=4-7
/proc/23199/task/23209/stat : 23209 (java) S 23197 23197 17600 0 -1 1077944384 24011 0 0 0 519 2 0 0 20 0 19 0 410954528 15925841920 454716 33554432000 4194304 4196468 140730282712992 139775122663408 139776119544450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23210] ppid=23197 vsize=15552580 memory=1818864 CPUtime=5.1 cores=4-7
/proc/23199/task/23210/stat : 23210 (java) S 23197 23197 17600 0 -1 1077944384 26576 0 0 0 507 3 0 0 20 0 19 0 410954528 15925841920 454716 33554432000 4194304 4196468 140730282712992 139775121610864 139776119544450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23211] ppid=23197 vsize=15552580 memory=1818864 CPUtime=1.23 cores=4-7
/proc/23199/task/23211/stat : 23211 (java) S 23197 23197 17600 0 -1 1077944384 13817 0 0 0 121 2 0 0 20 0 19 0 410954528 15925841920 454716 33554432000 4194304 4196468 140730282712992 139775120558320 139776119544450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23212] ppid=23197 vsize=15552580 memory=1452 CPUtime=0 cores=4-7
/proc/23199/task/23212/stat : 23212 (java) S 23197 23197 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410954529 15925841920 454716 33554432000 4194304 4196468 140730282712992 139775119506016 139776119543509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=23213] ppid=23197 vsize=15552580 memory=1452 CPUtime=0.65 cores=4-7
/proc/23199/task/23213/stat : 23213 (java) S 23197 23197 17600 0 -1 1077944384 663 0 0 0 46 19 0 0 20 0 19 0 410954529 15925841920 454716 33554432000 4194304 4196468 140730282712992 139775118453552 139776119544450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=26811] ppid=23197 vsize=15552580 memory=1452 CPUtime=572.2 cores=4-7
/proc/23199/task/26811/stat : 26811 (java) R 23197 23197 17600 0 -1 4202560 3410 0 0 0 57220 0 0 0 20 0 19 0 410961049 15925841920 454716 33554432000 4194304 4196468 140730282712992 139775106329896 139775765827168 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=26812] ppid=23197 vsize=15552580 memory=1452 CPUtime=571.84 cores=4-7
/proc/23199/task/26812/stat : 26812 (java) R 23197 23197 17600 0 -1 4202560 24010 0 0 0 57178 6 0 0 20 0 19 0 410961049 15925841920 454716 33554432000 4194304 4196468 140730282712992 139775105278952 139775763321556 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=26813] ppid=23197 vsize=15552580 memory=3624 CPUtime=568.79 cores=4-7
/proc/23199/task/26813/stat : 26813 (java) R 23197 23197 17600 0 -1 4202560 5257 0 0 0 56879 0 0 0 20 0 19 0 410961049 15925841920 454716 33554432000 4194304 4196468 140730282712992 139775104225928 139775765827080 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
[pid=23199/tid=26814] ppid=23197 vsize=15552580 memory=45276 CPUtime=570.11 cores=4-7
/proc/23199/task/26814/stat : 26814 (java) R 23197 23197 17600 0 -1 4202560 2461 0 0 0 57011 0 0 0 20 0 19 0 410961049 15925841920 454716 33554432000 4194304 4196468 140730282712992 139775102119536 139775766803532 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32997376 140730282714095 140730282714266 140730282714266 140730282717135 0
Current children cumulated CPU time: 2400.23 s
Current children cumulated vsize: 15665708 KiB
Current children cumulated memory: 1820316 KiB

Child status: 143
Real time (s): 639.601
CPU time (s): 2400.59
CPU user time (s): 2399.06
CPU system time (s): 1.52859
CPU usage (%): 375.326
Max. virtual memory (cumulated for all children) (KiB): 15665708
Max. memory (cumulated for all children) (KiB): 1877268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.06
system time used= 1.52859
maximum resident set size= 1877416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 179195
page faults= 0
swaps= 0
block input operations= 0
block output operations= 832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37736
involuntary context switches= 21567


# summary of solver processes directly reported to runsolver:
#   pid: 23197,23199
#   total CPU time (s): 2400.59
#   total CPU user time (s): 2399.06
#   total CPU system time (s): 1.52859

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.62242 second user time and 7.78021 second system time

The end

Launcher Data 

Begin job on node120 at 2011-12-14 12:58:24
IDJOB=4394291
IDBENCH=141204
IDSOLVER=2842
FILE ID=node120/4394291-1568349482
RUNJOBID= node120-1323860857-17632
PBS_JOBID= 21701167
Free space on /tmp= 59128 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-4394291-1568349482/watcher-4394291-1568349482 -o /tmp/evaluation-result-4394291-1568349482/solver-4394291-1568349482 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323860857-17632 --watchdog 2560  xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 949333382 HOME/instance-4394291-1568349482.xml

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

MD5SUM BENCH= d0ab6aee5f30ff70d66f863e0e3556a1
RANDOM SEED=949333382

node120.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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770688 kB
MemFree:        24205332 kB
MemAvailable:   28277560 kB
Buffers:          160492 kB
Cached:          4205624 kB
SwapCached:        77548 kB
Active:          4828544 kB
Inactive:        3152576 kB
Active(anon):    3538064 kB
Inactive(anon):   126960 kB
Active(file):    1290480 kB
Inactive(file):  3025616 kB
Unevictable:      108228 kB
Mlocked:          108228 kB
SwapTotal:      67108860 kB
SwapFree:       66919992 kB
Dirty:             26160 kB
Writeback:             0 kB
AnonPages:       3600564 kB
Mapped:            60572 kB
Shmem:             41008 kB
Slab:             173008 kB
SReclaimable:     143936 kB
SUnreclaim:        29072 kB
KernelStack:        4064 kB
PageTables:        12756 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:    5466900 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3483648 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      146880 kB
DirectMap2M:    33398784 kB

Free space on /tmp at the end= 59100 MiB
End job on node120 at 2011-12-14 13:09:04