Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 44 | 18.7927 | 3.0846 |
Name | GolombRuler/ GolombRuler-a3v18-09_c18.xml |
MD5SUM | 967738086e80168f9eb4b0337d9e8cf6 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 44 |
Best CPU time to get the best result obtained on this benchmark | 3.78942 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 90 |
Number of constraints | 37 |
Number of domains | 2 |
Minimum domain size | 81 |
Maximum domain size | 82 |
Distribution of domain sizes | [{"size":81,"count":36},{"size":82,"count":9}] |
Minimum variable degree | 0 |
Maximum variable degree | 9 |
Distribution of variable degrees | [{"degree":0,"count":45},{"degree":2,"count":36},{"degree":8,"count":8},{"degree":9,"count":1}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 36 |
Distribution of constraint arities | [{"arity":3,"count":36},{"arity":36,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 36 |
Distribution of constraint types | [{"type":"intension","count":36},{"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-4407309-1569350585.xml" -tl '2016s' -p 8 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4407309-1569350585.xml, -tl, 2016s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 1.29/0.64 c solve instance... 1.74/0.72 o 65 1.74/0.73 o 61 1.74/0.74 o 59 1.74/0.77 o 57 1.74/0.78 o 53 2.31/0.80 o 52 2.31/0.83 o 51 2.31/0.84 o 50 2.31/0.89 o 49 2.31/0.89 o 47 3.81/1.03 o 45 3.81/1.06 o 44 18.32/3.06 s OPTIMUM FOUND 18.32/3.06 v <instantiation> 18.32/3.06 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] 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[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[4][5] y[4][6] y[4][7] y[4][8] y[5][6] y[5][7] y[5][8] y[6][7] y[6][8] y[7][8] </list> 18.32/3.06 v <values>0 1 5 12 25 27 35 41 44 1 5 12 25 27 35 41 44 4 11 24 26 34 40 43 7 20 22 30 36 39 13 15 23 29 32 2 10 16 19 8 14 17 6 9 3 </values> 18.32/3.06 v </instantiation>
OK 44
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 (9629 MiB free) memory of node 1: 16384 MiB (15011 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407309-1569350585/watcher-4407309-1569350585 -o /tmp/evaluation-result-4407309-1569350585/solver-4407309-1569350585 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node106-1569332296-31508 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 192544551 HOME/instance-4407309-1569350585.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=5506, runsolver pid=5503 Current StackSize limit: 8192 KiB [startup+0.100154 s]* /proc/loadavg: 2.63 3.07 5.02 3/211 5527 /proc/meminfo: memFree=25215116/32770624 swapFree=66999760/67108860 [pid=5506] ppid=5503 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/5506/stat : 5506 (xcsp3-exec) S 5503 5506 31481 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 511312536 115843072 362 33554432000 4194304 5098028 140730596232608 140730596230712 140228236681852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10506240 140730596234108 140730596234350 140730596234350 140730596237258 0 /proc/5506/statm: 28282 362 304 221 0 87 0 [pid=5508] ppid=5506 vsize=28227396 memory=28772 CPUtime=0.13 cores=0-7 /proc/5508/stat : 5508 (java) S 5506 5506 31481 0 -1 1077944320 5698 0 0 0 11 2 0 0 20 0 20 0 511312536 28904853504 7193 33554432000 4194304 4196468 140732872739680 140732872722224 139716777881335 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 /proc/5508/statm: 7056849 7193 3119 1 0 7019032 0 [pid=5508/tid=5509] ppid=5506 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/5508/task/5509/stat : 5509 (java) R 5506 5506 31481 0 -1 4202560 3595 0 0 0 8 1 0 0 20 0 20 0 511312536 28904853504 7193 33554432000 4194304 4196468 140732872739680 139716782107296 139716777893270 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5510] ppid=5506 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5508/task/5510/stat : 5510 (java) S 5506 5506 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511312537 28904853504 7193 33554432000 4194304 4196468 140732872739680 139716697733776 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5511] ppid=5506 vsize=28227396 memory=139642395708352 CPUtime=0 cores=0-7 /proc/5508/task/5511/stat : 5511 (java) S 5506 5506 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511312537 28904853504 7193 33554432000 4194304 4196468 140732872739680 139716696680976 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5512] ppid=5506 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5508/task/5512/stat : 5512 (java) S 5506 5506 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511312537 28904853504 7193 33554432000 4194304 4196468 140732872739680 139716327496080 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5513] ppid=5506 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5508/task/5513/stat : 5513 (java) S 5506 5506 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511312537 28904853504 7193 33554432000 4194304 4196468 140732872739680 139716326443280 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5514] ppid=5506 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5508/task/5514/stat : 5514 (java) S 5506 5506 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511312537 28904853504 7193 33554432000 4194304 4196468 140732872739680 139716325391504 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5515] ppid=5506 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/5508/task/5515/stat : 5515 (java) S 5506 5506 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511312537 28904853504 7193 33554432000 4194304 4196468 140732872739680 139716324338704 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5516] ppid=5506 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5508/task/5516/stat : 5516 (java) S 5506 5506 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511312537 28904853504 7193 33554432000 4194304 4196468 140732872739680 139716323285904 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5517] ppid=5506 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5508/task/5517/stat : 5517 (java) S 5506 5506 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511312537 28904853504 7193 33554432000 4194304 4196468 140732872739680 139716322233104 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5518] ppid=5506 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5508/task/5518/stat : 5518 (java) S 5506 5506 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511312538 28904853504 7193 33554432000 4194304 4196468 140732872739680 139716162685296 139716777892482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5519] ppid=5506 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5508/task/5519/stat : 5519 (java) S 5506 5506 31481 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511312539 28904853504 7193 33554432000 4194304 4196468 140732872739680 139716161631264 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5520] ppid=5506 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5508/task/5520/stat : 5520 (java) S 5506 5506 31481 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511312539 28904853504 7193 33554432000 4194304 4196468 140732872739680 139716160578416 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5521] ppid=5506 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5508/task/5521/stat : 5521 (java) S 5506 5506 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511312541 28904853504 7193 33554432000 4194304 4196468 140732872739680 139716091438928 139716777899931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5522] ppid=5506 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5508/task/5522/stat : 5522 (java) R 5506 5506 31481 0 -1 4202560 322 0 0 0 0 0 0 0 20 0 20 0 511312541 28904853504 7193 33554432000 4194304 4196468 140732872739680 139716090378960 139716761417376 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5523] ppid=5506 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5508/task/5523/stat : 5523 (java) S 5506 5506 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511312541 28904853504 7193 33554432000 4194304 4196468 140732872739680 139716089334512 139716777892482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5524] ppid=5506 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5508/task/5524/stat : 5524 (java) S 5506 5506 31481 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 511312541 28904853504 7193 33554432000 4194304 4196468 140732872739680 139716088281712 139716777892482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5525] ppid=5506 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/5508/task/5525/stat : 5525 (java) R 5506 5506 31481 0 -1 4202560 369 0 0 0 2 0 0 0 20 0 20 0 511312541 28904853504 7193 33554432000 4194304 4196468 140732872739680 139716087228000 139716761961822 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5526] ppid=5506 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5508/task/5526/stat : 5526 (java) S 5506 5506 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511312542 28904853504 7193 33554432000 4194304 4196468 140732872739680 139716086176352 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5527] ppid=5506 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/5508/task/5527/stat : 5527 (java) S 5506 5506 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511312542 28904853504 7193 33554432000 4194304 4196468 140732872739680 139716085123632 139716777892482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30220 KiB [startup+0.21065 s]* /proc/loadavg: 2.63 3.07 5.02 3/211 5527 /proc/meminfo: memFree=25201316/32770624 swapFree=66999760/67108860 [pid=5506] ppid=5503 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/5506/stat : 5506 (xcsp3-exec) S 5503 5506 31481 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 511312536 115843072 362 33554432000 4194304 5098028 140730596232608 140730596230712 140228236681852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10506240 140730596234108 140730596234350 140730596234350 140730596237258 0 /proc/5506/statm: 28282 362 304 221 0 87 0 [pid=5508] ppid=5506 vsize=28227396 memory=41328 CPUtime=0.34 cores=0-7 /proc/5508/stat : 5508 (java) S 5506 5506 31481 0 -1 1077944320 9549 0 0 0 30 4 0 0 20 0 20 0 511312536 28904853504 10332 33554432000 4194304 4196468 140732872739680 140732872722224 139716777881335 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 /proc/5508/statm: 7056849 10332 3309 1 0 7019032 0 [pid=5508/tid=5509] ppid=5506 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/5508/task/5509/stat : 5509 (java) R 5506 5506 31481 0 -1 4202560 6621 0 0 0 17 2 0 0 20 0 20 0 511312536 28904853504 10332 33554432000 4194304 4196468 140732872739680 139716782119648 139716777893270 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5510] ppid=5506 vsize=28227396 memory=288230596118053219 CPUtime=0 cores=0-7 /proc/5508/task/5510/stat : 5510 (java) S 5506 5506 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511312537 28904853504 10332 33554432000 4194304 4196468 140732872739680 139716697733776 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5511] ppid=5506 vsize=28227396 memory=4122395876062459552 CPUtime=0 cores=0-7 /proc/5508/task/5511/stat : 5511 (java) S 5506 5506 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511312537 28904853504 10332 33554432000 4194304 4196468 140732872739680 139716696680976 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5512] ppid=5506 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/5508/task/5512/stat : 5512 (java) S 5506 5506 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511312537 28904853504 10332 33554432000 4194304 4196468 140732872739680 139716327496080 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5513] ppid=5506 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5508/task/5513/stat : 5513 (java) S 5506 5506 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511312537 28904853504 10332 33554432000 4194304 4196468 140732872739680 139716326443280 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5514] ppid=5506 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5508/task/5514/stat : 5514 (java) S 5506 5506 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511312537 28904853504 10332 33554432000 4194304 4196468 140732872739680 139716325391504 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5515] ppid=5506 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/5508/task/5515/stat : 5515 (java) S 5506 5506 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511312537 28904853504 10332 33554432000 4194304 4196468 140732872739680 139716324338704 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5516] ppid=5506 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5508/task/5516/stat : 5516 (java) S 5506 5506 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511312537 28904853504 10332 33554432000 4194304 4196468 140732872739680 139716323285904 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5517] ppid=5506 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5508/task/5517/stat : 5517 (java) S 5506 5506 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511312537 28904853504 10332 33554432000 4194304 4196468 140732872739680 139716322233104 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5518] ppid=5506 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5508/task/5518/stat : 5518 (java) S 5506 5506 31481 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511312538 28904853504 10332 33554432000 4194304 4196468 140732872739680 139716162685296 139716777892482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5519] ppid=5506 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5508/task/5519/stat : 5519 (java) S 5506 5506 31481 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511312539 28904853504 10332 33554432000 4194304 4196468 140732872739680 139716161631264 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5520] ppid=5506 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5508/task/5520/stat : 5520 (java) S 5506 5506 31481 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511312539 28904853504 10332 33554432000 4194304 4196468 140732872739680 139716160578416 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5521] ppid=5506 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5508/task/5521/stat : 5521 (java) S 5506 5506 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511312541 28904853504 10332 33554432000 4194304 4196468 140732872739680 139716091438928 139716777899931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5522] ppid=5506 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/5508/task/5522/stat : 5522 (java) S 5506 5506 31481 0 -1 1077944384 435 0 0 0 1 0 0 0 20 0 20 0 511312541 28904853504 10332 33554432000 4194304 4196468 140732872739680 139716090387312 139716777892482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5523] ppid=5506 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/5508/task/5523/stat : 5523 (java) S 5506 5506 31481 0 -1 1077944384 290 0 0 0 2 0 0 0 20 0 20 0 511312541 28904853504 10332 33554432000 4194304 4196468 140732872739680 139716089334512 139716777892482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5524] ppid=5506 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/5508/task/5524/stat : 5524 (java) S 5506 5506 31481 0 -1 1077944384 140 0 0 0 1 0 0 0 20 0 20 0 511312541 28904853504 10332 33554432000 4194304 4196468 140732872739680 139716088281712 139716777892482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5525] ppid=5506 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7 /proc/5508/task/5525/stat : 5525 (java) S 5506 5506 31481 0 -1 1077944384 750 0 0 0 8 0 0 0 20 0 20 0 511312541 28904853504 10332 33554432000 4194304 4196468 140732872739680 139716087228912 139716777892482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5526] ppid=5506 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5508/task/5526/stat : 5526 (java) S 5506 5506 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511312542 28904853504 10332 33554432000 4194304 4196468 140732872739680 139716086176352 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5527] ppid=5506 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/5508/task/5527/stat : 5527 (java) S 5506 5506 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511312542 28904853504 10332 33554432000 4194304 4196468 140732872739680 139716085123632 139716777892482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42776 KiB [startup+0.310508 s]* /proc/loadavg: 2.63 3.07 5.02 4/211 5527 /proc/meminfo: memFree=25193920/32770624 swapFree=66999760/67108860 [pid=5506] ppid=5503 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/5506/stat : 5506 (xcsp3-exec) S 5503 5506 31481 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 511312536 115843072 362 33554432000 4194304 5098028 140730596232608 140730596230712 140228236681852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10506240 140730596234108 140730596234350 140730596234350 140730596237258 0 /proc/5506/statm: 28282 362 304 221 0 87 0 [pid=5508] ppid=5506 vsize=28231652 memory=50148 CPUtime=0.53 cores=0-7 /proc/5508/stat : 5508 (java) S 5506 5506 31481 0 -1 1077944320 10923 0 0 0 48 5 0 0 20 0 20 0 511312536 28909211648 12537 33554432000 4194304 4196468 140732872739680 140732872722224 139716777881335 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 /proc/5508/statm: 7057913 12537 3350 1 0 7019032 0 [pid=5508/tid=5509] ppid=5506 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/5508/task/5509/stat : 5509 (java) R 5506 5506 31481 0 -1 4202560 7795 0 0 0 26 3 0 0 20 0 20 0 511312536 28909211648 12537 33554432000 4194304 4196468 140732872739680 139716782112448 139716777904925 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5510] ppid=5506 vsize=28231652 memory=2116 CPUtime=0 cores=0-7 /proc/5508/task/5510/stat : 5510 (java) S 5506 5506 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511312537 28909211648 12537 33554432000 4194304 4196468 140732872739680 139716697733776 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5511] ppid=5506 vsize=28231652 memory=24092 CPUtime=0 cores=0-7 /proc/5508/task/5511/stat : 5511 (java) S 5506 5506 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511312537 28909211648 12537 33554432000 4194304 4196468 140732872739680 139716696680976 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5512] ppid=5506 vsize=28231652 memory=12024 CPUtime=0 cores=0-7 /proc/5508/task/5512/stat : 5512 (java) S 5506 5506 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511312537 28909211648 12537 33554432000 4194304 4196468 140732872739680 139716327496080 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5513] ppid=5506 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5508/task/5513/stat : 5513 (java) S 5506 5506 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511312537 28909211648 12537 33554432000 4194304 4196468 140732872739680 139716326443280 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5514] ppid=5506 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5508/task/5514/stat : 5514 (java) S 5506 5506 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511312537 28909211648 12537 33554432000 4194304 4196468 140732872739680 139716325391504 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5515] ppid=5506 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5508/task/5515/stat : 5515 (java) S 5506 5506 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511312537 28909211648 12537 33554432000 4194304 4196468 140732872739680 139716324338704 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5516] ppid=5506 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5508/task/5516/stat : 5516 (java) S 5506 5506 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511312537 28909211648 12537 33554432000 4194304 4196468 140732872739680 139716323285904 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5517] ppid=5506 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5508/task/5517/stat : 5517 (java) S 5506 5506 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511312537 28909211648 12537 33554432000 4194304 4196468 140732872739680 139716322233104 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5518] ppid=5506 vsize=28231652 memory=139642271787744 CPUtime=0 cores=0-7 /proc/5508/task/5518/stat : 5518 (java) S 5506 5506 31481 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511312538 28909211648 12537 33554432000 4194304 4196468 140732872739680 139716162685296 139716777892482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5519] ppid=5506 vsize=28231652 memory=279284543580032 CPUtime=0 cores=0-7 /proc/5508/task/5519/stat : 5519 (java) S 5506 5506 31481 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511312539 28909211648 12537 33554432000 4194304 4196468 140732872739680 139716161631264 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5520] ppid=5506 vsize=28231652 memory=279284543584640 CPUtime=0 cores=0-7 /proc/5508/task/5520/stat : 5520 (java) S 5506 5506 31481 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511312539 28909211648 12537 33554432000 4194304 4196468 140732872739680 139716160578416 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5521] ppid=5506 vsize=28231652 memory=279284543589248 CPUtime=0 cores=0-7 /proc/5508/task/5521/stat : 5521 (java) S 5506 5506 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511312541 28909211648 12537 33554432000 4194304 4196468 140732872739680 139716091438928 139716777899931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5522] ppid=5506 vsize=28231652 memory=279284543593856 CPUtime=0.03 cores=0-7 /proc/5508/task/5522/stat : 5522 (java) R 5506 5506 31481 0 -1 4202560 526 0 0 0 3 0 0 0 20 0 20 0 511312541 28909211648 12537 33554432000 4194304 4196468 140732872739680 139716090387312 139716759425628 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5523] ppid=5506 vsize=28231652 memory=279284543598464 CPUtime=0.03 cores=0-7 /proc/5508/task/5523/stat : 5523 (java) S 5506 5506 31481 0 -1 1077944384 308 0 0 0 3 0 0 0 20 0 20 0 511312541 28909211648 12537 33554432000 4194304 4196468 140732872739680 139716089334512 139716777892482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5524] ppid=5506 vsize=28231652 memory=279284543603072 CPUtime=0.02 cores=0-7 /proc/5508/task/5524/stat : 5524 (java) S 5506 5506 31481 0 -1 1077944384 158 0 0 0 2 0 0 0 20 0 20 0 511312541 28909211648 12537 33554432000 4194304 4196468 140732872739680 139716088281712 139716777892482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5525] ppid=5506 vsize=28231652 memory=279284543607680 CPUtime=0.12 cores=0-7 /proc/5508/task/5525/stat : 5525 (java) S 5506 5506 31481 0 -1 1077944384 846 0 0 0 12 0 0 0 20 0 20 0 511312541 28909211648 12537 33554432000 4194304 4196468 140732872739680 139716087228912 139716777892482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5526] ppid=5506 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5508/task/5526/stat : 5526 (java) S 5506 5506 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511312542 28909211648 12537 33554432000 4194304 4196468 140732872739680 139716086176352 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5527] ppid=5506 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/5508/task/5527/stat : 5527 (java) S 5506 5506 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511312542 28909211648 12537 33554432000 4194304 4196468 140732872739680 139716085123632 139716777892482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51596 KiB [startup+0.700948 s] /proc/loadavg: 2.63 3.07 5.02 4/211 5527 /proc/meminfo: memFree=25176552/32770624 swapFree=66999760/67108860 [pid=5506] ppid=5503 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/5506/stat : 5506 (xcsp3-exec) S 5503 5506 31481 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 511312536 115843072 362 33554432000 4194304 5098028 140730596232608 140730596230712 140228236681852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10506240 140730596234108 140730596234350 140730596234350 140730596237258 0 /proc/5506/statm: 28282 362 304 221 0 87 0 [pid=5508] ppid=5506 vsize=28766288 memory=100904 CPUtime=1.74 cores=0-7 /proc/5508/stat : 5508 (java) S 5506 5506 31481 0 -1 1077944320 15607 0 0 0 166 8 0 0 20 0 28 0 511312536 29456678912 25226 33554432000 4194304 4196468 140732872739680 140732872722224 139716777881335 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 /proc/5508/statm: 7191572 25226 3454 1 0 7152672 0 [pid=5508/tid=5509] ppid=5506 vsize=28766288 memory=6155101862208575398 CPUtime=0.62 cores=0-7 /proc/5508/task/5509/stat : 5509 (java) S 5506 5506 31481 0 -1 1077944384 9401 0 0 0 58 4 0 0 20 0 28 0 511312536 29456678912 25226 33554432000 4194304 4196468 140732872739680 139716782122112 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5510] ppid=5506 vsize=28766288 memory=47407849024284 CPUtime=0 cores=0-7 /proc/5508/task/5510/stat : 5510 (java) S 5506 5506 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 511312537 29456678912 25226 33554432000 4194304 4196468 140732872739680 139716697733776 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5511] ppid=5506 vsize=28766288 memory=139642271903456 CPUtime=0 cores=0-7 /proc/5508/task/5511/stat : 5511 (java) S 5506 5506 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511312537 29456678912 25226 33554432000 4194304 4196468 140732872739680 139716696680976 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5512] ppid=5506 vsize=28766288 memory=9588 CPUtime=0 cores=0-7 /proc/5508/task/5512/stat : 5512 (java) S 5506 5506 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511312537 29456678912 25226 33554432000 4194304 4196468 140732872739680 139716327496080 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 ################ # More data... # ################ [pid=5508/tid=5525] ppid=5506 vsize=28834900 memory=7897517683652307531 CPUtime=0.66 cores=0-7 /proc/5508/task/5525/stat : 5525 (java) S 5506 5506 31481 0 -1 1077944384 3132 0 0 0 65 1 0 0 20 0 28 0 511312541 29526937600 54054 33554432000 4194304 4196468 140732872739680 139716087228912 139716777892482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 36 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5526] ppid=5506 vsize=28834900 memory=8514726395715349656 CPUtime=0 cores=0-7 /proc/5508/task/5526/stat : 5526 (java) S 5506 5506 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511312542 29526937600 54054 33554432000 4194304 4196468 140732872739680 139716086176352 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5527] ppid=5506 vsize=28834900 memory=3047711553320166262 CPUtime=0 cores=0-7 /proc/5508/task/5527/stat : 5527 (java) S 5506 5506 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511312542 29526937600 54054 33554432000 4194304 4196468 140732872739680 139716085123632 139716777892482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 35 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5624] ppid=5506 vsize=28834900 memory=7824336315716348491 CPUtime=0.96 cores=0-7 /proc/5508/task/5624/stat : 5624 (java) R 5506 5506 31481 0 -1 4202560 20 0 0 0 96 0 0 0 20 0 28 0 511312642 29526937600 54054 33554432000 4194304 4196468 140732872739680 139716074039616 139716376772612 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5625] ppid=5506 vsize=28834900 memory=0 CPUtime=1 cores=0-7 /proc/5508/task/5625/stat : 5625 (java) R 5506 5506 31481 0 -1 4202560 20 0 0 0 100 0 0 0 20 0 28 0 511312642 29526937600 54054 33554432000 4194304 4196468 140732872739680 139716067721416 139716382102963 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5626] ppid=5506 vsize=28834900 memory=941 CPUtime=0.86 cores=0-7 /proc/5508/task/5626/stat : 5626 (java) R 5506 5506 31481 0 -1 4202560 23 0 0 0 86 0 0 0 20 0 28 0 511312642 29526937600 54054 33554432000 4194304 4196468 140732872739680 139716072986472 139716376808704 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5627] ppid=5506 vsize=28834900 memory=63 CPUtime=0.7 cores=0-7 /proc/5508/task/5627/stat : 5627 (java) R 5506 5506 31481 0 -1 4202560 22 0 0 0 70 0 0 0 20 0 28 0 511312642 29526937600 54054 33554432000 4194304 4196468 140732872739680 139716069828696 139716381645640 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5628] ppid=5506 vsize=28834900 memory=0 CPUtime=0.84 cores=0-7 /proc/5508/task/5628/stat : 5628 (java) R 5506 5506 31481 0 -1 4202560 19 0 0 0 84 0 0 0 20 0 28 0 511312642 29526937600 54054 33554432000 4194304 4196468 140732872739680 139716076143544 139716381645366 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5629] ppid=5506 vsize=28834900 memory=0 CPUtime=0.9 cores=0-7 /proc/5508/task/5629/stat : 5629 (java) R 5506 5506 31481 0 -1 4202560 20 0 0 0 90 0 0 0 20 0 28 0 511312642 29526937600 54054 33554432000 4194304 4196468 140732872739680 139716070883264 139716376796902 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5630] ppid=5506 vsize=28834900 memory=0 CPUtime=0.71 cores=0-7 /proc/5508/task/5630/stat : 5630 (java) R 5506 5506 31481 0 -1 4202560 23 0 0 0 71 0 0 0 20 0 28 0 511312642 29526937600 54054 33554432000 4194304 4196468 140732872739680 139716071931456 139716382789392 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5631] ppid=5506 vsize=28834900 memory=0 CPUtime=0.84 cores=0-7 /proc/5508/task/5631/stat : 5631 (java) R 5506 5506 31481 0 -1 4202560 18 0 0 0 84 0 0 0 20 0 28 0 511312643 29526937600 54054 33554432000 4194304 4196468 140732872739680 139716075089432 139716376797086 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 Current children cumulated CPU time: 13.49 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 217664 KiB [startup+2.80169 s] /proc/loadavg: 2.63 3.07 5.02 11/219 5631 /proc/meminfo: memFree=25030072/32770624 swapFree=66999760/67108860 [pid=5506] ppid=5503 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/5506/stat : 5506 (xcsp3-exec) S 5503 5506 31481 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 511312536 115843072 362 33554432000 4194304 5098028 140730596232608 140730596230712 140228236681852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10506240 140730596234108 140730596234350 140730596234350 140730596237258 0 /proc/5506/statm: 28282 362 304 221 0 87 0 [pid=5508] ppid=5506 vsize=28834900 memory=220980 CPUtime=16.67 cores=0-7 /proc/5508/stat : 5508 (java) S 5506 5506 31481 0 -1 1077944320 25834 0 0 0 1654 13 0 0 20 0 28 0 511312536 29526937600 55245 33554432000 4194304 4196468 140732872739680 140732872722224 139716777881335 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 /proc/5508/statm: 7208725 55245 3486 1 0 7169825 0 [pid=5508/tid=5509] ppid=5506 vsize=28834900 memory=7738422675438136403 CPUtime=0.63 cores=0-7 /proc/5508/task/5509/stat : 5509 (java) S 5506 5506 31481 0 -1 1077944384 9406 0 0 0 59 4 0 0 20 0 28 0 511312536 29526937600 55245 33554432000 4194304 4196468 140732872739680 139716782122112 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5510] ppid=5506 vsize=28834900 memory=1448 CPUtime=0 cores=0-7 /proc/5508/task/5510/stat : 5510 (java) S 5506 5506 31481 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 511312537 29526937600 55245 33554432000 4194304 4196468 140732872739680 139716697733776 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5511] ppid=5506 vsize=28834900 memory=211804 CPUtime=0 cores=0-7 /proc/5508/task/5511/stat : 5511 (java) S 5506 5506 31481 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 511312537 29526937600 55245 33554432000 4194304 4196468 140732872739680 139716696680976 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5512] ppid=5506 vsize=28834900 memory=23648089942806 CPUtime=0 cores=0-7 /proc/5508/task/5512/stat : 5512 (java) S 5506 5506 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511312537 29526937600 55245 33554432000 4194304 4196468 140732872739680 139716327496080 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5513] ppid=5506 vsize=28834900 memory=23648089942807 CPUtime=0 cores=0-7 /proc/5508/task/5513/stat : 5513 (java) S 5506 5506 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 511312537 29526937600 55245 33554432000 4194304 4196468 140732872739680 139716326443280 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5514] ppid=5506 vsize=28834900 memory=23648089942808 CPUtime=0 cores=0-7 /proc/5508/task/5514/stat : 5514 (java) S 5506 5506 31481 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 511312537 29526937600 55245 33554432000 4194304 4196468 140732872739680 139716325391504 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5515] ppid=5506 vsize=28834900 memory=23648089942809 CPUtime=0 cores=0-7 /proc/5508/task/5515/stat : 5515 (java) S 5506 5506 31481 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 511312537 29526937600 55245 33554432000 4194304 4196468 140732872739680 139716324338704 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5516] ppid=5506 vsize=28834900 memory=279284544312064 CPUtime=0 cores=0-7 /proc/5508/task/5516/stat : 5516 (java) S 5506 5506 31481 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 511312537 29526937600 55245 33554432000 4194304 4196468 140732872739680 139716323285904 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5517] ppid=5506 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/5508/task/5517/stat : 5517 (java) S 5506 5506 31481 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 511312537 29526937600 55245 33554432000 4194304 4196468 140732872739680 139716322233104 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5518] ppid=5506 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/5508/task/5518/stat : 5518 (java) S 5506 5506 31481 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 511312538 29526937600 55245 33554432000 4194304 4196468 140732872739680 139716162685296 139716777892482 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5519] ppid=5506 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/5508/task/5519/stat : 5519 (java) S 5506 5506 31481 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 511312539 29526937600 55245 33554432000 4194304 4196468 140732872739680 139716161631264 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5520] ppid=5506 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/5508/task/5520/stat : 5520 (java) S 5506 5506 31481 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 511312539 29526937600 55245 33554432000 4194304 4196468 140732872739680 139716160578416 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5521] ppid=5506 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/5508/task/5521/stat : 5521 (java) S 5506 5506 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511312541 29526937600 55245 33554432000 4194304 4196468 140732872739680 139716091438928 139716777899931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5522] ppid=5506 vsize=28834900 memory=0 CPUtime=1.35 cores=0-7 /proc/5508/task/5522/stat : 5522 (java) S 5506 5506 31481 0 -1 1077944384 3206 0 0 0 134 1 0 0 20 0 28 0 511312541 29526937600 55245 33554432000 4194304 4196468 140732872739680 139716090387312 139716777892482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5523] ppid=5506 vsize=28834900 memory=0 CPUtime=1.43 cores=0-7 /proc/5508/task/5523/stat : 5523 (java) R 5506 5506 31481 0 -1 4202560 3090 0 0 0 143 0 0 0 20 0 28 0 511312541 29526937600 55245 33554432000 4194304 4196468 140732872739680 139716089320640 139716759402551 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5524] ppid=5506 vsize=28834900 memory=0 CPUtime=1.2 cores=0-7 /proc/5508/task/5524/stat : 5524 (java) R 5506 5506 31481 0 -1 4202560 3437 0 0 0 120 0 0 0 20 0 28 0 511312541 29526937600 55245 33554432000 4194304 4196468 140732872739680 139716088268256 139716757127866 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5525] ppid=5506 vsize=28834900 memory=0 CPUtime=0.69 cores=0-7 /proc/5508/task/5525/stat : 5525 (java) R 5506 5506 31481 0 -1 1077944384 3186 0 0 0 68 1 0 0 20 0 28 0 511312541 29526937600 55245 33554432000 4194304 4196468 140732872739680 139716087228912 139716777892482 0 4 0 16800975 0 0 0 -1 6 0 0 36 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5526] ppid=5506 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/5508/task/5526/stat : 5526 (java) S 5506 5506 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511312542 29526937600 55245 33554432000 4194304 4196468 140732872739680 139716086176352 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5527] ppid=5506 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/5508/task/5527/stat : 5527 (java) S 5506 5506 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511312542 29526937600 55245 33554432000 4194304 4196468 140732872739680 139716085123632 139716777892482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 35 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5624] ppid=5506 vsize=28834900 memory=0 CPUtime=1.32 cores=0-7 /proc/5508/task/5624/stat : 5624 (java) R 5506 5506 31481 0 -1 4202560 20 0 0 0 132 0 0 0 20 0 28 0 511312642 29526937600 55245 33554432000 4194304 4196468 140732872739680 139716074035816 139716382103582 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5625] ppid=5506 vsize=28834900 memory=0 CPUtime=1.4 cores=0-7 /proc/5508/task/5625/stat : 5625 (java) R 5506 5506 31481 0 -1 4202560 21 0 0 0 140 0 0 0 20 0 28 0 511312642 29526937600 55245 33554432000 4194304 4196468 140732872739680 139716067721544 139716381644663 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5626] ppid=5506 vsize=28834900 memory=0 CPUtime=1.2 cores=0-7 /proc/5508/task/5626/stat : 5626 (java) R 5506 5506 31481 0 -1 4202560 23 0 0 0 120 0 0 0 20 0 28 0 511312642 29526937600 55245 33554432000 4194304 4196468 140732872739680 139716072983224 139716381685847 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5627] ppid=5506 vsize=28834900 memory=0 CPUtime=1.04 cores=0-7 /proc/5508/task/5627/stat : 5627 (java) R 5506 5506 31481 0 -1 4202560 25 0 0 0 104 0 0 0 20 0 28 0 511312642 29526937600 55245 33554432000 4194304 4196468 140732872739680 139716069827400 139716381958510 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5628] ppid=5506 vsize=28834900 memory=0 CPUtime=1.08 cores=0-7 /proc/5508/task/5628/stat : 5628 (java) R 5506 5506 31481 0 -1 4202560 19 0 0 0 108 0 0 0 20 0 28 0 511312642 29526937600 55245 33554432000 4194304 4196468 140732872739680 139716076145240 139716381958220 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5629] ppid=5506 vsize=28834900 memory=0 CPUtime=1.24 cores=0-7 /proc/5508/task/5629/stat : 5629 (java) R 5506 5506 31481 0 -1 4202560 20 0 0 0 124 0 0 0 20 0 28 0 511312642 29526937600 55245 33554432000 4194304 4196468 140732872739680 139716070879176 139716384074706 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5630] ppid=5506 vsize=28834900 memory=41956 CPUtime=0.96 cores=0-7 /proc/5508/task/5630/stat : 5630 (java) R 5506 5506 31481 0 -1 4202560 23 0 0 0 96 0 0 0 20 0 28 0 511312642 29526937600 55245 33554432000 4194304 4196468 140732872739680 139716071931672 139716381684575 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5631] ppid=5506 vsize=28834900 memory=0 CPUtime=1.19 cores=0-7 /proc/5508/task/5631/stat : 5631 (java) R 5506 5506 31481 0 -1 4202560 18 0 0 0 119 0 0 0 20 0 28 0 511312643 29526937600 55245 33554432000 4194304 4196468 140732872739680 139716075091800 139716382472555 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 Current children cumulated CPU time: 16.67 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 222428 KiB [startup+3.00169 s]* /proc/loadavg: 3.30 3.20 5.05 12/219 5631 /proc/meminfo: memFree=25023864/32770624 swapFree=66999760/67108860 [pid=5506] ppid=5503 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/5506/stat : 5506 (xcsp3-exec) S 5503 5506 31481 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 511312536 115843072 362 33554432000 4194304 5098028 140730596232608 140730596230712 140228236681852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10506240 140730596234108 140730596234350 140730596234350 140730596237258 0 /proc/5506/statm: 28282 362 304 221 0 87 0 [pid=5508] ppid=5506 vsize=28834900 memory=221020 CPUtime=18.32 cores=0-7 /proc/5508/stat : 5508 (java) S 5506 5506 31481 0 -1 1077944320 25876 0 0 0 1819 13 0 0 20 0 28 0 511312536 29526937600 55255 33554432000 4194304 4196468 140732872739680 140732872722224 139716777881335 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 /proc/5508/statm: 7208725 55255 3487 1 0 7169825 0 [pid=5508/tid=5509] ppid=5506 vsize=28834900 memory=720703919365947424 CPUtime=0.63 cores=0-7 /proc/5508/task/5509/stat : 5509 (java) S 5506 5506 31481 0 -1 1077944384 9406 0 0 0 59 4 0 0 20 0 28 0 511312536 29526937600 55255 33554432000 4194304 4196468 140732872739680 139716782122112 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5510] ppid=5506 vsize=28834900 memory=288230596067721541 CPUtime=0 cores=0-7 /proc/5508/task/5510/stat : 5510 (java) S 5506 5506 31481 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 511312537 29526937600 55255 33554432000 4194304 4196468 140732872739680 139716697733776 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5511] ppid=5506 vsize=28834900 memory=16245517205698200 CPUtime=0 cores=0-7 /proc/5508/task/5511/stat : 5511 (java) S 5506 5506 31481 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 511312537 29526937600 55255 33554432000 4194304 4196468 140732872739680 139716696680976 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5512] ppid=5506 vsize=28834900 memory=-1 CPUtime=0 cores=0-7 /proc/5508/task/5512/stat : 5512 (java) S 5506 5506 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511312537 29526937600 55255 33554432000 4194304 4196468 140732872739680 139716327496080 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5513] ppid=5506 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/5508/task/5513/stat : 5513 (java) S 5506 5506 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 511312537 29526937600 55255 33554432000 4194304 4196468 140732872739680 139716326443280 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5514] ppid=5506 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/5508/task/5514/stat : 5514 (java) S 5506 5506 31481 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 511312537 29526937600 55255 33554432000 4194304 4196468 140732872739680 139716325391504 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5515] ppid=5506 vsize=28834900 memory=-1 CPUtime=0 cores=0-7 /proc/5508/task/5515/stat : 5515 (java) S 5506 5506 31481 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 511312537 29526937600 55255 33554432000 4194304 4196468 140732872739680 139716324338704 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5516] ppid=5506 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/5508/task/5516/stat : 5516 (java) S 5506 5506 31481 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 511312537 29526937600 55255 33554432000 4194304 4196468 140732872739680 139716323285904 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5517] ppid=5506 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/5508/task/5517/stat : 5517 (java) S 5506 5506 31481 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 511312537 29526937600 55255 33554432000 4194304 4196468 140732872739680 139716322233104 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5518] ppid=5506 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/5508/task/5518/stat : 5518 (java) S 5506 5506 31481 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 511312538 29526937600 55255 33554432000 4194304 4196468 140732872739680 139716162685296 139716777892482 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5519] ppid=5506 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/5508/task/5519/stat : 5519 (java) S 5506 5506 31481 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 511312539 29526937600 55255 33554432000 4194304 4196468 140732872739680 139716161631264 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5520] ppid=5506 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/5508/task/5520/stat : 5520 (java) S 5506 5506 31481 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 511312539 29526937600 55255 33554432000 4194304 4196468 140732872739680 139716160578416 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5521] ppid=5506 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/5508/task/5521/stat : 5521 (java) S 5506 5506 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511312541 29526937600 55255 33554432000 4194304 4196468 140732872739680 139716091438928 139716777899931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5522] ppid=5506 vsize=28834900 memory=0 CPUtime=1.45 cores=0-7 /proc/5508/task/5522/stat : 5522 (java) R 5506 5506 31481 0 -1 4202560 3215 0 0 0 144 1 0 0 20 0 28 0 511312541 29526937600 55255 33554432000 4194304 4196468 140732872739680 139716090374432 139716761380200 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5523] ppid=5506 vsize=28834900 memory=0 CPUtime=1.57 cores=0-7 /proc/5508/task/5523/stat : 5523 (java) R 5506 5506 31481 0 -1 4202560 3101 0 0 0 157 0 0 0 20 0 28 0 511312541 29526937600 55255 33554432000 4194304 4196468 140732872739680 139716089321328 139716759425519 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5524] ppid=5506 vsize=28834900 memory=0 CPUtime=1.3 cores=0-7 /proc/5508/task/5524/stat : 5524 (java) R 5506 5506 31481 0 -1 4202560 3452 0 0 0 130 0 0 0 20 0 28 0 511312541 29526937600 55255 33554432000 4194304 4196468 140732872739680 139716088280848 139716761380503 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5525] ppid=5506 vsize=28834900 memory=0 CPUtime=0.7 cores=0-7 /proc/5508/task/5525/stat : 5525 (java) S 5506 5506 31481 0 -1 1077944384 3193 0 0 0 69 1 0 0 20 0 28 0 511312541 29526937600 55255 33554432000 4194304 4196468 140732872739680 139716087228912 139716777892482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 36 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5526] ppid=5506 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/5508/task/5526/stat : 5526 (java) S 5506 5506 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511312542 29526937600 55255 33554432000 4194304 4196468 140732872739680 139716086176352 139716777891541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5527] ppid=5506 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/5508/task/5527/stat : 5527 (java) S 5506 5506 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511312542 29526937600 55255 33554432000 4194304 4196468 140732872739680 139716085123632 139716777892482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 35 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5624] ppid=5506 vsize=28834900 memory=-1 CPUtime=1.53 cores=0-7 /proc/5508/task/5624/stat : 5624 (java) R 5506 5506 31481 0 -1 4202560 20 0 0 0 153 0 0 0 20 0 28 0 511312642 29526937600 55255 33554432000 4194304 4196468 140732872739680 139716074035816 139716383881440 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5625] ppid=5506 vsize=28834900 memory=-1 CPUtime=1.56 cores=0-7 /proc/5508/task/5625/stat : 5625 (java) R 5506 5506 31481 0 -1 4202560 21 0 0 0 156 0 0 0 20 0 28 0 511312642 29526937600 55255 33554432000 4194304 4196468 140732872739680 139716067721544 139716381685119 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5626] ppid=5506 vsize=28834900 memory=0 CPUtime=1.35 cores=0-7 /proc/5508/task/5626/stat : 5626 (java) R 5506 5506 31481 0 -1 4202560 23 0 0 0 135 0 0 0 20 0 28 0 511312642 29526937600 55255 33554432000 4194304 4196468 140732872739680 139716072985720 139716383327294 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5627] ppid=5506 vsize=28834900 memory=0 CPUtime=1.24 cores=0-7 /proc/5508/task/5627/stat : 5627 (java) R 5506 5506 31481 0 -1 4202560 25 0 0 0 124 0 0 0 20 0 28 0 511312642 29526937600 55255 33554432000 4194304 4196468 140732872739680 139716069827080 139716382253798 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5628] ppid=5506 vsize=28834900 memory=0 CPUtime=1.19 cores=0-7 /proc/5508/task/5628/stat : 5628 (java) R 5506 5506 31481 0 -1 4202560 19 0 0 0 119 0 0 0 20 0 28 0 511312642 29526937600 55255 33554432000 4194304 4196468 140732872739680 139716076145240 139716382696183 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5629] ppid=5506 vsize=28834900 memory=0 CPUtime=1.42 cores=0-7 /proc/5508/task/5629/stat : 5629 (java) R 5506 5506 31481 0 -1 4202560 20 0 0 0 142 0 0 0 20 0 28 0 511312642 29526937600 55255 33554432000 4194304 4196468 140732872739680 139716070879176 139716381684889 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5630] ppid=5506 vsize=28834900 memory=0 CPUtime=1.06 cores=0-7 /proc/5508/task/5630/stat : 5630 (java) R 5506 5506 31481 0 -1 4202560 23 0 0 0 106 0 0 0 20 0 28 0 511312642 29526937600 55255 33554432000 4194304 4196468 140732872739680 139716071931416 139716381958411 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 [pid=5508/tid=5631] ppid=5506 vsize=28834900 memory=0 CPUtime=1.39 cores=0-7 /proc/5508/task/5631/stat : 5631 (java) R 5506 5506 31481 0 -1 4202560 18 0 0 0 139 0 0 0 20 0 28 0 511312643 29526937600 55255 33554432000 4194304 4196468 140732872739680 139716075091800 139716382252517 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36093952 140732872745968 140732872746139 140732872746139 140732872749007 0 Current children cumulated CPU time: 18.32 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 222468 KiB Child status: 0 Real time (s): 3.0846 CPU time (s): 18.7927 CPU user time (s): 18.644 CPU system time (s): 0.148621 CPU usage (%): 609.241 Max. virtual memory (cumulated for all children) (KiB): 28948028 Max. memory (cumulated for all children) (KiB): 222468 getrusage(RUSAGE_CHILDREN,...) data: user time used= 18.644 system time used= 0.148621 maximum resident set size= 222376 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26477 page faults= 0 swaps= 0 block input operations= 0 block output operations= 112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4735 involuntary context switches= 632 # summary of solver processes directly reported to runsolver: # pid: 5506 # total CPU time (s): 18.7927 # total CPU user time (s): 18.644 # total CPU system time (s): 0.148621 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.054397 second user time and 0.071464 second system time The end
Begin job on node106 at 2019-09-24 19:41:42 IDJOB=4407309 IDBENCH=141376 IDSOLVER=2872 FILE ID=node106/4407309-1569350585 RUNJOBID= node106-1569332296-31508 PBS_JOBID= 21705069 Free space on /tmp= 23488 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP18/GolombRuler/GolombRuler-a3v18-09_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-4407309-1569350585/watcher-4407309-1569350585 -o /tmp/evaluation-result-4407309-1569350585/solver-4407309-1569350585 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node106-1569332296-31508 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 192544551 HOME/instance-4407309-1569350585.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 967738086e80168f9eb4b0337d9e8cf6 RANDOM SEED=192544551 node106.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.79 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.79 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.79 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.79 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: 25231944 kB MemAvailable: 31842360 kB Buffers: 96328 kB Cached: 6685220 kB SwapCached: 4572 kB Active: 3397764 kB Inactive: 3395308 kB Active(anon): 5684 kB Inactive(anon): 58172 kB Active(file): 3392080 kB Inactive(file): 3337136 kB Unevictable: 107312 kB Mlocked: 107312 kB SwapTotal: 67108860 kB SwapFree: 66999760 kB Dirty: 26460 kB Writeback: 0 kB AnonPages: 114948 kB Mapped: 54072 kB Shmem: 43716 kB Slab: 338728 kB SReclaimable: 309660 kB SUnreclaim: 29068 kB KernelStack: 3408 kB PageTables: 5692 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 507452 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: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 23464 MiB End job on node106 at 2019-09-24 19:41:45