Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 72 | 1831.42 | 231.026 |
Name | GolombRuler/ GolombRuler-a3v18-11_c18.xml |
MD5SUM | ed3f9a47d1f1ba76ff72e7160e212ad4 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 72 |
Best CPU time to get the best result obtained on this benchmark | 885.287 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 132 |
Number of constraints | 56 |
Number of domains | 2 |
Minimum domain size | 121 |
Maximum domain size | 122 |
Distribution of domain sizes | [{"size":121,"count":55},{"size":122,"count":11}] |
Minimum variable degree | 0 |
Maximum variable degree | 11 |
Distribution of variable degrees | [{"degree":0,"count":66},{"degree":2,"count":55},{"degree":10,"count":10},{"degree":11,"count":1}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 55 |
Distribution of constraint arities | [{"arity":3,"count":55},{"arity":55,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 55 |
Distribution of constraint types | [{"type":"intension","count":55},{"type":"allDifferent","count":1}] |
Optimization problem | YES |
Type of objective | min VAR |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407210-1569363893.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407210-1569363893.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 1.30/0.69 c solve instance... 1.58/0.78 o 96 2.26/0.86 o 93 2.26/0.87 o 90 2.99/0.92 o 89 3.72/1.02 o 88 3.72/1.03 o 87 3.72/1.09 o 85 3.72/1.11 o 81 7.57/1.59 o 78 18.70/2.98 o 77 21.02/3.23 o 76 28.31/4.14 o 74 32.89/4.74 o 72 1831.39/231.01 s OPTIMUM FOUND 1831.39/231.01 v <instantiation> 1831.39/231.01 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[6][7] y[6][8] y[6][9] y[6][10] y[7][8] y[7][9] y[7][10] y[8][9] y[8][10] y[9][10] </list> 1831.39/231.01 v <values>0 1 4 13 28 33 47 54 64 70 72 1 4 13 28 33 47 54 64 70 72 3 12 27 32 46 53 63 69 71 9 24 29 43 50 60 66 68 15 20 34 41 51 57 59 5 19 26 36 42 44 14 21 31 37 39 7 17 23 25 10 16 18 6 8 2 </values> 1831.39/231.01 v </instantiation>
OK 72
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 (12392 MiB free) memory of node 1: 16384 MiB (12740 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407210-1569363893/watcher-4407210-1569363893 -o /var/tmp/evaluation-result-4407210-1569363893/solver-4407210-1569363893 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1569356229-8831 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1873895687 HOME/instance-4407210-1569363893.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 Starting watchdog thread solver pid=10761, runsolver pid=10758 Current StackSize limit: 8192 KiB [startup+0.100133 s]* /proc/loadavg: 7.95 7.87 7.40 2/212 10782 /proc/meminfo: memFree=25720036/32770624 swapFree=66966884/67108860 [pid=10761] ppid=10758 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/10761/stat : 10761 (xcsp3-exec) S 10758 10761 8804 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 512325681 115843072 362 33554432000 4194304 5098028 140736377966144 140736377964248 140483547611772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35524608 140736377967441 140736377967701 140736377967701 140736377970630 0 /proc/10761/statm: 28282 362 304 221 0 87 0 [pid=10763] ppid=10761 vsize=28227396 memory=28884 CPUtime=0.12 cores=0-7 /proc/10763/stat : 10763 (java) S 10761 10761 8804 0 -1 1077944320 5701 0 0 0 11 1 0 0 20 0 20 0 512325682 28904853504 7221 33554432000 4194304 4196468 140734625121664 140734625104208 139938010849015 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 /proc/10763/statm: 7056849 7221 3117 1 0 7019032 0 [pid=10763/tid=10764] ppid=10761 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7 /proc/10763/task/10764/stat : 10764 (java) R 10761 10761 8804 0 -1 4202560 3615 0 0 0 8 1 0 0 20 0 20 0 512325682 28904853504 7221 33554432000 4194304 4196468 140734625121664 139938015083552 139938010860950 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10765] ppid=10761 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/10763/task/10765/stat : 10765 (java) S 10761 10761 8804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512325683 28904853504 7221 33554432000 4194304 4196468 140734625121664 139937963469584 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10766] ppid=10761 vsize=28227396 memory=139640465839744 CPUtime=0 cores=0-7 /proc/10763/task/10766/stat : 10766 (java) S 10761 10761 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512325683 28904853504 7221 33554432000 4194304 4196468 140734625121664 139937962417040 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10767] ppid=10761 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10763/task/10767/stat : 10767 (java) S 10761 10761 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512325683 28904853504 7221 33554432000 4194304 4196468 140734625121664 139937961364496 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10768] ppid=10761 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10763/task/10768/stat : 10768 (java) S 10761 10761 8804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512325683 28904853504 7221 33554432000 4194304 4196468 140734625121664 139937960311952 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10769] ppid=10761 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10763/task/10769/stat : 10769 (java) S 10761 10761 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512325683 28904853504 7221 33554432000 4194304 4196468 140734625121664 139937959258384 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10770] ppid=10761 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10763/task/10770/stat : 10770 (java) S 10761 10761 8804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512325683 28904853504 7221 33554432000 4194304 4196468 140734625121664 139937958205840 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10771] ppid=10761 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10763/task/10771/stat : 10771 (java) S 10761 10761 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512325683 28904853504 7221 33554432000 4194304 4196468 140734625121664 139937957153296 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10772] ppid=10761 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10763/task/10772/stat : 10772 (java) S 10761 10761 8804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512325683 28904853504 7221 33554432000 4194304 4196468 140734625121664 139937956100752 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10773] ppid=10761 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10763/task/10773/stat : 10773 (java) S 10761 10761 8804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512325684 28904853504 7221 33554432000 4194304 4196468 140734625121664 139936474843632 139938010860162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10774] ppid=10761 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10763/task/10774/stat : 10774 (java) S 10761 10761 8804 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512325685 28904853504 7221 33554432000 4194304 4196468 140734625121664 139936473789856 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10775] ppid=10761 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10763/task/10775/stat : 10775 (java) S 10761 10761 8804 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512325685 28904853504 7221 33554432000 4194304 4196468 140734625121664 139936472737264 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10776] ppid=10761 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10763/task/10776/stat : 10776 (java) S 10761 10761 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512325687 28904853504 7221 33554432000 4194304 4196468 140734625121664 139936471685840 139938010867611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10777] ppid=10761 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10763/task/10777/stat : 10777 (java) S 10761 10761 8804 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 512325687 28904853504 7221 33554432000 4194304 4196468 140734625121664 139936470632432 139938010860162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10778] ppid=10761 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10763/task/10778/stat : 10778 (java) S 10761 10761 8804 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 512325687 28904853504 7221 33554432000 4194304 4196468 140734625121664 139936469579888 139938010860162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10779] ppid=10761 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10763/task/10779/stat : 10779 (java) R 10761 10761 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512325687 28904853504 7221 33554432000 4194304 4196468 140734625121664 139936468527344 139938010860162 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10780] ppid=10761 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/10763/task/10780/stat : 10780 (java) R 10761 10761 8804 0 -1 4202560 347 0 0 0 2 0 0 0 20 0 20 0 512325687 28904853504 7221 33554432000 4194304 4196468 140734625121664 139936467474800 139938010860950 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10781] ppid=10761 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10763/task/10781/stat : 10781 (java) S 10761 10761 8804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512325688 28904853504 7221 33554432000 4194304 4196468 140734625121664 139936466422496 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10782] ppid=10761 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10763/task/10782/stat : 10782 (java) S 10761 10761 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512325688 28904853504 7221 33554432000 4194304 4196468 140734625121664 139936465370032 139938010860162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30332 KiB [startup+0.210721 s]* /proc/loadavg: 7.95 7.87 7.40 2/212 10782 /proc/meminfo: memFree=25706824/32770624 swapFree=66966884/67108860 [pid=10761] ppid=10758 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/10761/stat : 10761 (xcsp3-exec) S 10758 10761 8804 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 512325681 115843072 362 33554432000 4194304 5098028 140736377966144 140736377964248 140483547611772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35524608 140736377967441 140736377967701 140736377967701 140736377970630 0 /proc/10761/statm: 28282 362 304 221 0 87 0 [pid=10763] ppid=10761 vsize=28227396 memory=40440 CPUtime=0.34 cores=0-7 /proc/10763/stat : 10763 (java) S 10761 10761 8804 0 -1 1077944320 9387 0 0 0 31 3 0 0 20 0 20 0 512325682 28904853504 10110 33554432000 4194304 4196468 140734625121664 140734625104208 139938010849015 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 /proc/10763/statm: 7056849 10110 3311 1 0 7019032 0 [pid=10763/tid=10764] ppid=10761 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/10763/task/10764/stat : 10764 (java) R 10761 10761 8804 0 -1 4202560 6640 0 0 0 18 2 0 0 20 0 20 0 512325682 28904853504 10110 33554432000 4194304 4196468 140734625121664 139938015082464 139937994929502 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10765] ppid=10761 vsize=28227396 memory=329 CPUtime=0 cores=0-7 /proc/10763/task/10765/stat : 10765 (java) S 10761 10761 8804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512325683 28904853504 10110 33554432000 4194304 4196468 140734625121664 139937963469584 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10766] ppid=10761 vsize=28227396 memory=3977717718926284448 CPUtime=0 cores=0-7 /proc/10763/task/10766/stat : 10766 (java) S 10761 10761 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512325683 28904853504 10110 33554432000 4194304 4196468 140734625121664 139937962417040 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10767] ppid=10761 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10763/task/10767/stat : 10767 (java) S 10761 10761 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512325683 28904853504 10110 33554432000 4194304 4196468 140734625121664 139937961364496 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10768] ppid=10761 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10763/task/10768/stat : 10768 (java) S 10761 10761 8804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512325683 28904853504 10110 33554432000 4194304 4196468 140734625121664 139937960311952 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10769] ppid=10761 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10763/task/10769/stat : 10769 (java) S 10761 10761 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512325683 28904853504 10110 33554432000 4194304 4196468 140734625121664 139937959258384 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10770] ppid=10761 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10763/task/10770/stat : 10770 (java) S 10761 10761 8804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512325683 28904853504 10110 33554432000 4194304 4196468 140734625121664 139937958205840 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10771] ppid=10761 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10763/task/10771/stat : 10771 (java) S 10761 10761 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512325683 28904853504 10110 33554432000 4194304 4196468 140734625121664 139937957153296 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10772] ppid=10761 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10763/task/10772/stat : 10772 (java) S 10761 10761 8804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512325683 28904853504 10110 33554432000 4194304 4196468 140734625121664 139937956100752 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10773] ppid=10761 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10763/task/10773/stat : 10773 (java) S 10761 10761 8804 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512325684 28904853504 10110 33554432000 4194304 4196468 140734625121664 139936474843632 139938010860162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10774] ppid=10761 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10763/task/10774/stat : 10774 (java) S 10761 10761 8804 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512325685 28904853504 10110 33554432000 4194304 4196468 140734625121664 139936473789856 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10775] ppid=10761 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10763/task/10775/stat : 10775 (java) S 10761 10761 8804 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512325685 28904853504 10110 33554432000 4194304 4196468 140734625121664 139936472737264 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10776] ppid=10761 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10763/task/10776/stat : 10776 (java) S 10761 10761 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512325687 28904853504 10110 33554432000 4194304 4196468 140734625121664 139936471685840 139938010867611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10777] ppid=10761 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10763/task/10777/stat : 10777 (java) S 10761 10761 8804 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 20 0 512325687 28904853504 10110 33554432000 4194304 4196468 140734625121664 139936470632432 139938010860162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10778] ppid=10761 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/10763/task/10778/stat : 10778 (java) S 10761 10761 8804 0 -1 1077944384 206 0 0 0 2 0 0 0 20 0 20 0 512325687 28904853504 10110 33554432000 4194304 4196468 140734625121664 139936469579888 139938010860162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10779] ppid=10761 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/10763/task/10779/stat : 10779 (java) S 10761 10761 8804 0 -1 1077944384 123 0 0 0 2 0 0 0 20 0 20 0 512325687 28904853504 10110 33554432000 4194304 4196468 140734625121664 139936468527344 139938010860162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10780] ppid=10761 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/10763/task/10780/stat : 10780 (java) R 10761 10761 8804 0 -1 4202560 787 0 0 0 8 0 0 0 20 0 20 0 512325687 28904853504 10110 33554432000 4194304 4196468 140734625121664 139936467474800 139937995095584 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10781] ppid=10761 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10763/task/10781/stat : 10781 (java) S 10761 10761 8804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512325688 28904853504 10110 33554432000 4194304 4196468 140734625121664 139936466422496 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10782] ppid=10761 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10763/task/10782/stat : 10782 (java) S 10761 10761 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512325688 28904853504 10110 33554432000 4194304 4196468 140734625121664 139936465370032 139938010860162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41888 KiB [startup+0.310527 s]* /proc/loadavg: 7.95 7.87 7.40 4/212 10782 /proc/meminfo: memFree=25699304/32770624 swapFree=66966884/67108860 [pid=10761] ppid=10758 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/10761/stat : 10761 (xcsp3-exec) S 10758 10761 8804 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 512325681 115843072 362 33554432000 4194304 5098028 140736377966144 140736377964248 140483547611772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35524608 140736377967441 140736377967701 140736377967701 140736377970630 0 /proc/10761/statm: 28282 362 304 221 0 87 0 [pid=10763] ppid=10761 vsize=28231652 memory=49916 CPUtime=0.53 cores=0-7 /proc/10763/stat : 10763 (java) S 10761 10761 8804 0 -1 1077944320 10809 0 0 0 49 4 0 0 20 0 20 0 512325682 28909211648 12479 33554432000 4194304 4196468 140734625121664 140734625104208 139938010849015 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 /proc/10763/statm: 7057913 12479 3358 1 0 7019032 0 [pid=10763/tid=10764] ppid=10761 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/10763/task/10764/stat : 10764 (java) R 10761 10761 8804 0 -1 4202560 7769 0 0 0 27 3 0 0 20 0 20 0 512325682 28909211648 12507 33554432000 4194304 4196468 140734625121664 139938015082800 139937994929502 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10765] ppid=10761 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10763/task/10765/stat : 10765 (java) S 10761 10761 8804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512325683 28909211648 12507 33554432000 4194304 4196468 140734625121664 139937963469584 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10766] ppid=10761 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10763/task/10766/stat : 10766 (java) S 10761 10761 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512325683 28909211648 12507 33554432000 4194304 4196468 140734625121664 139937962417040 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10767] ppid=10761 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10763/task/10767/stat : 10767 (java) S 10761 10761 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512325683 28909211648 12507 33554432000 4194304 4196468 140734625121664 139937961364496 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10768] ppid=10761 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10763/task/10768/stat : 10768 (java) S 10761 10761 8804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512325683 28909211648 12507 33554432000 4194304 4196468 140734625121664 139937960311952 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10769] ppid=10761 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10763/task/10769/stat : 10769 (java) S 10761 10761 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512325683 28909211648 12507 33554432000 4194304 4196468 140734625121664 139937959258384 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10770] ppid=10761 vsize=28231652 memory=139640325630639 CPUtime=0 cores=0-7 /proc/10763/task/10770/stat : 10770 (java) S 10761 10761 8804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512325683 28909211648 12507 33554432000 4194304 4196468 140734625121664 139937958205840 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10771] ppid=10761 vsize=28231652 memory=139640325632944 CPUtime=0 cores=0-7 /proc/10763/task/10771/stat : 10771 (java) S 10761 10761 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512325683 28909211648 12507 33554432000 4194304 4196468 140734625121664 139937957153296 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10772] ppid=10761 vsize=28231652 memory=139640325635248 CPUtime=0 cores=0-7 /proc/10763/task/10772/stat : 10772 (java) S 10761 10761 8804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512325683 28909211648 12507 33554432000 4194304 4196468 140734625121664 139937956100752 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10773] ppid=10761 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10763/task/10773/stat : 10773 (java) S 10761 10761 8804 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512325684 28909211648 12507 33554432000 4194304 4196468 140734625121664 139936474843632 139938010860162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10774] ppid=10761 vsize=28231652 memory=279280651284368 CPUtime=0 cores=0-7 /proc/10763/task/10774/stat : 10774 (java) S 10761 10761 8804 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512325685 28909211648 12507 33554432000 4194304 4196468 140734625121664 139936473789856 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10775] ppid=10761 vsize=28231652 memory=279280651282064 CPUtime=0 cores=0-7 /proc/10763/task/10775/stat : 10775 (java) S 10761 10761 8804 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512325685 28909211648 12507 33554432000 4194304 4196468 140734625121664 139936472737264 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10776] ppid=10761 vsize=28231652 memory=279280651288976 CPUtime=0 cores=0-7 /proc/10763/task/10776/stat : 10776 (java) S 10761 10761 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512325687 28909211648 12507 33554432000 4194304 4196468 140734625121664 139936471685840 139938010867611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10777] ppid=10761 vsize=28231652 memory=279280651230224 CPUtime=0.02 cores=0-7 /proc/10763/task/10777/stat : 10777 (java) R 10761 10761 8804 0 -1 4202560 436 0 0 0 2 0 0 0 20 0 20 0 512325687 28909211648 12507 33554432000 4194304 4196468 140734625121664 139936470632432 139937992370186 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10778] ppid=10761 vsize=28231652 memory=279280651302800 CPUtime=0.02 cores=0-7 /proc/10763/task/10778/stat : 10778 (java) S 10761 10761 8804 0 -1 1077944384 206 0 0 0 2 0 0 0 20 0 20 0 512325687 28909211648 12507 33554432000 4194304 4196468 140734625121664 139936469579888 139938010860162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10779] ppid=10761 vsize=28231652 memory=279280651309712 CPUtime=0.04 cores=0-7 /proc/10763/task/10779/stat : 10779 (java) S 10761 10761 8804 0 -1 1077944384 141 0 0 0 4 0 0 0 20 0 20 0 512325687 28909211648 12507 33554432000 4194304 4196468 140734625121664 139936468527344 139938010860162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10780] ppid=10761 vsize=28231652 memory=279280651307408 CPUtime=0.12 cores=0-7 /proc/10763/task/10780/stat : 10780 (java) S 10761 10761 8804 0 -1 1077944384 953 0 0 0 12 0 0 0 20 0 20 0 512325687 28909211648 12507 33554432000 4194304 4196468 140734625121664 139936467474800 139938010860162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10781] ppid=10761 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10763/task/10781/stat : 10781 (java) S 10761 10761 8804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512325688 28909211648 12507 33554432000 4194304 4196468 140734625121664 139936466422496 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10782] ppid=10761 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/10763/task/10782/stat : 10782 (java) S 10761 10761 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512325688 28909211648 12507 33554432000 4194304 4196468 140734625121664 139936465370032 139938010860162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51364 KiB [startup+0.700995 s] /proc/loadavg: 7.95 7.87 7.40 3/212 10782 /proc/meminfo: memFree=25682324/32770624 swapFree=66966884/67108860 [pid=10761] ppid=10758 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/10761/stat : 10761 (xcsp3-exec) S 10758 10761 8804 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 512325681 115843072 362 33554432000 4194304 5098028 140736377966144 140736377964248 140483547611772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35524608 140736377967441 140736377967701 140736377967701 140736377970630 0 /proc/10761/statm: 28282 362 304 221 0 87 0 [pid=10763] ppid=10761 vsize=28233776 memory=90384 CPUtime=1.58 cores=0-7 /proc/10763/stat : 10763 (java) S 10761 10761 8804 0 -1 1077944320 15247 0 0 0 152 6 0 0 20 0 20 0 512325682 28911386624 22596 33554432000 4194304 4196468 140734625121664 140734625104208 139938010849015 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 /proc/10763/statm: 7058444 22596 3452 1 0 7019544 0 [pid=10763/tid=10764] ppid=10761 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7 /proc/10763/task/10764/stat : 10764 (java) R 10761 10761 8804 0 -1 4202560 9460 0 0 0 64 4 0 0 20 0 20 0 512325682 28911386624 22596 33554432000 4194304 4196468 140734625121664 139938015079216 139937994892645 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10765] ppid=10761 vsize=28233776 memory=139640325841776 CPUtime=0 cores=0-7 /proc/10763/task/10765/stat : 10765 (java) S 10761 10761 8804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512325683 28911386624 22596 33554432000 4194304 4196468 140734625121664 139937963469584 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10766] ppid=10761 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/10763/task/10766/stat : 10766 (java) S 10761 10761 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512325683 28911386624 22596 33554432000 4194304 4196468 140734625121664 139937962417040 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10767] ppid=10761 vsize=28233776 memory=8136 CPUtime=0 cores=0-7 ################ # More data... # ################ [pid=10763/tid=10780] ppid=10761 vsize=28769364 memory=2496 CPUtime=0.79 cores=0-7 /proc/10763/task/10780/stat : 10780 (java) S 10761 10761 8804 0 -1 1077944384 6594 0 0 0 78 1 0 0 20 0 28 0 512325687 29459828736 109266 33554432000 4194304 4196468 140734625121664 139936467474800 139938010860162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10781] ppid=10761 vsize=28769364 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/10763/task/10781/stat : 10781 (java) S 10761 10761 8804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512325688 29459828736 109266 33554432000 4194304 4196468 140734625121664 139936466422496 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10782] ppid=10761 vsize=28769364 memory=776 CPUtime=0.03 cores=0-7 /proc/10763/task/10782/stat : 10782 (java) S 10761 10761 8804 0 -1 1077944384 1498 0 0 0 3 0 0 0 20 0 28 0 512325688 29459828736 109266 33554432000 4194304 4196468 140734625121664 139936465370032 139938010860162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10888] ppid=10761 vsize=28769364 memory=1448 CPUtime=223.93 cores=0-7 /proc/10763/task/10888/stat : 10888 (java) R 10761 10761 8804 0 -1 4202560 2490 0 0 0 22393 0 0 0 20 0 28 0 512326156 29459828736 109266 33554432000 4194304 4196468 140734625121664 139936454045360 139937641039648 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10889] ppid=10761 vsize=28769364 memory=1448 CPUtime=222.87 cores=0-7 /proc/10763/task/10889/stat : 10889 (java) R 10761 10761 8804 0 -1 4202560 1616 0 0 0 22287 0 0 0 20 0 28 0 512326156 29459828736 109266 33554432000 4194304 4196468 140734625121664 139936452993704 139937641041259 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10890] ppid=10761 vsize=28769364 memory=525100 CPUtime=223.62 cores=0-7 /proc/10763/task/10890/stat : 10890 (java) R 10761 10761 8804 0 -1 4202560 1992 0 0 0 22361 1 0 0 20 0 28 0 512326156 29459828736 109266 33554432000 4194304 4196468 140734625121664 139936451940384 139937640639445 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10891] ppid=10761 vsize=28769364 memory=1432 CPUtime=223.04 cores=0-7 /proc/10763/task/10891/stat : 10891 (java) R 10761 10761 8804 0 -1 4202560 5688 0 0 0 22299 5 0 0 20 0 28 0 512326156 29459828736 109266 33554432000 4194304 4196468 140734625121664 139936456153616 139937641740595 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10892] ppid=10761 vsize=28769364 memory=776 CPUtime=223.9 cores=0-7 /proc/10763/task/10892/stat : 10892 (java) R 10761 10761 8804 0 -1 4202560 3359 0 0 0 22388 2 0 0 20 0 28 0 512326156 29459828736 109266 33554432000 4194304 4196468 140734625121664 139936448782760 139937639636572 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10893] ppid=10761 vsize=28769364 memory=1056 CPUtime=223.93 cores=0-7 /proc/10763/task/10893/stat : 10893 (java) R 10761 10761 8804 0 -1 4202560 2552 0 0 0 22391 2 0 0 20 0 28 0 512326156 29459828736 109266 33554432000 4194304 4196468 140734625121664 139936449835704 139937639864564 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10894] ppid=10761 vsize=28769364 memory=3616 CPUtime=223.3 cores=0-7 /proc/10763/task/10894/stat : 10894 (java) R 10761 10761 8804 0 -1 4202560 6493 0 0 0 22328 2 0 0 20 0 28 0 512326156 29459828736 109266 33554432000 4194304 4196468 140734625121664 139936455097552 139937639636178 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10895] ppid=10761 vsize=28769364 memory=1552 CPUtime=224.15 cores=0-7 /proc/10763/task/10895/stat : 10895 (java) R 10761 10761 8804 0 -1 4202560 2981 0 0 0 22414 1 0 0 20 0 28 0 512326156 29459828736 109266 33554432000 4194304 4196468 140734625121664 139936445633120 139937639636552 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 Current children cumulated CPU time: 1826.77 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 438512 KiB [startup+230.802 s] /proc/loadavg: 8.07 8.00 7.55 9/219 10909 /proc/meminfo: memFree=25313632/32770624 swapFree=66966884/67108860 [pid=10761] ppid=10758 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/10761/stat : 10761 (xcsp3-exec) S 10758 10761 8804 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 512325681 115843072 362 33554432000 4194304 5098028 140736377966144 140736377964248 140483547611772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35524608 140736377967441 140736377967701 140736377967701 140736377970630 0 /proc/10761/statm: 28282 362 304 221 0 87 0 [pid=10763] ppid=10761 vsize=28769364 memory=437064 CPUtime=1829.96 cores=0-7 /proc/10763/stat : 10763 (java) S 10761 10761 8804 0 -1 1077944320 123079 0 0 0 182890 106 0 0 20 0 28 0 512325682 29459828736 109266 33554432000 4194304 4196468 140734625121664 140734625104208 139938010849015 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 /proc/10763/statm: 7192341 109266 3545 1 0 7153441 0 [pid=10763/tid=10764] ppid=10761 vsize=28769364 memory=7377223215533161625 CPUtime=0.69 cores=0-7 /proc/10763/task/10764/stat : 10764 (java) S 10761 10761 8804 0 -1 1077944384 9684 0 0 0 65 4 0 0 20 0 28 0 512325682 29459828736 109266 33554432000 4194304 4196468 140734625121664 139938015089792 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10765] ppid=10761 vsize=28769364 memory=139640326194334 CPUtime=0.45 cores=0-7 /proc/10763/task/10765/stat : 10765 (java) S 10761 10761 8804 0 -1 1077944384 3063 0 0 0 38 7 0 0 20 0 28 0 512325683 29459828736 109266 33554432000 4194304 4196468 140734625121664 139937963469584 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10766] ppid=10761 vsize=28769364 memory=3905219235486905137 CPUtime=0.44 cores=0-7 /proc/10763/task/10766/stat : 10766 (java) S 10761 10761 8804 0 -1 1077944384 3238 0 0 0 38 6 0 0 20 0 28 0 512325683 29459828736 109266 33554432000 4194304 4196468 140734625121664 139937962417040 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10767] ppid=10761 vsize=28769364 memory=3832880153604012082 CPUtime=0.46 cores=0-7 /proc/10763/task/10767/stat : 10767 (java) S 10761 10761 8804 0 -1 1077944384 6279 0 0 0 38 8 0 0 20 0 28 0 512325683 29459828736 109266 33554432000 4194304 4196468 140734625121664 139937961364496 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10768] ppid=10761 vsize=28769364 memory=0 CPUtime=0.44 cores=0-7 /proc/10763/task/10768/stat : 10768 (java) S 10761 10761 8804 0 -1 1077944384 4504 0 0 0 36 8 0 0 20 0 28 0 512325683 29459828736 109266 33554432000 4194304 4196468 140734625121664 139937960311952 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10769] ppid=10761 vsize=28769364 memory=279280651719856 CPUtime=0.46 cores=0-7 /proc/10763/task/10769/stat : 10769 (java) S 10761 10761 8804 0 -1 1077944384 5394 0 0 0 38 8 0 0 20 0 28 0 512325683 29459828736 109266 33554432000 4194304 4196468 140734625121664 139937959258384 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10770] ppid=10761 vsize=28769364 memory=5931329028008263776 CPUtime=0.45 cores=0-7 /proc/10763/task/10770/stat : 10770 (java) S 10761 10761 8804 0 -1 1077944384 3035 0 0 0 39 6 0 0 20 0 28 0 512325683 29459828736 109266 33554432000 4194304 4196468 140734625121664 139937958205840 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10771] ppid=10761 vsize=28769364 memory=5931329028008329312 CPUtime=0.46 cores=0-7 /proc/10763/task/10771/stat : 10771 (java) S 10761 10761 8804 0 -1 1077944384 3175 0 0 0 40 6 0 0 20 0 28 0 512325683 29459828736 109266 33554432000 4194304 4196468 140734625121664 139937957153296 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10772] ppid=10761 vsize=28769364 memory=5931329023713296480 CPUtime=0.45 cores=0-7 /proc/10763/task/10772/stat : 10772 (java) S 10761 10761 8804 0 -1 1077944384 3051 0 0 0 38 7 0 0 20 0 28 0 512325683 29459828736 109266 33554432000 4194304 4196468 140734625121664 139937956100752 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10773] ppid=10761 vsize=28769364 memory=5787216026420666432 CPUtime=0.36 cores=0-7 /proc/10763/task/10773/stat : 10773 (java) S 10761 10761 8804 0 -1 1077944384 13681 0 0 0 26 10 0 0 20 0 28 0 512325684 29459828736 109266 33554432000 4194304 4196468 140734625121664 139936474843632 139938010860162 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10774] ppid=10761 vsize=28769364 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/10763/task/10774/stat : 10774 (java) S 10761 10761 8804 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 512325685 29459828736 109266 33554432000 4194304 4196468 140734625121664 139936473789920 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10775] ppid=10761 vsize=28769364 memory=1448 CPUtime=0 cores=0-7 /proc/10763/task/10775/stat : 10775 (java) S 10761 10761 8804 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 512325685 29459828736 109266 33554432000 4194304 4196468 140734625121664 139936472737280 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10776] ppid=10761 vsize=28769364 memory=482052 CPUtime=0 cores=0-7 /proc/10763/task/10776/stat : 10776 (java) S 10761 10761 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512325687 29459828736 109266 33554432000 4194304 4196468 140734625121664 139936471685840 139938010867611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10777] ppid=10761 vsize=28769364 memory=2020 CPUtime=2.27 cores=0-7 /proc/10763/task/10777/stat : 10777 (java) S 10761 10761 8804 0 -1 1077944384 10213 0 0 0 225 2 0 0 20 0 28 0 512325687 29459828736 109266 33554432000 4194304 4196468 140734625121664 139936470632432 139938010860162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10778] ppid=10761 vsize=28769364 memory=1432 CPUtime=2.27 cores=0-7 /proc/10763/task/10778/stat : 10778 (java) S 10761 10761 8804 0 -1 1077944384 7504 0 0 0 226 1 0 0 20 0 28 0 512325687 29459828736 109266 33554432000 4194304 4196468 140734625121664 139936469579888 139938010860162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10779] ppid=10761 vsize=28769364 memory=776 CPUtime=2.12 cores=0-7 /proc/10763/task/10779/stat : 10779 (java) S 10761 10761 8804 0 -1 1077944384 10152 0 0 0 210 2 0 0 20 0 28 0 512325687 29459828736 109266 33554432000 4194304 4196468 140734625121664 139936468527344 139938010860162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10780] ppid=10761 vsize=28769364 memory=1056 CPUtime=0.79 cores=0-7 /proc/10763/task/10780/stat : 10780 (java) S 10761 10761 8804 0 -1 1077944384 6594 0 0 0 78 1 0 0 20 0 28 0 512325687 29459828736 109266 33554432000 4194304 4196468 140734625121664 139936467474800 139938010860162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10781] ppid=10761 vsize=28769364 memory=508 CPUtime=0 cores=0-7 /proc/10763/task/10781/stat : 10781 (java) S 10761 10761 8804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512325688 29459828736 109266 33554432000 4194304 4196468 140734625121664 139936466422496 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10782] ppid=10761 vsize=28769364 memory=1560 CPUtime=0.03 cores=0-7 /proc/10763/task/10782/stat : 10782 (java) S 10761 10761 8804 0 -1 1077944384 1498 0 0 0 3 0 0 0 20 0 28 0 512325688 29459828736 109266 33554432000 4194304 4196468 140734625121664 139936465370032 139938010860162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10888] ppid=10761 vsize=28769364 memory=1444 CPUtime=224.33 cores=0-7 /proc/10763/task/10888/stat : 10888 (java) R 10761 10761 8804 0 -1 4202560 2490 0 0 0 22433 0 0 0 20 0 28 0 512326156 29459828736 109266 33554432000 4194304 4196468 140734625121664 139936454045360 139937639636101 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10889] ppid=10761 vsize=28769364 memory=864 CPUtime=223.27 cores=0-7 /proc/10763/task/10889/stat : 10889 (java) R 10761 10761 8804 0 -1 4202560 1616 0 0 0 22327 0 0 0 20 0 28 0 512326156 29459828736 109266 33554432000 4194304 4196468 140734625121664 139936452993704 139937639636195 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10890] ppid=10761 vsize=28769364 memory=1976 CPUtime=224.02 cores=0-7 /proc/10763/task/10890/stat : 10890 (java) R 10761 10761 8804 0 -1 4202560 1992 0 0 0 22401 1 0 0 20 0 28 0 512326156 29459828736 109266 33554432000 4194304 4196468 140734625121664 139936451940384 139937640640032 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10891] ppid=10761 vsize=28769364 memory=2496 CPUtime=223.44 cores=0-7 /proc/10763/task/10891/stat : 10891 (java) R 10761 10761 8804 0 -1 4202560 5688 0 0 0 22339 5 0 0 20 0 28 0 512326156 29459828736 109266 33554432000 4194304 4196468 140734625121664 139936456153616 139937639635986 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10892] ppid=10761 vsize=28769364 memory=1760 CPUtime=224.3 cores=0-7 /proc/10763/task/10892/stat : 10892 (java) R 10761 10761 8804 0 -1 4202560 3359 0 0 0 22428 2 0 0 20 0 28 0 512326156 29459828736 109266 33554432000 4194304 4196468 140734625121664 139936448782760 139937641814070 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10893] ppid=10761 vsize=28769364 memory=22364 CPUtime=224.33 cores=0-7 /proc/10763/task/10893/stat : 10893 (java) R 10761 10761 8804 0 -1 4202560 2553 0 0 0 22431 2 0 0 20 0 28 0 512326156 29459828736 109266 33554432000 4194304 4196468 140734625121664 139936449835704 139937639864112 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10894] ppid=10761 vsize=28769364 memory=22301 CPUtime=223.7 cores=0-7 /proc/10763/task/10894/stat : 10894 (java) R 10761 10761 8804 0 -1 4202560 6496 0 0 0 22368 2 0 0 20 0 28 0 512326156 29459828736 109266 33554432000 4194304 4196468 140734625121664 139936455097552 139937639636525 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10895] ppid=10761 vsize=28769364 memory=22386 CPUtime=224.55 cores=0-7 /proc/10763/task/10895/stat : 10895 (java) R 10761 10761 8804 0 -1 4202560 2981 0 0 0 22454 1 0 0 20 0 28 0 512326156 29459828736 109266 33554432000 4194304 4196468 140734625121664 139936445633256 139937640545546 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 Current children cumulated CPU time: 1829.96 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 438512 KiB [startup+231.001 s]* /proc/loadavg: 8.07 8.00 7.55 2/219 10909 /proc/meminfo: memFree=25313644/32770624 swapFree=66966884/67108860 [pid=10761] ppid=10758 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/10761/stat : 10761 (xcsp3-exec) S 10758 10761 8804 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 512325681 115843072 362 33554432000 4194304 5098028 140736377966144 140736377964248 140483547611772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35524608 140736377967441 140736377967701 140736377967701 140736377970630 0 /proc/10761/statm: 28282 362 304 221 0 87 0 [pid=10763] ppid=10761 vsize=28769364 memory=437124 CPUtime=1831.39 cores=0-7 /proc/10763/stat : 10763 (java) S 10761 10761 8804 0 -1 1077944320 123225 0 0 0 183033 106 0 0 20 0 28 0 512325682 29459828736 109281 33554432000 4194304 4196468 140734625121664 140734625104208 139938010849015 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 /proc/10763/statm: 7192341 109281 3546 1 0 7153441 0 [pid=10763/tid=10764] ppid=10761 vsize=28769364 memory=14080 CPUtime=0.69 cores=0-7 /proc/10763/task/10764/stat : 10764 (java) S 10761 10761 8804 0 -1 1077944384 9684 0 0 0 65 4 0 0 20 0 28 0 512325682 29459828736 109281 33554432000 4194304 4196468 140734625121664 139938015089792 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10765] ppid=10761 vsize=28769364 memory=35996 CPUtime=0.45 cores=0-7 /proc/10763/task/10765/stat : 10765 (java) S 10761 10761 8804 0 -1 1077944384 3063 0 0 0 38 7 0 0 20 0 28 0 512325683 29459828736 109281 33554432000 4194304 4196468 140734625121664 139937963469584 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10766] ppid=10761 vsize=28769364 memory=4872558044660077418 CPUtime=0.44 cores=0-7 /proc/10763/task/10766/stat : 10766 (java) S 10761 10761 8804 0 -1 1077944384 3238 0 0 0 38 6 0 0 20 0 28 0 512325683 29459828736 109281 33554432000 4194304 4196468 140734625121664 139937962417040 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10767] ppid=10761 vsize=28769364 memory=920 CPUtime=0.46 cores=0-7 /proc/10763/task/10767/stat : 10767 (java) S 10761 10761 8804 0 -1 1077944384 6286 0 0 0 38 8 0 0 20 0 28 0 512325683 29459828736 109281 33554432000 4194304 4196468 140734625121664 139937961364496 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10768] ppid=10761 vsize=28769364 memory=4472 CPUtime=0.44 cores=0-7 /proc/10763/task/10768/stat : 10768 (java) S 10761 10761 8804 0 -1 1077944384 4511 0 0 0 36 8 0 0 20 0 28 0 512325683 29459828736 109281 33554432000 4194304 4196468 140734625121664 139937960311952 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10769] ppid=10761 vsize=28769364 memory=4104 CPUtime=0.46 cores=0-7 /proc/10763/task/10769/stat : 10769 (java) S 10761 10761 8804 0 -1 1077944384 5396 0 0 0 38 8 0 0 20 0 28 0 512325683 29459828736 109281 33554432000 4194304 4196468 140734625121664 139937959258384 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10770] ppid=10761 vsize=28769364 memory=1408 CPUtime=0.45 cores=0-7 /proc/10763/task/10770/stat : 10770 (java) S 10761 10761 8804 0 -1 1077944384 3042 0 0 0 39 6 0 0 20 0 28 0 512325683 29459828736 109281 33554432000 4194304 4196468 140734625121664 139937958205840 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10771] ppid=10761 vsize=28769364 memory=3532 CPUtime=0.46 cores=0-7 /proc/10763/task/10771/stat : 10771 (java) S 10761 10761 8804 0 -1 1077944384 3175 0 0 0 40 6 0 0 20 0 28 0 512325683 29459828736 109281 33554432000 4194304 4196468 140734625121664 139937957153296 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10772] ppid=10761 vsize=28769364 memory=1448 CPUtime=0.45 cores=0-7 /proc/10763/task/10772/stat : 10772 (java) S 10761 10761 8804 0 -1 1077944384 3057 0 0 0 38 7 0 0 20 0 28 0 512325683 29459828736 109281 33554432000 4194304 4196468 140734625121664 139937956100752 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10773] ppid=10761 vsize=28769364 memory=578380 CPUtime=0.36 cores=0-7 /proc/10763/task/10773/stat : 10773 (java) S 10761 10761 8804 0 -1 1077944384 13681 0 0 0 26 10 0 0 20 0 28 0 512325684 29459828736 109281 33554432000 4194304 4196468 140734625121664 139936474843632 139938010860162 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10774] ppid=10761 vsize=28769364 memory=1660 CPUtime=0 cores=0-7 /proc/10763/task/10774/stat : 10774 (java) S 10761 10761 8804 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 512325685 29459828736 109281 33554432000 4194304 4196468 140734625121664 139936473789920 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10775] ppid=10761 vsize=28769364 memory=712 CPUtime=0 cores=0-7 /proc/10763/task/10775/stat : 10775 (java) S 10761 10761 8804 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 512325685 29459828736 109281 33554432000 4194304 4196468 140734625121664 139936472737280 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10776] ppid=10761 vsize=28769364 memory=2832 CPUtime=0 cores=0-7 /proc/10763/task/10776/stat : 10776 (java) S 10761 10761 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512325687 29459828736 109281 33554432000 4194304 4196468 140734625121664 139936471685840 139938010867611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10777] ppid=10761 vsize=28769364 memory=8136 CPUtime=2.27 cores=0-7 /proc/10763/task/10777/stat : 10777 (java) S 10761 10761 8804 0 -1 1077944384 10213 0 0 0 225 2 0 0 20 0 28 0 512325687 29459828736 109281 33554432000 4194304 4196468 140734625121664 139936470632432 139938010860162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10778] ppid=10761 vsize=28769364 memory=10492 CPUtime=2.27 cores=0-7 /proc/10763/task/10778/stat : 10778 (java) S 10761 10761 8804 0 -1 1077944384 7504 0 0 0 226 1 0 0 20 0 28 0 512325687 29459828736 109281 33554432000 4194304 4196468 140734625121664 139936469579888 139938010860162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10779] ppid=10761 vsize=28769364 memory=6791534058613427641 CPUtime=2.12 cores=0-7 /proc/10763/task/10779/stat : 10779 (java) S 10761 10761 8804 0 -1 1077944384 10152 0 0 0 210 2 0 0 20 0 28 0 512325687 29459828736 109281 33554432000 4194304 4196468 140734625121664 139936468527344 139938010860162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10780] ppid=10761 vsize=28769364 memory=712 CPUtime=0.79 cores=0-7 /proc/10763/task/10780/stat : 10780 (java) S 10761 10761 8804 0 -1 1077944384 6594 0 0 0 78 1 0 0 20 0 28 0 512325687 29459828736 109281 33554432000 4194304 4196468 140734625121664 139936467474800 139938010860162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10781] ppid=10761 vsize=28769364 memory=2832 CPUtime=0 cores=0-7 /proc/10763/task/10781/stat : 10781 (java) S 10761 10761 8804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512325688 29459828736 109281 33554432000 4194304 4196468 140734625121664 139936466422496 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10782] ppid=10761 vsize=28769364 memory=8136 CPUtime=0.03 cores=0-7 /proc/10763/task/10782/stat : 10782 (java) S 10761 10761 8804 0 -1 1077944384 1498 0 0 0 3 0 0 0 20 0 28 0 512325688 29459828736 109281 33554432000 4194304 4196468 140734625121664 139936465370032 139938010860162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10888] ppid=10761 vsize=28769364 memory=10492 CPUtime=224.5 cores=0-7 /proc/10763/task/10888/stat : 10888 (java) S 10761 10761 8804 0 -1 1077944384 2514 0 0 0 22450 0 0 0 20 0 28 0 512326156 29459828736 109281 33554432000 4194304 4196468 140734625121664 139936454049840 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10889] ppid=10761 vsize=28769364 memory=508 CPUtime=223.44 cores=0-7 /proc/10763/task/10889/stat : 10889 (java) S 10761 10761 8804 0 -1 1077944384 1639 0 0 0 22344 0 0 0 20 0 28 0 512326156 29459828736 109281 33554432000 4194304 4196468 140734625121664 139936452998736 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10890] ppid=10761 vsize=28769364 memory=1560 CPUtime=224.19 cores=0-7 /proc/10763/task/10890/stat : 10890 (java) S 10761 10761 8804 0 -1 1077944384 2008 0 0 0 22418 1 0 0 20 0 28 0 512326156 29459828736 109281 33554432000 4194304 4196468 140734625121664 139936451945168 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10891] ppid=10761 vsize=28769364 memory=932 CPUtime=223.64 cores=0-7 /proc/10763/task/10891/stat : 10891 (java) R 10761 10761 8804 0 -1 4202560 5688 0 0 0 22359 5 0 0 20 0 28 0 512326156 29459828736 109281 33554432000 4194304 4196468 140734625121664 139936456153728 139937642463492 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10892] ppid=10761 vsize=28769364 memory=1568 CPUtime=224.47 cores=0-7 /proc/10763/task/10892/stat : 10892 (java) S 10761 10761 8804 0 -1 1077944384 3375 0 0 0 22445 2 0 0 20 0 28 0 512326156 29459828736 109281 33554432000 4194304 4196468 140734625121664 139936448787408 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10893] ppid=10761 vsize=28769364 memory=1444 CPUtime=224.5 cores=0-7 /proc/10763/task/10893/stat : 10893 (java) S 10761 10761 8804 0 -1 1077944384 2572 0 0 0 22448 2 0 0 20 0 28 0 512326156 29459828736 109281 33554432000 4194304 4196468 140734625121664 139936449840208 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10894] ppid=10761 vsize=28769364 memory=864 CPUtime=223.87 cores=0-7 /proc/10763/task/10894/stat : 10894 (java) S 10761 10761 8804 0 -1 1077944384 6514 0 0 0 22385 2 0 0 20 0 28 0 512326156 29459828736 109281 33554432000 4194304 4196468 140734625121664 139936455103696 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 [pid=10763/tid=10895] ppid=10761 vsize=28769364 memory=1976 CPUtime=224.73 cores=0-7 /proc/10763/task/10895/stat : 10895 (java) S 10761 10761 8804 0 -1 1077944384 2982 0 0 0 22472 1 0 0 20 0 28 0 512326156 29459828736 109281 33554432000 4194304 4196468 140734625121664 139936445637968 139938010859221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 38064128 140734625125334 140734625125510 140734625125510 140734625128399 0 Current children cumulated CPU time: 1831.39 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 438572 KiB Child status: 0 Real time (s): 231.026 CPU time (s): 1831.42 CPU user time (s): 1830.34 CPU system time (s): 1.07989 CPU usage (%): 792.732 Max. virtual memory (cumulated for all children) (KiB): 28882492 Max. memory (cumulated for all children) (KiB): 614844 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1830.34 system time used= 1.07989 maximum resident set size= 615804 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 123957 page faults= 0 swaps= 0 block input operations= 0 block output operations= 496 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 33725 involuntary context switches= 23026 # summary of solver processes directly reported to runsolver: # pid: 10761 # total CPU time (s): 1831.42 # total CPU user time (s): 1830.34 # total CPU system time (s): 1.07989 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.13398 second user time and 2.4514 second system time The end
Begin job on node145 at 2019-09-25 00:24:10 IDJOB=4407210 IDBENCH=141364 IDSOLVER=2871 FILE ID=node145/4407210-1569363893 RUNJOBID= node145-1569356229-8831 PBS_JOBID= 21705102 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP18/GolombRuler/GolombRuler-a3v18-11_c18.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407210-1569363893/watcher-4407210-1569363893 -o /var/tmp/evaluation-result-4407210-1569363893/solver-4407210-1569363893 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1569356229-8831 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1873895687 HOME/instance-4407210-1569363893.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= ed3f9a47d1f1ba76ff72e7160e212ad4 RANDOM SEED=1873895687 node145.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.59 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.59 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.59 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.59 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: 25736724 kB MemAvailable: 31811524 kB Buffers: 160280 kB Cached: 6066528 kB SwapCached: 32452 kB Active: 3046056 kB Inactive: 3217000 kB Active(anon): 3860 kB Inactive(anon): 89852 kB Active(file): 3042196 kB Inactive(file): 3127148 kB Unevictable: 108772 kB Mlocked: 108772 kB SwapTotal: 67108860 kB SwapFree: 66966884 kB Dirty: 26016 kB Writeback: 4 kB AnonPages: 113516 kB Mapped: 57492 kB Shmem: 48852 kB Slab: 362784 kB SReclaimable: 333916 kB SUnreclaim: 28868 kB KernelStack: 3376 kB PageTables: 5356 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514652 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /var/tmp at the end= 13484 MiB End job on node145 at 2019-09-25 00:28:01