Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | UNSAT | 786.446 | 99.2146 |
Name | BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w4b1r5.xml |
MD5SUM | d746abd17fd9f5e52f47be3617d955ae |
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 | 5.25539 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 51 |
Number of constraints | 13 |
Number of domains | 2 |
Minimum domain size | 6 |
Maximum domain size | 35 |
Distribution of domain sizes | [{"size":6,"count":1},{"size":35,"count":50}] |
Minimum variable degree | 2 |
Maximum variable degree | 5 |
Distribution of variable degrees | [{"degree":2,"count":1},{"degree":4,"count":45},{"degree":5,"count":5}] |
Minimum constraint arity | 6 |
Maximum constraint arity | 50 |
Distribution of constraint arities | [{"arity":6,"count":1},{"arity":10,"count":10},{"arity":50,"count":2}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"ordered","count":5},{"type":"lex","count":1},{"type":"sum","count":5},{"type":"count","count":1},{"type":"cardinality","count":1}] |
Optimization problem | YES |
Type of objective | max VAR |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4405041-1569005166.xml" -tl '2016s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4405041-1569005166.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 1.04/0.53 c solve instance... 785.75/99.19 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 (5990 MiB free) memory of node 1: 16384 MiB (4920 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405041-1569005166/watcher-4405041-1569005166 -o /tmp/evaluation-result-4405041-1569005166/solver-4405041-1569005166 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node141-1568994933-2833 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1807331282 HOME/instance-4405041-1569005166.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=4464, runsolver pid=4461 Current StackSize limit: 8192 KiB [startup+0.100605 s]* /proc/loadavg: 9.71 8.87 8.48 2/211 4485 /proc/meminfo: memFree=11155240/32770624 swapFree=66935516/67108860 [pid=4464] ppid=4461 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/4464/stat : 4464 (xcsp3-exec) S 4461 4464 2806 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476454402 115843072 363 33554432000 4194304 5098028 140724576548656 140724576546760 139679922582140 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35115008 140724576551803 140724576552046 140724576552046 140724576554954 0 /proc/4464/statm: 28282 363 304 221 0 87 0 [pid=4466] ppid=4464 vsize=28227396 memory=30108 CPUtime=0.12 cores=0-7 /proc/4466/stat : 4466 (java) S 4464 4464 2806 0 -1 1077944320 5486 0 0 0 11 1 0 0 20 0 20 0 476454402 28904853504 7527 33554432000 4194304 4196468 140729676187920 140729676170464 140358971461367 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 /proc/4466/statm: 7056849 7527 3117 1 0 7019032 0 [pid=4466/tid=4467] ppid=4464 vsize=28227396 memory=-2177352373413752899 CPUtime=0.08 cores=0-7 /proc/4466/task/4467/stat : 4467 (java) R 4464 4464 2806 0 -1 4202560 3407 0 0 0 8 0 0 0 20 0 20 0 476454403 28904853504 7527 33554432000 4194304 4196468 140729676187920 140358975694616 140358971473302 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4468] ppid=4464 vsize=28227396 memory=732370321880783845 CPUtime=0 cores=0-7 /proc/4466/task/4468/stat : 4468 (java) S 4464 4464 2806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476454403 28904853504 7527 33554432000 4194304 4196468 140729676187920 140358522624912 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4469] ppid=4464 vsize=28227396 memory=140183543330432 CPUtime=0 cores=0-7 /proc/4466/task/4469/stat : 4469 (java) S 4464 4464 2806 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476454403 28904853504 7527 33554432000 4194304 4196468 140729676187920 140358521572112 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4470] ppid=4464 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4466/task/4470/stat : 4470 (java) S 4464 4464 2806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476454403 28904853504 7527 33554432000 4194304 4196468 140729676187920 140358520519824 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4471] ppid=4464 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4466/task/4471/stat : 4471 (java) S 4464 4464 2806 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476454403 28904853504 7527 33554432000 4194304 4196468 140729676187920 140358519467024 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4472] ppid=4464 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4466/task/4472/stat : 4472 (java) S 4464 4464 2806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476454403 28904853504 7527 33554432000 4194304 4196468 140729676187920 140358518413712 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4473] ppid=4464 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/4466/task/4473/stat : 4473 (java) S 4464 4464 2806 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476454403 28904853504 7527 33554432000 4194304 4196468 140729676187920 140358517360912 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4474] ppid=4464 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4466/task/4474/stat : 4474 (java) S 4464 4464 2806 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476454404 28904853504 7527 33554432000 4194304 4196468 140729676187920 140358516308624 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4475] ppid=4464 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4466/task/4475/stat : 4475 (java) S 4464 4464 2806 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476454404 28904853504 7527 33554432000 4194304 4196468 140729676187920 140358515255824 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4476] ppid=4464 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4466/task/4476/stat : 4476 (java) S 4464 4464 2806 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476454405 28904853504 7527 33554432000 4194304 4196468 140729676187920 140358356318832 140358971472514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4477] ppid=4464 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4466/task/4477/stat : 4477 (java) S 4464 4464 2806 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476454405 28904853504 7527 33554432000 4194304 4196468 140729676187920 140358355264800 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4478] ppid=4464 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4466/task/4478/stat : 4478 (java) S 4464 4464 2806 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476454406 28904853504 7527 33554432000 4194304 4196468 140729676187920 140358354212464 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4479] ppid=4464 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4466/task/4479/stat : 4479 (java) S 4464 4464 2806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476454408 28904853504 7527 33554432000 4194304 4196468 140729676187920 140358353160784 140358971479963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4480] ppid=4464 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4466/task/4480/stat : 4480 (java) S 4464 4464 2806 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 476454408 28904853504 7527 33554432000 4194304 4196468 140729676187920 140358352107632 140358971472514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4481] ppid=4464 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4466/task/4481/stat : 4481 (java) S 4464 4464 2806 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 476454408 28904853504 7527 33554432000 4194304 4196468 140729676187920 140358351054832 140358971472514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4482] ppid=4464 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4466/task/4482/stat : 4482 (java) S 4464 4464 2806 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476454408 28904853504 7527 33554432000 4194304 4196468 140729676187920 140358350002544 140358971472514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4483] ppid=4464 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/4466/task/4483/stat : 4483 (java) S 4464 4464 2806 0 -1 1077944384 340 0 0 0 2 0 0 0 20 0 20 0 476454408 28904853504 7527 33554432000 4194304 4196468 140729676187920 140358348949744 140358971472514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4484] ppid=4464 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4466/task/4484/stat : 4484 (java) S 4464 4464 2806 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476454408 28904853504 7527 33554432000 4194304 4196468 140729676187920 140358347897696 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4485] ppid=4464 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/4466/task/4485/stat : 4485 (java) S 4464 4464 2806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476454408 28904853504 7527 33554432000 4194304 4196468 140729676187920 140358346844976 140358971472514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31560 KiB [startup+0.210444 s]* /proc/loadavg: 9.71 8.87 8.48 2/211 4485 /proc/meminfo: memFree=11142568/32770624 swapFree=66935516/67108860 [pid=4464] ppid=4461 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/4464/stat : 4464 (xcsp3-exec) S 4461 4464 2806 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476454402 115843072 363 33554432000 4194304 5098028 140724576548656 140724576546760 139679922582140 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35115008 140724576551803 140724576552046 140724576552046 140724576554954 0 /proc/4464/statm: 28282 363 304 221 0 87 0 [pid=4466] ppid=4464 vsize=28227396 memory=41424 CPUtime=0.33 cores=0-7 /proc/4466/stat : 4466 (java) S 4464 4464 2806 0 -1 1077944320 9045 0 0 0 30 3 0 0 20 0 20 0 476454402 28904853504 10356 33554432000 4194304 4196468 140729676187920 140729676170464 140358971461367 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 /proc/4466/statm: 7056849 10356 3299 1 0 7019032 0 [pid=4466/tid=4467] ppid=4464 vsize=28227396 memory=0 CPUtime=0.19 cores=0-7 /proc/4466/task/4467/stat : 4467 (java) R 4464 4464 2806 0 -1 4202560 6217 0 0 0 17 2 0 0 20 0 20 0 476454403 28904853504 10356 33554432000 4194304 4196468 140729676187920 140358975695488 140358954834968 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4468] ppid=4464 vsize=28227396 memory=280366980904696 CPUtime=0 cores=0-7 /proc/4466/task/4468/stat : 4468 (java) S 4464 4464 2806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476454403 28904853504 10356 33554432000 4194304 4196468 140729676187920 140358522624912 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4469] ppid=4464 vsize=28227396 memory=140183543330432 CPUtime=0 cores=0-7 /proc/4466/task/4469/stat : 4469 (java) S 4464 4464 2806 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476454403 28904853504 10356 33554432000 4194304 4196468 140729676187920 140358521572112 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4470] ppid=4464 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4466/task/4470/stat : 4470 (java) S 4464 4464 2806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476454403 28904853504 10356 33554432000 4194304 4196468 140729676187920 140358520519824 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4471] ppid=4464 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4466/task/4471/stat : 4471 (java) S 4464 4464 2806 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476454403 28904853504 10356 33554432000 4194304 4196468 140729676187920 140358519467024 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4472] ppid=4464 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4466/task/4472/stat : 4472 (java) S 4464 4464 2806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476454403 28904853504 10356 33554432000 4194304 4196468 140729676187920 140358518413712 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4473] ppid=4464 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/4466/task/4473/stat : 4473 (java) S 4464 4464 2806 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476454403 28904853504 10356 33554432000 4194304 4196468 140729676187920 140358517360912 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4474] ppid=4464 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4466/task/4474/stat : 4474 (java) S 4464 4464 2806 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476454404 28904853504 10356 33554432000 4194304 4196468 140729676187920 140358516308624 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4475] ppid=4464 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4466/task/4475/stat : 4475 (java) S 4464 4464 2806 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476454404 28904853504 10356 33554432000 4194304 4196468 140729676187920 140358515255824 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4476] ppid=4464 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4466/task/4476/stat : 4476 (java) S 4464 4464 2806 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476454405 28904853504 10356 33554432000 4194304 4196468 140729676187920 140358356318832 140358971472514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4477] ppid=4464 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4466/task/4477/stat : 4477 (java) S 4464 4464 2806 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476454405 28904853504 10356 33554432000 4194304 4196468 140729676187920 140358355264800 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4478] ppid=4464 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4466/task/4478/stat : 4478 (java) S 4464 4464 2806 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476454406 28904853504 10356 33554432000 4194304 4196468 140729676187920 140358354212464 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4479] ppid=4464 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4466/task/4479/stat : 4479 (java) S 4464 4464 2806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476454408 28904853504 10356 33554432000 4194304 4196468 140729676187920 140358353160784 140358971479963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4480] ppid=4464 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/4466/task/4480/stat : 4480 (java) S 4464 4464 2806 0 -1 1077944384 332 0 0 0 1 0 0 0 20 0 20 0 476454408 28904853504 10356 33554432000 4194304 4196468 140729676187920 140358352107632 140358971472514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4481] ppid=4464 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/4466/task/4481/stat : 4481 (java) S 4464 4464 2806 0 -1 1077944384 303 0 0 0 1 0 0 0 20 0 20 0 476454408 28904853504 10356 33554432000 4194304 4196468 140729676187920 140358351054832 140358971472514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4482] ppid=4464 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/4466/task/4482/stat : 4482 (java) S 4464 4464 2806 0 -1 1077944384 131 0 0 0 1 0 0 0 20 0 20 0 476454408 28904853504 10356 33554432000 4194304 4196468 140729676187920 140358350002544 140358971472514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4483] ppid=4464 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7 /proc/4466/task/4483/stat : 4483 (java) R 4464 4464 2806 0 -1 4202560 750 0 0 0 7 0 0 0 20 0 20 0 476454408 28904853504 10356 33554432000 4194304 4196468 140729676187920 140358348949552 140358950490749 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4484] ppid=4464 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4466/task/4484/stat : 4484 (java) S 4464 4464 2806 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476454408 28904853504 10356 33554432000 4194304 4196468 140729676187920 140358347897696 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4485] ppid=4464 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/4466/task/4485/stat : 4485 (java) S 4464 4464 2806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476454408 28904853504 10356 33554432000 4194304 4196468 140729676187920 140358346844976 140358971472514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42876 KiB [startup+0.310314 s]* /proc/loadavg: 9.71 8.87 8.48 4/211 4485 /proc/meminfo: memFree=11135544/32770624 swapFree=66935516/67108860 [pid=4464] ppid=4461 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/4464/stat : 4464 (xcsp3-exec) S 4461 4464 2806 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476454402 115843072 363 33554432000 4194304 5098028 140724576548656 140724576546760 139679922582140 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35115008 140724576551803 140724576552046 140724576552046 140724576554954 0 /proc/4464/statm: 28282 363 304 221 0 87 0 [pid=4466] ppid=4464 vsize=28231652 memory=50008 CPUtime=0.52 cores=0-7 /proc/4466/stat : 4466 (java) S 4464 4464 2806 0 -1 1077944320 10357 0 0 0 48 4 0 0 20 0 20 0 476454402 28909211648 12502 33554432000 4194304 4196468 140729676187920 140729676170464 140358971461367 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 /proc/4466/statm: 7057913 12502 3338 1 0 7019032 0 [pid=4466/tid=4467] ppid=4464 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/4466/task/4467/stat : 4467 (java) R 4464 4464 2806 0 -1 4202560 7323 0 0 0 27 3 0 0 20 0 20 0 476454403 28909211648 12502 33554432000 4194304 4196468 140729676187920 140358975692480 140358955541854 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4468] ppid=4464 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/4466/task/4468/stat : 4468 (java) S 4464 4464 2806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476454403 28909211648 12502 33554432000 4194304 4196468 140729676187920 140358522624912 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4469] ppid=4464 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/4466/task/4469/stat : 4469 (java) S 4464 4464 2806 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476454403 28909211648 12502 33554432000 4194304 4196468 140729676187920 140358521572112 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4470] ppid=4464 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/4466/task/4470/stat : 4470 (java) S 4464 4464 2806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476454403 28909211648 12502 33554432000 4194304 4196468 140729676187920 140358520519824 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4471] ppid=4464 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/4466/task/4471/stat : 4471 (java) S 4464 4464 2806 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476454403 28909211648 12502 33554432000 4194304 4196468 140729676187920 140358519467024 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4472] ppid=4464 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/4466/task/4472/stat : 4472 (java) S 4464 4464 2806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476454403 28909211648 12502 33554432000 4194304 4196468 140729676187920 140358518413712 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4473] ppid=4464 vsize=28231652 memory=140183437666991 CPUtime=0 cores=0-7 /proc/4466/task/4473/stat : 4473 (java) S 4464 4464 2806 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476454403 28909211648 12502 33554432000 4194304 4196468 140729676187920 140358517360912 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4474] ppid=4464 vsize=28231652 memory=140183437669296 CPUtime=0 cores=0-7 /proc/4466/task/4474/stat : 4474 (java) S 4464 4464 2806 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476454404 28909211648 12502 33554432000 4194304 4196468 140729676187920 140358516308624 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4475] ppid=4464 vsize=28231652 memory=140183437671600 CPUtime=0 cores=0-7 /proc/4466/task/4475/stat : 4475 (java) S 4464 4464 2806 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476454404 28909211648 12502 33554432000 4194304 4196468 140729676187920 140358515255824 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4476] ppid=4464 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/4466/task/4476/stat : 4476 (java) S 4464 4464 2806 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476454405 28909211648 12502 33554432000 4194304 4196468 140729676187920 140358356318832 140358971472514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4477] ppid=4464 vsize=28231652 memory=280366875357072 CPUtime=0 cores=0-7 /proc/4466/task/4477/stat : 4477 (java) S 4464 4464 2806 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476454405 28909211648 12502 33554432000 4194304 4196468 140729676187920 140358355264800 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4478] ppid=4464 vsize=28231652 memory=280366875354768 CPUtime=0 cores=0-7 /proc/4466/task/4478/stat : 4478 (java) S 4464 4464 2806 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476454406 28909211648 12502 33554432000 4194304 4196468 140729676187920 140358354212464 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4479] ppid=4464 vsize=28231652 memory=280366875361680 CPUtime=0 cores=0-7 /proc/4466/task/4479/stat : 4479 (java) S 4464 4464 2806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476454408 28909211648 12502 33554432000 4194304 4196468 140729676187920 140358353160784 140358971479963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4480] ppid=4464 vsize=28231652 memory=280366875302960 CPUtime=0.02 cores=0-7 /proc/4466/task/4480/stat : 4480 (java) S 4464 4464 2806 0 -1 1077944384 348 0 0 0 2 0 0 0 20 0 20 0 476454408 28909211648 12502 33554432000 4194304 4196468 140729676187920 140358352107632 140358971472514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4481] ppid=4464 vsize=28231652 memory=280366875375504 CPUtime=0.02 cores=0-7 /proc/4466/task/4481/stat : 4481 (java) S 4464 4464 2806 0 -1 1077944384 321 0 0 0 2 0 0 0 20 0 20 0 476454408 28909211648 12502 33554432000 4194304 4196468 140729676187920 140358351054832 140358971472514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4482] ppid=4464 vsize=28231652 memory=280366875382416 CPUtime=0.03 cores=0-7 /proc/4466/task/4482/stat : 4482 (java) R 4464 4464 2806 0 -1 4202560 218 0 0 0 3 0 0 0 20 0 20 0 476454408 28909211648 12502 33554432000 4194304 4196468 140729676187920 140358349992928 140358952984763 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4483] ppid=4464 vsize=28231652 memory=280366875380112 CPUtime=0.12 cores=0-7 /proc/4466/task/4483/stat : 4483 (java) S 4464 4464 2806 0 -1 1077944384 852 0 0 0 12 0 0 0 20 0 20 0 476454408 28909211648 12502 33554432000 4194304 4196468 140729676187920 140358348949744 140358971472514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4484] ppid=4464 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/4466/task/4484/stat : 4484 (java) S 4464 4464 2806 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476454408 28909211648 12502 33554432000 4194304 4196468 140729676187920 140358347897696 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4485] ppid=4464 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/4466/task/4485/stat : 4485 (java) S 4464 4464 2806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476454408 28909211648 12502 33554432000 4194304 4196468 140729676187920 140358346844976 140358971472514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51460 KiB [startup+0.705575 s] /proc/loadavg: 9.71 8.87 8.48 4/211 4485 /proc/meminfo: memFree=11118728/32770624 swapFree=66935516/67108860 [pid=4464] ppid=4461 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/4464/stat : 4464 (xcsp3-exec) S 4461 4464 2806 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476454402 115843072 363 33554432000 4194304 5098028 140724576548656 140724576546760 139679922582140 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35115008 140724576551803 140724576552046 140724576552046 140724576554954 0 /proc/4464/statm: 28282 363 304 221 0 87 0 [pid=4466] ppid=4464 vsize=28766288 memory=91212 CPUtime=2.26 cores=0-7 /proc/4466/stat : 4466 (java) S 4464 4464 2806 0 -1 1077944320 14843 0 0 0 220 6 0 0 20 0 28 0 476454402 29456678912 22803 33554432000 4194304 4196468 140729676187920 140729676170464 140358971461367 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 /proc/4466/statm: 7191572 22803 3446 1 0 7152672 0 [pid=4466/tid=4467] ppid=4464 vsize=28766288 memory=0 CPUtime=0.52 cores=0-7 /proc/4466/task/4467/stat : 4467 (java) S 4464 4464 2806 0 -1 1077944384 8738 0 0 0 49 3 0 0 20 0 28 0 476454403 29456678912 22803 33554432000 4194304 4196468 140729676187920 140358975702144 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4468] ppid=4464 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/4466/task/4468/stat : 4468 (java) S 4464 4464 2806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476454403 29456678912 22803 33554432000 4194304 4196468 140729676187920 140358522624912 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4469] ppid=4464 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/4466/task/4469/stat : 4469 (java) S 4464 4464 2806 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 476454403 29456678912 22803 33554432000 4194304 4196468 140729676187920 140358521572112 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4470] ppid=4464 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/4466/task/4470/stat : 4470 (java) S 4464 4464 2806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476454403 29456678912 22803 33554432000 4194304 4196468 140729676187920 140358520519824 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 ################ # More data... # ################ [pid=4466/tid=4483] ppid=4464 vsize=28766288 memory=-7003737579269690708 CPUtime=0.48 cores=0-7 /proc/4466/task/4483/stat : 4483 (java) S 4464 4464 2806 0 -1 1077944384 4665 0 0 0 47 1 0 0 20 0 28 0 476454408 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358348949744 140358971472514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4484] ppid=4464 vsize=28766288 memory=5450909908396308010 CPUtime=0 cores=0-7 /proc/4466/task/4484/stat : 4484 (java) S 4464 4464 2806 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476454408 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358347897696 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4485] ppid=4464 vsize=28766288 memory=7525340624872235881 CPUtime=0.01 cores=0-7 /proc/4466/task/4485/stat : 4485 (java) S 4464 4464 2806 0 -1 1077944384 1095 0 0 0 0 1 0 0 20 0 28 0 476454408 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358346844976 140358971472514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4486] ppid=4464 vsize=28766288 memory=7163092173878607976 CPUtime=97.42 cores=0-7 /proc/4466/task/4486/stat : 4486 (java) R 4464 4464 2806 0 -1 4202560 692 0 0 0 9742 0 0 0 20 0 28 0 476454457 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358337625312 140358613160800 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4487] ppid=4464 vsize=28766288 memory=7092150601338017892 CPUtime=97.11 cores=0-7 /proc/4466/task/4487/stat : 4487 (java) R 4464 4464 2806 0 -1 4202560 562 0 0 0 9711 0 0 0 20 0 28 0 476454457 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358336574280 140358612150984 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4488] ppid=4464 vsize=28766288 memory=7584169985927769445 CPUtime=97.17 cores=0-7 /proc/4466/task/4488/stat : 4488 (java) R 4464 4464 2806 0 -1 4202560 736 0 0 0 9717 0 0 0 20 0 28 0 476454457 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358335521096 140358613458682 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4489] ppid=4464 vsize=28766288 memory=8514701219781834910 CPUtime=97.3 cores=0-7 /proc/4466/task/4489/stat : 4489 (java) R 4464 4464 2806 0 -1 4202560 1783 0 0 0 9728 2 0 0 20 0 28 0 476454457 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358334470416 140358613158255 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4490] ppid=4464 vsize=28766288 memory=7955444246237495394 CPUtime=97.33 cores=0-7 /proc/4466/task/4490/stat : 4490 (java) R 4464 4464 2806 0 -1 4202560 998 0 0 0 9733 0 0 0 20 0 28 0 476454457 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358333415880 140358613458518 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4491] ppid=4464 vsize=28766288 memory=7525065734031370560 CPUtime=97.13 cores=0-7 /proc/4466/task/4491/stat : 4491 (java) R 4464 4464 2806 0 -1 4202560 1224 0 0 0 9711 2 0 0 20 0 28 0 476454457 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358332362952 140358612150647 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4492] ppid=4464 vsize=28766288 memory=7525065734031370560 CPUtime=97.54 cores=0-7 /proc/4466/task/4492/stat : 4492 (java) R 4464 4464 2806 0 -1 4202560 586 0 0 0 9754 0 0 0 20 0 28 0 476454458 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358331310280 140358613158443 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4493] ppid=4464 vsize=28766288 memory=8112282956445269571 CPUtime=97.11 cores=0-7 /proc/4466/task/4493/stat : 4493 (java) R 4464 4464 2806 0 -1 4202560 1128 0 0 0 9709 2 0 0 20 0 28 0 476454458 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358330256992 140358613158656 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 Current children cumulated CPU time: 783.32 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 149624 KiB [startup+99.0016 s]* /proc/loadavg: 8.85 8.76 8.48 9/219 4498 /proc/meminfo: memFree=11036444/32770624 swapFree=66935516/67108860 [pid=4464] ppid=4461 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/4464/stat : 4464 (xcsp3-exec) S 4461 4464 2806 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476454402 115843072 363 33554432000 4194304 5098028 140724576548656 140724576546760 139679922582140 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35115008 140724576551803 140724576552046 140724576552046 140724576554954 0 /proc/4464/statm: 28282 363 304 221 0 87 0 [pid=4466] ppid=4464 vsize=28766288 memory=148172 CPUtime=784.94 cores=0-7 /proc/4466/stat : 4466 (java) S 4464 4464 2806 0 -1 1077944320 53579 0 0 0 78457 37 0 0 20 0 28 0 476454402 29456678912 37043 33554432000 4194304 4196468 140729676187920 140729676170464 140358971461367 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 /proc/4466/statm: 7191572 37043 3519 1 0 7152672 0 [pid=4466/tid=4467] ppid=4464 vsize=28766288 memory=8317482817917895235 CPUtime=0.52 cores=0-7 /proc/4466/task/4467/stat : 4467 (java) S 4464 4464 2806 0 -1 1077944384 8738 0 0 0 49 3 0 0 20 0 28 0 476454403 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358975702144 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4468] ppid=4464 vsize=28766288 memory=-7003737579269690708 CPUtime=0.07 cores=0-7 /proc/4466/task/4468/stat : 4468 (java) S 4464 4464 2806 0 -1 1077944384 1191 0 0 0 6 1 0 0 20 0 28 0 476454403 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358522624912 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4469] ppid=4464 vsize=28766288 memory=0 CPUtime=0.08 cores=0-7 /proc/4466/task/4469/stat : 4469 (java) S 4464 4464 2806 0 -1 1077944384 1983 0 0 0 7 1 0 0 20 0 28 0 476454403 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358521572112 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4470] ppid=4464 vsize=28766288 memory=0 CPUtime=0.08 cores=0-7 /proc/4466/task/4470/stat : 4470 (java) S 4464 4464 2806 0 -1 1077944384 1318 0 0 0 7 1 0 0 20 0 28 0 476454403 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358520519824 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4471] ppid=4464 vsize=28766288 memory=0 CPUtime=0.07 cores=0-7 /proc/4466/task/4471/stat : 4471 (java) S 4464 4464 2806 0 -1 1077944384 798 0 0 0 6 1 0 0 20 0 28 0 476454403 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358519467024 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4472] ppid=4464 vsize=28766288 memory=0 CPUtime=0.07 cores=0-7 /proc/4466/task/4472/stat : 4472 (java) S 4464 4464 2806 0 -1 1077944384 1086 0 0 0 6 1 0 0 20 0 28 0 476454403 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358518413712 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4473] ppid=4464 vsize=28766288 memory=0 CPUtime=0.07 cores=0-7 /proc/4466/task/4473/stat : 4473 (java) S 4464 4464 2806 0 -1 1077944384 337 0 0 0 6 1 0 0 20 0 28 0 476454403 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358517360912 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4474] ppid=4464 vsize=28766288 memory=0 CPUtime=0.07 cores=0-7 /proc/4466/task/4474/stat : 4474 (java) S 4464 4464 2806 0 -1 1077944384 696 0 0 0 6 1 0 0 20 0 28 0 476454404 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358516308624 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4475] ppid=4464 vsize=28766288 memory=0 CPUtime=0.08 cores=0-7 /proc/4466/task/4475/stat : 4475 (java) S 4464 4464 2806 0 -1 1077944384 911 0 0 0 7 1 0 0 20 0 28 0 476454404 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358515255824 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4476] ppid=4464 vsize=28766288 memory=0 CPUtime=0.1 cores=0-7 /proc/4466/task/4476/stat : 4476 (java) S 4464 4464 2806 0 -1 1077944384 3000 0 0 0 7 3 0 0 20 0 28 0 476454405 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358356318832 140358971472514 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4477] ppid=4464 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/4466/task/4477/stat : 4477 (java) S 4464 4464 2806 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 476454405 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358355264864 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4478] ppid=4464 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/4466/task/4478/stat : 4478 (java) S 4464 4464 2806 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 476454406 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358354212480 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4479] ppid=4464 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/4466/task/4479/stat : 4479 (java) S 4464 4464 2806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476454408 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358353160784 140358971479963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4480] ppid=4464 vsize=28766288 memory=0 CPUtime=1.01 cores=0-7 /proc/4466/task/4480/stat : 4480 (java) S 4464 4464 2806 0 -1 1077944384 6831 0 0 0 99 2 0 0 20 0 28 0 476454408 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358352107632 140358971472514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4481] ppid=4464 vsize=28766288 memory=0 CPUtime=1.21 cores=0-7 /proc/4466/task/4481/stat : 4481 (java) S 4464 4464 2806 0 -1 1077944384 6414 0 0 0 120 1 0 0 20 0 28 0 476454408 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358351054832 140358971472514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4482] ppid=4464 vsize=28766288 memory=0 CPUtime=1.05 cores=0-7 /proc/4466/task/4482/stat : 4482 (java) S 4464 4464 2806 0 -1 1077944384 5431 0 0 0 103 2 0 0 20 0 28 0 476454408 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358350002544 140358971472514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4483] ppid=4464 vsize=28766288 memory=0 CPUtime=0.48 cores=0-7 /proc/4466/task/4483/stat : 4483 (java) S 4464 4464 2806 0 -1 1077944384 4665 0 0 0 47 1 0 0 20 0 28 0 476454408 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358348949744 140358971472514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4484] ppid=4464 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/4466/task/4484/stat : 4484 (java) S 4464 4464 2806 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476454408 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358347897696 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4485] ppid=4464 vsize=28766288 memory=0 CPUtime=0.01 cores=0-7 /proc/4466/task/4485/stat : 4485 (java) S 4464 4464 2806 0 -1 1077944384 1095 0 0 0 0 1 0 0 20 0 28 0 476454408 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358346844976 140358971472514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4486] ppid=4464 vsize=28766288 memory=0 CPUtime=97.62 cores=0-7 /proc/4466/task/4486/stat : 4486 (java) R 4464 4464 2806 0 -1 4202560 692 0 0 0 9762 0 0 0 20 0 28 0 476454457 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358337625312 140358613158656 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4487] ppid=4464 vsize=28766288 memory=-1 CPUtime=97.32 cores=0-7 /proc/4466/task/4487/stat : 4487 (java) R 4464 4464 2806 0 -1 4202560 562 0 0 0 9732 0 0 0 20 0 28 0 476454457 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358336574280 140358612150665 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4488] ppid=4464 vsize=28766288 memory=0 CPUtime=97.37 cores=0-7 /proc/4466/task/4488/stat : 4488 (java) R 4464 4464 2806 0 -1 4202560 736 0 0 0 9737 0 0 0 20 0 28 0 476454457 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358335521096 140358613326286 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4489] ppid=4464 vsize=28766288 memory=0 CPUtime=97.5 cores=0-7 /proc/4466/task/4489/stat : 4489 (java) R 4464 4464 2806 0 -1 4202560 1783 0 0 0 9748 2 0 0 20 0 28 0 476454457 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358334470416 140358613158466 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4490] ppid=4464 vsize=28766288 memory=0 CPUtime=97.54 cores=0-7 /proc/4466/task/4490/stat : 4490 (java) R 4464 4464 2806 0 -1 4202560 998 0 0 0 9754 0 0 0 20 0 28 0 476454457 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358333415880 140358613158255 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4491] ppid=4464 vsize=28766288 memory=0 CPUtime=97.34 cores=0-7 /proc/4466/task/4491/stat : 4491 (java) R 4464 4464 2806 0 -1 4202560 1224 0 0 0 9732 2 0 0 20 0 28 0 476454457 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358332362952 140358613158506 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4492] ppid=4464 vsize=28766288 memory=0 CPUtime=97.74 cores=0-7 /proc/4466/task/4492/stat : 4492 (java) R 4464 4464 2806 0 -1 4202560 586 0 0 0 9774 0 0 0 20 0 28 0 476454458 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358331310280 140358612150754 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4493] ppid=4464 vsize=28766288 memory=0 CPUtime=97.31 cores=0-7 /proc/4466/task/4493/stat : 4493 (java) R 4464 4464 2806 0 -1 4202560 1128 0 0 0 9729 2 0 0 20 0 28 0 476454458 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358330256992 140358613160699 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 Current children cumulated CPU time: 784.94 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 149624 KiB [startup+99.1116 s] /proc/loadavg: 8.85 8.76 8.48 9/219 4498 /proc/meminfo: memFree=11036444/32770624 swapFree=66935516/67108860 [pid=4464] ppid=4461 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/4464/stat : 4464 (xcsp3-exec) S 4461 4464 2806 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476454402 115843072 363 33554432000 4194304 5098028 140724576548656 140724576546760 139679922582140 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35115008 140724576551803 140724576552046 140724576552046 140724576554954 0 /proc/4464/statm: 28282 363 304 221 0 87 0 [pid=4466] ppid=4464 vsize=28766288 memory=148172 CPUtime=785.75 cores=0-7 /proc/4466/stat : 4466 (java) S 4464 4464 2806 0 -1 1077944320 53579 0 0 0 78538 37 0 0 20 0 28 0 476454402 29456678912 37043 33554432000 4194304 4196468 140729676187920 140729676170464 140358971461367 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 /proc/4466/statm: 7191572 37043 3519 1 0 7152672 0 [pid=4466/tid=4467] ppid=4464 vsize=28766288 memory=148172 CPUtime=0.52 cores=0-7 /proc/4466/task/4467/stat : 4467 (java) S 4464 4464 2806 0 -1 1077944384 8738 0 0 0 49 3 0 0 20 0 28 0 476454403 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358975702144 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4468] ppid=4464 vsize=28766288 memory=3616 CPUtime=0.07 cores=0-7 /proc/4466/task/4468/stat : 4468 (java) S 4464 4464 2806 0 -1 1077944384 1191 0 0 0 6 1 0 0 20 0 28 0 476454403 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358522624912 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4469] ppid=4464 vsize=28766288 memory=41804 CPUtime=0.08 cores=0-7 /proc/4466/task/4469/stat : 4469 (java) S 4464 4464 2806 0 -1 1077944384 1983 0 0 0 7 1 0 0 20 0 28 0 476454403 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358521572112 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4470] ppid=4464 vsize=28766288 memory=1452 CPUtime=0.08 cores=0-7 /proc/4466/task/4470/stat : 4470 (java) S 4464 4464 2806 0 -1 1077944384 1318 0 0 0 7 1 0 0 20 0 28 0 476454403 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358520519824 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4471] ppid=4464 vsize=28766288 memory=202420 CPUtime=0.07 cores=0-7 /proc/4466/task/4471/stat : 4471 (java) S 4464 4464 2806 0 -1 1077944384 798 0 0 0 6 1 0 0 20 0 28 0 476454403 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358519467024 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4472] ppid=4464 vsize=28766288 memory=1452 CPUtime=0.07 cores=0-7 /proc/4466/task/4472/stat : 4472 (java) S 4464 4464 2806 0 -1 1077944384 1086 0 0 0 6 1 0 0 20 0 28 0 476454403 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358518413712 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4473] ppid=4464 vsize=28766288 memory=3616 CPUtime=0.07 cores=0-7 /proc/4466/task/4473/stat : 4473 (java) S 4464 4464 2806 0 -1 1077944384 337 0 0 0 6 1 0 0 20 0 28 0 476454403 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358517360912 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4474] ppid=4464 vsize=28766288 memory=41804 CPUtime=0.07 cores=0-7 /proc/4466/task/4474/stat : 4474 (java) S 4464 4464 2806 0 -1 1077944384 696 0 0 0 6 1 0 0 20 0 28 0 476454404 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358516308624 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4475] ppid=4464 vsize=28766288 memory=988 CPUtime=0.08 cores=0-7 /proc/4466/task/4475/stat : 4475 (java) S 4464 4464 2806 0 -1 1077944384 911 0 0 0 7 1 0 0 20 0 28 0 476454404 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358515255824 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4476] ppid=4464 vsize=28766288 memory=2012 CPUtime=0.1 cores=0-7 /proc/4466/task/4476/stat : 4476 (java) S 4464 4464 2806 0 -1 1077944384 3000 0 0 0 7 3 0 0 20 0 28 0 476454405 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358356318832 140358971472514 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4477] ppid=4464 vsize=28766288 memory=297540854 CPUtime=0 cores=0-7 /proc/4466/task/4477/stat : 4477 (java) S 4464 4464 2806 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 476454405 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358355264864 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4478] ppid=4464 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/4466/task/4478/stat : 4478 (java) S 4464 4464 2806 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 476454406 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358354212480 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4479] ppid=4464 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/4466/task/4479/stat : 4479 (java) S 4464 4464 2806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476454408 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358353160784 140358971479963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4480] ppid=4464 vsize=28766288 memory=61 CPUtime=1.01 cores=0-7 /proc/4466/task/4480/stat : 4480 (java) S 4464 4464 2806 0 -1 1077944384 6831 0 0 0 99 2 0 0 20 0 28 0 476454408 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358352107632 140358971472514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4481] ppid=4464 vsize=28766288 memory=1452 CPUtime=1.21 cores=0-7 /proc/4466/task/4481/stat : 4481 (java) S 4464 4464 2806 0 -1 1077944384 6414 0 0 0 120 1 0 0 20 0 28 0 476454408 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358351054832 140358971472514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4482] ppid=4464 vsize=28766288 memory=148172 CPUtime=1.05 cores=0-7 /proc/4466/task/4482/stat : 4482 (java) S 4464 4464 2806 0 -1 1077944384 5431 0 0 0 103 2 0 0 20 0 28 0 476454408 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358350002544 140358971472514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4483] ppid=4464 vsize=28766288 memory=988 CPUtime=0.48 cores=0-7 /proc/4466/task/4483/stat : 4483 (java) S 4464 4464 2806 0 -1 1077944384 4665 0 0 0 47 1 0 0 20 0 28 0 476454408 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358348949744 140358971472514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4484] ppid=4464 vsize=28766288 memory=3616 CPUtime=0 cores=0-7 /proc/4466/task/4484/stat : 4484 (java) S 4464 4464 2806 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476454408 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358347897696 140358971471573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4485] ppid=4464 vsize=28766288 memory=1452 CPUtime=0.01 cores=0-7 /proc/4466/task/4485/stat : 4485 (java) S 4464 4464 2806 0 -1 1077944384 1095 0 0 0 0 1 0 0 20 0 28 0 476454408 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358346844976 140358971472514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4486] ppid=4464 vsize=28766288 memory=1452 CPUtime=97.72 cores=0-7 /proc/4466/task/4486/stat : 4486 (java) R 4464 4464 2806 0 -1 4202560 692 0 0 0 9772 0 0 0 20 0 28 0 476454457 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358337625312 140358613978377 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4487] ppid=4464 vsize=28766288 memory=148172 CPUtime=97.42 cores=0-7 /proc/4466/task/4487/stat : 4487 (java) R 4464 4464 2806 0 -1 4202560 562 0 0 0 9742 0 0 0 20 0 28 0 476454457 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358336574280 140358612645132 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4488] ppid=4464 vsize=28766288 memory=41804 CPUtime=97.47 cores=0-7 /proc/4466/task/4488/stat : 4488 (java) R 4464 4464 2806 0 -1 4202560 736 0 0 0 9747 0 0 0 20 0 28 0 476454457 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358335521096 140358613326259 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4489] ppid=4464 vsize=28766288 memory=988 CPUtime=97.6 cores=0-7 /proc/4466/task/4489/stat : 4489 (java) R 4464 4464 2806 0 -1 4202560 1783 0 0 0 9758 2 0 0 20 0 28 0 476454457 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358334470416 140358613160782 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4490] ppid=4464 vsize=28766288 memory=1452 CPUtime=97.64 cores=0-7 /proc/4466/task/4490/stat : 4490 (java) R 4464 4464 2806 0 -1 4202560 998 0 0 0 9764 0 0 0 20 0 28 0 476454457 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358333415880 140358612150748 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4491] ppid=4464 vsize=28766288 memory=1320 CPUtime=97.44 cores=0-7 /proc/4466/task/4491/stat : 4491 (java) R 4464 4464 2806 0 -1 4202560 1224 0 0 0 9742 2 0 0 20 0 28 0 476454457 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358332362952 140358613460718 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4492] ppid=4464 vsize=28766288 memory=1700 CPUtime=97.84 cores=0-7 /proc/4466/task/4492/stat : 4492 (java) R 4464 4464 2806 0 -1 4202560 586 0 0 0 9784 0 0 0 20 0 28 0 476454458 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358331310280 140358612536508 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 [pid=4466/tid=4493] ppid=4464 vsize=28766288 memory=5972 CPUtime=97.41 cores=0-7 /proc/4466/task/4493/stat : 4493 (java) R 4464 4464 2806 0 -1 4202560 1128 0 0 0 9739 2 0 0 20 0 28 0 476454458 29456678912 37043 33554432000 4194304 4196468 140729676187920 140358330256992 140358612536117 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8343552 140729676190704 140729676190875 140729676190875 140729676193743 0 Current children cumulated CPU time: 785.75 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 149624 KiB Child status: 0 Real time (s): 99.2146 CPU time (s): 786.446 CPU user time (s): 786.062 CPU system time (s): 0.383867 CPU usage (%): 792.671 Max. virtual memory (cumulated for all children) (KiB): 28879416 Max. memory (cumulated for all children) (KiB): 223828 getrusage(RUSAGE_CHILDREN,...) data: user time used= 786.062 system time used= 0.383867 maximum resident set size= 226472 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 55100 page faults= 0 swaps= 0 block input operations= 0 block output operations= 312 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 11015 involuntary context switches= 9920 # summary of solver processes directly reported to runsolver: # pid: 4464 # total CPU time (s): 786.446 # total CPU user time (s): 786.062 # total CPU system time (s): 0.383867 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.818527 second user time and 1.12291 second system time The end
Begin job on node141 at 2019-09-20 20:45:23 IDJOB=4405041 IDBENCH=137473 IDSOLVER=2866 FILE ID=node141/4405041-1569005166 RUNJOBID= node141-1568994933-2833 PBS_JOBID= 21704732 Free space on /tmp= 22932 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/BinPacking/BinPacking-sum-skj2/BinPacking-sum-n1w4b1r5.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-4405041-1569005166/watcher-4405041-1569005166 -o /tmp/evaluation-result-4405041-1569005166/solver-4405041-1569005166 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node141-1568994933-2833 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1807331282 HOME/instance-4405041-1569005166.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= d746abd17fd9f5e52f47be3617d955ae RANDOM SEED=1807331282 node141.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.93 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: 11173640 kB MemAvailable: 31802316 kB Buffers: 129864 kB Cached: 20750044 kB SwapCached: 62332 kB Active: 10380104 kB Inactive: 10565492 kB Active(anon): 3388 kB Inactive(anon): 105968 kB Active(file): 10376716 kB Inactive(file): 10459524 kB Unevictable: 109292 kB Mlocked: 109292 kB SwapTotal: 67108860 kB SwapFree: 66935516 kB Dirty: 26060 kB Writeback: 28 kB AnonPages: 112508 kB Mapped: 48408 kB Shmem: 35308 kB Slab: 244940 kB SReclaimable: 216544 kB SUnreclaim: 28396 kB KernelStack: 3376 kB PageTables: 6264 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506252 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 128384 kB DirectMap2M: 33417216 kB Free space on /tmp at the end= 22904 MiB End job on node141 at 2019-09-20 20:47:03