Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 55 | 37.2335 | 5.54579 |
Name | GolombRuler/GolombRuler-a3-s1/ GolombRuler-10-a3.xml |
MD5SUM | 1a91370fd3edda64a19224a97cd9d854 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 55 |
Best CPU time to get the best result obtained on this benchmark | 17.3915 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 110 |
Number of constraints | 48 |
Number of domains | 2 |
Minimum domain size | 500 |
Maximum domain size | 501 |
Distribution of domain sizes | [{"size":500,"count":45},{"size":501,"count":10}] |
Minimum variable degree | 0 |
Maximum variable degree | 11 |
Distribution of variable degrees | [{"degree":0,"count":55},{"degree":2,"count":45},{"degree":10,"count":8},{"degree":11,"count":2}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 45 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":3,"count":45},{"arity":10,"count":1},{"arity":45,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 46 |
Distribution of constraint types | [{"type":"intension","count":46},{"type":"allDifferent","count":1},{"type":"ordered","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-4404652-1568997507.xml" -tl '20160s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404652-1568997507.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 1.29/0.98 c solve instance... 2.39/1.18 o 80 3.10/1.20 o 74 3.10/1.24 o 72 3.10/1.29 o 71 3.83/1.34 o 65 4.55/1.44 o 63 4.55/1.45 o 62 8.37/1.93 o 60 16.30/3.00 o 55 36.97/5.53 s OPTIMUM FOUND 36.97/5.53 v <instantiation> 36.97/5.53 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] 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[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[5][6] y[5][7] y[5][8] y[5][9] y[6][7] y[6][8] y[6][9] y[7][8] y[7][9] y[8][9] </list> 36.97/5.53 v <values>0 1 6 10 23 26 34 41 53 55 1 6 10 23 26 34 41 53 55 5 9 22 25 33 40 52 54 4 17 20 28 35 47 49 13 16 24 31 43 45 3 11 18 30 32 8 15 27 29 7 19 21 12 14 2 </values> 36.97/5.53 v </instantiation>
OK 55
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 (7069 MiB free) memory of node 1: 16384 MiB (8353 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404652-1568997507/watcher-4404652-1568997507 -o /var/tmp/evaluation-result-4404652-1568997507/solver-4404652-1568997507 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node124-1568994707-9278 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1250068487 HOME/instance-4404652-1568997507.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=10209, runsolver pid=10206 Current StackSize limit: 8192 KiB [startup+0.100922 s]* /proc/loadavg: 4.13 6.24 7.38 3/211 10230 /proc/meminfo: memFree=15774728/32770624 swapFree=66976740/67108860 [pid=10209] ppid=10206 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/10209/stat : 10209 (xcsp3-exec) S 10206 10209 9251 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475690784 115843072 363 33554432000 4194304 5098028 140725882726176 140725882724280 140623333069436 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10108928 140725882729297 140725882729557 140725882729557 140725882732486 0 /proc/10209/statm: 28282 363 304 221 0 87 0 [pid=10211] ppid=10209 vsize=28227396 memory=30068 CPUtime=0.12 cores=0-7 /proc/10211/stat : 10211 (java) S 10209 10209 9251 0 -1 1077944320 5926 0 0 0 11 1 0 0 20 0 20 0 475690785 28904853504 7517 33554432000 4194304 4196468 140732113400496 140732113383040 140058300792567 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 /proc/10211/statm: 7056849 7517 3151 1 0 7019032 0 [pid=10211/tid=10212] ppid=10209 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/10211/task/10212/stat : 10212 (java) R 10209 10209 9251 0 -1 4202560 3837 0 0 0 8 1 0 0 20 0 20 0 475690785 28904853504 7517 33554432000 4194304 4196468 140732113400496 140058305022336 140058284836197 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10213] ppid=10209 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/10211/task/10213/stat : 10213 (java) S 10209 10209 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475690786 28904853504 7517 33554432000 4194304 4196468 140732113400496 140058220645136 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10214] ppid=10209 vsize=28227396 memory=140314557638272 CPUtime=0 cores=0-7 /proc/10211/task/10214/stat : 10214 (java) S 10209 10209 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475690786 28904853504 7517 33554432000 4194304 4196468 140732113400496 140058219592592 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10215] ppid=10209 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10215/stat : 10215 (java) S 10209 10209 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475690786 28904853504 7517 33554432000 4194304 4196468 140732113400496 140058218540048 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10216] ppid=10209 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10216/stat : 10216 (java) S 10209 10209 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475690786 28904853504 7517 33554432000 4194304 4196468 140732113400496 140058217487504 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10217] ppid=10209 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10217/stat : 10217 (java) S 10209 10209 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475690786 28904853504 7517 33554432000 4194304 4196468 140732113400496 140058216433936 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10218] ppid=10209 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10211/task/10218/stat : 10218 (java) S 10209 10209 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475690786 28904853504 7517 33554432000 4194304 4196468 140732113400496 140058215381392 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10219] ppid=10209 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10219/stat : 10219 (java) S 10209 10209 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475690786 28904853504 7517 33554432000 4194304 4196468 140732113400496 140058214328848 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10220] ppid=10209 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10220/stat : 10220 (java) S 10209 10209 9251 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475690786 28904853504 7517 33554432000 4194304 4196468 140732113400496 140057844505232 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10221] ppid=10209 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10221/stat : 10221 (java) S 10209 10209 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475690787 28904853504 7517 33554432000 4194304 4196468 140732113400496 140057416657392 140058300803714 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10222] ppid=10209 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10222/stat : 10222 (java) S 10209 10209 9251 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475690788 28904853504 7517 33554432000 4194304 4196468 140732113400496 140057415603616 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10223] ppid=10209 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10223/stat : 10223 (java) S 10209 10209 9251 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475690788 28904853504 7517 33554432000 4194304 4196468 140732113400496 140057414551024 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10224] ppid=10209 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10224/stat : 10224 (java) S 10209 10209 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475690790 28904853504 7517 33554432000 4194304 4196468 140732113400496 140057413499600 140058300811163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10225] ppid=10209 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10225/stat : 10225 (java) S 10209 10209 9251 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 20 0 475690790 28904853504 7517 33554432000 4194304 4196468 140732113400496 140057412446192 140058300803714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10226] ppid=10209 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10226/stat : 10226 (java) S 10209 10209 9251 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475690790 28904853504 7517 33554432000 4194304 4196468 140732113400496 140057411393648 140058300803714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10227] ppid=10209 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10227/stat : 10227 (java) R 10209 10209 9251 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 20 0 475690790 28904853504 7517 33554432000 4194304 4196468 140732113400496 140057410341104 140058284228305 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10228] ppid=10209 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/10211/task/10228/stat : 10228 (java) R 10209 10209 9251 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 20 0 475690790 28904853504 7517 33554432000 4194304 4196468 140732113400496 140057409288560 140058280981195 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10229] ppid=10209 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10229/stat : 10229 (java) S 10209 10209 9251 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475690790 28904853504 7517 33554432000 4194304 4196468 140732113400496 140057408236256 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10230] ppid=10209 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10211/task/10230/stat : 10230 (java) S 10209 10209 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475690791 28904853504 7517 33554432000 4194304 4196468 140732113400496 140056419363760 140058300803714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31520 KiB [startup+0.210602 s]* /proc/loadavg: 4.13 6.24 7.38 3/211 10230 /proc/meminfo: memFree=15762332/32770624 swapFree=66976740/67108860 [pid=10209] ppid=10206 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/10209/stat : 10209 (xcsp3-exec) S 10206 10209 9251 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475690784 115843072 363 33554432000 4194304 5098028 140725882726176 140725882724280 140623333069436 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10108928 140725882729297 140725882729557 140725882729557 140725882732486 0 /proc/10209/statm: 28282 363 304 221 0 87 0 [pid=10211] ppid=10209 vsize=28227396 memory=41176 CPUtime=0.33 cores=0-7 /proc/10211/stat : 10211 (java) S 10209 10209 9251 0 -1 1077944320 9520 0 0 0 30 3 0 0 20 0 20 0 475690785 28904853504 10294 33554432000 4194304 4196468 140732113400496 140732113383040 140058300792567 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 /proc/10211/statm: 7056849 10294 3301 1 0 7019032 0 [pid=10211/tid=10212] ppid=10209 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/10211/task/10212/stat : 10212 (java) R 10209 10209 9251 0 -1 4202560 6670 0 0 0 17 2 0 0 20 0 20 0 475690785 28904853504 10294 33554432000 4194304 4196468 140732113400496 140058305026032 140058300804502 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10213] ppid=10209 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/10211/task/10213/stat : 10213 (java) S 10209 10209 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475690786 28904853504 10294 33554432000 4194304 4196468 140732113400496 140058220645136 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10214] ppid=10209 vsize=28227396 memory=140314557657414 CPUtime=0 cores=0-7 /proc/10211/task/10214/stat : 10214 (java) S 10209 10209 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475690786 28904853504 10294 33554432000 4194304 4196468 140732113400496 140058219592592 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10215] ppid=10209 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10211/task/10215/stat : 10215 (java) S 10209 10209 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475690786 28904853504 10294 33554432000 4194304 4196468 140732113400496 140058218540048 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10216] ppid=10209 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10216/stat : 10216 (java) S 10209 10209 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475690786 28904853504 10294 33554432000 4194304 4196468 140732113400496 140058217487504 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10217] ppid=10209 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10217/stat : 10217 (java) S 10209 10209 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475690786 28904853504 10294 33554432000 4194304 4196468 140732113400496 140058216433936 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10218] ppid=10209 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10211/task/10218/stat : 10218 (java) S 10209 10209 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475690786 28904853504 10294 33554432000 4194304 4196468 140732113400496 140058215381392 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10219] ppid=10209 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10219/stat : 10219 (java) S 10209 10209 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475690786 28904853504 10294 33554432000 4194304 4196468 140732113400496 140058214328848 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10220] ppid=10209 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10220/stat : 10220 (java) S 10209 10209 9251 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475690786 28904853504 10294 33554432000 4194304 4196468 140732113400496 140057844505232 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10221] ppid=10209 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10221/stat : 10221 (java) S 10209 10209 9251 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475690787 28904853504 10294 33554432000 4194304 4196468 140732113400496 140057416657392 140058300803714 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10222] ppid=10209 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10222/stat : 10222 (java) S 10209 10209 9251 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475690788 28904853504 10294 33554432000 4194304 4196468 140732113400496 140057415603616 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10223] ppid=10209 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10223/stat : 10223 (java) S 10209 10209 9251 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475690788 28904853504 10294 33554432000 4194304 4196468 140732113400496 140057414551024 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10224] ppid=10209 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10224/stat : 10224 (java) S 10209 10209 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475690790 28904853504 10294 33554432000 4194304 4196468 140732113400496 140057413499600 140058300811163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10225] ppid=10209 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/10211/task/10225/stat : 10225 (java) S 10209 10209 9251 0 -1 1077944384 665 0 0 0 1 0 0 0 20 0 20 0 475690790 28904853504 10294 33554432000 4194304 4196468 140732113400496 140057412446192 140058300803714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10226] ppid=10209 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/10211/task/10226/stat : 10226 (java) S 10209 10209 9251 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 20 0 475690790 28904853504 10294 33554432000 4194304 4196468 140732113400496 140057411393648 140058300803714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10227] ppid=10209 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/10211/task/10227/stat : 10227 (java) S 10209 10209 9251 0 -1 1077944384 88 0 0 0 1 0 0 0 20 0 20 0 475690790 28904853504 10294 33554432000 4194304 4196468 140732113400496 140057410341104 140058300803714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10228] ppid=10209 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/10211/task/10228/stat : 10228 (java) R 10209 10209 9251 0 -1 4202560 743 0 0 0 8 0 0 0 20 0 20 0 475690790 28904853504 10294 33554432000 4194304 4196468 140732113400496 140057409288560 140058293029694 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10229] ppid=10209 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10229/stat : 10229 (java) S 10209 10209 9251 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475690790 28904853504 10294 33554432000 4194304 4196468 140732113400496 140057408236256 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10230] ppid=10209 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10211/task/10230/stat : 10230 (java) S 10209 10209 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475690791 28904853504 10294 33554432000 4194304 4196468 140732113400496 140056419363760 140058300803714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42628 KiB [startup+0.310849 s]* /proc/loadavg: 4.13 6.24 7.38 3/211 10230 /proc/meminfo: memFree=15741180/32770624 swapFree=66976740/67108860 [pid=10209] ppid=10206 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/10209/stat : 10209 (xcsp3-exec) S 10206 10209 9251 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475690784 115843072 363 33554432000 4194304 5098028 140725882726176 140725882724280 140623333069436 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10108928 140725882729297 140725882729557 140725882729557 140725882732486 0 /proc/10209/statm: 28282 363 304 221 0 87 0 [pid=10211] ppid=10209 vsize=28231652 memory=49868 CPUtime=0.53 cores=0-7 /proc/10211/stat : 10211 (java) S 10209 10209 9251 0 -1 1077944320 10835 0 0 0 49 4 0 0 20 0 20 0 475690785 28909211648 12467 33554432000 4194304 4196468 140732113400496 140732113383040 140058300792567 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 /proc/10211/statm: 7057913 12467 3348 1 0 7019032 0 [pid=10211/tid=10212] ppid=10209 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/10211/task/10212/stat : 10212 (java) R 10209 10209 9251 0 -1 4202560 7835 0 0 0 27 3 0 0 20 0 20 0 475690785 28909211648 12467 33554432000 4194304 4196468 140732113400496 140058305028352 140058284873054 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10213] ppid=10209 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10213/stat : 10213 (java) S 10209 10209 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475690786 28909211648 12467 33554432000 4194304 4196468 140732113400496 140058220645136 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10214] ppid=10209 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10214/stat : 10214 (java) S 10209 10209 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475690786 28909211648 12467 33554432000 4194304 4196468 140732113400496 140058219592592 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10215] ppid=10209 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10215/stat : 10215 (java) S 10209 10209 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475690786 28909211648 12467 33554432000 4194304 4196468 140732113400496 140058218540048 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10216] ppid=10209 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10216/stat : 10216 (java) S 10209 10209 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475690786 28909211648 12467 33554432000 4194304 4196468 140732113400496 140058217487504 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10217] ppid=10209 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/10211/task/10217/stat : 10217 (java) S 10209 10209 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475690786 28909211648 12467 33554432000 4194304 4196468 140732113400496 140058216433936 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10218] ppid=10209 vsize=28231652 memory=140314434171823 CPUtime=0 cores=0-7 /proc/10211/task/10218/stat : 10218 (java) S 10209 10209 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475690786 28909211648 12467 33554432000 4194304 4196468 140732113400496 140058215381392 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10219] ppid=10209 vsize=28231652 memory=140314434174128 CPUtime=0 cores=0-7 /proc/10211/task/10219/stat : 10219 (java) S 10209 10209 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475690786 28909211648 12467 33554432000 4194304 4196468 140732113400496 140058214328848 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10220] ppid=10209 vsize=28231652 memory=140314434176432 CPUtime=0 cores=0-7 /proc/10211/task/10220/stat : 10220 (java) S 10209 10209 9251 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475690786 28909211648 12467 33554432000 4194304 4196468 140732113400496 140057844505232 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10221] ppid=10209 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10221/stat : 10221 (java) S 10209 10209 9251 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475690787 28909211648 12467 33554432000 4194304 4196468 140732113400496 140057416657392 140058300803714 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10222] ppid=10209 vsize=28231652 memory=280628868359824 CPUtime=0 cores=0-7 /proc/10211/task/10222/stat : 10222 (java) S 10209 10209 9251 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475690788 28909211648 12467 33554432000 4194304 4196468 140732113400496 140057415603616 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10223] ppid=10209 vsize=28231652 memory=280628868366736 CPUtime=0 cores=0-7 /proc/10211/task/10223/stat : 10223 (java) S 10209 10209 9251 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475690788 28909211648 12467 33554432000 4194304 4196468 140732113400496 140057414551024 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10224] ppid=10209 vsize=28231652 memory=280628868308016 CPUtime=0 cores=0-7 /proc/10211/task/10224/stat : 10224 (java) S 10209 10209 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475690790 28909211648 12467 33554432000 4194304 4196468 140732113400496 140057413499600 140058300811163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10225] ppid=10209 vsize=28231652 memory=280628868380560 CPUtime=0.03 cores=0-7 /proc/10211/task/10225/stat : 10225 (java) R 10209 10209 9251 0 -1 4202560 749 0 0 0 3 0 0 0 20 0 20 0 475690790 28909211648 12467 33554432000 4194304 4196468 140732113400496 140057412436576 140058284177360 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10226] ppid=10209 vsize=28231652 memory=280628868387472 CPUtime=0.02 cores=0-7 /proc/10211/task/10226/stat : 10226 (java) S 10209 10209 9251 0 -1 1077944384 53 0 0 0 2 0 0 0 20 0 20 0 475690790 28909211648 12467 33554432000 4194304 4196468 140732113400496 140057411393648 140058300803714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10227] ppid=10209 vsize=28231652 memory=280628868385168 CPUtime=0.02 cores=0-7 /proc/10211/task/10227/stat : 10227 (java) S 10209 10209 9251 0 -1 1077944384 88 0 0 0 2 0 0 0 20 0 20 0 475690790 28909211648 12467 33554432000 4194304 4196468 140732113400496 140057410341104 140058300803714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10228] ppid=10209 vsize=28231652 memory=280628868401328 CPUtime=0.12 cores=0-7 /proc/10211/task/10228/stat : 10228 (java) S 10209 10209 9251 0 -1 1077944384 813 0 0 0 12 0 0 0 20 0 20 0 475690790 28909211648 12467 33554432000 4194304 4196468 140732113400496 140057409288560 140058300803714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10229] ppid=10209 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10229/stat : 10229 (java) S 10209 10209 9251 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475690790 28909211648 12467 33554432000 4194304 4196468 140732113400496 140057408236256 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10230] ppid=10209 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/10211/task/10230/stat : 10230 (java) S 10209 10209 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475690791 28909211648 12467 33554432000 4194304 4196468 140732113400496 140056419363760 140058300803714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51320 KiB [startup+0.707711 s]* /proc/loadavg: 4.13 6.24 7.38 3/211 10230 /proc/meminfo: memFree=15749976/32770624 swapFree=66976740/67108860 [pid=10209] ppid=10206 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/10209/stat : 10209 (xcsp3-exec) S 10206 10209 9251 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475690784 115843072 363 33554432000 4194304 5098028 140725882726176 140725882724280 140623333069436 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10108928 140725882729297 140725882729557 140725882729557 140725882732486 0 /proc/10209/statm: 28282 363 304 221 0 87 0 [pid=10211] ppid=10209 vsize=28233776 memory=54836 CPUtime=0.73 cores=0-7 /proc/10211/stat : 10211 (java) S 10209 10209 9251 0 -1 1077944320 11615 0 0 0 68 5 0 0 20 0 20 0 475690785 28911386624 13709 33554432000 4194304 4196468 140732113400496 140732113383040 140058300792567 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 /proc/10211/statm: 7058444 13709 3390 1 0 7019544 0 [pid=10211/tid=10212] ppid=10209 vsize=28233776 memory=8316850467074736180 CPUtime=0.4 cores=0-7 /proc/10211/task/10212/stat : 10212 (java) R 10209 10209 9251 0 -1 4202560 8394 0 0 0 37 3 0 0 20 0 20 0 475690785 28911386624 13775 33554432000 4194304 4196468 140732113400496 140058305027792 140058284836197 0 4 0 16800975 0 0 0 -1 2 0 0 29 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10213] ppid=10209 vsize=28233776 memory=1966272 CPUtime=0 cores=0-7 /proc/10211/task/10213/stat : 10213 (java) S 10209 10209 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475690786 28911386624 13775 33554432000 4194304 4196468 140732113400496 140058220645136 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10214] ppid=10209 vsize=28233776 memory=140314557657414 CPUtime=0 cores=0-7 /proc/10211/task/10214/stat : 10214 (java) S 10209 10209 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475690786 28911386624 13775 33554432000 4194304 4196468 140732113400496 140058219592592 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10215] ppid=10209 vsize=28233776 memory=-1 CPUtime=0 cores=0-7 /proc/10211/task/10215/stat : 10215 (java) S 10209 10209 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475690786 28911386624 13775 33554432000 4194304 4196468 140732113400496 140058218540048 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 ################ # More data... # ################ [pid=10211/tid=10228] ppid=10209 vsize=28769364 memory=0 CPUtime=0.75 cores=0-7 /proc/10211/task/10228/stat : 10228 (java) S 10209 10209 9251 0 -1 1077944384 2998 0 0 0 74 1 0 0 20 0 28 0 475690790 29459828736 57283 33554432000 4194304 4196468 140732113400496 140057409288560 140058300803714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10229] ppid=10209 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10229/stat : 10229 (java) S 10209 10209 9251 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475690790 29459828736 57283 33554432000 4194304 4196468 140732113400496 140057408236256 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10230] ppid=10209 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10230/stat : 10230 (java) S 10209 10209 9251 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 475690791 29459828736 57283 33554432000 4194304 4196468 140732113400496 140056419363760 140058300803714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10303] ppid=10209 vsize=28769364 memory=0 CPUtime=1.29 cores=0-7 /proc/10211/task/10303/stat : 10303 (java) R 10209 10209 9251 0 -1 4202560 57 0 0 0 129 0 0 0 20 0 28 0 475691084 29459828736 57283 33554432000 4194304 4196468 140732113400496 140056409332024 140057900084055 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10304] ppid=10209 vsize=28769364 memory=0 CPUtime=1.08 cores=0-7 /proc/10211/task/10304/stat : 10304 (java) R 10209 10209 9251 0 -1 4202560 26 0 0 0 108 0 0 0 20 0 28 0 475691084 29459828736 57283 33554432000 4194304 4196468 140732113400496 140056404067544 140057900357970 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10305] ppid=10209 vsize=28769364 memory=0 CPUtime=1.08 cores=0-7 /proc/10211/task/10305/stat : 10305 (java) R 10209 10209 9251 0 -1 4202560 38 0 0 0 108 0 0 0 20 0 28 0 475691084 29459828736 57283 33554432000 4194304 4196468 140732113400496 140056403013944 140057898827190 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10306] ppid=10209 vsize=28769364 memory=0 CPUtime=1.21 cores=0-7 /proc/10211/task/10306/stat : 10306 (java) R 10209 10209 9251 0 -1 4202560 137 0 0 0 120 1 0 0 20 0 28 0 475691084 29459828736 57283 33554432000 4194304 4196468 140732113400496 140056401960760 140057898827200 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10307] ppid=10209 vsize=28769364 memory=0 CPUtime=1.29 cores=0-7 /proc/10211/task/10307/stat : 10307 (java) R 10209 10209 9251 0 -1 4202560 77 0 0 0 129 0 0 0 20 0 28 0 475691084 29459828736 57283 33554432000 4194304 4196468 140732113400496 140056406171576 140057900098262 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10308] ppid=10209 vsize=28769364 memory=-1 CPUtime=1.18 cores=0-7 /proc/10211/task/10308/stat : 10308 (java) R 10209 10209 9251 0 -1 4202560 60 0 0 0 118 0 0 0 20 0 28 0 475691084 29459828736 57283 33554432000 4194304 4196468 140732113400496 140056405118880 140057899751313 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10309] ppid=10209 vsize=28769364 memory=7308620259930691943 CPUtime=1.06 cores=0-7 /proc/10211/task/10309/stat : 10309 (java) R 10209 10209 9251 0 -1 4202560 64 0 0 0 106 0 0 0 20 0 28 0 475691084 29459828736 57283 33554432000 4194304 4196468 140732113400496 140056407224112 140057898827038 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10310] ppid=10209 vsize=28769364 memory=7301289725931315818 CPUtime=1.1 cores=0-7 /proc/10211/task/10310/stat : 10310 (java) R 10209 10209 9251 0 -1 4202560 100 0 0 0 110 0 0 0 20 0 28 0 475691085 29459828736 57283 33554432000 4194304 4196468 140732113400496 140056410382440 140057898827200 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 Current children cumulated CPU time: 27.47 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 230584 KiB [startup+5.1015 s] /proc/loadavg: 4.60 6.30 7.39 10/219 10310 /proc/meminfo: memFree=15575468/32770624 swapFree=66976740/67108860 [pid=10209] ppid=10206 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/10209/stat : 10209 (xcsp3-exec) S 10206 10209 9251 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475690784 115843072 363 33554432000 4194304 5098028 140725882726176 140725882724280 140623333069436 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10108928 140725882729297 140725882729557 140725882729557 140725882732486 0 /proc/10209/statm: 28282 363 304 221 0 87 0 [pid=10211] ppid=10209 vsize=28769364 memory=229692 CPUtime=33.8 cores=0-7 /proc/10211/stat : 10211 (java) S 10209 10209 9251 0 -1 1077944320 32265 0 0 0 3360 20 0 0 20 0 28 0 475690785 29459828736 57423 33554432000 4194304 4196468 140732113400496 140732113383040 140058300792567 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 /proc/10211/statm: 7192341 57423 3521 1 0 7153441 0 [pid=10211/tid=10212] ppid=10209 vsize=28769364 memory=0 CPUtime=0.69 cores=0-7 /proc/10211/task/10212/stat : 10212 (java) S 10209 10209 9251 0 -1 1077944384 9364 0 0 0 65 4 0 0 20 0 28 0 475690785 29459828736 57423 33554432000 4194304 4196468 140732113400496 140058305033344 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 29 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10213] ppid=10209 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10213/stat : 10213 (java) S 10209 10209 9251 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 475690786 29459828736 57423 33554432000 4194304 4196468 140732113400496 140058220645136 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10214] ppid=10209 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10214/stat : 10214 (java) S 10209 10209 9251 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 475690786 29459828736 57423 33554432000 4194304 4196468 140732113400496 140058219592592 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10215] ppid=10209 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10215/stat : 10215 (java) S 10209 10209 9251 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 475690786 29459828736 57423 33554432000 4194304 4196468 140732113400496 140058218540048 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10216] ppid=10209 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10216/stat : 10216 (java) S 10209 10209 9251 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 475690786 29459828736 57423 33554432000 4194304 4196468 140732113400496 140058217487504 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10217] ppid=10209 vsize=28769364 memory=1452 CPUtime=0 cores=0-7 /proc/10211/task/10217/stat : 10217 (java) S 10209 10209 9251 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 475690786 29459828736 57423 33554432000 4194304 4196468 140732113400496 140058216433936 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10218] ppid=10209 vsize=28769364 memory=215264 CPUtime=0 cores=0-7 /proc/10211/task/10218/stat : 10218 (java) S 10209 10209 9251 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 475690786 29459828736 57423 33554432000 4194304 4196468 140732113400496 140058215381392 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10219] ppid=10209 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10219/stat : 10219 (java) S 10209 10209 9251 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 475690786 29459828736 57423 33554432000 4194304 4196468 140732113400496 140058214328848 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10220] ppid=10209 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10220/stat : 10220 (java) S 10209 10209 9251 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 475690786 29459828736 57423 33554432000 4194304 4196468 140732113400496 140057844505232 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10221] ppid=10209 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10221/stat : 10221 (java) S 10209 10209 9251 0 -1 1077944384 231 0 0 0 0 0 0 0 20 0 28 0 475690787 29459828736 57423 33554432000 4194304 4196468 140732113400496 140057416657392 140058300803714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10222] ppid=10209 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10222/stat : 10222 (java) S 10209 10209 9251 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 475690788 29459828736 57423 33554432000 4194304 4196468 140732113400496 140057415603680 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10223] ppid=10209 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10223/stat : 10223 (java) S 10209 10209 9251 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 475690788 29459828736 57423 33554432000 4194304 4196468 140732113400496 140057414551040 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10224] ppid=10209 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10224/stat : 10224 (java) S 10209 10209 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475690790 29459828736 57423 33554432000 4194304 4196468 140732113400496 140057413499600 140058300811163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10225] ppid=10209 vsize=28769364 memory=0 CPUtime=1.93 cores=0-7 /proc/10211/task/10225/stat : 10225 (java) S 10209 10209 9251 0 -1 1077944384 5831 0 0 0 191 2 0 0 20 0 28 0 475690790 29459828736 57423 33554432000 4194304 4196468 140732113400496 140057412446192 140058300803714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10226] ppid=10209 vsize=28769364 memory=46916 CPUtime=2.11 cores=0-7 /proc/10211/task/10226/stat : 10226 (java) S 10209 10209 9251 0 -1 1077944384 5812 0 0 0 209 2 0 0 20 0 28 0 475690790 29459828736 57423 33554432000 4194304 4196468 140732113400496 140057411393648 140058300803714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10227] ppid=10209 vsize=28769364 memory=0 CPUtime=1.84 cores=0-7 /proc/10211/task/10227/stat : 10227 (java) S 10209 10209 9251 0 -1 1077944384 3790 0 0 0 184 0 0 0 20 0 28 0 475690790 29459828736 57423 33554432000 4194304 4196468 140732113400496 140057410341104 140058300803714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10228] ppid=10209 vsize=28769364 memory=6791534058613427641 CPUtime=0.76 cores=0-7 /proc/10211/task/10228/stat : 10228 (java) S 10209 10209 9251 0 -1 1077944384 3093 0 0 0 75 1 0 0 20 0 28 0 475690790 29459828736 57423 33554432000 4194304 4196468 140732113400496 140057409288560 140058300803714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10229] ppid=10209 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10229/stat : 10229 (java) S 10209 10209 9251 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475690790 29459828736 57423 33554432000 4194304 4196468 140732113400496 140057408236256 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10230] ppid=10209 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10230/stat : 10230 (java) S 10209 10209 9251 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 475690791 29459828736 57423 33554432000 4194304 4196468 140732113400496 140056419363760 140058300803714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10303] ppid=10209 vsize=28769364 memory=0 CPUtime=2.08 cores=0-7 /proc/10211/task/10303/stat : 10303 (java) R 10209 10209 9251 0 -1 4202560 107 0 0 0 208 0 0 0 20 0 28 0 475691084 29459828736 57423 33554432000 4194304 4196468 140732113400496 140056409332024 140057902130665 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10304] ppid=10209 vsize=28769364 memory=417 CPUtime=1.86 cores=0-7 /proc/10211/task/10304/stat : 10304 (java) R 10209 10209 9251 0 -1 4202560 72 0 0 0 186 0 0 0 20 0 28 0 475691084 29459828736 57423 33554432000 4194304 4196468 140732113400496 140056404067544 140057900147459 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10305] ppid=10209 vsize=28769364 memory=0 CPUtime=1.87 cores=0-7 /proc/10211/task/10305/stat : 10305 (java) R 10209 10209 9251 0 -1 4202560 83 0 0 0 187 0 0 0 20 0 28 0 475691084 29459828736 57423 33554432000 4194304 4196468 140732113400496 140056403013944 140057898826638 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10306] ppid=10209 vsize=28769364 memory=0 CPUtime=1.86 cores=0-7 /proc/10211/task/10306/stat : 10306 (java) R 10209 10209 9251 0 -1 4202560 188 0 0 0 185 1 0 0 20 0 28 0 475691084 29459828736 57423 33554432000 4194304 4196468 140732113400496 140056401961064 140057899751308 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10307] ppid=10209 vsize=28769364 memory=0 CPUtime=2.08 cores=0-7 /proc/10211/task/10307/stat : 10307 (java) R 10209 10209 9251 0 -1 4202560 100 0 0 0 208 0 0 0 20 0 28 0 475691084 29459828736 57423 33554432000 4194304 4196468 140732113400496 140056406174088 140057898827161 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10308] ppid=10209 vsize=28769364 memory=0 CPUtime=1.97 cores=0-7 /proc/10211/task/10308/stat : 10308 (java) R 10209 10209 9251 0 -1 4202560 103 0 0 0 197 0 0 0 20 0 28 0 475691084 29459828736 57423 33554432000 4194304 4196468 140732113400496 140056405119656 140058285131400 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10309] ppid=10209 vsize=28769364 memory=0 CPUtime=1.77 cores=0-7 /proc/10211/task/10309/stat : 10309 (java) R 10209 10209 9251 0 -1 4202560 99 0 0 0 177 0 0 0 20 0 28 0 475691084 29459828736 57423 33554432000 4194304 4196468 140732113400496 140056407224112 140057899449607 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10310] ppid=10209 vsize=28769364 memory=0 CPUtime=1.89 cores=0-7 /proc/10211/task/10310/stat : 10310 (java) R 10209 10209 9251 0 -1 4202560 284 0 0 0 189 0 0 0 20 0 28 0 475691085 29459828736 57423 33554432000 4194304 4196468 140732113400496 140056410383448 140057900144282 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 Current children cumulated CPU time: 33.8 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 231144 KiB [startup+5.5015 s] /proc/loadavg: 4.60 6.30 7.39 9/219 10310 /proc/meminfo: memFree=15581960/32770624 swapFree=66976740/67108860 [pid=10209] ppid=10206 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/10209/stat : 10209 (xcsp3-exec) S 10206 10209 9251 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475690784 115843072 363 33554432000 4194304 5098028 140725882726176 140725882724280 140623333069436 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10108928 140725882729297 140725882729557 140725882729557 140725882732486 0 /proc/10209/statm: 28282 363 304 221 0 87 0 [pid=10211] ppid=10209 vsize=28769364 memory=222084 CPUtime=36.97 cores=0-7 /proc/10211/stat : 10211 (java) S 10209 10209 9251 0 -1 1077944320 32683 0 0 0 3677 20 0 0 20 0 28 0 475690785 29459828736 55521 33554432000 4194304 4196468 140732113400496 140732113383040 140058300792567 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 /proc/10211/statm: 7192341 55521 3521 1 0 7153441 0 [pid=10211/tid=10212] ppid=10209 vsize=28769364 memory=4120848841606179076 CPUtime=0.69 cores=0-7 /proc/10211/task/10212/stat : 10212 (java) S 10209 10209 9251 0 -1 1077944384 9364 0 0 0 65 4 0 0 20 0 28 0 475690785 29459828736 55521 33554432000 4194304 4196468 140732113400496 140058305033344 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 29 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10213] ppid=10209 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10213/stat : 10213 (java) S 10209 10209 9251 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 475690786 29459828736 55521 33554432000 4194304 4196468 140732113400496 140058220645136 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10214] ppid=10209 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10214/stat : 10214 (java) S 10209 10209 9251 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 475690786 29459828736 55521 33554432000 4194304 4196468 140732113400496 140058219592592 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10215] ppid=10209 vsize=28769364 memory=6943526294502006880 CPUtime=0 cores=0-7 /proc/10211/task/10215/stat : 10215 (java) S 10209 10209 9251 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 475690786 29459828736 55521 33554432000 4194304 4196468 140732113400496 140058218540048 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10216] ppid=10209 vsize=28769364 memory=33 CPUtime=0 cores=0-7 /proc/10211/task/10216/stat : 10216 (java) S 10209 10209 9251 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 475690786 29459828736 55521 33554432000 4194304 4196468 140732113400496 140058217487504 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10217] ppid=10209 vsize=28769364 memory=7306916055891837008 CPUtime=0 cores=0-7 /proc/10211/task/10217/stat : 10217 (java) S 10209 10209 9251 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 475690786 29459828736 55521 33554432000 4194304 4196468 140732113400496 140058216433936 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10218] ppid=10209 vsize=28769364 memory=1966809 CPUtime=0 cores=0-7 /proc/10211/task/10218/stat : 10218 (java) S 10209 10209 9251 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 475690786 29459828736 55521 33554432000 4194304 4196468 140732113400496 140058215381392 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10219] ppid=10209 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10219/stat : 10219 (java) S 10209 10209 9251 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 475690786 29459828736 55521 33554432000 4194304 4196468 140732113400496 140058214328848 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10220] ppid=10209 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10220/stat : 10220 (java) S 10209 10209 9251 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 475690786 29459828736 55521 33554432000 4194304 4196468 140732113400496 140057844505232 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10221] ppid=10209 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10221/stat : 10221 (java) S 10209 10209 9251 0 -1 1077944384 271 0 0 0 0 0 0 0 20 0 28 0 475690787 29459828736 55521 33554432000 4194304 4196468 140732113400496 140057416657392 140058300803714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10222] ppid=10209 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10222/stat : 10222 (java) S 10209 10209 9251 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 475690788 29459828736 55521 33554432000 4194304 4196468 140732113400496 140057415603680 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10223] ppid=10209 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10223/stat : 10223 (java) S 10209 10209 9251 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 475690788 29459828736 55521 33554432000 4194304 4196468 140732113400496 140057414551040 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10224] ppid=10209 vsize=28769364 memory=164 CPUtime=0 cores=0-7 /proc/10211/task/10224/stat : 10224 (java) S 10209 10209 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475690790 29459828736 55521 33554432000 4194304 4196468 140732113400496 140057413499600 140058300811163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10225] ppid=10209 vsize=28769364 memory=6944656592455088490 CPUtime=1.94 cores=0-7 /proc/10211/task/10225/stat : 10225 (java) S 10209 10209 9251 0 -1 1077944384 5915 0 0 0 192 2 0 0 20 0 28 0 475690790 29459828736 55521 33554432000 4194304 4196468 140732113400496 140057412446192 140058300803714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10226] ppid=10209 vsize=28769364 memory=6944656592455359580 CPUtime=2.11 cores=0-7 /proc/10211/task/10226/stat : 10226 (java) S 10209 10209 9251 0 -1 1077944384 5812 0 0 0 209 2 0 0 20 0 28 0 475690790 29459828736 55521 33554432000 4194304 4196468 140732113400496 140057411393648 140058300803714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10227] ppid=10209 vsize=28769364 memory=6933690305039933585 CPUtime=1.84 cores=0-7 /proc/10211/task/10227/stat : 10227 (java) S 10209 10209 9251 0 -1 1077944384 3790 0 0 0 184 0 0 0 20 0 28 0 475690790 29459828736 55521 33554432000 4194304 4196468 140732113400496 140057410341104 140058300803714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10228] ppid=10209 vsize=28769364 memory=0 CPUtime=0.76 cores=0-7 /proc/10211/task/10228/stat : 10228 (java) S 10209 10209 9251 0 -1 1077944384 3093 0 0 0 75 1 0 0 20 0 28 0 475690790 29459828736 55521 33554432000 4194304 4196468 140732113400496 140057409288560 140058300803714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10229] ppid=10209 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10229/stat : 10229 (java) S 10209 10209 9251 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475690790 29459828736 55521 33554432000 4194304 4196468 140732113400496 140057408236256 140058300802773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10230] ppid=10209 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/10211/task/10230/stat : 10230 (java) S 10209 10209 9251 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 28 0 475690791 29459828736 55521 33554432000 4194304 4196468 140732113400496 140056419363760 140058300803714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10303] ppid=10209 vsize=28769364 memory=0 CPUtime=2.48 cores=0-7 /proc/10211/task/10303/stat : 10303 (java) R 10209 10209 9251 0 -1 4202560 107 0 0 0 248 0 0 0 20 0 28 0 475691084 29459828736 55521 33554432000 4194304 4196468 140732113400496 140056409329472 140732114081995 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10304] ppid=10209 vsize=28769364 memory=0 CPUtime=2.25 cores=0-7 /proc/10211/task/10304/stat : 10304 (java) R 10209 10209 9251 0 -1 4202560 72 0 0 0 225 0 0 0 20 0 28 0 475691084 29459828736 55521 33554432000 4194304 4196468 140732113400496 140056404067512 140057898827631 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10305] ppid=10209 vsize=28769364 memory=0 CPUtime=2.26 cores=0-7 /proc/10211/task/10305/stat : 10305 (java) R 10209 10209 9251 0 -1 4202560 87 0 0 0 226 0 0 0 20 0 28 0 475691084 29459828736 55521 33554432000 4194304 4196468 140732113400496 140056403013432 140057898826540 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10306] ppid=10209 vsize=28769364 memory=0 CPUtime=2.26 cores=0-7 /proc/10211/task/10306/stat : 10306 (java) R 10209 10209 9251 0 -1 4202560 201 0 0 0 225 1 0 0 20 0 28 0 475691084 29459828736 55521 33554432000 4194304 4196468 140732113400496 140056401961400 140057900138541 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10307] ppid=10209 vsize=28769364 memory=0 CPUtime=2.47 cores=0-7 /proc/10211/task/10307/stat : 10307 (java) R 10209 10209 9251 0 -1 4202560 150 0 0 0 247 0 0 0 20 0 28 0 475691084 29459828736 55521 33554432000 4194304 4196468 140732113400496 140056406172216 140057899694364 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10308] ppid=10209 vsize=28769364 memory=0 CPUtime=2.35 cores=0-7 /proc/10211/task/10308/stat : 10308 (java) R 10209 10209 9251 0 -1 4202560 121 0 0 0 235 0 0 0 20 0 28 0 475691084 29459828736 55521 33554432000 4194304 4196468 140732113400496 140056405118296 140057898826577 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10309] ppid=10209 vsize=28769364 memory=0 CPUtime=2.16 cores=0-7 /proc/10211/task/10309/stat : 10309 (java) R 10209 10209 9251 0 -1 4202560 100 0 0 0 216 0 0 0 20 0 28 0 475691084 29459828736 55521 33554432000 4194304 4196468 140732113400496 140056407225208 140057898826949 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 [pid=10211/tid=10310] ppid=10209 vsize=28769364 memory=0 CPUtime=2.29 cores=0-7 /proc/10211/task/10310/stat : 10310 (java) R 10209 10209 9251 0 -1 4202560 293 0 0 0 229 0 0 0 20 0 28 0 475691085 29459828736 55521 33554432000 4194304 4196468 140732113400496 140056410383336 140057900145978 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 28762112 140732113408982 140732113409158 140732113409158 140732113412047 0 Current children cumulated CPU time: 36.97 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 223536 KiB Child status: 0 Real time (s): 5.54579 CPU time (s): 37.2335 CPU user time (s): 37.0085 CPU system time (s): 0.225008 CPU usage (%): 671.383 Max. virtual memory (cumulated for all children) (KiB): 28882492 Max. memory (cumulated for all children) (KiB): 231144 getrusage(RUSAGE_CHILDREN,...) data: user time used= 37.0085 system time used= 0.225008 maximum resident set size= 229696 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33968 page faults= 0 swaps= 0 block input operations= 0 block output operations= 136 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4969 involuntary context switches= 1103 # summary of solver processes directly reported to runsolver: # pid: 10209 # total CPU time (s): 37.2335 # total CPU user time (s): 37.0085 # total CPU system time (s): 0.225008 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.05981 second user time and 0.105221 second system time The end
Begin job on node124 at 2019-09-20 18:37:46 IDJOB=4404652 IDBENCH=126224 IDSOLVER=2865 FILE ID=node124/4404652-1568997507 RUNJOBID= node124-1568994707-9278 PBS_JOBID= 21704729 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-10-a3.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-4404652-1568997507/watcher-4404652-1568997507 -o /var/tmp/evaluation-result-4404652-1568997507/solver-4404652-1568997507 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node124-1568994707-9278 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1250068487 HOME/instance-4404652-1568997507.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 1a91370fd3edda64a19224a97cd9d854 RANDOM SEED=1250068487 node124.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: 15792112 kB MemAvailable: 31822568 kB Buffers: 134436 kB Cached: 15841708 kB SwapCached: 28940 kB Active: 7955772 kB Inactive: 8055700 kB Active(anon): 4120 kB Inactive(anon): 80488 kB Active(file): 7951652 kB Inactive(file): 7975212 kB Unevictable: 108092 kB Mlocked: 108092 kB SwapTotal: 67108860 kB SwapFree: 66976740 kB Dirty: 26112 kB Writeback: 8 kB AnonPages: 115396 kB Mapped: 52416 kB Shmem: 40884 kB Slab: 560880 kB SReclaimable: 532052 kB SUnreclaim: 28828 kB KernelStack: 3472 kB PageTables: 5552 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506804 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /var/tmp at the end= 13488 MiB End job on node124 at 2019-09-20 18:37:52