Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | UNSAT | 7.0640302 | 1.36678 |
Name | QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-04.xml |
MD5SUM | 2ada0409f2c6e70f95908de4e7f6edb2 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.288021 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 23 |
Number of constraints | 22 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 16 |
Distribution of domain sizes | [{"size":2,"count":6},{"size":16,"count":17}] |
Minimum variable degree | 2 |
Maximum variable degree | 6 |
Distribution of variable degrees | [{"degree":2,"count":8},{"degree":3,"count":8},{"degree":4,"count":6},{"degree":6,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 16 |
Distribution of constraint arities | [{"arity":2,"count":15},{"arity":3,"count":6},{"arity":16,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 21 |
Distribution of constraint types | [{"type":"intension","count":21},{"type":"allDifferent","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270677-1502747968.xml" -tl '20160s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4270677-1502747968.xml, -tl, 20160s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 1.57/0.63 c solve instance... 6.81/1.32 s UNSATISFIABLE
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 (15204 MiB free) memory of node 1: 16384 MiB (15538 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270677-1502747968/watcher-4270677-1502747968 -o /tmp/evaluation-result-4270677-1502747968/solver-4270677-1502747968 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node113-1502739544-16617 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1475515566 HOME/instance-4270677-1502747968.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=17108, runsolver pid=17105 [startup+0.100058 s]* /proc/loadavg: 9.04 9.03 8.82 2/199 17129 /proc/meminfo: memFree=31464564/32770624 swapFree=67108860/67108860 [pid=17108] ppid=17105 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/17108/stat : 17108 (xcsp3-exec) S 17105 17108 16590 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 107884445 9740288 346 33554432000 4194304 5098028 140722867220768 140722867218872 140564155273852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24391680 140722867225700 140722867225911 140722867225911 140722867228651 0 /proc/17108/statm: 2378 346 289 221 0 87 0 [pid=17110] ppid=17108 vsize=25999808 memory=26792 CPUtime=0.12 cores=0-7 /proc/17110/stat : 17110 (java) S 17108 17108 16590 0 -1 1077944320 5633 0 0 0 10 2 0 0 20 0 20 0 107884445 26623803392 6698 33554432000 4194304 4196468 140737452351232 140737452333776 140356300697335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 /proc/17110/statm: 6499952 6698 2841 1 0 6488269 0 [pid=17110/tid=17111] ppid=17108 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/17110/task/17111/stat : 17111 (java) R 17108 17108 16590 0 -1 4202560 3644 0 0 0 7 1 0 0 20 0 20 0 107884446 26623803392 6698 33554432000 4194304 4196468 140737452351232 140356304929024 140356300719261 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17112] ppid=17108 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/17110/task/17112/stat : 17112 (java) S 17108 17108 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107884446 26623803392 6698 33554432000 4194304 4196468 140737452351232 140356253317520 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17113] ppid=17108 vsize=25999808 memory=139706925008512 CPUtime=0 cores=0-7 /proc/17110/task/17113/stat : 17113 (java) S 17108 17108 16590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107884446 26623803392 6698 33554432000 4194304 4196468 140737452351232 140356252264720 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17114] ppid=17108 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17114/stat : 17114 (java) S 17108 17108 16590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107884446 26623803392 6698 33554432000 4194304 4196468 140737452351232 140356251212432 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17115] ppid=17108 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17115/stat : 17115 (java) S 17108 17108 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107884446 26623803392 6698 33554432000 4194304 4196468 140737452351232 140356250159632 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17116] ppid=17108 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17116/stat : 17116 (java) S 17108 17108 16590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107884446 26623803392 6698 33554432000 4194304 4196468 140737452351232 140356249107344 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17117] ppid=17108 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/17110/task/17117/stat : 17117 (java) S 17108 17108 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107884446 26623803392 6698 33554432000 4194304 4196468 140737452351232 140356248054544 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17118] ppid=17108 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17118/stat : 17118 (java) S 17108 17108 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107884446 26623803392 6698 33554432000 4194304 4196468 140737452351232 140356247002256 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17119] ppid=17108 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17119/stat : 17119 (java) S 17108 17108 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107884446 26623803392 6698 33554432000 4194304 4196468 140737452351232 140356245949456 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17120] ppid=17108 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17120/stat : 17120 (java) S 17108 17108 16590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107884448 26623803392 6698 33554432000 4194304 4196468 140737452351232 140355495086192 140356300708482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17121] ppid=17108 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17121/stat : 17121 (java) S 17108 17108 16590 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 107884448 26623803392 6698 33554432000 4194304 4196468 140737452351232 140355494032160 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17122] ppid=17108 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17122/stat : 17122 (java) S 17108 17108 16590 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 107884448 26623803392 6698 33554432000 4194304 4196468 140737452351232 140355492979824 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17123] ppid=17108 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17123/stat : 17123 (java) S 17108 17108 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107884451 26623803392 6698 33554432000 4194304 4196468 140737452351232 140355491928144 140356300715931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17124] ppid=17108 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17124/stat : 17124 (java) S 17108 17108 16590 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 20 0 107884451 26623803392 6698 33554432000 4194304 4196468 140737452351232 140355490876016 140356300708482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17125] ppid=17108 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17125/stat : 17125 (java) S 17108 17108 16590 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 107884451 26623803392 6698 33554432000 4194304 4196468 140737452351232 140355489823216 140356300708482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17126] ppid=17108 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17126/stat : 17126 (java) R 17108 17108 16590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 107884451 26623803392 6698 33554432000 4194304 4196468 140737452351232 140355488771024 140356300709270 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17127] ppid=17108 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/17110/task/17127/stat : 17127 (java) R 17108 17108 16590 0 -1 4202560 243 0 0 0 1 0 0 0 20 0 20 0 107884451 26623803392 6698 33554432000 4194304 4196468 140737452351232 140355487718128 140356300709270 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17128] ppid=17108 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17128/stat : 17128 (java) S 17108 17108 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107884451 26623803392 6698 33554432000 4194304 4196468 140737452351232 140355486665056 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17129] ppid=17108 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/17110/task/17129/stat : 17129 (java) S 17108 17108 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107884451 26623803392 6698 33554432000 4194304 4196468 140737452351232 140355485612336 140356300708482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 28176 KiB [startup+0.210555 s]* /proc/loadavg: 9.04 9.03 8.82 3/199 17129 /proc/meminfo: memFree=31453524/32770624 swapFree=67108860/67108860 [pid=17108] ppid=17105 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/17108/stat : 17108 (xcsp3-exec) S 17105 17108 16590 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 107884445 9740288 346 33554432000 4194304 5098028 140722867220768 140722867218872 140564155273852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24391680 140722867225700 140722867225911 140722867225911 140722867228651 0 /proc/17108/statm: 2378 346 289 221 0 87 0 [pid=17110] ppid=17108 vsize=26004064 memory=38424 CPUtime=0.33 cores=0-7 /proc/17110/stat : 17110 (java) S 17108 17108 16590 0 -1 1077944320 8230 0 0 0 30 3 0 0 20 0 20 0 107884445 26628161536 9606 33554432000 4194304 4196468 140737452351232 140737452333776 140356300697335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 /proc/17110/statm: 6501016 9606 3050 1 0 6488269 0 [pid=17110/tid=17111] ppid=17108 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/17110/task/17111/stat : 17111 (java) R 17108 17108 16590 0 -1 4202560 5427 0 0 0 18 2 0 0 20 0 20 0 107884446 26628161536 9606 33554432000 4194304 4196468 140737452351232 140356304918328 140356300719261 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17112] ppid=17108 vsize=26004064 memory=328 CPUtime=0 cores=0-7 /proc/17110/task/17112/stat : 17112 (java) S 17108 17108 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107884446 26628161536 9606 33554432000 4194304 4196468 140737452351232 140356253317520 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17113] ppid=17108 vsize=26004064 memory=288370083076720256 CPUtime=0 cores=0-7 /proc/17110/task/17113/stat : 17113 (java) S 17108 17108 16590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107884446 26628161536 9606 33554432000 4194304 4196468 140737452351232 140356252264720 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17114] ppid=17108 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/17110/task/17114/stat : 17114 (java) S 17108 17108 16590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107884446 26628161536 9606 33554432000 4194304 4196468 140737452351232 140356251212432 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17115] ppid=17108 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17115/stat : 17115 (java) S 17108 17108 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107884446 26628161536 9606 33554432000 4194304 4196468 140737452351232 140356250159632 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17116] ppid=17108 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17116/stat : 17116 (java) S 17108 17108 16590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107884446 26628161536 9606 33554432000 4194304 4196468 140737452351232 140356249107344 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17117] ppid=17108 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/17110/task/17117/stat : 17117 (java) S 17108 17108 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107884446 26628161536 9606 33554432000 4194304 4196468 140737452351232 140356248054544 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17118] ppid=17108 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17118/stat : 17118 (java) S 17108 17108 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107884446 26628161536 9606 33554432000 4194304 4196468 140737452351232 140356247002256 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17119] ppid=17108 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17119/stat : 17119 (java) S 17108 17108 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107884446 26628161536 9606 33554432000 4194304 4196468 140737452351232 140356245949456 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17120] ppid=17108 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17120/stat : 17120 (java) S 17108 17108 16590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107884448 26628161536 9606 33554432000 4194304 4196468 140737452351232 140355495086192 140356300708482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17121] ppid=17108 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17121/stat : 17121 (java) S 17108 17108 16590 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 107884448 26628161536 9606 33554432000 4194304 4196468 140737452351232 140355494032160 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17122] ppid=17108 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17122/stat : 17122 (java) S 17108 17108 16590 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 107884448 26628161536 9606 33554432000 4194304 4196468 140737452351232 140355492979824 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17123] ppid=17108 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17123/stat : 17123 (java) S 17108 17108 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107884451 26628161536 9606 33554432000 4194304 4196468 140737452351232 140355491928144 140356300715931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17124] ppid=17108 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/17110/task/17124/stat : 17124 (java) S 17108 17108 16590 0 -1 1077944384 437 0 0 0 1 0 0 0 20 0 20 0 107884451 26628161536 9606 33554432000 4194304 4196468 140737452351232 140355490876016 140356300708482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17125] ppid=17108 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17125/stat : 17125 (java) S 17108 17108 16590 0 -1 1077944384 258 0 0 0 0 0 0 0 20 0 20 0 107884451 26628161536 9606 33554432000 4194304 4196468 140737452351232 140355489823216 140356300708482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17126] ppid=17108 vsize=26004096 memory=-1 CPUtime=0.01 cores=0-7 /proc/17110/task/17126/stat : 17126 (java) S 17108 17108 16590 0 -1 1077944384 92 0 0 0 1 0 0 0 20 0 20 0 107884451 26628194304 9606 33554432000 4194304 4196468 140737452351232 140355488770928 140356300708482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17127] ppid=17108 vsize=26004096 memory=-1 CPUtime=0.08 cores=0-7 /proc/17110/task/17127/stat : 17127 (java) S 17108 17108 16590 0 -1 1077944384 707 0 0 0 8 0 0 0 20 0 20 0 107884451 26628194304 9606 33554432000 4194304 4196468 140737452351232 140355487718128 140356300708482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17128] ppid=17108 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17128/stat : 17128 (java) S 17108 17108 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107884451 26628161536 9626 33554432000 4194304 4196468 140737452351232 140355486665056 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17129] ppid=17108 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/17110/task/17129/stat : 17129 (java) S 17108 17108 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107884451 26628161536 9626 33554432000 4194304 4196468 140737452351232 140355485612336 140356300708482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 39808 KiB [startup+0.310448 s]* /proc/loadavg: 9.04 9.03 8.82 3/199 17129 /proc/meminfo: memFree=31446984/32770624 swapFree=67108860/67108860 [pid=17108] ppid=17105 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/17108/stat : 17108 (xcsp3-exec) S 17105 17108 16590 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 107884445 9740288 346 33554432000 4194304 5098028 140722867220768 140722867218872 140564155273852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24391680 140722867225700 140722867225911 140722867225911 140722867228651 0 /proc/17108/statm: 2378 346 289 221 0 87 0 [pid=17110] ppid=17108 vsize=26004140 memory=45980 CPUtime=0.49 cores=0-7 /proc/17110/stat : 17110 (java) S 17108 17108 16590 0 -1 1077944320 9209 0 0 0 45 4 0 0 20 0 20 0 107884445 26628239360 11495 33554432000 4194304 4196468 140737452351232 140737452333776 140356300697335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 /proc/17110/statm: 6501035 11495 3077 1 0 6488269 0 [pid=17110/tid=17111] ppid=17108 vsize=26004140 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/17110/task/17111/stat : 17111 (java) R 17108 17108 16590 0 -1 4202560 6213 0 0 0 27 2 0 0 20 0 20 0 107884446 26628239360 11495 33554432000 4194304 4196468 140737452351232 140356304929696 140356284777822 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17112] ppid=17108 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17112/stat : 17112 (java) S 17108 17108 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107884446 26628239360 11495 33554432000 4194304 4196468 140737452351232 140356253317520 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17113] ppid=17108 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17113/stat : 17113 (java) S 17108 17108 16590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107884446 26628239360 11495 33554432000 4194304 4196468 140737452351232 140356252264720 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17114] ppid=17108 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17114/stat : 17114 (java) S 17108 17108 16590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107884446 26628239360 11495 33554432000 4194304 4196468 140737452351232 140356251212432 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17115] ppid=17108 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17115/stat : 17115 (java) S 17108 17108 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107884446 26628239360 11495 33554432000 4194304 4196468 140737452351232 140356250159632 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17116] ppid=17108 vsize=26004140 memory=2244 CPUtime=0 cores=0-7 /proc/17110/task/17116/stat : 17116 (java) S 17108 17108 16590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107884446 26628239360 11495 33554432000 4194304 4196468 140737452351232 140356249107344 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17117] ppid=17108 vsize=26004140 memory=139706763408303 CPUtime=0 cores=0-7 /proc/17110/task/17117/stat : 17117 (java) S 17108 17108 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107884446 26628239360 11495 33554432000 4194304 4196468 140737452351232 140356248054544 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17118] ppid=17108 vsize=26004140 memory=139706763410608 CPUtime=0 cores=0-7 /proc/17110/task/17118/stat : 17118 (java) S 17108 17108 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107884446 26628239360 11495 33554432000 4194304 4196468 140737452351232 140356247002256 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17119] ppid=17108 vsize=26004140 memory=139706763412912 CPUtime=0 cores=0-7 /proc/17110/task/17119/stat : 17119 (java) S 17108 17108 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107884446 26628239360 11495 33554432000 4194304 4196468 140737452351232 140356245949456 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17120] ppid=17108 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17120/stat : 17120 (java) S 17108 17108 16590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107884448 26628239360 11495 33554432000 4194304 4196468 140737452351232 140355495086192 140356300708482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17121] ppid=17108 vsize=26004140 memory=279413526832784 CPUtime=0 cores=0-7 /proc/17110/task/17121/stat : 17121 (java) S 17108 17108 16590 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 107884448 26628239360 11495 33554432000 4194304 4196468 140737452351232 140355494032160 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17122] ppid=17108 vsize=26004140 memory=279413526839696 CPUtime=0 cores=0-7 /proc/17110/task/17122/stat : 17122 (java) S 17108 17108 16590 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 107884448 26628239360 11495 33554432000 4194304 4196468 140737452351232 140355492979824 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17123] ppid=17108 vsize=26004140 memory=279413526780976 CPUtime=0 cores=0-7 /proc/17110/task/17123/stat : 17123 (java) S 17108 17108 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107884451 26628239360 11495 33554432000 4194304 4196468 140737452351232 140355491928144 140356300715931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17124] ppid=17108 vsize=26004140 memory=279413526853520 CPUtime=0.01 cores=0-7 /proc/17110/task/17124/stat : 17124 (java) R 17108 17108 16590 0 -1 1077944384 439 0 0 0 1 0 0 0 20 0 20 0 107884451 26628239360 11495 33554432000 4194304 4196468 140737452351232 140355490876016 140356300708482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17125] ppid=17108 vsize=26004140 memory=279413526860432 CPUtime=0.02 cores=0-7 /proc/17110/task/17125/stat : 17125 (java) S 17108 17108 16590 0 -1 1077944384 352 0 0 0 2 0 0 0 20 0 20 0 107884451 26628239360 11495 33554432000 4194304 4196468 140737452351232 140355489823216 140356300708482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17126] ppid=17108 vsize=26004140 memory=279413526858128 CPUtime=0.02 cores=0-7 /proc/17110/task/17126/stat : 17126 (java) S 17108 17108 16590 0 -1 1077944384 92 0 0 0 2 0 0 0 20 0 20 0 107884451 26628239360 11495 33554432000 4194304 4196468 140737452351232 140355488770928 140356300708482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17127] ppid=17108 vsize=26004140 memory=279413526874288 CPUtime=0.11 cores=0-7 /proc/17110/task/17127/stat : 17127 (java) R 17108 17108 16590 0 -1 1077944384 806 0 0 0 11 0 0 0 20 0 20 0 107884451 26628239360 11495 33554432000 4194304 4196468 140737452351232 140355487718128 140356300708482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17128] ppid=17108 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17128/stat : 17128 (java) S 17108 17108 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107884451 26628239360 11495 33554432000 4194304 4196468 140737452351232 140355486665056 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17129] ppid=17108 vsize=26004140 memory=-1 CPUtime=0 cores=0-7 /proc/17110/task/17129/stat : 17129 (java) S 17108 17108 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107884451 26628239360 11495 33554432000 4194304 4196468 140737452351232 140355485612336 140356300708482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 Current children cumulated CPU time: 0.49 s Current children cumulated vsize: 26013652 KiB Current children cumulated memory: 47364 KiB [startup+0.702139 s] /proc/loadavg: 9.04 9.03 8.82 6/199 17129 /proc/meminfo: memFree=31423704/32770624 swapFree=67108860/67108860 [pid=17108] ppid=17105 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/17108/stat : 17108 (xcsp3-exec) S 17105 17108 16590 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 107884445 9740288 346 33554432000 4194304 5098028 140722867220768 140722867218872 140564155273852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24391680 140722867225700 140722867225911 140722867225911 140722867228651 0 /proc/17108/statm: 2378 346 289 221 0 87 0 [pid=17110] ppid=17108 vsize=26538700 memory=109056 CPUtime=2.12 cores=0-7 /proc/17110/stat : 17110 (java) S 17108 17108 16590 0 -1 1077944320 17120 0 0 0 204 8 0 0 20 0 28 0 107884445 27175628800 27264 33554432000 4194304 4196468 140737452351232 140737452333776 140356300697335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 /proc/17110/statm: 6634675 27264 3208 1 0 6621909 0 [pid=17110/tid=17111] ppid=17108 vsize=26538700 memory=279413527232176 CPUtime=0.61 cores=0-7 /proc/17110/task/17111/stat : 17111 (java) S 17108 17108 16590 0 -1 1077944384 6900 0 0 0 58 3 0 0 20 0 28 0 107884446 27175628800 27264 33554432000 4194304 4196468 140737452351232 140356304938112 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17112] ppid=17108 vsize=26538700 memory=139706763617136 CPUtime=0 cores=0-7 /proc/17110/task/17112/stat : 17112 (java) S 17108 17108 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 107884446 27175628800 27264 33554432000 4194304 4196468 140737452351232 140356253317520 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17113] ppid=17108 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17113/stat : 17113 (java) S 17108 17108 16590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 107884446 27175628800 27264 33554432000 4194304 4196468 140737452351232 140356252264720 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17114] ppid=17108 vsize=26538700 memory=4612 CPUtime=0 cores=0-7 /proc/17110/task/17114/stat : 17114 (java) S 17108 17108 16590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 107884446 27175628800 27264 33554432000 4194304 4196468 140737452351232 140356251212432 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 ################ # More data... # ################ [pid=17110/tid=17119] ppid=17108 vsize=26538700 memory=-9178176117318312558 CPUtime=0 cores=0-7 /proc/17110/task/17119/stat : 17119 (java) S 17108 17108 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 107884446 27175628800 28001 33554432000 4194304 4196468 140737452351232 140356245949456 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17120] ppid=17108 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17120/stat : 17120 (java) S 17108 17108 16590 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 107884448 27175628800 28001 33554432000 4194304 4196468 140737452351232 140355495086192 140356300708482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17121] ppid=17108 vsize=26538700 memory=1732 CPUtime=0 cores=0-7 /proc/17110/task/17121/stat : 17121 (java) S 17108 17108 16590 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 107884448 27175628800 28001 33554432000 4194304 4196468 140737452351232 140355494032160 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17122] ppid=17108 vsize=26538700 memory=1948 CPUtime=0 cores=0-7 /proc/17110/task/17122/stat : 17122 (java) S 17108 17108 16590 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 107884448 27175628800 28001 33554432000 4194304 4196468 140737452351232 140355492979824 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17123] ppid=17108 vsize=26538700 memory=800 CPUtime=0 cores=0-7 /proc/17110/task/17123/stat : 17123 (java) S 17108 17108 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 107884451 27175628800 28001 33554432000 4194304 4196468 140737452351232 140355491928144 140356300715931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17124] ppid=17108 vsize=26538700 memory=12068 CPUtime=0.23 cores=0-7 /proc/17110/task/17124/stat : 17124 (java) R 17108 17108 16590 0 -1 1077944384 1663 0 0 0 23 0 0 0 20 0 28 0 107884451 27175628800 28001 33554432000 4194304 4196468 140737452351232 140355490862800 140356300707541 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17125] ppid=17108 vsize=26538700 memory=1440 CPUtime=0.28 cores=0-7 /proc/17110/task/17125/stat : 17125 (java) R 17108 17108 16590 0 -1 4202560 1820 0 0 0 28 0 0 0 20 0 28 0 107884451 27175628800 28001 33554432000 4194304 4196468 140737452351232 140355489807880 140356282218187 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17126] ppid=17108 vsize=26538700 memory=5792 CPUtime=0.36 cores=0-7 /proc/17110/task/17126/stat : 17126 (java) R 17108 17108 16590 0 -1 4202560 2971 0 0 0 36 0 0 0 20 0 28 0 107884451 27175628800 28001 33554432000 4194304 4196468 140737452351232 140355488756104 140356282241775 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17127] ppid=17108 vsize=26538700 memory=1224 CPUtime=0.4 cores=0-7 /proc/17110/task/17127/stat : 17127 (java) R 17108 17108 16590 0 -1 4202560 2877 0 0 0 39 1 0 0 20 0 28 0 107884451 27175628800 28001 33554432000 4194304 4196468 140737452351232 140355487715384 140356293794171 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17128] ppid=17108 vsize=26538700 memory=8564 CPUtime=0 cores=0-7 /proc/17110/task/17128/stat : 17128 (java) S 17108 17108 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 107884451 27175628800 28001 33554432000 4194304 4196468 140737452351232 140355486665056 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17129] ppid=17108 vsize=26538700 memory=1712 CPUtime=0 cores=0-7 /proc/17110/task/17129/stat : 17129 (java) S 17108 17108 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 107884451 27175628800 28001 33554432000 4194304 4196468 140737452351232 140355485612336 140356300708482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 Current children cumulated CPU time: 2.89 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 113388 KiB [startup+1.20514 s] /proc/loadavg: 9.04 9.03 8.82 12/207 17137 /proc/meminfo: memFree=31376432/32770624 swapFree=67108860/67108860 [pid=17108] ppid=17105 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/17108/stat : 17108 (xcsp3-exec) S 17105 17108 16590 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 107884445 9740288 346 33554432000 4194304 5098028 140722867220768 140722867218872 140564155273852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24391680 140722867225700 140722867225911 140722867225911 140722867228651 0 /proc/17108/statm: 2378 346 289 221 0 87 0 [pid=17110] ppid=17108 vsize=26538700 memory=120708 CPUtime=6.05 cores=0-7 /proc/17110/stat : 17110 (java) S 17108 17108 16590 0 -1 1077944320 20102 0 0 0 596 9 0 0 20 0 28 0 107884445 27175628800 30177 33554432000 4194304 4196468 140737452351232 140737452333776 140356300697335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 /proc/17110/statm: 6634675 30177 3218 1 0 6621909 0 [pid=17110/tid=17111] ppid=17108 vsize=26538700 memory=0 CPUtime=0.61 cores=0-7 /proc/17110/task/17111/stat : 17111 (java) S 17108 17108 16590 0 -1 1077944384 6900 0 0 0 58 3 0 0 20 0 28 0 107884446 27175628800 30177 33554432000 4194304 4196468 140737452351232 140356304938112 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17112] ppid=17108 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17112/stat : 17112 (java) S 17108 17108 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 107884446 27175628800 30177 33554432000 4194304 4196468 140737452351232 140356253317520 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17113] ppid=17108 vsize=26538700 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/17110/task/17113/stat : 17113 (java) S 17108 17108 16590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 107884446 27175628800 30177 33554432000 4194304 4196468 140737452351232 140356252264720 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17114] ppid=17108 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17114/stat : 17114 (java) S 17108 17108 16590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 107884446 27175628800 30177 33554432000 4194304 4196468 140737452351232 140356251212432 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17115] ppid=17108 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17115/stat : 17115 (java) S 17108 17108 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 107884446 27175628800 30177 33554432000 4194304 4196468 140737452351232 140356250159632 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17116] ppid=17108 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17116/stat : 17116 (java) S 17108 17108 16590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 107884446 27175628800 30177 33554432000 4194304 4196468 140737452351232 140356249107344 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17117] ppid=17108 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17117/stat : 17117 (java) S 17108 17108 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 107884446 27175628800 30177 33554432000 4194304 4196468 140737452351232 140356248054544 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17118] ppid=17108 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17118/stat : 17118 (java) S 17108 17108 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 107884446 27175628800 30177 33554432000 4194304 4196468 140737452351232 140356247002256 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17119] ppid=17108 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17119/stat : 17119 (java) S 17108 17108 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 107884446 27175628800 30177 33554432000 4194304 4196468 140737452351232 140356245949456 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17120] ppid=17108 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17120/stat : 17120 (java) S 17108 17108 16590 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 107884448 27175628800 30177 33554432000 4194304 4196468 140737452351232 140355495086192 140356300708482 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17121] ppid=17108 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17121/stat : 17121 (java) S 17108 17108 16590 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 107884448 27175628800 30177 33554432000 4194304 4196468 140737452351232 140355494032160 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17122] ppid=17108 vsize=26538700 memory=303711698211307546 CPUtime=0 cores=0-7 /proc/17110/task/17122/stat : 17122 (java) S 17108 17108 16590 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 107884448 27175628800 30177 33554432000 4194304 4196468 140737452351232 140355492979824 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17123] ppid=17108 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17123/stat : 17123 (java) S 17108 17108 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 107884451 27175628800 30177 33554432000 4194304 4196468 140737452351232 140355491928144 140356300715931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17124] ppid=17108 vsize=26538700 memory=6154000010293963881 CPUtime=0.45 cores=0-7 /proc/17110/task/17124/stat : 17124 (java) R 17108 17108 16590 0 -1 4202560 2608 0 0 0 45 0 0 0 20 0 28 0 107884451 27175628800 30177 33554432000 4194304 4196468 140737452351232 140355490867088 140356284191467 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17125] ppid=17108 vsize=26538700 memory=1 CPUtime=0.54 cores=0-7 /proc/17110/task/17125/stat : 17125 (java) R 17108 17108 16590 0 -1 4202560 2541 0 0 0 53 1 0 0 20 0 28 0 107884451 27175628800 30177 33554432000 4194304 4196468 140737452351232 140355489810000 140356284196200 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17126] ppid=17108 vsize=26538700 memory=0 CPUtime=0.55 cores=0-7 /proc/17110/task/17126/stat : 17126 (java) R 17108 17108 16590 0 -1 4202560 3159 0 0 0 54 1 0 0 20 0 28 0 107884451 27175628800 30177 33554432000 4194304 4196468 140737452351232 140355488756240 140356285606239 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17127] ppid=17108 vsize=26538700 memory=6656426216303648864 CPUtime=0.48 cores=0-7 /proc/17110/task/17127/stat : 17127 (java) S 17108 17108 16590 0 -1 1077944384 3164 0 0 0 47 1 0 0 20 0 28 0 107884451 27175628800 30177 33554432000 4194304 4196468 140737452351232 140355487718128 140356300708482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17128] ppid=17108 vsize=26538700 memory=483 CPUtime=0 cores=0-7 /proc/17110/task/17128/stat : 17128 (java) S 17108 17108 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 107884451 27175628800 30177 33554432000 4194304 4196468 140737452351232 140355486665056 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17129] ppid=17108 vsize=26538700 memory=2557 CPUtime=0 cores=0-7 /proc/17110/task/17129/stat : 17129 (java) S 17108 17108 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 107884451 27175628800 30177 33554432000 4194304 4196468 140737452351232 140355485612336 140356300708482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17130] ppid=17108 vsize=26538700 memory=0 CPUtime=0.43 cores=0-7 /proc/17110/task/17130/stat : 17130 (java) R 17108 17108 16590 0 -1 4202560 93 0 0 0 43 0 0 0 20 0 28 0 107884509 27175628800 30177 33554432000 4194304 4196468 140737452351232 140355477601792 140355928808775 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17131] ppid=17108 vsize=26538700 memory=143 CPUtime=0.37 cores=0-7 /proc/17110/task/17131/stat : 17131 (java) R 17108 17108 16590 0 -1 4202560 55 0 0 0 37 0 0 0 20 0 28 0 107884509 27175628800 30177 33554432000 4194304 4196468 140737452351232 140355476548720 140355928762193 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17132] ppid=17108 vsize=26538700 memory=268 CPUtime=0.38 cores=0-7 /proc/17110/task/17132/stat : 17132 (java) R 17108 17108 16590 0 -1 4202560 50 0 0 0 38 0 0 0 20 0 28 0 107884509 27175628800 30177 33554432000 4194304 4196468 140737452351232 140355475498416 140355928763881 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17133] ppid=17108 vsize=26538700 memory=54 CPUtime=0.45 cores=0-7 /proc/17110/task/17133/stat : 17133 (java) R 17108 17108 16590 0 -1 4202560 44 0 0 0 45 0 0 0 20 0 28 0 107884509 27175628800 30177 33554432000 4194304 4196468 140737452351232 140355474446632 140355925268990 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17134] ppid=17108 vsize=26538700 memory=64 CPUtime=0.43 cores=0-7 /proc/17110/task/17134/stat : 17134 (java) R 17108 17108 16590 0 -1 4202560 72 0 0 0 43 0 0 0 20 0 28 0 107884509 27175628800 30177 33554432000 4194304 4196468 140737452351232 140355473391224 140355927576960 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17135] ppid=17108 vsize=26538700 memory=8743 CPUtime=0.44 cores=0-7 /proc/17110/task/17135/stat : 17135 (java) R 17108 17108 16590 0 -1 1077944384 29 0 0 0 44 0 0 0 20 0 28 0 107884509 27175628800 30177 33554432000 4194304 4196468 140737452351232 140355472337680 140356300707541 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17136] ppid=17108 vsize=26538700 memory=0 CPUtime=0.41 cores=0-7 /proc/17110/task/17136/stat : 17136 (java) R 17108 17108 16590 0 -1 4202560 41 0 0 0 41 0 0 0 20 0 28 0 107884509 27175628800 30177 33554432000 4194304 4196468 140737452351232 140355471282112 140355929766520 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17137] ppid=17108 vsize=26538700 memory=0 CPUtime=0.42 cores=0-7 /proc/17110/task/17137/stat : 17137 (java) R 17108 17108 16590 0 -1 4202560 33 0 0 0 42 0 0 0 20 0 28 0 107884509 27175628800 30177 33554432000 4194304 4196468 140737452351232 140355470236064 140355928885192 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 Current children cumulated CPU time: 6.05 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 122092 KiB [startup+1.30111 s] /proc/loadavg: 9.04 9.03 8.82 12/207 17137 /proc/meminfo: memFree=31376432/32770624 swapFree=67108860/67108860 [pid=17108] ppid=17105 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/17108/stat : 17108 (xcsp3-exec) S 17105 17108 16590 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 107884445 9740288 346 33554432000 4194304 5098028 140722867220768 140722867218872 140564155273852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24391680 140722867225700 140722867225911 140722867225911 140722867228651 0 /proc/17108/statm: 2378 346 289 221 0 87 0 [pid=17110] ppid=17108 vsize=26538700 memory=120784 CPUtime=6.81 cores=0-7 /proc/17110/stat : 17110 (java) S 17108 17108 16590 0 -1 1077944320 20128 0 0 0 672 9 0 0 20 0 28 0 107884445 27175628800 30196 33554432000 4194304 4196468 140737452351232 140737452333776 140356300697335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 /proc/17110/statm: 6634675 30196 3222 1 0 6621909 0 [pid=17110/tid=17111] ppid=17108 vsize=26538700 memory=119796 CPUtime=0.61 cores=0-7 /proc/17110/task/17111/stat : 17111 (java) S 17108 17108 16590 0 -1 1077944384 6900 0 0 0 58 3 0 0 20 0 28 0 107884446 27175628800 30196 33554432000 4194304 4196468 140737452351232 140356304938112 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17112] ppid=17108 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17112/stat : 17112 (java) S 17108 17108 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 107884446 27175628800 30196 33554432000 4194304 4196468 140737452351232 140356253317520 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17113] ppid=17108 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17113/stat : 17113 (java) S 17108 17108 16590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 107884446 27175628800 30196 33554432000 4194304 4196468 140737452351232 140356252264720 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17114] ppid=17108 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17114/stat : 17114 (java) S 17108 17108 16590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 107884446 27175628800 30196 33554432000 4194304 4196468 140737452351232 140356251212432 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17115] ppid=17108 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17115/stat : 17115 (java) S 17108 17108 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 107884446 27175628800 30196 33554432000 4194304 4196468 140737452351232 140356250159632 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17116] ppid=17108 vsize=26538700 memory=1384 CPUtime=0 cores=0-7 /proc/17110/task/17116/stat : 17116 (java) S 17108 17108 16590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 107884446 27175628800 30196 33554432000 4194304 4196468 140737452351232 140356249107344 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17117] ppid=17108 vsize=26538700 memory=109056 CPUtime=0 cores=0-7 /proc/17110/task/17117/stat : 17117 (java) S 17108 17108 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 107884446 27175628800 30196 33554432000 4194304 4196468 140737452351232 140356248054544 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17118] ppid=17108 vsize=26538700 memory=279413527232176 CPUtime=0 cores=0-7 /proc/17110/task/17118/stat : 17118 (java) S 17108 17108 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 107884446 27175628800 30196 33554432000 4194304 4196468 140737452351232 140356247002256 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17119] ppid=17108 vsize=26538700 memory=139706763617136 CPUtime=0 cores=0-7 /proc/17110/task/17119/stat : 17119 (java) S 17108 17108 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 107884446 27175628800 30196 33554432000 4194304 4196468 140737452351232 140356245949456 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17120] ppid=17108 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17120/stat : 17120 (java) S 17108 17108 16590 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 107884448 27175628800 30196 33554432000 4194304 4196468 140737452351232 140355495086192 140356300708482 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17121] ppid=17108 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17121/stat : 17121 (java) S 17108 17108 16590 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 107884448 27175628800 30196 33554432000 4194304 4196468 140737452351232 140355494032160 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17122] ppid=17108 vsize=26538700 memory=73478300534200 CPUtime=0 cores=0-7 /proc/17110/task/17122/stat : 17122 (java) S 17108 17108 16590 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 107884448 27175628800 30196 33554432000 4194304 4196468 140737452351232 140355492979824 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17123] ppid=17108 vsize=26538700 memory=73478300534201 CPUtime=0 cores=0-7 /proc/17110/task/17123/stat : 17123 (java) S 17108 17108 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 107884451 27175628800 30196 33554432000 4194304 4196468 140737452351232 140355491928144 140356300715931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17124] ppid=17108 vsize=26538700 memory=73478300534202 CPUtime=0.48 cores=0-7 /proc/17110/task/17124/stat : 17124 (java) R 17108 17108 16590 0 -1 4202560 2608 0 0 0 48 0 0 0 20 0 28 0 107884451 27175628800 30196 33554432000 4194304 4196468 140737452351232 140355490862480 140356278249917 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17125] ppid=17108 vsize=26538700 memory=73478300534203 CPUtime=0.64 cores=0-7 /proc/17110/task/17125/stat : 17125 (java) R 17108 17108 16590 0 -1 4202560 2552 0 0 0 63 1 0 0 20 0 28 0 107884451 27175628800 30196 33554432000 4194304 4196468 140737452351232 140355489808976 140356282218531 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17126] ppid=17108 vsize=26538700 memory=73478300534204 CPUtime=0.64 cores=0-7 /proc/17110/task/17126/stat : 17126 (java) R 17108 17108 16590 0 -1 4202560 3169 0 0 0 63 1 0 0 20 0 28 0 107884451 27175628800 30196 33554432000 4194304 4196468 140737452351232 140355488757472 140356284108313 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17127] ppid=17108 vsize=26538700 memory=73478300534205 CPUtime=0.49 cores=0-7 /proc/17110/task/17127/stat : 17127 (java) R 17108 17108 16590 0 -1 1077944384 3167 0 0 0 48 1 0 0 20 0 28 0 107884451 27175628800 30196 33554432000 4194304 4196468 140737452351232 140355487718128 140356300708482 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17128] ppid=17108 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/17110/task/17128/stat : 17128 (java) S 17108 17108 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 107884451 27175628800 30196 33554432000 4194304 4196468 140737452351232 140355486665056 140356300707541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17129] ppid=17108 vsize=26538700 memory=6943526294502006880 CPUtime=0 cores=0-7 /proc/17110/task/17129/stat : 17129 (java) S 17108 17108 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 107884451 27175628800 30196 33554432000 4194304 4196468 140737452351232 140355485612336 140356300708482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17130] ppid=17108 vsize=26538700 memory=6944656592455097440 CPUtime=0.5 cores=0-7 /proc/17110/task/17130/stat : 17130 (java) R 17108 17108 16590 0 -1 4202560 93 0 0 0 50 0 0 0 20 0 28 0 107884509 27175628800 30196 33554432000 4194304 4196468 140737452351232 140355477601688 140355928850403 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17131] ppid=17108 vsize=26538700 memory=6944652177228980320 CPUtime=0.43 cores=0-7 /proc/17110/task/17131/stat : 17131 (java) R 17108 17108 16590 0 -1 4202560 55 0 0 0 43 0 0 0 20 0 28 0 107884509 27175628800 30196 33554432000 4194304 4196468 140737452351232 140355476551032 140355928762289 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17132] ppid=17108 vsize=26538700 memory=6656426216303648864 CPUtime=0.44 cores=0-7 /proc/17110/task/17132/stat : 17132 (java) R 17108 17108 16590 0 -1 4202560 51 0 0 0 44 0 0 0 20 0 28 0 107884509 27175628800 30196 33554432000 4194304 4196468 140737452351232 140355475498584 140355928989662 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17133] ppid=17108 vsize=26538700 memory=6944656592455359580 CPUtime=0.49 cores=0-7 /proc/17110/task/17133/stat : 17133 (java) R 17108 17108 16590 0 -1 4202560 45 0 0 0 49 0 0 0 20 0 28 0 107884509 27175628800 30196 33554432000 4194304 4196468 140737452351232 140355474446360 140355929320778 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17134] ppid=17108 vsize=26538700 memory=6944652177228980320 CPUtime=0.5 cores=0-7 /proc/17110/task/17134/stat : 17134 (java) R 17108 17108 16590 0 -1 4202560 72 0 0 0 50 0 0 0 20 0 28 0 107884509 27175628800 30196 33554432000 4194304 4196468 140737452351232 140355473393360 140355928796179 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17135] ppid=17108 vsize=26538700 memory=6944656592455360604 CPUtime=0.49 cores=0-7 /proc/17110/task/17135/stat : 17135 (java) R 17108 17108 16590 0 -1 4202560 29 0 0 0 49 0 0 0 20 0 28 0 107884509 27175628800 30196 33554432000 4194304 4196468 140737452351232 140355472335424 140355925268967 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17136] ppid=17108 vsize=26538700 memory=5864345774621481062 CPUtime=0.51 cores=0-7 /proc/17110/task/17136/stat : 17136 (java) R 17108 17108 16590 0 -1 4202560 41 0 0 0 51 0 0 0 20 0 28 0 107884509 27175628800 30196 33554432000 4194304 4196468 140737452351232 140355471286264 140355928815948 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 [pid=17110/tid=17137] ppid=17108 vsize=26538700 memory=26731687843 CPUtime=0.5 cores=0-7 /proc/17110/task/17137/stat : 17137 (java) R 17108 17108 16590 0 -1 4202560 33 0 0 0 50 0 0 0 20 0 28 0 107884509 27175628800 30196 33554432000 4194304 4196468 140737452351232 140355470236112 140355928670080 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36089856 140737452352658 140737452352835 140737452352835 140737452355535 0 Current children cumulated CPU time: 6.81 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 122168 KiB Child status: 0 Real time (s): 1.36678 CPU time (s): 7.06403 CPU user time (s): 6.96043 CPU system time (s): 0.103593 CPU usage (%): 516.836 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 122168 getrusage(RUSAGE_CHILDREN,...) data: user time used= 6.96044 system time used= 0.103593 maximum resident set size= 124244 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 20704 page faults= 0 swaps= 0 block input operations= 0 block output operations= 72 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2910 involuntary context switches= 164 # summary of solver processes directly reported to runsolver: # pid: 17108 # total CPU time (s): 7.06403 # total CPU user time (s): 6.96043 # total CPU system time (s): 0.103593 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.029896 second user time and 0.060824 second system time The end
Begin job on node113 at 2017-08-14 23:45:10 IDJOB=4270677 IDBENCH=130612 IDSOLVER=2662 FILE ID=node113/4270677-1502747968 RUNJOBID= node113-1502739544-16617 PBS_JOBID= 20629058 Free space on /tmp= 61788 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/QueenAttacking/QueenAttacking-m1-s1/QueenAttacking-04.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4270677-1502747968/watcher-4270677-1502747968 -o /tmp/evaluation-result-4270677-1502747968/solver-4270677-1502747968 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node113-1502739544-16617 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1475515566 HOME/instance-4270677-1502747968.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 2ada0409f2c6e70f95908de4e7f6edb2 RANDOM SEED=1475515566 node113.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.89 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.89 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.89 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.89 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: 31481192 kB MemAvailable: 31970756 kB Buffers: 180664 kB Cached: 584424 kB SwapCached: 0 kB Active: 589620 kB Inactive: 229888 kB Active(anon): 4852 kB Inactive(anon): 77668 kB Active(file): 584768 kB Inactive(file): 152220 kB Unevictable: 6588 kB Mlocked: 6588 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7876 kB Writeback: 0 kB AnonPages: 61320 kB Mapped: 44900 kB Shmem: 25224 kB Slab: 163036 kB SReclaimable: 136824 kB SUnreclaim: 26212 kB KernelStack: 3168 kB PageTables: 4304 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 325468 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61780 MiB End job on node113 at 2017-08-14 23:45:11