Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 | OPT | 14 | 54.1031 | 13.9239 |
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 -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4403628-1568989220.xml" -tl '2520s' -p 4 0.13/0.19 c Choco 3fb4b153 0.13/0.20 c [HOME/instance-4403628-1568989220.xml, -tl, 2520s, -p, 4] 0.34/0.24 c 4 solvers in parallel 0.34/0.31 c parse instance... 0.95/0.60 c solve instance... 1.27/0.66 o 25 1.27/0.69 o 23 1.58/0.71 o 21 1.58/0.71 o 19 1.58/0.76 o 17 4.32/1.47 o 14 54.02/13.91 s OPTIMUM FOUND 54.02/13.91 v <instantiation> 54.02/13.91 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> 54.02/13.91 v <values>0 9 2 1 6 7 4 5 3 11 8 15 14 13 12 10 0 0 2 0 1 1 0 1 1 0 0 0 0 1 1 1 0 0 0 2 1 </values> 54.02/13.91 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: 16375 MiB (7197 MiB free) memory of node 1: 16384 MiB (1430 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403628-1568989220/watcher-4403628-1568989220 -o /tmp/evaluation-result-4403628-1568989220/solver-4403628-1568989220 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568988007-29940 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1267854138 HOME/instance-4403628-1568989220.xml running on 4 cores: 0-3 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=31630, runsolver pid=31627 [startup+0.101999 s]* /proc/loadavg: 8.08 7.52 6.03 7/233 31646 /proc/meminfo: memFree=8818916/32770688 swapFree=66971760/67108860 [pid=31630] ppid=31627 vsize=113128 memory=1448 CPUtime=0 cores=0-3 /proc/31630/stat : 31630 (xcsp3-exec) S 31627 31630 29909 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 474863585 115843072 362 33554432000 4194304 5098028 140727270884128 140727270882232 139711712830076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23359488 140727270888314 140727270888557 140727270888557 140727270891466 0 /proc/31630/statm: 28282 362 304 221 0 87 0 [pid=31632] ppid=31630 vsize=15144776 memory=28928 CPUtime=0.13 cores=0-3 /proc/31632/stat : 31632 (java) S 31630 31630 29909 0 -1 1077944320 5646 0 0 0 12 1 0 0 20 0 15 0 474863586 15508250624 7232 33554432000 4194304 4196468 140730366699712 140730366682256 140201818439415 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 /proc/31632/statm: 3786194 7232 3162 1 0 3748377 0 [pid=31632/tid=31633] ppid=31630 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=0-3 /proc/31632/task/31633/stat : 31633 (java) R 31630 31630 29909 0 -1 4202560 3545 0 0 0 8 1 0 0 20 0 15 0 474863586 15508250624 7232 33554432000 4194304 4196468 140730366699712 140201822668592 140201802519902 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31634] ppid=31630 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/31632/task/31634/stat : 31634 (java) S 31630 31630 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474863587 15508250624 7232 33554432000 4194304 4196468 140730366699712 140201771060368 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31635] ppid=31630 vsize=15144776 memory=139783601559168 CPUtime=0 cores=0-3 /proc/31632/task/31635/stat : 31635 (java) S 31630 31630 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474863587 15508250624 7232 33554432000 4194304 4196468 140730366699712 140201770007568 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31636] ppid=31630 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/31632/task/31636/stat : 31636 (java) S 31630 31630 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474863587 15508250624 7232 33554432000 4194304 4196468 140730366699712 140201768954768 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31637] ppid=31630 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/31632/task/31637/stat : 31637 (java) S 31630 31630 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474863587 15508250624 7232 33554432000 4194304 4196468 140730366699712 140201767901968 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31638] ppid=31630 vsize=15144776 memory=139783601559168 CPUtime=0 cores=0-3 /proc/31632/task/31638/stat : 31638 (java) S 31630 31630 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474863588 15508250624 7232 33554432000 4194304 4196468 140730366699712 140201286420848 140201818450562 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31639] ppid=31630 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/31632/task/31639/stat : 31639 (java) S 31630 31630 29909 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474863589 15508250624 7232 33554432000 4194304 4196468 140730366699712 140201285366816 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31640] ppid=31630 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/31632/task/31640/stat : 31640 (java) S 31630 31630 29909 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474863589 15508250624 7232 33554432000 4194304 4196468 140730366699712 140201284313968 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31641] ppid=31630 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/31632/task/31641/stat : 31641 (java) S 31630 31630 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474863592 15508250624 7232 33554432000 4194304 4196468 140730366699712 140201283262288 140201818458011 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31642] ppid=31630 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/31632/task/31642/stat : 31642 (java) S 31630 31630 29909 0 -1 1077944384 408 0 0 0 0 0 0 0 20 0 15 0 474863592 15508250624 7232 33554432000 4194304 4196468 140730366699712 140201282210672 140201818450562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31643] ppid=31630 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/31632/task/31643/stat : 31643 (java) S 31630 31630 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474863592 15508250624 7232 33554432000 4194304 4196468 140730366699712 140201281157872 140201818450562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31644] ppid=31630 vsize=15144776 memory=139783601559168 CPUtime=0.02 cores=0-3 /proc/31632/task/31644/stat : 31644 (java) S 31630 31630 29909 0 -1 1077944384 388 0 0 0 2 0 0 0 20 0 15 0 474863592 15508250624 7232 33554432000 4194304 4196468 140730366699712 140201280105072 140201818450562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31645] ppid=31630 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/31632/task/31645/stat : 31645 (java) S 31630 31630 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474863592 15508250624 7232 33554432000 4194304 4196468 140730366699712 140201279052512 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31646] ppid=31630 vsize=15144776 memory=139783601559168 CPUtime=0 cores=0-3 /proc/31632/task/31646/stat : 31646 (java) S 31630 31630 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474863592 15508250624 7232 33554432000 4194304 4196468 140730366699712 140201277999792 140201818450562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 15257904 KiB Current children cumulated memory: 30376 KiB [startup+0.211726 s]* /proc/loadavg: 8.08 7.52 6.03 6/233 31646 /proc/meminfo: memFree=8806580/32770688 swapFree=66971760/67108860 [pid=31630] ppid=31627 vsize=113128 memory=1448 CPUtime=0 cores=0-3 /proc/31630/stat : 31630 (xcsp3-exec) S 31627 31630 29909 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 474863585 115843072 362 33554432000 4194304 5098028 140727270884128 140727270882232 139711712830076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23359488 140727270888314 140727270888557 140727270888557 140727270891466 0 /proc/31630/statm: 28282 362 304 221 0 87 0 [pid=31632] ppid=31630 vsize=15144776 memory=40072 CPUtime=0.34 cores=0-3 /proc/31632/stat : 31632 (java) S 31630 31630 29909 0 -1 1077944320 9235 0 0 0 31 3 0 0 20 0 15 0 474863586 15508250624 10018 33554432000 4194304 4196468 140730366699712 140730366682256 140201818439415 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 /proc/31632/statm: 3786194 10018 3280 1 0 3748377 0 [pid=31632/tid=31633] ppid=31630 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0-3 /proc/31632/task/31633/stat : 31633 (java) R 31630 31630 29909 0 -1 4202560 6488 0 0 0 18 2 0 0 20 0 15 0 474863586 15508250624 10018 33554432000 4194304 4196468 140730366699712 140201822673296 140201802519902 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31634] ppid=31630 vsize=15144776 memory=9098 CPUtime=0 cores=0-3 /proc/31632/task/31634/stat : 31634 (java) S 31630 31630 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474863587 15508250624 10018 33554432000 4194304 4196468 140730366699712 140201771060368 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31635] ppid=31630 vsize=15144776 memory=139783605065609 CPUtime=0 cores=0-3 /proc/31632/task/31635/stat : 31635 (java) S 31630 31630 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474863587 15508250624 10018 33554432000 4194304 4196468 140730366699712 140201770007568 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31636] ppid=31630 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/31632/task/31636/stat : 31636 (java) S 31630 31630 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474863587 15508250624 10018 33554432000 4194304 4196468 140730366699712 140201768954768 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31637] ppid=31630 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/31632/task/31637/stat : 31637 (java) S 31630 31630 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474863587 15508250624 10018 33554432000 4194304 4196468 140730366699712 140201767901968 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31638] ppid=31630 vsize=15144776 memory=139783601559168 CPUtime=0 cores=0-3 /proc/31632/task/31638/stat : 31638 (java) S 31630 31630 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474863588 15508250624 10018 33554432000 4194304 4196468 140730366699712 140201286420848 140201818450562 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31639] ppid=31630 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/31632/task/31639/stat : 31639 (java) S 31630 31630 29909 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474863589 15508250624 10018 33554432000 4194304 4196468 140730366699712 140201285366816 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31640] ppid=31630 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/31632/task/31640/stat : 31640 (java) S 31630 31630 29909 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474863589 15508250624 10018 33554432000 4194304 4196468 140730366699712 140201284313968 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31641] ppid=31630 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/31632/task/31641/stat : 31641 (java) S 31630 31630 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474863592 15508250624 10018 33554432000 4194304 4196468 140730366699712 140201283262288 140201818458011 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31642] ppid=31630 vsize=15144776 memory=0 CPUtime=0.03 cores=0-3 /proc/31632/task/31642/stat : 31642 (java) S 31630 31630 29909 0 -1 1077944384 552 0 0 0 3 0 0 0 20 0 15 0 474863592 15508250624 10018 33554432000 4194304 4196468 140730366699712 140201282210672 140201818450562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31643] ppid=31630 vsize=15144776 memory=-1 CPUtime=0.01 cores=0-3 /proc/31632/task/31643/stat : 31643 (java) S 31630 31630 29909 0 -1 1077944384 62 0 0 0 1 0 0 0 20 0 15 0 474863592 15508250624 10018 33554432000 4194304 4196468 140730366699712 140201281157872 140201818450562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31644] ppid=31630 vsize=15144776 memory=139783601559168 CPUtime=0.07 cores=0-3 /proc/31632/task/31644/stat : 31644 (java) R 31630 31630 29909 0 -1 4202560 830 0 0 0 7 0 0 0 20 0 15 0 474863592 15508250624 10018 33554432000 4194304 4196468 140730366699712 140201280105072 140201796427617 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31645] ppid=31630 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/31632/task/31645/stat : 31645 (java) S 31630 31630 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474863592 15508250624 10018 33554432000 4194304 4196468 140730366699712 140201279052512 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31646] ppid=31630 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/31632/task/31646/stat : 31646 (java) S 31630 31630 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474863592 15508250624 10018 33554432000 4194304 4196468 140730366699712 140201277999792 140201818450562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 15257904 KiB Current children cumulated memory: 41520 KiB [startup+0.311615 s]* /proc/loadavg: 8.08 7.52 6.03 6/233 31646 /proc/meminfo: memFree=8801712/32770688 swapFree=66971760/67108860 [pid=31630] ppid=31627 vsize=113128 memory=1448 CPUtime=0 cores=0-3 /proc/31630/stat : 31630 (xcsp3-exec) S 31627 31630 29909 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 474863585 115843072 362 33554432000 4194304 5098028 140727270884128 140727270882232 139711712830076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23359488 140727270888314 140727270888557 140727270888557 140727270891466 0 /proc/31630/statm: 28282 362 304 221 0 87 0 [pid=31632] ppid=31630 vsize=15149032 memory=46436 CPUtime=0.51 cores=0-3 /proc/31632/stat : 31632 (java) S 31630 31630 29909 0 -1 1077944320 10431 0 0 0 48 3 0 0 20 0 15 0 474863586 15512608768 11609 33554432000 4194304 4196468 140730366699712 140730366682256 140201818439415 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 /proc/31632/statm: 3787258 11609 3345 1 0 3748377 0 [pid=31632/tid=31633] ppid=31630 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=0-3 /proc/31632/task/31633/stat : 31633 (java) R 31630 31630 29909 0 -1 4202560 7503 0 0 0 27 3 0 0 20 0 15 0 474863586 15512608768 11609 33554432000 4194304 4196468 140730366699712 140201822651968 140201802519902 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31634] ppid=31630 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0-3 /proc/31632/task/31634/stat : 31634 (java) S 31630 31630 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474863587 15512608768 11609 33554432000 4194304 4196468 140730366699712 140201771060368 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31635] ppid=31630 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=0-3 /proc/31632/task/31635/stat : 31635 (java) S 31630 31630 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474863587 15512608768 11609 33554432000 4194304 4196468 140730366699712 140201770007568 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31636] ppid=31630 vsize=15149032 memory=-3040564339105353098 CPUtime=0 cores=0-3 /proc/31632/task/31636/stat : 31636 (java) S 31630 31630 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474863587 15512608768 11609 33554432000 4194304 4196468 140730366699712 140201768954768 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31637] ppid=31630 vsize=15149032 memory=7161331908245094050 CPUtime=0 cores=0-3 /proc/31632/task/31637/stat : 31637 (java) S 31630 31630 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474863587 15512608768 11609 33554432000 4194304 4196468 140730366699712 140201767901968 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31638] ppid=31630 vsize=15149032 memory=6944656591801720471 CPUtime=0 cores=0-3 /proc/31632/task/31638/stat : 31638 (java) S 31630 31630 29909 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474863588 15512608768 11609 33554432000 4194304 4196468 140730366699712 140201286420848 140201818450562 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31639] ppid=31630 vsize=15149032 memory=-8458152057954561420 CPUtime=0 cores=0-3 /proc/31632/task/31639/stat : 31639 (java) S 31630 31630 29909 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474863589 15512608768 11609 33554432000 4194304 4196468 140730366699712 140201285366816 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31640] ppid=31630 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0-3 /proc/31632/task/31640/stat : 31640 (java) S 31630 31630 29909 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474863589 15512608768 11609 33554432000 4194304 4196468 140730366699712 140201284313968 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31641] ppid=31630 vsize=15149032 memory=7031125463459224206 CPUtime=0 cores=0-3 /proc/31632/task/31641/stat : 31641 (java) S 31630 31630 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474863592 15512608768 11609 33554432000 4194304 4196468 140730366699712 140201283262288 140201818458011 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31642] ppid=31630 vsize=15149032 memory=4426078206164241782 CPUtime=0.04 cores=0-3 /proc/31632/task/31642/stat : 31642 (java) S 31630 31630 29909 0 -1 1077944384 592 0 0 0 4 0 0 0 20 0 15 0 474863592 15512608768 11609 33554432000 4194304 4196468 140730366699712 140201282210672 140201818450562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31643] ppid=31630 vsize=15149032 memory=0 CPUtime=0.02 cores=0-3 /proc/31632/task/31643/stat : 31643 (java) S 31630 31630 29909 0 -1 1077944384 75 0 0 0 2 0 0 0 20 0 15 0 474863592 15512608768 11609 33554432000 4194304 4196468 140730366699712 140201281157872 140201818450562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31644] ppid=31630 vsize=15149032 memory=0 CPUtime=0.12 cores=0-3 /proc/31632/task/31644/stat : 31644 (java) S 31630 31630 29909 0 -1 1077944384 959 0 0 0 12 0 0 0 20 0 15 0 474863592 15512608768 11635 33554432000 4194304 4196468 140730366699712 140201280105072 140201818450562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31645] ppid=31630 vsize=15149032 memory=0 CPUtime=0 cores=0-3 /proc/31632/task/31645/stat : 31645 (java) S 31630 31630 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474863592 15512608768 11635 33554432000 4194304 4196468 140730366699712 140201279052512 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31646] ppid=31630 vsize=15149032 memory=0 CPUtime=0 cores=0-3 /proc/31632/task/31646/stat : 31646 (java) S 31630 31630 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474863592 15512608768 11635 33554432000 4194304 4196468 140730366699712 140201277999792 140201818450562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 15262160 KiB Current children cumulated memory: 47884 KiB [startup+0.701134 s] /proc/loadavg: 8.08 7.52 6.03 8/233 31646 /proc/meminfo: memFree=8791132/32770688 swapFree=66971760/67108860 [pid=31630] ppid=31627 vsize=113128 memory=1448 CPUtime=0 cores=0-3 /proc/31630/stat : 31630 (xcsp3-exec) S 31627 31630 29909 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 474863585 115843072 362 33554432000 4194304 5098028 140727270884128 140727270882232 139711712830076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23359488 140727270888314 140727270888557 140727270888557 140727270891466 0 /proc/31630/statm: 28282 362 304 221 0 87 0 [pid=31632] ppid=31630 vsize=15418440 memory=92220 CPUtime=1.58 cores=0-3 /proc/31632/stat : 31632 (java) S 31630 31630 29909 0 -1 1077944320 14349 0 0 0 152 6 0 0 20 0 20 0 474863586 15788482560 23055 33554432000 4194304 4196468 140730366699712 140730366682256 140201818439415 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 /proc/31632/statm: 3854610 23055 3457 1 0 3815710 0 [pid=31632/tid=31633] ppid=31630 vsize=15418440 memory=53716 CPUtime=0.59 cores=0-3 /proc/31632/task/31633/stat : 31633 (java) S 31630 31630 29909 0 -1 1077944384 9213 0 0 0 56 3 0 0 20 0 20 0 474863586 15788482560 23055 33554432000 4194304 4196468 140730366699712 140201822680192 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31634] ppid=31630 vsize=15418440 memory=984 CPUtime=0 cores=0-3 /proc/31632/task/31634/stat : 31634 (java) S 31630 31630 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 474863587 15788482560 23055 33554432000 4194304 4196468 140730366699712 140201771060368 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31635] ppid=31630 vsize=15418440 memory=2044 CPUtime=0 cores=0-3 /proc/31632/task/31635/stat : 31635 (java) S 31630 31630 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 474863587 15788482560 23055 33554432000 4194304 4196468 140730366699712 140201770007568 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31636] ppid=31630 vsize=15418440 memory=1432 CPUtime=0 cores=0-3 /proc/31632/task/31636/stat : 31636 (java) S 31630 31630 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 474863587 15788482560 23055 33554432000 4194304 4196468 140730366699712 140201768954768 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31637] ppid=31630 vsize=15418440 memory=1056 CPUtime=0 cores=0-3 /proc/31632/task/31637/stat : 31637 (java) S 31630 31630 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 474863587 15788482560 23055 33554432000 4194304 4196468 140730366699712 140201767901968 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31638] ppid=31630 vsize=15418440 memory=788 CPUtime=0 cores=0-3 /proc/31632/task/31638/stat : 31638 (java) S 31630 31630 29909 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 474863588 15788482560 23055 33554432000 4194304 4196468 140730366699712 140201286420848 140201818450562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31639] ppid=31630 vsize=15418440 memory=1704 CPUtime=0 cores=0-3 /proc/31632/task/31639/stat : 31639 (java) S 31630 31630 29909 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 474863589 15788482560 23055 33554432000 4194304 4196468 140730366699712 140201285366816 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31640] ppid=31630 vsize=15418440 memory=1280 CPUtime=0 cores=0-3 /proc/31632/task/31640/stat : 31640 (java) S 31630 31630 29909 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 474863589 15788482560 23055 33554432000 4194304 4196468 140730366699712 140201284313968 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31641] ppid=31630 vsize=15418440 memory=6048 CPUtime=0 cores=0-3 /proc/31632/task/31641/stat : 31641 (java) S 31630 31630 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 474863592 15788482560 23055 33554432000 4194304 4196468 140730366699712 140201283262288 140201818458011 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31642] ppid=31630 vsize=15418440 memory=780 CPUtime=0.26 cores=0-3 /proc/31632/task/31642/stat : 31642 (java) R 31630 31630 29909 0 -1 4202560 1251 0 0 0 26 0 0 0 20 0 20 0 474863592 15788482560 23055 33554432000 4194304 4196468 140730366699712 140201282210968 140201801850088 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31643] ppid=31630 vsize=15418440 memory=3604 CPUtime=0.21 cores=0-3 /proc/31632/task/31643/stat : 31643 (java) R 31630 31630 29909 0 -1 4202560 647 0 0 0 21 0 0 0 20 0 20 0 474863592 15788482560 23055 33554432000 4194304 4196468 140730366699712 140201281145712 140201804503571 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31644] ppid=31630 vsize=15418440 memory=1088 CPUtime=0.35 cores=0-3 /proc/31632/task/31644/stat : 31644 (java) R 31630 31630 29909 0 -1 4202560 1553 0 0 0 35 0 0 0 20 0 20 0 474863592 15788482560 23055 33554432000 4194304 4196468 140730366699712 140201280103032 140201802519902 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31645] ppid=31630 vsize=15418440 memory=2832 CPUtime=0 cores=0-3 /proc/31632/task/31645/stat : 31645 (java) S 31630 31630 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 474863592 15788482560 23055 33554432000 4194304 4196468 140730366699712 140201279052512 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31646] ppid=31630 vsize=15418440 memory=1564 CPUtime=0 cores=0-3 /proc/31632/task/31646/stat : 31646 (java) S 31630 31630 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 474863592 15788482560 23055 33554432000 4194304 4196468 140730366699712 140201277999792 140201818450562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 Current children cumulated CPU time: 1.58 s Current children cumulated vsize: 15531568 KiB Current children cumulated memory: 93668 KiB [startup+1.50113 s] /proc/loadavg: 8.08 7.52 6.03 11/238 31672 /proc/meminfo: memFree=8718576/32770688 swapFree=66971760/67108860 [pid=31630] ppid=31627 vsize=113128 memory=1448 CPUtime=0 cores=0-3 /proc/31630/stat : 31630 (xcsp3-exec) S 31627 31630 29909 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 474863585 115843072 362 33554432000 4194304 5098028 140727270884128 140727270882232 139711712830076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23359488 140727270888314 140727270888557 140727270888557 140727270891466 0 /proc/31630/statm: 28282 362 304 221 0 87 0 ################ # More data... # ################ /proc/31632/task/31646/stat : 31646 (java) S 31630 31630 29909 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 19 0 474863592 15992967168 53018 33554432000 4194304 4196468 140730366699712 140201277999792 140201818450562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31673] ppid=31630 vsize=15618132 memory=279566938091248 CPUtime=10.77 cores=0-3 /proc/31632/task/31673/stat : 31673 (java) R 31630 31630 29909 0 -1 4202560 309 0 0 0 1077 0 0 0 20 0 19 0 474863732 15992967168 53018 33554432000 4194304 4196468 140730366699712 140201263754632 140201444479763 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31674] ppid=31630 vsize=15618132 memory=-9110635228796802480 CPUtime=10.67 cores=0-3 /proc/31632/task/31674/stat : 31674 (java) R 31630 31630 29909 0 -1 4202560 895 0 0 0 1067 0 0 0 20 0 19 0 474863732 15992967168 53018 33554432000 4194304 4196468 140730366699712 140201269016488 140201443790351 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31675] ppid=31630 vsize=15618132 memory=-2247047206120676948 CPUtime=10.55 cores=0-3 /proc/31632/task/31675/stat : 31675 (java) R 31630 31630 29909 0 -1 4202560 648 0 0 0 1055 0 0 0 20 0 19 0 474863732 15992967168 53018 33554432000 4194304 4196468 140730366699712 140201261649080 140201443624171 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31676] ppid=31630 vsize=15618132 memory=6944656592455360604 CPUtime=10.58 cores=0-3 /proc/31632/task/31676/stat : 31676 (java) R 31630 31630 29909 0 -1 4202560 353 0 0 0 1058 0 0 0 20 0 19 0 474863733 15992967168 53018 33554432000 4194304 4196468 140730366699712 140201262703528 140201444836248 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 Current children cumulated CPU time: 49.65 s Current children cumulated vsize: 15731260 KiB Current children cumulated memory: 213520 KiB [startup+13.6011 s] /proc/loadavg: 8.07 7.54 6.05 9/237 31677 /proc/meminfo: memFree=8637120/32770688 swapFree=66971760/67108860 [pid=31630] ppid=31627 vsize=113128 memory=1448 CPUtime=0 cores=0-3 /proc/31630/stat : 31630 (xcsp3-exec) S 31627 31630 29909 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 474863585 115843072 362 33554432000 4194304 5098028 140727270884128 140727270882232 139711712830076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23359488 140727270888314 140727270888557 140727270888557 140727270891466 0 /proc/31630/statm: 28282 362 304 221 0 87 0 [pid=31632] ppid=31630 vsize=15618132 memory=212124 CPUtime=52.83 cores=0-3 /proc/31632/stat : 31632 (java) S 31630 31630 29909 0 -1 1077944320 33750 0 0 0 5272 11 0 0 20 0 19 0 474863586 15992967168 53031 33554432000 4194304 4196468 140730366699712 140730366682256 140201818439415 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 /proc/31632/statm: 3904533 53031 3515 1 0 3865633 0 [pid=31632/tid=31633] ppid=31630 vsize=15618132 memory=6791534058613427641 CPUtime=0.59 cores=0-3 /proc/31632/task/31633/stat : 31633 (java) S 31630 31630 29909 0 -1 1077944384 9215 0 0 0 56 3 0 0 20 0 19 0 474863586 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201822680192 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31634] ppid=31630 vsize=15618132 memory=212072 CPUtime=0 cores=0-3 /proc/31632/task/31634/stat : 31634 (java) S 31630 31630 29909 0 -1 1077944384 186 0 0 0 0 0 0 0 20 0 19 0 474863587 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201771060368 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31635] ppid=31630 vsize=15618132 memory=1444 CPUtime=0 cores=0-3 /proc/31632/task/31635/stat : 31635 (java) S 31630 31630 29909 0 -1 1077944384 454 0 0 0 0 0 0 0 20 0 19 0 474863587 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201770007568 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31636] ppid=31630 vsize=15618132 memory=1984 CPUtime=0 cores=0-3 /proc/31632/task/31636/stat : 31636 (java) S 31630 31630 29909 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 19 0 474863587 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201768954768 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31637] ppid=31630 vsize=15618132 memory=2424 CPUtime=0 cores=0-3 /proc/31632/task/31637/stat : 31637 (java) S 31630 31630 29909 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 19 0 474863587 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201767901968 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31638] ppid=31630 vsize=15618132 memory=1760 CPUtime=0 cores=0-3 /proc/31632/task/31638/stat : 31638 (java) S 31630 31630 29909 0 -1 1077944384 525 0 0 0 0 0 0 0 20 0 19 0 474863588 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201286420848 140201818450562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31639] ppid=31630 vsize=15618132 memory=616 CPUtime=0 cores=0-3 /proc/31632/task/31639/stat : 31639 (java) S 31630 31630 29909 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 474863589 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201285366880 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31640] ppid=31630 vsize=15618132 memory=17200 CPUtime=0 cores=0-3 /proc/31632/task/31640/stat : 31640 (java) S 31630 31630 29909 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 19 0 474863589 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201284313984 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31641] ppid=31630 vsize=15618132 memory=637 CPUtime=0 cores=0-3 /proc/31632/task/31641/stat : 31641 (java) S 31630 31630 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474863592 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201283262288 140201818458011 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31642] ppid=31630 vsize=15618132 memory=4957 CPUtime=1.74 cores=0-3 /proc/31632/task/31642/stat : 31642 (java) S 31630 31630 29909 0 -1 1077944384 7590 0 0 0 173 1 0 0 20 0 19 0 474863592 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201282210672 140201818450562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31643] ppid=31630 vsize=15618132 memory=431 CPUtime=1.74 cores=0-3 /proc/31632/task/31643/stat : 31643 (java) S 31630 31630 29909 0 -1 1077944384 4807 0 0 0 173 1 0 0 20 0 19 0 474863592 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201281157872 140201818450562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31644] ppid=31630 vsize=15618132 memory=1138 CPUtime=0.62 cores=0-3 /proc/31632/task/31644/stat : 31644 (java) S 31630 31630 29909 0 -1 1077944384 5839 0 0 0 61 1 0 0 20 0 19 0 474863592 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201280105072 140201818450562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31645] ppid=31630 vsize=15618132 memory=0 CPUtime=0 cores=0-3 /proc/31632/task/31645/stat : 31645 (java) S 31630 31630 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474863592 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201279052512 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31646] ppid=31630 vsize=15618132 memory=0 CPUtime=0 cores=0-3 /proc/31632/task/31646/stat : 31646 (java) S 31630 31630 29909 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 19 0 474863592 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201277999792 140201818450562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31673] ppid=31630 vsize=15618132 memory=6944656575208382560 CPUtime=11.56 cores=0-3 /proc/31632/task/31673/stat : 31673 (java) R 31630 31630 29909 0 -1 4202560 331 0 0 0 1156 0 0 0 20 0 19 0 474863732 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201263754152 140201445940864 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31674] ppid=31630 vsize=15618132 memory=6944656592455359580 CPUtime=11.42 cores=0-3 /proc/31632/task/31674/stat : 31674 (java) R 31630 31630 29909 0 -1 4202560 895 0 0 0 1142 0 0 0 20 0 19 0 474863732 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201269019128 140201443625223 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31675] ppid=31630 vsize=15618132 memory=6944656592387989600 CPUtime=11.33 cores=0-3 /proc/31632/task/31675/stat : 31675 (java) R 31630 31630 29909 0 -1 4202560 651 0 0 0 1133 0 0 0 20 0 19 0 474863732 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201261649424 140201445007955 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31676] ppid=31630 vsize=15618132 memory=5495689611875163292 CPUtime=11.35 cores=0-3 /proc/31632/task/31676/stat : 31676 (java) R 31630 31630 29909 0 -1 4202560 355 0 0 0 1135 0 0 0 20 0 19 0 474863733 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201262703032 140201444874193 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 Current children cumulated CPU time: 52.83 s Current children cumulated vsize: 15731260 KiB Current children cumulated memory: 213572 KiB [startup+13.8011 s] /proc/loadavg: 8.07 7.54 6.05 9/237 31677 /proc/meminfo: memFree=8637120/32770688 swapFree=66971760/67108860 [pid=31630] ppid=31627 vsize=113128 memory=1448 CPUtime=0 cores=0-3 /proc/31630/stat : 31630 (xcsp3-exec) S 31627 31630 29909 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 474863585 115843072 362 33554432000 4194304 5098028 140727270884128 140727270882232 139711712830076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23359488 140727270888314 140727270888557 140727270888557 140727270891466 0 /proc/31630/statm: 28282 362 304 221 0 87 0 [pid=31632] ppid=31630 vsize=15618132 memory=212124 CPUtime=53.62 cores=0-3 /proc/31632/stat : 31632 (java) S 31630 31630 29909 0 -1 1077944320 33758 0 0 0 5351 11 0 0 20 0 19 0 474863586 15992967168 53031 33554432000 4194304 4196468 140730366699712 140730366682256 140201818439415 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 /proc/31632/statm: 3904533 53031 3515 1 0 3865633 0 [pid=31632/tid=31633] ppid=31630 vsize=15618132 memory=7681407940103534239 CPUtime=0.59 cores=0-3 /proc/31632/task/31633/stat : 31633 (java) S 31630 31630 29909 0 -1 1077944384 9215 0 0 0 56 3 0 0 20 0 19 0 474863586 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201822680192 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31634] ppid=31630 vsize=15618132 memory=0 CPUtime=0 cores=0-3 /proc/31632/task/31634/stat : 31634 (java) S 31630 31630 29909 0 -1 1077944384 186 0 0 0 0 0 0 0 20 0 19 0 474863587 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201771060368 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31635] ppid=31630 vsize=15618132 memory=0 CPUtime=0 cores=0-3 /proc/31632/task/31635/stat : 31635 (java) S 31630 31630 29909 0 -1 1077944384 454 0 0 0 0 0 0 0 20 0 19 0 474863587 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201770007568 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31636] ppid=31630 vsize=15618132 memory=139783601567409 CPUtime=0 cores=0-3 /proc/31632/task/31636/stat : 31636 (java) S 31630 31630 29909 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 19 0 474863587 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201768954768 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31637] ppid=31630 vsize=15618132 memory=0 CPUtime=0 cores=0-3 /proc/31632/task/31637/stat : 31637 (java) S 31630 31630 29909 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 19 0 474863587 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201767901968 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31638] ppid=31630 vsize=15618132 memory=0 CPUtime=0 cores=0-3 /proc/31632/task/31638/stat : 31638 (java) S 31630 31630 29909 0 -1 1077944384 525 0 0 0 0 0 0 0 20 0 19 0 474863588 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201286420848 140201818450562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31639] ppid=31630 vsize=15618132 memory=1448 CPUtime=0 cores=0-3 /proc/31632/task/31639/stat : 31639 (java) S 31630 31630 29909 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 474863589 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201285366880 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31640] ppid=31630 vsize=15618132 memory=212072 CPUtime=0 cores=0-3 /proc/31632/task/31640/stat : 31640 (java) S 31630 31630 29909 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 19 0 474863589 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201284313984 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31641] ppid=31630 vsize=15618132 memory=3604 CPUtime=0 cores=0-3 /proc/31632/task/31641/stat : 31641 (java) S 31630 31630 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474863592 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201283262288 140201818458011 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31642] ppid=31630 vsize=15618132 memory=1088 CPUtime=1.74 cores=0-3 /proc/31632/task/31642/stat : 31642 (java) S 31630 31630 29909 0 -1 1077944384 7590 0 0 0 173 1 0 0 20 0 19 0 474863592 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201282210672 140201818450562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31643] ppid=31630 vsize=15618132 memory=2832 CPUtime=1.74 cores=0-3 /proc/31632/task/31643/stat : 31643 (java) S 31630 31630 29909 0 -1 1077944384 4807 0 0 0 173 1 0 0 20 0 19 0 474863592 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201281157872 140201818450562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31644] ppid=31630 vsize=15618132 memory=1564 CPUtime=0.63 cores=0-3 /proc/31632/task/31644/stat : 31644 (java) S 31630 31630 29909 0 -1 1077944384 5844 0 0 0 62 1 0 0 20 0 19 0 474863592 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201280105072 140201818450562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31645] ppid=31630 vsize=15618132 memory=8560 CPUtime=0 cores=0-3 /proc/31632/task/31645/stat : 31645 (java) S 31630 31630 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474863592 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201279052512 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31646] ppid=31630 vsize=15618132 memory=14004 CPUtime=0 cores=0-3 /proc/31632/task/31646/stat : 31646 (java) S 31630 31630 29909 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 19 0 474863592 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201277999792 140201818450562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31673] ppid=31630 vsize=15618132 memory=27112 CPUtime=11.76 cores=0-3 /proc/31632/task/31673/stat : 31673 (java) R 31630 31630 29909 0 -1 4202560 331 0 0 0 1176 0 0 0 20 0 19 0 474863732 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201263754152 140201443624293 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31674] ppid=31630 vsize=15618132 memory=14068 CPUtime=11.62 cores=0-3 /proc/31632/task/31674/stat : 31674 (java) R 31630 31630 29909 0 -1 4202560 898 0 0 0 1162 0 0 0 20 0 19 0 474863732 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201269019288 140201443624223 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31675] ppid=31630 vsize=15618132 memory=2120 CPUtime=11.52 cores=0-3 /proc/31632/task/31675/stat : 31675 (java) R 31630 31630 29909 0 -1 4202560 651 0 0 0 1152 0 0 0 20 0 19 0 474863732 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201261649424 140201444479136 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31676] ppid=31630 vsize=15618132 memory=496 CPUtime=11.55 cores=0-3 /proc/31632/task/31676/stat : 31676 (java) R 31630 31630 29909 0 -1 4202560 355 0 0 0 1155 0 0 0 20 0 19 0 474863733 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201262703032 140201443624562 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 Current children cumulated CPU time: 53.62 s Current children cumulated vsize: 15731260 KiB Current children cumulated memory: 213572 KiB [startup+13.9011 s] /proc/loadavg: 8.07 7.54 6.05 9/237 31677 /proc/meminfo: memFree=8637120/32770688 swapFree=66971760/67108860 [pid=31630] ppid=31627 vsize=113128 memory=1448 CPUtime=0 cores=0-3 /proc/31630/stat : 31630 (xcsp3-exec) S 31627 31630 29909 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 474863585 115843072 362 33554432000 4194304 5098028 140727270884128 140727270882232 139711712830076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23359488 140727270888314 140727270888557 140727270888557 140727270891466 0 /proc/31630/statm: 28282 362 304 221 0 87 0 [pid=31632] ppid=31630 vsize=15618132 memory=212124 CPUtime=54.02 cores=0-3 /proc/31632/stat : 31632 (java) S 31630 31630 29909 0 -1 1077944320 33762 0 0 0 5391 11 0 0 20 0 19 0 474863586 15992967168 53031 33554432000 4194304 4196468 140730366699712 140730366682256 140201818439415 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 /proc/31632/statm: 3904533 53031 3515 1 0 3865633 0 [pid=31632/tid=31633] ppid=31630 vsize=15618132 memory=207720 CPUtime=0.59 cores=0-3 /proc/31632/task/31633/stat : 31633 (java) S 31630 31630 29909 0 -1 1077944384 9215 0 0 0 56 3 0 0 20 0 19 0 474863586 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201822680192 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31634] ppid=31630 vsize=15618132 memory=212124 CPUtime=0 cores=0-3 /proc/31632/task/31634/stat : 31634 (java) S 31630 31630 29909 0 -1 1077944384 186 0 0 0 0 0 0 0 20 0 19 0 474863587 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201771060368 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31635] ppid=31630 vsize=15618132 memory=7588994458034941074 CPUtime=0 cores=0-3 /proc/31632/task/31635/stat : 31635 (java) S 31630 31630 29909 0 -1 1077944384 454 0 0 0 0 0 0 0 20 0 19 0 474863587 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201770007568 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31636] ppid=31630 vsize=15618132 memory=1556 CPUtime=0 cores=0-3 /proc/31632/task/31636/stat : 31636 (java) S 31630 31630 29909 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 19 0 474863587 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201768954768 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31637] ppid=31630 vsize=15618132 memory=928 CPUtime=0 cores=0-3 /proc/31632/task/31637/stat : 31637 (java) S 31630 31630 29909 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 19 0 474863587 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201767901968 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31638] ppid=31630 vsize=15618132 memory=212096 CPUtime=0 cores=0-3 /proc/31632/task/31638/stat : 31638 (java) S 31630 31630 29909 0 -1 1077944384 525 0 0 0 0 0 0 0 20 0 19 0 474863588 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201286420848 140201818450562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31639] ppid=31630 vsize=15618132 memory=3612 CPUtime=0 cores=0-3 /proc/31632/task/31639/stat : 31639 (java) S 31630 31630 29909 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 474863589 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201285366880 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31640] ppid=31630 vsize=15618132 memory=53716 CPUtime=0 cores=0-3 /proc/31632/task/31640/stat : 31640 (java) S 31630 31630 29909 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 19 0 474863589 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201284313984 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31641] ppid=31630 vsize=15618132 memory=212072 CPUtime=0 cores=0-3 /proc/31632/task/31641/stat : 31641 (java) S 31630 31630 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474863592 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201283262288 140201818458011 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31642] ppid=31630 vsize=15618132 memory=197204 CPUtime=1.75 cores=0-3 /proc/31632/task/31642/stat : 31642 (java) S 31630 31630 29909 0 -1 1077944384 7594 0 0 0 174 1 0 0 20 0 19 0 474863592 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201282210672 140201818450562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31643] ppid=31630 vsize=15618132 memory=279566938178544 CPUtime=1.74 cores=0-3 /proc/31632/task/31643/stat : 31643 (java) S 31630 31630 29909 0 -1 1077944384 4807 0 0 0 173 1 0 0 20 0 19 0 474863592 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201281157872 140201818450562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31644] ppid=31630 vsize=15618132 memory=279566938456640 CPUtime=0.63 cores=0-3 /proc/31632/task/31644/stat : 31644 (java) S 31630 31630 29909 0 -1 1077944384 5844 0 0 0 62 1 0 0 20 0 19 0 474863592 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201280105072 140201818450562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31645] ppid=31630 vsize=15618132 memory=0 CPUtime=0 cores=0-3 /proc/31632/task/31645/stat : 31645 (java) S 31630 31630 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474863592 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201279052512 140201818449621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31646] ppid=31630 vsize=15618132 memory=6944652177228980320 CPUtime=0 cores=0-3 /proc/31632/task/31646/stat : 31646 (java) S 31630 31630 29909 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 19 0 474863592 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201277999792 140201818450562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31673] ppid=31630 vsize=15618132 memory=6944656592455360604 CPUtime=11.86 cores=0-3 /proc/31632/task/31673/stat : 31673 (java) R 31630 31630 29909 0 -1 4202560 331 0 0 0 1186 0 0 0 20 0 19 0 474863732 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201263754152 140201444989622 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31674] ppid=31630 vsize=15618132 memory=3612 CPUtime=11.71 cores=0-3 /proc/31632/task/31674/stat : 31674 (java) R 31630 31630 29909 0 -1 4202560 898 0 0 0 1171 0 0 0 20 0 19 0 474863732 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201269017064 140201443624193 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31675] ppid=31630 vsize=15618132 memory=6791534058613427641 CPUtime=11.62 cores=0-3 /proc/31632/task/31675/stat : 31675 (java) R 31630 31630 29909 0 -1 4202560 651 0 0 0 1162 0 0 0 20 0 19 0 474863732 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201261649424 140201443624254 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 [pid=31632/tid=31676] ppid=31630 vsize=15618132 memory=0 CPUtime=11.65 cores=0-3 /proc/31632/task/31676/stat : 31676 (java) R 31630 31630 29909 0 -1 4202560 355 0 0 0 1165 0 0 0 20 0 19 0 474863733 15992967168 53031 33554432000 4194304 4196468 140730366699712 140201262703032 140201443789702 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16265216 140730366702575 140730366702746 140730366702746 140730366705615 0 Current children cumulated CPU time: 54.02 s Current children cumulated vsize: 15731260 KiB Current children cumulated memory: 213572 KiB Child status: 0 Real time (s): 13.9239 CPU time (s): 54.1031 CPU user time (s): 53.9789 CPU system time (s): 0.124214 CPU usage (%): 388.563 Max. virtual memory (cumulated for all children) (KiB): 15731260 Max. memory (cumulated for all children) (KiB): 213572 getrusage(RUSAGE_CHILDREN,...) data: user time used= 53.9789 system time used= 0.124214 maximum resident set size= 212208 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34676 page faults= 0 swaps= 0 block input operations= 0 block output operations= 112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3384 involuntary context switches= 1784 # summary of solver processes directly reported to runsolver: # pid: 31630 # total CPU time (s): 54.1031 # total CPU user time (s): 53.9789 # total CPU system time (s): 0.124214 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.127846 second user time and 0.193255 second system time The end
Begin job on node116 at 2019-09-20 16:19:38 IDJOB=4403628 IDBENCH=123101 IDSOLVER=2863 FILE ID=node116/4403628-1568989220 RUNJOBID= node116-1568988007-29940 PBS_JOBID= 21704641 Free space on /tmp= 6256 MiB SOLVER NAME= choco-solver 2019-09-20 BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-esc16e.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4403628-1568989220/watcher-4403628-1568989220 -o /tmp/evaluation-result-4403628-1568989220/solver-4403628-1568989220 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568988007-29940 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1267854138 HOME/instance-4403628-1568989220.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9478703244e8f640224ac5c9e01083b8 RANDOM SEED=1267854138 node116.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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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: 32770688 kB MemFree: 8835276 kB MemAvailable: 23636908 kB Buffers: 95752 kB Cached: 14713744 kB SwapCached: 35348 kB Active: 13616072 kB Inactive: 9398992 kB Active(anon): 6288236 kB Inactive(anon): 1965612 kB Active(file): 7327836 kB Inactive(file): 7433380 kB Unevictable: 108548 kB Mlocked: 108548 kB SwapTotal: 67108860 kB SwapFree: 66971760 kB Dirty: 26400 kB Writeback: 4 kB AnonPages: 8279704 kB Mapped: 64752 kB Shmem: 39676 kB Slab: 498400 kB SReclaimable: 468876 kB SUnreclaim: 29524 kB KernelStack: 3792 kB PageTables: 21900 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 11350664 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 7604224 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 6232 MiB End job on node116 at 2019-09-20 16:19:52