Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | SAT | 70.677696 | 29.7353 |
Name | TravellingSalesman/TravellingSalesman-xcsp2-s20a4/ TravellingSalesman-4-20-727-a4_X2.xml |
MD5SUM | feda79726080e93715556435cff6944b |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 7.4597402 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 61 |
Number of constraints | 228 |
Number of domains | 5 |
Minimum domain size | 1 |
Maximum domain size | 1001 |
Distribution of domain sizes | [{"size":1,"count":2},{"size":20,"count":20},{"size":216,"count":19},{"size":1001,"count":20}] |
Minimum variable degree | 1 |
Maximum variable degree | 208 |
Distribution of variable degrees | [{"degree":1,"count":2},{"degree":2,"count":37},{"degree":19,"count":1},{"degree":20,"count":18},{"degree":37,"count":1},{"degree":190,"count":1},{"degree":208,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 4 |
Distribution of constraint arities | [{"arity":2,"count":1},{"arity":3,"count":20},{"arity":4,"count":207}] |
Number of extensional constraints | 228 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":228}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271336-1502782038.xml" -tl '20160s' -p 8 -x 0 0.12/0.15 c [HOME/instance-4271336-1502782038.xml, -tl, 20160s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.27 c parse instance... 32.19/24.81 c solve instance... 70.64/29.70 s SATISFIABLE 70.64/29.70 v <instantiation> 70.64/29.70 v <list>w3 w4 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] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] z[0] z[1] z[2] z[3] z[4] z[5] z[6] z[7] z[8] z[9] z[10] z[11] z[12] z[13] z[14] z[15] z[16] z[17] z[18] </list> 70.64/29.70 v <values>215 0 19 13 6 9 10 2 8 1 7 14 18 20 11 12 3 5 15 16 17 4 21 3 24 1 23 4 28 12 27 4 12 10 4 13 5 8 3 5 4 4 24 48 49 72 76 104 116 143 147 159 169 173 186 191 199 202 207 211 215 </values> 70.64/29.70 v </instantiation>
OK
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 (15272 MiB free) memory of node 1: 16384 MiB (15401 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271336-1502782038/watcher-4271336-1502782038 -o /tmp/evaluation-result-4271336-1502782038/solver-4271336-1502782038 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1502776136-28907 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 610085278 HOME/instance-4271336-1502782038.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=29437, runsolver pid=29434 Current StackSize limit: 8192 KiB [startup+0.100143 s]* /proc/loadavg: 8.06 8.26 8.30 3/200 29458 /proc/meminfo: memFree=31392972/32770624 swapFree=67108860/67108860 [pid=29437] ppid=29434 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/29437/stat : 29437 (xcsp3-exec) S 29434 29437 28880 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 111292138 9740288 346 33554432000 4194304 5098028 140720925450496 140720925448600 140006260798076 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24817664 140720925455461 140720925455671 140720925455671 140720925458411 0 /proc/29437/statm: 2378 346 289 221 0 87 0 [pid=29439] ppid=29437 vsize=25999808 memory=26700 CPUtime=0.12 cores=0-7 /proc/29439/stat : 29439 (java) S 29437 29437 28880 0 -1 1077944320 5610 0 0 0 11 1 0 0 20 0 20 0 111292139 26623803392 6675 33554432000 4194304 4196468 140734154545008 140734154527552 140297491951351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 /proc/29439/statm: 6499952 6675 2836 1 0 6488269 0 [pid=29439/tid=29440] ppid=29437 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/29439/task/29440/stat : 29440 (java) R 29437 29437 28880 0 -1 4202560 3616 0 0 0 8 0 0 0 20 0 20 0 111292139 26623803392 6675 33554432000 4194304 4196468 140734154545008 140297496176080 140297475994981 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29441] ppid=29437 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29439/task/29441/stat : 29441 (java) S 29437 29437 28880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111292140 26623803392 6675 33554432000 4194304 4196468 140734154545008 140297457232144 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29442] ppid=29437 vsize=25999808 memory=140673739867776 CPUtime=0 cores=0-7 /proc/29439/task/29442/stat : 29442 (java) S 29437 29437 28880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 111292140 26623803392 6675 33554432000 4194304 4196468 140734154545008 140297049000336 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29443] ppid=29437 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29439/task/29443/stat : 29443 (java) S 29437 29437 28880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111292140 26623803392 6675 33554432000 4194304 4196468 140734154545008 140297047947792 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29444] ppid=29437 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29439/task/29444/stat : 29444 (java) S 29437 29437 28880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111292140 26623803392 6675 33554432000 4194304 4196468 140734154545008 140297046895248 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29445] ppid=29437 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29439/task/29445/stat : 29445 (java) S 29437 29437 28880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111292140 26623803392 6675 33554432000 4194304 4196468 140734154545008 140297045842704 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29446] ppid=29437 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/29439/task/29446/stat : 29446 (java) S 29437 29437 28880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111292140 26623803392 6675 33554432000 4194304 4196468 140734154545008 140297044790160 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29447] ppid=29437 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29439/task/29447/stat : 29447 (java) S 29437 29437 28880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111292140 26623803392 6675 33554432000 4194304 4196468 140734154545008 140297043737616 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29448] ppid=29437 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29439/task/29448/stat : 29448 (java) S 29437 29437 28880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111292140 26623803392 6675 33554432000 4194304 4196468 140734154545008 140297042685072 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29449] ppid=29437 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29439/task/29449/stat : 29449 (java) S 29437 29437 28880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111292141 26623803392 6675 33554432000 4194304 4196468 140734154545008 140296619321328 140297491962498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29450] ppid=29437 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29439/task/29450/stat : 29450 (java) S 29437 29437 28880 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 111292142 26623803392 6675 33554432000 4194304 4196468 140734154545008 140296618267552 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29451] ppid=29437 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29439/task/29451/stat : 29451 (java) S 29437 29437 28880 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 111292142 26623803392 6675 33554432000 4194304 4196468 140734154545008 140296617214960 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29452] ppid=29437 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29439/task/29452/stat : 29452 (java) S 29437 29437 28880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111292144 26623803392 6675 33554432000 4194304 4196468 140734154545008 140296616163536 140297491969947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29453] ppid=29437 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29439/task/29453/stat : 29453 (java) S 29437 29437 28880 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 111292144 26623803392 6675 33554432000 4194304 4196468 140734154545008 140296615111152 140297491962498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29454] ppid=29437 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29439/task/29454/stat : 29454 (java) S 29437 29437 28880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 111292144 26623803392 6675 33554432000 4194304 4196468 140734154545008 140296614058608 140297491962498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29455] ppid=29437 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29439/task/29455/stat : 29455 (java) S 29437 29437 28880 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 111292144 26623803392 6675 33554432000 4194304 4196468 140734154545008 140296613006064 140297491962498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29456] ppid=29437 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/29439/task/29456/stat : 29456 (java) R 29437 29437 28880 0 -1 4202560 250 0 0 0 1 0 0 0 20 0 20 0 111292144 26623803392 6675 33554432000 4194304 4196468 140734154545008 140296611953520 140297470870079 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29457] ppid=29437 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29439/task/29457/stat : 29457 (java) S 29437 29437 28880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 111292145 26623803392 6675 33554432000 4194304 4196468 140734154545008 140296610900192 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29458] ppid=29437 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/29439/task/29458/stat : 29458 (java) S 29437 29437 28880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111292145 26623803392 6675 33554432000 4194304 4196468 140734154545008 140296609847728 140297491962498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 28084 KiB [startup+0.210643 s]* /proc/loadavg: 8.06 8.26 8.30 2/200 29458 /proc/meminfo: memFree=31384460/32770624 swapFree=67108860/67108860 [pid=29437] ppid=29434 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/29437/stat : 29437 (xcsp3-exec) S 29434 29437 28880 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 111292138 9740288 346 33554432000 4194304 5098028 140720925450496 140720925448600 140006260798076 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24817664 140720925455461 140720925455671 140720925455671 140720925458411 0 /proc/29437/statm: 2378 346 289 221 0 87 0 [pid=29439] ppid=29437 vsize=26004064 memory=38968 CPUtime=0.33 cores=0-7 /proc/29439/stat : 29439 (java) S 29437 29437 28880 0 -1 1077944320 8322 0 0 0 31 2 0 0 20 0 20 0 111292139 26628161536 9742 33554432000 4194304 4196468 140734154545008 140734154527552 140297491951351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 /proc/29439/statm: 6501016 9742 3062 1 0 6488269 0 [pid=29439/tid=29440] ppid=29437 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/29439/task/29440/stat : 29440 (java) R 29437 29437 28880 0 -1 4202560 5481 0 0 0 19 1 0 0 20 0 20 0 111292139 26628161536 9742 33554432000 4194304 4196468 140734154545008 140297496188192 140297491963286 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29441] ppid=29437 vsize=26004064 memory=331 CPUtime=0 cores=0-7 /proc/29439/task/29441/stat : 29441 (java) S 29437 29437 28880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111292140 26628161536 9742 33554432000 4194304 4196468 140734154545008 140297457232144 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29442] ppid=29437 vsize=26004064 memory=140673740362668 CPUtime=0 cores=0-7 /proc/29439/task/29442/stat : 29442 (java) S 29437 29437 28880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 111292140 26628161536 9742 33554432000 4194304 4196468 140734154545008 140297049000336 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29443] ppid=29437 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/29439/task/29443/stat : 29443 (java) S 29437 29437 28880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111292140 26628161536 9742 33554432000 4194304 4196468 140734154545008 140297047947792 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29444] ppid=29437 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29439/task/29444/stat : 29444 (java) S 29437 29437 28880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111292140 26628161536 9742 33554432000 4194304 4196468 140734154545008 140297046895248 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29445] ppid=29437 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29439/task/29445/stat : 29445 (java) S 29437 29437 28880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111292140 26628161536 9742 33554432000 4194304 4196468 140734154545008 140297045842704 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29446] ppid=29437 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/29439/task/29446/stat : 29446 (java) S 29437 29437 28880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111292140 26628161536 9742 33554432000 4194304 4196468 140734154545008 140297044790160 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29447] ppid=29437 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29439/task/29447/stat : 29447 (java) S 29437 29437 28880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111292140 26628161536 9742 33554432000 4194304 4196468 140734154545008 140297043737616 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29448] ppid=29437 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29439/task/29448/stat : 29448 (java) S 29437 29437 28880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111292140 26628161536 9742 33554432000 4194304 4196468 140734154545008 140297042685072 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29449] ppid=29437 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29439/task/29449/stat : 29449 (java) S 29437 29437 28880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111292141 26628161536 9742 33554432000 4194304 4196468 140734154545008 140296619321328 140297491962498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29450] ppid=29437 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29439/task/29450/stat : 29450 (java) S 29437 29437 28880 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 111292142 26628161536 9742 33554432000 4194304 4196468 140734154545008 140296618267552 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29451] ppid=29437 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29439/task/29451/stat : 29451 (java) S 29437 29437 28880 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 111292142 26628161536 9742 33554432000 4194304 4196468 140734154545008 140296617214960 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29452] ppid=29437 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29439/task/29452/stat : 29452 (java) S 29437 29437 28880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111292144 26628161536 9745 33554432000 4194304 4196468 140734154545008 140296616163536 140297491969947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29453] ppid=29437 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/29439/task/29453/stat : 29453 (java) S 29437 29437 28880 0 -1 1077944384 402 0 0 0 1 0 0 0 20 0 20 0 111292144 26628161536 9745 33554432000 4194304 4196468 140734154545008 140296615111152 140297491962498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29454] ppid=29437 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/29439/task/29454/stat : 29454 (java) S 29437 29437 28880 0 -1 1077944384 191 0 0 0 1 0 0 0 20 0 20 0 111292144 26628161536 9745 33554432000 4194304 4196468 140734154545008 140296614058608 140297491962498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29455] ppid=29437 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/29439/task/29455/stat : 29455 (java) S 29437 29437 28880 0 -1 1077944384 213 0 0 0 1 0 0 0 20 0 20 0 111292144 26628161536 9745 33554432000 4194304 4196468 140734154545008 140296613006064 140297491962498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29456] ppid=29437 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/29439/task/29456/stat : 29456 (java) R 29437 29437 28880 0 -1 4202560 726 0 0 0 7 0 0 0 20 0 20 0 111292144 26628161536 9745 33554432000 4194304 4196468 140734154545008 140296611953520 140297476031838 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29457] ppid=29437 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29439/task/29457/stat : 29457 (java) S 29437 29437 28880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 111292145 26628161536 9745 33554432000 4194304 4196468 140734154545008 140296610900192 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29458] ppid=29437 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/29439/task/29458/stat : 29458 (java) S 29437 29437 28880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111292145 26628161536 9745 33554432000 4194304 4196468 140734154545008 140296609847728 140297491962498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40352 KiB [startup+0.310488 s]* /proc/loadavg: 8.06 8.26 8.30 4/200 29458 /proc/meminfo: memFree=31377756/32770624 swapFree=67108860/67108860 [pid=29437] ppid=29434 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/29437/stat : 29437 (xcsp3-exec) S 29434 29437 28880 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 111292138 9740288 346 33554432000 4194304 5098028 140720925450496 140720925448600 140006260798076 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24817664 140720925455461 140720925455671 140720925455671 140720925458411 0 /proc/29437/statm: 2378 346 289 221 0 87 0 [pid=29439] ppid=29437 vsize=26004064 memory=45724 CPUtime=0.49 cores=0-7 /proc/29439/stat : 29439 (java) S 29437 29437 28880 0 -1 1077944320 9139 0 0 0 46 3 0 0 20 0 20 0 111292139 26628161536 11431 33554432000 4194304 4196468 140734154545008 140734154527552 140297491951351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 /proc/29439/statm: 6501016 11431 3078 1 0 6488269 0 [pid=29439/tid=29440] ppid=29437 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/29439/task/29440/stat : 29440 (java) R 29437 29437 28880 0 -1 4202560 6156 0 0 0 27 2 0 0 20 0 20 0 111292139 26628161536 11431 33554432000 4194304 4196468 140734154545008 140297496184016 140297128131303 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29441] ppid=29437 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29439/task/29441/stat : 29441 (java) S 29437 29437 28880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111292140 26628161536 11431 33554432000 4194304 4196468 140734154545008 140297457232144 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29442] ppid=29437 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29439/task/29442/stat : 29442 (java) S 29437 29437 28880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 111292140 26628161536 11431 33554432000 4194304 4196468 140734154545008 140297049000336 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29443] ppid=29437 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29439/task/29443/stat : 29443 (java) S 29437 29437 28880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111292140 26628161536 11431 33554432000 4194304 4196468 140734154545008 140297047947792 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29444] ppid=29437 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29439/task/29444/stat : 29444 (java) S 29437 29437 28880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111292140 26628161536 11431 33554432000 4194304 4196468 140734154545008 140297046895248 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29445] ppid=29437 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/29439/task/29445/stat : 29445 (java) S 29437 29437 28880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111292140 26628161536 11431 33554432000 4194304 4196468 140734154545008 140297045842704 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29446] ppid=29437 vsize=26004064 memory=140673600811951 CPUtime=0 cores=0-7 /proc/29439/task/29446/stat : 29446 (java) S 29437 29437 28880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111292140 26628161536 11431 33554432000 4194304 4196468 140734154545008 140297044790160 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29447] ppid=29437 vsize=26004064 memory=140673600814256 CPUtime=0 cores=0-7 /proc/29439/task/29447/stat : 29447 (java) S 29437 29437 28880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111292140 26628161536 11431 33554432000 4194304 4196468 140734154545008 140297043737616 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29448] ppid=29437 vsize=26004064 memory=140673600816560 CPUtime=0 cores=0-7 /proc/29439/task/29448/stat : 29448 (java) S 29437 29437 28880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111292140 26628161536 11431 33554432000 4194304 4196468 140734154545008 140297042685072 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29449] ppid=29437 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29439/task/29449/stat : 29449 (java) S 29437 29437 28880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111292141 26628161536 11431 33554432000 4194304 4196468 140734154545008 140296619321328 140297491962498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29450] ppid=29437 vsize=26004064 memory=281347201640080 CPUtime=0 cores=0-7 /proc/29439/task/29450/stat : 29450 (java) S 29437 29437 28880 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 111292142 26628161536 11431 33554432000 4194304 4196468 140734154545008 140296618267552 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29451] ppid=29437 vsize=26004064 memory=281347201646992 CPUtime=0 cores=0-7 /proc/29439/task/29451/stat : 29451 (java) S 29437 29437 28880 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 111292142 26628161536 11431 33554432000 4194304 4196468 140734154545008 140296617214960 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29452] ppid=29437 vsize=26004064 memory=281347201588272 CPUtime=0 cores=0-7 /proc/29439/task/29452/stat : 29452 (java) S 29437 29437 28880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111292144 26628161536 11431 33554432000 4194304 4196468 140734154545008 140296616163536 140297491969947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29453] ppid=29437 vsize=26004064 memory=281347201660816 CPUtime=0.01 cores=0-7 /proc/29439/task/29453/stat : 29453 (java) R 29437 29437 28880 0 -1 4202560 403 0 0 0 1 0 0 0 20 0 20 0 111292144 26628161536 11431 33554432000 4194304 4196468 140734154545008 140296615111152 140297473515982 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29454] ppid=29437 vsize=26004064 memory=281347201667728 CPUtime=0.02 cores=0-7 /proc/29439/task/29454/stat : 29454 (java) S 29437 29437 28880 0 -1 1077944384 197 0 0 0 2 0 0 0 20 0 20 0 111292144 26628161536 11431 33554432000 4194304 4196468 140734154545008 140296614058608 140297491962498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29455] ppid=29437 vsize=26004064 memory=281347201665424 CPUtime=0.02 cores=0-7 /proc/29439/task/29455/stat : 29455 (java) S 29437 29437 28880 0 -1 1077944384 223 0 0 0 2 0 0 0 20 0 20 0 111292144 26628161536 11431 33554432000 4194304 4196468 140734154545008 140296613006064 140297491962498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29456] ppid=29437 vsize=26004064 memory=281347201681584 CPUtime=0.11 cores=0-7 /proc/29439/task/29456/stat : 29456 (java) R 29437 29437 28880 0 -1 4202560 852 0 0 0 11 0 0 0 20 0 20 0 111292144 26628161536 11431 33554432000 4194304 4196468 140734154545008 140296611953520 140297484188478 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29457] ppid=29437 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29439/task/29457/stat : 29457 (java) S 29437 29437 28880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 111292145 26628161536 11431 33554432000 4194304 4196468 140734154545008 140296610900192 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29458] ppid=29437 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/29439/task/29458/stat : 29458 (java) S 29437 29437 28880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111292145 26628161536 11431 33554432000 4194304 4196468 140734154545008 140296609847728 140297491962498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 Current children cumulated CPU time: 0.49 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47108 KiB [startup+0.701032 s] /proc/loadavg: 8.06 8.26 8.30 6/200 29458 /proc/meminfo: memFree=31335436/32770624 swapFree=67108860/67108860 [pid=29437] ppid=29434 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/29437/stat : 29437 (xcsp3-exec) S 29434 29437 28880 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 111292138 9740288 346 33554432000 4194304 5098028 140720925450496 140720925448600 140006260798076 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24817664 140720925455461 140720925455671 140720925455671 140720925458411 0 /proc/29437/statm: 2378 346 289 221 0 87 0 [pid=29439] ppid=29437 vsize=26004140 memory=119312 CPUtime=1.85 cores=0-7 /proc/29439/stat : 29439 (java) S 29437 29437 28880 0 -1 1077944320 12643 0 0 0 180 5 0 0 20 0 20 0 111292139 26628239360 29828 33554432000 4194304 4196468 140734154545008 140734154527552 140297491951351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 /proc/29439/statm: 6501035 29828 3196 1 0 6488269 0 [pid=29439/tid=29440] ppid=29437 vsize=26004140 memory=281347202039472 CPUtime=0.67 cores=0-7 /proc/29439/task/29440/stat : 29440 (java) R 29437 29437 28880 0 -1 4202560 6513 0 0 0 65 2 0 0 20 0 20 0 111292139 26628239360 29828 33554432000 4194304 4196468 140734154545008 140297496189568 140297130894415 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29441] ppid=29437 vsize=26004140 memory=140673601020784 CPUtime=0 cores=0-7 /proc/29439/task/29441/stat : 29441 (java) S 29437 29437 28880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111292140 26628239360 29828 33554432000 4194304 4196468 140734154545008 140297457232144 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29442] ppid=29437 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/29439/task/29442/stat : 29442 (java) S 29437 29437 28880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 111292140 26628239360 29828 33554432000 4194304 4196468 140734154545008 140297049000336 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29443] ppid=29437 vsize=26004140 memory=5792 CPUtime=0 cores=0-7 /proc/29439/task/29443/stat : 29443 (java) S 29437 29437 28880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111292140 26628239360 29828 33554432000 4194304 4196468 140734154545008 140297047947792 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 ################ # More data... # ################ [pid=29439/tid=29456] ppid=29437 vsize=26538700 memory=6935054825532540783 CPUtime=0.68 cores=0-7 /proc/29439/task/29456/stat : 29456 (java) S 29437 29437 28880 0 -1 1077944384 5705 0 0 0 67 1 0 0 20 0 28 0 111292144 27175628800 319691 33554432000 4194304 4196468 140734154545008 140296611953520 140297491962498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29457] ppid=29437 vsize=26538700 memory=1398720917958146503 CPUtime=0 cores=0-7 /proc/29439/task/29457/stat : 29457 (java) S 29437 29437 28880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 111292145 27175628800 319691 33554432000 4194304 4196468 140734154545008 140296610900192 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29458] ppid=29437 vsize=26538700 memory=288230574492221466 CPUtime=0 cores=0-7 /proc/29439/task/29458/stat : 29458 (java) S 29437 29437 28880 0 -1 1077944384 182 0 0 0 0 0 0 0 20 0 28 0 111292145 27175628800 319691 33554432000 4194304 4196468 140734154545008 140296609847728 140297491962498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29459] ppid=29437 vsize=26538700 memory=288230621803970871 CPUtime=4.06 cores=0-7 /proc/29439/task/29459/stat : 29459 (java) R 29437 29437 28880 0 -1 4202560 549 0 0 0 402 4 0 0 20 0 28 0 111294622 27175628800 319691 33554432000 4194304 4196468 140734154545008 140296601835776 140297134535476 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29460] ppid=29437 vsize=26538700 memory=15255943717849665 CPUtime=4.06 cores=0-7 /proc/29439/task/29460/stat : 29460 (java) R 29437 29437 28880 0 -1 4202560 232 0 0 0 405 1 0 0 20 0 28 0 111294622 27175628800 319691 33554432000 4194304 4196468 140734154545008 140296600784920 140297134536288 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29461] ppid=29437 vsize=26538700 memory=0 CPUtime=3.7 cores=0-7 /proc/29439/task/29461/stat : 29461 (java) R 29437 29437 28880 0 -1 4202560 643 0 0 0 370 0 0 0 20 0 28 0 111294622 27175628800 319691 33554432000 4194304 4196468 140734154545008 140296599734232 140297134536215 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29462] ppid=29437 vsize=26538700 memory=0 CPUtime=4.04 cores=0-7 /proc/29439/task/29462/stat : 29462 (java) R 29437 29437 28880 0 -1 4202560 350 0 0 0 403 1 0 0 20 0 28 0 111294622 27175628800 319691 33554432000 4194304 4196468 140734154545008 140296598679696 140297134536053 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29463] ppid=29437 vsize=26538700 memory=0 CPUtime=4.06 cores=0-7 /proc/29439/task/29463/stat : 29463 (java) R 29437 29437 28880 0 -1 4202560 359 0 0 0 402 4 0 0 20 0 28 0 111294622 27175628800 319691 33554432000 4194304 4196468 140734154545008 140296597627288 140297134536376 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29464] ppid=29437 vsize=26538700 memory=0 CPUtime=3.91 cores=0-7 /proc/29439/task/29464/stat : 29464 (java) R 29437 29437 28880 0 -1 4202560 248 0 0 0 390 1 0 0 20 0 28 0 111294622 27175628800 319691 33554432000 4194304 4196468 140734154545008 140296596574744 140297134536192 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29465] ppid=29437 vsize=26538700 memory=0 CPUtime=3.86 cores=0-7 /proc/29439/task/29465/stat : 29465 (java) R 29437 29437 28880 0 -1 4202560 346 0 0 0 384 2 0 0 20 0 28 0 111294622 27175628800 319691 33554432000 4194304 4196468 140734154545008 140296595520928 140297134537054 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29466] ppid=29437 vsize=26538700 memory=281347202536816 CPUtime=3.75 cores=0-7 /proc/29439/task/29466/stat : 29466 (java) R 29437 29437 28880 0 -1 4202560 444 0 0 0 374 1 0 0 20 0 28 0 111294622 27175628800 319691 33554432000 4194304 4196468 140734154545008 140296594468496 140297134535949 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 Current children cumulated CPU time: 66.7 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 1280148 KiB [startup+29.602 s] /proc/loadavg: 5.46 7.60 8.08 11/208 29466 /proc/meminfo: memFree=30140948/32770624 swapFree=67108860/67108860 [pid=29437] ppid=29434 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/29437/stat : 29437 (xcsp3-exec) S 29434 29437 28880 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 111292138 9740288 346 33554432000 4194304 5098028 140720925450496 140720925448600 140006260798076 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24817664 140720925455461 140720925455671 140720925455671 140720925458411 0 /proc/29437/statm: 2378 346 289 221 0 87 0 [pid=29439] ppid=29437 vsize=26538700 memory=1278768 CPUtime=69.89 cores=0-7 /proc/29439/stat : 29439 (java) S 29437 29437 28880 0 -1 1077944320 61527 0 0 0 6738 251 0 0 20 0 28 0 111292139 27175628800 319692 33554432000 4194304 4196468 140734154545008 140734154527552 140297491951351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 /proc/29439/statm: 6634675 319692 3292 1 0 6621909 0 [pid=29439/tid=29440] ppid=29437 vsize=26538700 memory=4206468019014099040 CPUtime=23.87 cores=0-7 /proc/29439/task/29440/stat : 29440 (java) S 29437 29437 28880 0 -1 1077944384 10589 0 0 0 2377 10 0 0 20 0 28 0 111292139 27175628800 319692 33554432000 4194304 4196468 140734154545008 140297496192128 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29441] ppid=29437 vsize=26538700 memory=4131582450764429856 CPUtime=0.71 cores=0-7 /proc/29439/task/29441/stat : 29441 (java) S 29437 29437 28880 0 -1 1077944384 981 0 0 0 45 26 0 0 20 0 28 0 111292140 27175628800 319692 33554432000 4194304 4196468 140734154545008 140297457232144 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29442] ppid=29437 vsize=26538700 memory=0 CPUtime=0.7 cores=0-7 /proc/29439/task/29442/stat : 29442 (java) S 29437 29437 28880 0 -1 1077944384 971 0 0 0 45 25 0 0 20 0 28 0 111292140 27175628800 319692 33554432000 4194304 4196468 140734154545008 140297049000336 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29443] ppid=29437 vsize=26538700 memory=-7684191407570971757 CPUtime=0.71 cores=0-7 /proc/29439/task/29443/stat : 29443 (java) S 29437 29437 28880 0 -1 1077944384 1049 0 0 0 45 26 0 0 20 0 28 0 111292140 27175628800 319692 33554432000 4194304 4196468 140734154545008 140297047947792 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29444] ppid=29437 vsize=26538700 memory=7896318971486248851 CPUtime=0.7 cores=0-7 /proc/29439/task/29444/stat : 29444 (java) S 29437 29437 28880 0 -1 1077944384 1141 0 0 0 44 26 0 0 20 0 28 0 111292140 27175628800 319692 33554432000 4194304 4196468 140734154545008 140297046895248 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29445] ppid=29437 vsize=26538700 memory=8546823402028195750 CPUtime=0.69 cores=0-7 /proc/29439/task/29445/stat : 29445 (java) S 29437 29437 28880 0 -1 1077944384 908 0 0 0 43 26 0 0 20 0 28 0 111292140 27175628800 319692 33554432000 4194304 4196468 140734154545008 140297045842704 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29446] ppid=29437 vsize=26538700 memory=4137280412607091059 CPUtime=0.71 cores=0-7 /proc/29439/task/29446/stat : 29446 (java) S 29437 29437 28880 0 -1 1077944384 1199 0 0 0 45 26 0 0 20 0 28 0 111292140 27175628800 319692 33554432000 4194304 4196468 140734154545008 140297044790160 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29447] ppid=29437 vsize=26538700 memory=-7882018838379555936 CPUtime=0.71 cores=0-7 /proc/29439/task/29447/stat : 29447 (java) S 29437 29437 28880 0 -1 1077944384 966 0 0 0 45 26 0 0 20 0 28 0 111292140 27175628800 319692 33554432000 4194304 4196468 140734154545008 140297043737616 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29448] ppid=29437 vsize=26538700 memory=6221002049431033191 CPUtime=0.71 cores=0-7 /proc/29439/task/29448/stat : 29448 (java) S 29437 29437 28880 0 -1 1077944384 1288 0 0 0 43 28 0 0 20 0 28 0 111292140 27175628800 319692 33554432000 4194304 4196468 140734154545008 140297042685072 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29449] ppid=29437 vsize=26538700 memory=1278272 CPUtime=0.15 cores=0-7 /proc/29439/task/29449/stat : 29449 (java) S 29437 29437 28880 0 -1 1077944384 4166 0 0 0 15 0 0 0 20 0 28 0 111292141 27175628800 319692 33554432000 4194304 4196468 140734154545008 140296619321328 140297491962498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29450] ppid=29437 vsize=26538700 memory=1696 CPUtime=0 cores=0-7 /proc/29439/task/29450/stat : 29450 (java) S 29437 29437 28880 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 111292142 27175628800 319692 33554432000 4194304 4196468 140734154545008 140296618267616 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29451] ppid=29437 vsize=26538700 memory=920 CPUtime=0 cores=0-7 /proc/29439/task/29451/stat : 29451 (java) S 29437 29437 28880 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 111292142 27175628800 319692 33554432000 4194304 4196468 140734154545008 140296617214976 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29452] ppid=29437 vsize=26538700 memory=4124 CPUtime=0 cores=0-7 /proc/29439/task/29452/stat : 29452 (java) S 29437 29437 28880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 111292144 27175628800 319692 33554432000 4194304 4196468 140734154545008 140296616163536 140297491969947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29453] ppid=29437 vsize=26538700 memory=4100 CPUtime=1.58 cores=0-7 /proc/29439/task/29453/stat : 29453 (java) S 29437 29437 28880 0 -1 1077944384 7926 0 0 0 156 2 0 0 20 0 28 0 111292144 27175628800 319692 33554432000 4194304 4196468 140734154545008 140296615111152 140297491962498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29454] ppid=29437 vsize=26538700 memory=1156 CPUtime=1.74 cores=0-7 /proc/29439/task/29454/stat : 29454 (java) S 29437 29437 28880 0 -1 1077944384 9985 0 0 0 171 3 0 0 20 0 28 0 111292144 27175628800 319692 33554432000 4194304 4196468 140734154545008 140296614058608 140297491962498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29455] ppid=29437 vsize=26538700 memory=2980 CPUtime=1.46 cores=0-7 /proc/29439/task/29455/stat : 29455 (java) S 29437 29437 28880 0 -1 1077944384 9369 0 0 0 144 2 0 0 20 0 28 0 111292144 27175628800 319692 33554432000 4194304 4196468 140734154545008 140296613006064 140297491962498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29456] ppid=29437 vsize=26538700 memory=1384 CPUtime=0.68 cores=0-7 /proc/29439/task/29456/stat : 29456 (java) S 29437 29437 28880 0 -1 1077944384 6096 0 0 0 67 1 0 0 20 0 28 0 111292144 27175628800 319692 33554432000 4194304 4196468 140734154545008 140296611953520 140297491962498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29457] ppid=29437 vsize=26538700 memory=1322 CPUtime=0 cores=0-7 /proc/29439/task/29457/stat : 29457 (java) S 29437 29437 28880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 111292145 27175628800 319692 33554432000 4194304 4196468 140734154545008 140296610900192 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29458] ppid=29437 vsize=26538700 memory=494 CPUtime=0 cores=0-7 /proc/29439/task/29458/stat : 29458 (java) S 29437 29437 28880 0 -1 1077944384 182 0 0 0 0 0 0 0 20 0 28 0 111292145 27175628800 319692 33554432000 4194304 4196468 140734154545008 140296609847728 140297491962498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29459] ppid=29437 vsize=26538700 memory=0 CPUtime=4.45 cores=0-7 /proc/29439/task/29459/stat : 29459 (java) R 29437 29437 28880 0 -1 4202560 601 0 0 0 441 4 0 0 20 0 28 0 111294622 27175628800 319692 33554432000 4194304 4196468 140734154545008 140296601835912 140297134536297 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29460] ppid=29437 vsize=26538700 memory=85 CPUtime=4.45 cores=0-7 /proc/29439/task/29460/stat : 29460 (java) R 29437 29437 28880 0 -1 4202560 232 0 0 0 444 1 0 0 20 0 28 0 111294622 27175628800 319692 33554432000 4194304 4196468 140734154545008 140296600784920 140297134536260 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29461] ppid=29437 vsize=26538700 memory=122 CPUtime=4.07 cores=0-7 /proc/29439/task/29461/stat : 29461 (java) R 29437 29437 28880 0 -1 4202560 645 0 0 0 407 0 0 0 20 0 28 0 111294622 27175628800 319692 33554432000 4194304 4196468 140734154545008 140296599734408 140297134535957 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29462] ppid=29437 vsize=26538700 memory=124 CPUtime=4.44 cores=0-7 /proc/29439/task/29462/stat : 29462 (java) R 29437 29437 28880 0 -1 4202560 350 0 0 0 443 1 0 0 20 0 28 0 111294622 27175628800 319692 33554432000 4194304 4196468 140734154545008 140296598679832 140297134535470 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29463] ppid=29437 vsize=26538700 memory=0 CPUtime=4.45 cores=0-7 /proc/29439/task/29463/stat : 29463 (java) R 29437 29437 28880 0 -1 4202560 376 0 0 0 441 4 0 0 20 0 28 0 111294622 27175628800 319692 33554432000 4194304 4196468 140734154545008 140296597627288 140297134536215 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29464] ppid=29437 vsize=26538700 memory=1131 CPUtime=4.3 cores=0-7 /proc/29439/task/29464/stat : 29464 (java) R 29437 29437 28880 0 -1 4202560 310 0 0 0 429 1 0 0 20 0 28 0 111294622 27175628800 319692 33554432000 4194304 4196468 140734154545008 140296596575352 140297134536260 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29465] ppid=29437 vsize=26538700 memory=76 CPUtime=4.24 cores=0-7 /proc/29439/task/29465/stat : 29465 (java) R 29437 29437 28880 0 -1 4202560 354 0 0 0 422 2 0 0 20 0 28 0 111294622 27175628800 319692 33554432000 4194304 4196468 140734154545008 140296595520928 140297134536215 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29466] ppid=29437 vsize=26538700 memory=8568 CPUtime=4.15 cores=0-7 /proc/29439/task/29466/stat : 29466 (java) R 29437 29437 28880 0 -1 4202560 451 0 0 0 414 1 0 0 20 0 28 0 111294622 27175628800 319692 33554432000 4194304 4196468 140734154545008 140296594469000 140297135637310 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 Current children cumulated CPU time: 69.89 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 1280152 KiB [startup+29.702 s] /proc/loadavg: 5.46 7.60 8.08 11/208 29466 /proc/meminfo: memFree=30140948/32770624 swapFree=67108860/67108860 [pid=29437] ppid=29434 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/29437/stat : 29437 (xcsp3-exec) S 29434 29437 28880 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 111292138 9740288 346 33554432000 4194304 5098028 140720925450496 140720925448600 140006260798076 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24817664 140720925455461 140720925455671 140720925455671 140720925458411 0 /proc/29437/statm: 2378 346 289 221 0 87 0 [pid=29439] ppid=29437 vsize=26538700 memory=1278768 CPUtime=70.64 cores=0-7 /proc/29439/stat : 29439 (java) S 29437 29437 28880 0 -1 1077944320 61791 0 0 0 6813 251 0 0 20 0 28 0 111292139 27175628800 319692 33554432000 4194304 4196468 140734154545008 140734154527552 140297491951351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 /proc/29439/statm: 6634675 319692 3292 1 0 6621909 0 [pid=29439/tid=29440] ppid=29437 vsize=26538700 memory=1278764 CPUtime=23.87 cores=0-7 /proc/29439/task/29440/stat : 29440 (java) S 29437 29437 28880 0 -1 1077944384 10589 0 0 0 2377 10 0 0 20 0 28 0 111292139 27175628800 319692 33554432000 4194304 4196468 140734154545008 140297496192128 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29441] ppid=29437 vsize=26538700 memory=1384 CPUtime=0.71 cores=0-7 /proc/29439/task/29441/stat : 29441 (java) S 29437 29437 28880 0 -1 1077944384 981 0 0 0 45 26 0 0 20 0 28 0 111292140 27175628800 319692 33554432000 4194304 4196468 140734154545008 140297457232144 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29442] ppid=29437 vsize=26538700 memory=6760 CPUtime=0.7 cores=0-7 /proc/29439/task/29442/stat : 29442 (java) S 29437 29437 28880 0 -1 1077944384 971 0 0 0 45 25 0 0 20 0 28 0 111292140 27175628800 319692 33554432000 4194304 4196468 140734154545008 140297049000336 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29443] ppid=29437 vsize=26538700 memory=832 CPUtime=0.71 cores=0-7 /proc/29439/task/29443/stat : 29443 (java) S 29437 29437 28880 0 -1 1077944384 1049 0 0 0 45 26 0 0 20 0 28 0 111292140 27175628800 319692 33554432000 4194304 4196468 140734154545008 140297047947792 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29444] ppid=29437 vsize=26538700 memory=65 CPUtime=0.7 cores=0-7 /proc/29439/task/29444/stat : 29444 (java) S 29437 29437 28880 0 -1 1077944384 1141 0 0 0 44 26 0 0 20 0 28 0 111292140 27175628800 319692 33554432000 4194304 4196468 140734154545008 140297046895248 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29445] ppid=29437 vsize=26538700 memory=6943526294502006880 CPUtime=0.69 cores=0-7 /proc/29439/task/29445/stat : 29445 (java) S 29437 29437 28880 0 -1 1077944384 908 0 0 0 43 26 0 0 20 0 28 0 111292140 27175628800 319692 33554432000 4194304 4196468 140734154545008 140297045842704 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29446] ppid=29437 vsize=26538700 memory=1724 CPUtime=0.71 cores=0-7 /proc/29439/task/29446/stat : 29446 (java) S 29437 29437 28880 0 -1 1077944384 1199 0 0 0 45 26 0 0 20 0 28 0 111292140 27175628800 319692 33554432000 4194304 4196468 140734154545008 140297044790160 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29447] ppid=29437 vsize=26538700 memory=11000 CPUtime=0.71 cores=0-7 /proc/29439/task/29447/stat : 29447 (java) S 29437 29437 28880 0 -1 1077944384 966 0 0 0 45 26 0 0 20 0 28 0 111292140 27175628800 319692 33554432000 4194304 4196468 140734154545008 140297043737616 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29448] ppid=29437 vsize=26538700 memory=0 CPUtime=0.71 cores=0-7 /proc/29439/task/29448/stat : 29448 (java) S 29437 29437 28880 0 -1 1077944384 1288 0 0 0 43 28 0 0 20 0 28 0 111292140 27175628800 319692 33554432000 4194304 4196468 140734154545008 140297042685072 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29449] ppid=29437 vsize=26538700 memory=0 CPUtime=0.15 cores=0-7 /proc/29439/task/29449/stat : 29449 (java) S 29437 29437 28880 0 -1 1077944384 4166 0 0 0 15 0 0 0 20 0 28 0 111292141 27175628800 319692 33554432000 4194304 4196468 140734154545008 140296619321328 140297491962498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29450] ppid=29437 vsize=26538700 memory=1384 CPUtime=0 cores=0-7 /proc/29439/task/29450/stat : 29450 (java) S 29437 29437 28880 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 111292142 27175628800 319692 33554432000 4194304 4196468 140734154545008 140296618267616 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29451] ppid=29437 vsize=26538700 memory=1176004 CPUtime=0 cores=0-7 /proc/29439/task/29451/stat : 29451 (java) S 29437 29437 28880 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 111292142 27175628800 319692 33554432000 4194304 4196468 140734154545008 140296617214976 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29452] ppid=29437 vsize=26538700 memory=31668 CPUtime=0 cores=0-7 /proc/29439/task/29452/stat : 29452 (java) S 29437 29437 28880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 111292144 27175628800 319692 33554432000 4194304 4196468 140734154545008 140296616163536 140297491969947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29453] ppid=29437 vsize=26538700 memory=0 CPUtime=1.6 cores=0-7 /proc/29439/task/29453/stat : 29453 (java) S 29437 29437 28880 0 -1 1077944384 8001 0 0 0 158 2 0 0 20 0 28 0 111292144 27175628800 319692 33554432000 4194304 4196468 140734154545008 140296615111152 140297491962498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29454] ppid=29437 vsize=26538700 memory=140673600818640 CPUtime=1.74 cores=0-7 /proc/29439/task/29454/stat : 29454 (java) S 29437 29437 28880 0 -1 1077944384 9985 0 0 0 171 3 0 0 20 0 28 0 111292144 27175628800 319692 33554432000 4194304 4196468 140734154545008 140296614058608 140297491962498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29455] ppid=29437 vsize=26538700 memory=31668 CPUtime=1.46 cores=0-7 /proc/29439/task/29455/stat : 29455 (java) S 29437 29437 28880 0 -1 1077944384 9374 0 0 0 144 2 0 0 20 0 28 0 111292144 27175628800 319692 33554432000 4194304 4196468 140734154545008 140296613006064 140297491962498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29456] ppid=29437 vsize=26538700 memory=1384 CPUtime=0.69 cores=0-7 /proc/29439/task/29456/stat : 29456 (java) S 29437 29437 28880 0 -1 1077944384 6184 0 0 0 68 1 0 0 20 0 28 0 111292144 27175628800 319692 33554432000 4194304 4196468 140734154545008 140296611953520 140297491962498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29457] ppid=29437 vsize=26538700 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/29439/task/29457/stat : 29457 (java) S 29437 29437 28880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 111292145 27175628800 319692 33554432000 4194304 4196468 140734154545008 140296610900192 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29458] ppid=29437 vsize=26538700 memory=1796 CPUtime=0 cores=0-7 /proc/29439/task/29458/stat : 29458 (java) S 29437 29437 28880 0 -1 1077944384 182 0 0 0 0 0 0 0 20 0 28 0 111292145 27175628800 319692 33554432000 4194304 4196468 140734154545008 140296609847728 140297491962498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29459] ppid=29437 vsize=26538700 memory=0 CPUtime=4.55 cores=0-7 /proc/29439/task/29459/stat : 29459 (java) S 29437 29437 28880 0 -1 1077944384 620 0 0 0 451 4 0 0 20 0 28 0 111294622 27175628800 319692 33554432000 4194304 4196468 140734154545008 140296601841248 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29460] ppid=29437 vsize=26538700 memory=1384 CPUtime=4.54 cores=0-7 /proc/29439/task/29460/stat : 29460 (java) S 29437 29437 28880 0 -1 1077944384 255 0 0 0 453 1 0 0 20 0 28 0 111294622 27175628800 319692 33554432000 4194304 4196468 140734154545008 140296600790096 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29461] ppid=29437 vsize=26538700 memory=1174492 CPUtime=4.15 cores=0-7 /proc/29439/task/29461/stat : 29461 (java) S 29437 29437 28880 0 -1 1077944384 645 0 0 0 415 0 0 0 20 0 28 0 111294622 27175628800 319692 33554432000 4194304 4196468 140734154545008 140296599737552 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29462] ppid=29437 vsize=26538700 memory=6791534058613427641 CPUtime=4.53 cores=0-7 /proc/29439/task/29462/stat : 29462 (java) S 29437 29437 28880 0 -1 1077944384 351 0 0 0 452 1 0 0 20 0 28 0 111294622 27175628800 319692 33554432000 4194304 4196468 140734154545008 140296598685008 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29463] ppid=29437 vsize=26538700 memory=0 CPUtime=4.55 cores=0-7 /proc/29439/task/29463/stat : 29463 (java) S 29437 29437 28880 0 -1 1077944384 376 0 0 0 451 4 0 0 20 0 28 0 111294622 27175628800 319692 33554432000 4194304 4196468 140734154545008 140296597632464 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29464] ppid=29437 vsize=26538700 memory=0 CPUtime=4.4 cores=0-7 /proc/29439/task/29464/stat : 29464 (java) R 29437 29437 28880 0 -1 4202560 311 0 0 0 439 1 0 0 20 0 28 0 111294622 27175628800 319692 33554432000 4194304 4196468 140734154545008 140296596575368 140297134536543 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29465] ppid=29437 vsize=26538700 memory=0 CPUtime=4.33 cores=0-7 /proc/29439/task/29465/stat : 29465 (java) S 29437 29437 28880 0 -1 1077944384 355 0 0 0 431 2 0 0 20 0 28 0 111294622 27175628800 319692 33554432000 4194304 4196468 140734154545008 140296595526352 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 [pid=29439/tid=29466] ppid=29437 vsize=26538700 memory=0 CPUtime=4.22 cores=0-7 /proc/29439/task/29466/stat : 29466 (java) S 29437 29437 28880 0 -1 1077944384 502 0 0 0 421 1 0 0 20 0 28 0 111294622 27175628800 319692 33554432000 4194304 4196468 140734154545008 140296594473808 140297491961557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140734154548370 140734154548547 140734154548547 140734154551247 0 Current children cumulated CPU time: 70.64 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 1280152 KiB Child status: 0 Real time (s): 29.7353 CPU time (s): 70.6777 CPU user time (s): 68.1413 CPU system time (s): 2.53635 CPU usage (%): 237.689 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 1280152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 68.1413 system time used= 2.53635 maximum resident set size= 1280864 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 62813 page faults= 0 swaps= 0 block input operations= 0 block output operations= 152 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6467 involuntary context switches= 1074 # summary of solver processes directly reported to runsolver: # pid: 29437 # total CPU time (s): 70.6777 # total CPU user time (s): 68.1413 # total CPU system time (s): 2.53635 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.275532 second user time and 0.324882 second system time The end
Begin job on node102 at 2017-08-15 09:13:00 IDJOB=4271336 IDBENCH=135913 IDSOLVER=2662 FILE ID=node102/4271336-1502782038 RUNJOBID= node102-1502776136-28907 PBS_JOBID= 20629110 Free space on /tmp= 61912 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-xcsp2-s20a4/TravellingSalesman-4-20-727-a4_X2.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-4271336-1502782038/watcher-4271336-1502782038 -o /tmp/evaluation-result-4271336-1502782038/solver-4271336-1502782038 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1502776136-28907 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 610085278 HOME/instance-4271336-1502782038.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= feda79726080e93715556435cff6944b RANDOM SEED=610085278 node102.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.35 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.35 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.35 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.35 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: 31409364 kB MemAvailable: 31983708 kB Buffers: 171816 kB Cached: 685064 kB SwapCached: 0 kB Active: 680640 kB Inactive: 228480 kB Active(anon): 4960 kB Inactive(anon): 75040 kB Active(file): 675680 kB Inactive(file): 153440 kB Unevictable: 6448 kB Mlocked: 6448 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8300 kB Writeback: 28 kB AnonPages: 57436 kB Mapped: 45512 kB Shmem: 25228 kB Slab: 148908 kB SReclaimable: 122120 kB SUnreclaim: 26788 kB KernelStack: 3200 kB PageTables: 4384 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324732 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 134528 kB DirectMap2M: 33411072 kB Free space on /tmp at the end= 61904 MiB End job on node102 at 2017-08-15 09:13:30