Trace number 4399351

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-09-16SAT (TO)12293 2520.71 667.243

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399351-1568700031.xml"  -tl '2520s' -p 4
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4399351-1568700031.xml, -tl, 2520s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
10.59/4.64	c solve instance...
13.32/5.41	o 148863 
13.32/5.42	o 147962 
13.32/5.43	o 147862 
13.32/5.43	o 147762 
13.32/5.44	o 147761 
13.32/5.45	o 146862 
13.32/5.46	o 145961 
13.32/5.46	o 145861 
13.32/5.47	o 145761 
13.32/5.49	o 145732 
13.62/5.51	o 145731 
13.62/5.52	o 145640 
13.62/5.53	o 145620 
13.62/5.54	o 144960 
13.62/5.55	o 144931 
13.62/5.56	o 144930 
13.62/5.57	o 144839 
13.62/5.58	o 144819 
13.62/5.58	o 144760 
13.62/5.59	o 144731 
15.04/6.00	o 144730 
15.04/6.00	o 144639 
15.43/6.01	o 144619 
15.43/6.02	o 144596 
15.43/6.03	o 144567 
15.43/6.03	o 144503 
15.43/6.04	o 144483 
15.43/6.05	o 144414 
15.43/6.05	o 144393 
15.43/6.06	o 144373 
15.43/6.07	o 144363 
15.43/6.07	o 144353 
15.43/6.08	o 144352 
15.43/6.09	o 144342 
15.43/6.09	o 143747 
15.43/6.10	o 143647 
15.43/6.10	o 143547 
15.43/6.11	o 143528 
15.43/6.12	o 143518 
15.82/6.12	o 143517 
15.82/6.13	o 143427 
15.82/6.14	o 143426 
15.82/6.15	o 143406 
15.82/6.15	o 143383 
15.82/6.15	o 143364 
15.82/6.16	o 143354 
15.82/6.17	o 143290 
15.82/6.17	o 143270 
15.82/6.18	o 143201 
15.82/6.18	o 143180 
15.82/6.19	o 143160 
15.82/6.20	o 143150 
16.11/6.20	o 143140 
16.11/6.21	o 143111 
16.11/6.23	o 143090 
16.11/6.23	o 143070 
16.11/6.24	o 143060 
16.11/6.24	o 143050 
16.11/6.25	o 142956 
16.11/6.25	o 142856 
16.11/6.25	o 142756 
16.11/6.26	o 142737 
16.11/6.26	o 142727 
16.11/6.28	o 142726 
16.11/6.28	o 142636 
16.11/6.29	o 142635 
16.11/6.29	o 142615 
16.11/6.29	o 142606 
16.45/6.30	o 142593 
16.45/6.30	o 142493 
16.94/6.54	o 142474 
18.33/7.79	o 142464 
18.53/7.80	o 142400 
18.53/7.81	o 142380 
18.53/7.81	o 142311 
18.53/7.81	o 142290 
18.53/7.82	o 142270 
18.53/7.82	o 142260 
18.53/7.82	o 142250 
18.53/7.84	o 142249 
18.77/7.91	o 141946 
18.77/7.92	o 141846 
18.77/7.93	o 141746 
18.77/7.95	o 141727 
18.77/7.96	o 141717 
18.77/7.96	o 141716 
18.77/7.97	o 141626 
18.77/7.97	o 141625 
18.77/7.98	o 141605 
18.77/8.00	o 141583 
18.77/8.00	o 141483 
18.77/8.00	o 141464 
18.96/8.01	o 141454 
18.96/8.03	o 141390 
18.96/8.04	o 141370 
18.96/8.05	o 141301 
18.96/8.05	o 141280 
18.96/8.05	o 141260 
18.96/8.06	o 141250 
18.96/8.06	o 141240 
18.96/8.09	o 140648 
19.13/8.14	o 140548 
19.13/8.17	o 140448 
19.13/8.18	o 140419 
19.26/8.20	o 140418 
19.26/8.22	o 140327 
19.26/8.22	o 140307 
19.26/8.23	o 139647 
19.26/8.23	o 139618 
19.26/8.24	o 139617 
19.26/8.25	o 139526 
19.26/8.25	o 139506 
19.26/8.25	o 139447 
19.26/8.26	o 139418 
19.26/8.26	o 139417 
19.26/8.26	o 139326 
19.26/8.27	o 139306 
19.55/8.31	o 139284 
19.55/8.32	o 139255 
19.55/8.33	o 139202 
19.55/8.34	o 139181 
19.55/8.37	o 139161 
19.72/8.41	o 139151 
19.72/8.42	o 139141 
19.72/8.42	o 139140 
19.72/8.43	o 139130 
19.72/8.43	o 139115 
19.72/8.44	o 139114 
19.72/8.45	o 139094 
19.72/8.48	o 138434 
19.72/8.49	o 138415 
19.72/8.49	o 138388 
20.12/8.64	o 138314 
20.12/8.64	o 138313 
20.12/8.64	o 138293 
20.12/8.65	o 138234 
20.12/8.65	o 138215 
20.12/8.65	o 138205 
20.12/8.66	o 138204 
20.12/8.66	o 138114 
20.12/8.66	o 138113 
20.12/8.66	o 138093 
20.12/8.68	o 138071 
20.12/8.69	o 138052 
21.75/9.88	o 137989 
21.75/9.89	o 137968 
21.75/9.89	o 137948 
21.87/9.92	o 137938 
21.87/9.93	o 137928 
21.87/9.96	o 137903 
21.87/9.96	o 137902 
21.87/9.97	o 137882 
22.05/10.03	o 137803 
22.05/10.05	o 137802 
22.05/10.05	o 137782 
22.05/10.06	o 137123 
22.05/10.07	o 137104 
22.05/10.07	o 137094 
22.05/10.08	o 137093 
22.05/10.08	o 137003 
22.05/10.10	o 137002 
22.05/10.10	o 136982 
22.05/10.10	o 136923 
22.20/10.12	o 136904 
22.20/10.13	o 136894 
22.20/10.14	o 136893 
22.20/10.14	o 136803 
22.20/10.14	o 136802 
22.20/10.15	o 136782 
22.20/10.16	o 136123 
22.20/10.16	o 136104 
22.20/10.16	o 136094 
22.20/10.17	o 136093 
22.20/10.18	o 136003 
22.20/10.18	o 136002 
22.20/10.19	o 135982 
22.20/10.19	o 135923 
22.20/10.20	o 135904 
22.43/10.21	o 135894 
22.43/10.21	o 135893 
22.43/10.23	o 135803 
22.43/10.24	o 135802 
22.43/10.24	o 135782 
22.43/10.27	o 135123 
22.43/10.28	o 135023 
22.43/10.29	o 134923 
22.62/10.31	o 134904 
22.62/10.31	o 134894 
22.62/10.32	o 134893 
22.62/10.33	o 134803 
22.62/10.34	o 134802 
22.62/10.35	o 134782 
22.77/10.40	o 134223 
22.77/10.41	o 134123 
22.77/10.41	o 134023 
22.77/10.42	o 134004 
22.77/10.43	o 133994 
22.77/10.44	o 133993 
22.77/10.44	o 133903 
22.77/10.44	o 133902 
22.77/10.45	o 133882 
22.77/10.46	o 133802 
22.77/10.47	o 133801 
22.77/10.47	o 133781 
22.77/10.48	o 133759 
22.77/10.49	o 133740 
22.77/10.49	o 133731 
22.99/10.51	o 133677 
22.99/10.55	o 133656 
22.99/10.55	o 133636 
22.99/10.55	o 133626 
22.99/10.55	o 133616 
22.99/10.58	o 133222 
23.16/10.60	o 133122 
23.16/10.61	o 133022 
23.16/10.61	o 133003 
23.16/10.62	o 132993 
23.16/10.62	o 132992 
23.16/10.62	o 132902 
23.16/10.63	o 132901 
23.16/10.63	o 132881 
23.16/10.64	o 132866 
23.16/10.66	o 132846 
23.16/10.66	o 132777 
23.16/10.66	o 132756 
23.16/10.66	o 132736 
23.16/10.67	o 132726 
23.16/10.67	o 132716 
23.16/10.68	o 132657 
23.16/10.68	o 132616 
23.39/10.75	o 132101 
23.39/10.76	o 132001 
23.39/10.76	o 131901 
23.56/10.83	o 131882 
23.56/10.84	o 131872 
23.56/10.87	o 131871 
23.56/10.88	o 131781 
23.56/10.89	o 131780 
23.56/10.90	o 131760 
23.70/10.90	o 131750 
23.70/10.96	o 131748 
23.70/10.97	o 131737 
23.70/10.97	o 131725 
23.70/10.98	o 131656 
23.70/10.98	o 131635 
23.70/10.99	o 131615 
23.70/11.00	o 131605 
23.93/11.01	o 131546 
23.93/11.01	o 131505 
23.93/11.03	o 131496 
23.93/11.08	o 131495 
24.26/11.11	o 131091 
24.26/11.11	o 130991 
24.26/11.11	o 130891 
24.26/11.12	o 130872 
24.26/11.12	o 130862 
24.26/11.12	o 130861 
24.26/11.12	o 130771 
24.26/11.13	o 130770 
24.26/11.13	o 130750 
24.26/11.14	o 130749 
24.26/11.19	o 130738 
24.45/11.21	o 130727 
24.45/11.25	o 130715 
24.45/11.25	o 130646 
24.45/11.25	o 130625 
24.45/11.25	o 130605 
24.45/11.25	o 130595 
24.45/11.26	o 130536 
24.45/11.26	o 130495 
24.45/11.27	o 130487 
24.71/11.33	o 130213 
24.71/11.34	o 130113 
24.71/11.34	o 130013 
24.71/11.35	o 129994 
24.71/11.35	o 129984 
24.71/11.38	o 129983 
24.71/11.39	o 129893 
24.71/11.40	o 129892 
24.89/11.40	o 129872 
24.89/11.42	o 129857 
24.89/11.43	o 129837 
24.89/11.43	o 129768 
24.89/11.44	o 129747 
24.89/11.46	o 129727 
24.89/11.47	o 129717 
24.89/11.49	o 129707 
24.89/11.50	o 129648 
25.05/11.50	o 129607 
25.05/11.56	o 129092 
25.05/11.56	o 128992 
25.05/11.57	o 128892 
25.05/11.57	o 128873 
25.05/11.58	o 128863 
25.05/11.59	o 128862 
25.05/11.59	o 128772 
25.33/11.60	o 128771 
25.33/11.62	o 128751 
25.33/11.62	o 128741 
25.33/11.64	o 128739 
25.33/11.66	o 128728 
25.33/11.67	o 128716 
25.33/11.67	o 128647 
25.33/11.67	o 128626 
25.52/11.70	o 128606 
25.52/11.79	o 128596 
26.79/12.95	o 128537 
26.79/12.95	o 128496 
26.93/13.01	o 128486 
26.93/13.05	o 128485 
26.93/13.06	o 128475 
26.93/13.08	o 128474 
26.93/13.10	o 128415 
27.11/13.13	o 128374 
27.11/13.15	o 128364 
27.11/13.15	o 128354 
27.11/13.17	o 128295 
27.11/13.19	o 128254 
27.62/13.32	o 128082 
27.80/13.47	o 127982 
27.80/13.49	o 127882 
27.92/13.52	o 127863 
27.92/13.53	o 127853 
27.92/13.53	o 127852 
27.92/13.54	o 127762 
27.92/13.54	o 127761 
27.92/13.55	o 127741 
27.92/13.55	o 127740 
27.92/13.58	o 127729 
27.92/13.59	o 127718 
28.10/13.68	o 127706 
28.10/13.70	o 127637 
28.22/13.73	o 127616 
28.22/13.77	o 127596 
28.22/13.77	o 127586 
28.22/13.77	o 126984 
28.39/13.87	o 126972 
28.39/13.88	o 126872 
28.39/13.89	o 126853 
28.39/13.90	o 126843 
28.53/13.90	o 126842 
28.53/13.91	o 126752 
28.53/13.91	o 126751 
28.53/13.91	o 126731 
28.53/13.92	o 126730 
28.53/13.93	o 126719 
28.53/13.94	o 126708 
28.53/13.95	o 126696 
28.53/13.96	o 126686 
28.53/13.97	o 126676 
28.53/13.98	o 126617 
28.53/13.98	o 126517 
28.53/13.99	o 126476 
29.93/15.17	o 126440 
29.93/15.18	o 126340 
30.04/15.28	o 126321 
30.15/15.30	o 126311 
30.15/15.32	o 126310 
30.15/15.34	o 126220 
30.15/15.34	o 126219 
30.15/15.35	o 126199 
30.15/15.37	o 126198 
30.29/15.40	o 126187 
30.29/15.47	o 126176 
30.43/15.54	o 126164 
30.43/15.57	o 126130 
30.43/15.58	o 126111 
30.43/15.58	o 126101 
30.60/15.62	o 126100 
30.60/15.69	o 126010 
30.72/15.70	o 126009 
30.72/15.72	o 125989 
30.72/15.73	o 125979 
30.72/15.75	o 125908 
30.72/15.75	o 125907 
30.72/15.76	o 125887 
30.72/15.76	o 125877 
30.72/15.76	o 125876 
30.72/15.76	o 125866 
31.00/15.85	o 125842 
31.31/15.94	o 125329 
31.31/15.95	o 125229 
31.31/15.95	o 125129 
31.31/15.95	o 125110 
31.31/15.96	o 125100 
31.31/15.96	o 125099 
31.31/15.97	o 125009 
31.31/15.98	o 125008 
31.31/15.99	o 124988 
31.31/16.00	o 124987 
31.31/16.01	o 124976 
31.46/16.02	o 124965 
31.46/16.03	o 124943 
32.73/17.21	o 124907 
32.73/17.22	o 124906 
32.73/17.23	o 124886 
32.73/17.24	o 124876 
32.73/17.25	o 124875 
32.73/17.26	o 124865 
32.73/17.27	o 124863 
32.73/17.29	o 124841 
32.91/17.37	o 124840 
32.91/17.40	o 124828 
33.12/17.40	o 124808 
33.12/17.41	o 124798 
33.12/17.42	o 124778 
33.12/17.43	o 124719 
33.12/17.43	o 124619 
33.12/17.43	o 124578 
33.50/17.65	o 124063 
33.50/17.68	o 123963 
33.50/17.69	o 123863 
33.62/17.76	o 123844 
33.62/17.76	o 123834 
33.62/17.77	o 123833 
33.62/17.77	o 123743 
33.62/17.77	o 123742 
33.62/17.77	o 123722 
33.81/17.85	o 123712 
33.81/17.88	o 123710 
33.81/17.89	o 123699 
34.05/18.03	o 123687 
34.05/18.05	o 123677 
34.05/18.07	o 123667 
34.05/18.08	o 123608 
34.05/18.08	o 123508 
34.05/18.08	o 123467 
34.22/18.17	o 123457 
34.34/18.21	o 123456 
34.34/18.22	o 123446 
34.34/18.28	o 123445 
34.50/18.31	o 123386 
34.50/18.32	o 123345 
34.50/18.39	o 123044 
34.67/18.48	o 123001 
34.87/18.50	o 123000 
34.87/18.50	o 122980 
34.87/18.50	o 122970 
34.87/18.54	o 122899 
34.87/18.57	o 122898 
34.87/18.58	o 122878 
34.87/18.58	o 122868 
34.87/18.58	o 122867 
34.87/18.58	o 122857 
36.53/19.84	o 122856 
36.68/19.91	o 122320 
36.68/19.91	o 122220 
36.68/19.93	o 122120 
36.68/19.96	o 122101 
36.68/20.00	o 122091 
36.84/20.01	o 122090 
36.84/20.01	o 122000 
36.84/20.04	o 121999 
36.84/20.05	o 121979 
36.96/20.11	o 121978 
36.96/20.12	o 121967 
36.96/20.18	o 121956 
37.08/20.22	o 121934 
37.08/20.26	o 121898 
37.08/20.28	o 121897 
37.24/20.39	o 121877 
37.24/20.40	o 121867 
37.34/20.40	o 121866 
37.34/20.41	o 121856 
37.34/20.44	o 121854 
37.34/20.45	o 121832 
37.34/20.49	o 121831 
37.67/20.61	o 121758 
37.67/20.64	o 121757 
37.67/20.64	o 121737 
37.67/20.68	o 121727 
37.67/20.69	o 121725 
37.67/20.70	o 121714 
37.92/20.81	o 121692 
37.92/20.85	o 121656 
37.92/20.87	o 121655 
37.92/20.89	o 121635 
38.08/20.92	o 121616 
38.08/20.94	o 121614 
38.23/21.03	o 121612 
38.23/21.05	o 121590 
38.23/21.07	o 121589 
39.55/22.26	o 121579 
39.55/22.27	o 121578 
39.72/22.30	o 121573 
39.72/22.31	o 121572 
39.72/22.35	o 121513 
39.72/22.36	o 121472 
39.93/22.41	o 121462 
39.93/22.42	o 121452 
39.93/22.43	o 121393 
39.93/22.44	o 121352 
39.93/22.49	o 121302 
40.14/22.51	o 121261 
40.14/22.54	o 121224 
40.14/22.54	o 121183 
40.41/22.61	o 121173 
40.41/22.62	o 121172 
40.41/22.62	o 121162 
40.41/22.63	o 121161 
40.41/22.64	o 121102 
40.41/22.64	o 121061 
40.41/22.66	o 121051 
40.41/22.66	o 121041 
40.41/22.67	o 120982 
40.41/22.68	o 120941 
40.41/22.70	o 120882 
40.72/22.70	o 120797 
41.07/22.80	o 120558 
41.07/22.80	o 120458 
41.07/22.80	o 120358 
41.18/22.91	o 120339 
41.18/22.93	o 120329 
41.18/22.94	o 120328 
41.18/22.95	o 120238 
41.18/22.96	o 120237 
41.18/22.97	o 120217 
41.18/22.98	o 120216 
41.18/22.98	o 120205 
41.33/23.03	o 120194 
41.33/23.08	o 120182 
41.33/23.08	o 120113 
41.45/23.11	o 120092 
41.45/23.13	o 120072 
41.45/23.15	o 120062 
41.56/23.20	o 120003 
41.56/23.20	o 119962 
42.79/24.37	o 119903 
42.79/24.38	o 119862 
42.94/24.43	o 119840 
42.94/24.49	o 119830 
43.10/24.50	o 119820 
43.10/24.55	o 119761 
43.10/24.55	o 119720 
43.29/24.61	o 119661 
43.29/24.62	o 119620 
43.29/24.65	o 119611 
43.46/24.71	o 119589 
43.46/24.75	o 119588 
43.46/24.77	o 119587 
43.80/24.87	o 119520 
44.07/24.99	o 119448 
44.29/25.01	o 119348 
44.29/25.05	o 119329 
44.29/25.07	o 119319 
44.43/25.14	o 119318 
44.43/25.17	o 119228 
44.43/25.17	o 119227 
44.43/25.17	o 119207 
44.43/25.19	o 119206 
44.54/25.21	o 119195 
44.54/25.22	o 119184 
45.78/26.43	o 119172 
45.78/26.49	o 119103 
45.78/26.49	o 119082 
45.78/26.49	o 119062 
45.90/26.51	o 119052 
45.90/26.54	o 118993 
45.90/26.54	o 118952 
45.90/26.57	o 118942 
45.90/26.59	o 118941 
46.10/26.61	o 118931 
46.10/26.67	o 118930 
46.10/26.69	o 118871 
46.26/26.71	o 118830 
46.26/26.75	o 118820 
46.26/26.77	o 118810 
46.26/26.80	o 118751 
46.42/26.80	o 118710 
46.42/26.85	o 118651 
46.57/26.91	o 118610 
46.57/26.94	o 118541 
46.57/26.96	o 118540 
46.57/26.96	o 118520 
46.57/26.98	o 118519 
46.77/27.11	o 118508 
46.87/27.13	o 118497 
46.87/27.19	o 118485 
47.02/27.22	o 118475 
47.02/27.24	o 118465 
47.02/27.26	o 118406 
47.02/27.28	o 118306 
47.02/27.28	o 118265 
47.19/27.31	o 118255 
47.19/27.37	o 118254 
47.19/27.39	o 118244 
47.35/27.41	o 118243 
47.35/27.43	o 118184 
47.35/27.43	o 118143 
47.35/27.44	o 118064 
47.35/27.47	o 118023 
47.53/27.50	o 117953 
47.74/27.60	o 117887 
47.74/27.60	o 117886 
47.74/27.62	o 117866 
47.74/27.63	o 117856 
47.74/27.65	o 117767 
47.74/27.66	o 117766 
47.74/27.67	o 117746 
47.74/27.67	o 117736 
47.90/27.73	o 117734 
47.90/27.75	o 117723 
47.90/27.77	o 117711 
49.21/28.93	o 117677 
49.21/28.93	o 117676 
49.21/28.97	o 117656 
49.21/29.00	o 117646 
49.37/29.01	o 117557 
49.37/29.04	o 117556 
49.37/29.06	o 117536 
49.37/29.07	o 117526 
49.37/29.10	o 117455 
49.37/29.10	o 117454 
49.55/29.12	o 117434 
49.55/29.14	o 117424 
49.55/29.16	o 117423 
49.55/29.18	o 117413 
49.73/29.25	o 117118 
49.73/29.28	o 117018 
49.73/29.29	o 116918 
50.03/29.31	o 116899 
50.03/29.33	o 116889 
50.03/29.34	o 116888 
50.03/29.35	o 116798 
50.03/29.36	o 116797 
50.03/29.38	o 116777 
50.03/29.38	o 116776 
50.03/29.39	o 116765 
50.29/29.54	o 116754 
50.29/29.58	o 116732 
50.45/29.61	o 116676 
50.45/29.61	o 116675 
50.45/29.63	o 116655 
50.45/29.65	o 116645 
50.59/29.79	o 116556 
50.69/29.82	o 116555 
50.69/29.85	o 116535 
50.69/29.86	o 116525 
50.69/29.88	o 116523 
50.86/29.91	o 116512 
50.86/29.92	o 116490 
50.86/29.93	o 116488 
51.04/30.03	o 116454 
51.04/30.03	o 116453 
51.04/30.05	o 116433 
51.04/30.05	o 116423 
51.04/30.06	o 116422 
51.04/30.06	o 116412 
51.27/30.23	o 116410 
51.27/30.25	o 116388 
52.55/31.41	o 116387 
52.55/31.46	o 116328 
52.55/31.49	o 116228 
52.79/31.51	o 116209 
52.79/31.52	o 116199 
52.79/31.53	o 116198 
52.79/31.55	o 116108 
52.79/31.56	o 116107 
52.79/31.58	o 116087 
52.94/31.60	o 116086 
52.94/31.62	o 116075 
52.94/31.64	o 116064 
52.94/31.65	o 116042 
52.94/31.68	o 115986 
53.13/31.70	o 115985 
53.13/31.72	o 115965 
53.13/31.74	o 115955 
53.13/31.76	o 115866 
53.13/31.76	o 115865 
53.13/31.78	o 115845 
53.13/31.78	o 115835 
53.31/31.83	o 115833 
53.31/31.85	o 115822 
53.31/31.88	o 115800 
53.54/31.90	o 115764 
53.54/31.92	o 115763 
53.54/31.95	o 115743 
53.54/31.96	o 115733 
53.54/31.97	o 115732 
53.54/31.98	o 115722 
53.69/32.01	o 115720 
53.69/32.02	o 115698 
53.69/32.05	o 115697 
53.69/32.07	o 115631 
53.98/32.19	o 115418 
54.14/32.21	o 115318 
54.14/32.21	o 115218 
54.14/32.24	o 114731 
54.35/32.34	o 114723 
54.35/32.37	o 114722 
54.35/32.39	o 114712 
54.51/32.41	o 114621 
54.65/32.51	o 114591 
54.65/32.54	o 113521 
54.88/32.64	o 113466 
54.88/32.66	o 113465 
54.88/32.68	o 113445 
55.01/32.70	o 113444 
55.01/32.71	o 111391 
55.23/32.81	o 111384 
55.23/32.83	o 111361 
55.23/32.85	o 111317 
55.23/32.85	o 111316 
55.23/32.87	o 111296 
55.23/32.88	o 111286 
55.23/32.89	o 111284 
55.38/32.91	o 111261 
55.38/32.92	o 110531 
55.74/33.09	o 110521 
56.01/33.18	o 110518 
56.22/33.21	o 110508 
56.22/33.23	o 110507 
56.22/33.23	o 110417 
56.22/33.25	o 110416 
56.22/33.27	o 110396 
56.22/33.27	o 110395 
56.37/33.30	o 110384 
56.37/33.31	o 110361 
56.37/33.33	o 110181 
56.61/33.43	o 110176 
56.61/33.43	o 110166 
56.61/33.46	o 109181 
56.89/33.57	o 109177 
57.21/33.60	o 109155 
57.37/33.70	o 109119 
57.37/33.71	o 109118 
57.37/33.71	o 109098 
57.37/33.72	o 109088 
57.37/33.74	o 109087 
57.37/33.76	o 109077 
57.37/33.79	o 108181 
57.52/33.88	o 108155 
57.76/33.91	o 108154 
57.76/33.91	o 108134 
57.76/33.92	o 108124 
57.76/33.93	o 108122 
57.76/33.95	o 108099 
60.88/35.13	o 108045 
60.88/35.16	o 108044 
60.88/35.17	o 108024 
61.04/35.26	o 108023 
61.04/35.29	o 108012 
61.31/35.30	o 107999 
61.69/35.48	o 107992 
61.79/35.52	o 107982 
61.94/35.66	o 107923 
61.94/35.69	o 107922 
62.08/35.70	o 107902 
62.08/35.72	o 107901 
62.08/35.73	o 107890 
62.08/35.75	o 107880 
62.08/35.76	o 107879 
62.08/35.79	o 107869 
62.25/35.83	o 107823 
62.25/35.84	o 107822 
62.25/35.88	o 107802 
62.25/35.90	o 107801 
62.41/35.91	o 107790 
62.41/35.94	o 107780 
62.57/36.08	o 107779 
62.57/36.10	o 107769 
62.73/36.13	o 107713 
62.73/36.14	o 107712 
62.73/36.15	o 107692 
62.73/36.16	o 107691 
62.73/36.18	o 107680 
62.87/36.22	o 107670 
62.87/36.30	o 107665 
63.14/36.41	o 107659 
63.14/36.43	o 106655 
63.46/36.57	o 105555 
64.14/36.77	o 105520 
64.14/36.78	o 105519 
64.14/36.79	o 105499 
64.26/36.82	o 105498 
64.26/36.85	o 105487 
64.26/36.86	o 105477 
64.26/36.87	o 103435 
64.86/37.03	o 102575 
65.23/37.15	o 102565 
65.57/37.29	o 102245 
66.32/37.41	o 102235 
66.70/37.53	o 102125 
71.87/38.95	o 102120 
72.14/39.04	o 102119 
72.52/39.25	o 102109 
72.81/39.44	o 102108 
72.81/39.48	o 102098 
72.81/39.49	o 102097 
74.21/39.89	o 102089 
74.93/40.01	o 101989 
75.33/40.13	o 101179 
75.93/40.31	o 100209 
83.66/42.31	o 100202 
84.02/42.43	o 100192 
84.39/42.56	o 99192 
84.71/42.67	o 98212 
91.45/44.31	o 98196 
91.82/44.44	o 97196 
103.30/47.35	o 97195 
112.80/49.75	o 97185 
113.37/49.94	o 96215 
120.32/51.84	o 96205 
121.22/52.30	o 96195 
122.01/52.75	o 96185 
122.76/53.17	o 95185 
132.53/55.82	o 95184 
133.16/56.14	o 94284 
133.78/56.45	o 93284 
134.41/56.74	o 93174 
135.19/57.02	o 93164 
147.50/60.27	o 92164 
156.18/62.50	o 92163 
156.57/62.63	o 92063 
168.58/65.73	o 90883 
178.82/68.43	o 89883 
179.45/68.79	o 89882 
190.84/71.74	o 89872 
202.60/74.77	o 89774 
211.78/77.17	o 88774 
218.90/79.18	o 88773 
219.63/79.53	o 88073 
220.28/79.86	o 87973 
221.07/80.16	o 87773 
221.82/80.45	o 87673 
222.52/80.71	o 87663 
230.31/83.05	o 87539 
231.13/83.55	o 87528 
231.80/84.04	o 87521 
232.19/84.48	o 87438 
239.18/86.39	o 87384 
251.39/89.54	o 87373 
260.21/91.83	o 87312 
260.50/91.99	o 87201 
261.18/92.16	o 87081 
261.72/92.33	o 87071 
262.02/92.50	o 86971 
262.68/92.63	o 86871 
273.39/95.37	o 86861 
274.10/95.56	o 86851 
281.46/97.40	o 86782 
281.85/97.53	o 86681 
282.46/97.71	o 86471 
292.35/100.27	o 86461 
299.91/102.24	o 86360 
300.18/102.37	o 86350 
316.03/106.35	o 86322 
319.29/107.64	o 38761 
319.70/107.84	o 37962 
319.70/107.87	o 37863 
319.89/107.91	o 37771 
319.89/107.99	o 37770 
324.09/109.09	o 37680 
324.27/109.12	o 36780 
324.98/109.31	o 36779 
330.42/110.70	o 36777 
330.42/110.74	o 36687 
330.42/110.77	o 35777 
331.14/110.99	o 35776 
335.59/112.55	o 35078 
335.59/112.57	o 35077 
335.84/112.61	o 33977 
335.84/112.67	o 33968 
336.17/112.76	o 33887 
336.17/112.77	o 33867 
336.54/112.90	o 33866 
336.74/113.04	o 33865 
340.21/113.93	o 32984 
343.72/114.88	o 32093 
346.84/115.73	o 31126 
347.04/115.85	o 31025 
347.70/116.08	o 30628 
347.93/116.15	o 30618 
357.46/118.70	o 30529 
371.75/122.37	o 30429 
372.08/122.40	o 29533 
372.08/122.45	o 29439 
372.08/122.47	o 29438 
372.72/122.64	o 29348 
372.72/122.66	o 29329 
373.32/122.88	o 29328 
375.04/123.34	o 29239 
382.08/125.16	o 29149 
382.08/125.20	o 29139 
383.19/125.51	o 28929 
383.19/125.52	o 28928 
383.19/125.54	o 28828 
384.17/125.82	o 28729 
390.92/128.15	o 28719 
391.54/128.34	o 28718 
392.21/128.57	o 28711 
404.36/131.67	o 28702 
430.34/138.20	o 28503 
459.00/145.48	o 27876 
459.77/145.69	o 27776 
462.36/146.35	o 27775 
462.60/146.46	o 26799 
474.30/149.48	o 26699 
477.63/150.32	o 26689 
526.57/162.66	o 25690 
538.71/165.76	o 25590 
538.71/165.79	o 25582 
540.87/166.34	o 25572 
547.97/168.16	o 25482 
606.02/182.74	o 25472 
705.52/207.75	o 25372 
760.43/221.55	o 25371 
767.83/223.45	o 24799 
769.25/223.86	o 24688 
769.89/224.03	o 24590 
770.15/224.26	o 24589 
773.47/225.16	o 24588 
773.95/225.32	o 24512 
774.12/225.45	o 24511 
774.12/225.48	o 24502 
774.31/225.56	o 24402 
786.07/228.51	o 24312 
790.84/229.73	o 22703 
854.07/245.66	o 22702 
855.55/246.11	o 22701 
860.64/247.49	o 22694 
860.75/247.50	o 22692 
872.21/250.40	o 22691 
1033.40/290.96	o 22508 
1033.73/291.10	o 22409 
1033.87/291.13	o 22350 
1033.87/291.15	o 22341 
1034.12/291.29	o 22241 
1036.25/291.85	o 22210 
1038.89/292.57	o 22209 
1046.33/294.48	o 22208 
1047.11/294.66	o 22201 
1068.46/300.09	o 22191 
1095.75/306.94	o 22069 
1098.51/307.67	o 21169 
1106.66/309.96	o 21165 
1106.66/309.98	o 21065 
1139.44/318.21	o 20982 
1142.64/319.10	o 20893 
1152.84/321.73	o 20850 
1159.12/323.38	o 20481 
1363.29/374.61	o 20432 
1389.50/381.26	o 20431 
1444.68/395.14	o 20430 
1636.47/443.35	o 18230 
1641.16/444.58	o 18229 
1651.15/447.09	o 18224 
1651.49/447.11	o 18223 
1654.63/447.98	o 18222 
1655.55/448.20	o 18221 
1660.05/449.50	o 17434 
1660.05/449.52	o 17425 
1674.42/453.29	o 17423 
1674.75/453.53	o 17333 
1674.75/453.58	o 17332 
1685.62/456.32	o 17310 
1740.14/470.10	o 17211 
1758.75/474.79	o 17201 
1759.31/474.99	o 17200 
1956.87/524.69	o 16293 
1980.17/531.25	o 13293 
2309.55/614.19	o 12293 
2520.30/667.18	s SATISFIABLE
2520.30/667.18	v <instantiation>
2520.30/667.18	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] za1[0] za1[1] za1[2] za1[3] za1[4] za1[5] za1[6] za1[7] za1[8] za1[9] za1[10] za1[11] za1[12] za1[13] za1[14] za1[15] za1[16] za1[17] za1[18] za1[19] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za2[0] za2[1] za2[2] za2[3] za2[4] za2[5] za2[6] za2[7] za2[8] za2[9] za2[10] za2[11] za2[12] za2[13] za2[14] za2[15] za2[16] za2[17] za2[18] za2[19] za2[20] za2[21] za2[22] za2[23] za2[24] za2[25] za2[26] za2[27] za2[28] za2[29] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za3[0] za3[1] za3[2] za3[3] za3[4] za3[5] za3[6] za3[7] za3[8] za3[9] za3[10] za3[11] za3[12] za3[13] za3[14] za3[15] za3[16] za3[17] za3[18] za3[19] za3[20] za3[21] za3[22] za3[23] za3[24] za3[25] za3[26] za3[27] za3[28] za3[29] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[270] za3[271] za3[272] za3[273] za4[0] za4[1] za4[2] za4[3] za4[4] za4[5] za4[6] za4[7] za4[8] za4[9] za4[10] za4[11] za4[12] za4[13] za4[14] za4[15] za4[16] za4[17] za4[18] za4[19] za4[20] za4[21] za4[22] za4[23] za4[24] za4[25] za4[26] za4[27] za4[28] za4[29] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] </list>
2520.30/667.18	v 	<values>736 498 694 456 254 16 142 380 380 142 58 296 778 540 722 484 16 254 778 540 540 778 142 380 554 792 722 484 484 722 58 296 394 156 792 554 652 414 554 792 30 268 72 310 652 414 338 100 366 128 694 456 268 30 310 72 58 296 722 484 30 268 652 414 484 722 540 778 764 526 296 58 142 380 792 554 268 30 750 512 694 456 16 254 254 16 792 554 100 338 736 498 778 540 296 58 170 408 268 30 44 282 540 778 30 268 554 792 680 442 380 142 254 16 750 512 456 694 792 554 240 478 170 408 352 114 764 526 666 428 16 254 268 30 240 478 792 554 16 254 792 554 16 254 30 268 16 254 750 512 778 540 254 16 792 554 792 554 30 268 128 366 310 72 778 540 30 268 778 540 282 44 254 16 736 498 554 792 554 792 16 254 652 414 540 778 442 680 254 16 16 254 240 478 666 428 16 254 16 254 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 100 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 100 0 0 100 0 0 0 100 0 100 100 0 0 0 0 0 0 0 100 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 0 0 0 0 0 100 0 100 100 0 0 0 100 0 0 0 0 0 0 100 0 0 0 100 0 0 0 100 0 100 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 100 0 0 100 0 0 0 100 0 0 100 100 0 100 100 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 100 100 0 100 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 100 0 100 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 10 10 10 10 0 10 10 0 0 0 0 10 10 0 0 0 0 0 10 0 10 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 10 0 0 10 10 0 0 0 0 0 0 0 10 0 10 0 10 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 10 0 10 10 10 0 0 10 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 10 10 0 0 10 10 0 0 0 10 0 0 0 0 0 0 10 0 0 0 10 10 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 10 0 10 0 0 0 0 0 0 0 0 10 10 10 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 1 0 1 1 0 0 0 1 1 1 0 0 0 0 0 1 1 0 1 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 1 0 0 1 1 0 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 1 1 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 </values>
2520.30/667.18	v </instantiation>
2520.30/667.18	c Unexpected resolution interruption!

Verifier Data 

OK	12293

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (11423 MiB free)
  memory of node 1: 16384 MiB (14971 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399351-1568700031/watcher-4399351-1568700031 -o /tmp/evaluation-result-4399351-1568700031/solver-4399351-1568700031 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568698246-23583 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 322960200 HOME/instance-4399351-1568700031.xml 

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

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

solver pid=25497, runsolver pid=25494

[startup+0.100082 s]*
/proc/loadavg: 9.80 8.80 7.48 7/233 25513
/proc/meminfo: memFree=27012156/32770624 swapFree=66999436/67108860
[pid=25497] ppid=25494 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25497/stat : 25497 (xcsp3-exec) S 25494 25497 23551 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445941537 115843072 362 33554432000 4194304 5098028 140734301147520 140734301145624 140220279001724 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20926464 140734301152123 140734301152365 140734301152365 140734301155274 0
/proc/25497/statm: 28282 362 304 221 0 87 0
[pid=25499] ppid=25497 vsize=15144776 memory=28876 CPUtime=0.13 cores=1,3,5,7
/proc/25499/stat : 25499 (java) S 25497 25497 23551 0 -1 1077944320 5714 0 0 0 12 1 0 0 20 0 15 0 445941537 15508250624 7219 33554432000 4194304 4196468 140735230566160 140735230548704 140055577693943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
/proc/25499/statm: 3786194 7219 3148 1 0 3748377 0
[pid=25499/tid=25500] ppid=25497 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/25499/task/25500/stat : 25500 (java) R 25497 25497 23551 0 -1 4202560 3570 0 0 0 8 1 0 0 20 0 15 0 445941537 15508250624 7219 33554432000 4194304 4196468 140735230566160 140055581916640 140055561774430 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25501] ppid=25497 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25501/stat : 25501 (java) S 25497 25497 23551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445941538 15508250624 7219 33554432000 4194304 4196468 140735230566160 140055530314512 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25502] ppid=25497 vsize=15144776 memory=140518262523520 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25502/stat : 25502 (java) S 25497 25497 23551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445941538 15508250624 7219 33554432000 4194304 4196468 140735230566160 140055529261968 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25503] ppid=25497 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25503/stat : 25503 (java) S 25497 25497 23551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445941538 15508250624 7219 33554432000 4194304 4196468 140735230566160 140055168343056 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25504] ppid=25497 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25504/stat : 25504 (java) S 25497 25497 23551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445941538 15508250624 7219 33554432000 4194304 4196468 140735230566160 140055167290512 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25505] ppid=25497 vsize=15144776 memory=140518262523520 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25505/stat : 25505 (java) S 25497 25497 23551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445941540 15508250624 7219 33554432000 4194304 4196468 140735230566160 140054451173360 140055577705090 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25506] ppid=25497 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25506/stat : 25506 (java) S 25497 25497 23551 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445941540 15508250624 7219 33554432000 4194304 4196468 140735230566160 140054450119584 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25507] ppid=25497 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25507/stat : 25507 (java) S 25497 25497 23551 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445941540 15508250624 7219 33554432000 4194304 4196468 140735230566160 140054449066992 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25508] ppid=25497 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25508/stat : 25508 (java) S 25497 25497 23551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445941543 15508250624 7219 33554432000 4194304 4196468 140735230566160 140054448015568 140055577712539 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25509] ppid=25497 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25509/stat : 25509 (java) S 25497 25497 23551 0 -1 1077944384 340 0 0 0 0 0 0 0 20 0 15 0 445941543 15508250624 7219 33554432000 4194304 4196468 140735230566160 140054446963184 140055577705090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25510] ppid=25497 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25510/stat : 25510 (java) S 25497 25497 23551 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 445941543 15508250624 7219 33554432000 4194304 4196468 140735230566160 140054445910640 140055577705090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25511] ppid=25497 vsize=15144776 memory=140518262523520 CPUtime=0.02 cores=1,3,5,7
/proc/25499/task/25511/stat : 25511 (java) R 25497 25497 23551 0 -1 4202560 379 0 0 0 2 0 0 0 20 0 15 0 445941543 15508250624 7219 33554432000 4194304 4196468 140735230566160 140054444858096 140055557092305 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25512] ppid=25497 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25512/stat : 25512 (java) S 25497 25497 23551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445941543 15508250624 7219 33554432000 4194304 4196468 140735230566160 140054443805792 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25513] ppid=25497 vsize=15144776 memory=140518262523520 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25513/stat : 25513 (java) S 25497 25497 23551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445941543 15508250624 7219 33554432000 4194304 4196468 140735230566160 140054442752304 140055577705090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30324 KiB

[startup+0.210815 s]*
/proc/loadavg: 9.80 8.80 7.48 8/233 25513
/proc/meminfo: memFree=26998680/32770624 swapFree=66999436/67108860
[pid=25497] ppid=25494 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25497/stat : 25497 (xcsp3-exec) S 25494 25497 23551 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445941537 115843072 362 33554432000 4194304 5098028 140734301147520 140734301145624 140220279001724 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20926464 140734301152123 140734301152365 140734301152365 140734301155274 0
/proc/25497/statm: 28282 362 304 221 0 87 0
[pid=25499] ppid=25497 vsize=15144776 memory=40848 CPUtime=0.34 cores=1,3,5,7
/proc/25499/stat : 25499 (java) S 25497 25497 23551 0 -1 1077944320 9460 0 0 0 31 3 0 0 20 0 15 0 445941537 15508250624 10212 33554432000 4194304 4196468 140735230566160 140735230548704 140055577693943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
/proc/25499/statm: 3786194 10212 3261 1 0 3748377 0
[pid=25499/tid=25500] ppid=25497 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/25499/task/25500/stat : 25500 (java) R 25497 25497 23551 0 -1 4202560 6606 0 0 0 18 2 0 0 20 0 15 0 445941537 15508250624 10212 33554432000 4194304 4196468 140735230566160 140055581932256 140055561774430 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25501] ppid=25497 vsize=15144776 memory=2128864 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25501/stat : 25501 (java) S 25497 25497 23551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445941538 15508250624 10212 33554432000 4194304 4196468 140735230566160 140055530314512 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25502] ppid=25497 vsize=15144776 memory=288370894414235264 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25502/stat : 25502 (java) S 25497 25497 23551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445941538 15508250624 10212 33554432000 4194304 4196468 140735230566160 140055529261968 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25503] ppid=25497 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25503/stat : 25503 (java) S 25497 25497 23551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445941538 15508250624 10212 33554432000 4194304 4196468 140735230566160 140055168343056 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25504] ppid=25497 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25504/stat : 25504 (java) S 25497 25497 23551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445941538 15508250624 10212 33554432000 4194304 4196468 140735230566160 140055167290512 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25505] ppid=25497 vsize=15144776 memory=140518262523520 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25505/stat : 25505 (java) R 25497 25497 23551 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 15 0 445941540 15508250624 10212 33554432000 4194304 4196468 140735230566160 140054451173360 140055577705090 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25506] ppid=25497 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25506/stat : 25506 (java) S 25497 25497 23551 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445941540 15508250624 10212 33554432000 4194304 4196468 140735230566160 140054450119584 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25507] ppid=25497 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25507/stat : 25507 (java) S 25497 25497 23551 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445941540 15508250624 10212 33554432000 4194304 4196468 140735230566160 140054449066992 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25508] ppid=25497 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25508/stat : 25508 (java) S 25497 25497 23551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445941543 15508250624 10212 33554432000 4194304 4196468 140735230566160 140054448015568 140055577712539 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25509] ppid=25497 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/25499/task/25509/stat : 25509 (java) S 25497 25497 23551 0 -1 1077944384 380 0 0 0 2 0 0 0 20 0 15 0 445941543 15508250624 10212 33554432000 4194304 4196468 140735230566160 140054446963184 140055577705090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25510] ppid=25497 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/25499/task/25510/stat : 25510 (java) S 25497 25497 23551 0 -1 1077944384 375 0 0 0 2 0 0 0 20 0 15 0 445941543 15508250624 10212 33554432000 4194304 4196468 140735230566160 140054445910640 140055577705090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25511] ppid=25497 vsize=15144776 memory=140518262523520 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25511/stat : 25511 (java) S 25497 25497 23551 0 -1 1077944384 794 0 0 0 8 0 0 0 20 0 15 0 445941543 15508250624 10212 33554432000 4194304 4196468 140735230566160 140054444858096 140055577705090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25512] ppid=25497 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25512/stat : 25512 (java) S 25497 25497 23551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445941543 15508250624 10212 33554432000 4194304 4196468 140735230566160 140054443805792 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25513] ppid=25497 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25513/stat : 25513 (java) S 25497 25497 23551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445941543 15508250624 10212 33554432000 4194304 4196468 140735230566160 140054442752304 140055577705090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42296 KiB

[startup+0.310476 s]*
/proc/loadavg: 9.80 8.80 7.48 7/233 25513
/proc/meminfo: memFree=26991480/32770624 swapFree=66999436/67108860
[pid=25497] ppid=25494 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25497/stat : 25497 (xcsp3-exec) S 25494 25497 23551 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445941537 115843072 362 33554432000 4194304 5098028 140734301147520 140734301145624 140220279001724 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20926464 140734301152123 140734301152365 140734301152365 140734301155274 0
/proc/25497/statm: 28282 362 304 221 0 87 0
[pid=25499] ppid=25497 vsize=15149032 memory=50164 CPUtime=0.53 cores=1,3,5,7
/proc/25499/stat : 25499 (java) S 25497 25497 23551 0 -1 1077944320 11008 0 0 0 49 4 0 0 20 0 15 0 445941537 15512608768 12541 33554432000 4194304 4196468 140735230566160 140735230548704 140055577693943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
/proc/25499/statm: 3787258 12541 3327 1 0 3748377 0
[pid=25499/tid=25500] ppid=25497 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/25499/task/25500/stat : 25500 (java) R 25497 25497 23551 0 -1 4202560 7934 0 0 0 27 3 0 0 20 0 15 0 445941537 15512608768 12541 33554432000 4194304 4196468 140735230566160 140055581925056 140055577715869 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25501] ppid=25497 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25501/stat : 25501 (java) S 25497 25497 23551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445941538 15512608768 12541 33554432000 4194304 4196468 140735230566160 140055530314512 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25502] ppid=25497 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25502/stat : 25502 (java) S 25497 25497 23551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445941538 15512608768 12541 33554432000 4194304 4196468 140735230566160 140055529261968 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25503] ppid=25497 vsize=15149032 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25503/stat : 25503 (java) S 25497 25497 23551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445941538 15512608768 12541 33554432000 4194304 4196468 140735230566160 140055168343056 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25504] ppid=25497 vsize=15149032 memory=7161331908245094050 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25504/stat : 25504 (java) S 25497 25497 23551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445941538 15512608768 12541 33554432000 4194304 4196468 140735230566160 140055167290512 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25505] ppid=25497 vsize=15149032 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25505/stat : 25505 (java) S 25497 25497 23551 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 445941540 15512608768 12541 33554432000 4194304 4196468 140735230566160 140054451173360 140055577705090 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25506] ppid=25497 vsize=15149032 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25506/stat : 25506 (java) S 25497 25497 23551 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445941540 15512608768 12541 33554432000 4194304 4196468 140735230566160 140054450119584 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25507] ppid=25497 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25507/stat : 25507 (java) S 25497 25497 23551 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445941540 15512608768 12541 33554432000 4194304 4196468 140735230566160 140054449066992 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25508] ppid=25497 vsize=15149032 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25508/stat : 25508 (java) S 25497 25497 23551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445941543 15512608768 12541 33554432000 4194304 4196468 140735230566160 140054448015568 140055577712539 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25509] ppid=25497 vsize=15149032 memory=4426078206164241782 CPUtime=0.03 cores=1,3,5,7
/proc/25499/task/25509/stat : 25509 (java) S 25497 25497 23551 0 -1 1077944384 394 0 0 0 3 0 0 0 20 0 15 0 445941543 15512608768 12541 33554432000 4194304 4196468 140735230566160 140054446963184 140055577705090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25510] ppid=25497 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/25499/task/25510/stat : 25510 (java) S 25497 25497 23551 0 -1 1077944384 473 0 0 0 5 0 0 0 20 0 15 0 445941543 15512608768 12541 33554432000 4194304 4196468 140735230566160 140054445910640 140055577705090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25511] ppid=25497 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/25499/task/25511/stat : 25511 (java) S 25497 25497 23551 0 -1 1077944384 900 0 0 0 12 0 0 0 20 0 15 0 445941543 15512608768 12541 33554432000 4194304 4196468 140735230566160 140054444858096 140055577705090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25512] ppid=25497 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25512/stat : 25512 (java) S 25497 25497 23551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445941543 15512608768 12541 33554432000 4194304 4196468 140735230566160 140054443805792 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25513] ppid=25497 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25513/stat : 25513 (java) S 25497 25497 23551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445941543 15512608768 12541 33554432000 4194304 4196468 140735230566160 140054442752304 140055577705090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51612 KiB

[startup+0.702349 s]
/proc/loadavg: 9.80 8.80 7.48 9/233 25513
/proc/meminfo: memFree=26969892/32770624 swapFree=66999436/67108860
[pid=25497] ppid=25494 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25497/stat : 25497 (xcsp3-exec) S 25494 25497 23551 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445941537 115843072 362 33554432000 4194304 5098028 140734301147520 140734301145624 140220279001724 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20926464 140734301152123 140734301152365 140734301152365 140734301155274 0
/proc/25497/statm: 28282 362 304 221 0 87 0
[pid=25499] ppid=25497 vsize=15151156 memory=88808 CPUtime=1.71 cores=1,3,5,7
/proc/25499/stat : 25499 (java) S 25497 25497 23551 0 -1 1077944320 14611 0 0 0 166 5 0 0 20 0 15 0 445941537 15514783744 22202 33554432000 4194304 4196468 140735230566160 140735230548704 140055577693943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
/proc/25499/statm: 3787789 22202 3457 1 0 3748889 0
[pid=25499/tid=25500] ppid=25497 vsize=15151156 memory=33 CPUtime=0.68 cores=1,3,5,7
/proc/25499/task/25500/stat : 25500 (java) R 25497 25497 23551 0 -1 4202560 8884 0 0 0 64 4 0 0 20 0 15 0 445941537 15514783744 22202 33554432000 4194304 4196468 140735230566160 140055581928880 140055577705878 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25501] ppid=25497 vsize=15151156 memory=288230608904420306 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25501/stat : 25501 (java) S 25497 25497 23551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445941538 15514783744 22202 33554432000 4194304 4196468 140735230566160 140055530314512 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25502] ppid=25497 vsize=15151156 memory=14972261113308207 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25502/stat : 25502 (java) S 25497 25497 23551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445941538 15514783744 22202 33554432000 4194304 4196468 140735230566160 140055529261968 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25503] ppid=25497 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25503/stat : 25503 (java) S 25497 25497 23551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445941538 15514783744 22202 33554432000 4194304 4196468 140735230566160 140055168343056 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25504] ppid=25497 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25504/stat : 25504 (java) S 25497 25497 23551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445941538 15514783744 22202 33554432000 4194304 4196468 140735230566160 140055167290512 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25505] ppid=25497 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25505/stat : 25505 (java) S 25497 25497 23551 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 445941540 15514783744 22202 33554432000 4194304 4196468 140735230566160 140054451173360 140055577705090 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25506] ppid=25497 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25506/stat : 25506 (java) S 25497 25497 23551 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445941540 15514783744 22202 33554432000 4194304 4196468 140735230566160 140054450119584 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25507] ppid=25497 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25507/stat : 25507 (java) S 25497 25497 23551 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445941540 15514783744 22202 33554432000 4194304 4196468 140735230566160 140054449066992 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25508] ppid=25497 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25508/stat : 25508 (java) S 25497 25497 23551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445941543 15514783744 22202 33554432000 4194304 4196468 140735230566160 140054448015568 140055577712539 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25509] ppid=25497 vsize=15151156 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/25499/task/25509/stat : 25509 (java) R 25497 25497 23551 0 -1 4202560 1114 0 0 0 27 0 0 0 20 0 15 0 445941543 15514783744 22202 33554432000 4194304 4196468 140735230566160 140054446948576 140055557350512 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25510] ppid=25497 vsize=15151156 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/25499/task/25510/stat : 25510 (java) R 25497 25497 23551 0 -1 4202560 1163 0 0 0 31 0 0 0 20 0 15 0 445941543 15514783744 22202 33554432000 4194304 4196468 140735230566160 140054445903832 140055555993713 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25511] ppid=25497 vsize=15151156 memory=0 CPUtime=0.42 cores=1,3,5,7
/proc/25499/task/25511/stat : 25511 (java) S 25497 25497 23551 0 -1 1077944384 2142 0 0 0 42 0 0 0 20 0 15 0 445941543 15514783744 22202 33554432000 4194304 4196468 140735230566160 140054444858096 140055577705090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25512] ppid=25497 vsize=15151156 memory=4639074098508484689 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25512/stat : 25512 (java) S 25497 25497 23551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445941543 15514783744 22202 33554432000 4194304 4196468 140735230566160 140054443805792 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25513] ppid=25497 vsize=15151156 memory=7810755147399980653 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25513/stat : 25513 (java) S 25497 25497 23551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445941543 15514783744 22202 33554432000 4194304 4196468 140735230566160 140054442752304 140055577705090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 90256 KiB

[startup+1.50081 s]
/proc/loadavg: 9.80 8.80 7.48 8/233 25513
/proc/meminfo: memFree=26914916/32770624 swapFree=66999436/67108860
[pid=25497] ppid=25494 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25497/stat : 25497 (xcsp3-exec) S 25494 25497 23551 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445941537 115843072 362 33554432000 4194304 5098028 140734301147520 140734301145624 140220279001724 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20926464 140734301152123 140734301152365 140734301152365 140734301155274 0
/proc/25497/statm: 28282 362 304 221 0 87 0

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

[pid=25499/tid=25503] ppid=25497 vsize=15687772 memory=1448 CPUtime=0.74 cores=1,3,5,7
/proc/25499/task/25503/stat : 25503 (java) S 25497 25497 23551 0 -1 1077944384 3204 0 0 0 62 12 0 0 20 0 19 0 445941538 16064278528 483776 33554432000 4194304 4196468 140735230566160 140055168343056 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25504] ppid=25497 vsize=15687772 memory=1448 CPUtime=0.71 cores=1,3,5,7
/proc/25499/task/25504/stat : 25504 (java) S 25497 25497 23551 0 -1 1077944384 2598 0 0 0 61 10 0 0 20 0 19 0 445941538 16064278528 483776 33554432000 4194304 4196468 140735230566160 140055167290512 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25505] ppid=25497 vsize=15687772 memory=1942152 CPUtime=0.09 cores=1,3,5,7
/proc/25499/task/25505/stat : 25505 (java) S 25497 25497 23551 0 -1 1077944384 7926 0 0 0 7 2 0 0 20 0 19 0 445941540 16064278528 483776 33554432000 4194304 4196468 140735230566160 140054451173360 140055577705090 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25506] ppid=25497 vsize=15687772 memory=1760 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25506/stat : 25506 (java) S 25497 25497 23551 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 445941540 16064278528 483776 33554432000 4194304 4196468 140735230566160 140054450119648 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25507] ppid=25497 vsize=15687772 memory=1942152 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25507/stat : 25507 (java) S 25497 25497 23551 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 445941540 16064278528 483776 33554432000 4194304 4196468 140735230566160 140054449067008 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25508] ppid=25497 vsize=15687772 memory=1973864 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25508/stat : 25508 (java) S 25497 25497 23551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445941543 16064278528 483776 33554432000 4194304 4196468 140735230566160 140054448015568 140055577712539 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25509] ppid=25497 vsize=15687772 memory=1942272 CPUtime=5.1 cores=1,3,5,7
/proc/25499/task/25509/stat : 25509 (java) S 25497 25497 23551 0 -1 1077944384 33773 0 0 0 507 3 0 0 20 0 19 0 445941543 16064278528 483776 33554432000 4194304 4196468 140735230566160 140054446963184 140055577705090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 27 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25510] ppid=25497 vsize=15687772 memory=1942272 CPUtime=4.67 cores=1,3,5,7
/proc/25499/task/25510/stat : 25510 (java) S 25497 25497 23551 0 -1 1077944384 31779 0 0 0 465 2 0 0 20 0 19 0 445941543 16064278528 483776 33554432000 4194304 4196468 140735230566160 140054445910640 140055577705090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 28 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25511] ppid=25497 vsize=15687772 memory=1942272 CPUtime=1.19 cores=1,3,5,7
/proc/25499/task/25511/stat : 25511 (java) S 25497 25497 23551 0 -1 1077944384 20332 0 0 0 117 2 0 0 20 0 19 0 445941543 16064278528 483776 33554432000 4194304 4196468 140735230566160 140054444858096 140055577705090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25512] ppid=25497 vsize=15687772 memory=1935104 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25512/stat : 25512 (java) S 25497 25497 23551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445941543 16064278528 483776 33554432000 4194304 4196468 140735230566160 140054443805792 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25513] ppid=25497 vsize=15687772 memory=1935104 CPUtime=0.22 cores=1,3,5,7
/proc/25499/task/25513/stat : 25513 (java) S 25497 25497 23551 0 -1 1077944384 4214 0 0 0 8 14 0 0 20 0 19 0 445941543 16064278528 483776 33554432000 4194304 4196468 140735230566160 140054442752304 140055577705090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 28 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=29510] ppid=25497 vsize=15687772 memory=1448 CPUtime=50.79 cores=1,3,5,7
/proc/25499/task/29510/stat : 29510 (java) R 25497 25497 23551 0 -1 4202560 869 0 0 0 5079 0 0 0 20 0 19 0 445994662 16064278528 483776 33554432000 4194304 4196468 140735230566160 140054430620968 140055218223470 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=29511] ppid=25497 vsize=15687772 memory=1448 CPUtime=50.45 cores=1,3,5,7
/proc/25499/task/29511/stat : 29511 (java) R 25497 25497 23551 0 -1 4202560 5210 0 0 0 5044 1 0 0 20 0 19 0 445994662 16064278528 483776 33554432000 4194304 4196468 140735230566160 140054425361632 140055218223409 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=29512] ppid=25497 vsize=15687772 memory=3624 CPUtime=51.02 cores=1,3,5,7
/proc/25499/task/29512/stat : 29512 (java) R 25497 25497 23551 0 -1 4202560 1564 0 0 0 5102 0 0 0 20 0 19 0 445994662 16064278528 483776 33554432000 4194304 4196468 140735230566160 140054428516656 140055218223220 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=29513] ppid=25497 vsize=15687772 memory=1448 CPUtime=50.91 cores=1,3,5,7
/proc/25499/task/29513/stat : 29513 (java) R 25497 25497 23551 0 -1 4202560 1577 0 0 0 5091 0 0 0 20 0 19 0 445994662 16064278528 483776 33554432000 4194304 4196468 140735230566160 140054422200184 140055216126660 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
Current children cumulated CPU time: 2183.46 s
Current children cumulated vsize: 15800900 KiB
Current children cumulated memory: 1936552 KiB

[startup+642.301 s]
/proc/loadavg: 8.30 8.42 7.88 10/237 29532
/proc/meminfo: memFree=24147156/32770624 swapFree=66999436/67108860
[pid=25497] ppid=25494 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25497/stat : 25497 (xcsp3-exec) S 25494 25497 23551 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445941537 115843072 362 33554432000 4194304 5098028 140734301147520 140734301145624 140220279001724 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20926464 140734301152123 140734301152365 140734301152365 140734301155274 0
/proc/25497/statm: 28282 362 304 221 0 87 0
[pid=25499] ppid=25497 vsize=15687772 memory=1909344 CPUtime=2421.55 cores=1,3,5,7
/proc/25499/stat : 25499 (java) S 25497 25497 23551 0 -1 1077944320 346138 0 0 0 241998 157 0 0 20 0 19 0 445941537 16064278528 477336 33554432000 4194304 4196468 140735230566160 140735230548704 140055577693943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
/proc/25499/statm: 3921943 477336 3557 1 0 3883043 0
[pid=25499/tid=25500] ppid=25497 vsize=15687772 memory=1909344 CPUtime=4.97 cores=1,3,5,7
/proc/25499/task/25500/stat : 25500 (java) S 25497 25497 23551 0 -1 1077944384 30146 0 0 0 481 16 0 0 20 0 19 0 445941537 16064278528 477336 33554432000 4194304 4196468 140735230566160 140055581934656 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25501] ppid=25497 vsize=15687772 memory=1909344 CPUtime=0.73 cores=1,3,5,7
/proc/25499/task/25501/stat : 25501 (java) S 25497 25497 23551 0 -1 1077944384 3729 0 0 0 62 11 0 0 20 0 19 0 445941538 16064278528 477336 33554432000 4194304 4196468 140735230566160 140055530314512 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25502] ppid=25497 vsize=15687772 memory=1909344 CPUtime=0.71 cores=1,3,5,7
/proc/25499/task/25502/stat : 25502 (java) S 25497 25497 23551 0 -1 1077944384 2675 0 0 0 61 10 0 0 20 0 19 0 445941538 16064278528 477336 33554432000 4194304 4196468 140735230566160 140055529261968 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25503] ppid=25497 vsize=15687772 memory=1935104 CPUtime=0.75 cores=1,3,5,7
/proc/25499/task/25503/stat : 25503 (java) S 25497 25497 23551 0 -1 1077944384 3225 0 0 0 63 12 0 0 20 0 19 0 445941538 16064278528 477336 33554432000 4194304 4196468 140735230566160 140055168343056 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25504] ppid=25497 vsize=15687772 memory=1935104 CPUtime=0.71 cores=1,3,5,7
/proc/25499/task/25504/stat : 25504 (java) S 25497 25497 23551 0 -1 1077944384 3076 0 0 0 61 10 0 0 20 0 19 0 445941538 16064278528 477336 33554432000 4194304 4196468 140735230566160 140055167290512 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25505] ppid=25497 vsize=15687772 memory=1942272 CPUtime=0.1 cores=1,3,5,7
/proc/25499/task/25505/stat : 25505 (java) S 25497 25497 23551 0 -1 1077944384 8261 0 0 0 7 3 0 0 20 0 19 0 445941540 16064278528 477336 33554432000 4194304 4196468 140735230566160 140054451173360 140055577705090 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25506] ppid=25497 vsize=15687772 memory=1942212 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25506/stat : 25506 (java) S 25497 25497 23551 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 445941540 16064278528 477336 33554432000 4194304 4196468 140735230566160 140054450119648 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25507] ppid=25497 vsize=15687772 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25507/stat : 25507 (java) S 25497 25497 23551 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 445941540 16064278528 477336 33554432000 4194304 4196468 140735230566160 140054449067008 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25508] ppid=25497 vsize=15687772 memory=1760 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25508/stat : 25508 (java) S 25497 25497 23551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445941543 16064278528 477336 33554432000 4194304 4196468 140735230566160 140054448015568 140055577712539 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25509] ppid=25497 vsize=15687772 memory=1973864 CPUtime=5.1 cores=1,3,5,7
/proc/25499/task/25509/stat : 25509 (java) S 25497 25497 23551 0 -1 1077944384 33793 0 0 0 507 3 0 0 20 0 19 0 445941543 16064278528 477336 33554432000 4194304 4196468 140735230566160 140054446963184 140055577705090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 27 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25510] ppid=25497 vsize=15687772 memory=1934896 CPUtime=4.68 cores=1,3,5,7
/proc/25499/task/25510/stat : 25510 (java) S 25497 25497 23551 0 -1 1077944384 32461 0 0 0 466 2 0 0 20 0 19 0 445941543 16064278528 477336 33554432000 4194304 4196468 140735230566160 140054445910640 140055577705090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 28 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25511] ppid=25497 vsize=15687772 memory=1909344 CPUtime=1.19 cores=1,3,5,7
/proc/25499/task/25511/stat : 25511 (java) S 25497 25497 23551 0 -1 1077944384 20692 0 0 0 117 2 0 0 20 0 19 0 445941543 16064278528 477336 33554432000 4194304 4196468 140735230566160 140054444858096 140055577705090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25512] ppid=25497 vsize=15687772 memory=1909344 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25512/stat : 25512 (java) S 25497 25497 23551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445941543 16064278528 477336 33554432000 4194304 4196468 140735230566160 140054443805792 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25513] ppid=25497 vsize=15687772 memory=1909344 CPUtime=0.24 cores=1,3,5,7
/proc/25499/task/25513/stat : 25513 (java) S 25497 25497 23551 0 -1 1077944384 4420 0 0 0 9 15 0 0 20 0 19 0 445941543 16064278528 477336 33554432000 4194304 4196468 140735230566160 140054442752304 140055577705090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 28 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=29527] ppid=25497 vsize=15687772 memory=1909344 CPUtime=28.08 cores=1,3,5,7
/proc/25499/task/29527/stat : 29527 (java) R 25497 25497 23551 0 -1 4202560 692 0 0 0 2808 0 0 0 20 0 19 0 446002956 16064278528 477336 33554432000 4194304 4196468 140735230566160 140054428514864 140055218223470 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=29528] ppid=25497 vsize=15687772 memory=1909344 CPUtime=28.09 cores=1,3,5,7
/proc/25499/task/29528/stat : 29528 (java) R 25497 25497 23551 0 -1 4202560 2595 0 0 0 2809 0 0 0 20 0 19 0 446002956 16064278528 477336 33554432000 4194304 4196468 140735230566160 140054422203280 140055218223470 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=29529] ppid=25497 vsize=15687772 memory=1448 CPUtime=28.08 cores=1,3,5,7
/proc/25499/task/29529/stat : 29529 (java) R 25497 25497 23551 0 -1 4202560 1931 0 0 0 2808 0 0 0 20 0 19 0 446002956 16064278528 477336 33554432000 4194304 4196468 140735230566160 140054425360184 140055210363135 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=29530] ppid=25497 vsize=15687772 memory=1909344 CPUtime=27.59 cores=1,3,5,7
/proc/25499/task/29530/stat : 29530 (java) R 25497 25497 23551 0 -1 4202560 1216 0 0 0 2759 0 0 0 20 0 19 0 446002956 16064278528 477336 33554432000 4194304 4196468 140735230566160 140054430621864 140055216711248 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
Current children cumulated CPU time: 2421.55 s
Current children cumulated vsize: 15800900 KiB
Current children cumulated memory: 1910792 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+667.111 s]
/proc/loadavg: 8.20 8.39 7.88 10/237 29534
/proc/meminfo: memFree=24152248/32770624 swapFree=66999436/67108860
[pid=25497] ppid=25494 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25497/stat : 25497 (xcsp3-exec) S 25494 25497 23551 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445941537 115843072 362 33554432000 4194304 5098028 140734301147520 140734301145624 140220279001724 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20926464 140734301152123 140734301152365 140734301152365 140734301155274 0
/proc/25497/statm: 28282 362 304 221 0 87 0
[pid=25499] ppid=25497 vsize=15687772 memory=1901716 CPUtime=2520.3 cores=1,3,5,7
/proc/25499/stat : 25499 (java) S 25497 25497 23551 0 -1 1077944320 351224 0 0 0 251872 158 0 0 20 0 19 0 445941537 16064278528 475429 33554432000 4194304 4196468 140735230566160 140735230548704 140055577693943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
/proc/25499/statm: 3921943 475429 3557 1 0 3883043 0
[pid=25499/tid=25500] ppid=25497 vsize=15687772 memory=1901716 CPUtime=4.97 cores=1,3,5,7
/proc/25499/task/25500/stat : 25500 (java) S 25497 25497 23551 0 -1 1077944384 30146 0 0 0 481 16 0 0 20 0 19 0 445941537 16064278528 475429 33554432000 4194304 4196468 140735230566160 140055581934656 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25501] ppid=25497 vsize=15687772 memory=1448 CPUtime=0.73 cores=1,3,5,7
/proc/25499/task/25501/stat : 25501 (java) S 25497 25497 23551 0 -1 1077944384 4186 0 0 0 62 11 0 0 20 0 19 0 445941538 16064278528 475429 33554432000 4194304 4196468 140735230566160 140055530314512 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25502] ppid=25497 vsize=15687772 memory=3624 CPUtime=0.71 cores=1,3,5,7
/proc/25499/task/25502/stat : 25502 (java) S 25497 25497 23551 0 -1 1077944384 2688 0 0 0 61 10 0 0 20 0 19 0 445941538 16064278528 475429 33554432000 4194304 4196468 140735230566160 140055529261968 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25503] ppid=25497 vsize=15687772 memory=1901704 CPUtime=0.75 cores=1,3,5,7
/proc/25499/task/25503/stat : 25503 (java) S 25497 25497 23551 0 -1 1077944384 3243 0 0 0 63 12 0 0 20 0 19 0 445941538 16064278528 475429 33554432000 4194304 4196468 140735230566160 140055168343056 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25504] ppid=25497 vsize=15687772 memory=1909392 CPUtime=0.71 cores=1,3,5,7
/proc/25499/task/25504/stat : 25504 (java) S 25497 25497 23551 0 -1 1077944384 3278 0 0 0 61 10 0 0 20 0 19 0 445941538 16064278528 475429 33554432000 4194304 4196468 140735230566160 140055167290512 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25505] ppid=25497 vsize=15687772 memory=1935104 CPUtime=0.1 cores=1,3,5,7
/proc/25499/task/25505/stat : 25505 (java) S 25497 25497 23551 0 -1 1077944384 8612 0 0 0 7 3 0 0 20 0 19 0 445941540 16064278528 475429 33554432000 4194304 4196468 140735230566160 140054451173360 140055577705090 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25506] ppid=25497 vsize=15687772 memory=1942272 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25506/stat : 25506 (java) S 25497 25497 23551 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 445941540 16064278528 475429 33554432000 4194304 4196468 140735230566160 140054450119648 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25507] ppid=25497 vsize=15687772 memory=1942212 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25507/stat : 25507 (java) S 25497 25497 23551 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 445941540 16064278528 475429 33554432000 4194304 4196468 140735230566160 140054449067008 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25508] ppid=25497 vsize=15687772 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25508/stat : 25508 (java) S 25497 25497 23551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445941543 16064278528 475429 33554432000 4194304 4196468 140735230566160 140054448015568 140055577712539 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25509] ppid=25497 vsize=15687772 memory=1760 CPUtime=5.12 cores=1,3,5,7
/proc/25499/task/25509/stat : 25509 (java) S 25497 25497 23551 0 -1 1077944384 34961 0 0 0 509 3 0 0 20 0 19 0 445941543 16064278528 475429 33554432000 4194304 4196468 140735230566160 140054446963184 140055577705090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 27 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25510] ppid=25497 vsize=15687772 memory=1973864 CPUtime=4.69 cores=1,3,5,7
/proc/25499/task/25510/stat : 25510 (java) S 25497 25497 23551 0 -1 1077944384 32953 0 0 0 467 2 0 0 20 0 19 0 445941543 16064278528 475429 33554432000 4194304 4196468 140735230566160 140054445910640 140055577705090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 28 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25511] ppid=25497 vsize=15687772 memory=1934896 CPUtime=1.2 cores=1,3,5,7
/proc/25499/task/25511/stat : 25511 (java) S 25497 25497 23551 0 -1 1077944384 20809 0 0 0 118 2 0 0 20 0 19 0 445941543 16064278528 475429 33554432000 4194304 4196468 140735230566160 140054444858096 140055577705090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25512] ppid=25497 vsize=15687772 memory=1909344 CPUtime=0 cores=1,3,5,7
/proc/25499/task/25512/stat : 25512 (java) S 25497 25497 23551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445941543 16064278528 475429 33554432000 4194304 4196468 140735230566160 140054443805792 140055577704149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=25513] ppid=25497 vsize=15687772 memory=1901704 CPUtime=0.25 cores=1,3,5,7
/proc/25499/task/25513/stat : 25513 (java) S 25497 25497 23551 0 -1 1077944384 4451 0 0 0 9 16 0 0 20 0 19 0 445941543 16064278528 475429 33554432000 4194304 4196468 140735230566160 140054442752304 140055577705090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 28 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=29527] ppid=25497 vsize=15687772 memory=1448 CPUtime=52.79 cores=1,3,5,7
/proc/25499/task/29527/stat : 29527 (java) R 25497 25497 23551 0 -1 4202560 796 0 0 0 5279 0 0 0 20 0 19 0 446002956 16064278528 475429 33554432000 4194304 4196468 140735230566160 140054428515112 140055218247105 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=29528] ppid=25497 vsize=15687772 memory=1901716 CPUtime=52.87 cores=1,3,5,7
/proc/25499/task/29528/stat : 29528 (java) R 25497 25497 23551 0 -1 4202560 3993 0 0 0 5287 0 0 0 20 0 19 0 446002956 16064278528 475429 33554432000 4194304 4196468 140735230566160 140054422199984 140055218247295 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=29529] ppid=25497 vsize=15687772 memory=1901704 CPUtime=52.83 cores=1,3,5,7
/proc/25499/task/29529/stat : 29529 (java) R 25497 25497 23551 0 -1 4202560 2393 0 0 0 5283 0 0 0 20 0 19 0 446002956 16064278528 475429 33554432000 4194304 4196468 140735230566160 140054425357752 140055212879911 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
[pid=25499/tid=29530] ppid=25497 vsize=15687772 memory=1448 CPUtime=52.04 cores=1,3,5,7
/proc/25499/task/29530/stat : 29530 (java) R 25497 25497 23551 0 -1 4202560 1489 0 0 0 5204 0 0 0 20 0 19 0 446002956 16064278528 475429 33554432000 4194304 4196468 140735230566160 140054430621864 140055218247692 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140735230571503 140735230571674 140735230571674 140735230574543 0
Current children cumulated CPU time: 2520.3 s
Current children cumulated vsize: 15800900 KiB
Current children cumulated memory: 1903164 KiB

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

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

[startup+667.243 s]
# the end of solver process 25499 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.12 s, system=1.59615 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+667.233 s]*
/proc/loadavg: 8.20 8.39 7.88 6/217 29536
/proc/meminfo: memFree=26044176/32770624 swapFree=66999436/67108860
Current cumulated CPU time of completed processes: 0.002199 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 667.243
CPU time (s): 2520.71
CPU user time (s): 2519.12
CPU system time (s): 1.59615
CPU usage (%): 377.78
Max. virtual memory (cumulated for all children) (KiB): 15800900
Max. memory (cumulated for all children) (KiB): 2000704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.12
system time used= 1.59614
maximum resident set size= 2003352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 352895
page faults= 0
swaps= 0
block input operations= 0
block output operations= 896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40231
involuntary context switches= 47877


# summary of solver processes directly reported to runsolver:
#   pid: 25497,25499
#   total CPU time (s): 2520.71
#   total CPU user time (s): 2519.12
#   total CPU system time (s): 1.59615

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.19802 second user time and 7.86984 second system time

The end

Launcher Data 

Begin job on node140 at 2019-09-17 07:59:51
IDJOB=4399351
IDBENCH=141204
IDSOLVER=2853
FILE ID=node140/4399351-1568700031
RUNJOBID= node140-1568698246-23583
PBS_JOBID= 21703811
Free space on /tmp= 58088 MiB

SOLVER NAME= choco-solver 2019-09-16
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-4399351-1568700031/watcher-4399351-1568700031 -o /tmp/evaluation-result-4399351-1568700031/solver-4399351-1568700031 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568698246-23583 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 322960200 HOME/instance-4399351-1568700031.xml

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

MD5SUM BENCH= d0ab6aee5f30ff70d66f863e0e3556a1
RANDOM SEED=322960200

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        27028424 kB
MemAvailable:   31653072 kB
Buffers:          196416 kB
Cached:          4670988 kB
SwapCached:         2596 kB
Active:          1847840 kB
Inactive:        3225472 kB
Active(anon):     201884 kB
Inactive(anon):    53376 kB
Active(file):    1645956 kB
Inactive(file):  3172096 kB
Unevictable:      106828 kB
Mlocked:          106828 kB
SwapTotal:      67108860 kB
SwapFree:       66999436 kB
Dirty:             26060 kB
Writeback:             0 kB
AnonPages:        310864 kB
Mapped:            61584 kB
Shmem:             40584 kB
Slab:             264912 kB
SReclaimable:     235056 kB
SUnreclaim:        29856 kB
KernelStack:        3776 kB
PageTables:         6404 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1398684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    212992 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 58064 MiB
End job on node140 at 2019-09-17 08:10:58