Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 0 | 49.7732 | 7.57665 |
Name | QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-07.xml |
MD5SUM | 7aff4fe352a8c3fb8c4e8479cd8d4369 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 45.7895 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 65 |
Number of constraints | 64 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 49 |
Distribution of domain sizes | [{"size":2,"count":15},{"size":49,"count":50}] |
Minimum variable degree | 2 |
Maximum variable degree | 15 |
Distribution of variable degrees | [{"degree":2,"count":17},{"degree":3,"count":32},{"degree":4,"count":15},{"degree":15,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 49 |
Distribution of constraint arities | [{"arity":2,"count":48},{"arity":3,"count":15},{"arity":49,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 63 |
Distribution of constraint types | [{"type":"intension","count":63},{"type":"allDifferent","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407066-1569352392.xml" -tl '20160s' -p 8 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4407066-1569352392.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.29 c parse instance... 5.15/1.55 c solve instance... 20.09/3.57 o 6 24.92/4.25 o 4 31.07/5.06 o 3 41.62/6.49 o 2 43.34/6.72 o 1 49.49/7.56 o 0 49.49/7.56 s OPTIMUM FOUND 49.49/7.56 v <instantiation> 49.49/7.56 v <list>q x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] </list> 49.49/7.56 v <values>16 42 37 22 35 44 31 40 27 12 3 8 23 28 43 38 29 24 11 20 25 34 47 32 17 26 41 46 33 48 39 30 45 36 21 16 7 2 15 0 9 14 1 10 5 18 13 4 19 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 49.49/7.56 v </instantiation>
OK 0
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 (13798 MiB free) memory of node 1: 16384 MiB (11315 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407066-1569352392/watcher-4407066-1569352392 -o /tmp/evaluation-result-4407066-1569352392/solver-4407066-1569352392 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1569349242-16448 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1318873256 HOME/instance-4407066-1569352392.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=19501, runsolver pid=19498 Current StackSize limit: 8192 KiB [startup+0.10461 s]* /proc/loadavg: 7.97 8.17 7.93 2/213 19522 /proc/meminfo: memFree=25700928/32770624 swapFree=66959708/67108860 [pid=19501] ppid=19498 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/19501/stat : 19501 (xcsp3-exec) S 19498 19501 16421 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511507999 115843072 363 33554432000 4194304 5098028 140730296696288 140730296694392 140129259983484 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8577024 140730296701813 140730296702057 140730296702057 140730296704970 0 /proc/19501/statm: 28282 363 304 221 0 87 0 [pid=19503] ppid=19501 vsize=28227396 memory=29348 CPUtime=0.13 cores=0-7 /proc/19503/stat : 19503 (java) S 19501 19501 16421 0 -1 1077944320 5724 0 0 0 12 1 0 0 20 0 20 0 511507999 28904853504 7337 33554432000 4194304 4196468 140730241124400 140730241106944 140525928988407 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 /proc/19503/statm: 7056849 7337 3165 1 0 7019032 0 [pid=19503/tid=19504] ppid=19501 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/19503/task/19504/stat : 19504 (java) R 19501 19501 16421 0 -1 4202560 3630 0 0 0 8 1 0 0 20 0 20 0 511508000 28904853504 7337 33554432000 4194304 4196468 140730241124400 140525933219552 140525921225534 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19505] ppid=19501 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19503/task/19505/stat : 19505 (java) S 19501 19501 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511508000 28904853504 7337 33554432000 4194304 4196468 140730241124400 140525480749328 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19506] ppid=19501 vsize=28227396 memory=140111482419350 CPUtime=0 cores=0-7 /proc/19503/task/19506/stat : 19506 (java) S 19501 19501 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511508001 28904853504 7337 33554432000 4194304 4196468 140730241124400 140525479696784 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19507] ppid=19501 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19503/task/19507/stat : 19507 (java) S 19501 19501 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511508001 28904853504 7337 33554432000 4194304 4196468 140730241124400 140525478644240 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19508] ppid=19501 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19503/task/19508/stat : 19508 (java) S 19501 19501 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511508001 28904853504 7337 33554432000 4194304 4196468 140730241124400 140525477591696 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19509] ppid=19501 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19503/task/19509/stat : 19509 (java) S 19501 19501 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511508001 28904853504 7337 33554432000 4194304 4196468 140730241124400 140525476539152 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19510] ppid=19501 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/19503/task/19510/stat : 19510 (java) S 19501 19501 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511508001 28904853504 7337 33554432000 4194304 4196468 140730241124400 140525475486608 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19511] ppid=19501 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19503/task/19511/stat : 19511 (java) S 19501 19501 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511508001 28904853504 7337 33554432000 4194304 4196468 140730241124400 140525474434064 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19512] ppid=19501 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19503/task/19512/stat : 19512 (java) S 19501 19501 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511508001 28904853504 7337 33554432000 4194304 4196468 140730241124400 140525473381520 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19513] ppid=19501 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19503/task/19513/stat : 19513 (java) S 19501 19501 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511508002 28904853504 7337 33554432000 4194304 4196468 140730241124400 140524645582832 140525928999554 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19514] ppid=19501 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19503/task/19514/stat : 19514 (java) S 19501 19501 16421 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511508002 28904853504 7337 33554432000 4194304 4196468 140730241124400 140524644529056 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19515] ppid=19501 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19503/task/19515/stat : 19515 (java) S 19501 19501 16421 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511508003 28904853504 7337 33554432000 4194304 4196468 140730241124400 140524643476464 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19516] ppid=19501 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19503/task/19516/stat : 19516 (java) S 19501 19501 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511508005 28904853504 7337 33554432000 4194304 4196468 140730241124400 140524642425040 140525929007003 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19517] ppid=19501 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19503/task/19517/stat : 19517 (java) S 19501 19501 16421 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 511508005 28904853504 7337 33554432000 4194304 4196468 140730241124400 140524641372656 140525928999554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19518] ppid=19501 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19503/task/19518/stat : 19518 (java) S 19501 19501 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511508005 28904853504 7337 33554432000 4194304 4196468 140730241124400 140524640320112 140525928999554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19519] ppid=19501 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19503/task/19519/stat : 19519 (java) S 19501 19501 16421 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 20 0 511508005 28904853504 7337 33554432000 4194304 4196468 140730241124400 140524639267568 140525928999554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19520] ppid=19501 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/19503/task/19520/stat : 19520 (java) S 19501 19501 16421 0 -1 1077944384 337 0 0 0 2 0 0 0 20 0 20 0 511508005 28904853504 7337 33554432000 4194304 4196468 140730241124400 140524638215024 140525928999554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19521] ppid=19501 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19503/task/19521/stat : 19521 (java) S 19501 19501 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511508005 28904853504 7337 33554432000 4194304 4196468 140730241124400 140524637161696 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19522] ppid=19501 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/19503/task/19522/stat : 19522 (java) S 19501 19501 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511508006 28904853504 7337 33554432000 4194304 4196468 140730241124400 140524636109232 140525928999554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30800 KiB [startup+0.210656 s]* /proc/loadavg: 7.97 8.17 7.93 2/213 19522 /proc/meminfo: memFree=25686756/32770624 swapFree=66959708/67108860 [pid=19501] ppid=19498 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/19501/stat : 19501 (xcsp3-exec) S 19498 19501 16421 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511507999 115843072 363 33554432000 4194304 5098028 140730296696288 140730296694392 140129259983484 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8577024 140730296701813 140730296702057 140730296702057 140730296704970 0 /proc/19501/statm: 28282 363 304 221 0 87 0 [pid=19503] ppid=19501 vsize=28227396 memory=41368 CPUtime=0.34 cores=0-7 /proc/19503/stat : 19503 (java) S 19501 19501 16421 0 -1 1077944320 9616 0 0 0 31 3 0 0 20 0 20 0 511507999 28904853504 10342 33554432000 4194304 4196468 140730241124400 140730241106944 140525928988407 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 /proc/19503/statm: 7056849 10342 3283 1 0 7019032 0 [pid=19503/tid=19504] ppid=19501 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/19503/task/19504/stat : 19504 (java) R 19501 19501 16421 0 -1 4202560 6669 0 0 0 18 2 0 0 20 0 20 0 511508000 28904853504 10342 33554432000 4194304 4196468 140730241124400 140525933217840 140525929000342 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19505] ppid=19501 vsize=28227396 memory=288230609019732336 CPUtime=0 cores=0-7 /proc/19503/task/19505/stat : 19505 (java) S 19501 19501 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511508000 28904853504 10342 33554432000 4194304 4196468 140730241124400 140525480749328 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19506] ppid=19501 vsize=28227396 memory=3978841916592453280 CPUtime=0 cores=0-7 /proc/19503/task/19506/stat : 19506 (java) S 19501 19501 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511508001 28904853504 10342 33554432000 4194304 4196468 140730241124400 140525479696784 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19507] ppid=19501 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/19503/task/19507/stat : 19507 (java) S 19501 19501 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511508001 28904853504 10342 33554432000 4194304 4196468 140730241124400 140525478644240 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19508] ppid=19501 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19503/task/19508/stat : 19508 (java) S 19501 19501 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511508001 28904853504 10342 33554432000 4194304 4196468 140730241124400 140525477591696 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19509] ppid=19501 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19503/task/19509/stat : 19509 (java) S 19501 19501 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511508001 28904853504 10342 33554432000 4194304 4196468 140730241124400 140525476539152 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19510] ppid=19501 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/19503/task/19510/stat : 19510 (java) S 19501 19501 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511508001 28904853504 10342 33554432000 4194304 4196468 140730241124400 140525475486608 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19511] ppid=19501 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19503/task/19511/stat : 19511 (java) S 19501 19501 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511508001 28904853504 10342 33554432000 4194304 4196468 140730241124400 140525474434064 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19512] ppid=19501 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19503/task/19512/stat : 19512 (java) S 19501 19501 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511508001 28904853504 10342 33554432000 4194304 4196468 140730241124400 140525473381520 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19513] ppid=19501 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19503/task/19513/stat : 19513 (java) S 19501 19501 16421 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 511508002 28904853504 10342 33554432000 4194304 4196468 140730241124400 140524645582832 140525928999554 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19514] ppid=19501 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19503/task/19514/stat : 19514 (java) S 19501 19501 16421 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511508002 28904853504 10342 33554432000 4194304 4196468 140730241124400 140524644529056 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19515] ppid=19501 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19503/task/19515/stat : 19515 (java) S 19501 19501 16421 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511508003 28904853504 10342 33554432000 4194304 4196468 140730241124400 140524643476464 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19516] ppid=19501 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19503/task/19516/stat : 19516 (java) S 19501 19501 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511508005 28904853504 10342 33554432000 4194304 4196468 140730241124400 140524642425040 140525929007003 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19517] ppid=19501 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19503/task/19517/stat : 19517 (java) S 19501 19501 16421 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 20 0 511508005 28904853504 10342 33554432000 4194304 4196468 140730241124400 140524641372656 140525928999554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19518] ppid=19501 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/19503/task/19518/stat : 19518 (java) S 19501 19501 16421 0 -1 1077944384 248 0 0 0 1 0 0 0 20 0 20 0 511508005 28904853504 10342 33554432000 4194304 4196468 140730241124400 140524640320112 140525928999554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19519] ppid=19501 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/19503/task/19519/stat : 19519 (java) S 19501 19501 16421 0 -1 1077944384 525 0 0 0 2 0 0 0 20 0 20 0 511508005 28904853504 10342 33554432000 4194304 4196468 140730241124400 140524639267568 140525928999554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19520] ppid=19501 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7 /proc/19503/task/19520/stat : 19520 (java) R 19501 19501 16421 0 -1 4202560 796 0 0 0 8 0 0 0 20 0 20 0 511508005 28904853504 10342 33554432000 4194304 4196468 140730241124400 140524638215024 140525929000342 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19521] ppid=19501 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19503/task/19521/stat : 19521 (java) S 19501 19501 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511508005 28904853504 10342 33554432000 4194304 4196468 140730241124400 140524637161696 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19522] ppid=19501 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/19503/task/19522/stat : 19522 (java) S 19501 19501 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511508006 28904853504 10342 33554432000 4194304 4196468 140730241124400 140524636109232 140525928999554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42820 KiB [startup+0.312347 s]* /proc/loadavg: 7.97 8.17 7.93 3/213 19522 /proc/meminfo: memFree=25679248/32770624 swapFree=66959708/67108860 [pid=19501] ppid=19498 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/19501/stat : 19501 (xcsp3-exec) S 19498 19501 16421 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511507999 115843072 363 33554432000 4194304 5098028 140730296696288 140730296694392 140129259983484 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8577024 140730296701813 140730296702057 140730296702057 140730296704970 0 /proc/19501/statm: 28282 363 304 221 0 87 0 [pid=19503] ppid=19501 vsize=28231652 memory=50068 CPUtime=0.53 cores=0-7 /proc/19503/stat : 19503 (java) S 19501 19501 16421 0 -1 1077944320 10936 0 0 0 49 4 0 0 20 0 20 0 511507999 28909211648 12517 33554432000 4194304 4196468 140730241124400 140730241106944 140525928988407 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 /proc/19503/statm: 7057913 12517 3326 1 0 7019032 0 [pid=19503/tid=19504] ppid=19501 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/19503/task/19504/stat : 19504 (java) R 19501 19501 16421 0 -1 4202560 7810 0 0 0 27 3 0 0 20 0 20 0 511508000 28909211648 12517 33554432000 4194304 4196468 140730241124400 140525933219520 140525913068894 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19505] ppid=19501 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19503/task/19505/stat : 19505 (java) S 19501 19501 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511508000 28909211648 12517 33554432000 4194304 4196468 140730241124400 140525480749328 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19506] ppid=19501 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19503/task/19506/stat : 19506 (java) S 19501 19501 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511508001 28909211648 12517 33554432000 4194304 4196468 140730241124400 140525479696784 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19507] ppid=19501 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19503/task/19507/stat : 19507 (java) S 19501 19501 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511508001 28909211648 12517 33554432000 4194304 4196468 140730241124400 140525478644240 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19508] ppid=19501 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19503/task/19508/stat : 19508 (java) S 19501 19501 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511508001 28909211648 12517 33554432000 4194304 4196468 140730241124400 140525477591696 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19509] ppid=19501 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19503/task/19509/stat : 19509 (java) S 19501 19501 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511508001 28909211648 12517 33554432000 4194304 4196468 140730241124400 140525476539152 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19510] ppid=19501 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19503/task/19510/stat : 19510 (java) S 19501 19501 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511508001 28909211648 12517 33554432000 4194304 4196468 140730241124400 140525475486608 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19511] ppid=19501 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19503/task/19511/stat : 19511 (java) S 19501 19501 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511508001 28909211648 12517 33554432000 4194304 4196468 140730241124400 140525474434064 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19512] ppid=19501 vsize=28231652 memory=6872598998417432672 CPUtime=0 cores=0-7 /proc/19503/task/19512/stat : 19512 (java) S 19501 19501 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511508001 28909211648 12517 33554432000 4194304 4196468 140730241124400 140525473381520 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19513] ppid=19501 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19503/task/19513/stat : 19513 (java) S 19501 19501 16421 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 511508002 28909211648 12517 33554432000 4194304 4196468 140730241124400 140524645582832 140525928999554 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19514] ppid=19501 vsize=28231652 memory=280222725512576 CPUtime=0 cores=0-7 /proc/19503/task/19514/stat : 19514 (java) S 19501 19501 16421 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511508002 28909211648 12517 33554432000 4194304 4196468 140730241124400 140524644529056 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19515] ppid=19501 vsize=28231652 memory=280222725517184 CPUtime=0 cores=0-7 /proc/19503/task/19515/stat : 19515 (java) S 19501 19501 16421 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511508003 28909211648 12517 33554432000 4194304 4196468 140730241124400 140524643476464 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19516] ppid=19501 vsize=28231652 memory=280222725521792 CPUtime=0 cores=0-7 /proc/19503/task/19516/stat : 19516 (java) S 19501 19501 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511508005 28909211648 12517 33554432000 4194304 4196468 140730241124400 140524642425040 140525929007003 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19517] ppid=19501 vsize=28231652 memory=280222725526400 CPUtime=0.01 cores=0-7 /proc/19503/task/19517/stat : 19517 (java) S 19501 19501 16421 0 -1 1077944384 65 0 0 0 1 0 0 0 20 0 20 0 511508005 28909211648 12517 33554432000 4194304 4196468 140730241124400 140524641372656 140525928999554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19518] ppid=19501 vsize=28231652 memory=280222725531008 CPUtime=0.02 cores=0-7 /proc/19503/task/19518/stat : 19518 (java) S 19501 19501 16421 0 -1 1077944384 254 0 0 0 2 0 0 0 20 0 20 0 511508005 28909211648 12517 33554432000 4194304 4196468 140730241124400 140524640320112 140525928999554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19519] ppid=19501 vsize=28231652 memory=280222725535616 CPUtime=0.04 cores=0-7 /proc/19503/task/19519/stat : 19519 (java) R 19501 19501 16421 0 -1 4202560 626 0 0 0 4 0 0 0 20 0 20 0 511508005 28909211648 12517 33554432000 4194304 4196468 140730241124400 140524639267568 140525910512390 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19520] ppid=19501 vsize=28231652 memory=280222725540224 CPUtime=0.12 cores=0-7 /proc/19503/task/19520/stat : 19520 (java) S 19501 19501 16421 0 -1 1077944384 869 0 0 0 12 0 0 0 20 0 20 0 511508005 28909211648 12517 33554432000 4194304 4196468 140730241124400 140524638215024 140525928999554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19521] ppid=19501 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19503/task/19521/stat : 19521 (java) S 19501 19501 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511508005 28909211648 12517 33554432000 4194304 4196468 140730241124400 140524637161696 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19522] ppid=19501 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/19503/task/19522/stat : 19522 (java) S 19501 19501 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511508006 28909211648 12517 33554432000 4194304 4196468 140730241124400 140524636109232 140525928999554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51520 KiB [startup+0.701004 s] /proc/loadavg: 7.97 8.17 7.93 6/213 19522 /proc/meminfo: memFree=25661160/32770624 swapFree=66959708/67108860 [pid=19501] ppid=19498 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/19501/stat : 19501 (xcsp3-exec) S 19498 19501 16421 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511507999 115843072 363 33554432000 4194304 5098028 140730296696288 140730296694392 140129259983484 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8577024 140730296701813 140730296702057 140730296702057 140730296704970 0 /proc/19501/statm: 28282 363 304 221 0 87 0 [pid=19503] ppid=19501 vsize=28233776 memory=101688 CPUtime=1.87 cores=0-7 /proc/19503/stat : 19503 (java) S 19501 19501 16421 0 -1 1077944320 19268 0 0 0 181 6 0 0 20 0 20 0 511507999 28911386624 25422 33554432000 4194304 4196468 140730241124400 140730241106944 140525928988407 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 /proc/19503/statm: 7058444 25422 3453 1 0 7019544 0 [pid=19503/tid=19504] ppid=19501 vsize=28233776 memory=4580 CPUtime=0.68 cores=0-7 /proc/19503/task/19504/stat : 19504 (java) R 19501 19501 16421 0 -1 4202560 8803 0 0 0 64 4 0 0 20 0 20 0 511508000 28911386624 25422 33554432000 4194304 4196468 140730241124400 140525933220088 140525569808556 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19505] ppid=19501 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/19503/task/19505/stat : 19505 (java) S 19501 19501 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511508000 28911386624 25422 33554432000 4194304 4196468 140730241124400 140525480749328 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19506] ppid=19501 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/19503/task/19506/stat : 19506 (java) S 19501 19501 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511508001 28911386624 25422 33554432000 4194304 4196468 140730241124400 140525479696784 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19507] ppid=19501 vsize=28233776 memory=1188 CPUtime=0 cores=0-7 /proc/19503/task/19507/stat : 19507 (java) S 19501 19501 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511508001 28911386624 25422 33554432000 4194304 4196468 140730241124400 140525478644240 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 ################ # More data... # ################ [pid=19503/tid=19520] ppid=19501 vsize=28768336 memory=3656 CPUtime=0.89 cores=0-7 /proc/19503/task/19520/stat : 19520 (java) S 19501 19501 16421 0 -1 1077944384 6065 0 0 0 87 2 0 0 20 0 28 0 511508005 29458776064 69198 33554432000 4194304 4196468 140730241124400 140524638215024 140525928999554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19521] ppid=19501 vsize=28768336 memory=1976 CPUtime=0 cores=0-7 /proc/19503/task/19521/stat : 19521 (java) S 19501 19501 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511508005 29458776064 69198 33554432000 4194304 4196468 140730241124400 140524637161696 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19522] ppid=19501 vsize=28768336 memory=2512 CPUtime=0 cores=0-7 /proc/19503/task/19522/stat : 19522 (java) S 19501 19501 16421 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 511508006 29458776064 69198 33554432000 4194304 4196468 140730241124400 140524636109232 140525928999554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19563] ppid=19501 vsize=28768336 memory=1188 CPUtime=0.46 cores=0-7 /proc/19503/task/19563/stat : 19563 (java) R 19501 19501 16421 0 -1 4202560 17 0 0 0 46 0 0 0 20 0 28 0 511508671 29458776064 69198 33554432000 4194304 4196468 140730241124400 140524499544720 140525575082177 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19564] ppid=19501 vsize=28768336 memory=1536 CPUtime=0.46 cores=0-7 /proc/19503/task/19564/stat : 19564 (java) R 19501 19501 16421 0 -1 4202560 24 0 0 0 46 0 0 0 20 0 28 0 511508671 29458776064 69198 33554432000 4194304 4196468 140730241124400 140524621636232 140525575869613 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19565] ppid=19501 vsize=28768336 memory=9592 CPUtime=0.36 cores=0-7 /proc/19503/task/19565/stat : 19565 (java) R 19501 19501 16421 0 -1 4202560 20 0 0 0 36 0 0 0 20 0 28 0 511508671 29458776064 69198 33554432000 4194304 4196468 140730241124400 140524623741944 140525567765251 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19566] ppid=19501 vsize=28768336 memory=2828 CPUtime=0.38 cores=0-7 /proc/19503/task/19566/stat : 19566 (java) R 19501 19501 16421 0 -1 4202560 21 0 0 0 38 0 0 0 20 0 28 0 511508671 29458776064 69198 33554432000 4194304 4196468 140730241124400 140524624795592 140525567765239 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19567] ppid=19501 vsize=28768336 memory=780 CPUtime=0.42 cores=0-7 /proc/19503/task/19567/stat : 19567 (java) R 19501 19501 16421 0 -1 4202560 16 0 0 0 42 0 0 0 20 0 28 0 511508671 29458776064 69198 33554432000 4194304 4196468 140730241124400 140524622688632 140525570149836 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19568] ppid=19501 vsize=28768336 memory=620 CPUtime=0.4 cores=0-7 /proc/19503/task/19568/stat : 19568 (java) R 19501 19501 16421 0 -1 4202560 27 0 0 0 40 0 0 0 20 0 28 0 511508671 29458776064 69198 33554432000 4194304 4196468 140730241124400 140524500599992 140525575247683 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19569] ppid=19501 vsize=28768336 memory=1496 CPUtime=0.4 cores=0-7 /proc/19503/task/19569/stat : 19569 (java) R 19501 19501 16421 0 -1 4202560 21 0 0 0 40 0 0 0 20 0 28 0 511508671 29458776064 69198 33554432000 4194304 4196468 140730241124400 140524498492144 140525567765230 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19570] ppid=19501 vsize=28768336 memory=1016 CPUtime=0.44 cores=0-7 /proc/19503/task/19570/stat : 19570 (java) R 19501 19501 16421 0 -1 4202560 23 0 0 0 44 0 0 0 20 0 28 0 511508671 29458776064 69198 33554432000 4194304 4196468 140730241124400 140524620582520 140525575392456 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 Current children cumulated CPU time: 47.1 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 278244 KiB [startup+7.40163 s] /proc/loadavg: 8.30 8.23 7.96 10/221 19570 /proc/meminfo: memFree=25453428/32770624 swapFree=66959708/67108860 [pid=19501] ppid=19498 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/19501/stat : 19501 (xcsp3-exec) S 19498 19501 16421 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511507999 115843072 363 33554432000 4194304 5098028 140730296696288 140730296694392 140129259983484 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8577024 140730296701813 140730296702057 140730296702057 140730296704970 0 /proc/19501/statm: 28282 363 304 221 0 87 0 [pid=19503] ppid=19501 vsize=28768336 memory=276820 CPUtime=48.7 cores=0-7 /proc/19503/stat : 19503 (java) S 19501 19501 16421 0 -1 1077944320 47666 0 0 0 4844 26 0 0 20 0 28 0 511507999 29458776064 69205 33554432000 4194304 4196468 140730241124400 140730241106944 140525928988407 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 /proc/19503/statm: 7192084 69205 3534 1 0 7153184 0 [pid=19503/tid=19504] ppid=19501 vsize=28768336 memory=0 CPUtime=1.52 cores=0-7 /proc/19503/task/19504/stat : 19504 (java) S 19501 19501 16421 0 -1 1077944384 10397 0 0 0 146 6 0 0 20 0 28 0 511508000 29458776064 69205 33554432000 4194304 4196468 140730241124400 140525933229184 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19505] ppid=19501 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7 /proc/19503/task/19505/stat : 19505 (java) S 19501 19501 16421 0 -1 1077944384 1063 0 0 0 1 1 0 0 20 0 28 0 511508000 29458776064 69205 33554432000 4194304 4196468 140730241124400 140525480749328 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19506] ppid=19501 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/19503/task/19506/stat : 19506 (java) S 19501 19501 16421 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 511508001 29458776064 69205 33554432000 4194304 4196468 140730241124400 140525479696784 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19507] ppid=19501 vsize=28768336 memory=-3621219749712857441 CPUtime=0 cores=0-7 /proc/19503/task/19507/stat : 19507 (java) S 19501 19501 16421 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 511508001 29458776064 69205 33554432000 4194304 4196468 140730241124400 140525478644240 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19508] ppid=19501 vsize=28768336 memory=288230574492221466 CPUtime=0.01 cores=0-7 /proc/19503/task/19508/stat : 19508 (java) S 19501 19501 16421 0 -1 1077944384 95 0 0 0 0 1 0 0 20 0 28 0 511508001 29458776064 69205 33554432000 4194304 4196468 140730241124400 140525477591696 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19509] ppid=19501 vsize=28768336 memory=288230596050944315 CPUtime=0.01 cores=0-7 /proc/19503/task/19509/stat : 19509 (java) S 19501 19501 16421 0 -1 1077944384 29 0 0 0 0 1 0 0 20 0 28 0 511508001 29458776064 69205 33554432000 4194304 4196468 140730241124400 140525476539152 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19510] ppid=19501 vsize=28768336 memory=16099273431322896 CPUtime=0.02 cores=0-7 /proc/19503/task/19510/stat : 19510 (java) S 19501 19501 16421 0 -1 1077944384 90 0 0 0 1 1 0 0 20 0 28 0 511508001 29458776064 69205 33554432000 4194304 4196468 140730241124400 140525475486608 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19511] ppid=19501 vsize=28768336 memory=9592 CPUtime=0.01 cores=0-7 /proc/19503/task/19511/stat : 19511 (java) S 19501 19501 16421 0 -1 1077944384 127 0 0 0 1 0 0 0 20 0 28 0 511508001 29458776064 69205 33554432000 4194304 4196468 140730241124400 140525474434064 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19512] ppid=19501 vsize=28768336 memory=2828 CPUtime=0.01 cores=0-7 /proc/19503/task/19512/stat : 19512 (java) S 19501 19501 16421 0 -1 1077944384 98 0 0 0 0 1 0 0 20 0 28 0 511508001 29458776064 69205 33554432000 4194304 4196468 140730241124400 140525473381520 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19513] ppid=19501 vsize=28768336 memory=780 CPUtime=0 cores=0-7 /proc/19503/task/19513/stat : 19513 (java) S 19501 19501 16421 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 28 0 511508002 29458776064 69205 33554432000 4194304 4196468 140730241124400 140524645582832 140525928999554 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19514] ppid=19501 vsize=28768336 memory=620 CPUtime=0 cores=0-7 /proc/19503/task/19514/stat : 19514 (java) S 19501 19501 16421 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 511508002 29458776064 69205 33554432000 4194304 4196468 140730241124400 140524644529120 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19515] ppid=19501 vsize=28768336 memory=1496 CPUtime=0 cores=0-7 /proc/19503/task/19515/stat : 19515 (java) S 19501 19501 16421 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 511508003 29458776064 69205 33554432000 4194304 4196468 140730241124400 140524643476480 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19516] ppid=19501 vsize=28768336 memory=1016 CPUtime=0 cores=0-7 /proc/19503/task/19516/stat : 19516 (java) S 19501 19501 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511508005 29458776064 69205 33554432000 4194304 4196468 140730241124400 140524642425040 140525929007003 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19517] ppid=19501 vsize=28768336 memory=6072 CPUtime=3.17 cores=0-7 /proc/19503/task/19517/stat : 19517 (java) S 19501 19501 16421 0 -1 1077944384 9843 0 0 0 315 2 0 0 20 0 28 0 511508005 29458776064 69205 33554432000 4194304 4196468 140730241124400 140524641372656 140525928999554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19518] ppid=19501 vsize=28768336 memory=14012 CPUtime=2.92 cores=0-7 /proc/19503/task/19518/stat : 19518 (java) S 19501 19501 16421 0 -1 1077944384 8201 0 0 0 291 1 0 0 20 0 28 0 511508005 29458776064 69205 33554432000 4194304 4196468 140730241124400 140524640320112 140525928999554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19519] ppid=19501 vsize=28768336 memory=2116 CPUtime=3 cores=0-7 /proc/19503/task/19519/stat : 19519 (java) S 19501 19501 16421 0 -1 1077944384 7761 0 0 0 299 1 0 0 20 0 28 0 511508005 29458776064 69205 33554432000 4194304 4196468 140730241124400 140524639267568 140525928999554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19520] ppid=19501 vsize=28768336 memory=35800 CPUtime=0.89 cores=0-7 /proc/19503/task/19520/stat : 19520 (java) S 19501 19501 16421 0 -1 1077944384 6070 0 0 0 87 2 0 0 20 0 28 0 511508005 29458776064 69205 33554432000 4194304 4196468 140730241124400 140524638215024 140525928999554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19521] ppid=19501 vsize=28768336 memory=14068 CPUtime=0 cores=0-7 /proc/19503/task/19521/stat : 19521 (java) S 19501 19501 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511508005 29458776064 69205 33554432000 4194304 4196468 140730241124400 140524637161696 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19522] ppid=19501 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/19503/task/19522/stat : 19522 (java) S 19501 19501 16421 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 511508006 29458776064 69205 33554432000 4194304 4196468 140730241124400 140524636109232 140525928999554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19563] ppid=19501 vsize=28768336 memory=7597684060135097316 CPUtime=0.66 cores=0-7 /proc/19503/task/19563/stat : 19563 (java) R 19501 19501 16421 0 -1 4202560 17 0 0 0 66 0 0 0 20 0 28 0 511508671 29458776064 69205 33554432000 4194304 4196468 140730241124400 140524499544720 140525569804887 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19564] ppid=19501 vsize=28768336 memory=8098991023721547087 CPUtime=0.65 cores=0-7 /proc/19503/task/19564/stat : 19564 (java) R 19501 19501 16421 0 -1 4202560 24 0 0 0 65 0 0 0 20 0 28 0 511508671 29458776064 69205 33554432000 4194304 4196468 140730241124400 140524621635608 140525574573100 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19565] ppid=19501 vsize=28768336 memory=2983474679701833257 CPUtime=0.56 cores=0-7 /proc/19503/task/19565/stat : 19565 (java) R 19501 19501 16421 0 -1 4202560 20 0 0 0 56 0 0 0 20 0 28 0 511508671 29458776064 69205 33554432000 4194304 4196468 140730241124400 140524623741944 140525569804902 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19566] ppid=19501 vsize=28768336 memory=2983481448570291753 CPUtime=0.58 cores=0-7 /proc/19503/task/19566/stat : 19566 (java) R 19501 19501 16421 0 -1 4202560 24 0 0 0 58 0 0 0 20 0 28 0 511508671 29458776064 69205 33554432000 4194304 4196468 140730241124400 140524624795592 140525573974116 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19567] ppid=19501 vsize=28768336 memory=6055698175606392416 CPUtime=0.6 cores=0-7 /proc/19503/task/19567/stat : 19567 (java) R 19501 19501 16421 0 -1 4202560 16 0 0 0 60 0 0 0 20 0 28 0 511508671 29458776064 69205 33554432000 4194304 4196468 140730241124400 140524622688392 140525574573166 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19568] ppid=19501 vsize=28768336 memory=7445587259455178339 CPUtime=0.58 cores=0-7 /proc/19503/task/19568/stat : 19568 (java) R 19501 19501 16421 0 -1 4202560 27 0 0 0 58 0 0 0 20 0 28 0 511508671 29458776064 69205 33554432000 4194304 4196468 140730241124400 140524500599040 140525575143117 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19569] ppid=19501 vsize=28768336 memory=732230140863449379 CPUtime=0.6 cores=0-7 /proc/19503/task/19569/stat : 19569 (java) R 19501 19501 16421 0 -1 4202560 21 0 0 0 60 0 0 0 20 0 28 0 511508671 29458776064 69205 33554432000 4194304 4196468 140730241124400 140524498492144 140525567765225 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19570] ppid=19501 vsize=28768336 memory=6055698175606393193 CPUtime=0.64 cores=0-7 /proc/19503/task/19570/stat : 19570 (java) R 19501 19501 16421 0 -1 4202560 23 0 0 0 64 0 0 0 20 0 28 0 511508671 29458776064 69205 33554432000 4194304 4196468 140730241124400 140524620582080 140525573974776 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 Current children cumulated CPU time: 48.7 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 278272 KiB [startup+7.50163 s] /proc/loadavg: 8.30 8.23 7.96 10/221 19570 /proc/meminfo: memFree=25453428/32770624 swapFree=66959708/67108860 [pid=19501] ppid=19498 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/19501/stat : 19501 (xcsp3-exec) S 19498 19501 16421 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511507999 115843072 363 33554432000 4194304 5098028 140730296696288 140730296694392 140129259983484 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8577024 140730296701813 140730296702057 140730296702057 140730296704970 0 /proc/19501/statm: 28282 363 304 221 0 87 0 [pid=19503] ppid=19501 vsize=28768336 memory=276820 CPUtime=49.49 cores=0-7 /proc/19503/stat : 19503 (java) S 19501 19501 16421 0 -1 1077944320 47671 0 0 0 4923 26 0 0 20 0 28 0 511507999 29458776064 69205 33554432000 4194304 4196468 140730241124400 140730241106944 140525928988407 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 /proc/19503/statm: 7192084 69205 3534 1 0 7153184 0 [pid=19503/tid=19504] ppid=19501 vsize=28768336 memory=251600 CPUtime=1.52 cores=0-7 /proc/19503/task/19504/stat : 19504 (java) S 19501 19501 16421 0 -1 1077944384 10397 0 0 0 146 6 0 0 20 0 28 0 511508000 29458776064 69205 33554432000 4194304 4196468 140730241124400 140525933229184 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19505] ppid=19501 vsize=28768336 memory=1804 CPUtime=0.02 cores=0-7 /proc/19503/task/19505/stat : 19505 (java) S 19501 19501 16421 0 -1 1077944384 1063 0 0 0 1 1 0 0 20 0 28 0 511508000 29458776064 69205 33554432000 4194304 4196468 140730241124400 140525480749328 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19506] ppid=19501 vsize=28768336 memory=1452 CPUtime=0 cores=0-7 /proc/19503/task/19506/stat : 19506 (java) S 19501 19501 16421 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 511508001 29458776064 69205 33554432000 4194304 4196468 140730241124400 140525479696784 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19507] ppid=19501 vsize=28768336 memory=256548 CPUtime=0 cores=0-7 /proc/19503/task/19507/stat : 19507 (java) S 19501 19501 16421 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 511508001 29458776064 69205 33554432000 4194304 4196468 140730241124400 140525478644240 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19508] ppid=19501 vsize=28768336 memory=1768 CPUtime=0.01 cores=0-7 /proc/19503/task/19508/stat : 19508 (java) S 19501 19501 16421 0 -1 1077944384 95 0 0 0 0 1 0 0 20 0 28 0 511508001 29458776064 69205 33554432000 4194304 4196468 140730241124400 140525477591696 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19509] ppid=19501 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7 /proc/19503/task/19509/stat : 19509 (java) S 19501 19501 16421 0 -1 1077944384 29 0 0 0 0 1 0 0 20 0 28 0 511508001 29458776064 69205 33554432000 4194304 4196468 140730241124400 140525476539152 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19510] ppid=19501 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7 /proc/19503/task/19510/stat : 19510 (java) S 19501 19501 16421 0 -1 1077944384 90 0 0 0 1 1 0 0 20 0 28 0 511508001 29458776064 69205 33554432000 4194304 4196468 140730241124400 140525475486608 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19511] ppid=19501 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7 /proc/19503/task/19511/stat : 19511 (java) S 19501 19501 16421 0 -1 1077944384 127 0 0 0 1 0 0 0 20 0 28 0 511508001 29458776064 69205 33554432000 4194304 4196468 140730241124400 140525474434064 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19512] ppid=19501 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7 /proc/19503/task/19512/stat : 19512 (java) S 19501 19501 16421 0 -1 1077944384 98 0 0 0 0 1 0 0 20 0 28 0 511508001 29458776064 69205 33554432000 4194304 4196468 140730241124400 140525473381520 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19513] ppid=19501 vsize=28768336 memory=28829630602021044 CPUtime=0 cores=0-7 /proc/19503/task/19513/stat : 19513 (java) S 19501 19501 16421 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 28 0 511508002 29458776064 69205 33554432000 4194304 4196468 140730241124400 140524645582832 140525928999554 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19514] ppid=19501 vsize=28768336 memory=288289974076421499 CPUtime=0 cores=0-7 /proc/19503/task/19514/stat : 19514 (java) S 19501 19501 16421 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 511508002 29458776064 69205 33554432000 4194304 4196468 140730241124400 140524644529120 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19515] ppid=19501 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/19503/task/19515/stat : 19515 (java) S 19501 19501 16421 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 511508003 29458776064 69205 33554432000 4194304 4196468 140730241124400 140524643476480 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19516] ppid=19501 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/19503/task/19516/stat : 19516 (java) S 19501 19501 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511508005 29458776064 69205 33554432000 4194304 4196468 140730241124400 140524642425040 140525929007003 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19517] ppid=19501 vsize=28768336 memory=0 CPUtime=3.21 cores=0-7 /proc/19503/task/19517/stat : 19517 (java) S 19501 19501 16421 0 -1 1077944384 9848 0 0 0 319 2 0 0 20 0 28 0 511508005 29458776064 69205 33554432000 4194304 4196468 140730241124400 140524641372656 140525928999554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19518] ppid=19501 vsize=28768336 memory=3624 CPUtime=2.93 cores=0-7 /proc/19503/task/19518/stat : 19518 (java) S 19501 19501 16421 0 -1 1077944384 8201 0 0 0 292 1 0 0 20 0 28 0 511508005 29458776064 69205 33554432000 4194304 4196468 140730241124400 140524640320112 140525928999554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19519] ppid=19501 vsize=28768336 memory=65248 CPUtime=3 cores=0-7 /proc/19503/task/19519/stat : 19519 (java) S 19501 19501 16421 0 -1 1077944384 7761 0 0 0 299 1 0 0 20 0 28 0 511508005 29458776064 69205 33554432000 4194304 4196468 140730241124400 140524639267568 140525928999554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19520] ppid=19501 vsize=28768336 memory=988 CPUtime=0.89 cores=0-7 /proc/19503/task/19520/stat : 19520 (java) S 19501 19501 16421 0 -1 1077944384 6070 0 0 0 87 2 0 0 20 0 28 0 511508005 29458776064 69205 33554432000 4194304 4196468 140730241124400 140524638215024 140525928999554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19521] ppid=19501 vsize=28768336 memory=1452 CPUtime=0 cores=0-7 /proc/19503/task/19521/stat : 19521 (java) S 19501 19501 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511508005 29458776064 69205 33554432000 4194304 4196468 140730241124400 140524637161696 140525928998613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19522] ppid=19501 vsize=28768336 memory=251636 CPUtime=0 cores=0-7 /proc/19503/task/19522/stat : 19522 (java) S 19501 19501 16421 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 511508006 29458776064 69205 33554432000 4194304 4196468 140730241124400 140524636109232 140525928999554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19563] ppid=19501 vsize=28768336 memory=6655300316396806240 CPUtime=0.76 cores=0-7 /proc/19503/task/19563/stat : 19563 (java) R 19501 19501 16421 0 -1 4202560 17 0 0 0 76 0 0 0 20 0 28 0 511508671 29458776064 69205 33554432000 4194304 4196468 140730241124400 140524499544720 140525575869826 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19564] ppid=19501 vsize=28768336 memory=65248 CPUtime=0.75 cores=0-7 /proc/19503/task/19564/stat : 19564 (java) R 19501 19501 16421 0 -1 4202560 24 0 0 0 75 0 0 0 20 0 28 0 511508671 29458776064 69205 33554432000 4194304 4196468 140730241124400 140524621635608 140525573973889 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19565] ppid=19501 vsize=28768336 memory=0 CPUtime=0.66 cores=0-7 /proc/19503/task/19565/stat : 19565 (java) R 19501 19501 16421 0 -1 4202560 20 0 0 0 66 0 0 0 20 0 28 0 511508671 29458776064 69205 33554432000 4194304 4196468 140730241124400 140524623741944 140525574494105 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19566] ppid=19501 vsize=28768336 memory=6791534058613427641 CPUtime=0.68 cores=0-7 /proc/19503/task/19566/stat : 19566 (java) R 19501 19501 16421 0 -1 4202560 24 0 0 0 68 0 0 0 20 0 28 0 511508671 29458776064 69205 33554432000 4194304 4196468 140730241124400 140524624794664 140525573974116 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19567] ppid=19501 vsize=28768336 memory=14012 CPUtime=0.69 cores=0-7 /proc/19503/task/19567/stat : 19567 (java) R 19501 19501 16421 0 -1 4202560 16 0 0 0 69 0 0 0 20 0 28 0 511508671 29458776064 69205 33554432000 4194304 4196468 140730241124400 140524622688392 140525573595520 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19568] ppid=19501 vsize=28768336 memory=2116 CPUtime=0.65 cores=0-7 /proc/19503/task/19568/stat : 19568 (java) R 19501 19501 16421 0 -1 4202560 27 0 0 0 65 0 0 0 20 0 28 0 511508671 29458776064 69205 33554432000 4194304 4196468 140730241124400 140524500599040 140525567765230 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19569] ppid=19501 vsize=28768336 memory=35800 CPUtime=0.7 cores=0-7 /proc/19503/task/19569/stat : 19569 (java) R 19501 19501 16421 0 -1 4202560 21 0 0 0 70 0 0 0 20 0 28 0 511508671 29458776064 69205 33554432000 4194304 4196468 140730241124400 140524498492696 140525573767296 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 [pid=19503/tid=19570] ppid=19501 vsize=28768336 memory=14068 CPUtime=0.74 cores=0-7 /proc/19503/task/19570/stat : 19570 (java) R 19501 19501 16421 0 -1 4202560 23 0 0 0 74 0 0 0 20 0 28 0 511508671 29458776064 69205 33554432000 4194304 4196468 140730241124400 140524620582080 140525567765230 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30523392 140730241127402 140730241127574 140730241127574 140730241130447 0 Current children cumulated CPU time: 49.49 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 278272 KiB Child status: 0 Real time (s): 7.57665 CPU time (s): 49.7732 CPU user time (s): 49.4927 CPU system time (s): 0.280536 CPU usage (%): 656.929 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 278272 getrusage(RUSAGE_CHILDREN,...) data: user time used= 49.4927 system time used= 0.280536 maximum resident set size= 277904 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 48504 page faults= 0 swaps= 0 block input operations= 0 block output operations= 184 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4466 involuntary context switches= 1379 # summary of solver processes directly reported to runsolver: # pid: 19501 # total CPU time (s): 49.7732 # total CPU user time (s): 49.4927 # total CPU system time (s): 0.280536 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.105696 second user time and 0.101101 second system time The end
Begin job on node127 at 2019-09-24 21:12:31 IDJOB=4407066 IDBENCH=130611 IDSOLVER=2871 FILE ID=node127/4407066-1569352392 RUNJOBID= node127-1569349242-16448 PBS_JOBID= 21705087 Free space on /tmp= 35924 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/QueenAttacking/QueenAttacking-m1-s1/QueenAttacking-07.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4407066-1569352392/watcher-4407066-1569352392 -o /tmp/evaluation-result-4407066-1569352392/solver-4407066-1569352392 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1569349242-16448 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1318873256 HOME/instance-4407066-1569352392.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 7aff4fe352a8c3fb8c4e8479cd8d4369 RANDOM SEED=1318873256 node127.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.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 : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.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 : 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: 25716632 kB MemAvailable: 31795028 kB Buffers: 90128 kB Cached: 6188836 kB SwapCached: 44644 kB Active: 3061060 kB Inactive: 3268808 kB Active(anon): 2768 kB Inactive(anon): 105944 kB Active(file): 3058292 kB Inactive(file): 3162864 kB Unevictable: 107788 kB Mlocked: 107788 kB SwapTotal: 67108860 kB SwapFree: 66959708 kB Dirty: 26312 kB Writeback: 4 kB AnonPages: 116096 kB Mapped: 57672 kB Shmem: 49032 kB Slab: 314980 kB SReclaimable: 285700 kB SUnreclaim: 29280 kB KernelStack: 3408 kB PageTables: 5316 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 515472 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 138624 kB DirectMap2M: 33406976 kB Free space on /tmp at the end= 35896 MiB End job on node127 at 2019-09-24 21:12:39