Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 55 | 66.9179 | 8.97935 |
Name | GolombRuler/ GolombRuler-a3v18-10_c18.xml |
MD5SUM | fd7701f01011f2453d3fac3f444f25b8 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 55 |
Best CPU time to get the best result obtained on this benchmark | 29.8003 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 110 |
Number of constraints | 46 |
Number of domains | 2 |
Minimum domain size | 100 |
Maximum domain size | 101 |
Distribution of domain sizes | [{"size":100,"count":45},{"size":101,"count":10}] |
Minimum variable degree | 0 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":0,"count":55},{"degree":2,"count":45},{"degree":9,"count":9},{"degree":10,"count":1}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 45 |
Distribution of constraint arities | [{"arity":3,"count":45},{"arity":45,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 45 |
Distribution of constraint types | [{"type":"intension","count":45},{"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-4407016-1569364088.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407016-1569364088.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 1.29/0.66 c solve instance... 1.65/0.78 o 80 1.65/0.79 o 74 2.24/0.82 o 72 2.24/0.84 o 71 2.24/0.86 o 70 2.24/0.87 o 65 2.93/0.92 o 63 2.93/0.99 o 62 6.78/1.41 o 60 16.32/2.64 o 55 66.37/8.96 s OPTIMUM FOUND 66.37/8.96 v <instantiation> 66.37/8.96 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] 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[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[5][6] y[5][7] y[5][8] y[5][9] y[6][7] y[6][8] y[6][9] y[7][8] y[7][9] y[8][9] </list> 66.37/8.96 v <values>0 1 6 10 23 26 34 41 53 55 1 6 10 23 26 34 41 53 55 5 9 22 25 33 40 52 54 4 17 20 28 35 47 49 13 16 24 31 43 45 3 11 18 30 32 8 15 27 29 7 19 21 12 14 2 </values> 66.37/8.96 v </instantiation>
OK 55
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 (11988 MiB free) memory of node 1: 16384 MiB (13152 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407016-1569364088/watcher-4407016-1569364088 -o /var/tmp/evaluation-result-4407016-1569364088/solver-4407016-1569364088 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node121-1569357356-20838 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 647135315 HOME/instance-4407016-1569364088.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 solver pid=22453, runsolver pid=22450 Current StackSize limit: 8192 KiB [startup+0.10011 s]* /proc/loadavg: 5.32 6.83 7.10 2/211 22474 /proc/meminfo: memFree=25727756/32770624 swapFree=66992472/67108860 [pid=22453] ppid=22450 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/22453/stat : 22453 (xcsp3-exec) S 22450 22453 20811 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 512671407 115843072 362 33554432000 4194304 5098028 140732414300912 140732414299016 140658869854844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30900224 140732414309202 140732414309461 140732414309461 140732414312390 0 /proc/22453/statm: 28282 362 304 221 0 87 0 [pid=22455] ppid=22453 vsize=28227396 memory=29920 CPUtime=0.12 cores=0-7 /proc/22455/stat : 22455 (java) S 22453 22453 20811 0 -1 1077944320 5955 0 0 0 10 2 0 0 20 0 20 0 512671407 28904853504 7480 33554432000 4194304 4196468 140736315776272 140736315758816 140195925290743 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 /proc/22455/statm: 7056849 7480 3125 1 0 7019032 0 [pid=22455/tid=22456] ppid=22453 vsize=28227396 memory=-2177352373413752899 CPUtime=0.08 cores=0-7 /proc/22455/task/22456/stat : 22456 (java) R 22453 22453 20811 0 -1 4202560 3861 0 0 0 7 1 0 0 20 0 20 0 512671408 28904853504 7480 33554432000 4194304 4196468 140736315776272 140195929525280 140195925302678 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22457] ppid=22453 vsize=28227396 memory=732369947156159461 CPUtime=0 cores=0-7 /proc/22455/task/22457/stat : 22457 (java) S 22453 22453 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512671408 28904853504 7480 33554432000 4194304 4196468 140736315776272 140195877910800 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22458] ppid=22453 vsize=28227396 memory=139808818706048 CPUtime=0 cores=0-7 /proc/22455/task/22458/stat : 22458 (java) S 22453 22453 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512671408 28904853504 7480 33554432000 4194304 4196468 140736315776272 140195876858256 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22459] ppid=22453 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22455/task/22459/stat : 22459 (java) S 22453 22453 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512671408 28904853504 7480 33554432000 4194304 4196468 140736315776272 140195875805712 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22460] ppid=22453 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22455/task/22460/stat : 22460 (java) S 22453 22453 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512671408 28904853504 7480 33554432000 4194304 4196468 140736315776272 140195874753168 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22461] ppid=22453 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22455/task/22461/stat : 22461 (java) S 22453 22453 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512671408 28904853504 7480 33554432000 4194304 4196468 140736315776272 140195873700624 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22462] ppid=22453 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/22455/task/22462/stat : 22462 (java) S 22453 22453 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512671408 28904853504 7480 33554432000 4194304 4196468 140736315776272 140195872648080 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22463] ppid=22453 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22455/task/22463/stat : 22463 (java) S 22453 22453 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512671408 28904853504 7480 33554432000 4194304 4196468 140736315776272 140195871595536 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22464] ppid=22453 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22455/task/22464/stat : 22464 (java) S 22453 22453 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512671408 28904853504 7480 33554432000 4194304 4196468 140736315776272 140195870542992 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22465] ppid=22453 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22455/task/22465/stat : 22465 (java) S 22453 22453 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512671410 28904853504 7480 33554432000 4194304 4196468 140736315776272 140194052409328 140195925301890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22466] ppid=22453 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22455/task/22466/stat : 22466 (java) S 22453 22453 20811 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512671410 28904853504 7480 33554432000 4194304 4196468 140736315776272 140194051355552 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22467] ppid=22453 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22455/task/22467/stat : 22467 (java) S 22453 22453 20811 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 512671410 28904853504 7480 33554432000 4194304 4196468 140736315776272 140194050302960 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22468] ppid=22453 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22455/task/22468/stat : 22468 (java) S 22453 22453 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512671413 28904853504 7480 33554432000 4194304 4196468 140736315776272 140194049251536 140195925309339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22469] ppid=22453 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22455/task/22469/stat : 22469 (java) S 22453 22453 20811 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 512671413 28904853504 7480 33554432000 4194304 4196468 140736315776272 140194048199152 140195925301890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22470] ppid=22453 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22455/task/22470/stat : 22470 (java) S 22453 22453 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512671413 28904853504 7480 33554432000 4194304 4196468 140736315776272 140194047146608 140195925301890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22471] ppid=22453 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22455/task/22471/stat : 22471 (java) S 22453 22453 20811 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 512671413 28904853504 7480 33554432000 4194304 4196468 140736315776272 140194046094064 140195925301890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22472] ppid=22453 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/22455/task/22472/stat : 22472 (java) R 22453 22453 20811 0 -1 4202560 364 0 0 0 2 0 0 0 20 0 20 0 512671413 28904853504 7480 33554432000 4194304 4196468 140736315776272 140194045041520 140195904718144 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22473] ppid=22453 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22455/task/22473/stat : 22473 (java) S 22453 22453 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512671413 28904853504 7480 33554432000 4194304 4196468 140736315776272 140194043988192 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22474] ppid=22453 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/22455/task/22474/stat : 22474 (java) S 22453 22453 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512671413 28904853504 7480 33554432000 4194304 4196468 140736315776272 140194042935728 140195925301890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31368 KiB [startup+0.210285 s]* /proc/loadavg: 5.32 6.83 7.10 2/211 22474 /proc/meminfo: memFree=25715652/32770624 swapFree=66992472/67108860 [pid=22453] ppid=22450 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/22453/stat : 22453 (xcsp3-exec) S 22450 22453 20811 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 512671407 115843072 362 33554432000 4194304 5098028 140732414300912 140732414299016 140658869854844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30900224 140732414309202 140732414309461 140732414309461 140732414312390 0 /proc/22453/statm: 28282 362 304 221 0 87 0 [pid=22455] ppid=22453 vsize=28227396 memory=40976 CPUtime=0.33 cores=0-7 /proc/22455/stat : 22455 (java) S 22453 22453 20811 0 -1 1077944320 9521 0 0 0 29 4 0 0 20 0 20 0 512671407 28904853504 10244 33554432000 4194304 4196468 140736315776272 140736315758816 140195925290743 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 /proc/22455/statm: 7056849 10244 3266 1 0 7019032 0 [pid=22455/tid=22456] ppid=22453 vsize=28227396 memory=0 CPUtime=0.19 cores=0-7 /proc/22455/task/22456/stat : 22456 (java) R 22453 22453 20811 0 -1 4202560 6669 0 0 0 17 2 0 0 20 0 20 0 512671408 28904853504 10244 33554432000 4194304 4196468 140736315776272 140195929522656 140195925302678 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22457] ppid=22453 vsize=28227396 memory=732369947156159461 CPUtime=0 cores=0-7 /proc/22455/task/22457/stat : 22457 (java) S 22453 22453 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512671408 28904853504 10244 33554432000 4194304 4196468 140736315776272 140195877910800 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22458] ppid=22453 vsize=28227396 memory=139808818706048 CPUtime=0 cores=0-7 /proc/22455/task/22458/stat : 22458 (java) S 22453 22453 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512671408 28904853504 10244 33554432000 4194304 4196468 140736315776272 140195876858256 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22459] ppid=22453 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22455/task/22459/stat : 22459 (java) S 22453 22453 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512671408 28904853504 10244 33554432000 4194304 4196468 140736315776272 140195875805712 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22460] ppid=22453 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22455/task/22460/stat : 22460 (java) S 22453 22453 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512671408 28904853504 10244 33554432000 4194304 4196468 140736315776272 140195874753168 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22461] ppid=22453 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22455/task/22461/stat : 22461 (java) S 22453 22453 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512671408 28904853504 10244 33554432000 4194304 4196468 140736315776272 140195873700624 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22462] ppid=22453 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/22455/task/22462/stat : 22462 (java) S 22453 22453 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512671408 28904853504 10244 33554432000 4194304 4196468 140736315776272 140195872648080 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22463] ppid=22453 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22455/task/22463/stat : 22463 (java) S 22453 22453 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512671408 28904853504 10244 33554432000 4194304 4196468 140736315776272 140195871595536 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22464] ppid=22453 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22455/task/22464/stat : 22464 (java) S 22453 22453 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512671408 28904853504 10244 33554432000 4194304 4196468 140736315776272 140195870542992 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22465] ppid=22453 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22455/task/22465/stat : 22465 (java) S 22453 22453 20811 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 512671410 28904853504 10244 33554432000 4194304 4196468 140736315776272 140194052409328 140195925301890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22466] ppid=22453 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22455/task/22466/stat : 22466 (java) S 22453 22453 20811 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512671410 28904853504 10244 33554432000 4194304 4196468 140736315776272 140194051355552 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22467] ppid=22453 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22455/task/22467/stat : 22467 (java) S 22453 22453 20811 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 512671410 28904853504 10244 33554432000 4194304 4196468 140736315776272 140194050302960 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22468] ppid=22453 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22455/task/22468/stat : 22468 (java) S 22453 22453 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512671413 28904853504 10244 33554432000 4194304 4196468 140736315776272 140194049251536 140195925309339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22469] ppid=22453 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/22455/task/22469/stat : 22469 (java) S 22453 22453 20811 0 -1 1077944384 572 0 0 0 2 0 0 0 20 0 20 0 512671413 28904853504 10244 33554432000 4194304 4196468 140736315776272 140194048199152 140195925301890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22470] ppid=22453 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22455/task/22470/stat : 22470 (java) S 22453 22453 20811 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 512671413 28904853504 10244 33554432000 4194304 4196468 140736315776272 140194047146608 140195925301890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22471] ppid=22453 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/22455/task/22471/stat : 22471 (java) S 22453 22453 20811 0 -1 1077944384 159 0 0 0 1 0 0 0 20 0 20 0 512671413 28904853504 10244 33554432000 4194304 4196468 140736315776272 140194046094064 140195925301890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22472] ppid=22453 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7 /proc/22455/task/22472/stat : 22472 (java) R 22453 22453 20811 0 -1 4202560 758 0 0 0 8 0 0 0 20 0 20 0 512671413 28904853504 10244 33554432000 4194304 4196468 140736315776272 140194045041520 140195925302678 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22473] ppid=22453 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22455/task/22473/stat : 22473 (java) S 22453 22453 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512671413 28904853504 10244 33554432000 4194304 4196468 140736315776272 140194043988192 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22474] ppid=22453 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/22455/task/22474/stat : 22474 (java) S 22453 22453 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512671413 28904853504 10244 33554432000 4194304 4196468 140736315776272 140194042935728 140195925301890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42424 KiB [startup+0.309692 s]* /proc/loadavg: 5.32 6.83 7.10 3/211 22474 /proc/meminfo: memFree=25709000/32770624 swapFree=66992472/67108860 [pid=22453] ppid=22450 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/22453/stat : 22453 (xcsp3-exec) S 22450 22453 20811 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 512671407 115843072 362 33554432000 4194304 5098028 140732414300912 140732414299016 140658869854844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30900224 140732414309202 140732414309461 140732414309461 140732414312390 0 /proc/22453/statm: 28282 362 304 221 0 87 0 [pid=22455] ppid=22453 vsize=28231652 memory=49548 CPUtime=0.52 cores=0-7 /proc/22455/stat : 22455 (java) S 22453 22453 20811 0 -1 1077944320 10787 0 0 0 47 5 0 0 20 0 20 0 512671407 28909211648 12387 33554432000 4194304 4196468 140736315776272 140736315758816 140195925290743 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 /proc/22455/statm: 7057913 12387 3309 1 0 7019032 0 [pid=22455/tid=22456] ppid=22453 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/22455/task/22456/stat : 22456 (java) R 22453 22453 20811 0 -1 4202560 7754 0 0 0 26 3 0 0 20 0 20 0 512671408 28909211648 12387 33554432000 4194304 4196468 140736315776272 140195929524528 140195909371230 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22457] ppid=22453 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/22455/task/22457/stat : 22457 (java) S 22453 22453 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512671408 28909211648 12387 33554432000 4194304 4196468 140736315776272 140195877910800 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22458] ppid=22453 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/22455/task/22458/stat : 22458 (java) S 22453 22453 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512671408 28909211648 12387 33554432000 4194304 4196468 140736315776272 140195876858256 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22459] ppid=22453 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/22455/task/22459/stat : 22459 (java) S 22453 22453 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512671408 28909211648 12387 33554432000 4194304 4196468 140736315776272 140195875805712 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22460] ppid=22453 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/22455/task/22460/stat : 22460 (java) S 22453 22453 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512671408 28909211648 12387 33554432000 4194304 4196468 140736315776272 140195874753168 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22461] ppid=22453 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/22455/task/22461/stat : 22461 (java) S 22453 22453 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512671408 28909211648 12387 33554432000 4194304 4196468 140736315776272 140195873700624 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22462] ppid=22453 vsize=28231652 memory=139808701770415 CPUtime=0 cores=0-7 /proc/22455/task/22462/stat : 22462 (java) S 22453 22453 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512671408 28909211648 12387 33554432000 4194304 4196468 140736315776272 140195872648080 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22463] ppid=22453 vsize=28231652 memory=139808701772720 CPUtime=0 cores=0-7 /proc/22455/task/22463/stat : 22463 (java) S 22453 22453 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512671408 28909211648 12432 33554432000 4194304 4196468 140736315776272 140195871595536 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22464] ppid=22453 vsize=28231652 memory=139808701775024 CPUtime=0 cores=0-7 /proc/22455/task/22464/stat : 22464 (java) S 22453 22453 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512671408 28909211648 12432 33554432000 4194304 4196468 140736315776272 140195870542992 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22465] ppid=22453 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/22455/task/22465/stat : 22465 (java) S 22453 22453 20811 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 512671410 28909211648 12432 33554432000 4194304 4196468 140736315776272 140194052409328 140195925301890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22466] ppid=22453 vsize=28231652 memory=279617403563920 CPUtime=0 cores=0-7 /proc/22455/task/22466/stat : 22466 (java) S 22453 22453 20811 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512671410 28909211648 12432 33554432000 4194304 4196468 140736315776272 140194051355552 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22467] ppid=22453 vsize=28231652 memory=279617403561616 CPUtime=0 cores=0-7 /proc/22455/task/22467/stat : 22467 (java) S 22453 22453 20811 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 512671410 28909211648 12432 33554432000 4194304 4196468 140736315776272 140194050302960 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22468] ppid=22453 vsize=28231652 memory=279617403568528 CPUtime=0 cores=0-7 /proc/22455/task/22468/stat : 22468 (java) S 22453 22453 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512671413 28909211648 12432 33554432000 4194304 4196468 140736315776272 140194049251536 140195925309339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22469] ppid=22453 vsize=28231652 memory=279617403509776 CPUtime=0.02 cores=0-7 /proc/22455/task/22469/stat : 22469 (java) S 22453 22453 20811 0 -1 1077944384 579 0 0 0 2 0 0 0 20 0 20 0 512671413 28909211648 12432 33554432000 4194304 4196468 140736315776272 140194048199152 140195925301890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22470] ppid=22453 vsize=28231652 memory=279617403582352 CPUtime=0.02 cores=0-7 /proc/22455/task/22470/stat : 22470 (java) R 22453 22453 20811 0 -1 4202560 139 0 0 0 2 0 0 0 20 0 20 0 512671413 28909211648 12432 33554432000 4194304 4196468 140736315776272 140194047136992 140195904515161 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22471] ppid=22453 vsize=28231652 memory=279617403589264 CPUtime=0.02 cores=0-7 /proc/22455/task/22471/stat : 22471 (java) S 22453 22453 20811 0 -1 1077944384 178 0 0 0 2 0 0 0 20 0 20 0 512671413 28909211648 12432 33554432000 4194304 4196468 140736315776272 140194046094064 140195925301890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22472] ppid=22453 vsize=28231652 memory=279617403586960 CPUtime=0.13 cores=0-7 /proc/22455/task/22472/stat : 22472 (java) S 22453 22453 20811 0 -1 1077944384 830 0 0 0 13 0 0 0 20 0 20 0 512671413 28909211648 12432 33554432000 4194304 4196468 140736315776272 140194045041520 140195925301890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22473] ppid=22453 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/22455/task/22473/stat : 22473 (java) S 22453 22453 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512671413 28909211648 12432 33554432000 4194304 4196468 140736315776272 140194043988192 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22474] ppid=22453 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/22455/task/22474/stat : 22474 (java) S 22453 22453 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512671413 28909211648 12432 33554432000 4194304 4196468 140736315776272 140194042935728 140195925301890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 50996 KiB [startup+0.707679 s] /proc/loadavg: 5.32 6.83 7.10 3/211 22474 /proc/meminfo: memFree=25689468/32770624 swapFree=66992472/67108860 [pid=22453] ppid=22450 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/22453/stat : 22453 (xcsp3-exec) S 22450 22453 20811 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 512671407 115843072 362 33554432000 4194304 5098028 140732414300912 140732414299016 140658869854844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30900224 140732414309202 140732414309461 140732414309461 140732414312390 0 /proc/22453/statm: 28282 362 304 221 0 87 0 [pid=22455] ppid=22453 vsize=28766288 memory=104124 CPUtime=1.65 cores=0-7 /proc/22455/stat : 22455 (java) S 22453 22453 20811 0 -1 1077944320 15355 0 0 0 157 8 0 0 20 0 28 0 512671407 29456678912 26031 33554432000 4194304 4196468 140736315776272 140736315758816 140195925290743 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 /proc/22455/statm: 7191572 26031 3452 1 0 7152672 0 [pid=22455/tid=22456] ppid=22453 vsize=28766288 memory=0 CPUtime=0.65 cores=0-7 /proc/22455/task/22456/stat : 22456 (java) S 22453 22453 20811 0 -1 1077944384 9381 0 0 0 60 5 0 0 20 0 28 0 512671408 29456678912 26031 33554432000 4194304 4196468 140736315776272 140195929531520 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22457] ppid=22453 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/22455/task/22457/stat : 22457 (java) S 22453 22453 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 512671408 29456678912 26031 33554432000 4194304 4196468 140736315776272 140195877910800 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22458] ppid=22453 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/22455/task/22458/stat : 22458 (java) S 22453 22453 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512671408 29456678912 26031 33554432000 4194304 4196468 140736315776272 140195876858256 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22459] ppid=22453 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/22455/task/22459/stat : 22459 (java) S 22453 22453 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512671408 29456678912 26031 33554432000 4194304 4196468 140736315776272 140195875805712 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 ################ # More data... # ################ [pid=22455/tid=22472] ppid=22453 vsize=28769364 memory=6077716988608927587 CPUtime=0.7 cores=0-7 /proc/22455/task/22472/stat : 22472 (java) S 22453 22453 20811 0 -1 1077944384 3449 0 0 0 69 1 0 0 20 0 28 0 512671413 29459828736 58534 33554432000 4194304 4196468 140736315776272 140194045041520 140195925301890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22473] ppid=22453 vsize=28769364 memory=7661856976100876881 CPUtime=0 cores=0-7 /proc/22455/task/22473/stat : 22473 (java) S 22453 22453 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512671413 29459828736 58534 33554432000 4194304 4196468 140736315776272 140194043988192 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22474] ppid=22453 vsize=28769364 memory=5859293441685411432 CPUtime=0 cores=0-7 /proc/22455/task/22474/stat : 22474 (java) R 22453 22453 20811 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 28 0 512671413 29459828736 58534 33554432000 4194304 4196468 140736315776272 140194042935728 140195925301890 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22555] ppid=22453 vsize=28769364 memory=7157464916349310570 CPUtime=5.64 cores=0-7 /proc/22455/task/22555/stat : 22555 (java) R 22453 22453 20811 0 -1 4202560 88 0 0 0 564 0 0 0 20 0 28 0 512671672 29459828736 58534 33554432000 4194304 4196468 140736315776272 140193715973496 140195539149255 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22556] ppid=22453 vsize=28769364 memory=5931339005366916706 CPUtime=5.57 cores=0-7 /proc/22455/task/22556/stat : 22556 (java) R 22453 22453 20811 0 -1 4202560 95 0 0 0 557 0 0 0 20 0 28 0 512671672 29459828736 58534 33554432000 4194304 4196468 140736315776272 140193723335136 140195539151155 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22557] ppid=22453 vsize=28769364 memory=6436317229975164517 CPUtime=5.54 cores=0-7 /proc/22455/task/22557/stat : 22557 (java) R 22453 22453 20811 0 -1 4202560 86 0 0 0 554 0 0 0 20 0 28 0 512671672 29459828736 58534 33554432000 4194304 4196468 140736315776272 140194041877120 140195539696819 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22558] ppid=22453 vsize=28769364 memory=7737571653187818321 CPUtime=5.56 cores=0-7 /proc/22455/task/22558/stat : 22558 (java) R 22453 22453 20811 0 -1 4202560 236 0 0 0 556 0 0 0 20 0 28 0 512671672 29459828736 58534 33554432000 4194304 4196468 140736315776272 140193721230184 140195541028416 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22559] ppid=22453 vsize=28769364 memory=7374198367756512621 CPUtime=5.51 cores=0-7 /proc/22455/task/22559/stat : 22559 (java) R 22453 22453 20811 0 -1 4202560 105 0 0 0 550 1 0 0 20 0 28 0 512671672 29459828736 58534 33554432000 4194304 4196468 140736315776272 140193724388328 140195539151221 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22560] ppid=22453 vsize=28769364 memory=5941181787629065366 CPUtime=5.51 cores=0-7 /proc/22455/task/22560/stat : 22560 (java) R 22453 22453 20811 0 -1 4202560 173 0 0 0 551 0 0 0 20 0 28 0 512671672 29459828736 58534 33554432000 4194304 4196468 140736315776272 140193720176752 140195539151258 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22561] ppid=22453 vsize=28769364 memory=279617404568196 CPUtime=5.56 cores=0-7 /proc/22455/task/22561/stat : 22561 (java) R 22453 22453 20811 0 -1 4202560 315 0 0 0 556 0 0 0 20 0 28 0 512671672 29459828736 58534 33554432000 4194304 4196468 140736315776272 140193719124096 140195541029327 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22562] ppid=22453 vsize=28769364 memory=634362231 CPUtime=5.53 cores=0-7 /proc/22455/task/22562/stat : 22562 (java) R 22453 22453 20811 0 -1 4202560 127 0 0 0 553 0 0 0 20 0 28 0 512671672 29459828736 58534 33554432000 4194304 4196468 140736315776272 140193722281312 140195539151503 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 Current children cumulated CPU time: 62.38 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 235584 KiB [startup+8.80168 s] /proc/loadavg: 6.03 6.93 7.14 9/219 22562 /proc/meminfo: memFree=25524148/32770624 swapFree=66992472/67108860 [pid=22453] ppid=22450 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/22453/stat : 22453 (xcsp3-exec) S 22450 22453 20811 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 512671407 115843072 362 33554432000 4194304 5098028 140732414300912 140732414299016 140658869854844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30900224 140732414309202 140732414309461 140732414309461 140732414312390 0 /proc/22453/statm: 28282 362 304 221 0 87 0 [pid=22455] ppid=22453 vsize=28769364 memory=234148 CPUtime=65.57 cores=0-7 /proc/22455/stat : 22455 (java) S 22453 22453 20811 0 -1 1077944320 36144 0 0 0 6534 23 0 0 20 0 28 0 512671407 29459828736 58537 33554432000 4194304 4196468 140736315776272 140736315758816 140195925290743 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 /proc/22455/statm: 7192341 58537 3523 1 0 7153441 0 [pid=22455/tid=22456] ppid=22453 vsize=28769364 memory=7017268344629781333 CPUtime=0.66 cores=0-7 /proc/22455/task/22456/stat : 22456 (java) S 22453 22453 20811 0 -1 1077944384 9385 0 0 0 61 5 0 0 20 0 28 0 512671408 29459828736 58537 33554432000 4194304 4196468 140736315776272 140195929531520 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22457] ppid=22453 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7 /proc/22455/task/22457/stat : 22457 (java) S 22453 22453 20811 0 -1 1077944384 70 0 0 0 1 0 0 0 20 0 28 0 512671408 29459828736 58537 33554432000 4194304 4196468 140736315776272 140195877910800 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22458] ppid=22453 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/22455/task/22458/stat : 22458 (java) S 22453 22453 20811 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 512671408 29459828736 58537 33554432000 4194304 4196468 140736315776272 140195876858256 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22459] ppid=22453 vsize=28769364 memory=279617403697536 CPUtime=0 cores=0-7 /proc/22455/task/22459/stat : 22459 (java) S 22453 22453 20811 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 512671408 29459828736 58537 33554432000 4194304 4196468 140736315776272 140195875805712 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22460] ppid=22453 vsize=28769364 memory=279617403697600 CPUtime=0 cores=0-7 /proc/22455/task/22460/stat : 22460 (java) S 22453 22453 20811 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 28 0 512671408 29459828736 58537 33554432000 4194304 4196468 140736315776272 140195874753168 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22461] ppid=22453 vsize=28769364 memory=4412 CPUtime=0.01 cores=0-7 /proc/22455/task/22461/stat : 22461 (java) S 22453 22453 20811 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 28 0 512671408 29459828736 58537 33554432000 4194304 4196468 140736315776272 140195873700624 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22462] ppid=22453 vsize=28769364 memory=4100 CPUtime=0 cores=0-7 /proc/22455/task/22462/stat : 22462 (java) S 22453 22453 20811 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 512671408 29459828736 58537 33554432000 4194304 4196468 140736315776272 140195872648080 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22463] ppid=22453 vsize=28769364 memory=1412 CPUtime=0 cores=0-7 /proc/22455/task/22463/stat : 22463 (java) S 22453 22453 20811 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 28 0 512671408 29459828736 58537 33554432000 4194304 4196468 140736315776272 140195871595536 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22464] ppid=22453 vsize=28769364 memory=2824 CPUtime=0 cores=0-7 /proc/22455/task/22464/stat : 22464 (java) S 22453 22453 20811 0 -1 1077944384 798 0 0 0 0 0 0 0 20 0 28 0 512671408 29459828736 58537 33554432000 4194304 4196468 140736315776272 140195870542992 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22465] ppid=22453 vsize=28769364 memory=1448 CPUtime=0 cores=0-7 /proc/22455/task/22465/stat : 22465 (java) S 22453 22453 20811 0 -1 1077944384 410 0 0 0 0 0 0 0 20 0 28 0 512671410 29459828736 58537 33554432000 4194304 4196468 140736315776272 140194052409328 140195925301890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22466] ppid=22453 vsize=28769364 memory=234136 CPUtime=0 cores=0-7 /proc/22455/task/22466/stat : 22466 (java) S 22453 22453 20811 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 512671410 29459828736 58537 33554432000 4194304 4196468 140736315776272 140194051355616 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22467] ppid=22453 vsize=28769364 memory=1720 CPUtime=0 cores=0-7 /proc/22455/task/22467/stat : 22467 (java) S 22453 22453 20811 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 512671410 29459828736 58537 33554432000 4194304 4196468 140736315776272 140194050302960 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22468] ppid=22453 vsize=28769364 memory=56 CPUtime=0 cores=0-7 /proc/22455/task/22468/stat : 22468 (java) S 22453 22453 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512671413 29459828736 58537 33554432000 4194304 4196468 140736315776272 140194049251536 140195925309339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22469] ppid=22453 vsize=28769364 memory=288230583169037978 CPUtime=2.04 cores=0-7 /proc/22455/task/22469/stat : 22469 (java) S 22453 22453 20811 0 -1 1077944384 6774 0 0 0 202 2 0 0 20 0 28 0 512671413 29459828736 58537 33554432000 4194304 4196468 140736315776272 140194048199152 140195925301890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22470] ppid=22453 vsize=28769364 memory=7162227957635769173 CPUtime=1.68 cores=0-7 /proc/22455/task/22470/stat : 22470 (java) S 22453 22453 20811 0 -1 1077944384 4222 0 0 0 167 1 0 0 20 0 28 0 512671413 29459828736 58537 33554432000 4194304 4196468 140736315776272 140194047146608 140195925301890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22471] ppid=22453 vsize=28769364 memory=6011016219668141418 CPUtime=2.01 cores=0-7 /proc/22455/task/22471/stat : 22471 (java) S 22453 22453 20811 0 -1 1077944384 6116 0 0 0 199 2 0 0 20 0 28 0 512671413 29459828736 58537 33554432000 4194304 4196468 140736315776272 140194046094064 140195925301890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22472] ppid=22453 vsize=28769364 memory=7451035577176647792 CPUtime=0.7 cores=0-7 /proc/22455/task/22472/stat : 22472 (java) S 22453 22453 20811 0 -1 1077944384 3509 0 0 0 69 1 0 0 20 0 28 0 512671413 29459828736 58537 33554432000 4194304 4196468 140736315776272 140194045041520 140195925301890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22473] ppid=22453 vsize=28769364 memory=4639948313719891052 CPUtime=0 cores=0-7 /proc/22455/task/22473/stat : 22473 (java) S 22453 22453 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512671413 29459828736 58537 33554432000 4194304 4196468 140736315776272 140194043988192 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22474] ppid=22453 vsize=28769364 memory=5866903221907778406 CPUtime=0 cores=0-7 /proc/22455/task/22474/stat : 22474 (java) S 22453 22453 20811 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 28 0 512671413 29459828736 58537 33554432000 4194304 4196468 140736315776272 140194042935728 140195925301890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22555] ppid=22453 vsize=28769364 memory=56 CPUtime=6.04 cores=0-7 /proc/22455/task/22555/stat : 22555 (java) R 22453 22453 20811 0 -1 4202560 88 0 0 0 604 0 0 0 20 0 28 0 512671672 29459828736 58537 33554432000 4194304 4196468 140736315776272 140193715973496 140195539149903 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22556] ppid=22453 vsize=28769364 memory=279617404781760 CPUtime=5.97 cores=0-7 /proc/22455/task/22556/stat : 22556 (java) R 22453 22453 20811 0 -1 4202560 97 0 0 0 597 0 0 0 20 0 28 0 512671672 29459828736 58537 33554432000 4194304 4196468 140736315776272 140193723335168 140195540468670 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22557] ppid=22453 vsize=28769364 memory=279617404781824 CPUtime=5.94 cores=0-7 /proc/22455/task/22557/stat : 22557 (java) R 22453 22453 20811 0 -1 4202560 87 0 0 0 594 0 0 0 20 0 28 0 512671672 29459828736 58537 33554432000 4194304 4196468 140736315776272 140194041877088 140195540741362 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22558] ppid=22453 vsize=28769364 memory=6656426216303648864 CPUtime=5.96 cores=0-7 /proc/22455/task/22558/stat : 22558 (java) R 22453 22453 20811 0 -1 4202560 236 0 0 0 596 0 0 0 20 0 28 0 512671672 29459828736 58537 33554432000 4194304 4196468 140736315776272 140193721229544 140195539149914 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22559] ppid=22453 vsize=28769364 memory=-2893623298589923098 CPUtime=5.91 cores=0-7 /proc/22455/task/22559/stat : 22559 (java) R 22453 22453 20811 0 -1 4202560 106 0 0 0 590 1 0 0 20 0 28 0 512671672 29459828736 58537 33554432000 4194304 4196468 140736315776272 140193724387784 140195541028564 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22560] ppid=22453 vsize=28769364 memory=6926605841108461888 CPUtime=5.89 cores=0-7 /proc/22455/task/22560/stat : 22560 (java) R 22453 22453 20811 0 -1 4202560 173 0 0 0 589 0 0 0 20 0 28 0 512671672 29459828736 58537 33554432000 4194304 4196468 140736315776272 140193720177592 140195539119496 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22561] ppid=22453 vsize=28769364 memory=7017268344629781333 CPUtime=5.96 cores=0-7 /proc/22455/task/22561/stat : 22561 (java) R 22453 22453 20811 0 -1 4202560 318 0 0 0 596 0 0 0 20 0 28 0 512671672 29459828736 58537 33554432000 4194304 4196468 140736315776272 140193719124096 140195539119932 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22562] ppid=22453 vsize=28769364 memory=7649399371413598770 CPUtime=5.93 cores=0-7 /proc/22455/task/22562/stat : 22562 (java) R 22453 22453 20811 0 -1 4202560 128 0 0 0 593 0 0 0 20 0 28 0 512671672 29459828736 58537 33554432000 4194304 4196468 140736315776272 140193722282032 140195539695861 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 Current children cumulated CPU time: 65.57 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 235596 KiB [startup+8.90168 s] /proc/loadavg: 6.03 6.93 7.14 9/219 22562 /proc/meminfo: memFree=25524148/32770624 swapFree=66992472/67108860 [pid=22453] ppid=22450 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/22453/stat : 22453 (xcsp3-exec) S 22450 22453 20811 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 512671407 115843072 362 33554432000 4194304 5098028 140732414300912 140732414299016 140658869854844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30900224 140732414309202 140732414309461 140732414309461 140732414312390 0 /proc/22453/statm: 28282 362 304 221 0 87 0 [pid=22455] ppid=22453 vsize=28769364 memory=234148 CPUtime=66.37 cores=0-7 /proc/22455/stat : 22455 (java) S 22453 22453 20811 0 -1 1077944320 36144 0 0 0 6614 23 0 0 20 0 28 0 512671407 29459828736 58537 33554432000 4194304 4196468 140736315776272 140736315758816 140195925290743 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 /proc/22455/statm: 7192341 58537 3523 1 0 7153441 0 [pid=22455/tid=22456] ppid=22453 vsize=28769364 memory=279617404402720 CPUtime=0.66 cores=0-7 /proc/22455/task/22456/stat : 22456 (java) S 22453 22453 20811 0 -1 1077944384 9385 0 0 0 61 5 0 0 20 0 28 0 512671408 29459828736 58537 33554432000 4194304 4196468 140736315776272 140195929531520 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22457] ppid=22453 vsize=28769364 memory=57 CPUtime=0.01 cores=0-7 /proc/22455/task/22457/stat : 22457 (java) S 22453 22453 20811 0 -1 1077944384 70 0 0 0 1 0 0 0 20 0 28 0 512671408 29459828736 58537 33554432000 4194304 4196468 140736315776272 140195877910800 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22458] ppid=22453 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/22455/task/22458/stat : 22458 (java) S 22453 22453 20811 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 512671408 29459828736 58537 33554432000 4194304 4196468 140736315776272 140195876858256 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22459] ppid=22453 vsize=28769364 memory=1448 CPUtime=0 cores=0-7 /proc/22455/task/22459/stat : 22459 (java) S 22453 22453 20811 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 512671408 29459828736 58537 33554432000 4194304 4196468 140736315776272 140195875805712 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22460] ppid=22453 vsize=28769364 memory=234136 CPUtime=0 cores=0-7 /proc/22455/task/22460/stat : 22460 (java) S 22453 22453 20811 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 28 0 512671408 29459828736 58537 33554432000 4194304 4196468 140736315776272 140195874753168 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22461] ppid=22453 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7 /proc/22455/task/22461/stat : 22461 (java) S 22453 22453 20811 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 28 0 512671408 29459828736 58537 33554432000 4194304 4196468 140736315776272 140195873700624 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22462] ppid=22453 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/22455/task/22462/stat : 22462 (java) S 22453 22453 20811 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 512671408 29459828736 58537 33554432000 4194304 4196468 140736315776272 140195872648080 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22463] ppid=22453 vsize=28769364 memory=233776 CPUtime=0 cores=0-7 /proc/22455/task/22463/stat : 22463 (java) S 22453 22453 20811 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 28 0 512671408 29459828736 58537 33554432000 4194304 4196468 140736315776272 140195871595536 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22464] ppid=22453 vsize=28769364 memory=7597685182856913236 CPUtime=0 cores=0-7 /proc/22455/task/22464/stat : 22464 (java) S 22453 22453 20811 0 -1 1077944384 798 0 0 0 0 0 0 0 20 0 28 0 512671408 29459828736 58537 33554432000 4194304 4196468 140736315776272 140195870542992 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22465] ppid=22453 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/22455/task/22465/stat : 22465 (java) S 22453 22453 20811 0 -1 1077944384 410 0 0 0 0 0 0 0 20 0 28 0 512671410 29459828736 58537 33554432000 4194304 4196468 140736315776272 140194052409328 140195925301890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22466] ppid=22453 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/22455/task/22466/stat : 22466 (java) S 22453 22453 20811 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 512671410 29459828736 58537 33554432000 4194304 4196468 140736315776272 140194051355616 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22467] ppid=22453 vsize=28769364 memory=1448 CPUtime=0 cores=0-7 /proc/22455/task/22467/stat : 22467 (java) S 22453 22453 20811 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 512671410 29459828736 58537 33554432000 4194304 4196468 140736315776272 140194050302960 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22468] ppid=22453 vsize=28769364 memory=233740 CPUtime=0 cores=0-7 /proc/22455/task/22468/stat : 22468 (java) S 22453 22453 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512671413 29459828736 58537 33554432000 4194304 4196468 140736315776272 140194049251536 140195925309339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22469] ppid=22453 vsize=28769364 memory=139808702250256 CPUtime=2.04 cores=0-7 /proc/22455/task/22469/stat : 22469 (java) S 22453 22453 20811 0 -1 1077944384 6774 0 0 0 202 2 0 0 20 0 28 0 512671413 29459828736 58537 33554432000 4194304 4196468 140736315776272 140194048199152 140195925301890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22470] ppid=22453 vsize=28769364 memory=1324 CPUtime=1.68 cores=0-7 /proc/22455/task/22470/stat : 22470 (java) S 22453 22453 20811 0 -1 1077944384 4222 0 0 0 167 1 0 0 20 0 28 0 512671413 29459828736 58537 33554432000 4194304 4196468 140736315776272 140194047146608 140195925301890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22471] ppid=22453 vsize=28769364 memory=780 CPUtime=2.01 cores=0-7 /proc/22455/task/22471/stat : 22471 (java) S 22453 22453 20811 0 -1 1077944384 6116 0 0 0 199 2 0 0 20 0 28 0 512671413 29459828736 58537 33554432000 4194304 4196468 140736315776272 140194046094064 140195925301890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22472] ppid=22453 vsize=28769364 memory=3620 CPUtime=0.7 cores=0-7 /proc/22455/task/22472/stat : 22472 (java) S 22453 22453 20811 0 -1 1077944384 3509 0 0 0 69 1 0 0 20 0 28 0 512671413 29459828736 58537 33554432000 4194304 4196468 140736315776272 140194045041520 140195925301890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22473] ppid=22453 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/22455/task/22473/stat : 22473 (java) S 22453 22453 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512671413 29459828736 58537 33554432000 4194304 4196468 140736315776272 140194043988192 140195925300949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22474] ppid=22453 vsize=28769364 memory=7377828998151301164 CPUtime=0 cores=0-7 /proc/22455/task/22474/stat : 22474 (java) S 22453 22453 20811 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 28 0 512671413 29459828736 58537 33554432000 4194304 4196468 140736315776272 140194042935728 140195925301890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22555] ppid=22453 vsize=28769364 memory=-7171091275459367116 CPUtime=6.14 cores=0-7 /proc/22455/task/22555/stat : 22555 (java) R 22453 22453 20811 0 -1 4202560 88 0 0 0 614 0 0 0 20 0 28 0 512671672 29459828736 58537 33554432000 4194304 4196468 140736315776272 140193715973496 140195539254834 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22556] ppid=22453 vsize=28769364 memory=1448 CPUtime=6.07 cores=0-7 /proc/22455/task/22556/stat : 22556 (java) R 22453 22453 20811 0 -1 4202560 97 0 0 0 607 0 0 0 20 0 28 0 512671672 29459828736 58537 33554432000 4194304 4196468 140736315776272 140193723335168 140195539119088 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22557] ppid=22453 vsize=28769364 memory=234136 CPUtime=6.04 cores=0-7 /proc/22455/task/22557/stat : 22557 (java) R 22453 22453 20811 0 -1 4202560 87 0 0 0 604 0 0 0 20 0 28 0 512671672 29459828736 58537 33554432000 4194304 4196468 140736315776272 140194041877088 140195540468160 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22558] ppid=22453 vsize=28769364 memory=0 CPUtime=6.06 cores=0-7 /proc/22455/task/22558/stat : 22558 (java) R 22453 22453 20811 0 -1 4202560 236 0 0 0 606 0 0 0 20 0 28 0 512671672 29459828736 58537 33554432000 4194304 4196468 140736315776272 140193721229544 140195539118991 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22559] ppid=22453 vsize=28769364 memory=139808702187505 CPUtime=6.01 cores=0-7 /proc/22455/task/22559/stat : 22559 (java) R 22453 22453 20811 0 -1 4202560 106 0 0 0 600 1 0 0 20 0 28 0 512671672 29459828736 58537 33554432000 4194304 4196468 140736315776272 140193724387784 140195539150383 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22560] ppid=22453 vsize=28769364 memory=6655300316396806240 CPUtime=5.99 cores=0-7 /proc/22455/task/22560/stat : 22560 (java) R 22453 22453 20811 0 -1 4202560 173 0 0 0 599 0 0 0 20 0 28 0 512671672 29459828736 58537 33554432000 4194304 4196468 140736315776272 140193720177592 140195541029555 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22561] ppid=22453 vsize=28769364 memory=0 CPUtime=6.06 cores=0-7 /proc/22455/task/22561/stat : 22561 (java) R 22453 22453 20811 0 -1 4202560 318 0 0 0 606 0 0 0 20 0 28 0 512671672 29459828736 58537 33554432000 4194304 4196468 140736315776272 140193719124096 140195539695871 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 [pid=22455/tid=22562] ppid=22453 vsize=28769364 memory=0 CPUtime=6.03 cores=0-7 /proc/22455/task/22562/stat : 22562 (java) R 22453 22453 20811 0 -1 4202560 128 0 0 0 603 0 0 0 20 0 28 0 512671672 29459828736 58537 33554432000 4194304 4196468 140736315776272 140193722282168 140195539151155 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 7229440 140736315782102 140736315782278 140736315782278 140736315785167 0 Current children cumulated CPU time: 66.37 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 235596 KiB Child status: 0 Real time (s): 8.97935 CPU time (s): 66.9179 CPU user time (s): 66.6686 CPU system time (s): 0.249258 CPU usage (%): 745.242 Max. virtual memory (cumulated for all children) (KiB): 28882492 Max. memory (cumulated for all children) (KiB): 235596 getrusage(RUSAGE_CHILDREN,...) data: user time used= 66.6686 system time used= 0.249258 maximum resident set size= 234392 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 37313 page faults= 0 swaps= 0 block input operations= 0 block output operations= 152 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5033 involuntary context switches= 1469 # summary of solver processes directly reported to runsolver: # pid: 22453 # total CPU time (s): 66.9179 # total CPU user time (s): 66.6686 # total CPU system time (s): 0.249258 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.086612 second user time and 0.139333 second system time The end
Begin job on node121 at 2019-09-25 00:27:25 IDJOB=4407016 IDBENCH=141371 IDSOLVER=2871 FILE ID=node121/4407016-1569364088 RUNJOBID= node121-1569357356-20838 PBS_JOBID= 21705107 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP18/GolombRuler/GolombRuler-a3v18-10_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-4407016-1569364088/watcher-4407016-1569364088 -o /var/tmp/evaluation-result-4407016-1569364088/solver-4407016-1569364088 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node121-1569357356-20838 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 647135315 HOME/instance-4407016-1569364088.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= fd7701f01011f2453d3fac3f444f25b8 RANDOM SEED=647135315 node121.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.75 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.75 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.75 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.75 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: 25745572 kB MemAvailable: 31845492 kB Buffers: 155948 kB Cached: 6034028 kB SwapCached: 4680 kB Active: 3071464 kB Inactive: 3126444 kB Active(anon): 2532 kB Inactive(anon): 55024 kB Active(file): 3068932 kB Inactive(file): 3071420 kB Unevictable: 109592 kB Mlocked: 109592 kB SwapTotal: 67108860 kB SwapFree: 66992472 kB Dirty: 26064 kB Writeback: 28 kB AnonPages: 113344 kB Mapped: 53580 kB Shmem: 41156 kB Slab: 417332 kB SReclaimable: 388028 kB SUnreclaim: 29304 kB KernelStack: 3376 kB PageTables: 5672 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514984 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: 122240 kB DirectMap2M: 33423360 kB Free space on /var/tmp at the end= 13484 MiB End job on node121 at 2019-09-25 00:27:34