Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | OPT | 86 | 28.3782 | 12.8375 |
Name | Tal/ Tal-02_c18.xml |
MD5SUM | 66ad3cf55c90c9564165fed11cad25f4 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 86 |
Best CPU time to get the best result obtained on this benchmark | 28.3782 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 298 |
Number of constraints | 217 |
Number of domains | 9 |
Minimum domain size | 1 |
Maximum domain size | 42 |
Distribution of domain sizes | [{"size":1,"count":45},{"size":2,"count":4},{"size":3,"count":5},{"size":4,"count":6},{"size":5,"count":7},{"size":6,"count":35},{"size":10,"count":21},{"size":42,"count":47}] |
Minimum variable degree | 0 |
Maximum variable degree | 12 |
Distribution of variable degrees | [{"degree":0,"count":128},{"degree":1,"count":45},{"degree":2,"count":37},{"degree":3,"count":7},{"degree":4,"count":8},{"degree":5,"count":19},{"degree":6,"count":15},{"degree":7,"count":11},{"degree":8,"count":11},{"degree":9,"count":8},{"degree":10,"count":5},{"degree":11,"count":3},{"degree":12,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 9 |
Distribution of constraint arities | [{"arity":1,"count":69},{"arity":2,"count":68},{"arity":3,"count":23},{"arity":4,"count":9},{"arity":5,"count":14},{"arity":6,"count":13},{"arity":7,"count":11},{"arity":8,"count":8},{"arity":9,"count":2}] |
Number of extensional constraints | 36 |
Number of intensional constraints | 171 |
Distribution of constraint types | [{"type":"extension","count":36},{"type":"intension","count":171},{"type":"count","count":10}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297556-1532689975.xml" -tl '20160s' -p 8 0.11/0.18 c Choco e747e1e 0.11/0.18 c [HOME/instance-4297556-1532689975.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 18.46/11.30 c solve instance... 22.23/12.08 o 90 22.97/12.15 o 88 23.60/12.22 o 86 27.55/12.80 s OPTIMUM FOUND 27.55/12.80 v <instantiation> 27.55/12.80 v <list>c[0][0] c[0][1] c[0][2] c[0][3] c[0][4] c[0][5] c[1][0] c[1][1] c[1][2] c[1][3] c[1][4] c[1][5] c[2][0] c[2][1] c[2][2] c[2][3] c[2][4] c[2][5] c[3][0] c[3][1] c[3][2] c[3][3] c[3][4] c[3][5] c[4][0] c[4][1] c[4][2] c[4][3] c[4][4] c[4][5] c[5][0] c[5][1] c[5][2] c[5][3] c[5][4] c[5][5] c[6][0] c[6][1] c[6][2] c[6][3] c[6][4] c[6][5] c[7][0] c[7][1] c[7][2] c[7][3] c[7][4] c[7][5] c[8][0] c[8][1] c[8][2] c[8][3] c[8][4] c[8][5] c[9][0] c[9][1] c[9][2] c[9][3] c[9][4] c[9][5] c[10][0] c[10][1] c[10][2] c[10][3] c[10][4] c[10][5] c[11][0] c[11][1] c[11][2] c[11][3] c[11][4] c[11][5] l[0][0] l[0][1] l[0][2] l[0][3] l[0][4] l[0][5] l[1][0] l[1][1] l[1][2] l[1][3] l[1][4] l[1][5] l[2][0] l[2][1] l[2][2] l[2][3] l[2][4] l[2][5] l[3][0] l[3][1] l[3][2] l[3][3] l[3][4] l[4][0] l[4][1] l[4][2] l[4][3] l[4][4] l[5][0] l[5][1] l[5][2] l[5][3] l[6][0] l[6][1] l[6][2] l[6][3] l[7][0] l[7][1] l[7][2] l[8][0] l[8][1] l[8][2] l[9][0] l[9][1] l[10][0] l[10][1] l[11][0] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[5][0] a[5][1] a[5][2] a[5][3] a[7][0] a[7][1] a[7][2] a[9][0] a[9][1] a[11][0] i[2][0] i[2][1] i[2][2] i[2][3] i[2][4] i[2][5] i[4][0] i[4][1] i[4][2] i[4][3] i[4][4] i[6][0] i[6][1] i[6][2] i[6][3] i[8][0] i[8][1] i[8][2] i[10][0] i[10][1] cnt[0] cnt[1] cnt[2] cnt[3] cnt[4] cnt[5] cnt[6] cnt[7] cnt[8] cnt[9] </list> 27.55/12.80 v <values>0 0 0 0 0 0 0 16 0 0 0 0 0 0 0 0 0 0 0 16 0 16 0 0 0 0 0 0 0 0 0 16 0 4 0 0 0 0 0 0 0 0 0 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 15 11 13 9 10 12 15 7 2 0 10 12 15 7 2 10 12 0 15 4 3 7 0 15 4 3 7 0 15 4 0 3 15 4 3 0 15 4 0 15 4 0 15 3 15 3 1 1 1 2 0 1 1 1 1 1 2 0 1 2 0 1 1 2 0 1 1 2 0 1 2 4 5 5 0 1 2 3 4 0 1 3 3 0 1 2 0 1 1 1 1 1 1 1 1 1 0 0 </values> 27.55/12.80 v </instantiation>
OK 86
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 (13579 MiB free) memory of node 1: 16384 MiB (13940 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297556-1532689975/watcher-4297556-1532689975 -o /tmp/evaluation-result-4297556-1532689975/solver-4297556-1532689975 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1532684874-8055 --watchdog 2580 HOME/xcsp3-exec -seed 1459187715 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297556-1532689975.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 Current StackSize limit: 8192 KiB Starting watchdog thread7.x86_64 , 8694, runsolver pid= 8691 Starting watchdog thread7.x86_64 , 8694, runsolver pid= [startup+0.10016 s]* /proc/loadavg: 5.55 7.72 8.41 2/204 8715 /proc/meminfo: memFree=28166032/32770624 swapFree=67108532/67108860 [pid=8694] ppid=8691 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/8694/stat : 8694 (xcsp3-exec) S 8691 8694 8028 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86560681 115843072 363 33554432000 4194304 5098028 140728833385008 140728833383112 140484415562364 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28995584 140728833393717 140728833393920 140728833393920 140728833396682 0 /proc/8694/statm: 28282 363 305 221 0 87 0 [pid=8696] ppid=8694 vsize=26104152 memory=27020 CPUtime=0.11 cores=0-7 /proc/8696/stat : 8696 (java) S 8694 8694 8028 0 -1 1077944320 5701 0 0 0 10 1 0 0 20 0 20 0 86560681 26730651648 6755 33554432000 4194304 4196468 140735005813680 140735005796224 139754043215607 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 /proc/8696/statm: 6526038 6755 3002 1 0 6488315 0 [pid=8696/tid=8697] ppid=8694 vsize=26104152 memory=4134692831991783777 CPUtime=0.08 cores=0-7 /proc/8696/task/8697/stat : 8697 (java) R 8694 8694 8028 0 -1 4202560 3705 0 0 0 8 0 0 0 20 0 20 0 86560682 26730651648 6755 33554432000 4194304 4196468 140735005813680 139754047443184 139754043227542 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8698] ppid=8694 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/8696/task/8698/stat : 8698 (java) S 8694 8694 8028 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86560682 26730651648 6755 33554432000 4194304 4196468 140735005813680 139753601420432 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8699] ppid=8694 vsize=26104152 memory=140310648796800 CPUtime=0 cores=0-7 /proc/8696/task/8699/stat : 8699 (java) S 8694 8694 8028 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86560682 26730651648 6755 33554432000 4194304 4196468 140735005813680 139753600367632 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8700] ppid=8694 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/8696/task/8700/stat : 8700 (java) S 8694 8694 8028 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86560682 26730651648 6755 33554432000 4194304 4196468 140735005813680 139753599314832 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8701] ppid=8694 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/8696/task/8701/stat : 8701 (java) S 8694 8694 8028 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86560682 26730651648 6755 33554432000 4194304 4196468 140735005813680 139753598262032 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8702] ppid=8694 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/8696/task/8702/stat : 8702 (java) S 8694 8694 8028 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86560682 26730651648 6755 33554432000 4194304 4196468 140735005813680 139753597209232 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8703] ppid=8694 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/8696/task/8703/stat : 8703 (java) S 8694 8694 8028 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86560682 26730651648 6755 33554432000 4194304 4196468 140735005813680 139753596156432 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8704] ppid=8694 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/8696/task/8704/stat : 8704 (java) S 8694 8694 8028 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86560682 26730651648 6755 33554432000 4194304 4196468 140735005813680 139753595103632 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8705] ppid=8694 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/8696/task/8705/stat : 8705 (java) S 8694 8694 8028 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86560682 26730651648 6755 33554432000 4194304 4196468 140735005813680 139753594050832 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8706] ppid=8694 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/8696/task/8706/stat : 8706 (java) S 8694 8694 8028 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86560684 26730651648 6755 33554432000 4194304 4196468 140735005813680 139752315353968 139754043226754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8707] ppid=8694 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/8696/task/8707/stat : 8707 (java) S 8694 8694 8028 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86560684 26730651648 6755 33554432000 4194304 4196468 140735005813680 139752314299936 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8708] ppid=8694 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/8696/task/8708/stat : 8708 (java) S 8694 8694 8028 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86560685 26730651648 6755 33554432000 4194304 4196468 140735005813680 139752313247088 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8709] ppid=8694 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/8696/task/8709/stat : 8709 (java) S 8694 8694 8028 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86560687 26730651648 6755 33554432000 4194304 4196468 140735005813680 139752312195408 139754043234203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8710] ppid=8694 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/8696/task/8710/stat : 8710 (java) S 8694 8694 8028 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 86560687 26730651648 6755 33554432000 4194304 4196468 140735005813680 139752311142768 139754043226754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8711] ppid=8694 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/8696/task/8711/stat : 8711 (java) S 8694 8694 8028 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 86560687 26730651648 6755 33554432000 4194304 4196468 140735005813680 139752310089968 139754043226754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8712] ppid=8694 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/8696/task/8712/stat : 8712 (java) S 8694 8694 8028 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86560687 26730651648 6755 33554432000 4194304 4196468 140735005813680 139752309037168 139754043226754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8713] ppid=8694 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/8696/task/8713/stat : 8713 (java) R 8694 8694 8028 0 -1 4202560 247 0 0 0 1 0 0 0 20 0 20 0 86560687 26730651648 6755 33554432000 4194304 4196468 140735005813680 139752307984368 139754027296094 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8714] ppid=8694 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/8696/task/8714/stat : 8714 (java) S 8694 8694 8028 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86560687 26730651648 6755 33554432000 4194304 4196468 140735005813680 139752306932832 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8715] ppid=8694 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/8696/task/8715/stat : 8715 (java) S 8694 8694 8028 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86560687 26730651648 6755 33554432000 4194304 4196468 140735005813680 139752305880112 139754043226754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 28472 KiB [startup+0.210303 s]* /proc/loadavg: 5.55 7.72 8.41 2/204 8715 /proc/meminfo: memFree=28154680/32770624 swapFree=67108532/67108860 [pid=8694] ppid=8691 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/8694/stat : 8694 (xcsp3-exec) S 8691 8694 8028 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86560681 115843072 363 33554432000 4194304 5098028 140728833385008 140728833383112 140484415562364 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28995584 140728833393717 140728833393920 140728833393920 140728833396682 0 /proc/8694/statm: 28282 363 305 221 0 87 0 [pid=8696] ppid=8694 vsize=26104152 memory=40212 CPUtime=0.33 cores=0-7 /proc/8696/stat : 8696 (java) S 8694 8694 8028 0 -1 1077944320 8549 0 0 0 31 2 0 0 20 0 20 0 86560681 26730651648 10053 33554432000 4194304 4196468 140735005813680 140735005796224 139754043215607 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 /proc/8696/statm: 6526038 10053 3210 1 0 6488315 0 [pid=8696/tid=8697] ppid=8694 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/8696/task/8697/stat : 8697 (java) R 8694 8694 8028 0 -1 4202560 5601 0 0 0 18 1 0 0 20 0 20 0 86560682 26730651648 10053 33554432000 4194304 4196468 140735005813680 139754047449040 139754027296094 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8698] ppid=8694 vsize=26104152 memory=339 CPUtime=0 cores=0-7 /proc/8696/task/8698/stat : 8698 (java) S 8694 8694 8028 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86560682 26730651648 10053 33554432000 4194304 4196468 140735005813680 139753601420432 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8699] ppid=8694 vsize=26104152 memory=140310648805727 CPUtime=0 cores=0-7 /proc/8696/task/8699/stat : 8699 (java) S 8694 8694 8028 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86560682 26730651648 10053 33554432000 4194304 4196468 140735005813680 139753600367632 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8700] ppid=8694 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/8696/task/8700/stat : 8700 (java) S 8694 8694 8028 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86560682 26730651648 10053 33554432000 4194304 4196468 140735005813680 139753599314832 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8701] ppid=8694 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/8696/task/8701/stat : 8701 (java) S 8694 8694 8028 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86560682 26730651648 10053 33554432000 4194304 4196468 140735005813680 139753598262032 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8702] ppid=8694 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/8696/task/8702/stat : 8702 (java) S 8694 8694 8028 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86560682 26730651648 10053 33554432000 4194304 4196468 140735005813680 139753597209232 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8703] ppid=8694 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/8696/task/8703/stat : 8703 (java) S 8694 8694 8028 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86560682 26730651648 10053 33554432000 4194304 4196468 140735005813680 139753596156432 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8704] ppid=8694 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/8696/task/8704/stat : 8704 (java) S 8694 8694 8028 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86560682 26730651648 10053 33554432000 4194304 4196468 140735005813680 139753595103632 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8705] ppid=8694 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/8696/task/8705/stat : 8705 (java) S 8694 8694 8028 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86560682 26730651648 10053 33554432000 4194304 4196468 140735005813680 139753594050832 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8706] ppid=8694 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/8696/task/8706/stat : 8706 (java) S 8694 8694 8028 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 86560684 26730651648 10053 33554432000 4194304 4196468 140735005813680 139752315353968 139754043226754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8707] ppid=8694 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/8696/task/8707/stat : 8707 (java) S 8694 8694 8028 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86560684 26730651648 10053 33554432000 4194304 4196468 140735005813680 139752314299936 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8708] ppid=8694 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/8696/task/8708/stat : 8708 (java) S 8694 8694 8028 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86560685 26730651648 10053 33554432000 4194304 4196468 140735005813680 139752313247088 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8709] ppid=8694 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/8696/task/8709/stat : 8709 (java) S 8694 8694 8028 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86560687 26730651648 10053 33554432000 4194304 4196468 140735005813680 139752312195408 139754043234203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8710] ppid=8694 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/8696/task/8710/stat : 8710 (java) S 8694 8694 8028 0 -1 1077944384 338 0 0 0 1 0 0 0 20 0 20 0 86560687 26730651648 10053 33554432000 4194304 4196468 140735005813680 139752311142768 139754043226754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8711] ppid=8694 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/8696/task/8711/stat : 8711 (java) S 8694 8694 8028 0 -1 1077944384 219 0 0 0 1 0 0 0 20 0 20 0 86560687 26730651648 10053 33554432000 4194304 4196468 140735005813680 139752310089968 139754043226754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8712] ppid=8694 vsize=26104152 memory=-1 CPUtime=0.01 cores=0-7 /proc/8696/task/8712/stat : 8712 (java) S 8694 8694 8028 0 -1 1077944384 339 0 0 0 1 0 0 0 20 0 20 0 86560687 26730651648 10053 33554432000 4194304 4196468 140735005813680 139752309037168 139754043226754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8713] ppid=8694 vsize=26104152 memory=-1 CPUtime=0.08 cores=0-7 /proc/8696/task/8713/stat : 8713 (java) S 8694 8694 8028 0 -1 1077944384 737 0 0 0 8 0 0 0 20 0 20 0 86560687 26730651648 10053 33554432000 4194304 4196468 140735005813680 139752307984368 139754043226754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8714] ppid=8694 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/8696/task/8714/stat : 8714 (java) S 8694 8694 8028 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86560687 26730651648 10053 33554432000 4194304 4196468 140735005813680 139752306932832 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8715] ppid=8694 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/8696/task/8715/stat : 8715 (java) S 8694 8694 8028 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86560687 26730651648 10053 33554432000 4194304 4196468 140735005813680 139752305880112 139754043226754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 41664 KiB [startup+0.309634 s]* /proc/loadavg: 5.55 7.72 8.41 4/204 8715 /proc/meminfo: memFree=28148848/32770624 swapFree=67108532/67108860 [pid=8694] ppid=8691 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/8694/stat : 8694 (xcsp3-exec) S 8691 8694 8028 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86560681 115843072 363 33554432000 4194304 5098028 140728833385008 140728833383112 140484415562364 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28995584 140728833393717 140728833393920 140728833393920 140728833396682 0 /proc/8694/statm: 28282 363 305 221 0 87 0 [pid=8696] ppid=8694 vsize=26108408 memory=46488 CPUtime=0.51 cores=0-7 /proc/8696/stat : 8696 (java) S 8694 8694 8028 0 -1 1077944320 9372 0 0 0 48 3 0 0 20 0 20 0 86560681 26735009792 11622 33554432000 4194304 4196468 140735005813680 140735005796224 139754043215607 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 /proc/8696/statm: 6527102 11622 3247 1 0 6488315 0 [pid=8696/tid=8697] ppid=8694 vsize=26108408 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/8696/task/8697/stat : 8697 (java) R 8694 8694 8028 0 -1 4202560 6264 0 0 0 27 2 0 0 20 0 20 0 86560682 26735009792 11622 33554432000 4194304 4196468 140735005813680 139754047446720 139754043237533 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8698] ppid=8694 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/8696/task/8698/stat : 8698 (java) S 8694 8694 8028 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86560682 26735009792 11622 33554432000 4194304 4196468 140735005813680 139753601420432 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8699] ppid=8694 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/8696/task/8699/stat : 8699 (java) S 8694 8694 8028 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86560682 26735009792 11622 33554432000 4194304 4196468 140735005813680 139753600367632 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8700] ppid=8694 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/8696/task/8700/stat : 8700 (java) S 8694 8694 8028 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86560682 26735009792 11622 33554432000 4194304 4196468 140735005813680 139753599314832 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8701] ppid=8694 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/8696/task/8701/stat : 8701 (java) S 8694 8694 8028 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86560682 26735009792 11622 33554432000 4194304 4196468 140735005813680 139753598262032 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8702] ppid=8694 vsize=26108408 memory=2244 CPUtime=0 cores=0-7 /proc/8696/task/8702/stat : 8702 (java) S 8694 8694 8028 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86560682 26735009792 11622 33554432000 4194304 4196468 140735005813680 139753597209232 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8703] ppid=8694 vsize=26108408 memory=140310541857711 CPUtime=0 cores=0-7 /proc/8696/task/8703/stat : 8703 (java) S 8694 8694 8028 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86560682 26735009792 11622 33554432000 4194304 4196468 140735005813680 139753596156432 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8704] ppid=8694 vsize=26108408 memory=140310541860016 CPUtime=0 cores=0-7 /proc/8696/task/8704/stat : 8704 (java) S 8694 8694 8028 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86560682 26735009792 11622 33554432000 4194304 4196468 140735005813680 139753595103632 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8705] ppid=8694 vsize=26108408 memory=140310541862320 CPUtime=0 cores=0-7 /proc/8696/task/8705/stat : 8705 (java) S 8694 8694 8028 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86560682 26735009792 11622 33554432000 4194304 4196468 140735005813680 139753594050832 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8706] ppid=8694 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/8696/task/8706/stat : 8706 (java) S 8694 8694 8028 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 86560684 26735009792 11622 33554432000 4194304 4196468 140735005813680 139752315353968 139754043226754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8707] ppid=8694 vsize=26108408 memory=280621083731600 CPUtime=0 cores=0-7 /proc/8696/task/8707/stat : 8707 (java) S 8694 8694 8028 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86560684 26735009792 11622 33554432000 4194304 4196468 140735005813680 139752314299936 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8708] ppid=8694 vsize=26108408 memory=280621083738512 CPUtime=0 cores=0-7 /proc/8696/task/8708/stat : 8708 (java) S 8694 8694 8028 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86560685 26735009792 11622 33554432000 4194304 4196468 140735005813680 139752313247088 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8709] ppid=8694 vsize=26108408 memory=280621083679792 CPUtime=0 cores=0-7 /proc/8696/task/8709/stat : 8709 (java) S 8694 8694 8028 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86560687 26735009792 11622 33554432000 4194304 4196468 140735005813680 139752312195408 139754043234203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8710] ppid=8694 vsize=26108408 memory=280621083752336 CPUtime=0.02 cores=0-7 /proc/8696/task/8710/stat : 8710 (java) R 8694 8694 8028 0 -1 4202560 440 0 0 0 2 0 0 0 20 0 20 0 86560687 26735009792 11622 33554432000 4194304 4196468 140735005813680 139752311132880 139754024736613 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8711] ppid=8694 vsize=26108408 memory=280621083759248 CPUtime=0.03 cores=0-7 /proc/8696/task/8711/stat : 8711 (java) S 8694 8694 8028 0 -1 1077944384 233 0 0 0 3 0 0 0 20 0 20 0 86560687 26735009792 11622 33554432000 4194304 4196468 140735005813680 139752310089968 139754043226754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8712] ppid=8694 vsize=26108408 memory=280621083756944 CPUtime=0.03 cores=0-7 /proc/8696/task/8712/stat : 8712 (java) S 8694 8694 8028 0 -1 1077944384 342 0 0 0 3 0 0 0 20 0 20 0 86560687 26735009792 11622 33554432000 4194304 4196468 140735005813680 139752309037168 139754043226754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8713] ppid=8694 vsize=26108408 memory=280621083773104 CPUtime=0.12 cores=0-7 /proc/8696/task/8713/stat : 8713 (java) S 8694 8694 8028 0 -1 1077944384 787 0 0 0 12 0 0 0 20 0 20 0 86560687 26735009792 11622 33554432000 4194304 4196468 140735005813680 139752307984368 139754043226754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8714] ppid=8694 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/8696/task/8714/stat : 8714 (java) S 8694 8694 8028 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86560687 26735009792 11622 33554432000 4194304 4196468 140735005813680 139752306932832 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8715] ppid=8694 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/8696/task/8715/stat : 8715 (java) S 8694 8694 8028 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86560687 26735009792 11622 33554432000 4194304 4196468 140735005813680 139752305880112 139754043226754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 47940 KiB [startup+0.701 s] /proc/loadavg: 5.55 7.72 8.41 6/204 8715 /proc/meminfo: memFree=28122872/32770624 swapFree=67108532/67108860 [pid=8694] ppid=8691 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/8694/stat : 8694 (xcsp3-exec) S 8691 8694 8028 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86560681 115843072 363 33554432000 4194304 5098028 140728833385008 140728833383112 140484415562364 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28995584 140728833393717 140728833393920 140728833393920 140728833396682 0 /proc/8694/statm: 28282 363 305 221 0 87 0 [pid=8696] ppid=8694 vsize=26110532 memory=88752 CPUtime=1.86 cores=0-7 /proc/8696/stat : 8696 (java) S 8694 8694 8028 0 -1 1077944320 14376 0 0 0 181 5 0 0 20 0 20 0 86560681 26737184768 22188 33554432000 4194304 4196468 140735005813680 140735005796224 139754043215607 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 /proc/8696/statm: 6527633 22188 3364 1 0 6488827 0 [pid=8696/tid=8697] ppid=8694 vsize=26110532 memory=280621084130992 CPUtime=0.67 cores=0-7 /proc/8696/task/8697/stat : 8697 (java) R 8694 8694 8028 0 -1 4202560 7240 0 0 0 64 3 0 0 20 0 20 0 86560682 26737184768 22188 33554432000 4194304 4196468 140735005813680 139754047453232 139753680593160 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8698] ppid=8694 vsize=26110532 memory=140310542066544 CPUtime=0 cores=0-7 /proc/8696/task/8698/stat : 8698 (java) S 8694 8694 8028 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86560682 26737184768 22188 33554432000 4194304 4196468 140735005813680 139753601420432 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8699] ppid=8694 vsize=26110532 memory=0 CPUtime=0 cores=0-7 ################ # More data... # ################ [startup+6.30093 s] /proc/loadavg: 5.19 7.61 8.37 3/204 8715 /proc/meminfo: memFree=27624580/32770624 swapFree=67108532/67108860 [pid=8694] ppid=8691 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/8694/stat : 8694 (xcsp3-exec) S 8691 8694 8028 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86560681 115843072 363 33554432000 4194304 5098028 140728833385008 140728833383112 140484415562364 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28995584 140728833393717 140728833393920 140728833393920 140728833396682 0 /proc/8694/statm: 28282 363 305 221 0 87 0 [pid=8696] ppid=8694 vsize=26112580 memory=573068 CPUtime=10.71 cores=0-7 /proc/8696/stat : 8696 (java) S 8694 8694 8028 0 -1 1077944320 27895 0 0 0 997 74 0 0 20 0 20 0 86560681 26739281920 143267 33554432000 4194304 4196468 140735005813680 140735005796224 139754043215607 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 /proc/8696/statm: 6528145 143267 3409 1 0 6489339 0 [pid=8696/tid=8697] ppid=8694 vsize=26112580 memory=3868 CPUtime=6.06 cores=0-7 /proc/8696/task/8697/stat : 8697 (java) R 8694 8694 8028 0 -1 4202560 9349 0 0 0 601 5 0 0 20 0 20 0 86560682 26739281920 143267 33554432000 4194304 4196468 140735005813680 139754047452320 139753684867628 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8698] ppid=8694 vsize=26112580 memory=25356 CPUtime=0.18 cores=0-7 /proc/8696/task/8698/stat : 8698 (java) S 8694 8694 8028 0 -1 1077944384 219 0 0 0 11 7 0 0 20 0 20 0 86560682 26739281920 143267 33554432000 4194304 4196468 140735005813680 139753601420432 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8699] ppid=8694 vsize=26112580 memory=1280 CPUtime=0.17 cores=0-7 /proc/8696/task/8699/stat : 8699 (java) S 8694 8694 8028 0 -1 1077944384 179 0 0 0 9 8 0 0 20 0 20 0 86560682 26739281920 143267 33554432000 4194304 4196468 140735005813680 139753600367632 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8700] ppid=8694 vsize=26112580 memory=1280 CPUtime=0.17 cores=0-7 /proc/8696/task/8700/stat : 8700 (java) S 8694 8694 8028 0 -1 1077944384 431 0 0 0 10 7 0 0 20 0 20 0 86560682 26739281920 143267 33554432000 4194304 4196468 140735005813680 139753599314832 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8701] ppid=8694 vsize=26112580 memory=2340 CPUtime=0.17 cores=0-7 /proc/8696/task/8701/stat : 8701 (java) S 8694 8694 8028 0 -1 1077944384 203 0 0 0 9 8 0 0 20 0 20 0 86560682 26739281920 143267 33554432000 4194304 4196468 140735005813680 139753598262032 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8702] ppid=8694 vsize=26112580 memory=1832 CPUtime=0.17 cores=0-7 /proc/8696/task/8702/stat : 8702 (java) S 8694 8694 8028 0 -1 1077944384 217 0 0 0 9 8 0 0 20 0 20 0 86560682 26739281920 143267 33554432000 4194304 4196468 140735005813680 139753597209232 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8703] ppid=8694 vsize=26112580 memory=55 CPUtime=0.17 cores=0-7 /proc/8696/task/8703/stat : 8703 (java) S 8694 8694 8028 0 -1 1077944384 280 0 0 0 11 6 0 0 20 0 20 0 86560682 26739281920 143267 33554432000 4194304 4196468 140735005813680 139753596156432 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8704] ppid=8694 vsize=26112580 memory=11838 CPUtime=0.17 cores=0-7 /proc/8696/task/8704/stat : 8704 (java) S 8694 8694 8028 0 -1 1077944384 288 0 0 0 9 8 0 0 20 0 20 0 86560682 26739281920 143267 33554432000 4194304 4196468 140735005813680 139753595103632 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8705] ppid=8694 vsize=26112580 memory=454988 CPUtime=0.14 cores=0-7 /proc/8696/task/8705/stat : 8705 (java) S 8694 8694 8028 0 -1 1077944384 365 0 0 0 7 7 0 0 20 0 20 0 86560682 26739281920 143267 33554432000 4194304 4196468 140735005813680 139753594050832 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8706] ppid=8694 vsize=26112580 memory=0 CPUtime=0 cores=0-7 /proc/8696/task/8706/stat : 8706 (java) S 8694 8694 8028 0 -1 1077944384 434 0 0 0 0 0 0 0 20 0 20 0 86560684 26739281920 143267 33554432000 4194304 4196468 140735005813680 139752315353968 139754043226754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8707] ppid=8694 vsize=26112580 memory=92 CPUtime=0 cores=0-7 /proc/8696/task/8707/stat : 8707 (java) S 8694 8694 8028 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 20 0 86560684 26739281920 143267 33554432000 4194304 4196468 140735005813680 139752314300000 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8708] ppid=8694 vsize=26112580 memory=78 CPUtime=0 cores=0-7 /proc/8696/task/8708/stat : 8708 (java) S 8694 8694 8028 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 86560685 26739281920 143267 33554432000 4194304 4196468 140735005813680 139752313247104 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8709] ppid=8694 vsize=26112580 memory=64 CPUtime=0 cores=0-7 /proc/8696/task/8709/stat : 8709 (java) S 8694 8694 8028 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86560687 26739281920 143267 33554432000 4194304 4196468 140735005813680 139752312195408 139754043234203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8710] ppid=8694 vsize=26112580 memory=0 CPUtime=0.65 cores=0-7 /proc/8696/task/8710/stat : 8710 (java) S 8694 8694 8028 0 -1 1077944384 2391 0 0 0 64 1 0 0 20 0 20 0 86560687 26739281920 143267 33554432000 4194304 4196468 140735005813680 139752311142768 139754043226754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8711] ppid=8694 vsize=26112580 memory=0 CPUtime=1.11 cores=0-7 /proc/8696/task/8711/stat : 8711 (java) R 8694 8694 8028 0 -1 4202560 4442 0 0 0 110 1 0 0 20 0 20 0 86560687 26739281920 143267 33554432000 4194304 4196468 140735005813680 139752310070488 139754022461455 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8712] ppid=8694 vsize=26112580 memory=3868 CPUtime=0.78 cores=0-7 /proc/8696/task/8712/stat : 8712 (java) S 8694 8694 8028 0 -1 1077944384 3009 0 0 0 78 0 0 0 20 0 20 0 86560687 26739281920 143267 33554432000 4194304 4196468 140735005813680 139752309037168 139754043226754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8713] ppid=8694 vsize=26112580 memory=25356 CPUtime=0.64 cores=0-7 /proc/8696/task/8713/stat : 8713 (java) S 8694 8694 8028 0 -1 1077944384 4684 0 0 0 64 0 0 0 20 0 20 0 86560687 26739281920 143267 33554432000 4194304 4196468 140735005813680 139752307984368 139754043226754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8714] ppid=8694 vsize=26112580 memory=280621083529176 CPUtime=0 cores=0-7 /proc/8696/task/8714/stat : 8714 (java) S 8694 8694 8028 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86560687 26739281920 143267 33554432000 4194304 4196468 140735005813680 139752306932832 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8715] ppid=8694 vsize=26112580 memory=39524839197162 CPUtime=0 cores=0-7 /proc/8696/task/8715/stat : 8715 (java) S 8694 8694 8028 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 86560687 26739281920 143267 33554432000 4194304 4196468 140735005813680 139752305880112 139754043226754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 24 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 Current children cumulated CPU time: 10.71 s Current children cumulated vsize: 26225708 KiB Current children cumulated memory: 574520 KiB [startup+12.7017 s] /proc/loadavg: 4.54 7.39 8.29 12/212 8723 /proc/meminfo: memFree=26956948/32770624 swapFree=67108532/67108860 [pid=8694] ppid=8691 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/8694/stat : 8694 (xcsp3-exec) S 8691 8694 8028 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86560681 115843072 363 33554432000 4194304 5098028 140728833385008 140728833383112 140484415562364 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28995584 140728833393717 140728833393920 140728833393920 140728833396682 0 /proc/8694/statm: 28282 363 305 221 0 87 0 [pid=8696] ppid=8694 vsize=26645092 memory=1251620 CPUtime=27.55 cores=0-7 /proc/8696/stat : 8696 (java) S 8694 8694 8028 0 -1 1077944320 40953 0 0 0 2560 195 0 0 20 0 28 0 86560681 27284574208 312905 33554432000 4194304 4196468 140735005813680 140735005796224 139754043215607 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 /proc/8696/statm: 6661273 312905 3455 1 0 6622467 0 [pid=8696/tid=8697] ppid=8694 vsize=26645092 memory=44 CPUtime=10.44 cores=0-7 /proc/8696/task/8697/stat : 8697 (java) S 8694 8694 8028 0 -1 1077944384 9681 0 0 0 1035 9 0 0 20 0 28 0 86560682 27284574208 312905 33554432000 4194304 4196468 140735005813680 139754047456384 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8698] ppid=8694 vsize=26645092 memory=39 CPUtime=0.83 cores=0-7 /proc/8696/task/8698/stat : 8698 (java) S 8694 8694 8028 0 -1 1077944384 711 0 0 0 61 22 0 0 20 0 28 0 86560682 27284574208 312905 33554432000 4194304 4196468 140735005813680 139753601420432 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8699] ppid=8694 vsize=26645092 memory=79 CPUtime=0.82 cores=0-7 /proc/8696/task/8699/stat : 8699 (java) S 8694 8694 8028 0 -1 1077944384 886 0 0 0 60 22 0 0 20 0 28 0 86560682 27284574208 312905 33554432000 4194304 4196468 140735005813680 139753600367632 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8700] ppid=8694 vsize=26645092 memory=78 CPUtime=0.79 cores=0-7 /proc/8696/task/8700/stat : 8700 (java) S 8694 8694 8028 0 -1 1077944384 805 0 0 0 59 20 0 0 20 0 28 0 86560682 27284574208 312905 33554432000 4194304 4196468 140735005813680 139753599314832 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8701] ppid=8694 vsize=26645092 memory=1200 CPUtime=0.78 cores=0-7 /proc/8696/task/8701/stat : 8701 (java) S 8694 8694 8028 0 -1 1077944384 577 0 0 0 55 23 0 0 20 0 28 0 86560682 27284574208 312905 33554432000 4194304 4196468 140735005813680 139753598262032 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8702] ppid=8694 vsize=26645092 memory=15436 CPUtime=0.81 cores=0-7 /proc/8696/task/8702/stat : 8702 (java) S 8694 8694 8028 0 -1 1077944384 634 0 0 0 58 23 0 0 20 0 28 0 86560682 27284574208 312905 33554432000 4194304 4196468 140735005813680 139753597209232 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8703] ppid=8694 vsize=26645092 memory=280621084391424 CPUtime=0.81 cores=0-7 /proc/8696/task/8703/stat : 8703 (java) S 8694 8694 8028 0 -1 1077944384 681 0 0 0 60 21 0 0 20 0 28 0 86560682 27284574208 312905 33554432000 4194304 4196468 140735005813680 139753596156432 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8704] ppid=8694 vsize=26645092 memory=3054156605402414708 CPUtime=0.78 cores=0-7 /proc/8696/task/8704/stat : 8704 (java) S 8694 8694 8028 0 -1 1077944384 636 0 0 0 55 23 0 0 20 0 28 0 86560682 27284574208 312905 33554432000 4194304 4196468 140735005813680 139753595103632 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8705] ppid=8694 vsize=26645092 memory=-7523660553960122769 CPUtime=0.74 cores=0-7 /proc/8696/task/8705/stat : 8705 (java) S 8694 8694 8028 0 -1 1077944384 1218 0 0 0 54 20 0 0 20 0 28 0 86560682 27284574208 312905 33554432000 4194304 4196468 140735005813680 139753594050832 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8706] ppid=8694 vsize=26645092 memory=0 CPUtime=0.64 cores=0-7 /proc/8696/task/8706/stat : 8706 (java) S 8694 8694 8028 0 -1 1077944384 2057 0 0 0 63 1 0 0 20 0 28 0 86560684 27284574208 312905 33554432000 4194304 4196468 140735005813680 139752315353968 139754043226754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8707] ppid=8694 vsize=26645092 memory=280621084048368 CPUtime=0 cores=0-7 /proc/8696/task/8707/stat : 8707 (java) S 8694 8694 8028 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 86560684 27284574208 312905 33554432000 4194304 4196468 140735005813680 139752314300000 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8708] ppid=8694 vsize=26645092 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/8696/task/8708/stat : 8708 (java) S 8694 8694 8028 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 86560685 27284574208 312905 33554432000 4194304 4196468 140735005813680 139752313247104 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8709] ppid=8694 vsize=26645092 memory=7811019000143767394 CPUtime=0 cores=0-7 /proc/8696/task/8709/stat : 8709 (java) S 8694 8694 8028 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 86560687 27284574208 312905 33554432000 4194304 4196468 140735005813680 139752312195408 139754043234203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8710] ppid=8694 vsize=26645092 memory=8170487675240343655 CPUtime=1.43 cores=0-7 /proc/8696/task/8710/stat : 8710 (java) R 8694 8694 8028 0 -1 4202560 4508 0 0 0 142 1 0 0 20 0 28 0 86560687 27284574208 312905 33554432000 4194304 4196468 140735005813680 139752311128976 139754027615288 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8711] ppid=8694 vsize=26645092 memory=0 CPUtime=2.29 cores=0-7 /proc/8696/task/8711/stat : 8711 (java) R 8694 8694 8028 0 -1 4202560 6732 0 0 0 228 1 0 0 20 0 28 0 86560687 27284574208 312905 33554432000 4194304 4196468 140735005813680 139752310075848 139754024743602 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8712] ppid=8694 vsize=26645092 memory=280621083836848 CPUtime=1.53 cores=0-7 /proc/8696/task/8712/stat : 8712 (java) R 8694 8694 8028 0 -1 4202560 4363 0 0 0 152 1 0 0 20 0 28 0 86560687 27284574208 312905 33554432000 4194304 4196468 140735005813680 139752309022944 139754024759783 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8713] ppid=8694 vsize=26645092 memory=0 CPUtime=0.92 cores=0-7 /proc/8696/task/8713/stat : 8713 (java) R 8694 8694 8028 0 -1 1077944384 5196 0 0 0 91 1 0 0 20 0 28 0 86560687 27284574208 312905 33554432000 4194304 4196468 140735005813680 139752307984368 139754043226754 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8714] ppid=8694 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/8696/task/8714/stat : 8714 (java) S 8694 8694 8028 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 86560687 27284574208 312905 33554432000 4194304 4196468 140735005813680 139752306932832 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8715] ppid=8694 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/8696/task/8715/stat : 8715 (java) S 8694 8694 8028 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 86560687 27284574208 312905 33554432000 4194304 4196468 140735005813680 139752305880112 139754043226754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 Current children cumulated CPU time: 27.55 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 1253072 KiB [startup+12.8374 s] # the end of solver process 8694 was just reported to runsolver # cumulated CPU time of all completed processes: user=26.4025 s, system=1.97568 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+12.8021 s] /proc/loadavg: 4.54 7.39 8.29 12/212 8723 /proc/meminfo: memFree=26956948/32770624 swapFree=67108532/67108860 [pid=8694] ppid=8691 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/8694/stat : 8694 (xcsp3-exec) S 8691 8694 8028 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86560681 115843072 363 33554432000 4194304 5098028 140728833385008 140728833383112 140484415562364 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28995584 140728833393717 140728833393920 140728833393920 140728833396682 0 /proc/8694/statm: 28282 363 305 221 0 87 0 [pid=8696] ppid=8694 vsize=26645092 memory=1253224 CPUtime=28.34 cores=0-7 /proc/8696/stat : 8696 (java) S 8694 8694 8028 0 -1 1077944320 41397 0 0 0 2638 196 0 0 20 0 19 0 86560681 27284574208 313306 33554432000 4194304 4196468 140735005813680 140735005796224 139754043215607 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 /proc/8696/statm: 6661273 313306 3457 1 0 6622467 0 [pid=8696/tid=8697] ppid=8694 vsize=26645092 memory=2244 CPUtime=10.44 cores=0-7 /proc/8696/task/8697/stat : 8697 (java) S 8694 8694 8028 0 -1 1077944384 9689 0 0 0 1035 9 0 0 20 0 19 0 86560682 27284574208 313306 33554432000 4194304 4196468 140735005813680 139754047458448 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8698] ppid=8694 vsize=26645092 memory=0 CPUtime=0.83 cores=0-7 /proc/8696/task/8698/stat : 8698 (java) S 8694 8694 8028 0 -1 1077944384 711 0 0 0 61 22 0 0 20 0 19 0 86560682 27284574208 313306 33554432000 4194304 4196468 140735005813680 139753601420432 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8699] ppid=8694 vsize=26645092 memory=0 CPUtime=0.82 cores=0-7 /proc/8696/task/8699/stat : 8699 (java) S 8694 8694 8028 0 -1 1077944384 886 0 0 0 60 22 0 0 20 0 19 0 86560682 27284574208 313306 33554432000 4194304 4196468 140735005813680 139753600367632 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8700] ppid=8694 vsize=26645092 memory=0 CPUtime=0.79 cores=0-7 /proc/8696/task/8700/stat : 8700 (java) S 8694 8694 8028 0 -1 1077944384 805 0 0 0 59 20 0 0 20 0 19 0 86560682 27284574208 313306 33554432000 4194304 4196468 140735005813680 139753599314832 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8701] ppid=8694 vsize=26645092 memory=6944652177228980320 CPUtime=0.78 cores=0-7 /proc/8696/task/8701/stat : 8701 (java) S 8694 8694 8028 0 -1 1077944384 577 0 0 0 55 23 0 0 20 0 19 0 86560682 27284574208 313306 33554432000 4194304 4196468 140735005813680 139753598262032 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8702] ppid=8694 vsize=26645092 memory=0 CPUtime=0.81 cores=0-7 /proc/8696/task/8702/stat : 8702 (java) S 8694 8694 8028 0 -1 1077944384 634 0 0 0 58 23 0 0 20 0 19 0 86560682 27284574208 313306 33554432000 4194304 4196468 140735005813680 139753597209232 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8703] ppid=8694 vsize=26645092 memory=42 CPUtime=0.81 cores=0-7 /proc/8696/task/8703/stat : 8703 (java) S 8694 8694 8028 0 -1 1077944384 681 0 0 0 60 21 0 0 20 0 19 0 86560682 27284574208 313306 33554432000 4194304 4196468 140735005813680 139753596156432 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8704] ppid=8694 vsize=26645092 memory=3868 CPUtime=0.78 cores=0-7 /proc/8696/task/8704/stat : 8704 (java) S 8694 8694 8028 0 -1 1077944384 636 0 0 0 55 23 0 0 20 0 19 0 86560682 27284574208 313306 33554432000 4194304 4196468 140735005813680 139753595103632 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8705] ppid=8694 vsize=26645092 memory=25356 CPUtime=0.74 cores=0-7 /proc/8696/task/8705/stat : 8705 (java) S 8694 8694 8028 0 -1 1077944384 1218 0 0 0 54 20 0 0 20 0 19 0 86560682 27284574208 313306 33554432000 4194304 4196468 140735005813680 139753594050832 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8706] ppid=8694 vsize=26645092 memory=1280 CPUtime=0.64 cores=0-7 /proc/8696/task/8706/stat : 8706 (java) S 8694 8694 8028 0 -1 1077944384 2057 0 0 0 63 1 0 0 20 0 19 0 86560684 27284574208 313306 33554432000 4194304 4196468 140735005813680 139752315354176 139754043226754 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8707] ppid=8694 vsize=26645092 memory=2340 CPUtime=0 cores=0-7 /proc/8696/task/8707/stat : 8707 (java) S 8694 8694 8028 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 86560684 27284574208 313306 33554432000 4194304 4196468 140735005813680 139752314300000 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8708] ppid=8694 vsize=26645092 memory=1832 CPUtime=0 cores=0-7 /proc/8696/task/8708/stat : 8708 (java) S 8694 8694 8028 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 86560685 27284574208 313306 33554432000 4194304 4196468 140735005813680 139752313247104 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8709] ppid=8694 vsize=26645092 memory=103345 CPUtime=0 cores=0-7 /proc/8696/task/8709/stat : 8709 (java) S 8694 8694 8028 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 86560687 27284574208 313306 33554432000 4194304 4196468 140735005813680 139752312195056 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8710] ppid=8694 vsize=26645092 memory=2244 CPUtime=1.51 cores=0-7 /proc/8696/task/8710/stat : 8710 (java) R 8694 8694 8028 0 -1 4202560 4524 0 0 0 150 1 0 0 20 0 19 0 86560687 27284574208 313306 33554432000 4194304 4196468 140735005813680 139752311129584 139754024743681 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8711] ppid=8694 vsize=26645092 memory=0 CPUtime=2.34 cores=0-7 /proc/8696/task/8711/stat : 8711 (java) R 8694 8694 8028 0 -1 4202560 7113 0 0 0 233 1 0 0 20 0 19 0 86560687 27284574208 313306 33554432000 4194304 4196468 140735005813680 139752310075848 139754024759330 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8712] ppid=8694 vsize=26645092 memory=0 CPUtime=1.6 cores=0-7 /proc/8696/task/8712/stat : 8712 (java) S 8694 8694 8028 0 -1 1077944384 4382 0 0 0 159 1 0 0 20 0 19 0 86560687 27284574208 313306 33554432000 4194304 4196468 140735005813680 139752309023936 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8713] ppid=8694 vsize=26645092 memory=0 CPUtime=0.93 cores=0-7 /proc/8696/task/8713/stat : 8713 (java) S 8694 8694 8028 0 -1 1077944384 5211 0 0 0 92 1 0 0 20 0 19 0 86560687 27284574208 313306 33554432000 4194304 4196468 140735005813680 139752307984368 139754043226754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 [pid=8696/tid=8714] ppid=8694 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/8696/task/8714/stat : 8714 (java) S 8694 8694 8028 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 86560687 27284574208 313306 33554432000 4194304 4196468 140735005813680 139752306932832 139754043225813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140735005820033 140735005820205 140735005820205 140735005822927 0 Current children cumulated CPU time: 28.34 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 1254676 KiB Child status: 0 Real time (s): 12.8375 CPU time (s): 28.3782 CPU user time (s): 26.4025 CPU system time (s): 1.97568 CPU usage (%): 221.057 Max. virtual memory (cumulated for all children) (KiB): 26758220 Max. memory (cumulated for all children) (KiB): 1254676 getrusage(RUSAGE_CHILDREN,...) data: user time used= 26.4025 system time used= 1.97568 maximum resident set size= 1254540 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 41970 page faults= 0 swaps= 0 block input operations= 0 block output operations= 144 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5326 involuntary context switches= 377 # summary of solver processes directly reported to runsolver: # pid: 8694 # total CPU time (s): 28.3782 # total CPU user time (s): 26.4025 # total CPU system time (s): 1.97568 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.125307 second user time and 0.148384 second system time The end
Begin job on node104 at 2018-07-27 13:12:55 IDJOB=4297556 IDBENCH=141108 IDSOLVER=2760 FILE ID=node104/4297556-1532689975 RUNJOBID= node104-1532684874-8055 PBS_JOBID= 21022272 Free space on /tmp= 48344 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/Tal/Tal-02_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297556-1532689975/watcher-4297556-1532689975 -o /tmp/evaluation-result-4297556-1532689975/solver-4297556-1532689975 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1532684874-8055 --watchdog 2580 HOME/xcsp3-exec -seed 1459187715 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297556-1532689975.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 66ad3cf55c90c9564165fed11cad25f4 RANDOM SEED=1459187715 node104.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.11 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.11 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.11 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.11 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: 28181200 kB MemAvailable: 31947536 kB Buffers: 112168 kB Cached: 3907336 kB SwapCached: 12 kB Active: 1915172 kB Inactive: 2158004 kB Active(anon): 8276 kB Inactive(anon): 73044 kB Active(file): 1906896 kB Inactive(file): 2084960 kB Unevictable: 7364 kB Mlocked: 7364 kB SwapTotal: 67108860 kB SwapFree: 67108532 kB Dirty: 21744 kB Writeback: 4 kB AnonPages: 54928 kB Mapped: 39392 kB Shmem: 25060 kB Slab: 208644 kB SReclaimable: 180628 kB SUnreclaim: 28016 kB KernelStack: 3376 kB PageTables: 5104 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 326220 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 48324 MiB End job on node104 at 2018-07-27 13:13:08