Trace number 4297932

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 4.0.7b par (e747e1e)SAT (TO)18292617 7814.41 2520.17

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-test01-0150_c18.xml
MD5SUMdeef1e755c9079fc369bbf159731f616
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark18292617
Best CPU time to get the best result obtained on this benchmark7814.41
Satisfiable
(Un)Satisfiability was proved
Number of variables2328
Number of constraints1459
Number of domains42
Minimum domain size2
Maximum domain size151
Distribution of domain sizes[{"size":2,"count":826},{"size":11,"count":676},{"size":12,"count":1},{"size":21,"count":68},{"size":57,"count":16},{"size":61,"count":10},{"size":67,"count":17},{"size":69,"count":10},{"size":77,"count":22},{"size":79,"count":2},{"size":81,"count":11},{"size":84,"count":3},{"size":99,"count":10},{"size":102,"count":17},{"size":104,"count":3},{"size":106,"count":17},{"size":114,"count":2},{"size":116,"count":14},{"size":117,"count":77},{"size":121,"count":12},{"size":125,"count":11},{"size":128,"count":8},{"size":129,"count":4},{"size":131,"count":118},{"size":133,"count":17},{"size":136,"count":68},{"size":138,"count":7},{"size":139,"count":11},{"size":141,"count":78},{"size":143,"count":11},{"size":144,"count":5},{"size":146,"count":98},{"size":148,"count":12},{"size":151,"count":66}]
Minimum variable degree2
Maximum variable degree677
Distribution of variable degrees[{"degree":2,"count":2027},{"degree":3,"count":2},{"degree":4,"count":7},{"degree":5,"count":12},{"degree":6,"count":22},{"degree":7,"count":33},{"degree":8,"count":30},{"degree":9,"count":30},{"degree":10,"count":30},{"degree":11,"count":34},{"degree":12,"count":37},{"degree":13,"count":48},{"degree":14,"count":15},{"degree":677,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":108},{"arity":3,"count":675},{"arity":6,"count":676}]
Number of extensional constraints676
Number of intensional constraints783
Distribution of constraint types[{"type":"extension","count":676},{"type":"intension","count":783}]
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 -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297932-1532712459.xml"  -tl '20160s' -p 8
0.11/0.18	c Choco e747e1e
0.11/0.18	c [HOME/instance-4297932-1532712459.xml, -tl, 20160s, -p, 8]
0.32/0.22	c 8 solvers in parallel
0.32/0.28	c parse instance...
121.19/52.44	c solve instance...
134.01/54.14	o 51852154 
137.15/55.03	o 51852153 
138.36/55.29	o 51852152 
138.80/55.49	o 51852150 
248.71/164.48	o 51852149 
270.24/167.49	o 51852148 
270.24/167.49	o 51838630 
270.38/167.51	o 51838629 
270.38/167.51	o 51838628 
270.38/167.52	o 51838626 
270.63/167.71	o 51838625 
270.75/167.86	o 51838624 
270.98/168.05	o 51838623 
271.20/168.25	o 51838622 
271.42/168.44	o 51838621 
271.66/168.62	o 51825103 
271.66/168.63	o 51825102 
271.66/168.63	o 51825101 
271.66/168.64	o 51825099 
271.93/168.84	o 51825098 
272.15/169.03	o 51825097 
272.15/169.04	o 51818341 
272.15/169.05	o 51818340 
272.15/169.06	o 51818339 
272.36/169.11	o 51818337 
272.36/169.12	o 51818336 
272.36/169.13	o 51818335 
272.36/169.13	o 51818329 
272.36/169.16	o 51818328 
272.36/169.16	o 51818327 
272.36/169.17	o 51818325 
272.36/169.17	o 51818324 
272.36/169.18	o 51818323 
272.36/169.18	o 51811579 
272.36/169.19	o 51811578 
272.36/169.19	o 51811577 
272.63/169.21	o 51811575 
272.80/169.36	o 51811574 
272.80/169.37	o 51811573 
272.80/169.38	o 51811567 
272.80/169.39	o 51811566 
273.01/169.40	o 51811565 
273.12/169.53	o 51811563 
273.33/169.74	o 51811562 
273.33/169.75	o 51811561 
273.33/169.75	o 51804808 
273.33/169.76	o 51804807 
273.33/169.77	o 51804806 
273.33/169.78	o 51804804 
273.33/169.78	o 51804803 
273.33/169.78	o 51804802 
273.33/169.79	o 51804796 
273.33/169.79	o 51804795 
273.58/169.80	o 51804794 
273.58/169.80	o 51804792 
273.58/169.81	o 51804791 
273.58/169.81	o 51804790 
273.58/169.82	o 51798046 
273.73/170.00	o 51798045 
274.04/170.21	o 51798044 
274.25/170.40	o 51798042 
274.25/170.41	o 51798041 
274.25/170.42	o 51798040 
274.25/170.43	o 51798034 
274.49/170.63	o 51798033 
274.49/170.63	o 51798032 
274.49/170.64	o 51798030 
274.49/170.65	o 51798029 
274.73/170.87	o 51798028 
274.95/171.07	o 51791289 
274.95/171.08	o 51791288 
274.95/171.09	o 51791285 
274.95/171.09	o 51791284 
275.30/171.32	o 51791277 
275.30/171.32	o 51791276 
275.30/171.33	o 51791273 
275.53/171.52	o 51791272 
275.74/171.71	o 51784518 
275.95/171.90	o 51784517 
276.07/172.10	o 51784514 
276.19/172.12	o 51784513 
276.19/172.13	o 51784506 
276.19/172.14	o 51784505 
276.19/172.15	o 51784504 
276.19/172.17	o 51784502 
276.62/172.36	o 51784501 
276.83/172.59	o 51777756 
277.05/172.79	o 51777755 
277.16/172.80	o 51777750 
277.38/173.02	o 51777744 
277.59/173.20	o 51777743 
277.90/173.52	o 51777740 
277.90/173.53	o 51777739 
278.12/173.74	o 51770986 
278.34/173.92	o 51770985 
278.46/174.10	o 51770984 
278.77/174.30	o 51770982 
278.77/174.31	o 51770981 
278.99/174.50	o 51770980 
279.25/174.70	o 51770974 
279.25/174.71	o 51770973 
279.48/174.93	o 51770972 
280.45/175.86	o 51770970 
280.70/176.01	o 51770969 
389.92/285.05	o 51770968 
390.24/285.38	o 51764224 
390.55/285.60	o 51764223 
390.77/285.82	o 51764222 
390.99/286.02	o 51764220 
391.19/286.22	o 51764219 
391.41/286.43	o 51764218 
391.41/286.44	o 51764212 
391.65/286.65	o 51764211 
391.87/286.85	o 51764210 
392.11/287.07	o 51764208 
392.41/287.33	o 51764207 
392.63/287.53	o 51764206 
392.84/287.73	o 51757467 
393.06/287.95	o 51757466 
393.35/288.20	o 51757463 
393.55/288.40	o 51757462 
393.66/288.43	o 51757455 
393.97/288.62	o 51757454 
394.18/288.84	o 51757451 
394.18/288.85	o 51757450 
394.42/289.03	o 51750696 
394.63/289.25	o 51750695 
394.63/289.26	o 51750692 
394.63/289.28	o 51750691 
394.63/289.28	o 51750684 
394.90/289.49	o 51750683 
395.11/289.68	o 51750680 
395.32/289.85	o 51750679 
395.32/289.86	o 51743934 
395.58/290.03	o 51743933 
395.90/290.21	o 51743930 
396.01/290.39	o 51743929 
396.22/290.58	o 51743922 
396.44/290.76	o 51743921 
396.44/290.77	o 51743918 
396.68/290.96	o 51743917 
396.91/291.16	o 51737173 
397.11/291.34	o 51737172 
397.42/291.61	o 51737171 
397.42/291.62	o 51737169 
397.66/291.81	o 51737168 
397.88/292.01	o 51737167 
397.88/292.02	o 51737166 
398.10/292.22	o 51737161 
398.32/292.41	o 51737160 
398.51/292.60	o 51737159 
398.97/292.95	o 51737157 
398.97/292.97	o 51737156 
399.26/293.16	o 51737155 
399.47/293.35	o 51730416 
399.47/293.36	o 51730415 
400.02/293.72	o 51730412 
400.24/293.98	o 51730411 
400.46/294.18	o 51730404 
400.46/294.19	o 51730403 
400.57/294.22	o 51730400 
400.57/294.23	o 51730399 
400.81/294.43	o 51730396 
401.03/294.61	o 51723645 
401.14/294.76	o 51723644 
401.35/294.97	o 51723641 
401.47/295.10	o 51723640 
401.67/295.28	o 51723633 
401.88/295.46	o 51723632 
401.88/295.47	o 51723629 
402.17/295.66	o 51716892 
402.17/295.67	o 51716883 
402.17/295.68	o 51716882 
402.40/295.87	o 51716879 
402.67/296.07	o 51716875 
402.67/296.08	o 51716871 
402.98/296.31	o 51716870 
403.19/296.51	o 51716867 
403.19/296.52	o 51716866 
403.42/296.71	o 51716865 
403.42/296.71	o 51716864 
403.42/296.72	o 51710129 
403.76/296.90	o 51710125 
403.76/296.92	o 51710117 
403.76/296.93	o 51710113 
403.91/297.10	o 51710112 
404.02/297.11	o 51710111 
404.23/297.29	o 51710110 
404.36/297.31	o 51710105 
404.54/297.49	o 51710104 
404.75/297.66	o 51710101 
405.16/297.85	o 51710100 
405.53/298.05	o 51703353 
405.74/298.22	o 51703352 
405.74/298.23	o 51703349 
405.96/298.41	o 51703348 
405.96/298.41	o 51703343 
406.07/298.59	o 51703342 
406.19/298.60	o 51703339 
406.19/298.61	o 51703338 
406.19/298.61	o 51703337 
406.19/298.62	o 51703336 
406.19/298.63	o 51696599 
406.45/298.80	o 51696595 
406.57/298.97	o 51696589 
406.57/298.97	o 51696585 
406.57/298.98	o 51696584 
406.83/299.15	o 51696583 
406.83/299.15	o 51696581 
407.04/299.36	o 51696580 
407.04/299.37	o 51696577 
407.27/299.56	o 51696576 
407.49/299.73	o 51696575 
407.70/299.91	o 51696574 
407.83/300.08	o 51689837 
408.02/300.27	o 51689833 
408.23/300.45	o 51689827 
408.43/300.63	o 51689823 
408.65/300.80	o 51689822 
408.77/300.98	o 51689821 
409.00/301.16	o 51689796 
409.93/302.05	o 51683071 
410.14/302.21	o 51683067 
410.14/302.21	o 51683061 
527.51/419.22	o 51683057 
527.76/419.40	o 51683056 
527.98/419.61	o 51683055 
527.98/419.62	o 51683053 
528.14/419.78	o 51683052 
528.26/419.80	o 51683051 
528.50/420.02	o 51683050 
528.70/420.24	o 51683049 
529.01/420.44	o 51683048 
529.13/420.59	o 51683046 
529.35/420.79	o 51683045 
529.46/420.80	o 51683042 
529.46/420.80	o 51683041 
529.46/420.81	o 51683040 
529.62/420.99	o 51683039 
529.84/421.15	o 51676302 
529.84/421.16	o 51676298 
529.96/421.27	o 51676292 
529.96/421.28	o 51676288 
530.21/421.48	o 51676287 
530.44/421.68	o 51676286 
530.69/421.85	o 51676284 
530.93/422.07	o 51676283 
530.93/422.07	o 51676282 
530.93/422.08	o 51676280 
531.16/422.27	o 51676279 
531.39/422.47	o 51676276 
531.39/422.48	o 51676275 
531.61/422.63	o 51676274 
531.61/422.63	o 51676273 
531.61/422.64	o 51676272 
531.85/422.80	o 51676271 
531.85/422.82	o 51676270 
531.99/422.98	o 51676269 
531.99/422.99	o 51669536 
532.22/423.14	o 51669532 
532.44/423.31	o 51669526 
532.55/423.48	o 51669522 
533.07/423.99	o 51669521 
533.49/424.16	o 51669520 
533.49/424.17	o 51669518 
533.76/424.39	o 51669517 
533.99/424.51	o 51669516 
534.22/424.70	o 51669515 
534.46/424.90	o 51669514 
534.61/425.05	o 51669512 
534.82/425.21	o 51669511 
534.95/425.37	o 51669510 
535.18/425.52	o 51669509 
535.29/425.68	o 51669508 
535.50/425.87	o 51669507 
535.73/426.03	o 51669506 
535.99/426.23	o 51669504 
536.21/426.42	o 51669503 
536.33/426.56	o 51669500 
536.33/426.57	o 51669499 
536.55/426.76	o 51669498 
536.78/426.95	o 51669497 
537.15/427.15	o 51662760 
537.15/427.15	o 51662756 
537.39/427.34	o 51662750 
537.50/427.49	o 51662746 
537.50/427.50	o 51662745 
537.62/427.51	o 51662744 
537.75/427.66	o 51662738 
538.89/428.77	o 51662737 
539.10/428.98	o 51662734 
539.33/429.20	o 51662733 
661.55/551.24	o 51662732 
661.78/551.45	o 51662731 
662.01/551.63	o 51662730 
662.01/551.64	o 51662729 
662.23/551.80	o 51662728 
662.23/551.81	o 51662727 
662.23/551.83	o 51655994 
662.47/551.99	o 51655990 
662.47/552.00	o 51655984 
662.76/552.17	o 51655980 
662.76/552.18	o 51655979 
662.76/552.18	o 51655978 
663.06/552.37	o 51655976 
663.27/552.54	o 51655975 
663.27/552.55	o 51655974 
663.50/552.71	o 51655973 
663.50/552.72	o 51655972 
663.50/552.73	o 51655970 
663.50/552.74	o 51655969 
663.77/552.90	o 51655968 
663.77/552.91	o 51649233 
664.00/553.07	o 51649229 
664.21/553.24	o 51649223 
664.54/553.41	o 51649219 
664.54/553.43	o 51649218 
664.54/553.44	o 51649217 
664.54/553.45	o 51649215 
664.80/553.60	o 51649214 
664.93/553.75	o 51649213 
664.93/553.76	o 51649212 
664.93/553.77	o 51649211 
665.27/554.08	o 51649209 
665.51/554.23	o 51649208 
665.51/554.23	o 51649207 
665.71/554.39	o 51649206 
665.84/554.40	o 51649205 
665.84/554.41	o 51649204 
665.97/554.58	o 51649203 
666.18/554.73	o 51649202 
666.18/554.74	o 51649201 
666.18/554.75	o 51649200 
666.43/554.91	o 51649199 
666.54/555.06	o 51649198 
666.54/555.07	o 51649197 
666.77/555.22	o 51649196 
666.77/555.23	o 51649195 
667.01/555.45	o 51649194 
667.24/555.62	o 51649191 
668.30/556.59	o 51642468 
668.62/556.74	o 51642464 
792.58/680.47	o 51642458 
792.83/680.63	o 51642454 
792.83/680.64	o 51642453 
793.05/680.81	o 51642452 
793.17/680.97	o 51642450 
793.40/681.14	o 51642449 
793.51/681.29	o 51642448 
793.74/681.40	o 51642447 
793.74/681.46	o 51642446 
794.11/681.61	o 51642444 
794.22/681.78	o 51642443 
794.43/681.93	o 51642442 
794.43/681.94	o 51642441 
794.43/681.95	o 51642440 
795.56/682.84	o 51642438 
795.66/682.98	o 51642437 
795.90/683.13	o 51642436 
796.00/683.28	o 51642435 
921.38/808.34	o 51642434 
921.61/808.51	o 51642433 
921.74/808.63	o 51642432 
921.74/808.64	o 51642431 
921.74/808.65	o 51642430 
921.97/808.81	o 51642429 
922.08/808.98	o 51642428 
922.38/809.13	o 51642427 
922.38/809.14	o 51642426 
922.38/809.15	o 51642425 
922.61/809.31	o 51642424 
923.89/810.42	o 51635698 
924.01/810.57	o 51635694 
924.23/810.73	o 51635688 
924.34/810.89	o 51635684 
924.56/811.05	o 51635664 
926.05/812.38	o 51635663 
1052.17/938.20	o 51635662 
1052.56/938.43	o 51635660 
1052.68/938.59	o 51635659 
1052.99/938.84	o 51635658 
1052.99/938.85	o 51635657 
1052.99/938.86	o 51635656 
1053.30/939.01	o 51635655 
1053.30/939.02	o 51635654 
1053.30/939.03	o 51635653 
1053.45/939.20	o 51635652 
1053.54/939.23	o 51628919 
1053.54/939.24	o 51628915 
1053.54/939.25	o 51628909 
1053.80/939.39	o 51628905 
1054.01/939.53	o 51628904 
1054.13/939.69	o 51628903 
1054.13/939.70	o 51628901 
1054.36/939.88	o 51628900 
1054.59/940.05	o 51628899 
1054.80/940.22	o 51628898 
1054.92/940.39	o 51628897 
1054.92/940.40	o 51628895 
1055.15/940.53	o 51628894 
1055.15/940.54	o 51628893 
1055.15/940.55	o 51628892 
1055.30/940.69	o 51628888 
1056.87/941.82	o 51628887 
1182.59/1067.32	o 51628886 
1183.02/1067.50	o 51628885 
1183.15/1067.66	o 51628884 
1183.15/1067.66	o 51628883 
1183.37/1067.81	o 51628882 
1183.37/1067.82	o 51628881 
1183.37/1067.83	o 51628880 
1183.37/1067.83	o 51628879 
1183.52/1067.99	o 51628878 
1183.87/1068.14	o 51622170 
1185.02/1069.26	o 51622152 
1312.82/1196.94	o 51622148 
1313.05/1197.12	o 51622142 
1313.50/1197.31	o 51622138 
1313.62/1197.45	o 51622137 
1313.78/1197.57	o 51622136 
1313.99/1197.74	o 51622134 
1313.99/1197.75	o 51622133 
1314.21/1197.91	o 51622132 
1314.21/1197.94	o 51622131 
1314.34/1198.08	o 51622130 
1314.34/1198.08	o 51622128 
1314.34/1198.09	o 51622127 
1314.57/1198.21	o 51622126 
1314.57/1198.22	o 51622125 
1314.91/1198.38	o 51622124 
1314.91/1198.39	o 51622123 
1315.35/1198.55	o 51615400 
1317.02/1199.60	o 50329142 
1447.79/1329.99	o 50329139 
1447.93/1330.04	o 50329137 
1448.83/1330.56	o 50329135 
1584.30/1465.82	o 50329134 
1903.27/1605.64	o 50315405 
1904.64/1606.20	o 50315404 
3563.45/1895.92	o 50315060 
3566.46/1896.38	o 50315058 
3995.15/2039.26	o 22862427 
3996.80/2039.69	o 22862426 
4002.61/2040.76	o 22862425 
4025.75/2043.75	o 22855669 
4027.50/2044.22	o 22855668 
4148.86/2059.53	o 18299377 
4151.93/2060.08	o 18299376 
4252.34/2072.87	o 18292634 
4559.21/2111.40	o 18292625 
4560.52/2111.81	o 18292624 
4637.60/2121.63	o 18292623 
4777.10/2139.28	o 18292617 
7813.56/2520.09	s SATISFIABLE
7813.56/2520.09	v <instantiation>
7813.56/2520.09	v 	<list>f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] </list>
7813.56/2520.09	v 	<values>2620 2712 2512 2308 2516 2632 2148 2432 2700 2620 2496 2604 2140 2600 2160 2220 2600 2656 2132 2660 2696 2696 2376 2692 2268 2184 2600 2180 2656 2632 2140 2624 2660 2656 2716 2504 2188 2180 2556 2180 2484 2588 2648 2220 2188 2220 2496 2188 2640 2444 2688 2416 2700 2592 2296 2672 2688 2180 2336 2172 2548 2620 2672 2388 2660 2584 2228 2660 2120 2268 2656 2700 2696 2632 2700 2180 2384 2204 2696 2180 2408 2620 2188 2164 2484 2556 2180 2536 2636 2460 2660 2544 2656 2592 2500 2572 2640 2140 2424 2368 2220 2644 2604 2708 2456 2660 2412 2348 2620 2644 2696 2220 2560 2692 2140 2596 2304 2620 2652 2228 2148 2532 2648 2660 2180 2676 2220 2652 2660 2652 2644 2180 2444 2660 2148 2668 2160 2684 2620 2452 2120 2224 2392 2660 2180 2472 2692 2344 2596 2660 0 0 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 1 0 1 1 0 1 0 0 0 0 1 1 0 0 1 0 1 0 0 0 1 1 0 1 1 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 0 0 1 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 2 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 3 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 80 76 68 232 80 84 120 216 580 20 528 112 72 532 40 256 300 592 240 148 204 124 332 148 208 168 128 352 128 84 296 220 156 120 136 80 144 452 148 16 412 136 48 452 444 176 72 356 40 72 32 236 444 548 544 32 76 196 64 172 272 192 228 64 136 252 264 228 40 100 216 256 520 364 216 480 480 48 32 16 136 392 352 76 440 440 40 24 472 64 148 276 364 312 108 332 36 128 192 156 52 52 84 16 56 48 192 48 236 416 560 548 32 560 556 244 556 268 496 544 332 56 60 60 28 540 296 532 64 48 80 372 48 480 40 384 440 40 100 96 420 116 412 56 100 60 52 476 516 352 56 136 96 16 320 156 456 508 108 24 160 76 164 44 76 516 360 308 492 288 76 532 36 76 52 36 536 324 216 208 84 168 280 196 284 196 308 96 136 100 72 148 236 72 88 48 392 352 448 408 448 300 512 412 36 460 508 420 44 420 36 380 156 68 20 208 92 444 88 412 40 188 32 416 32 152 36 120 308 44 84 28 68 452 428 12 220 20 188 484 416 48 560 64 480 516 360 432 552 504 444 404 48 396 76 24 504 68 324 24 40 152 24 64 156 232 8 12 28 528 488 56 576 304 576 72 536 596 184 184 116 148 356 432 512 256 376 508 464 528 232 380 40 468 464 384 64 168 72 92 104 40 460 528 464 40 32 480 472 480 204 64 304 156 264 208 176 176 136 400 408 196 116 444 88 20 488 36 424 32 440 412 476 188 400 40 476 400 440 396 508 508 448 404 488 468 48 188 324 148 400 440 252 128 152 316 196 500 8 472 80 8 460 480 28 92 32 492 44 264 224 116 216 216 272 516 460 8 304 204 48 28 236 244 212 68 244 244 536 216 560 40 364 108 388 64 168 412 376 364 92 128 364 284 88 484 492 76 68 304 68 204 264 68 548 92 92 520 304 440 440 360 296 156 284 284 312 324 324 328 196 240 84 152 164 24 56 112 408 112 76 76 400 40 216 452 328 120 200 264 240 280 64 520 48 100 540 436 464 72 380 424 100 404 64 392 204 16 128 512 316 288 540 532 332 60 224 156 48 392 120 424 36 428 508 520 496 80 76 48 36 224 284 484 28 472 316 396 204 460 416 164 160 276 244 332 464 508 556 44 548 424 40 480 236 252 152 188 64 76 48 24 56 168 40 368 432 472 476 496 456 64 288 496 160 120 28 72 264 36 416 376 104 460 440 480 76 112 124 108 24 332 16 24 456 456 412 24 196 160 312 280 440 36 356 216 8 540 164 100 152 52 372 432 200 60 32 160 168 136 88 124 216 272 52 20 284 228 556 508 20 480 40 204 76 244 268 228 284 188 488 432 424 448 100 464 464 148 464 424 148 560 256 588 188 240 316 296 208 292 248 296 168 460 24 464 32 476 548 36 440 464 124 28 380 412 400 100 160 204 52 204 356 340 316 176 64 108 304 512 28 52 8 60 496 16 464 472 16 208 268 308 56 24 216 248 152 512 544 64 564 148 120 480 96 </values>
7813.56/2520.09	v </instantiation>
7813.56/2520.09	c Unexpected resolution interruption!

Verifier Data 

OK	18292617

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297932-1532712459/watcher-4297932-1532712459 -o /tmp/evaluation-result-4297932-1532712459/solver-4297932-1532712459 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1532704894-21363 --watchdog 2580 HOME/xcsp3-exec -seed 515769709 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297932-1532712459.xml 

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

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


[startup+0.104951 s]*
/proc/loadavg: 8.28 8.28 8.23 2/199 30129
/proc/meminfo: memFree=28285728/32770624 swapFree=67108860/67108860
[pid=30108] ppid=30105 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30108/stat : 30108 (xcsp3-exec) S 30105 30108 21336 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88809117 115843072 363 33554432000 4194304 5098028 140731920972800 140731920970904 140526049362556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39469056 140731920974902 140731920975104 140731920975104 140731920977866 0
/proc/30108/statm: 28282 363 306 221 0 87 0
[pid=30110] ppid=30108 vsize=26104152 memory=26932 CPUtime=0.11 cores=0-7
/proc/30110/stat : 30110 (java) S 30108 30108 21336 0 -1 1077944320 5675 0 0 0 10 1 0 0 20 0 20 0 88809118 26730651648 6733 33554432000 4194304 4196468 140722588835424 140722588817968 140668106624759 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
/proc/30110/statm: 6526038 6733 2996 1 0 6488315 0
[pid=30110/tid=30111] ppid=30108 vsize=26104152 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/30110/task/30111/stat : 30111 (java) R 30108 30108 21336 0 -1 4202560 3668 0 0 0 8 1 0 0 20 0 20 0 88809118 26730651648 6733 33554432000 4194304 4196468 140722588835424 140668110856672 140668106636694 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30112] ppid=30108 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30110/task/30112/stat : 30112 (java) S 30108 30108 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88809119 26730651648 6733 33554432000 4194304 4196468 140722588835424 140668059244944 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30113] ppid=30108 vsize=26104152 memory=139813912835712 CPUtime=0 cores=0-7
/proc/30110/task/30113/stat : 30113 (java) S 30108 30108 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88809119 26730651648 6733 33554432000 4194304 4196468 140722588835424 140668058192144 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30114] ppid=30108 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30110/task/30114/stat : 30114 (java) S 30108 30108 21336 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88809119 26730651648 6733 33554432000 4194304 4196468 140722588835424 140668057139856 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30115] ppid=30108 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30110/task/30115/stat : 30115 (java) S 30108 30108 21336 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88809119 26730651648 6733 33554432000 4194304 4196468 140722588835424 140668056087056 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30116] ppid=30108 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30110/task/30116/stat : 30116 (java) S 30108 30108 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88809119 26730651648 6733 33554432000 4194304 4196468 140722588835424 140668055034768 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30117] ppid=30108 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/30110/task/30117/stat : 30117 (java) S 30108 30108 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88809119 26730651648 6733 33554432000 4194304 4196468 140722588835424 140668053981968 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30118] ppid=30108 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30110/task/30118/stat : 30118 (java) S 30108 30108 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88809119 26730651648 6733 33554432000 4194304 4196468 140722588835424 140668052929680 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30119] ppid=30108 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30110/task/30119/stat : 30119 (java) S 30108 30108 21336 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88809119 26730651648 6733 33554432000 4194304 4196468 140722588835424 140668051876880 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30120] ppid=30108 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30110/task/30120/stat : 30120 (java) S 30108 30108 21336 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88809120 26730651648 6733 33554432000 4194304 4196468 140722588835424 140667233736816 140668106635906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30121] ppid=30108 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30110/task/30121/stat : 30121 (java) S 30108 30108 21336 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88809121 26730651648 6733 33554432000 4194304 4196468 140722588835424 140667232682784 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30122] ppid=30108 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30110/task/30122/stat : 30122 (java) S 30108 30108 21336 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88809121 26730651648 6733 33554432000 4194304 4196468 140722588835424 140667231630448 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30123] ppid=30108 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30110/task/30123/stat : 30123 (java) S 30108 30108 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88809123 26730651648 6733 33554432000 4194304 4196468 140722588835424 140667230578768 140668106643355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30124] ppid=30108 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30110/task/30124/stat : 30124 (java) S 30108 30108 21336 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 20 0 88809123 26730651648 6798 33554432000 4194304 4196468 140722588835424 140667229526640 140668106635906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30125] ppid=30108 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30110/task/30125/stat : 30125 (java) S 30108 30108 21336 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 88809123 26730651648 6798 33554432000 4194304 4196468 140722588835424 140667228473840 140668106635906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30126] ppid=30108 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30110/task/30126/stat : 30126 (java) S 30108 30108 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88809123 26730651648 6798 33554432000 4194304 4196468 140722588835424 140667227421552 140668106635906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30127] ppid=30108 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/30110/task/30127/stat : 30127 (java) R 30108 30108 21336 0 -1 4202560 267 0 0 0 1 0 0 0 20 0 20 0 88809123 26730651648 6798 33554432000 4194304 4196468 140722588835424 140667158260464 140668085114417 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30128] ppid=30108 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30110/task/30128/stat : 30128 (java) S 30108 30108 21336 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88809124 26730651648 6798 33554432000 4194304 4196468 140722588835424 140667157207392 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30129] ppid=30108 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/30110/task/30129/stat : 30129 (java) S 30108 30108 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88809124 26730651648 6798 33554432000 4194304 4196468 140722588835424 140667156154672 140668106635906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28384 KiB

[startup+0.210487 s]*
/proc/loadavg: 8.28 8.28 8.23 3/199 30129
/proc/meminfo: memFree=28273696/32770624 swapFree=67108860/67108860
[pid=30108] ppid=30105 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30108/stat : 30108 (xcsp3-exec) S 30105 30108 21336 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88809117 115843072 363 33554432000 4194304 5098028 140731920972800 140731920970904 140526049362556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39469056 140731920974902 140731920975104 140731920975104 140731920977866 0
/proc/30108/statm: 28282 363 306 221 0 87 0
[pid=30110] ppid=30108 vsize=26104152 memory=39472 CPUtime=0.32 cores=0-7
/proc/30110/stat : 30110 (java) S 30108 30108 21336 0 -1 1077944320 8463 0 0 0 29 3 0 0 20 0 20 0 88809118 26730651648 9868 33554432000 4194304 4196468 140722588835424 140722588817968 140668106624759 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
/proc/30110/statm: 6526038 9868 3176 1 0 6488315 0
[pid=30110/tid=30111] ppid=30108 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/30110/task/30111/stat : 30111 (java) R 30108 30108 21336 0 -1 4202560 5555 0 0 0 17 2 0 0 20 0 20 0 88809118 26730651648 9868 33554432000 4194304 4196468 140722588835424 140668110858704 140668088197953 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30112] ppid=30108 vsize=26104152 memory=339 CPUtime=0 cores=0-7
/proc/30110/task/30112/stat : 30112 (java) S 30108 30108 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88809119 26730651648 9868 33554432000 4194304 4196468 140722588835424 140668059244944 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30113] ppid=30108 vsize=26104152 memory=139813913348851 CPUtime=0 cores=0-7
/proc/30110/task/30113/stat : 30113 (java) S 30108 30108 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88809119 26730651648 9868 33554432000 4194304 4196468 140722588835424 140668058192144 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30114] ppid=30108 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/30110/task/30114/stat : 30114 (java) S 30108 30108 21336 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88809119 26730651648 9868 33554432000 4194304 4196468 140722588835424 140668057139856 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30115] ppid=30108 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30110/task/30115/stat : 30115 (java) S 30108 30108 21336 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88809119 26730651648 9868 33554432000 4194304 4196468 140722588835424 140668056087056 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30116] ppid=30108 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30110/task/30116/stat : 30116 (java) S 30108 30108 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88809119 26730651648 9868 33554432000 4194304 4196468 140722588835424 140668055034768 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30117] ppid=30108 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/30110/task/30117/stat : 30117 (java) S 30108 30108 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88809119 26730651648 9868 33554432000 4194304 4196468 140722588835424 140668053981968 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30118] ppid=30108 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30110/task/30118/stat : 30118 (java) S 30108 30108 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88809119 26730651648 9868 33554432000 4194304 4196468 140722588835424 140668052929680 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30119] ppid=30108 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30110/task/30119/stat : 30119 (java) S 30108 30108 21336 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88809119 26730651648 9868 33554432000 4194304 4196468 140722588835424 140668051876880 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30120] ppid=30108 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30110/task/30120/stat : 30120 (java) S 30108 30108 21336 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88809120 26730651648 9868 33554432000 4194304 4196468 140722588835424 140667233736816 140668106635906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30121] ppid=30108 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30110/task/30121/stat : 30121 (java) S 30108 30108 21336 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88809121 26730651648 9868 33554432000 4194304 4196468 140722588835424 140667232682784 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30122] ppid=30108 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30110/task/30122/stat : 30122 (java) S 30108 30108 21336 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88809121 26730651648 9868 33554432000 4194304 4196468 140722588835424 140667231630448 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30123] ppid=30108 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30110/task/30123/stat : 30123 (java) S 30108 30108 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88809123 26730651648 9868 33554432000 4194304 4196468 140722588835424 140667230578768 140668106643355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30124] ppid=30108 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7
/proc/30110/task/30124/stat : 30124 (java) R 30108 30108 21336 0 -1 4202560 570 0 0 0 2 0 0 0 20 0 20 0 88809123 26730651648 9868 33554432000 4194304 4196468 140722588835424 140667229526640 140668099609801 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30125] ppid=30108 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/30110/task/30125/stat : 30125 (java) S 30108 30108 21336 0 -1 1077944384 226 0 0 0 1 0 0 0 20 0 20 0 88809123 26730651648 9868 33554432000 4194304 4196468 140722588835424 140667228473840 140668106635906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30126] ppid=30108 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/30110/task/30126/stat : 30126 (java) S 30108 30108 21336 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 88809123 26730651648 9868 33554432000 4194304 4196468 140722588835424 140667227421552 140668106635906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30127] ppid=30108 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7
/proc/30110/task/30127/stat : 30127 (java) R 30108 30108 21336 0 -1 4202560 787 0 0 0 7 0 0 0 20 0 20 0 88809123 26730651648 9868 33554432000 4194304 4196468 140722588835424 140667158260464 140668098861886 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30128] ppid=30108 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30110/task/30128/stat : 30128 (java) S 30108 30108 21336 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88809124 26730651648 9868 33554432000 4194304 4196468 140722588835424 140667157207392 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30129] ppid=30108 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/30110/task/30129/stat : 30129 (java) S 30108 30108 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88809124 26730651648 9868 33554432000 4194304 4196468 140722588835424 140667156154672 140668106635906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 40924 KiB

[startup+0.310472 s]*
/proc/loadavg: 8.28 8.28 8.23 5/199 30129
/proc/meminfo: memFree=28267988/32770624 swapFree=67108860/67108860
[pid=30108] ppid=30105 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30108/stat : 30108 (xcsp3-exec) S 30105 30108 21336 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88809117 115843072 363 33554432000 4194304 5098028 140731920972800 140731920970904 140526049362556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39469056 140731920974902 140731920975104 140731920975104 140731920977866 0
/proc/30108/statm: 28282 363 306 221 0 87 0
[pid=30110] ppid=30108 vsize=26108408 memory=46396 CPUtime=0.49 cores=0-7
/proc/30110/stat : 30110 (java) S 30108 30108 21336 0 -1 1077944320 9318 0 0 0 45 4 0 0 20 0 20 0 88809118 26735009792 11586 33554432000 4194304 4196468 140722588835424 140722588817968 140668106624759 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
/proc/30110/statm: 6527102 11599 3255 1 0 6488315 0
[pid=30110/tid=30111] ppid=30108 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/30110/task/30111/stat : 30111 (java) R 30108 30108 21336 0 -1 4202560 6251 0 0 0 26 3 0 0 20 0 20 0 88809118 26735009792 11599 33554432000 4194304 4196468 140722588835424 140668110858544 140668090705246 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30112] ppid=30108 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/30110/task/30112/stat : 30112 (java) S 30108 30108 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88809119 26735009792 11599 33554432000 4194304 4196468 140722588835424 140668059244944 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30113] ppid=30108 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/30110/task/30113/stat : 30113 (java) S 30108 30108 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88809119 26735009792 11599 33554432000 4194304 4196468 140722588835424 140668058192144 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30114] ppid=30108 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/30110/task/30114/stat : 30114 (java) S 30108 30108 21336 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88809119 26735009792 11599 33554432000 4194304 4196468 140722588835424 140668057139856 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30115] ppid=30108 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/30110/task/30115/stat : 30115 (java) S 30108 30108 21336 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88809119 26735009792 11599 33554432000 4194304 4196468 140722588835424 140668056087056 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30116] ppid=30108 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/30110/task/30116/stat : 30116 (java) S 30108 30108 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88809119 26735009792 11599 33554432000 4194304 4196468 140722588835424 140668055034768 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30117] ppid=30108 vsize=26108408 memory=139813802046383 CPUtime=0 cores=0-7
/proc/30110/task/30117/stat : 30117 (java) S 30108 30108 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88809119 26735009792 11599 33554432000 4194304 4196468 140722588835424 140668053981968 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30118] ppid=30108 vsize=26108408 memory=139813802048688 CPUtime=0 cores=0-7
/proc/30110/task/30118/stat : 30118 (java) S 30108 30108 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88809119 26735009792 11599 33554432000 4194304 4196468 140722588835424 140668052929680 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30119] ppid=30108 vsize=26108408 memory=139813802050992 CPUtime=0 cores=0-7
/proc/30110/task/30119/stat : 30119 (java) S 30108 30108 21336 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88809119 26735009792 11599 33554432000 4194304 4196468 140722588835424 140668051876880 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30120] ppid=30108 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/30110/task/30120/stat : 30120 (java) S 30108 30108 21336 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88809120 26735009792 11599 33554432000 4194304 4196468 140722588835424 140667233736816 140668106635906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30121] ppid=30108 vsize=26108408 memory=279627604108944 CPUtime=0 cores=0-7
/proc/30110/task/30121/stat : 30121 (java) S 30108 30108 21336 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88809121 26735009792 11599 33554432000 4194304 4196468 140722588835424 140667232682784 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30122] ppid=30108 vsize=26108408 memory=279627604115856 CPUtime=0 cores=0-7
/proc/30110/task/30122/stat : 30122 (java) S 30108 30108 21336 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88809121 26735009792 11599 33554432000 4194304 4196468 140722588835424 140667231630448 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30123] ppid=30108 vsize=26108408 memory=279627604057136 CPUtime=0 cores=0-7
/proc/30110/task/30123/stat : 30123 (java) S 30108 30108 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88809123 26735009792 11599 33554432000 4194304 4196468 140722588835424 140667230578768 140668106643355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30124] ppid=30108 vsize=26108408 memory=279627604129680 CPUtime=0.04 cores=0-7
/proc/30110/task/30124/stat : 30124 (java) R 30108 30108 21336 0 -1 4202560 650 0 0 0 4 0 0 0 20 0 20 0 88809123 26735009792 11599 33554432000 4194304 4196468 140722588835424 140667229517024 140668085870602 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30125] ppid=30108 vsize=26108408 memory=279627604136592 CPUtime=0.02 cores=0-7
/proc/30110/task/30125/stat : 30125 (java) S 30108 30108 21336 0 -1 1077944384 234 0 0 0 2 0 0 0 20 0 20 0 88809123 26735009792 11599 33554432000 4194304 4196468 140722588835424 140667228473840 140668106635906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30126] ppid=30108 vsize=26108408 memory=279627604134288 CPUtime=0 cores=0-7
/proc/30110/task/30126/stat : 30126 (java) S 30108 30108 21336 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 88809123 26735009792 11599 33554432000 4194304 4196468 140722588835424 140667227421552 140668106635906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30127] ppid=30108 vsize=26108408 memory=279627604150448 CPUtime=0.12 cores=0-7
/proc/30110/task/30127/stat : 30127 (java) S 30108 30108 21336 0 -1 1077944384 855 0 0 0 12 0 0 0 20 0 20 0 88809123 26735009792 11599 33554432000 4194304 4196468 140722588835424 140667158260464 140668106635906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30128] ppid=30108 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/30110/task/30128/stat : 30128 (java) S 30108 30108 21336 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88809124 26735009792 11599 33554432000 4194304 4196468 140722588835424 140667157207392 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30129] ppid=30108 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/30110/task/30129/stat : 30129 (java) S 30108 30108 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88809124 26735009792 11599 33554432000 4194304 4196468 140722588835424 140667156154672 140668106635906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 47848 KiB

[startup+0.71197 s]
/proc/loadavg: 8.28 8.28 8.23 3/199 30129
/proc/meminfo: memFree=28162584/32770624 swapFree=67108860/67108860
[pid=30108] ppid=30105 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30108/stat : 30108 (xcsp3-exec) S 30105 30108 21336 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88809117 115843072 363 33554432000 4194304 5098028 140731920972800 140731920970904 140526049362556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39469056 140731920974902 140731920975104 140731920975104 140731920977866 0
/proc/30108/statm: 28282 363 306 221 0 87 0
[pid=30110] ppid=30108 vsize=26110532 memory=208916 CPUtime=1.78 cores=0-7
/proc/30110/stat : 30110 (java) S 30108 30108 21336 0 -1 1077944320 13815 0 0 0 161 17 0 0 20 0 20 0 88809118 26737184768 52229 33554432000 4194304 4196468 140722588835424 140722588817968 140668106624759 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
/proc/30110/statm: 6527633 52229 3339 1 0 6488827 0
[pid=30110/tid=30111] ppid=30108 vsize=26110532 memory=279627604508336 CPUtime=0.66 cores=0-7
/proc/30110/task/30111/stat : 30111 (java) S 30108 30108 21336 0 -1 1077944384 6812 0 0 0 60 6 0 0 20 0 20 0 88809118 26737184768 52229 33554432000 4194304 4196468 140722588835424 140668110861248 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30112] ppid=30108 vsize=26110532 memory=139813802255216 CPUtime=0.01 cores=0-7
/proc/30110/task/30112/stat : 30112 (java) R 30108 30108 21336 0 -1 4202560 12 0 0 0 0 1 0 0 20 0 20 0 88809119 26737184768 52229 33554432000 4194304 4196468 140722588835424 140668059245144 140668099727476 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30113] ppid=30108 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/30110/task/30113/stat : 30113 (java) R 30108 30108 21336 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 88809119 26737184768 52229 33554432000 4194304 4196468 140722588835424 140668058192144 140668099724459 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30114] ppid=30108 vsize=26110532 memory=8496 CPUtime=0 cores=0-7
/proc/30110/task/30114/stat : 30114 (java) R 30108 30108 21336 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 20 0 88809119 26737184768 52229 33554432000 4194304 4196468 140722588835424 140668057139856 140668099727476 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0

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

/proc/meminfo: memFree=16047708/32770624 swapFree=67108860/67108860
[pid=30108] ppid=30105 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30108/stat : 30108 (xcsp3-exec) S 30105 30108 21336 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88809117 115843072 363 33554432000 4194304 5098028 140731920972800 140731920970904 140526049362556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39469056 140731920974902 140731920975104 140731920975104 140731920977866 0
/proc/30108/statm: 28282 363 306 221 0 87 0
[pid=30110] ppid=30108 vsize=26711656 memory=12241224 CPUtime=7672.28 cores=0-7
/proc/30110/stat : 30110 (java) S 30108 30108 21336 0 -1 1077944320 1138113 0 0 0 764795 2433 0 0 20 0 28 0 88809118 27352735744 3060306 33554432000 4194304 4196468 140722588835424 140722588817968 140668106624759 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
/proc/30110/statm: 6677914 3060306 3462 1 0 6639108 0
[pid=30110/tid=30111] ppid=30108 vsize=26711656 memory=12241224 CPUtime=43.49 cores=0-7
/proc/30110/task/30111/stat : 30111 (java) S 30108 30108 21336 0 -1 1077944384 31661 0 0 0 4254 95 0 0 20 0 28 0 88809118 27352735744 3060306 33554432000 4194304 4196468 140722588835424 140668110865472 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30112] ppid=30108 vsize=26711656 memory=10862080 CPUtime=13.34 cores=0-7
/proc/30110/task/30112/stat : 30112 (java) S 30108 30108 21336 0 -1 1077944384 62748 0 0 0 1141 193 0 0 20 0 28 0 88809119 27352735744 3060306 33554432000 4194304 4196468 140722588835424 140668059244944 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30113] ppid=30108 vsize=26711656 memory=10533724 CPUtime=13.41 cores=0-7
/proc/30110/task/30113/stat : 30113 (java) S 30108 30108 21336 0 -1 1077944384 58813 0 0 0 1145 196 0 0 20 0 28 0 88809119 27352735744 3060306 33554432000 4194304 4196468 140722588835424 140668058192144 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30114] ppid=30108 vsize=26711656 memory=10533956 CPUtime=13.37 cores=0-7
/proc/30110/task/30114/stat : 30114 (java) S 30108 30108 21336 0 -1 1077944384 68724 0 0 0 1137 200 0 0 20 0 28 0 88809119 27352735744 3060306 33554432000 4194304 4196468 140722588835424 140668057139856 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30115] ppid=30108 vsize=26711656 memory=10862020 CPUtime=13.37 cores=0-7
/proc/30110/task/30115/stat : 30115 (java) S 30108 30108 21336 0 -1 1077944384 56735 0 0 0 1128 209 0 0 20 0 28 0 88809119 27352735744 3060306 33554432000 4194304 4196468 140722588835424 140668056087056 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30116] ppid=30108 vsize=26711656 memory=10862020 CPUtime=13.31 cores=0-7
/proc/30110/task/30116/stat : 30116 (java) S 30108 30108 21336 0 -1 1077944384 53317 0 0 0 1141 190 0 0 20 0 28 0 88809119 27352735744 3060306 33554432000 4194304 4196468 140722588835424 140668055034768 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30117] ppid=30108 vsize=26711656 memory=10862020 CPUtime=13.34 cores=0-7
/proc/30110/task/30117/stat : 30117 (java) S 30108 30108 21336 0 -1 1077944384 41722 0 0 0 1127 207 0 0 20 0 28 0 88809119 27352735744 3060306 33554432000 4194304 4196468 140722588835424 140668053981968 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30118] ppid=30108 vsize=26711656 memory=10862020 CPUtime=13.33 cores=0-7
/proc/30110/task/30118/stat : 30118 (java) S 30108 30108 21336 0 -1 1077944384 50014 0 0 0 1143 190 0 0 20 0 28 0 88809119 27352735744 3060306 33554432000 4194304 4196468 140722588835424 140668052929680 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30119] ppid=30108 vsize=26711656 memory=10862020 CPUtime=13.28 cores=0-7
/proc/30110/task/30119/stat : 30119 (java) S 30108 30108 21336 0 -1 1077944384 104565 0 0 0 1124 204 0 0 20 0 28 0 88809119 27352735744 3060306 33554432000 4194304 4196468 140722588835424 140668051876880 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30120] ppid=30108 vsize=26711656 memory=10862020 CPUtime=0.74 cores=0-7
/proc/30110/task/30120/stat : 30120 (java) S 30108 30108 21336 0 -1 1077944384 36520 0 0 0 63 11 0 0 20 0 28 0 88809120 27352735744 3060306 33554432000 4194304 4196468 140722588835424 140667233736816 140668106635906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30121] ppid=30108 vsize=26711656 memory=10862080 CPUtime=0 cores=0-7
/proc/30110/task/30121/stat : 30121 (java) S 30108 30108 21336 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 88809121 27352735744 3060306 33554432000 4194304 4196468 140722588835424 140667232682848 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30122] ppid=30108 vsize=26711656 memory=10862080 CPUtime=0 cores=0-7
/proc/30110/task/30122/stat : 30122 (java) S 30108 30108 21336 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 28 0 88809121 27352735744 3060306 33554432000 4194304 4196468 140722588835424 140667231630464 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30123] ppid=30108 vsize=26711656 memory=1452 CPUtime=0 cores=0-7
/proc/30110/task/30123/stat : 30123 (java) S 30108 30108 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88809123 27352735744 3060306 33554432000 4194304 4196468 140722588835424 140667230578768 140668106643355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30124] ppid=30108 vsize=26711656 memory=12241224 CPUtime=5.22 cores=0-7
/proc/30110/task/30124/stat : 30124 (java) S 30108 30108 21336 0 -1 1077944384 59276 0 0 0 510 12 0 0 20 0 28 0 88809123 27352735744 3060306 33554432000 4194304 4196468 140722588835424 140667229526640 140668106635906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30125] ppid=30108 vsize=26711656 memory=12241224 CPUtime=4.99 cores=0-7
/proc/30110/task/30125/stat : 30125 (java) S 30108 30108 21336 0 -1 1077944384 44983 0 0 0 491 8 0 0 20 0 28 0 88809123 27352735744 3060306 33554432000 4194304 4196468 140722588835424 140667228473840 140668106635906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30126] ppid=30108 vsize=26711656 memory=12241224 CPUtime=5.21 cores=0-7
/proc/30110/task/30126/stat : 30126 (java) S 30108 30108 21336 0 -1 1077944384 49488 0 0 0 514 7 0 0 20 0 28 0 88809123 27352735744 3060306 33554432000 4194304 4196468 140722588835424 140667227421552 140668106635906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30127] ppid=30108 vsize=26711656 memory=12241224 CPUtime=1.46 cores=0-7
/proc/30110/task/30127/stat : 30127 (java) S 30108 30108 21336 0 -1 1077944384 38481 0 0 0 140 6 0 0 20 0 28 0 88809123 27352735744 3060306 33554432000 4194304 4196468 140722588835424 140667158260464 140668106635906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30128] ppid=30108 vsize=26711656 memory=12241224 CPUtime=0 cores=0-7
/proc/30110/task/30128/stat : 30128 (java) S 30108 30108 21336 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88809124 27352735744 3060306 33554432000 4194304 4196468 140722588835424 140667157207392 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30129] ppid=30108 vsize=26711656 memory=1452 CPUtime=1.13 cores=0-7
/proc/30110/task/30129/stat : 30129 (java) S 30108 30108 21336 0 -1 1077944384 9427 0 0 0 54 59 0 0 20 0 28 0 88809124 27352735744 3060306 33554432000 4194304 4196468 140722588835424 140667156154672 140668106635906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=1428] ppid=30108 vsize=26711656 memory=916 CPUtime=360 cores=0-7
/proc/30110/task/1428/stat : 1428 (java) R 30108 30108 21336 0 -1 4202560 4154 0 0 0 35999 1 0 0 20 0 28 0 89023046 27352735744 3060306 33554432000 4194304 4196468 140722588835424 140667144408232 140667717940970 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=1429] ppid=30108 vsize=26711656 memory=12241224 CPUtime=361.12 cores=0-7
/proc/30110/task/1429/stat : 1429 (java) R 30108 30108 21336 0 -1 4202560 3991 0 0 0 36110 2 0 0 20 0 28 0 89023046 27352735744 3060306 33554432000 4194304 4196468 140722588835424 140667145461992 140667717940879 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=1430] ppid=30108 vsize=26711656 memory=1452 CPUtime=361.22 cores=0-7
/proc/30110/task/1430/stat : 1430 (java) R 30108 30108 21336 0 -1 4202560 3468 0 0 0 36115 7 0 0 20 0 28 0 89023046 27352735744 3060306 33554432000 4194304 4196468 140722588835424 140667143356952 140667717940387 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=1431] ppid=30108 vsize=26711656 memory=12241224 CPUtime=361.09 cores=0-7
/proc/30110/task/1431/stat : 1431 (java) R 30108 30108 21336 0 -1 4202560 11132 0 0 0 36073 36 0 0 20 0 28 0 89023046 27352735744 3060306 33554432000 4194304 4196468 140722588835424 140667141254096 140667721772032 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=1432] ppid=30108 vsize=26711656 memory=1452 CPUtime=361.27 cores=0-7
/proc/30110/task/1432/stat : 1432 (java) R 30108 30108 21336 0 -1 4202560 3423 0 0 0 36123 4 0 0 20 0 28 0 89023046 27352735744 3060306 33554432000 4194304 4196468 140722588835424 140667137041176 140667717939920 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=1433] ppid=30108 vsize=26711656 memory=1452 CPUtime=355.1 cores=0-7
/proc/30110/task/1433/stat : 1433 (java) R 30108 30108 21336 0 -1 4202560 6832 0 0 0 35489 21 0 0 20 0 28 0 89023046 27352735744 3060306 33554432000 4194304 4196468 140722588835424 140667138093376 140667717940720 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=1434] ppid=30108 vsize=26711656 memory=1452 CPUtime=361.19 cores=0-7
/proc/30110/task/1434/stat : 1434 (java) R 30108 30108 21336 0 -1 4202560 5102 0 0 0 36118 1 0 0 20 0 28 0 89023046 27352735744 3060306 33554432000 4194304 4196468 140722588835424 140667140198424 140667717939920 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=1435] ppid=30108 vsize=26711656 memory=1452 CPUtime=361.24 cores=0-7
/proc/30110/task/1435/stat : 1435 (java) R 30108 30108 21336 0 -1 4202560 5756 0 0 0 36122 2 0 0 20 0 28 0 89023046 27352735744 3060306 33554432000 4194304 4196468 140722588835424 140667142303352 140667717940990 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
Current children cumulated CPU time: 7672.28 s
Current children cumulated vsize: 26824784 KiB
Current children cumulated memory: 12242676 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.18 7.21 5.27 9/207 1435
/proc/meminfo: memFree=16048416/32770624 swapFree=67108860/67108860
[pid=30108] ppid=30105 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30108/stat : 30108 (xcsp3-exec) S 30105 30108 21336 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88809117 115843072 363 33554432000 4194304 5098028 140731920972800 140731920970904 140526049362556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39469056 140731920974902 140731920975104 140731920975104 140731920977866 0
/proc/30108/statm: 28282 363 306 221 0 87 0
[pid=30110] ppid=30108 vsize=26711656 memory=12241448 CPUtime=7813.56 cores=0-7
/proc/30110/stat : 30110 (java) S 30108 30108 21336 0 -1 1077944320 1140317 0 0 0 778921 2435 0 0 20 0 28 0 88809118 27352735744 3060362 33554432000 4194304 4196468 140722588835424 140722588817968 140668106624759 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
/proc/30110/statm: 6677914 3060362 3463 1 0 6639108 0
[pid=30110/tid=30111] ppid=30108 vsize=26711656 memory=15708 CPUtime=43.49 cores=0-7
/proc/30110/task/30111/stat : 30111 (java) S 30108 30108 21336 0 -1 1077944384 31661 0 0 0 4254 95 0 0 20 0 28 0 88809118 27352735744 3060362 33554432000 4194304 4196468 140722588835424 140668110865472 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30112] ppid=30108 vsize=26711656 memory=4052 CPUtime=13.34 cores=0-7
/proc/30110/task/30112/stat : 30112 (java) S 30108 30108 21336 0 -1 1077944384 62748 0 0 0 1141 193 0 0 20 0 28 0 88809119 27352735744 3060362 33554432000 4194304 4196468 140722588835424 140668059244944 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30113] ppid=30108 vsize=26711656 memory=6791534058613427641 CPUtime=13.41 cores=0-7
/proc/30110/task/30113/stat : 30113 (java) S 30108 30108 21336 0 -1 1077944384 58813 0 0 0 1145 196 0 0 20 0 28 0 88809119 27352735744 3060362 33554432000 4194304 4196468 140722588835424 140668058192144 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30114] ppid=30108 vsize=26711656 memory=1452 CPUtime=13.37 cores=0-7
/proc/30110/task/30114/stat : 30114 (java) S 30108 30108 21336 0 -1 1077944384 68724 0 0 0 1137 200 0 0 20 0 28 0 88809119 27352735744 3060362 33554432000 4194304 4196468 140722588835424 140668057139856 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30115] ppid=30108 vsize=26711656 memory=6791534058613427641 CPUtime=13.37 cores=0-7
/proc/30110/task/30115/stat : 30115 (java) S 30108 30108 21336 0 -1 1077944384 56735 0 0 0 1128 209 0 0 20 0 28 0 88809119 27352735744 3060362 33554432000 4194304 4196468 140722588835424 140668056087056 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30116] ppid=30108 vsize=26711656 memory=12241448 CPUtime=13.31 cores=0-7
/proc/30110/task/30116/stat : 30116 (java) S 30108 30108 21336 0 -1 1077944384 53317 0 0 0 1141 190 0 0 20 0 28 0 88809119 27352735744 3060362 33554432000 4194304 4196468 140722588835424 140668055034768 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30117] ppid=30108 vsize=26711656 memory=6791534058613427641 CPUtime=13.34 cores=0-7
/proc/30110/task/30117/stat : 30117 (java) S 30108 30108 21336 0 -1 1077944384 41722 0 0 0 1127 207 0 0 20 0 28 0 88809119 27352735744 3060362 33554432000 4194304 4196468 140722588835424 140668053981968 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30118] ppid=30108 vsize=26711656 memory=2244 CPUtime=13.33 cores=0-7
/proc/30110/task/30118/stat : 30118 (java) S 30108 30108 21336 0 -1 1077944384 50014 0 0 0 1143 190 0 0 20 0 28 0 88809119 27352735744 3060362 33554432000 4194304 4196468 140722588835424 140668052929680 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30119] ppid=30108 vsize=26711656 memory=4124 CPUtime=13.28 cores=0-7
/proc/30110/task/30119/stat : 30119 (java) S 30108 30108 21336 0 -1 1077944384 104565 0 0 0 1124 204 0 0 20 0 28 0 88809119 27352735744 3060362 33554432000 4194304 4196468 140722588835424 140668051876880 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30120] ppid=30108 vsize=26711656 memory=1452 CPUtime=0.74 cores=0-7
/proc/30110/task/30120/stat : 30120 (java) S 30108 30108 21336 0 -1 1077944384 36642 0 0 0 63 11 0 0 20 0 28 0 88809120 27352735744 3060362 33554432000 4194304 4196468 140722588835424 140667233736816 140668106635906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30121] ppid=30108 vsize=26711656 memory=12241448 CPUtime=0 cores=0-7
/proc/30110/task/30121/stat : 30121 (java) S 30108 30108 21336 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 88809121 27352735744 3060362 33554432000 4194304 4196468 140722588835424 140667232682848 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30122] ppid=30108 vsize=26711656 memory=1944 CPUtime=0 cores=0-7
/proc/30110/task/30122/stat : 30122 (java) S 30108 30108 21336 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 28 0 88809121 27352735744 3060362 33554432000 4194304 4196468 140722588835424 140667231630464 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30123] ppid=30108 vsize=26711656 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/30110/task/30123/stat : 30123 (java) S 30108 30108 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88809123 27352735744 3060362 33554432000 4194304 4196468 140722588835424 140667230578768 140668106643355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30124] ppid=30108 vsize=26711656 memory=2200 CPUtime=5.22 cores=0-7
/proc/30110/task/30124/stat : 30124 (java) S 30108 30108 21336 0 -1 1077944384 59279 0 0 0 510 12 0 0 20 0 28 0 88809123 27352735744 3060362 33554432000 4194304 4196468 140722588835424 140667229526640 140668106635906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30125] ppid=30108 vsize=26711656 memory=8148 CPUtime=4.99 cores=0-7
/proc/30110/task/30125/stat : 30125 (java) S 30108 30108 21336 0 -1 1077944384 44986 0 0 0 491 8 0 0 20 0 28 0 88809123 27352735744 3060362 33554432000 4194304 4196468 140722588835424 140667228473840 140668106635906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30126] ppid=30108 vsize=26711656 memory=844 CPUtime=5.21 cores=0-7
/proc/30110/task/30126/stat : 30126 (java) S 30108 30108 21336 0 -1 1077944384 49491 0 0 0 514 7 0 0 20 0 28 0 88809123 27352735744 3060362 33554432000 4194304 4196468 140722588835424 140667227421552 140668106635906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30127] ppid=30108 vsize=26711656 memory=1796 CPUtime=1.46 cores=0-7
/proc/30110/task/30127/stat : 30127 (java) S 30108 30108 21336 0 -1 1077944384 38877 0 0 0 140 6 0 0 20 0 28 0 88809123 27352735744 3060362 33554432000 4194304 4196468 140722588835424 140667158260464 140668106635906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30128] ppid=30108 vsize=26711656 memory=916 CPUtime=0 cores=0-7
/proc/30110/task/30128/stat : 30128 (java) S 30108 30108 21336 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88809124 27352735744 3060362 33554432000 4194304 4196468 140722588835424 140667157207392 140668106634965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=30129] ppid=30108 vsize=26711656 memory=4136 CPUtime=1.13 cores=0-7
/proc/30110/task/30129/stat : 30129 (java) S 30108 30108 21336 0 -1 1077944384 9427 0 0 0 54 59 0 0 20 0 28 0 88809124 27352735744 3060362 33554432000 4194304 4196468 140722588835424 140667156154672 140668106635906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=1428] ppid=30108 vsize=26711656 memory=6791534058613427641 CPUtime=377.35 cores=0-7
/proc/30110/task/1428/stat : 1428 (java) R 30108 30108 21336 0 -1 4202560 4258 0 0 0 37734 1 0 0 20 0 28 0 89023046 27352735744 3060362 33554432000 4194304 4196468 140722588835424 140667144408200 140667717940423 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=1429] ppid=30108 vsize=26711656 memory=15708 CPUtime=378.82 cores=0-7
/proc/30110/task/1429/stat : 1429 (java) R 30108 30108 21336 0 -1 4202560 4138 0 0 0 37880 2 0 0 20 0 28 0 89023046 27352735744 3060362 33554432000 4194304 4196468 140722588835424 140667145461912 140667721247574 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=1430] ppid=30108 vsize=26711656 memory=4052 CPUtime=378.93 cores=0-7
/proc/30110/task/1430/stat : 1430 (java) R 30108 30108 21336 0 -1 4202560 3607 0 0 0 37886 7 0 0 20 0 28 0 89023046 27352735744 3060362 33554432000 4194304 4196468 140722588835424 140667143356952 140667717940970 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=1431] ppid=30108 vsize=26711656 memory=18248 CPUtime=378.79 cores=0-7
/proc/30110/task/1431/stat : 1431 (java) R 30108 30108 21336 0 -1 4202560 11612 0 0 0 37841 38 0 0 20 0 28 0 89023046 27352735744 3060362 33554432000 4194304 4196468 140722588835424 140667141251480 140667717941022 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=1432] ppid=30108 vsize=26711656 memory=6791534058613427641 CPUtime=378.98 cores=0-7
/proc/30110/task/1432/stat : 1432 (java) R 30108 30108 21336 0 -1 4202560 3527 0 0 0 37894 4 0 0 20 0 28 0 89023046 27352735744 3060362 33554432000 4194304 4196468 140722588835424 140667137041176 140667717940775 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=1433] ppid=30108 vsize=26711656 memory=12241224 CPUtime=372.8 cores=0-7
/proc/30110/task/1433/stat : 1433 (java) R 30108 30108 21336 0 -1 4202560 7095 0 0 0 37259 21 0 0 20 0 28 0 89023046 27352735744 3060362 33554432000 4194304 4196468 140722588835424 140667138093624 140667717939925 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=1434] ppid=30108 vsize=26711656 memory=4136 CPUtime=378.89 cores=0-7
/proc/30110/task/1434/stat : 1434 (java) R 30108 30108 21336 0 -1 4202560 5367 0 0 0 37888 1 0 0 20 0 28 0 89023046 27352735744 3060362 33554432000 4194304 4196468 140722588835424 140667140200792 140667717940775 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
[pid=30110/tid=1435] ppid=30108 vsize=26711656 memory=1408 CPUtime=378.95 cores=0-7
/proc/30110/task/1435/stat : 1435 (java) R 30108 30108 21336 0 -1 4202560 5931 0 0 0 37893 2 0 0 20 0 28 0 89023046 27352735744 3060362 33554432000 4194304 4196468 140722588835424 140667142303072 140667717940970 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36859904 140722588836993 140722588837165 140722588837165 140722588839887 0
Current children cumulated CPU time: 7813.56 s
Current children cumulated vsize: 26824784 KiB
Current children cumulated memory: 12242900 KiB

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

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

[startup+2520.17 s]
# the end of solver process 30110 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=7790 s, system=24.4077 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+2520.13 s]*
/proc/loadavg: 8.18 7.21 5.27 2/180 1437
/proc/meminfo: memFree=18422416/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.002332 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): 2520.17
CPU time (s): 7814.41
CPU user time (s): 7790
CPU system time (s): 24.4077
CPU usage (%): 310.074
Max. virtual memory (cumulated for all children) (KiB): 26824784
Max. memory (cumulated for all children) (KiB): 12242900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7790
system time used= 24.4077
maximum resident set size= 12241888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1142099
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103297
involuntary context switches= 62816


# summary of solver processes directly reported to runsolver:
#   pid: 30108,30110
#   total CPU time (s): 7814.41
#   total CPU user time (s): 7790
#   total CPU system time (s): 24.4077

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.1138 second user time and 27.144 second system time

The end

Launcher Data 

Begin job on node151 at 2018-07-27 19:27:39
IDJOB=4297932
IDBENCH=141259
IDSOLVER=2760
FILE ID=node151/4297932-1532712459
RUNJOBID= node151-1532704894-21363
PBS_JOBID= 21022308
Free space on /tmp= 54884 MiB

SOLVER NAME= Choco-solver 4.0.7b par (e747e1e)
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-test01-0150_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297932-1532712459/watcher-4297932-1532712459 -o /tmp/evaluation-result-4297932-1532712459/solver-4297932-1532712459 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1532704894-21363 --watchdog 2580  HOME/xcsp3-exec -seed 515769709 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297932-1532712459.xml

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

MD5SUM BENCH= deef1e755c9079fc369bbf159731f616
RANDOM SEED=515769709

node151.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.87
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.87
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.87
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.87
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:        28301324 kB
MemAvailable:   31968156 kB
Buffers:          156260 kB
Cached:          3780748 kB
SwapCached:            0 kB
Active:          1470400 kB
Inactive:        2521388 kB
Active(anon):       4232 kB
Inactive(anon):    78204 kB
Active(file):    1466168 kB
Inactive(file):  2443184 kB
Unevictable:        7796 kB
Mlocked:            7796 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             66912 kB
Writeback:             4 kB
AnonPages:         62376 kB
Mapped:            41860 kB
Shmem:             25224 kB
Slab:             173804 kB
SReclaimable:     146632 kB
SUnreclaim:        27172 kB
KernelStack:        3216 kB
PageTables:         5504 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324648 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 54860 MiB
End job on node151 at 2018-07-27 20:09:40