Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 55 | 33.7562 | 5.00898 |
Name | GolombRuler/GolombRuler-a3-s1/ GolombRuler-10-a3.xml |
MD5SUM | 1a91370fd3edda64a19224a97cd9d854 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 55 |
Best CPU time to get the best result obtained on this benchmark | 17.3915 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 110 |
Number of constraints | 48 |
Number of domains | 2 |
Minimum domain size | 500 |
Maximum domain size | 501 |
Distribution of domain sizes | [{"size":500,"count":45},{"size":501,"count":10}] |
Minimum variable degree | 0 |
Maximum variable degree | 11 |
Distribution of variable degrees | [{"degree":0,"count":55},{"degree":2,"count":45},{"degree":10,"count":8},{"degree":11,"count":2}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 45 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":3,"count":45},{"arity":10,"count":1},{"arity":45,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 46 |
Distribution of constraint types | [{"type":"intension","count":46},{"type":"allDifferent","count":1},{"type":"ordered","count":1}] |
Optimization problem | YES |
Type of objective | min VAR |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407052-1569348112.xml" -tl '20160s' -p 8 0.11/0.18 c Choco e747e1e 0.11/0.18 c [HOME/instance-4407052-1569348112.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 1.58/0.70 c solve instance... 2.22/0.90 o 487 3.02/0.97 o 80 3.02/1.00 o 74 3.72/1.02 o 72 3.72/1.06 o 71 3.72/1.08 o 70 3.72/1.08 o 65 4.39/1.14 o 63 4.39/1.16 o 62 7.43/1.57 o 60 16.96/2.71 o 55 33.60/4.81 s OPTIMUM FOUND 33.60/4.81 v <instantiation> 33.60/4.81 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[5][6] y[5][7] y[5][8] y[5][9] y[6][7] y[6][8] y[6][9] y[7][8] y[7][9] y[8][9] </list> 33.60/4.81 v <values>0 1 6 10 23 26 34 41 53 55 1 6 10 23 26 34 41 53 55 5 9 22 25 33 40 52 54 4 17 20 28 35 47 49 13 16 24 31 43 45 3 11 18 30 32 8 15 27 29 7 19 21 12 14 2 </values> 33.60/4.81 v </instantiation>
OK 55
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 (12372 MiB free) memory of node 1: 16384 MiB (12768 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407052-1569348112/watcher-4407052-1569348112 -o /var/tmp/evaluation-result-4407052-1569348112/solver-4407052-1569348112 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1569347784-6732 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 9716337 HOME/instance-4407052-1569348112.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=7470, runsolver pid=7467 Current StackSize limit: 8192 KiB [startup+0.100113 s]* /proc/loadavg: 7.24 6.76 7.51 2/213 7491 /proc/meminfo: memFree=25730500/32770624 swapFree=66966880/67108860 [pid=7470] ppid=7467 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/7470/stat : 7470 (xcsp3-exec) S 7467 7470 6705 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510747597 115843072 363 33554432000 4194304 5098028 140729620932208 140729620930312 140614158066300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14561280 140729620939604 140729620939861 140729620939861 140729620942790 0 /proc/7470/statm: 28282 363 304 221 0 87 0 [pid=7472] ppid=7470 vsize=28227396 memory=26800 CPUtime=0.11 cores=0-7 /proc/7472/stat : 7472 (java) S 7470 7470 6705 0 -1 1077944320 5691 0 0 0 10 1 0 0 20 0 20 0 510747598 28904853504 6700 33554432000 4194304 4196468 140723951153136 140723951135680 139730484846327 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 /proc/7472/statm: 7056849 6700 3111 1 0 7019032 0 [pid=7472/tid=7473] ppid=7470 vsize=28227396 memory=1398722017469774279 CPUtime=0.08 cores=0-7 /proc/7472/task/7473/stat : 7473 (java) R 7470 7470 6705 0 -1 4202560 3625 0 0 0 8 0 0 0 20 0 20 0 510747598 28904853504 6766 33554432000 4194304 4196468 140723951153136 139730489079600 139730484858262 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7474] ppid=7470 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/7472/task/7474/stat : 7474 (java) S 7470 7470 6705 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510747599 28904853504 6766 33554432000 4194304 4196468 140723951153136 139730454559888 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7475] ppid=7470 vsize=28227396 memory=139801254913664 CPUtime=0 cores=0-7 /proc/7472/task/7475/stat : 7475 (java) S 7470 7470 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510747599 28904853504 6766 33554432000 4194304 4196468 140723951153136 139730034953232 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7476] ppid=7470 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7476/stat : 7476 (java) S 7470 7470 6705 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510747599 28904853504 6766 33554432000 4194304 4196468 140723951153136 139730033900432 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7477] ppid=7470 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7477/stat : 7477 (java) S 7470 7470 6705 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510747599 28904853504 6766 33554432000 4194304 4196468 140723951153136 139730032847632 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7478] ppid=7470 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7478/stat : 7478 (java) S 7470 7470 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510747599 28904853504 6766 33554432000 4194304 4196468 140723951153136 139730031794832 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7479] ppid=7470 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/7472/task/7479/stat : 7479 (java) S 7470 7470 6705 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510747599 28904853504 6766 33554432000 4194304 4196468 140723951153136 139730030742032 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7480] ppid=7470 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7480/stat : 7480 (java) S 7470 7470 6705 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510747599 28904853504 6766 33554432000 4194304 4196468 140723951153136 139730029689232 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7481] ppid=7470 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7481/stat : 7481 (java) S 7470 7470 6705 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510747599 28904853504 6766 33554432000 4194304 4196468 140723951153136 139730028636432 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7482] ppid=7470 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7482/stat : 7482 (java) S 7470 7470 6705 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510747600 28904853504 6766 33554432000 4194304 4196468 140723951153136 139728948972400 139730484857474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7483] ppid=7470 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7483/stat : 7483 (java) S 7470 7470 6705 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510747601 28904853504 6766 33554432000 4194304 4196468 140723951153136 139728947918368 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7484] ppid=7470 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7484/stat : 7484 (java) S 7470 7470 6705 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510747601 28904853504 6766 33554432000 4194304 4196468 140723951153136 139728946865520 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7485] ppid=7470 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7485/stat : 7485 (java) S 7470 7470 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510747603 28904853504 6766 33554432000 4194304 4196468 140723951153136 139728945813840 139730484864923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7486] ppid=7470 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7486/stat : 7486 (java) S 7470 7470 6705 0 -1 1077944384 454 0 0 0 0 0 0 0 20 0 20 0 510747603 28904853504 6766 33554432000 4194304 4196468 140723951153136 139728944761200 139730484857474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7487] ppid=7470 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7487/stat : 7487 (java) S 7470 7470 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510747603 28904853504 6766 33554432000 4194304 4196468 140723951153136 139728943708400 139730484857474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7488] ppid=7470 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7488/stat : 7488 (java) S 7470 7470 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510747603 28904853504 6766 33554432000 4194304 4196468 140723951153136 139728942655600 139730484857474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7489] ppid=7470 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/7472/task/7489/stat : 7489 (java) R 7470 7470 6705 0 -1 4202560 348 0 0 0 1 0 0 0 20 0 20 0 510747603 28904853504 6766 33554432000 4194304 4196468 140723951153136 139728941602800 139730468926814 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7490] ppid=7470 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7490/stat : 7490 (java) S 7470 7470 6705 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510747604 28904853504 6766 33554432000 4194304 4196468 140723951153136 139728940551264 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7491] ppid=7470 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/7472/task/7491/stat : 7491 (java) S 7470 7470 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510747604 28904853504 6766 33554432000 4194304 4196468 140723951153136 139728939498544 139730484857474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 28252 KiB [startup+0.210929 s]* /proc/loadavg: 7.24 6.76 7.51 2/213 7491 /proc/meminfo: memFree=25715928/32770624 swapFree=66966880/67108860 [pid=7470] ppid=7467 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/7470/stat : 7470 (xcsp3-exec) S 7467 7470 6705 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510747597 115843072 363 33554432000 4194304 5098028 140729620932208 140729620930312 140614158066300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14561280 140729620939604 140729620939861 140729620939861 140729620942790 0 /proc/7470/statm: 28282 363 304 221 0 87 0 [pid=7472] ppid=7470 vsize=28227396 memory=39892 CPUtime=0.33 cores=0-7 /proc/7472/stat : 7472 (java) S 7470 7470 6705 0 -1 1077944320 9740 0 0 0 31 2 0 0 20 0 20 0 510747598 28904853504 9973 33554432000 4194304 4196468 140723951153136 140723951135680 139730484846327 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 /proc/7472/statm: 7056849 9973 3283 1 0 7019032 0 [pid=7472/tid=7473] ppid=7470 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/7472/task/7473/stat : 7473 (java) R 7470 7470 6705 0 -1 4202560 6659 0 0 0 18 1 0 0 20 0 20 0 510747598 28904853504 9973 33554432000 4194304 4196468 140723951153136 139730489076048 139730468926814 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7474] ppid=7470 vsize=28227396 memory=329 CPUtime=0 cores=0-7 /proc/7472/task/7474/stat : 7474 (java) S 7470 7470 6705 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510747599 28904853504 9973 33554432000 4194304 4196468 140723951153136 139730454559888 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7475] ppid=7470 vsize=28227396 memory=139801258414612 CPUtime=0 cores=0-7 /proc/7472/task/7475/stat : 7475 (java) S 7470 7470 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510747599 28904853504 9973 33554432000 4194304 4196468 140723951153136 139730034953232 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7476] ppid=7470 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/7472/task/7476/stat : 7476 (java) S 7470 7470 6705 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510747599 28904853504 9973 33554432000 4194304 4196468 140723951153136 139730033900432 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7477] ppid=7470 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7477/stat : 7477 (java) S 7470 7470 6705 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510747599 28904853504 9973 33554432000 4194304 4196468 140723951153136 139730032847632 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7478] ppid=7470 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7478/stat : 7478 (java) S 7470 7470 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510747599 28904853504 9973 33554432000 4194304 4196468 140723951153136 139730031794832 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7479] ppid=7470 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/7472/task/7479/stat : 7479 (java) S 7470 7470 6705 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510747599 28904853504 9973 33554432000 4194304 4196468 140723951153136 139730030742032 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7480] ppid=7470 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7480/stat : 7480 (java) S 7470 7470 6705 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510747599 28904853504 9973 33554432000 4194304 4196468 140723951153136 139730029689232 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7481] ppid=7470 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7481/stat : 7481 (java) S 7470 7470 6705 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510747599 28904853504 9973 33554432000 4194304 4196468 140723951153136 139730028636432 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7482] ppid=7470 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7482/stat : 7482 (java) S 7470 7470 6705 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510747600 28904853504 9973 33554432000 4194304 4196468 140723951153136 139728948972400 139730484857474 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7483] ppid=7470 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7483/stat : 7483 (java) S 7470 7470 6705 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510747601 28904853504 9973 33554432000 4194304 4196468 140723951153136 139728947918368 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7484] ppid=7470 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7484/stat : 7484 (java) S 7470 7470 6705 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510747601 28904853504 9973 33554432000 4194304 4196468 140723951153136 139728946865520 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7485] ppid=7470 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7485/stat : 7485 (java) S 7470 7470 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510747603 28904853504 9973 33554432000 4194304 4196468 140723951153136 139728945813840 139730484864923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7486] ppid=7470 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/7472/task/7486/stat : 7486 (java) S 7470 7470 6705 0 -1 1077944384 534 0 0 0 1 0 0 0 20 0 20 0 510747603 28904853504 9973 33554432000 4194304 4196468 140723951153136 139728944761200 139730484857474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7487] ppid=7470 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7487/stat : 7487 (java) S 7470 7470 6705 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 20 0 510747603 28904853504 9973 33554432000 4194304 4196468 140723951153136 139728943708400 139730484857474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7488] ppid=7470 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/7472/task/7488/stat : 7488 (java) S 7470 7470 6705 0 -1 1077944384 260 0 0 0 2 0 0 0 20 0 20 0 510747603 28904853504 9973 33554432000 4194304 4196468 140723951153136 139728942655600 139730484857474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7489] ppid=7470 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/7472/task/7489/stat : 7489 (java) S 7470 7470 6705 0 -1 1077944384 906 0 0 0 7 0 0 0 20 0 20 0 510747603 28904853504 9973 33554432000 4194304 4196468 140723951153136 139728941602800 139730484857474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7490] ppid=7470 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7490/stat : 7490 (java) S 7470 7470 6705 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510747604 28904853504 9973 33554432000 4194304 4196468 140723951153136 139728940551264 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7491] ppid=7470 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/7472/task/7491/stat : 7491 (java) S 7470 7470 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510747604 28904853504 9973 33554432000 4194304 4196468 140723951153136 139728939498544 139730484857474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41344 KiB [startup+0.310598 s]* /proc/loadavg: 7.24 6.76 7.51 2/213 7491 /proc/meminfo: memFree=25710816/32770624 swapFree=66966880/67108860 [pid=7470] ppid=7467 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/7470/stat : 7470 (xcsp3-exec) S 7467 7470 6705 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510747597 115843072 363 33554432000 4194304 5098028 140729620932208 140729620930312 140614158066300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14561280 140729620939604 140729620939861 140729620939861 140729620942790 0 /proc/7470/statm: 28282 363 304 221 0 87 0 [pid=7472] ppid=7470 vsize=28231652 memory=48616 CPUtime=0.52 cores=0-7 /proc/7472/stat : 7472 (java) S 7470 7470 6705 0 -1 1077944320 11009 0 0 0 49 3 0 0 20 0 20 0 510747598 28909211648 12154 33554432000 4194304 4196468 140723951153136 140723951135680 139730484846327 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 /proc/7472/statm: 7057913 12154 3358 1 0 7019032 0 [pid=7472/tid=7473] ppid=7470 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/7472/task/7473/stat : 7473 (java) R 7470 7470 6705 0 -1 4202560 7741 0 0 0 28 2 0 0 20 0 20 0 510747598 28909211648 12220 33554432000 4194304 4196468 140723951153136 139730489077440 139730468926814 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7474] ppid=7470 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7474/stat : 7474 (java) S 7470 7470 6705 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510747599 28909211648 12220 33554432000 4194304 4196468 140723951153136 139730454559888 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7475] ppid=7470 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7475/stat : 7475 (java) S 7470 7470 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510747599 28909211648 12220 33554432000 4194304 4196468 140723951153136 139730034953232 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7476] ppid=7470 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7476/stat : 7476 (java) S 7470 7470 6705 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510747599 28909211648 12220 33554432000 4194304 4196468 140723951153136 139730033900432 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7477] ppid=7470 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7477/stat : 7477 (java) S 7470 7470 6705 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510747599 28909211648 12220 33554432000 4194304 4196468 140723951153136 139730032847632 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7478] ppid=7470 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7478/stat : 7478 (java) S 7470 7470 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510747599 28909211648 12220 33554432000 4194304 4196468 140723951153136 139730031794832 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7479] ppid=7470 vsize=28231652 memory=139801118468783 CPUtime=0 cores=0-7 /proc/7472/task/7479/stat : 7479 (java) S 7470 7470 6705 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510747599 28909211648 12220 33554432000 4194304 4196468 140723951153136 139730030742032 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7480] ppid=7470 vsize=28231652 memory=139801118471088 CPUtime=0 cores=0-7 /proc/7472/task/7480/stat : 7480 (java) S 7470 7470 6705 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510747599 28909211648 12220 33554432000 4194304 4196468 140723951153136 139730029689232 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7481] ppid=7470 vsize=28231652 memory=139801118473392 CPUtime=0 cores=0-7 /proc/7472/task/7481/stat : 7481 (java) S 7470 7470 6705 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510747599 28909211648 12220 33554432000 4194304 4196468 140723951153136 139730028636432 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7482] ppid=7470 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7482/stat : 7482 (java) S 7470 7470 6705 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510747600 28909211648 12220 33554432000 4194304 4196468 140723951153136 139728948972400 139730484857474 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7483] ppid=7470 vsize=28231652 memory=279602236960656 CPUtime=0 cores=0-7 /proc/7472/task/7483/stat : 7483 (java) S 7470 7470 6705 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510747601 28909211648 12220 33554432000 4194304 4196468 140723951153136 139728947918368 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7484] ppid=7470 vsize=28231652 memory=279602236958352 CPUtime=0 cores=0-7 /proc/7472/task/7484/stat : 7484 (java) S 7470 7470 6705 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510747601 28909211648 12220 33554432000 4194304 4196468 140723951153136 139728946865520 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7485] ppid=7470 vsize=28231652 memory=279602236965264 CPUtime=0 cores=0-7 /proc/7472/task/7485/stat : 7485 (java) S 7470 7470 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510747603 28909211648 12220 33554432000 4194304 4196468 140723951153136 139728945813840 139730484864923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7486] ppid=7470 vsize=28231652 memory=279602236906512 CPUtime=0.03 cores=0-7 /proc/7472/task/7486/stat : 7486 (java) R 7470 7470 6705 0 -1 4202560 618 0 0 0 3 0 0 0 20 0 20 0 510747603 28909211648 12220 33554432000 4194304 4196468 140723951153136 139728944751584 139730465546624 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7487] ppid=7470 vsize=28231652 memory=279602236979088 CPUtime=0.01 cores=0-7 /proc/7472/task/7487/stat : 7487 (java) S 7470 7470 6705 0 -1 1077944384 94 0 0 0 1 0 0 0 20 0 20 0 510747603 28909211648 12220 33554432000 4194304 4196468 140723951153136 139728943708400 139730484857474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7488] ppid=7470 vsize=28231652 memory=279602236986000 CPUtime=0.02 cores=0-7 /proc/7472/task/7488/stat : 7488 (java) S 7470 7470 6705 0 -1 1077944384 272 0 0 0 2 0 0 0 20 0 20 0 510747603 28909211648 12220 33554432000 4194304 4196468 140723951153136 139728942655600 139730484857474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7489] ppid=7470 vsize=28231652 memory=279602236983696 CPUtime=0.12 cores=0-7 /proc/7472/task/7489/stat : 7489 (java) S 7470 7470 6705 0 -1 1077944384 1056 0 0 0 12 0 0 0 20 0 20 0 510747603 28909211648 12220 33554432000 4194304 4196468 140723951153136 139728941602800 139730484857474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7490] ppid=7470 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7490/stat : 7490 (java) S 7470 7470 6705 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510747604 28909211648 12220 33554432000 4194304 4196468 140723951153136 139728940551264 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7491] ppid=7470 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/7472/task/7491/stat : 7491 (java) S 7470 7470 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510747604 28909211648 12220 33554432000 4194304 4196468 140723951153136 139728939498544 139730484857474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 50068 KiB [startup+0.700948 s] /proc/loadavg: 6.90 6.70 7.48 4/213 7491 /proc/meminfo: memFree=25694172/32770624 swapFree=66966880/67108860 [pid=7470] ppid=7467 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/7470/stat : 7470 (xcsp3-exec) S 7467 7470 6705 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510747597 115843072 363 33554432000 4194304 5098028 140729620932208 140729620930312 140614158066300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14561280 140729620939604 140729620939861 140729620939861 140729620942790 0 /proc/7470/statm: 28282 363 304 221 0 87 0 [pid=7472] ppid=7470 vsize=28233776 memory=86156 CPUtime=1.58 cores=0-7 /proc/7472/stat : 7472 (java) S 7470 7470 6705 0 -1 1077944320 15238 0 0 0 152 6 0 0 20 0 20 0 510747598 28911386624 21539 33554432000 4194304 4196468 140723951153136 140723951135680 139730484846327 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 /proc/7472/statm: 7058444 21539 3452 1 0 7019544 0 [pid=7472/tid=7473] ppid=7470 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/7472/task/7473/stat : 7473 (java) R 7470 7470 6705 0 -1 4202560 9320 0 0 0 64 3 0 0 20 0 20 0 510747598 28911386624 21539 33554432000 4194304 4196468 140723951153136 139730489083168 139730120950605 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7474] ppid=7470 vsize=28233776 memory=139801118679920 CPUtime=0 cores=0-7 /proc/7472/task/7474/stat : 7474 (java) S 7470 7470 6705 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510747599 28911386624 21539 33554432000 4194304 4196468 140723951153136 139730454559888 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7475] ppid=7470 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7475/stat : 7475 (java) S 7470 7470 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510747599 28911386624 21539 33554432000 4194304 4196468 140723951153136 139730034953232 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7476] ppid=7470 vsize=28233776 memory=8136 CPUtime=0 cores=0-7 /proc/7472/task/7476/stat : 7476 (java) S 7470 7470 6705 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510747599 28911386624 21539 33554432000 4194304 4196468 140723951153136 139730033900432 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 ################ # More data... # ################ [pid=7472/tid=7581] ppid=7470 vsize=28769364 memory=55777 CPUtime=1.22 cores=0-7 /proc/7472/task/7581/stat : 7581 (java) R 7470 7470 6705 0 -1 4202560 35 0 0 0 122 0 0 0 20 0 28 0 510747869 29459828736 56135 33554432000 4194304 4196468 140723951153136 139728926069544 139730121152368 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7582] ppid=7470 vsize=28769364 memory=288230583149265200 CPUtime=1.29 cores=0-7 /proc/7472/task/7582/stat : 7582 (java) R 7470 7470 6705 0 -1 4202560 61 0 0 0 129 0 0 0 20 0 28 0 510747869 29459828736 56135 33554432000 4194304 4196468 140723951153136 139728930280072 139730126925362 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7583] ppid=7470 vsize=28769364 memory=13848568817518192 CPUtime=1.25 cores=0-7 /proc/7472/task/7583/stat : 7583 (java) R 7470 7470 6705 0 -1 4202560 75 0 0 0 125 0 0 0 20 0 28 0 510747869 29459828736 56135 33554432000 4194304 4196468 140723951153136 139728927121416 139730128156194 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7584] ppid=7470 vsize=28769364 memory=0 CPUtime=1.29 cores=0-7 /proc/7472/task/7584/stat : 7584 (java) R 7470 7470 6705 0 -1 4202560 129 0 0 0 129 0 0 0 20 0 28 0 510747869 29459828736 56135 33554432000 4194304 4196468 140723951153136 139728919762456 139730127711030 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7585] ppid=7470 vsize=28769364 memory=0 CPUtime=1.29 cores=0-7 /proc/7472/task/7585/stat : 7585 (java) R 7470 7470 6705 0 -1 4202560 75 0 0 0 129 0 0 0 20 0 28 0 510747869 29459828736 56135 33554432000 4194304 4196468 140723951153136 139728925015368 139730127886593 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7586] ppid=7470 vsize=28769364 memory=0 CPUtime=1.29 cores=0-7 /proc/7472/task/7586/stat : 7586 (java) R 7470 7470 6705 0 -1 4202560 57 0 0 0 129 0 0 0 20 0 28 0 510747869 29459828736 56135 33554432000 4194304 4196468 140723951153136 139728922911464 139730127908918 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7587] ppid=7470 vsize=28769364 memory=0 CPUtime=1.15 cores=0-7 /proc/7472/task/7587/stat : 7587 (java) R 7470 7470 6705 0 -1 4202560 28 0 0 0 115 0 0 0 20 0 28 0 510747869 29459828736 56135 33554432000 4194304 4196468 140723951153136 139728928175144 139730126199226 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 Current children cumulated CPU time: 27.34 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 225992 KiB [startup+4.40207 s] /proc/loadavg: 6.90 6.70 7.48 9/221 7587 /proc/meminfo: memFree=25534392/32770624 swapFree=66966880/67108860 [pid=7470] ppid=7467 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/7470/stat : 7470 (xcsp3-exec) S 7467 7470 6705 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510747597 115843072 363 33554432000 4194304 5098028 140729620932208 140729620930312 140614158066300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14561280 140729620939604 140729620939861 140729620939861 140729620942790 0 /proc/7470/statm: 28282 363 304 221 0 87 0 [pid=7472] ppid=7470 vsize=28769364 memory=232932 CPUtime=30.43 cores=0-7 /proc/7472/stat : 7472 (java) S 7470 7470 6705 0 -1 1077944320 29850 0 0 0 3027 16 0 0 20 0 28 0 510747598 29459828736 58233 33554432000 4194304 4196468 140723951153136 140723951135680 139730484846327 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 /proc/7472/statm: 7192341 58233 3520 1 0 7153441 0 [pid=7472/tid=7473] ppid=7470 vsize=28769364 memory=0 CPUtime=0.7 cores=0-7 /proc/7472/task/7473/stat : 7473 (java) S 7470 7470 6705 0 -1 1077944384 9410 0 0 0 67 3 0 0 20 0 28 0 510747598 29459828736 58233 33554432000 4194304 4196468 140723951153136 139730489087104 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7474] ppid=7470 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7474/stat : 7474 (java) S 7470 7470 6705 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 510747599 29459828736 58233 33554432000 4194304 4196468 140723951153136 139730454559888 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7475] ppid=7470 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7475/stat : 7475 (java) S 7470 7470 6705 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 510747599 29459828736 58233 33554432000 4194304 4196468 140723951153136 139730034953232 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7476] ppid=7470 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7476/stat : 7476 (java) S 7470 7470 6705 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 510747599 29459828736 58233 33554432000 4194304 4196468 140723951153136 139730033900432 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7477] ppid=7470 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7477/stat : 7477 (java) S 7470 7470 6705 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 510747599 29459828736 58233 33554432000 4194304 4196468 140723951153136 139730032847632 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7478] ppid=7470 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7478/stat : 7478 (java) S 7470 7470 6705 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 510747599 29459828736 58233 33554432000 4194304 4196468 140723951153136 139730031794832 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7479] ppid=7470 vsize=28769364 memory=7301856090349791568 CPUtime=0 cores=0-7 /proc/7472/task/7479/stat : 7479 (java) S 7470 7470 6705 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 510747599 29459828736 58233 33554432000 4194304 4196468 140723951153136 139730030742032 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7480] ppid=7470 vsize=28769364 memory=7085680915973105746 CPUtime=0 cores=0-7 /proc/7472/task/7480/stat : 7480 (java) S 7470 7470 6705 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 28 0 510747599 29459828736 58233 33554432000 4194304 4196468 140723951153136 139730029689232 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7481] ppid=7470 vsize=28769364 memory=7518007986156823895 CPUtime=0 cores=0-7 /proc/7472/task/7481/stat : 7481 (java) S 7470 7470 6705 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 510747599 29459828736 58233 33554432000 4194304 4196468 140723951153136 139730028636432 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7482] ppid=7470 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7482/stat : 7482 (java) S 7470 7470 6705 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 28 0 510747600 29459828736 58233 33554432000 4194304 4196468 140723951153136 139728948972400 139730484857474 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7483] ppid=7470 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7483/stat : 7483 (java) S 7470 7470 6705 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 510747601 29459828736 58233 33554432000 4194304 4196468 140723951153136 139728947918432 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7484] ppid=7470 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7484/stat : 7484 (java) S 7470 7470 6705 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 510747601 29459828736 58233 33554432000 4194304 4196468 140723951153136 139728946865536 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7485] ppid=7470 vsize=28769364 memory=1 CPUtime=0 cores=0-7 /proc/7472/task/7485/stat : 7485 (java) S 7470 7470 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510747603 29459828736 58233 33554432000 4194304 4196468 140723951153136 139728945813840 139730484864923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7486] ppid=7470 vsize=28769364 memory=0 CPUtime=1.82 cores=0-7 /proc/7472/task/7486/stat : 7486 (java) S 7470 7470 6705 0 -1 1077944384 4656 0 0 0 181 1 0 0 20 0 28 0 510747603 29459828736 58233 33554432000 4194304 4196468 140723951153136 139728944761200 139730484857474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7487] ppid=7470 vsize=28769364 memory=0 CPUtime=1.35 cores=0-7 /proc/7472/task/7487/stat : 7487 (java) S 7470 7470 6705 0 -1 1077944384 2897 0 0 0 134 1 0 0 20 0 28 0 510747603 29459828736 58233 33554432000 4194304 4196468 140723951153136 139728943708400 139730484857474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7488] ppid=7470 vsize=28769364 memory=61 CPUtime=1.76 cores=0-7 /proc/7472/task/7488/stat : 7488 (java) S 7470 7470 6705 0 -1 1077944384 4954 0 0 0 175 1 0 0 20 0 28 0 510747603 29459828736 58233 33554432000 4194304 4196468 140723951153136 139728942655600 139730484857474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7489] ppid=7470 vsize=28769364 memory=4 CPUtime=0.72 cores=0-7 /proc/7472/task/7489/stat : 7489 (java) S 7470 7470 6705 0 -1 1077944384 3650 0 0 0 71 1 0 0 20 0 28 0 510747603 29459828736 58233 33554432000 4194304 4196468 140723951153136 139728941602800 139730484857474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7490] ppid=7470 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7490/stat : 7490 (java) S 7470 7470 6705 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510747604 29459828736 58233 33554432000 4194304 4196468 140723951153136 139728940551264 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7491] ppid=7470 vsize=28769364 memory=87 CPUtime=0 cores=0-7 /proc/7472/task/7491/stat : 7491 (java) S 7470 7470 6705 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 510747604 29459828736 58233 33554432000 4194304 4196468 140723951153136 139728939498544 139730484857474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7580] ppid=7470 vsize=28769364 memory=0 CPUtime=1.67 cores=0-7 /proc/7472/task/7580/stat : 7580 (java) R 7470 7470 6705 0 -1 4202560 174 0 0 0 167 0 0 0 20 0 28 0 510747869 29459828736 58233 33554432000 4194304 4196468 140723951153136 139728923962304 139730129154626 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7581] ppid=7470 vsize=28769364 memory=0 CPUtime=1.59 cores=0-7 /proc/7472/task/7581/stat : 7581 (java) R 7470 7470 6705 0 -1 4202560 36 0 0 0 159 0 0 0 20 0 28 0 510747869 29459828736 58233 33554432000 4194304 4196468 140723951153136 139728926069000 139730127908823 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7582] ppid=7470 vsize=28769364 memory=0 CPUtime=1.67 cores=0-7 /proc/7472/task/7582/stat : 7582 (java) R 7470 7470 6705 0 -1 4202560 63 0 0 0 167 0 0 0 20 0 28 0 510747869 29459828736 58233 33554432000 4194304 4196468 140723951153136 139728930279104 139730126536791 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7583] ppid=7470 vsize=28769364 memory=0 CPUtime=1.63 cores=0-7 /proc/7472/task/7583/stat : 7583 (java) R 7470 7470 6705 0 -1 4202560 76 0 0 0 163 0 0 0 20 0 28 0 510747869 29459828736 58233 33554432000 4194304 4196468 140723951153136 139728927124832 139730127886346 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7584] ppid=7470 vsize=28769364 memory=0 CPUtime=1.66 cores=0-7 /proc/7472/task/7584/stat : 7584 (java) R 7470 7470 6705 0 -1 4202560 132 0 0 0 166 0 0 0 20 0 28 0 510747869 29459828736 58233 33554432000 4194304 4196468 140723951153136 139728919763592 139730126924923 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7585] ppid=7470 vsize=28769364 memory=16746 CPUtime=1.67 cores=0-7 /proc/7472/task/7585/stat : 7585 (java) R 7470 7470 6705 0 -1 4202560 76 0 0 0 167 0 0 0 20 0 28 0 510747869 29459828736 58233 33554432000 4194304 4196468 140723951153136 139728925015104 139730127886402 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7586] ppid=7470 vsize=28769364 memory=0 CPUtime=1.67 cores=0-7 /proc/7472/task/7586/stat : 7586 (java) R 7470 7470 6705 0 -1 4202560 59 0 0 0 167 0 0 0 20 0 28 0 510747869 29459828736 58233 33554432000 4194304 4196468 140723951153136 139728922911320 139730127642819 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7587] ppid=7470 vsize=28769364 memory=1496 CPUtime=1.53 cores=0-7 /proc/7472/task/7587/stat : 7587 (java) R 7470 7470 6705 0 -1 4202560 29 0 0 0 153 0 0 0 20 0 28 0 510747869 29459828736 58233 33554432000 4194304 4196468 140723951153136 139728928175144 139730126926310 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 Current children cumulated CPU time: 30.43 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 234384 KiB [startup+4.80107 s] /proc/loadavg: 6.90 6.70 7.48 9/221 7587 /proc/meminfo: memFree=25534392/32770624 swapFree=66966880/67108860 [pid=7470] ppid=7467 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/7470/stat : 7470 (xcsp3-exec) S 7467 7470 6705 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510747597 115843072 363 33554432000 4194304 5098028 140729620932208 140729620930312 140614158066300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14561280 140729620939604 140729620939861 140729620939861 140729620942790 0 /proc/7470/statm: 28282 363 304 221 0 87 0 [pid=7472] ppid=7470 vsize=28769364 memory=233004 CPUtime=33.6 cores=0-7 /proc/7472/stat : 7472 (java) S 7470 7470 6705 0 -1 1077944320 29979 0 0 0 3344 16 0 0 20 0 28 0 510747598 29459828736 58251 33554432000 4194304 4196468 140723951153136 140723951135680 139730484846327 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 /proc/7472/statm: 7192341 58251 3520 1 0 7153441 0 [pid=7472/tid=7473] ppid=7470 vsize=28769364 memory=6656426216303648864 CPUtime=0.7 cores=0-7 /proc/7472/task/7473/stat : 7473 (java) S 7470 7470 6705 0 -1 1077944384 9410 0 0 0 67 3 0 0 20 0 28 0 510747598 29459828736 58251 33554432000 4194304 4196468 140723951153136 139730489087104 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7474] ppid=7470 vsize=28769364 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/7472/task/7474/stat : 7474 (java) S 7470 7470 6705 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 510747599 29459828736 58251 33554432000 4194304 4196468 140723951153136 139730454559888 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7475] ppid=7470 vsize=28769364 memory=6944656592455360604 CPUtime=0 cores=0-7 /proc/7472/task/7475/stat : 7475 (java) S 7470 7470 6705 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 510747599 29459828736 58251 33554432000 4194304 4196468 140723951153136 139730034953232 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7476] ppid=7470 vsize=28769364 memory=279602236752112 CPUtime=0 cores=0-7 /proc/7472/task/7476/stat : 7476 (java) S 7470 7470 6705 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 510747599 29459828736 58251 33554432000 4194304 4196468 140723951153136 139730033900432 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7477] ppid=7470 vsize=28769364 memory=288230596118053219 CPUtime=0 cores=0-7 /proc/7472/task/7477/stat : 7477 (java) S 7470 7470 6705 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 510747599 29459828736 58251 33554432000 4194304 4196468 140723951153136 139730032847632 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7478] ppid=7470 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7478/stat : 7478 (java) S 7470 7470 6705 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 510747599 29459828736 58251 33554432000 4194304 4196468 140723951153136 139730031794832 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7479] ppid=7470 vsize=28769364 memory=139801118949520 CPUtime=0 cores=0-7 /proc/7472/task/7479/stat : 7479 (java) S 7470 7470 6705 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 510747599 29459828736 58251 33554432000 4194304 4196468 140723951153136 139730030742032 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7480] ppid=7470 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7480/stat : 7480 (java) S 7470 7470 6705 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 28 0 510747599 29459828736 58251 33554432000 4194304 4196468 140723951153136 139730029689232 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7481] ppid=7470 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7481/stat : 7481 (java) S 7470 7470 6705 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 510747599 29459828736 58251 33554432000 4194304 4196468 140723951153136 139730028636432 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7482] ppid=7470 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7482/stat : 7482 (java) S 7470 7470 6705 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 28 0 510747600 29459828736 58251 33554432000 4194304 4196468 140723951153136 139728948972400 139730484857474 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7483] ppid=7470 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7483/stat : 7483 (java) S 7470 7470 6705 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 510747601 29459828736 58251 33554432000 4194304 4196468 140723951153136 139728947918432 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7484] ppid=7470 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7484/stat : 7484 (java) S 7470 7470 6705 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 510747601 29459828736 58251 33554432000 4194304 4196468 140723951153136 139728946865536 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7485] ppid=7470 vsize=28769364 memory=1452 CPUtime=0 cores=0-7 /proc/7472/task/7485/stat : 7485 (java) S 7470 7470 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510747603 29459828736 58251 33554432000 4194304 4196468 140723951153136 139728945813840 139730484864923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7486] ppid=7470 vsize=28769364 memory=213360 CPUtime=1.82 cores=0-7 /proc/7472/task/7486/stat : 7486 (java) S 7470 7470 6705 0 -1 1077944384 4656 0 0 0 181 1 0 0 20 0 28 0 510747603 29459828736 58251 33554432000 4194304 4196468 140723951153136 139728944761200 139730484857474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7487] ppid=7470 vsize=28769364 memory=0 CPUtime=1.36 cores=0-7 /proc/7472/task/7487/stat : 7487 (java) S 7470 7470 6705 0 -1 1077944384 2899 0 0 0 135 1 0 0 20 0 28 0 510747603 29459828736 58251 33554432000 4194304 4196468 140723951153136 139728943708400 139730484857474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7488] ppid=7470 vsize=28769364 memory=6656426216303648864 CPUtime=1.76 cores=0-7 /proc/7472/task/7488/stat : 7488 (java) S 7470 7470 6705 0 -1 1077944384 4954 0 0 0 175 1 0 0 20 0 28 0 510747603 29459828736 58251 33554432000 4194304 4196468 140723951153136 139728942655600 139730484857474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7489] ppid=7470 vsize=28769364 memory=1452 CPUtime=0.72 cores=0-7 /proc/7472/task/7489/stat : 7489 (java) S 7470 7470 6705 0 -1 1077944384 3681 0 0 0 71 1 0 0 20 0 28 0 510747603 29459828736 58251 33554432000 4194304 4196468 140723951153136 139728941602800 139730484857474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7490] ppid=7470 vsize=28769364 memory=210712 CPUtime=0 cores=0-7 /proc/7472/task/7490/stat : 7490 (java) S 7470 7470 6705 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510747604 29459828736 58251 33554432000 4194304 4196468 140723951153136 139728940551264 139730484856533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7491] ppid=7470 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/7472/task/7491/stat : 7491 (java) S 7470 7470 6705 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 510747604 29459828736 58251 33554432000 4194304 4196468 140723951153136 139728939498544 139730484857474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7580] ppid=7470 vsize=28769364 memory=0 CPUtime=2.07 cores=0-7 /proc/7472/task/7580/stat : 7580 (java) R 7470 7470 6705 0 -1 4202560 221 0 0 0 207 0 0 0 20 0 28 0 510747869 29459828736 58251 33554432000 4194304 4196468 140723951153136 139728923964408 139730127642777 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7581] ppid=7470 vsize=28769364 memory=0 CPUtime=1.98 cores=0-7 /proc/7472/task/7581/stat : 7581 (java) R 7470 7470 6705 0 -1 4202560 41 0 0 0 198 0 0 0 20 0 28 0 510747869 29459828736 58251 33554432000 4194304 4196468 140723951153136 139728926069000 139730126199529 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7582] ppid=7470 vsize=28769364 memory=0 CPUtime=2.07 cores=0-7 /proc/7472/task/7582/stat : 7582 (java) R 7470 7470 6705 0 -1 4202560 81 0 0 0 207 0 0 0 20 0 28 0 510747869 29459828736 58251 33554432000 4194304 4196468 140723951153136 139728930279104 139730126199524 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7583] ppid=7470 vsize=28769364 memory=0 CPUtime=2.03 cores=0-7 /proc/7472/task/7583/stat : 7583 (java) R 7470 7470 6705 0 -1 4202560 83 0 0 0 203 0 0 0 20 0 28 0 510747869 29459828736 58251 33554432000 4194304 4196468 140723951153136 139728927124832 139730126536960 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7584] ppid=7470 vsize=28769364 memory=0 CPUtime=2.05 cores=0-7 /proc/7472/task/7584/stat : 7584 (java) R 7470 7470 6705 0 -1 4202560 137 0 0 0 205 0 0 0 20 0 28 0 510747869 29459828736 58251 33554432000 4194304 4196468 140723951153136 139728919762904 139730127711122 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7585] ppid=7470 vsize=28769364 memory=0 CPUtime=2.07 cores=0-7 /proc/7472/task/7585/stat : 7585 (java) R 7470 7470 6705 0 -1 4202560 85 0 0 0 207 0 0 0 20 0 28 0 510747869 29459828736 58251 33554432000 4194304 4196468 140723951153136 139728925016376 139730126199481 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7586] ppid=7470 vsize=28769364 memory=288230574492221466 CPUtime=2.07 cores=0-7 /proc/7472/task/7586/stat : 7586 (java) R 7470 7470 6705 0 -1 4202560 64 0 0 0 207 0 0 0 20 0 28 0 510747869 29459828736 58251 33554432000 4194304 4196468 140723951153136 139728922911992 139730126538015 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 [pid=7472/tid=7587] ppid=7470 vsize=28769364 memory=0 CPUtime=1.92 cores=0-7 /proc/7472/task/7587/stat : 7587 (java) R 7470 7470 6705 0 -1 4202560 29 0 0 0 192 0 0 0 20 0 28 0 510747869 29459828736 58251 33554432000 4194304 4196468 140723951153136 139728928175144 139730126199360 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16867328 140723951158230 140723951158406 140723951158406 140723951161295 0 Current children cumulated CPU time: 33.6 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 234456 KiB [startup+4.90106 s]* /proc/loadavg: 6.90 6.70 7.48 1/192 7587 /proc/meminfo: memFree=25740352/32770624 swapFree=66966880/67108860 Current cumulated CPU time of completed processes: 33.7562 s Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 0 Real time (s): 5.00898 CPU time (s): 33.7562 CPU user time (s): 33.5768 CPU system time (s): 0.179383 CPU usage (%): 673.913 Max. virtual memory (cumulated for all children) (KiB): 28882492 Max. memory (cumulated for all children) (KiB): 234456 getrusage(RUSAGE_CHILDREN,...) data: user time used= 33.5768 system time used= 0.179383 maximum resident set size= 233244 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30914 page faults= 0 swaps= 0 block input operations= 0 block output operations= 112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4707 involuntary context switches= 899 # summary of solver processes directly reported to runsolver: # pid: 7470 # total CPU time (s): 33.7562 # total CPU user time (s): 33.5768 # total CPU system time (s): 0.179383 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.073834 second user time and 0.089985 second system time The end
Begin job on node145 at 2019-09-24 20:01:09 IDJOB=4407052 IDBENCH=126224 IDSOLVER=2871 FILE ID=node145/4407052-1569348112 RUNJOBID= node145-1569347784-6732 PBS_JOBID= 21705075 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-10-a3.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407052-1569348112/watcher-4407052-1569348112 -o /var/tmp/evaluation-result-4407052-1569348112/solver-4407052-1569348112 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1569347784-6732 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 9716337 HOME/instance-4407052-1569348112.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 1a91370fd3edda64a19224a97cd9d854 RANDOM SEED=9716337 node145.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.59 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.59 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.59 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.59 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: 25744396 kB MemAvailable: 31809964 kB Buffers: 151840 kB Cached: 6065680 kB SwapCached: 32456 kB Active: 3046160 kB Inactive: 3208128 kB Active(anon): 4188 kB Inactive(anon): 89852 kB Active(file): 3041972 kB Inactive(file): 3118276 kB Unevictable: 108772 kB Mlocked: 108772 kB SwapTotal: 67108860 kB SwapFree: 66966880 kB Dirty: 26120 kB Writeback: 0 kB AnonPages: 125432 kB Mapped: 57212 kB Shmem: 48848 kB Slab: 362856 kB SReclaimable: 333780 kB SUnreclaim: 29076 kB KernelStack: 3744 kB PageTables: 4932 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514148 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 79872 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /var/tmp at the end= 13484 MiB End job on node145 at 2019-09-24 20:01:14