Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 55 | 65.6896 | 8.8548 |
Name | GolombRuler/ GolombRuler-a3v18-10_c18.xml |
MD5SUM | fd7701f01011f2453d3fac3f444f25b8 |
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 | 28.5824 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 110 |
Number of constraints | 46 |
Number of domains | 2 |
Minimum domain size | 100 |
Maximum domain size | 101 |
Distribution of domain sizes | [{"size":100,"count":45},{"size":101,"count":10}] |
Minimum variable degree | 0 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":0,"count":55},{"degree":2,"count":45},{"degree":9,"count":9},{"degree":10,"count":1}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 45 |
Distribution of constraint arities | [{"arity":3,"count":45},{"arity":45,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 45 |
Distribution of constraint types | [{"type":"intension","count":45},{"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-4400116-1568720562.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4400116-1568720562.xml, -tl, 2016s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 1.26/0.66 c solve instance... 1.68/0.78 o 80 1.68/0.80 o 75 2.24/0.80 o 74 2.24/0.81 o 72 2.24/0.86 o 71 2.24/0.87 o 65 2.91/0.97 o 62 6.02/1.35 o 60 15.45/2.59 o 55 65.44/8.83 s OPTIMUM FOUND 65.44/8.83 v <instantiation> 65.44/8.83 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> 65.44/8.83 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> 65.44/8.83 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 (15124 MiB free) memory of node 1: 16384 MiB (15324 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400116-1568720562/watcher-4400116-1568720562 -o /tmp/evaluation-result-4400116-1568720562/solver-4400116-1568720562 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node105-1568709526-22615 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1154914327 HOME/instance-4400116-1568720562.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=30147, runsolver pid=30144 Current StackSize limit: 8192 KiB [startup+0.100136 s]* /proc/loadavg: 8.61 7.71 7.78 2/211 30168 /proc/meminfo: memFree=31161720/32770624 swapFree=66939936/67108860 [pid=30147] ppid=30144 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30147/stat : 30147 (xcsp3-exec) S 30144 30147 22588 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 448314409 115843072 363 33554432000 4194304 5098028 140723988281296 140723988279400 140450284196476 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28430336 140723988288379 140723988288622 140723988288622 140723988291530 0 /proc/30147/statm: 28282 363 304 221 0 87 0 [pid=30149] ppid=30147 vsize=28227396 memory=29916 CPUtime=0.12 cores=0-7 /proc/30149/stat : 30149 (java) S 30147 30147 22588 0 -1 1077944320 5454 0 0 0 10 2 0 0 20 0 20 0 448314409 28904853504 7479 33554432000 4194304 4196468 140737120128368 140737120110912 140153146748663 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 /proc/30149/statm: 7056849 7479 3118 1 0 7019032 0 [pid=30149/tid=30150] ppid=30147 vsize=28227396 memory=8317482817917895235 CPUtime=0.08 cores=0-7 /proc/30149/task/30150/stat : 30150 (java) R 30147 30147 22588 0 -1 4202560 3395 0 0 0 7 1 0 0 20 0 20 0 448314410 28904853504 7479 33554432000 4194304 4196468 140737120128368 140153150981936 140153146760598 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30151] ppid=30147 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/30149/task/30151/stat : 30151 (java) S 30147 30147 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448314410 28904853504 7479 33554432000 4194304 4196468 140737120128368 140153105508880 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30152] ppid=30147 vsize=28227396 memory=139868710250112 CPUtime=0 cores=0-7 /proc/30149/task/30152/stat : 30152 (java) S 30147 30147 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448314410 28904853504 7479 33554432000 4194304 4196468 140737120128368 140152697531024 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30153] ppid=30147 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30149/task/30153/stat : 30153 (java) S 30147 30147 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448314410 28904853504 7479 33554432000 4194304 4196468 140737120128368 140152696477968 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30154] ppid=30147 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30149/task/30154/stat : 30154 (java) S 30147 30147 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448314410 28904853504 7479 33554432000 4194304 4196468 140737120128368 140152695425424 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30155] ppid=30147 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30149/task/30155/stat : 30155 (java) S 30147 30147 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448314410 28904853504 7479 33554432000 4194304 4196468 140737120128368 140152694373392 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30156] ppid=30147 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30149/task/30156/stat : 30156 (java) S 30147 30147 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448314410 28904853504 7479 33554432000 4194304 4196468 140737120128368 140152693320848 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30157] ppid=30147 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30149/task/30157/stat : 30157 (java) S 30147 30147 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448314410 28904853504 7479 33554432000 4194304 4196468 140737120128368 140152692267792 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30158] ppid=30147 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30149/task/30158/stat : 30158 (java) S 30147 30147 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448314410 28904853504 7479 33554432000 4194304 4196468 140737120128368 140152691215248 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30159] ppid=30147 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30149/task/30159/stat : 30159 (java) S 30147 30147 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448314412 28904853504 7479 33554432000 4194304 4196468 140737120128368 140151659964656 140153146759810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30160] ppid=30147 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30149/task/30160/stat : 30160 (java) S 30147 30147 22588 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 448314412 28904853504 7479 33554432000 4194304 4196468 140737120128368 140151658910880 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30161] ppid=30147 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30149/task/30161/stat : 30161 (java) S 30147 30147 22588 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 448314412 28904853504 7479 33554432000 4194304 4196468 140737120128368 140151657857776 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30162] ppid=30147 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30149/task/30162/stat : 30162 (java) S 30147 30147 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448314415 28904853504 7479 33554432000 4194304 4196468 140737120128368 140151656806352 140153146767259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30163] ppid=30147 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30149/task/30163/stat : 30163 (java) S 30147 30147 22588 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 448314415 28904853504 7479 33554432000 4194304 4196468 140737120128368 140151655754480 140153146759810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30164] ppid=30147 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30149/task/30164/stat : 30164 (java) R 30147 30147 22588 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 448314415 28904853504 7479 33554432000 4194304 4196468 140737120128368 140151654701936 140153146759810 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30165] ppid=30147 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30149/task/30165/stat : 30165 (java) S 30147 30147 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448314415 28904853504 7479 33554432000 4194304 4196468 140737120128368 140151653648880 140153146759810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30166] ppid=30147 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/30149/task/30166/stat : 30166 (java) R 30147 30147 22588 0 -1 4202560 327 0 0 0 1 0 0 0 20 0 20 0 448314415 28904853504 7479 33554432000 4194304 4196468 140737120128368 140151652596336 140153146770010 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30167] ppid=30147 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30149/task/30167/stat : 30167 (java) S 30147 30147 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448314415 28904853504 7479 33554432000 4194304 4196468 140737120128368 140151651543520 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30168] ppid=30147 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30149/task/30168/stat : 30168 (java) S 30147 30147 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448314415 28904853504 7479 33554432000 4194304 4196468 140737120128368 140151650491056 140153146759810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31368 KiB [startup+0.210452 s]* /proc/loadavg: 8.61 7.71 7.78 3/211 30168 /proc/meminfo: memFree=31149208/32770624 swapFree=66939936/67108860 [pid=30147] ppid=30144 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30147/stat : 30147 (xcsp3-exec) S 30144 30147 22588 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 448314409 115843072 363 33554432000 4194304 5098028 140723988281296 140723988279400 140450284196476 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28430336 140723988288379 140723988288622 140723988288622 140723988291530 0 /proc/30147/statm: 28282 363 304 221 0 87 0 [pid=30149] ppid=30147 vsize=28227396 memory=41452 CPUtime=0.34 cores=0-7 /proc/30149/stat : 30149 (java) S 30147 30147 22588 0 -1 1077944320 9092 0 0 0 30 4 0 0 20 0 20 0 448314409 28904853504 10363 33554432000 4194304 4196468 140737120128368 140737120110912 140153146748663 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 /proc/30149/statm: 7056849 10363 3307 1 0 7019032 0 [pid=30149/tid=30150] ppid=30147 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/30149/task/30150/stat : 30150 (java) R 30147 30147 22588 0 -1 4202560 6229 0 0 0 17 3 0 0 20 0 20 0 448314410 28904853504 10363 33554432000 4194304 4196468 140737120128368 140153150986848 140153146760598 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30151] ppid=30147 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/30149/task/30151/stat : 30151 (java) S 30147 30147 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448314410 28904853504 10363 33554432000 4194304 4196468 140737120128368 140153105508880 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30152] ppid=30147 vsize=28227396 memory=3905946230467733152 CPUtime=0 cores=0-7 /proc/30149/task/30152/stat : 30152 (java) S 30147 30147 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448314410 28904853504 10363 33554432000 4194304 4196468 140737120128368 140152697531024 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30153] ppid=30147 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30149/task/30153/stat : 30153 (java) S 30147 30147 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448314410 28904853504 10363 33554432000 4194304 4196468 140737120128368 140152696477968 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30154] ppid=30147 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30149/task/30154/stat : 30154 (java) S 30147 30147 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448314410 28904853504 10363 33554432000 4194304 4196468 140737120128368 140152695425424 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30155] ppid=30147 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30149/task/30155/stat : 30155 (java) S 30147 30147 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448314410 28904853504 10363 33554432000 4194304 4196468 140737120128368 140152694373392 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30156] ppid=30147 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30149/task/30156/stat : 30156 (java) S 30147 30147 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448314410 28904853504 10363 33554432000 4194304 4196468 140737120128368 140152693320848 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30157] ppid=30147 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30149/task/30157/stat : 30157 (java) S 30147 30147 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448314410 28904853504 10363 33554432000 4194304 4196468 140737120128368 140152692267792 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30158] ppid=30147 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30149/task/30158/stat : 30158 (java) S 30147 30147 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448314410 28904853504 10363 33554432000 4194304 4196468 140737120128368 140152691215248 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30159] ppid=30147 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30149/task/30159/stat : 30159 (java) S 30147 30147 22588 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 448314412 28904853504 10363 33554432000 4194304 4196468 140737120128368 140151659964656 140153146759810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30160] ppid=30147 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30149/task/30160/stat : 30160 (java) S 30147 30147 22588 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 448314412 28904853504 10363 33554432000 4194304 4196468 140737120128368 140151658910880 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30161] ppid=30147 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30149/task/30161/stat : 30161 (java) S 30147 30147 22588 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 448314412 28904853504 10363 33554432000 4194304 4196468 140737120128368 140151657857776 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30162] ppid=30147 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30149/task/30162/stat : 30162 (java) S 30147 30147 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448314415 28904853504 10363 33554432000 4194304 4196468 140737120128368 140151656806352 140153146767259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30163] ppid=30147 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/30149/task/30163/stat : 30163 (java) S 30147 30147 22588 0 -1 1077944384 403 0 0 0 2 0 0 0 20 0 20 0 448314415 28904853504 10363 33554432000 4194304 4196468 140737120128368 140151655754480 140153146759810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30164] ppid=30147 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/30149/task/30164/stat : 30164 (java) S 30147 30147 22588 0 -1 1077944384 378 0 0 0 1 0 0 0 20 0 20 0 448314415 28904853504 10363 33554432000 4194304 4196468 140737120128368 140151654701936 140153146759810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30165] ppid=30147 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30149/task/30165/stat : 30165 (java) S 30147 30147 22588 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 20 0 448314415 28904853504 10363 33554432000 4194304 4196468 140737120128368 140151653648880 140153146759810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30166] ppid=30147 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/30149/task/30166/stat : 30166 (java) R 30147 30147 22588 0 -1 4202560 706 0 0 0 7 0 0 0 20 0 20 0 448314415 28904853504 10363 33554432000 4194304 4196468 140737120128368 140151652596144 140153138985790 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30167] ppid=30147 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30149/task/30167/stat : 30167 (java) S 30147 30147 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448314415 28904853504 10363 33554432000 4194304 4196468 140737120128368 140151651543520 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30168] ppid=30147 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30149/task/30168/stat : 30168 (java) S 30147 30147 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448314415 28904853504 10363 33554432000 4194304 4196468 140737120128368 140151650491056 140153146759810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42904 KiB [startup+0.311052 s]* /proc/loadavg: 8.61 7.71 7.78 3/211 30168 /proc/meminfo: memFree=31142680/32770624 swapFree=66939936/67108860 [pid=30147] ppid=30144 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30147/stat : 30147 (xcsp3-exec) S 30144 30147 22588 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 448314409 115843072 363 33554432000 4194304 5098028 140723988281296 140723988279400 140450284196476 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28430336 140723988288379 140723988288622 140723988288622 140723988291530 0 /proc/30147/statm: 28282 363 304 221 0 87 0 [pid=30149] ppid=30147 vsize=28231652 memory=50088 CPUtime=0.53 cores=0-7 /proc/30149/stat : 30149 (java) S 30147 30147 22588 0 -1 1077944320 10439 0 0 0 48 5 0 0 20 0 20 0 448314409 28909211648 12522 33554432000 4194304 4196468 140737120128368 140737120110912 140153146748663 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 /proc/30149/statm: 7057913 12522 3359 1 0 7019032 0 [pid=30149/tid=30150] ppid=30147 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/30149/task/30150/stat : 30150 (java) R 30147 30147 22588 0 -1 4202560 7370 0 0 0 26 3 0 0 20 0 20 0 448314410 28909211648 12591 33554432000 4194304 4196468 140737120128368 140153150982448 140153126281093 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30151] ppid=30147 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30149/task/30151/stat : 30151 (java) S 30147 30147 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448314410 28909211648 12591 33554432000 4194304 4196468 140737120128368 140153105508880 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30152] ppid=30147 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30149/task/30152/stat : 30152 (java) S 30147 30147 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448314410 28909211648 12591 33554432000 4194304 4196468 140737120128368 140152697531024 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30153] ppid=30147 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30149/task/30153/stat : 30153 (java) S 30147 30147 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448314410 28909211648 12591 33554432000 4194304 4196468 140737120128368 140152696477968 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30154] ppid=30147 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30149/task/30154/stat : 30154 (java) S 30147 30147 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448314410 28909211648 12591 33554432000 4194304 4196468 140737120128368 140152695425424 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30155] ppid=30147 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30149/task/30155/stat : 30155 (java) S 30147 30147 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448314410 28909211648 12591 33554432000 4194304 4196468 140737120128368 140152694373392 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30156] ppid=30147 vsize=28231652 memory=139868562877103 CPUtime=0 cores=0-7 /proc/30149/task/30156/stat : 30156 (java) S 30147 30147 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448314410 28909211648 12591 33554432000 4194304 4196468 140737120128368 140152693320848 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30157] ppid=30147 vsize=28231652 memory=139868562879408 CPUtime=0 cores=0-7 /proc/30149/task/30157/stat : 30157 (java) S 30147 30147 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448314410 28909211648 12591 33554432000 4194304 4196468 140737120128368 140152692267792 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30158] ppid=30147 vsize=28231652 memory=139868562881712 CPUtime=0 cores=0-7 /proc/30149/task/30158/stat : 30158 (java) S 30147 30147 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448314410 28909211648 12591 33554432000 4194304 4196468 140737120128368 140152691215248 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30159] ppid=30147 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30149/task/30159/stat : 30159 (java) S 30147 30147 22588 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 448314412 28909211648 12591 33554432000 4194304 4196468 140737120128368 140151659964656 140153146759810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30160] ppid=30147 vsize=28231652 memory=279737125777296 CPUtime=0 cores=0-7 /proc/30149/task/30160/stat : 30160 (java) S 30147 30147 22588 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 448314412 28909211648 12591 33554432000 4194304 4196468 140737120128368 140151658910880 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30161] ppid=30147 vsize=28231652 memory=279737125774992 CPUtime=0 cores=0-7 /proc/30149/task/30161/stat : 30161 (java) S 30147 30147 22588 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 448314412 28909211648 12591 33554432000 4194304 4196468 140737120128368 140151657857776 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30162] ppid=30147 vsize=28231652 memory=279737125781904 CPUtime=0 cores=0-7 /proc/30149/task/30162/stat : 30162 (java) S 30147 30147 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448314415 28909211648 12591 33554432000 4194304 4196468 140737120128368 140151656806352 140153146767259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30163] ppid=30147 vsize=28231652 memory=279737125723184 CPUtime=0.04 cores=0-7 /proc/30149/task/30163/stat : 30163 (java) S 30147 30147 22588 0 -1 1077944384 497 0 0 0 4 0 0 0 20 0 20 0 448314415 28909211648 12591 33554432000 4194304 4196468 140737120128368 140151655754480 140153146759810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30164] ppid=30147 vsize=28231652 memory=279737125795728 CPUtime=0.03 cores=0-7 /proc/30149/task/30164/stat : 30164 (java) S 30147 30147 22588 0 -1 1077944384 386 0 0 0 3 0 0 0 20 0 20 0 448314415 28909211648 12591 33554432000 4194304 4196468 140737120128368 140151654701936 140153146759810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30165] ppid=30147 vsize=28231652 memory=279737125802640 CPUtime=0.01 cores=0-7 /proc/30149/task/30165/stat : 30165 (java) S 30147 30147 22588 0 -1 1077944384 96 0 0 0 1 0 0 0 20 0 20 0 448314415 28909211648 12591 33554432000 4194304 4196468 140737120128368 140151653648880 140153146759810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30166] ppid=30147 vsize=28231652 memory=279737125800336 CPUtime=0.12 cores=0-7 /proc/30149/task/30166/stat : 30166 (java) S 30147 30147 22588 0 -1 1077944384 788 0 0 0 12 0 0 0 20 0 20 0 448314415 28909211648 12591 33554432000 4194304 4196468 140737120128368 140151652596336 140153146759810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30167] ppid=30147 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30149/task/30167/stat : 30167 (java) S 30147 30147 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448314415 28909211648 12591 33554432000 4194304 4196468 140737120128368 140151651543520 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30168] ppid=30147 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/30149/task/30168/stat : 30168 (java) S 30147 30147 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448314415 28909211648 12591 33554432000 4194304 4196468 140737120128368 140151650491056 140153146759810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51540 KiB [startup+0.709723 s] /proc/loadavg: 8.61 7.71 7.78 3/211 30168 /proc/meminfo: memFree=31127028/32770624 swapFree=66939936/67108860 [pid=30147] ppid=30144 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30147/stat : 30147 (xcsp3-exec) S 30144 30147 22588 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 448314409 115843072 363 33554432000 4194304 5098028 140723988281296 140723988279400 140450284196476 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28430336 140723988288379 140723988288622 140723988288622 140723988291530 0 /proc/30147/statm: 28282 363 304 221 0 87 0 [pid=30149] ppid=30147 vsize=28766288 memory=99588 CPUtime=1.68 cores=0-7 /proc/30149/stat : 30149 (java) S 30147 30147 22588 0 -1 1077944320 14161 0 0 0 160 8 0 0 20 0 28 0 448314409 29456678912 24897 33554432000 4194304 4196468 140737120128368 140737120110912 140153146748663 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 /proc/30149/statm: 7191572 24897 3452 1 0 7152672 0 [pid=30149/tid=30150] ppid=30147 vsize=28766288 memory=0 CPUtime=0.65 cores=0-7 /proc/30149/task/30150/stat : 30150 (java) S 30147 30147 22588 0 -1 1077944384 8683 0 0 0 61 4 0 0 20 0 28 0 448314410 29456678912 24901 33554432000 4194304 4196468 140737120128368 140153150989440 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30151] ppid=30147 vsize=28766288 memory=139868563088240 CPUtime=0 cores=0-7 /proc/30149/task/30151/stat : 30151 (java) S 30147 30147 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 448314410 29456678912 24901 33554432000 4194304 4196468 140737120128368 140153105508880 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30152] ppid=30147 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/30149/task/30152/stat : 30152 (java) S 30147 30147 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 448314410 29456678912 24901 33554432000 4194304 4196468 140737120128368 140152697531024 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30153] ppid=30147 vsize=28766288 memory=784 CPUtime=0 cores=0-7 /proc/30149/task/30153/stat : 30153 (java) S 30147 30147 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 448314410 29456678912 24901 33554432000 4194304 4196468 140737120128368 140152696477968 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 ################ # More data... # ################ [pid=30149/tid=30166] ppid=30147 vsize=28834900 memory=7302976372154459218 CPUtime=0.72 cores=0-7 /proc/30149/task/30166/stat : 30166 (java) S 30147 30147 22588 0 -1 1077944384 3345 0 0 0 70 2 0 0 20 0 28 0 448314415 29526937600 56435 33554432000 4194304 4196468 140737120128368 140151652596336 140153146759810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30167] ppid=30147 vsize=28834900 memory=7020451381550705514 CPUtime=0 cores=0-7 /proc/30149/task/30167/stat : 30167 (java) S 30147 30147 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 448314415 29526937600 56435 33554432000 4194304 4196468 140737120128368 140151651543520 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30168] ppid=30147 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/30149/task/30168/stat : 30168 (java) S 30147 30147 22588 0 -1 1077944384 668 0 0 0 0 0 0 0 20 0 28 0 448314415 29526937600 56435 33554432000 4194304 4196468 140737120128368 140151650491056 140153146759810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30241] ppid=30147 vsize=28834900 memory=35876 CPUtime=5.19 cores=0-7 /proc/30149/task/30241/stat : 30241 (java) R 30147 30147 22588 0 -1 4202560 93 0 0 0 519 0 0 0 20 0 28 0 448314669 29526937600 56435 33554432000 4194304 4196468 140737120128368 140151636011976 140152789261569 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30242] ppid=30147 vsize=28834900 memory=5787213827113772388 CPUtime=4.96 cores=0-7 /proc/30149/task/30242/stat : 30242 (java) R 30147 30147 22588 0 -1 4202560 84 0 0 0 496 0 0 0 20 0 28 0 448314669 29526937600 56435 33554432000 4194304 4196468 140737120128368 140151633907896 140152789127845 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30243] ppid=30147 vsize=28834900 memory=0 CPUtime=5.2 cores=0-7 /proc/30149/task/30243/stat : 30243 (java) R 30147 30147 22588 0 -1 4202560 120 0 0 0 520 0 0 0 20 0 28 0 448314669 29526937600 56435 33554432000 4194304 4196468 140737120128368 140151639171328 140152789261612 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30244] ppid=30147 vsize=28834900 memory=0 CPUtime=5.27 cores=0-7 /proc/30149/task/30244/stat : 30244 (java) R 30147 30147 22588 0 -1 4202560 233 0 0 0 527 0 0 0 20 0 28 0 448314669 29526937600 56435 33554432000 4194304 4196468 140737120128368 140151640224192 140152788494681 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30245] ppid=30147 vsize=28834900 memory=0 CPUtime=5.21 cores=0-7 /proc/30149/task/30245/stat : 30245 (java) R 30147 30147 22588 0 -1 4202560 171 0 0 0 521 0 0 0 20 0 28 0 448314669 29526937600 56435 33554432000 4194304 4196468 140737120128368 140151641276480 140152788494831 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30246] ppid=30147 vsize=28834900 memory=0 CPUtime=5.37 cores=0-7 /proc/30149/task/30246/stat : 30246 (java) R 30147 30147 22588 0 -1 4202560 99 0 0 0 537 0 0 0 20 0 28 0 448314669 29526937600 56435 33554432000 4194304 4196468 140737120128368 140151634956504 140152790213282 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30247] ppid=30147 vsize=28834900 memory=0 CPUtime=5.06 cores=0-7 /proc/30149/task/30247/stat : 30247 (java) R 30147 30147 22588 0 -1 4202560 365 0 0 0 506 0 0 0 20 0 28 0 448314670 29526937600 56435 33554432000 4194304 4196468 140737120128368 140151632850616 140152790212006 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30248] ppid=30147 vsize=28834900 memory=0 CPUtime=5.25 cores=0-7 /proc/30149/task/30248/stat : 30248 (java) R 30147 30147 22588 0 -1 4202560 130 0 0 0 525 0 0 0 20 0 28 0 448314671 29526937600 56435 33554432000 4194304 4196468 140737120128368 140151638114984 140152790384656 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 Current children cumulated CPU time: 59.18 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 227192 KiB [startup+8.40152 s] /proc/loadavg: 8.89 7.80 7.81 9/219 30248 /proc/meminfo: memFree=30965408/32770624 swapFree=66939936/67108860 [pid=30147] ppid=30144 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30147/stat : 30147 (xcsp3-exec) S 30144 30147 22588 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 448314409 115843072 363 33554432000 4194304 5098028 140723988281296 140723988279400 140450284196476 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28430336 140723988288379 140723988288622 140723988288622 140723988291530 0 /proc/30147/statm: 28282 363 304 221 0 87 0 [pid=30149] ppid=30147 vsize=28834900 memory=225772 CPUtime=62.31 cores=0-7 /proc/30149/stat : 30149 (java) S 30147 30147 22588 0 -1 1077944320 32955 0 0 0 6211 20 0 0 20 0 28 0 448314409 29526937600 56443 33554432000 4194304 4196468 140737120128368 140737120110912 140153146748663 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 /proc/30149/statm: 7208725 56443 3514 1 0 7169825 0 [pid=30149/tid=30150] ppid=30147 vsize=28834900 memory=14056 CPUtime=0.65 cores=0-7 /proc/30149/task/30150/stat : 30150 (java) S 30147 30147 22588 0 -1 1077944384 8687 0 0 0 61 4 0 0 20 0 28 0 448314410 29526937600 56443 33554432000 4194304 4196468 140737120128368 140153150989440 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30151] ppid=30147 vsize=28834900 memory=2116 CPUtime=0 cores=0-7 /proc/30149/task/30151/stat : 30151 (java) S 30147 30147 22588 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 448314410 29526937600 56443 33554432000 4194304 4196468 140737120128368 140153105508880 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30152] ppid=30147 vsize=28834900 memory=225740 CPUtime=0.01 cores=0-7 /proc/30149/task/30152/stat : 30152 (java) S 30147 30147 22588 0 -1 1077944384 68 0 0 0 1 0 0 0 20 0 28 0 448314410 29526937600 56443 33554432000 4194304 4196468 140737120128368 140152697531024 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30153] ppid=30147 vsize=28834900 memory=4000 CPUtime=0 cores=0-7 /proc/30149/task/30153/stat : 30153 (java) S 30147 30147 22588 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 448314410 29526937600 56443 33554432000 4194304 4196468 140737120128368 140152696477968 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30154] ppid=30147 vsize=28834900 memory=616 CPUtime=0 cores=0-7 /proc/30149/task/30154/stat : 30154 (java) S 30147 30147 22588 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 28 0 448314410 29526937600 56443 33554432000 4194304 4196468 140737120128368 140152695425424 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30155] ppid=30147 vsize=28834900 memory=2832 CPUtime=0.01 cores=0-7 /proc/30149/task/30155/stat : 30155 (java) S 30147 30147 22588 0 -1 1077944384 873 0 0 0 1 0 0 0 20 0 28 0 448314410 29526937600 56443 33554432000 4194304 4196468 140737120128368 140152694373392 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30156] ppid=30147 vsize=28834900 memory=1624 CPUtime=0 cores=0-7 /proc/30149/task/30156/stat : 30156 (java) S 30147 30147 22588 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 448314410 29526937600 56443 33554432000 4194304 4196468 140737120128368 140152693320848 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30157] ppid=30147 vsize=28834900 memory=1136 CPUtime=0 cores=0-7 /proc/30149/task/30157/stat : 30157 (java) S 30147 30147 22588 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 448314410 29526937600 56443 33554432000 4194304 4196468 140737120128368 140152692267792 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30158] ppid=30147 vsize=28834900 memory=15599321222257 CPUtime=0 cores=0-7 /proc/30149/task/30158/stat : 30158 (java) S 30147 30147 22588 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 28 0 448314410 29526937600 56443 33554432000 4194304 4196468 140737120128368 140152691215248 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30159] ppid=30147 vsize=28834900 memory=288230621803970871 CPUtime=0 cores=0-7 /proc/30149/task/30159/stat : 30159 (java) S 30147 30147 22588 0 -1 1077944384 257 0 0 0 0 0 0 0 20 0 28 0 448314412 29526937600 56443 33554432000 4194304 4196468 140737120128368 140151659964656 140153146759810 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30160] ppid=30147 vsize=28834900 memory=13563791027735085 CPUtime=0 cores=0-7 /proc/30149/task/30160/stat : 30160 (java) S 30147 30147 22588 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 448314412 29526937600 56443 33554432000 4194304 4196468 140737120128368 140151658910944 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30161] ppid=30147 vsize=28834900 memory=1772 CPUtime=0 cores=0-7 /proc/30149/task/30161/stat : 30161 (java) S 30147 30147 22588 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 448314412 29526937600 56443 33554432000 4194304 4196468 140737120128368 140151657857792 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30162] ppid=30147 vsize=28834900 memory=7668598150793291604 CPUtime=0 cores=0-7 /proc/30149/task/30162/stat : 30162 (java) S 30147 30147 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 448314415 29526937600 56443 33554432000 4194304 4196468 140737120128368 140151656806352 140153146767259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30163] ppid=30147 vsize=28834900 memory=5794840134623646309 CPUtime=1.96 cores=0-7 /proc/30149/task/30163/stat : 30163 (java) S 30147 30147 22588 0 -1 1077944384 5241 0 0 0 195 1 0 0 20 0 28 0 448314415 29526937600 56443 33554432000 4194304 4196468 140737120128368 140151655754480 140153146759810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30164] ppid=30147 vsize=28834900 memory=0 CPUtime=1.86 cores=0-7 /proc/30149/task/30164/stat : 30164 (java) S 30147 30147 22588 0 -1 1077944384 5257 0 0 0 185 1 0 0 20 0 28 0 448314415 29526937600 56443 33554432000 4194304 4196468 140737120128368 140151654701936 140153146759810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30165] ppid=30147 vsize=28834900 memory=8695780872728649847 CPUtime=1.92 cores=0-7 /proc/30149/task/30165/stat : 30165 (java) S 30147 30147 22588 0 -1 1077944384 3768 0 0 0 191 1 0 0 20 0 28 0 448314415 29526937600 56443 33554432000 4194304 4196468 140737120128368 140151653648880 140153146759810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30166] ppid=30147 vsize=28834900 memory=6944603652687420770 CPUtime=0.72 cores=0-7 /proc/30149/task/30166/stat : 30166 (java) S 30147 30147 22588 0 -1 1077944384 3345 0 0 0 70 2 0 0 20 0 28 0 448314415 29526937600 56443 33554432000 4194304 4196468 140737120128368 140151652596336 140153146759810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30167] ppid=30147 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/30149/task/30167/stat : 30167 (java) S 30147 30147 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 448314415 29526937600 56443 33554432000 4194304 4196468 140737120128368 140151651543520 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30168] ppid=30147 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/30149/task/30168/stat : 30168 (java) S 30147 30147 22588 0 -1 1077944384 668 0 0 0 0 0 0 0 20 0 28 0 448314415 29526937600 56443 33554432000 4194304 4196468 140737120128368 140151650491056 140153146759810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30241] ppid=30147 vsize=28834900 memory=0 CPUtime=5.59 cores=0-7 /proc/30149/task/30241/stat : 30241 (java) R 30147 30147 22588 0 -1 4202560 93 0 0 0 559 0 0 0 20 0 28 0 448314669 29526937600 56443 33554432000 4194304 4196468 140737120128368 140151636011976 140152790212557 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30242] ppid=30147 vsize=28834900 memory=0 CPUtime=5.35 cores=0-7 /proc/30149/task/30242/stat : 30242 (java) R 30147 30147 22588 0 -1 4202560 84 0 0 0 535 0 0 0 20 0 28 0 448314669 29526937600 56443 33554432000 4194304 4196468 140737120128368 140151633907896 140152789972398 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30243] ppid=30147 vsize=28834900 memory=15633 CPUtime=5.59 cores=0-7 /proc/30149/task/30243/stat : 30243 (java) R 30147 30147 22588 0 -1 4202560 121 0 0 0 559 0 0 0 20 0 28 0 448314669 29526937600 56443 33554432000 4194304 4196468 140737120128368 140151639171328 140152789129453 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30244] ppid=30147 vsize=28834900 memory=0 CPUtime=5.66 cores=0-7 /proc/30149/task/30244/stat : 30244 (java) R 30147 30147 22588 0 -1 4202560 233 0 0 0 566 0 0 0 20 0 28 0 448314669 29526937600 56443 33554432000 4194304 4196468 140737120128368 140151640224192 140152790268950 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30245] ppid=30147 vsize=28834900 memory=-6810521882703862007 CPUtime=5.6 cores=0-7 /proc/30149/task/30245/stat : 30245 (java) R 30147 30147 22588 0 -1 4202560 171 0 0 0 560 0 0 0 20 0 28 0 448314669 29526937600 56443 33554432000 4194304 4196468 140737120128368 140151641276480 140152791345305 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30246] ppid=30147 vsize=28834900 memory=7517159033909830208 CPUtime=5.76 cores=0-7 /proc/30149/task/30246/stat : 30246 (java) R 30147 30147 22588 0 -1 4202560 99 0 0 0 576 0 0 0 20 0 28 0 448314669 29526937600 56443 33554432000 4194304 4196468 140737120128368 140151634956504 140152783731587 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30247] ppid=30147 vsize=28834900 memory=4642197910265684584 CPUtime=5.45 cores=0-7 /proc/30149/task/30247/stat : 30247 (java) R 30147 30147 22588 0 -1 4202560 365 0 0 0 545 0 0 0 20 0 28 0 448314670 29526937600 56443 33554432000 4194304 4196468 140737120128368 140151632851192 140152789068687 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30248] ppid=30147 vsize=28834900 memory=7444825561389879400 CPUtime=5.64 cores=0-7 /proc/30149/task/30248/stat : 30248 (java) R 30147 30147 22588 0 -1 4202560 130 0 0 0 564 0 0 0 20 0 28 0 448314671 29526937600 56443 33554432000 4194304 4196468 140737120128368 140151638114984 140152789973352 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 Current children cumulated CPU time: 62.31 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 227224 KiB [startup+8.80153 s] /proc/loadavg: 8.89 7.80 7.81 9/219 30248 /proc/meminfo: memFree=30965408/32770624 swapFree=66939936/67108860 [pid=30147] ppid=30144 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30147/stat : 30147 (xcsp3-exec) S 30144 30147 22588 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 448314409 115843072 363 33554432000 4194304 5098028 140723988281296 140723988279400 140450284196476 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28430336 140723988288379 140723988288622 140723988288622 140723988291530 0 /proc/30147/statm: 28282 363 304 221 0 87 0 [pid=30149] ppid=30147 vsize=28834900 memory=225772 CPUtime=65.44 cores=0-7 /proc/30149/stat : 30149 (java) S 30147 30147 22588 0 -1 1077944320 32967 0 0 0 6524 20 0 0 20 0 28 0 448314409 29526937600 56443 33554432000 4194304 4196468 140737120128368 140737120110912 140153146748663 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 /proc/30149/statm: 7208725 56443 3514 1 0 7169825 0 [pid=30149/tid=30150] ppid=30147 vsize=28834900 memory=35876 CPUtime=0.65 cores=0-7 /proc/30149/task/30150/stat : 30150 (java) S 30147 30147 22588 0 -1 1077944384 8687 0 0 0 61 4 0 0 20 0 28 0 448314410 29526937600 56443 33554432000 4194304 4196468 140737120128368 140153150989440 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30151] ppid=30147 vsize=28834900 memory=984 CPUtime=0 cores=0-7 /proc/30149/task/30151/stat : 30151 (java) S 30147 30147 22588 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 448314410 29526937600 56443 33554432000 4194304 4196468 140737120128368 140153105508880 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30152] ppid=30147 vsize=28834900 memory=2016 CPUtime=0.01 cores=0-7 /proc/30149/task/30152/stat : 30152 (java) S 30147 30147 22588 0 -1 1077944384 68 0 0 0 1 0 0 0 20 0 28 0 448314410 29526937600 56443 33554432000 4194304 4196468 140737120128368 140152697531024 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30153] ppid=30147 vsize=28834900 memory=1412 CPUtime=0 cores=0-7 /proc/30149/task/30153/stat : 30153 (java) S 30147 30147 22588 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 448314410 29526937600 56443 33554432000 4194304 4196468 140737120128368 140152696477968 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30154] ppid=30147 vsize=28834900 memory=6515465389265 CPUtime=0 cores=0-7 /proc/30149/task/30154/stat : 30154 (java) S 30147 30147 22588 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 28 0 448314410 29526937600 56443 33554432000 4194304 4196468 140737120128368 140152695425424 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30155] ppid=30147 vsize=28834900 memory=1452 CPUtime=0.01 cores=0-7 /proc/30149/task/30155/stat : 30155 (java) S 30147 30147 22588 0 -1 1077944384 873 0 0 0 1 0 0 0 20 0 28 0 448314410 29526937600 56443 33554432000 4194304 4196468 140737120128368 140152694373392 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30156] ppid=30147 vsize=28834900 memory=1452 CPUtime=0 cores=0-7 /proc/30149/task/30156/stat : 30156 (java) S 30147 30147 22588 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 448314410 29526937600 56443 33554432000 4194304 4196468 140737120128368 140152693320848 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30157] ppid=30147 vsize=28834900 memory=225772 CPUtime=0 cores=0-7 /proc/30149/task/30157/stat : 30157 (java) S 30147 30147 22588 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 448314410 29526937600 56443 33554432000 4194304 4196468 140737120128368 140152692267792 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30158] ppid=30147 vsize=28834900 memory=2436 CPUtime=0 cores=0-7 /proc/30149/task/30158/stat : 30158 (java) S 30147 30147 22588 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 28 0 448314410 29526937600 56443 33554432000 4194304 4196468 140737120128368 140152691215248 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30159] ppid=30147 vsize=28834900 memory=1760 CPUtime=0 cores=0-7 /proc/30149/task/30159/stat : 30159 (java) S 30147 30147 22588 0 -1 1077944384 257 0 0 0 0 0 0 0 20 0 28 0 448314412 29526937600 56443 33554432000 4194304 4196468 140737120128368 140151659964656 140153146759810 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30160] ppid=30147 vsize=28834900 memory=1452 CPUtime=0 cores=0-7 /proc/30149/task/30160/stat : 30160 (java) S 30147 30147 22588 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 448314412 29526937600 56443 33554432000 4194304 4196468 140737120128368 140151658910944 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30161] ppid=30147 vsize=28834900 memory=225740 CPUtime=0 cores=0-7 /proc/30149/task/30161/stat : 30161 (java) S 30147 30147 22588 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 448314412 29526937600 56443 33554432000 4194304 4196468 140737120128368 140151657857792 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30162] ppid=30147 vsize=28834900 memory=131665175251690 CPUtime=0 cores=0-7 /proc/30149/task/30162/stat : 30162 (java) S 30147 30147 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 448314415 29526937600 56443 33554432000 4194304 4196468 140737120128368 140151656806352 140153146767259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30163] ppid=30147 vsize=28834900 memory=131665175251690 CPUtime=1.96 cores=0-7 /proc/30149/task/30163/stat : 30163 (java) S 30147 30147 22588 0 -1 1077944384 5241 0 0 0 195 1 0 0 20 0 28 0 448314415 29526937600 56443 33554432000 4194304 4196468 140737120128368 140151655754480 140153146759810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30164] ppid=30147 vsize=28834900 memory=0 CPUtime=1.86 cores=0-7 /proc/30149/task/30164/stat : 30164 (java) S 30147 30147 22588 0 -1 1077944384 5257 0 0 0 185 1 0 0 20 0 28 0 448314415 29526937600 56443 33554432000 4194304 4196468 140737120128368 140151654701936 140153146759810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30165] ppid=30147 vsize=28834900 memory=7300992939531593070 CPUtime=1.92 cores=0-7 /proc/30149/task/30165/stat : 30165 (java) S 30147 30147 22588 0 -1 1077944384 3768 0 0 0 191 1 0 0 20 0 28 0 448314415 29526937600 56443 33554432000 4194304 4196468 140737120128368 140151653648880 140153146759810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30166] ppid=30147 vsize=28834900 memory=8025811894844941676 CPUtime=0.72 cores=0-7 /proc/30149/task/30166/stat : 30166 (java) S 30147 30147 22588 0 -1 1077944384 3345 0 0 0 70 2 0 0 20 0 28 0 448314415 29526937600 56443 33554432000 4194304 4196468 140737120128368 140151652596336 140153146759810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30167] ppid=30147 vsize=28834900 memory=7089626135308952677 CPUtime=0 cores=0-7 /proc/30149/task/30167/stat : 30167 (java) S 30147 30147 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 448314415 29526937600 56443 33554432000 4194304 4196468 140737120128368 140151651543520 140153146758869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30168] ppid=30147 vsize=28834900 memory=7517159033909830208 CPUtime=0 cores=0-7 /proc/30149/task/30168/stat : 30168 (java) S 30147 30147 22588 0 -1 1077944384 668 0 0 0 0 0 0 0 20 0 28 0 448314415 29526937600 56443 33554432000 4194304 4196468 140737120128368 140151650491056 140153146759810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30241] ppid=30147 vsize=28834900 memory=35876 CPUtime=5.98 cores=0-7 /proc/30149/task/30241/stat : 30241 (java) R 30147 30147 22588 0 -1 4202560 95 0 0 0 598 0 0 0 20 0 28 0 448314669 29526937600 56443 33554432000 4194304 4196468 140737120128368 140151636008120 140152788517343 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30242] ppid=30147 vsize=28834900 memory=984 CPUtime=5.72 cores=0-7 /proc/30149/task/30242/stat : 30242 (java) R 30147 30147 22588 0 -1 4202560 85 0 0 0 572 0 0 0 20 0 28 0 448314669 29526937600 56443 33554432000 4194304 4196468 140737120128368 140151633903288 140152789972681 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30243] ppid=30147 vsize=28834900 memory=2016 CPUtime=5.99 cores=0-7 /proc/30149/task/30243/stat : 30243 (java) R 30147 30147 22588 0 -1 4202560 122 0 0 0 599 0 0 0 20 0 28 0 448314669 29526937600 56443 33554432000 4194304 4196468 140737120128368 140151639167912 140152791505105 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30244] ppid=30147 vsize=28834900 memory=1412 CPUtime=6.05 cores=0-7 /proc/30149/task/30244/stat : 30244 (java) R 30147 30147 22588 0 -1 4202560 234 0 0 0 605 0 0 0 20 0 28 0 448314669 29526937600 56443 33554432000 4194304 4196468 140737120128368 140151640220712 140152788494825 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30245] ppid=30147 vsize=28834900 memory=1548 CPUtime=6 cores=0-7 /proc/30149/task/30245/stat : 30245 (java) R 30147 30147 22588 0 -1 4202560 173 0 0 0 600 0 0 0 20 0 28 0 448314669 29526937600 56443 33554432000 4194304 4196468 140737120128368 140151641272864 140152788494907 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30246] ppid=30147 vsize=28834900 memory=7396 CPUtime=6.16 cores=0-7 /proc/30149/task/30246/stat : 30246 (java) R 30147 30147 22588 0 -1 4202560 101 0 0 0 616 0 0 0 20 0 28 0 448314669 29526937600 56443 33554432000 4194304 4196468 140737120128368 140151634956784 140152790310441 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30247] ppid=30147 vsize=28834900 memory=4000 CPUtime=5.85 cores=0-7 /proc/30149/task/30247/stat : 30247 (java) R 30147 30147 22588 0 -1 4202560 367 0 0 0 585 0 0 0 20 0 28 0 448314670 29526937600 56443 33554432000 4194304 4196468 140737120128368 140151632851496 140152788495277 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 [pid=30149/tid=30248] ppid=30147 vsize=28834900 memory=616 CPUtime=6.01 cores=0-7 /proc/30149/task/30248/stat : 30248 (java) R 30147 30147 22588 0 -1 4202560 131 0 0 0 601 0 0 0 20 0 28 0 448314671 29526937600 56443 33554432000 4194304 4196468 140737120128368 140151638113872 140152789069361 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140737120130032 140737120130203 140737120130203 140737120133071 0 Current children cumulated CPU time: 65.44 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 227224 KiB Child status: 0 Real time (s): 8.8548 CPU time (s): 65.6896 CPU user time (s): 65.4759 CPU system time (s): 0.213628 CPU usage (%): 741.853 Max. virtual memory (cumulated for all children) (KiB): 28948028 Max. memory (cumulated for all children) (KiB): 234704 getrusage(RUSAGE_CHILDREN,...) data: user time used= 65.4759 system time used= 0.213628 maximum resident set size= 233256 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33918 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= 5312 involuntary context switches= 1454 # summary of solver processes directly reported to runsolver: # pid: 30147 # total CPU time (s): 65.6896 # total CPU user time (s): 65.4759 # total CPU system time (s): 0.213628 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.098096 second user time and 0.132789 second system time The end
Begin job on node105 at 2019-09-17 12:41:05 IDJOB=4400116 IDBENCH=141371 IDSOLVER=2855 FILE ID=node105/4400116-1568720562 RUNJOBID= node105-1568709526-22615 PBS_JOBID= 21703944 Free space on /tmp= 61004 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP18/GolombRuler/GolombRuler-a3v18-10_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-4400116-1568720562/watcher-4400116-1568720562 -o /tmp/evaluation-result-4400116-1568720562/solver-4400116-1568720562 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node105-1568709526-22615 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1154914327 HOME/instance-4400116-1568720562.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= fd7701f01011f2453d3fac3f444f25b8 RANDOM SEED=1154914327 node105.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.00 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.00 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.00 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.00 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: 31179616 kB MemAvailable: 31846472 kB Buffers: 188132 kB Cached: 779264 kB SwapCached: 65488 kB Active: 546228 kB Inactive: 490284 kB Active(anon): 10020 kB Inactive(anon): 103440 kB Active(file): 536208 kB Inactive(file): 386844 kB Unevictable: 109044 kB Mlocked: 109044 kB SwapTotal: 67108860 kB SwapFree: 66939936 kB Dirty: 26116 kB Writeback: 0 kB AnonPages: 146580 kB Mapped: 44492 kB Shmem: 35728 kB Slab: 147968 kB SReclaimable: 119280 kB SUnreclaim: 28688 kB KernelStack: 3712 kB PageTables: 5668 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 499348 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 100352 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 60980 MiB End job on node105 at 2019-09-17 12:41:14