Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 55 | 34.8969 | 4.98614 |
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 | 16.0207 |
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-4407352-1569347141.xml" -tl '2016s' -p 8 0.11/0.18 c Choco e747e1e 0.11/0.18 c [HOME/instance-4407352-1569347141.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 1.59/0.70 c solve instance... 2.99/0.91 o 487 2.99/0.94 o 80 2.99/0.97 o 75 2.99/0.98 o 74 2.99/1.00 o 73 3.58/1.01 o 72 3.58/1.10 o 70 4.37/1.17 o 68 4.37/1.17 o 65 4.37/1.18 o 63 5.13/1.25 o 62 8.15/1.70 o 60 17.62/2.87 o 55 34.30/4.97 s OPTIMUM FOUND 34.30/4.97 v <instantiation> 34.30/4.97 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> 34.30/4.97 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> 34.30/4.97 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 (14061 MiB free) memory of node 1: 16384 MiB (10948 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407352-1569347141/watcher-4407352-1569347141 -o /var/tmp/evaluation-result-4407352-1569347141/solver-4407352-1569347141 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1569335937-9287 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1693300940 HOME/instance-4407352-1569347141.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=14475, runsolver pid=14472 [startup+0.10013 s]* /proc/loadavg: 8.99 8.36 8.23 2/212 14496 /proc/meminfo: memFree=25593132/32770624 swapFree=66997516/67108860 [pid=14475] ppid=14472 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/14475/stat : 14475 (xcsp3-exec) S 14472 14475 9260 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510652414 115843072 364 33554432000 4194304 5098028 140726610588976 140726610587080 140441741849212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16449536 140726610596695 140726610596954 140726610596954 140726610599878 0 /proc/14475/statm: 28282 364 305 221 0 87 0 [pid=14477] ppid=14475 vsize=28227396 memory=30324 CPUtime=0.11 cores=0-7 /proc/14477/stat : 14477 (java) S 14475 14475 9260 0 -1 1077944320 5484 0 0 0 10 1 0 0 20 0 20 0 510652415 28904853504 7581 33554432000 4194304 4196468 140731547885440 140731547867984 140205603081975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 /proc/14477/statm: 7056849 7581 3138 1 0 7019032 0 [pid=14477/tid=14478] ppid=14475 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/14477/task/14478/stat : 14478 (java) R 14475 14475 9260 0 -1 4202560 3402 0 0 0 8 1 0 0 20 0 20 0 510652415 28904853504 7581 33554432000 4194304 4196468 140731547885440 140205607306784 140205197727328 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14479] ppid=14475 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/14477/task/14479/stat : 14479 (java) S 14475 14475 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510652416 28904853504 7581 33554432000 4194304 4196468 140731547885440 140205522934288 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14480] ppid=14475 vsize=28227396 memory=140325250385536 CPUtime=0 cores=0-7 /proc/14477/task/14480/stat : 14480 (java) S 14475 14475 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510652416 28904853504 7581 33554432000 4194304 4196468 140731547885440 140205521881744 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14481] ppid=14475 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14477/task/14481/stat : 14481 (java) S 14475 14475 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510652416 28904853504 7581 33554432000 4194304 4196468 140731547885440 140205520828688 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14482] ppid=14475 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14477/task/14482/stat : 14482 (java) S 14475 14475 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510652416 28904853504 7581 33554432000 4194304 4196468 140731547885440 140205519776144 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14483] ppid=14475 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14477/task/14483/stat : 14483 (java) S 14475 14475 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510652416 28904853504 7581 33554432000 4194304 4196468 140731547885440 140205518724112 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14484] ppid=14475 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/14477/task/14484/stat : 14484 (java) S 14475 14475 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510652416 28904853504 7581 33554432000 4194304 4196468 140731547885440 140205517671568 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14485] ppid=14475 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14477/task/14485/stat : 14485 (java) S 14475 14475 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510652416 28904853504 7581 33554432000 4194304 4196468 140731547885440 140205148461840 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14486] ppid=14475 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14477/task/14486/stat : 14486 (java) S 14475 14475 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510652416 28904853504 7581 33554432000 4194304 4196468 140731547885440 140205147409296 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14487] ppid=14475 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14477/task/14487/stat : 14487 (java) S 14475 14475 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510652417 28904853504 7581 33554432000 4194304 4196468 140731547885440 140204201408752 140205603093122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14488] ppid=14475 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14477/task/14488/stat : 14488 (java) S 14475 14475 9260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510652418 28904853504 7581 33554432000 4194304 4196468 140731547885440 140204200354976 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14489] ppid=14475 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14477/task/14489/stat : 14489 (java) S 14475 14475 9260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510652418 28904853504 7581 33554432000 4194304 4196468 140731547885440 140204199301872 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14490] ppid=14475 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14477/task/14490/stat : 14490 (java) S 14475 14475 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510652420 28904853504 7581 33554432000 4194304 4196468 140731547885440 140204198250448 140205603100571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14491] ppid=14475 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14477/task/14491/stat : 14491 (java) R 14475 14475 9260 0 -1 1077944384 432 0 0 0 0 0 0 0 20 0 20 0 510652420 28904853504 7581 33554432000 4194304 4196468 140731547885440 140204197198576 140205603093122 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14492] ppid=14475 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14477/task/14492/stat : 14492 (java) S 14475 14475 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510652420 28904853504 7581 33554432000 4194304 4196468 140731547885440 140204196146032 140205603093122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14493] ppid=14475 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14477/task/14493/stat : 14493 (java) R 14475 14475 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510652421 28904853504 7581 33554432000 4194304 4196468 140731547885440 140204195092976 140205603093122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14494] ppid=14475 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/14477/task/14494/stat : 14494 (java) R 14475 14475 9260 0 -1 4202560 334 0 0 0 1 0 0 0 20 0 20 0 510652421 28904853504 7581 33554432000 4194304 4196468 140731547885440 140204194040432 140205582036856 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14495] ppid=14475 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14477/task/14495/stat : 14495 (java) S 14475 14475 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510652421 28904853504 7581 33554432000 4194304 4196468 140731547885440 140204192987616 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14496] ppid=14475 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/14477/task/14496/stat : 14496 (java) S 14475 14475 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510652421 28904853504 7581 33554432000 4194304 4196468 140731547885440 140204191935152 140205603093122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31780 KiB [startup+0.210572 s]* /proc/loadavg: 8.99 8.36 8.23 3/212 14496 /proc/meminfo: memFree=25579608/32770624 swapFree=66997516/67108860 [pid=14475] ppid=14472 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/14475/stat : 14475 (xcsp3-exec) S 14472 14475 9260 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510652414 115843072 364 33554432000 4194304 5098028 140726610588976 140726610587080 140441741849212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16449536 140726610596695 140726610596954 140726610596954 140726610599878 0 /proc/14475/statm: 28282 364 305 221 0 87 0 [pid=14477] ppid=14475 vsize=28227396 memory=41100 CPUtime=0.33 cores=0-7 /proc/14477/stat : 14477 (java) S 14475 14475 9260 0 -1 1077944320 9027 0 0 0 30 3 0 0 20 0 20 0 510652415 28904853504 10275 33554432000 4194304 4196468 140731547885440 140731547867984 140205603081975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 /proc/14477/statm: 7056849 10275 3291 1 0 7019032 0 [pid=14477/tid=14478] ppid=14475 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/14477/task/14478/stat : 14478 (java) R 14475 14475 9260 0 -1 4202560 6205 0 0 0 17 2 0 0 20 0 20 0 510652415 28904853504 10275 33554432000 4194304 4196468 140731547885440 140205607313888 140205603103901 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14479] ppid=14475 vsize=28227396 memory=339 CPUtime=0 cores=0-7 /proc/14477/task/14479/stat : 14479 (java) S 14475 14475 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510652416 28904853504 10275 33554432000 4194304 4196468 140731547885440 140205522934288 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14480] ppid=14475 vsize=28227396 memory=4049498925113525920 CPUtime=0 cores=0-7 /proc/14477/task/14480/stat : 14480 (java) S 14475 14475 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510652416 28904853504 10275 33554432000 4194304 4196468 140731547885440 140205521881744 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14481] ppid=14475 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/14477/task/14481/stat : 14481 (java) S 14475 14475 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510652416 28904853504 10275 33554432000 4194304 4196468 140731547885440 140205520828688 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14482] ppid=14475 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14477/task/14482/stat : 14482 (java) S 14475 14475 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510652416 28904853504 10275 33554432000 4194304 4196468 140731547885440 140205519776144 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14483] ppid=14475 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14477/task/14483/stat : 14483 (java) S 14475 14475 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510652416 28904853504 10275 33554432000 4194304 4196468 140731547885440 140205518724112 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14484] ppid=14475 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/14477/task/14484/stat : 14484 (java) S 14475 14475 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510652416 28904853504 10275 33554432000 4194304 4196468 140731547885440 140205517671568 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14485] ppid=14475 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14477/task/14485/stat : 14485 (java) S 14475 14475 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510652416 28904853504 10275 33554432000 4194304 4196468 140731547885440 140205148461840 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14486] ppid=14475 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14477/task/14486/stat : 14486 (java) S 14475 14475 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510652416 28904853504 10275 33554432000 4194304 4196468 140731547885440 140205147409296 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14487] ppid=14475 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14477/task/14487/stat : 14487 (java) S 14475 14475 9260 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510652417 28904853504 10275 33554432000 4194304 4196468 140731547885440 140204201408752 140205603093122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14488] ppid=14475 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14477/task/14488/stat : 14488 (java) S 14475 14475 9260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510652418 28904853504 10275 33554432000 4194304 4196468 140731547885440 140204200354976 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14489] ppid=14475 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14477/task/14489/stat : 14489 (java) S 14475 14475 9260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510652418 28904853504 10275 33554432000 4194304 4196468 140731547885440 140204199301872 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14490] ppid=14475 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14477/task/14490/stat : 14490 (java) S 14475 14475 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510652420 28904853504 10275 33554432000 4194304 4196468 140731547885440 140204198250448 140205603100571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14491] ppid=14475 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/14477/task/14491/stat : 14491 (java) S 14475 14475 9260 0 -1 1077944384 507 0 0 0 2 0 0 0 20 0 20 0 510652420 28904853504 10275 33554432000 4194304 4196468 140731547885440 140204197198576 140205603093122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14492] ppid=14475 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/14477/task/14492/stat : 14492 (java) S 14475 14475 9260 0 -1 1077944384 250 0 0 0 2 0 0 0 20 0 20 0 510652420 28904853504 10275 33554432000 4194304 4196468 140731547885440 140204196146032 140205603093122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14493] ppid=14475 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/14477/task/14493/stat : 14493 (java) S 14475 14475 9260 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 510652421 28904853504 10275 33554432000 4194304 4196468 140731547885440 140204195092976 140205603093122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14494] ppid=14475 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/14477/task/14494/stat : 14494 (java) S 14475 14475 9260 0 -1 1077944384 721 0 0 0 7 0 0 0 20 0 20 0 510652421 28904853504 10275 33554432000 4194304 4196468 140731547885440 140204194040432 140205603093122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14495] ppid=14475 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14477/task/14495/stat : 14495 (java) S 14475 14475 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510652421 28904853504 10275 33554432000 4194304 4196468 140731547885440 140204192987616 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14496] ppid=14475 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/14477/task/14496/stat : 14496 (java) S 14475 14475 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510652421 28904853504 10275 33554432000 4194304 4196468 140731547885440 140204191935152 140205603093122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42556 KiB [startup+0.310158 s]* /proc/loadavg: 8.99 8.36 8.23 3/212 14496 /proc/meminfo: memFree=25574744/32770624 swapFree=66997516/67108860 [pid=14475] ppid=14472 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/14475/stat : 14475 (xcsp3-exec) S 14472 14475 9260 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510652414 115843072 364 33554432000 4194304 5098028 140726610588976 140726610587080 140441741849212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16449536 140726610596695 140726610596954 140726610596954 140726610599878 0 /proc/14475/statm: 28282 364 305 221 0 87 0 [pid=14477] ppid=14475 vsize=28231652 memory=49292 CPUtime=0.52 cores=0-7 /proc/14477/stat : 14477 (java) S 14475 14475 9260 0 -1 1077944320 10245 0 0 0 48 4 0 0 20 0 20 0 510652415 28909211648 12323 33554432000 4194304 4196468 140731547885440 140731547867984 140205603081975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 /proc/14477/statm: 7057913 12323 3351 1 0 7019032 0 [pid=14477/tid=14478] ppid=14475 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/14477/task/14478/stat : 14478 (java) R 14475 14475 9260 0 -1 4202560 7244 0 0 0 27 3 0 0 20 0 20 0 510652415 28909211648 12389 33554432000 4194304 4196468 140731547885440 140205607313088 140205587162462 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14479] ppid=14475 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/14477/task/14479/stat : 14479 (java) S 14475 14475 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510652416 28909211648 12389 33554432000 4194304 4196468 140731547885440 140205522934288 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14480] ppid=14475 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/14477/task/14480/stat : 14480 (java) S 14475 14475 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510652416 28909211648 12389 33554432000 4194304 4196468 140731547885440 140205521881744 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14481] ppid=14475 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/14477/task/14481/stat : 14481 (java) S 14475 14475 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510652416 28909211648 12389 33554432000 4194304 4196468 140731547885440 140205520828688 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14482] ppid=14475 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/14477/task/14482/stat : 14482 (java) S 14475 14475 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510652416 28909211648 12389 33554432000 4194304 4196468 140731547885440 140205519776144 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14483] ppid=14475 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/14477/task/14483/stat : 14483 (java) S 14475 14475 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510652416 28909211648 12389 33554432000 4194304 4196468 140731547885440 140205518724112 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14484] ppid=14475 vsize=28231652 memory=140325104481199 CPUtime=0 cores=0-7 /proc/14477/task/14484/stat : 14484 (java) S 14475 14475 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510652416 28909211648 12389 33554432000 4194304 4196468 140731547885440 140205517671568 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14485] ppid=14475 vsize=28231652 memory=140325104483504 CPUtime=0 cores=0-7 /proc/14477/task/14485/stat : 14485 (java) S 14475 14475 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510652416 28909211648 12389 33554432000 4194304 4196468 140731547885440 140205148461840 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14486] ppid=14475 vsize=28231652 memory=140325104485808 CPUtime=0 cores=0-7 /proc/14477/task/14486/stat : 14486 (java) S 14475 14475 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510652416 28909211648 12389 33554432000 4194304 4196468 140731547885440 140205147409296 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14487] ppid=14475 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/14477/task/14487/stat : 14487 (java) S 14475 14475 9260 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510652417 28909211648 12389 33554432000 4194304 4196468 140731547885440 140204201408752 140205603093122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14488] ppid=14475 vsize=28231652 memory=280650208978576 CPUtime=0 cores=0-7 /proc/14477/task/14488/stat : 14488 (java) S 14475 14475 9260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510652418 28909211648 12389 33554432000 4194304 4196468 140731547885440 140204200354976 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14489] ppid=14475 vsize=28231652 memory=280650208985488 CPUtime=0 cores=0-7 /proc/14477/task/14489/stat : 14489 (java) S 14475 14475 9260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510652418 28909211648 12389 33554432000 4194304 4196468 140731547885440 140204199301872 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14490] ppid=14475 vsize=28231652 memory=280650208926640 CPUtime=0 cores=0-7 /proc/14477/task/14490/stat : 14490 (java) S 14475 14475 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510652420 28909211648 12389 33554432000 4194304 4196468 140731547885440 140204198250448 140205603100571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14491] ppid=14475 vsize=28231652 memory=280650208999312 CPUtime=0.04 cores=0-7 /proc/14477/task/14491/stat : 14491 (java) R 14475 14475 9260 0 -1 4202560 602 0 0 0 4 0 0 0 20 0 20 0 510652420 28909211648 12389 33554432000 4194304 4196468 140731547885440 140204197179592 140205583782272 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14492] ppid=14475 vsize=28231652 memory=280650209006224 CPUtime=0.02 cores=0-7 /proc/14477/task/14492/stat : 14492 (java) S 14475 14475 9260 0 -1 1077944384 260 0 0 0 2 0 0 0 20 0 20 0 510652420 28909211648 12389 33554432000 4194304 4196468 140731547885440 140204196146032 140205603093122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14493] ppid=14475 vsize=28231652 memory=280650209003920 CPUtime=0.01 cores=0-7 /proc/14477/task/14493/stat : 14493 (java) S 14475 14475 9260 0 -1 1077944384 47 0 0 0 1 0 0 0 20 0 20 0 510652421 28909211648 12389 33554432000 4194304 4196468 140731547885440 140204195092976 140205603093122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14494] ppid=14475 vsize=28231652 memory=280650209020080 CPUtime=0.12 cores=0-7 /proc/14477/task/14494/stat : 14494 (java) S 14475 14475 9260 0 -1 1077944384 796 0 0 0 12 0 0 0 20 0 20 0 510652421 28909211648 12389 33554432000 4194304 4196468 140731547885440 140204194040432 140205603093122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14495] ppid=14475 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/14477/task/14495/stat : 14495 (java) S 14475 14475 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510652421 28909211648 12389 33554432000 4194304 4196468 140731547885440 140204192987616 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14496] ppid=14475 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/14477/task/14496/stat : 14496 (java) S 14475 14475 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510652421 28909211648 12389 33554432000 4194304 4196468 140731547885440 140204191935152 140205603093122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 50748 KiB [startup+0.700902 s] /proc/loadavg: 8.99 8.36 8.23 3/212 14496 /proc/meminfo: memFree=25554620/32770624 swapFree=66997516/67108860 [pid=14475] ppid=14472 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/14475/stat : 14475 (xcsp3-exec) S 14472 14475 9260 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510652414 115843072 364 33554432000 4194304 5098028 140726610588976 140726610587080 140441741849212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16449536 140726610596695 140726610596954 140726610596954 140726610599878 0 /proc/14475/statm: 28282 364 305 221 0 87 0 [pid=14477] ppid=14475 vsize=28233776 memory=87428 CPUtime=1.59 cores=0-7 /proc/14477/stat : 14477 (java) S 14475 14475 9260 0 -1 1077944320 14915 0 0 0 152 7 0 0 20 0 20 0 510652415 28911386624 21857 33554432000 4194304 4196468 140731547885440 140731547867984 140205603081975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 /proc/14477/statm: 7058444 21857 3451 1 0 7019544 0 [pid=14477/tid=14478] ppid=14475 vsize=28233776 memory=280650209377968 CPUtime=0.67 cores=0-7 /proc/14477/task/14478/stat : 14478 (java) R 14475 14475 9260 0 -1 4202560 8711 0 0 0 63 4 0 0 20 0 20 0 510652415 28911386624 21857 33554432000 4194304 4196468 140731547885440 140205607312672 140205603093910 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14479] ppid=14475 vsize=28233776 memory=140325104690032 CPUtime=0 cores=0-7 /proc/14477/task/14479/stat : 14479 (java) S 14475 14475 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510652416 28911386624 21857 33554432000 4194304 4196468 140731547885440 140205522934288 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14480] ppid=14475 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/14477/task/14480/stat : 14480 (java) S 14475 14475 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510652416 28911386624 21857 33554432000 4194304 4196468 140731547885440 140205521881744 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14481] ppid=14475 vsize=28233776 memory=6124 CPUtime=0 cores=0-7 /proc/14477/task/14481/stat : 14481 (java) S 14475 14475 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510652416 28911386624 21857 33554432000 4194304 4196468 140731547885440 140205520828688 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 ################ # More data... # ################ [pid=14477/tid=14494] ppid=14475 vsize=28769364 memory=3839633655553 CPUtime=0.77 cores=0-7 /proc/14477/task/14494/stat : 14494 (java) S 14475 14475 9260 0 -1 1077944384 3672 0 0 0 76 1 0 0 20 0 28 0 510652421 29459828736 58013 33554432000 4194304 4196468 140731547885440 140204194040432 140205603093122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14495] ppid=14475 vsize=28769364 memory=3848223590145 CPUtime=0 cores=0-7 /proc/14477/task/14495/stat : 14495 (java) S 14475 14475 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510652421 29459828736 58013 33554432000 4194304 4196468 140731547885440 140204192987616 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14496] ppid=14475 vsize=28769364 memory=4084446791425 CPUtime=0 cores=0-7 /proc/14477/task/14496/stat : 14496 (java) S 14475 14475 9260 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 510652421 29459828736 58013 33554432000 4194304 4196468 140731547885440 140204191935152 140205603093122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14601] ppid=14475 vsize=28769364 memory=4088741758721 CPUtime=1.48 cores=0-7 /proc/14477/task/14601/stat : 14601 (java) R 14475 14475 9260 0 -1 4202560 75 0 0 0 148 0 0 0 20 0 28 0 510652702 29459828736 58013 33554432000 4194304 4196468 140731547885440 140204104994144 140205197961998 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14602] ppid=14475 vsize=28769364 memory=4273425352449 CPUtime=1.46 cores=0-7 /proc/14477/task/14602/stat : 14602 (java) R 14475 14475 9260 0 -1 4202560 37 0 0 0 146 0 0 0 20 0 28 0 510652702 29459828736 58013 33554432000 4194304 4196468 140731547885440 140204179558824 140205204641939 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14603] ppid=14475 vsize=28769364 memory=5205433255681 CPUtime=1.5 cores=0-7 /proc/14477/task/14603/stat : 14603 (java) R 14475 14475 9260 0 -1 4202560 28 0 0 0 150 0 0 0 20 0 28 0 510652702 29459828736 58013 33554432000 4194304 4196468 140731547885440 140204181664808 140205202948184 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14604] ppid=14475 vsize=28769364 memory=7649269647105 CPUtime=1.49 cores=0-7 /proc/14477/task/14604/stat : 14604 (java) R 14475 14475 9260 0 -1 4202560 141 0 0 0 149 0 0 0 20 0 28 0 510652702 29459828736 58013 33554432000 4194304 4196468 140731547885440 140204175348936 140205204638376 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14605] ppid=14475 vsize=28769364 memory=7653564614401 CPUtime=1.38 cores=0-7 /proc/14477/task/14605/stat : 14605 (java) R 14475 14475 9260 0 -1 4202560 84 0 0 0 138 0 0 0 20 0 28 0 510652702 29459828736 58013 33554432000 4194304 4196468 140731547885440 140204178506432 140205205619337 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14606] ppid=14475 vsize=28769364 memory=8641407092481 CPUtime=1.47 cores=0-7 /proc/14477/task/14606/stat : 14606 (java) R 14475 14475 9260 0 -1 4202560 62 0 0 0 147 0 0 0 20 0 28 0 510652702 29459828736 58013 33554432000 4194304 4196468 140731547885440 140204176400688 140205202948800 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14607] ppid=14475 vsize=28769364 memory=0 CPUtime=1.27 cores=0-7 /proc/14477/task/14607/stat : 14607 (java) R 14475 14475 9260 0 -1 4202560 143 0 0 0 127 0 0 0 20 0 28 0 510652702 29459828736 58013 33554432000 4194304 4196468 140731547885440 140204180611464 140205202948248 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14608] ppid=14475 vsize=28769364 memory=9435976042241 CPUtime=1.29 cores=0-7 /proc/14477/task/14608/stat : 14608 (java) R 14475 14475 9260 0 -1 4202560 67 0 0 0 129 0 0 0 20 0 28 0 510652702 29459828736 58013 33554432000 4194304 4196468 140731547885440 140204182716328 140205204496512 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 Current children cumulated CPU time: 30.34 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 233508 KiB [startup+4.80184 s] /proc/loadavg: 9.15 8.41 8.24 9/219 14608 /proc/meminfo: memFree=25390484/32770624 swapFree=66997516/67108860 [pid=14475] ppid=14472 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/14475/stat : 14475 (xcsp3-exec) S 14472 14475 9260 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510652414 115843072 364 33554432000 4194304 5098028 140726610588976 140726610587080 140441741849212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16449536 140726610596695 140726610596954 140726610596954 140726610599878 0 /proc/14475/statm: 28282 364 305 221 0 87 0 [pid=14477] ppid=14475 vsize=28769364 memory=232100 CPUtime=33.5 cores=0-7 /proc/14477/stat : 14477 (java) S 14475 14475 9260 0 -1 1077944320 27729 0 0 0 3332 18 0 0 20 0 28 0 510652415 29459828736 58025 33554432000 4194304 4196468 140731547885440 140731547867984 140205603081975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 /proc/14477/statm: 7192341 58025 3526 1 0 7153441 0 [pid=14477/tid=14478] ppid=14475 vsize=28769364 memory=280650209371696 CPUtime=0.7 cores=0-7 /proc/14477/task/14478/stat : 14478 (java) S 14475 14475 9260 0 -1 1077944384 8910 0 0 0 65 5 0 0 20 0 28 0 510652415 29459828736 58025 33554432000 4194304 4196468 140731547885440 140205607322752 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14479] ppid=14475 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/14477/task/14479/stat : 14479 (java) S 14475 14475 9260 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 510652416 29459828736 58025 33554432000 4194304 4196468 140731547885440 140205522934288 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14480] ppid=14475 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/14477/task/14480/stat : 14480 (java) S 14475 14475 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 510652416 29459828736 58025 33554432000 4194304 4196468 140731547885440 140205521881744 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14481] ppid=14475 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/14477/task/14481/stat : 14481 (java) S 14475 14475 9260 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 510652416 29459828736 58025 33554432000 4194304 4196468 140731547885440 140205520828688 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14482] ppid=14475 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/14477/task/14482/stat : 14482 (java) S 14475 14475 9260 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 510652416 29459828736 58025 33554432000 4194304 4196468 140731547885440 140205519776144 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14483] ppid=14475 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/14477/task/14483/stat : 14483 (java) S 14475 14475 9260 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 510652416 29459828736 58025 33554432000 4194304 4196468 140731547885440 140205518724112 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14484] ppid=14475 vsize=28769364 memory=-8970732287579073388 CPUtime=0 cores=0-7 /proc/14477/task/14484/stat : 14484 (java) S 14475 14475 9260 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 28 0 510652416 29459828736 58025 33554432000 4194304 4196468 140731547885440 140205517671568 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14485] ppid=14475 vsize=28769364 memory=-6526411401870300574 CPUtime=0 cores=0-7 /proc/14477/task/14485/stat : 14485 (java) S 14475 14475 9260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 510652416 29459828736 58025 33554432000 4194304 4196468 140731547885440 140205148461840 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14486] ppid=14475 vsize=28769364 memory=-3836323525028057491 CPUtime=0 cores=0-7 /proc/14477/task/14486/stat : 14486 (java) S 14475 14475 9260 0 -1 1077944384 205 0 0 0 0 0 0 0 20 0 28 0 510652416 29459828736 58025 33554432000 4194304 4196468 140731547885440 140205147409296 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14487] ppid=14475 vsize=28769364 memory=232052 CPUtime=0 cores=0-7 /proc/14477/task/14487/stat : 14487 (java) S 14475 14475 9260 0 -1 1077944384 246 0 0 0 0 0 0 0 20 0 28 0 510652417 29459828736 58025 33554432000 4194304 4196468 140731547885440 140204201408752 140205603093122 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14488] ppid=14475 vsize=28769364 memory=222228 CPUtime=0 cores=0-7 /proc/14477/task/14488/stat : 14488 (java) S 14475 14475 9260 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 510652418 29459828736 58025 33554432000 4194304 4196468 140731547885440 140204200355040 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14489] ppid=14475 vsize=28769364 memory=280650209198496 CPUtime=0 cores=0-7 /proc/14477/task/14489/stat : 14489 (java) S 14475 14475 9260 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 510652418 29459828736 58025 33554432000 4194304 4196468 140731547885440 140204199301888 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14490] ppid=14475 vsize=28769364 memory=43652 CPUtime=0 cores=0-7 /proc/14477/task/14490/stat : 14490 (java) S 14475 14475 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510652420 29459828736 58025 33554432000 4194304 4196468 140731547885440 140204198250448 140205603100571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14491] ppid=14475 vsize=28769364 memory=0 CPUtime=1.82 cores=0-7 /proc/14477/task/14491/stat : 14491 (java) S 14475 14475 9260 0 -1 1077944384 3311 0 0 0 181 1 0 0 20 0 28 0 510652420 29459828736 58025 33554432000 4194304 4196468 140731547885440 140204197198576 140205603093122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14492] ppid=14475 vsize=28769364 memory=0 CPUtime=1.99 cores=0-7 /proc/14477/task/14492/stat : 14492 (java) S 14475 14475 9260 0 -1 1077944384 3090 0 0 0 198 1 0 0 20 0 28 0 510652420 29459828736 58025 33554432000 4194304 4196468 140731547885440 140204196146032 140205603093122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14493] ppid=14475 vsize=28769364 memory=0 CPUtime=1.78 cores=0-7 /proc/14477/task/14493/stat : 14493 (java) S 14475 14475 9260 0 -1 1077944384 3537 0 0 0 178 0 0 0 20 0 28 0 510652421 29459828736 58025 33554432000 4194304 4196468 140731547885440 140204195092976 140205603093122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14494] ppid=14475 vsize=28769364 memory=0 CPUtime=0.77 cores=0-7 /proc/14477/task/14494/stat : 14494 (java) S 14475 14475 9260 0 -1 1077944384 3953 0 0 0 76 1 0 0 20 0 28 0 510652421 29459828736 58025 33554432000 4194304 4196468 140731547885440 140204194040432 140205603093122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14495] ppid=14475 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/14477/task/14495/stat : 14495 (java) S 14475 14475 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510652421 29459828736 58025 33554432000 4194304 4196468 140731547885440 140204192987616 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14496] ppid=14475 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/14477/task/14496/stat : 14496 (java) S 14475 14475 9260 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 510652421 29459828736 58025 33554432000 4194304 4196468 140731547885440 140204191935152 140205603093122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14601] ppid=14475 vsize=28769364 memory=0 CPUtime=1.88 cores=0-7 /proc/14477/task/14601/stat : 14601 (java) R 14475 14475 9260 0 -1 4202560 94 0 0 0 188 0 0 0 20 0 28 0 510652702 29459828736 58025 33554432000 4194304 4196468 140731547885440 140204104994280 140205205448413 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14602] ppid=14475 vsize=28769364 memory=0 CPUtime=1.86 cores=0-7 /proc/14477/task/14602/stat : 14602 (java) R 14475 14475 9260 0 -1 4202560 37 0 0 0 186 0 0 0 20 0 28 0 510652702 29459828736 58025 33554432000 4194304 4196468 140731547885440 140204179558824 140205202948772 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14603] ppid=14475 vsize=28769364 memory=0 CPUtime=1.89 cores=0-7 /proc/14477/task/14603/stat : 14603 (java) R 14475 14475 9260 0 -1 4202560 28 0 0 0 189 0 0 0 20 0 28 0 510652702 29459828736 58025 33554432000 4194304 4196468 140731547885440 140204181664808 140205203461043 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14604] ppid=14475 vsize=28769364 memory=0 CPUtime=1.88 cores=0-7 /proc/14477/task/14604/stat : 14604 (java) R 14475 14475 9260 0 -1 4202560 142 0 0 0 188 0 0 0 20 0 28 0 510652702 29459828736 58025 33554432000 4194304 4196468 140731547885440 140204175348776 140205204641296 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14605] ppid=14475 vsize=28769364 memory=0 CPUtime=1.78 cores=0-7 /proc/14477/task/14605/stat : 14605 (java) R 14475 14475 9260 0 -1 4202560 84 0 0 0 178 0 0 0 20 0 28 0 510652702 29459828736 58025 33554432000 4194304 4196468 140731547885440 140204178505816 140205204316959 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14606] ppid=14475 vsize=28769364 memory=0 CPUtime=1.86 cores=0-7 /proc/14477/task/14606/stat : 14606 (java) R 14475 14475 9260 0 -1 4202560 62 0 0 0 186 0 0 0 20 0 28 0 510652702 29459828736 58025 33554432000 4194304 4196468 140731547885440 140204176401192 140205203461198 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14607] ppid=14475 vsize=28769364 memory=125447404810774 CPUtime=1.63 cores=0-7 /proc/14477/task/14607/stat : 14607 (java) R 14475 14475 9260 0 -1 4202560 144 0 0 0 163 0 0 0 20 0 28 0 510652702 29459828736 58025 33554432000 4194304 4196468 140731547885440 140204180611736 140205204317338 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14608] ppid=14475 vsize=28769364 memory=4484828982489291174 CPUtime=1.68 cores=0-7 /proc/14477/task/14608/stat : 14608 (java) R 14475 14475 9260 0 -1 4202560 70 0 0 0 168 0 0 0 20 0 28 0 510652702 29459828736 58025 33554432000 4194304 4196468 140731547885440 140204182718536 140205204633168 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 Current children cumulated CPU time: 33.5 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 233556 KiB [startup+4.90184 s] /proc/loadavg: 9.15 8.41 8.24 9/219 14608 /proc/meminfo: memFree=25390484/32770624 swapFree=66997516/67108860 [pid=14475] ppid=14472 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/14475/stat : 14475 (xcsp3-exec) S 14472 14475 9260 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510652414 115843072 364 33554432000 4194304 5098028 140726610588976 140726610587080 140441741849212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16449536 140726610596695 140726610596954 140726610596954 140726610599878 0 /proc/14475/statm: 28282 364 305 221 0 87 0 [pid=14477] ppid=14475 vsize=28769364 memory=232100 CPUtime=34.3 cores=0-7 /proc/14477/stat : 14477 (java) S 14475 14475 9260 0 -1 1077944320 27729 0 0 0 3412 18 0 0 20 0 28 0 510652415 29459828736 58025 33554432000 4194304 4196468 140731547885440 140731547867984 140205603081975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 /proc/14477/statm: 7192341 58025 3526 1 0 7153441 0 [pid=14477/tid=14478] ppid=14475 vsize=28769364 memory=0 CPUtime=0.7 cores=0-7 /proc/14477/task/14478/stat : 14478 (java) S 14475 14475 9260 0 -1 1077944384 8910 0 0 0 65 5 0 0 20 0 28 0 510652415 29459828736 58025 33554432000 4194304 4196468 140731547885440 140205607322752 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14479] ppid=14475 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/14477/task/14479/stat : 14479 (java) S 14475 14475 9260 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 510652416 29459828736 58025 33554432000 4194304 4196468 140731547885440 140205522934288 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14480] ppid=14475 vsize=28769364 memory=1456 CPUtime=0 cores=0-7 /proc/14477/task/14480/stat : 14480 (java) S 14475 14475 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 510652416 29459828736 58025 33554432000 4194304 4196468 140731547885440 140205521881744 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14481] ppid=14475 vsize=28769364 memory=232100 CPUtime=0 cores=0-7 /proc/14477/task/14481/stat : 14481 (java) S 14475 14475 9260 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 510652416 29459828736 58025 33554432000 4194304 4196468 140731547885440 140205520828688 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14482] ppid=14475 vsize=28769364 memory=2140628 CPUtime=0 cores=0-7 /proc/14477/task/14482/stat : 14482 (java) S 14475 14475 9260 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 510652416 29459828736 58025 33554432000 4194304 4196468 140731547885440 140205519776144 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14483] ppid=14475 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/14477/task/14483/stat : 14483 (java) S 14475 14475 9260 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 510652416 29459828736 58025 33554432000 4194304 4196468 140731547885440 140205518724112 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14484] ppid=14475 vsize=28769364 memory=57 CPUtime=0 cores=0-7 /proc/14477/task/14484/stat : 14484 (java) S 14475 14475 9260 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 28 0 510652416 29459828736 58025 33554432000 4194304 4196468 140731547885440 140205517671568 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14485] ppid=14475 vsize=28769364 memory=301789554386697160 CPUtime=0 cores=0-7 /proc/14477/task/14485/stat : 14485 (java) S 14475 14475 9260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 510652416 29459828736 58025 33554432000 4194304 4196468 140731547885440 140205148461840 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14486] ppid=14475 vsize=28769364 memory=288284480813442085 CPUtime=0 cores=0-7 /proc/14477/task/14486/stat : 14486 (java) S 14475 14475 9260 0 -1 1077944384 205 0 0 0 0 0 0 0 20 0 28 0 510652416 29459828736 58025 33554432000 4194304 4196468 140731547885440 140205147409296 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14487] ppid=14475 vsize=28769364 memory=6944656592455360604 CPUtime=0 cores=0-7 /proc/14477/task/14487/stat : 14487 (java) S 14475 14475 9260 0 -1 1077944384 246 0 0 0 0 0 0 0 20 0 28 0 510652417 29459828736 58025 33554432000 4194304 4196468 140731547885440 140204201408752 140205603093122 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14488] ppid=14475 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/14477/task/14488/stat : 14488 (java) S 14475 14475 9260 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 510652418 29459828736 58025 33554432000 4194304 4196468 140731547885440 140204200355040 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14489] ppid=14475 vsize=28769364 memory=3472468604152806144 CPUtime=0 cores=0-7 /proc/14477/task/14489/stat : 14489 (java) S 14475 14475 9260 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 510652418 29459828736 58025 33554432000 4194304 4196468 140731547885440 140204199301888 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14490] ppid=14475 vsize=28769364 memory=140325105003776 CPUtime=0 cores=0-7 /proc/14477/task/14490/stat : 14490 (java) S 14475 14475 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510652420 29459828736 58025 33554432000 4194304 4196468 140731547885440 140204198250448 140205603100571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14491] ppid=14475 vsize=28769364 memory=140325104995088 CPUtime=1.82 cores=0-7 /proc/14477/task/14491/stat : 14491 (java) S 14475 14475 9260 0 -1 1077944384 3311 0 0 0 181 1 0 0 20 0 28 0 510652420 29459828736 58025 33554432000 4194304 4196468 140731547885440 140204197198576 140205603093122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14492] ppid=14475 vsize=28769364 memory=140325104995120 CPUtime=1.99 cores=0-7 /proc/14477/task/14492/stat : 14492 (java) S 14475 14475 9260 0 -1 1077944384 3090 0 0 0 198 1 0 0 20 0 28 0 510652420 29459828736 58025 33554432000 4194304 4196468 140731547885440 140204196146032 140205603093122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14493] ppid=14475 vsize=28769364 memory=1456 CPUtime=1.78 cores=0-7 /proc/14477/task/14493/stat : 14493 (java) S 14475 14475 9260 0 -1 1077944384 3537 0 0 0 178 0 0 0 20 0 28 0 510652421 29459828736 58025 33554432000 4194304 4196468 140731547885440 140204195092976 140205603093122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14494] ppid=14475 vsize=28769364 memory=220180 CPUtime=0.77 cores=0-7 /proc/14477/task/14494/stat : 14494 (java) S 14475 14475 9260 0 -1 1077944384 3953 0 0 0 76 1 0 0 20 0 28 0 510652421 29459828736 58025 33554432000 4194304 4196468 140731547885440 140204194040432 140205603093122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14495] ppid=14475 vsize=28769364 memory=10596 CPUtime=0 cores=0-7 /proc/14477/task/14495/stat : 14495 (java) S 14475 14475 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510652421 29459828736 58025 33554432000 4194304 4196468 140731547885440 140204192987616 140205603092181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14496] ppid=14475 vsize=28769364 memory=1456 CPUtime=0 cores=0-7 /proc/14477/task/14496/stat : 14496 (java) S 14475 14475 9260 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 510652421 29459828736 58025 33554432000 4194304 4196468 140731547885440 140204191935152 140205603093122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14601] ppid=14475 vsize=28769364 memory=218052 CPUtime=1.98 cores=0-7 /proc/14477/task/14601/stat : 14601 (java) R 14475 14475 9260 0 -1 4202560 94 0 0 0 198 0 0 0 20 0 28 0 510652702 29459828736 58025 33554432000 4194304 4196468 140731547885440 140204104994280 140205202948598 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14602] ppid=14475 vsize=28769364 memory=3628 CPUtime=1.96 cores=0-7 /proc/14477/task/14602/stat : 14602 (java) R 14475 14475 9260 0 -1 4202560 37 0 0 0 196 0 0 0 20 0 28 0 510652702 29459828736 58025 33554432000 4194304 4196468 140731547885440 140204179558824 140205203729358 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14603] ppid=14475 vsize=28769364 memory=1456 CPUtime=1.99 cores=0-7 /proc/14477/task/14603/stat : 14603 (java) R 14475 14475 9260 0 -1 4202560 28 0 0 0 199 0 0 0 20 0 28 0 510652702 29459828736 58025 33554432000 4194304 4196468 140731547885440 140204181664808 140205203567546 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14604] ppid=14475 vsize=28769364 memory=209064 CPUtime=1.98 cores=0-7 /proc/14477/task/14604/stat : 14604 (java) R 14475 14475 9260 0 -1 4202560 142 0 0 0 198 0 0 0 20 0 28 0 510652702 29459828736 58025 33554432000 4194304 4196468 140731547885440 140204175348776 140205203567596 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14605] ppid=14475 vsize=28769364 memory=-7384994778349281184 CPUtime=1.88 cores=0-7 /proc/14477/task/14605/stat : 14605 (java) R 14475 14475 9260 0 -1 4202560 84 0 0 0 188 0 0 0 20 0 28 0 510652702 29459828736 58025 33554432000 4194304 4196468 140731547885440 140204178505816 140205205619098 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14606] ppid=14475 vsize=28769364 memory=-9001734013606258791 CPUtime=1.95 cores=0-7 /proc/14477/task/14606/stat : 14606 (java) R 14475 14475 9260 0 -1 4202560 62 0 0 0 195 0 0 0 20 0 28 0 510652702 29459828736 58025 33554432000 4194304 4196468 140731547885440 140204176401192 140205204067699 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14607] ppid=14475 vsize=28769364 memory=-7522837583129502606 CPUtime=1.73 cores=0-7 /proc/14477/task/14607/stat : 14607 (java) R 14475 14475 9260 0 -1 4202560 144 0 0 0 173 0 0 0 20 0 28 0 510652702 29459828736 58025 33554432000 4194304 4196468 140731547885440 140204180611736 140205203461061 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 [pid=14477/tid=14608] ppid=14475 vsize=28769364 memory=-7233780906022726806 CPUtime=1.78 cores=0-7 /proc/14477/task/14608/stat : 14608 (java) R 14475 14475 9260 0 -1 4202560 70 0 0 0 178 0 0 0 20 0 28 0 510652702 29459828736 58025 33554432000 4194304 4196468 140731547885440 140204182718536 140205202948592 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38109184 140731547886556 140731547886731 140731547886731 140731547889615 0 Current children cumulated CPU time: 34.3 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 233556 KiB Child status: 0 Real time (s): 4.98614 CPU time (s): 34.8969 CPU user time (s): 34.6912 CPU system time (s): 0.205678 CPU usage (%): 699.877 Max. virtual memory (cumulated for all children) (KiB): 28882492 Max. memory (cumulated for all children) (KiB): 233556 getrusage(RUSAGE_CHILDREN,...) data: user time used= 34.6912 system time used= 0.205678 maximum resident set size= 233436 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29547 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= 4868 involuntary context switches= 1002 # summary of solver processes directly reported to runsolver: # pid: 14475 # total CPU time (s): 34.8969 # total CPU user time (s): 34.6912 # total CPU system time (s): 0.205678 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.073788 second user time and 0.080599 second system time The end
Begin job on node140 at 2019-09-24 19:44:59 IDJOB=4407352 IDBENCH=126224 IDSOLVER=2872 FILE ID=node140/4407352-1569347141 RUNJOBID= node140-1569335937-9287 PBS_JOBID= 21705054 Free space on /var/tmp= 13516 MiB SOLVER NAME= choco-solver 2019-09-24 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-4407352-1569347141/watcher-4407352-1569347141 -o /var/tmp/evaluation-result-4407352-1569347141/solver-4407352-1569347141 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1569335937-9287 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1693300940 HOME/instance-4407352-1569347141.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 1a91370fd3edda64a19224a97cd9d854 RANDOM SEED=1693300940 node140.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 25610024 kB MemAvailable: 31843824 kB Buffers: 126284 kB Cached: 6206152 kB SwapCached: 2792 kB Active: 3157928 kB Inactive: 3182304 kB Active(anon): 5024 kB Inactive(anon): 58436 kB Active(file): 3152904 kB Inactive(file): 3123868 kB Unevictable: 107664 kB Mlocked: 107664 kB SwapTotal: 67108860 kB SwapFree: 66997516 kB Dirty: 26096 kB Writeback: 0 kB AnonPages: 134460 kB Mapped: 57336 kB Shmem: 46812 kB Slab: 414456 kB SReclaimable: 385488 kB SUnreclaim: 28968 kB KernelStack: 3728 kB PageTables: 6088 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 515096 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 90112 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /var/tmp at the end= 13492 MiB End job on node140 at 2019-09-24 19:45:05