Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 14 | 94.6619 | 12.4388 |
Name | QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc16e.xml |
MD5SUM | 9478703244e8f640224ac5c9e01083b8 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 14 |
Best CPU time to get the best result obtained on this benchmark | 13.1433 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 272 |
Number of constraints | 22 |
Number of domains | 2 |
Minimum domain size | 4 |
Maximum domain size | 16 |
Distribution of domain sizes | [{"size":4,"count":21},{"size":16,"count":16}] |
Minimum variable degree | 0 |
Maximum variable degree | 7 |
Distribution of variable degrees | [{"degree":0,"count":235},{"degree":1,"count":7},{"degree":2,"count":23},{"degree":5,"count":1},{"degree":7,"count":6}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 16 |
Distribution of constraint arities | [{"arity":3,"count":21},{"arity":16,"count":1}] |
Number of extensional constraints | 21 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":21},{"type":"allDifferent","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394368-1568421911.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4394368-1568421911.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 1.08/0.59 c solve instance... 1.48/0.68 o 31 1.48/0.69 o 25 2.06/0.70 o 23 2.06/0.71 o 21 2.06/0.73 o 19 2.75/0.86 o 18 2.75/0.88 o 17 3.47/0.93 o 15 5.04/1.19 o 14 94.54/12.41 s OPTIMUM FOUND 94.54/12.41 v <instantiation> 94.54/12.41 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] d[0][2] d[0][3] d[0][5] d[0][6] d[0][7] d[0][8] d[1][3] d[3][5] d[3][6] d[3][7] d[3][8] d[4][5] d[4][6] d[4][7] d[4][8] d[5][6] d[5][7] d[5][8] d[6][7] d[6][8] d[7][8] </list> 94.54/12.41 v <values>13 11 9 15 6 12 14 4 5 0 7 8 10 1 2 3 0 0 0 1 1 0 0 1 0 2 1 1 0 0 1 0 0 1 1 2 0 </values> 94.54/12.41 v </instantiation>
OK 14
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 (10782 MiB free) memory of node 1: 16384 MiB (15658 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394368-1568421911/watcher-4394368-1568421911 -o /tmp/evaluation-result-4394368-1568421911/solver-4394368-1568421911 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1568416728-26452 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 353299630 HOME/instance-4394368-1568421911.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=29912, runsolver pid=29909 [startup+0.100142 s]* /proc/loadavg: 6.55 7.95 7.76 3/212 29933 /proc/meminfo: memFree=27059912/32770624 swapFree=67021420/67108860 [pid=29912] ppid=29909 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/29912/stat : 29912 (xcsp3-exec) S 29909 29912 26425 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418463704 115843072 364 33554432000 4194304 5098028 140733199033616 140733199031720 140540516725372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38948864 140733199037302 140733199037545 140733199037545 140733199040458 0 /proc/29912/statm: 28282 364 305 221 0 87 0 [pid=29914] ppid=29912 vsize=28227388 memory=28936 CPUtime=0.12 cores=0-7 /proc/29914/stat : 29914 (java) S 29912 29912 26425 0 -1 1077944320 5705 0 0 0 11 1 0 0 20 0 20 0 418463705 28904845312 7234 33554432000 4194304 4196468 140725576108624 140725576091168 140639298572023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 /proc/29914/statm: 7056847 7234 3119 1 0 7019032 0 [pid=29914/tid=29915] ppid=29912 vsize=28227388 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/29914/task/29915/stat : 29915 (java) R 29912 29912 26425 0 -1 1077944384 3616 0 0 0 8 0 0 0 20 0 20 0 418463705 28904845312 7234 33554432000 4194304 4196468 140725576108624 140639302801200 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29916] ppid=29912 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/29914/task/29916/stat : 29916 (java) S 29912 29912 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418463706 28904845312 7234 33554432000 4194304 4196468 140725576108624 140639251192720 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29917] ppid=29912 vsize=28227388 memory=140065675851392 CPUtime=0 cores=0-7 /proc/29914/task/29917/stat : 29917 (java) S 29912 29912 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418463706 28904845312 7234 33554432000 4194304 4196468 140725576108624 140639250139920 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29918] ppid=29912 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/29914/task/29918/stat : 29918 (java) S 29912 29912 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418463706 28904845312 7234 33554432000 4194304 4196468 140725576108624 140639249087632 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29919] ppid=29912 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/29914/task/29919/stat : 29919 (java) S 29912 29912 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418463706 28904845312 7234 33554432000 4194304 4196468 140725576108624 140639248034832 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29920] ppid=29912 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/29914/task/29920/stat : 29920 (java) S 29912 29912 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418463706 28904845312 7234 33554432000 4194304 4196468 140725576108624 140639246981520 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29921] ppid=29912 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/29914/task/29921/stat : 29921 (java) S 29912 29912 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418463706 28904845312 7234 33554432000 4194304 4196468 140725576108624 140639245928720 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29922] ppid=29912 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/29914/task/29922/stat : 29922 (java) S 29912 29912 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418463706 28904845312 7234 33554432000 4194304 4196468 140725576108624 140639244876432 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29923] ppid=29912 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/29914/task/29923/stat : 29923 (java) S 29912 29912 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418463706 28904845312 7234 33554432000 4194304 4196468 140725576108624 140639243823632 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29924] ppid=29912 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/29914/task/29924/stat : 29924 (java) S 29912 29912 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418463707 28904845312 7234 33554432000 4194304 4196468 140725576108624 140638616046192 140639298583170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29925] ppid=29912 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/29914/task/29925/stat : 29925 (java) S 29912 29912 26425 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418463708 28904845312 7234 33554432000 4194304 4196468 140725576108624 140638614992160 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29926] ppid=29912 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/29914/task/29926/stat : 29926 (java) S 29912 29912 26425 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418463708 28904845312 7234 33554432000 4194304 4196468 140725576108624 140638613939824 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29927] ppid=29912 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/29914/task/29927/stat : 29927 (java) S 29912 29912 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418463710 28904845312 7234 33554432000 4194304 4196468 140725576108624 140638612888144 140639298590619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29928] ppid=29912 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/29914/task/29928/stat : 29928 (java) S 29912 29912 26425 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 418463710 28904845312 7234 33554432000 4194304 4196468 140725576108624 140638611834992 140639298583170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29929] ppid=29912 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/29914/task/29929/stat : 29929 (java) R 29912 29912 26425 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 418463710 28904845312 7234 33554432000 4194304 4196468 140725576108624 140638610782192 140639281995853 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29930] ppid=29912 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/29914/task/29930/stat : 29930 (java) S 29912 29912 26425 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 418463710 28904845312 7234 33554432000 4194304 4196468 140725576108624 140638609729904 140639298583170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29931] ppid=29912 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/29914/task/29931/stat : 29931 (java) R 29912 29912 26425 0 -1 4202560 352 0 0 0 2 0 0 0 20 0 20 0 418463710 28904845312 7234 33554432000 4194304 4196468 140725576108624 140638608677104 140639298583958 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29932] ppid=29912 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/29914/task/29932/stat : 29932 (java) S 29912 29912 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418463710 28904845312 7234 33554432000 4194304 4196468 140725576108624 140638607625056 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29933] ppid=29912 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/29914/task/29933/stat : 29933 (java) S 29912 29912 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418463711 28904845312 7234 33554432000 4194304 4196468 140725576108624 140638606572336 140639298583170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 30392 KiB [startup+0.210164 s]* /proc/loadavg: 6.55 7.95 7.76 3/212 29933 /proc/meminfo: memFree=27045604/32770624 swapFree=67021420/67108860 [pid=29912] ppid=29909 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/29912/stat : 29912 (xcsp3-exec) S 29909 29912 26425 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418463704 115843072 364 33554432000 4194304 5098028 140733199033616 140733199031720 140540516725372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38948864 140733199037302 140733199037545 140733199037545 140733199040458 0 /proc/29912/statm: 28282 364 305 221 0 87 0 [pid=29914] ppid=29912 vsize=28227388 memory=41148 CPUtime=0.34 cores=0-7 /proc/29914/stat : 29914 (java) S 29912 29912 26425 0 -1 1077944320 9533 0 0 0 31 3 0 0 20 0 20 0 418463705 28904845312 10287 33554432000 4194304 4196468 140725576108624 140725576091168 140639298572023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 /proc/29914/statm: 7056847 10287 3303 1 0 7019032 0 [pid=29914/tid=29915] ppid=29912 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/29914/task/29915/stat : 29915 (java) R 29912 29912 26425 0 -1 4202560 6647 0 0 0 18 2 0 0 20 0 20 0 418463705 28904845312 10287 33554432000 4194304 4196468 140725576108624 140639302808720 140639282652510 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29916] ppid=29912 vsize=28227388 memory=331 CPUtime=0 cores=0-7 /proc/29914/task/29916/stat : 29916 (java) S 29912 29912 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418463706 28904845312 10287 33554432000 4194304 4196468 140725576108624 140639251192720 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29917] ppid=29912 vsize=28227388 memory=140065678955954 CPUtime=0 cores=0-7 /proc/29914/task/29917/stat : 29917 (java) S 29912 29912 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418463706 28904845312 10287 33554432000 4194304 4196468 140725576108624 140639250139920 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29918] ppid=29912 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/29914/task/29918/stat : 29918 (java) S 29912 29912 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418463706 28904845312 10287 33554432000 4194304 4196468 140725576108624 140639249087632 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29919] ppid=29912 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/29914/task/29919/stat : 29919 (java) S 29912 29912 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418463706 28904845312 10287 33554432000 4194304 4196468 140725576108624 140639248034832 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29920] ppid=29912 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/29914/task/29920/stat : 29920 (java) S 29912 29912 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418463706 28904845312 10287 33554432000 4194304 4196468 140725576108624 140639246981520 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29921] ppid=29912 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/29914/task/29921/stat : 29921 (java) S 29912 29912 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418463706 28904845312 10287 33554432000 4194304 4196468 140725576108624 140639245928720 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29922] ppid=29912 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/29914/task/29922/stat : 29922 (java) S 29912 29912 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418463706 28904845312 10287 33554432000 4194304 4196468 140725576108624 140639244876432 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29923] ppid=29912 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/29914/task/29923/stat : 29923 (java) S 29912 29912 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418463706 28904845312 10287 33554432000 4194304 4196468 140725576108624 140639243823632 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29924] ppid=29912 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/29914/task/29924/stat : 29924 (java) S 29912 29912 26425 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418463707 28904845312 10287 33554432000 4194304 4196468 140725576108624 140638616046192 140639298583170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29925] ppid=29912 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/29914/task/29925/stat : 29925 (java) S 29912 29912 26425 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418463708 28904845312 10287 33554432000 4194304 4196468 140725576108624 140638614992160 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29926] ppid=29912 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/29914/task/29926/stat : 29926 (java) S 29912 29912 26425 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418463708 28904845312 10287 33554432000 4194304 4196468 140725576108624 140638613939824 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29927] ppid=29912 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/29914/task/29927/stat : 29927 (java) S 29912 29912 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418463710 28904845312 10287 33554432000 4194304 4196468 140725576108624 140638612888144 140639298590619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29928] ppid=29912 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/29914/task/29928/stat : 29928 (java) S 29912 29912 26425 0 -1 1077944384 506 0 0 0 1 0 0 0 20 0 20 0 418463710 28904845312 10287 33554432000 4194304 4196468 140725576108624 140638611834992 140639298583170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29929] ppid=29912 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/29914/task/29929/stat : 29929 (java) S 29912 29912 26425 0 -1 1077944384 80 0 0 0 1 0 0 0 20 0 20 0 418463710 28904845312 10287 33554432000 4194304 4196468 140725576108624 140638610782192 140639298583170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29930] ppid=29912 vsize=28227388 memory=-1 CPUtime=0.02 cores=0-7 /proc/29914/task/29930/stat : 29930 (java) S 29912 29912 26425 0 -1 1077944384 222 0 0 0 2 0 0 0 20 0 20 0 418463710 28904845312 10287 33554432000 4194304 4196468 140725576108624 140638609729904 140639298583170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29931] ppid=29912 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7 /proc/29914/task/29931/stat : 29931 (java) S 29912 29912 26425 0 -1 1077944384 766 0 0 0 8 0 0 0 20 0 20 0 418463710 28904845312 10287 33554432000 4194304 4196468 140725576108624 140638608677104 140639298583170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29932] ppid=29912 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/29914/task/29932/stat : 29932 (java) S 29912 29912 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418463710 28904845312 10287 33554432000 4194304 4196468 140725576108624 140638607625056 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29933] ppid=29912 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/29914/task/29933/stat : 29933 (java) S 29912 29912 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418463711 28904845312 10287 33554432000 4194304 4196468 140725576108624 140638606572336 140639298583170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42604 KiB [startup+0.309587 s]* /proc/loadavg: 6.55 7.95 7.76 3/212 29933 /proc/meminfo: memFree=27038780/32770624 swapFree=67021420/67108860 [pid=29912] ppid=29909 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/29912/stat : 29912 (xcsp3-exec) S 29909 29912 26425 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418463704 115843072 364 33554432000 4194304 5098028 140733199033616 140733199031720 140540516725372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38948864 140733199037302 140733199037545 140733199037545 140733199040458 0 /proc/29912/statm: 28282 364 305 221 0 87 0 [pid=29914] ppid=29912 vsize=28231644 memory=50552 CPUtime=0.53 cores=0-7 /proc/29914/stat : 29914 (java) S 29912 29912 26425 0 -1 1077944320 10968 0 0 0 49 4 0 0 20 0 20 0 418463705 28909203456 12573 33554432000 4194304 4196468 140725576108624 140725576091168 140639298572023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 /proc/29914/statm: 7057911 12573 3347 1 0 7019032 0 [pid=29914/tid=29915] ppid=29912 vsize=28231644 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/29914/task/29915/stat : 29915 (java) R 29912 29912 26425 0 -1 4202560 7835 0 0 0 27 3 0 0 20 0 20 0 418463705 28909203456 12638 33554432000 4194304 4196468 140725576108624 140639302803136 140639298593949 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29916] ppid=29912 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/29914/task/29916/stat : 29916 (java) S 29912 29912 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418463706 28909203456 12638 33554432000 4194304 4196468 140725576108624 140639251192720 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29917] ppid=29912 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/29914/task/29917/stat : 29917 (java) S 29912 29912 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418463706 28909203456 12638 33554432000 4194304 4196468 140725576108624 140639250139920 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29918] ppid=29912 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/29914/task/29918/stat : 29918 (java) S 29912 29912 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418463706 28909203456 12638 33554432000 4194304 4196468 140725576108624 140639249087632 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29919] ppid=29912 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/29914/task/29919/stat : 29919 (java) S 29912 29912 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418463706 28909203456 12638 33554432000 4194304 4196468 140725576108624 140639248034832 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29920] ppid=29912 vsize=28231644 memory=2244 CPUtime=0 cores=0-7 /proc/29914/task/29920/stat : 29920 (java) S 29912 29912 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418463706 28909203456 12642 33554432000 4194304 4196468 140725576108624 140639246981520 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29921] ppid=29912 vsize=28231644 memory=140065527395247 CPUtime=0 cores=0-7 /proc/29914/task/29921/stat : 29921 (java) S 29912 29912 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418463706 28909203456 12642 33554432000 4194304 4196468 140725576108624 140639245928720 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29922] ppid=29912 vsize=28231644 memory=140065527397552 CPUtime=0 cores=0-7 /proc/29914/task/29922/stat : 29922 (java) S 29912 29912 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418463706 28909203456 12642 33554432000 4194304 4196468 140725576108624 140639244876432 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29923] ppid=29912 vsize=28231644 memory=140065527399856 CPUtime=0 cores=0-7 /proc/29914/task/29923/stat : 29923 (java) S 29912 29912 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418463706 28909203456 12642 33554432000 4194304 4196468 140725576108624 140639243823632 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29924] ppid=29912 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/29914/task/29924/stat : 29924 (java) S 29912 29912 26425 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418463707 28909203456 12642 33554432000 4194304 4196468 140725576108624 140638616046192 140639298583170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29925] ppid=29912 vsize=28231644 memory=280131054806672 CPUtime=0 cores=0-7 /proc/29914/task/29925/stat : 29925 (java) S 29912 29912 26425 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418463708 28909203456 12642 33554432000 4194304 4196468 140725576108624 140638614992160 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29926] ppid=29912 vsize=28231644 memory=280131054813584 CPUtime=0 cores=0-7 /proc/29914/task/29926/stat : 29926 (java) S 29912 29912 26425 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418463708 28909203456 12642 33554432000 4194304 4196468 140725576108624 140638613939824 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29927] ppid=29912 vsize=28231644 memory=280131054754864 CPUtime=0 cores=0-7 /proc/29914/task/29927/stat : 29927 (java) S 29912 29912 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418463710 28909203456 12642 33554432000 4194304 4196468 140725576108624 140638612888144 140639298590619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29928] ppid=29912 vsize=28231644 memory=280131054827408 CPUtime=0.02 cores=0-7 /proc/29914/task/29928/stat : 29928 (java) S 29912 29912 26425 0 -1 1077944384 524 0 0 0 2 0 0 0 20 0 20 0 418463710 28909203456 12642 33554432000 4194304 4196468 140725576108624 140638611834992 140639298583170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29929] ppid=29912 vsize=28231644 memory=280131054834320 CPUtime=0.03 cores=0-7 /proc/29914/task/29929/stat : 29929 (java) R 29912 29912 26425 0 -1 4202560 200 0 0 0 3 0 0 0 20 0 20 0 418463710 28909203456 12642 33554432000 4194304 4196468 140725576108624 140638610772192 140639283697987 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29930] ppid=29912 vsize=28231644 memory=280131054832016 CPUtime=0.02 cores=0-7 /proc/29914/task/29930/stat : 29930 (java) S 29912 29912 26425 0 -1 1077944384 228 0 0 0 2 0 0 0 20 0 20 0 418463710 28909203456 12642 33554432000 4194304 4196468 140725576108624 140638609729904 140639298583170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29931] ppid=29912 vsize=28231644 memory=280131054848176 CPUtime=0.12 cores=0-7 /proc/29914/task/29931/stat : 29931 (java) S 29912 29912 26425 0 -1 1077944384 869 0 0 0 12 0 0 0 20 0 20 0 418463710 28909203456 12642 33554432000 4194304 4196468 140725576108624 140638608677104 140639298583170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29932] ppid=29912 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/29914/task/29932/stat : 29932 (java) S 29912 29912 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418463710 28909203456 12642 33554432000 4194304 4196468 140725576108624 140638607625056 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29933] ppid=29912 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/29914/task/29933/stat : 29933 (java) S 29912 29912 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418463711 28909203456 12642 33554432000 4194304 4196468 140725576108624 140638606572336 140639298583170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 52008 KiB [startup+0.703206 s] /proc/loadavg: 6.55 7.95 7.76 5/212 29933 /proc/meminfo: memFree=27023200/32770624 swapFree=67021420/67108860 [pid=29912] ppid=29909 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/29912/stat : 29912 (xcsp3-exec) S 29909 29912 26425 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418463704 115843072 364 33554432000 4194304 5098028 140733199033616 140733199031720 140540516725372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38948864 140733199037302 140733199037545 140733199037545 140733199040458 0 /proc/29912/statm: 28282 364 305 221 0 87 0 [pid=29914] ppid=29912 vsize=28768328 memory=137508 CPUtime=2.06 cores=0-7 /proc/29914/stat : 29914 (java) S 29912 29912 26425 0 -1 1077944320 15913 0 0 0 199 7 0 0 20 0 28 0 418463705 29458767872 34377 33554432000 4194304 4196468 140725576108624 140725576091168 140639298572023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 /proc/29914/statm: 7192082 34377 3462 1 0 7153184 0 [pid=29914/tid=29915] ppid=29912 vsize=28768328 memory=280131055206064 CPUtime=0.59 cores=0-7 /proc/29914/task/29915/stat : 29915 (java) S 29912 29912 26425 0 -1 1077944384 8853 0 0 0 56 3 0 0 20 0 28 0 418463705 29458767872 34377 33554432000 4194304 4196468 140725576108624 140639302812800 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29916] ppid=29912 vsize=28768328 memory=140065527604080 CPUtime=0 cores=0-7 /proc/29914/task/29916/stat : 29916 (java) S 29912 29912 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418463706 29458767872 34377 33554432000 4194304 4196468 140725576108624 140639251192720 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29917] ppid=29912 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/29914/task/29917/stat : 29917 (java) S 29912 29912 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 418463706 29458767872 34377 33554432000 4194304 4196468 140725576108624 140639250139920 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29918] ppid=29912 vsize=28768328 memory=1224 CPUtime=0 cores=0-7 /proc/29914/task/29918/stat : 29918 (java) S 29912 29912 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418463706 29458767872 34377 33554432000 4194304 4196468 140725576108624 140639249087632 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 ################ # More data... # ################ [pid=29914/tid=29931] ppid=29912 vsize=28769356 memory=0 CPUtime=0.95 cores=0-7 /proc/29914/task/29931/stat : 29931 (java) S 29912 29912 26425 0 -1 1077944384 5188 0 0 0 93 2 0 0 20 0 28 0 418463710 29459820544 72313 33554432000 4194304 4196468 140725576108624 140638608677104 140639298583170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29932] ppid=29912 vsize=28769356 memory=1 CPUtime=0 cores=0-7 /proc/29914/task/29932/stat : 29932 (java) S 29912 29912 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418463710 29459820544 72313 33554432000 4194304 4196468 140725576108624 140638607625056 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29933] ppid=29912 vsize=28769356 memory=3 CPUtime=0 cores=0-7 /proc/29914/task/29933/stat : 29933 (java) S 29912 29912 26425 0 -1 1077944384 1063 0 0 0 0 0 0 0 20 0 28 0 418463711 29459820544 72313 33554432000 4194304 4196468 140725576108624 140638606572336 140639298583170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=30006] ppid=29912 vsize=28769356 memory=1 CPUtime=8.77 cores=0-7 /proc/29914/task/30006/stat : 30006 (java) R 29912 29912 26425 0 -1 4202560 417 0 0 0 877 0 0 0 20 0 28 0 418463824 29459820544 72313 33554432000 4194304 4196468 140725576108624 140638595255584 140638927939264 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=30007] ppid=29912 vsize=28769356 memory=2 CPUtime=9.04 cores=0-7 /proc/29914/task/30007/stat : 30007 (java) R 29912 29912 26425 0 -1 4202560 129 0 0 0 903 1 0 0 20 0 28 0 418463824 29459820544 72313 33554432000 4194304 4196468 140725576108624 140638586843640 140638931074818 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=30008] ppid=29912 vsize=28769356 memory=3 CPUtime=8.41 cores=0-7 /proc/29914/task/30008/stat : 30008 (java) R 29912 29912 26425 0 -1 4202560 1132 0 0 0 840 1 0 0 20 0 28 0 418463824 29459820544 72313 33554432000 4194304 4196468 140725576108624 140638597361752 140638930025651 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=30009] ppid=29912 vsize=28769356 memory=289180 CPUtime=8.52 cores=0-7 /proc/29914/task/30009/stat : 30009 (java) R 29912 29912 26425 0 -1 4202560 319 0 0 0 852 0 0 0 20 0 28 0 418463824 29459820544 72313 33554432000 4194304 4196468 140725576108624 140638589993080 140638927493269 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=30010] ppid=29912 vsize=28769356 memory=56 CPUtime=8.91 cores=0-7 /proc/29914/task/30010/stat : 30010 (java) R 29912 29912 26425 0 -1 4202560 263 0 0 0 891 0 0 0 20 0 28 0 418463824 29459820544 72313 33554432000 4194304 4196468 140725576108624 140638591045704 140638927493154 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=30011] ppid=29912 vsize=28769356 memory=6944656592455360604 CPUtime=8.83 cores=0-7 /proc/29914/task/30011/stat : 30011 (java) R 29912 29912 26425 0 -1 4202560 223 0 0 0 883 0 0 0 20 0 28 0 418463824 29459820544 72313 33554432000 4194304 4196468 140725576108624 140638592100776 140638927493396 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=30012] ppid=29912 vsize=28769356 memory=4206186544037388384 CPUtime=8.56 cores=0-7 /proc/29914/task/30012/stat : 30012 (java) R 29912 29912 26425 0 -1 4202560 361 0 0 0 856 0 0 0 20 0 28 0 418463824 29459820544 72313 33554432000 4194304 4196468 140725576108624 140638593150552 140638928338068 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=30013] ppid=29912 vsize=28769356 memory=10092 CPUtime=8.9 cores=0-7 /proc/29914/task/30013/stat : 30013 (java) R 29912 29912 26425 0 -1 4202560 327 0 0 0 890 0 0 0 20 0 28 0 418463825 29459820544 72313 33554432000 4194304 4196468 140725576108624 140638596309272 140638927493257 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 Current children cumulated CPU time: 84.98 s Current children cumulated vsize: 28882484 KiB Current children cumulated memory: 290708 KiB [startup+12.0013 s]* /proc/loadavg: 7.30 8.07 7.80 9/220 30013 /proc/meminfo: memFree=26797272/32770624 swapFree=67021420/67108860 [pid=29912] ppid=29909 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/29912/stat : 29912 (xcsp3-exec) S 29909 29912 26425 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418463704 115843072 364 33554432000 4194304 5098028 140733199033616 140733199031720 140540516725372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38948864 140733199037302 140733199037545 140733199037545 140733199040458 0 /proc/29912/statm: 28282 364 305 221 0 87 0 [pid=29914] ppid=29912 vsize=28769356 memory=292072 CPUtime=91.43 cores=0-7 /proc/29914/stat : 29914 (java) S 29912 29912 26425 0 -1 1077944320 63675 0 0 0 9102 41 0 0 20 0 28 0 418463705 29459820544 73018 33554432000 4194304 4196468 140725576108624 140725576091168 140639298572023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 /proc/29914/statm: 7192339 73018 3520 1 0 7153441 0 [pid=29914/tid=29915] ppid=29912 vsize=28769356 memory=6791534058613427641 CPUtime=0.59 cores=0-7 /proc/29914/task/29915/stat : 29915 (java) S 29912 29912 26425 0 -1 1077944384 8855 0 0 0 56 3 0 0 20 0 28 0 418463705 29459820544 73018 33554432000 4194304 4196468 140725576108624 140639302812800 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29916] ppid=29912 vsize=28769356 memory=7649399362773662002 CPUtime=0.05 cores=0-7 /proc/29914/task/29916/stat : 29916 (java) S 29912 29912 26425 0 -1 1077944384 71 0 0 0 4 1 0 0 20 0 28 0 418463706 29459820544 73018 33554432000 4194304 4196468 140725576108624 140639251192720 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29917] ppid=29912 vsize=28769356 memory=7649399367068629298 CPUtime=0.04 cores=0-7 /proc/29914/task/29917/stat : 29917 (java) S 29912 29912 26425 0 -1 1077944384 66 0 0 0 3 1 0 0 20 0 28 0 418463706 29459820544 73018 33554432000 4194304 4196468 140725576108624 140639250139920 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29918] ppid=29912 vsize=28769356 memory=7649399371363596594 CPUtime=0.06 cores=0-7 /proc/29914/task/29918/stat : 29918 (java) S 29912 29912 26425 0 -1 1077944384 256 0 0 0 4 2 0 0 20 0 28 0 418463706 29459820544 73018 33554432000 4194304 4196468 140725576108624 140639249087632 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29919] ppid=29912 vsize=28769356 memory=7649399384197574707 CPUtime=0.07 cores=0-7 /proc/29914/task/29919/stat : 29919 (java) S 29912 29912 26425 0 -1 1077944384 459 0 0 0 5 2 0 0 20 0 28 0 418463706 29459820544 73018 33554432000 4194304 4196468 140725576108624 140639248034832 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29920] ppid=29912 vsize=28769356 memory=7649399388492542003 CPUtime=0.05 cores=0-7 /proc/29914/task/29920/stat : 29920 (java) S 29912 29912 26425 0 -1 1077944384 132 0 0 0 3 2 0 0 20 0 28 0 418463706 29459820544 73018 33554432000 4194304 4196468 140725576108624 140639246981520 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29921] ppid=29912 vsize=28769356 memory=7649399392787509299 CPUtime=0.06 cores=0-7 /proc/29914/task/29921/stat : 29921 (java) S 29912 29912 26425 0 -1 1077944384 101 0 0 0 4 2 0 0 20 0 28 0 418463706 29459820544 73018 33554432000 4194304 4196468 140725576108624 140639245928720 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29922] ppid=29912 vsize=28769356 memory=7649399397082476595 CPUtime=0.07 cores=0-7 /proc/29914/task/29922/stat : 29922 (java) S 29912 29912 26425 0 -1 1077944384 740 0 0 0 5 2 0 0 20 0 28 0 418463706 29459820544 73018 33554432000 4194304 4196468 140725576108624 140639244876432 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29923] ppid=29912 vsize=28769356 memory=7649399358444548147 CPUtime=0.05 cores=0-7 /proc/29914/task/29923/stat : 29923 (java) S 29912 29912 26425 0 -1 1077944384 68 0 0 0 3 2 0 0 20 0 28 0 418463706 29459820544 73018 33554432000 4194304 4196468 140725576108624 140639243823632 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29924] ppid=29912 vsize=28769356 memory=7649399362739515443 CPUtime=0.02 cores=0-7 /proc/29914/task/29924/stat : 29924 (java) S 29912 29912 26425 0 -1 1077944384 532 0 0 0 2 0 0 0 20 0 28 0 418463707 29459820544 73018 33554432000 4194304 4196468 140725576108624 140638616046192 140639298583170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29925] ppid=29912 vsize=28769356 memory=7649399367034482739 CPUtime=0 cores=0-7 /proc/29914/task/29925/stat : 29925 (java) S 29912 29912 26425 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 418463708 29459820544 73018 33554432000 4194304 4196468 140725576108624 140638614992224 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29926] ppid=29912 vsize=28769356 memory=7649399371329450035 CPUtime=0 cores=0-7 /proc/29914/task/29926/stat : 29926 (java) S 29912 29912 26425 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 418463708 29459820544 73018 33554432000 4194304 4196468 140725576108624 140638613939840 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29927] ppid=29912 vsize=28769356 memory=335 CPUtime=0 cores=0-7 /proc/29914/task/29927/stat : 29927 (java) S 29912 29912 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418463710 29459820544 73018 33554432000 4194304 4196468 140725576108624 140638612888144 140639298590619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29928] ppid=29912 vsize=28769356 memory=302 CPUtime=3.37 cores=0-7 /proc/29914/task/29928/stat : 29928 (java) S 29912 29912 26425 0 -1 1077944384 10133 0 0 0 335 2 0 0 20 0 28 0 418463710 29459820544 73018 33554432000 4194304 4196468 140725576108624 140638611834992 140639298583170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29929] ppid=29912 vsize=28769356 memory=328 CPUtime=3.03 cores=0-7 /proc/29914/task/29929/stat : 29929 (java) S 29912 29912 26425 0 -1 1077944384 9617 0 0 0 301 2 0 0 20 0 28 0 418463710 29459820544 73018 33554432000 4194304 4196468 140725576108624 140638610782192 140639298583170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29930] ppid=29912 vsize=28769356 memory=95 CPUtime=3.3 cores=0-7 /proc/29914/task/29930/stat : 29930 (java) S 29912 29912 26425 0 -1 1077944384 19907 0 0 0 326 4 0 0 20 0 28 0 418463710 29459820544 73018 33554432000 4194304 4196468 140725576108624 140638609729904 140639298583170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29931] ppid=29912 vsize=28769356 memory=0 CPUtime=0.95 cores=0-7 /proc/29914/task/29931/stat : 29931 (java) S 29912 29912 26425 0 -1 1077944384 5245 0 0 0 93 2 0 0 20 0 28 0 418463710 29459820544 73018 33554432000 4194304 4196468 140725576108624 140638608677104 140639298583170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29932] ppid=29912 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/29914/task/29932/stat : 29932 (java) S 29912 29912 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418463710 29459820544 73018 33554432000 4194304 4196468 140725576108624 140638607625056 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29933] ppid=29912 vsize=28769356 memory=817 CPUtime=0 cores=0-7 /proc/29914/task/29933/stat : 29933 (java) S 29912 29912 26425 0 -1 1077944384 1063 0 0 0 0 0 0 0 20 0 28 0 418463711 29459820544 73018 33554432000 4194304 4196468 140725576108624 140638606572336 140639298583170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=30006] ppid=29912 vsize=28769356 memory=847 CPUtime=9.57 cores=0-7 /proc/29914/task/30006/stat : 30006 (java) R 29912 29912 26425 0 -1 4202560 419 0 0 0 957 0 0 0 20 0 28 0 418463824 29459820544 73018 33554432000 4194304 4196468 140725576108624 140638595255480 140638929202782 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=30007] ppid=29912 vsize=28769356 memory=6791534058613427641 CPUtime=9.84 cores=0-7 /proc/29914/task/30007/stat : 30007 (java) R 29912 29912 26425 0 -1 4202560 131 0 0 0 983 1 0 0 20 0 28 0 418463824 29459820544 73018 33554432000 4194304 4196468 140725576108624 140638586843640 140638927493069 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=30008] ppid=29912 vsize=28769356 memory=792 CPUtime=9.21 cores=0-7 /proc/29914/task/30008/stat : 30008 (java) R 29912 29912 26425 0 -1 4202560 1180 0 0 0 920 1 0 0 20 0 28 0 418463824 29459820544 73018 33554432000 4194304 4196468 140725576108624 140638597363080 140638930025646 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=30009] ppid=29912 vsize=28769356 memory=832 CPUtime=9.32 cores=0-7 /proc/29914/task/30009/stat : 30009 (java) R 29912 29912 26425 0 -1 4202560 321 0 0 0 932 0 0 0 20 0 28 0 418463824 29459820544 73018 33554432000 4194304 4196468 140725576108624 140638589992712 140638927493602 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=30010] ppid=29912 vsize=28769356 memory=824 CPUtime=9.71 cores=0-7 /proc/29914/task/30010/stat : 30010 (java) R 29912 29912 26425 0 -1 4202560 268 0 0 0 971 0 0 0 20 0 28 0 418463824 29459820544 73018 33554432000 4194304 4196468 140725576108624 140638591047504 140638927493185 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=30011] ppid=29912 vsize=28769356 memory=797 CPUtime=9.61 cores=0-7 /proc/29914/task/30011/stat : 30011 (java) R 29912 29912 26425 0 -1 4202560 247 0 0 0 961 0 0 0 20 0 28 0 418463824 29459820544 73018 33554432000 4194304 4196468 140725576108624 140638592098248 140638927494158 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=30012] ppid=29912 vsize=28769356 memory=830 CPUtime=9.36 cores=0-7 /proc/29914/task/30012/stat : 30012 (java) R 29912 29912 26425 0 -1 4202560 363 0 0 0 936 0 0 0 20 0 28 0 418463824 29459820544 73018 33554432000 4194304 4196468 140725576108624 140638593151320 140638927493952 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=30013] ppid=29912 vsize=28769356 memory=4578 CPUtime=9.7 cores=0-7 /proc/29914/task/30013/stat : 30013 (java) R 29912 29912 26425 0 -1 4202560 330 0 0 0 970 0 0 0 20 0 28 0 418463825 29459820544 73018 33554432000 4194304 4196468 140725576108624 140638596309496 140638929062079 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 Current children cumulated CPU time: 91.43 s Current children cumulated vsize: 28882484 KiB Current children cumulated memory: 293528 KiB [startup+12.4013 s] /proc/loadavg: 7.30 8.07 7.80 9/220 30013 /proc/meminfo: memFree=26797272/32770624 swapFree=67021420/67108860 [pid=29912] ppid=29909 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/29912/stat : 29912 (xcsp3-exec) S 29909 29912 26425 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418463704 115843072 364 33554432000 4194304 5098028 140733199033616 140733199031720 140540516725372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38948864 140733199037302 140733199037545 140733199037545 140733199040458 0 /proc/29912/statm: 28282 364 305 221 0 87 0 [pid=29914] ppid=29912 vsize=28769356 memory=292112 CPUtime=94.54 cores=0-7 /proc/29914/stat : 29914 (java) S 29912 29912 26425 0 -1 1077944320 63930 0 0 0 9413 41 0 0 20 0 28 0 418463705 29459820544 73028 33554432000 4194304 4196468 140725576108624 140725576091168 140639298572023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 /proc/29914/statm: 7192339 73028 3520 1 0 7153441 0 [pid=29914/tid=29915] ppid=29912 vsize=28769356 memory=146836341917225 CPUtime=0.59 cores=0-7 /proc/29914/task/29915/stat : 29915 (java) S 29912 29912 26425 0 -1 1077944384 8855 0 0 0 56 3 0 0 20 0 28 0 418463705 29459820544 73028 33554432000 4194304 4196468 140725576108624 140639302812800 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29916] ppid=29912 vsize=28769356 memory=150448409438009 CPUtime=0.05 cores=0-7 /proc/29914/task/29916/stat : 29916 (java) S 29912 29912 26425 0 -1 1077944384 71 0 0 0 4 1 0 0 20 0 28 0 418463706 29459820544 73028 33554432000 4194304 4196468 140725576108624 140639251192720 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29917] ppid=29912 vsize=28769356 memory=253557689313081 CPUtime=0.04 cores=0-7 /proc/29914/task/29917/stat : 29917 (java) S 29912 29912 26425 0 -1 1077944384 66 0 0 0 3 1 0 0 20 0 28 0 418463706 29459820544 73028 33554432000 4194304 4196468 140725576108624 140639250139920 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29918] ppid=29912 vsize=28769356 memory=253669358462777 CPUtime=0.06 cores=0-7 /proc/29914/task/29918/stat : 29918 (java) S 29912 29912 26425 0 -1 1077944384 256 0 0 0 4 2 0 0 20 0 28 0 418463706 29459820544 73028 33554432000 4194304 4196468 140725576108624 140639249087632 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29919] ppid=29912 vsize=28769356 memory=253673653430073 CPUtime=0.07 cores=0-7 /proc/29914/task/29919/stat : 29919 (java) S 29912 29912 26425 0 -1 1077944384 459 0 0 0 5 2 0 0 20 0 28 0 418463706 29459820544 73028 33554432000 4194304 4196468 140725576108624 140639248034832 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29920] ppid=29912 vsize=28769356 memory=268517060405049 CPUtime=0.05 cores=0-7 /proc/29914/task/29920/stat : 29920 (java) S 29912 29912 26425 0 -1 1077944384 132 0 0 0 3 2 0 0 20 0 28 0 418463706 29459820544 73028 33554432000 4194304 4196468 140725576108624 140639246981520 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29921] ppid=29912 vsize=28769356 memory=268521355375832 CPUtime=0.06 cores=0-7 /proc/29914/task/29921/stat : 29921 (java) S 29912 29912 26425 0 -1 1077944384 101 0 0 0 4 2 0 0 20 0 28 0 418463706 29459820544 73028 33554432000 4194304 4196468 140725576108624 140639245928720 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29922] ppid=29912 vsize=28769356 memory=268534240277720 CPUtime=0.07 cores=0-7 /proc/29914/task/29922/stat : 29922 (java) S 29912 29912 26425 0 -1 1077944384 740 0 0 0 5 2 0 0 20 0 28 0 418463706 29459820544 73028 33554432000 4194304 4196468 140725576108624 140639244876432 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29923] ppid=29912 vsize=28769356 memory=268534240307635 CPUtime=0.05 cores=0-7 /proc/29914/task/29923/stat : 29923 (java) S 29912 29912 26425 0 -1 1077944384 68 0 0 0 3 2 0 0 20 0 28 0 418463706 29459820544 73028 33554432000 4194304 4196468 140725576108624 140639243823632 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29924] ppid=29912 vsize=28769356 memory=268534240307636 CPUtime=0.02 cores=0-7 /proc/29914/task/29924/stat : 29924 (java) S 29912 29912 26425 0 -1 1077944384 532 0 0 0 2 0 0 0 20 0 28 0 418463707 29459820544 73028 33554432000 4194304 4196468 140725576108624 140638616046192 140639298583170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29925] ppid=29912 vsize=28769356 memory=140069970818687 CPUtime=0 cores=0-7 /proc/29914/task/29925/stat : 29925 (java) S 29912 29912 26425 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 418463708 29459820544 73028 33554432000 4194304 4196468 140725576108624 140638614992224 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29926] ppid=29912 vsize=28769356 memory=280131056416544 CPUtime=0 cores=0-7 /proc/29914/task/29926/stat : 29926 (java) S 29912 29912 26425 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 418463708 29459820544 73028 33554432000 4194304 4196468 140725576108624 140638613939840 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29927] ppid=29912 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/29914/task/29927/stat : 29927 (java) S 29912 29912 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418463710 29459820544 73028 33554432000 4194304 4196468 140725576108624 140638612888144 140639298590619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29928] ppid=29912 vsize=28769356 memory=0 CPUtime=3.38 cores=0-7 /proc/29914/task/29928/stat : 29928 (java) S 29912 29912 26425 0 -1 1077944384 10183 0 0 0 336 2 0 0 20 0 28 0 418463710 29459820544 73028 33554432000 4194304 4196468 140725576108624 140638611834992 140639298583170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29929] ppid=29912 vsize=28769356 memory=0 CPUtime=3.04 cores=0-7 /proc/29914/task/29929/stat : 29929 (java) S 29912 29912 26425 0 -1 1077944384 9640 0 0 0 302 2 0 0 20 0 28 0 418463710 29459820544 73028 33554432000 4194304 4196468 140725576108624 140638610782192 140639298583170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29930] ppid=29912 vsize=28769356 memory=0 CPUtime=3.3 cores=0-7 /proc/29914/task/29930/stat : 29930 (java) S 29912 29912 26425 0 -1 1077944384 19907 0 0 0 326 4 0 0 20 0 28 0 418463710 29459820544 73028 33554432000 4194304 4196468 140725576108624 140638609729904 140639298583170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29931] ppid=29912 vsize=28769356 memory=280131055523032 CPUtime=0.96 cores=0-7 /proc/29914/task/29931/stat : 29931 (java) S 29912 29912 26425 0 -1 1077944384 5360 0 0 0 94 2 0 0 20 0 28 0 418463710 29459820544 73028 33554432000 4194304 4196468 140725576108624 140638608677104 140639298583170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29932] ppid=29912 vsize=28769356 memory=-4546129931942301728 CPUtime=0 cores=0-7 /proc/29914/task/29932/stat : 29932 (java) S 29912 29912 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418463710 29459820544 73028 33554432000 4194304 4196468 140725576108624 140638607625056 140639298582229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=29933] ppid=29912 vsize=28769356 memory=6944656592455360604 CPUtime=0 cores=0-7 /proc/29914/task/29933/stat : 29933 (java) S 29912 29912 26425 0 -1 1077944384 1063 0 0 0 0 0 0 0 20 0 28 0 418463711 29459820544 73028 33554432000 4194304 4196468 140725576108624 140638606572336 140639298583170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=30006] ppid=29912 vsize=28769356 memory=6944656592455360604 CPUtime=9.96 cores=0-7 /proc/29914/task/30006/stat : 30006 (java) R 29912 29912 26425 0 -1 4202560 428 0 0 0 996 0 0 0 20 0 28 0 418463824 29459820544 73028 33554432000 4194304 4196468 140725576108624 140638595254680 140638933077537 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=30007] ppid=29912 vsize=28769356 memory=0 CPUtime=10.23 cores=0-7 /proc/29914/task/30007/stat : 30007 (java) R 29912 29912 26425 0 -1 4202560 134 0 0 0 1022 1 0 0 20 0 28 0 418463824 29459820544 73028 33554432000 4194304 4196468 140725576108624 140638586843640 140638927494031 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=30008] ppid=29912 vsize=28769356 memory=0 CPUtime=9.59 cores=0-7 /proc/29914/task/30008/stat : 30008 (java) R 29912 29912 26425 0 -1 4202560 1193 0 0 0 958 1 0 0 20 0 28 0 418463824 29459820544 73028 33554432000 4194304 4196468 140725576108624 140638597363144 140638932514781 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=30009] ppid=29912 vsize=28769356 memory=0 CPUtime=9.71 cores=0-7 /proc/29914/task/30009/stat : 30009 (java) R 29912 29912 26425 0 -1 4202560 325 0 0 0 971 0 0 0 20 0 28 0 418463824 29459820544 73028 33554432000 4194304 4196468 140725576108624 140638589992712 140638927494158 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=30010] ppid=29912 vsize=28769356 memory=280128706809848 CPUtime=10.1 cores=0-7 /proc/29914/task/30010/stat : 30010 (java) R 29912 29912 26425 0 -1 4202560 276 0 0 0 1010 0 0 0 20 0 28 0 418463824 29459820544 73028 33554432000 4194304 4196468 140725576108624 140638591047504 140638927493745 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=30011] ppid=29912 vsize=28769356 memory=6791534058613427641 CPUtime=10 cores=0-7 /proc/29914/task/30011/stat : 30011 (java) R 29912 29912 26425 0 -1 4202560 251 0 0 0 1000 0 0 0 20 0 28 0 418463824 29459820544 73028 33554432000 4194304 4196468 140725576108624 140638592098248 140638927494061 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=30012] ppid=29912 vsize=28769356 memory=2184 CPUtime=9.75 cores=0-7 /proc/29914/task/30012/stat : 30012 (java) R 29912 29912 26425 0 -1 4202560 368 0 0 0 975 0 0 0 20 0 28 0 418463824 29459820544 73028 33554432000 4194304 4196468 140725576108624 140638593150264 140638929637023 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 [pid=29914/tid=30013] ppid=29912 vsize=28769356 memory=1844 CPUtime=10.09 cores=0-7 /proc/29914/task/30013/stat : 30013 (java) R 29912 29912 26425 0 -1 4202560 351 0 0 0 1009 0 0 0 20 0 28 0 418463825 29459820544 73028 33554432000 4194304 4196468 140725576108624 140638596309496 140638931230142 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32583680 140725576115178 140725576115350 140725576115350 140725576118223 0 Current children cumulated CPU time: 94.54 s Current children cumulated vsize: 28882484 KiB Current children cumulated memory: 293568 KiB Child status: 0 Real time (s): 12.4388 CPU time (s): 94.6619 CPU user time (s): 94.2351 CPU system time (s): 0.426794 CPU usage (%): 761.02 Max. virtual memory (cumulated for all children) (KiB): 28884260 Max. memory (cumulated for all children) (KiB): 303216 getrusage(RUSAGE_CHILDREN,...) data: user time used= 94.2351 system time used= 0.426794 maximum resident set size= 311896 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 65213 page faults= 0 swaps= 0 block input operations= 0 block output operations= 128 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6208 involuntary context switches= 2550 # summary of solver processes directly reported to runsolver: # pid: 29912 # total CPU time (s): 94.6619 # total CPU user time (s): 94.2351 # total CPU system time (s): 0.426794 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.1308 second user time and 0.174807 second system time The end
Begin job on node150 at 2019-09-14 02:44:31 IDJOB=4394368 IDBENCH=123101 IDSOLVER=2843 FILE ID=node150/4394368-1568421911 RUNJOBID= node150-1568416728-26452 PBS_JOBID= 21702251 Free space on /tmp= 59360 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-esc16e.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 /tmp/evaluation-result-4394368-1568421911/watcher-4394368-1568421911 -o /tmp/evaluation-result-4394368-1568421911/solver-4394368-1568421911 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1568416728-26452 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 353299630 HOME/instance-4394368-1568421911.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 9478703244e8f640224ac5c9e01083b8 RANDOM SEED=353299630 node150.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.79 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.79 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.79 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.79 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: 27075436 kB MemAvailable: 31828208 kB Buffers: 201812 kB Cached: 4760860 kB SwapCached: 13532 kB Active: 1139432 kB Inactive: 3869768 kB Active(anon): 11244 kB Inactive(anon): 61076 kB Active(file): 1128188 kB Inactive(file): 3808692 kB Unevictable: 109416 kB Mlocked: 109416 kB SwapTotal: 67108860 kB SwapFree: 67021420 kB Dirty: 26424 kB Writeback: 0 kB AnonPages: 157176 kB Mapped: 39192 kB Shmem: 16756 kB Slab: 274940 kB SReclaimable: 244352 kB SUnreclaim: 30588 kB KernelStack: 3728 kB PageTables: 5656 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498220 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 81920 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 99712 kB DirectMap2M: 33445888 kB Free space on /tmp at the end= 59332 MiB End job on node150 at 2019-09-14 02:44:44