Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 14 | 102.321 | 13.344 |
Name | QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc16e.xml |
MD5SUM | 9478703244e8f640224ac5c9e01083b8 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 14 |
Best CPU time to get the best result obtained on this benchmark | 13.1433 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 272 |
Number of constraints | 22 |
Number of domains | 2 |
Minimum domain size | 4 |
Maximum domain size | 16 |
Distribution of domain sizes | [{"size":4,"count":21},{"size":16,"count":16}] |
Minimum variable degree | 0 |
Maximum variable degree | 7 |
Distribution of variable degrees | [{"degree":0,"count":235},{"degree":1,"count":7},{"degree":2,"count":23},{"degree":5,"count":1},{"degree":7,"count":6}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 16 |
Distribution of constraint arities | [{"arity":3,"count":21},{"arity":16,"count":1}] |
Number of extensional constraints | 21 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":21},{"type":"allDifferent","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400028-1568710285.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4400028-1568710285.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 1.03/0.60 c solve instance... 1.40/0.67 o 25 1.40/0.67 o 23 1.40/0.68 o 21 1.40/0.69 o 19 1.99/0.78 o 17 3.48/0.97 o 16 3.48/1.00 o 15 6.53/1.36 o 14 102.05/13.33 s OPTIMUM FOUND 102.05/13.33 v <instantiation> 102.05/13.33 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] d[0][2] d[0][3] d[0][5] d[0][6] d[0][7] d[0][8] d[1][3] d[3][5] d[3][6] d[3][7] d[3][8] d[4][5] d[4][6] d[4][7] d[4][8] d[5][6] d[5][7] d[5][8] d[6][7] d[6][8] d[7][8] </list> 102.05/13.33 v <values>5 6 13 4 2 3 0 1 7 10 9 12 11 14 15 8 0 0 1 1 0 0 0 2 0 1 1 0 0 1 1 1 0 0 0 2 1 </values> 102.05/13.33 v </instantiation>
OK 14
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 (13918 MiB free) memory of node 1: 16384 MiB (15721 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400028-1568710285/watcher-4400028-1568710285 -o /tmp/evaluation-result-4400028-1568710285/solver-4400028-1568710285 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node147-1568700717-27810 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 58528506 HOME/instance-4400028-1568710285.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=2403, runsolver pid=2399 Current StackSize limit: 8192 KiB [startup+0.100157 s]* /proc/loadavg: 8.44 8.10 8.09 2/212 2436 /proc/meminfo: memFree=30335120/32770624 swapFree=66917056/67108860 [pid=2403] ppid=2399 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/2403/stat : 2403 (xcsp3-exec) S 2399 2403 27783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446942327 115843072 362 33554432000 4194304 5098028 140727938827088 140727938825192 139859696112252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28237824 140727938831229 140727938831470 140727938831470 140727938834378 0 /proc/2403/statm: 28282 362 304 221 0 87 0 [pid=2405] ppid=2403 vsize=28227396 memory=29080 CPUtime=0.12 cores=0-7 /proc/2405/stat : 2405 (java) S 2403 2403 27783 0 -1 1077944320 5699 0 0 0 11 1 0 0 20 0 20 0 446942328 28904853504 7270 33554432000 4194304 4196468 140725496812960 140725496795504 140076970512119 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 /proc/2405/statm: 7056849 7270 3125 1 0 7019032 0 [pid=2405/tid=2416] ppid=2403 vsize=28227396 memory=-7096649868621430206 CPUtime=0.08 cores=0-7 /proc/2405/task/2416/stat : 2416 (java) R 2403 2403 27783 0 -1 4202560 3695 0 0 0 8 0 0 0 20 0 20 0 446942328 28904853504 7270 33554432000 4194304 4196468 140725496812960 140076974744032 140076970524054 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2418] ppid=2403 vsize=28227396 memory=3461361991549258287 CPUtime=0 cores=0-7 /proc/2405/task/2418/stat : 2418 (java) S 2403 2403 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446942329 28904853504 7270 33554432000 4194304 4196468 140725496812960 140076522347024 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2419] ppid=2403 vsize=28227396 memory=140266107319936 CPUtime=0 cores=0-7 /proc/2405/task/2419/stat : 2419 (java) S 2403 2403 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446942329 28904853504 7270 33554432000 4194304 4196468 140725496812960 140076521294480 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2420] ppid=2403 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2405/task/2420/stat : 2420 (java) S 2403 2403 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446942329 28904853504 7270 33554432000 4194304 4196468 140725496812960 140076520241424 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2422] ppid=2403 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2405/task/2422/stat : 2422 (java) S 2403 2403 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446942329 28904853504 7270 33554432000 4194304 4196468 140725496812960 140076519188880 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2423] ppid=2403 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2405/task/2423/stat : 2423 (java) S 2403 2403 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446942329 28904853504 7270 33554432000 4194304 4196468 140725496812960 140076518136848 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2424] ppid=2403 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2405/task/2424/stat : 2424 (java) S 2403 2403 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446942329 28904853504 7270 33554432000 4194304 4196468 140725496812960 140076517084304 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2425] ppid=2403 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2405/task/2425/stat : 2425 (java) S 2403 2403 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446942329 28904853504 7270 33554432000 4194304 4196468 140725496812960 140076516031248 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2426] ppid=2403 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2405/task/2426/stat : 2426 (java) S 2403 2403 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446942329 28904853504 7270 33554432000 4194304 4196468 140725496812960 140076514978704 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2427] ppid=2403 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2405/task/2427/stat : 2427 (java) S 2403 2403 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446942330 28904853504 7270 33554432000 4194304 4196468 140725496812960 140075568736496 140076970523266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2428] ppid=2403 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2405/task/2428/stat : 2428 (java) S 2403 2403 27783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446942331 28904853504 7270 33554432000 4194304 4196468 140725496812960 140075567682720 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2429] ppid=2403 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2405/task/2429/stat : 2429 (java) S 2403 2403 27783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446942331 28904853504 7270 33554432000 4194304 4196468 140725496812960 140075566629616 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2430] ppid=2403 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2405/task/2430/stat : 2430 (java) S 2403 2403 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446942333 28904853504 7270 33554432000 4194304 4196468 140725496812960 140075565578192 140076970530715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2431] ppid=2403 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2405/task/2431/stat : 2431 (java) S 2403 2403 27783 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 446942333 28904853504 7270 33554432000 4194304 4196468 140725496812960 140075564526320 140076970523266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2432] ppid=2403 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2405/task/2432/stat : 2432 (java) R 2403 2403 27783 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 446942333 28904853504 7270 33554432000 4194304 4196468 140725496812960 140075563473776 140076970523266 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2433] ppid=2403 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2405/task/2433/stat : 2433 (java) R 2403 2403 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446942333 28904853504 7270 33554432000 4194304 4196468 140725496812960 140075562420720 140076970523266 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2434] ppid=2403 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/2405/task/2434/stat : 2434 (java) S 2403 2403 27783 0 -1 1077944384 320 0 0 0 1 0 0 0 20 0 20 0 446942333 28904853504 7270 33554432000 4194304 4196468 140725496812960 140075561368176 140076970523266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2435] ppid=2403 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2405/task/2435/stat : 2435 (java) S 2403 2403 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446942333 28904853504 7270 33554432000 4194304 4196468 140725496812960 140075560315360 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2436] ppid=2403 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2405/task/2436/stat : 2436 (java) S 2403 2403 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446942334 28904853504 7270 33554432000 4194304 4196468 140725496812960 140075559262896 140076970523266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30528 KiB [startup+0.210146 s]* /proc/loadavg: 8.44 8.10 8.09 2/212 2436 /proc/meminfo: memFree=30322008/32770624 swapFree=66917056/67108860 [pid=2403] ppid=2399 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/2403/stat : 2403 (xcsp3-exec) S 2399 2403 27783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446942327 115843072 362 33554432000 4194304 5098028 140727938827088 140727938825192 139859696112252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28237824 140727938831229 140727938831470 140727938831470 140727938834378 0 /proc/2403/statm: 28282 362 304 221 0 87 0 [pid=2405] ppid=2403 vsize=28227396 memory=41272 CPUtime=0.33 cores=0-7 /proc/2405/stat : 2405 (java) S 2403 2403 27783 0 -1 1077944320 9579 0 0 0 31 2 0 0 20 0 20 0 446942328 28904853504 10318 33554432000 4194304 4196468 140725496812960 140725496795504 140076970512119 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 /proc/2405/statm: 7056849 10318 3291 1 0 7019032 0 [pid=2405/tid=2416] ppid=2403 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/2405/task/2416/stat : 2416 (java) R 2403 2403 27783 0 -1 4202560 6706 0 0 0 18 2 0 0 20 0 20 0 446942328 28904853504 10318 33554432000 4194304 4196468 140725496812960 140076974741840 140076954592606 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2418] ppid=2403 vsize=28227396 memory=330 CPUtime=0 cores=0-7 /proc/2405/task/2418/stat : 2418 (java) S 2403 2403 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446942329 28904853504 10318 33554432000 4194304 4196468 140725496812960 140076522347024 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2419] ppid=2403 vsize=28227396 memory=288370642259031680 CPUtime=0 cores=0-7 /proc/2405/task/2419/stat : 2419 (java) S 2403 2403 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446942329 28904853504 10318 33554432000 4194304 4196468 140725496812960 140076521294480 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2420] ppid=2403 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2405/task/2420/stat : 2420 (java) S 2403 2403 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446942329 28904853504 10318 33554432000 4194304 4196468 140725496812960 140076520241424 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2422] ppid=2403 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2405/task/2422/stat : 2422 (java) S 2403 2403 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446942329 28904853504 10318 33554432000 4194304 4196468 140725496812960 140076519188880 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2423] ppid=2403 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2405/task/2423/stat : 2423 (java) S 2403 2403 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446942329 28904853504 10318 33554432000 4194304 4196468 140725496812960 140076518136848 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2424] ppid=2403 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2405/task/2424/stat : 2424 (java) S 2403 2403 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446942329 28904853504 10318 33554432000 4194304 4196468 140725496812960 140076517084304 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2425] ppid=2403 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2405/task/2425/stat : 2425 (java) S 2403 2403 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446942329 28904853504 10318 33554432000 4194304 4196468 140725496812960 140076516031248 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2426] ppid=2403 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2405/task/2426/stat : 2426 (java) S 2403 2403 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446942329 28904853504 10318 33554432000 4194304 4196468 140725496812960 140076514978704 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2427] ppid=2403 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2405/task/2427/stat : 2427 (java) S 2403 2403 27783 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446942330 28904853504 10318 33554432000 4194304 4196468 140725496812960 140075568736496 140076970523266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2428] ppid=2403 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2405/task/2428/stat : 2428 (java) S 2403 2403 27783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446942331 28904853504 10318 33554432000 4194304 4196468 140725496812960 140075567682720 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2429] ppid=2403 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2405/task/2429/stat : 2429 (java) S 2403 2403 27783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446942331 28904853504 10318 33554432000 4194304 4196468 140725496812960 140075566629616 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2430] ppid=2403 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2405/task/2430/stat : 2430 (java) S 2403 2403 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446942333 28904853504 10318 33554432000 4194304 4196468 140725496812960 140075565578192 140076970530715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2431] ppid=2403 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/2405/task/2431/stat : 2431 (java) S 2403 2403 27783 0 -1 1077944384 397 0 0 0 1 0 0 0 20 0 20 0 446942333 28904853504 10318 33554432000 4194304 4196468 140725496812960 140075564526320 140076970523266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2432] ppid=2403 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/2405/task/2432/stat : 2432 (java) S 2403 2403 27783 0 -1 1077944384 377 0 0 0 1 0 0 0 20 0 20 0 446942333 28904853504 10318 33554432000 4194304 4196468 140725496812960 140075563473776 140076970523266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2433] ppid=2403 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/2405/task/2433/stat : 2433 (java) S 2403 2403 27783 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 20 0 446942333 28904853504 10318 33554432000 4194304 4196468 140725496812960 140075562420720 140076970523266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2434] ppid=2403 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/2405/task/2434/stat : 2434 (java) S 2403 2403 27783 0 -1 1077944384 740 0 0 0 8 0 0 0 20 0 20 0 446942333 28904853504 10318 33554432000 4194304 4196468 140725496812960 140075561368176 140076970523266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2435] ppid=2403 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2405/task/2435/stat : 2435 (java) S 2403 2403 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446942333 28904853504 10318 33554432000 4194304 4196468 140725496812960 140075560315360 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2436] ppid=2403 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2405/task/2436/stat : 2436 (java) S 2403 2403 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446942334 28904853504 10318 33554432000 4194304 4196468 140725496812960 140075559262896 140076970523266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42720 KiB [startup+0.309574 s]* /proc/loadavg: 8.44 8.10 8.09 3/212 2436 /proc/meminfo: memFree=30316796/32770624 swapFree=66917056/67108860 [pid=2403] ppid=2399 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/2403/stat : 2403 (xcsp3-exec) S 2399 2403 27783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446942327 115843072 362 33554432000 4194304 5098028 140727938827088 140727938825192 139859696112252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28237824 140727938831229 140727938831470 140727938831470 140727938834378 0 /proc/2403/statm: 28282 362 304 221 0 87 0 [pid=2405] ppid=2403 vsize=28231652 memory=49616 CPUtime=0.52 cores=0-7 /proc/2405/stat : 2405 (java) S 2403 2403 27783 0 -1 1077944320 10775 0 0 0 49 3 0 0 20 0 20 0 446942328 28909211648 12404 33554432000 4194304 4196468 140725496812960 140725496795504 140076970512119 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 /proc/2405/statm: 7057913 12404 3330 1 0 7019032 0 [pid=2405/tid=2416] ppid=2403 vsize=28231652 memory=1398720917958146503 CPUtime=0.3 cores=0-7 /proc/2405/task/2416/stat : 2416 (java) R 2403 2403 27783 0 -1 4202560 7790 0 0 0 27 3 0 0 20 0 20 0 446942328 28909211648 12501 33554432000 4194304 4196468 140725496812960 140076974743232 140076954592606 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2418] ppid=2403 vsize=28231652 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/2405/task/2418/stat : 2418 (java) S 2403 2403 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446942329 28909211648 12501 33554432000 4194304 4196468 140725496812960 140076522347024 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2419] ppid=2403 vsize=28231652 memory=14008 CPUtime=0 cores=0-7 /proc/2405/task/2419/stat : 2419 (java) S 2403 2403 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446942329 28909211648 12501 33554432000 4194304 4196468 140725496812960 140076521294480 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2420] ppid=2403 vsize=28231652 memory=12040 CPUtime=0 cores=0-7 /proc/2405/task/2420/stat : 2420 (java) S 2403 2403 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446942329 28909211648 12501 33554432000 4194304 4196468 140725496812960 140076520241424 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2422] ppid=2403 vsize=28231652 memory=2124 CPUtime=0 cores=0-7 /proc/2405/task/2422/stat : 2422 (java) S 2403 2403 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446942329 28909211648 12501 33554432000 4194304 4196468 140725496812960 140076519188880 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2423] ppid=2403 vsize=28231652 memory=25976 CPUtime=0 cores=0-7 /proc/2405/task/2423/stat : 2423 (java) S 2403 2403 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446942329 28909211648 12501 33554432000 4194304 4196468 140725496812960 140076518136848 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2424] ppid=2403 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2405/task/2424/stat : 2424 (java) S 2403 2403 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446942329 28909211648 12501 33554432000 4194304 4196468 140725496812960 140076517084304 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2425] ppid=2403 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2405/task/2425/stat : 2425 (java) S 2403 2403 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446942329 28909211648 12501 33554432000 4194304 4196468 140725496812960 140076516031248 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2426] ppid=2403 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2405/task/2426/stat : 2426 (java) S 2403 2403 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446942329 28909211648 12501 33554432000 4194304 4196468 140725496812960 140076514978704 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2427] ppid=2403 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2405/task/2427/stat : 2427 (java) S 2403 2403 27783 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446942330 28909211648 12501 33554432000 4194304 4196468 140725496812960 140075568736496 140076970523266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2428] ppid=2403 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2405/task/2428/stat : 2428 (java) S 2403 2403 27783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446942331 28909211648 12501 33554432000 4194304 4196468 140725496812960 140075567682720 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2429] ppid=2403 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/2405/task/2429/stat : 2429 (java) S 2403 2403 27783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446942331 28909211648 12501 33554432000 4194304 4196468 140725496812960 140075566629616 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2430] ppid=2403 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/2405/task/2430/stat : 2430 (java) S 2403 2403 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446942333 28909211648 12501 33554432000 4194304 4196468 140725496812960 140075565578192 140076970530715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2431] ppid=2403 vsize=28231652 memory=2244 CPUtime=0.02 cores=0-7 /proc/2405/task/2431/stat : 2431 (java) S 2403 2403 27783 0 -1 1077944384 411 0 0 0 2 0 0 0 20 0 20 0 446942333 28909211648 12501 33554432000 4194304 4196468 140725496812960 140075564526320 140076970523266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2432] ppid=2403 vsize=28231652 memory=2244 CPUtime=0.03 cores=0-7 /proc/2405/task/2432/stat : 2432 (java) R 2403 2403 27783 0 -1 4202560 482 0 0 0 3 0 0 0 20 0 20 0 446942333 28909211648 12501 33554432000 4194304 4196468 140725496812960 140075563464160 140076951212416 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2433] ppid=2403 vsize=28231652 memory=2244 CPUtime=0.02 cores=0-7 /proc/2405/task/2433/stat : 2433 (java) S 2403 2403 27783 0 -1 1077944384 62 0 0 0 2 0 0 0 20 0 20 0 446942333 28909211648 12501 33554432000 4194304 4196468 140725496812960 140075562420720 140076970523266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2434] ppid=2403 vsize=28231652 memory=2244 CPUtime=0.13 cores=0-7 /proc/2405/task/2434/stat : 2434 (java) S 2403 2403 27783 0 -1 1077944384 815 0 0 0 13 0 0 0 20 0 20 0 446942333 28909211648 12501 33554432000 4194304 4196468 140725496812960 140075561368176 140076970523266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2435] ppid=2403 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2405/task/2435/stat : 2435 (java) S 2403 2403 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446942333 28909211648 12501 33554432000 4194304 4196468 140725496812960 140075560315360 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2436] ppid=2403 vsize=28231652 memory=95423 CPUtime=0 cores=0-7 /proc/2405/task/2436/stat : 2436 (java) S 2403 2403 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446942334 28909211648 12501 33554432000 4194304 4196468 140725496812960 140075559262896 140076970523266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51064 KiB [startup+0.706796 s] /proc/loadavg: 8.01 8.01 8.06 4/212 2436 /proc/meminfo: memFree=30298424/32770624 swapFree=66917056/67108860 [pid=2403] ppid=2399 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/2403/stat : 2403 (xcsp3-exec) S 2399 2403 27783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446942327 115843072 362 33554432000 4194304 5098028 140727938827088 140727938825192 139859696112252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28237824 140727938831229 140727938831470 140727938831470 140727938834378 0 /proc/2403/statm: 28282 362 304 221 0 87 0 [pid=2405] ppid=2403 vsize=28766288 memory=162560 CPUtime=1.99 cores=0-7 /proc/2405/stat : 2405 (java) S 2403 2403 27783 0 -1 1077944320 16157 0 0 0 191 8 0 0 20 0 28 0 446942328 29456678912 40640 33554432000 4194304 4196468 140725496812960 140725496795504 140076970512119 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 /proc/2405/statm: 7191572 40640 3455 1 0 7152672 0 [pid=2405/tid=2416] ppid=2403 vsize=28766288 memory=280531963208368 CPUtime=0.6 cores=0-7 /proc/2405/task/2416/stat : 2416 (java) S 2403 2403 27783 0 -1 1077944384 9332 0 0 0 56 4 0 0 20 0 28 0 446942328 29456678912 40640 33554432000 4194304 4196468 140725496812960 140076974752896 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2418] ppid=2403 vsize=28766288 memory=140265981780848 CPUtime=0 cores=0-7 /proc/2405/task/2418/stat : 2418 (java) S 2403 2403 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 446942329 29456678912 40640 33554432000 4194304 4196468 140725496812960 140076522347024 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2419] ppid=2403 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/2405/task/2419/stat : 2419 (java) S 2403 2403 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446942329 29456678912 40640 33554432000 4194304 4196468 140725496812960 140076521294480 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2420] ppid=2403 vsize=28766288 memory=6225500190340639847 CPUtime=0 cores=0-7 /proc/2405/task/2420/stat : 2420 (java) S 2403 2403 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446942329 29456678912 40640 33554432000 4194304 4196468 140725496812960 140076520241424 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 ################ # More data... # ################ [pid=2405/tid=2434] ppid=2403 vsize=28769364 memory=0 CPUtime=0.64 cores=0-7 /proc/2405/task/2434/stat : 2434 (java) S 2403 2403 27783 0 -1 1077944384 4262 0 0 0 63 1 0 0 20 0 28 0 446942333 29459828736 55422 33554432000 4194304 4196468 140725496812960 140075561368176 140076970523266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2435] ppid=2403 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/2405/task/2435/stat : 2435 (java) S 2403 2403 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446942333 29459828736 55422 33554432000 4194304 4196468 140725496812960 140075560315360 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2436] ppid=2403 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/2405/task/2436/stat : 2436 (java) S 2403 2403 27783 0 -1 1077944384 659 0 0 0 0 0 0 0 20 0 28 0 446942334 29459828736 55422 33554432000 4194304 4196468 140725496812960 140075559262896 140076970523266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2501] ppid=2403 vsize=28769364 memory=0 CPUtime=11.26 cores=0-7 /proc/2405/task/2501/stat : 2501 (java) R 2403 2403 27783 0 -1 4202560 177 0 0 0 1126 0 0 0 20 0 28 0 446942464 29459828736 55422 33554432000 4194304 4196468 140725496812960 140075544779680 140076613611296 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2502] ppid=2403 vsize=28769364 memory=0 CPUtime=11.07 cores=0-7 /proc/2405/task/2502/stat : 2502 (java) R 2403 2403 27783 0 -1 4202560 143 0 0 0 1107 0 0 0 20 0 28 0 446942464 29459828736 55422 33554432000 4194304 4196468 140725496812960 140075541623048 140076955722352 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2503] ppid=2403 vsize=28769364 memory=0 CPUtime=10.89 cores=0-7 /proc/2405/task/2503/stat : 2503 (java) R 2403 2403 27783 0 -1 4202560 344 0 0 0 1089 0 0 0 20 0 28 0 446942464 29459828736 55422 33554432000 4194304 4196468 140725496812960 140075543729032 140076614022562 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2504] ppid=2403 vsize=28769364 memory=0 CPUtime=11.13 cores=0-7 /proc/2405/task/2504/stat : 2504 (java) R 2403 2403 27783 0 -1 4202560 401 0 0 0 1113 0 0 0 20 0 28 0 446942464 29459828736 55422 33554432000 4194304 4196468 140725496812960 140075547939200 140076613153501 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2505] ppid=2403 vsize=28769364 memory=0 CPUtime=11.15 cores=0-7 /proc/2405/task/2505/stat : 2505 (java) R 2403 2403 27783 0 -1 4202560 345 0 0 0 1115 0 0 0 20 0 28 0 446942464 29459828736 55422 33554432000 4194304 4196468 140725496812960 140075548992136 140076614440697 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2506] ppid=2403 vsize=28769364 memory=0 CPUtime=11.09 cores=0-7 /proc/2405/task/2506/stat : 2506 (java) R 2403 2403 27783 0 -1 4202560 243 0 0 0 1109 0 0 0 20 0 28 0 446942464 29459828736 55422 33554432000 4194304 4196468 140725496812960 140075545833944 140076612923385 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2507] ppid=2403 vsize=28769364 memory=2241 CPUtime=10.95 cores=0-7 /proc/2405/task/2507/stat : 2507 (java) R 2403 2403 27783 0 -1 4202560 598 0 0 0 1094 1 0 0 20 0 28 0 446942464 29459828736 55422 33554432000 4194304 4196468 140725496812960 140075546886400 140076613153464 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2508] ppid=2403 vsize=28769364 memory=2244 CPUtime=11.15 cores=0-7 /proc/2405/task/2508/stat : 2508 (java) R 2403 2403 27783 0 -1 4202560 229 0 0 0 1115 0 0 0 20 0 28 0 446942464 29459828736 55422 33554432000 4194304 4196468 140725496812960 140075550043816 140076614019687 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 Current children cumulated CPU time: 98.06 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 223136 KiB [startup+13.2018 s] /proc/loadavg: 8.01 8.01 8.06 9/220 2508 /proc/meminfo: memFree=30143348/32770624 swapFree=66917056/67108860 [pid=2403] ppid=2399 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/2403/stat : 2403 (xcsp3-exec) S 2399 2403 27783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446942327 115843072 362 33554432000 4194304 5098028 140727938827088 140727938825192 139859696112252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28237824 140727938831229 140727938831470 140727938831470 140727938834378 0 /proc/2403/statm: 28282 362 304 221 0 87 0 [pid=2405] ppid=2403 vsize=28769364 memory=221712 CPUtime=101.25 cores=0-7 /proc/2405/stat : 2405 (java) S 2403 2403 27783 0 -1 1077944320 37590 0 0 0 10107 18 0 0 20 0 28 0 446942328 29459828736 55428 33554432000 4194304 4196468 140725496812960 140725496795504 140076970512119 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 /proc/2405/statm: 7192341 55428 3515 1 0 7153441 0 [pid=2405/tid=2416] ppid=2403 vsize=28769364 memory=225240 CPUtime=0.6 cores=0-7 /proc/2405/task/2416/stat : 2416 (java) S 2403 2403 27783 0 -1 1077944384 9334 0 0 0 56 4 0 0 20 0 28 0 446942328 29459828736 55428 33554432000 4194304 4196468 140725496812960 140076974752896 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2418] ppid=2403 vsize=28769364 memory=796 CPUtime=0.01 cores=0-7 /proc/2405/task/2418/stat : 2418 (java) S 2403 2403 27783 0 -1 1077944384 613 0 0 0 1 0 0 0 20 0 28 0 446942329 29459828736 55428 33554432000 4194304 4196468 140725496812960 140076522347024 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2419] ppid=2403 vsize=28769364 memory=1804 CPUtime=0.01 cores=0-7 /proc/2405/task/2419/stat : 2419 (java) S 2403 2403 27783 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 28 0 446942329 29459828736 55428 33554432000 4194304 4196468 140725496812960 140076521294480 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2420] ppid=2403 vsize=28769364 memory=916 CPUtime=0 cores=0-7 /proc/2405/task/2420/stat : 2420 (java) S 2403 2403 27783 0 -1 1077944384 679 0 0 0 0 0 0 0 20 0 28 0 446942329 29459828736 55428 33554432000 4194304 4196468 140725496812960 140076520241424 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2422] ppid=2403 vsize=28769364 memory=4776 CPUtime=0.01 cores=0-7 /proc/2405/task/2422/stat : 2422 (java) S 2403 2403 27783 0 -1 1077944384 206 0 0 0 1 0 0 0 20 0 28 0 446942329 29459828736 55428 33554432000 4194304 4196468 140725496812960 140076519188880 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2423] ppid=2403 vsize=28769364 memory=4104 CPUtime=0.01 cores=0-7 /proc/2405/task/2423/stat : 2423 (java) S 2403 2403 27783 0 -1 1077944384 166 0 0 0 1 0 0 0 20 0 28 0 446942329 29459828736 55428 33554432000 4194304 4196468 140725496812960 140076518136848 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2424] ppid=2403 vsize=28769364 memory=2244 CPUtime=0.01 cores=0-7 /proc/2405/task/2424/stat : 2424 (java) S 2403 2403 27783 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 28 0 446942329 29459828736 55428 33554432000 4194304 4196468 140725496812960 140076517084304 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2425] ppid=2403 vsize=28769364 memory=6944656592455360608 CPUtime=0.01 cores=0-7 /proc/2405/task/2425/stat : 2425 (java) S 2403 2403 27783 0 -1 1077944384 279 0 0 0 1 0 0 0 20 0 28 0 446942329 29459828736 55428 33554432000 4194304 4196468 140725496812960 140076516031248 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2426] ppid=2403 vsize=28769364 memory=288230574492221466 CPUtime=0.01 cores=0-7 /proc/2405/task/2426/stat : 2426 (java) S 2403 2403 27783 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 28 0 446942329 29459828736 55428 33554432000 4194304 4196468 140725496812960 140076514978704 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2427] ppid=2403 vsize=28769364 memory=301741420686082359 CPUtime=0.01 cores=0-7 /proc/2405/task/2427/stat : 2427 (java) S 2403 2403 27783 0 -1 1077944384 716 0 0 0 1 0 0 0 20 0 28 0 446942330 29459828736 55428 33554432000 4194304 4196468 140725496812960 140075568736496 140076970523266 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2428] ppid=2403 vsize=28769364 memory=13848568834296438 CPUtime=0 cores=0-7 /proc/2405/task/2428/stat : 2428 (java) S 2403 2403 27783 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 446942331 29459828736 55428 33554432000 4194304 4196468 140725496812960 140075567682784 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2429] ppid=2403 vsize=28769364 memory=3690199841016931419 CPUtime=0 cores=0-7 /proc/2405/task/2429/stat : 2429 (java) S 2403 2403 27783 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 446942331 29459828736 55428 33554432000 4194304 4196468 140725496812960 140075566629632 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2430] ppid=2403 vsize=28769364 memory=6152568437481105503 CPUtime=0 cores=0-7 /proc/2405/task/2430/stat : 2430 (java) S 2403 2403 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446942333 29459828736 55428 33554432000 4194304 4196468 140725496812960 140075565578192 140076970530715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2431] ppid=2403 vsize=28769364 memory=280531962953968 CPUtime=1.22 cores=0-7 /proc/2405/task/2431/stat : 2431 (java) S 2403 2403 27783 0 -1 1077944384 4003 0 0 0 121 1 0 0 20 0 28 0 446942333 29459828736 55428 33554432000 4194304 4196468 140725496812960 140075564526320 140076970523266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2432] ppid=2403 vsize=28769364 memory=5450916479948256810 CPUtime=1.41 cores=0-7 /proc/2405/task/2432/stat : 2432 (java) S 2403 2403 27783 0 -1 1077944384 6146 0 0 0 140 1 0 0 20 0 28 0 446942333 29459828736 55428 33554432000 4194304 4196468 140725496812960 140075563473776 140076970523266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2433] ppid=2403 vsize=28769364 memory=7588960373286396480 CPUtime=1.24 cores=0-7 /proc/2405/task/2433/stat : 2433 (java) R 2403 2403 27783 0 -1 4202560 4895 0 0 0 124 0 0 0 20 0 28 0 446942333 29459828736 55428 33554432000 4194304 4196468 140725496812960 140075562410576 140076954800976 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2434] ppid=2403 vsize=28769364 memory=7595441049559187558 CPUtime=0.65 cores=0-7 /proc/2405/task/2434/stat : 2434 (java) S 2403 2403 27783 0 -1 1077944384 4353 0 0 0 64 1 0 0 20 0 28 0 446942333 29459828736 55428 33554432000 4194304 4196468 140725496812960 140075561368176 140076970523266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2435] ppid=2403 vsize=28769364 memory=7091590953880015973 CPUtime=0 cores=0-7 /proc/2405/task/2435/stat : 2435 (java) S 2403 2403 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446942333 29459828736 55428 33554432000 4194304 4196468 140725496812960 140075560315360 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2436] ppid=2403 vsize=28769364 memory=7167663191705257302 CPUtime=0 cores=0-7 /proc/2405/task/2436/stat : 2436 (java) S 2403 2403 27783 0 -1 1077944384 659 0 0 0 0 0 0 0 20 0 28 0 446942334 29459828736 55428 33554432000 4194304 4196468 140725496812960 140075559262896 140076970523266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2501] ppid=2403 vsize=28769364 memory=225416 CPUtime=11.66 cores=0-7 /proc/2405/task/2501/stat : 2501 (java) R 2403 2403 27783 0 -1 4202560 195 0 0 0 1166 0 0 0 20 0 28 0 446942464 29459828736 55428 33554432000 4194304 4196468 140725496812960 140075544778704 140076613154159 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2502] ppid=2403 vsize=28769364 memory=0 CPUtime=11.47 cores=0-7 /proc/2405/task/2502/stat : 2502 (java) R 2403 2403 27783 0 -1 4202560 160 0 0 0 1147 0 0 0 20 0 28 0 446942464 29459828736 55428 33554432000 4194304 4196468 140725496812960 140075541623048 140076613154605 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2503] ppid=2403 vsize=28769364 memory=4 CPUtime=11.27 cores=0-7 /proc/2405/task/2503/stat : 2503 (java) R 2403 2403 27783 0 -1 4202560 372 0 0 0 1127 0 0 0 20 0 28 0 446942464 29459828736 55428 33554432000 4194304 4196468 140725496812960 140075543728064 140076608545911 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2504] ppid=2403 vsize=28769364 memory=4126316290023845779 CPUtime=11.53 cores=0-7 /proc/2405/task/2504/stat : 2504 (java) R 2403 2403 27783 0 -1 4202560 403 0 0 0 1153 0 0 0 20 0 28 0 446942464 29459828736 55428 33554432000 4194304 4196468 140725496812960 140075547939200 140076613153617 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2505] ppid=2403 vsize=28769364 memory=1412 CPUtime=11.55 cores=0-7 /proc/2405/task/2505/stat : 2505 (java) R 2403 2403 27783 0 -1 4202560 345 0 0 0 1155 0 0 0 20 0 28 0 446942464 29459828736 55428 33554432000 4194304 4196468 140725496812960 140075548991280 140076613154694 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2506] ppid=2403 vsize=28769364 memory=2680 CPUtime=11.48 cores=0-7 /proc/2405/task/2506/stat : 2506 (java) R 2403 2403 27783 0 -1 4202560 247 0 0 0 1148 0 0 0 20 0 28 0 446942464 29459828736 55428 33554432000 4194304 4196468 140725496812960 140075545833112 140076615974338 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2507] ppid=2403 vsize=28769364 memory=111632 CPUtime=11.33 cores=0-7 /proc/2405/task/2507/stat : 2507 (java) R 2403 2403 27783 0 -1 4202560 602 0 0 0 1132 1 0 0 20 0 28 0 446942464 29459828736 55428 33554432000 4194304 4196468 140725496812960 140075546885560 140076613400525 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2508] ppid=2403 vsize=28769364 memory=1448 CPUtime=11.55 cores=0-7 /proc/2405/task/2508/stat : 2508 (java) R 2403 2403 27783 0 -1 4202560 234 0 0 0 1155 0 0 0 20 0 28 0 446942464 29459828736 55428 33554432000 4194304 4196468 140725496812960 140075550044120 140076613153630 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 Current children cumulated CPU time: 101.25 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 223160 KiB [startup+13.3018 s] /proc/loadavg: 8.01 8.01 8.06 9/220 2508 /proc/meminfo: memFree=30143348/32770624 swapFree=66917056/67108860 [pid=2403] ppid=2399 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/2403/stat : 2403 (xcsp3-exec) S 2399 2403 27783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446942327 115843072 362 33554432000 4194304 5098028 140727938827088 140727938825192 139859696112252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28237824 140727938831229 140727938831470 140727938831470 140727938834378 0 /proc/2403/statm: 28282 362 304 221 0 87 0 [pid=2405] ppid=2403 vsize=28769364 memory=221716 CPUtime=102.05 cores=0-7 /proc/2405/stat : 2405 (java) S 2403 2403 27783 0 -1 1077944320 37668 0 0 0 10187 18 0 0 20 0 28 0 446942328 29459828736 55429 33554432000 4194304 4196468 140725496812960 140725496795504 140076970512119 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 /proc/2405/statm: 7192341 55429 3515 1 0 7153441 0 [pid=2405/tid=2416] ppid=2403 vsize=28769364 memory=8112282956445269571 CPUtime=0.6 cores=0-7 /proc/2405/task/2416/stat : 2416 (java) S 2403 2403 27783 0 -1 1077944384 9334 0 0 0 56 4 0 0 20 0 28 0 446942328 29459828736 55429 33554432000 4194304 4196468 140725496812960 140076974752896 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2418] ppid=2403 vsize=28769364 memory=766 CPUtime=0.01 cores=0-7 /proc/2405/task/2418/stat : 2418 (java) S 2403 2403 27783 0 -1 1077944384 613 0 0 0 1 0 0 0 20 0 28 0 446942329 29459828736 55429 33554432000 4194304 4196468 140725496812960 140076522347024 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2419] ppid=2403 vsize=28769364 memory=55 CPUtime=0.01 cores=0-7 /proc/2405/task/2419/stat : 2419 (java) S 2403 2403 27783 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 28 0 446942329 29459828736 55429 33554432000 4194304 4196468 140725496812960 140076521294480 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2420] ppid=2403 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/2405/task/2420/stat : 2420 (java) S 2403 2403 27783 0 -1 1077944384 679 0 0 0 0 0 0 0 20 0 28 0 446942329 29459828736 55429 33554432000 4194304 4196468 140725496812960 140076520241424 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2422] ppid=2403 vsize=28769364 memory=8112282956445269571 CPUtime=0.01 cores=0-7 /proc/2405/task/2422/stat : 2422 (java) S 2403 2403 27783 0 -1 1077944384 206 0 0 0 1 0 0 0 20 0 28 0 446942329 29459828736 55429 33554432000 4194304 4196468 140725496812960 140076519188880 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2423] ppid=2403 vsize=28769364 memory=220564 CPUtime=0.01 cores=0-7 /proc/2405/task/2423/stat : 2423 (java) S 2403 2403 27783 0 -1 1077944384 166 0 0 0 1 0 0 0 20 0 28 0 446942329 29459828736 55429 33554432000 4194304 4196468 140725496812960 140076518136848 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2424] ppid=2403 vsize=28769364 memory=2484 CPUtime=0.01 cores=0-7 /proc/2405/task/2424/stat : 2424 (java) S 2403 2403 27783 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 28 0 446942329 29459828736 55429 33554432000 4194304 4196468 140725496812960 140076517084304 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2425] ppid=2403 vsize=28769364 memory=998 CPUtime=0.01 cores=0-7 /proc/2405/task/2425/stat : 2425 (java) S 2403 2403 27783 0 -1 1077944384 279 0 0 0 1 0 0 0 20 0 28 0 446942329 29459828736 55429 33554432000 4194304 4196468 140725496812960 140076516031248 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2426] ppid=2403 vsize=28769364 memory=280531963676344 CPUtime=0.01 cores=0-7 /proc/2405/task/2426/stat : 2426 (java) S 2403 2403 27783 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 28 0 446942329 29459828736 55429 33554432000 4194304 4196468 140725496812960 140076514978704 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2427] ppid=2403 vsize=28769364 memory=1 CPUtime=0.01 cores=0-7 /proc/2405/task/2427/stat : 2427 (java) S 2403 2403 27783 0 -1 1077944384 716 0 0 0 1 0 0 0 20 0 28 0 446942330 29459828736 55429 33554432000 4194304 4196468 140725496812960 140075568736496 140076970523266 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2428] ppid=2403 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/2405/task/2428/stat : 2428 (java) S 2403 2403 27783 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 446942331 29459828736 55429 33554432000 4194304 4196468 140725496812960 140075567682784 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2429] ppid=2403 vsize=28769364 memory=6655300316396806240 CPUtime=0 cores=0-7 /proc/2405/task/2429/stat : 2429 (java) S 2403 2403 27783 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 446942331 29459828736 55429 33554432000 4194304 4196468 140725496812960 140075566629632 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2430] ppid=2403 vsize=28769364 memory=-7385712267777484841 CPUtime=0 cores=0-7 /proc/2405/task/2430/stat : 2430 (java) S 2403 2403 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446942333 29459828736 55429 33554432000 4194304 4196468 140725496812960 140075565578192 140076970530715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2431] ppid=2403 vsize=28769364 memory=164 CPUtime=1.23 cores=0-7 /proc/2405/task/2431/stat : 2431 (java) S 2403 2403 27783 0 -1 1077944384 4005 0 0 0 122 1 0 0 20 0 28 0 446942333 29459828736 55429 33554432000 4194304 4196468 140725496812960 140075564526320 140076970523266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2432] ppid=2403 vsize=28769364 memory=-2276395272229541278 CPUtime=1.41 cores=0-7 /proc/2405/task/2432/stat : 2432 (java) S 2403 2403 27783 0 -1 1077944384 6148 0 0 0 140 1 0 0 20 0 28 0 446942333 29459828736 55429 33554432000 4194304 4196468 140725496812960 140075563473776 140076970523266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2433] ppid=2403 vsize=28769364 memory=140266107349457 CPUtime=1.29 cores=0-7 /proc/2405/task/2433/stat : 2433 (java) S 2403 2403 27783 0 -1 1077944384 4967 0 0 0 129 0 0 0 20 0 28 0 446942333 29459828736 55429 33554432000 4194304 4196468 140725496812960 140075562420720 140076970523266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2434] ppid=2403 vsize=28769364 memory=7308896237534340953 CPUtime=0.65 cores=0-7 /proc/2405/task/2434/stat : 2434 (java) S 2403 2403 27783 0 -1 1077944384 4353 0 0 0 64 1 0 0 20 0 28 0 446942333 29459828736 55429 33554432000 4194304 4196468 140725496812960 140075561368176 140076970523266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2435] ppid=2403 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/2405/task/2435/stat : 2435 (java) S 2403 2403 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446942333 29459828736 55429 33554432000 4194304 4196468 140725496812960 140075560315360 140076970522325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2436] ppid=2403 vsize=28769364 memory=6944652177228980320 CPUtime=0 cores=0-7 /proc/2405/task/2436/stat : 2436 (java) S 2403 2403 27783 0 -1 1077944384 659 0 0 0 0 0 0 0 20 0 28 0 446942334 29459828736 55429 33554432000 4194304 4196468 140725496812960 140075559262896 140076970523266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2501] ppid=2403 vsize=28769364 memory=6943526294502006880 CPUtime=11.76 cores=0-7 /proc/2405/task/2501/stat : 2501 (java) R 2403 2403 27783 0 -1 4202560 195 0 0 0 1176 0 0 0 20 0 28 0 446942464 29459828736 55429 33554432000 4194304 4196468 140725496812960 140075544778704 140076613319093 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2502] ppid=2403 vsize=28769364 memory=-3284643825843719562 CPUtime=11.57 cores=0-7 /proc/2405/task/2502/stat : 2502 (java) R 2403 2403 27783 0 -1 4202560 160 0 0 0 1157 0 0 0 20 0 28 0 446942464 29459828736 55429 33554432000 4194304 4196468 140725496812960 140075541622360 140076614440697 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2503] ppid=2403 vsize=28769364 memory=1448 CPUtime=11.37 cores=0-7 /proc/2405/task/2503/stat : 2503 (java) R 2403 2403 27783 0 -1 4202560 373 0 0 0 1137 0 0 0 20 0 28 0 446942464 29459828736 55429 33554432000 4194304 4196468 140725496812960 140075543727632 140076612924170 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2504] ppid=2403 vsize=28769364 memory=211584 CPUtime=11.6 cores=0-7 /proc/2405/task/2504/stat : 2504 (java) R 2403 2403 27783 0 -1 4202560 403 0 0 0 1160 0 0 0 20 0 28 0 446942464 29459828736 55429 33554432000 4194304 4196468 140725496812960 140075547939200 140076613153426 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2505] ppid=2403 vsize=28769364 memory=0 CPUtime=11.65 cores=0-7 /proc/2405/task/2505/stat : 2505 (java) R 2403 2403 27783 0 -1 4202560 346 0 0 0 1165 0 0 0 20 0 28 0 446942464 29459828736 55429 33554432000 4194304 4196468 140725496812960 140075548991192 140076613542594 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2506] ppid=2403 vsize=28769364 memory=0 CPUtime=11.56 cores=0-7 /proc/2405/task/2506/stat : 2506 (java) R 2403 2403 27783 0 -1 4202560 247 0 0 0 1156 0 0 0 20 0 28 0 446942464 29459828736 55429 33554432000 4194304 4196468 140725496812960 140075545833112 140076615138549 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2507] ppid=2403 vsize=28769364 memory=0 CPUtime=11.43 cores=0-7 /proc/2405/task/2507/stat : 2507 (java) R 2403 2403 27783 0 -1 4202560 602 0 0 0 1142 1 0 0 20 0 28 0 446942464 29459828736 55429 33554432000 4194304 4196468 140725496812960 140075546885560 140076613153451 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 [pid=2405/tid=2508] ppid=2403 vsize=28769364 memory=0 CPUtime=11.65 cores=0-7 /proc/2405/task/2508/stat : 2508 (java) R 2403 2403 27783 0 -1 4202560 234 0 0 0 1165 0 0 0 20 0 28 0 446942464 29459828736 55429 33554432000 4194304 4196468 140725496812960 140075550044120 140076608547694 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15396864 140725496820720 140725496820891 140725496820891 140725496823759 0 Current children cumulated CPU time: 102.05 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 223164 KiB Child status: 0 Real time (s): 13.344 CPU time (s): 102.321 CPU user time (s): 102.119 CPU system time (s): 0.201488 CPU usage (%): 766.791 Max. virtual memory (cumulated for all children) (KiB): 28882492 Max. memory (cumulated for all children) (KiB): 230328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 102.119 system time used= 0.201488 maximum resident set size= 228884 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38666 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= 5257 involuntary context switches= 1782 # summary of solver processes directly reported to runsolver: # pid: 2403 # total CPU time (s): 102.321 # total CPU user time (s): 102.119 # total CPU system time (s): 0.201488 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.101416 second user time and 0.21283 second system time The end
Begin job on node147 at 2019-09-17 10:50:42 IDJOB=4400028 IDBENCH=123101 IDSOLVER=2855 FILE ID=node147/4400028-1568710285 RUNJOBID= node147-1568700717-27810 PBS_JOBID= 21703903 Free space on /tmp= 58880 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-esc16e.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-4400028-1568710285/watcher-4400028-1568710285 -o /tmp/evaluation-result-4400028-1568710285/solver-4400028-1568710285 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node147-1568700717-27810 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 58528506 HOME/instance-4400028-1568710285.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 9478703244e8f640224ac5c9e01083b8 RANDOM SEED=58528506 node147.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.52 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.52 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.52 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.52 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: 30350760 kB MemAvailable: 31803780 kB Buffers: 114324 kB Cached: 1630624 kB SwapCached: 87660 kB Active: 938996 kB Inactive: 896956 kB Active(anon): 6768 kB Inactive(anon): 133772 kB Active(file): 932228 kB Inactive(file): 763184 kB Unevictable: 108644 kB Mlocked: 108644 kB SwapTotal: 67108860 kB SwapFree: 66917056 kB Dirty: 26276 kB Writeback: 0 kB AnonPages: 121776 kB Mapped: 48840 kB Shmem: 40920 kB Slab: 176244 kB SReclaimable: 146884 kB SUnreclaim: 29360 kB KernelStack: 3728 kB PageTables: 5936 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506728 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 75776 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= 58856 MiB End job on node147 at 2019-09-17 10:50:55