Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 75 | 132.096 | 17.2805 |
Name | Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-46-08.xml |
MD5SUM | 1a36b9c979418634ede1d2fbb3d1d330 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 75 |
Best CPU time to get the best result obtained on this benchmark | 70.2833 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 62 |
Number of constraints | 135 |
Number of domains | 2 |
Minimum domain size | 1 |
Maximum domain size | 347 |
Distribution of domain sizes | [{"size":1,"count":1},{"size":347,"count":61}] |
Minimum variable degree | 3 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":3,"count":1},{"degree":4,"count":1},{"degree":7,"count":5},{"degree":8,"count":40},{"degree":9,"count":9},{"degree":10,"count":6}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 60 |
Distribution of constraint arities | [{"arity":2,"count":131},{"arity":60,"count":4}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 131 |
Distribution of constraint types | [{"type":"intension","count":131},{"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-4407087-1569352289.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407087-1569352289.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 2.14/0.81 c solve instance... 3.55/1.09 o 346 4.36/1.14 o 90 4.36/1.17 o 89 4.76/1.24 o 85 5.47/1.30 o 84 5.47/1.34 o 82 6.26/1.44 o 81 7.68/1.62 o 80 10.03/1.99 o 79 19.59/3.15 o 78 52.86/7.35 o 77 93.51/12.48 o 76 95.01/12.69 o 75 131.57/17.26 s OPTIMUM FOUND 131.57/17.26 v <instantiation> 131.57/17.26 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> 131.57/17.26 v <values>0 0 0 0 7 5 6 11 15 25 8 16 12 17 14 13 7 26 22 32 5 26 14 29 13 17 26 29 22 30 43 64 21 24 39 25 39 42 48 34 43 47 39 34 53 55 47 56 60 64 61 61 53 55 56 66 63 63 65 73 68 75 </values> 131.57/17.26 v </instantiation>
OK 75
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 (13349 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-4407087-1569352289/watcher-4407087-1569352289 -o /var/tmp/evaluation-result-4407087-1569352289/solver-4407087-1569352289 -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 1558574747 HOME/instance-4407087-1569352289.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=3177, runsolver pid=3174 Current StackSize limit: 8192 KiB [startup+0.100135 s]* /proc/loadavg: 8.04 8.27 8.12 2/212 3198 /proc/meminfo: memFree=25628392/32770624 swapFree=66953496/67108860 [pid=3177] ppid=3174 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/3177/stat : 3177 (xcsp3-exec) S 3174 3177 2396 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511143698 115843072 363 33554432000 4194304 5098028 140721106549360 140721106547464 140150125924988 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36425728 140721106551633 140721106551893 140721106551893 140721106554822 0 /proc/3177/statm: 28282 363 304 221 0 87 0 [pid=3179] ppid=3177 vsize=28227396 memory=28504 CPUtime=0.12 cores=0-7 /proc/3179/stat : 3179 (java) S 3177 3177 2396 0 -1 1077944320 5632 0 0 0 11 1 0 0 20 0 20 0 511143699 28904853504 7126 33554432000 4194304 4196468 140726096834112 140726096816656 139776574336759 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 /proc/3179/statm: 7056849 7126 3109 1 0 7019032 0 [pid=3179/tid=3180] ppid=3177 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7 /proc/3179/task/3180/stat : 3180 (java) R 3177 3177 2396 0 -1 4202560 3570 0 0 0 8 1 0 0 20 0 20 0 511143699 28904853504 7126 33554432000 4194304 4196468 140726096834112 139776578571984 139776574348694 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3181] ppid=3177 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/3179/task/3181/stat : 3181 (java) S 3177 3177 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511143700 28904853504 7126 33554432000 4194304 4196468 140726096834112 139776494189328 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3182] ppid=3177 vsize=28227396 memory=140417764279936 CPUtime=0 cores=0-7 /proc/3179/task/3182/stat : 3182 (java) S 3177 3177 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511143700 28904853504 7126 33554432000 4194304 4196468 140726096834112 139776493136784 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3183] ppid=3177 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3179/task/3183/stat : 3183 (java) S 3177 3177 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511143700 28904853504 7126 33554432000 4194304 4196468 140726096834112 139776492084240 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3184] ppid=3177 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3179/task/3184/stat : 3184 (java) S 3177 3177 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511143700 28904853504 7126 33554432000 4194304 4196468 140726096834112 139776491031696 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3185] ppid=3177 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3179/task/3185/stat : 3185 (java) S 3177 3177 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511143700 28904853504 7126 33554432000 4194304 4196468 140726096834112 139776121493776 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3186] ppid=3177 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/3179/task/3186/stat : 3186 (java) S 3177 3177 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511143700 28904853504 7126 33554432000 4194304 4196468 140726096834112 139776120441232 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3187] ppid=3177 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3179/task/3187/stat : 3187 (java) S 3177 3177 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511143700 28904853504 7126 33554432000 4194304 4196468 140726096834112 139776119388688 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3188] ppid=3177 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3179/task/3188/stat : 3188 (java) S 3177 3177 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511143700 28904853504 7126 33554432000 4194304 4196468 140726096834112 139776118336144 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3189] ppid=3177 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3179/task/3189/stat : 3189 (java) S 3177 3177 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511143701 28904853504 7126 33554432000 4194304 4196468 140726096834112 139775958923760 139776574347906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3190] ppid=3177 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3179/task/3190/stat : 3190 (java) S 3177 3177 2396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511143702 28904853504 7126 33554432000 4194304 4196468 140726096834112 139775957869984 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3191] ppid=3177 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3179/task/3191/stat : 3191 (java) S 3177 3177 2396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511143702 28904853504 7126 33554432000 4194304 4196468 140726096834112 139775956817392 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3192] ppid=3177 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3179/task/3192/stat : 3192 (java) S 3177 3177 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511143704 28904853504 7126 33554432000 4194304 4196468 140726096834112 139775955765968 139776574355355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3193] ppid=3177 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3179/task/3193/stat : 3193 (java) S 3177 3177 2396 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 511143704 28904853504 7126 33554432000 4194304 4196468 140726096834112 139775954712560 139776574347906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3194] ppid=3177 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3179/task/3194/stat : 3194 (java) S 3177 3177 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511143704 28904853504 7126 33554432000 4194304 4196468 140726096834112 139775953660016 139776574347906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3195] ppid=3177 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3179/task/3195/stat : 3195 (java) R 3177 3177 2396 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 511143704 28904853504 7126 33554432000 4194304 4196468 140726096834112 139775885437168 139776574347906 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3196] ppid=3177 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/3179/task/3196/stat : 3196 (java) R 3177 3177 2396 0 -1 4202560 330 0 0 0 1 0 0 0 20 0 20 0 511143704 28904853504 7126 33554432000 4194304 4196468 140726096834112 139775884384624 139776574358106 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3197] ppid=3177 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3179/task/3197/stat : 3197 (java) S 3177 3177 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511143705 28904853504 7126 33554432000 4194304 4196468 140726096834112 139775883332320 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3198] ppid=3177 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/3179/task/3198/stat : 3198 (java) S 3177 3177 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511143705 28904853504 7192 33554432000 4194304 4196468 140726096834112 139775882279856 139776574347906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 29956 KiB [startup+0.210641 s]* /proc/loadavg: 7.47 8.15 8.08 3/212 3198 /proc/meminfo: memFree=25614868/32770624 swapFree=66953496/67108860 [pid=3177] ppid=3174 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/3177/stat : 3177 (xcsp3-exec) S 3174 3177 2396 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511143698 115843072 363 33554432000 4194304 5098028 140721106549360 140721106547464 140150125924988 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36425728 140721106551633 140721106551893 140721106551893 140721106554822 0 /proc/3177/statm: 28282 363 304 221 0 87 0 [pid=3179] ppid=3177 vsize=28227396 memory=41280 CPUtime=0.33 cores=0-7 /proc/3179/stat : 3179 (java) S 3177 3177 2396 0 -1 1077944320 9540 0 0 0 30 3 0 0 20 0 20 0 511143699 28904853504 10320 33554432000 4194304 4196468 140726096834112 140726096816656 139776574336759 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 /proc/3179/statm: 7056849 10320 3294 1 0 7019032 0 [pid=3179/tid=3180] ppid=3177 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/3179/task/3180/stat : 3180 (java) R 3177 3177 2396 0 -1 4202560 6606 0 0 0 18 2 0 0 20 0 20 0 511143699 28904853504 10320 33554432000 4194304 4196468 140726096834112 139776578570640 139776559706128 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3181] ppid=3177 vsize=28227396 memory=342 CPUtime=0 cores=0-7 /proc/3179/task/3181/stat : 3181 (java) S 3177 3177 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511143700 28904853504 10320 33554432000 4194304 4196468 140726096834112 139776494189328 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3182] ppid=3177 vsize=28227396 memory=140417767529307 CPUtime=0 cores=0-7 /proc/3179/task/3182/stat : 3182 (java) S 3177 3177 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511143700 28904853504 10320 33554432000 4194304 4196468 140726096834112 139776493136784 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3183] ppid=3177 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/3179/task/3183/stat : 3183 (java) S 3177 3177 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511143700 28904853504 10320 33554432000 4194304 4196468 140726096834112 139776492084240 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3184] ppid=3177 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3179/task/3184/stat : 3184 (java) S 3177 3177 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511143700 28904853504 10320 33554432000 4194304 4196468 140726096834112 139776491031696 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3185] ppid=3177 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3179/task/3185/stat : 3185 (java) S 3177 3177 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511143700 28904853504 10320 33554432000 4194304 4196468 140726096834112 139776121493776 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3186] ppid=3177 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/3179/task/3186/stat : 3186 (java) S 3177 3177 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511143700 28904853504 10320 33554432000 4194304 4196468 140726096834112 139776120441232 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3187] ppid=3177 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3179/task/3187/stat : 3187 (java) S 3177 3177 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511143700 28904853504 10320 33554432000 4194304 4196468 140726096834112 139776119388688 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3188] ppid=3177 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3179/task/3188/stat : 3188 (java) S 3177 3177 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511143700 28904853504 10320 33554432000 4194304 4196468 140726096834112 139776118336144 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3189] ppid=3177 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3179/task/3189/stat : 3189 (java) S 3177 3177 2396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511143701 28904853504 10320 33554432000 4194304 4196468 140726096834112 139775958923760 139776574347906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3190] ppid=3177 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3179/task/3190/stat : 3190 (java) S 3177 3177 2396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511143702 28904853504 10320 33554432000 4194304 4196468 140726096834112 139775957869984 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3191] ppid=3177 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3179/task/3191/stat : 3191 (java) S 3177 3177 2396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511143702 28904853504 10320 33554432000 4194304 4196468 140726096834112 139775956817392 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3192] ppid=3177 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3179/task/3192/stat : 3192 (java) S 3177 3177 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511143704 28904853504 10320 33554432000 4194304 4196468 140726096834112 139775955765968 139776574355355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3193] ppid=3177 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/3179/task/3193/stat : 3193 (java) S 3177 3177 2396 0 -1 1077944384 383 0 0 0 1 0 0 0 20 0 20 0 511143704 28904853504 10320 33554432000 4194304 4196468 140726096834112 139775954712560 139776574347906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3194] ppid=3177 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/3179/task/3194/stat : 3194 (java) S 3177 3177 2396 0 -1 1077944384 99 0 0 0 1 0 0 0 20 0 20 0 511143704 28904853504 10320 33554432000 4194304 4196468 140726096834112 139775953660016 139776574347906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3195] ppid=3177 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/3179/task/3195/stat : 3195 (java) S 3177 3177 2396 0 -1 1077944384 342 0 0 0 1 0 0 0 20 0 20 0 511143704 28904853504 10320 33554432000 4194304 4196468 140726096834112 139775885437168 139776574347906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3196] ppid=3177 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/3179/task/3196/stat : 3196 (java) R 3177 3177 2396 0 -1 4202560 799 0 0 0 8 0 0 0 20 0 20 0 511143704 28904853504 10320 33554432000 4194304 4196468 140726096834112 139775884384624 139776553306002 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3197] ppid=3177 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3179/task/3197/stat : 3197 (java) S 3177 3177 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511143705 28904853504 10320 33554432000 4194304 4196468 140726096834112 139775883332320 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3198] ppid=3177 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/3179/task/3198/stat : 3198 (java) S 3177 3177 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511143705 28904853504 10320 33554432000 4194304 4196468 140726096834112 139775882279856 139776574347906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42732 KiB [startup+0.310468 s]* /proc/loadavg: 7.47 8.15 8.08 3/212 3198 /proc/meminfo: memFree=25607980/32770624 swapFree=66953496/67108860 [pid=3177] ppid=3174 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/3177/stat : 3177 (xcsp3-exec) S 3174 3177 2396 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511143698 115843072 363 33554432000 4194304 5098028 140721106549360 140721106547464 140150125924988 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36425728 140721106551633 140721106551893 140721106551893 140721106554822 0 /proc/3177/statm: 28282 363 304 221 0 87 0 [pid=3179] ppid=3177 vsize=28231652 memory=50252 CPUtime=0.52 cores=0-7 /proc/3179/stat : 3179 (java) S 3177 3177 2396 0 -1 1077944320 10852 0 0 0 48 4 0 0 20 0 20 0 511143699 28909211648 12563 33554432000 4194304 4196468 140726096834112 140726096816656 139776574336759 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 /proc/3179/statm: 7057913 12563 3373 1 0 7019032 0 [pid=3179/tid=3180] ppid=3177 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/3179/task/3180/stat : 3180 (java) R 3177 3177 2396 0 -1 4202560 7745 0 0 0 27 2 0 0 20 0 20 0 511143699 28909211648 12563 33554432000 4194304 4196468 140726096834112 139776578570544 139776558417246 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3181] ppid=3177 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3179/task/3181/stat : 3181 (java) S 3177 3177 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511143700 28909211648 12563 33554432000 4194304 4196468 140726096834112 139776494189328 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3182] ppid=3177 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3179/task/3182/stat : 3182 (java) S 3177 3177 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511143700 28909211648 12563 33554432000 4194304 4196468 140726096834112 139776493136784 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3183] ppid=3177 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3179/task/3183/stat : 3183 (java) S 3177 3177 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511143700 28909211648 12563 33554432000 4194304 4196468 140726096834112 139776492084240 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3184] ppid=3177 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3179/task/3184/stat : 3184 (java) S 3177 3177 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511143700 28909211648 12563 33554432000 4194304 4196468 140726096834112 139776491031696 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3185] ppid=3177 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3179/task/3185/stat : 3185 (java) S 3177 3177 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511143700 28909211648 12563 33554432000 4194304 4196468 140726096834112 139776121493776 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3186] ppid=3177 vsize=28231652 memory=140417647602351 CPUtime=0 cores=0-7 /proc/3179/task/3186/stat : 3186 (java) S 3177 3177 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511143700 28909211648 12563 33554432000 4194304 4196468 140726096834112 139776120441232 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3187] ppid=3177 vsize=28231652 memory=140417647604656 CPUtime=0 cores=0-7 /proc/3179/task/3187/stat : 3187 (java) S 3177 3177 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511143700 28909211648 12563 33554432000 4194304 4196468 140726096834112 139776119388688 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3188] ppid=3177 vsize=28231652 memory=140417647606960 CPUtime=0 cores=0-7 /proc/3179/task/3188/stat : 3188 (java) S 3177 3177 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511143700 28909211648 12563 33554432000 4194304 4196468 140726096834112 139776118336144 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3189] ppid=3177 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3179/task/3189/stat : 3189 (java) S 3177 3177 2396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511143701 28909211648 12563 33554432000 4194304 4196468 140726096834112 139775958923760 139776574347906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3190] ppid=3177 vsize=28231652 memory=280835295227792 CPUtime=0 cores=0-7 /proc/3179/task/3190/stat : 3190 (java) S 3177 3177 2396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511143702 28909211648 12563 33554432000 4194304 4196468 140726096834112 139775957869984 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3191] ppid=3177 vsize=28231652 memory=280835295225488 CPUtime=0 cores=0-7 /proc/3179/task/3191/stat : 3191 (java) S 3177 3177 2396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511143702 28909211648 12563 33554432000 4194304 4196468 140726096834112 139775956817392 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3192] ppid=3177 vsize=28231652 memory=280835295232400 CPUtime=0 cores=0-7 /proc/3179/task/3192/stat : 3192 (java) S 3177 3177 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511143704 28909211648 12563 33554432000 4194304 4196468 140726096834112 139775955765968 139776574355355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3193] ppid=3177 vsize=28231652 memory=280835295173680 CPUtime=0.03 cores=0-7 /proc/3179/task/3193/stat : 3193 (java) S 3177 3177 2396 0 -1 1077944384 398 0 0 0 3 0 0 0 20 0 20 0 511143704 28909211648 12563 33554432000 4194304 4196468 140726096834112 139775954712560 139776574347906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3194] ppid=3177 vsize=28231652 memory=280835295246224 CPUtime=0.02 cores=0-7 /proc/3179/task/3194/stat : 3194 (java) S 3177 3177 2396 0 -1 1077944384 99 0 0 0 2 0 0 0 20 0 20 0 511143704 28909211648 12563 33554432000 4194304 4196468 140726096834112 139775953660016 139776574347906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3195] ppid=3177 vsize=28231652 memory=280835295253136 CPUtime=0.03 cores=0-7 /proc/3179/task/3195/stat : 3195 (java) R 3177 3177 2396 0 -1 4202560 442 0 0 0 3 0 0 0 20 0 20 0 511143704 28909211648 12563 33554432000 4194304 4196468 140726096834112 139775885418280 139776551931905 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3196] ppid=3177 vsize=28231652 memory=280835295250832 CPUtime=0.12 cores=0-7 /proc/3179/task/3196/stat : 3196 (java) S 3177 3177 2396 0 -1 1077944384 867 0 0 0 12 0 0 0 20 0 20 0 511143704 28909211648 12563 33554432000 4194304 4196468 140726096834112 139775884384624 139776574347906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3197] ppid=3177 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3179/task/3197/stat : 3197 (java) S 3177 3177 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511143705 28909211648 12563 33554432000 4194304 4196468 140726096834112 139775883332320 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3198] ppid=3177 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/3179/task/3198/stat : 3198 (java) S 3177 3177 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511143705 28909211648 12563 33554432000 4194304 4196468 140726096834112 139775882279856 139776574347906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51704 KiB [startup+0.701014 s] /proc/loadavg: 7.47 8.15 8.08 6/212 3198 /proc/meminfo: memFree=25589908/32770624 swapFree=66953496/67108860 [pid=3177] ppid=3174 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/3177/stat : 3177 (xcsp3-exec) S 3174 3177 2396 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511143698 115843072 363 33554432000 4194304 5098028 140721106549360 140721106547464 140150125924988 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36425728 140721106551633 140721106551893 140721106551893 140721106554822 0 /proc/3177/statm: 28282 363 304 221 0 87 0 [pid=3179] ppid=3177 vsize=28233776 memory=88888 CPUtime=1.68 cores=0-7 /proc/3179/stat : 3179 (java) S 3177 3177 2396 0 -1 1077944320 15418 0 0 0 161 7 0 0 20 0 20 0 511143699 28911386624 22222 33554432000 4194304 4196468 140726096834112 140726096816656 139776574336759 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 /proc/3179/statm: 7058444 22222 3455 1 0 7019544 0 [pid=3179/tid=3180] ppid=3177 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7 /proc/3179/task/3180/stat : 3180 (java) R 3177 3177 2396 0 -1 4202560 9312 0 0 0 64 4 0 0 20 0 20 0 511143699 28911386624 22222 33554432000 4194304 4196468 140726096834112 139776578573328 139776574348694 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3181] ppid=3177 vsize=28233776 memory=140417647813488 CPUtime=0 cores=0-7 /proc/3179/task/3181/stat : 3181 (java) S 3177 3177 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511143700 28911386624 22222 33554432000 4194304 4196468 140726096834112 139776494189328 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3182] ppid=3177 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/3179/task/3182/stat : 3182 (java) S 3177 3177 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511143700 28911386624 22222 33554432000 4194304 4196468 140726096834112 139776493136784 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3183] ppid=3177 vsize=28233776 memory=1276 CPUtime=0 cores=0-7 /proc/3179/task/3183/stat : 3183 (java) S 3177 3177 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511143700 28911386624 22222 33554432000 4194304 4196468 140726096834112 139776492084240 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 ################ # More data... # ################ [pid=3179/tid=3196] ppid=3177 vsize=28769364 memory=-7522837583129502606 CPUtime=0.9 cores=0-7 /proc/3179/task/3196/stat : 3196 (java) S 3177 3177 2396 0 -1 1077944384 6813 0 0 0 87 3 0 0 20 0 28 0 511143704 29459828736 66171 33554432000 4194304 4196468 140726096834112 139775884384624 139776574347906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3197] ppid=3177 vsize=28769364 memory=1399101730491701635 CPUtime=0 cores=0-7 /proc/3179/task/3197/stat : 3197 (java) S 3177 3177 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511143705 29459828736 66171 33554432000 4194304 4196468 140726096834112 139775883332320 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3198] ppid=3177 vsize=28769364 memory=264684 CPUtime=0 cores=0-7 /proc/3179/task/3198/stat : 3198 (java) S 3177 3177 2396 0 -1 1077944384 1347 0 0 0 0 0 0 0 20 0 28 0 511143705 29459828736 66171 33554432000 4194304 4196468 140726096834112 139775882279856 139776574347906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3304] ppid=3177 vsize=28769364 memory=1452 CPUtime=3.23 cores=0-7 /proc/3179/task/3304/stat : 3304 (java) R 3177 3177 2396 0 -1 4202560 165 0 0 0 323 0 0 0 20 0 28 0 511144968 29459828736 66171 33554432000 4194304 4196468 140726096834112 139775862541656 139776171806392 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3305] ppid=3177 vsize=28769364 memory=264200 CPUtime=3.28 cores=0-7 /proc/3179/task/3305/stat : 3305 (java) R 3177 3177 2396 0 -1 4202560 50 0 0 0 328 0 0 0 20 0 28 0 511144968 29459828736 66171 33554432000 4194304 4196468 140726096834112 139775865700176 139776179657022 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3306] ppid=3177 vsize=28769364 memory=1728 CPUtime=3.29 cores=0-7 /proc/3179/task/3306/stat : 3306 (java) R 3177 3177 2396 0 -1 4202560 87 0 0 0 329 0 0 0 20 0 28 0 511144968 29459828736 66171 33554432000 4194304 4196468 140726096834112 139775864647816 139776180302656 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3307] ppid=3177 vsize=28769364 memory=8204 CPUtime=3.3 cores=0-7 /proc/3179/task/3307/stat : 3307 (java) R 3177 3177 2396 0 -1 4202560 139 0 0 0 330 0 0 0 20 0 28 0 511144968 29459828736 66171 33554432000 4194304 4196468 140726096834112 139775868857960 139776178189729 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3308] ppid=3177 vsize=28769364 memory=9580 CPUtime=3.23 cores=0-7 /proc/3179/task/3308/stat : 3308 (java) R 3177 3177 2396 0 -1 4202560 113 0 0 0 323 0 0 0 20 0 28 0 511144968 29459828736 66171 33554432000 4194304 4196468 140726096834112 139775866753064 139776178548348 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3309] ppid=3177 vsize=28769364 memory=1052 CPUtime=3.31 cores=0-7 /proc/3179/task/3309/stat : 3309 (java) R 3177 3177 2396 0 -1 4202560 83 0 0 0 331 0 0 0 20 0 28 0 511144968 29459828736 66171 33554432000 4194304 4196468 140726096834112 139775870963464 139776178570799 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3310] ppid=3177 vsize=28769364 memory=776 CPUtime=3.28 cores=0-7 /proc/3179/task/3310/stat : 3310 (java) R 3177 3177 2396 0 -1 4202560 202 0 0 0 328 0 0 0 20 0 28 0 511144968 29459828736 66171 33554432000 4194304 4196468 140726096834112 139775867805512 139776178573460 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3311] ppid=3177 vsize=28769364 memory=280835295323008 CPUtime=3.17 cores=0-7 /proc/3179/task/3311/stat : 3311 (java) R 3177 3177 2396 0 -1 4202560 198 0 0 0 317 0 0 0 20 0 28 0 511144968 29459828736 66171 33554432000 4194304 4196468 140726096834112 139775869911704 139776179657602 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 Current children cumulated CPU time: 122.05 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 266136 KiB [startup+16.8014 s] /proc/loadavg: 7.52 8.13 8.07 9/220 3311 /proc/meminfo: memFree=25393996/32770624 swapFree=66953496/67108860 [pid=3177] ppid=3174 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/3177/stat : 3177 (xcsp3-exec) S 3174 3177 2396 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511143698 115843072 363 33554432000 4194304 5098028 140721106549360 140721106547464 140150125924988 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36425728 140721106551633 140721106551893 140721106551893 140721106554822 0 /proc/3177/statm: 28282 363 304 221 0 87 0 [pid=3179] ppid=3177 vsize=28769364 memory=264708 CPUtime=128.38 cores=0-7 /proc/3179/stat : 3179 (java) S 3177 3177 2396 0 -1 1077944320 61966 0 0 0 12810 28 0 0 20 0 28 0 511143699 29459828736 66177 33554432000 4194304 4196468 140726096834112 140726096816656 139776574336759 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 /proc/3179/statm: 7192341 66177 3529 1 0 7153441 0 [pid=3179/tid=3180] ppid=3177 vsize=28769364 memory=64504 CPUtime=0.81 cores=0-7 /proc/3179/task/3180/stat : 3180 (java) S 3177 3177 2396 0 -1 1077944384 9839 0 0 0 77 4 0 0 20 0 28 0 511143699 29459828736 66177 33554432000 4194304 4196468 140726096834112 139776578577536 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3181] ppid=3177 vsize=28769364 memory=988 CPUtime=0 cores=0-7 /proc/3179/task/3181/stat : 3181 (java) S 3177 3177 2396 0 -1 1077944384 1026 0 0 0 0 0 0 0 20 0 28 0 511143700 29459828736 66177 33554432000 4194304 4196468 140726096834112 139776494189328 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3182] ppid=3177 vsize=28769364 memory=2008 CPUtime=0.01 cores=0-7 /proc/3179/task/3182/stat : 3182 (java) S 3177 3177 2396 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 28 0 511143700 29459828736 66177 33554432000 4194304 4196468 140726096834112 139776493136784 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3183] ppid=3177 vsize=28769364 memory=1424 CPUtime=0 cores=0-7 /proc/3179/task/3183/stat : 3183 (java) S 3177 3177 2396 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 28 0 511143700 29459828736 66177 33554432000 4194304 4196468 140726096834112 139776492084240 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3184] ppid=3177 vsize=28769364 memory=3640 CPUtime=0.01 cores=0-7 /proc/3179/task/3184/stat : 3184 (java) S 3177 3177 2396 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 28 0 511143700 29459828736 66177 33554432000 4194304 4196468 140726096834112 139776491031696 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3185] ppid=3177 vsize=28769364 memory=2305 CPUtime=0 cores=0-7 /proc/3179/task/3185/stat : 3185 (java) S 3177 3177 2396 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 511143700 29459828736 66177 33554432000 4194304 4196468 140726096834112 139776121493776 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3186] ppid=3177 vsize=28769364 memory=288230596050944315 CPUtime=0 cores=0-7 /proc/3179/task/3186/stat : 3186 (java) S 3177 3177 2396 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 511143700 29459828736 66177 33554432000 4194304 4196468 140726096834112 139776120441232 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3187] ppid=3177 vsize=28769364 memory=14698482732632486 CPUtime=0 cores=0-7 /proc/3179/task/3187/stat : 3187 (java) S 3177 3177 2396 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 28 0 511143700 29459828736 66177 33554432000 4194304 4196468 140726096834112 139776119388688 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3188] ppid=3177 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/3179/task/3188/stat : 3188 (java) S 3177 3177 2396 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 511143700 29459828736 66177 33554432000 4194304 4196468 140726096834112 139776118336144 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3189] ppid=3177 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7 /proc/3179/task/3189/stat : 3189 (java) S 3177 3177 2396 0 -1 1077944384 584 0 0 0 1 0 0 0 20 0 28 0 511143701 29459828736 66177 33554432000 4194304 4196468 140726096834112 139775958923760 139776574347906 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3190] ppid=3177 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/3179/task/3190/stat : 3190 (java) S 3177 3177 2396 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 511143702 29459828736 66177 33554432000 4194304 4196468 140726096834112 139775957870048 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3191] ppid=3177 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/3179/task/3191/stat : 3191 (java) S 3177 3177 2396 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 511143702 29459828736 66177 33554432000 4194304 4196468 140726096834112 139775956817408 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3192] ppid=3177 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/3179/task/3192/stat : 3192 (java) S 3177 3177 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511143704 29459828736 66177 33554432000 4194304 4196468 140726096834112 139775955765968 139776574355355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3193] ppid=3177 vsize=28769364 memory=1 CPUtime=2.62 cores=0-7 /proc/3179/task/3193/stat : 3193 (java) S 3177 3177 2396 0 -1 1077944384 10547 0 0 0 260 2 0 0 20 0 28 0 511143704 29459828736 66177 33554432000 4194304 4196468 140726096834112 139775954712560 139776574347906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3194] ppid=3177 vsize=28769364 memory=0 CPUtime=2.53 cores=0-7 /proc/3179/task/3194/stat : 3194 (java) S 3177 3177 2396 0 -1 1077944384 9294 0 0 0 250 3 0 0 20 0 28 0 511143704 29459828736 66177 33554432000 4194304 4196468 140726096834112 139775953660016 139776574347906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3195] ppid=3177 vsize=28769364 memory=0 CPUtime=2.69 cores=0-7 /proc/3179/task/3195/stat : 3195 (java) S 3177 3177 2396 0 -1 1077944384 12824 0 0 0 265 4 0 0 20 0 28 0 511143704 29459828736 66177 33554432000 4194304 4196468 140726096834112 139775885437168 139776574347906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3196] ppid=3177 vsize=28769364 memory=0 CPUtime=0.9 cores=0-7 /proc/3179/task/3196/stat : 3196 (java) S 3177 3177 2396 0 -1 1077944384 6815 0 0 0 87 3 0 0 20 0 28 0 511143704 29459828736 66177 33554432000 4194304 4196468 140726096834112 139775884384624 139776574347906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3197] ppid=3177 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/3179/task/3197/stat : 3197 (java) S 3177 3177 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511143705 29459828736 66177 33554432000 4194304 4196468 140726096834112 139775883332320 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3198] ppid=3177 vsize=28769364 memory=1 CPUtime=0 cores=0-7 /proc/3179/task/3198/stat : 3198 (java) S 3177 3177 2396 0 -1 1077944384 1349 0 0 0 0 0 0 0 20 0 28 0 511143705 29459828736 66177 33554432000 4194304 4196468 140726096834112 139775882279856 139776574347906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3304] ppid=3177 vsize=28769364 memory=0 CPUtime=4.02 cores=0-7 /proc/3179/task/3304/stat : 3304 (java) R 3177 3177 2396 0 -1 4202560 265 0 0 0 402 0 0 0 20 0 28 0 511144968 29459828736 66177 33554432000 4194304 4196468 140726096834112 139775862541544 139776178189842 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3305] ppid=3177 vsize=28769364 memory=0 CPUtime=4.07 cores=0-7 /proc/3179/task/3305/stat : 3305 (java) R 3177 3177 2396 0 -1 4202560 62 0 0 0 407 0 0 0 20 0 28 0 511144968 29459828736 66177 33554432000 4194304 4196468 140726096834112 139775865700664 139776179656598 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3306] ppid=3177 vsize=28769364 memory=0 CPUtime=4.08 cores=0-7 /proc/3179/task/3306/stat : 3306 (java) R 3177 3177 2396 0 -1 4202560 117 0 0 0 408 0 0 0 20 0 28 0 511144968 29459828736 66177 33554432000 4194304 4196468 140726096834112 139775864647816 139776177657058 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3307] ppid=3177 vsize=28769364 memory=262 CPUtime=4.09 cores=0-7 /proc/3179/task/3307/stat : 3307 (java) R 3177 3177 2396 0 -1 4202560 190 0 0 0 409 0 0 0 20 0 28 0 511144968 29459828736 66177 33554432000 4194304 4196468 140726096834112 139775868857888 139776178549623 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3308] ppid=3177 vsize=28769364 memory=0 CPUtime=4.02 cores=0-7 /proc/3179/task/3308/stat : 3308 (java) R 3177 3177 2396 0 -1 4202560 189 0 0 0 402 0 0 0 20 0 28 0 511144968 29459828736 66177 33554432000 4194304 4196468 140726096834112 139775866753064 139776176676480 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3309] ppid=3177 vsize=28769364 memory=268 CPUtime=4.1 cores=0-7 /proc/3179/task/3309/stat : 3309 (java) R 3177 3177 2396 0 -1 4202560 106 0 0 0 410 0 0 0 20 0 28 0 511144968 29459828736 66177 33554432000 4194304 4196468 140726096834112 139775870963304 139776180304891 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3310] ppid=3177 vsize=28769364 memory=90 CPUtime=4.06 cores=0-7 /proc/3179/task/3310/stat : 3310 (java) R 3177 3177 2396 0 -1 4202560 246 0 0 0 406 0 0 0 20 0 28 0 511144968 29459828736 66177 33554432000 4194304 4196468 140726096834112 139775867805672 139776180303374 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3311] ppid=3177 vsize=28769364 memory=4104 CPUtime=3.95 cores=0-7 /proc/3179/task/3311/stat : 3311 (java) R 3177 3177 2396 0 -1 4202560 214 0 0 0 395 0 0 0 20 0 28 0 511144968 29459828736 66177 33554432000 4194304 4196468 140726096834112 139775869911464 139776180457116 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 Current children cumulated CPU time: 128.38 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 266160 KiB [startup+17.2014 s] /proc/loadavg: 7.52 8.13 8.07 9/220 3311 /proc/meminfo: memFree=25394120/32770624 swapFree=66953496/67108860 [pid=3177] ppid=3174 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/3177/stat : 3177 (xcsp3-exec) S 3174 3177 2396 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511143698 115843072 363 33554432000 4194304 5098028 140721106549360 140721106547464 140150125924988 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36425728 140721106551633 140721106551893 140721106551893 140721106554822 0 /proc/3177/statm: 28282 363 304 221 0 87 0 [pid=3179] ppid=3177 vsize=28769364 memory=264776 CPUtime=131.57 cores=0-7 /proc/3179/stat : 3179 (java) S 3177 3177 2396 0 -1 1077944320 62443 0 0 0 13129 28 0 0 20 0 28 0 511143699 29459828736 66194 33554432000 4194304 4196468 140726096834112 140726096816656 139776574336759 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 /proc/3179/statm: 7192341 66194 3529 1 0 7153441 0 [pid=3179/tid=3180] ppid=3177 vsize=28769364 memory=7447098273618028901 CPUtime=0.81 cores=0-7 /proc/3179/task/3180/stat : 3180 (java) S 3177 3177 2396 0 -1 1077944384 9839 0 0 0 77 4 0 0 20 0 28 0 511143699 29459828736 66194 33554432000 4194304 4196468 140726096834112 139776578577536 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3181] ppid=3177 vsize=28769364 memory=5792262887553650768 CPUtime=0 cores=0-7 /proc/3179/task/3181/stat : 3181 (java) S 3177 3177 2396 0 -1 1077944384 1026 0 0 0 0 0 0 0 20 0 28 0 511143700 29459828736 66194 33554432000 4194304 4196468 140726096834112 139776494189328 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3182] ppid=3177 vsize=28769364 memory=6656426216303648864 CPUtime=0.01 cores=0-7 /proc/3179/task/3182/stat : 3182 (java) S 3177 3177 2396 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 28 0 511143700 29459828736 66194 33554432000 4194304 4196468 140726096834112 139776493136784 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3183] ppid=3177 vsize=28769364 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/3179/task/3183/stat : 3183 (java) S 3177 3177 2396 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 28 0 511143700 29459828736 66194 33554432000 4194304 4196468 140726096834112 139776492084240 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3184] ppid=3177 vsize=28769364 memory=6944613755361064352 CPUtime=0.01 cores=0-7 /proc/3179/task/3184/stat : 3184 (java) S 3177 3177 2396 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 28 0 511143700 29459828736 66194 33554432000 4194304 4196468 140726096834112 139776491031696 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3185] ppid=3177 vsize=28769364 memory=3467825813362914619 CPUtime=0 cores=0-7 /proc/3179/task/3185/stat : 3185 (java) S 3177 3177 2396 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 511143700 29459828736 66194 33554432000 4194304 4196468 140726096834112 139776121493776 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3186] ppid=3177 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/3179/task/3186/stat : 3186 (java) S 3177 3177 2396 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 511143700 29459828736 66194 33554432000 4194304 4196468 140726096834112 139776120441232 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3187] ppid=3177 vsize=28769364 memory=140417648558049 CPUtime=0 cores=0-7 /proc/3179/task/3187/stat : 3187 (java) S 3177 3177 2396 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 28 0 511143700 29459828736 66194 33554432000 4194304 4196468 140726096834112 139776119388688 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3188] ppid=3177 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/3179/task/3188/stat : 3188 (java) S 3177 3177 2396 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 511143700 29459828736 66194 33554432000 4194304 4196468 140726096834112 139776118336144 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3189] ppid=3177 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7 /proc/3179/task/3189/stat : 3189 (java) S 3177 3177 2396 0 -1 1077944384 584 0 0 0 1 0 0 0 20 0 28 0 511143701 29459828736 66194 33554432000 4194304 4196468 140726096834112 139775958923760 139776574347906 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3190] ppid=3177 vsize=28769364 memory=280835296955040 CPUtime=0 cores=0-7 /proc/3179/task/3190/stat : 3190 (java) S 3177 3177 2396 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 511143702 29459828736 66194 33554432000 4194304 4196468 140726096834112 139775957870048 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3191] ppid=3177 vsize=28769364 memory=140417648480720 CPUtime=0 cores=0-7 /proc/3179/task/3191/stat : 3191 (java) S 3177 3177 2396 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 511143702 29459828736 66194 33554432000 4194304 4196468 140726096834112 139775956817408 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3192] ppid=3177 vsize=28769364 memory=1452 CPUtime=0 cores=0-7 /proc/3179/task/3192/stat : 3192 (java) S 3177 3177 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511143704 29459828736 66194 33554432000 4194304 4196468 140726096834112 139775955765968 139776574355355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3193] ppid=3177 vsize=28769364 memory=264688 CPUtime=2.62 cores=0-7 /proc/3179/task/3193/stat : 3193 (java) S 3177 3177 2396 0 -1 1077944384 10547 0 0 0 260 2 0 0 20 0 28 0 511143704 29459828736 66194 33554432000 4194304 4196468 140726096834112 139775954712560 139776574347906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3194] ppid=3177 vsize=28769364 memory=520 CPUtime=2.53 cores=0-7 /proc/3179/task/3194/stat : 3194 (java) S 3177 3177 2396 0 -1 1077944384 9294 0 0 0 250 3 0 0 20 0 28 0 511143704 29459828736 66194 33554432000 4194304 4196468 140726096834112 139775953660016 139776574347906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3195] ppid=3177 vsize=28769364 memory=1560 CPUtime=2.69 cores=0-7 /proc/3179/task/3195/stat : 3195 (java) S 3177 3177 2396 0 -1 1077944384 12824 0 0 0 265 4 0 0 20 0 28 0 511143704 29459828736 66194 33554432000 4194304 4196468 140726096834112 139775885437168 139776574347906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3196] ppid=3177 vsize=28769364 memory=924 CPUtime=0.9 cores=0-7 /proc/3179/task/3196/stat : 3196 (java) S 3177 3177 2396 0 -1 1077944384 6815 0 0 0 87 3 0 0 20 0 28 0 511143704 29459828736 66194 33554432000 4194304 4196468 140726096834112 139775884384624 139776574347906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3197] ppid=3177 vsize=28769364 memory=3688 CPUtime=0 cores=0-7 /proc/3179/task/3197/stat : 3197 (java) S 3177 3177 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511143705 29459828736 66194 33554432000 4194304 4196468 140726096834112 139775883332320 139776574346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3198] ppid=3177 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/3179/task/3198/stat : 3198 (java) S 3177 3177 2396 0 -1 1077944384 1364 0 0 0 0 0 0 0 20 0 28 0 511143705 29459828736 66194 33554432000 4194304 4196468 140726096834112 139775882279856 139776574347906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3304] ppid=3177 vsize=28769364 memory=0 CPUtime=4.42 cores=0-7 /proc/3179/task/3304/stat : 3304 (java) R 3177 3177 2396 0 -1 4202560 428 0 0 0 442 0 0 0 20 0 28 0 511144968 29459828736 66194 33554432000 4194304 4196468 140726096834112 139775862541544 139776178190178 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3305] ppid=3177 vsize=28769364 memory=140417648329520 CPUtime=4.47 cores=0-7 /proc/3179/task/3305/stat : 3305 (java) R 3177 3177 2396 0 -1 4202560 66 0 0 0 447 0 0 0 20 0 28 0 511144968 29459828736 66194 33554432000 4194304 4196468 140726096834112 139775865700664 139776178547984 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3306] ppid=3177 vsize=28769364 memory=0 CPUtime=4.48 cores=0-7 /proc/3179/task/3306/stat : 3306 (java) R 3177 3177 2396 0 -1 4202560 192 0 0 0 448 0 0 0 20 0 28 0 511144968 29459828736 66194 33554432000 4194304 4196468 140726096834112 139775864647816 139776178717975 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3307] ppid=3177 vsize=28769364 memory=6656426216303648864 CPUtime=4.49 cores=0-7 /proc/3179/task/3307/stat : 3307 (java) R 3177 3177 2396 0 -1 4202560 266 0 0 0 449 0 0 0 20 0 28 0 511144968 29459828736 66194 33554432000 4194304 4196468 140726096834112 139775868857888 139776178549337 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3308] ppid=3177 vsize=28769364 memory=6944656592455360604 CPUtime=4.42 cores=0-7 /proc/3179/task/3308/stat : 3308 (java) R 3177 3177 2396 0 -1 4202560 245 0 0 0 442 0 0 0 20 0 28 0 511144968 29459828736 66194 33554432000 4194304 4196468 140726096834112 139775866753064 139776179656598 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3309] ppid=3177 vsize=28769364 memory=280835295019248 CPUtime=4.5 cores=0-7 /proc/3179/task/3309/stat : 3309 (java) R 3177 3177 2396 0 -1 4202560 145 0 0 0 450 0 0 0 20 0 28 0 511144968 29459828736 66194 33554432000 4194304 4196468 140726096834112 139775870963304 139776178415088 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3310] ppid=3177 vsize=28769364 memory=6441387073896410215 CPUtime=4.46 cores=0-7 /proc/3179/task/3310/stat : 3310 (java) R 3177 3177 2396 0 -1 4202560 272 0 0 0 446 0 0 0 20 0 28 0 511144968 29459828736 66194 33554432000 4194304 4196468 140726096834112 139775867805672 139776179657050 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 [pid=3179/tid=3311] ppid=3177 vsize=28769364 memory=7447093854163985260 CPUtime=4.34 cores=0-7 /proc/3179/task/3311/stat : 3311 (java) R 3177 3177 2396 0 -1 4202560 237 0 0 0 434 0 0 0 20 0 28 0 511144968 29459828736 66194 33554432000 4194304 4196468 140726096834112 139775869911464 139776179656985 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14139392 140726096839638 140726096839814 140726096839814 140726096842703 0 Current children cumulated CPU time: 131.57 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 266228 KiB Child status: 0 Real time (s): 17.2805 CPU time (s): 132.096 CPU user time (s): 131.797 CPU system time (s): 0.299446 CPU usage (%): 764.424 Max. virtual memory (cumulated for all children) (KiB): 28882492 Max. memory (cumulated for all children) (KiB): 266228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 131.797 system time used= 0.299446 maximum resident set size= 264776 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 64659 page faults= 0 swaps= 0 block input operations= 0 block output operations= 152 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6977 involuntary context switches= 2454 # summary of solver processes directly reported to runsolver: # pid: 3177 # total CPU time (s): 132.096 # total CPU user time (s): 131.797 # total CPU system time (s): 0.299446 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.137471 second user time and 0.253683 second system time The end
Begin job on node119 at 2019-09-24 21:10:48 IDJOB=4407087 IDBENCH=128523 IDSOLVER=2871 FILE ID=node119/4407087-1569352289 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-46-08.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-4407087-1569352289/watcher-4407087-1569352289 -o /var/tmp/evaluation-result-4407087-1569352289/solver-4407087-1569352289 -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 1558574747 HOME/instance-4407087-1569352289.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 1a36b9c979418634ede1d2fbb3d1d330 RANDOM SEED=1558574747 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: 25645516 kB MemAvailable: 31797976 kB Buffers: 133272 kB Cached: 6118436 kB SwapCached: 46740 kB Active: 3109144 kB Inactive: 3194156 kB Active(anon): 3344 kB Inactive(anon): 105180 kB Active(file): 3105800 kB Inactive(file): 3088976 kB Unevictable: 107736 kB Mlocked: 107736 kB SwapTotal: 67108860 kB SwapFree: 66953496 kB Dirty: 25964 kB Writeback: 0 kB AnonPages: 113112 kB Mapped: 57716 kB Shmem: 48540 kB Slab: 414892 kB SReclaimable: 386144 kB SUnreclaim: 28748 kB KernelStack: 3536 kB PageTables: 5632 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514564 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:11:06