Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 103 | 123.093 | 16.0898 |
Name | Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-21-01.xml |
MD5SUM | 90855c6c3ff0f3816786e6ae00e0aae6 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 103 |
Best CPU time to get the best result obtained on this benchmark | 80.7366 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 62 |
Number of constraints | 116 |
Number of domains | 2 |
Minimum domain size | 1 |
Maximum domain size | 332 |
Distribution of domain sizes | [{"size":1,"count":1},{"size":332,"count":61}] |
Minimum variable degree | 3 |
Maximum variable degree | 8 |
Distribution of variable degrees | [{"degree":3,"count":2},{"degree":4,"count":9},{"degree":5,"count":20},{"degree":6,"count":15},{"degree":7,"count":14},{"degree":8,"count":2}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 36 |
Distribution of constraint arities | [{"arity":2,"count":112},{"arity":26,"count":1},{"arity":28,"count":1},{"arity":31,"count":1},{"arity":36,"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-4404993-1569004546.xml" -tl '2016s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404993-1569004546.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 1.68/0.78 c solve instance... 2.78/0.92 o 118 2.78/0.93 o 116 2.78/0.98 o 113 4.29/1.15 o 112 5.61/1.30 o 110 16.73/2.75 o 109 23.03/3.57 o 108 23.80/3.63 o 107 27.82/4.18 o 105 30.08/4.47 o 104 70.68/9.50 o 103 122.54/16.07 s OPTIMUM FOUND 122.54/16.07 v <instantiation> 122.54/16.07 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> 122.54/16.07 v <values>0 2 0 0 3 10 8 24 24 16 32 17 24 39 8 9 31 36 49 71 39 29 38 18 42 49 43 46 44 57 31 58 74 67 48 41 69 49 65 66 57 70 57 77 66 77 89 77 81 87 83 91 94 85 95 79 74 93 99 102 76 103 </values> 122.54/16.07 v </instantiation>
OK 103
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 (13526 MiB free) memory of node 1: 16384 MiB (10528 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404993-1569004546/watcher-4404993-1569004546 -o /var/tmp/evaluation-result-4404993-1569004546/solver-4404993-1569004546 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1568994030-7876 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1183661398 HOME/instance-4404993-1569004546.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=10900, runsolver pid=10897 [startup+0.100137 s]* /proc/loadavg: 8.39 7.89 7.99 2/211 10921 /proc/meminfo: memFree=24615448/32770624 swapFree=66997224/67108860 [pid=10900] ppid=10897 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/10900/stat : 10900 (xcsp3-exec) S 10897 10900 7849 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476392932 115843072 363 33554432000 4194304 5098028 140732622360400 140732622358504 140439318733436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39849984 140732622369623 140732622369882 140732622369882 140732622372806 0 /proc/10900/statm: 28282 363 304 221 0 87 0 [pid=10902] ppid=10900 vsize=28227396 memory=30048 CPUtime=0.12 cores=0-7 /proc/10902/stat : 10902 (java) S 10900 10900 7849 0 -1 1077944320 5489 0 0 0 11 1 0 0 20 0 20 0 476392932 28904853504 7512 33554432000 4194304 4196468 140732076823856 140732076806400 140439099707127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 /proc/10902/statm: 7056849 7512 3114 1 0 7019032 0 [pid=10902/tid=10903] ppid=10900 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/10902/task/10903/stat : 10903 (java) R 10900 10900 7849 0 -1 4202560 3397 0 0 0 8 0 0 0 20 0 20 0 476392933 28904853504 7512 33554432000 4194304 4196468 140732076823856 140439103939392 140439099719062 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10904] ppid=10900 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/10902/task/10904/stat : 10904 (java) S 10900 10900 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476392933 28904853504 7512 33554432000 4194304 4196468 140732076823856 140438650608016 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10905] ppid=10900 vsize=28227396 memory=140563923666560 CPUtime=0 cores=0-7 /proc/10902/task/10905/stat : 10905 (java) S 10900 10900 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476392933 28904853504 7512 33554432000 4194304 4196468 140732076823856 140438649555216 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10906] ppid=10900 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10902/task/10906/stat : 10906 (java) S 10900 10900 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476392933 28904853504 7512 33554432000 4194304 4196468 140732076823856 140438648502928 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10907] ppid=10900 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10902/task/10907/stat : 10907 (java) S 10900 10900 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476392933 28904853504 7512 33554432000 4194304 4196468 140732076823856 140438647450128 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10908] ppid=10900 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10902/task/10908/stat : 10908 (java) S 10900 10900 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476392933 28904853504 7512 33554432000 4194304 4196468 140732076823856 140438646397840 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10909] ppid=10900 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10902/task/10909/stat : 10909 (java) S 10900 10900 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476392933 28904853504 7512 33554432000 4194304 4196468 140732076823856 140438645345040 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10910] ppid=10900 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10902/task/10910/stat : 10910 (java) S 10900 10900 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476392933 28904853504 7512 33554432000 4194304 4196468 140732076823856 140438644292752 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10911] ppid=10900 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10902/task/10911/stat : 10911 (java) S 10900 10900 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476392934 28904853504 7512 33554432000 4194304 4196468 140732076823856 140438643239952 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10912] ppid=10900 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10902/task/10912/stat : 10912 (java) S 10900 10900 7849 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 476392935 28904853504 7512 33554432000 4194304 4196468 140732076823856 140438484572272 140439099718274 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10913] ppid=10900 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10902/task/10913/stat : 10913 (java) S 10900 10900 7849 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476392935 28904853504 7512 33554432000 4194304 4196468 140732076823856 140438483518240 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10914] ppid=10900 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10902/task/10914/stat : 10914 (java) S 10900 10900 7849 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476392936 28904853504 7512 33554432000 4194304 4196468 140732076823856 140438482465904 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10915] ppid=10900 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10902/task/10915/stat : 10915 (java) S 10900 10900 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476392938 28904853504 7512 33554432000 4194304 4196468 140732076823856 140438481414224 140439099725723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10916] ppid=10900 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10902/task/10916/stat : 10916 (java) S 10900 10900 7849 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 476392938 28904853504 7512 33554432000 4194304 4196468 140732076823856 140438480362096 140439099718274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10917] ppid=10900 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10902/task/10917/stat : 10917 (java) S 10900 10900 7849 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 476392938 28904853504 7512 33554432000 4194304 4196468 140732076823856 140438479309296 140439099718274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10918] ppid=10900 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10902/task/10918/stat : 10918 (java) R 10900 10900 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476392938 28904853504 7512 33554432000 4194304 4196468 140732076823856 140438478257008 140439099718274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10919] ppid=10900 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/10902/task/10919/stat : 10919 (java) R 10900 10900 7849 0 -1 4202560 344 0 0 0 2 0 0 0 20 0 20 0 476392938 28904853504 7512 33554432000 4194304 4196468 140732076823856 140438477204208 140439079919314 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10920] ppid=10900 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10902/task/10920/stat : 10920 (java) S 10900 10900 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476392938 28904853504 7512 33554432000 4194304 4196468 140732076823856 140438476151136 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10921] ppid=10900 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10902/task/10921/stat : 10921 (java) S 10900 10900 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476392939 28904853504 7512 33554432000 4194304 4196468 140732076823856 140438475098416 140439099718274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31500 KiB [startup+0.210512 s]* /proc/loadavg: 8.39 7.89 7.99 3/211 10921 /proc/meminfo: memFree=24602884/32770624 swapFree=66997224/67108860 [pid=10900] ppid=10897 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/10900/stat : 10900 (xcsp3-exec) S 10897 10900 7849 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476392932 115843072 363 33554432000 4194304 5098028 140732622360400 140732622358504 140439318733436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39849984 140732622369623 140732622369882 140732622369882 140732622372806 0 /proc/10900/statm: 28282 363 304 221 0 87 0 [pid=10902] ppid=10900 vsize=28227396 memory=41432 CPUtime=0.33 cores=0-7 /proc/10902/stat : 10902 (java) S 10900 10900 7849 0 -1 1077944320 9042 0 0 0 31 2 0 0 20 0 20 0 476392932 28904853504 10358 33554432000 4194304 4196468 140732076823856 140732076806400 140439099707127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 /proc/10902/statm: 7056849 10358 3304 1 0 7019032 0 [pid=10902/tid=10903] ppid=10900 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/10902/task/10903/stat : 10903 (java) R 10900 10900 7849 0 -1 4202560 6208 0 0 0 18 2 0 0 20 0 20 0 476392933 28904853504 10358 33554432000 4194304 4196468 140732076823856 140439103940864 140439099719062 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10904] ppid=10900 vsize=28227396 memory=339 CPUtime=0 cores=0-7 /proc/10902/task/10904/stat : 10904 (java) S 10900 10900 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476392933 28904853504 10358 33554432000 4194304 4196468 140732076823856 140438650608016 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10905] ppid=10900 vsize=28227396 memory=140563923676427 CPUtime=0 cores=0-7 /proc/10902/task/10905/stat : 10905 (java) S 10900 10900 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476392933 28904853504 10358 33554432000 4194304 4196468 140732076823856 140438649555216 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10906] ppid=10900 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10902/task/10906/stat : 10906 (java) S 10900 10900 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476392933 28904853504 10358 33554432000 4194304 4196468 140732076823856 140438648502928 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10907] ppid=10900 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10902/task/10907/stat : 10907 (java) S 10900 10900 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476392933 28904853504 10358 33554432000 4194304 4196468 140732076823856 140438647450128 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10908] ppid=10900 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10902/task/10908/stat : 10908 (java) S 10900 10900 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476392933 28904853504 10358 33554432000 4194304 4196468 140732076823856 140438646397840 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10909] ppid=10900 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10902/task/10909/stat : 10909 (java) S 10900 10900 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476392933 28904853504 10358 33554432000 4194304 4196468 140732076823856 140438645345040 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10910] ppid=10900 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10902/task/10910/stat : 10910 (java) S 10900 10900 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476392933 28904853504 10358 33554432000 4194304 4196468 140732076823856 140438644292752 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10911] ppid=10900 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10902/task/10911/stat : 10911 (java) S 10900 10900 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476392934 28904853504 10358 33554432000 4194304 4196468 140732076823856 140438643239952 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10912] ppid=10900 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10902/task/10912/stat : 10912 (java) S 10900 10900 7849 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 476392935 28904853504 10358 33554432000 4194304 4196468 140732076823856 140438484572272 140439099718274 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10913] ppid=10900 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10902/task/10913/stat : 10913 (java) S 10900 10900 7849 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476392935 28904853504 10358 33554432000 4194304 4196468 140732076823856 140438483518240 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10914] ppid=10900 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10902/task/10914/stat : 10914 (java) S 10900 10900 7849 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476392936 28904853504 10358 33554432000 4194304 4196468 140732076823856 140438482465904 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10915] ppid=10900 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10902/task/10915/stat : 10915 (java) S 10900 10900 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476392938 28904853504 10358 33554432000 4194304 4196468 140732076823856 140438481414224 140439099725723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10916] ppid=10900 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/10902/task/10916/stat : 10916 (java) S 10900 10900 7849 0 -1 1077944384 603 0 0 0 1 0 0 0 20 0 20 0 476392938 28904853504 10358 33554432000 4194304 4196468 140732076823856 140438480362096 140439099718274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10917] ppid=10900 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/10902/task/10917/stat : 10917 (java) S 10900 10900 7849 0 -1 1077944384 171 0 0 0 2 0 0 0 20 0 20 0 476392938 28904853504 10358 33554432000 4194304 4196468 140732076823856 140438479309296 140439099718274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10918] ppid=10900 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10902/task/10918/stat : 10918 (java) S 10900 10900 7849 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 476392938 28904853504 10358 33554432000 4194304 4196468 140732076823856 140438478257008 140439099718274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10919] ppid=10900 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/10902/task/10919/stat : 10919 (java) R 10900 10900 7849 0 -1 4202560 730 0 0 0 8 0 0 0 20 0 20 0 476392938 28904853504 10358 33554432000 4194304 4196468 140732076823856 140438477204016 140438736470137 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10920] ppid=10900 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10902/task/10920/stat : 10920 (java) S 10900 10900 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476392938 28904853504 10358 33554432000 4194304 4196468 140732076823856 140438476151136 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10921] ppid=10900 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10902/task/10921/stat : 10921 (java) S 10900 10900 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476392939 28904853504 10358 33554432000 4194304 4196468 140732076823856 140438475098416 140439099718274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42884 KiB [startup+0.310132 s]* /proc/loadavg: 8.39 7.89 7.99 3/211 10921 /proc/meminfo: memFree=24596232/32770624 swapFree=66997224/67108860 [pid=10900] ppid=10897 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/10900/stat : 10900 (xcsp3-exec) S 10897 10900 7849 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476392932 115843072 363 33554432000 4194304 5098028 140732622360400 140732622358504 140439318733436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39849984 140732622369623 140732622369882 140732622369882 140732622372806 0 /proc/10900/statm: 28282 363 304 221 0 87 0 [pid=10902] ppid=10900 vsize=28231652 memory=49988 CPUtime=0.53 cores=0-7 /proc/10902/stat : 10902 (java) S 10900 10900 7849 0 -1 1077944320 10349 0 0 0 49 4 0 0 20 0 20 0 476392932 28909211648 12497 33554432000 4194304 4196468 140732076823856 140732076806400 140439099707127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 /proc/10902/statm: 7057913 12497 3349 1 0 7019032 0 [pid=10902/tid=10903] ppid=10900 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/10902/task/10903/stat : 10903 (java) R 10900 10900 7849 0 -1 4202560 7316 0 0 0 27 2 0 0 20 0 20 0 476392933 28909211648 12497 33554432000 4194304 4196468 140732076823856 140439103938240 140439083787614 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10904] ppid=10900 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10902/task/10904/stat : 10904 (java) S 10900 10900 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476392933 28909211648 12497 33554432000 4194304 4196468 140732076823856 140438650608016 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10905] ppid=10900 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10902/task/10905/stat : 10905 (java) S 10900 10900 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476392933 28909211648 12497 33554432000 4194304 4196468 140732076823856 140438649555216 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10906] ppid=10900 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10902/task/10906/stat : 10906 (java) S 10900 10900 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476392933 28909211648 12497 33554432000 4194304 4196468 140732076823856 140438648502928 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10907] ppid=10900 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10902/task/10907/stat : 10907 (java) S 10900 10900 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476392933 28909211648 12497 33554432000 4194304 4196468 140732076823856 140438647450128 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10908] ppid=10900 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/10902/task/10908/stat : 10908 (java) S 10900 10900 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476392933 28909211648 12497 33554432000 4194304 4196468 140732076823856 140438646397840 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10909] ppid=10900 vsize=28231652 memory=140563810710447 CPUtime=0 cores=0-7 /proc/10902/task/10909/stat : 10909 (java) S 10900 10900 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476392933 28909211648 12497 33554432000 4194304 4196468 140732076823856 140438645345040 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10910] ppid=10900 vsize=28231652 memory=140563810712752 CPUtime=0 cores=0-7 /proc/10902/task/10910/stat : 10910 (java) S 10900 10900 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476392933 28909211648 12497 33554432000 4194304 4196468 140732076823856 140438644292752 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10911] ppid=10900 vsize=28231652 memory=140563810715056 CPUtime=0 cores=0-7 /proc/10902/task/10911/stat : 10911 (java) S 10900 10900 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476392934 28909211648 12497 33554432000 4194304 4196468 140732076823856 140438643239952 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10912] ppid=10900 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10902/task/10912/stat : 10912 (java) S 10900 10900 7849 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 476392935 28909211648 12497 33554432000 4194304 4196468 140732076823856 140438484572272 140439099718274 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10913] ppid=10900 vsize=28231652 memory=281127621437072 CPUtime=0 cores=0-7 /proc/10902/task/10913/stat : 10913 (java) S 10900 10900 7849 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476392935 28909211648 12497 33554432000 4194304 4196468 140732076823856 140438483518240 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10914] ppid=10900 vsize=28231652 memory=281127621443984 CPUtime=0 cores=0-7 /proc/10902/task/10914/stat : 10914 (java) S 10900 10900 7849 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476392936 28909211648 12497 33554432000 4194304 4196468 140732076823856 140438482465904 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10915] ppid=10900 vsize=28231652 memory=281127621385136 CPUtime=0 cores=0-7 /proc/10902/task/10915/stat : 10915 (java) S 10900 10900 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476392938 28909211648 12497 33554432000 4194304 4196468 140732076823856 140438481414224 140439099725723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10916] ppid=10900 vsize=28231652 memory=281127621457808 CPUtime=0.03 cores=0-7 /proc/10902/task/10916/stat : 10916 (java) R 10900 10900 7849 0 -1 4202560 692 0 0 0 3 0 0 0 20 0 20 0 476392938 28909211648 12497 33554432000 4194304 4196468 140732076823856 140438480352480 140439084824923 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10917] ppid=10900 vsize=28231652 memory=281127621464720 CPUtime=0.02 cores=0-7 /proc/10902/task/10917/stat : 10917 (java) S 10900 10900 7849 0 -1 1077944384 183 0 0 0 2 0 0 0 20 0 20 0 476392938 28909211648 12497 33554432000 4194304 4196468 140732076823856 140438479309296 140439099718274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10918] ppid=10900 vsize=28231652 memory=281127621462416 CPUtime=0.01 cores=0-7 /proc/10902/task/10918/stat : 10918 (java) S 10900 10900 7849 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 20 0 476392938 28909211648 12497 33554432000 4194304 4196468 140732076823856 140438478257008 140439099718274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10919] ppid=10900 vsize=28231652 memory=281127621478576 CPUtime=0.13 cores=0-7 /proc/10902/task/10919/stat : 10919 (java) S 10900 10900 7849 0 -1 1077944384 822 0 0 0 13 0 0 0 20 0 20 0 476392938 28909211648 12497 33554432000 4194304 4196468 140732076823856 140438477204208 140439099718274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10920] ppid=10900 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10902/task/10920/stat : 10920 (java) S 10900 10900 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476392938 28909211648 12497 33554432000 4194304 4196468 140732076823856 140438476151136 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10921] ppid=10900 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/10902/task/10921/stat : 10921 (java) S 10900 10900 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476392939 28909211648 12497 33554432000 4194304 4196468 140732076823856 140438475098416 140439099718274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51440 KiB [startup+0.701007 s] /proc/loadavg: 8.39 7.89 7.99 5/211 10921 /proc/meminfo: memFree=24578500/32770624 swapFree=66997224/67108860 [pid=10900] ppid=10897 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/10900/stat : 10900 (xcsp3-exec) S 10897 10900 7849 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476392932 115843072 363 33554432000 4194304 5098028 140732622360400 140732622358504 140439318733436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39849984 140732622369623 140732622369882 140732622369882 140732622372806 0 /proc/10900/statm: 28282 363 304 221 0 87 0 [pid=10902] ppid=10900 vsize=28233776 memory=88812 CPUtime=1.68 cores=0-7 /proc/10902/stat : 10902 (java) S 10900 10900 7849 0 -1 1077944320 14884 0 0 0 161 7 0 0 20 0 20 0 476392932 28911386624 22203 33554432000 4194304 4196468 140732076823856 140732076806400 140439099707127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 /proc/10902/statm: 7058444 22203 3453 1 0 7019544 0 [pid=10902/tid=10903] ppid=10900 vsize=28233776 memory=281127621836464 CPUtime=0.68 cores=0-7 /proc/10902/task/10903/stat : 10903 (java) R 10900 10900 7849 0 -1 4202560 8872 0 0 0 64 4 0 0 20 0 20 0 476392933 28911386624 22203 33554432000 4194304 4196468 140732076823856 140439103943072 140438737623671 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10904] ppid=10900 vsize=28233776 memory=140563810919280 CPUtime=0 cores=0-7 /proc/10902/task/10904/stat : 10904 (java) S 10900 10900 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476392933 28911386624 22203 33554432000 4194304 4196468 140732076823856 140438650608016 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10905] ppid=10900 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/10902/task/10905/stat : 10905 (java) S 10900 10900 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476392933 28911386624 22203 33554432000 4194304 4196468 140732076823856 140438649555216 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10906] ppid=10900 vsize=28233776 memory=5800 CPUtime=0 cores=0-7 /proc/10902/task/10906/stat : 10906 (java) S 10900 10900 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476392933 28911386624 22203 33554432000 4194304 4196468 140732076823856 140438648502928 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 ################ # More data... # ################ [pid=10902/tid=10919] ppid=10900 vsize=28769364 memory=3467825813359113531 CPUtime=0.9 cores=0-7 /proc/10902/task/10919/stat : 10919 (java) S 10900 10900 7849 0 -1 1077944384 6037 0 0 0 88 2 0 0 20 0 28 0 476392938 29459828736 58838 33554432000 4194304 4196468 140732076823856 140438477204208 140439099718274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10920] ppid=10900 vsize=28769364 memory=2609 CPUtime=0 cores=0-7 /proc/10902/task/10920/stat : 10920 (java) S 10900 10900 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476392938 29459828736 58838 33554432000 4194304 4196468 140732076823856 140438476151136 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10921] ppid=10900 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/10902/task/10921/stat : 10921 (java) S 10900 10900 7849 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 28 0 476392939 29459828736 58838 33554432000 4194304 4196468 140732076823856 140438475098416 140439099718274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=11010] ppid=10900 vsize=28769364 memory=0 CPUtime=5.63 cores=0-7 /proc/10902/task/11010/stat : 11010 (java) R 10900 10900 7849 0 -1 4202560 66 0 0 0 563 0 0 0 20 0 28 0 476393883 29459828736 58838 33554432000 4194304 4196468 140732076823856 140438463781880 140438744331683 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=11011] ppid=10900 vsize=28769364 memory=7811308184536770659 CPUtime=5.67 cores=0-7 /proc/10902/task/11011/stat : 11011 (java) R 10900 10900 7849 0 -1 4202560 75 0 0 0 567 0 0 0 20 0 28 0 476393883 29459828736 58838 33554432000 4194304 4196468 140732076823856 140438457466976 140438743603584 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=11012] ppid=10900 vsize=28769364 memory=5864345774621481062 CPUtime=5.6 cores=0-7 /proc/10902/task/11012/stat : 11012 (java) R 10900 10900 7849 0 -1 4202560 96 0 0 0 560 0 0 0 20 0 28 0 476393883 29459828736 58838 33554432000 4194304 4196468 140732076823856 140438461677488 140438744330955 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=11013] ppid=10900 vsize=28769364 memory=3977860731152852840 CPUtime=5.64 cores=0-7 /proc/10902/task/11013/stat : 11013 (java) R 10900 10900 7849 0 -1 4202560 144 0 0 0 564 0 0 0 20 0 28 0 476393883 29459828736 58838 33554432000 4194304 4196468 140732076823856 140438462730336 140438745406213 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=11014] ppid=10900 vsize=28769364 memory=7163933317418668136 CPUtime=5.67 cores=0-7 /proc/10902/task/11014/stat : 11014 (java) R 10900 10900 7849 0 -1 4202560 259 0 0 0 567 0 0 0 20 0 28 0 476393883 29459828736 58838 33554432000 4194304 4196468 140732076823856 140438455361072 140438744298597 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=11015] ppid=10900 vsize=28769364 memory=7957689449132282197 CPUtime=5.67 cores=0-7 /proc/10902/task/11015/stat : 11015 (java) R 10900 10900 7849 0 -1 4202560 247 0 0 0 567 0 0 0 20 0 28 0 476393883 29459828736 58838 33554432000 4194304 4196468 140732076823856 140438456414384 140438744661745 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=11016] ppid=10900 vsize=28769364 memory=21124 CPUtime=5.64 cores=0-7 /proc/10902/task/11016/stat : 11016 (java) R 10900 10900 7849 0 -1 4202560 115 0 0 0 564 0 0 0 20 0 28 0 476393883 29459828736 58838 33554432000 4194304 4196468 140732076823856 140438458519120 140438743603423 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=11017] ppid=10900 vsize=28769364 memory=0 CPUtime=5.67 cores=0-7 /proc/10902/task/11017/stat : 11017 (java) R 10900 10900 7849 0 -1 4202560 244 0 0 0 567 0 0 0 20 0 28 0 476393883 29459828736 58838 33554432000 4194304 4196468 140732076823856 140438460623968 140438743941318 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 Current children cumulated CPU time: 116.08 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 236804 KiB [startup+15.6018 s] /proc/loadavg: 8.57 7.96 8.01 9/219 11017 /proc/meminfo: memFree=24411484/32770624 swapFree=66997224/67108860 [pid=10900] ppid=10897 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/10900/stat : 10900 (xcsp3-exec) S 10897 10900 7849 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476392932 115843072 363 33554432000 4194304 5098028 140732622360400 140732622358504 140439318733436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39849984 140732622369623 140732622369882 140732622369882 140732622372806 0 /proc/10900/statm: 28282 363 304 221 0 87 0 [pid=10902] ppid=10900 vsize=28769364 memory=235420 CPUtime=119.28 cores=0-7 /proc/10902/stat : 10902 (java) S 10900 10900 7849 0 -1 1077944320 43678 0 0 0 11899 29 0 0 20 0 28 0 476392932 29459828736 58855 33554432000 4194304 4196468 140732076823856 140732076806400 140439099707127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 /proc/10902/statm: 7192341 58855 3532 1 0 7153441 0 [pid=10902/tid=10903] ppid=10900 vsize=28769364 memory=2241 CPUtime=0.78 cores=0-7 /proc/10902/task/10903/stat : 10903 (java) S 10900 10900 7849 0 -1 1077944384 9054 0 0 0 74 4 0 0 20 0 28 0 476392933 29459828736 58855 33554432000 4194304 4196468 140732076823856 140439103947904 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10904] ppid=10900 vsize=28769364 memory=2244 CPUtime=0.01 cores=0-7 /proc/10902/task/10904/stat : 10904 (java) S 10900 10900 7849 0 -1 1077944384 225 0 0 0 1 0 0 0 20 0 28 0 476392933 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438650608016 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10905] ppid=10900 vsize=28769364 memory=1048 CPUtime=0 cores=0-7 /proc/10902/task/10905/stat : 10905 (java) S 10900 10900 7849 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 28 0 476392933 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438649555216 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10906] ppid=10900 vsize=28769364 memory=2241 CPUtime=0 cores=0-7 /proc/10902/task/10906/stat : 10906 (java) S 10900 10900 7849 0 -1 1077944384 1021 0 0 0 0 0 0 0 20 0 28 0 476392933 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438648502928 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10907] ppid=10900 vsize=28769364 memory=2244 CPUtime=0 cores=0-7 /proc/10902/task/10907/stat : 10907 (java) S 10900 10900 7849 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 476392933 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438647450128 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10908] ppid=10900 vsize=28769364 memory=-9174445032661854264 CPUtime=0.01 cores=0-7 /proc/10902/task/10908/stat : 10908 (java) S 10900 10900 7849 0 -1 1077944384 74 0 0 0 1 0 0 0 20 0 28 0 476392933 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438646397840 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10909] ppid=10900 vsize=28769364 memory=281127622123488 CPUtime=0 cores=0-7 /proc/10902/task/10909/stat : 10909 (java) S 10900 10900 7849 0 -1 1077944384 352 0 0 0 0 0 0 0 20 0 28 0 476392933 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438645345040 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10910] ppid=10900 vsize=28769364 memory=288230583166042426 CPUtime=0 cores=0-7 /proc/10902/task/10910/stat : 10910 (java) S 10900 10900 7849 0 -1 1077944384 236 0 0 0 0 0 0 0 20 0 28 0 476392933 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438644292752 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10911] ppid=10900 vsize=28769364 memory=15262532197681710 CPUtime=0 cores=0-7 /proc/10902/task/10911/stat : 10911 (java) S 10900 10900 7849 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 476392934 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438643239952 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10912] ppid=10900 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7 /proc/10902/task/10912/stat : 10912 (java) S 10900 10900 7849 0 -1 1077944384 740 0 0 0 1 0 0 0 20 0 28 0 476392935 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438484572272 140439099718274 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10913] ppid=10900 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/10902/task/10913/stat : 10913 (java) S 10900 10900 7849 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 476392935 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438483518304 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10914] ppid=10900 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/10902/task/10914/stat : 10914 (java) S 10900 10900 7849 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 476392936 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438482465904 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10915] ppid=10900 vsize=28769364 memory=-2245088631185882904 CPUtime=0 cores=0-7 /proc/10902/task/10915/stat : 10915 (java) S 10900 10900 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476392938 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438481414224 140439099725723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10916] ppid=10900 vsize=28769364 memory=6944652177228980320 CPUtime=2.89 cores=0-7 /proc/10902/task/10916/stat : 10916 (java) S 10900 10900 7849 0 -1 1077944384 6769 0 0 0 287 2 0 0 20 0 28 0 476392938 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438480362096 140439099718274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10917] ppid=10900 vsize=28769364 memory=6944656592455097440 CPUtime=2.5 cores=0-7 /proc/10902/task/10917/stat : 10917 (java) S 10900 10900 7849 0 -1 1077944384 5256 0 0 0 249 1 0 0 20 0 28 0 476392938 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438479309296 140439099718274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10918] ppid=10900 vsize=28769364 memory=3624 CPUtime=2.78 cores=0-7 /proc/10902/task/10918/stat : 10918 (java) S 10900 10900 7849 0 -1 1077944384 6820 0 0 0 277 1 0 0 20 0 28 0 476392938 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438478257008 140439099718274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10919] ppid=10900 vsize=28769364 memory=54828 CPUtime=0.9 cores=0-7 /proc/10902/task/10919/stat : 10919 (java) S 10900 10900 7849 0 -1 1077944384 6202 0 0 0 88 2 0 0 20 0 28 0 476392938 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438477204208 140439099718274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10920] ppid=10900 vsize=28769364 memory=988 CPUtime=0 cores=0-7 /proc/10902/task/10920/stat : 10920 (java) S 10900 10900 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476392938 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438476151136 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10921] ppid=10900 vsize=28769364 memory=2016 CPUtime=0 cores=0-7 /proc/10902/task/10921/stat : 10921 (java) S 10900 10900 7849 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 476392939 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438475098416 140439099718274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=11010] ppid=10900 vsize=28769364 memory=1424 CPUtime=6.03 cores=0-7 /proc/10902/task/11010/stat : 11010 (java) R 10900 10900 7849 0 -1 4202560 134 0 0 0 603 0 0 0 20 0 28 0 476393883 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438463781880 140438744974387 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=11011] ppid=10900 vsize=28769364 memory=1540 CPUtime=6.07 cores=0-7 /proc/10902/task/11011/stat : 11011 (java) R 10900 10900 7849 0 -1 4202560 95 0 0 0 607 0 0 0 20 0 28 0 476393883 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438457467112 140438744331644 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=11012] ppid=10900 vsize=28769364 memory=772 CPUtime=6 cores=0-7 /proc/10902/task/11012/stat : 11012 (java) R 10900 10900 7849 0 -1 4202560 150 0 0 0 600 0 0 0 20 0 28 0 476393883 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438461677624 140438744240910 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=11013] ppid=10900 vsize=28769364 memory=10596 CPUtime=6.04 cores=0-7 /proc/10902/task/11013/stat : 11013 (java) R 10900 10900 7849 0 -1 4202560 292 0 0 0 604 0 0 0 20 0 28 0 476393883 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438462730472 140438744286724 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=11014] ppid=10900 vsize=28769364 memory=1708 CPUtime=6.07 cores=0-7 /proc/10902/task/11014/stat : 11014 (java) R 10900 10900 7849 0 -1 4202560 288 0 0 0 607 0 0 0 20 0 28 0 476393883 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438455361208 140438743940605 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=11015] ppid=10900 vsize=28769364 memory=988 CPUtime=6.07 cores=0-7 /proc/10902/task/11015/stat : 11015 (java) R 10900 10900 7849 0 -1 4202560 307 0 0 0 607 0 0 0 20 0 28 0 476393883 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438456416984 140438743941517 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=11016] ppid=10900 vsize=28769364 memory=3628 CPUtime=6.04 cores=0-7 /proc/10902/task/11016/stat : 11016 (java) R 10900 10900 7849 0 -1 4202560 162 0 0 0 604 0 0 0 20 0 28 0 476393883 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438458519120 140438744764876 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=11017] ppid=10900 vsize=28769364 memory=2828 CPUtime=6.07 cores=0-7 /proc/10902/task/11017/stat : 11017 (java) R 10900 10900 7849 0 -1 4202560 439 0 0 0 607 0 0 0 20 0 28 0 476393883 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438460624104 140438743942220 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 Current children cumulated CPU time: 119.28 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 236872 KiB [startup+16.0018 s]* /proc/loadavg: 8.57 7.96 8.01 9/219 11017 /proc/meminfo: memFree=24410840/32770624 swapFree=66997224/67108860 [pid=10900] ppid=10897 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/10900/stat : 10900 (xcsp3-exec) S 10897 10900 7849 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476392932 115843072 363 33554432000 4194304 5098028 140732622360400 140732622358504 140439318733436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39849984 140732622369623 140732622369882 140732622369882 140732622372806 0 /proc/10900/statm: 28282 363 304 221 0 87 0 [pid=10902] ppid=10900 vsize=28769364 memory=235420 CPUtime=122.54 cores=0-7 /proc/10902/stat : 10902 (java) S 10900 10900 7849 0 -1 1077944320 45388 0 0 0 12225 29 0 0 20 0 28 0 476392932 29459828736 58855 33554432000 4194304 4196468 140732076823856 140732076806400 140439099707127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 /proc/10902/statm: 7192341 58855 3532 1 0 7153441 0 [pid=10902/tid=10903] ppid=10900 vsize=28769364 memory=6791534058613427641 CPUtime=0.78 cores=0-7 /proc/10902/task/10903/stat : 10903 (java) S 10900 10900 7849 0 -1 1077944384 9054 0 0 0 74 4 0 0 20 0 28 0 476392933 29459828736 58855 33554432000 4194304 4196468 140732076823856 140439103947904 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10904] ppid=10900 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7 /proc/10902/task/10904/stat : 10904 (java) S 10900 10900 7849 0 -1 1077944384 225 0 0 0 1 0 0 0 20 0 28 0 476392933 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438650608016 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10905] ppid=10900 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/10902/task/10905/stat : 10905 (java) S 10900 10900 7849 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 28 0 476392933 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438649555216 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10906] ppid=10900 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/10902/task/10906/stat : 10906 (java) S 10900 10900 7849 0 -1 1077944384 1021 0 0 0 0 0 0 0 20 0 28 0 476392933 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438648502928 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10907] ppid=10900 vsize=28769364 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/10902/task/10907/stat : 10907 (java) S 10900 10900 7849 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 476392933 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438647450128 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10908] ppid=10900 vsize=28769364 memory=7448488012996308305 CPUtime=0.01 cores=0-7 /proc/10902/task/10908/stat : 10908 (java) S 10900 10900 7849 0 -1 1077944384 74 0 0 0 1 0 0 0 20 0 28 0 476392933 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438646397840 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10909] ppid=10900 vsize=28769364 memory=7086240636146110819 CPUtime=0 cores=0-7 /proc/10902/task/10909/stat : 10909 (java) S 10900 10900 7849 0 -1 1077944384 352 0 0 0 0 0 0 0 20 0 28 0 476392933 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438645345040 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10910] ppid=10900 vsize=28769364 memory=7302135314614015845 CPUtime=0 cores=0-7 /proc/10902/task/10910/stat : 10910 (java) S 10900 10900 7849 0 -1 1077944384 236 0 0 0 0 0 0 0 20 0 28 0 476392933 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438644292752 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10911] ppid=10900 vsize=28769364 memory=7014751519667540835 CPUtime=0 cores=0-7 /proc/10902/task/10911/stat : 10911 (java) S 10900 10900 7849 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 476392934 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438643239952 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10912] ppid=10900 vsize=28769364 memory=7450731038208844628 CPUtime=0.01 cores=0-7 /proc/10902/task/10912/stat : 10912 (java) S 10900 10900 7849 0 -1 1077944384 740 0 0 0 1 0 0 0 20 0 28 0 476392935 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438484572272 140439099718274 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10913] ppid=10900 vsize=28769364 memory=7086240636229671016 CPUtime=0 cores=0-7 /proc/10902/task/10913/stat : 10913 (java) S 10900 10900 7849 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 476392935 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438483518304 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10914] ppid=10900 vsize=28769364 memory=7157735280314177640 CPUtime=0 cores=0-7 /proc/10902/task/10914/stat : 10914 (java) S 10900 10900 7849 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 476392936 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438482465904 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10915] ppid=10900 vsize=28769364 memory=7084280309757791577 CPUtime=0 cores=0-7 /proc/10902/task/10915/stat : 10915 (java) S 10900 10900 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476392938 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438481414224 140439099725723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10916] ppid=10900 vsize=28769364 memory=7084274833556720980 CPUtime=2.89 cores=0-7 /proc/10902/task/10916/stat : 10916 (java) S 10900 10900 7849 0 -1 1077944384 6772 0 0 0 287 2 0 0 20 0 28 0 476392938 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438480362096 140439099718274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10917] ppid=10900 vsize=28769364 memory=7450735414763808856 CPUtime=2.53 cores=0-7 /proc/10902/task/10917/stat : 10917 (java) S 10900 10900 7849 0 -1 1077944384 6204 0 0 0 251 2 0 0 20 0 28 0 476392938 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438479309296 140439099718274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10918] ppid=10900 vsize=28769364 memory=3012 CPUtime=2.78 cores=0-7 /proc/10902/task/10918/stat : 10918 (java) S 10900 10900 7849 0 -1 1077944384 6823 0 0 0 277 1 0 0 20 0 28 0 476392938 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438478257008 140439099718274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10919] ppid=10900 vsize=28769364 memory=10596 CPUtime=0.9 cores=0-7 /proc/10902/task/10919/stat : 10919 (java) S 10900 10900 7849 0 -1 1077944384 6843 0 0 0 88 2 0 0 20 0 28 0 476392938 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438477204208 140439099718274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10920] ppid=10900 vsize=28769364 memory=1708 CPUtime=0 cores=0-7 /proc/10902/task/10920/stat : 10920 (java) S 10900 10900 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476392938 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438476151136 140439099717333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=10921] ppid=10900 vsize=28769364 memory=988 CPUtime=0 cores=0-7 /proc/10902/task/10921/stat : 10921 (java) S 10900 10900 7849 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 476392939 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438475098416 140439099718274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=11010] ppid=10900 vsize=28769364 memory=3628 CPUtime=6.41 cores=0-7 /proc/10902/task/11010/stat : 11010 (java) R 10900 10900 7849 0 -1 4202560 134 0 0 0 641 0 0 0 20 0 28 0 476393883 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438463781880 140438743456086 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=11011] ppid=10900 vsize=28769364 memory=2828 CPUtime=6.48 cores=0-7 /proc/10902/task/11011/stat : 11011 (java) R 10900 10900 7849 0 -1 4202560 121 0 0 0 648 0 0 0 20 0 28 0 476393883 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438457467112 140438745406527 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=11012] ppid=10900 vsize=28769364 memory=1048 CPUtime=6.4 cores=0-7 /proc/10902/task/11012/stat : 11012 (java) R 10900 10900 7849 0 -1 4202560 150 0 0 0 640 0 0 0 20 0 28 0 476393883 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438461677624 140438745072272 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=11013] ppid=10900 vsize=28769364 memory=5800 CPUtime=6.45 cores=0-7 /proc/10902/task/11013/stat : 11013 (java) R 10900 10900 7849 0 -1 4202560 294 0 0 0 645 0 0 0 20 0 28 0 476393883 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438462730472 140438742351464 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=11014] ppid=10900 vsize=28769364 memory=612 CPUtime=6.48 cores=0-7 /proc/10902/task/11014/stat : 11014 (java) R 10900 10900 7849 0 -1 4202560 289 0 0 0 648 0 0 0 20 0 28 0 476393883 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438455361208 140438744654592 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=11015] ppid=10900 vsize=28769364 memory=1220 CPUtime=6.48 cores=0-7 /proc/10902/task/11015/stat : 11015 (java) R 10900 10900 7849 0 -1 4202560 374 0 0 0 648 0 0 0 20 0 28 0 476393883 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438456414808 140438742341735 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=11016] ppid=10900 vsize=28769364 memory=14004 CPUtime=6.45 cores=0-7 /proc/10902/task/11016/stat : 11016 (java) R 10900 10900 7849 0 -1 4202560 164 0 0 0 645 0 0 0 20 0 28 0 476393883 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438458519120 140438744330971 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 [pid=10902/tid=11017] ppid=10900 vsize=28769364 memory=14060 CPUtime=6.48 cores=0-7 /proc/10902/task/11017/stat : 11017 (java) R 10900 10900 7849 0 -1 4202560 456 0 0 0 648 0 0 0 20 0 28 0 476393883 29459828736 58855 33554432000 4194304 4196468 140732076823856 140438460624104 140438744330918 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32174080 140732076831708 140732076831883 140732076831883 140732076834767 0 Current children cumulated CPU time: 122.54 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 236872 KiB Child status: 0 Real time (s): 16.0898 CPU time (s): 123.093 CPU user time (s): 122.786 CPU system time (s): 0.306934 CPU usage (%): 765.038 Max. virtual memory (cumulated for all children) (KiB): 28883336 Max. memory (cumulated for all children) (KiB): 242220 getrusage(RUSAGE_CHILDREN,...) data: user time used= 122.787 system time used= 0.306934 maximum resident set size= 241820 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46789 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= 5877 involuntary context switches= 2528 # summary of solver processes directly reported to runsolver: # pid: 10900 # total CPU time (s): 123.093 # total CPU user time (s): 122.786 # total CPU system time (s): 0.306934 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.157915 second user time and 0.215952 second system time The end
Begin job on node140 at 2019-09-20 20:35:05 IDJOB=4404993 IDBENCH=128339 IDSOLVER=2866 FILE ID=node140/4404993-1569004546 RUNJOBID= node140-1568994030-7876 PBS_JOBID= 21704714 Free space on /var/tmp= 13508 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j60/Rcpsp-j60-21-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-4404993-1569004546/watcher-4404993-1569004546 -o /var/tmp/evaluation-result-4404993-1569004546/solver-4404993-1569004546 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1568994030-7876 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1183661398 HOME/instance-4404993-1569004546.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 90855c6c3ff0f3816786e6ae00e0aae6 RANDOM SEED=1183661398 node140.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.43 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.43 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.43 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.43 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: 24632712 kB MemAvailable: 31850820 kB Buffers: 78252 kB Cached: 7225300 kB SwapCached: 2516 kB Active: 3631124 kB Inactive: 3682532 kB Active(anon): 3684 kB Inactive(anon): 52720 kB Active(file): 3627440 kB Inactive(file): 3629812 kB Unevictable: 106600 kB Mlocked: 106600 kB SwapTotal: 67108860 kB SwapFree: 66997224 kB Dirty: 26380 kB Writeback: 0 kB AnonPages: 170284 kB Mapped: 51880 kB Shmem: 38328 kB Slab: 417748 kB SReclaimable: 389316 kB SUnreclaim: 28432 kB KernelStack: 3712 kB PageTables: 5412 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 507028 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 126976 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /var/tmp at the end= 13484 MiB End job on node140 at 2019-09-20 20:35:21