Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-24 | ? (TO) | 2520.12 | 2512.62 |
Name | LatinSquare/LatinSquare-m1-gp/ qwh-o30-h374-19.xml |
MD5SUM | 3875648f967e99deb98809a056dae84c |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 32.512 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 900 |
Number of constraints | 2 |
Number of domains | 1 |
Minimum domain size | 30 |
Maximum domain size | 30 |
Distribution of domain sizes | [{"size":30,"count":900}] |
Minimum variable degree | 1 |
Maximum variable degree | 2 |
Distribution of variable degrees | [{"degree":1,"count":374},{"degree":2,"count":526}] |
Minimum constraint arity | 526 |
Maximum constraint arity | 900 |
Distribution of constraint arities | [{"arity":526,"count":1},{"arity":900,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"allDifferent","count":1},{"type":"instantiation","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4405924-1569413094.xml" -tl '2520s' -p 1 0.12/0.20 c Choco e747e1e 0.12/0.20 c [HOME/instance-4405924-1569413094.xml, -tl, 2520s, -p, 1] 0.34/0.24 c simple solver 0.34/0.31 c parse instance... 0.95/0.55 c solve instance... 2520.09/2512.60 s UNKNOWN 2520.09/2512.60 c Unexpected resolution interruption!
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: 16375 MiB (15404 MiB free) memory of node 1: 16384 MiB (9409 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405924-1569413094/watcher-4405924-1569413094 -o /tmp/evaluation-result-4405924-1569413094/solver-4405924-1569413094 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569408230-24920 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 745092985 HOME/instance-4405924-1569413094.xml running on 4 cores: 0-3 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=26254, runsolver pid=26251 Current StackSize limit: 8192 KiB [startup+0.100098 s]* /proc/loadavg: 4.45 3.82 2.69 3/230 26270 /proc/meminfo: memFree=25393816/32770688 swapFree=67001288/67108860 [pid=26254] ppid=26251 vsize=113128 memory=1452 CPUtime=0 cores=0-3 /proc/26254/stat : 26254 (xcsp3-exec) S 26251 26254 24889 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517250953 115843072 363 33554432000 4194304 5098028 140724948752448 140724948750552 140048572002940 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21827584 140724948759419 140724948759661 140724948759661 140724948762570 0 /proc/26254/statm: 28282 363 304 221 0 87 0 [pid=26256] ppid=26254 vsize=15144776 memory=28932 CPUtime=0.12 cores=0-3 /proc/26256/stat : 26256 (java) S 26254 26254 24889 0 -1 1077944320 5627 0 0 0 11 1 0 0 20 0 15 0 517250954 15508250624 7233 33554432000 4194304 4196468 140728875604096 140728875586640 140286774705911 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 /proc/26256/statm: 3786194 7233 3147 1 0 3748377 0 [pid=26256/tid=26257] ppid=26254 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=0-3 /proc/26256/task/26257/stat : 26257 (java) R 26254 26254 24889 0 -1 4202560 3549 0 0 0 8 1 0 0 20 0 15 0 517250954 15508250624 7233 33554432000 4194304 4196468 140728875604096 140286778928656 140286755054241 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26258] ppid=26254 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0-3 /proc/26256/task/26258/stat : 26258 (java) S 26254 26254 24889 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517250955 15508250624 7233 33554432000 4194304 4196468 140728875604096 140286727326864 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26259] ppid=26254 vsize=15144776 memory=139648539940480 CPUtime=0 cores=0-3 /proc/26256/task/26259/stat : 26259 (java) S 26254 26254 24889 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517250955 15508250624 7233 33554432000 4194304 4196468 140728875604096 140286726274064 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26260] ppid=26254 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/26256/task/26260/stat : 26260 (java) S 26254 26254 24889 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517250955 15508250624 7233 33554432000 4194304 4196468 140728875604096 140286725221264 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26261] ppid=26254 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/26256/task/26261/stat : 26261 (java) S 26254 26254 24889 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517250955 15508250624 7233 33554432000 4194304 4196468 140728875604096 140286724168464 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26262] ppid=26254 vsize=15144776 memory=139648539940480 CPUtime=0 cores=0-3 /proc/26256/task/26262/stat : 26262 (java) S 26254 26254 24889 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517250956 15508250624 7233 33554432000 4194304 4196468 140728875604096 140286243084656 140286774717058 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26263] ppid=26254 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/26256/task/26263/stat : 26263 (java) S 26254 26254 24889 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517250957 15508250624 7233 33554432000 4194304 4196468 140728875604096 140286242030624 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26264] ppid=26254 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/26256/task/26264/stat : 26264 (java) S 26254 26254 24889 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517250957 15508250624 7233 33554432000 4194304 4196468 140728875604096 140286240977776 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26265] ppid=26254 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/26256/task/26265/stat : 26265 (java) S 26254 26254 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517250960 15508250624 7233 33554432000 4194304 4196468 140728875604096 140286239926096 140286774724507 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26266] ppid=26254 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/26256/task/26266/stat : 26266 (java) S 26254 26254 24889 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 15 0 517250960 15508250624 7233 33554432000 4194304 4196468 140728875604096 140286238874480 140286774717058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26267] ppid=26254 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/26256/task/26267/stat : 26267 (java) S 26254 26254 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517250960 15508250624 7233 33554432000 4194304 4196468 140728875604096 140286237821680 140286774717058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26268] ppid=26254 vsize=15144776 memory=139648539940480 CPUtime=0.01 cores=0-3 /proc/26256/task/26268/stat : 26268 (java) R 26254 26254 24889 0 -1 4202560 347 0 0 0 1 0 0 0 20 0 15 0 517250960 15508250624 7233 33554432000 4194304 4196468 140728875604096 140286236768880 140286753522912 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26269] ppid=26254 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/26256/task/26269/stat : 26269 (java) S 26254 26254 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517250960 15508250624 7233 33554432000 4194304 4196468 140728875604096 140286235716320 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26270] ppid=26254 vsize=15144776 memory=139648539940480 CPUtime=0 cores=0-3 /proc/26256/task/26270/stat : 26270 (java) S 26254 26254 24889 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517250960 15508250624 7233 33554432000 4194304 4196468 140728875604096 140286234663600 140286774717058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 15257904 KiB Current children cumulated memory: 30384 KiB [startup+0.2118 s]* /proc/loadavg: 4.45 3.82 2.69 4/230 26270 /proc/meminfo: memFree=25379564/32770688 swapFree=67001288/67108860 [pid=26254] ppid=26251 vsize=113128 memory=1452 CPUtime=0 cores=0-3 /proc/26254/stat : 26254 (xcsp3-exec) S 26251 26254 24889 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517250953 115843072 363 33554432000 4194304 5098028 140724948752448 140724948750552 140048572002940 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21827584 140724948759419 140724948759661 140724948759661 140724948762570 0 /proc/26254/statm: 28282 363 304 221 0 87 0 [pid=26256] ppid=26254 vsize=15144776 memory=40876 CPUtime=0.34 cores=0-3 /proc/26256/stat : 26256 (java) S 26254 26254 24889 0 -1 1077944320 9384 0 0 0 31 3 0 0 20 0 15 0 517250954 15508250624 10219 33554432000 4194304 4196468 140728875604096 140728875586640 140286774705911 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 /proc/26256/statm: 3786194 10219 3303 1 0 3748377 0 [pid=26256/tid=26257] ppid=26254 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0-3 /proc/26256/task/26257/stat : 26257 (java) R 26254 26254 24889 0 -1 4202560 6558 0 0 0 18 2 0 0 20 0 15 0 517250954 15508250624 10219 33554432000 4194304 4196468 140728875604096 140286778925248 140286774717846 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26258] ppid=26254 vsize=15144776 memory=9098 CPUtime=0 cores=0-3 /proc/26256/task/26258/stat : 26258 (java) S 26254 26254 24889 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517250955 15508250624 10219 33554432000 4194304 4196468 140728875604096 140286727326864 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26259] ppid=26254 vsize=15144776 memory=139648543762419 CPUtime=0 cores=0-3 /proc/26256/task/26259/stat : 26259 (java) S 26254 26254 24889 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517250955 15508250624 10219 33554432000 4194304 4196468 140728875604096 140286726274064 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26260] ppid=26254 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/26256/task/26260/stat : 26260 (java) S 26254 26254 24889 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517250955 15508250624 10219 33554432000 4194304 4196468 140728875604096 140286725221264 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26261] ppid=26254 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/26256/task/26261/stat : 26261 (java) S 26254 26254 24889 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517250955 15508250624 10219 33554432000 4194304 4196468 140728875604096 140286724168464 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26262] ppid=26254 vsize=15144776 memory=139648539940480 CPUtime=0 cores=0-3 /proc/26256/task/26262/stat : 26262 (java) S 26254 26254 24889 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517250956 15508250624 10219 33554432000 4194304 4196468 140728875604096 140286243084656 140286774717058 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26263] ppid=26254 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/26256/task/26263/stat : 26263 (java) S 26254 26254 24889 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517250957 15508250624 10219 33554432000 4194304 4196468 140728875604096 140286242030624 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26264] ppid=26254 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/26256/task/26264/stat : 26264 (java) S 26254 26254 24889 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517250957 15508250624 10219 33554432000 4194304 4196468 140728875604096 140286240977776 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26265] ppid=26254 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/26256/task/26265/stat : 26265 (java) S 26254 26254 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517250960 15508250624 10219 33554432000 4194304 4196468 140728875604096 140286239926096 140286774724507 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26266] ppid=26254 vsize=15144776 memory=0 CPUtime=0.03 cores=0-3 /proc/26256/task/26266/stat : 26266 (java) S 26254 26254 24889 0 -1 1077944384 676 0 0 0 3 0 0 0 20 0 15 0 517250960 15508250624 10219 33554432000 4194304 4196468 140728875604096 140286238874480 140286774717058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26267] ppid=26254 vsize=15144776 memory=-1 CPUtime=0.01 cores=0-3 /proc/26256/task/26267/stat : 26267 (java) S 26254 26254 24889 0 -1 1077944384 86 0 0 0 1 0 0 0 20 0 15 0 517250960 15508250624 10219 33554432000 4194304 4196468 140728875604096 140286237821680 140286774717058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26268] ppid=26254 vsize=15144776 memory=139648539940480 CPUtime=0.07 cores=0-3 /proc/26256/task/26268/stat : 26268 (java) R 26254 26254 24889 0 -1 4202560 760 0 0 0 7 0 0 0 20 0 15 0 517250960 15508250624 10219 33554432000 4194304 4196468 140728875604096 140286236768880 140286758786398 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26269] ppid=26254 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/26256/task/26269/stat : 26269 (java) S 26254 26254 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517250960 15508250624 10219 33554432000 4194304 4196468 140728875604096 140286235716320 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26270] ppid=26254 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/26256/task/26270/stat : 26270 (java) S 26254 26254 24889 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517250960 15508250624 10219 33554432000 4194304 4196468 140728875604096 140286234663600 140286774717058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 15257904 KiB Current children cumulated memory: 42328 KiB [startup+0.316092 s]* /proc/loadavg: 4.45 3.82 2.69 3/230 26270 /proc/meminfo: memFree=25374836/32770688 swapFree=67001288/67108860 [pid=26254] ppid=26251 vsize=113128 memory=1452 CPUtime=0 cores=0-3 /proc/26254/stat : 26254 (xcsp3-exec) S 26251 26254 24889 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517250953 115843072 363 33554432000 4194304 5098028 140724948752448 140724948750552 140048572002940 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21827584 140724948759419 140724948759661 140724948759661 140724948762570 0 /proc/26254/statm: 28282 363 304 221 0 87 0 [pid=26256] ppid=26254 vsize=15149032 memory=46788 CPUtime=0.52 cores=0-3 /proc/26256/stat : 26256 (java) S 26254 26254 24889 0 -1 1077944320 10494 0 0 0 48 4 0 0 20 0 15 0 517250954 15512608768 11697 33554432000 4194304 4196468 140728875604096 140728875586640 140286774705911 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 /proc/26256/statm: 3787258 11697 3324 1 0 3748377 0 [pid=26256/tid=26257] ppid=26254 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=0-3 /proc/26256/task/26257/stat : 26257 (java) R 26254 26254 24889 0 -1 4202560 7560 0 0 0 27 3 0 0 20 0 15 0 517250954 15512608768 11697 33554432000 4194304 4196468 140728875604096 140286778930336 140286774727837 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26258] ppid=26254 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0-3 /proc/26256/task/26258/stat : 26258 (java) S 26254 26254 24889 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517250955 15512608768 11697 33554432000 4194304 4196468 140728875604096 140286727326864 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26259] ppid=26254 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0-3 /proc/26256/task/26259/stat : 26259 (java) S 26254 26254 24889 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517250955 15512608768 11697 33554432000 4194304 4196468 140728875604096 140286726274064 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26260] ppid=26254 vsize=15149032 memory=-4190076264842474805 CPUtime=0 cores=0-3 /proc/26256/task/26260/stat : 26260 (java) S 26254 26254 24889 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517250955 15512608768 11697 33554432000 4194304 4196468 140728875604096 140286725221264 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26261] ppid=26254 vsize=15149032 memory=-7449686459617427615 CPUtime=0 cores=0-3 /proc/26256/task/26261/stat : 26261 (java) S 26254 26254 24889 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517250955 15512608768 11697 33554432000 4194304 4196468 140728875604096 140286724168464 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26262] ppid=26254 vsize=15149032 memory=6944656425123485561 CPUtime=0 cores=0-3 /proc/26256/task/26262/stat : 26262 (java) S 26254 26254 24889 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517250956 15512608768 11697 33554432000 4194304 4196468 140728875604096 140286243084656 140286774717058 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26263] ppid=26254 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0-3 /proc/26256/task/26263/stat : 26263 (java) S 26254 26254 24889 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517250957 15512608768 11697 33554432000 4194304 4196468 140728875604096 140286242030624 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26264] ppid=26254 vsize=15149032 memory=8514726395715349142 CPUtime=0 cores=0-3 /proc/26256/task/26264/stat : 26264 (java) S 26254 26254 24889 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517250957 15512608768 11697 33554432000 4194304 4196468 140728875604096 140286240977776 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26265] ppid=26254 vsize=15149032 memory=-6664436420846797971 CPUtime=0 cores=0-3 /proc/26256/task/26265/stat : 26265 (java) S 26254 26254 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517250960 15512608768 11697 33554432000 4194304 4196468 140728875604096 140286239926096 140286774724507 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26266] ppid=26254 vsize=15149032 memory=4426078206164241782 CPUtime=0.04 cores=0-3 /proc/26256/task/26266/stat : 26266 (java) S 26254 26254 24889 0 -1 1077944384 685 0 0 0 4 0 0 0 20 0 15 0 517250960 15512608768 11697 33554432000 4194304 4196468 140728875604096 140286238874480 140286774717058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26267] ppid=26254 vsize=15149032 memory=0 CPUtime=0.03 cores=0-3 /proc/26256/task/26267/stat : 26267 (java) S 26254 26254 24889 0 -1 1077944384 93 0 0 0 3 0 0 0 20 0 15 0 517250960 15512608768 11697 33554432000 4194304 4196468 140728875604096 140286237821680 140286774717058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26268] ppid=26254 vsize=15149032 memory=0 CPUtime=0.13 cores=0-3 /proc/26256/task/26268/stat : 26268 (java) S 26254 26254 24889 0 -1 1077944384 848 0 0 0 13 0 0 0 20 0 15 0 517250960 15512608768 11697 33554432000 4194304 4196468 140728875604096 140286236768880 140286774717058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26269] ppid=26254 vsize=15149032 memory=0 CPUtime=0 cores=0-3 /proc/26256/task/26269/stat : 26269 (java) S 26254 26254 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517250960 15512608768 11697 33554432000 4194304 4196468 140728875604096 140286235716320 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26270] ppid=26254 vsize=15149032 memory=0 CPUtime=0 cores=0-3 /proc/26256/task/26270/stat : 26270 (java) S 26254 26254 24889 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517250960 15512608768 11697 33554432000 4194304 4196468 140728875604096 140286234663600 140286774717058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 15262160 KiB Current children cumulated memory: 48240 KiB [startup+0.701073 s] /proc/loadavg: 4.45 3.82 2.69 6/230 26270 /proc/meminfo: memFree=25364900/32770688 swapFree=67001288/67108860 [pid=26254] ppid=26251 vsize=113128 memory=1452 CPUtime=0 cores=0-3 /proc/26254/stat : 26254 (xcsp3-exec) S 26251 26254 24889 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517250953 115843072 363 33554432000 4194304 5098028 140724948752448 140724948750552 140048572002940 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21827584 140724948759419 140724948759661 140724948759661 140724948762570 0 /proc/26254/statm: 28282 363 304 221 0 87 0 [pid=26256] ppid=26254 vsize=15151156 memory=70900 CPUtime=1.55 cores=0-3 /proc/26256/stat : 26256 (java) S 26254 26254 24889 0 -1 1077944320 14480 0 0 0 150 5 0 0 20 0 15 0 517250954 15514783744 17725 33554432000 4194304 4196468 140728875604096 140728875586640 140286774705911 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 /proc/26256/statm: 3787789 17725 3458 1 0 3748889 0 [pid=26256/tid=26257] ppid=26254 vsize=15151156 memory=64316 CPUtime=0.68 cores=0-3 /proc/26256/task/26257/stat : 26257 (java) R 26254 26254 24889 0 -1 4202560 9060 0 0 0 64 4 0 0 20 0 15 0 517250954 15514783744 17725 33554432000 4194304 4196468 140728875604096 140286778942704 140286774717846 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26258] ppid=26254 vsize=15151156 memory=984 CPUtime=0 cores=0-3 /proc/26256/task/26258/stat : 26258 (java) S 26254 26254 24889 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517250955 15514783744 17725 33554432000 4194304 4196468 140728875604096 140286727326864 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26259] ppid=26254 vsize=15151156 memory=2044 CPUtime=0 cores=0-3 /proc/26256/task/26259/stat : 26259 (java) S 26254 26254 24889 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517250955 15514783744 17725 33554432000 4194304 4196468 140728875604096 140286726274064 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26260] ppid=26254 vsize=15151156 memory=1368 CPUtime=0 cores=0-3 /proc/26256/task/26260/stat : 26260 (java) S 26254 26254 24889 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517250955 15514783744 17725 33554432000 4194304 4196468 140728875604096 140286725221264 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26261] ppid=26254 vsize=15151156 memory=1056 CPUtime=0 cores=0-3 /proc/26256/task/26261/stat : 26261 (java) S 26254 26254 24889 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517250955 15514783744 17725 33554432000 4194304 4196468 140728875604096 140286724168464 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26262] ppid=26254 vsize=15151156 memory=772 CPUtime=0 cores=0-3 /proc/26256/task/26262/stat : 26262 (java) S 26254 26254 24889 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 517250956 15514783744 17725 33554432000 4194304 4196468 140728875604096 140286243084656 140286774717058 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26263] ppid=26254 vsize=15151156 memory=1696 CPUtime=0 cores=0-3 /proc/26256/task/26263/stat : 26263 (java) S 26254 26254 24889 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517250957 15514783744 17725 33554432000 4194304 4196468 140728875604096 140286242030624 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26264] ppid=26254 vsize=15151156 memory=1228 CPUtime=0 cores=0-3 /proc/26256/task/26264/stat : 26264 (java) S 26254 26254 24889 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517250957 15514783744 17725 33554432000 4194304 4196468 140728875604096 140286240977776 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26265] ppid=26254 vsize=15151156 memory=6136 CPUtime=0 cores=0-3 /proc/26256/task/26265/stat : 26265 (java) S 26254 26254 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517250960 15514783744 17725 33554432000 4194304 4196468 140728875604096 140286239926096 140286774724507 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26266] ppid=26254 vsize=15151156 memory=780 CPUtime=0.27 cores=0-3 /proc/26256/task/26266/stat : 26266 (java) R 26254 26254 24889 0 -1 4202560 1323 0 0 0 27 0 0 0 20 0 15 0 517250960 15514783744 17725 33554432000 4194304 4196468 140728875604096 140286238874608 140286752300704 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26267] ppid=26254 vsize=15151156 memory=3516 CPUtime=0.23 cores=0-3 /proc/26256/task/26267/stat : 26267 (java) R 26254 26254 24889 0 -1 4202560 1148 0 0 0 23 0 0 0 20 0 15 0 517250960 15514783744 17725 33554432000 4194304 4196468 140728875604096 140286237802696 140286754361776 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26268] ppid=26254 vsize=15151156 memory=1088 CPUtime=0.34 cores=0-3 /proc/26256/task/26268/stat : 26268 (java) R 26254 26254 24889 0 -1 4202560 1640 0 0 0 34 0 0 0 20 0 15 0 517250960 15514783744 17725 33554432000 4194304 4196468 140728875604096 140286236768880 140286752694267 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26269] ppid=26254 vsize=15151156 memory=2832 CPUtime=0 cores=0-3 /proc/26256/task/26269/stat : 26269 (java) S 26254 26254 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517250960 15514783744 17725 33554432000 4194304 4196468 140728875604096 140286235716320 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26270] ppid=26254 vsize=15151156 memory=1564 CPUtime=0 cores=0-3 /proc/26256/task/26270/stat : 26270 (java) S 26254 26254 24889 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517250960 15514783744 17725 33554432000 4194304 4196468 140728875604096 140286234663600 140286774717058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 Current children cumulated CPU time: 1.55 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 72352 KiB [startup+1.50088 s] /proc/loadavg: 4.45 3.82 2.69 5/230 26270 /proc/meminfo: memFree=25337616/32770688 swapFree=67001288/67108860 [pid=26254] ppid=26251 vsize=113128 memory=1452 CPUtime=0 cores=0-3 /proc/26254/stat : 26254 (xcsp3-exec) S 26251 26254 24889 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517250953 115843072 363 33554432000 4194304 5098028 140724948752448 140724948750552 140048572002940 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21827584 140724948759419 140724948759661 140724948759661 140724948762570 0 /proc/26254/statm: 28282 363 304 221 0 87 0 ################ # More data... # ################ /proc/26256/task/26264/stat : 26264 (java) S 26254 26254 24889 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 15 0 517250957 15514783744 446888 33554432000 4194304 4196468 140728875604096 140286240977792 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26265] ppid=26254 vsize=15151156 memory=3612 CPUtime=0 cores=0-3 /proc/26256/task/26265/stat : 26265 (java) S 26254 26254 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517250960 15514783744 446888 33554432000 4194304 4196468 140728875604096 140286239926096 140286774724507 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26266] ppid=26254 vsize=15151156 memory=64376 CPUtime=1.77 cores=0-3 /proc/26256/task/26266/stat : 26266 (java) S 26254 26254 24889 0 -1 1077944384 12586 0 0 0 177 0 0 0 20 0 15 0 517250960 15514783744 446888 33554432000 4194304 4196468 140728875604096 140286238874480 140286774717058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26267] ppid=26254 vsize=15151156 memory=64376 CPUtime=1.97 cores=0-3 /proc/26256/task/26267/stat : 26267 (java) S 26254 26254 24889 0 -1 1077944384 10093 0 0 0 196 1 0 0 20 0 15 0 517250960 15514783744 446888 33554432000 4194304 4196468 140728875604096 140286237821680 140286774717058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26268] ppid=26254 vsize=15151156 memory=984 CPUtime=0.52 cores=0-3 /proc/26256/task/26268/stat : 26268 (java) S 26254 26254 24889 0 -1 1077944384 7574 0 0 0 51 1 0 0 20 0 15 0 517250960 15514783744 446888 33554432000 4194304 4196468 140728875604096 140286236768880 140286774717058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 20 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26269] ppid=26254 vsize=15151156 memory=3612 CPUtime=0 cores=0-3 /proc/26256/task/26269/stat : 26269 (java) S 26254 26254 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517250960 15514783744 446888 33554432000 4194304 4196468 140728875604096 140286235716320 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26270] ppid=26254 vsize=15151156 memory=64376 CPUtime=0.6 cores=0-3 /proc/26256/task/26270/stat : 26270 (java) S 26254 26254 24889 0 -1 1077944384 1309 0 0 0 24 36 0 0 20 0 15 0 517250960 15514783744 446888 33554432000 4194304 4196468 140728875604096 140286234663600 140286774717058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 37 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 Current children cumulated CPU time: 2389.57 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 1789004 KiB [startup+2442.3 s] /proc/loadavg: 1.94 2.00 1.95 3/231 26496 /proc/meminfo: memFree=22797768/32770688 swapFree=67001288/67108860 [pid=26254] ppid=26251 vsize=113128 memory=1452 CPUtime=0 cores=0-3 /proc/26254/stat : 26254 (xcsp3-exec) S 26251 26254 24889 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517250953 115843072 363 33554432000 4194304 5098028 140724948752448 140724948750552 140048572002940 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21827584 140724948759419 140724948759661 140724948759661 140724948762570 0 /proc/26254/statm: 28282 363 304 221 0 87 0 [pid=26256] ppid=26254 vsize=15151156 memory=1423620 CPUtime=2449.71 cores=0-3 /proc/26256/stat : 26256 (java) S 26254 26254 24889 0 -1 1077944320 91245 0 0 0 244744 227 0 0 20 0 15 0 517250954 15514783744 355905 33554432000 4194304 4196468 140728875604096 140728875586640 140286774705911 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 /proc/26256/statm: 3787789 355905 3527 1 0 3748889 0 [pid=26256/tid=26257] ppid=26254 vsize=15151156 memory=1423620 CPUtime=2440.71 cores=0-3 /proc/26256/task/26257/stat : 26257 (java) R 26254 26254 24889 0 -1 4202560 42025 0 0 0 243905 166 0 0 20 0 15 0 517250954 15514783744 355905 33554432000 4194304 4196468 140728875604096 140286778945648 140286403862522 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26258] ppid=26254 vsize=15151156 memory=1396892 CPUtime=0.87 cores=0-3 /proc/26256/task/26258/stat : 26258 (java) S 26254 26254 24889 0 -1 1077944384 2783 0 0 0 82 5 0 0 20 0 15 0 517250955 15514783744 355905 33554432000 4194304 4196468 140728875604096 140286727326864 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26259] ppid=26254 vsize=15151156 memory=1396892 CPUtime=0.88 cores=0-3 /proc/26256/task/26259/stat : 26259 (java) S 26254 26254 24889 0 -1 1077944384 2283 0 0 0 82 6 0 0 20 0 15 0 517250955 15514783744 355905 33554432000 4194304 4196468 140728875604096 140286726274064 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26260] ppid=26254 vsize=15151156 memory=1396892 CPUtime=0.88 cores=0-3 /proc/26256/task/26260/stat : 26260 (java) S 26254 26254 24889 0 -1 1077944384 2885 0 0 0 83 5 0 0 20 0 15 0 517250955 15514783744 355905 33554432000 4194304 4196468 140728875604096 140286725221264 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26261] ppid=26254 vsize=15151156 memory=1423620 CPUtime=0.86 cores=0-3 /proc/26256/task/26261/stat : 26261 (java) S 26254 26254 24889 0 -1 1077944384 3262 0 0 0 81 5 0 0 20 0 15 0 517250955 15514783744 355905 33554432000 4194304 4196468 140728875604096 140286724168464 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26262] ppid=26254 vsize=15151156 memory=1396892 CPUtime=0.55 cores=0-3 /proc/26256/task/26262/stat : 26262 (java) S 26254 26254 24889 0 -1 1077944384 5021 0 0 0 45 10 0 0 20 0 15 0 517250956 15514783744 355905 33554432000 4194304 4196468 140728875604096 140286243084656 140286774717058 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26263] ppid=26254 vsize=15151156 memory=1396892 CPUtime=0 cores=0-3 /proc/26256/task/26263/stat : 26263 (java) S 26254 26254 24889 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 517250957 15514783744 355905 33554432000 4194304 4196468 140728875604096 140286242030688 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26264] ppid=26254 vsize=15151156 memory=1452 CPUtime=0 cores=0-3 /proc/26256/task/26264/stat : 26264 (java) S 26254 26254 24889 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 15 0 517250957 15514783744 355905 33554432000 4194304 4196468 140728875604096 140286240977792 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26265] ppid=26254 vsize=15151156 memory=3612 CPUtime=0 cores=0-3 /proc/26256/task/26265/stat : 26265 (java) S 26254 26254 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517250960 15514783744 355905 33554432000 4194304 4196468 140728875604096 140286239926096 140286774724507 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26266] ppid=26254 vsize=15151156 memory=3612 CPUtime=1.77 cores=0-3 /proc/26256/task/26266/stat : 26266 (java) S 26254 26254 24889 0 -1 1077944384 12588 0 0 0 177 0 0 0 20 0 15 0 517250960 15514783744 355905 33554432000 4194304 4196468 140728875604096 140286238874480 140286774717058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26267] ppid=26254 vsize=15151156 memory=64376 CPUtime=1.97 cores=0-3 /proc/26256/task/26267/stat : 26267 (java) S 26254 26254 24889 0 -1 1077944384 10095 0 0 0 196 1 0 0 20 0 15 0 517250960 15514783744 355905 33554432000 4194304 4196468 140728875604096 140286237821680 140286774717058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26268] ppid=26254 vsize=15151156 memory=1452 CPUtime=0.52 cores=0-3 /proc/26256/task/26268/stat : 26268 (java) S 26254 26254 24889 0 -1 1077944384 7576 0 0 0 51 1 0 0 20 0 15 0 517250960 15514783744 355905 33554432000 4194304 4196468 140728875604096 140286236768880 140286774717058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 20 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26269] ppid=26254 vsize=15151156 memory=1423620 CPUtime=0 cores=0-3 /proc/26256/task/26269/stat : 26269 (java) S 26254 26254 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517250960 15514783744 355905 33554432000 4194304 4196468 140728875604096 140286235716320 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26270] ppid=26254 vsize=15151156 memory=1423620 CPUtime=0.61 cores=0-3 /proc/26256/task/26270/stat : 26270 (java) S 26254 26254 24889 0 -1 1077944384 1315 0 0 0 24 37 0 0 20 0 15 0 517250960 15514783744 355905 33554432000 4194304 4196468 140728875604096 140286234663600 140286774717058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 37 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 Current children cumulated CPU time: 2449.71 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 1425072 KiB [startup+2502.3 s] /proc/loadavg: 1.75 1.94 1.94 3/229 26577 /proc/meminfo: memFree=20918280/32770688 swapFree=67001288/67108860 [pid=26254] ppid=26251 vsize=113128 memory=1452 CPUtime=0 cores=0-3 /proc/26254/stat : 26254 (xcsp3-exec) S 26251 26254 24889 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517250953 115843072 363 33554432000 4194304 5098028 140724948752448 140724948750552 140048572002940 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21827584 140724948759419 140724948759661 140724948759661 140724948762570 0 /proc/26254/statm: 28282 363 304 221 0 87 0 [pid=26256] ppid=26254 vsize=15151156 memory=1423672 CPUtime=2509.76 cores=0-3 /proc/26256/stat : 26256 (java) S 26254 26254 24889 0 -1 1077944320 91352 0 0 0 250747 229 0 0 20 0 15 0 517250954 15514783744 355918 33554432000 4194304 4196468 140728875604096 140728875586640 140286774705911 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 /proc/26256/statm: 3787789 355918 3527 1 0 3748889 0 [pid=26256/tid=26257] ppid=26254 vsize=15151156 memory=1423672 CPUtime=2500.69 cores=0-3 /proc/26256/task/26257/stat : 26257 (java) R 26254 26254 24889 0 -1 4202560 42067 0 0 0 249902 167 0 0 20 0 15 0 517250954 15514783744 355918 33554432000 4194304 4196468 140728875604096 140286778945648 140286403324109 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26258] ppid=26254 vsize=15151156 memory=1423672 CPUtime=0.89 cores=0-3 /proc/26256/task/26258/stat : 26258 (java) S 26254 26254 24889 0 -1 1077944384 2785 0 0 0 84 5 0 0 20 0 15 0 517250955 15514783744 355918 33554432000 4194304 4196468 140728875604096 140286727326864 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26259] ppid=26254 vsize=15151156 memory=1423672 CPUtime=0.89 cores=0-3 /proc/26256/task/26259/stat : 26259 (java) S 26254 26254 24889 0 -1 1077944384 2288 0 0 0 83 6 0 0 20 0 15 0 517250955 15514783744 355918 33554432000 4194304 4196468 140728875604096 140286726274064 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26260] ppid=26254 vsize=15151156 memory=1423672 CPUtime=0.89 cores=0-3 /proc/26256/task/26260/stat : 26260 (java) S 26254 26254 24889 0 -1 1077944384 2887 0 0 0 84 5 0 0 20 0 15 0 517250955 15514783744 355918 33554432000 4194304 4196468 140728875604096 140286725221264 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26261] ppid=26254 vsize=15151156 memory=1423672 CPUtime=0.88 cores=0-3 /proc/26256/task/26261/stat : 26261 (java) S 26254 26254 24889 0 -1 1077944384 3263 0 0 0 83 5 0 0 20 0 15 0 517250955 15514783744 355918 33554432000 4194304 4196468 140728875604096 140286724168464 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26262] ppid=26254 vsize=15151156 memory=1423672 CPUtime=0.55 cores=0-3 /proc/26256/task/26262/stat : 26262 (java) S 26254 26254 24889 0 -1 1077944384 5056 0 0 0 45 10 0 0 20 0 15 0 517250956 15514783744 355918 33554432000 4194304 4196468 140728875604096 140286243084656 140286774717058 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26263] ppid=26254 vsize=15151156 memory=1423672 CPUtime=0 cores=0-3 /proc/26256/task/26263/stat : 26263 (java) S 26254 26254 24889 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 517250957 15514783744 355918 33554432000 4194304 4196468 140728875604096 140286242030688 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26264] ppid=26254 vsize=15151156 memory=1452 CPUtime=0 cores=0-3 /proc/26256/task/26264/stat : 26264 (java) S 26254 26254 24889 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 15 0 517250957 15514783744 355918 33554432000 4194304 4196468 140728875604096 140286240977792 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26265] ppid=26254 vsize=15151156 memory=1423672 CPUtime=0 cores=0-3 /proc/26256/task/26265/stat : 26265 (java) S 26254 26254 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517250960 15514783744 355918 33554432000 4194304 4196468 140728875604096 140286239926096 140286774724507 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26266] ppid=26254 vsize=15151156 memory=1423672 CPUtime=1.77 cores=0-3 /proc/26256/task/26266/stat : 26266 (java) S 26254 26254 24889 0 -1 1077944384 12589 0 0 0 177 0 0 0 20 0 15 0 517250960 15514783744 355918 33554432000 4194304 4196468 140728875604096 140286238874480 140286774717058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26267] ppid=26254 vsize=15151156 memory=3612 CPUtime=1.97 cores=0-3 /proc/26256/task/26267/stat : 26267 (java) S 26254 26254 24889 0 -1 1077944384 10095 0 0 0 196 1 0 0 20 0 15 0 517250960 15514783744 355918 33554432000 4194304 4196468 140728875604096 140286237821680 140286774717058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26268] ppid=26254 vsize=15151156 memory=1452 CPUtime=0.52 cores=0-3 /proc/26256/task/26268/stat : 26268 (java) S 26254 26254 24889 0 -1 1077944384 7576 0 0 0 51 1 0 0 20 0 15 0 517250960 15514783744 355918 33554432000 4194304 4196468 140728875604096 140286236768880 140286774717058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 20 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26269] ppid=26254 vsize=15151156 memory=1452 CPUtime=0 cores=0-3 /proc/26256/task/26269/stat : 26269 (java) S 26254 26254 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517250960 15514783744 355918 33554432000 4194304 4196468 140728875604096 140286235716320 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26270] ppid=26254 vsize=15151156 memory=1423672 CPUtime=0.62 cores=0-3 /proc/26256/task/26270/stat : 26270 (java) S 26254 26254 24889 0 -1 1077944384 1334 0 0 0 25 37 0 0 20 0 15 0 517250960 15514783744 355918 33554432000 4194304 4196468 140728875604096 140286234663600 140286774717058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 37 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 Current children cumulated CPU time: 2509.76 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 1425124 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2512.6 s] /proc/loadavg: 1.55 1.89 1.92 3/229 26577 /proc/meminfo: memFree=19423956/32770688 swapFree=67001288/67108860 [pid=26254] ppid=26251 vsize=113128 memory=1452 CPUtime=0 cores=0-3 /proc/26254/stat : 26254 (xcsp3-exec) S 26251 26254 24889 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517250953 115843072 363 33554432000 4194304 5098028 140724948752448 140724948750552 140048572002940 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21827584 140724948759419 140724948759661 140724948759661 140724948762570 0 /proc/26254/statm: 28282 363 304 221 0 87 0 [pid=26256] ppid=26254 vsize=15151156 memory=1505888 CPUtime=2520.09 cores=0-3 /proc/26256/stat : 26256 (java) S 26254 26254 24889 0 -1 1077944320 91805 0 0 0 251779 230 0 0 20 0 15 0 517250954 15514783744 376472 33554432000 4194304 4196468 140728875604096 140728875586640 140286774705911 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 /proc/26256/statm: 3787789 376472 3527 1 0 3748889 0 [pid=26256/tid=26257] ppid=26254 vsize=15151156 memory=3288 CPUtime=2510.99 cores=0-3 /proc/26256/task/26257/stat : 26257 (java) R 26254 26254 24889 0 -1 4202560 42203 0 0 0 250931 168 0 0 20 0 15 0 517250954 15514783744 376472 33554432000 4194304 4196468 140728875604096 140286778945640 140286402813139 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26258] ppid=26254 vsize=15151156 memory=1452 CPUtime=0.89 cores=0-3 /proc/26256/task/26258/stat : 26258 (java) S 26254 26254 24889 0 -1 1077944384 2785 0 0 0 84 5 0 0 20 0 15 0 517250955 15514783744 376472 33554432000 4194304 4196468 140728875604096 140286727326864 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26259] ppid=26254 vsize=15151156 memory=1423672 CPUtime=0.9 cores=0-3 /proc/26256/task/26259/stat : 26259 (java) S 26254 26254 24889 0 -1 1077944384 2288 0 0 0 84 6 0 0 20 0 15 0 517250955 15514783744 376472 33554432000 4194304 4196468 140728875604096 140286726274064 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26260] ppid=26254 vsize=15151156 memory=1412 CPUtime=0.89 cores=0-3 /proc/26256/task/26260/stat : 26260 (java) S 26254 26254 24889 0 -1 1077944384 2887 0 0 0 84 5 0 0 20 0 15 0 517250955 15514783744 376472 33554432000 4194304 4196468 140728875604096 140286725221264 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26261] ppid=26254 vsize=15151156 memory=2756 CPUtime=0.88 cores=0-3 /proc/26256/task/26261/stat : 26261 (java) S 26254 26254 24889 0 -1 1077944384 3263 0 0 0 83 5 0 0 20 0 15 0 517250955 15514783744 376472 33554432000 4194304 4196468 140728875604096 140286724168464 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26262] ppid=26254 vsize=15151156 memory=1448 CPUtime=0.55 cores=0-3 /proc/26256/task/26262/stat : 26262 (java) S 26254 26254 24889 0 -1 1077944384 5058 0 0 0 45 10 0 0 20 0 15 0 517250956 15514783744 376472 33554432000 4194304 4196468 140728875604096 140286243084656 140286774717058 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26263] ppid=26254 vsize=15151156 memory=288230574492221466 CPUtime=0 cores=0-3 /proc/26256/task/26263/stat : 26263 (java) S 26254 26254 24889 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 517250957 15514783744 376472 33554432000 4194304 4196468 140728875604096 140286242030688 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26264] ppid=26254 vsize=15151156 memory=288230596050944315 CPUtime=0 cores=0-3 /proc/26256/task/26264/stat : 26264 (java) S 26254 26254 24889 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 15 0 517250957 15514783744 376472 33554432000 4194304 4196468 140728875604096 140286240977792 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26265] ppid=26254 vsize=15151156 memory=14973369246290159 CPUtime=0 cores=0-3 /proc/26256/task/26265/stat : 26265 (java) S 26254 26254 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517250960 15514783744 376472 33554432000 4194304 4196468 140728875604096 140286239926096 140286774724507 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26266] ppid=26254 vsize=15151156 memory=4872558044660077418 CPUtime=1.78 cores=0-3 /proc/26256/task/26266/stat : 26266 (java) S 26254 26254 24889 0 -1 1077944384 12902 0 0 0 178 0 0 0 20 0 15 0 517250960 15514783744 376472 33554432000 4194304 4196468 140728875604096 140286238874480 140286774717058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26267] ppid=26254 vsize=15151156 memory=0 CPUtime=1.97 cores=0-3 /proc/26256/task/26267/stat : 26267 (java) S 26254 26254 24889 0 -1 1077944384 10095 0 0 0 196 1 0 0 20 0 15 0 517250960 15514783744 376472 33554432000 4194304 4196468 140728875604096 140286237821680 140286774717058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26268] ppid=26254 vsize=15151156 memory=0 CPUtime=0.52 cores=0-3 /proc/26256/task/26268/stat : 26268 (java) S 26254 26254 24889 0 -1 1077944384 7576 0 0 0 51 1 0 0 20 0 15 0 517250960 15514783744 376472 33554432000 4194304 4196468 140728875604096 140286236768880 140286774717058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 20 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26269] ppid=26254 vsize=15151156 memory=0 CPUtime=0 cores=0-3 /proc/26256/task/26269/stat : 26269 (java) S 26254 26254 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517250960 15514783744 376472 33554432000 4194304 4196468 140728875604096 140286235716320 140286774716117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 [pid=26256/tid=26270] ppid=26254 vsize=15151156 memory=0 CPUtime=0.63 cores=0-3 /proc/26256/task/26270/stat : 26270 (java) S 26254 26254 24889 0 -1 1077944384 1336 0 0 0 25 38 0 0 20 0 15 0 517250960 15514783744 376472 33554432000 4194304 4196468 140728875604096 140286234663600 140286774717058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 37 0 0 6293624 6294260 23580672 140728875611119 140728875611290 140728875611290 140728875614159 0 Current children cumulated CPU time: 2520.09 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 1507340 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2512.61 s] # the end of solver process 26254 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001701 s, system=0.00085 s [startup+2512.62 s] # the end of solver process 26256 was just reported to runsolver # cumulated CPU time of all completed processes: user=2517.8 s, system=2.31545 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2512.62 CPU time (s): 2520.12 CPU user time (s): 2517.8 CPU system time (s): 2.31545 CPU usage (%): 100.299 Max. virtual memory (cumulated for all children) (KiB): 15264284 Max. memory (cumulated for all children) (KiB): 3274816 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2517.8 system time used= 2.31545 maximum resident set size= 3335376 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 92535 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2896 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 66512 involuntary context switches= 3913 # summary of solver processes directly reported to runsolver: # pid: 26254,26256 # total CPU time (s): 2520.12 # total CPU user time (s): 2517.8 # total CPU system time (s): 2.31545 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 17.1702 second user time and 24.6222 second system time The end
Begin job on node116 at 2019-09-25 14:04:12 IDJOB=4405924 IDBENCH=138957 IDSOLVER=2869 FILE ID=node116/4405924-1569413094 RUNJOBID= node116-1569408230-24920 PBS_JOBID= 21705707 Free space on /tmp= 6524 MiB SOLVER NAME= choco-solver 2019-09-24 BENCH NAME= XCSP17/LatinSquare/LatinSquare-m1-gp/qwh-o30-h374-19.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p 1 -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405924-1569413094/watcher-4405924-1569413094 -o /tmp/evaluation-result-4405924-1569413094/solver-4405924-1569413094 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569408230-24920 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 745092985 HOME/instance-4405924-1569413094.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3875648f967e99deb98809a056dae84c RANDOM SEED=745092985 node116.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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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: 32770688 kB MemFree: 25408852 kB MemAvailable: 31710412 kB Buffers: 126408 kB Cached: 6307860 kB SwapCached: 3296 kB Active: 3343416 kB Inactive: 3231892 kB Active(anon): 140668 kB Inactive(anon): 56628 kB Active(file): 3202748 kB Inactive(file): 3175264 kB Unevictable: 109488 kB Mlocked: 109488 kB SwapTotal: 67108860 kB SwapFree: 67001288 kB Dirty: 26388 kB Writeback: 0 kB AnonPages: 288912 kB Mapped: 70700 kB Shmem: 47788 kB Slab: 382600 kB SReclaimable: 352008 kB SUnreclaim: 30592 kB KernelStack: 4064 kB PageTables: 5868 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 1519044 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 180224 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 6500 MiB End job on node116 at 2019-09-25 14:46:05