Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | OPT | 55 | 13365.2 | 1685.88 |
Name | GolombRuler/GolombRuler-a4-s1/ GolombRuler-10-a4.xml |
MD5SUM | 5c3e91a7aa658c047886207443b7266d |
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 | 36.9338 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 10 |
Number of constraints | 872 |
Number of domains | 1 |
Minimum domain size | 501 |
Maximum domain size | 501 |
Distribution of domain sizes | [{"size":501,"count":10}] |
Minimum variable degree | 325 |
Maximum variable degree | 326 |
Distribution of variable degrees | [{"degree":325,"count":8},{"degree":326,"count":2}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 10 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":3,"count":240},{"arity":4,"count":630},{"arity":10,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 871 |
Distribution of constraint types | [{"type":"intension","count":871},{"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-4280369-1503138249.xml" -tl '20160s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4280369-1503138249.xml, -tl, 20160s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.32/0.26 c parse instance... 3.49/1.17 c solve instance... 9.34/1.97 o 481 11.71/2.67 o 80 17.52/4.50 o 77 18.34/4.72 o 75 20.40/5.02 o 74 20.91/5.12 o 72 22.33/5.37 o 71 28.95/7.96 o 68 40.52/11.25 o 65 55.96/13.23 o 64 81.65/17.18 o 62 435.93/61.64 o 60 2240.98/288.62 o 55 13365.08/1685.86 s OPTIMUM FOUND 13365.08/1685.86 v <instantiation> 13365.08/1685.86 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] </list> 13365.08/1685.86 v <values>0 1 6 10 23 26 34 41 53 55 </values> 13365.08/1685.86 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 (11415 MiB free) memory of node 1: 16384 MiB (9839 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280369-1503138249/watcher-4280369-1503138249 -o /tmp/evaluation-result-4280369-1503138249/solver-4280369-1503138249 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1503129821-26701 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 463623742 HOME/instance-4280369-1503138249.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=27687, runsolver pid=27684 [startup+0.100139 s]* /proc/loadavg: 8.77 8.48 8.35 2/199 27708 /proc/meminfo: memFree=21748644/32770624 swapFree=67108860/67108860 [pid=27687] ppid=27684 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/27687/stat : 27687 (xcsp3-exec) S 27684 27687 26674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 146912535 9740288 346 33554432000 4194304 5098028 140730599134768 140730599132872 139831828804220 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35897344 140730599142501 140730599142711 140730599142711 140730599145451 0 /proc/27687/statm: 2378 346 289 221 0 87 0 [pid=27689] ppid=27687 vsize=25999808 memory=26136 CPUtime=0.11 cores=0-7 /proc/27689/stat : 27689 (java) S 27687 27687 26674 0 -1 1077944320 5489 0 0 0 10 1 0 0 20 0 20 0 146912535 26623803392 6534 33554432000 4194304 4196468 140736434547408 140736434529952 140716672716535 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 /proc/27689/statm: 6499952 6534 2821 1 0 6488269 0 [pid=27689/tid=27690] ppid=27687 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/27689/task/27690/stat : 27690 (java) R 27687 27687 26674 0 -1 4202560 3495 0 0 0 8 1 0 0 20 0 20 0 146912535 26623803392 6534 33554432000 4194304 4196468 140736434547408 140716676948448 140716672728470 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27691] ppid=27687 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/27689/task/27691/stat : 27691 (java) S 27687 27687 26674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146912536 26623803392 6534 33554432000 4194304 4196468 140736434547408 140716625337360 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27692] ppid=27687 vsize=25999808 memory=140378614847104 CPUtime=0 cores=0-7 /proc/27689/task/27692/stat : 27692 (java) S 27687 27687 26674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146912536 26623803392 6534 33554432000 4194304 4196468 140736434547408 140716624284816 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27693] ppid=27687 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27689/task/27693/stat : 27693 (java) S 27687 27687 26674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146912536 26623803392 6534 33554432000 4194304 4196468 140736434547408 140716623231760 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27694] ppid=27687 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27689/task/27694/stat : 27694 (java) S 27687 27687 26674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146912536 26623803392 6534 33554432000 4194304 4196468 140736434547408 140716622179216 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27695] ppid=27687 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27689/task/27695/stat : 27695 (java) S 27687 27687 26674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146912536 26623803392 6534 33554432000 4194304 4196468 140736434547408 140716621126160 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27696] ppid=27687 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/27689/task/27696/stat : 27696 (java) S 27687 27687 26674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146912536 26623803392 6534 33554432000 4194304 4196468 140736434547408 140716620073616 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27697] ppid=27687 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27689/task/27697/stat : 27697 (java) S 27687 27687 26674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146912536 26623803392 6534 33554432000 4194304 4196468 140736434547408 140716619020560 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27698] ppid=27687 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27689/task/27698/stat : 27698 (java) S 27687 27687 26674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146912536 26623803392 6534 33554432000 4194304 4196468 140736434547408 140716223625616 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27699] ppid=27687 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27689/task/27699/stat : 27699 (java) S 27687 27687 26674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146912537 26623803392 6534 33554432000 4194304 4196468 140736434547408 140715665337072 140716672727682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27700] ppid=27687 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27689/task/27700/stat : 27700 (java) S 27687 27687 26674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146912538 26623803392 6534 33554432000 4194304 4196468 140736434547408 140715664283296 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27701] ppid=27687 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27689/task/27701/stat : 27701 (java) S 27687 27687 26674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146912538 26623803392 6534 33554432000 4194304 4196468 140736434547408 140715663230192 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27702] ppid=27687 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27689/task/27702/stat : 27702 (java) S 27687 27687 26674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146912541 26623803392 6534 33554432000 4194304 4196468 140736434547408 140715662178768 140716672735131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27703] ppid=27687 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27689/task/27703/stat : 27703 (java) R 27687 27687 26674 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 146912541 26623803392 6534 33554432000 4194304 4196468 140736434547408 140715661125872 140716672727682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27704] ppid=27687 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27689/task/27704/stat : 27704 (java) S 27687 27687 26674 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 146912541 26623803392 6534 33554432000 4194304 4196468 140736434547408 140715660073328 140716672727682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27705] ppid=27687 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27689/task/27705/stat : 27705 (java) S 27687 27687 26674 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 20 0 146912541 26623803392 6534 33554432000 4194304 4196468 140736434547408 140715659020272 140716672727682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27706] ppid=27687 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/27689/task/27706/stat : 27706 (java) R 27687 27687 26674 0 -1 4202560 255 0 0 0 1 0 0 0 20 0 20 0 146912541 26623803392 6534 33554432000 4194304 4196468 140736434547408 140715657967728 140716656797022 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27707] ppid=27687 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27689/task/27707/stat : 27707 (java) S 27687 27687 26674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146912541 26623803392 6534 33554432000 4194304 4196468 140736434547408 140715656915936 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27708] ppid=27687 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/27689/task/27708/stat : 27708 (java) S 27687 27687 26674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146912541 26623803392 6534 33554432000 4194304 4196468 140736434547408 140715655863472 140716672727682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27520 KiB [startup+0.210292 s]* /proc/loadavg: 8.77 8.48 8.35 2/199 27708 /proc/meminfo: memFree=21735576/32770624 swapFree=67108860/67108860 [pid=27687] ppid=27684 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/27687/stat : 27687 (xcsp3-exec) S 27684 27687 26674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 146912535 9740288 346 33554432000 4194304 5098028 140730599134768 140730599132872 139831828804220 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35897344 140730599142501 140730599142711 140730599142711 140730599145451 0 /proc/27687/statm: 2378 346 289 221 0 87 0 [pid=27689] ppid=27687 vsize=26004064 memory=39180 CPUtime=0.32 cores=0-7 /proc/27689/stat : 27689 (java) S 27687 27687 26674 0 -1 1077944320 8357 0 0 0 30 2 0 0 20 0 20 0 146912535 26628161536 9795 33554432000 4194304 4196468 140736434547408 140736434529952 140716672716535 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 /proc/27689/statm: 6501016 9795 3068 1 0 6488269 0 [pid=27689/tid=27690] ppid=27687 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/27689/task/27690/stat : 27690 (java) D 27687 27687 26674 0 -1 1077944384 5417 0 0 0 18 1 0 0 20 0 20 0 146912535 26628161536 9795 33554432000 4194304 4196468 140736434547408 140716676927344 140716665395757 0 4 0 16800975 18446744072101760548 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27691] ppid=27687 vsize=26004064 memory=342 CPUtime=0 cores=0-7 /proc/27689/task/27691/stat : 27691 (java) S 27687 27687 26674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146912536 26628161536 9795 33554432000 4194304 4196468 140736434547408 140716625337360 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27692] ppid=27687 vsize=26004064 memory=140378615533141 CPUtime=0 cores=0-7 /proc/27689/task/27692/stat : 27692 (java) S 27687 27687 26674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146912536 26628161536 9795 33554432000 4194304 4196468 140736434547408 140716624284816 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27693] ppid=27687 vsize=26004096 memory=-1 CPUtime=0 cores=0-7 /proc/27689/task/27693/stat : 27693 (java) S 27687 27687 26674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146912536 26628194304 9795 33554432000 4194304 4196468 140736434547408 140716623231760 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27694] ppid=27687 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/27689/task/27694/stat : 27694 (java) S 27687 27687 26674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146912536 26628194304 9795 33554432000 4194304 4196468 140736434547408 140716622179216 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27695] ppid=27687 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/27689/task/27695/stat : 27695 (java) S 27687 27687 26674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146912536 26628194304 9795 33554432000 4194304 4196468 140736434547408 140716621126160 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27696] ppid=27687 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/27689/task/27696/stat : 27696 (java) S 27687 27687 26674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146912536 26628161536 9795 33554432000 4194304 4196468 140736434547408 140716620073616 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27697] ppid=27687 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27689/task/27697/stat : 27697 (java) S 27687 27687 26674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146912536 26628161536 9795 33554432000 4194304 4196468 140736434547408 140716619020560 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27698] ppid=27687 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27689/task/27698/stat : 27698 (java) S 27687 27687 26674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146912536 26628161536 9795 33554432000 4194304 4196468 140736434547408 140716223625616 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27699] ppid=27687 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27689/task/27699/stat : 27699 (java) S 27687 27687 26674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146912537 26628161536 9795 33554432000 4194304 4196468 140736434547408 140715665337072 140716672727682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27700] ppid=27687 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27689/task/27700/stat : 27700 (java) S 27687 27687 26674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146912538 26628161536 9795 33554432000 4194304 4196468 140736434547408 140715664283296 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27701] ppid=27687 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27689/task/27701/stat : 27701 (java) S 27687 27687 26674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146912538 26628161536 9795 33554432000 4194304 4196468 140736434547408 140715663230192 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27702] ppid=27687 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27689/task/27702/stat : 27702 (java) S 27687 27687 26674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146912541 26628161536 9795 33554432000 4194304 4196468 140736434547408 140715662178768 140716672735131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27703] ppid=27687 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/27689/task/27703/stat : 27703 (java) S 27687 27687 26674 0 -1 1077944384 188 0 0 0 1 0 0 0 20 0 20 0 146912541 26628161536 9795 33554432000 4194304 4196468 140736434547408 140715661125872 140716672727682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27704] ppid=27687 vsize=26004096 memory=0 CPUtime=0.01 cores=0-7 /proc/27689/task/27704/stat : 27704 (java) S 27687 27687 26674 0 -1 1077944384 216 0 0 0 1 0 0 0 20 0 20 0 146912541 26628194304 9795 33554432000 4194304 4196468 140736434547408 140715660073328 140716672727682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27705] ppid=27687 vsize=26004096 memory=-1 CPUtime=0.01 cores=0-7 /proc/27689/task/27705/stat : 27705 (java) S 27687 27687 26674 0 -1 1077944384 470 0 0 0 1 0 0 0 20 0 20 0 146912541 26628194304 9795 33554432000 4194304 4196468 140736434547408 140715659020272 140716672727682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27706] ppid=27687 vsize=26004096 memory=-1 CPUtime=0.07 cores=0-7 /proc/27689/task/27706/stat : 27706 (java) S 27687 27687 26674 0 -1 1077944384 764 0 0 0 7 0 0 0 20 0 20 0 146912541 26628194304 9795 33554432000 4194304 4196468 140736434547408 140715657967728 140716672727682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27707] ppid=27687 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/27689/task/27707/stat : 27707 (java) S 27687 27687 26674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146912541 26628194304 9795 33554432000 4194304 4196468 140736434547408 140715656915936 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27708] ppid=27687 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/27689/task/27708/stat : 27708 (java) S 27687 27687 26674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146912541 26628161536 9795 33554432000 4194304 4196468 140736434547408 140715655863472 140716672727682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 Current children cumulated CPU time: 0.32 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40564 KiB [startup+0.310047 s]* /proc/loadavg: 8.77 8.48 8.35 3/199 27708 /proc/meminfo: memFree=21730816/32770624 swapFree=67108860/67108860 [pid=27687] ppid=27684 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/27687/stat : 27687 (xcsp3-exec) S 27684 27687 26674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 146912535 9740288 346 33554432000 4194304 5098028 140730599134768 140730599132872 139831828804220 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35897344 140730599142501 140730599142711 140730599142711 140730599145451 0 /proc/27687/statm: 2378 346 289 221 0 87 0 [pid=27689] ppid=27687 vsize=26004064 memory=46040 CPUtime=0.5 cores=0-7 /proc/27689/stat : 27689 (java) S 27687 27687 26674 0 -1 1077944320 9178 0 0 0 48 2 0 0 20 0 20 0 146912535 26628161536 11510 33554432000 4194304 4196468 140736434547408 140736434529952 140716672716535 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 /proc/27689/statm: 6501016 11510 3101 1 0 6488269 0 [pid=27689/tid=27690] ppid=27687 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/27689/task/27690/stat : 27690 (java) R 27687 27687 26674 0 -1 4202560 6069 0 0 0 28 1 0 0 20 0 20 0 146912535 26628161536 11510 33554432000 4194304 4196468 140736434547408 140716676952752 140716672728470 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27691] ppid=27687 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27689/task/27691/stat : 27691 (java) S 27687 27687 26674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146912536 26628161536 11510 33554432000 4194304 4196468 140736434547408 140716625337360 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27692] ppid=27687 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27689/task/27692/stat : 27692 (java) S 27687 27687 26674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146912536 26628161536 11510 33554432000 4194304 4196468 140736434547408 140716624284816 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27693] ppid=27687 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27689/task/27693/stat : 27693 (java) S 27687 27687 26674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146912536 26628161536 11510 33554432000 4194304 4196468 140736434547408 140716623231760 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27694] ppid=27687 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27689/task/27694/stat : 27694 (java) S 27687 27687 26674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146912536 26628161536 11510 33554432000 4194304 4196468 140736434547408 140716622179216 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27695] ppid=27687 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/27689/task/27695/stat : 27695 (java) S 27687 27687 26674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146912536 26628161536 11510 33554432000 4194304 4196468 140736434547408 140716621126160 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27696] ppid=27687 vsize=26004064 memory=140378456028079 CPUtime=0 cores=0-7 /proc/27689/task/27696/stat : 27696 (java) S 27687 27687 26674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146912536 26628161536 11510 33554432000 4194304 4196468 140736434547408 140716620073616 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27697] ppid=27687 vsize=26004064 memory=140378456030384 CPUtime=0 cores=0-7 /proc/27689/task/27697/stat : 27697 (java) S 27687 27687 26674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146912536 26628161536 11510 33554432000 4194304 4196468 140736434547408 140716619020560 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27698] ppid=27687 vsize=26004064 memory=140378456032688 CPUtime=0 cores=0-7 /proc/27689/task/27698/stat : 27698 (java) S 27687 27687 26674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146912536 26628161536 11510 33554432000 4194304 4196468 140736434547408 140716223625616 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27699] ppid=27687 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27689/task/27699/stat : 27699 (java) S 27687 27687 26674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146912537 26628161536 11510 33554432000 4194304 4196468 140736434547408 140715665337072 140716672727682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27700] ppid=27687 vsize=26004064 memory=280756912072336 CPUtime=0 cores=0-7 /proc/27689/task/27700/stat : 27700 (java) S 27687 27687 26674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146912538 26628161536 11510 33554432000 4194304 4196468 140736434547408 140715664283296 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27701] ppid=27687 vsize=26004064 memory=280756912079248 CPUtime=0 cores=0-7 /proc/27689/task/27701/stat : 27701 (java) S 27687 27687 26674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146912538 26628161536 11510 33554432000 4194304 4196468 140736434547408 140715663230192 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27702] ppid=27687 vsize=26004064 memory=280756912020528 CPUtime=0 cores=0-7 /proc/27689/task/27702/stat : 27702 (java) S 27687 27687 26674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146912541 26628161536 11510 33554432000 4194304 4196468 140736434547408 140715662178768 140716672735131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27703] ppid=27687 vsize=26004064 memory=280756912093072 CPUtime=0.02 cores=0-7 /proc/27689/task/27703/stat : 27703 (java) S 27687 27687 26674 0 -1 1077944384 241 0 0 0 2 0 0 0 20 0 20 0 146912541 26628161536 11510 33554432000 4194304 4196468 140736434547408 140715661125872 140716672727682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27704] ppid=27687 vsize=26004064 memory=280756912099984 CPUtime=0.01 cores=0-7 /proc/27689/task/27704/stat : 27704 (java) S 27687 27687 26674 0 -1 1077944384 216 0 0 0 1 0 0 0 20 0 20 0 146912541 26628161536 11510 33554432000 4194304 4196468 140736434547408 140715660073328 140716672727682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27705] ppid=27687 vsize=26004064 memory=280756912097680 CPUtime=0.02 cores=0-7 /proc/27689/task/27705/stat : 27705 (java) R 27687 27687 26674 0 -1 4202560 478 0 0 0 2 0 0 0 20 0 20 0 146912541 26628161536 11510 33554432000 4194304 4196468 140736434547408 140715659020368 140716665701577 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27706] ppid=27687 vsize=26004064 memory=280756912113840 CPUtime=0.13 cores=0-7 /proc/27689/task/27706/stat : 27706 (java) R 27687 27687 26674 0 -1 4202560 867 0 0 0 13 0 0 0 20 0 20 0 146912541 26628161536 11510 33554432000 4194304 4196468 140736434547408 140715657964096 140716672728470 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27707] ppid=27687 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27689/task/27707/stat : 27707 (java) S 27687 27687 26674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146912541 26628161536 11510 33554432000 4194304 4196468 140736434547408 140715656915936 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27708] ppid=27687 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/27689/task/27708/stat : 27708 (java) S 27687 27687 26674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146912541 26628161536 11510 33554432000 4194304 4196468 140736434547408 140715655863472 140716672727682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47424 KiB [startup+0.70099 s] /proc/loadavg: 8.77 8.48 8.35 4/199 27708 /proc/meminfo: memFree=21718216/32770624 swapFree=67108860/67108860 [pid=27687] ppid=27684 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/27687/stat : 27687 (xcsp3-exec) S 27684 27687 26674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 146912535 9740288 346 33554432000 4194304 5098028 140730599134768 140730599132872 139831828804220 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35897344 140730599142501 140730599142711 140730599142711 140730599145451 0 /proc/27687/statm: 2378 346 289 221 0 87 0 [pid=27689] ppid=27687 vsize=26006188 memory=86688 CPUtime=1.7 cores=0-7 /proc/27689/stat : 27689 (java) S 27687 27687 26674 0 -1 1077944320 12814 0 0 0 167 3 0 0 20 0 20 0 146912535 26630336512 21672 33554432000 4194304 4196468 140736434547408 140736434529952 140716672716535 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 /proc/27689/statm: 6501547 21672 3204 1 0 6488781 0 [pid=27689/tid=27690] ppid=27687 vsize=26006188 memory=280756912471728 CPUtime=0.67 cores=0-7 /proc/27689/task/27690/stat : 27690 (java) R 27687 27687 26674 0 -1 4202560 6849 0 0 0 65 2 0 0 20 0 20 0 146912535 26630336512 21672 33554432000 4194304 4196468 140736434547408 140716676955312 140716653559544 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27691] ppid=27687 vsize=26006188 memory=140378456236912 CPUtime=0 cores=0-7 /proc/27689/task/27691/stat : 27691 (java) S 27687 27687 26674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146912536 26630336512 21672 33554432000 4194304 4196468 140736434547408 140716625337360 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27692] ppid=27687 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/27689/task/27692/stat : 27692 (java) S 27687 27687 26674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146912536 26630336512 21672 33554432000 4194304 4196468 140736434547408 140716624284816 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27693] ppid=27687 vsize=26006188 memory=1008 CPUtime=0 cores=0-7 /proc/27689/task/27693/stat : 27693 (java) S 27687 27687 26674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146912536 26630336512 21672 33554432000 4194304 4196468 140736434547408 140716623231760 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 ################ # More data... # ################ [pid=27689/tid=27706] ppid=27687 vsize=26539728 memory=6791534058613427641 CPUtime=0.92 cores=0-7 /proc/27689/task/27706/stat : 27706 (java) S 27687 27687 26674 0 -1 1077944384 16861 0 0 0 89 3 0 0 20 0 28 0 146912541 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715657967728 140716672727682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27707] ppid=27687 vsize=26539728 memory=1441332 CPUtime=0 cores=0-7 /proc/27689/task/27707/stat : 27707 (java) S 27687 27687 26674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146912541 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715656915936 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27708] ppid=27687 vsize=26539728 memory=1156 CPUtime=0.72 cores=0-7 /proc/27689/task/27708/stat : 27708 (java) S 27687 27687 26674 0 -1 1077944384 4138 0 0 0 27 45 0 0 20 0 28 0 146912541 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715655863472 140716672727682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27821] ppid=27687 vsize=26539728 memory=3864 CPUtime=1382.88 cores=0-7 /proc/27689/task/27821/stat : 27821 (java) S 27687 27687 26674 0 -1 1077944384 4861 0 0 0 138282 6 0 0 20 0 28 0 146941397 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715645751216 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27822] ppid=27687 vsize=26539728 memory=1384 CPUtime=1384.01 cores=0-7 /proc/27689/task/27822/stat : 27822 (java) S 27687 27687 26674 0 -1 1077944384 4492 0 0 0 138398 3 0 0 20 0 28 0 146941397 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715647858000 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27823] ppid=27687 vsize=26539728 memory=1441316 CPUtime=1386.47 cores=0-7 /proc/27689/task/27823/stat : 27823 (java) R 27687 27687 26674 0 -1 4202560 20811 0 0 0 138628 19 0 0 20 0 28 0 146941397 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715642588480 140716307529301 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27824] ppid=27687 vsize=26539728 memory=4096 CPUtime=1389.4 cores=0-7 /proc/27689/task/27824/stat : 27824 (java) S 27687 27687 26674 0 -1 1077944384 13756 0 0 0 138912 28 0 0 20 0 28 0 146941397 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715643647056 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27825] ppid=27687 vsize=26539728 memory=1156 CPUtime=1389.55 cores=0-7 /proc/27689/task/27825/stat : 27825 (java) S 27687 27687 26674 0 -1 1077944384 8475 0 0 0 138947 8 0 0 20 0 28 0 146941397 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715641541328 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27826] ppid=27687 vsize=26539728 memory=3864 CPUtime=1390.08 cores=0-7 /proc/27689/task/27826/stat : 27826 (java) R 27687 27687 26674 0 -1 4202560 17891 0 0 0 138991 17 0 0 20 0 28 0 146941397 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715639430176 140716307260535 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27827] ppid=27687 vsize=26539728 memory=4140 CPUtime=1390.57 cores=0-7 /proc/27689/task/27827/stat : 27827 (java) S 27687 27687 26674 0 -1 1077944384 4324 0 0 0 139052 5 0 0 20 0 28 0 146941397 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715644700112 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27828] ppid=27687 vsize=26539728 memory=40892 CPUtime=1383.16 cores=0-7 /proc/27689/task/27828/stat : 27828 (java) S 27687 27687 26674 0 -1 1077944384 6487 0 0 0 138308 8 0 0 20 0 28 0 146941397 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715646805584 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 Current children cumulated CPU time: 13363.2 s Current children cumulated vsize: 26549240 KiB Current children cumulated memory: 1442716 KiB [startup+1685.6 s] /proc/loadavg: 8.17 8.25 8.24 3/207 27848 /proc/meminfo: memFree=20335260/32770624 swapFree=67108860/67108860 [pid=27687] ppid=27684 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/27687/stat : 27687 (xcsp3-exec) S 27684 27687 26674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 146912535 9740288 346 33554432000 4194304 5098028 140730599134768 140730599132872 139831828804220 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35897344 140730599142501 140730599142711 140730599142711 140730599145451 0 /proc/27687/statm: 2378 346 289 221 0 87 0 [pid=27689] ppid=27687 vsize=26539728 memory=1441332 CPUtime=13364.9 cores=0-7 /proc/27689/stat : 27689 (java) S 27687 27687 26674 0 -1 1077944320 289505 0 0 0 1336184 302 0 0 20 0 28 0 146912535 27176681472 360333 33554432000 4194304 4196468 140736434547408 140736434529952 140716672716535 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 /proc/27689/statm: 6634932 360333 3289 1 0 6622166 0 [pid=27689/tid=27690] ppid=27687 vsize=26539728 memory=1441332 CPUtime=1.14 cores=0-7 /proc/27689/task/27690/stat : 27690 (java) S 27687 27687 26674 0 -1 1077944384 7990 0 0 0 110 4 0 0 20 0 28 0 146912535 27176681472 360333 33554432000 4194304 4196468 140736434547408 140716676957312 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27691] ppid=27687 vsize=26539728 memory=6791534058613427641 CPUtime=3.22 cores=0-7 /proc/27689/task/27691/stat : 27691 (java) S 27687 27687 26674 0 -1 1077944384 7551 0 0 0 313 9 0 0 20 0 28 0 146912536 27176681472 360333 33554432000 4194304 4196468 140736434547408 140716625337360 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27692] ppid=27687 vsize=26539728 memory=7306643355539302720 CPUtime=3.3 cores=0-7 /proc/27689/task/27692/stat : 27692 (java) S 27687 27687 26674 0 -1 1077944384 6906 0 0 0 317 13 0 0 20 0 28 0 146912536 27176681472 360333 33554432000 4194304 4196468 140736434547408 140716624284816 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27693] ppid=27687 vsize=26539728 memory=7306643355539302720 CPUtime=3.25 cores=0-7 /proc/27689/task/27693/stat : 27693 (java) S 27687 27687 26674 0 -1 1077944384 6615 0 0 0 314 11 0 0 20 0 28 0 146912536 27176681472 360333 33554432000 4194304 4196468 140736434547408 140716623231760 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27694] ppid=27687 vsize=26539728 memory=7306643355539302720 CPUtime=3.26 cores=0-7 /proc/27689/task/27694/stat : 27694 (java) S 27687 27687 26674 0 -1 1077944384 7031 0 0 0 314 12 0 0 20 0 28 0 146912536 27176681472 360333 33554432000 4194304 4196468 140736434547408 140716622179216 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27695] ppid=27687 vsize=26539728 memory=6225494662869377897 CPUtime=3.24 cores=0-7 /proc/27689/task/27695/stat : 27695 (java) S 27687 27687 26674 0 -1 1077944384 8111 0 0 0 313 11 0 0 20 0 28 0 146912536 27176681472 360333 33554432000 4194304 4196468 140736434547408 140716621126160 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27696] ppid=27687 vsize=26539728 memory=7955439839264269670 CPUtime=3.29 cores=0-7 /proc/27689/task/27696/stat : 27696 (java) S 27687 27687 26674 0 -1 1077944384 7132 0 0 0 317 12 0 0 20 0 28 0 146912536 27176681472 360333 33554432000 4194304 4196468 140736434547408 140716620073616 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27697] ppid=27687 vsize=26539728 memory=1292 CPUtime=3.24 cores=0-7 /proc/27689/task/27697/stat : 27697 (java) S 27687 27687 26674 0 -1 1077944384 6154 0 0 0 313 11 0 0 20 0 28 0 146912536 27176681472 360333 33554432000 4194304 4196468 140736434547408 140716619020560 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27698] ppid=27687 vsize=26539728 memory=2428 CPUtime=3.25 cores=0-7 /proc/27689/task/27698/stat : 27698 (java) S 27687 27687 26674 0 -1 1077944384 7168 0 0 0 313 12 0 0 20 0 28 0 146912536 27176681472 360333 33554432000 4194304 4196468 140736434547408 140716223625616 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27699] ppid=27687 vsize=26539728 memory=1732 CPUtime=1.04 cores=0-7 /proc/27689/task/27699/stat : 27699 (java) S 27687 27687 26674 0 -1 1077944384 21603 0 0 0 79 25 0 0 20 0 28 0 146912537 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715665337072 140716672727682 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27700] ppid=27687 vsize=26539728 memory=1944 CPUtime=0 cores=0-7 /proc/27689/task/27700/stat : 27700 (java) S 27687 27687 26674 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 146912538 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715664283360 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27701] ppid=27687 vsize=26539728 memory=1700 CPUtime=0 cores=0-7 /proc/27689/task/27701/stat : 27701 (java) S 27687 27687 26674 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 146912538 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715663230192 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27702] ppid=27687 vsize=26539728 memory=1228 CPUtime=0 cores=0-7 /proc/27689/task/27702/stat : 27702 (java) S 27687 27687 26674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146912541 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715662178768 140716672735131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27703] ppid=27687 vsize=26539728 memory=5428 CPUtime=2.76 cores=0-7 /proc/27689/task/27703/stat : 27703 (java) S 27687 27687 26674 0 -1 1077944384 17100 0 0 0 274 2 0 0 20 0 28 0 146912541 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715661125872 140716672727682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27704] ppid=27687 vsize=26539728 memory=4624 CPUtime=3.08 cores=0-7 /proc/27689/task/27704/stat : 27704 (java) S 27687 27687 26674 0 -1 1077944384 17651 0 0 0 305 3 0 0 20 0 28 0 146912541 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715660073328 140716672727682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27705] ppid=27687 vsize=26539728 memory=1424 CPUtime=3.4 cores=0-7 /proc/27689/task/27705/stat : 27705 (java) S 27687 27687 26674 0 -1 1077944384 22298 0 0 0 335 5 0 0 20 0 28 0 146912541 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715659020272 140716672727682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27706] ppid=27687 vsize=26539728 memory=13160 CPUtime=0.92 cores=0-7 /proc/27689/task/27706/stat : 27706 (java) S 27687 27687 26674 0 -1 1077944384 16861 0 0 0 89 3 0 0 20 0 28 0 146912541 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715657967728 140716672727682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27707] ppid=27687 vsize=26539728 memory=792 CPUtime=0 cores=0-7 /proc/27689/task/27707/stat : 27707 (java) S 27687 27687 26674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146912541 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715656915936 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27708] ppid=27687 vsize=26539728 memory=1008 CPUtime=0.72 cores=0-7 /proc/27689/task/27708/stat : 27708 (java) S 27687 27687 26674 0 -1 1077944384 4138 0 0 0 27 45 0 0 20 0 28 0 146912541 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715655863472 140716672727682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27821] ppid=27687 vsize=26539728 memory=10724 CPUtime=1382.88 cores=0-7 /proc/27689/task/27821/stat : 27821 (java) S 27687 27687 26674 0 -1 1077944384 4861 0 0 0 138282 6 0 0 20 0 28 0 146941397 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715645751216 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27822] ppid=27687 vsize=26539728 memory=1441332 CPUtime=1384.01 cores=0-7 /proc/27689/task/27822/stat : 27822 (java) S 27687 27687 26674 0 -1 1077944384 4492 0 0 0 138398 3 0 0 20 0 28 0 146941397 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715647858000 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27823] ppid=27687 vsize=26539728 memory=1441332 CPUtime=1387.27 cores=0-7 /proc/27689/task/27823/stat : 27823 (java) R 27687 27687 26674 0 -1 4202560 20812 0 0 0 138708 19 0 0 20 0 28 0 146941397 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715642591280 140716305923677 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27824] ppid=27687 vsize=26539728 memory=1732 CPUtime=1389.4 cores=0-7 /proc/27689/task/27824/stat : 27824 (java) S 27687 27687 26674 0 -1 1077944384 13756 0 0 0 138912 28 0 0 20 0 28 0 146941397 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715643647056 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27825] ppid=27687 vsize=26539728 memory=1944 CPUtime=1389.55 cores=0-7 /proc/27689/task/27825/stat : 27825 (java) S 27687 27687 26674 0 -1 1077944384 8475 0 0 0 138947 8 0 0 20 0 28 0 146941397 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715641541328 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27826] ppid=27687 vsize=26539728 memory=1700 CPUtime=1390.88 cores=0-7 /proc/27689/task/27826/stat : 27826 (java) R 27687 27687 26674 0 -1 4202560 17891 0 0 0 139071 17 0 0 20 0 28 0 146941397 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715639430560 140716305923369 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27827] ppid=27687 vsize=26539728 memory=1228 CPUtime=1390.57 cores=0-7 /proc/27689/task/27827/stat : 27827 (java) S 27687 27687 26674 0 -1 1077944384 4324 0 0 0 139052 5 0 0 20 0 28 0 146941397 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715644700112 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27828] ppid=27687 vsize=26539728 memory=5428 CPUtime=1383.16 cores=0-7 /proc/27689/task/27828/stat : 27828 (java) S 27687 27687 26674 0 -1 1077944384 6487 0 0 0 138308 8 0 0 20 0 28 0 146941397 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715646805584 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 Current children cumulated CPU time: 13364.9 s Current children cumulated vsize: 26549240 KiB Current children cumulated memory: 1442716 KiB [startup+1685.8 s] /proc/loadavg: 8.17 8.25 8.24 3/207 27848 /proc/meminfo: memFree=20335260/32770624 swapFree=67108860/67108860 [pid=27687] ppid=27684 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/27687/stat : 27687 (xcsp3-exec) S 27684 27687 26674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 146912535 9740288 346 33554432000 4194304 5098028 140730599134768 140730599132872 139831828804220 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35897344 140730599142501 140730599142711 140730599142711 140730599145451 0 /proc/27687/statm: 2378 346 289 221 0 87 0 [pid=27689] ppid=27687 vsize=26539728 memory=1441332 CPUtime=13365.1 cores=0-7 /proc/27689/stat : 27689 (java) S 27687 27687 26674 0 -1 1077944320 289505 0 0 0 1336206 302 0 0 20 0 28 0 146912535 27176681472 360333 33554432000 4194304 4196468 140736434547408 140736434529952 140716672716535 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 /proc/27689/statm: 6634932 360333 3289 1 0 6622166 0 [pid=27689/tid=27690] ppid=27687 vsize=26539728 memory=13160 CPUtime=1.14 cores=0-7 /proc/27689/task/27690/stat : 27690 (java) S 27687 27687 26674 0 -1 1077944384 7990 0 0 0 110 4 0 0 20 0 28 0 146912535 27176681472 360333 33554432000 4194304 4196468 140736434547408 140716676957312 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27691] ppid=27687 vsize=26539728 memory=792 CPUtime=3.22 cores=0-7 /proc/27689/task/27691/stat : 27691 (java) S 27687 27687 26674 0 -1 1077944384 7551 0 0 0 313 9 0 0 20 0 28 0 146912536 27176681472 360333 33554432000 4194304 4196468 140736434547408 140716625337360 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27692] ppid=27687 vsize=26539728 memory=1008 CPUtime=3.3 cores=0-7 /proc/27689/task/27692/stat : 27692 (java) S 27687 27687 26674 0 -1 1077944384 6906 0 0 0 317 13 0 0 20 0 28 0 146912536 27176681472 360333 33554432000 4194304 4196468 140736434547408 140716624284816 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27693] ppid=27687 vsize=26539728 memory=10724 CPUtime=3.25 cores=0-7 /proc/27689/task/27693/stat : 27693 (java) S 27687 27687 26674 0 -1 1077944384 6615 0 0 0 314 11 0 0 20 0 28 0 146912536 27176681472 360333 33554432000 4194304 4196468 140736434547408 140716623231760 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27694] ppid=27687 vsize=26539728 memory=1204 CPUtime=3.26 cores=0-7 /proc/27689/task/27694/stat : 27694 (java) S 27687 27687 26674 0 -1 1077944384 7031 0 0 0 314 12 0 0 20 0 28 0 146912536 27176681472 360333 33554432000 4194304 4196468 140736434547408 140716622179216 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27695] ppid=27687 vsize=26539728 memory=1204 CPUtime=3.24 cores=0-7 /proc/27689/task/27695/stat : 27695 (java) S 27687 27687 26674 0 -1 1077944384 8111 0 0 0 313 11 0 0 20 0 28 0 146912536 27176681472 360333 33554432000 4194304 4196468 140736434547408 140716621126160 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27696] ppid=27687 vsize=26539728 memory=15876 CPUtime=3.29 cores=0-7 /proc/27689/task/27696/stat : 27696 (java) S 27687 27687 26674 0 -1 1077944384 7132 0 0 0 317 12 0 0 20 0 28 0 146912536 27176681472 360333 33554432000 4194304 4196468 140736434547408 140716620073616 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27697] ppid=27687 vsize=26539728 memory=16444 CPUtime=3.24 cores=0-7 /proc/27689/task/27697/stat : 27697 (java) S 27687 27687 26674 0 -1 1077944384 6154 0 0 0 313 11 0 0 20 0 28 0 146912536 27176681472 360333 33554432000 4194304 4196468 140736434547408 140716619020560 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27698] ppid=27687 vsize=26539728 memory=4052 CPUtime=3.25 cores=0-7 /proc/27689/task/27698/stat : 27698 (java) S 27687 27687 26674 0 -1 1077944384 7168 0 0 0 313 12 0 0 20 0 28 0 146912536 27176681472 360333 33554432000 4194304 4196468 140736434547408 140716223625616 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27699] ppid=27687 vsize=26539728 memory=22536 CPUtime=1.04 cores=0-7 /proc/27689/task/27699/stat : 27699 (java) S 27687 27687 26674 0 -1 1077944384 21603 0 0 0 79 25 0 0 20 0 28 0 146912537 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715665337072 140716672727682 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27700] ppid=27687 vsize=26539728 memory=1232 CPUtime=0 cores=0-7 /proc/27689/task/27700/stat : 27700 (java) S 27687 27687 26674 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 146912538 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715664283360 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27701] ppid=27687 vsize=26539728 memory=1792 CPUtime=0 cores=0-7 /proc/27689/task/27701/stat : 27701 (java) S 27687 27687 26674 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 146912538 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715663230192 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27702] ppid=27687 vsize=26539728 memory=640 CPUtime=0 cores=0-7 /proc/27689/task/27702/stat : 27702 (java) S 27687 27687 26674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146912541 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715662178768 140716672735131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27703] ppid=27687 vsize=26539728 memory=956 CPUtime=2.76 cores=0-7 /proc/27689/task/27703/stat : 27703 (java) S 27687 27687 26674 0 -1 1077944384 17100 0 0 0 274 2 0 0 20 0 28 0 146912541 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715661125872 140716672727682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27704] ppid=27687 vsize=26539728 memory=2468 CPUtime=3.08 cores=0-7 /proc/27689/task/27704/stat : 27704 (java) S 27687 27687 26674 0 -1 1077944384 17651 0 0 0 305 3 0 0 20 0 28 0 146912541 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715660073328 140716672727682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27705] ppid=27687 vsize=26539728 memory=1576 CPUtime=3.4 cores=0-7 /proc/27689/task/27705/stat : 27705 (java) S 27687 27687 26674 0 -1 1077944384 22298 0 0 0 335 5 0 0 20 0 28 0 146912541 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715659020272 140716672727682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27706] ppid=27687 vsize=26539728 memory=932 CPUtime=0.92 cores=0-7 /proc/27689/task/27706/stat : 27706 (java) S 27687 27687 26674 0 -1 1077944384 16861 0 0 0 89 3 0 0 20 0 28 0 146912541 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715657967728 140716672727682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27707] ppid=27687 vsize=26539728 memory=2236 CPUtime=0 cores=0-7 /proc/27689/task/27707/stat : 27707 (java) S 27687 27687 26674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146912541 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715656915936 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27708] ppid=27687 vsize=26539728 memory=4124 CPUtime=0.72 cores=0-7 /proc/27689/task/27708/stat : 27708 (java) S 27687 27687 26674 0 -1 1077944384 4138 0 0 0 27 45 0 0 20 0 28 0 146912541 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715655863472 140716672727682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27821] ppid=27687 vsize=26539728 memory=1384 CPUtime=1382.88 cores=0-7 /proc/27689/task/27821/stat : 27821 (java) S 27687 27687 26674 0 -1 1077944384 4861 0 0 0 138282 6 0 0 20 0 28 0 146941397 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715645751216 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27822] ppid=27687 vsize=26539728 memory=1441332 CPUtime=1384.01 cores=0-7 /proc/27689/task/27822/stat : 27822 (java) S 27687 27687 26674 0 -1 1077944384 4492 0 0 0 138398 3 0 0 20 0 28 0 146941397 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715647858000 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27823] ppid=27687 vsize=26539728 memory=1384 CPUtime=1387.47 cores=0-7 /proc/27689/task/27823/stat : 27823 (java) R 27687 27687 26674 0 -1 4202560 20812 0 0 0 138728 19 0 0 20 0 28 0 146941397 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715642591280 140716307262215 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27824] ppid=27687 vsize=26539728 memory=1441332 CPUtime=1389.4 cores=0-7 /proc/27689/task/27824/stat : 27824 (java) S 27687 27687 26674 0 -1 1077944384 13756 0 0 0 138912 28 0 0 20 0 28 0 146941397 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715643647056 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27825] ppid=27687 vsize=26539728 memory=4052 CPUtime=1389.55 cores=0-7 /proc/27689/task/27825/stat : 27825 (java) S 27687 27687 26674 0 -1 1077944384 8475 0 0 0 138947 8 0 0 20 0 28 0 146941397 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715641541328 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27826] ppid=27687 vsize=26539728 memory=22536 CPUtime=1390.91 cores=0-7 /proc/27689/task/27826/stat : 27826 (java) S 27687 27687 26674 0 -1 1077944384 17891 0 0 0 139074 17 0 0 20 0 28 0 146941397 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715639436112 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27827] ppid=27687 vsize=26539728 memory=6791534058613427641 CPUtime=1390.57 cores=0-7 /proc/27689/task/27827/stat : 27827 (java) S 27687 27687 26674 0 -1 1077944384 4324 0 0 0 139052 5 0 0 20 0 28 0 146941397 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715644700112 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 [pid=27689/tid=27828] ppid=27687 vsize=26539728 memory=1384 CPUtime=1383.16 cores=0-7 /proc/27689/task/27828/stat : 27828 (java) S 27687 27687 26674 0 -1 1077944384 6487 0 0 0 138308 8 0 0 20 0 28 0 146941397 27176681472 360333 33554432000 4194304 4196468 140736434547408 140715646805584 140716672726741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 31277056 140736434554002 140736434554179 140736434554179 140736434556879 0 Current children cumulated CPU time: 13365.1 s Current children cumulated vsize: 26549240 KiB Current children cumulated memory: 1442716 KiB Child status: 0 Real time (s): 1685.88 CPU time (s): 13365.2 CPU user time (s): 13362.1 CPU system time (s): 3.03569 CPU usage (%): 792.773 Max. virtual memory (cumulated for all children) (KiB): 26549240 Max. memory (cumulated for all children) (KiB): 1442716 getrusage(RUSAGE_CHILDREN,...) data: user time used= 13362.1 system time used= 3.03569 maximum resident set size= 1441332 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 290397 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2288 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 104825 involuntary context switches= 138614 # summary of solver processes directly reported to runsolver: # pid: 27687 # total CPU time (s): 13365.2 # total CPU user time (s): 13362.1 # total CPU system time (s): 3.03569 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 13.9724 second user time and 20.6996 second system time The end
Begin job on node114 at 2017-08-19 12:09:49 IDJOB=4280369 IDBENCH=126241 IDSOLVER=2675 FILE ID=node114/4280369-1503138249 RUNJOBID= node114-1503129821-26701 PBS_JOBID= 20630781 Free space on /tmp= 61848 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-10-a4.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-4280369-1503138249/watcher-4280369-1503138249 -o /tmp/evaluation-result-4280369-1503138249/solver-4280369-1503138249 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1503129821-26701 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 463623742 HOME/instance-4280369-1503138249.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 5c3e91a7aa658c047886207443b7266d RANDOM SEED=463623742 node114.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 : 5332.98 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 : 5332.98 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 : 5332.98 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 : 5332.98 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: 21764604 kB MemAvailable: 31970016 kB Buffers: 252676 kB Cached: 10242192 kB SwapCached: 0 kB Active: 1757044 kB Inactive: 8793112 kB Active(anon): 46784 kB Inactive(anon): 44384 kB Active(file): 1710260 kB Inactive(file): 8748728 kB Unevictable: 7236 kB Mlocked: 7236 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7524 kB Writeback: 0 kB AnonPages: 61904 kB Mapped: 50792 kB Shmem: 33416 kB Slab: 150516 kB SReclaimable: 124516 kB SUnreclaim: 26000 kB KernelStack: 3216 kB PageTables: 5596 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 332296 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 61840 MiB End job on node114 at 2017-08-19 12:37:55