Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | UNSAT | 87.2341 | 11.4661 |
Name | Quasigroups/ QuasiGroup-7-08_c18.xml |
MD5SUM | f8c10a8313da5da6e599be620e9e581f |
Bench Category | CSP (decision 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 | 9.412 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 128 |
Number of constraints | 114 |
Number of domains | 1 |
Minimum domain size | 8 |
Maximum domain size | 8 |
Distribution of domain sizes | [{"size":8,"count":120}] |
Minimum variable degree | 0 |
Maximum variable degree | 17 |
Distribution of variable degrees | [{"degree":0,"count":8},{"degree":2,"count":56},{"degree":16,"count":8},{"degree":17,"count":56}] |
Minimum constraint arity | 8 |
Maximum constraint arity | 64 |
Distribution of constraint arities | [{"arity":8,"count":1},{"arity":10,"count":112},{"arity":64,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"allDifferent","count":1},{"type":"instantiation","count":1},{"type":"element","count":112}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297728-1532731473.xml" -tl '20160s' -p 8 0.12/0.17 c Choco e747e1e 0.12/0.18 c [HOME/instance-4297728-1532731473.xml, -tl, 20160s, -p, 8] 0.12/0.21 c 8 solvers in parallel 0.34/0.28 c parse instance... 1.41/0.65 c solve instance... 86.78/11.45 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 (13460 MiB free) memory of node 1: 16384 MiB (14011 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297728-1532731473/watcher-4297728-1532731473 -o /tmp/evaluation-result-4297728-1532731473/solver-4297728-1532731473 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1532724796-17513 --watchdog 2580 HOME/xcsp3-exec -seed 607714676 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297728-1532731473.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=18704, runsolver pid=18701 Current StackSize limit: 8192 KiB [startup+0.100183 s]* /proc/loadavg: 8.43 8.30 8.29 3/200 18725 /proc/meminfo: memFree=28114688/32770624 swapFree=67108436/67108860 [pid=18704] ppid=18701 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/18704/stat : 18704 (xcsp3-exec) S 18701 18704 17486 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90710501 115843072 363 33554432000 4194304 5098028 140733402308464 140733402306568 140109237547644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35397632 140733402313782 140733402313984 140733402313984 140733402316746 0 /proc/18704/statm: 28282 363 305 221 0 87 0 [pid=18706] ppid=18704 vsize=26104152 memory=27904 CPUtime=0.12 cores=0-7 /proc/18706/stat : 18706 (java) S 18704 18704 17486 0 -1 1077944320 5409 0 0 0 11 1 0 0 20 0 20 0 90710502 26730651648 6976 33554432000 4194304 4196468 140728159636144 140728159618688 139824556486391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 /proc/18706/statm: 6526038 6976 3004 1 0 6488315 0 [pid=18706/tid=18707] ppid=18704 vsize=26104152 memory=8186588030768684951 CPUtime=0.08 cores=0-7 /proc/18706/task/18707/stat : 18707 (java) R 18704 18704 17486 0 -1 4202560 3409 0 0 0 8 0 0 0 20 0 20 0 90710502 26730651648 6976 33554432000 4194304 4196468 140728159636144 139824560718656 139824556498326 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18708] ppid=18704 vsize=26104152 memory=732370249574054885 CPUtime=0 cores=0-7 /proc/18706/task/18708/stat : 18708 (java) S 18704 18704 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90710503 26730651648 6976 33554432000 4194304 4196468 140728159636144 139824479067024 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18709] ppid=18704 vsize=26104152 memory=140111236601472 CPUtime=0 cores=0-7 /proc/18706/task/18709/stat : 18709 (java) S 18704 18704 17486 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90710503 26730651648 6976 33554432000 4194304 4196468 140728159636144 139824478014224 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18710] ppid=18704 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/18706/task/18710/stat : 18710 (java) S 18704 18704 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90710503 26730651648 6976 33554432000 4194304 4196468 140728159636144 139824476961936 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18711] ppid=18704 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/18706/task/18711/stat : 18711 (java) S 18704 18704 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90710503 26730651648 6976 33554432000 4194304 4196468 140728159636144 139824475909136 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18712] ppid=18704 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/18706/task/18712/stat : 18712 (java) S 18704 18704 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90710503 26730651648 6976 33554432000 4194304 4196468 140728159636144 139824474855824 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18713] ppid=18704 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/18706/task/18713/stat : 18713 (java) S 18704 18704 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90710503 26730651648 6976 33554432000 4194304 4196468 140728159636144 139824473803024 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18714] ppid=18704 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/18706/task/18714/stat : 18714 (java) S 18704 18704 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90710503 26730651648 6976 33554432000 4194304 4196468 140728159636144 139824108427920 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18715] ppid=18704 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/18706/task/18715/stat : 18715 (java) S 18704 18704 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90710503 26730651648 6976 33554432000 4194304 4196468 140728159636144 139824107375120 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18716] ppid=18704 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/18706/task/18716/stat : 18716 (java) S 18704 18704 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90710504 26730651648 6976 33554432000 4194304 4196468 140728159636144 139822963096176 139824556497538 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18717] ppid=18704 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/18706/task/18717/stat : 18717 (java) S 18704 18704 17486 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90710505 26730651648 6976 33554432000 4194304 4196468 140728159636144 139822962042144 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18718] ppid=18704 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/18706/task/18718/stat : 18718 (java) S 18704 18704 17486 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90710505 26730651648 6976 33554432000 4194304 4196468 140728159636144 139822960989808 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18719] ppid=18704 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/18706/task/18719/stat : 18719 (java) S 18704 18704 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90710507 26730651648 6976 33554432000 4194304 4196468 140728159636144 139822959938128 139824556504987 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18720] ppid=18704 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/18706/task/18720/stat : 18720 (java) S 18704 18704 17486 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 20 0 90710507 26730651648 6976 33554432000 4194304 4196468 140728159636144 139822958884976 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18721] ppid=18704 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/18706/task/18721/stat : 18721 (java) S 18704 18704 17486 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 90710507 26730651648 6976 33554432000 4194304 4196468 140728159636144 139822957832176 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18722] ppid=18704 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/18706/task/18722/stat : 18722 (java) S 18704 18704 17486 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90710507 26730651648 6976 33554432000 4194304 4196468 140728159636144 139822956779888 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18723] ppid=18704 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/18706/task/18723/stat : 18723 (java) S 18704 18704 17486 0 -1 1077944384 249 0 0 0 1 0 0 0 20 0 20 0 90710507 26730651648 6976 33554432000 4194304 4196468 140728159636144 139822955727088 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18724] ppid=18704 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/18706/task/18724/stat : 18724 (java) S 18704 18704 17486 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90710508 26730651648 6976 33554432000 4194304 4196468 140728159636144 139822954675040 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18725] ppid=18704 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/18706/task/18725/stat : 18725 (java) S 18704 18704 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90710508 26730651648 6976 33554432000 4194304 4196468 140728159636144 139822953622320 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 29356 KiB [startup+0.209795 s]* /proc/loadavg: 8.43 8.30 8.29 3/200 18725 /proc/meminfo: memFree=28102864/32770624 swapFree=67108436/67108860 [pid=18704] ppid=18701 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/18704/stat : 18704 (xcsp3-exec) S 18701 18704 17486 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90710501 115843072 363 33554432000 4194304 5098028 140733402308464 140733402306568 140109237547644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35397632 140733402313782 140733402313984 140733402313984 140733402316746 0 /proc/18704/statm: 28282 363 305 221 0 87 0 [pid=18706] ppid=18704 vsize=26104152 memory=39664 CPUtime=0.34 cores=0-7 /proc/18706/stat : 18706 (java) S 18704 18704 17486 0 -1 1077944320 7978 0 0 0 32 2 0 0 20 0 20 0 90710502 26730651648 9916 33554432000 4194304 4196468 140728159636144 140728159618688 139824556486391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 /proc/18706/statm: 6526038 9916 3172 1 0 6488315 0 [pid=18706/tid=18707] ppid=18704 vsize=26104152 memory=0 CPUtime=0.2 cores=0-7 /proc/18706/task/18707/stat : 18707 (java) R 18704 18704 17486 0 -1 4202560 5089 0 0 0 19 1 0 0 20 0 20 0 90710502 26730651648 9916 33554432000 4194304 4196468 140728159636144 139824560720928 139824556508317 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18708] ppid=18704 vsize=26104152 memory=732370249574054885 CPUtime=0 cores=0-7 /proc/18706/task/18708/stat : 18708 (java) S 18704 18704 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90710503 26730651648 9916 33554432000 4194304 4196468 140728159636144 139824479067024 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18709] ppid=18704 vsize=26104152 memory=140111236601472 CPUtime=0 cores=0-7 /proc/18706/task/18709/stat : 18709 (java) S 18704 18704 17486 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90710503 26730651648 9916 33554432000 4194304 4196468 140728159636144 139824478014224 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18710] ppid=18704 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/18706/task/18710/stat : 18710 (java) S 18704 18704 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90710503 26730651648 9916 33554432000 4194304 4196468 140728159636144 139824476961936 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18711] ppid=18704 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/18706/task/18711/stat : 18711 (java) S 18704 18704 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90710503 26730651648 9916 33554432000 4194304 4196468 140728159636144 139824475909136 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18712] ppid=18704 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/18706/task/18712/stat : 18712 (java) S 18704 18704 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90710503 26730651648 9916 33554432000 4194304 4196468 140728159636144 139824474855824 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18713] ppid=18704 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/18706/task/18713/stat : 18713 (java) S 18704 18704 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90710503 26730651648 9916 33554432000 4194304 4196468 140728159636144 139824473803024 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18714] ppid=18704 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/18706/task/18714/stat : 18714 (java) S 18704 18704 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90710503 26730651648 9916 33554432000 4194304 4196468 140728159636144 139824108427920 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18715] ppid=18704 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/18706/task/18715/stat : 18715 (java) S 18704 18704 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90710503 26730651648 9916 33554432000 4194304 4196468 140728159636144 139824107375120 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18716] ppid=18704 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/18706/task/18716/stat : 18716 (java) S 18704 18704 17486 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 90710504 26730651648 9916 33554432000 4194304 4196468 140728159636144 139822963096176 139824556497538 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18717] ppid=18704 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/18706/task/18717/stat : 18717 (java) S 18704 18704 17486 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90710505 26730651648 9916 33554432000 4194304 4196468 140728159636144 139822962042144 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18718] ppid=18704 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/18706/task/18718/stat : 18718 (java) S 18704 18704 17486 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90710505 26730651648 9916 33554432000 4194304 4196468 140728159636144 139822960989808 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18719] ppid=18704 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/18706/task/18719/stat : 18719 (java) S 18704 18704 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90710507 26730651648 9916 33554432000 4194304 4196468 140728159636144 139822959938128 139824556504987 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18720] ppid=18704 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/18706/task/18720/stat : 18720 (java) S 18704 18704 17486 0 -1 1077944384 504 0 0 0 1 0 0 0 20 0 20 0 90710507 26730651648 9916 33554432000 4194304 4196468 140728159636144 139822958884976 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18721] ppid=18704 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7 /proc/18706/task/18721/stat : 18721 (java) S 18704 18704 17486 0 -1 1077944384 213 0 0 0 2 0 0 0 20 0 20 0 90710507 26730651648 9916 33554432000 4194304 4196468 140728159636144 139822957832176 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18722] ppid=18704 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/18706/task/18722/stat : 18722 (java) S 18704 18704 17486 0 -1 1077944384 108 0 0 0 1 0 0 0 20 0 20 0 90710507 26730651648 9916 33554432000 4194304 4196468 140728159636144 139822956779888 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18723] ppid=18704 vsize=26104152 memory=0 CPUtime=0.08 cores=0-7 /proc/18706/task/18723/stat : 18723 (java) S 18704 18704 17486 0 -1 1077944384 751 0 0 0 8 0 0 0 20 0 20 0 90710507 26730651648 9916 33554432000 4194304 4196468 140728159636144 139822955727088 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18724] ppid=18704 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/18706/task/18724/stat : 18724 (java) S 18704 18704 17486 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90710508 26730651648 9916 33554432000 4194304 4196468 140728159636144 139822954675040 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18725] ppid=18704 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/18706/task/18725/stat : 18725 (java) S 18704 18704 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90710508 26730651648 9916 33554432000 4194304 4196468 140728159636144 139822953622320 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 41116 KiB [startup+0.309505 s]* /proc/loadavg: 8.43 8.30 8.29 3/200 18725 /proc/meminfo: memFree=28097468/32770624 swapFree=67108436/67108860 [pid=18704] ppid=18701 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/18704/stat : 18704 (xcsp3-exec) S 18701 18704 17486 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90710501 115843072 363 33554432000 4194304 5098028 140733402308464 140733402306568 140109237547644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35397632 140733402313782 140733402313984 140733402313984 140733402316746 0 /proc/18704/statm: 28282 363 305 221 0 87 0 [pid=18706] ppid=18704 vsize=26108408 memory=46540 CPUtime=0.52 cores=0-7 /proc/18706/stat : 18706 (java) S 18704 18704 17486 0 -1 1077944320 8882 0 0 0 49 3 0 0 20 0 20 0 90710502 26735009792 11635 33554432000 4194304 4196468 140728159636144 140728159618688 139824556486391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 /proc/18706/statm: 6527102 11635 3237 1 0 6488315 0 [pid=18706/tid=18707] ppid=18704 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/18706/task/18707/stat : 18707 (java) R 18704 18704 17486 0 -1 4202560 5798 0 0 0 27 2 0 0 20 0 20 0 90710502 26735009792 11635 33554432000 4194304 4196468 140728159636144 139824560723168 139824540566878 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18708] ppid=18704 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/18706/task/18708/stat : 18708 (java) S 18704 18704 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90710503 26735009792 11635 33554432000 4194304 4196468 140728159636144 139824479067024 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18709] ppid=18704 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/18706/task/18709/stat : 18709 (java) S 18704 18704 17486 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90710503 26735009792 11635 33554432000 4194304 4196468 140728159636144 139824478014224 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18710] ppid=18704 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/18706/task/18710/stat : 18710 (java) S 18704 18704 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90710503 26735009792 11635 33554432000 4194304 4196468 140728159636144 139824476961936 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18711] ppid=18704 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/18706/task/18711/stat : 18711 (java) S 18704 18704 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90710503 26735009792 11635 33554432000 4194304 4196468 140728159636144 139824475909136 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18712] ppid=18704 vsize=26108408 memory=2244 CPUtime=0 cores=0-7 /proc/18706/task/18712/stat : 18712 (java) S 18704 18704 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90710503 26735009792 11635 33554432000 4194304 4196468 140728159636144 139824474855824 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18713] ppid=18704 vsize=26108408 memory=140111094313903 CPUtime=0 cores=0-7 /proc/18706/task/18713/stat : 18713 (java) S 18704 18704 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90710503 26735009792 11635 33554432000 4194304 4196468 140728159636144 139824473803024 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18714] ppid=18704 vsize=26108408 memory=140111094316208 CPUtime=0 cores=0-7 /proc/18706/task/18714/stat : 18714 (java) S 18704 18704 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90710503 26735009792 11635 33554432000 4194304 4196468 140728159636144 139824108427920 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18715] ppid=18704 vsize=26108408 memory=140111094318512 CPUtime=0 cores=0-7 /proc/18706/task/18715/stat : 18715 (java) S 18704 18704 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90710503 26735009792 11635 33554432000 4194304 4196468 140728159636144 139824107375120 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18716] ppid=18704 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/18706/task/18716/stat : 18716 (java) S 18704 18704 17486 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 90710504 26735009792 11635 33554432000 4194304 4196468 140728159636144 139822963096176 139824556497538 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18717] ppid=18704 vsize=26108408 memory=280222188643984 CPUtime=0 cores=0-7 /proc/18706/task/18717/stat : 18717 (java) S 18704 18704 17486 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90710505 26735009792 11635 33554432000 4194304 4196468 140728159636144 139822962042144 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18718] ppid=18704 vsize=26108408 memory=280222188650896 CPUtime=0 cores=0-7 /proc/18706/task/18718/stat : 18718 (java) S 18704 18704 17486 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90710505 26735009792 11635 33554432000 4194304 4196468 140728159636144 139822960989808 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18719] ppid=18704 vsize=26108408 memory=280222188592176 CPUtime=0 cores=0-7 /proc/18706/task/18719/stat : 18719 (java) S 18704 18704 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90710507 26735009792 11635 33554432000 4194304 4196468 140728159636144 139822959938128 139824556504987 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18720] ppid=18704 vsize=26108408 memory=280222188664720 CPUtime=0.02 cores=0-7 /proc/18706/task/18720/stat : 18720 (java) S 18704 18704 17486 0 -1 1077944384 515 0 0 0 2 0 0 0 20 0 20 0 90710507 26735009792 11635 33554432000 4194304 4196468 140728159636144 139822958884976 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18721] ppid=18704 vsize=26108408 memory=280222188671632 CPUtime=0.02 cores=0-7 /proc/18706/task/18721/stat : 18721 (java) S 18704 18704 17486 0 -1 1077944384 218 0 0 0 2 0 0 0 20 0 20 0 90710507 26735009792 11635 33554432000 4194304 4196468 140728159636144 139822957832176 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18722] ppid=18704 vsize=26108408 memory=280222188669328 CPUtime=0.03 cores=0-7 /proc/18706/task/18722/stat : 18722 (java) S 18704 18704 17486 0 -1 1077944384 221 0 0 0 3 0 0 0 20 0 20 0 90710507 26735009792 11635 33554432000 4194304 4196468 140728159636144 139822956779888 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18723] ppid=18704 vsize=26108408 memory=280222188685488 CPUtime=0.12 cores=0-7 /proc/18706/task/18723/stat : 18723 (java) S 18704 18704 17486 0 -1 1077944384 827 0 0 0 12 0 0 0 20 0 20 0 90710507 26735009792 11635 33554432000 4194304 4196468 140728159636144 139822955727088 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18724] ppid=18704 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/18706/task/18724/stat : 18724 (java) S 18704 18704 17486 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90710508 26735009792 11635 33554432000 4194304 4196468 140728159636144 139822954675040 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18725] ppid=18704 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/18706/task/18725/stat : 18725 (java) S 18704 18704 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90710508 26735009792 11635 33554432000 4194304 4196468 140728159636144 139822953622320 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 47992 KiB [startup+0.707574 s] /proc/loadavg: 8.43 8.30 8.29 6/200 18725 /proc/meminfo: memFree=28080660/32770624 swapFree=67108436/67108860 [pid=18704] ppid=18701 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/18704/stat : 18704 (xcsp3-exec) S 18701 18704 17486 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90710501 115843072 363 33554432000 4194304 5098028 140733402308464 140733402306568 140109237547644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35397632 140733402313782 140733402313984 140733402313984 140733402316746 0 /proc/18704/statm: 28282 363 305 221 0 87 0 [pid=18706] ppid=18704 vsize=26643044 memory=107832 CPUtime=1.96 cores=0-7 /proc/18706/stat : 18706 (java) S 18704 18704 17486 0 -1 1077944320 14751 0 0 0 191 5 0 0 20 0 28 0 90710502 27282477056 26958 33554432000 4194304 4196468 140728159636144 140728159618688 139824556486391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 /proc/18706/statm: 6660761 26958 3365 1 0 6621955 0 [pid=18706/tid=18707] ppid=18704 vsize=26643044 memory=280222188980416 CPUtime=0.63 cores=0-7 /proc/18706/task/18707/stat : 18707 (java) S 18704 18704 17486 0 -1 1077944384 6643 0 0 0 60 3 0 0 20 0 28 0 90710502 27282477056 26958 33554432000 4194304 4196468 140728159636144 139824560727168 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18708] ppid=18704 vsize=26643044 memory=5752 CPUtime=0 cores=0-7 /proc/18706/task/18708/stat : 18708 (java) S 18704 18704 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 90710503 27282477056 26958 33554432000 4194304 4196468 140728159636144 139824479067024 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18709] ppid=18704 vsize=26643044 memory=4588 CPUtime=0 cores=0-7 /proc/18706/task/18709/stat : 18709 (java) S 18704 18704 17486 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90710503 27282477056 26958 33554432000 4194304 4196468 140728159636144 139824478014224 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18710] ppid=18704 vsize=26643044 memory=1612 CPUtime=0 cores=0-7 /proc/18706/task/18710/stat : 18710 (java) S 18704 18704 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 90710503 27282477056 26958 33554432000 4194304 4196468 140728159636144 139824476961936 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 ################ # More data... # ################ [pid=18706/tid=18723] ppid=18704 vsize=26643044 memory=2209 CPUtime=0.66 cores=0-7 /proc/18706/task/18723/stat : 18723 (java) S 18704 18704 17486 0 -1 1077944384 4251 0 0 0 65 1 0 0 20 0 28 0 90710507 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822955727088 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 29 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18724] ppid=18704 vsize=26643044 memory=11204 CPUtime=0 cores=0-7 /proc/18706/task/18724/stat : 18724 (java) S 18704 18704 17486 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90710508 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822954675040 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18725] ppid=18704 vsize=26643044 memory=0 CPUtime=0 cores=0-7 /proc/18706/task/18725/stat : 18725 (java) S 18704 18704 17486 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 90710508 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822953622320 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 32 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18726] ppid=18704 vsize=26643044 memory=0 CPUtime=9 cores=0-7 /proc/18706/task/18726/stat : 18726 (java) R 18704 18704 17486 0 -1 4202560 200 0 0 0 900 0 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822944837040 139824158606667 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18727] ppid=18704 vsize=26643044 memory=0 CPUtime=9.12 cores=0-7 /proc/18706/task/18727/stat : 18727 (java) R 18704 18704 17486 0 -1 4202560 187 0 0 0 912 0 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822943785480 139824158892275 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18728] ppid=18704 vsize=26643044 memory=0 CPUtime=9.05 cores=0-7 /proc/18706/task/18728/stat : 18728 (java) R 18704 18704 17486 0 -1 4202560 658 0 0 0 905 0 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822942734016 139824158576640 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18729] ppid=18704 vsize=26643044 memory=0 CPUtime=9.08 cores=0-7 /proc/18706/task/18729/stat : 18729 (java) R 18704 18704 17486 0 -1 4202560 474 0 0 0 907 1 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822941679264 139824161281696 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18730] ppid=18704 vsize=26643044 memory=0 CPUtime=9.07 cores=0-7 /proc/18706/task/18730/stat : 18730 (java) R 18704 18704 17486 0 -1 4202560 184 0 0 0 907 0 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822940627080 139824159754057 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18731] ppid=18704 vsize=26643044 memory=0 CPUtime=9.26 cores=0-7 /proc/18706/task/18731/stat : 18731 (java) R 18704 18704 17486 0 -1 4202560 130 0 0 0 926 0 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822939574176 139824159126546 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18732] ppid=18704 vsize=26643044 memory=1452 CPUtime=9.21 cores=0-7 /proc/18706/task/18732/stat : 18732 (java) R 18704 18704 17486 0 -1 4202560 335 0 0 0 921 0 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822938521888 139824160957355 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18733] ppid=18704 vsize=26643044 memory=239832 CPUtime=9.2 cores=0-7 /proc/18706/task/18733/stat : 18733 (java) R 18704 18704 17486 0 -1 4202560 113 0 0 0 919 1 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822937469056 139824159126425 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 Current children cumulated CPU time: 78.81 s Current children cumulated vsize: 26756172 KiB Current children cumulated memory: 237700 KiB [startup+11.2016 s] /proc/loadavg: 8.66 8.36 8.31 9/208 18733 /proc/meminfo: memFree=27905196/32770624 swapFree=67108436/67108860 [pid=18704] ppid=18701 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/18704/stat : 18704 (xcsp3-exec) S 18701 18704 17486 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90710501 115843072 363 33554432000 4194304 5098028 140733402308464 140733402306568 140109237547644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35397632 140733402313782 140733402313984 140733402313984 140733402316746 0 /proc/18704/statm: 28282 363 305 221 0 87 0 [pid=18706] ppid=18704 vsize=26643044 memory=236248 CPUtime=85.19 cores=0-7 /proc/18706/stat : 18706 (java) S 18704 18704 17486 0 -1 1077944320 43121 0 0 0 8501 18 0 0 20 0 28 0 90710502 27282477056 59062 33554432000 4194304 4196468 140728159636144 140728159618688 139824556486391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 /proc/18706/statm: 6660761 59062 3429 1 0 6621955 0 [pid=18706/tid=18707] ppid=18704 vsize=26643044 memory=6791534058613427641 CPUtime=0.63 cores=0-7 /proc/18706/task/18707/stat : 18707 (java) S 18704 18704 17486 0 -1 1077944384 6643 0 0 0 60 3 0 0 20 0 28 0 90710502 27282477056 59062 33554432000 4194304 4196468 140728159636144 139824560727168 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18708] ppid=18704 vsize=26643044 memory=1452 CPUtime=0.01 cores=0-7 /proc/18706/task/18708/stat : 18708 (java) S 18704 18704 17486 0 -1 1077944384 687 0 0 0 1 0 0 0 20 0 28 0 90710503 27282477056 59062 33554432000 4194304 4196468 140728159636144 139824479067024 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18709] ppid=18704 vsize=26643044 memory=236020 CPUtime=0 cores=0-7 /proc/18706/task/18709/stat : 18709 (java) S 18704 18704 17486 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 90710503 27282477056 59062 33554432000 4194304 4196468 140728159636144 139824478014224 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18710] ppid=18704 vsize=26643044 memory=0 CPUtime=0.01 cores=0-7 /proc/18706/task/18710/stat : 18710 (java) S 18704 18704 17486 0 -1 1077944384 216 0 0 0 1 0 0 0 20 0 28 0 90710503 27282477056 59062 33554432000 4194304 4196468 140728159636144 139824476961936 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18711] ppid=18704 vsize=26643044 memory=0 CPUtime=0 cores=0-7 /proc/18706/task/18711/stat : 18711 (java) S 18704 18704 17486 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 28 0 90710503 27282477056 59062 33554432000 4194304 4196468 140728159636144 139824475909136 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18712] ppid=18704 vsize=26643044 memory=0 CPUtime=0 cores=0-7 /proc/18706/task/18712/stat : 18712 (java) S 18704 18704 17486 0 -1 1077944384 849 0 0 0 0 0 0 0 20 0 28 0 90710503 27282477056 59062 33554432000 4194304 4196468 140728159636144 139824474855824 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18713] ppid=18704 vsize=26643044 memory=0 CPUtime=0 cores=0-7 /proc/18706/task/18713/stat : 18713 (java) S 18704 18704 17486 0 -1 1077944384 280 0 0 0 0 0 0 0 20 0 28 0 90710503 27282477056 59062 33554432000 4194304 4196468 140728159636144 139824473803024 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18714] ppid=18704 vsize=26643044 memory=288230574492221466 CPUtime=0.01 cores=0-7 /proc/18706/task/18714/stat : 18714 (java) S 18704 18704 17486 0 -1 1077944384 138 0 0 0 1 0 0 0 20 0 28 0 90710503 27282477056 59062 33554432000 4194304 4196468 140728159636144 139824108427920 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18715] ppid=18704 vsize=26643044 memory=288230596050944315 CPUtime=0 cores=0-7 /proc/18706/task/18715/stat : 18715 (java) S 18704 18704 17486 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 90710503 27282477056 59062 33554432000 4194304 4196468 140728159636144 139824107375120 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18716] ppid=18704 vsize=26643044 memory=15823295995971307 CPUtime=0.01 cores=0-7 /proc/18706/task/18716/stat : 18716 (java) S 18704 18704 17486 0 -1 1077944384 646 0 0 0 1 0 0 0 20 0 28 0 90710504 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822963096176 139824556497538 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18717] ppid=18704 vsize=26643044 memory=118792 CPUtime=0 cores=0-7 /proc/18706/task/18717/stat : 18717 (java) S 18704 18704 17486 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 90710505 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822962042144 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18718] ppid=18704 vsize=26643044 memory=0 CPUtime=0 cores=0-7 /proc/18706/task/18718/stat : 18718 (java) S 18704 18704 17486 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 90710505 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822960989808 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18719] ppid=18704 vsize=26643044 memory=8068 CPUtime=0 cores=0-7 /proc/18706/task/18719/stat : 18719 (java) S 18704 18704 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90710507 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822959938128 139824556504987 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18720] ppid=18704 vsize=26643044 memory=11648 CPUtime=1.52 cores=0-7 /proc/18706/task/18720/stat : 18720 (java) S 18704 18704 17486 0 -1 1077944384 8810 0 0 0 150 2 0 0 20 0 28 0 90710507 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822958884976 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18721] ppid=18704 vsize=26643044 memory=1452 CPUtime=1.44 cores=0-7 /proc/18706/task/18721/stat : 18721 (java) S 18704 18704 17486 0 -1 1077944384 10798 0 0 0 141 3 0 0 20 0 28 0 90710507 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822957832176 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18722] ppid=18704 vsize=26643044 memory=227808 CPUtime=1.35 cores=0-7 /proc/18706/task/18722/stat : 18722 (java) S 18704 18704 17486 0 -1 1077944384 5760 0 0 0 134 1 0 0 20 0 28 0 90710507 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822956779888 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18723] ppid=18704 vsize=26643044 memory=600 CPUtime=0.66 cores=0-7 /proc/18706/task/18723/stat : 18723 (java) S 18704 18704 17486 0 -1 1077944384 4251 0 0 0 65 1 0 0 20 0 28 0 90710507 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822955727088 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 29 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18724] ppid=18704 vsize=26643044 memory=599 CPUtime=0 cores=0-7 /proc/18706/task/18724/stat : 18724 (java) S 18704 18704 17486 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90710508 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822954675040 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18725] ppid=18704 vsize=26643044 memory=618 CPUtime=0 cores=0-7 /proc/18706/task/18725/stat : 18725 (java) S 18704 18704 17486 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 28 0 90710508 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822953622320 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 32 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18726] ppid=18704 vsize=26643044 memory=613 CPUtime=9.8 cores=0-7 /proc/18706/task/18726/stat : 18726 (java) R 18704 18704 17486 0 -1 4202560 200 0 0 0 980 0 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822944837176 139824158606701 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18727] ppid=18704 vsize=26643044 memory=612 CPUtime=9.92 cores=0-7 /proc/18706/task/18727/stat : 18727 (java) R 18704 18704 17486 0 -1 4202560 187 0 0 0 992 0 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822943785480 139824159751319 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18728] ppid=18704 vsize=26643044 memory=0 CPUtime=9.85 cores=0-7 /proc/18706/task/18728/stat : 18728 (java) R 18704 18704 17486 0 -1 4202560 663 0 0 0 985 0 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822942731992 139824158576593 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18729] ppid=18704 vsize=26643044 memory=1452 CPUtime=9.88 cores=0-7 /proc/18706/task/18729/stat : 18729 (java) R 18704 18704 17486 0 -1 4202560 474 0 0 0 987 1 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822941679400 139824158892188 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18730] ppid=18704 vsize=26643044 memory=236248 CPUtime=9.86 cores=0-7 /proc/18706/task/18730/stat : 18730 (java) R 18704 18704 17486 0 -1 4202560 185 0 0 0 986 0 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822940627080 139824161283770 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18731] ppid=18704 vsize=26643044 memory=122 CPUtime=10.06 cores=0-7 /proc/18706/task/18731/stat : 18731 (java) R 18704 18704 17486 0 -1 4202560 130 0 0 0 1006 0 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822939574064 139824158606900 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18732] ppid=18704 vsize=26643044 memory=124 CPUtime=10.01 cores=0-7 /proc/18706/task/18732/stat : 18732 (java) R 18704 18704 17486 0 -1 4202560 388 0 0 0 1001 0 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822938522024 139824158606962 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18733] ppid=18704 vsize=26643044 memory=115 CPUtime=10 cores=0-7 /proc/18706/task/18733/stat : 18733 (java) R 18704 18704 17486 0 -1 4202560 113 0 0 0 999 1 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822937469192 139824158606754 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 Current children cumulated CPU time: 85.19 s Current children cumulated vsize: 26756172 KiB Current children cumulated memory: 237700 KiB [startup+11.4016 s] /proc/loadavg: 8.66 8.36 8.31 9/208 18733 /proc/meminfo: memFree=27905196/32770624 swapFree=67108436/67108860 [pid=18704] ppid=18701 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/18704/stat : 18704 (xcsp3-exec) S 18701 18704 17486 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90710501 115843072 363 33554432000 4194304 5098028 140733402308464 140733402306568 140109237547644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35397632 140733402313782 140733402313984 140733402313984 140733402316746 0 /proc/18704/statm: 28282 363 305 221 0 87 0 [pid=18706] ppid=18704 vsize=26643044 memory=236248 CPUtime=86.78 cores=0-7 /proc/18706/stat : 18706 (java) S 18704 18704 17486 0 -1 1077944320 43124 0 0 0 8660 18 0 0 20 0 28 0 90710502 27282477056 59062 33554432000 4194304 4196468 140728159636144 140728159618688 139824556486391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 /proc/18706/statm: 6660761 59062 3429 1 0 6621955 0 [pid=18706/tid=18707] ppid=18704 vsize=26643044 memory=0 CPUtime=0.63 cores=0-7 /proc/18706/task/18707/stat : 18707 (java) S 18704 18704 17486 0 -1 1077944384 6643 0 0 0 60 3 0 0 20 0 28 0 90710502 27282477056 59062 33554432000 4194304 4196468 140728159636144 139824560727168 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18708] ppid=18704 vsize=26643044 memory=0 CPUtime=0.01 cores=0-7 /proc/18706/task/18708/stat : 18708 (java) S 18704 18704 17486 0 -1 1077944384 687 0 0 0 1 0 0 0 20 0 28 0 90710503 27282477056 59062 33554432000 4194304 4196468 140728159636144 139824479067024 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18709] ppid=18704 vsize=26643044 memory=280222189333440 CPUtime=0 cores=0-7 /proc/18706/task/18709/stat : 18709 (java) S 18704 18704 17486 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 90710503 27282477056 59062 33554432000 4194304 4196468 140728159636144 139824478014224 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18710] ppid=18704 vsize=26643044 memory=140111094673447 CPUtime=0.01 cores=0-7 /proc/18706/task/18710/stat : 18710 (java) S 18704 18704 17486 0 -1 1077944384 216 0 0 0 1 0 0 0 20 0 28 0 90710503 27282477056 59062 33554432000 4194304 4196468 140728159636144 139824476961936 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18711] ppid=18704 vsize=26643044 memory=0 CPUtime=0 cores=0-7 /proc/18706/task/18711/stat : 18711 (java) S 18704 18704 17486 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 28 0 90710503 27282477056 59062 33554432000 4194304 4196468 140728159636144 139824475909136 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18712] ppid=18704 vsize=26643044 memory=1296 CPUtime=0 cores=0-7 /proc/18706/task/18712/stat : 18712 (java) S 18704 18704 17486 0 -1 1077944384 849 0 0 0 0 0 0 0 20 0 28 0 90710503 27282477056 59062 33554432000 4194304 4196468 140728159636144 139824474855824 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18713] ppid=18704 vsize=26643044 memory=2412 CPUtime=0 cores=0-7 /proc/18706/task/18713/stat : 18713 (java) S 18704 18704 17486 0 -1 1077944384 280 0 0 0 0 0 0 0 20 0 28 0 90710503 27282477056 59062 33554432000 4194304 4196468 140728159636144 139824473803024 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18714] ppid=18704 vsize=26643044 memory=1784 CPUtime=0.01 cores=0-7 /proc/18706/task/18714/stat : 18714 (java) S 18704 18704 17486 0 -1 1077944384 138 0 0 0 1 0 0 0 20 0 28 0 90710503 27282477056 59062 33554432000 4194304 4196468 140728159636144 139824108427920 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18715] ppid=18704 vsize=26643044 memory=5752 CPUtime=0 cores=0-7 /proc/18706/task/18715/stat : 18715 (java) S 18704 18704 17486 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 90710503 27282477056 59062 33554432000 4194304 4196468 140728159636144 139824107375120 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18716] ppid=18704 vsize=26643044 memory=4588 CPUtime=0.01 cores=0-7 /proc/18706/task/18716/stat : 18716 (java) S 18704 18704 17486 0 -1 1077944384 646 0 0 0 1 0 0 0 20 0 28 0 90710504 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822963096176 139824556497538 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18717] ppid=18704 vsize=26643044 memory=1612 CPUtime=0 cores=0-7 /proc/18706/task/18717/stat : 18717 (java) S 18704 18704 17486 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 90710505 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822962042144 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18718] ppid=18704 vsize=26643044 memory=1228 CPUtime=0 cores=0-7 /proc/18706/task/18718/stat : 18718 (java) S 18704 18704 17486 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 90710505 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822960989808 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18719] ppid=18704 vsize=26643044 memory=1852 CPUtime=0 cores=0-7 /proc/18706/task/18719/stat : 18719 (java) S 18704 18704 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90710507 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822959938128 139824556504987 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18720] ppid=18704 vsize=26643044 memory=872 CPUtime=1.52 cores=0-7 /proc/18706/task/18720/stat : 18720 (java) S 18704 18704 17486 0 -1 1077944384 8810 0 0 0 150 2 0 0 20 0 28 0 90710507 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822958884976 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18721] ppid=18704 vsize=26643044 memory=8068 CPUtime=1.44 cores=0-7 /proc/18706/task/18721/stat : 18721 (java) S 18704 18704 17486 0 -1 1077944384 10798 0 0 0 141 3 0 0 20 0 28 0 90710507 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822957832176 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18722] ppid=18704 vsize=26643044 memory=11648 CPUtime=1.35 cores=0-7 /proc/18706/task/18722/stat : 18722 (java) S 18704 18704 17486 0 -1 1077944384 5760 0 0 0 134 1 0 0 20 0 28 0 90710507 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822956779888 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18723] ppid=18704 vsize=26643044 memory=796 CPUtime=0.66 cores=0-7 /proc/18706/task/18723/stat : 18723 (java) S 18704 18704 17486 0 -1 1077944384 4251 0 0 0 65 1 0 0 20 0 28 0 90710507 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822955727088 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 29 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18724] ppid=18704 vsize=26643044 memory=1388 CPUtime=0 cores=0-7 /proc/18706/task/18724/stat : 18724 (java) S 18704 18704 17486 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90710508 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822954675040 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18725] ppid=18704 vsize=26643044 memory=1136 CPUtime=0 cores=0-7 /proc/18706/task/18725/stat : 18725 (java) S 18704 18704 17486 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 28 0 90710508 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822953622320 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 32 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18726] ppid=18704 vsize=26643044 memory=15872 CPUtime=9.99 cores=0-7 /proc/18706/task/18726/stat : 18726 (java) R 18704 18704 17486 0 -1 4202560 201 0 0 0 999 0 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822944837552 139824158576289 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18727] ppid=18704 vsize=26643044 memory=15152 CPUtime=10.12 cores=0-7 /proc/18706/task/18727/stat : 18727 (java) R 18704 18704 17486 0 -1 4202560 188 0 0 0 1012 0 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822943786024 139824159069203 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18728] ppid=18704 vsize=26643044 memory=16148 CPUtime=10.04 cores=0-7 /proc/18706/task/18728/stat : 18728 (java) R 18704 18704 17486 0 -1 4202560 663 0 0 0 1004 0 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822942732048 139824158608546 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18729] ppid=18704 vsize=26643044 memory=4004 CPUtime=10.08 cores=0-7 /proc/18706/task/18729/stat : 18729 (java) R 18704 18704 17486 0 -1 4202560 474 0 0 0 1007 1 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822941679232 139824160060428 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18730] ppid=18704 vsize=26643044 memory=636 CPUtime=10.05 cores=0-7 /proc/18706/task/18730/stat : 18730 (java) R 18704 18704 17486 0 -1 4202560 185 0 0 0 1005 0 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822940626984 139824158891849 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18731] ppid=18704 vsize=26643044 memory=1780 CPUtime=10.26 cores=0-7 /proc/18706/task/18731/stat : 18731 (java) R 18704 18704 17486 0 -1 4202560 130 0 0 0 1026 0 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822939574560 139824159604710 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18732] ppid=18704 vsize=26643044 memory=1236 CPUtime=10.21 cores=0-7 /proc/18706/task/18732/stat : 18732 (java) R 18704 18704 17486 0 -1 4202560 388 0 0 0 1021 0 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822938521856 139824159069794 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 [pid=18706/tid=18733] ppid=18704 vsize=26643044 memory=960 CPUtime=10.2 cores=0-7 /proc/18706/task/18733/stat : 18733 (java) R 18704 18704 17486 0 -1 4202560 114 0 0 0 1019 1 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822937469072 139824158607109 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0 Current children cumulated CPU time: 86.78 s Current children cumulated vsize: 26756172 KiB Current children cumulated memory: 237700 KiB Child status: 0 Real time (s): 11.4661 CPU time (s): 87.2341 CPU user time (s): 87.04 CPU system time (s): 0.194026 CPU usage (%): 760.798 Max. virtual memory (cumulated for all children) (KiB): 26760380 Max. memory (cumulated for all children) (KiB): 241284 getrusage(RUSAGE_CHILDREN,...) data: user time used= 87.04 system time used= 0.194026 maximum resident set size= 239832 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 44295 page faults= 0 swaps= 0 block input operations= 0 block output operations= 136 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4506 involuntary context switches= 1430 # summary of solver processes directly reported to runsolver: # pid: 18704 # total CPU time (s): 87.2341 # total CPU user time (s): 87.04 # total CPU system time (s): 0.194026 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.11221 second user time and 0.163184 second system time The end
Begin job on node137 at 2018-07-28 00:44:33 IDJOB=4297728 IDBENCH=141618 IDSOLVER=2760 FILE ID=node137/4297728-1532731473 RUNJOBID= node137-1532724796-17513 PBS_JOBID= 21022341 Free space on /tmp= 48160 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/Quasigroups/QuasiGroup-7-08_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297728-1532731473/watcher-4297728-1532731473 -o /tmp/evaluation-result-4297728-1532731473/solver-4297728-1532731473 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1532724796-17513 --watchdog 2580 HOME/xcsp3-exec -seed 607714676 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297728-1532731473.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= f8c10a8313da5da6e599be620e9e581f RANDOM SEED=607714676 node137.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.54 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.56 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.54 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.56 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.54 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.56 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.54 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 28132468 kB MemAvailable: 31931704 kB Buffers: 159916 kB Cached: 3874032 kB SwapCached: 32 kB Active: 1798184 kB Inactive: 2292388 kB Active(anon): 4160 kB Inactive(anon): 80060 kB Active(file): 1794024 kB Inactive(file): 2212328 kB Unevictable: 7424 kB Mlocked: 7424 kB SwapTotal: 67108860 kB SwapFree: 67108436 kB Dirty: 21988 kB Writeback: 0 kB AnonPages: 63944 kB Mapped: 40080 kB Shmem: 25052 kB Slab: 244636 kB SReclaimable: 217436 kB SUnreclaim: 27200 kB KernelStack: 3232 kB PageTables: 4720 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324256 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 48136 MiB End job on node137 at 2018-07-28 00:44:45