Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | OPT | 34 | 6.6123199 | 1.3452801 |
Name | GolombRuler/GolombRuler-a3-s1/ GolombRuler-08-a3.xml |
MD5SUM | 86f9a0f9696ddea7c71528c4cbe59182 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 34 |
Best CPU time to get the best result obtained on this benchmark | 0.33681199 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 72 |
Number of constraints | 31 |
Number of domains | 2 |
Minimum domain size | 500 |
Maximum domain size | 501 |
Distribution of domain sizes | [{"size":500,"count":28},{"size":501,"count":8}] |
Minimum variable degree | 0 |
Maximum variable degree | 9 |
Distribution of variable degrees | [{"degree":0,"count":36},{"degree":2,"count":28},{"degree":8,"count":6},{"degree":9,"count":2}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 28 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":3,"count":28},{"arity":8,"count":1},{"arity":28,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 29 |
Distribution of constraint types | [{"type":"intension","count":29},{"type":"allDifferent","count":1},{"type":"ordered","count":1}] |
Optimization problem | YES |
Type of objective | min VAR |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271532-1502642304.xml" -tl '2016s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4271532-1502642304.xml, -tl, 2016s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 1.01/0.56 c solve instance... 1.46/0.67 o 44 1.46/0.69 o 41 1.95/0.70 o 40 1.95/0.72 o 39 1.95/0.72 o 38 1.95/0.78 o 36 1.95/0.79 o 34 6.51/1.30 s OPTIMUM FOUND 6.51/1.30 v <instantiation> 6.51/1.30 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[3][4] y[3][5] y[3][6] y[3][7] y[4][5] y[4][6] y[4][7] y[5][6] y[5][7] y[6][7] </list> 6.51/1.30 v <values>0 1 4 9 15 22 32 34 1 4 9 15 22 32 34 3 8 14 21 31 33 5 11 18 28 30 6 13 23 25 7 17 19 10 12 2 </values> 6.51/1.30 v </instantiation>
OK 34
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 (12301 MiB free) memory of node 1: 16384 MiB (13585 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271532-1502642304/watcher-4271532-1502642304 -o /tmp/evaluation-result-4271532-1502642304/solver-4271532-1502642304 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node105-1502638143-6791 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 699678208 HOME/instance-4271532-1502642304.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=21939, runsolver pid=21936 Current StackSize limit: 8192 KiB [startup+0.100138 s]* /proc/loadavg: 6.20 6.85 6.61 2/200 21960 /proc/meminfo: memFree=26493616/32770624 swapFree=67108860/67108860 [pid=21939] ppid=21936 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/21939/stat : 21939 (xcsp3-exec) S 21936 21939 6764 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97302039 9740288 345 33554432000 4194304 5098028 140736454249488 140736454247592 140117525713532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11952128 140736454251627 140736454251836 140736454251836 140736454254571 0 /proc/21939/statm: 2378 345 289 221 0 87 0 [pid=21941] ppid=21939 vsize=25999808 memory=26208 CPUtime=0.11 cores=0-7 /proc/21941/stat : 21941 (java) S 21939 21939 6764 0 -1 1077944320 5483 0 0 0 10 1 0 0 20 0 20 0 97302039 26623803392 6552 33554432000 4194304 4196468 140732922560320 140732922542864 140599649410807 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 /proc/21941/statm: 6499952 6552 2847 1 0 6488269 0 [pid=21941/tid=21942] ppid=21939 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/21941/task/21942/stat : 21942 (java) R 21939 21939 6764 0 -1 4202560 3480 0 0 0 8 0 0 0 20 0 20 0 97302040 26623803392 6552 33554432000 4194304 4196468 140732922560320 140599653644080 140599649422742 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21943] ppid=21939 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/21941/task/21943/stat : 21943 (java) S 21939 21939 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97302040 26623803392 6552 33554432000 4194304 4196468 140732922560320 140599602031120 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21944] ppid=21939 vsize=25999808 memory=139630287386240 CPUtime=0 cores=0-7 /proc/21941/task/21944/stat : 21944 (java) S 21939 21939 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97302040 26623803392 6552 33554432000 4194304 4196468 140732922560320 140599600978576 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21945] ppid=21939 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21945/stat : 21945 (java) S 21939 21939 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97302040 26623803392 6552 33554432000 4194304 4196468 140732922560320 140599599925520 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21946] ppid=21939 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21946/stat : 21946 (java) S 21939 21939 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97302040 26623803392 6552 33554432000 4194304 4196468 140732922560320 140599598872976 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21947] ppid=21939 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21947/stat : 21947 (java) S 21939 21939 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97302040 26623803392 6552 33554432000 4194304 4196468 140732922560320 140599597820944 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21948] ppid=21939 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/21941/task/21948/stat : 21948 (java) S 21939 21939 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97302040 26623803392 6552 33554432000 4194304 4196468 140732922560320 140599596768400 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21949] ppid=21939 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21949/stat : 21949 (java) S 21939 21939 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97302041 26623803392 6552 33554432000 4194304 4196468 140732922560320 140599595715344 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21950] ppid=21939 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21950/stat : 21950 (java) S 21939 21939 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97302041 26623803392 6552 33554432000 4194304 4196468 140732922560320 140599594662800 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21951] ppid=21939 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21951/stat : 21951 (java) S 21939 21939 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97302042 26623803392 6552 33554432000 4194304 4196468 140732922560320 140599045191920 140599649421954 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21952] ppid=21939 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21952/stat : 21952 (java) S 21939 21939 6764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97302042 26623803392 6552 33554432000 4194304 4196468 140732922560320 140599044138144 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21953] ppid=21939 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21953/stat : 21953 (java) S 21939 21939 6764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97302043 26623803392 6552 33554432000 4194304 4196468 140732922560320 140598841434864 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21954] ppid=21939 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21954/stat : 21954 (java) S 21939 21939 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97302045 26623803392 6552 33554432000 4194304 4196468 140732922560320 140598840383440 140599649429403 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21955] ppid=21939 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21955/stat : 21955 (java) R 21939 21939 6764 0 -1 4202560 314 0 0 0 0 0 0 0 20 0 20 0 97302045 26623803392 6552 33554432000 4194304 4196468 140732922560320 140598839331568 140599649432154 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21956] ppid=21939 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21956/stat : 21956 (java) S 21939 21939 6764 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 97302045 26623803392 6552 33554432000 4194304 4196468 140732922560320 140598838279024 140599649421954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21957] ppid=21939 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21957/stat : 21957 (java) R 21939 21939 6764 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 97302045 26623803392 6552 33554432000 4194304 4196468 140732922560320 140598837225968 140599649421954 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21958] ppid=21939 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/21941/task/21958/stat : 21958 (java) S 21939 21939 6764 0 -1 1077944384 256 0 0 0 1 0 0 0 20 0 20 0 97302045 26623803392 6552 33554432000 4194304 4196468 140732922560320 140598836173424 140599649421954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21959] ppid=21939 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21959/stat : 21959 (java) S 21939 21939 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97302045 26623803392 6552 33554432000 4194304 4196468 140732922560320 140598835120608 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21960] ppid=21939 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/21941/task/21960/stat : 21960 (java) S 21939 21939 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97302045 26623803392 6552 33554432000 4194304 4196468 140732922560320 140598834068144 140599649421954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27588 KiB [startup+0.210435 s]* /proc/loadavg: 6.20 6.85 6.61 2/200 21960 /proc/meminfo: memFree=26481056/32770624 swapFree=67108860/67108860 [pid=21939] ppid=21936 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/21939/stat : 21939 (xcsp3-exec) S 21936 21939 6764 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97302039 9740288 345 33554432000 4194304 5098028 140736454249488 140736454247592 140117525713532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11952128 140736454251627 140736454251836 140736454251836 140736454254571 0 /proc/21939/statm: 2378 345 289 221 0 87 0 [pid=21941] ppid=21939 vsize=26004064 memory=39112 CPUtime=0.33 cores=0-7 /proc/21941/stat : 21941 (java) S 21939 21939 6764 0 -1 1077944320 8352 0 0 0 31 2 0 0 20 0 20 0 97302039 26628161536 9778 33554432000 4194304 4196468 140732922560320 140732922542864 140599649410807 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 /proc/21941/statm: 6501016 9778 3067 1 0 6488269 0 [pid=21941/tid=21942] ppid=21939 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/21941/task/21942/stat : 21942 (java) R 21939 21939 6764 0 -1 4202560 5412 0 0 0 19 1 0 0 20 0 20 0 97302040 26628161536 9798 33554432000 4194304 4196468 140732922560320 140599653612528 140599642090029 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21943] ppid=21939 vsize=26004096 memory=329 CPUtime=0 cores=0-7 /proc/21941/task/21943/stat : 21943 (java) S 21939 21939 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97302040 26628194304 9798 33554432000 4194304 4196468 140732922560320 140599602031120 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21944] ppid=21939 vsize=26004064 memory=139630287405965 CPUtime=0 cores=0-7 /proc/21941/task/21944/stat : 21944 (java) S 21939 21939 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97302040 26628161536 9798 33554432000 4194304 4196468 140732922560320 140599600978576 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21945] ppid=21939 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/21941/task/21945/stat : 21945 (java) S 21939 21939 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97302040 26628161536 9798 33554432000 4194304 4196468 140732922560320 140599599925520 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21946] ppid=21939 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21946/stat : 21946 (java) S 21939 21939 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97302040 26628161536 9798 33554432000 4194304 4196468 140732922560320 140599598872976 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21947] ppid=21939 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21947/stat : 21947 (java) S 21939 21939 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97302040 26628161536 9798 33554432000 4194304 4196468 140732922560320 140599597820944 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21948] ppid=21939 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/21941/task/21948/stat : 21948 (java) S 21939 21939 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97302040 26628161536 9798 33554432000 4194304 4196468 140732922560320 140599596768400 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21949] ppid=21939 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21949/stat : 21949 (java) S 21939 21939 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97302041 26628161536 9798 33554432000 4194304 4196468 140732922560320 140599595715344 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21950] ppid=21939 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21950/stat : 21950 (java) S 21939 21939 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97302041 26628194304 9798 33554432000 4194304 4196468 140732922560320 140599594662800 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21951] ppid=21939 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21951/stat : 21951 (java) S 21939 21939 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97302042 26628194304 9798 33554432000 4194304 4196468 140732922560320 140599045191920 140599649421954 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21952] ppid=21939 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21952/stat : 21952 (java) S 21939 21939 6764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97302042 26628161536 9798 33554432000 4194304 4196468 140732922560320 140599044138144 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21953] ppid=21939 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21953/stat : 21953 (java) S 21939 21939 6764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97302043 26628161536 9798 33554432000 4194304 4196468 140732922560320 140598841434864 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21954] ppid=21939 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21954/stat : 21954 (java) S 21939 21939 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97302045 26628161536 9798 33554432000 4194304 4196468 140732922560320 140598840383440 140599649429403 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21955] ppid=21939 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/21941/task/21955/stat : 21955 (java) S 21939 21939 6764 0 -1 1077944384 555 0 0 0 1 0 0 0 20 0 20 0 97302045 26628161536 9798 33554432000 4194304 4196468 140732922560320 140598839331568 140599649421954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21956] ppid=21939 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/21941/task/21956/stat : 21956 (java) S 21939 21939 6764 0 -1 1077944384 212 0 0 0 1 0 0 0 20 0 20 0 97302045 26628161536 9798 33554432000 4194304 4196468 140732922560320 140598838279024 140599649421954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21957] ppid=21939 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/21941/task/21957/stat : 21957 (java) S 21939 21939 6764 0 -1 1077944384 129 0 0 0 1 0 0 0 20 0 20 0 97302045 26628161536 9798 33554432000 4194304 4196468 140732922560320 140598837225968 140599649421954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21958] ppid=21939 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/21941/task/21958/stat : 21958 (java) S 21939 21939 6764 0 -1 1077944384 742 0 0 0 7 0 0 0 20 0 20 0 97302045 26628161536 9798 33554432000 4194304 4196468 140732922560320 140598836173424 140599649421954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21959] ppid=21939 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21959/stat : 21959 (java) S 21939 21939 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97302045 26628161536 9798 33554432000 4194304 4196468 140732922560320 140598835120608 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21960] ppid=21939 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/21941/task/21960/stat : 21960 (java) S 21939 21939 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97302045 26628161536 9798 33554432000 4194304 4196468 140732922560320 140598834068144 140599649421954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40492 KiB [startup+0.310373 s]* /proc/loadavg: 6.20 6.85 6.61 5/200 21960 /proc/meminfo: memFree=26474576/32770624 swapFree=67108860/67108860 [pid=21939] ppid=21936 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/21939/stat : 21939 (xcsp3-exec) S 21936 21939 6764 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97302039 9740288 345 33554432000 4194304 5098028 140736454249488 140736454247592 140117525713532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11952128 140736454251627 140736454251836 140736454251836 140736454254571 0 /proc/21939/statm: 2378 345 289 221 0 87 0 [pid=21941] ppid=21939 vsize=26004140 memory=46144 CPUtime=0.49 cores=0-7 /proc/21941/stat : 21941 (java) S 21939 21939 6764 0 -1 1077944320 9274 0 0 0 46 3 0 0 20 0 20 0 97302039 26628239360 11536 33554432000 4194304 4196468 140732922560320 140732922542864 140599649410807 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 /proc/21941/statm: 6501035 11536 3090 1 0 6488269 0 [pid=21941/tid=21942] ppid=21939 vsize=26004140 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/21941/task/21942/stat : 21942 (java) R 21939 21939 6764 0 -1 4202560 6190 0 0 0 28 1 0 0 20 0 20 0 97302040 26628239360 11536 33554432000 4194304 4196468 140732922560320 140599653643168 140599633491294 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21943] ppid=21939 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21943/stat : 21943 (java) S 21939 21939 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97302040 26628239360 11536 33554432000 4194304 4196468 140732922560320 140599602031120 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21944] ppid=21939 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21944/stat : 21944 (java) S 21939 21939 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97302040 26628239360 11536 33554432000 4194304 4196468 140732922560320 140599600978576 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21945] ppid=21939 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21945/stat : 21945 (java) S 21939 21939 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97302040 26628239360 11536 33554432000 4194304 4196468 140732922560320 140599599925520 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21946] ppid=21939 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21946/stat : 21946 (java) S 21939 21939 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97302040 26628239360 11536 33554432000 4194304 4196468 140732922560320 140599598872976 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21947] ppid=21939 vsize=26004140 memory=2244 CPUtime=0 cores=0-7 /proc/21941/task/21947/stat : 21947 (java) S 21939 21939 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97302040 26628239360 11536 33554432000 4194304 4196468 140732922560320 140599597820944 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21948] ppid=21939 vsize=26004140 memory=139630125085615 CPUtime=0 cores=0-7 /proc/21941/task/21948/stat : 21948 (java) S 21939 21939 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97302040 26628239360 11536 33554432000 4194304 4196468 140732922560320 140599596768400 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21949] ppid=21939 vsize=26004140 memory=139630125087920 CPUtime=0 cores=0-7 /proc/21941/task/21949/stat : 21949 (java) S 21939 21939 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97302041 26628239360 11536 33554432000 4194304 4196468 140732922560320 140599595715344 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21950] ppid=21939 vsize=26004140 memory=139630125090224 CPUtime=0 cores=0-7 /proc/21941/task/21950/stat : 21950 (java) S 21939 21939 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97302041 26628239360 11536 33554432000 4194304 4196468 140732922560320 140599594662800 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21951] ppid=21939 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21951/stat : 21951 (java) S 21939 21939 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97302042 26628239360 11536 33554432000 4194304 4196468 140732922560320 140599045191920 140599649421954 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21952] ppid=21939 vsize=26004140 memory=279260250187408 CPUtime=0 cores=0-7 /proc/21941/task/21952/stat : 21952 (java) S 21939 21939 6764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97302042 26628239360 11536 33554432000 4194304 4196468 140732922560320 140599044138144 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21953] ppid=21939 vsize=26004140 memory=279260250194320 CPUtime=0 cores=0-7 /proc/21941/task/21953/stat : 21953 (java) S 21939 21939 6764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97302043 26628239360 11536 33554432000 4194304 4196468 140732922560320 140598841434864 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21954] ppid=21939 vsize=26004140 memory=279260250135600 CPUtime=0 cores=0-7 /proc/21941/task/21954/stat : 21954 (java) S 21939 21939 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97302045 26628239360 11536 33554432000 4194304 4196468 140732922560320 140598840383440 140599649429403 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21955] ppid=21939 vsize=26004140 memory=279260250208144 CPUtime=0.01 cores=0-7 /proc/21941/task/21955/stat : 21955 (java) S 21939 21939 6764 0 -1 1077944384 555 0 0 0 1 0 0 0 20 0 20 0 97302045 26628239360 11536 33554432000 4194304 4196468 140732922560320 140598839331568 140599649421954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21956] ppid=21939 vsize=26004140 memory=279260250215056 CPUtime=0.02 cores=0-7 /proc/21941/task/21956/stat : 21956 (java) S 21939 21939 6764 0 -1 1077944384 246 0 0 0 2 0 0 0 20 0 20 0 97302045 26628239360 11536 33554432000 4194304 4196468 140732922560320 140598838279024 140599649421954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21957] ppid=21939 vsize=26004140 memory=279260250212752 CPUtime=0.02 cores=0-7 /proc/21941/task/21957/stat : 21957 (java) S 21939 21939 6764 0 -1 1077944384 165 0 0 0 2 0 0 0 20 0 20 0 97302045 26628239360 11536 33554432000 4194304 4196468 140732922560320 140598837225968 140599649421954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21958] ppid=21939 vsize=26004140 memory=279260250228912 CPUtime=0.11 cores=0-7 /proc/21941/task/21958/stat : 21958 (java) R 21939 21939 6764 0 -1 4202560 813 0 0 0 11 0 0 0 20 0 20 0 97302045 26628239360 11536 33554432000 4194304 4196468 140732922560320 140598836173424 140599633491294 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21959] ppid=21939 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21959/stat : 21959 (java) S 21939 21939 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97302045 26628239360 11536 33554432000 4194304 4196468 140732922560320 140598835120608 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21960] ppid=21939 vsize=26004140 memory=-1 CPUtime=0 cores=0-7 /proc/21941/task/21960/stat : 21960 (java) S 21939 21939 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97302045 26628239360 11536 33554432000 4194304 4196468 140732922560320 140598834068144 140599649421954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 Current children cumulated CPU time: 0.49 s Current children cumulated vsize: 26013652 KiB Current children cumulated memory: 47524 KiB [startup+0.700907 s] /proc/loadavg: 6.20 6.85 6.61 4/200 21960 /proc/meminfo: memFree=26456776/32770624 swapFree=67108860/67108860 [pid=21939] ppid=21936 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/21939/stat : 21939 (xcsp3-exec) S 21936 21939 6764 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97302039 9740288 345 33554432000 4194304 5098028 140736454249488 140736454247592 140117525713532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11952128 140736454251627 140736454251836 140736454251836 140736454254571 0 /proc/21939/statm: 2378 345 289 221 0 87 0 [pid=21941] ppid=21939 vsize=26538700 memory=116364 CPUtime=1.95 cores=0-7 /proc/21941/stat : 21941 (java) S 21939 21939 6764 0 -1 1077944320 13509 0 0 0 188 7 0 0 20 0 24 0 97302039 27175628800 29091 33554432000 4194304 4196468 140732922560320 140732922542864 140599649410807 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 /proc/21941/statm: 6634675 29091 3206 1 0 6621909 0 [pid=21941/tid=21942] ppid=21939 vsize=26538700 memory=279260250586800 CPUtime=0.54 cores=0-7 /proc/21941/task/21942/stat : 21942 (java) S 21939 21939 6764 0 -1 1077944384 6843 0 0 0 52 2 0 0 20 0 24 0 97302040 27175628800 29603 33554432000 4194304 4196468 140732922560320 140599653651584 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21943] ppid=21939 vsize=26538700 memory=139630125294448 CPUtime=0 cores=0-7 /proc/21941/task/21943/stat : 21943 (java) S 21939 21939 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 97302040 27175628800 29603 33554432000 4194304 4196468 140732922560320 140599602031120 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21944] ppid=21939 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21944/stat : 21944 (java) S 21939 21939 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 97302040 27175628800 29603 33554432000 4194304 4196468 140732922560320 140599600978576 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21945] ppid=21939 vsize=26538700 memory=1428 CPUtime=0 cores=0-7 /proc/21941/task/21945/stat : 21945 (java) S 21939 21939 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 97302040 27175628800 29603 33554432000 4194304 4196468 140732922560320 140599599925520 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 ################ # More data... # ################ [pid=21941/tid=21950] ppid=21939 vsize=26606292 memory=-9178176117318312558 CPUtime=0 cores=0-7 /proc/21941/task/21950/stat : 21950 (java) S 21939 21939 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97302041 27244843008 45019 33554432000 4194304 4196468 140732922560320 140599594662800 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21951] ppid=21939 vsize=26606292 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21951/stat : 21951 (java) S 21939 21939 6764 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 97302042 27244843008 45019 33554432000 4194304 4196468 140732922560320 140599045191920 140599649421954 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21952] ppid=21939 vsize=26606292 memory=1728 CPUtime=0 cores=0-7 /proc/21941/task/21952/stat : 21952 (java) S 21939 21939 6764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 97302042 27244843008 45019 33554432000 4194304 4196468 140732922560320 140599044138144 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21953] ppid=21939 vsize=26606292 memory=12032 CPUtime=0 cores=0-7 /proc/21941/task/21953/stat : 21953 (java) S 21939 21939 6764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 97302043 27244843008 45019 33554432000 4194304 4196468 140732922560320 140598841434864 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21954] ppid=21939 vsize=26606292 memory=1708 CPUtime=0 cores=0-7 /proc/21941/task/21954/stat : 21954 (java) S 21939 21939 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97302045 27244843008 45019 33554432000 4194304 4196468 140732922560320 140598840383440 140599649429403 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21955] ppid=21939 vsize=26606292 memory=1012 CPUtime=0.17 cores=0-7 /proc/21941/task/21955/stat : 21955 (java) R 21939 21939 6764 0 -1 4202560 1776 0 0 0 17 0 0 0 20 0 28 0 97302045 27244843008 45019 33554432000 4194304 4196468 140732922560320 140598839317320 140599630956029 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21956] ppid=21939 vsize=26606292 memory=796 CPUtime=0.28 cores=0-7 /proc/21941/task/21956/stat : 21956 (java) R 21939 21939 6764 0 -1 4202560 1250 0 0 0 28 0 0 0 20 0 28 0 97302045 27244843008 45019 33554432000 4194304 4196468 140732922560320 140598838271512 140599628662321 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21957] ppid=21939 vsize=26606292 memory=1228 CPUtime=0.22 cores=0-7 /proc/21941/task/21957/stat : 21957 (java) R 21939 21939 6764 0 -1 4202560 1128 0 0 0 22 0 0 0 20 0 28 0 97302045 27244843008 45019 33554432000 4194304 4196468 140732922560320 140598837206984 140599630934670 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21958] ppid=21939 vsize=26606292 memory=5300 CPUtime=0.38 cores=0-7 /proc/21941/task/21958/stat : 21958 (java) R 21939 21939 6764 0 -1 4202560 2074 0 0 0 38 0 0 0 20 0 28 0 97302045 27244843008 45019 33554432000 4194304 4196468 140732922560320 140598836170360 140599633573584 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21959] ppid=21939 vsize=26606292 memory=4616 CPUtime=0 cores=0-7 /proc/21941/task/21959/stat : 21959 (java) S 21939 21939 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97302045 27244843008 45019 33554432000 4194304 4196468 140732922560320 140598835120608 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21960] ppid=21939 vsize=26606292 memory=1928 CPUtime=0 cores=0-7 /proc/21941/task/21960/stat : 21960 (java) S 21939 21939 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97302045 27244843008 45019 33554432000 4194304 4196468 140732922560320 140598834068144 140599649421954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 Current children cumulated CPU time: 2.69 s Current children cumulated vsize: 26615804 KiB Current children cumulated memory: 181456 KiB [startup+1.20182 s] /proc/loadavg: 6.20 6.85 6.61 13/208 22024 /proc/meminfo: memFree=26327224/32770624 swapFree=67108860/67108860 [pid=21939] ppid=21936 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/21939/stat : 21939 (xcsp3-exec) S 21936 21939 6764 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97302039 9740288 345 33554432000 4194304 5098028 140736454249488 140736454247592 140117525713532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11952128 140736454251627 140736454251836 140736454251836 140736454254571 0 /proc/21939/statm: 2378 345 289 221 0 87 0 [pid=21941] ppid=21939 vsize=26606292 memory=192188 CPUtime=5.72 cores=0-7 /proc/21941/stat : 21941 (java) S 21939 21939 6764 0 -1 1077944320 18998 0 0 0 563 9 0 0 20 0 28 0 97302039 27244843008 48047 33554432000 4194304 4196468 140732922560320 140732922542864 140599649410807 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 /proc/21941/statm: 6651573 48047 3246 1 0 6638807 0 [pid=21941/tid=21942] ppid=21939 vsize=26606292 memory=0 CPUtime=0.55 cores=0-7 /proc/21941/task/21942/stat : 21942 (java) S 21939 21939 6764 0 -1 1077944384 6845 0 0 0 52 3 0 0 20 0 28 0 97302040 27244843008 48047 33554432000 4194304 4196468 140732922560320 140599653651584 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21943] ppid=21939 vsize=26606292 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21943/stat : 21943 (java) S 21939 21939 6764 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 97302040 27244843008 48047 33554432000 4194304 4196468 140732922560320 140599602031120 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21944] ppid=21939 vsize=26606292 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/21941/task/21944/stat : 21944 (java) S 21939 21939 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97302040 27244843008 48047 33554432000 4194304 4196468 140732922560320 140599600978576 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21945] ppid=21939 vsize=26606292 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21945/stat : 21945 (java) S 21939 21939 6764 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 97302040 27244843008 48047 33554432000 4194304 4196468 140732922560320 140599599925520 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21946] ppid=21939 vsize=26606292 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21946/stat : 21946 (java) S 21939 21939 6764 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 97302040 27244843008 48047 33554432000 4194304 4196468 140732922560320 140599598872976 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21947] ppid=21939 vsize=26606292 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21947/stat : 21947 (java) S 21939 21939 6764 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 97302040 27244843008 48047 33554432000 4194304 4196468 140732922560320 140599597820944 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21948] ppid=21939 vsize=26606292 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21948/stat : 21948 (java) S 21939 21939 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97302040 27244843008 48047 33554432000 4194304 4196468 140732922560320 140599596768400 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21949] ppid=21939 vsize=26606292 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21949/stat : 21949 (java) S 21939 21939 6764 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 97302041 27244843008 48047 33554432000 4194304 4196468 140732922560320 140599595715344 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21950] ppid=21939 vsize=26606292 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21950/stat : 21950 (java) S 21939 21939 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97302041 27244843008 48047 33554432000 4194304 4196468 140732922560320 140599594662800 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21951] ppid=21939 vsize=26606292 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21951/stat : 21951 (java) S 21939 21939 6764 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 97302042 27244843008 48047 33554432000 4194304 4196468 140732922560320 140599045191920 140599649421954 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21952] ppid=21939 vsize=26606292 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21952/stat : 21952 (java) S 21939 21939 6764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 97302042 27244843008 48047 33554432000 4194304 4196468 140732922560320 140599044138144 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21953] ppid=21939 vsize=26606292 memory=302304323327754266 CPUtime=0 cores=0-7 /proc/21941/task/21953/stat : 21953 (java) S 21939 21939 6764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 97302043 27244843008 48047 33554432000 4194304 4196468 140732922560320 140598841434864 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21954] ppid=21939 vsize=26606292 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21954/stat : 21954 (java) S 21939 21939 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97302045 27244843008 48047 33554432000 4194304 4196468 140732922560320 140598840383440 140599649429403 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21955] ppid=21939 vsize=26606292 memory=7594851732935962962 CPUtime=0.49 cores=0-7 /proc/21941/task/21955/stat : 21955 (java) R 21939 21939 6764 0 -1 4202560 2134 0 0 0 49 0 0 0 20 0 28 0 97302045 27244843008 48047 33554432000 4194304 4196468 140732922560320 140598839316912 140599629096747 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21956] ppid=21939 vsize=26606292 memory=1 CPUtime=0.67 cores=0-7 /proc/21941/task/21956/stat : 21956 (java) R 21939 21939 6764 0 -1 4202560 2753 0 0 0 66 1 0 0 20 0 28 0 97302045 27244843008 48047 33554432000 4194304 4196468 140732922560320 140598838271144 140599630111410 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21957] ppid=21939 vsize=26606292 memory=0 CPUtime=0.52 cores=0-7 /proc/21941/task/21957/stat : 21957 (java) R 21939 21939 6764 0 -1 4202560 2085 0 0 0 52 0 0 0 20 0 28 0 97302045 27244843008 48047 33554432000 4194304 4196468 140732922560320 140598837214640 140599635092246 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21958] ppid=21939 vsize=26606292 memory=6656426216303648864 CPUtime=0.44 cores=0-7 /proc/21941/task/21958/stat : 21958 (java) R 21939 21939 6764 0 -1 4202560 2283 0 0 0 44 0 0 0 20 0 28 0 97302045 27244843008 48047 33554432000 4194304 4196468 140732922560320 140598836170360 140599628368684 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21959] ppid=21939 vsize=26606292 memory=2338 CPUtime=0 cores=0-7 /proc/21941/task/21959/stat : 21959 (java) S 21939 21939 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97302045 27244843008 48047 33554432000 4194304 4196468 140732922560320 140598835120608 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21960] ppid=21939 vsize=26606292 memory=414 CPUtime=0 cores=0-7 /proc/21941/task/21960/stat : 21960 (java) S 21939 21939 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97302045 27244843008 48047 33554432000 4194304 4196468 140732922560320 140598834068144 140599649421954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=22017] ppid=21939 vsize=26606292 memory=121 CPUtime=0.22 cores=0-7 /proc/21941/task/22017/stat : 22017 (java) R 21939 21939 6764 0 -1 4202560 22 0 0 0 22 0 0 0 20 0 28 0 97302119 27244843008 48047 33554432000 4194304 4196468 140732922560320 140598816584336 140599264885404 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=22018] ppid=21939 vsize=26606292 memory=0 CPUtime=0.25 cores=0-7 /proc/21941/task/22018/stat : 22018 (java) R 21939 21939 6764 0 -1 4202560 19 0 0 0 25 0 0 0 20 0 28 0 97302119 27244843008 48047 33554432000 4194304 4196468 140732922560320 140598817633472 140599261009421 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=22019] ppid=21939 vsize=26606292 memory=246 CPUtime=0.3 cores=0-7 /proc/21941/task/22019/stat : 22019 (java) R 21939 21939 6764 0 -1 4202560 17 0 0 0 30 0 0 0 20 0 28 0 97302119 27244843008 48047 33554432000 4194304 4196468 140732922560320 140598818689904 140599265673771 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=22020] ppid=21939 vsize=26606292 memory=51 CPUtime=0.19 cores=0-7 /proc/21941/task/22020/stat : 22020 (java) R 21939 21939 6764 0 -1 4202560 19 0 0 0 19 0 0 0 20 0 28 0 97302119 27244843008 48047 33554432000 4194304 4196468 140732922560320 140598823954184 140599261011917 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=22021] ppid=21939 vsize=26606292 memory=56 CPUtime=0.22 cores=0-7 /proc/21941/task/22021/stat : 22021 (java) R 21939 21939 6764 0 -1 4202560 50 0 0 0 22 0 0 0 20 0 28 0 97302119 27244843008 48047 33554432000 4194304 4196468 140732922560320 140598820796216 140599260949766 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=22022] ppid=21939 vsize=26606292 memory=7005 CPUtime=0.35 cores=0-7 /proc/21941/task/22022/stat : 22022 (java) R 21939 21939 6764 0 -1 4202560 19 0 0 0 35 0 0 0 20 0 28 0 97302119 27244843008 48047 33554432000 4194304 4196468 140732922560320 140598821848128 140599260997571 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=22023] ppid=21939 vsize=26606292 memory=0 CPUtime=0.19 cores=0-7 /proc/21941/task/22023/stat : 22023 (java) R 21939 21939 6764 0 -1 4202560 19 0 0 0 19 0 0 0 20 0 28 0 97302119 27244843008 48047 33554432000 4194304 4196468 140732922560320 140598819745336 140599261009391 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=22024] ppid=21939 vsize=26606292 memory=0 CPUtime=0.28 cores=0-7 /proc/21941/task/22024/stat : 22024 (java) R 21939 21939 6764 0 -1 4202560 18 0 0 0 28 0 0 0 20 0 28 0 97302119 27244843008 48047 33554432000 4194304 4196468 140732922560320 140598825007848 140599265300589 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 Current children cumulated CPU time: 5.72 s Current children cumulated vsize: 26615804 KiB Current children cumulated memory: 193568 KiB [startup+1.30113 s] /proc/loadavg: 6.20 6.85 6.61 13/208 22024 /proc/meminfo: memFree=26327224/32770624 swapFree=67108860/67108860 [pid=21939] ppid=21936 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/21939/stat : 21939 (xcsp3-exec) S 21936 21939 6764 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97302039 9740288 345 33554432000 4194304 5098028 140736454249488 140736454247592 140117525713532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11952128 140736454251627 140736454251836 140736454251836 140736454254571 0 /proc/21939/statm: 2378 345 289 221 0 87 0 [pid=21941] ppid=21939 vsize=26606292 memory=193412 CPUtime=6.51 cores=0-7 /proc/21941/stat : 21941 (java) S 21939 21939 6764 0 -1 1077944320 19274 0 0 0 642 9 0 0 20 0 28 0 97302039 27244843008 48353 33554432000 4194304 4196468 140732922560320 140732922542864 140599649410807 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 /proc/21941/statm: 6651573 48353 3246 1 0 6638807 0 [pid=21941/tid=21942] ppid=21939 vsize=26606292 memory=191800 CPUtime=0.55 cores=0-7 /proc/21941/task/21942/stat : 21942 (java) S 21939 21939 6764 0 -1 1077944384 6845 0 0 0 52 3 0 0 20 0 28 0 97302040 27244843008 48353 33554432000 4194304 4196468 140732922560320 140599653651584 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21943] ppid=21939 vsize=26606292 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21943/stat : 21943 (java) S 21939 21939 6764 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 97302040 27244843008 48353 33554432000 4194304 4196468 140732922560320 140599602031120 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21944] ppid=21939 vsize=26606292 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21944/stat : 21944 (java) S 21939 21939 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97302040 27244843008 48353 33554432000 4194304 4196468 140732922560320 140599600978576 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21945] ppid=21939 vsize=26606292 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21945/stat : 21945 (java) S 21939 21939 6764 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 97302040 27244843008 48353 33554432000 4194304 4196468 140732922560320 140599599925520 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21946] ppid=21939 vsize=26606292 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21946/stat : 21946 (java) S 21939 21939 6764 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 97302040 27244843008 48353 33554432000 4194304 4196468 140732922560320 140599598872976 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21947] ppid=21939 vsize=26606292 memory=1380 CPUtime=0 cores=0-7 /proc/21941/task/21947/stat : 21947 (java) S 21939 21939 6764 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 97302040 27244843008 48353 33554432000 4194304 4196468 140732922560320 140599597820944 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21948] ppid=21939 vsize=26606292 memory=116364 CPUtime=0 cores=0-7 /proc/21941/task/21948/stat : 21948 (java) S 21939 21939 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97302040 27244843008 48353 33554432000 4194304 4196468 140732922560320 140599596768400 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21949] ppid=21939 vsize=26606292 memory=279260250586800 CPUtime=0 cores=0-7 /proc/21941/task/21949/stat : 21949 (java) S 21939 21939 6764 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 97302041 27244843008 48353 33554432000 4194304 4196468 140732922560320 140599595715344 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21950] ppid=21939 vsize=26606292 memory=139630125294448 CPUtime=0 cores=0-7 /proc/21941/task/21950/stat : 21950 (java) S 21939 21939 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97302041 27244843008 48353 33554432000 4194304 4196468 140732922560320 140599594662800 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21951] ppid=21939 vsize=26606292 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21951/stat : 21951 (java) S 21939 21939 6764 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 97302042 27244843008 48353 33554432000 4194304 4196468 140732922560320 140599045191920 140599649421954 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21952] ppid=21939 vsize=26606292 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21952/stat : 21952 (java) S 21939 21939 6764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 97302042 27244843008 48353 33554432000 4194304 4196468 140732922560320 140599044138144 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21953] ppid=21939 vsize=26606292 memory=94227287550838 CPUtime=0 cores=0-7 /proc/21941/task/21953/stat : 21953 (java) S 21939 21939 6764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 97302043 27244843008 48353 33554432000 4194304 4196468 140732922560320 140598841434864 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21954] ppid=21939 vsize=26606292 memory=94227287550839 CPUtime=0 cores=0-7 /proc/21941/task/21954/stat : 21954 (java) S 21939 21939 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97302045 27244843008 48353 33554432000 4194304 4196468 140732922560320 140598840383440 140599649429403 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21955] ppid=21939 vsize=26606292 memory=94227287550840 CPUtime=0.57 cores=0-7 /proc/21941/task/21955/stat : 21955 (java) R 21939 21939 6764 0 -1 4202560 2148 0 0 0 57 0 0 0 20 0 28 0 97302045 27244843008 48353 33554432000 4194304 4196468 140732922560320 140598839324672 140599632903229 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21956] ppid=21939 vsize=26606292 memory=94227287550841 CPUtime=0.77 cores=0-7 /proc/21941/task/21956/stat : 21956 (java) R 21939 21939 6764 0 -1 4202560 2764 0 0 0 76 1 0 0 20 0 28 0 97302045 27244843008 48353 33554432000 4194304 4196468 140732922560320 140598838271512 140599630931701 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21957] ppid=21939 vsize=26606292 memory=94227287550842 CPUtime=0.59 cores=0-7 /proc/21941/task/21957/stat : 21957 (java) R 21939 21939 6764 0 -1 4202560 2303 0 0 0 59 0 0 0 20 0 28 0 97302045 27244843008 48353 33554432000 4194304 4196468 140732922560320 140598837211792 140599632798029 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21958] ppid=21939 vsize=26606292 memory=94227287550843 CPUtime=0.45 cores=0-7 /proc/21941/task/21958/stat : 21958 (java) S 21939 21939 6764 0 -1 1077944384 2315 0 0 0 45 0 0 0 20 0 28 0 97302045 27244843008 48353 33554432000 4194304 4196468 140732922560320 140598836173424 140599649421954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21959] ppid=21939 vsize=26606292 memory=0 CPUtime=0 cores=0-7 /proc/21941/task/21959/stat : 21959 (java) S 21939 21939 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97302045 27244843008 48353 33554432000 4194304 4196468 140732922560320 140598835120608 140599649421013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=21960] ppid=21939 vsize=26606292 memory=6943526294502006880 CPUtime=0 cores=0-7 /proc/21941/task/21960/stat : 21960 (java) S 21939 21939 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97302045 27244843008 48353 33554432000 4194304 4196468 140732922560320 140598834068144 140599649421954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=22017] ppid=21939 vsize=26606292 memory=6944652177228980320 CPUtime=0.26 cores=0-7 /proc/21941/task/22017/stat : 22017 (java) R 21939 21939 6764 0 -1 4202560 22 0 0 0 26 0 0 0 20 0 28 0 97302119 27244843008 48353 33554432000 4194304 4196468 140732922560320 140598816584520 140599265063849 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=22018] ppid=21939 vsize=26606292 memory=6944656592455097440 CPUtime=0.3 cores=0-7 /proc/21941/task/22018/stat : 22018 (java) R 21939 21939 6764 0 -1 4202560 19 0 0 0 30 0 0 0 20 0 28 0 97302119 27244843008 48353 33554432000 4194304 4196468 140732922560320 140598817635192 140599261008540 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=22019] ppid=21939 vsize=26606292 memory=6944656592455359580 CPUtime=0.38 cores=0-7 /proc/21941/task/22019/stat : 22019 (java) R 21939 21939 6764 0 -1 4202560 17 0 0 0 38 0 0 0 20 0 28 0 97302119 27244843008 48353 33554432000 4194304 4196468 140732922560320 140598818689736 140599649422742 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=22020] ppid=21939 vsize=26606292 memory=6656426216303648864 CPUtime=0.26 cores=0-7 /proc/21941/task/22020/stat : 22020 (java) R 21939 21939 6764 0 -1 1077944384 19 0 0 0 26 0 0 0 20 0 28 0 97302119 27244843008 48353 33554432000 4194304 4196468 140732922560320 140598823952256 140599649421013 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=22021] ppid=21939 vsize=26606292 memory=6944652177228980320 CPUtime=0.28 cores=0-7 /proc/21941/task/22021/stat : 22021 (java) R 21939 21939 6764 0 -1 4202560 51 0 0 0 28 0 0 0 20 0 28 0 97302119 27244843008 48353 33554432000 4194304 4196468 140732922560320 140598820796216 140599266099321 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=22022] ppid=21939 vsize=26606292 memory=6944656592455360604 CPUtime=0.45 cores=0-7 /proc/21941/task/22022/stat : 22022 (java) R 21939 21939 6764 0 -1 4202560 19 0 0 0 45 0 0 0 20 0 28 0 97302119 27244843008 48353 33554432000 4194304 4196468 140732922560320 140598821843424 140599265063806 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=22023] ppid=21939 vsize=26606292 memory=7597132098393106257 CPUtime=0.25 cores=0-7 /proc/21941/task/22023/stat : 22023 (java) R 21939 21939 6764 0 -1 4202560 19 0 0 0 25 0 0 0 20 0 28 0 97302119 27244843008 48353 33554432000 4194304 4196468 140732922560320 140598819745336 140599265060699 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 [pid=21941/tid=22024] ppid=21939 vsize=26606292 memory=26721105437 CPUtime=0.35 cores=0-7 /proc/21941/task/22024/stat : 22024 (java) R 21939 21939 6764 0 -1 4202560 18 0 0 0 35 0 0 0 20 0 28 0 97302119 27244843008 48353 33554432000 4194304 4196468 140732922560320 140598825003200 140599265063451 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25907200 140732922565784 140732922565960 140732922565960 140732922568655 0 Current children cumulated CPU time: 6.51 s Current children cumulated vsize: 26615804 KiB Current children cumulated memory: 194792 KiB Child status: 0 Real time (s): 1.34528 CPU time (s): 6.61232 CPU user time (s): 6.51099 CPU system time (s): 0.101327 CPU usage (%): 491.518 Max. virtual memory (cumulated for all children) (KiB): 26615804 Max. memory (cumulated for all children) (KiB): 194792 getrusage(RUSAGE_CHILDREN,...) data: user time used= 6.51099 system time used= 0.101327 maximum resident set size= 195800 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 20138 page faults= 0 swaps= 0 block input operations= 0 block output operations= 72 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3657 involuntary context switches= 256 # summary of solver processes directly reported to runsolver: # pid: 21939 # total CPU time (s): 6.61232 # total CPU user time (s): 6.51099 # total CPU system time (s): 0.101327 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.031256 second user time and 0.059386 second system time The end
Begin job on node105 at 2017-08-13 18:24:06 IDJOB=4271532 IDBENCH=126212 IDSOLVER=2663 FILE ID=node105/4271532-1502642304 RUNJOBID= node105-1502638143-6791 PBS_JOBID= 20628331 Free space on /tmp= 60664 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-08-a3.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-4271532-1502642304/watcher-4271532-1502642304 -o /tmp/evaluation-result-4271532-1502642304/solver-4271532-1502642304 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node105-1502638143-6791 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 699678208 HOME/instance-4271532-1502642304.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 86f9a0f9696ddea7c71528c4cbe59182 RANDOM SEED=699678208 node105.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.17 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.17 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.17 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.17 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: 26509808 kB MemAvailable: 31974228 kB Buffers: 175956 kB Cached: 5563980 kB SwapCached: 0 kB Active: 720484 kB Inactive: 5075472 kB Active(anon): 59136 kB Inactive(anon): 25060 kB Active(file): 661348 kB Inactive(file): 5050412 kB Unevictable: 6248 kB Mlocked: 6248 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7912 kB Writeback: 0 kB AnonPages: 54164 kB Mapped: 43568 kB Shmem: 25228 kB Slab: 162356 kB SReclaimable: 136988 kB SUnreclaim: 25368 kB KernelStack: 3536 kB PageTables: 5632 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 326756 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 60656 MiB End job on node105 at 2017-08-13 18:24:07