Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 82 | 629.385 | 79.5686 |
Name | Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-45-01.xml |
MD5SUM | 1713c5d1d522f34d444b6ff7755d5ded |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 82 |
Best CPU time to get the best result obtained on this benchmark | 273.014 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 32 |
Number of constraints | 72 |
Number of domains | 2 |
Minimum domain size | 1 |
Maximum domain size | 151 |
Distribution of domain sizes | [{"size":1,"count":1},{"size":151,"count":31}] |
Minimum variable degree | 3 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":3,"count":1},{"degree":4,"count":1},{"degree":7,"count":1},{"degree":8,"count":21},{"degree":9,"count":5},{"degree":10,"count":3}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 30 |
Distribution of constraint arities | [{"arity":2,"count":68},{"arity":30,"count":4}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 68 |
Distribution of constraint types | [{"type":"intension","count":68},{"type":"cumulative","count":4}] |
Optimization problem | YES |
Type of objective | min VAR |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404694-1569001976.xml" -tl '20160s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404694-1569001976.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 1.62/0.73 c solve instance... 2.93/0.95 o 97 2.93/0.96 o 94 3.63/1.04 o 90 25.54/3.84 o 89 31.05/4.60 o 88 45.38/6.34 o 87 46.95/6.50 o 86 50.12/6.93 o 85 50.12/6.95 o 84 119.40/15.64 o 83 119.40/15.69 o 82 628.94/79.55 s OPTIMUM FOUND 628.94/79.55 v <instantiation> 628.94/79.55 v <list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] </list> 628.94/79.55 v <values>0 0 2 2 6 28 7 15 24 8 6 22 17 21 31 26 34 25 40 41 54 49 49 58 62 73 54 66 73 76 66 82 </values> 628.94/79.55 v </instantiation>
OK 82
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 (11967 MiB free) memory of node 1: 16384 MiB (9796 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404694-1569001976/watcher-4404694-1569001976 -o /var/tmp/evaluation-result-4404694-1569001976/solver-4404694-1569001976 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1568994486-15792 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 501488630 HOME/instance-4404694-1569001976.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=18824, runsolver pid=18821 Current StackSize limit: 8192 KiB [startup+0.100157 s]* /proc/loadavg: 8.25 8.33 8.32 2/213 18845 /proc/meminfo: memFree=22267100/32770624 swapFree=67001780/67108860 [pid=18824] ppid=18821 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/18824/stat : 18824 (xcsp3-exec) S 18821 18824 15765 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476111592 115843072 362 33554432000 4194304 5098028 140725542583616 140725542581720 139802306269820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33349632 140725542589266 140725542589525 140725542589525 140725542592454 0 /proc/18824/statm: 28282 362 304 221 0 87 0 [pid=18826] ppid=18824 vsize=28227396 memory=31980 CPUtime=0.12 cores=0-7 /proc/18826/stat : 18826 (java) S 18824 18824 15765 0 -1 1077944320 5382 0 0 0 11 1 0 0 20 0 20 0 476111593 28904853504 7995 33554432000 4194304 4196468 140729204264368 140729204246912 140055549906679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 /proc/18826/statm: 7056849 7995 3155 1 0 7019032 0 [pid=18826/tid=18827] ppid=18824 vsize=28227396 memory=1398722017469774279 CPUtime=0.08 cores=0-7 /proc/18826/task/18827/stat : 18827 (java) R 18824 18824 15765 0 -1 4202560 3290 0 0 0 8 0 0 0 20 0 20 0 476111593 28904853504 7995 33554432000 4194304 4196468 140729204264368 140055554138368 140055549918614 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18828] ppid=18824 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/18826/task/18828/stat : 18828 (java) S 18824 18824 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476111594 28904853504 7995 33554432000 4194304 4196468 140729204264368 140055469759376 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18829] ppid=18824 vsize=28227396 memory=140147057333888 CPUtime=0 cores=0-7 /proc/18826/task/18829/stat : 18829 (java) S 18824 18824 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476111594 28904853504 7995 33554432000 4194304 4196468 140729204264368 140055468706576 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18830] ppid=18824 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18826/task/18830/stat : 18830 (java) S 18824 18824 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476111594 28904853504 7995 33554432000 4194304 4196468 140729204264368 140055467654288 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18831] ppid=18824 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18826/task/18831/stat : 18831 (java) S 18824 18824 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476111594 28904853504 7995 33554432000 4194304 4196468 140729204264368 140055466601488 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18832] ppid=18824 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18826/task/18832/stat : 18832 (java) S 18824 18824 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476111594 28904853504 7995 33554432000 4194304 4196468 140729204264368 140055465548176 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18833] ppid=18824 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/18826/task/18833/stat : 18833 (java) S 18824 18824 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476111594 28904853504 7995 33554432000 4194304 4196468 140729204264368 140055464495376 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18834] ppid=18824 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18826/task/18834/stat : 18834 (java) S 18824 18824 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476111594 28904853504 7995 33554432000 4194304 4196468 140729204264368 140055463443088 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18835] ppid=18824 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18826/task/18835/stat : 18835 (java) S 18824 18824 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476111594 28904853504 7995 33554432000 4194304 4196468 140729204264368 140055462390288 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18836] ppid=18824 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18826/task/18836/stat : 18836 (java) S 18824 18824 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476111595 28904853504 7995 33554432000 4194304 4196468 140729204264368 140053745486448 140055549917826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18837] ppid=18824 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18826/task/18837/stat : 18837 (java) S 18824 18824 15765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476111596 28904853504 7995 33554432000 4194304 4196468 140729204264368 140053744432416 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18838] ppid=18824 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18826/task/18838/stat : 18838 (java) S 18824 18824 15765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476111596 28904853504 7995 33554432000 4194304 4196468 140729204264368 140053743380080 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18839] ppid=18824 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18826/task/18839/stat : 18839 (java) S 18824 18824 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476111598 28904853504 7995 33554432000 4194304 4196468 140729204264368 140053742328400 140055549925275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18840] ppid=18824 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18826/task/18840/stat : 18840 (java) S 18824 18824 15765 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 20 0 476111599 28904853504 7995 33554432000 4194304 4196468 140729204264368 140053741275248 140055549917826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18841] ppid=18824 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18826/task/18841/stat : 18841 (java) S 18824 18824 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476111599 28904853504 7995 33554432000 4194304 4196468 140729204264368 140053740222448 140055549917826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18842] ppid=18824 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18826/task/18842/stat : 18842 (java) S 18824 18824 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476111599 28904853504 7995 33554432000 4194304 4196468 140729204264368 140053739170160 140055549917826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18843] ppid=18824 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/18826/task/18843/stat : 18843 (java) R 18824 18824 15765 0 -1 4202560 362 0 0 0 2 0 0 0 20 0 20 0 476111599 28904853504 7995 33554432000 4194304 4196468 140729204264368 140053738117360 140055535047281 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18844] ppid=18824 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18826/task/18844/stat : 18844 (java) S 18824 18824 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476111599 28904853504 7995 33554432000 4194304 4196468 140729204264368 140053737065312 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18845] ppid=18824 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/18826/task/18845/stat : 18845 (java) S 18824 18824 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476111599 28904853504 7995 33554432000 4194304 4196468 140729204264368 140053736012592 140055549917826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 33428 KiB [startup+0.210333 s]* /proc/loadavg: 8.25 8.33 8.32 2/214 18847 /proc/meminfo: memFree=22254964/32770624 swapFree=67001780/67108860 [pid=18824] ppid=18821 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/18824/stat : 18824 (xcsp3-exec) S 18821 18824 15765 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476111592 115843072 362 33554432000 4194304 5098028 140725542583616 140725542581720 139802306269820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33349632 140725542589266 140725542589525 140725542589525 140725542592454 0 /proc/18824/statm: 28282 362 304 221 0 87 0 [pid=18826] ppid=18824 vsize=28227396 memory=42644 CPUtime=0.34 cores=0-7 /proc/18826/stat : 18826 (java) S 18824 18824 15765 0 -1 1077944320 8898 0 0 0 31 3 0 0 20 0 20 0 476111593 28904853504 10661 33554432000 4194304 4196468 140729204264368 140729204246912 140055549906679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 /proc/18826/statm: 7056849 10661 3250 1 0 7019032 0 [pid=18826/tid=18827] ppid=18824 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/18826/task/18827/stat : 18827 (java) R 18824 18824 15765 0 -1 4202560 6067 0 0 0 17 2 0 0 20 0 20 0 476111593 28904853504 10661 33554432000 4194304 4196468 140729204264368 140055554140624 140055533987166 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18828] ppid=18824 vsize=28227396 memory=339 CPUtime=0 cores=0-7 /proc/18826/task/18828/stat : 18828 (java) S 18824 18824 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476111594 28904853504 10661 33554432000 4194304 4196468 140729204264368 140055469759376 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18829] ppid=18824 vsize=28227396 memory=288370523209045632 CPUtime=0 cores=0-7 /proc/18826/task/18829/stat : 18829 (java) S 18824 18824 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476111594 28904853504 10661 33554432000 4194304 4196468 140729204264368 140055468706576 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18830] ppid=18824 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/18826/task/18830/stat : 18830 (java) S 18824 18824 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476111594 28904853504 10661 33554432000 4194304 4196468 140729204264368 140055467654288 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18831] ppid=18824 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18826/task/18831/stat : 18831 (java) S 18824 18824 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476111594 28904853504 10661 33554432000 4194304 4196468 140729204264368 140055466601488 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18832] ppid=18824 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18826/task/18832/stat : 18832 (java) S 18824 18824 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476111594 28904853504 10661 33554432000 4194304 4196468 140729204264368 140055465548176 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18833] ppid=18824 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/18826/task/18833/stat : 18833 (java) S 18824 18824 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476111594 28904853504 10661 33554432000 4194304 4196468 140729204264368 140055464495376 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18834] ppid=18824 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18826/task/18834/stat : 18834 (java) S 18824 18824 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476111594 28904853504 10661 33554432000 4194304 4196468 140729204264368 140055463443088 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18835] ppid=18824 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18826/task/18835/stat : 18835 (java) S 18824 18824 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476111594 28904853504 10661 33554432000 4194304 4196468 140729204264368 140055462390288 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18836] ppid=18824 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18826/task/18836/stat : 18836 (java) S 18824 18824 15765 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476111595 28904853504 10661 33554432000 4194304 4196468 140729204264368 140053745486448 140055549917826 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18837] ppid=18824 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18826/task/18837/stat : 18837 (java) S 18824 18824 15765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476111596 28904853504 10661 33554432000 4194304 4196468 140729204264368 140053744432416 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18838] ppid=18824 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18826/task/18838/stat : 18838 (java) S 18824 18824 15765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476111596 28904853504 10661 33554432000 4194304 4196468 140729204264368 140053743380080 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18839] ppid=18824 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18826/task/18839/stat : 18839 (java) S 18824 18824 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476111598 28904853504 10661 33554432000 4194304 4196468 140729204264368 140053742328400 140055549925275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18840] ppid=18824 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/18826/task/18840/stat : 18840 (java) S 18824 18824 15765 0 -1 1077944384 598 0 0 0 1 0 0 0 20 0 20 0 476111599 28904853504 10661 33554432000 4194304 4196468 140729204264368 140053741275248 140055549917826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18841] ppid=18824 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/18826/task/18841/stat : 18841 (java) S 18824 18824 15765 0 -1 1077944384 98 0 0 0 1 0 0 0 20 0 20 0 476111599 28904853504 10661 33554432000 4194304 4196468 140729204264368 140053740222448 140055549917826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18842] ppid=18824 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/18826/task/18842/stat : 18842 (java) S 18824 18824 15765 0 -1 1077944384 56 0 0 0 1 0 0 0 20 0 20 0 476111599 28904853504 10661 33554432000 4194304 4196468 140729204264368 140053739170160 140055549917826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18843] ppid=18824 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/18826/task/18843/stat : 18843 (java) R 18824 18824 15765 0 -1 4202560 763 0 0 0 8 0 0 0 20 0 20 0 476111599 28904853504 10661 33554432000 4194304 4196468 140729204264368 140053738117360 140055528833527 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18844] ppid=18824 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18826/task/18844/stat : 18844 (java) S 18824 18824 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476111599 28904853504 10661 33554432000 4194304 4196468 140729204264368 140053737065312 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18845] ppid=18824 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/18826/task/18845/stat : 18845 (java) S 18824 18824 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476111599 28904853504 10661 33554432000 4194304 4196468 140729204264368 140053736012592 140055549917826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 44092 KiB [startup+0.310146 s]* /proc/loadavg: 8.25 8.33 8.32 4/214 18847 /proc/meminfo: memFree=22247332/32770624 swapFree=67001780/67108860 [pid=18824] ppid=18821 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/18824/stat : 18824 (xcsp3-exec) S 18821 18824 15765 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476111592 115843072 362 33554432000 4194304 5098028 140725542583616 140725542581720 139802306269820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33349632 140725542589266 140725542589525 140725542589525 140725542592454 0 /proc/18824/statm: 28282 362 304 221 0 87 0 [pid=18826] ppid=18824 vsize=28231652 memory=51356 CPUtime=0.53 cores=0-7 /proc/18826/stat : 18826 (java) S 18824 18824 15765 0 -1 1077944320 10187 0 0 0 49 4 0 0 20 0 20 0 476111593 28909211648 12839 33554432000 4194304 4196468 140729204264368 140729204246912 140055549906679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 /proc/18826/statm: 7057913 12839 3348 1 0 7019032 0 [pid=18826/tid=18827] ppid=18824 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/18826/task/18827/stat : 18827 (java) R 18824 18824 15765 0 -1 4202560 7151 0 0 0 27 3 0 0 20 0 20 0 476111593 28909211648 12839 33554432000 4194304 4196468 140729204264368 140055554137792 140055529497888 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18828] ppid=18824 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18826/task/18828/stat : 18828 (java) S 18824 18824 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476111594 28909211648 12839 33554432000 4194304 4196468 140729204264368 140055469759376 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18829] ppid=18824 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18826/task/18829/stat : 18829 (java) S 18824 18824 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476111594 28909211648 12839 33554432000 4194304 4196468 140729204264368 140055468706576 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18830] ppid=18824 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18826/task/18830/stat : 18830 (java) S 18824 18824 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476111594 28909211648 12839 33554432000 4194304 4196468 140729204264368 140055467654288 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18831] ppid=18824 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18826/task/18831/stat : 18831 (java) S 18824 18824 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476111594 28909211648 12839 33554432000 4194304 4196468 140729204264368 140055466601488 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18832] ppid=18824 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18826/task/18832/stat : 18832 (java) S 18824 18824 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476111594 28909211648 12839 33554432000 4194304 4196468 140729204264368 140055465548176 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18833] ppid=18824 vsize=28231652 memory=140146930444975 CPUtime=0 cores=0-7 /proc/18826/task/18833/stat : 18833 (java) S 18824 18824 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476111594 28909211648 12839 33554432000 4194304 4196468 140729204264368 140055464495376 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18834] ppid=18824 vsize=28231652 memory=140146930447280 CPUtime=0 cores=0-7 /proc/18826/task/18834/stat : 18834 (java) S 18824 18824 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476111594 28909211648 12839 33554432000 4194304 4196468 140729204264368 140055463443088 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18835] ppid=18824 vsize=28231652 memory=140146930449584 CPUtime=0 cores=0-7 /proc/18826/task/18835/stat : 18835 (java) S 18824 18824 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476111594 28909211648 12839 33554432000 4194304 4196468 140729204264368 140055462390288 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18836] ppid=18824 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18826/task/18836/stat : 18836 (java) S 18824 18824 15765 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476111595 28909211648 12839 33554432000 4194304 4196468 140729204264368 140053745486448 140055549917826 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18837] ppid=18824 vsize=28231652 memory=280293860913040 CPUtime=0 cores=0-7 /proc/18826/task/18837/stat : 18837 (java) S 18824 18824 15765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476111596 28909211648 12839 33554432000 4194304 4196468 140729204264368 140053744432416 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18838] ppid=18824 vsize=28231652 memory=280293860910736 CPUtime=0 cores=0-7 /proc/18826/task/18838/stat : 18838 (java) S 18824 18824 15765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476111596 28909211648 12839 33554432000 4194304 4196468 140729204264368 140053743380080 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18839] ppid=18824 vsize=28231652 memory=280293860917648 CPUtime=0 cores=0-7 /proc/18826/task/18839/stat : 18839 (java) S 18824 18824 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476111598 28909211648 12839 33554432000 4194304 4196468 140729204264368 140053742328400 140055549925275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18840] ppid=18824 vsize=28231652 memory=280293860858928 CPUtime=0.03 cores=0-7 /proc/18826/task/18840/stat : 18840 (java) R 18824 18824 15765 0 -1 4202560 700 0 0 0 3 0 0 0 20 0 20 0 476111599 28909211648 12839 33554432000 4194304 4196468 140729204264368 140053741265632 140055535032064 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18841] ppid=18824 vsize=28231652 memory=280293860931472 CPUtime=0.02 cores=0-7 /proc/18826/task/18841/stat : 18841 (java) S 18824 18824 15765 0 -1 1077944384 105 0 0 0 2 0 0 0 20 0 20 0 476111599 28909211648 12839 33554432000 4194304 4196468 140729204264368 140053740222448 140055549917826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18842] ppid=18824 vsize=28231652 memory=280293860938384 CPUtime=0.02 cores=0-7 /proc/18826/task/18842/stat : 18842 (java) S 18824 18824 15765 0 -1 1077944384 85 0 0 0 2 0 0 0 20 0 20 0 476111599 28909211648 12839 33554432000 4194304 4196468 140729204264368 140053739170160 140055549917826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18843] ppid=18824 vsize=28231652 memory=280293860936080 CPUtime=0.12 cores=0-7 /proc/18826/task/18843/stat : 18843 (java) S 18824 18824 15765 0 -1 1077944384 834 0 0 0 12 0 0 0 20 0 20 0 476111599 28909211648 12839 33554432000 4194304 4196468 140729204264368 140053738117360 140055549917826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18844] ppid=18824 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18826/task/18844/stat : 18844 (java) S 18824 18824 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476111599 28909211648 12839 33554432000 4194304 4196468 140729204264368 140053737065312 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18845] ppid=18824 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/18826/task/18845/stat : 18845 (java) S 18824 18824 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476111599 28909211648 12839 33554432000 4194304 4196468 140729204264368 140053736012592 140055549917826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 52804 KiB [startup+0.700936 s] /proc/loadavg: 8.25 8.33 8.32 3/214 18847 /proc/meminfo: memFree=22231624/32770624 swapFree=67001780/67108860 [pid=18824] ppid=18821 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/18824/stat : 18824 (xcsp3-exec) S 18821 18824 15765 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476111592 115843072 362 33554432000 4194304 5098028 140725542583616 140725542581720 139802306269820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33349632 140725542589266 140725542589525 140725542589525 140725542592454 0 /proc/18824/statm: 28282 362 304 221 0 87 0 [pid=18826] ppid=18824 vsize=28233776 memory=90436 CPUtime=1.62 cores=0-7 /proc/18826/stat : 18826 (java) S 18824 18824 15765 0 -1 1077944320 14792 0 0 0 155 7 0 0 20 0 20 0 476111593 28911386624 22609 33554432000 4194304 4196468 140729204264368 140729204246912 140055549906679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 /proc/18826/statm: 7058444 22609 3454 1 0 7019544 0 [pid=18826/tid=18827] ppid=18824 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7 /proc/18826/task/18827/stat : 18827 (java) R 18824 18824 15765 0 -1 4202560 8746 0 0 0 64 4 0 0 20 0 20 0 476111593 28911386624 22609 33554432000 4194304 4196468 140729204264368 140055554140768 140055142280320 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18828] ppid=18824 vsize=28233776 memory=140146930656112 CPUtime=0 cores=0-7 /proc/18826/task/18828/stat : 18828 (java) S 18824 18824 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476111594 28911386624 22609 33554432000 4194304 4196468 140729204264368 140055469759376 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18829] ppid=18824 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/18826/task/18829/stat : 18829 (java) S 18824 18824 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476111594 28911386624 22609 33554432000 4194304 4196468 140729204264368 140055468706576 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18830] ppid=18824 vsize=28233776 memory=1056 CPUtime=0 cores=0-7 /proc/18826/task/18830/stat : 18830 (java) S 18824 18824 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476111594 28911386624 22609 33554432000 4194304 4196468 140729204264368 140055467654288 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 ################ # More data... # ################ [pid=18826/tid=18843] ppid=18824 vsize=28834900 memory=2832 CPUtime=0.86 cores=0-7 /proc/18826/task/18843/stat : 18843 (java) S 18824 18824 15765 0 -1 1077944384 7970 0 0 0 83 3 0 0 20 0 28 0 476111599 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053738117360 140055549917826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18844] ppid=18824 vsize=28834900 memory=1224 CPUtime=0 cores=0-7 /proc/18826/task/18844/stat : 18844 (java) S 18824 18824 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476111599 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053737065312 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18845] ppid=18824 vsize=28834900 memory=6040 CPUtime=0.01 cores=0-7 /proc/18826/task/18845/stat : 18845 (java) S 18824 18824 15765 0 -1 1077944384 726 0 0 0 0 1 0 0 20 0 28 0 476111599 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053736012592 140055549917826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18936] ppid=18824 vsize=28834900 memory=772 CPUtime=63.09 cores=0-7 /proc/18826/task/18936/stat : 18936 (java) R 18824 18824 15765 0 -1 4202560 2114 0 0 0 6309 0 0 0 20 0 28 0 476113162 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053726792712 140055149946925 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18937] ppid=18824 vsize=28834900 memory=1556 CPUtime=62.95 cores=0-7 /proc/18826/task/18937/stat : 18937 (java) R 18824 18824 15765 0 -1 4202560 542 0 0 0 6295 0 0 0 20 0 28 0 476113162 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053723644408 140055149018440 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18938] ppid=18824 vsize=28834900 memory=1448 CPUtime=63.1 cores=0-7 /proc/18826/task/18938/stat : 18938 (java) R 18824 18824 15765 0 -1 4202560 595 0 0 0 6310 0 0 0 20 0 28 0 476113162 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053721538424 140055150194088 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18939] ppid=18824 vsize=28834900 memory=280293862268384 CPUtime=63.13 cores=0-7 /proc/18826/task/18939/stat : 18939 (java) R 18824 18824 15765 0 -1 4202560 1544 0 0 0 6311 2 0 0 20 0 28 0 476113162 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053720485768 140055151763956 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18940] ppid=18824 vsize=28834900 memory=7548 CPUtime=63.03 cores=0-7 /proc/18826/task/18940/stat : 18940 (java) R 18824 18824 15765 0 -1 4202560 1043 0 0 0 6303 0 0 0 20 0 28 0 476113162 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053718379864 140055150602142 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18941] ppid=18824 vsize=28834900 memory=2832 CPUtime=63.26 cores=0-7 /proc/18826/task/18941/stat : 18941 (java) R 18824 18824 15765 0 -1 4202560 879 0 0 0 6326 0 0 0 20 0 28 0 476113162 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053341617216 140055149872711 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18942] ppid=18824 vsize=28834900 memory=1224 CPUtime=62.98 cores=0-7 /proc/18826/task/18942/stat : 18942 (java) R 18824 18824 15765 0 -1 4202560 445 0 0 0 6298 0 0 0 20 0 28 0 476113162 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053719433592 140055149018746 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18943] ppid=18824 vsize=28834900 memory=6040 CPUtime=63.14 cores=0-7 /proc/18826/task/18943/stat : 18943 (java) R 18824 18824 15765 0 -1 4202560 972 0 0 0 6314 0 0 0 20 0 28 0 476113162 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053717330512 140055149945674 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 Current children cumulated CPU time: 626.53 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 231972 KiB [startup+79.401 s] /proc/loadavg: 8.44 8.38 8.33 9/221 18946 /proc/meminfo: memFree=22072488/32770624 swapFree=67001780/67108860 [pid=18824] ppid=18821 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/18824/stat : 18824 (xcsp3-exec) S 18821 18824 15765 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476111592 115843072 362 33554432000 4194304 5098028 140725542583616 140725542581720 139802306269820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33349632 140725542589266 140725542589525 140725542589525 140725542592454 0 /proc/18824/statm: 28282 362 304 221 0 87 0 [pid=18826] ppid=18824 vsize=28834900 memory=230524 CPUtime=628.13 cores=0-7 /proc/18826/stat : 18826 (java) S 18824 18824 15765 0 -1 1077944320 90852 0 0 0 62771 42 0 0 20 0 28 0 476111593 29526937600 57631 33554432000 4194304 4196468 140729204264368 140729204246912 140055549906679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 /proc/18826/statm: 7208725 57631 3529 1 0 7169825 0 [pid=18826/tid=18827] ppid=18824 vsize=28834900 memory=1056 CPUtime=0.73 cores=0-7 /proc/18826/task/18827/stat : 18827 (java) S 18824 18824 15765 0 -1 1077944384 9132 0 0 0 69 4 0 0 20 0 28 0 476111593 29526937600 57631 33554432000 4194304 4196468 140729204264368 140055554147456 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18828] ppid=18824 vsize=28834900 memory=1096 CPUtime=0.03 cores=0-7 /proc/18826/task/18828/stat : 18828 (java) S 18824 18824 15765 0 -1 1077944384 2448 0 0 0 2 1 0 0 20 0 28 0 476111594 29526937600 57631 33554432000 4194304 4196468 140729204264368 140055469759376 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18829] ppid=18824 vsize=28834900 memory=13972 CPUtime=0.02 cores=0-7 /proc/18826/task/18829/stat : 18829 (java) S 18824 18824 15765 0 -1 1077944384 1258 0 0 0 2 0 0 0 20 0 28 0 476111594 29526937600 57631 33554432000 4194304 4196468 140729204264368 140055468706576 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18830] ppid=18824 vsize=28834900 memory=2116 CPUtime=0.02 cores=0-7 /proc/18826/task/18830/stat : 18830 (java) S 18824 18824 15765 0 -1 1077944384 1085 0 0 0 2 0 0 0 20 0 28 0 476111594 29526937600 57631 33554432000 4194304 4196468 140729204264368 140055467654288 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18831] ppid=18824 vsize=28834900 memory=29212 CPUtime=0.02 cores=0-7 /proc/18826/task/18831/stat : 18831 (java) S 18824 18824 15765 0 -1 1077944384 1141 0 0 0 2 0 0 0 20 0 28 0 476111594 29526937600 57631 33554432000 4194304 4196468 140729204264368 140055466601488 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18832] ppid=18824 vsize=28834900 memory=12028 CPUtime=0.02 cores=0-7 /proc/18826/task/18832/stat : 18832 (java) S 18824 18824 15765 0 -1 1077944384 1142 0 0 0 2 0 0 0 20 0 28 0 476111594 29526937600 57631 33554432000 4194304 4196468 140729204264368 140055465548176 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18833] ppid=18824 vsize=28834900 memory=532 CPUtime=0.02 cores=0-7 /proc/18826/task/18833/stat : 18833 (java) S 18824 18824 15765 0 -1 1077944384 1371 0 0 0 2 0 0 0 20 0 28 0 476111594 29526937600 57631 33554432000 4194304 4196468 140729204264368 140055464495376 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18834] ppid=18824 vsize=28834900 memory=1564 CPUtime=0.02 cores=0-7 /proc/18826/task/18834/stat : 18834 (java) S 18824 18824 15765 0 -1 1077944384 554 0 0 0 2 0 0 0 20 0 28 0 476111594 29526937600 57631 33554432000 4194304 4196468 140729204264368 140055463443088 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18835] ppid=18824 vsize=28834900 memory=928 CPUtime=0.03 cores=0-7 /proc/18826/task/18835/stat : 18835 (java) S 18824 18824 15765 0 -1 1077944384 536 0 0 0 3 0 0 0 20 0 28 0 476111594 29526937600 57631 33554432000 4194304 4196468 140729204264368 140055462390288 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18836] ppid=18824 vsize=28834900 memory=1980 CPUtime=0.02 cores=0-7 /proc/18826/task/18836/stat : 18836 (java) S 18824 18824 15765 0 -1 1077944384 2351 0 0 0 2 0 0 0 20 0 28 0 476111595 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053745486448 140055549917826 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18837] ppid=18824 vsize=28834900 memory=1560 CPUtime=0 cores=0-7 /proc/18826/task/18837/stat : 18837 (java) S 18824 18824 15765 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 476111596 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053744432480 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18838] ppid=18824 vsize=28834900 memory=2648 CPUtime=0 cores=0-7 /proc/18826/task/18838/stat : 18838 (java) S 18824 18824 15765 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 28 0 476111596 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053743380096 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18839] ppid=18824 vsize=28834900 memory=880 CPUtime=0 cores=0-7 /proc/18826/task/18839/stat : 18839 (java) S 18824 18824 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476111598 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053742328400 140055549925275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18840] ppid=18824 vsize=28834900 memory=1440 CPUtime=2.72 cores=0-7 /proc/18826/task/18840/stat : 18840 (java) S 18824 18824 15765 0 -1 1077944384 13058 0 0 0 269 3 0 0 20 0 28 0 476111599 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053741275248 140055549917826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18841] ppid=18824 vsize=28834900 memory=1768 CPUtime=2.83 cores=0-7 /proc/18826/task/18841/stat : 18841 (java) S 18824 18824 15765 0 -1 1077944384 16572 0 0 0 278 5 0 0 20 0 28 0 476111599 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053740222448 140055549917826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18842] ppid=18824 vsize=28834900 memory=111636 CPUtime=2.87 cores=0-7 /proc/18826/task/18842/stat : 18842 (java) S 18824 18824 15765 0 -1 1077944384 15667 0 0 0 282 5 0 0 20 0 28 0 476111599 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053739170160 140055549917826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18843] ppid=18824 vsize=28834900 memory=808 CPUtime=0.86 cores=0-7 /proc/18826/task/18843/stat : 18843 (java) S 18824 18824 15765 0 -1 1077944384 7970 0 0 0 83 3 0 0 20 0 28 0 476111599 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053738117360 140055549917826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18844] ppid=18824 vsize=28834900 memory=1800 CPUtime=0 cores=0-7 /proc/18826/task/18844/stat : 18844 (java) S 18824 18824 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476111599 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053737065312 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18845] ppid=18824 vsize=28834900 memory=920 CPUtime=0.01 cores=0-7 /proc/18826/task/18845/stat : 18845 (java) S 18824 18824 15765 0 -1 1077944384 726 0 0 0 0 1 0 0 20 0 28 0 476111599 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053736012592 140055549917826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18936] ppid=18824 vsize=28834900 memory=1448 CPUtime=63.29 cores=0-7 /proc/18826/task/18936/stat : 18936 (java) R 18824 18824 15765 0 -1 4202560 2114 0 0 0 6329 0 0 0 20 0 28 0 476113162 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053726792712 140055149879990 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18937] ppid=18824 vsize=28834900 memory=29212 CPUtime=63.15 cores=0-7 /proc/18826/task/18937/stat : 18937 (java) R 18824 18824 15765 0 -1 4202560 543 0 0 0 6315 0 0 0 20 0 28 0 476113162 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053723644408 140055149946518 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18938] ppid=18824 vsize=28834900 memory=12028 CPUtime=63.3 cores=0-7 /proc/18826/task/18938/stat : 18938 (java) R 18824 18824 15765 0 -1 4202560 595 0 0 0 6330 0 0 0 20 0 28 0 476113162 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053721538424 140055530749568 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18939] ppid=18824 vsize=28834900 memory=532 CPUtime=63.33 cores=0-7 /proc/18826/task/18939/stat : 18939 (java) R 18824 18824 15765 0 -1 4202560 1544 0 0 0 6331 2 0 0 20 0 28 0 476113162 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053720485768 140055150194428 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18940] ppid=18824 vsize=28834900 memory=1564 CPUtime=63.23 cores=0-7 /proc/18826/task/18940/stat : 18940 (java) R 18824 18824 15765 0 -1 4202560 1044 0 0 0 6323 0 0 0 20 0 28 0 476113162 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053718379864 140055143355871 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18941] ppid=18824 vsize=28834900 memory=928 CPUtime=63.46 cores=0-7 /proc/18826/task/18941/stat : 18941 (java) R 18824 18824 15765 0 -1 4202560 879 0 0 0 6346 0 0 0 20 0 28 0 476113162 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053341617216 140055150221028 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18942] ppid=18824 vsize=28834900 memory=1980 CPUtime=63.18 cores=0-7 /proc/18826/task/18942/stat : 18942 (java) R 18824 18824 15765 0 -1 4202560 445 0 0 0 6318 0 0 0 20 0 28 0 476113162 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053719433592 140055150192689 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18943] ppid=18824 vsize=28834900 memory=1560 CPUtime=63.34 cores=0-7 /proc/18826/task/18943/stat : 18943 (java) R 18824 18824 15765 0 -1 4202560 972 0 0 0 6334 0 0 0 20 0 28 0 476113162 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053717330512 140055150058963 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 Current children cumulated CPU time: 628.13 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 231972 KiB [startup+79.502 s] /proc/loadavg: 8.44 8.38 8.33 9/221 18946 /proc/meminfo: memFree=22072488/32770624 swapFree=67001780/67108860 [pid=18824] ppid=18821 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/18824/stat : 18824 (xcsp3-exec) S 18821 18824 15765 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476111592 115843072 362 33554432000 4194304 5098028 140725542583616 140725542581720 139802306269820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33349632 140725542589266 140725542589525 140725542589525 140725542592454 0 /proc/18824/statm: 28282 362 304 221 0 87 0 [pid=18826] ppid=18824 vsize=28834900 memory=230524 CPUtime=628.94 cores=0-7 /proc/18826/stat : 18826 (java) S 18824 18824 15765 0 -1 1077944320 90858 0 0 0 62852 42 0 0 20 0 28 0 476111593 29526937600 57631 33554432000 4194304 4196468 140729204264368 140729204246912 140055549906679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 /proc/18826/statm: 7208725 57631 3529 1 0 7169825 0 [pid=18826/tid=18827] ppid=18824 vsize=28834900 memory=232576 CPUtime=0.73 cores=0-7 /proc/18826/task/18827/stat : 18827 (java) S 18824 18824 15765 0 -1 1077944384 9132 0 0 0 69 4 0 0 20 0 28 0 476111593 29526937600 57631 33554432000 4194304 4196468 140729204264368 140055554147456 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18828] ppid=18824 vsize=28834900 memory=230524 CPUtime=0.03 cores=0-7 /proc/18826/task/18828/stat : 18828 (java) S 18824 18824 15765 0 -1 1077944384 2448 0 0 0 2 1 0 0 20 0 28 0 476111594 29526937600 57631 33554432000 4194304 4196468 140729204264368 140055469759376 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18829] ppid=18824 vsize=28834900 memory=230524 CPUtime=0.02 cores=0-7 /proc/18826/task/18829/stat : 18829 (java) S 18824 18824 15765 0 -1 1077944384 1258 0 0 0 2 0 0 0 20 0 28 0 476111594 29526937600 57631 33554432000 4194304 4196468 140729204264368 140055468706576 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18830] ppid=18824 vsize=28834900 memory=230524 CPUtime=0.02 cores=0-7 /proc/18826/task/18830/stat : 18830 (java) S 18824 18824 15765 0 -1 1077944384 1085 0 0 0 2 0 0 0 20 0 28 0 476111594 29526937600 57631 33554432000 4194304 4196468 140729204264368 140055467654288 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18831] ppid=18824 vsize=28834900 memory=1448 CPUtime=0.02 cores=0-7 /proc/18826/task/18831/stat : 18831 (java) S 18824 18824 15765 0 -1 1077944384 1141 0 0 0 2 0 0 0 20 0 28 0 476111594 29526937600 57631 33554432000 4194304 4196468 140729204264368 140055466601488 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18832] ppid=18824 vsize=28834900 memory=232576 CPUtime=0.02 cores=0-7 /proc/18826/task/18832/stat : 18832 (java) S 18824 18824 15765 0 -1 1077944384 1142 0 0 0 2 0 0 0 20 0 28 0 476111594 29526937600 57631 33554432000 4194304 4196468 140729204264368 140055465548176 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18833] ppid=18824 vsize=28834900 memory=1448 CPUtime=0.02 cores=0-7 /proc/18826/task/18833/stat : 18833 (java) S 18824 18824 15765 0 -1 1077944384 1371 0 0 0 2 0 0 0 20 0 28 0 476111594 29526937600 57631 33554432000 4194304 4196468 140729204264368 140055464495376 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18834] ppid=18824 vsize=28834900 memory=243316 CPUtime=0.02 cores=0-7 /proc/18826/task/18834/stat : 18834 (java) S 18824 18824 15765 0 -1 1077944384 554 0 0 0 2 0 0 0 20 0 28 0 476111594 29526937600 57631 33554432000 4194304 4196468 140729204264368 140055463443088 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18835] ppid=18824 vsize=28834900 memory=3612 CPUtime=0.03 cores=0-7 /proc/18826/task/18835/stat : 18835 (java) S 18824 18824 15765 0 -1 1077944384 536 0 0 0 3 0 0 0 20 0 28 0 476111594 29526937600 57631 33554432000 4194304 4196468 140729204264368 140055462390288 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18836] ppid=18824 vsize=28834900 memory=0 CPUtime=0.02 cores=0-7 /proc/18826/task/18836/stat : 18836 (java) S 18824 18824 15765 0 -1 1077944384 2353 0 0 0 2 0 0 0 20 0 28 0 476111595 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053745486448 140055549917826 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18837] ppid=18824 vsize=28834900 memory=4279362306785419296 CPUtime=0 cores=0-7 /proc/18826/task/18837/stat : 18837 (java) S 18824 18824 15765 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 476111596 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053744432480 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18838] ppid=18824 vsize=28834900 memory=1980 CPUtime=0 cores=0-7 /proc/18826/task/18838/stat : 18838 (java) S 18824 18824 15765 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 28 0 476111596 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053743380096 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18839] ppid=18824 vsize=28834900 memory=1560 CPUtime=0 cores=0-7 /proc/18826/task/18839/stat : 18839 (java) S 18824 18824 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476111598 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053742328400 140055549925275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18840] ppid=18824 vsize=28834900 memory=1448 CPUtime=2.72 cores=0-7 /proc/18826/task/18840/stat : 18840 (java) S 18824 18824 15765 0 -1 1077944384 13058 0 0 0 269 3 0 0 20 0 28 0 476111599 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053741275248 140055549917826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18841] ppid=18824 vsize=28834900 memory=1448 CPUtime=2.83 cores=0-7 /proc/18826/task/18841/stat : 18841 (java) S 18824 18824 15765 0 -1 1077944384 16572 0 0 0 278 5 0 0 20 0 28 0 476111599 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053740222448 140055549917826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18842] ppid=18824 vsize=28834900 memory=56 CPUtime=2.87 cores=0-7 /proc/18826/task/18842/stat : 18842 (java) S 18824 18824 15765 0 -1 1077944384 15667 0 0 0 282 5 0 0 20 0 28 0 476111599 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053739170160 140055549917826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18843] ppid=18824 vsize=28834900 memory=6944656592455360604 CPUtime=0.86 cores=0-7 /proc/18826/task/18843/stat : 18843 (java) S 18824 18824 15765 0 -1 1077944384 7970 0 0 0 83 3 0 0 20 0 28 0 476111599 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053738117360 140055549917826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18844] ppid=18824 vsize=28834900 memory=1448 CPUtime=0 cores=0-7 /proc/18826/task/18844/stat : 18844 (java) S 18824 18824 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476111599 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053737065312 140055549916885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18845] ppid=18824 vsize=28834900 memory=230524 CPUtime=0.01 cores=0-7 /proc/18826/task/18845/stat : 18845 (java) S 18824 18824 15765 0 -1 1077944384 726 0 0 0 0 1 0 0 20 0 28 0 476111599 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053736012592 140055549917826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18936] ppid=18824 vsize=28834900 memory=880 CPUtime=63.39 cores=0-7 /proc/18826/task/18936/stat : 18936 (java) R 18824 18824 15765 0 -1 4202560 2117 0 0 0 6339 0 0 0 20 0 28 0 476113162 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053726792712 140055149945723 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18937] ppid=18824 vsize=28834900 memory=230524 CPUtime=63.25 cores=0-7 /proc/18826/task/18937/stat : 18937 (java) R 18824 18824 15765 0 -1 4202560 543 0 0 0 6325 0 0 0 20 0 28 0 476113162 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053723644408 140055148987962 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18938] ppid=18824 vsize=28834900 memory=3612 CPUtime=63.4 cores=0-7 /proc/18826/task/18938/stat : 18938 (java) R 18824 18824 15765 0 -1 4202560 595 0 0 0 6340 0 0 0 20 0 28 0 476113162 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053721538424 140055149985732 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18939] ppid=18824 vsize=28834900 memory=53700 CPUtime=63.43 cores=0-7 /proc/18826/task/18939/stat : 18939 (java) R 18824 18824 15765 0 -1 4202560 1545 0 0 0 6341 2 0 0 20 0 28 0 476113162 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053720485768 140055149874747 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18940] ppid=18824 vsize=28834900 memory=6791534058613427641 CPUtime=63.33 cores=0-7 /proc/18826/task/18940/stat : 18940 (java) R 18824 18824 15765 0 -1 4202560 1044 0 0 0 6333 0 0 0 20 0 28 0 476113162 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053718379864 140055149873386 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18941] ppid=18824 vsize=28834900 memory=808 CPUtime=63.56 cores=0-7 /proc/18826/task/18941/stat : 18941 (java) R 18824 18824 15765 0 -1 4202560 879 0 0 0 6356 0 0 0 20 0 28 0 476113162 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053341617216 140055150193750 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18942] ppid=18824 vsize=28834900 memory=1800 CPUtime=63.28 cores=0-7 /proc/18826/task/18942/stat : 18942 (java) R 18824 18824 15765 0 -1 4202560 445 0 0 0 6328 0 0 0 20 0 28 0 476113162 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053719433592 140055150037452 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 [pid=18826/tid=18943] ppid=18824 vsize=28834900 memory=920 CPUtime=63.44 cores=0-7 /proc/18826/task/18943/stat : 18943 (java) R 18824 18824 15765 0 -1 4202560 973 0 0 0 6344 0 0 0 20 0 28 0 476113162 29526937600 57631 33554432000 4194304 4196468 140729204264368 140053717330512 140055535974672 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140729204265942 140729204266118 140729204266118 140729204269007 0 Current children cumulated CPU time: 628.94 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 231972 KiB Child status: 0 Real time (s): 79.5686 CPU time (s): 629.385 CPU user time (s): 628.948 CPU system time (s): 0.43655 CPU usage (%): 790.997 Max. virtual memory (cumulated for all children) (KiB): 28948028 Max. memory (cumulated for all children) (KiB): 246912 getrusage(RUSAGE_CHILDREN,...) data: user time used= 628.948 system time used= 0.43655 maximum resident set size= 247456 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 92724 page faults= 0 swaps= 0 block input operations= 0 block output operations= 320 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8805 involuntary context switches= 8340 # summary of solver processes directly reported to runsolver: # pid: 18824 # total CPU time (s): 629.385 # total CPU user time (s): 628.948 # total CPU system time (s): 0.43655 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.624035 second user time and 0.933543 second system time The end
Begin job on node146 at 2019-09-20 19:52:15 IDJOB=4404694 IDBENCH=129972 IDSOLVER=2865 FILE ID=node146/4404694-1569001976 RUNJOBID= node146-1568994486-15792 PBS_JOBID= 21704725 Free space on /var/tmp= 13508 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j30/Rcpsp-j30-45-01.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 /var/tmp/evaluation-result-4404694-1569001976/watcher-4404694-1569001976 -o /var/tmp/evaluation-result-4404694-1569001976/solver-4404694-1569001976 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1568994486-15792 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 501488630 HOME/instance-4404694-1569001976.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 1713c5d1d522f34d444b6ff7755d5ded RANDOM SEED=501488630 node146.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.90 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.90 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.90 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.90 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: 22287216 kB MemAvailable: 31849848 kB Buffers: 95328 kB Cached: 9508508 kB SwapCached: 3812 kB Active: 4773964 kB Inactive: 4834480 kB Active(anon): 1236 kB Inactive(anon): 50856 kB Active(file): 4772728 kB Inactive(file): 4783624 kB Unevictable: 110668 kB Mlocked: 110668 kB SwapTotal: 67108860 kB SwapFree: 67001780 kB Dirty: 26260 kB Writeback: 0 kB AnonPages: 113864 kB Mapped: 51500 kB Shmem: 38868 kB Slab: 463316 kB SReclaimable: 434740 kB SUnreclaim: 28576 kB KernelStack: 3440 kB PageTables: 6004 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 507600 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: 109952 kB DirectMap2M: 33435648 kB Free space on /var/tmp at the end= 13484 MiB End job on node146 at 2019-09-20 19:53:35