Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 14 | 96.5581 | 12.6575 |
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-4404828-1569003740.xml" -tl '2016s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404828-1569003740.xml, -tl, 2016s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 1.05/0.59 c solve instance... 1.40/0.67 o 31 1.40/0.69 o 30 1.97/0.71 o 25 1.97/0.72 o 24 1.97/0.73 o 23 1.97/0.74 o 21 1.97/0.74 o 20 1.97/0.74 o 19 1.97/0.76 o 18 1.97/0.76 o 17 4.14/1.03 o 16 4.14/1.05 o 15 8.70/1.63 o 14 96.19/12.64 s OPTIMUM FOUND 96.19/12.64 v <instantiation> 96.19/12.64 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> 96.19/12.64 v <values>5 6 13 4 2 3 0 1 7 15 10 9 14 11 8 12 0 0 1 1 0 0 0 2 0 1 1 0 0 1 1 1 0 0 0 2 1 </values> 96.19/12.64 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 (4614 MiB free) memory of node 1: 16384 MiB (6909 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404828-1569003740/watcher-4404828-1569003740 -o /var/tmp/evaluation-result-4404828-1569003740/solver-4404828-1569003740 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1568994522-3227 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 468073126 HOME/instance-4404828-1569003740.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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 Current StackSize limit: 8192 KiB solver pid=9012, runsolver pid=9009 solver pid=9012, runsolv [startup+0.100121 s]* /proc/loadavg: 8.37 8.35 8.33 2/212 9033 /proc/meminfo: memFree=11783692/32770624 swapFree=66956720/67108860 [pid=9012] ppid=9009 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/9012/stat : 9012 (xcsp3-exec) S 9009 9012 3200 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476612624 115843072 364 33554432000 4194304 5098028 140732348106432 140732348104536 139825459585660 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15650816 140732348109656 140732348109914 140732348109914 140732348112838 0 /proc/9012/statm: 28282 364 305 221 0 87 0 [pid=9014] ppid=9012 vsize=28227396 memory=29540 CPUtime=0.12 cores=0-7 /proc/9014/stat : 9014 (java) S 9012 9012 3200 0 -1 1077944320 5874 0 0 0 11 1 0 0 20 0 20 0 476612624 28904853504 7385 33554432000 4194304 4196468 140721149677664 140721149660208 139778951061239 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 /proc/9014/statm: 7056849 7385 3118 1 0 7019032 0 [pid=9014/tid=9015] ppid=9012 vsize=28227396 memory=4134692831991783777 CPUtime=0.09 cores=0-7 /proc/9014/task/9015/stat : 9015 (java) R 9012 9012 3200 0 -1 4202560 3812 0 0 0 8 1 0 0 20 0 20 0 476612625 28904853504 7385 33554432000 4194304 4196468 140721149677664 139778955294512 139778951075117 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9016] ppid=9012 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/9014/task/9016/stat : 9016 (java) S 9012 9012 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476612625 28904853504 7385 33554432000 4194304 4196468 140721149677664 139778907613584 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9017] ppid=9012 vsize=28227396 memory=140202201093760 CPUtime=0 cores=0-7 /proc/9014/task/9017/stat : 9017 (java) S 9012 9012 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476612625 28904853504 7385 33554432000 4194304 4196468 140721149677664 139778906560784 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9018] ppid=9012 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9014/task/9018/stat : 9018 (java) S 9012 9012 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476612625 28904853504 7385 33554432000 4194304 4196468 140721149677664 139778500713104 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9019] ppid=9012 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9014/task/9019/stat : 9019 (java) S 9012 9012 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476612625 28904853504 7385 33554432000 4194304 4196468 140721149677664 139778499660304 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9020] ppid=9012 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9014/task/9020/stat : 9020 (java) S 9012 9012 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476612625 28904853504 7385 33554432000 4194304 4196468 140721149677664 139778498608016 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9021] ppid=9012 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9014/task/9021/stat : 9021 (java) S 9012 9012 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476612626 28904853504 7385 33554432000 4194304 4196468 140721149677664 139778497555216 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9022] ppid=9012 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9014/task/9022/stat : 9022 (java) S 9012 9012 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476612626 28904853504 7385 33554432000 4194304 4196468 140721149677664 139778496502928 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9023] ppid=9012 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9014/task/9023/stat : 9023 (java) S 9012 9012 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476612626 28904853504 7385 33554432000 4194304 4196468 140721149677664 139778495450128 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9024] ppid=9012 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9014/task/9024/stat : 9024 (java) S 9012 9012 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476612627 28904853504 7385 33554432000 4194304 4196468 140721149677664 139777280903280 139778951072386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9025] ppid=9012 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9014/task/9025/stat : 9025 (java) S 9012 9012 3200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476612627 28904853504 7385 33554432000 4194304 4196468 140721149677664 139777279849248 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9026] ppid=9012 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9014/task/9026/stat : 9026 (java) S 9012 9012 3200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476612628 28904853504 7385 33554432000 4194304 4196468 140721149677664 139777278796912 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9027] ppid=9012 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9014/task/9027/stat : 9027 (java) S 9012 9012 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476612630 28904853504 7385 33554432000 4194304 4196468 140721149677664 139777277745232 139778951079835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9028] ppid=9012 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9014/task/9028/stat : 9028 (java) S 9012 9012 3200 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 476612630 28904853504 7385 33554432000 4194304 4196468 140721149677664 139777276693104 139778951072386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9029] ppid=9012 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9014/task/9029/stat : 9029 (java) S 9012 9012 3200 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 476612630 28904853504 7385 33554432000 4194304 4196468 140721149677664 139777275640304 139778951072386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9030] ppid=9012 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9014/task/9030/stat : 9030 (java) S 9012 9012 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476612630 28904853504 7385 33554432000 4194304 4196468 140721149677664 139777274588016 139778951072386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9031] ppid=9012 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/9014/task/9031/stat : 9031 (java) R 9012 9012 3200 0 -1 4202560 330 0 0 0 1 0 0 0 20 0 20 0 476612630 28904853504 7385 33554432000 4194304 4196468 140721149677664 139777273535216 139778951073174 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9032] ppid=9012 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9014/task/9032/stat : 9032 (java) S 9012 9012 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476612630 28904853504 7385 33554432000 4194304 4196468 140721149677664 139777272482144 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9033] ppid=9012 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9014/task/9033/stat : 9033 (java) S 9012 9012 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476612631 28904853504 7385 33554432000 4194304 4196468 140721149677664 139777271429424 139778951072386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30996 KiB [startup+0.210606 s]* /proc/loadavg: 8.37 8.35 8.33 3/212 9033 /proc/meminfo: memFree=11769992/32770624 swapFree=66956720/67108860 [pid=9012] ppid=9009 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/9012/stat : 9012 (xcsp3-exec) S 9009 9012 3200 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476612624 115843072 364 33554432000 4194304 5098028 140732348106432 140732348104536 139825459585660 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15650816 140732348109656 140732348109914 140732348109914 140732348112838 0 /proc/9012/statm: 28282 364 305 221 0 87 0 [pid=9014] ppid=9012 vsize=28227396 memory=40900 CPUtime=0.34 cores=0-7 /proc/9014/stat : 9014 (java) S 9012 9012 3200 0 -1 1077944320 9522 0 0 0 31 3 0 0 20 0 20 0 476612624 28904853504 10225 33554432000 4194304 4196468 140721149677664 140721149660208 139778951061239 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 /proc/9014/statm: 7056849 10225 3277 1 0 7019032 0 [pid=9014/tid=9015] ppid=9012 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/9014/task/9015/stat : 9015 (java) R 9012 9012 3200 0 -1 4202560 6660 0 0 0 17 2 0 0 20 0 20 0 476612625 28904853504 10225 33554432000 4194304 4196468 140721149677664 139778955293152 139778586701583 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9016] ppid=9012 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/9014/task/9016/stat : 9016 (java) S 9012 9012 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476612625 28904853504 10225 33554432000 4194304 4196468 140721149677664 139778907613584 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9017] ppid=9012 vsize=28227396 memory=3978007456514610848 CPUtime=0 cores=0-7 /proc/9014/task/9017/stat : 9017 (java) S 9012 9012 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476612625 28904853504 10225 33554432000 4194304 4196468 140721149677664 139778906560784 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9018] ppid=9012 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9014/task/9018/stat : 9018 (java) S 9012 9012 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476612625 28904853504 10225 33554432000 4194304 4196468 140721149677664 139778500713104 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9019] ppid=9012 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9014/task/9019/stat : 9019 (java) S 9012 9012 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476612625 28904853504 10225 33554432000 4194304 4196468 140721149677664 139778499660304 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9020] ppid=9012 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9014/task/9020/stat : 9020 (java) S 9012 9012 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476612625 28904853504 10225 33554432000 4194304 4196468 140721149677664 139778498608016 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9021] ppid=9012 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9014/task/9021/stat : 9021 (java) S 9012 9012 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476612626 28904853504 10225 33554432000 4194304 4196468 140721149677664 139778497555216 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9022] ppid=9012 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9014/task/9022/stat : 9022 (java) S 9012 9012 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476612626 28904853504 10225 33554432000 4194304 4196468 140721149677664 139778496502928 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9023] ppid=9012 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9014/task/9023/stat : 9023 (java) S 9012 9012 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476612626 28904853504 10225 33554432000 4194304 4196468 140721149677664 139778495450128 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9024] ppid=9012 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9014/task/9024/stat : 9024 (java) S 9012 9012 3200 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476612627 28904853504 10225 33554432000 4194304 4196468 140721149677664 139777280903280 139778951072386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9025] ppid=9012 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9014/task/9025/stat : 9025 (java) S 9012 9012 3200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476612627 28904853504 10225 33554432000 4194304 4196468 140721149677664 139777279849248 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9026] ppid=9012 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9014/task/9026/stat : 9026 (java) S 9012 9012 3200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476612628 28904853504 10225 33554432000 4194304 4196468 140721149677664 139777278796912 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9027] ppid=9012 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9014/task/9027/stat : 9027 (java) S 9012 9012 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476612630 28904853504 10225 33554432000 4194304 4196468 140721149677664 139777277745232 139778951079835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9028] ppid=9012 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/9014/task/9028/stat : 9028 (java) R 9012 9012 3200 0 -1 1077944384 415 0 0 0 2 0 0 0 20 0 20 0 476612630 28904853504 10225 33554432000 4194304 4196468 140721149677664 139777276693104 139778951072386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9029] ppid=9012 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/9014/task/9029/stat : 9029 (java) S 9012 9012 3200 0 -1 1077944384 176 0 0 0 1 0 0 0 20 0 20 0 476612630 28904853504 10225 33554432000 4194304 4196468 140721149677664 139777275640304 139778951072386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9030] ppid=9012 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/9014/task/9030/stat : 9030 (java) R 9012 9012 3200 0 -1 1077944384 195 0 0 0 1 0 0 0 20 0 20 0 476612630 28904853504 10225 33554432000 4194304 4196468 140721149677664 139777274588016 139778951072386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9031] ppid=9012 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/9014/task/9031/stat : 9031 (java) R 9012 9012 3200 0 -1 4202560 761 0 0 0 7 0 0 0 20 0 20 0 476612630 28904853504 10225 33554432000 4194304 4196468 140721149677664 139777273535216 139778943298366 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9032] ppid=9012 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9014/task/9032/stat : 9032 (java) S 9012 9012 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476612630 28904853504 10225 33554432000 4194304 4196468 140721149677664 139777272482144 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9033] ppid=9012 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9014/task/9033/stat : 9033 (java) S 9012 9012 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476612631 28904853504 10225 33554432000 4194304 4196468 140721149677664 139777271429424 139778951072386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42356 KiB [startup+0.320747 s]* /proc/loadavg: 8.37 8.35 8.33 3/212 9033 /proc/meminfo: memFree=11762960/32770624 swapFree=66956720/67108860 [pid=9012] ppid=9009 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/9012/stat : 9012 (xcsp3-exec) S 9009 9012 3200 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476612624 115843072 364 33554432000 4194304 5098028 140732348106432 140732348104536 139825459585660 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15650816 140732348109656 140732348109914 140732348109914 140732348112838 0 /proc/9012/statm: 28282 364 305 221 0 87 0 [pid=9014] ppid=9012 vsize=28231652 memory=50400 CPUtime=0.54 cores=0-7 /proc/9014/stat : 9014 (java) S 9012 9012 3200 0 -1 1077944320 10970 0 0 0 50 4 0 0 20 0 20 0 476612624 28909211648 12600 33554432000 4194304 4196468 140721149677664 140721149660208 139778951061239 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 /proc/9014/statm: 7057913 12600 3344 1 0 7019032 0 [pid=9014/tid=9015] ppid=9012 vsize=28231652 memory=8112282956445269571 CPUtime=0.3 cores=0-7 /proc/9014/task/9015/stat : 9015 (java) R 9012 9012 3200 0 -1 4202560 7944 0 0 0 27 3 0 0 20 0 20 0 476612625 28909211648 12608 33554432000 4194304 4196468 140721149677664 139778955296176 139778951083165 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9016] ppid=9012 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9014/task/9016/stat : 9016 (java) S 9012 9012 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476612625 28909211648 12608 33554432000 4194304 4196468 140721149677664 139778907613584 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9017] ppid=9012 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9014/task/9017/stat : 9017 (java) S 9012 9012 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476612625 28909211648 12608 33554432000 4194304 4196468 140721149677664 139778906560784 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9018] ppid=9012 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9014/task/9018/stat : 9018 (java) S 9012 9012 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476612625 28909211648 12608 33554432000 4194304 4196468 140721149677664 139778500713104 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9019] ppid=9012 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9014/task/9019/stat : 9019 (java) S 9012 9012 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476612625 28909211648 12608 33554432000 4194304 4196468 140721149677664 139778499660304 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9020] ppid=9012 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/9014/task/9020/stat : 9020 (java) S 9012 9012 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476612625 28909211648 12608 33554432000 4194304 4196468 140721149677664 139778498608016 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9021] ppid=9012 vsize=28231652 memory=140202093933487 CPUtime=0 cores=0-7 /proc/9014/task/9021/stat : 9021 (java) S 9012 9012 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476612626 28909211648 12608 33554432000 4194304 4196468 140721149677664 139778497555216 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9022] ppid=9012 vsize=28231652 memory=140202093935792 CPUtime=0 cores=0-7 /proc/9014/task/9022/stat : 9022 (java) S 9012 9012 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476612626 28909211648 12608 33554432000 4194304 4196468 140721149677664 139778496502928 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9023] ppid=9012 vsize=28231652 memory=140202093938096 CPUtime=0 cores=0-7 /proc/9014/task/9023/stat : 9023 (java) S 9012 9012 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476612626 28909211648 12608 33554432000 4194304 4196468 140721149677664 139778495450128 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9024] ppid=9012 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9014/task/9024/stat : 9024 (java) S 9012 9012 3200 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476612627 28909211648 12608 33554432000 4194304 4196468 140721149677664 139777280903280 139778951072386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9025] ppid=9012 vsize=28231652 memory=280404187883152 CPUtime=0 cores=0-7 /proc/9014/task/9025/stat : 9025 (java) S 9012 9012 3200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476612627 28909211648 12608 33554432000 4194304 4196468 140721149677664 139777279849248 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9026] ppid=9012 vsize=28231652 memory=280404187890064 CPUtime=0 cores=0-7 /proc/9014/task/9026/stat : 9026 (java) S 9012 9012 3200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476612628 28909211648 12608 33554432000 4194304 4196468 140721149677664 139777278796912 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9027] ppid=9012 vsize=28231652 memory=280404187831216 CPUtime=0 cores=0-7 /proc/9014/task/9027/stat : 9027 (java) S 9012 9012 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476612630 28909211648 12608 33554432000 4194304 4196468 140721149677664 139777277745232 139778951079835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9028] ppid=9012 vsize=28231652 memory=280404187903888 CPUtime=0.04 cores=0-7 /proc/9014/task/9028/stat : 9028 (java) S 9012 9012 3200 0 -1 1077944384 512 0 0 0 4 0 0 0 20 0 20 0 476612630 28909211648 12608 33554432000 4194304 4196468 140721149677664 139777276693104 139778951072386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9029] ppid=9012 vsize=28231652 memory=280404187910800 CPUtime=0.01 cores=0-7 /proc/9014/task/9029/stat : 9029 (java) S 9012 9012 3200 0 -1 1077944384 187 0 0 0 1 0 0 0 20 0 20 0 476612630 28909211648 12608 33554432000 4194304 4196468 140721149677664 139777275640304 139778951072386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9030] ppid=9012 vsize=28231652 memory=280404187908496 CPUtime=0.02 cores=0-7 /proc/9014/task/9030/stat : 9030 (java) S 9012 9012 3200 0 -1 1077944384 200 0 0 0 2 0 0 0 20 0 20 0 476612630 28909211648 12608 33554432000 4194304 4196468 140721149677664 139777274588016 139778951072386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9031] ppid=9012 vsize=28231652 memory=280404187924656 CPUtime=0.12 cores=0-7 /proc/9014/task/9031/stat : 9031 (java) S 9012 9012 3200 0 -1 1077944384 826 0 0 0 12 0 0 0 20 0 20 0 476612630 28909211648 12608 33554432000 4194304 4196468 140721149677664 139777273535216 139778951072386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9032] ppid=9012 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9014/task/9032/stat : 9032 (java) S 9012 9012 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476612630 28909211648 12608 33554432000 4194304 4196468 140721149677664 139777272482144 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9033] ppid=9012 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/9014/task/9033/stat : 9033 (java) S 9012 9012 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476612631 28909211648 12608 33554432000 4194304 4196468 140721149677664 139777271429424 139778951072386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 Current children cumulated CPU time: 0.54 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51856 KiB [startup+0.701753 s] /proc/loadavg: 8.37 8.35 8.33 4/212 9033 /proc/meminfo: memFree=11745536/32770624 swapFree=66956720/67108860 [pid=9012] ppid=9009 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/9012/stat : 9012 (xcsp3-exec) S 9009 9012 3200 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476612624 115843072 364 33554432000 4194304 5098028 140732348106432 140732348104536 139825459585660 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15650816 140732348109656 140732348109914 140732348109914 140732348112838 0 /proc/9012/statm: 28282 364 305 221 0 87 0 [pid=9014] ppid=9012 vsize=28766288 memory=125820 CPUtime=1.97 cores=0-7 /proc/9014/stat : 9014 (java) S 9012 9012 3200 0 -1 1077944320 15885 0 0 0 191 6 0 0 20 0 28 0 476612624 29456678912 30943 33554432000 4194304 4196468 140721149677664 140721149660208 139778951061239 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 /proc/9014/statm: 7191572 31455 3460 1 0 7152672 0 [pid=9014/tid=9015] ppid=9012 vsize=28766288 memory=280404188282544 CPUtime=0.58 cores=0-7 /proc/9014/task/9015/stat : 9015 (java) S 9012 9012 3200 0 -1 1077944384 9305 0 0 0 54 4 0 0 20 0 28 0 476612625 29456678912 31967 33554432000 4194304 4196468 140721149677664 139778955302016 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9016] ppid=9012 vsize=28766288 memory=140202094142320 CPUtime=0 cores=0-7 /proc/9014/task/9016/stat : 9016 (java) S 9012 9012 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 476612625 29456678912 31967 33554432000 4194304 4196468 140721149677664 139778907613584 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9017] ppid=9012 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/9014/task/9017/stat : 9017 (java) S 9012 9012 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476612625 29456678912 31967 33554432000 4194304 4196468 140721149677664 139778906560784 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9018] ppid=9012 vsize=28766288 memory=6032 CPUtime=0 cores=0-7 /proc/9014/task/9018/stat : 9018 (java) S 9012 9012 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476612625 29456678912 32479 33554432000 4194304 4196468 140721149677664 139778500713104 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 ################ # More data... # ################ [pid=9014/tid=9031] ppid=9012 vsize=28769364 memory=3636 CPUtime=0.64 cores=0-7 /proc/9014/task/9031/stat : 9031 (java) S 9012 9012 3200 0 -1 1077944384 3601 0 0 0 63 1 0 0 20 0 28 0 476612630 29459828736 57386 33554432000 4194304 4196468 140721149677664 139777273535216 139778951072386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9032] ppid=9012 vsize=28769364 memory=2832 CPUtime=0 cores=0-7 /proc/9014/task/9032/stat : 9032 (java) S 9012 9012 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476612630 29459828736 57386 33554432000 4194304 4196468 140721149677664 139777272482144 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9033] ppid=9012 vsize=28769364 memory=14012 CPUtime=0 cores=0-7 /proc/9014/task/9033/stat : 9033 (java) S 9012 9012 3200 0 -1 1077944384 663 0 0 0 0 0 0 0 20 0 28 0 476612631 29459828736 57386 33554432000 4194304 4196468 140721149677664 139777271429424 139778951072386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9138] ppid=9012 vsize=28769364 memory=2112 CPUtime=10.23 cores=0-7 /proc/9014/task/9138/stat : 9138 (java) R 9012 9012 3200 0 -1 4202560 413 0 0 0 1023 0 0 0 20 0 28 0 476612788 29459828736 57386 33554432000 4194304 4196468 140721149677664 139777260104616 139778592348122 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9139] ppid=9012 vsize=28769364 memory=12040 CPUtime=9.91 cores=0-7 /proc/9014/task/9139/stat : 9139 (java) R 9012 9012 3200 0 -1 4202560 177 0 0 0 991 0 0 0 20 0 28 0 476612788 29459828736 57386 33554432000 4194304 4196468 140721149677664 139777253789976 139778591218009 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9140] ppid=9012 vsize=28769364 memory=32020 CPUtime=9.96 cores=0-7 /proc/9014/task/9140/stat : 9140 (java) R 9012 9012 3200 0 -1 4202560 137 0 0 0 996 0 0 0 20 0 28 0 476612788 29459828736 57386 33554432000 4194304 4196468 140721149677664 139777255895192 139778591218045 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9141] ppid=9012 vsize=28769364 memory=1056 CPUtime=10.12 cores=0-7 /proc/9014/task/9141/stat : 9141 (java) R 9012 9012 3200 0 -1 4202560 342 0 0 0 1012 0 0 0 20 0 28 0 476612788 29459828736 57386 33554432000 4194304 4196468 140721149677664 139777262211208 139778592762320 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9142] ppid=9012 vsize=28769364 memory=1556 CPUtime=9.84 cores=0-7 /proc/9014/task/9142/stat : 9142 (java) R 9012 9012 3200 0 -1 4202560 393 0 0 0 984 0 0 0 20 0 28 0 476612788 29459828736 57386 33554432000 4194304 4196468 140721149677664 139777259053840 139778592011039 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9143] ppid=9012 vsize=28769364 memory=11632 CPUtime=9.89 cores=0-7 /proc/9014/task/9143/stat : 9143 (java) R 9012 9012 3200 0 -1 4202560 194 0 0 0 989 0 0 0 20 0 28 0 476612788 29459828736 57386 33554432000 4194304 4196468 140721149677664 139777254842952 139778586913532 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9144] ppid=9012 vsize=28769364 memory=1732 CPUtime=9.88 cores=0-7 /proc/9014/task/9144/stat : 9144 (java) R 9012 9012 3200 0 -1 4202560 538 0 0 0 988 0 0 0 20 0 28 0 476612788 29459828736 57386 33554432000 4194304 4196468 140721149677664 139777261157960 139778591218525 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9145] ppid=9012 vsize=28769364 memory=1088 CPUtime=9.98 cores=0-7 /proc/9014/task/9145/stat : 9145 (java) R 9012 9012 3200 0 -1 4202560 231 0 0 0 998 0 0 0 20 0 28 0 476612788 29459828736 57386 33554432000 4194304 4196468 140721149677664 139777256947144 139778592071404 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 Current children cumulated CPU time: 91.46 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 231000 KiB [startup+12.4017 s] /proc/loadavg: 8.56 8.39 8.34 11/221 9147 /proc/meminfo: memFree=11582588/32770624 swapFree=66956720/67108860 [pid=9012] ppid=9009 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/9012/stat : 9012 (xcsp3-exec) S 9009 9012 3200 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476612624 115843072 364 33554432000 4194304 5098028 140732348106432 140732348104536 139825459585660 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15650816 140732348109656 140732348109914 140732348109914 140732348112838 0 /proc/9012/statm: 28282 364 305 221 0 87 0 [pid=9014] ppid=9012 vsize=28769364 memory=229636 CPUtime=94.59 cores=0-7 /proc/9014/stat : 9014 (java) S 9012 9012 3200 0 -1 1077944320 38719 0 0 0 9442 17 0 0 20 0 28 0 476612624 29459828736 57409 33554432000 4194304 4196468 140721149677664 140721149660208 139778951061239 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 /proc/9014/statm: 7192341 57409 3520 1 0 7153441 0 [pid=9014/tid=9015] ppid=9012 vsize=28769364 memory=0 CPUtime=0.59 cores=0-7 /proc/9014/task/9015/stat : 9015 (java) S 9012 9012 3200 0 -1 1077944384 9307 0 0 0 55 4 0 0 20 0 28 0 476612625 29459828736 57409 33554432000 4194304 4196468 140721149677664 139778955302016 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9016] ppid=9012 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/9014/task/9016/stat : 9016 (java) S 9012 9012 3200 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 476612625 29459828736 57409 33554432000 4194304 4196468 140721149677664 139778907613584 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9017] ppid=9012 vsize=28769364 memory=1456 CPUtime=0 cores=0-7 /proc/9014/task/9017/stat : 9017 (java) S 9012 9012 3200 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 476612625 29459828736 57409 33554432000 4194304 4196468 140721149677664 139778906560784 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9018] ppid=9012 vsize=28769364 memory=1456 CPUtime=0 cores=0-7 /proc/9014/task/9018/stat : 9018 (java) S 9012 9012 3200 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 28 0 476612625 29459828736 57409 33554432000 4194304 4196468 140721149677664 139778500713104 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9019] ppid=9012 vsize=28769364 memory=229544 CPUtime=0 cores=0-7 /proc/9014/task/9019/stat : 9019 (java) S 9012 9012 3200 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 476612625 29459828736 57409 33554432000 4194304 4196468 140721149677664 139778499660304 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9020] ppid=9012 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/9014/task/9020/stat : 9020 (java) S 9012 9012 3200 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 28 0 476612625 29459828736 57409 33554432000 4194304 4196468 140721149677664 139778498608016 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9021] ppid=9012 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/9014/task/9021/stat : 9021 (java) S 9012 9012 3200 0 -1 1077944384 749 0 0 0 0 0 0 0 20 0 28 0 476612626 29459828736 57409 33554432000 4194304 4196468 140721149677664 139778497555216 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9022] ppid=9012 vsize=28769364 memory=140202094698465 CPUtime=0.01 cores=0-7 /proc/9014/task/9022/stat : 9022 (java) S 9012 9012 3200 0 -1 1077944384 91 0 0 0 1 0 0 0 20 0 28 0 476612626 29459828736 57409 33554432000 4194304 4196468 140721149677664 139778496502928 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9023] ppid=9012 vsize=28769364 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/9014/task/9023/stat : 9023 (java) S 9012 9012 3200 0 -1 1077944384 221 0 0 0 0 0 0 0 20 0 28 0 476612626 29459828736 57409 33554432000 4194304 4196468 140721149677664 139778495450128 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9024] ppid=9012 vsize=28769364 memory=1456 CPUtime=0.01 cores=0-7 /proc/9014/task/9024/stat : 9024 (java) S 9012 9012 3200 0 -1 1077944384 443 0 0 0 1 0 0 0 20 0 28 0 476612627 29459828736 57409 33554432000 4194304 4196468 140721149677664 139777280903280 139778951072386 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9025] ppid=9012 vsize=28769364 memory=229500 CPUtime=0 cores=0-7 /proc/9014/task/9025/stat : 9025 (java) S 9012 9012 3200 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 476612627 29459828736 57409 33554432000 4194304 4196468 140721149677664 139777279849312 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9026] ppid=9012 vsize=28769364 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/9014/task/9026/stat : 9026 (java) S 9012 9012 3200 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 476612628 29459828736 57409 33554432000 4194304 4196468 140721149677664 139777278796928 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9027] ppid=9012 vsize=28769364 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/9014/task/9027/stat : 9027 (java) S 9012 9012 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476612630 29459828736 57409 33554432000 4194304 4196468 140721149677664 139777277745232 139778951079835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9028] ppid=9012 vsize=28769364 memory=0 CPUtime=1.61 cores=0-7 /proc/9014/task/9028/stat : 9028 (java) S 9012 9012 3200 0 -1 1077944384 6038 0 0 0 161 0 0 0 20 0 28 0 476612630 29459828736 57409 33554432000 4194304 4196468 140721149677664 139777276693104 139778951072386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9029] ppid=9012 vsize=28769364 memory=0 CPUtime=1.34 cores=0-7 /proc/9014/task/9029/stat : 9029 (java) S 9012 9012 3200 0 -1 1077944384 6076 0 0 0 134 0 0 0 20 0 28 0 476612630 29459828736 57409 33554432000 4194304 4196468 140721149677664 139777275640304 139778951072386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9030] ppid=9012 vsize=28769364 memory=0 CPUtime=1.2 cores=0-7 /proc/9014/task/9030/stat : 9030 (java) S 9012 9012 3200 0 -1 1077944384 5061 0 0 0 118 2 0 0 20 0 28 0 476612630 29459828736 57409 33554432000 4194304 4196468 140721149677664 139777274588016 139778951072386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9031] ppid=9012 vsize=28769364 memory=0 CPUtime=0.64 cores=0-7 /proc/9014/task/9031/stat : 9031 (java) S 9012 9012 3200 0 -1 1077944384 3726 0 0 0 63 1 0 0 20 0 28 0 476612630 29459828736 57409 33554432000 4194304 4196468 140721149677664 139777273535216 139778951072386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9032] ppid=9012 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/9014/task/9032/stat : 9032 (java) S 9012 9012 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476612630 29459828736 57409 33554432000 4194304 4196468 140721149677664 139777272482144 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9033] ppid=9012 vsize=28769364 memory=280404189154144 CPUtime=0 cores=0-7 /proc/9014/task/9033/stat : 9033 (java) S 9012 9012 3200 0 -1 1077944384 663 0 0 0 0 0 0 0 20 0 28 0 476612631 29459828736 57409 33554432000 4194304 4196468 140721149677664 139777271429424 139778951072386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9138] ppid=9012 vsize=28769364 memory=140202094578176 CPUtime=10.62 cores=0-7 /proc/9014/task/9138/stat : 9138 (java) R 9012 9012 3200 0 -1 4202560 429 0 0 0 1062 0 0 0 20 0 28 0 476612788 29459828736 57409 33554432000 4194304 4196468 140721149677664 139777260107240 139778591218270 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9139] ppid=9012 vsize=28769364 memory=0 CPUtime=10.3 cores=0-7 /proc/9014/task/9139/stat : 9139 (java) R 9012 9012 3200 0 -1 4202560 196 0 0 0 1030 0 0 0 20 0 28 0 476612788 29459828736 57409 33554432000 4194304 4196468 140721149677664 139777253789392 139778591217743 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9140] ppid=9012 vsize=28769364 memory=0 CPUtime=10.35 cores=0-7 /proc/9014/task/9140/stat : 9140 (java) R 9012 9012 3200 0 -1 4202560 154 0 0 0 1035 0 0 0 20 0 28 0 476612788 29459828736 57409 33554432000 4194304 4196468 140721149677664 139777255895192 139778592908975 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9141] ppid=9012 vsize=28769364 memory=0 CPUtime=10.51 cores=0-7 /proc/9014/task/9141/stat : 9141 (java) R 9012 9012 3200 0 -1 4202560 355 0 0 0 1051 0 0 0 20 0 28 0 476612788 29459828736 57409 33554432000 4194304 4196468 140721149677664 139777262211208 139778592010475 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9142] ppid=9012 vsize=28769364 memory=0 CPUtime=10.23 cores=0-7 /proc/9014/task/9142/stat : 9142 (java) R 9012 9012 3200 0 -1 4202560 399 0 0 0 1023 0 0 0 20 0 28 0 476612788 29459828736 57409 33554432000 4194304 4196468 140721149677664 139777259053840 139778930786453 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9143] ppid=9012 vsize=28769364 memory=-1598831813028945288 CPUtime=10.25 cores=0-7 /proc/9014/task/9143/stat : 9143 (java) R 9012 9012 3200 0 -1 4202560 195 0 0 0 1025 0 0 0 20 0 28 0 476612788 29459828736 57409 33554432000 4194304 4196468 140721149677664 139777254842952 139778586913558 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9144] ppid=9012 vsize=28769364 memory=33 CPUtime=10.27 cores=0-7 /proc/9014/task/9144/stat : 9144 (java) R 9012 9012 3200 0 -1 4202560 543 0 0 0 1027 0 0 0 20 0 28 0 476612788 29459828736 57409 33554432000 4194304 4196468 140721149677664 139777261158224 139778591218685 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9145] ppid=9012 vsize=28769364 memory=6944656575208382560 CPUtime=10.37 cores=0-7 /proc/9014/task/9145/stat : 9145 (java) R 9012 9012 3200 0 -1 4202560 240 0 0 0 1037 0 0 0 20 0 28 0 476612788 29459828736 57409 33554432000 4194304 4196468 140721149677664 139777256947688 139778591217294 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 Current children cumulated CPU time: 94.59 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 231092 KiB [startup+12.6018 s] /proc/loadavg: 8.56 8.39 8.34 11/221 9147 /proc/meminfo: memFree=11582588/32770624 swapFree=66956720/67108860 [pid=9012] ppid=9009 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/9012/stat : 9012 (xcsp3-exec) S 9009 9012 3200 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476612624 115843072 364 33554432000 4194304 5098028 140732348106432 140732348104536 139825459585660 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15650816 140732348109656 140732348109914 140732348109914 140732348112838 0 /proc/9012/statm: 28282 364 305 221 0 87 0 [pid=9014] ppid=9012 vsize=28769364 memory=229636 CPUtime=96.19 cores=0-7 /proc/9014/stat : 9014 (java) S 9012 9012 3200 0 -1 1077944320 39220 0 0 0 9602 17 0 0 20 0 28 0 476612624 29459828736 57409 33554432000 4194304 4196468 140721149677664 140721149660208 139778951061239 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 /proc/9014/statm: 7192341 57409 3520 1 0 7153441 0 [pid=9014/tid=9015] ppid=9012 vsize=28769364 memory=280404187676912 CPUtime=0.59 cores=0-7 /proc/9014/task/9015/stat : 9015 (java) S 9012 9012 3200 0 -1 1077944384 9307 0 0 0 55 4 0 0 20 0 28 0 476612625 29459828736 57409 33554432000 4194304 4196468 140721149677664 139778955302016 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9016] ppid=9012 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/9014/task/9016/stat : 9016 (java) S 9012 9012 3200 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 476612625 29459828736 57409 33554432000 4194304 4196468 140721149677664 139778907613584 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9017] ppid=9012 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/9014/task/9017/stat : 9017 (java) S 9012 9012 3200 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 476612625 29459828736 57409 33554432000 4194304 4196468 140721149677664 139778906560784 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9018] ppid=9012 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/9014/task/9018/stat : 9018 (java) S 9012 9012 3200 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 28 0 476612625 29459828736 57409 33554432000 4194304 4196468 140721149677664 139778500713104 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9019] ppid=9012 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/9014/task/9019/stat : 9019 (java) S 9012 9012 3200 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 476612625 29459828736 57409 33554432000 4194304 4196468 140721149677664 139778499660304 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9020] ppid=9012 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/9014/task/9020/stat : 9020 (java) S 9012 9012 3200 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 28 0 476612625 29459828736 57409 33554432000 4194304 4196468 140721149677664 139778498608016 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9021] ppid=9012 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/9014/task/9021/stat : 9021 (java) S 9012 9012 3200 0 -1 1077944384 749 0 0 0 0 0 0 0 20 0 28 0 476612626 29459828736 57409 33554432000 4194304 4196468 140721149677664 139778497555216 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9022] ppid=9012 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7 /proc/9014/task/9022/stat : 9022 (java) S 9012 9012 3200 0 -1 1077944384 91 0 0 0 1 0 0 0 20 0 28 0 476612626 29459828736 57409 33554432000 4194304 4196468 140721149677664 139778496502928 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9023] ppid=9012 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/9014/task/9023/stat : 9023 (java) S 9012 9012 3200 0 -1 1077944384 221 0 0 0 0 0 0 0 20 0 28 0 476612626 29459828736 57409 33554432000 4194304 4196468 140721149677664 139778495450128 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9024] ppid=9012 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7 /proc/9014/task/9024/stat : 9024 (java) S 9012 9012 3200 0 -1 1077944384 443 0 0 0 1 0 0 0 20 0 28 0 476612627 29459828736 57409 33554432000 4194304 4196468 140721149677664 139777280903280 139778951072386 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9025] ppid=9012 vsize=28769364 memory=280404189612960 CPUtime=0 cores=0-7 /proc/9014/task/9025/stat : 9025 (java) S 9012 9012 3200 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 476612627 29459828736 57409 33554432000 4194304 4196468 140721149677664 139777279849312 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9026] ppid=9012 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/9014/task/9026/stat : 9026 (java) S 9012 9012 3200 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 476612628 29459828736 57409 33554432000 4194304 4196468 140721149677664 139777278796928 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9027] ppid=9012 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/9014/task/9027/stat : 9027 (java) S 9012 9012 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476612630 29459828736 57409 33554432000 4194304 4196468 140721149677664 139777277745232 139778951079835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9028] ppid=9012 vsize=28769364 memory=0 CPUtime=1.62 cores=0-7 /proc/9014/task/9028/stat : 9028 (java) S 9012 9012 3200 0 -1 1077944384 6156 0 0 0 162 0 0 0 20 0 28 0 476612630 29459828736 57409 33554432000 4194304 4196468 140721149677664 139777276693104 139778951072386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9029] ppid=9012 vsize=28769364 memory=0 CPUtime=1.34 cores=0-7 /proc/9014/task/9029/stat : 9029 (java) S 9012 9012 3200 0 -1 1077944384 6076 0 0 0 134 0 0 0 20 0 28 0 476612630 29459828736 57409 33554432000 4194304 4196468 140721149677664 139777275640304 139778951072386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9030] ppid=9012 vsize=28769364 memory=0 CPUtime=1.2 cores=0-7 /proc/9014/task/9030/stat : 9030 (java) S 9012 9012 3200 0 -1 1077944384 5222 0 0 0 118 2 0 0 20 0 28 0 476612630 29459828736 57409 33554432000 4194304 4196468 140721149677664 139777274588016 139778951072386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9031] ppid=9012 vsize=28769364 memory=0 CPUtime=0.64 cores=0-7 /proc/9014/task/9031/stat : 9031 (java) S 9012 9012 3200 0 -1 1077944384 3936 0 0 0 63 1 0 0 20 0 28 0 476612630 29459828736 57409 33554432000 4194304 4196468 140721149677664 139777273535216 139778951072386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9032] ppid=9012 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/9014/task/9032/stat : 9032 (java) S 9012 9012 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476612630 29459828736 57409 33554432000 4194304 4196468 140721149677664 139777272482144 139778951071445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9033] ppid=9012 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/9014/task/9033/stat : 9033 (java) S 9012 9012 3200 0 -1 1077944384 663 0 0 0 0 0 0 0 20 0 28 0 476612631 29459828736 57409 33554432000 4194304 4196468 140721149677664 139777271429424 139778951072386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9138] ppid=9012 vsize=28769364 memory=0 CPUtime=10.82 cores=0-7 /proc/9014/task/9138/stat : 9138 (java) R 9012 9012 3200 0 -1 4202560 431 0 0 0 1082 0 0 0 20 0 28 0 476612788 29459828736 57409 33554432000 4194304 4196468 140721149677664 139777260104792 139778591218548 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9139] ppid=9012 vsize=28769364 memory=0 CPUtime=10.49 cores=0-7 /proc/9014/task/9139/stat : 9139 (java) R 9012 9012 3200 0 -1 4202560 197 0 0 0 1049 0 0 0 20 0 28 0 476612788 29459828736 57409 33554432000 4194304 4196468 140721149677664 139777253789392 139778592347836 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9140] ppid=9012 vsize=28769364 memory=0 CPUtime=10.54 cores=0-7 /proc/9014/task/9140/stat : 9140 (java) R 9012 9012 3200 0 -1 4202560 156 0 0 0 1054 0 0 0 20 0 28 0 476612788 29459828736 57409 33554432000 4194304 4196468 140721149677664 139777255895992 139778592297672 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9141] ppid=9012 vsize=28769364 memory=0 CPUtime=10.71 cores=0-7 /proc/9014/task/9141/stat : 9141 (java) R 9012 9012 3200 0 -1 4202560 356 0 0 0 1071 0 0 0 20 0 28 0 476612788 29459828736 57409 33554432000 4194304 4196468 140721149677664 139777262211608 139778591217598 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9142] ppid=9012 vsize=28769364 memory=0 CPUtime=10.43 cores=0-7 /proc/9014/task/9142/stat : 9142 (java) R 9012 9012 3200 0 -1 4202560 399 0 0 0 1043 0 0 0 20 0 28 0 476612788 29459828736 57409 33554432000 4194304 4196468 140721149677664 139777259053672 139778592834284 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9143] ppid=9012 vsize=28769364 memory=0 CPUtime=10.45 cores=0-7 /proc/9014/task/9143/stat : 9143 (java) R 9012 9012 3200 0 -1 4202560 195 0 0 0 1045 0 0 0 20 0 28 0 476612788 29459828736 57409 33554432000 4194304 4196468 140721149677664 139777254842952 139778592347754 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9144] ppid=9012 vsize=28769364 memory=0 CPUtime=10.47 cores=0-7 /proc/9014/task/9144/stat : 9144 (java) R 9012 9012 3200 0 -1 4202560 545 0 0 0 1047 0 0 0 20 0 28 0 476612788 29459828736 57409 33554432000 4194304 4196468 140721149677664 139777261158216 139778591218109 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 [pid=9014/tid=9145] ppid=9012 vsize=28769364 memory=0 CPUtime=10.56 cores=0-7 /proc/9014/task/9145/stat : 9145 (java) R 9012 9012 3200 0 -1 4202560 244 0 0 0 1056 0 0 0 20 0 28 0 476612788 29459828736 57409 33554432000 4194304 4196468 140721149677664 139777256947688 139778591217451 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22392832 140721149686748 140721149686923 140721149686923 140721149689807 0 Current children cumulated CPU time: 96.19 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 231092 KiB Child status: 0 Real time (s): 12.6575 CPU time (s): 96.5581 CPU user time (s): 96.37 CPU system time (s): 0.188101 CPU usage (%): 762.853 Max. virtual memory (cumulated for all children) (KiB): 28882492 Max. memory (cumulated for all children) (KiB): 231092 getrusage(RUSAGE_CHILDREN,...) data: user time used= 96.37 system time used= 0.188101 maximum resident set size= 229852 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40228 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= 5578 involuntary context switches= 1896 # summary of solver processes directly reported to runsolver: # pid: 9012 # total CPU time (s): 96.5581 # total CPU user time (s): 96.37 # total CPU system time (s): 0.188101 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.126358 second user time and 0.17747 second system time The end
Begin job on node149 at 2019-09-20 20:21:41 IDJOB=4404828 IDBENCH=123101 IDSOLVER=2866 FILE ID=node149/4404828-1569003740 RUNJOBID= node149-1568994522-3227 PBS_JOBID= 21704727 Free space on /var/tmp= 13484 MiB SOLVER NAME= choco-solver 2019-09-20 parallel 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 /var/tmp/evaluation-result-4404828-1569003740/watcher-4404828-1569003740 -o /var/tmp/evaluation-result-4404828-1569003740/solver-4404828-1569003740 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1568994522-3227 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 468073126 HOME/instance-4404828-1569003740.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 9478703244e8f640224ac5c9e01083b8 RANDOM SEED=468073126 node149.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.81 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.81 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.81 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.81 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: 11800868 kB MemAvailable: 31815340 kB Buffers: 165136 kB Cached: 19741448 kB SwapCached: 41664 kB Active: 9630284 kB Inactive: 10320544 kB Active(anon): 4860 kB Inactive(anon): 83688 kB Active(file): 9625424 kB Inactive(file): 10236856 kB Unevictable: 110220 kB Mlocked: 110220 kB SwapTotal: 67108860 kB SwapFree: 66956720 kB Dirty: 26136 kB Writeback: 0 kB AnonPages: 121328 kB Mapped: 51116 kB Shmem: 35688 kB Slab: 610784 kB SReclaimable: 580652 kB SUnreclaim: 30132 kB KernelStack: 3728 kB PageTables: 5252 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 507192 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 75776 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 144768 kB DirectMap2M: 33400832 kB Free space on /var/tmp at the end= 13456 MiB End job on node149 at 2019-09-20 20:21:54