Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 65 | 109.96 | 14.4582 |
Name | Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-26-09.xml |
MD5SUM | 54f28c2036fc278050695a3bd6f2d6a5 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 65 |
Best CPU time to get the best result obtained on this benchmark | 44.8404 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 62 |
Number of constraints | 116 |
Number of domains | 2 |
Minimum domain size | 1 |
Maximum domain size | 363 |
Distribution of domain sizes | [{"size":1,"count":1},{"size":363,"count":61}] |
Minimum variable degree | 3 |
Maximum variable degree | 9 |
Distribution of variable degrees | [{"degree":3,"count":1},{"degree":4,"count":3},{"degree":5,"count":8},{"degree":6,"count":19},{"degree":7,"count":16},{"degree":8,"count":10},{"degree":9,"count":5}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 50 |
Distribution of constraint arities | [{"arity":2,"count":112},{"arity":41,"count":1},{"arity":45,"count":2},{"arity":50,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 112 |
Distribution of constraint types | [{"type":"intension","count":112},{"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-4407090-1569352274.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407090-1569352274.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 1.71/0.78 c solve instance... 2.99/0.93 o 83 2.99/0.95 o 81 2.99/1.01 o 78 3.60/1.08 o 77 3.60/1.10 o 72 4.92/1.22 o 71 4.92/1.26 o 70 5.69/1.34 o 69 7.17/1.52 o 68 8.70/1.75 o 67 10.31/2.00 o 66 15.78/2.69 o 65 109.61/14.44 s OPTIMUM FOUND 109.61/14.44 v <instantiation> 109.61/14.44 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] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] </list> 109.61/14.44 v <values>0 0 0 0 5 12 10 5 4 5 16 13 10 33 7 39 12 10 20 10 8 20 18 44 7 20 18 7 18 37 19 39 24 29 21 30 36 33 27 29 23 36 48 25 44 40 33 53 39 48 49 47 41 54 55 46 54 56 55 56 61 65 </values> 109.61/14.44 v </instantiation>
OK 65
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 (13352 MiB free) memory of node 1: 16384 MiB (11694 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407090-1569352274/watcher-4407090-1569352274 -o /var/tmp/evaluation-result-4407090-1569352274/solver-4407090-1569352274 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node119-1569349193-2435 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 772808353 HOME/instance-4407090-1569352274.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=2986, runsolver pid=2983 Current StackSize limit: 8192 KiB [startup+0.100155 s]* /proc/loadavg: 8.28 8.33 8.14 2/212 3007 /proc/meminfo: memFree=25632232/32770624 swapFree=66953496/67108860 [pid=2986] ppid=2983 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/2986/stat : 2986 (xcsp3-exec) S 2983 2986 2396 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511142165 115843072 362 33554432000 4194304 5098028 140732536963456 140732536961560 140604283880060 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26275840 140732536972114 140732536972373 140732536972373 140732536975302 0 /proc/2986/statm: 28282 362 304 221 0 87 0 [pid=2988] ppid=2986 vsize=28227396 memory=28924 CPUtime=0.12 cores=0-7 /proc/2988/stat : 2988 (java) S 2986 2986 2396 0 -1 1077944320 5704 0 0 0 11 1 0 0 20 0 20 0 511142166 28904853504 7231 33554432000 4194304 4196468 140725689312032 140725689294576 140417034927863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 /proc/2988/statm: 7056849 7231 3123 1 0 7019032 0 [pid=2988/tid=2989] ppid=2986 vsize=28227396 memory=1398722017469774279 CPUtime=0.08 cores=0-7 /proc/2988/task/2989/stat : 2989 (java) R 2986 2986 2396 0 -1 4202560 3619 0 0 0 8 0 0 0 20 0 20 0 511142166 28904853504 7231 33554432000 4194304 4196468 140725689312032 140417039162144 140417034949789 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2990] ppid=2986 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/2988/task/2990/stat : 2990 (java) S 2986 2986 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511142167 28904853504 7231 33554432000 4194304 4196468 140725689312032 140416987548304 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2991] ppid=2986 vsize=28227396 memory=139999222986368 CPUtime=0 cores=0-7 /proc/2988/task/2991/stat : 2991 (java) S 2986 2986 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511142167 28904853504 7231 33554432000 4194304 4196468 140725689312032 140416986495504 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2992] ppid=2986 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2988/task/2992/stat : 2992 (java) S 2986 2986 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511142167 28904853504 7231 33554432000 4194304 4196468 140725689312032 140416985442704 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2993] ppid=2986 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2988/task/2993/stat : 2993 (java) S 2986 2986 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511142167 28904853504 7231 33554432000 4194304 4196468 140725689312032 140416984389904 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2994] ppid=2986 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2988/task/2994/stat : 2994 (java) S 2986 2986 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511142167 28904853504 7231 33554432000 4194304 4196468 140725689312032 140416983338128 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2995] ppid=2986 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2988/task/2995/stat : 2995 (java) S 2986 2986 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511142167 28904853504 7231 33554432000 4194304 4196468 140725689312032 140416982285328 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2996] ppid=2986 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2988/task/2996/stat : 2996 (java) S 2986 2986 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511142167 28904853504 7231 33554432000 4194304 4196468 140725689312032 140416981232528 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2997] ppid=2986 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2988/task/2997/stat : 2997 (java) S 2986 2986 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511142167 28904853504 7231 33554432000 4194304 4196468 140725689312032 140416980179728 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2998] ppid=2986 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2988/task/2998/stat : 2998 (java) S 2986 2986 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511142168 28904853504 7231 33554432000 4194304 4196468 140725689312032 140415163423088 140417034939010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2999] ppid=2986 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2988/task/2999/stat : 2999 (java) S 2986 2986 2396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511142169 28904853504 7231 33554432000 4194304 4196468 140725689312032 140415162369056 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3000] ppid=2986 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2988/task/3000/stat : 3000 (java) S 2986 2986 2396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511142169 28904853504 7231 33554432000 4194304 4196468 140725689312032 140415161316208 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3001] ppid=2986 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2988/task/3001/stat : 3001 (java) S 2986 2986 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511142171 28904853504 7231 33554432000 4194304 4196468 140725689312032 140415160264528 140417034946459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3002] ppid=2986 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2988/task/3002/stat : 3002 (java) S 2986 2986 2396 0 -1 1077944384 321 0 0 0 0 0 0 0 20 0 20 0 511142171 28904853504 7231 33554432000 4194304 4196468 140725689312032 140415159212912 140417034939010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3003] ppid=2986 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2988/task/3003/stat : 3003 (java) R 2986 2986 2396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 511142171 28904853504 7231 33554432000 4194304 4196468 140725689312032 140415158160112 140417020906697 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3004] ppid=2986 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2988/task/3004/stat : 3004 (java) S 2986 2986 2396 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 511142171 28904853504 7231 33554432000 4194304 4196468 140725689312032 140415157107312 140417034939010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3005] ppid=2986 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/2988/task/3005/stat : 3005 (java) R 2986 2986 2396 0 -1 4202560 333 0 0 0 2 0 0 0 20 0 20 0 511142171 28904853504 7231 33554432000 4194304 4196468 140725689312032 140415156054512 140417013724743 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3006] ppid=2986 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2988/task/3006/stat : 3006 (java) S 2986 2986 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511142172 28904853504 7231 33554432000 4194304 4196468 140725689312032 140415155001952 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3007] ppid=2986 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2988/task/3007/stat : 3007 (java) S 2986 2986 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511142172 28904853504 7231 33554432000 4194304 4196468 140725689312032 140415153949232 140417034939010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30372 KiB [startup+0.210533 s]* /proc/loadavg: 8.28 8.33 8.14 3/212 3007 /proc/meminfo: memFree=25619388/32770624 swapFree=66953496/67108860 [pid=2986] ppid=2983 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/2986/stat : 2986 (xcsp3-exec) S 2983 2986 2396 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511142165 115843072 362 33554432000 4194304 5098028 140732536963456 140732536961560 140604283880060 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26275840 140732536972114 140732536972373 140732536972373 140732536975302 0 /proc/2986/statm: 28282 362 304 221 0 87 0 [pid=2988] ppid=2986 vsize=28227396 memory=40716 CPUtime=0.34 cores=0-7 /proc/2988/stat : 2988 (java) S 2986 2986 2396 0 -1 1077944320 9481 0 0 0 31 3 0 0 20 0 20 0 511142166 28904853504 10179 33554432000 4194304 4196468 140725689312032 140725689294576 140417034927863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 /proc/2988/statm: 7056849 10179 3241 1 0 7019032 0 [pid=2988/tid=2989] ppid=2986 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/2988/task/2989/stat : 2989 (java) R 2986 2986 2396 0 -1 4202560 6625 0 0 0 18 1 0 0 20 0 20 0 511142166 28904853504 10179 33554432000 4194304 4196468 140725689312032 140417039164912 140417019008350 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2990] ppid=2986 vsize=28227396 memory=342 CPUtime=0 cores=0-7 /proc/2988/task/2990/stat : 2990 (java) S 2986 2986 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511142167 28904853504 10179 33554432000 4194304 4196468 140725689312032 140416987548304 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2991] ppid=2986 vsize=28227396 memory=139999226235739 CPUtime=0 cores=0-7 /proc/2988/task/2991/stat : 2991 (java) S 2986 2986 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511142167 28904853504 10179 33554432000 4194304 4196468 140725689312032 140416986495504 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2992] ppid=2986 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2988/task/2992/stat : 2992 (java) S 2986 2986 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511142167 28904853504 10179 33554432000 4194304 4196468 140725689312032 140416985442704 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2993] ppid=2986 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2988/task/2993/stat : 2993 (java) S 2986 2986 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511142167 28904853504 10179 33554432000 4194304 4196468 140725689312032 140416984389904 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2994] ppid=2986 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2988/task/2994/stat : 2994 (java) S 2986 2986 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511142167 28904853504 10179 33554432000 4194304 4196468 140725689312032 140416983338128 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2995] ppid=2986 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2988/task/2995/stat : 2995 (java) S 2986 2986 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511142167 28904853504 10179 33554432000 4194304 4196468 140725689312032 140416982285328 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2996] ppid=2986 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2988/task/2996/stat : 2996 (java) S 2986 2986 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511142167 28904853504 10179 33554432000 4194304 4196468 140725689312032 140416981232528 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2997] ppid=2986 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2988/task/2997/stat : 2997 (java) S 2986 2986 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511142167 28904853504 10179 33554432000 4194304 4196468 140725689312032 140416980179728 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2998] ppid=2986 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2988/task/2998/stat : 2998 (java) S 2986 2986 2396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511142168 28904853504 10179 33554432000 4194304 4196468 140725689312032 140415163423088 140417034939010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2999] ppid=2986 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2988/task/2999/stat : 2999 (java) S 2986 2986 2396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511142169 28904853504 10179 33554432000 4194304 4196468 140725689312032 140415162369056 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3000] ppid=2986 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2988/task/3000/stat : 3000 (java) S 2986 2986 2396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511142169 28904853504 10179 33554432000 4194304 4196468 140725689312032 140415161316208 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3001] ppid=2986 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2988/task/3001/stat : 3001 (java) S 2986 2986 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511142171 28904853504 10179 33554432000 4194304 4196468 140725689312032 140415160264528 140417034946459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3002] ppid=2986 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/2988/task/3002/stat : 3002 (java) S 2986 2986 2396 0 -1 1077944384 578 0 0 0 2 0 0 0 20 0 20 0 511142171 28904853504 10179 33554432000 4194304 4196468 140725689312032 140415159212912 140417034939010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3003] ppid=2986 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2988/task/3003/stat : 3003 (java) S 2986 2986 2396 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 20 0 511142171 28904853504 10179 33554432000 4194304 4196468 140725689312032 140415158160112 140417034939010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3004] ppid=2986 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/2988/task/3004/stat : 3004 (java) S 2986 2986 2396 0 -1 1077944384 154 0 0 0 1 0 0 0 20 0 20 0 511142171 28904853504 10179 33554432000 4194304 4196468 140725689312032 140415157107312 140417034939010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3005] ppid=2986 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/2988/task/3005/stat : 3005 (java) S 2986 2986 2396 0 -1 1077944384 754 0 0 0 8 0 0 0 20 0 20 0 511142171 28904853504 10179 33554432000 4194304 4196468 140725689312032 140415156054512 140417034939010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3006] ppid=2986 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2988/task/3006/stat : 3006 (java) S 2986 2986 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511142172 28904853504 10179 33554432000 4194304 4196468 140725689312032 140415155001952 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3007] ppid=2986 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2988/task/3007/stat : 3007 (java) S 2986 2986 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511142172 28904853504 10179 33554432000 4194304 4196468 140725689312032 140415153949232 140417034939010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42164 KiB [startup+0.310365 s]* /proc/loadavg: 8.28 8.33 8.14 3/212 3007 /proc/meminfo: memFree=25612228/32770624 swapFree=66953496/67108860 [pid=2986] ppid=2983 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/2986/stat : 2986 (xcsp3-exec) S 2983 2986 2396 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511142165 115843072 362 33554432000 4194304 5098028 140732536963456 140732536961560 140604283880060 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26275840 140732536972114 140732536972373 140732536972373 140732536975302 0 /proc/2986/statm: 28282 362 304 221 0 87 0 [pid=2988] ppid=2986 vsize=28231652 memory=50000 CPUtime=0.52 cores=0-7 /proc/2988/stat : 2988 (java) S 2986 2986 2396 0 -1 1077944320 10864 0 0 0 49 3 0 0 20 0 20 0 511142166 28909211648 12500 33554432000 4194304 4196468 140725689312032 140725689294576 140417034927863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 /proc/2988/statm: 7057913 12500 3365 1 0 7019032 0 [pid=2988/tid=2989] ppid=2986 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/2988/task/2989/stat : 2989 (java) R 2986 2986 2396 0 -1 4202560 7826 0 0 0 27 2 0 0 20 0 20 0 511142166 28909211648 12569 33554432000 4194304 4196468 140725689312032 140417039154920 140417019008350 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2990] ppid=2986 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2988/task/2990/stat : 2990 (java) S 2986 2986 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511142167 28909211648 12569 33554432000 4194304 4196468 140725689312032 140416987548304 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2991] ppid=2986 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2988/task/2991/stat : 2991 (java) S 2986 2986 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511142167 28909211648 12569 33554432000 4194304 4196468 140725689312032 140416986495504 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2992] ppid=2986 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2988/task/2992/stat : 2992 (java) S 2986 2986 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511142167 28909211648 12569 33554432000 4194304 4196468 140725689312032 140416985442704 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2993] ppid=2986 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2988/task/2993/stat : 2993 (java) S 2986 2986 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511142167 28909211648 12569 33554432000 4194304 4196468 140725689312032 140416984389904 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2994] ppid=2986 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2988/task/2994/stat : 2994 (java) S 2986 2986 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511142167 28909211648 12569 33554432000 4194304 4196468 140725689312032 140416983338128 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2995] ppid=2986 vsize=28231652 memory=139999089617583 CPUtime=0 cores=0-7 /proc/2988/task/2995/stat : 2995 (java) S 2986 2986 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511142167 28909211648 12569 33554432000 4194304 4196468 140725689312032 140416982285328 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2996] ppid=2986 vsize=28231652 memory=139999089619888 CPUtime=0 cores=0-7 /proc/2988/task/2996/stat : 2996 (java) S 2986 2986 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511142167 28909211648 12569 33554432000 4194304 4196468 140725689312032 140416981232528 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2997] ppid=2986 vsize=28231652 memory=139999089622192 CPUtime=0 cores=0-7 /proc/2988/task/2997/stat : 2997 (java) S 2986 2986 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511142167 28909211648 12569 33554432000 4194304 4196468 140725689312032 140416980179728 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2998] ppid=2986 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2988/task/2998/stat : 2998 (java) S 2986 2986 2396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511142168 28909211648 12569 33554432000 4194304 4196468 140725689312032 140415163423088 140417034939010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2999] ppid=2986 vsize=28231652 memory=279998179258256 CPUtime=0 cores=0-7 /proc/2988/task/2999/stat : 2999 (java) S 2986 2986 2396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511142169 28909211648 12569 33554432000 4194304 4196468 140725689312032 140415162369056 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3000] ppid=2986 vsize=28231652 memory=279998179255952 CPUtime=0 cores=0-7 /proc/2988/task/3000/stat : 3000 (java) S 2986 2986 2396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511142169 28909211648 12569 33554432000 4194304 4196468 140725689312032 140415161316208 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3001] ppid=2986 vsize=28231652 memory=279998179262864 CPUtime=0 cores=0-7 /proc/2988/task/3001/stat : 3001 (java) S 2986 2986 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511142171 28909211648 12569 33554432000 4194304 4196468 140725689312032 140415160264528 140417034946459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3002] ppid=2986 vsize=28231652 memory=279998179204144 CPUtime=0.03 cores=0-7 /proc/2988/task/3002/stat : 3002 (java) S 2986 2986 2396 0 -1 1077944384 599 0 0 0 3 0 0 0 20 0 20 0 511142171 28909211648 12569 33554432000 4194304 4196468 140725689312032 140415159212912 140417034939010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3003] ppid=2986 vsize=28231652 memory=279998179276688 CPUtime=0.03 cores=0-7 /proc/2988/task/3003/stat : 3003 (java) R 2986 2986 2396 0 -1 4202560 177 0 0 0 3 0 0 0 20 0 20 0 511142171 28909211648 12569 33554432000 4194304 4196468 140725689312032 140415158150496 140417014760061 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3004] ppid=2986 vsize=28231652 memory=279998179283600 CPUtime=0.01 cores=0-7 /proc/2988/task/3004/stat : 3004 (java) S 2986 2986 2396 0 -1 1077944384 154 0 0 0 1 0 0 0 20 0 20 0 511142171 28909211648 12569 33554432000 4194304 4196468 140725689312032 140415157107312 140417034939010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3005] ppid=2986 vsize=28231652 memory=279998179281296 CPUtime=0.13 cores=0-7 /proc/2988/task/3005/stat : 3005 (java) S 2986 2986 2396 0 -1 1077944384 823 0 0 0 13 0 0 0 20 0 20 0 511142171 28909211648 12569 33554432000 4194304 4196468 140725689312032 140415156054512 140417034939010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3006] ppid=2986 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2988/task/3006/stat : 3006 (java) S 2986 2986 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511142172 28909211648 12569 33554432000 4194304 4196468 140725689312032 140415155001952 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3007] ppid=2986 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/2988/task/3007/stat : 3007 (java) S 2986 2986 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511142172 28909211648 12569 33554432000 4194304 4196468 140725689312032 140415153949232 140417034939010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51448 KiB [startup+0.700913 s] /proc/loadavg: 7.85 8.25 8.11 5/212 3007 /proc/meminfo: memFree=25594176/32770624 swapFree=66953496/67108860 [pid=2986] ppid=2983 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/2986/stat : 2986 (xcsp3-exec) S 2983 2986 2396 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511142165 115843072 362 33554432000 4194304 5098028 140732536963456 140732536961560 140604283880060 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26275840 140732536972114 140732536972373 140732536972373 140732536975302 0 /proc/2986/statm: 28282 362 304 221 0 87 0 [pid=2988] ppid=2986 vsize=28233776 memory=90732 CPUtime=1.71 cores=0-7 /proc/2988/stat : 2988 (java) S 2986 2986 2396 0 -1 1077944320 15382 0 0 0 165 6 0 0 20 0 20 0 511142166 28911386624 22683 33554432000 4194304 4196468 140725689312032 140725689294576 140417034927863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 /proc/2988/statm: 7058444 22683 3454 1 0 7019544 0 [pid=2988/tid=2989] ppid=2986 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/2988/task/2989/stat : 2989 (java) R 2986 2986 2396 0 -1 4202560 9362 0 0 0 64 3 0 0 20 0 20 0 511142166 28911386624 22683 33554432000 4194304 4196468 140725689312032 140417039166320 140417034939798 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2990] ppid=2986 vsize=28233776 memory=139999089828720 CPUtime=0 cores=0-7 /proc/2988/task/2990/stat : 2990 (java) S 2986 2986 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511142167 28911386624 22683 33554432000 4194304 4196468 140725689312032 140416987548304 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2991] ppid=2986 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/2988/task/2991/stat : 2991 (java) S 2986 2986 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511142167 28911386624 22683 33554432000 4194304 4196468 140725689312032 140416986495504 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2992] ppid=2986 vsize=28233776 memory=1276 CPUtime=0 cores=0-7 /proc/2988/task/2992/stat : 2992 (java) S 2986 2986 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511142167 28911386624 22683 33554432000 4194304 4196468 140725689312032 140416985442704 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 ################ # More data... # ################ [pid=2988/tid=3005] ppid=2986 vsize=28769364 memory=5792020973137139109 CPUtime=0.91 cores=0-7 /proc/2988/task/3005/stat : 3005 (java) S 2986 2986 2396 0 -1 1077944384 7659 0 0 0 89 2 0 0 20 0 28 0 511142171 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415156054512 140417034939010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3006] ppid=2986 vsize=28769364 memory=6944656592455350634 CPUtime=0 cores=0-7 /proc/2988/task/3006/stat : 3006 (java) S 2986 2986 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511142172 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415155001952 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3007] ppid=2986 vsize=28769364 memory=-7025448733113094249 CPUtime=0 cores=0-7 /proc/2988/task/3007/stat : 3007 (java) S 2986 2986 2396 0 -1 1077944384 1035 0 0 0 0 0 0 0 20 0 28 0 511142172 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415153949232 140417034939010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3105] ppid=2986 vsize=28769364 memory=-7595718148000617580 CPUtime=10.13 cores=0-7 /proc/2988/task/3105/stat : 3105 (java) R 2986 2986 2396 0 -1 4202560 239 0 0 0 1013 0 0 0 20 0 28 0 511142435 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415135263520 140416663159623 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3106] ppid=2986 vsize=28769364 memory=0 CPUtime=10.48 cores=0-7 /proc/2988/task/3106/stat : 3106 (java) R 2986 2986 2396 0 -1 4202560 200 0 0 0 1048 0 0 0 20 0 28 0 511142435 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415138422440 140416664310329 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3107] ppid=2986 vsize=28769364 memory=0 CPUtime=10.54 cores=0-7 /proc/2988/task/3107/stat : 3107 (java) R 2986 2986 2396 0 -1 4202560 472 0 0 0 1054 0 0 0 20 0 28 0 511142435 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415134212056 140416668156521 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3108] ppid=2986 vsize=28769364 memory=8112282956445269571 CPUtime=10.35 cores=0-7 /proc/2988/task/3108/stat : 3108 (java) R 2986 2986 2396 0 -1 4202560 493 0 0 0 1034 1 0 0 20 0 28 0 511142435 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415139476264 140416663662708 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3109] ppid=2986 vsize=28769364 memory=0 CPUtime=10.2 cores=0-7 /proc/2988/task/3109/stat : 3109 (java) R 2986 2986 2396 0 -1 4202560 319 0 0 0 1020 0 0 0 20 0 28 0 511142435 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415142633056 140416664873055 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3110] ppid=2986 vsize=28769364 memory=0 CPUtime=10.25 cores=0-7 /proc/2988/task/3110/stat : 3110 (java) R 2986 2986 2396 0 -1 4202560 188 0 0 0 1025 0 0 0 20 0 28 0 511142435 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415140527656 140416658700930 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3111] ppid=2986 vsize=28769364 memory=0 CPUtime=10.46 cores=0-7 /proc/2988/task/3111/stat : 3111 (java) R 2986 2986 2396 0 -1 4202560 300 0 0 0 1044 2 0 0 20 0 28 0 511142435 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415141581592 140416665435703 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3112] ppid=2986 vsize=28769364 memory=0 CPUtime=10.42 cores=0-7 /proc/2988/task/3112/stat : 3112 (java) R 2986 2986 2396 0 -1 4202560 216 0 0 0 1042 0 0 0 20 0 28 0 511142435 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415137369808 140416666334631 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 Current children cumulated CPU time: 103.23 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 261512 KiB [startup+14.0016 s]* /proc/loadavg: 8.04 8.27 8.12 9/220 3112 /proc/meminfo: memFree=25398372/32770624 swapFree=66953496/67108860 [pid=2986] ppid=2983 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/2986/stat : 2986 (xcsp3-exec) S 2983 2986 2396 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511142165 115843072 362 33554432000 4194304 5098028 140732536963456 140732536961560 140604283880060 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26275840 140732536972114 140732536972373 140732536972373 140732536975302 0 /proc/2986/statm: 28282 362 304 221 0 87 0 [pid=2988] ppid=2986 vsize=28769364 memory=260064 CPUtime=106.48 cores=0-7 /proc/2988/stat : 2988 (java) S 2986 2986 2396 0 -1 1077944320 63232 0 0 0 10616 32 0 0 20 0 28 0 511142166 29459828736 65016 33554432000 4194304 4196468 140725689312032 140725689294576 140417034927863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 /proc/2988/statm: 7192341 65016 3525 1 0 7153441 0 [pid=2988/tid=2989] ppid=2986 vsize=28769364 memory=1398722017469774279 CPUtime=0.77 cores=0-7 /proc/2988/task/2989/stat : 2989 (java) S 2986 2986 2396 0 -1 1077944384 9470 0 0 0 73 4 0 0 20 0 28 0 511142166 29459828736 65016 33554432000 4194304 4196468 140725689312032 140417039168640 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2990] ppid=2986 vsize=28769364 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/2988/task/2990/stat : 2990 (java) S 2986 2986 2396 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 511142167 29459828736 65016 33554432000 4194304 4196468 140725689312032 140416987548304 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2991] ppid=2986 vsize=28769364 memory=210 CPUtime=0 cores=0-7 /proc/2988/task/2991/stat : 2991 (java) S 2986 2986 2396 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 28 0 511142167 29459828736 65016 33554432000 4194304 4196468 140725689312032 140416986495504 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2992] ppid=2986 vsize=28769364 memory=209 CPUtime=0 cores=0-7 /proc/2988/task/2992/stat : 2992 (java) S 2986 2986 2396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 511142167 29459828736 65016 33554432000 4194304 4196468 140725689312032 140416985442704 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2993] ppid=2986 vsize=28769364 memory=202 CPUtime=0 cores=0-7 /proc/2988/task/2993/stat : 2993 (java) S 2986 2986 2396 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 511142167 29459828736 65016 33554432000 4194304 4196468 140725689312032 140416984389904 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2994] ppid=2986 vsize=28769364 memory=84 CPUtime=0 cores=0-7 /proc/2988/task/2994/stat : 2994 (java) S 2986 2986 2396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 511142167 29459828736 65016 33554432000 4194304 4196468 140725689312032 140416983338128 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2995] ppid=2986 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/2988/task/2995/stat : 2995 (java) S 2986 2986 2396 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 511142167 29459828736 65016 33554432000 4194304 4196468 140725689312032 140416982285328 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2996] ppid=2986 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/2988/task/2996/stat : 2996 (java) S 2986 2986 2396 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 28 0 511142167 29459828736 65016 33554432000 4194304 4196468 140725689312032 140416981232528 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2997] ppid=2986 vsize=28769364 memory=139999090015442 CPUtime=0 cores=0-7 /proc/2988/task/2997/stat : 2997 (java) S 2986 2986 2396 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 28 0 511142167 29459828736 65016 33554432000 4194304 4196468 140725689312032 140416980179728 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2998] ppid=2986 vsize=28769364 memory=279998179740288 CPUtime=0.02 cores=0-7 /proc/2988/task/2998/stat : 2998 (java) S 2986 2986 2396 0 -1 1077944384 390 0 0 0 1 1 0 0 20 0 28 0 511142168 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415163423088 140417034939010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2999] ppid=2986 vsize=28769364 memory=-7812193691855986592 CPUtime=0 cores=0-7 /proc/2988/task/2999/stat : 2999 (java) S 2986 2986 2396 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 511142169 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415162369120 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3000] ppid=2986 vsize=28769364 memory=-7088785026379990432 CPUtime=0 cores=0-7 /proc/2988/task/3000/stat : 3000 (java) S 2986 2986 2396 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 511142169 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415161316208 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3001] ppid=2986 vsize=28769364 memory=-6873162000112450758 CPUtime=0 cores=0-7 /proc/2988/task/3001/stat : 3001 (java) S 2986 2986 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511142171 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415160264528 140417034946459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3002] ppid=2986 vsize=28769364 memory=-8990767739041718176 CPUtime=2.8 cores=0-7 /proc/2988/task/3002/stat : 3002 (java) S 2986 2986 2396 0 -1 1077944384 10411 0 0 0 277 3 0 0 20 0 28 0 511142171 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415159212912 140417034939010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3003] ppid=2986 vsize=28769364 memory=6944656425122700657 CPUtime=2.91 cores=0-7 /proc/2988/task/3003/stat : 3003 (java) S 2986 2986 2396 0 -1 1077944384 14469 0 0 0 286 5 0 0 20 0 28 0 511142171 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415158160112 140417034939010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3004] ppid=2986 vsize=28769364 memory=6944656592455360608 CPUtime=2.99 cores=0-7 /proc/2988/task/3004/stat : 3004 (java) S 2986 2986 2396 0 -1 1077944384 12882 0 0 0 297 2 0 0 20 0 28 0 511142171 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415157107312 140417034939010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3005] ppid=2986 vsize=28769364 memory=-7812193691855986592 CPUtime=0.91 cores=0-7 /proc/2988/task/3005/stat : 3005 (java) S 2986 2986 2396 0 -1 1077944384 7659 0 0 0 89 2 0 0 20 0 28 0 511142171 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415156054512 140417034939010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3006] ppid=2986 vsize=28769364 memory=4206468019014099040 CPUtime=0 cores=0-7 /proc/2988/task/3006/stat : 3006 (java) S 2986 2986 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511142172 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415155001952 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3007] ppid=2986 vsize=28769364 memory=-7812736537705029536 CPUtime=0 cores=0-7 /proc/2988/task/3007/stat : 3007 (java) S 2986 2986 2396 0 -1 1077944384 1037 0 0 0 0 0 0 0 20 0 28 0 511142172 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415153949232 140417034939010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3105] ppid=2986 vsize=28769364 memory=-7088785026379990432 CPUtime=10.54 cores=0-7 /proc/2988/task/3105/stat : 3105 (java) R 2986 2986 2396 0 -1 4202560 255 0 0 0 1054 0 0 0 20 0 28 0 511142435 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415135263520 140416658700860 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3106] ppid=2986 vsize=28769364 memory=7597126613786583889 CPUtime=10.89 cores=0-7 /proc/2988/task/3106/stat : 3106 (java) R 2986 2986 2396 0 -1 4202560 215 0 0 0 1089 0 0 0 20 0 28 0 511142435 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415138422440 140416668157676 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3107] ppid=2986 vsize=28769364 memory=6442496626652714926 CPUtime=10.95 cores=0-7 /proc/2988/task/3107/stat : 3107 (java) R 2986 2986 2396 0 -1 4202560 560 0 0 0 1095 0 0 0 20 0 28 0 511142435 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415134212056 140416664309238 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3108] ppid=2986 vsize=28769364 memory=29970970903 CPUtime=10.76 cores=0-7 /proc/2988/task/3108/stat : 3108 (java) R 2986 2986 2396 0 -1 4202560 548 0 0 0 1075 1 0 0 20 0 28 0 511142435 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415139476264 140416665410794 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3109] ppid=2986 vsize=28769364 memory=279998180818592 CPUtime=10.59 cores=0-7 /proc/2988/task/3109/stat : 3109 (java) R 2986 2986 2396 0 -1 4202560 363 0 0 0 1059 0 0 0 20 0 28 0 511142435 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415142633056 140416661404753 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3110] ppid=2986 vsize=28769364 memory=15006951279338 CPUtime=10.66 cores=0-7 /proc/2988/task/3110/stat : 3110 (java) R 2986 2986 2396 0 -1 4202560 210 0 0 0 1066 0 0 0 20 0 28 0 511142435 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415140527656 140416665328927 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3111] ppid=2986 vsize=28769364 memory=15006951279338 CPUtime=10.87 cores=0-7 /proc/2988/task/3111/stat : 3111 (java) R 2986 2986 2396 0 -1 4202560 316 0 0 0 1085 2 0 0 20 0 28 0 511142435 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415141581592 140416666335269 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3112] ppid=2986 vsize=28769364 memory=15006951279338 CPUtime=10.83 cores=0-7 /proc/2988/task/3112/stat : 3112 (java) R 2986 2986 2396 0 -1 4202560 279 0 0 0 1083 0 0 0 20 0 28 0 511142435 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415137369808 140416666335410 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 Current children cumulated CPU time: 106.48 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 261512 KiB [startup+14.4016 s] /proc/loadavg: 8.04 8.27 8.12 9/220 3112 /proc/meminfo: memFree=25398372/32770624 swapFree=66953496/67108860 [pid=2986] ppid=2983 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/2986/stat : 2986 (xcsp3-exec) S 2983 2986 2396 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511142165 115843072 362 33554432000 4194304 5098028 140732536963456 140732536961560 140604283880060 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26275840 140732536972114 140732536972373 140732536972373 140732536975302 0 /proc/2986/statm: 28282 362 304 221 0 87 0 [pid=2988] ppid=2986 vsize=28769364 memory=260064 CPUtime=109.61 cores=0-7 /proc/2988/stat : 2988 (java) S 2986 2986 2396 0 -1 1077944320 64453 0 0 0 10929 32 0 0 20 0 28 0 511142166 29459828736 65016 33554432000 4194304 4196468 140725689312032 140725689294576 140417034927863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 /proc/2988/statm: 7192341 65016 3525 1 0 7153441 0 [pid=2988/tid=2989] ppid=2986 vsize=28769364 memory=1448 CPUtime=0.77 cores=0-7 /proc/2988/task/2989/stat : 2989 (java) S 2986 2986 2396 0 -1 1077944384 9470 0 0 0 73 4 0 0 20 0 28 0 511142166 29459828736 65016 33554432000 4194304 4196468 140725689312032 140417039168640 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2990] ppid=2986 vsize=28769364 memory=260064 CPUtime=0 cores=0-7 /proc/2988/task/2990/stat : 2990 (java) S 2986 2986 2396 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 511142167 29459828736 65016 33554432000 4194304 4196468 140725689312032 140416987548304 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2991] ppid=2986 vsize=28769364 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/2988/task/2991/stat : 2991 (java) S 2986 2986 2396 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 28 0 511142167 29459828736 65016 33554432000 4194304 4196468 140725689312032 140416986495504 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2992] ppid=2986 vsize=28769364 memory=2652 CPUtime=0 cores=0-7 /proc/2988/task/2992/stat : 2992 (java) S 2986 2986 2396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 511142167 29459828736 65016 33554432000 4194304 4196468 140725689312032 140416985442704 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2993] ppid=2986 vsize=28769364 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/2988/task/2993/stat : 2993 (java) S 2986 2986 2396 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 511142167 29459828736 65016 33554432000 4194304 4196468 140725689312032 140416984389904 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2994] ppid=2986 vsize=28769364 memory=279998180221264 CPUtime=0 cores=0-7 /proc/2988/task/2994/stat : 2994 (java) S 2986 2986 2396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 511142167 29459828736 65016 33554432000 4194304 4196468 140725689312032 140416983338128 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2995] ppid=2986 vsize=28769364 memory=3184237919166037328 CPUtime=0 cores=0-7 /proc/2988/task/2995/stat : 2995 (java) S 2986 2986 2396 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 511142167 29459828736 65016 33554432000 4194304 4196468 140725689312032 140416982285328 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2996] ppid=2986 vsize=28769364 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/2988/task/2996/stat : 2996 (java) S 2986 2986 2396 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 28 0 511142167 29459828736 65016 33554432000 4194304 4196468 140725689312032 140416981232528 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2997] ppid=2986 vsize=28769364 memory=9580 CPUtime=0 cores=0-7 /proc/2988/task/2997/stat : 2997 (java) S 2986 2986 2396 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 28 0 511142167 29459828736 65016 33554432000 4194304 4196468 140725689312032 140416980179728 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2998] ppid=2986 vsize=28769364 memory=1052 CPUtime=0.02 cores=0-7 /proc/2988/task/2998/stat : 2998 (java) S 2986 2986 2396 0 -1 1077944384 390 0 0 0 1 1 0 0 20 0 28 0 511142168 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415163423088 140417034939010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=2999] ppid=2986 vsize=28769364 memory=776 CPUtime=0 cores=0-7 /proc/2988/task/2999/stat : 2999 (java) S 2986 2986 2396 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 511142169 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415162369120 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3000] ppid=2986 vsize=28769364 memory=2832 CPUtime=0 cores=0-7 /proc/2988/task/3000/stat : 3000 (java) S 2986 2986 2396 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 511142169 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415161316208 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3001] ppid=2986 vsize=28769364 memory=668 CPUtime=0 cores=0-7 /proc/2988/task/3001/stat : 3001 (java) S 2986 2986 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511142171 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415160264528 140417034946459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3002] ppid=2986 vsize=28769364 memory=1276 CPUtime=2.8 cores=0-7 /proc/2988/task/3002/stat : 3002 (java) S 2986 2986 2396 0 -1 1077944384 10413 0 0 0 277 3 0 0 20 0 28 0 511142171 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415159212912 140417034939010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3003] ppid=2986 vsize=28769364 memory=1096 CPUtime=2.93 cores=0-7 /proc/2988/task/3003/stat : 3003 (java) S 2986 2986 2396 0 -1 1077944384 15151 0 0 0 288 5 0 0 20 0 28 0 511142171 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415158160112 140417034939010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3004] ppid=2986 vsize=28769364 memory=14008 CPUtime=2.99 cores=0-7 /proc/2988/task/3004/stat : 3004 (java) S 2986 2986 2396 0 -1 1077944384 12884 0 0 0 297 2 0 0 20 0 28 0 511142171 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415157107312 140417034939010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3005] ppid=2986 vsize=28769364 memory=35644 CPUtime=0.92 cores=0-7 /proc/2988/task/3005/stat : 3005 (java) S 2986 2986 2396 0 -1 1077944384 8110 0 0 0 90 2 0 0 20 0 28 0 511142171 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415156054512 140417034939010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3006] ppid=2986 vsize=28769364 memory=14056 CPUtime=0 cores=0-7 /proc/2988/task/3006/stat : 3006 (java) S 2986 2986 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511142172 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415155001952 140417034938069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3007] ppid=2986 vsize=28769364 memory=2116 CPUtime=0 cores=0-7 /proc/2988/task/3007/stat : 3007 (java) S 2986 2986 2396 0 -1 1077944384 1037 0 0 0 0 0 0 0 20 0 28 0 511142172 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415153949232 140417034939010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3105] ppid=2986 vsize=28769364 memory=520 CPUtime=10.93 cores=0-7 /proc/2988/task/3105/stat : 3105 (java) R 2986 2986 2396 0 -1 4202560 256 0 0 0 1093 0 0 0 20 0 28 0 511142435 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415135263656 140416664311279 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3106] ppid=2986 vsize=28769364 memory=1560 CPUtime=11.28 cores=0-7 /proc/2988/task/3106/stat : 3106 (java) R 2986 2986 2396 0 -1 4202560 215 0 0 0 1128 0 0 0 20 0 28 0 511142435 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415138422440 140416665965436 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3107] ppid=2986 vsize=28769364 memory=924 CPUtime=11.34 cores=0-7 /proc/2988/task/3107/stat : 3107 (java) R 2986 2986 2396 0 -1 4202560 561 0 0 0 1134 0 0 0 20 0 28 0 511142435 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415134212056 140416668157670 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3108] ppid=2986 vsize=28769364 memory=3688 CPUtime=11.15 cores=0-7 /proc/2988/task/3108/stat : 3108 (java) R 2986 2986 2396 0 -1 4202560 562 0 0 0 1114 1 0 0 20 0 28 0 511142435 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415139476168 140416665967477 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3109] ppid=2986 vsize=28769364 memory=1984 CPUtime=10.98 cores=0-7 /proc/2988/task/3109/stat : 3109 (java) R 2986 2986 2396 0 -1 4202560 409 0 0 0 1098 0 0 0 20 0 28 0 511142435 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415142633288 140416665640670 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3110] ppid=2986 vsize=28769364 memory=1440 CPUtime=11.04 cores=0-7 /proc/2988/task/3110/stat : 3110 (java) R 2986 2986 2396 0 -1 4202560 213 0 0 0 1104 0 0 0 20 0 28 0 511142435 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415140527656 140416665965322 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3111] ppid=2986 vsize=28769364 memory=808 CPUtime=11.26 cores=0-7 /proc/2988/task/3111/stat : 3111 (java) R 2986 2986 2396 0 -1 4202560 335 0 0 0 1124 2 0 0 20 0 28 0 511142435 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415141581592 140416665966636 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 [pid=2988/tid=3112] ppid=2986 vsize=28769364 memory=2580 CPUtime=11.22 cores=0-7 /proc/2988/task/3112/stat : 3112 (java) R 2986 2986 2396 0 -1 4202560 279 0 0 0 1122 0 0 0 20 0 28 0 511142435 29459828736 65016 33554432000 4194304 4196468 140725689312032 140415137369808 140416665055879 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18599936 140725689316310 140725689316486 140725689316486 140725689319375 0 Current children cumulated CPU time: 109.61 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 261512 KiB Child status: 0 Real time (s): 14.4582 CPU time (s): 109.96 CPU user time (s): 109.614 CPU system time (s): 0.346308 CPU usage (%): 760.537 Max. virtual memory (cumulated for all children) (KiB): 28888004 Max. memory (cumulated for all children) (KiB): 261512 getrusage(RUSAGE_CHILDREN,...) data: user time used= 109.614 system time used= 0.346308 maximum resident set size= 260064 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 65830 page faults= 0 swaps= 0 block input operations= 0 block output operations= 120 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5828 involuntary context switches= 2202 # summary of solver processes directly reported to runsolver: # pid: 2986 # total CPU time (s): 109.96 # total CPU user time (s): 109.614 # total CPU system time (s): 0.346308 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.151418 second user time and 0.188843 second system time The end
Begin job on node119 at 2019-09-24 21:10:33 IDJOB=4407090 IDBENCH=128324 IDSOLVER=2871 FILE ID=node119/4407090-1569352274 RUNJOBID= node119-1569349193-2435 PBS_JOBID= 21705086 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j60/Rcpsp-j60-26-09.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-4407090-1569352274/watcher-4407090-1569352274 -o /var/tmp/evaluation-result-4407090-1569352274/solver-4407090-1569352274 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node119-1569349193-2435 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 772808353 HOME/instance-4407090-1569352274.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 54f28c2036fc278050695a3bd6f2d6a5 RANDOM SEED=772808353 node119.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.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 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: 25647452 kB MemAvailable: 31799816 kB Buffers: 133236 kB Cached: 6118160 kB SwapCached: 46740 kB Active: 3108368 kB Inactive: 3194072 kB Active(anon): 2608 kB Inactive(anon): 105180 kB Active(file): 3105760 kB Inactive(file): 3088892 kB Unevictable: 107736 kB Mlocked: 107736 kB SwapTotal: 67108860 kB SwapFree: 66953496 kB Dirty: 25996 kB Writeback: 4 kB AnonPages: 112824 kB Mapped: 56880 kB Shmem: 48540 kB Slab: 414504 kB SReclaimable: 386172 kB SUnreclaim: 28332 kB KernelStack: 3376 kB PageTables: 5672 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514012 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: 126336 kB DirectMap2M: 33419264 kB Free space on /var/tmp at the end= 13488 MiB End job on node119 at 2019-09-24 21:10:48