Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | SAT (TO) | 13638 | 19970.5 | 2520.1399 |
Name | QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-lipa20b.xml |
MD5SUM | 2a1cb6febb6ec7dbf2abb0b9e0866987 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 13638 |
Best CPU time to get the best result obtained on this benchmark | 19961.5 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 420 |
Number of constraints | 180 |
Number of domains | 2 |
Minimum domain size | 19 |
Maximum domain size | 20 |
Distribution of domain sizes | [{"size":19,"count":179},{"size":20,"count":20}] |
Minimum variable degree | 0 |
Maximum variable degree | 20 |
Distribution of variable degrees | [{"degree":0,"count":221},{"degree":2,"count":179},{"degree":17,"count":3},{"degree":18,"count":4},{"degree":19,"count":5},{"degree":20,"count":8}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 20 |
Distribution of constraint arities | [{"arity":3,"count":179},{"arity":20,"count":1}] |
Number of extensional constraints | 179 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":179},{"type":"allDifferent","count":1}] |
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-4270665-1502694656.xml" -tl '20160s' -p 8 -x 0 0.11/0.15 c [HOME/instance-4270665-1502694656.xml, -tl, 20160s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.32/0.27 c parse instance... 2.18/0.80 c solve instance... 4.40/1.13 o 13638 19969.62/2520.10 s SATISFIABLE 19969.62/2520.10 v <instantiation> 19969.62/2520.10 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] x[16] x[17] x[18] x[19] d[0][1] d[0][2] d[0][3] d[0][5] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[2][3] d[2][4] d[2][6] d[2][7] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][18] d[2][19] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[4][6] d[4][7] d[4][8] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[6][7] d[6][8] d[6][9] d[6][10] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][17] d[8][18] d[8][19] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[15][16] d[15][17] d[15][18] d[15][19] d[16][17] d[16][18] d[16][19] d[17][18] d[17][19] d[18][19] </list> 19969.62/2520.10 v <values>0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 6 12 9 9 12 6 4 12 4 15 7 12 10 4 9 15 13 9 5 6 7 8 9 5 3 6 7 11 5 11 10 11 8 11 13 14 14 11 8 14 10 9 15 12 15 12 3 14 3 12 15 10 3 12 7 13 1 3 13 15 11 11 14 12 9 10 4 5 10 10 6 8 9 10 8 10 16 8 11 1 15 7 9 8 8 13 8 12 8 12 5 3 10 9 5 8 12 6 8 14 11 15 7 15 13 3 12 12 11 7 12 4 7 13 14 10 11 9 13 12 13 1 13 12 11 9 10 11 11 7 8 9 7 5 8 11 16 9 11 14 13 7 10 4 11 15 11 12 13 4 16 15 7 11 10 13 10 12 8 6 15 15 10 13 15 8 17 8 9 14 12 13 15 12 14 13 11 7 8 </values> 19969.62/2520.10 v </instantiation> 19969.62/2520.10 c Unexpected resolution interruption!
OK 13638
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 (15213 MiB free) memory of node 1: 16384 MiB (15592 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270665-1502694656/watcher-4270665-1502694656 -o /tmp/evaluation-result-4270665-1502694656/solver-4270665-1502694656 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1502688738-12306 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 745734790 HOME/instance-4270665-1502694656.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=13009, runsolver pid=13006 [startup+0.100107 s]* /proc/loadavg: 2.29 2.45 2.87 2/199 13030 /proc/meminfo: memFree=31530868/32770624 swapFree=67108860/67108860 [pid=13009] ppid=13006 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/13009/stat : 13009 (xcsp3-exec) S 13006 13009 12279 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 102553844 9740288 346 33554432000 4194304 5098028 140727855167104 140727855165208 139951355183740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7274496 140727855174757 140727855174967 140727855174967 140727855177707 0 /proc/13009/statm: 2378 346 289 221 0 87 0 [pid=13011] ppid=13009 vsize=25999808 memory=25100 CPUtime=0.11 cores=0-7 /proc/13011/stat : 13011 (java) S 13009 13009 12279 0 -1 1077944320 5691 0 0 0 10 1 0 0 20 0 20 0 102553844 26623803392 6275 33554432000 4194304 4196468 140734837771744 140734837754288 140548474818295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 /proc/13011/statm: 6499952 6275 2859 1 0 6488269 0 [pid=13011/tid=13012] ppid=13009 vsize=25999808 memory=7680777497619634840 CPUtime=0.09 cores=0-7 /proc/13011/task/13012/stat : 13012 (java) R 13009 13009 12279 0 -1 4202560 3667 0 0 0 8 1 0 0 20 0 20 0 102553844 26623803392 6275 33554432000 4194304 4196468 140734837771744 140548479044144 140548458861925 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13013] ppid=13009 vsize=25999808 memory=732369798126320613 CPUtime=0 cores=0-7 /proc/13011/task/13013/stat : 13013 (java) S 13009 13009 12279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102553845 26623803392 6275 33554432000 4194304 4196468 140734837771744 140548444531472 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13014] ppid=13009 vsize=25999808 memory=139659788867200 CPUtime=0 cores=0-7 /proc/13011/task/13014/stat : 13014 (java) S 13009 13009 12279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102553845 26623803392 6275 33554432000 4194304 4196468 140734837771744 140548031720336 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13015] ppid=13009 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13011/task/13015/stat : 13015 (java) S 13009 13009 12279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102553845 26623803392 6275 33554432000 4194304 4196468 140734837771744 140548030667792 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13016] ppid=13009 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13011/task/13016/stat : 13016 (java) S 13009 13009 12279 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102553845 26623803392 6275 33554432000 4194304 4196468 140734837771744 140548029615248 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13017] ppid=13009 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13011/task/13017/stat : 13017 (java) S 13009 13009 12279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102553845 26623803392 6275 33554432000 4194304 4196468 140734837771744 140548028561680 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13018] ppid=13009 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/13011/task/13018/stat : 13018 (java) S 13009 13009 12279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102553845 26623803392 6275 33554432000 4194304 4196468 140734837771744 140548027509136 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13019] ppid=13009 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13011/task/13019/stat : 13019 (java) S 13009 13009 12279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102553845 26623803392 6275 33554432000 4194304 4196468 140734837771744 140548026456592 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13020] ppid=13009 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13011/task/13020/stat : 13020 (java) S 13009 13009 12279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102553845 26623803392 6275 33554432000 4194304 4196468 140734837771744 140548025404048 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13021] ppid=13009 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13011/task/13021/stat : 13021 (java) S 13009 13009 12279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102553847 26623803392 6275 33554432000 4194304 4196468 140734837771744 140546679953904 140548474829442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13022] ppid=13009 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13011/task/13022/stat : 13022 (java) S 13009 13009 12279 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102553847 26623803392 6275 33554432000 4194304 4196468 140734837771744 140546678900128 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13023] ppid=13009 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13011/task/13023/stat : 13023 (java) S 13009 13009 12279 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102553847 26623803392 6275 33554432000 4194304 4196468 140734837771744 140546677847536 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13024] ppid=13009 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13011/task/13024/stat : 13024 (java) S 13009 13009 12279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102553850 26623803392 6275 33554432000 4194304 4196468 140734837771744 140546676796112 140548474836891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13025] ppid=13009 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13011/task/13025/stat : 13025 (java) S 13009 13009 12279 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 102553850 26623803392 6275 33554432000 4194304 4196468 140734837771744 140546675742704 140548474829442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13026] ppid=13009 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13011/task/13026/stat : 13026 (java) S 13009 13009 12279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102553850 26623803392 6275 33554432000 4194304 4196468 140734837771744 140546674690160 140548474829442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13027] ppid=13009 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13011/task/13027/stat : 13027 (java) S 13009 13009 12279 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 102553850 26623803392 6275 33554432000 4194304 4196468 140734837771744 140546673637616 140548474829442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13028] ppid=13009 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/13011/task/13028/stat : 13028 (java) R 13009 13009 12279 0 -1 4202560 289 0 0 0 1 0 0 0 20 0 20 0 102553850 26623803392 6275 33554432000 4194304 4196468 140734837771744 140546672585072 140548453338653 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13029] ppid=13009 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13011/task/13029/stat : 13029 (java) S 13009 13009 12279 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102553850 26623803392 6275 33554432000 4194304 4196468 140734837771744 140546671532768 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13030] ppid=13009 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/13011/task/13030/stat : 13030 (java) S 13009 13009 12279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102553850 26623803392 6275 33554432000 4194304 4196468 140734837771744 140546670480304 140548474829442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 26484 KiB [startup+0.209845 s]* /proc/loadavg: 2.29 2.45 2.87 2/199 13030 /proc/meminfo: memFree=31520164/32770624 swapFree=67108860/67108860 [pid=13009] ppid=13006 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/13009/stat : 13009 (xcsp3-exec) S 13006 13009 12279 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 102553844 9740288 346 33554432000 4194304 5098028 140727855167104 140727855165208 139951355183740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7274496 140727855174757 140727855174967 140727855174967 140727855177707 0 /proc/13009/statm: 2378 346 289 221 0 87 0 [pid=13011] ppid=13009 vsize=26004064 memory=37704 CPUtime=0.32 cores=0-7 /proc/13011/stat : 13011 (java) S 13009 13009 12279 0 -1 1077944320 8527 0 0 0 30 2 0 0 20 0 20 0 102553844 26628161536 9426 33554432000 4194304 4196468 140734837771744 140734837754288 140548474818295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 /proc/13011/statm: 6501016 9426 3018 1 0 6488269 0 [pid=13011/tid=13012] ppid=13009 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7 /proc/13011/task/13012/stat : 13012 (java) R 13009 13009 12279 0 -1 4202560 5478 0 0 0 18 1 0 0 20 0 20 0 102553844 26628161536 9429 33554432000 4194304 4196468 140734837771744 140548479039288 140548467535258 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13013] ppid=13009 vsize=26004064 memory=732369798126320613 CPUtime=0 cores=0-7 /proc/13011/task/13013/stat : 13013 (java) S 13009 13009 12279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102553845 26628161536 9429 33554432000 4194304 4196468 140734837771744 140548444531472 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13014] ppid=13009 vsize=26004064 memory=139659788867200 CPUtime=0 cores=0-7 /proc/13011/task/13014/stat : 13014 (java) S 13009 13009 12279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102553845 26628161536 9429 33554432000 4194304 4196468 140734837771744 140548031720336 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13015] ppid=13009 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13011/task/13015/stat : 13015 (java) S 13009 13009 12279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102553845 26628161536 9429 33554432000 4194304 4196468 140734837771744 140548030667792 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13016] ppid=13009 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13011/task/13016/stat : 13016 (java) S 13009 13009 12279 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102553845 26628161536 9429 33554432000 4194304 4196468 140734837771744 140548029615248 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13017] ppid=13009 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13011/task/13017/stat : 13017 (java) S 13009 13009 12279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102553845 26628161536 9429 33554432000 4194304 4196468 140734837771744 140548028561680 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13018] ppid=13009 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/13011/task/13018/stat : 13018 (java) S 13009 13009 12279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102553845 26628161536 9429 33554432000 4194304 4196468 140734837771744 140548027509136 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13019] ppid=13009 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13011/task/13019/stat : 13019 (java) S 13009 13009 12279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102553845 26628161536 9429 33554432000 4194304 4196468 140734837771744 140548026456592 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13020] ppid=13009 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13011/task/13020/stat : 13020 (java) S 13009 13009 12279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102553845 26628161536 9429 33554432000 4194304 4196468 140734837771744 140548025404048 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13021] ppid=13009 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13011/task/13021/stat : 13021 (java) S 13009 13009 12279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102553847 26628161536 9429 33554432000 4194304 4196468 140734837771744 140546679953904 140548474829442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13022] ppid=13009 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13011/task/13022/stat : 13022 (java) S 13009 13009 12279 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102553847 26628161536 9429 33554432000 4194304 4196468 140734837771744 140546678900128 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13023] ppid=13009 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13011/task/13023/stat : 13023 (java) S 13009 13009 12279 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102553847 26628161536 9429 33554432000 4194304 4196468 140734837771744 140546677847536 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13024] ppid=13009 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13011/task/13024/stat : 13024 (java) S 13009 13009 12279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102553850 26628161536 9429 33554432000 4194304 4196468 140734837771744 140546676796112 140548474836891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13025] ppid=13009 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/13011/task/13025/stat : 13025 (java) S 13009 13009 12279 0 -1 1077944384 552 0 0 0 1 0 0 0 20 0 20 0 102553850 26628161536 9429 33554432000 4194304 4196468 140734837771744 140546675742704 140548474829442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13026] ppid=13009 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/13011/task/13026/stat : 13026 (java) S 13009 13009 12279 0 -1 1077944384 189 0 0 0 2 0 0 0 20 0 20 0 102553850 26628161536 9429 33554432000 4194304 4196468 140734837771744 140546674690160 140548474829442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13027] ppid=13009 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13011/task/13027/stat : 13027 (java) S 13009 13009 12279 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 20 0 102553850 26628161536 9429 33554432000 4194304 4196468 140734837771744 140546673637616 140548474829442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13028] ppid=13009 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7 /proc/13011/task/13028/stat : 13028 (java) R 13009 13009 12279 0 -1 4202560 873 0 0 0 7 0 0 0 20 0 20 0 102553850 26628161536 9429 33554432000 4194304 4196468 140734837771744 140546672585072 140548467918142 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13029] ppid=13009 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13011/task/13029/stat : 13029 (java) S 13009 13009 12279 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102553850 26628161536 9429 33554432000 4194304 4196468 140734837771744 140546671532768 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13030] ppid=13009 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/13011/task/13030/stat : 13030 (java) S 13009 13009 12279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102553850 26628161536 9429 33554432000 4194304 4196468 140734837771744 140546670480304 140548474829442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 Current children cumulated CPU time: 0.32 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 39088 KiB [startup+0.309669 s]* /proc/loadavg: 2.29 2.45 2.87 4/199 13030 /proc/meminfo: memFree=31514044/32770624 swapFree=67108860/67108860 [pid=13009] ppid=13006 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/13009/stat : 13009 (xcsp3-exec) S 13006 13009 12279 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 102553844 9740288 346 33554432000 4194304 5098028 140727855167104 140727855165208 139951355183740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7274496 140727855174757 140727855174967 140727855174967 140727855177707 0 /proc/13009/statm: 2378 346 289 221 0 87 0 [pid=13011] ppid=13009 vsize=26004064 memory=44684 CPUtime=0.48 cores=0-7 /proc/13011/stat : 13011 (java) S 13009 13009 12279 0 -1 1077944320 9355 0 0 0 45 3 0 0 20 0 20 0 102553844 26628161536 11171 33554432000 4194304 4196468 140734837771744 140734837754288 140548474818295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 /proc/13011/statm: 6501016 11171 3110 1 0 6488269 0 [pid=13011/tid=13012] ppid=13009 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/13011/task/13012/stat : 13012 (java) R 13009 13009 12279 0 -1 4202560 6182 0 0 0 27 2 0 0 20 0 20 0 102553844 26628161536 11171 33554432000 4194304 4196468 140734837771744 140548479057360 140548461034139 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13013] ppid=13009 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13011/task/13013/stat : 13013 (java) S 13009 13009 12279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102553845 26628161536 11171 33554432000 4194304 4196468 140734837771744 140548444531472 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13014] ppid=13009 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13011/task/13014/stat : 13014 (java) S 13009 13009 12279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102553845 26628161536 11171 33554432000 4194304 4196468 140734837771744 140548031720336 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13015] ppid=13009 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13011/task/13015/stat : 13015 (java) S 13009 13009 12279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102553845 26628161536 11171 33554432000 4194304 4196468 140734837771744 140548030667792 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13016] ppid=13009 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13011/task/13016/stat : 13016 (java) S 13009 13009 12279 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102553845 26628161536 11171 33554432000 4194304 4196468 140734837771744 140548029615248 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13017] ppid=13009 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/13011/task/13017/stat : 13017 (java) S 13009 13009 12279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102553845 26628161536 11171 33554432000 4194304 4196468 140734837771744 140548028561680 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13018] ppid=13009 vsize=26004064 memory=139659652985775 CPUtime=0 cores=0-7 /proc/13011/task/13018/stat : 13018 (java) S 13009 13009 12279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102553845 26628161536 11171 33554432000 4194304 4196468 140734837771744 140548027509136 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13019] ppid=13009 vsize=26004064 memory=139659652988080 CPUtime=0 cores=0-7 /proc/13011/task/13019/stat : 13019 (java) S 13009 13009 12279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102553845 26628161536 11171 33554432000 4194304 4196468 140734837771744 140548026456592 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13020] ppid=13009 vsize=26004064 memory=139659652990384 CPUtime=0 cores=0-7 /proc/13011/task/13020/stat : 13020 (java) S 13009 13009 12279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102553845 26628161536 11171 33554432000 4194304 4196468 140734837771744 140548025404048 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13021] ppid=13009 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13011/task/13021/stat : 13021 (java) S 13009 13009 12279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102553847 26628161536 11171 33554432000 4194304 4196468 140734837771744 140546679953904 140548474829442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13022] ppid=13009 vsize=26004064 memory=279319305987728 CPUtime=0 cores=0-7 /proc/13011/task/13022/stat : 13022 (java) S 13009 13009 12279 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102553847 26628161536 11171 33554432000 4194304 4196468 140734837771744 140546678900128 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13023] ppid=13009 vsize=26004064 memory=279319305994640 CPUtime=0 cores=0-7 /proc/13011/task/13023/stat : 13023 (java) S 13009 13009 12279 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102553847 26628161536 11171 33554432000 4194304 4196468 140734837771744 140546677847536 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13024] ppid=13009 vsize=26004064 memory=279319305935920 CPUtime=0 cores=0-7 /proc/13011/task/13024/stat : 13024 (java) S 13009 13009 12279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102553850 26628161536 11171 33554432000 4194304 4196468 140734837771744 140546676796112 140548474836891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13025] ppid=13009 vsize=26004064 memory=279319306008464 CPUtime=0.02 cores=0-7 /proc/13011/task/13025/stat : 13025 (java) R 13009 13009 12279 0 -1 1077944384 555 0 0 0 2 0 0 0 20 0 20 0 102553850 26628161536 11171 33554432000 4194304 4196468 140734837771744 140546675742704 140548474829442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13026] ppid=13009 vsize=26004064 memory=279319306015376 CPUtime=0.03 cores=0-7 /proc/13011/task/13026/stat : 13026 (java) S 13009 13009 12279 0 -1 1077944384 213 0 0 0 3 0 0 0 20 0 20 0 102553850 26628161536 11171 33554432000 4194304 4196468 140734837771744 140546674690160 140548474829442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13027] ppid=13009 vsize=26004064 memory=279319306013072 CPUtime=0 cores=0-7 /proc/13011/task/13027/stat : 13027 (java) R 13009 13009 12279 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 20 0 102553850 26628161536 11171 33554432000 4194304 4196468 140734837771744 140546673637616 140548474829442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13028] ppid=13009 vsize=26004064 memory=279319306029232 CPUtime=0.11 cores=0-7 /proc/13011/task/13028/stat : 13028 (java) R 13009 13009 12279 0 -1 4202560 985 0 0 0 11 0 0 0 20 0 20 0 102553850 26628161536 11171 33554432000 4194304 4196468 140734837771744 140546672581440 140548453836489 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13029] ppid=13009 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13011/task/13029/stat : 13029 (java) S 13009 13009 12279 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102553850 26628161536 11171 33554432000 4194304 4196468 140734837771744 140546671532768 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13030] ppid=13009 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/13011/task/13030/stat : 13030 (java) S 13009 13009 12279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102553850 26628161536 11171 33554432000 4194304 4196468 140734837771744 140546670480304 140548474829442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 Current children cumulated CPU time: 0.48 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 46068 KiB [startup+0.700934 s] /proc/loadavg: 2.29 2.45 2.87 3/199 13030 /proc/meminfo: memFree=31495948/32770624 swapFree=67108860/67108860 [pid=13009] ppid=13006 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/13009/stat : 13009 (xcsp3-exec) S 13006 13009 12279 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 102553844 9740288 346 33554432000 4194304 5098028 140727855167104 140727855165208 139951355183740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7274496 140727855174757 140727855174967 140727855174967 140727855177707 0 /proc/13009/statm: 2378 346 289 221 0 87 0 [pid=13011] ppid=13009 vsize=26006188 memory=86960 CPUtime=1.79 cores=0-7 /proc/13011/stat : 13011 (java) S 13009 13009 12279 0 -1 1077944320 13400 0 0 0 173 6 0 0 20 0 20 0 102553844 26630336512 21740 33554432000 4194304 4196468 140734837771744 140734837754288 140548474818295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 /proc/13011/statm: 6501547 21740 3205 1 0 6488781 0 [pid=13011/tid=13012] ppid=13009 vsize=26006188 memory=279319306324160 CPUtime=0.67 cores=0-7 /proc/13011/task/13012/stat : 13012 (java) R 13009 13009 12279 0 -1 4202560 6877 0 0 0 63 4 0 0 20 0 20 0 102553844 26630336512 21740 33554432000 4194304 4196468 140734837771744 140548479055344 140548459899225 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13013] ppid=13009 vsize=26006188 memory=1012 CPUtime=0 cores=0-7 /proc/13011/task/13013/stat : 13013 (java) S 13009 13009 12279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102553845 26630336512 21740 33554432000 4194304 4196468 140734837771744 140548444531472 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13014] ppid=13009 vsize=26006188 memory=1716 CPUtime=0 cores=0-7 /proc/13011/task/13014/stat : 13014 (java) S 13009 13009 12279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102553845 26630336512 21740 33554432000 4194304 4196468 140734837771744 140548031720336 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13015] ppid=13009 vsize=26006188 memory=5792 CPUtime=0 cores=0-7 /proc/13011/task/13015/stat : 13015 (java) S 13009 13009 12279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102553845 26630336512 21740 33554432000 4194304 4196468 140734837771744 140548030667792 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 ################ # More data... # ################ /proc/meminfo: memFree=31192220/32770624 swapFree=67108860/67108860 [pid=13009] ppid=13006 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/13009/stat : 13009 (xcsp3-exec) S 13006 13009 12279 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 102553844 9740288 346 33554432000 4194304 5098028 140727855167104 140727855165208 139951355183740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7274496 140727855174757 140727855174967 140727855174967 140727855177707 0 /proc/13009/statm: 2378 346 289 221 0 87 0 [pid=13011] ppid=13009 vsize=26538700 memory=359972 CPUtime=19829.4 cores=0-7 /proc/13011/stat : 13011 (java) S 13009 13009 12279 0 -1 1077944320 563608 0 0 0 1982172 769 0 0 20 0 28 0 102553844 27175628800 89993 33554432000 4194304 4196468 140734837771744 140734837754288 140548474818295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 /proc/13011/statm: 6634675 89993 3296 1 0 6621909 0 [pid=13011/tid=13012] ppid=13009 vsize=26538700 memory=363048 CPUtime=0.79 cores=0-7 /proc/13011/task/13012/stat : 13012 (java) S 13009 13009 12279 0 -1 1077944384 6952 0 0 0 75 4 0 0 20 0 28 0 102553844 27175628800 89993 33554432000 4194304 4196468 140734837771744 140548479059072 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13013] ppid=13009 vsize=26538700 memory=359972 CPUtime=8.72 cores=0-7 /proc/13011/task/13013/stat : 13013 (java) S 13009 13009 12279 0 -1 1077944384 21574 0 0 0 834 38 0 0 20 0 28 0 102553845 27175628800 89993 33554432000 4194304 4196468 140734837771744 140548444531472 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13014] ppid=13009 vsize=26538700 memory=359972 CPUtime=8.73 cores=0-7 /proc/13011/task/13014/stat : 13014 (java) S 13009 13009 12279 0 -1 1077944384 22406 0 0 0 838 35 0 0 20 0 28 0 102553845 27175628800 89993 33554432000 4194304 4196468 140734837771744 140548031720336 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13015] ppid=13009 vsize=26538700 memory=1384 CPUtime=8.74 cores=0-7 /proc/13011/task/13015/stat : 13015 (java) S 13009 13009 12279 0 -1 1077944384 19554 0 0 0 835 39 0 0 20 0 28 0 102553845 27175628800 89993 33554432000 4194304 4196468 140734837771744 140548030667792 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13016] ppid=13009 vsize=26538700 memory=370228 CPUtime=8.72 cores=0-7 /proc/13011/task/13016/stat : 13016 (java) S 13009 13009 12279 0 -1 1077944384 17527 0 0 0 836 36 0 0 20 0 28 0 102553845 27175628800 89993 33554432000 4194304 4196468 140734837771744 140548029615248 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13017] ppid=13009 vsize=26538700 memory=363560 CPUtime=8.68 cores=0-7 /proc/13011/task/13017/stat : 13017 (java) S 13009 13009 12279 0 -1 1077944384 19728 0 0 0 830 38 0 0 20 0 28 0 102553845 27175628800 89993 33554432000 4194304 4196468 140734837771744 140548028561680 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13018] ppid=13009 vsize=26538700 memory=363048 CPUtime=8.66 cores=0-7 /proc/13011/task/13018/stat : 13018 (java) S 13009 13009 12279 0 -1 1077944384 17820 0 0 0 831 35 0 0 20 0 28 0 102553845 27175628800 89993 33554432000 4194304 4196468 140734837771744 140548027509136 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13019] ppid=13009 vsize=26538700 memory=363560 CPUtime=8.71 cores=0-7 /proc/13011/task/13019/stat : 13019 (java) S 13009 13009 12279 0 -1 1077944384 23659 0 0 0 834 37 0 0 20 0 28 0 102553845 27175628800 89993 33554432000 4194304 4196468 140734837771744 140548026456592 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13020] ppid=13009 vsize=26538700 memory=4140 CPUtime=8.65 cores=0-7 /proc/13011/task/13020/stat : 13020 (java) S 13009 13009 12279 0 -1 1077944384 16867 0 0 0 829 36 0 0 20 0 28 0 102553845 27175628800 89993 33554432000 4194304 4196468 140734837771744 140548025404048 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13021] ppid=13009 vsize=26538700 memory=6791534058613427641 CPUtime=9.3 cores=0-7 /proc/13011/task/13021/stat : 13021 (java) S 13009 13009 12279 0 -1 1077944384 59028 0 0 0 580 350 0 0 20 0 28 0 102553847 27175628800 89993 33554432000 4194304 4196468 140734837771744 140546679953904 140548474829442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13022] ppid=13009 vsize=26538700 memory=1196 CPUtime=0 cores=0-7 /proc/13011/task/13022/stat : 13022 (java) S 13009 13009 12279 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 102553847 27175628800 89993 33554432000 4194304 4196468 140734837771744 140546678900128 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13023] ppid=13009 vsize=26538700 memory=1384 CPUtime=0 cores=0-7 /proc/13011/task/13023/stat : 13023 (java) S 13009 13009 12279 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 102553847 27175628800 89993 33554432000 4194304 4196468 140734837771744 140546677847536 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13024] ppid=13009 vsize=26538700 memory=363560 CPUtime=0 cores=0-7 /proc/13011/task/13024/stat : 13024 (java) S 13009 13009 12279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102553850 27175628800 89993 33554432000 4194304 4196468 140734837771744 140546676796112 140548474836891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13025] ppid=13009 vsize=26538700 memory=1384 CPUtime=1.93 cores=0-7 /proc/13011/task/13025/stat : 13025 (java) S 13009 13009 12279 0 -1 1077944384 10826 0 0 0 191 2 0 0 20 0 28 0 102553850 27175628800 89993 33554432000 4194304 4196468 140734837771744 140546675742704 140548474829442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13026] ppid=13009 vsize=26538700 memory=364072 CPUtime=1.99 cores=0-7 /proc/13011/task/13026/stat : 13026 (java) S 13009 13009 12279 0 -1 1077944384 11381 0 0 0 196 3 0 0 20 0 28 0 102553850 27175628800 89993 33554432000 4194304 4196468 140734837771744 140546674690160 140548474829442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13027] ppid=13009 vsize=26538700 memory=363560 CPUtime=2.12 cores=0-7 /proc/13011/task/13027/stat : 13027 (java) S 13009 13009 12279 0 -1 1077944384 12663 0 0 0 209 3 0 0 20 0 28 0 102553850 27175628800 89993 33554432000 4194304 4196468 140734837771744 140546673637616 140548474829442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13028] ppid=13009 vsize=26538700 memory=1384 CPUtime=0.81 cores=0-7 /proc/13011/task/13028/stat : 13028 (java) S 13009 13009 12279 0 -1 1077944384 12364 0 0 0 79 2 0 0 20 0 28 0 102553850 27175628800 89993 33554432000 4194304 4196468 140734837771744 140546672585072 140548474829442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13029] ppid=13009 vsize=26538700 memory=1384 CPUtime=0 cores=0-7 /proc/13011/task/13029/stat : 13029 (java) S 13009 13009 12279 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 102553850 27175628800 89993 33554432000 4194304 4196468 140734837771744 140546671532768 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13030] ppid=13009 vsize=26538700 memory=363560 CPUtime=0.57 cores=0-7 /proc/13011/task/13030/stat : 13030 (java) S 13009 13009 12279 0 -1 1077944384 3235 0 0 0 0 57 0 0 20 0 28 0 102553850 27175628800 89993 33554432000 4194304 4196468 140734837771744 140546670480304 140548474829442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13039] ppid=13009 vsize=26538700 memory=1384 CPUtime=2466.51 cores=0-7 /proc/13011/task/13039/stat : 13039 (java) R 13009 13009 12279 0 -1 4202560 8156 0 0 0 246638 13 0 0 20 0 28 0 102553957 27175628800 89993 33554432000 4194304 4196468 140734837771744 140546657208792 140548116592512 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13040] ppid=13009 vsize=26538700 memory=363556 CPUtime=2466.46 cores=0-7 /proc/13011/task/13040/stat : 13040 (java) R 13009 13009 12279 0 -1 4202560 8929 0 0 0 246633 13 0 0 20 0 28 0 102553957 27175628800 89993 33554432000 4194304 4196468 140734837771744 140546661417416 140548116253616 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13041] ppid=13009 vsize=26538700 memory=1716 CPUtime=2468.69 cores=0-7 /proc/13011/task/13041/stat : 13041 (java) R 13009 13009 12279 0 -1 4202560 13450 0 0 0 246856 13 0 0 20 0 28 0 102553957 27175628800 89993 33554432000 4194304 4196468 140734837771744 140546659310704 140548116368416 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13042] ppid=13009 vsize=26538700 memory=359972 CPUtime=2468.48 cores=0-7 /proc/13011/task/13042/stat : 13042 (java) R 13009 13009 12279 0 -1 4202560 28607 0 0 0 246832 16 0 0 20 0 28 0 102553957 27175628800 89993 33554432000 4194304 4196468 140734837771744 140546660363664 140548111098201 0 4 0 16800975 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13043] ppid=13009 vsize=26538700 memory=4140 CPUtime=2468.78 cores=0-7 /proc/13011/task/13043/stat : 13043 (java) R 13009 13009 12279 0 -1 4202560 14519 0 0 0 246854 24 0 0 20 0 28 0 102553957 27175628800 89993 33554432000 4194304 4196468 140734837771744 140546658262808 140548116252371 0 4 0 16800975 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13044] ppid=13009 vsize=26538700 memory=29364 CPUtime=2465.75 cores=0-7 /proc/13011/task/13044/stat : 13044 (java) R 13009 13009 12279 0 -1 4202560 6099 0 0 0 246560 15 0 0 20 0 28 0 102553957 27175628800 89993 33554432000 4194304 4196468 140734837771744 140546656153656 140548116253778 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13045] ppid=13009 vsize=26538700 memory=4616 CPUtime=2467.18 cores=0-7 /proc/13011/task/13045/stat : 13045 (java) R 13009 13009 12279 0 -1 4202560 116136 0 0 0 246682 36 0 0 20 0 28 0 102553957 27175628800 89993 33554432000 4194304 4196468 140734837771744 140546662473344 140548118077270 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13046] ppid=13009 vsize=26538700 memory=792 CPUtime=2468.27 cores=0-7 /proc/13011/task/13046/stat : 13046 (java) R 13009 13009 12279 0 -1 4202560 90396 0 0 0 246795 32 0 0 20 0 28 0 102553957 27175628800 89993 33554432000 4194304 4196468 140734837771744 140546655100864 140548119401322 0 4 0 16800975 0 0 0 -1 7 0 0 10 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 Current children cumulated CPU time: 19829.4 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 361356 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520.01 s]* /proc/loadavg: 8.74 8.43 7.99 9/207 13103 /proc/meminfo: memFree=31207556/32770624 swapFree=67108860/67108860 [pid=13009] ppid=13006 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/13009/stat : 13009 (xcsp3-exec) S 13006 13009 12279 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 102553844 9740288 346 33554432000 4194304 5098028 140727855167104 140727855165208 139951355183740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7274496 140727855174757 140727855174967 140727855174967 140727855177707 0 /proc/13009/statm: 2378 346 289 221 0 87 0 [pid=13011] ppid=13009 vsize=26538700 memory=343064 CPUtime=19969.6 cores=0-7 /proc/13011/stat : 13011 (java) S 13009 13009 12279 0 -1 1077944320 563917 0 0 0 1996186 776 0 0 20 0 28 0 102553844 27175628800 85766 33554432000 4194304 4196468 140734837771744 140734837754288 140548474818295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 /proc/13011/statm: 6634675 85766 3296 1 0 6621909 0 [pid=13011/tid=13012] ppid=13009 vsize=26538700 memory=1398720917958146503 CPUtime=0.79 cores=0-7 /proc/13011/task/13012/stat : 13012 (java) S 13009 13009 12279 0 -1 1077944384 6952 0 0 0 75 4 0 0 20 0 28 0 102553844 27175628800 85766 33554432000 4194304 4196468 140734837771744 140548479059072 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13013] ppid=13009 vsize=26538700 memory=-7003737579269690708 CPUtime=8.81 cores=0-7 /proc/13011/task/13013/stat : 13013 (java) S 13009 13009 12279 0 -1 1077944384 21584 0 0 0 843 38 0 0 20 0 28 0 102553845 27175628800 85766 33554432000 4194304 4196468 140734837771744 140548444531472 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13014] ppid=13009 vsize=26538700 memory=1228 CPUtime=8.82 cores=0-7 /proc/13011/task/13014/stat : 13014 (java) S 13009 13009 12279 0 -1 1077944384 22408 0 0 0 847 35 0 0 20 0 28 0 102553845 27175628800 85766 33554432000 4194304 4196468 140734837771744 140548031720336 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13015] ppid=13009 vsize=26538700 memory=792 CPUtime=8.83 cores=0-7 /proc/13011/task/13015/stat : 13015 (java) S 13009 13009 12279 0 -1 1077944384 19575 0 0 0 844 39 0 0 20 0 28 0 102553845 27175628800 85766 33554432000 4194304 4196468 140734837771744 140548030667792 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13016] ppid=13009 vsize=26538700 memory=1420 CPUtime=8.83 cores=0-7 /proc/13011/task/13016/stat : 13016 (java) S 13009 13009 12279 0 -1 1077944384 17567 0 0 0 846 37 0 0 20 0 28 0 102553845 27175628800 85766 33554432000 4194304 4196468 140734837771744 140548029615248 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13017] ppid=13009 vsize=26538700 memory=4124 CPUtime=8.78 cores=0-7 /proc/13011/task/13017/stat : 13017 (java) S 13009 13009 12279 0 -1 1077944384 19732 0 0 0 839 39 0 0 20 0 28 0 102553845 27175628800 85766 33554432000 4194304 4196468 140734837771744 140548028561680 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13018] ppid=13009 vsize=26538700 memory=1152 CPUtime=8.76 cores=0-7 /proc/13011/task/13018/stat : 13018 (java) S 13009 13009 12279 0 -1 1077944384 17823 0 0 0 840 36 0 0 20 0 28 0 102553845 27175628800 85766 33554432000 4194304 4196468 140734837771744 140548027509136 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13019] ppid=13009 vsize=26538700 memory=3700 CPUtime=8.81 cores=0-7 /proc/13011/task/13019/stat : 13019 (java) S 13009 13009 12279 0 -1 1077944384 23668 0 0 0 843 38 0 0 20 0 28 0 102553845 27175628800 85766 33554432000 4194304 4196468 140734837771744 140548026456592 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13020] ppid=13009 vsize=26538700 memory=1384 CPUtime=8.74 cores=0-7 /proc/13011/task/13020/stat : 13020 (java) S 13009 13009 12279 0 -1 1077944384 16884 0 0 0 838 36 0 0 20 0 28 0 102553845 27175628800 85766 33554432000 4194304 4196468 140734837771744 140548025404048 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13021] ppid=13009 vsize=26538700 memory=342024 CPUtime=9.41 cores=0-7 /proc/13011/task/13021/stat : 13021 (java) S 13009 13009 12279 0 -1 1077944384 59116 0 0 0 585 356 0 0 20 0 28 0 102553847 27175628800 85766 33554432000 4194304 4196468 140734837771744 140546679953904 140548474829442 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13022] ppid=13009 vsize=26538700 memory=4112 CPUtime=0 cores=0-7 /proc/13011/task/13022/stat : 13022 (java) S 13009 13009 12279 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 102553847 27175628800 85766 33554432000 4194304 4196468 140734837771744 140546678900128 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13023] ppid=13009 vsize=26538700 memory=1398720917958146503 CPUtime=0 cores=0-7 /proc/13011/task/13023/stat : 13023 (java) S 13009 13009 12279 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 102553847 27175628800 85766 33554432000 4194304 4196468 140734837771744 140546677847536 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13024] ppid=13009 vsize=26538700 memory=-7003737579269690708 CPUtime=0 cores=0-7 /proc/13011/task/13024/stat : 13024 (java) S 13009 13009 12279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102553850 27175628800 85766 33554432000 4194304 4196468 140734837771744 140546676796112 140548474836891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13025] ppid=13009 vsize=26538700 memory=1152 CPUtime=1.93 cores=0-7 /proc/13011/task/13025/stat : 13025 (java) S 13009 13009 12279 0 -1 1077944384 10828 0 0 0 191 2 0 0 20 0 28 0 102553850 27175628800 85766 33554432000 4194304 4196468 140734837771744 140546675742704 140548474829442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13026] ppid=13009 vsize=26538700 memory=1384 CPUtime=1.99 cores=0-7 /proc/13011/task/13026/stat : 13026 (java) S 13009 13009 12279 0 -1 1077944384 11383 0 0 0 196 3 0 0 20 0 28 0 102553850 27175628800 85766 33554432000 4194304 4196468 140734837771744 140546674690160 140548474829442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13027] ppid=13009 vsize=26538700 memory=2344 CPUtime=2.12 cores=0-7 /proc/13011/task/13027/stat : 13027 (java) S 13009 13009 12279 0 -1 1077944384 12665 0 0 0 209 3 0 0 20 0 28 0 102553850 27175628800 85766 33554432000 4194304 4196468 140734837771744 140546673637616 140548474829442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13028] ppid=13009 vsize=26538700 memory=928 CPUtime=0.81 cores=0-7 /proc/13011/task/13028/stat : 13028 (java) S 13009 13009 12279 0 -1 1077944384 12366 0 0 0 79 2 0 0 20 0 28 0 102553850 27175628800 85766 33554432000 4194304 4196468 140734837771744 140546672585072 140548474829442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13029] ppid=13009 vsize=26538700 memory=1568 CPUtime=0 cores=0-7 /proc/13011/task/13029/stat : 13029 (java) S 13009 13009 12279 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 102553850 27175628800 85766 33554432000 4194304 4196468 140734837771744 140546671532768 140548474828501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13030] ppid=13009 vsize=26538700 memory=2240 CPUtime=0.57 cores=0-7 /proc/13011/task/13030/stat : 13030 (java) S 13009 13009 12279 0 -1 1077944384 3237 0 0 0 0 57 0 0 20 0 28 0 102553850 27175628800 85766 33554432000 4194304 4196468 140734837771744 140546670480304 140548474829442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13039] ppid=13009 vsize=26538700 memory=4128 CPUtime=2483.86 cores=0-7 /proc/13011/task/13039/stat : 13039 (java) R 13009 13009 12279 0 -1 4202560 8166 0 0 0 248373 13 0 0 20 0 28 0 102553957 27175628800 85766 33554432000 4194304 4196468 140734837771744 140546657205440 140548116507243 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13040] ppid=13009 vsize=26538700 memory=2204 CPUtime=2483.95 cores=0-7 /proc/13011/task/13040/stat : 13040 (java) R 13009 13009 12279 0 -1 4202560 8944 0 0 0 248382 13 0 0 20 0 28 0 102553957 27175628800 85766 33554432000 4194304 4196468 140734837771744 140546661421184 140548116252048 0 4 0 16800975 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13041] ppid=13009 vsize=26538700 memory=6764 CPUtime=2486.05 cores=0-7 /proc/13011/task/13041/stat : 13041 (java) R 13009 13009 12279 0 -1 4202560 13464 0 0 0 248592 13 0 0 20 0 28 0 102553957 27175628800 85766 33554432000 4194304 4196468 140734837771744 140546659310592 140548116835325 0 4 0 16800975 0 0 0 -1 7 0 0 11 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13042] ppid=13009 vsize=26538700 memory=840 CPUtime=2485.94 cores=0-7 /proc/13011/task/13042/stat : 13042 (java) R 13009 13009 12279 0 -1 4202560 28623 0 0 0 248578 16 0 0 20 0 28 0 102553957 27175628800 85766 33554432000 4194304 4196468 140734837771744 140546660363664 140548116253285 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13043] ppid=13009 vsize=26538700 memory=1692 CPUtime=2486.21 cores=0-7 /proc/13011/task/13043/stat : 13043 (java) R 13009 13009 12279 0 -1 4202560 14533 0 0 0 248597 24 0 0 20 0 28 0 102553957 27175628800 85766 33554432000 4194304 4196468 140734837771744 140546658259528 140548116252546 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13044] ppid=13009 vsize=26538700 memory=912 CPUtime=2483.2 cores=0-7 /proc/13011/task/13044/stat : 13044 (java) R 13009 13009 12279 0 -1 4202560 6109 0 0 0 248305 15 0 0 20 0 28 0 102553957 27175628800 85766 33554432000 4194304 4196468 140734837771744 140546656157456 140548116252383 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13045] ppid=13009 vsize=26538700 memory=1228 CPUtime=2484.55 cores=0-7 /proc/13011/task/13045/stat : 13045 (java) R 13009 13009 12279 0 -1 4202560 116146 0 0 0 248419 36 0 0 20 0 28 0 102553957 27175628800 85766 33554432000 4194304 4196468 140734837771744 140546662470216 140548116252555 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 [pid=13011/tid=13046] ppid=13009 vsize=26538700 memory=15876 CPUtime=2485.72 cores=0-7 /proc/13011/task/13046/stat : 13046 (java) R 13009 13009 12279 0 -1 4202560 90412 0 0 0 248540 32 0 0 20 0 28 0 102553957 27175628800 85766 33554432000 4194304 4196468 140734837771744 140546655104160 140548116253065 0 4 0 16800975 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 17453056 140734837773458 140734837773635 140734837773635 140734837776335 0 Current children cumulated CPU time: 19969.6 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 344448 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.05 s] # the end of solver process 13009 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001904 s, system=0 s [startup+2520.14 s] # the end of solver process 13011 was just reported to runsolver # cumulated CPU time of all completed processes: user=19962.7 s, system=7.77281 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2520.13 s]* /proc/loadavg: 8.74 8.43 7.99 2/178 13105 /proc/meminfo: memFree=31538024/32770624 swapFree=67108860/67108860 Current cumulated CPU time of completed processes: 0.001904 s Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 143 Real time (s): 2520.14 CPU time (s): 19970.5 CPU user time (s): 19962.7 CPU system time (s): 7.77281 CPU usage (%): 792.436 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 493404 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19962.7 system time used= 7.77281 maximum resident set size= 494368 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 564697 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3576 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 412263 involuntary context switches= 227543 # summary of solver processes directly reported to runsolver: # pid: 13009,13011 # total CPU time (s): 19970.5 # total CPU user time (s): 19962.7 # total CPU system time (s): 7.77281 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 21.9086 second user time and 28.421 second system time The end
Begin job on node103 at 2017-08-14 08:56:38 IDJOB=4270665 IDBENCH=123084 IDSOLVER=2662 FILE ID=node103/4270665-1502694656 RUNJOBID= node103-1502688738-12306 PBS_JOBID= 20628995 Free space on /tmp= 61796 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-lipa20b.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4270665-1502694656/watcher-4270665-1502694656 -o /tmp/evaluation-result-4270665-1502694656/solver-4270665-1502694656 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1502688738-12306 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 745734790 HOME/instance-4270665-1502694656.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 2a1cb6febb6ec7dbf2abb0b9e0866987 RANDOM SEED=745734790 node103.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.56 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.56 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.56 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.56 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: 31545712 kB MemAvailable: 31985324 kB Buffers: 146172 kB Cached: 579756 kB SwapCached: 0 kB Active: 569856 kB Inactive: 210204 kB Active(anon): 3632 kB Inactive(anon): 78604 kB Active(file): 566224 kB Inactive(file): 131600 kB Unevictable: 6424 kB Mlocked: 6424 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7868 kB Writeback: 0 kB AnonPages: 58656 kB Mapped: 44284 kB Shmem: 25228 kB Slab: 141060 kB SReclaimable: 115248 kB SUnreclaim: 25812 kB KernelStack: 3296 kB PageTables: 4632 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323388 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61784 MiB End job on node103 at 2017-08-14 09:38:38