Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 72 | 2102.11 | 265.022 |
Name | GolombRuler/ GolombRuler-a3v18-11_c18.xml |
MD5SUM | ed3f9a47d1f1ba76ff72e7160e212ad4 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 72 |
Best CPU time to get the best result obtained on this benchmark | 885.287 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 132 |
Number of constraints | 56 |
Number of domains | 2 |
Minimum domain size | 121 |
Maximum domain size | 122 |
Distribution of domain sizes | [{"size":121,"count":55},{"size":122,"count":11}] |
Minimum variable degree | 0 |
Maximum variable degree | 11 |
Distribution of variable degrees | [{"degree":0,"count":66},{"degree":2,"count":55},{"degree":10,"count":10},{"degree":11,"count":1}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 55 |
Distribution of constraint arities | [{"arity":3,"count":55},{"arity":55,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 55 |
Distribution of constraint types | [{"type":"intension","count":55},{"type":"allDifferent","count":1}] |
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-4404810-1569011947.xml" -tl '20160s' -p 8 0.12/0.20 c Choco 3fb4b153 0.12/0.20 c [HOME/instance-4404810-1569011947.xml, -tl, 20160s, -p, 8] 0.33/0.25 c 8 solvers in parallel 0.33/0.32 c parse instance... 1.50/0.76 c solve instance... 1.89/0.85 o 96 1.89/0.88 o 93 2.58/0.92 o 90 2.58/0.97 o 89 3.22/1.10 o 88 3.99/1.18 o 87 4.67/1.25 o 85 4.67/1.26 o 81 7.77/1.70 o 78 22.08/3.47 o 77 23.92/3.79 o 76 32.66/4.84 o 74 37.46/5.47 o 72 2101.27/265.00 s OPTIMUM FOUND 2101.27/265.00 v <instantiation> 2101.27/265.00 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[6][7] y[6][8] y[6][9] y[6][10] y[7][8] y[7][9] y[7][10] y[8][9] y[8][10] y[9][10] </list> 2101.27/265.00 v <values>0 1 4 13 28 33 47 54 64 70 72 1 4 13 28 33 47 54 64 70 72 3 12 27 32 46 53 63 69 71 9 24 29 43 50 60 66 68 15 20 34 41 51 57 59 5 19 26 36 42 44 14 21 31 37 39 7 17 23 25 10 16 18 6 8 2 </values> 2101.27/265.00 v </instantiation>
OK 72
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: 16375 MiB (12524 MiB free) memory of node 1: 16384 MiB (12340 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404810-1569011947/watcher-4404810-1569011947 -o /tmp/evaluation-result-4404810-1569011947/solver-4404810-1569011947 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1324521208-27878 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1684861073 HOME/instance-4404810-1569011947.xml running on 8 cores: 0-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=28818, runsolver pid=28815 Current StackSize limit: 8192 KiB [startup+0.100097 s]* /proc/loadavg: 6.49 7.72 7.93 3/211 28839 /proc/meminfo: memFree=25444648/32770688 swapFree=66927240/67108860 [pid=28818] ppid=28815 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/28818/stat : 28818 (xcsp3-exec) S 28815 28818 27851 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 477200942 115843072 363 33554432000 4194304 5098028 140732611369840 140732611367944 139779039924860 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8278016 140732611371893 140732611372137 140732611372137 140732611375050 0 /proc/28818/statm: 28282 363 305 221 0 87 0 [pid=28820] ppid=28818 vsize=28227396 memory=29892 CPUtime=0.12 cores=0-7 /proc/28820/stat : 28820 (java) S 28818 28818 27851 0 -1 1077944320 5862 0 0 0 11 1 0 0 20 0 20 0 477200942 28904853504 7473 33554432000 4194304 4196468 140724308515360 140724308497904 140224583155447 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 /proc/28820/statm: 7056849 7473 3147 1 0 7019032 0 [pid=28820/tid=28821] ppid=28818 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/28820/task/28821/stat : 28821 (java) R 28818 28818 27851 0 -1 4202560 3783 0 0 0 8 0 0 0 20 0 20 0 477200943 28904853504 7473 33554432000 4194304 4196468 140724308515360 140224587388904 140224583167382 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28822] ppid=28818 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/28820/task/28822/stat : 28822 (java) S 28818 28818 27851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477200944 28904853504 7473 33554432000 4194304 4196468 140724308515360 140224535775888 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28823] ppid=28818 vsize=28227396 memory=140529751783040 CPUtime=0 cores=0-7 /proc/28820/task/28823/stat : 28823 (java) S 28818 28818 27851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477200944 28904853504 7473 33554432000 4194304 4196468 140724308515360 140224534723088 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28824] ppid=28818 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28820/task/28824/stat : 28824 (java) S 28818 28818 27851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477200944 28904853504 7473 33554432000 4194304 4196468 140724308515360 140224533670288 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28825] ppid=28818 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28820/task/28825/stat : 28825 (java) S 28818 28818 27851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477200944 28904853504 7473 33554432000 4194304 4196468 140724308515360 140224532617488 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28826] ppid=28818 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28820/task/28826/stat : 28826 (java) S 28818 28818 27851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477200944 28904853504 7473 33554432000 4194304 4196468 140724308515360 140224531565712 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28827] ppid=28818 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/28820/task/28827/stat : 28827 (java) S 28818 28818 27851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477200944 28904853504 7473 33554432000 4194304 4196468 140724308515360 140224530512912 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28828] ppid=28818 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28820/task/28828/stat : 28828 (java) S 28818 28818 27851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477200944 28904853504 7473 33554432000 4194304 4196468 140724308515360 140224529460112 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28829] ppid=28818 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28820/task/28829/stat : 28829 (java) S 28818 28818 27851 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 477200944 28904853504 7473 33554432000 4194304 4196468 140724308515360 140224528407312 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28830] ppid=28818 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28820/task/28830/stat : 28830 (java) S 28818 28818 27851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477200945 28904853504 7473 33554432000 4194304 4196468 140724308515360 140223248595312 140224583166594 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28831] ppid=28818 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28820/task/28831/stat : 28831 (java) S 28818 28818 27851 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477200946 28904853504 7473 33554432000 4194304 4196468 140724308515360 140223247541280 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28832] ppid=28818 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28820/task/28832/stat : 28832 (java) S 28818 28818 27851 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477200946 28904853504 7473 33554432000 4194304 4196468 140724308515360 140223246488432 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28833] ppid=28818 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28820/task/28833/stat : 28833 (java) S 28818 28818 27851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477200949 28904853504 7473 33554432000 4194304 4196468 140724308515360 140223245436752 140224583174043 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28834] ppid=28818 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28820/task/28834/stat : 28834 (java) S 28818 28818 27851 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 20 0 477200949 28904853504 7473 33554432000 4194304 4196468 140724308515360 140223244385136 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28835] ppid=28818 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28820/task/28835/stat : 28835 (java) S 28818 28818 27851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477200949 28904853504 7473 33554432000 4194304 4196468 140724308515360 140223243332336 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28836] ppid=28818 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28820/task/28836/stat : 28836 (java) S 28818 28818 27851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477200949 28904853504 7473 33554432000 4194304 4196468 140724308515360 140223242279536 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28837] ppid=28818 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/28820/task/28837/stat : 28837 (java) S 28818 28818 27851 0 -1 1077944384 338 0 0 0 1 0 0 0 20 0 20 0 477200949 28904853504 7473 33554432000 4194304 4196468 140724308515360 140223241226736 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28838] ppid=28818 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28820/task/28838/stat : 28838 (java) S 28818 28818 27851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477200949 28904853504 7473 33554432000 4194304 4196468 140724308515360 140223240174176 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28839] ppid=28818 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/28820/task/28839/stat : 28839 (java) S 28818 28818 27851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477200949 28904853504 7473 33554432000 4194304 4196468 140724308515360 140223239121456 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31344 KiB [startup+0.21144 s]* /proc/loadavg: 6.49 7.72 7.93 2/211 28839 /proc/meminfo: memFree=25430868/32770688 swapFree=66927240/67108860 [pid=28818] ppid=28815 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/28818/stat : 28818 (xcsp3-exec) S 28815 28818 27851 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 477200942 115843072 363 33554432000 4194304 5098028 140732611369840 140732611367944 139779039924860 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8278016 140732611371893 140732611372137 140732611372137 140732611375050 0 /proc/28818/statm: 28282 363 305 221 0 87 0 [pid=28820] ppid=28818 vsize=28227396 memory=40380 CPUtime=0.33 cores=0-7 /proc/28820/stat : 28820 (java) S 28818 28818 27851 0 -1 1077944320 9400 0 0 0 30 3 0 0 20 0 20 0 477200942 28904853504 10095 33554432000 4194304 4196468 140724308515360 140724308497904 140224583155447 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 /proc/28820/statm: 7056849 10095 3197 1 0 7019032 0 [pid=28820/tid=28821] ppid=28818 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/28820/task/28821/stat : 28821 (java) R 28818 28818 27851 0 -1 4202560 6599 0 0 0 18 2 0 0 20 0 20 0 477200943 28904853504 10095 33554432000 4194304 4196468 140724308515360 140224587374784 140224569273264 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28822] ppid=28818 vsize=28227396 memory=342 CPUtime=0 cores=0-7 /proc/28820/task/28822/stat : 28822 (java) S 28818 28818 27851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477200944 28904853504 10095 33554432000 4194304 4196468 140724308515360 140224535775888 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28823] ppid=28818 vsize=28227396 memory=140529751806973 CPUtime=0 cores=0-7 /proc/28820/task/28823/stat : 28823 (java) S 28818 28818 27851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477200944 28904853504 10095 33554432000 4194304 4196468 140724308515360 140224534723088 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28824] ppid=28818 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/28820/task/28824/stat : 28824 (java) S 28818 28818 27851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477200944 28904853504 10095 33554432000 4194304 4196468 140724308515360 140224533670288 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28825] ppid=28818 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28820/task/28825/stat : 28825 (java) S 28818 28818 27851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477200944 28904853504 10095 33554432000 4194304 4196468 140724308515360 140224532617488 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28826] ppid=28818 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28820/task/28826/stat : 28826 (java) S 28818 28818 27851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477200944 28904853504 10095 33554432000 4194304 4196468 140724308515360 140224531565712 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28827] ppid=28818 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/28820/task/28827/stat : 28827 (java) S 28818 28818 27851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477200944 28904853504 10095 33554432000 4194304 4196468 140724308515360 140224530512912 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28828] ppid=28818 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28820/task/28828/stat : 28828 (java) S 28818 28818 27851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477200944 28904853504 10095 33554432000 4194304 4196468 140724308515360 140224529460112 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28829] ppid=28818 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28820/task/28829/stat : 28829 (java) S 28818 28818 27851 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 477200944 28904853504 10095 33554432000 4194304 4196468 140724308515360 140224528407312 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28830] ppid=28818 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28820/task/28830/stat : 28830 (java) S 28818 28818 27851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477200945 28904853504 10095 33554432000 4194304 4196468 140724308515360 140223248595312 140224583166594 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28831] ppid=28818 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28820/task/28831/stat : 28831 (java) S 28818 28818 27851 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477200946 28904853504 10095 33554432000 4194304 4196468 140724308515360 140223247541280 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28832] ppid=28818 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28820/task/28832/stat : 28832 (java) S 28818 28818 27851 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477200946 28904853504 10095 33554432000 4194304 4196468 140724308515360 140223246488432 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28833] ppid=28818 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28820/task/28833/stat : 28833 (java) S 28818 28818 27851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477200949 28904853504 10095 33554432000 4194304 4196468 140724308515360 140223245436752 140224583174043 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28834] ppid=28818 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/28820/task/28834/stat : 28834 (java) S 28818 28818 27851 0 -1 1077944384 458 0 0 0 1 0 0 0 20 0 20 0 477200949 28904853504 10095 33554432000 4194304 4196468 140724308515360 140223244385136 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28835] ppid=28818 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28820/task/28835/stat : 28835 (java) S 28818 28818 27851 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 477200949 28904853504 10095 33554432000 4194304 4196468 140724308515360 140223243332336 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28836] ppid=28818 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/28820/task/28836/stat : 28836 (java) S 28818 28818 27851 0 -1 1077944384 253 0 0 0 2 0 0 0 20 0 20 0 477200949 28904853504 10095 33554432000 4194304 4196468 140724308515360 140223242279536 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28837] ppid=28818 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/28820/task/28837/stat : 28837 (java) S 28818 28818 27851 0 -1 1077944384 733 0 0 0 7 0 0 0 20 0 20 0 477200949 28904853504 10095 33554432000 4194304 4196468 140724308515360 140223241226736 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28838] ppid=28818 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28820/task/28838/stat : 28838 (java) S 28818 28818 27851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477200949 28904853504 10095 33554432000 4194304 4196468 140724308515360 140223240174176 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28839] ppid=28818 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/28820/task/28839/stat : 28839 (java) S 28818 28818 27851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477200949 28904853504 10095 33554432000 4194304 4196468 140724308515360 140223239121456 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41832 KiB [startup+0.311409 s]* /proc/loadavg: 6.49 7.72 7.93 4/211 28839 /proc/meminfo: memFree=25426104/32770688 swapFree=66927240/67108860 [pid=28818] ppid=28815 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/28818/stat : 28818 (xcsp3-exec) S 28815 28818 27851 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 477200942 115843072 363 33554432000 4194304 5098028 140732611369840 140732611367944 139779039924860 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8278016 140732611371893 140732611372137 140732611372137 140732611375050 0 /proc/28818/statm: 28282 363 305 221 0 87 0 [pid=28820] ppid=28818 vsize=28231652 memory=46412 CPUtime=0.51 cores=0-7 /proc/28820/stat : 28820 (java) S 28818 28818 27851 0 -1 1077944320 10529 0 0 0 47 4 0 0 20 0 20 0 477200942 28909211648 11603 33554432000 4194304 4196468 140724308515360 140724308497904 140224583155447 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 /proc/28820/statm: 7057913 11603 3263 1 0 7019032 0 [pid=28820/tid=28821] ppid=28818 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/28820/task/28821/stat : 28821 (java) R 28818 28818 27851 0 -1 4202560 7591 0 0 0 27 3 0 0 20 0 20 0 477200943 28909211648 11603 33554432000 4194304 4196468 140724308515360 140224587392672 140224583176794 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28822] ppid=28818 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/28820/task/28822/stat : 28822 (java) S 28818 28818 27851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477200944 28909211648 11603 33554432000 4194304 4196468 140724308515360 140224535775888 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28823] ppid=28818 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/28820/task/28823/stat : 28823 (java) S 28818 28818 27851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477200944 28909211648 11603 33554432000 4194304 4196468 140724308515360 140224534723088 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28824] ppid=28818 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/28820/task/28824/stat : 28824 (java) S 28818 28818 27851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477200944 28909211648 11603 33554432000 4194304 4196468 140724308515360 140224533670288 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28825] ppid=28818 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/28820/task/28825/stat : 28825 (java) S 28818 28818 27851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477200944 28909211648 11603 33554432000 4194304 4196468 140724308515360 140224532617488 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28826] ppid=28818 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/28820/task/28826/stat : 28826 (java) S 28818 28818 27851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477200944 28909211648 11603 33554432000 4194304 4196468 140724308515360 140224531565712 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28827] ppid=28818 vsize=28231652 memory=140529652298671 CPUtime=0 cores=0-7 /proc/28820/task/28827/stat : 28827 (java) S 28818 28818 27851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477200944 28909211648 11603 33554432000 4194304 4196468 140724308515360 140224530512912 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28828] ppid=28818 vsize=28231652 memory=140529652300976 CPUtime=0 cores=0-7 /proc/28820/task/28828/stat : 28828 (java) S 28818 28818 27851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477200944 28909211648 11603 33554432000 4194304 4196468 140724308515360 140224529460112 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28829] ppid=28818 vsize=28231652 memory=140529652303280 CPUtime=0 cores=0-7 /proc/28820/task/28829/stat : 28829 (java) S 28818 28818 27851 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 477200944 28909211648 11603 33554432000 4194304 4196468 140724308515360 140224528407312 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28830] ppid=28818 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/28820/task/28830/stat : 28830 (java) S 28818 28818 27851 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477200945 28909211648 11603 33554432000 4194304 4196468 140724308515360 140223248595312 140224583166594 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28831] ppid=28818 vsize=28231652 memory=281059304613520 CPUtime=0 cores=0-7 /proc/28820/task/28831/stat : 28831 (java) S 28818 28818 27851 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477200946 28909211648 11603 33554432000 4194304 4196468 140724308515360 140223247541280 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28832] ppid=28818 vsize=28231652 memory=281059304620432 CPUtime=0 cores=0-7 /proc/28820/task/28832/stat : 28832 (java) S 28818 28818 27851 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477200946 28909211648 11603 33554432000 4194304 4196468 140724308515360 140223246488432 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28833] ppid=28818 vsize=28231652 memory=281059304561712 CPUtime=0 cores=0-7 /proc/28820/task/28833/stat : 28833 (java) S 28818 28818 27851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477200949 28909211648 11603 33554432000 4194304 4196468 140724308515360 140223245436752 140224583174043 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28834] ppid=28818 vsize=28231652 memory=281059304634256 CPUtime=0.01 cores=0-7 /proc/28820/task/28834/stat : 28834 (java) S 28818 28818 27851 0 -1 1077944384 458 0 0 0 1 0 0 0 20 0 20 0 477200949 28909211648 11603 33554432000 4194304 4196468 140724308515360 140223244385136 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28835] ppid=28818 vsize=28231652 memory=281059304641168 CPUtime=0.01 cores=0-7 /proc/28820/task/28835/stat : 28835 (java) S 28818 28818 27851 0 -1 1077944384 85 0 0 0 1 0 0 0 20 0 20 0 477200949 28909211648 11603 33554432000 4194304 4196468 140724308515360 140223243332336 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28836] ppid=28818 vsize=28231652 memory=281059304638864 CPUtime=0.03 cores=0-7 /proc/28820/task/28836/stat : 28836 (java) S 28818 28818 27851 0 -1 1077944384 262 0 0 0 3 0 0 0 20 0 20 0 477200949 28909211648 11603 33554432000 4194304 4196468 140724308515360 140223242279536 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28837] ppid=28818 vsize=28231652 memory=281059304655024 CPUtime=0.13 cores=0-7 /proc/28820/task/28837/stat : 28837 (java) S 28818 28818 27851 0 -1 1077944384 818 0 0 0 13 0 0 0 20 0 20 0 477200949 28909211648 11603 33554432000 4194304 4196468 140724308515360 140223241226736 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28838] ppid=28818 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/28820/task/28838/stat : 28838 (java) S 28818 28818 27851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477200949 28909211648 11603 33554432000 4194304 4196468 140724308515360 140223240174176 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28839] ppid=28818 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/28820/task/28839/stat : 28839 (java) S 28818 28818 27851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477200949 28909211648 11603 33554432000 4194304 4196468 140724308515360 140223239121456 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 47864 KiB [startup+0.701026 s] /proc/loadavg: 6.49 7.72 7.93 4/211 28839 /proc/meminfo: memFree=25415992/32770688 swapFree=66927240/67108860 [pid=28818] ppid=28815 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/28818/stat : 28818 (xcsp3-exec) S 28815 28818 27851 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 477200942 115843072 363 33554432000 4194304 5098028 140732611369840 140732611367944 139779039924860 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8278016 140732611371893 140732611372137 140732611372137 140732611375050 0 /proc/28818/statm: 28282 363 305 221 0 87 0 [pid=28820] ppid=28818 vsize=28233776 memory=78972 CPUtime=1.5 cores=0-7 /proc/28820/stat : 28820 (java) S 28818 28818 27851 0 -1 1077944320 14961 0 0 0 144 6 0 0 20 0 20 0 477200942 28911386624 19743 33554432000 4194304 4196468 140724308515360 140724308497904 140224583155447 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 /proc/28820/statm: 7058444 19743 3452 1 0 7019544 0 [pid=28820/tid=28821] ppid=28818 vsize=28233776 memory=281059305012912 CPUtime=0.68 cores=0-7 /proc/28820/task/28821/stat : 28821 (java) R 28818 28818 27851 0 -1 4202560 9380 0 0 0 64 4 0 0 20 0 20 0 477200943 28911386624 19743 33554432000 4194304 4196468 140724308515360 140224587390608 140224189508890 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28822] ppid=28818 vsize=28233776 memory=140529652507504 CPUtime=0 cores=0-7 /proc/28820/task/28822/stat : 28822 (java) S 28818 28818 27851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477200944 28911386624 19743 33554432000 4194304 4196468 140724308515360 140224535775888 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28823] ppid=28818 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/28820/task/28823/stat : 28823 (java) S 28818 28818 27851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477200944 28911386624 19743 33554432000 4194304 4196468 140724308515360 140224534723088 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28824] ppid=28818 vsize=28233776 memory=2820 CPUtime=0 cores=0-7 /proc/28820/task/28824/stat : 28824 (java) S 28818 28818 27851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477200944 28911386624 19743 33554432000 4194304 4196468 140724308515360 140224533670288 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 ################ # More data... # ################ [pid=28820/tid=28946] ppid=28818 vsize=28769364 memory=12028 CPUtime=254.28 cores=0-7 /proc/28820/task/28946/stat : 28946 (java) R 28818 28818 27851 0 -1 4202560 1567 0 0 0 25427 1 0 0 20 0 28 0 477201490 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223160669056 140224194838763 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28947] ppid=28818 vsize=28769364 memory=33528 CPUtime=255.35 cores=0-7 /proc/28820/task/28947/stat : 28947 (java) R 28818 28818 27851 0 -1 4202560 4265 0 0 0 25529 6 0 0 20 0 28 0 477201490 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223157510568 140224196358711 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28948] ppid=28818 vsize=28769364 memory=24248 CPUtime=254.33 cores=0-7 /proc/28820/task/28948/stat : 28948 (java) R 28818 28818 27851 0 -1 4202560 2734 0 0 0 25430 3 0 0 20 0 28 0 477201490 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223158565888 140224194755574 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28949] ppid=28818 vsize=28769364 memory=24282 CPUtime=254.67 cores=0-7 /proc/28820/task/28949/stat : 28949 (java) R 28818 28818 27851 0 -1 4202560 1734 0 0 0 25466 1 0 0 20 0 28 0 477201490 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223234191976 140224195539189 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28950] ppid=28818 vsize=28769364 memory=24352 CPUtime=255.3 cores=0-7 /proc/28820/task/28950/stat : 28950 (java) R 28818 28818 27851 0 -1 4202560 1929 0 0 0 25529 1 0 0 20 0 28 0 477201490 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223159615272 140224195227714 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28951] ppid=28818 vsize=28769364 memory=24350 CPUtime=255.38 cores=0-7 /proc/28820/task/28951/stat : 28951 (java) R 28818 28818 27851 0 -1 4202560 4403 0 0 0 25538 0 0 0 20 0 28 0 477201490 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223156457232 140224196613659 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 Current children cumulated CPU time: 2081.37 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 527456 KiB [startup+264.002 s]* /proc/loadavg: 7.97 7.99 8.00 9/220 28997 /proc/meminfo: memFree=24949360/32770688 swapFree=66927244/67108860 [pid=28818] ppid=28815 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/28818/stat : 28818 (xcsp3-exec) S 28815 28818 27851 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 477200942 115843072 363 33554432000 4194304 5098028 140732611369840 140732611367944 139779039924860 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8278016 140732611371893 140732611372137 140732611372137 140732611375050 0 /proc/28818/statm: 28282 363 305 221 0 87 0 [pid=28820] ppid=28818 vsize=28769364 memory=526004 CPUtime=2094.19 cores=0-7 /proc/28820/stat : 28820 (java) S 28818 28818 27851 0 -1 1077944320 96553 0 0 0 209344 75 0 0 20 0 28 0 477200942 29459828736 131501 33554432000 4194304 4196468 140724308515360 140724308497904 140224583155447 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 /proc/28820/statm: 7192341 131501 3520 1 0 7153441 0 [pid=28820/tid=28821] ppid=28818 vsize=28769364 memory=281059305321024 CPUtime=0.76 cores=0-7 /proc/28820/task/28821/stat : 28821 (java) S 28818 28818 27851 0 -1 1077944384 9496 0 0 0 72 4 0 0 20 0 28 0 477200943 29459828736 131501 33554432000 4194304 4196468 140724308515360 140224587396224 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28822] ppid=28818 vsize=28769364 memory=1452 CPUtime=0.43 cores=0-7 /proc/28820/task/28822/stat : 28822 (java) S 28818 28818 27851 0 -1 1077944384 2333 0 0 0 39 4 0 0 20 0 28 0 477200944 29459828736 131501 33554432000 4194304 4196468 140724308515360 140224535775888 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28823] ppid=28818 vsize=28769364 memory=4872558044660077418 CPUtime=0.41 cores=0-7 /proc/28820/task/28823/stat : 28823 (java) S 28818 28818 27851 0 -1 1077944384 2724 0 0 0 38 3 0 0 20 0 28 0 477200944 29459828736 131501 33554432000 4194304 4196468 140724308515360 140224534723088 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28824] ppid=28818 vsize=28769364 memory=776 CPUtime=0.42 cores=0-7 /proc/28820/task/28824/stat : 28824 (java) S 28818 28818 27851 0 -1 1077944384 2848 0 0 0 39 3 0 0 20 0 28 0 477200944 29459828736 131501 33554432000 4194304 4196468 140724308515360 140224533670288 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28825] ppid=28818 vsize=28769364 memory=660 CPUtime=0.42 cores=0-7 /proc/28820/task/28825/stat : 28825 (java) S 28818 28818 27851 0 -1 1077944384 3428 0 0 0 38 4 0 0 20 0 28 0 477200944 29459828736 131501 33554432000 4194304 4196468 140724308515360 140224532617488 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28826] ppid=28818 vsize=28769364 memory=1556 CPUtime=0.42 cores=0-7 /proc/28820/task/28826/stat : 28826 (java) S 28818 28818 27851 0 -1 1077944384 2891 0 0 0 39 3 0 0 20 0 28 0 477200944 29459828736 131501 33554432000 4194304 4196468 140724308515360 140224531565712 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28827] ppid=28818 vsize=28769364 memory=9588 CPUtime=0.41 cores=0-7 /proc/28820/task/28827/stat : 28827 (java) S 28818 28818 27851 0 -1 1077944384 2678 0 0 0 37 4 0 0 20 0 28 0 477200944 29459828736 131501 33554432000 4194304 4196468 140724308515360 140224530512912 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28828] ppid=28818 vsize=28769364 memory=1712 CPUtime=0.41 cores=0-7 /proc/28820/task/28828/stat : 28828 (java) S 28818 28818 27851 0 -1 1077944384 1260 0 0 0 38 3 0 0 20 0 28 0 477200944 29459828736 131501 33554432000 4194304 4196468 140724308515360 140224529460112 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28829] ppid=28818 vsize=28769364 memory=6036 CPUtime=0.42 cores=0-7 /proc/28820/task/28829/stat : 28829 (java) S 28818 28818 27851 0 -1 1077944384 3568 0 0 0 38 4 0 0 20 0 28 0 477200944 29459828736 131501 33554432000 4194304 4196468 140724308515360 140224528407312 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28830] ppid=28818 vsize=28769364 memory=3668 CPUtime=0.34 cores=0-7 /proc/28820/task/28830/stat : 28830 (java) S 28818 28818 27851 0 -1 1077944384 7069 0 0 0 28 6 0 0 20 0 28 0 477200945 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223248595312 140224583166594 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28831] ppid=28818 vsize=28769364 memory=1056 CPUtime=0 cores=0-7 /proc/28820/task/28831/stat : 28831 (java) S 28818 28818 27851 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 477200946 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223247541344 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28832] ppid=28818 vsize=28769364 memory=2820 CPUtime=0 cores=0-7 /proc/28820/task/28832/stat : 28832 (java) S 28818 28818 27851 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 477200946 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223246488448 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28833] ppid=28818 vsize=28769364 memory=1176 CPUtime=0 cores=0-7 /proc/28820/task/28833/stat : 28833 (java) S 28818 28818 27851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477200949 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223245436752 140224583174043 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28834] ppid=28818 vsize=28769364 memory=980 CPUtime=2.2 cores=0-7 /proc/28820/task/28834/stat : 28834 (java) S 28818 28818 27851 0 -1 1077944384 7194 0 0 0 218 2 0 0 20 0 28 0 477200949 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223244385136 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 34 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28835] ppid=28818 vsize=28769364 memory=14008 CPUtime=2.27 cores=0-7 /proc/28820/task/28835/stat : 28835 (java) S 28818 28818 27851 0 -1 1077944384 9045 0 0 0 225 2 0 0 20 0 28 0 477200949 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223243332336 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 33 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28836] ppid=28818 vsize=28769364 memory=12028 CPUtime=2.26 cores=0-7 /proc/28820/task/28836/stat : 28836 (java) S 28818 28818 27851 0 -1 1077944384 10939 0 0 0 223 3 0 0 20 0 28 0 477200949 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223242279536 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 31 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28837] ppid=28818 vsize=28769364 memory=33528 CPUtime=0.89 cores=0-7 /proc/28820/task/28837/stat : 28837 (java) S 28818 28818 27851 0 -1 1077944384 6474 0 0 0 89 0 0 0 20 0 28 0 477200949 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223241226736 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28838] ppid=28818 vsize=28769364 memory=2120 CPUtime=0 cores=0-7 /proc/28820/task/28838/stat : 28838 (java) S 28818 28818 27851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477200949 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223240174176 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28839] ppid=28818 vsize=28769364 memory=496 CPUtime=0.04 cores=0-7 /proc/28820/task/28839/stat : 28839 (java) S 28818 28818 27851 0 -1 1077944384 900 0 0 0 0 4 0 0 20 0 28 0 477200949 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223239121456 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28944] ppid=28818 vsize=28769364 memory=1560 CPUtime=256.25 cores=0-7 /proc/28820/task/28944/stat : 28944 (java) R 28818 28818 27851 0 -1 4202560 1477 0 0 0 25624 1 0 0 20 0 28 0 477201490 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223152254104 140224195227292 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28945] ppid=28818 vsize=28769364 memory=928 CPUtime=256.52 cores=0-7 /proc/28820/task/28945/stat : 28945 (java) R 28818 28818 27851 0 -1 4202560 1489 0 0 0 25651 1 0 0 20 0 28 0 477201490 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223155404456 140224196613802 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28946] ppid=28818 vsize=28769364 memory=1724 CPUtime=255.88 cores=0-7 /proc/28820/task/28946/stat : 28946 (java) R 28818 28818 27851 0 -1 4202560 1569 0 0 0 25587 1 0 0 20 0 28 0 477201490 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223160669192 140224563997960 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28947] ppid=28818 vsize=28769364 memory=1452 CPUtime=256.95 cores=0-7 /proc/28820/task/28947/stat : 28947 (java) R 28818 28818 27851 0 -1 4202560 4266 0 0 0 25689 6 0 0 20 0 28 0 477201490 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223157513704 140224195226789 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28948] ppid=28818 vsize=28769364 memory=526004 CPUtime=255.93 cores=0-7 /proc/28820/task/28948/stat : 28948 (java) R 28818 28818 27851 0 -1 4202560 2735 0 0 0 25590 3 0 0 20 0 28 0 477201490 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223158563208 140224196203047 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28949] ppid=28818 vsize=28769364 memory=1420 CPUtime=256.27 cores=0-7 /proc/28820/task/28949/stat : 28949 (java) R 28818 28818 27851 0 -1 4202560 1734 0 0 0 25626 1 0 0 20 0 28 0 477201490 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223234194912 140224196358639 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28950] ppid=28818 vsize=28769364 memory=776 CPUtime=256.88 cores=0-7 /proc/28820/task/28950/stat : 28950 (java) R 28818 28818 27851 0 -1 4202560 1929 0 0 0 25687 1 0 0 20 0 28 0 477201490 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223159615184 140224195415954 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28951] ppid=28818 vsize=28769364 memory=660 CPUtime=256.98 cores=0-7 /proc/28820/task/28951/stat : 28951 (java) R 28818 28818 27851 0 -1 4202560 4407 0 0 0 25698 0 0 0 20 0 28 0 477201490 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223156457248 140224196205921 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 Current children cumulated CPU time: 2094.19 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 527456 KiB [startup+264.802 s] /proc/loadavg: 7.97 7.99 8.00 9/220 28997 /proc/meminfo: memFree=24949360/32770688 swapFree=66927244/67108860 [pid=28818] ppid=28815 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/28818/stat : 28818 (xcsp3-exec) S 28815 28818 27851 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 477200942 115843072 363 33554432000 4194304 5098028 140732611369840 140732611367944 139779039924860 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8278016 140732611371893 140732611372137 140732611372137 140732611375050 0 /proc/28818/statm: 28282 363 305 221 0 87 0 [pid=28820] ppid=28818 vsize=28769364 memory=526012 CPUtime=2100.47 cores=0-7 /proc/28820/stat : 28820 (java) S 28818 28818 27851 0 -1 1077944320 96586 0 0 0 209972 75 0 0 20 0 28 0 477200942 29459828736 131503 33554432000 4194304 4196468 140724308515360 140724308497904 140224583155447 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 /proc/28820/statm: 7192341 131503 3520 1 0 7153441 0 [pid=28820/tid=28821] ppid=28818 vsize=28769364 memory=526004 CPUtime=0.76 cores=0-7 /proc/28820/task/28821/stat : 28821 (java) S 28818 28818 27851 0 -1 1077944384 9496 0 0 0 72 4 0 0 20 0 28 0 477200943 29459828736 131503 33554432000 4194304 4196468 140724308515360 140224587396224 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28822] ppid=28818 vsize=28769364 memory=1712 CPUtime=0.43 cores=0-7 /proc/28820/task/28822/stat : 28822 (java) S 28818 28818 27851 0 -1 1077944384 2338 0 0 0 39 4 0 0 20 0 28 0 477200944 29459828736 131503 33554432000 4194304 4196468 140724308515360 140224535775888 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28823] ppid=28818 vsize=28769364 memory=6036 CPUtime=0.41 cores=0-7 /proc/28820/task/28823/stat : 28823 (java) S 28818 28818 27851 0 -1 1077944384 2727 0 0 0 38 3 0 0 20 0 28 0 477200944 29459828736 131503 33554432000 4194304 4196468 140724308515360 140224534723088 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28824] ppid=28818 vsize=28769364 memory=3668 CPUtime=0.42 cores=0-7 /proc/28820/task/28824/stat : 28824 (java) S 28818 28818 27851 0 -1 1077944384 2852 0 0 0 39 3 0 0 20 0 28 0 477200944 29459828736 131503 33554432000 4194304 4196468 140724308515360 140224533670288 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28825] ppid=28818 vsize=28769364 memory=1452 CPUtime=0.43 cores=0-7 /proc/28820/task/28825/stat : 28825 (java) S 28818 28818 27851 0 -1 1077944384 3433 0 0 0 39 4 0 0 20 0 28 0 477200944 29459828736 131503 33554432000 4194304 4196468 140724308515360 140224532617488 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28826] ppid=28818 vsize=28769364 memory=526004 CPUtime=0.42 cores=0-7 /proc/28820/task/28826/stat : 28826 (java) S 28818 28818 27851 0 -1 1077944384 2892 0 0 0 39 3 0 0 20 0 28 0 477200944 29459828736 131503 33554432000 4194304 4196468 140724308515360 140224531565712 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28827] ppid=28818 vsize=28769364 memory=140529652321063 CPUtime=0.41 cores=0-7 /proc/28820/task/28827/stat : 28827 (java) S 28818 28818 27851 0 -1 1077944384 2682 0 0 0 37 4 0 0 20 0 28 0 477200944 29459828736 131503 33554432000 4194304 4196468 140724308515360 140224530512912 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28828] ppid=28818 vsize=28769364 memory=6944652177228980320 CPUtime=0.41 cores=0-7 /proc/28820/task/28828/stat : 28828 (java) S 28818 28818 27851 0 -1 1077944384 1261 0 0 0 38 3 0 0 20 0 28 0 477200944 29459828736 131503 33554432000 4194304 4196468 140724308515360 140224529460112 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28829] ppid=28818 vsize=28769364 memory=0 CPUtime=0.42 cores=0-7 /proc/28820/task/28829/stat : 28829 (java) S 28818 28818 27851 0 -1 1077944384 3571 0 0 0 38 4 0 0 20 0 28 0 477200944 29459828736 131503 33554432000 4194304 4196468 140724308515360 140224528407312 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28830] ppid=28818 vsize=28769364 memory=1452 CPUtime=0.34 cores=0-7 /proc/28820/task/28830/stat : 28830 (java) S 28818 28818 27851 0 -1 1077944384 7069 0 0 0 28 6 0 0 20 0 28 0 477200945 29459828736 131503 33554432000 4194304 4196468 140724308515360 140223248595312 140224583166594 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28831] ppid=28818 vsize=28769364 memory=64856 CPUtime=0 cores=0-7 /proc/28820/task/28831/stat : 28831 (java) S 28818 28818 27851 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 477200946 29459828736 131503 33554432000 4194304 4196468 140724308515360 140223247541344 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28832] ppid=28818 vsize=28769364 memory=984 CPUtime=0 cores=0-7 /proc/28820/task/28832/stat : 28832 (java) S 28818 28818 27851 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 477200946 29459828736 131503 33554432000 4194304 4196468 140724308515360 140223246488448 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28833] ppid=28818 vsize=28769364 memory=2020 CPUtime=0 cores=0-7 /proc/28820/task/28833/stat : 28833 (java) S 28818 28818 27851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477200949 29459828736 131503 33554432000 4194304 4196468 140724308515360 140223245436752 140224583174043 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28834] ppid=28818 vsize=28769364 memory=1420 CPUtime=2.2 cores=0-7 /proc/28820/task/28834/stat : 28834 (java) S 28818 28818 27851 0 -1 1077944384 7194 0 0 0 218 2 0 0 20 0 28 0 477200949 29459828736 131503 33554432000 4194304 4196468 140724308515360 140223244385136 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 34 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28835] ppid=28818 vsize=28769364 memory=776 CPUtime=2.27 cores=0-7 /proc/28820/task/28835/stat : 28835 (java) S 28818 28818 27851 0 -1 1077944384 9045 0 0 0 225 2 0 0 20 0 28 0 477200949 29459828736 131503 33554432000 4194304 4196468 140724308515360 140223243332336 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 33 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28836] ppid=28818 vsize=28769364 memory=660 CPUtime=2.26 cores=0-7 /proc/28820/task/28836/stat : 28836 (java) S 28818 28818 27851 0 -1 1077944384 10939 0 0 0 223 3 0 0 20 0 28 0 477200949 29459828736 131503 33554432000 4194304 4196468 140724308515360 140223242279536 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 31 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28837] ppid=28818 vsize=28769364 memory=1556 CPUtime=0.89 cores=0-7 /proc/28820/task/28837/stat : 28837 (java) S 28818 28818 27851 0 -1 1077944384 6474 0 0 0 89 0 0 0 20 0 28 0 477200949 29459828736 131503 33554432000 4194304 4196468 140724308515360 140223241226736 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28838] ppid=28818 vsize=28769364 memory=9588 CPUtime=0 cores=0-7 /proc/28820/task/28838/stat : 28838 (java) S 28818 28818 27851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477200949 29459828736 131503 33554432000 4194304 4196468 140724308515360 140223240174176 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28839] ppid=28818 vsize=28769364 memory=1712 CPUtime=0.04 cores=0-7 /proc/28820/task/28839/stat : 28839 (java) S 28818 28818 27851 0 -1 1077944384 900 0 0 0 0 4 0 0 20 0 28 0 477200949 29459828736 131503 33554432000 4194304 4196468 140724308515360 140223239121456 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28944] ppid=28818 vsize=28769364 memory=6036 CPUtime=257.02 cores=0-7 /proc/28820/task/28944/stat : 28944 (java) R 28818 28818 27851 0 -1 4202560 1479 0 0 0 25701 1 0 0 20 0 28 0 477201490 29459828736 131503 33554432000 4194304 4196468 140724308515360 140223152253968 140224194839538 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28945] ppid=28818 vsize=28769364 memory=3668 CPUtime=257.3 cores=0-7 /proc/28820/task/28945/stat : 28945 (java) R 28818 28818 27851 0 -1 4202560 1491 0 0 0 25729 1 0 0 20 0 28 0 477201490 29459828736 131503 33554432000 4194304 4196468 140724308515360 140223155404552 140224196196750 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28946] ppid=28818 vsize=28769364 memory=1056 CPUtime=256.67 cores=0-7 /proc/28820/task/28946/stat : 28946 (java) R 28818 28818 27851 0 -1 4202560 1571 0 0 0 25666 1 0 0 20 0 28 0 477201490 29459828736 131503 33554432000 4194304 4196468 140724308515360 140223160669192 140224195414462 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28947] ppid=28818 vsize=28769364 memory=2820 CPUtime=257.74 cores=0-7 /proc/28820/task/28947/stat : 28947 (java) R 28818 28818 27851 0 -1 4202560 4266 0 0 0 25768 6 0 0 20 0 28 0 477201490 29459828736 131503 33554432000 4194304 4196468 140724308515360 140223157510464 140224198603757 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28948] ppid=28818 vsize=28769364 memory=1176 CPUtime=256.72 cores=0-7 /proc/28820/task/28948/stat : 28948 (java) R 28818 28818 27851 0 -1 4202560 2735 0 0 0 25669 3 0 0 20 0 28 0 477201490 29459828736 131503 33554432000 4194304 4196468 140724308515360 140223158566000 140224195706927 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28949] ppid=28818 vsize=28769364 memory=980 CPUtime=257.06 cores=0-7 /proc/28820/task/28949/stat : 28949 (java) R 28818 28818 27851 0 -1 4202560 1735 0 0 0 25705 1 0 0 20 0 28 0 477201490 29459828736 131503 33554432000 4194304 4196468 140724308515360 140223234191088 140224194838256 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28950] ppid=28818 vsize=28769364 memory=14008 CPUtime=257.66 cores=0-7 /proc/28820/task/28950/stat : 28950 (java) R 28818 28818 27851 0 -1 4202560 1929 0 0 0 25765 1 0 0 20 0 28 0 477201490 29459828736 131503 33554432000 4194304 4196468 140724308515360 140223159615432 140224196614074 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 [pid=28820/tid=28951] ppid=28818 vsize=28769364 memory=12028 CPUtime=257.76 cores=0-7 /proc/28820/task/28951/stat : 28951 (java) R 28818 28818 27851 0 -1 4202560 4407 0 0 0 25776 0 0 0 20 0 28 0 477201490 29459828736 131503 33554432000 4194304 4196468 140724308515360 140223156457280 140224195226755 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0 Current children cumulated CPU time: 2100.47 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 527464 KiB [startup+265.002 s]* /proc/loadavg: 7.97 7.99 8.00 9/220 28997 /proc/meminfo: memFree=24949476/32770688 swapFree=66927244/67108860 [pid=28818] ppid=28815 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/28818/stat : 28818 (xcsp3-exec) S 28815 28818 27851 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 477200942 115843072 363 33554432000 4194304 5098028 140732611369840 140732611367944 139779039924860 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8278016 140732611371893 140732611372137 140732611372137 140732611375050 0 /proc/28818/statm: 28282 363 305 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1452 KiB Child status: 0 Real time (s): 265.022 CPU time (s): 2102.11 CPU user time (s): 2101.35 CPU system time (s): 0.767884 CPU usage (%): 793.184 Max. virtual memory (cumulated for all children) (KiB): 28882492 Max. memory (cumulated for all children) (KiB): 527464 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2101.35 system time used= 0.767884 maximum resident set size= 526016 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 98339 page faults= 0 swaps= 0 block input operations= 0 block output operations= 480 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 34781 involuntary context switches= 26888 # summary of solver processes directly reported to runsolver: # pid: 28818 # total CPU time (s): 2102.11 # total CPU user time (s): 2101.35 # total CPU system time (s): 0.767884 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.51543 second user time and 2.94509 second system time The end
Begin job on node120 at 2011-12-22 04:59:29 IDJOB=4404810 IDBENCH=141364 IDSOLVER=2865 FILE ID=node120/4404810-1569011947 RUNJOBID= node120-1324521208-27878 PBS_JOBID= 21704762 Free space on /tmp= 23412 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP18/GolombRuler/GolombRuler-a3v18-11_c18.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 /tmp/evaluation-result-4404810-1569011947/watcher-4404810-1569011947 -o /tmp/evaluation-result-4404810-1569011947/solver-4404810-1569011947 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1324521208-27878 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1684861073 HOME/instance-4404810-1569011947.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= ed3f9a47d1f1ba76ff72e7160e212ad4 RANDOM SEED=1684861073 node120.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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 25461232 kB MemAvailable: 31789600 kB Buffers: 74516 kB Cached: 6523788 kB SwapCached: 68644 kB Active: 3262732 kB Inactive: 3408372 kB Active(anon): 2892 kB Inactive(anon): 125884 kB Active(file): 3259840 kB Inactive(file): 3282488 kB Unevictable: 107948 kB Mlocked: 107948 kB SwapTotal: 67108860 kB SwapFree: 66927240 kB Dirty: 25940 kB Writeback: 0 kB AnonPages: 112724 kB Mapped: 57644 kB Shmem: 47356 kB Slab: 232708 kB SReclaimable: 203752 kB SUnreclaim: 28956 kB KernelStack: 3696 kB PageTables: 5340 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 522756 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 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: 146880 kB DirectMap2M: 33398784 kB Free space on /tmp at the end= 23384 MiB End job on node120 at 2011-12-22 05:03:54