Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 14 | 83.8108 | 11.2961 |
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.1944 |
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-4393768-1568421901.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4393768-1568421901.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 1.04/0.60 c solve instance... 1.42/0.67 o 25 1.42/0.68 o 23 1.42/0.69 o 21 1.42/0.69 o 19 2.62/0.86 o 17 3.31/0.91 o 15 5.72/1.29 o 14 83.13/11.28 s OPTIMUM FOUND 83.13/11.28 v <instantiation> 83.13/11.28 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> 83.13/11.28 v <values>12 5 8 4 7 14 6 15 13 0 3 9 1 11 2 10 0 0 0 1 1 0 0 1 0 2 1 1 0 0 1 0 0 1 1 2 0 </values> 83.13/11.28 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 (15274 MiB free) memory of node 1: 16384 MiB (15518 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393768-1568421901/watcher-4393768-1568421901 -o /tmp/evaluation-result-4393768-1568421901/solver-4393768-1568421901 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1568416723-7197 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 179813745 HOME/instance-4393768-1568421901.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Starting watchdog thread solver pid=12455, runsolver pid=12452 Current StackSize limit: 8192 KiB [startup+0.100181 s]* /proc/loadavg: 5.42 6.13 6.24 2/212 12476 /proc/meminfo: memFree=31516224/32770624 swapFree=66995604/67108860 [pid=12455] ppid=12452 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/12455/stat : 12455 (xcsp3-exec) S 12452 12455 7170 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418441504 115843072 364 33554432000 4194304 5098028 140735577967728 140735577965832 140307181875836 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13041664 140735577973622 140735577973865 140735577973865 140735577976778 0 /proc/12455/statm: 28282 364 305 221 0 87 0 [pid=12457] ppid=12455 vsize=28227388 memory=28792 CPUtime=0.12 cores=0-7 /proc/12457/stat : 12457 (java) S 12455 12455 7170 0 -1 1077944320 5692 0 0 0 11 1 0 0 20 0 20 0 418441505 28904845312 7198 33554432000 4194304 4196468 140732035524832 140732035507376 140632883863287 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 /proc/12457/statm: 7056847 7198 3119 1 0 7019032 0 [pid=12457/tid=12458] ppid=12455 vsize=28227388 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/12457/task/12458/stat : 12458 (java) R 12455 12455 7170 0 -1 4202560 3600 0 0 0 8 1 0 0 20 0 20 0 418441505 28904845312 7198 33554432000 4194304 4196468 140732035524832 140632888096560 140632867943774 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12459] ppid=12455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12457/task/12459/stat : 12459 (java) S 12455 12455 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418441506 28904845312 7198 33554432000 4194304 4196468 140732035524832 140632803716112 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12460] ppid=12455 vsize=28227388 memory=14832097705842328 CPUtime=0 cores=0-7 /proc/12457/task/12460/stat : 12460 (java) S 12455 12455 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418441506 28904845312 7198 33554432000 4194304 4196468 140732035524832 140632802663568 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12461] ppid=12455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12457/task/12461/stat : 12461 (java) S 12455 12455 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418441506 28904845312 7198 33554432000 4194304 4196468 140732035524832 140632801610512 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12462] ppid=12455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12457/task/12462/stat : 12462 (java) S 12455 12455 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418441506 28904845312 7198 33554432000 4194304 4196468 140732035524832 140632800557968 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12463] ppid=12455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12457/task/12463/stat : 12463 (java) S 12455 12455 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418441506 28904845312 7198 33554432000 4194304 4196468 140732035524832 140632430598672 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12464] ppid=12455 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/12457/task/12464/stat : 12464 (java) S 12455 12455 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418441506 28904845312 7198 33554432000 4194304 4196468 140732035524832 140632429546128 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12465] ppid=12455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12457/task/12465/stat : 12465 (java) S 12455 12455 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418441506 28904845312 7198 33554432000 4194304 4196468 140732035524832 140632428493072 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12466] ppid=12455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12457/task/12466/stat : 12466 (java) S 12455 12455 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418441506 28904845312 7198 33554432000 4194304 4196468 140732035524832 140632427440528 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12467] ppid=12455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12457/task/12467/stat : 12467 (java) S 12455 12455 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418441507 28904845312 7198 33554432000 4194304 4196468 140732035524832 140631598476016 140632883874434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12468] ppid=12455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12457/task/12468/stat : 12468 (java) S 12455 12455 7170 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418441508 28904845312 7198 33554432000 4194304 4196468 140732035524832 140631597422240 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12469] ppid=12455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12457/task/12469/stat : 12469 (java) S 12455 12455 7170 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418441508 28904845312 7198 33554432000 4194304 4196468 140732035524832 140631596369136 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12470] ppid=12455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12457/task/12470/stat : 12470 (java) S 12455 12455 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418441510 28904845312 7198 33554432000 4194304 4196468 140732035524832 140631595317712 140632883881883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12471] ppid=12455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12457/task/12471/stat : 12471 (java) S 12455 12455 7170 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 20 0 418441510 28904845312 7198 33554432000 4194304 4196468 140732035524832 140631594264816 140632883874434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12472] ppid=12455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12457/task/12472/stat : 12472 (java) S 12455 12455 7170 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418441510 28904845312 7198 33554432000 4194304 4196468 140732035524832 140631593212272 140632883874434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12473] ppid=12455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12457/task/12473/stat : 12473 (java) S 12455 12455 7170 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 418441510 28904845312 7198 33554432000 4194304 4196468 140732035524832 140631592159216 140632883874434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12474] ppid=12455 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/12457/task/12474/stat : 12474 (java) R 12455 12455 7170 0 -1 4202560 364 0 0 0 2 0 0 0 20 0 20 0 418441510 28904845312 7198 33554432000 4194304 4196468 140732035524832 140631474301040 140632883884634 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12475] ppid=12455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12457/task/12475/stat : 12475 (java) S 12455 12455 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418441511 28904845312 7198 33554432000 4194304 4196468 140732035524832 140631473249248 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12476] ppid=12455 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/12457/task/12476/stat : 12476 (java) S 12455 12455 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418441511 28904845312 7198 33554432000 4194304 4196468 140732035524832 140631472196784 140632883874434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 30248 KiB [startup+0.210395 s]* /proc/loadavg: 5.42 6.13 6.24 3/212 12476 /proc/meminfo: memFree=31502704/32770624 swapFree=66995604/67108860 [pid=12455] ppid=12452 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/12455/stat : 12455 (xcsp3-exec) S 12452 12455 7170 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418441504 115843072 364 33554432000 4194304 5098028 140735577967728 140735577965832 140307181875836 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13041664 140735577973622 140735577973865 140735577973865 140735577976778 0 /proc/12455/statm: 28282 364 305 221 0 87 0 [pid=12457] ppid=12455 vsize=28227388 memory=41052 CPUtime=0.34 cores=0-7 /proc/12457/stat : 12457 (java) S 12455 12455 7170 0 -1 1077944320 9547 0 0 0 31 3 0 0 20 0 20 0 418441505 28904845312 10263 33554432000 4194304 4196468 140732035524832 140732035507376 140632883863287 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 /proc/12457/statm: 7056847 10263 3297 1 0 7019032 0 [pid=12457/tid=12458] ppid=12455 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/12457/task/12458/stat : 12458 (java) R 12455 12455 7170 0 -1 4202560 6635 0 0 0 17 2 0 0 20 0 20 0 418441505 28904845312 10263 33554432000 4194304 4196468 140732035524832 140632888096464 140632883875222 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12459] ppid=12455 vsize=28227388 memory=288230600413020516 CPUtime=0 cores=0-7 /proc/12457/task/12459/stat : 12459 (java) S 12455 12455 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418441506 28904845312 10263 33554432000 4194304 4196468 140732035524832 140632803716112 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12460] ppid=12455 vsize=28227388 memory=140194745681956 CPUtime=0 cores=0-7 /proc/12457/task/12460/stat : 12460 (java) S 12455 12455 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418441506 28904845312 10263 33554432000 4194304 4196468 140732035524832 140632802663568 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12461] ppid=12455 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/12457/task/12461/stat : 12461 (java) S 12455 12455 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418441506 28904845312 10263 33554432000 4194304 4196468 140732035524832 140632801610512 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12462] ppid=12455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12457/task/12462/stat : 12462 (java) S 12455 12455 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418441506 28904845312 10263 33554432000 4194304 4196468 140732035524832 140632800557968 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12463] ppid=12455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12457/task/12463/stat : 12463 (java) S 12455 12455 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418441506 28904845312 10263 33554432000 4194304 4196468 140732035524832 140632430598672 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12464] ppid=12455 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/12457/task/12464/stat : 12464 (java) S 12455 12455 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418441506 28904845312 10263 33554432000 4194304 4196468 140732035524832 140632429546128 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12465] ppid=12455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12457/task/12465/stat : 12465 (java) S 12455 12455 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418441506 28904845312 10263 33554432000 4194304 4196468 140732035524832 140632428493072 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12466] ppid=12455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12457/task/12466/stat : 12466 (java) S 12455 12455 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418441506 28904845312 10263 33554432000 4194304 4196468 140732035524832 140632427440528 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12467] ppid=12455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12457/task/12467/stat : 12467 (java) S 12455 12455 7170 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418441507 28904845312 10263 33554432000 4194304 4196468 140732035524832 140631598476016 140632883874434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12468] ppid=12455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12457/task/12468/stat : 12468 (java) S 12455 12455 7170 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418441508 28904845312 10263 33554432000 4194304 4196468 140732035524832 140631597422240 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12469] ppid=12455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12457/task/12469/stat : 12469 (java) S 12455 12455 7170 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418441508 28904845312 10263 33554432000 4194304 4196468 140732035524832 140631596369136 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12470] ppid=12455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12457/task/12470/stat : 12470 (java) S 12455 12455 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418441510 28904845312 10263 33554432000 4194304 4196468 140732035524832 140631595317712 140632883881883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12471] ppid=12455 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/12457/task/12471/stat : 12471 (java) S 12455 12455 7170 0 -1 1077944384 324 0 0 0 1 0 0 0 20 0 20 0 418441510 28904845312 10263 33554432000 4194304 4196468 140732035524832 140631594264816 140632883874434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12472] ppid=12455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12457/task/12472/stat : 12472 (java) S 12455 12455 7170 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 418441510 28904845312 10263 33554432000 4194304 4196468 140732035524832 140631593212272 140632883874434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12473] ppid=12455 vsize=28227388 memory=-1 CPUtime=0.02 cores=0-7 /proc/12457/task/12473/stat : 12473 (java) S 12455 12455 7170 0 -1 1077944384 480 0 0 0 2 0 0 0 20 0 20 0 418441510 28904845312 10263 33554432000 4194304 4196468 140732035524832 140631592159216 140632883874434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12474] ppid=12455 vsize=28227388 memory=0 CPUtime=0.08 cores=0-7 /proc/12457/task/12474/stat : 12474 (java) R 12455 12455 7170 0 -1 4202560 753 0 0 0 8 0 0 0 20 0 20 0 418441510 28904845312 10263 33554432000 4194304 4196468 140732035524832 140631474300848 140632862781856 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12475] ppid=12455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12457/task/12475/stat : 12475 (java) S 12455 12455 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418441511 28904845312 10263 33554432000 4194304 4196468 140732035524832 140631473249248 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12476] ppid=12455 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/12457/task/12476/stat : 12476 (java) S 12455 12455 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418441511 28904845312 10263 33554432000 4194304 4196468 140732035524832 140631472196784 140632883874434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42508 KiB [startup+0.310196 s]* /proc/loadavg: 5.42 6.13 6.24 5/212 12476 /proc/meminfo: memFree=31494408/32770624 swapFree=66995604/67108860 [pid=12455] ppid=12452 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/12455/stat : 12455 (xcsp3-exec) S 12452 12455 7170 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418441504 115843072 364 33554432000 4194304 5098028 140735577967728 140735577965832 140307181875836 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13041664 140735577973622 140735577973865 140735577973865 140735577976778 0 /proc/12455/statm: 28282 364 305 221 0 87 0 [pid=12457] ppid=12455 vsize=28231644 memory=49960 CPUtime=0.52 cores=0-7 /proc/12457/stat : 12457 (java) S 12455 12455 7170 0 -1 1077944320 10876 0 0 0 48 4 0 0 20 0 20 0 418441505 28909203456 12490 33554432000 4194304 4196468 140732035524832 140732035507376 140632883863287 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 /proc/12457/statm: 7057911 12490 3361 1 0 7019032 0 [pid=12457/tid=12458] ppid=12455 vsize=28231644 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/12457/task/12458/stat : 12458 (java) R 12455 12455 7170 0 -1 4202560 7770 0 0 0 26 3 0 0 20 0 20 0 418441505 28909203456 12521 33554432000 4194304 4196468 140732035524832 140632888094400 140632867943774 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12459] ppid=12455 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/12457/task/12459/stat : 12459 (java) S 12455 12455 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418441506 28909203456 12521 33554432000 4194304 4196468 140732035524832 140632803716112 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12460] ppid=12455 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/12457/task/12460/stat : 12460 (java) S 12455 12455 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418441506 28909203456 12521 33554432000 4194304 4196468 140732035524832 140632802663568 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12461] ppid=12455 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/12457/task/12461/stat : 12461 (java) S 12455 12455 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418441506 28909203456 12521 33554432000 4194304 4196468 140732035524832 140632801610512 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12462] ppid=12455 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/12457/task/12462/stat : 12462 (java) S 12455 12455 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418441506 28909203456 12521 33554432000 4194304 4196468 140732035524832 140632800557968 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12463] ppid=12455 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/12457/task/12463/stat : 12463 (java) S 12455 12455 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418441506 28909203456 12521 33554432000 4194304 4196468 140732035524832 140632430598672 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12464] ppid=12455 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/12457/task/12464/stat : 12464 (java) S 12455 12455 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418441506 28909203456 12521 33554432000 4194304 4196468 140732035524832 140632429546128 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12465] ppid=12455 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/12457/task/12465/stat : 12465 (java) S 12455 12455 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418441506 28909203456 12521 33554432000 4194304 4196468 140732035524832 140632428493072 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12466] ppid=12455 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/12457/task/12466/stat : 12466 (java) S 12455 12455 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418441506 28909203456 12521 33554432000 4194304 4196468 140732035524832 140632427440528 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12467] ppid=12455 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/12457/task/12467/stat : 12467 (java) S 12455 12455 7170 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418441507 28909203456 12521 33554432000 4194304 4196468 140732035524832 140631598476016 140632883874434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12468] ppid=12455 vsize=28231644 memory=280389289713024 CPUtime=0 cores=0-7 /proc/12457/task/12468/stat : 12468 (java) S 12455 12455 7170 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418441508 28909203456 12521 33554432000 4194304 4196468 140732035524832 140631597422240 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12469] ppid=12455 vsize=28231644 memory=280389289717632 CPUtime=0 cores=0-7 /proc/12457/task/12469/stat : 12469 (java) S 12455 12455 7170 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418441508 28909203456 12521 33554432000 4194304 4196468 140732035524832 140631596369136 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12470] ppid=12455 vsize=28231644 memory=280389289722240 CPUtime=0 cores=0-7 /proc/12457/task/12470/stat : 12470 (java) S 12455 12455 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418441510 28909203456 12521 33554432000 4194304 4196468 140732035524832 140631595317712 140632883881883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12471] ppid=12455 vsize=28231644 memory=280389289726848 CPUtime=0.02 cores=0-7 /proc/12457/task/12471/stat : 12471 (java) S 12455 12455 7170 0 -1 1077944384 334 0 0 0 2 0 0 0 20 0 20 0 418441510 28909203456 12521 33554432000 4194304 4196468 140732035524832 140631594264816 140632883874434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12472] ppid=12455 vsize=28231644 memory=280389289731456 CPUtime=0.02 cores=0-7 /proc/12457/task/12472/stat : 12472 (java) S 12455 12455 7170 0 -1 1077944384 57 0 0 0 2 0 0 0 20 0 20 0 418441510 28909203456 12521 33554432000 4194304 4196468 140732035524832 140631593212272 140632883874434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12473] ppid=12455 vsize=28231644 memory=280389289736064 CPUtime=0.04 cores=0-7 /proc/12457/task/12473/stat : 12473 (java) R 12455 12455 7170 0 -1 4202560 577 0 0 0 4 0 0 0 20 0 20 0 418441510 28909203456 12521 33554432000 4194304 4196468 140732035524832 140631592159216 140632867248119 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12474] ppid=12455 vsize=28231644 memory=280389289740672 CPUtime=0.12 cores=0-7 /proc/12457/task/12474/stat : 12474 (java) S 12455 12455 7170 0 -1 1077944384 835 0 0 0 12 0 0 0 20 0 20 0 418441510 28909203456 12521 33554432000 4194304 4196468 140732035524832 140631474301040 140632883874434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12475] ppid=12455 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/12457/task/12475/stat : 12475 (java) S 12455 12455 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418441511 28909203456 12521 33554432000 4194304 4196468 140732035524832 140631473249248 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12476] ppid=12455 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/12457/task/12476/stat : 12476 (java) S 12455 12455 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418441511 28909203456 12521 33554432000 4194304 4196468 140732035524832 140631472196784 140632883874434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51416 KiB [startup+0.708844 s] /proc/loadavg: 5.42 6.13 6.24 6/212 12476 /proc/meminfo: memFree=31477988/32770624 swapFree=66995604/67108860 [pid=12455] ppid=12452 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/12455/stat : 12455 (xcsp3-exec) S 12452 12455 7170 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418441504 115843072 364 33554432000 4194304 5098028 140735577967728 140735577965832 140307181875836 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13041664 140735577973622 140735577973865 140735577973865 140735577976778 0 /proc/12455/statm: 28282 364 305 221 0 87 0 [pid=12457] ppid=12455 vsize=28766280 memory=165328 CPUtime=1.92 cores=0-7 /proc/12457/stat : 12457 (java) S 12455 12455 7170 0 -1 1077944320 16361 0 0 0 183 9 0 0 20 0 27 0 418441505 29456670720 41332 33554432000 4194304 4196468 140732035524832 140732035507376 140632883863287 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 /proc/12457/statm: 7191570 41332 3460 1 0 7152672 0 [pid=12457/tid=12458] ppid=12455 vsize=28766280 memory=4580 CPUtime=0.6 cores=0-7 /proc/12457/task/12458/stat : 12458 (java) S 12455 12455 7170 0 -1 1077944384 9356 0 0 0 56 4 0 0 20 0 27 0 418441505 29456670720 41332 33554432000 4194304 4196468 140732035524832 140632888104064 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12459] ppid=12455 vsize=28766280 memory=0 CPUtime=0 cores=0-7 /proc/12457/task/12459/stat : 12459 (java) S 12455 12455 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 27 0 418441506 29456670720 41332 33554432000 4194304 4196468 140732035524832 140632803716112 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12460] ppid=12455 vsize=28766280 memory=0 CPUtime=0 cores=0-7 /proc/12457/task/12460/stat : 12460 (java) S 12455 12455 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 27 0 418441506 29456670720 41332 33554432000 4194304 4196468 140732035524832 140632802663568 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12461] ppid=12455 vsize=28766280 memory=8556 CPUtime=0 cores=0-7 ################ # More data... # ################ [pid=12457/tid=12474] ppid=12455 vsize=28768328 memory=-7819220407477041015 CPUtime=0.97 cores=0-7 /proc/12457/task/12474/stat : 12474 (java) S 12455 12455 7170 0 -1 1077944384 4584 0 0 0 96 1 0 0 20 0 28 0 418441510 29458767872 93698 33554432000 4194304 4196468 140732035524832 140631474301040 140632883874434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12475] ppid=12455 vsize=28768328 memory=7100839852556125036 CPUtime=0 cores=0-7 /proc/12457/task/12475/stat : 12475 (java) S 12455 12455 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418441511 29458767872 93698 33554432000 4194304 4196468 140732035524832 140631473249248 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12476] ppid=12455 vsize=28768328 memory=8508261139989150256 CPUtime=0 cores=0-7 /proc/12457/task/12476/stat : 12476 (java) S 12455 12455 7170 0 -1 1077944384 512 0 0 0 0 0 0 0 20 0 28 0 418441511 29458767872 93698 33554432000 4194304 4196468 140732035524832 140631472196784 140632883874434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12533] ppid=12455 vsize=28768328 memory=280389289508984 CPUtime=8.06 cores=0-7 /proc/12457/task/12533/stat : 12533 (java) R 12455 12455 7170 0 -1 4202560 455 0 0 0 805 1 0 0 20 0 28 0 418441634 29458767872 93698 33554432000 4194304 4196468 140732035524832 140631460064712 140632486391938 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12534] ppid=12455 vsize=28768328 memory=0 CPUtime=7.94 cores=0-7 /proc/12457/task/12534/stat : 12534 (java) R 12455 12455 7170 0 -1 4202560 110 0 0 0 794 0 0 0 20 0 28 0 418441634 29458767872 93698 33554432000 4194304 4196468 140732035524832 140631457960840 140632485821613 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12535] ppid=12455 vsize=28768328 memory=7450451698149385318 CPUtime=7.67 cores=0-7 /proc/12457/task/12535/stat : 12535 (java) R 12455 12455 7170 0 -1 4202560 634 0 0 0 765 2 0 0 20 0 28 0 418441634 29458767872 93698 33554432000 4194304 4196468 140732035524832 140631462170240 140632490437397 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12536] ppid=12455 vsize=28768328 memory=7236265815149931107 CPUtime=8.02 cores=0-7 /proc/12457/task/12536/stat : 12536 (java) R 12455 12455 7170 0 -1 4202560 217 0 0 0 802 0 0 0 20 0 28 0 418441634 29458767872 93698 33554432000 4194304 4196468 140732035524832 140631463223944 140632484554005 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12537] ppid=12455 vsize=28768328 memory=6296146977915491685 CPUtime=8.07 cores=0-7 /proc/12457/task/12537/stat : 12537 (java) R 12455 12455 7170 0 -1 4202560 232 0 0 0 807 0 0 0 20 0 28 0 418441634 29458767872 93698 33554432000 4194304 4196468 140732035524832 140631388178736 140632484552854 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12538] ppid=12455 vsize=28768328 memory=140194645362591 CPUtime=8.18 cores=0-7 /proc/12457/task/12538/stat : 12538 (java) R 12455 12455 7170 0 -1 4202560 148 0 0 0 818 0 0 0 20 0 28 0 418441634 29458767872 93698 33554432000 4194304 4196468 140732035524832 140631389228984 140632487167462 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12539] ppid=12455 vsize=28768328 memory=2241 CPUtime=8 cores=0-7 /proc/12457/task/12539/stat : 12539 (java) R 12455 12455 7170 0 -1 4202560 119 0 0 0 800 0 0 0 20 0 28 0 418441634 29458767872 93698 33554432000 4194304 4196468 140732035524832 140631461118120 140632486659849 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12540] ppid=12455 vsize=28768328 memory=6386616370352 CPUtime=8.34 cores=0-7 /proc/12457/task/12540/stat : 12540 (java) R 12455 12455 7170 0 -1 4202560 118 0 0 0 834 0 0 0 20 0 28 0 418441634 29458767872 93698 33554432000 4194304 4196468 140732035524832 140631459013624 140632487357492 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 Current children cumulated CPU time: 76.76 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 376248 KiB [startup+10.8018 s] /proc/loadavg: 6.05 6.24 6.28 9/220 12540 /proc/meminfo: memFree=31171192/32770624 swapFree=66995604/67108860 [pid=12455] ppid=12452 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/12455/stat : 12455 (xcsp3-exec) S 12452 12455 7170 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418441504 115843072 364 33554432000 4194304 5098028 140735577967728 140735577965832 140307181875836 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13041664 140735577973622 140735577973865 140735577973865 140735577976778 0 /proc/12455/statm: 28282 364 305 221 0 87 0 [pid=12457] ppid=12455 vsize=28768328 memory=366640 CPUtime=79.94 cores=0-7 /proc/12457/stat : 12457 (java) S 12455 12455 7170 0 -1 1077944320 39153 0 0 0 7965 29 0 0 20 0 28 0 418441505 29458767872 91660 33554432000 4194304 4196468 140732035524832 140732035507376 140632883863287 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 /proc/12457/statm: 7192082 91660 3508 1 0 7153184 0 [pid=12457/tid=12458] ppid=12455 vsize=28768328 memory=0 CPUtime=0.6 cores=0-7 /proc/12457/task/12458/stat : 12458 (java) S 12455 12455 7170 0 -1 1077944384 9356 0 0 0 56 4 0 0 20 0 28 0 418441505 29458767872 91660 33554432000 4194304 4196468 140732035524832 140632888104064 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12459] ppid=12455 vsize=28768328 memory=0 CPUtime=0.02 cores=0-7 /proc/12457/task/12459/stat : 12459 (java) S 12455 12455 7170 0 -1 1077944384 29 0 0 0 2 0 0 0 20 0 28 0 418441506 29458767872 91660 33554432000 4194304 4196468 140732035524832 140632803716112 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12460] ppid=12455 vsize=28768328 memory=0 CPUtime=0.03 cores=0-7 /proc/12457/task/12460/stat : 12460 (java) S 12455 12455 7170 0 -1 1077944384 101 0 0 0 2 1 0 0 20 0 28 0 418441506 29458767872 91660 33554432000 4194304 4196468 140732035524832 140632802663568 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12461] ppid=12455 vsize=28768328 memory=0 CPUtime=0.03 cores=0-7 /proc/12457/task/12461/stat : 12461 (java) S 12455 12455 7170 0 -1 1077944384 86 0 0 0 2 1 0 0 20 0 28 0 418441506 29458767872 91660 33554432000 4194304 4196468 140732035524832 140632801610512 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12462] ppid=12455 vsize=28768328 memory=0 CPUtime=0.03 cores=0-7 /proc/12457/task/12462/stat : 12462 (java) S 12455 12455 7170 0 -1 1077944384 37 0 0 0 2 1 0 0 20 0 28 0 418441506 29458767872 91660 33554432000 4194304 4196468 140732035524832 140632800557968 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12463] ppid=12455 vsize=28768328 memory=56 CPUtime=0.04 cores=0-7 /proc/12457/task/12463/stat : 12463 (java) S 12455 12455 7170 0 -1 1077944384 940 0 0 0 3 1 0 0 20 0 28 0 418441506 29458767872 91660 33554432000 4194304 4196468 140732035524832 140632430598672 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12464] ppid=12455 vsize=28768328 memory=288230621803970871 CPUtime=0.04 cores=0-7 /proc/12457/task/12464/stat : 12464 (java) S 12455 12455 7170 0 -1 1077944384 62 0 0 0 3 1 0 0 20 0 28 0 418441506 29458767872 91660 33554432000 4194304 4196468 140732035524832 140632429546128 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12465] ppid=12455 vsize=28768328 memory=14136632290839084 CPUtime=0.03 cores=0-7 /proc/12457/task/12465/stat : 12465 (java) S 12455 12455 7170 0 -1 1077944384 55 0 0 0 3 0 0 0 20 0 28 0 418441506 29458767872 91660 33554432000 4194304 4196468 140732035524832 140632428493072 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12466] ppid=12455 vsize=28768328 memory=6816 CPUtime=0.03 cores=0-7 /proc/12457/task/12466/stat : 12466 (java) S 12455 12455 7170 0 -1 1077944384 52 0 0 0 2 1 0 0 20 0 28 0 418441506 29458767872 91660 33554432000 4194304 4196468 140732035524832 140632427440528 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12467] ppid=12455 vsize=28768328 memory=12040 CPUtime=0.02 cores=0-7 /proc/12457/task/12467/stat : 12467 (java) S 12455 12455 7170 0 -1 1077944384 519 0 0 0 2 0 0 0 20 0 28 0 418441507 29458767872 91660 33554432000 4194304 4196468 140732035524832 140631598476016 140632883874434 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12468] ppid=12455 vsize=28768328 memory=2124 CPUtime=0 cores=0-7 /proc/12457/task/12468/stat : 12468 (java) S 12455 12455 7170 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 418441508 29458767872 91660 33554432000 4194304 4196468 140732035524832 140631597422304 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12469] ppid=12455 vsize=28768328 memory=1556 CPUtime=0 cores=0-7 /proc/12457/task/12469/stat : 12469 (java) S 12455 12455 7170 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 418441508 29458767872 91660 33554432000 4194304 4196468 140732035524832 140631596369152 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12470] ppid=12455 vsize=28768328 memory=496 CPUtime=0 cores=0-7 /proc/12457/task/12470/stat : 12470 (java) S 12455 12455 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418441510 29458767872 91660 33554432000 4194304 4196468 140732035524832 140631595317712 140632883881883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12471] ppid=12455 vsize=28768328 memory=928 CPUtime=2.55 cores=0-7 /proc/12457/task/12471/stat : 12471 (java) S 12455 12455 7170 0 -1 1077944384 5875 0 0 0 254 1 0 0 20 0 28 0 418441510 29458767872 91660 33554432000 4194304 4196468 140732035524832 140631594264816 140632883874434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12472] ppid=12455 vsize=28768328 memory=1604 CPUtime=2.38 cores=0-7 /proc/12457/task/12472/stat : 12472 (java) S 12455 12455 7170 0 -1 1077944384 5750 0 0 0 237 1 0 0 20 0 28 0 418441510 29458767872 91660 33554432000 4194304 4196468 140732035524832 140631593212272 140632883874434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12473] ppid=12455 vsize=28768328 memory=1980 CPUtime=2.19 cores=0-7 /proc/12457/task/12473/stat : 12473 (java) S 12455 12455 7170 0 -1 1077944384 4911 0 0 0 218 1 0 0 20 0 28 0 418441510 29458767872 91660 33554432000 4194304 4196468 140732035524832 140631592159216 140632883874434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12474] ppid=12455 vsize=28768328 memory=2356 CPUtime=0.98 cores=0-7 /proc/12457/task/12474/stat : 12474 (java) S 12455 12455 7170 0 -1 1077944384 5162 0 0 0 97 1 0 0 20 0 28 0 418441510 29458767872 91660 33554432000 4194304 4196468 140732035524832 140631474301040 140632883874434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12475] ppid=12455 vsize=28768328 memory=1440 CPUtime=0 cores=0-7 /proc/12457/task/12475/stat : 12475 (java) S 12455 12455 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418441511 29458767872 91660 33554432000 4194304 4196468 140732035524832 140631473249248 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12476] ppid=12455 vsize=28768328 memory=820 CPUtime=0 cores=0-7 /proc/12457/task/12476/stat : 12476 (java) S 12455 12455 7170 0 -1 1077944384 857 0 0 0 0 0 0 0 20 0 28 0 418441511 29458767872 91660 33554432000 4194304 4196468 140732035524832 140631472196784 140632883874434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12533] ppid=12455 vsize=28768328 memory=0 CPUtime=8.46 cores=0-7 /proc/12457/task/12533/stat : 12533 (java) R 12455 12455 7170 0 -1 4202560 682 0 0 0 845 1 0 0 20 0 28 0 418441634 29458767872 91660 33554432000 4194304 4196468 140732035524832 140631460064064 140632484852753 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12534] ppid=12455 vsize=28768328 memory=7373343003645993577 CPUtime=8.33 cores=0-7 /proc/12457/task/12534/stat : 12534 (java) R 12455 12455 7170 0 -1 4202560 122 0 0 0 833 0 0 0 20 0 28 0 418441634 29458767872 91660 33554432000 4194304 4196468 140732035524832 140631457960296 140632486813071 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12535] ppid=12455 vsize=28768328 memory=7373343003645993577 CPUtime=8.08 cores=0-7 /proc/12457/task/12535/stat : 12535 (java) R 12455 12455 7170 0 -1 4202560 862 0 0 0 805 3 0 0 20 0 28 0 418441634 29458767872 91660 33554432000 4194304 4196468 140732035524832 140631462172520 140632487530505 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12536] ppid=12455 vsize=28768328 memory=7373343003645993577 CPUtime=8.42 cores=0-7 /proc/12457/task/12536/stat : 12536 (java) R 12455 12455 7170 0 -1 4202560 237 0 0 0 842 0 0 0 20 0 28 0 418441634 29458767872 91660 33554432000 4194304 4196468 140732035524832 140631463223304 140632484552703 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12537] ppid=12455 vsize=28768328 memory=7594849495090425442 CPUtime=8.47 cores=0-7 /proc/12457/task/12537/stat : 12537 (java) R 12455 12455 7170 0 -1 4202560 304 0 0 0 847 0 0 0 20 0 28 0 418441634 29458767872 91660 33554432000 4194304 4196468 140732035524832 140631388175480 140632484552893 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12538] ppid=12455 vsize=28768328 memory=7308056189292925792 CPUtime=8.57 cores=0-7 /proc/12457/task/12538/stat : 12538 (java) R 12455 12455 7170 0 -1 4202560 161 0 0 0 857 0 0 0 20 0 28 0 418441634 29458767872 91660 33554432000 4194304 4196468 140732035524832 140631389228584 140632484552703 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12539] ppid=12455 vsize=28768328 memory=7091311596557134702 CPUtime=8.39 cores=0-7 /proc/12457/task/12539/stat : 12539 (java) R 12455 12455 7170 0 -1 4202560 157 0 0 0 839 0 0 0 20 0 28 0 418441634 29458767872 91660 33554432000 4194304 4196468 140732035524832 140631461118520 140632484632081 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12540] ppid=12455 vsize=28768328 memory=6007913415000090982 CPUtime=8.74 cores=0-7 /proc/12457/task/12540/stat : 12540 (java) R 12455 12455 7170 0 -1 4202560 150 0 0 0 874 0 0 0 20 0 28 0 418441634 29458767872 91660 33554432000 4194304 4196468 140732035524832 140631459013160 140632484853009 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 Current children cumulated CPU time: 79.94 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 368096 KiB [startup+11.2018 s] /proc/loadavg: 6.05 6.24 6.28 9/220 12540 /proc/meminfo: memFree=31178632/32770624 swapFree=66995604/67108860 [pid=12455] ppid=12452 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/12455/stat : 12455 (xcsp3-exec) S 12452 12455 7170 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418441504 115843072 364 33554432000 4194304 5098028 140735577967728 140735577965832 140307181875836 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13041664 140735577973622 140735577973865 140735577973865 140735577976778 0 /proc/12455/statm: 28282 364 305 221 0 87 0 [pid=12457] ppid=12455 vsize=28768328 memory=366644 CPUtime=83.13 cores=0-7 /proc/12457/stat : 12457 (java) S 12455 12455 7170 0 -1 1077944320 39951 0 0 0 8284 29 0 0 20 0 28 0 418441505 29458767872 91661 33554432000 4194304 4196468 140732035524832 140732035507376 140632883863287 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 /proc/12457/statm: 7192082 91661 3508 1 0 7153184 0 [pid=12457/tid=12458] ppid=12455 vsize=28768328 memory=0 CPUtime=0.6 cores=0-7 /proc/12457/task/12458/stat : 12458 (java) S 12455 12455 7170 0 -1 1077944384 9356 0 0 0 56 4 0 0 20 0 28 0 418441505 29458767872 91661 33554432000 4194304 4196468 140732035524832 140632888104064 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12459] ppid=12455 vsize=28768328 memory=0 CPUtime=0.02 cores=0-7 /proc/12457/task/12459/stat : 12459 (java) S 12455 12455 7170 0 -1 1077944384 29 0 0 0 2 0 0 0 20 0 28 0 418441506 29458767872 91661 33554432000 4194304 4196468 140732035524832 140632803716112 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12460] ppid=12455 vsize=28768328 memory=0 CPUtime=0.03 cores=0-7 /proc/12457/task/12460/stat : 12460 (java) S 12455 12455 7170 0 -1 1077944384 101 0 0 0 2 1 0 0 20 0 28 0 418441506 29458767872 91661 33554432000 4194304 4196468 140732035524832 140632802663568 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12461] ppid=12455 vsize=28768328 memory=56 CPUtime=0.03 cores=0-7 /proc/12457/task/12461/stat : 12461 (java) S 12455 12455 7170 0 -1 1077944384 86 0 0 0 2 1 0 0 20 0 28 0 418441506 29458767872 91661 33554432000 4194304 4196468 140732035524832 140632801610512 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12462] ppid=12455 vsize=28768328 memory=280389290109712 CPUtime=0.03 cores=0-7 /proc/12457/task/12462/stat : 12462 (java) S 12455 12455 7170 0 -1 1077944384 37 0 0 0 2 1 0 0 20 0 28 0 418441506 29458767872 91661 33554432000 4194304 4196468 140732035524832 140632800557968 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12463] ppid=12455 vsize=28768328 memory=0 CPUtime=0.04 cores=0-7 /proc/12457/task/12463/stat : 12463 (java) S 12455 12455 7170 0 -1 1077944384 940 0 0 0 3 1 0 0 20 0 28 0 418441506 29458767872 91661 33554432000 4194304 4196468 140732035524832 140632430598672 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12464] ppid=12455 vsize=28768328 memory=0 CPUtime=0.04 cores=0-7 /proc/12457/task/12464/stat : 12464 (java) S 12455 12455 7170 0 -1 1077944384 62 0 0 0 3 1 0 0 20 0 28 0 418441506 29458767872 91661 33554432000 4194304 4196468 140732035524832 140632429546128 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12465] ppid=12455 vsize=28768328 memory=142370515773873 CPUtime=0.03 cores=0-7 /proc/12457/task/12465/stat : 12465 (java) S 12455 12455 7170 0 -1 1077944384 55 0 0 0 3 0 0 0 20 0 28 0 418441506 29458767872 91661 33554432000 4194304 4196468 140732035524832 140632428493072 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12466] ppid=12455 vsize=28768328 memory=55678278306538 CPUtime=0.03 cores=0-7 /proc/12457/task/12466/stat : 12466 (java) S 12455 12455 7170 0 -1 1077944384 52 0 0 0 2 1 0 0 20 0 28 0 418441506 29458767872 91661 33554432000 4194304 4196468 140732035524832 140632427440528 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12467] ppid=12455 vsize=28768328 memory=2175870708082 CPUtime=0.02 cores=0-7 /proc/12457/task/12467/stat : 12467 (java) S 12455 12455 7170 0 -1 1077944384 519 0 0 0 2 0 0 0 20 0 28 0 418441507 29458767872 91661 33554432000 4194304 4196468 140732035524832 140631598476016 140632883874434 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12468] ppid=12455 vsize=28768328 memory=55678278306282 CPUtime=0 cores=0-7 /proc/12457/task/12468/stat : 12468 (java) S 12455 12455 7170 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 418441508 29458767872 91661 33554432000 4194304 4196468 140732035524832 140631597422304 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12469] ppid=12455 vsize=28768328 memory=55678278306282 CPUtime=0 cores=0-7 /proc/12457/task/12469/stat : 12469 (java) S 12455 12455 7170 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 418441508 29458767872 91661 33554432000 4194304 4196468 140732035524832 140631596369152 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12470] ppid=12455 vsize=28768328 memory=55678278306026 CPUtime=0 cores=0-7 /proc/12457/task/12470/stat : 12470 (java) S 12455 12455 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418441510 29458767872 91661 33554432000 4194304 4196468 140732035524832 140631595317712 140632883881883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12471] ppid=12455 vsize=28768328 memory=1708 CPUtime=2.55 cores=0-7 /proc/12457/task/12471/stat : 12471 (java) S 12455 12455 7170 0 -1 1077944384 5875 0 0 0 254 1 0 0 20 0 28 0 418441510 29458767872 91661 33554432000 4194304 4196468 140732035524832 140631594264816 140632883874434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12472] ppid=12455 vsize=28768328 memory=3440 CPUtime=2.41 cores=0-7 /proc/12457/task/12472/stat : 12472 (java) S 12455 12455 7170 0 -1 1077944384 6546 0 0 0 240 1 0 0 20 0 28 0 418441510 29458767872 91661 33554432000 4194304 4196468 140732035524832 140631593212272 140632883874434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12473] ppid=12455 vsize=28768328 memory=2832 CPUtime=2.19 cores=0-7 /proc/12457/task/12473/stat : 12473 (java) S 12455 12455 7170 0 -1 1077944384 4911 0 0 0 218 1 0 0 20 0 28 0 418441510 29458767872 91661 33554432000 4194304 4196468 140732035524832 140631592159216 140632883874434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12474] ppid=12455 vsize=28768328 memory=5904 CPUtime=0.98 cores=0-7 /proc/12457/task/12474/stat : 12474 (java) S 12455 12455 7170 0 -1 1077944384 5162 0 0 0 97 1 0 0 20 0 28 0 418441510 29458767872 91661 33554432000 4194304 4196468 140732035524832 140631474301040 140632883874434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12475] ppid=12455 vsize=28768328 memory=664 CPUtime=0 cores=0-7 /proc/12457/task/12475/stat : 12475 (java) S 12455 12455 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418441511 29458767872 91661 33554432000 4194304 4196468 140732035524832 140631473249248 140632883873493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12476] ppid=12455 vsize=28768328 memory=1156 CPUtime=0 cores=0-7 /proc/12457/task/12476/stat : 12476 (java) S 12455 12455 7170 0 -1 1077944384 857 0 0 0 0 0 0 0 20 0 28 0 418441511 29458767872 91661 33554432000 4194304 4196468 140732035524832 140631472196784 140632883874434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12533] ppid=12455 vsize=28768328 memory=1000 CPUtime=8.86 cores=0-7 /proc/12457/task/12533/stat : 12533 (java) R 12455 12455 7170 0 -1 4202560 684 0 0 0 885 1 0 0 20 0 28 0 418441634 29458767872 91661 33554432000 4194304 4196468 140732035524832 140631460064064 140632484853234 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12534] ppid=12455 vsize=28768328 memory=14008 CPUtime=8.72 cores=0-7 /proc/12457/task/12534/stat : 12534 (java) R 12455 12455 7170 0 -1 4202560 122 0 0 0 872 0 0 0 20 0 28 0 418441634 29458767872 91661 33554432000 4194304 4196468 140732035524832 140631457960296 140632484552857 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12535] ppid=12455 vsize=28768328 memory=6816 CPUtime=8.48 cores=0-7 /proc/12457/task/12535/stat : 12535 (java) R 12455 12455 7170 0 -1 4202560 862 0 0 0 845 3 0 0 20 0 28 0 418441634 29458767872 91661 33554432000 4194304 4196468 140732035524832 140631462171160 140632487530505 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12536] ppid=12455 vsize=28768328 memory=12040 CPUtime=8.82 cores=0-7 /proc/12457/task/12536/stat : 12536 (java) R 12455 12455 7170 0 -1 4202560 237 0 0 0 882 0 0 0 20 0 28 0 418441634 29458767872 91661 33554432000 4194304 4196468 140732035524832 140631463223304 140632484632499 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12537] ppid=12455 vsize=28768328 memory=33 CPUtime=8.87 cores=0-7 /proc/12457/task/12537/stat : 12537 (java) R 12455 12455 7170 0 -1 4202560 304 0 0 0 887 0 0 0 20 0 28 0 418441634 29458767872 91661 33554432000 4194304 4196468 140732035524832 140631388175480 140632486390191 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12538] ppid=12455 vsize=28768328 memory=140199040636543 CPUtime=8.96 cores=0-7 /proc/12457/task/12538/stat : 12538 (java) R 12455 12455 7170 0 -1 4202560 161 0 0 0 896 0 0 0 20 0 28 0 418441634 29458767872 91661 33554432000 4194304 4196468 140732035524832 140631389228584 140632484552837 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12539] ppid=12455 vsize=28768328 memory=8390361644446492005 CPUtime=8.79 cores=0-7 /proc/12457/task/12539/stat : 12539 (java) R 12455 12455 7170 0 -1 4202560 157 0 0 0 879 0 0 0 20 0 28 0 418441634 29458767872 91661 33554432000 4194304 4196468 140732035524832 140631461118520 140632484552632 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 [pid=12457/tid=12540] ppid=12455 vsize=28768328 memory=-6352177140944567510 CPUtime=9.12 cores=0-7 /proc/12457/task/12540/stat : 12540 (java) R 12455 12455 7170 0 -1 4202560 150 0 0 0 912 0 0 0 20 0 28 0 418441634 29458767872 91661 33554432000 4194304 4196468 140732035524832 140631459013160 140632484853048 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24322048 140732035527658 140732035527830 140732035527830 140732035530703 0 Current children cumulated CPU time: 83.13 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 368100 KiB Child status: 0 Real time (s): 11.2961 CPU time (s): 83.8108 CPU user time (s): 83.5001 CPU system time (s): 0.310659 CPU usage (%): 741.947 Max. virtual memory (cumulated for all children) (KiB): 28881456 Max. memory (cumulated for all children) (KiB): 376328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 83.5001 system time used= 0.310659 maximum resident set size= 374872 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 41210 page faults= 0 swaps= 0 block input operations= 0 block output operations= 144 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5166 involuntary context switches= 2076 # summary of solver processes directly reported to runsolver: # pid: 12455 # total CPU time (s): 83.8108 # total CPU user time (s): 83.5001 # total CPU system time (s): 0.310659 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.128447 second user time and 0.164369 second system time The end
Begin job on node102 at 2019-09-14 02:44:15 IDJOB=4393768 IDBENCH=123101 IDSOLVER=2841 FILE ID=node102/4393768-1568421901 RUNJOBID= node102-1568416723-7197 PBS_JOBID= 21702264 Free space on /tmp= 59328 MiB SOLVER NAME= choco-solver parallel 2019-06-14 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-4393768-1568421901/watcher-4393768-1568421901 -o /tmp/evaluation-result-4393768-1568421901/solver-4393768-1568421901 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1568416723-7197 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 179813745 HOME/instance-4393768-1568421901.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 9478703244e8f640224ac5c9e01083b8 RANDOM SEED=179813745 node102.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.13 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.54 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.13 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.54 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.13 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.54 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.13 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31530732 kB MemAvailable: 31916040 kB Buffers: 168008 kB Cached: 510584 kB SwapCached: 9588 kB Active: 340180 kB Inactive: 350040 kB Active(anon): 9080 kB Inactive(anon): 33848 kB Active(file): 331100 kB Inactive(file): 316192 kB Unevictable: 110432 kB Mlocked: 110432 kB SwapTotal: 67108860 kB SwapFree: 66995604 kB Dirty: 26308 kB Writeback: 0 kB AnonPages: 126804 kB Mapped: 34956 kB Shmem: 22620 kB Slab: 136872 kB SReclaimable: 107704 kB SUnreclaim: 29168 kB KernelStack: 3728 kB PageTables: 5648 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498528 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 81920 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 59304 MiB End job on node102 at 2019-09-14 02:44:27