Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-06-14 parallel | ? (TO) | 20043.4 | 2520.14 |
Name | SuperSolutions/SuperSolutions-Taillard-js20/ SuperTaillard-js-20-20.xml |
MD5SUM | bd4660d9f641dd45473fddd00af9a0d0 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 1437.98 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 800 |
Number of constraints | 12940 |
Number of domains | 96 |
Minimum domain size | 1599 |
Maximum domain size | 1697 |
Distribution of domain sizes | [{"size":1599,"count":10},{"size":1600,"count":4},{"size":1601,"count":16},{"size":1602,"count":2},{"size":1603,"count":6},{"size":1604,"count":8},{"size":1605,"count":6},{"size":1606,"count":6},{"size":1607,"count":6},{"size":1608,"count":16},{"size":1609,"count":6},{"size":1610,"count":6},{"size":1611,"count":8},{"size":1612,"count":24},{"size":1613,"count":6},{"size":1614,"count":8},{"size":1616,"count":8},{"size":1617,"count":14},{"size":1618,"count":6},{"size":1619,"count":8},{"size":1620,"count":6},{"size":1621,"count":8},{"size":1622,"count":10},{"size":1623,"count":8},{"size":1624,"count":10},"...",{"size":1672,"count":14}, {"size":1673,"count":4}, {"size":1674,"count":8}, {"size":1675,"count":4}, {"size":1676,"count":6}, {"size":1677,"count":8}, {"size":1678,"count":10}, {"size":1679,"count":8}, {"size":1680,"count":10}, {"size":1681,"count":14}, {"size":1682,"count":10}, {"size":1683,"count":14}, {"size":1684,"count":2}, {"size":1685,"count":10}, {"size":1686,"count":10}, {"size":1687,"count":10}, {"size":1688,"count":2}, {"size":1689,"count":16}, {"size":1690,"count":8}, {"size":1691,"count":8}, {"size":1693,"count":8}, {"size":1694,"count":8}, {"size":1695,"count":14}, {"size":1696,"count":10}, {"size":1697,"count":8}] |
Minimum variable degree | 21 |
Maximum variable degree | 43 |
Distribution of variable degrees | [{"degree":21,"count":40},{"degree":22,"count":360},{"degree":41,"count":40},{"degree":43,"count":360}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":12940}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 12940 |
Distribution of constraint types | [{"type":"intension","count":12940}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393759-1568442368.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4393759-1568442368.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 24.54/8.32 c solve instance... 20042.64/2520.07 s UNKNOWN 20042.64/2520.07 c Unexpected resolution interruption!
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 (14727 MiB free) memory of node 1: 16384 MiB (15172 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393759-1568442368/watcher-4393759-1568442368 -o /tmp/evaluation-result-4393759-1568442368/solver-4393759-1568442368 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568429735-21457 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1939621388 HOME/instance-4393759-1568442368.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=24708, runsolver pid=24705 Current StackSize limit: 8192 KiB [startup+0.100153 s]* /proc/loadavg: 7.03 6.22 6.52 3/211 24729 /proc/meminfo: memFree=30601096/32770624 swapFree=66997808/67108860 [pid=24708] ppid=24705 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/24708/stat : 24708 (xcsp3-exec) S 24705 24708 21430 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420491449 115843072 364 33554432000 4194304 5098028 140721549200416 140721549198520 139793178038908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31080448 140721549202293 140721549202537 140721549202537 140721549205450 0 /proc/24708/statm: 28282 364 306 221 0 87 0 [pid=24710] ppid=24708 vsize=28227388 memory=28656 CPUtime=0.12 cores=0-7 /proc/24710/stat : 24710 (java) S 24708 24708 21430 0 -1 1077944320 5647 0 0 0 11 1 0 0 20 0 20 0 420491449 28904845312 7164 33554432000 4194304 4196468 140731452339296 140731452321840 140471585480439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 /proc/24710/statm: 7056847 7164 3112 1 0 7019032 0 [pid=24710/tid=24711] ppid=24708 vsize=28227388 memory=576460756329955445 CPUtime=0.08 cores=0-7 /proc/24710/task/24711/stat : 24711 (java) R 24708 24708 21430 0 -1 4202560 3588 0 0 0 8 0 0 0 20 0 20 0 420491449 28904845312 7164 33554432000 4194304 4196468 140731452339296 140471589707040 140471585492374 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24712] ppid=24708 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24710/task/24712/stat : 24712 (java) S 24708 24708 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420491450 28904845312 7164 33554432000 4194304 4196468 140731452339296 140471538100624 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24713] ppid=24708 vsize=28227388 memory=139844828995270 CPUtime=0 cores=0-7 /proc/24710/task/24713/stat : 24713 (java) S 24708 24708 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420491450 28904845312 7164 33554432000 4194304 4196468 140731452339296 140471537047824 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24714] ppid=24708 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24710/task/24714/stat : 24714 (java) S 24708 24708 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420491450 28904845312 7164 33554432000 4194304 4196468 140731452339296 140471135230608 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24715] ppid=24708 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24710/task/24715/stat : 24715 (java) S 24708 24708 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420491450 28904845312 7164 33554432000 4194304 4196468 140731452339296 140471134177808 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24716] ppid=24708 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24710/task/24716/stat : 24716 (java) S 24708 24708 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420491450 28904845312 7164 33554432000 4194304 4196468 140731452339296 140471133125520 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24717] ppid=24708 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/24710/task/24717/stat : 24717 (java) S 24708 24708 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420491450 28904845312 7164 33554432000 4194304 4196468 140731452339296 140471132072720 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24718] ppid=24708 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24710/task/24718/stat : 24718 (java) S 24708 24708 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420491450 28904845312 7164 33554432000 4194304 4196468 140731452339296 140471131020432 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24719] ppid=24708 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24710/task/24719/stat : 24719 (java) S 24708 24708 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420491450 28904845312 7164 33554432000 4194304 4196468 140731452339296 140471129967632 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24720] ppid=24708 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24710/task/24720/stat : 24720 (java) S 24708 24708 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420491452 28904845312 7164 33554432000 4194304 4196468 140731452339296 140470701787248 140471585491586 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24721] ppid=24708 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24710/task/24721/stat : 24721 (java) S 24708 24708 21430 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420491452 28904845312 7164 33554432000 4194304 4196468 140731452339296 140470700733216 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24722] ppid=24708 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24710/task/24722/stat : 24722 (java) S 24708 24708 21430 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420491452 28904845312 7164 33554432000 4194304 4196468 140731452339296 140470699680880 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24723] ppid=24708 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24710/task/24723/stat : 24723 (java) S 24708 24708 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420491455 28904845312 7164 33554432000 4194304 4196468 140731452339296 140470698629200 140471585499035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24724] ppid=24708 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24710/task/24724/stat : 24724 (java) S 24708 24708 21430 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 420491455 28904845312 7164 33554432000 4194304 4196468 140731452339296 140470697577072 140471585491586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24725] ppid=24708 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24710/task/24725/stat : 24725 (java) S 24708 24708 21430 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 420491455 28904845312 7164 33554432000 4194304 4196468 140731452339296 140470696524272 140471585491586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24726] ppid=24708 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24710/task/24726/stat : 24726 (java) S 24708 24708 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420491455 28904845312 7164 33554432000 4194304 4196468 140731452339296 140470695471984 140471585491586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24727] ppid=24708 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/24710/task/24727/stat : 24727 (java) R 24708 24708 21430 0 -1 4202560 324 0 0 0 2 0 0 0 20 0 20 0 420491455 28904845312 7164 33554432000 4194304 4196468 140731452339296 140470694419184 140471577717566 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24728] ppid=24708 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24710/task/24728/stat : 24728 (java) S 24708 24708 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420491455 28904845312 7164 33554432000 4194304 4196468 140731452339296 140470693366112 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24729] ppid=24708 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/24710/task/24729/stat : 24729 (java) S 24708 24708 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420491455 28904845312 7164 33554432000 4194304 4196468 140731452339296 140470692313392 140471585491586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 30112 KiB [startup+0.210373 s]* /proc/loadavg: 7.03 6.22 6.52 3/211 24729 /proc/meminfo: memFree=30588860/32770624 swapFree=66997808/67108860 [pid=24708] ppid=24705 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/24708/stat : 24708 (xcsp3-exec) S 24705 24708 21430 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420491449 115843072 364 33554432000 4194304 5098028 140721549200416 140721549198520 139793178038908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31080448 140721549202293 140721549202537 140721549202537 140721549205450 0 /proc/24708/statm: 28282 364 306 221 0 87 0 [pid=24710] ppid=24708 vsize=28227388 memory=40252 CPUtime=0.33 cores=0-7 /proc/24710/stat : 24710 (java) S 24708 24708 21430 0 -1 1077944320 9342 0 0 0 30 3 0 0 20 0 20 0 420491449 28904845312 10063 33554432000 4194304 4196468 140731452339296 140731452321840 140471585480439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 /proc/24710/statm: 7056847 10063 3239 1 0 7019032 0 [pid=24710/tid=24711] ppid=24708 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/24710/task/24711/stat : 24711 (java) R 24708 24708 21430 0 -1 4202560 6568 0 0 0 18 2 0 0 20 0 20 0 420491449 28904845312 10063 33554432000 4194304 4196468 140731452339296 140471589712352 140471585492374 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24712] ppid=24708 vsize=28227388 memory=288230591823085922 CPUtime=0 cores=0-7 /proc/24710/task/24712/stat : 24712 (java) S 24708 24708 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420491450 28904845312 10063 33554432000 4194304 4196468 140731452339296 140471538100624 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24713] ppid=24708 vsize=28227388 memory=3473316968355964576 CPUtime=0 cores=0-7 /proc/24710/task/24713/stat : 24713 (java) S 24708 24708 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420491450 28904845312 10063 33554432000 4194304 4196468 140731452339296 140471537047824 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24714] ppid=24708 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/24710/task/24714/stat : 24714 (java) S 24708 24708 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420491450 28904845312 10063 33554432000 4194304 4196468 140731452339296 140471135230608 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24715] ppid=24708 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24710/task/24715/stat : 24715 (java) S 24708 24708 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420491450 28904845312 10063 33554432000 4194304 4196468 140731452339296 140471134177808 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24716] ppid=24708 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24710/task/24716/stat : 24716 (java) S 24708 24708 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420491450 28904845312 10063 33554432000 4194304 4196468 140731452339296 140471133125520 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24717] ppid=24708 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/24710/task/24717/stat : 24717 (java) S 24708 24708 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420491450 28904845312 10063 33554432000 4194304 4196468 140731452339296 140471132072720 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24718] ppid=24708 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24710/task/24718/stat : 24718 (java) S 24708 24708 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420491450 28904845312 10063 33554432000 4194304 4196468 140731452339296 140471131020432 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24719] ppid=24708 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24710/task/24719/stat : 24719 (java) S 24708 24708 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420491450 28904845312 10063 33554432000 4194304 4196468 140731452339296 140471129967632 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24720] ppid=24708 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24710/task/24720/stat : 24720 (java) S 24708 24708 21430 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420491452 28904845312 10063 33554432000 4194304 4196468 140731452339296 140470701787248 140471585491586 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24721] ppid=24708 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24710/task/24721/stat : 24721 (java) S 24708 24708 21430 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420491452 28904845312 10063 33554432000 4194304 4196468 140731452339296 140470700733216 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24722] ppid=24708 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24710/task/24722/stat : 24722 (java) S 24708 24708 21430 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420491452 28904845312 10063 33554432000 4194304 4196468 140731452339296 140470699680880 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24723] ppid=24708 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24710/task/24723/stat : 24723 (java) S 24708 24708 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420491455 28904845312 10063 33554432000 4194304 4196468 140731452339296 140470698629200 140471585499035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24724] ppid=24708 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/24710/task/24724/stat : 24724 (java) S 24708 24708 21430 0 -1 1077944384 344 0 0 0 1 0 0 0 20 0 20 0 420491455 28904845312 10063 33554432000 4194304 4196468 140731452339296 140470697577072 140471585491586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24725] ppid=24708 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/24710/task/24725/stat : 24725 (java) S 24708 24708 21430 0 -1 1077944384 252 0 0 0 2 0 0 0 20 0 20 0 420491455 28904845312 10063 33554432000 4194304 4196468 140731452339296 140470696524272 140471585491586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24726] ppid=24708 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/24710/task/24726/stat : 24726 (java) S 24708 24708 21430 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 420491455 28904845312 10063 33554432000 4194304 4196468 140731452339296 140470695472080 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24727] ppid=24708 vsize=28227388 memory=0 CPUtime=0.07 cores=0-7 /proc/24710/task/24727/stat : 24727 (java) R 24708 24708 21430 0 -1 4202560 817 0 0 0 7 0 0 0 20 0 20 0 420491455 28904845312 10063 33554432000 4194304 4196468 140731452339296 140470694419184 140471585492374 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24728] ppid=24708 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24710/task/24728/stat : 24728 (java) S 24708 24708 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420491455 28904845312 10063 33554432000 4194304 4196468 140731452339296 140470693366112 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24729] ppid=24708 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/24710/task/24729/stat : 24729 (java) S 24708 24708 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420491455 28904845312 10063 33554432000 4194304 4196468 140731452339296 140470692313392 140471585491586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 41708 KiB [startup+0.311418 s]* /proc/loadavg: 7.03 6.22 6.52 3/211 24729 /proc/meminfo: memFree=30581380/32770624 swapFree=66997808/67108860 [pid=24708] ppid=24705 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/24708/stat : 24708 (xcsp3-exec) S 24705 24708 21430 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420491449 115843072 364 33554432000 4194304 5098028 140721549200416 140721549198520 139793178038908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31080448 140721549202293 140721549202537 140721549202537 140721549205450 0 /proc/24708/statm: 28282 364 306 221 0 87 0 [pid=24710] ppid=24708 vsize=28231644 memory=49748 CPUtime=0.52 cores=0-7 /proc/24710/stat : 24710 (java) S 24708 24708 21430 0 -1 1077944320 10806 0 0 0 47 5 0 0 20 0 20 0 420491449 28909203456 12437 33554432000 4194304 4196468 140731452339296 140731452321840 140471585480439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 /proc/24710/statm: 7057911 12437 3367 1 0 7019032 0 [pid=24710/tid=24711] ppid=24708 vsize=28231644 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/24710/task/24711/stat : 24711 (java) R 24708 24708 21430 0 -1 4202560 7720 0 0 0 27 3 0 0 20 0 20 0 420491449 28909203456 12437 33554432000 4194304 4196468 140731452339296 140471589715768 140471569560926 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24712] ppid=24708 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/24710/task/24712/stat : 24712 (java) S 24708 24708 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420491450 28909203456 12437 33554432000 4194304 4196468 140731452339296 140471538100624 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24713] ppid=24708 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/24710/task/24713/stat : 24713 (java) S 24708 24708 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420491450 28909203456 12437 33554432000 4194304 4196468 140731452339296 140471537047824 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24714] ppid=24708 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/24710/task/24714/stat : 24714 (java) S 24708 24708 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420491450 28909203456 12437 33554432000 4194304 4196468 140731452339296 140471135230608 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24715] ppid=24708 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/24710/task/24715/stat : 24715 (java) S 24708 24708 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420491450 28909203456 12437 33554432000 4194304 4196468 140731452339296 140471134177808 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24716] ppid=24708 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/24710/task/24716/stat : 24716 (java) S 24708 24708 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420491450 28909203456 12437 33554432000 4194304 4196468 140731452339296 140471133125520 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24717] ppid=24708 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/24710/task/24717/stat : 24717 (java) S 24708 24708 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420491450 28909203456 12437 33554432000 4194304 4196468 140731452339296 140471132072720 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24718] ppid=24708 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/24710/task/24718/stat : 24718 (java) S 24708 24708 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420491450 28909203456 12437 33554432000 4194304 4196468 140731452339296 140471131020432 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24719] ppid=24708 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/24710/task/24719/stat : 24719 (java) S 24708 24708 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420491450 28909203456 12437 33554432000 4194304 4196468 140731452339296 140471129967632 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24720] ppid=24708 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/24710/task/24720/stat : 24720 (java) S 24708 24708 21430 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420491452 28909203456 12437 33554432000 4194304 4196468 140731452339296 140470701787248 140471585491586 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24721] ppid=24708 vsize=28231644 memory=279689344261504 CPUtime=0 cores=0-7 /proc/24710/task/24721/stat : 24721 (java) S 24708 24708 21430 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420491452 28909203456 12437 33554432000 4194304 4196468 140731452339296 140470700733216 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24722] ppid=24708 vsize=28231644 memory=279689344266112 CPUtime=0 cores=0-7 /proc/24710/task/24722/stat : 24722 (java) S 24708 24708 21430 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420491452 28909203456 12437 33554432000 4194304 4196468 140731452339296 140470699680880 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24723] ppid=24708 vsize=28231644 memory=279689344270720 CPUtime=0 cores=0-7 /proc/24710/task/24723/stat : 24723 (java) S 24708 24708 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420491455 28909203456 12437 33554432000 4194304 4196468 140731452339296 140470698629200 140471585499035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24724] ppid=24708 vsize=28231644 memory=279689344275328 CPUtime=0.02 cores=0-7 /proc/24710/task/24724/stat : 24724 (java) S 24708 24708 21430 0 -1 1077944384 357 0 0 0 2 0 0 0 20 0 20 0 420491455 28909203456 12437 33554432000 4194304 4196468 140731452339296 140470697577072 140471585491586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24725] ppid=24708 vsize=28231644 memory=279689344279936 CPUtime=0.04 cores=0-7 /proc/24710/task/24725/stat : 24725 (java) R 24708 24708 21430 0 -1 4202560 377 0 0 0 4 0 0 0 20 0 20 0 420491455 28909203456 12437 33554432000 4194304 4196468 140731452339296 140470696505288 140471570605818 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24726] ppid=24708 vsize=28231644 memory=279689344284544 CPUtime=0.02 cores=0-7 /proc/24710/task/24726/stat : 24726 (java) S 24708 24708 21430 0 -1 1077944384 76 0 0 0 2 0 0 0 20 0 20 0 420491455 28909203456 12437 33554432000 4194304 4196468 140731452339296 140470695471984 140471585491586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24727] ppid=24708 vsize=28231644 memory=279689344289152 CPUtime=0.11 cores=0-7 /proc/24710/task/24727/stat : 24727 (java) S 24708 24708 21430 0 -1 1077944384 971 0 0 0 11 0 0 0 20 0 20 0 420491455 28909203456 12437 33554432000 4194304 4196468 140731452339296 140470694419184 140471585491586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24728] ppid=24708 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/24710/task/24728/stat : 24728 (java) S 24708 24708 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420491455 28909203456 12437 33554432000 4194304 4196468 140731452339296 140470693366112 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24729] ppid=24708 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/24710/task/24729/stat : 24729 (java) S 24708 24708 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420491455 28909203456 12437 33554432000 4194304 4196468 140731452339296 140470692313392 140471585491586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51204 KiB [startup+0.701015 s] /proc/loadavg: 7.03 6.22 6.52 6/211 24729 /proc/meminfo: memFree=30555204/32770624 swapFree=66997808/67108860 [pid=24708] ppid=24705 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/24708/stat : 24708 (xcsp3-exec) S 24705 24708 21430 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420491449 115843072 364 33554432000 4194304 5098028 140721549200416 140721549198520 139793178038908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31080448 140721549202293 140721549202537 140721549202537 140721549205450 0 /proc/24708/statm: 28282 364 306 221 0 87 0 [pid=24710] ppid=24708 vsize=28233768 memory=125664 CPUtime=2.06 cores=0-7 /proc/24710/stat : 24710 (java) S 24708 24708 21430 0 -1 1077944320 16424 0 0 0 199 7 0 0 20 0 20 0 420491449 28911378432 31416 33554432000 4194304 4196468 140731452339296 140731452321840 140471585480439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 /proc/24710/statm: 7058442 31416 3446 1 0 7019544 0 [pid=24710/tid=24711] ppid=24708 vsize=28233768 memory=4580 CPUtime=0.68 cores=0-7 /proc/24710/task/24711/stat : 24711 (java) R 24708 24708 21430 0 -1 4202560 8373 0 0 0 63 5 0 0 20 0 20 0 420491449 28911378432 31416 33554432000 4194304 4196468 140731452339296 140471589719232 140471221194831 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24712] ppid=24708 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/24710/task/24712/stat : 24712 (java) S 24708 24708 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420491450 28911378432 31416 33554432000 4194304 4196468 140731452339296 140471538100624 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24713] ppid=24708 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/24710/task/24713/stat : 24713 (java) S 24708 24708 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420491450 28911378432 31416 33554432000 4194304 4196468 140731452339296 140471537047824 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24714] ppid=24708 vsize=28233768 memory=4008 CPUtime=0 cores=0-7 ################ # More data... # ################ /proc/meminfo: memFree=23961316/32770624 swapFree=66997824/67108860 [pid=24708] ppid=24705 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/24708/stat : 24708 (xcsp3-exec) S 24705 24708 21430 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420491449 115843072 364 33554432000 4194304 5098028 140721549200416 140721549198520 139793178038908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31080448 140721549202293 140721549202537 140721549202537 140721549205450 0 /proc/24708/statm: 28282 364 306 221 0 87 0 [pid=24710] ppid=24708 vsize=28768328 memory=6658036 CPUtime=19901.4 cores=0-7 /proc/24710/stat : 24710 (java) S 24708 24708 21430 0 -1 1077944320 2279080 0 0 0 1988061 2075 0 0 20 0 28 0 420491449 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140731452321840 140471585480439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 /proc/24710/statm: 7192082 1664509 3561 1 0 7153184 0 [pid=24710/tid=24711] ppid=24708 vsize=28768328 memory=6711408 CPUtime=7.23 cores=0-7 /proc/24710/task/24711/stat : 24711 (java) S 24708 24708 21430 0 -1 1077944384 13054 0 0 0 699 24 0 0 20 0 28 0 420491449 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140471589721216 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24712] ppid=24708 vsize=28768328 memory=-2893623298589923098 CPUtime=14.39 cores=0-7 /proc/24710/task/24712/stat : 24712 (java) S 24708 24708 21430 0 -1 1077944384 31954 0 0 0 1293 146 0 0 20 0 28 0 420491450 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140471538100624 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24713] ppid=24708 vsize=28768328 memory=6711408 CPUtime=14.29 cores=0-7 /proc/24710/task/24713/stat : 24713 (java) S 24708 24708 21430 0 -1 1077944384 44694 0 0 0 1285 144 0 0 20 0 28 0 420491450 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140471537047824 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24714] ppid=24708 vsize=28768328 memory=29879260182 CPUtime=14.34 cores=0-7 /proc/24710/task/24714/stat : 24714 (java) S 24708 24708 21430 0 -1 1077944384 41856 0 0 0 1291 143 0 0 20 0 28 0 420491450 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140471135230608 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24715] ppid=24708 vsize=28768328 memory=279689345885312 CPUtime=14.31 cores=0-7 /proc/24710/task/24715/stat : 24715 (java) S 24708 24708 21430 0 -1 1077944384 46809 0 0 0 1291 140 0 0 20 0 28 0 420491450 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140471134177808 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24716] ppid=24708 vsize=28768328 memory=-7886167514736700194 CPUtime=14.36 cores=0-7 /proc/24710/task/24716/stat : 24716 (java) S 24708 24708 21430 0 -1 1077944384 40143 0 0 0 1300 136 0 0 20 0 28 0 420491450 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140471133125520 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24717] ppid=24708 vsize=28768328 memory=6711408 CPUtime=14.19 cores=0-7 /proc/24710/task/24717/stat : 24717 (java) S 24708 24708 21430 0 -1 1077944384 40571 0 0 0 1294 125 0 0 20 0 28 0 420491450 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140471132072720 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24718] ppid=24708 vsize=28768328 memory=1456 CPUtime=14.31 cores=0-7 /proc/24710/task/24718/stat : 24718 (java) S 24708 24708 21430 0 -1 1077944384 43504 0 0 0 1296 135 0 0 20 0 28 0 420491450 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140471131020432 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24719] ppid=24708 vsize=28768328 memory=1456 CPUtime=14.38 cores=0-7 /proc/24710/task/24719/stat : 24719 (java) S 24708 24708 21430 0 -1 1077944384 44723 0 0 0 1292 146 0 0 20 0 28 0 420491450 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140471129967632 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24720] ppid=24708 vsize=28768328 memory=6769900 CPUtime=2.07 cores=0-7 /proc/24710/task/24720/stat : 24720 (java) S 24708 24708 21430 0 -1 1077944384 26457 0 0 0 185 22 0 0 20 0 28 0 420491452 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140470701787248 140471585491586 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24721] ppid=24708 vsize=28768328 memory=6711408 CPUtime=0 cores=0-7 /proc/24710/task/24721/stat : 24721 (java) S 24708 24708 21430 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 420491452 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140470700733280 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24722] ppid=24708 vsize=28768328 memory=6769900 CPUtime=0 cores=0-7 /proc/24710/task/24722/stat : 24722 (java) S 24708 24708 21430 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 28 0 420491452 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140470699680896 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24723] ppid=24708 vsize=28768328 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/24710/task/24723/stat : 24723 (java) S 24708 24708 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420491455 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140470698629200 140471585499035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24724] ppid=24708 vsize=28768328 memory=288230617509003574 CPUtime=6.18 cores=0-7 /proc/24710/task/24724/stat : 24724 (java) S 24708 24708 21430 0 -1 1077944384 47368 0 0 0 612 6 0 0 20 0 28 0 420491455 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140470697577072 140471585491586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24725] ppid=24708 vsize=28768328 memory=15252636593031516 CPUtime=5.51 cores=0-7 /proc/24710/task/24725/stat : 24725 (java) S 24708 24708 21430 0 -1 1077944384 40842 0 0 0 544 7 0 0 20 0 28 0 420491455 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140470696524272 140471585491586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24726] ppid=24708 vsize=28768328 memory=6711408 CPUtime=6.15 cores=0-7 /proc/24710/task/24726/stat : 24726 (java) S 24708 24708 21430 0 -1 1077944384 46042 0 0 0 605 10 0 0 20 0 28 0 420491455 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140470695471984 140471585491586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24727] ppid=24708 vsize=28768328 memory=723 CPUtime=1.45 cores=0-7 /proc/24710/task/24727/stat : 24727 (java) S 24708 24708 21430 0 -1 1077944384 27718 0 0 0 139 6 0 0 20 0 28 0 420491455 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140470694419184 140471585491586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24728] ppid=24708 vsize=28768328 memory=3624 CPUtime=0 cores=0-7 /proc/24710/task/24728/stat : 24728 (java) S 24708 24708 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420491455 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140470693366112 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24729] ppid=24708 vsize=28768328 memory=1456 CPUtime=1.22 cores=0-7 /proc/24710/task/24729/stat : 24729 (java) S 24708 24708 21430 0 -1 1077944384 3373 0 0 0 61 61 0 0 20 0 28 0 420491455 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140470692313392 140471585491586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 38 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24731] ppid=24708 vsize=28768328 memory=6658036 CPUtime=2474.29 cores=0-7 /proc/24710/task/24731/stat : 24731 (java) R 24708 24708 21430 0 -1 4202560 243283 0 0 0 247339 90 0 0 20 0 28 0 420492310 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140470681004648 140471220536862 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24732] ppid=24708 vsize=28768328 memory=2116 CPUtime=2458.38 cores=0-7 /proc/24710/task/24732/stat : 24732 (java) R 24708 24708 21430 0 -1 4202560 87651 0 0 0 245774 64 0 0 20 0 28 0 420492310 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140470679953080 140471228129244 0 4 0 16800975 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24733] ppid=24708 vsize=28768328 memory=1456 CPUtime=2466.49 cores=0-7 /proc/24710/task/24733/stat : 24733 (java) R 24708 24708 21430 0 -1 4202560 361029 0 0 0 246469 180 0 0 20 0 28 0 420492310 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140470678900792 140471225126029 0 4 0 16800975 0 0 0 -1 5 0 0 13 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24734] ppid=24708 vsize=28768328 memory=6711408 CPUtime=2475.44 cores=0-7 /proc/24710/task/24734/stat : 24734 (java) R 24708 24708 21430 0 -1 4202560 236876 0 0 0 247371 173 0 0 20 0 28 0 420492310 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140470677847832 140471219497518 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24735] ppid=24708 vsize=28768328 memory=1548 CPUtime=2474.9 cores=0-7 /proc/24710/task/24735/stat : 24735 (java) R 24708 24708 21430 0 -1 4202560 228306 0 0 0 247380 110 0 0 20 0 28 0 420492310 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140470676795744 140471220049491 0 4 0 16800975 0 0 0 -1 4 0 0 10 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24736] ppid=24708 vsize=28768328 memory=628 CPUtime=2475.05 cores=0-7 /proc/24710/task/24736/stat : 24736 (java) R 24708 24708 21430 0 -1 4202560 283834 0 0 0 247420 85 0 0 20 0 28 0 420492310 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140470675742872 140471220049642 0 4 0 16800975 0 0 0 -1 6 0 0 11 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24737] ppid=24708 vsize=28768328 memory=6711408 CPUtime=2468.28 cores=0-7 /proc/24710/task/24737/stat : 24737 (java) R 24708 24708 21430 0 -1 4202560 116937 0 0 0 246754 74 0 0 20 0 28 0 420492310 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140470674690152 140471220536577 0 4 0 16800975 0 0 0 -1 3 0 0 14 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24738] ppid=24708 vsize=28768328 memory=6658036 CPUtime=2463.91 cores=0-7 /proc/24710/task/24738/stat : 24738 (java) R 24708 24708 21430 0 -1 4202560 180565 0 0 0 246291 100 0 0 20 0 28 0 420492310 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140470673639632 140471220536577 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 Current children cumulated CPU time: 19901.4 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 6659492 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.67 8.35 8.18 9/218 24948 /proc/meminfo: memFree=23961296/32770624 swapFree=66997824/67108860 [pid=24708] ppid=24705 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/24708/stat : 24708 (xcsp3-exec) S 24705 24708 21430 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420491449 115843072 364 33554432000 4194304 5098028 140721549200416 140721549198520 139793178038908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31080448 140721549202293 140721549202537 140721549202537 140721549205450 0 /proc/24708/statm: 28282 364 306 221 0 87 0 [pid=24710] ppid=24708 vsize=28768328 memory=6658036 CPUtime=20042.6 cores=0-7 /proc/24710/stat : 24710 (java) S 24708 24708 21430 0 -1 1077944320 2282613 0 0 0 2002187 2077 0 0 20 0 28 0 420491449 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140731452321840 140471585480439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 /proc/24710/statm: 7192082 1664509 3561 1 0 7153184 0 [pid=24710/tid=24711] ppid=24708 vsize=28768328 memory=6658036 CPUtime=7.23 cores=0-7 /proc/24710/task/24711/stat : 24711 (java) S 24708 24708 21430 0 -1 1077944384 13054 0 0 0 699 24 0 0 20 0 28 0 420491449 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140471589721216 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24712] ppid=24708 vsize=28768328 memory=8317482817917895235 CPUtime=14.39 cores=0-7 /proc/24710/task/24712/stat : 24712 (java) S 24708 24708 21430 0 -1 1077944384 31954 0 0 0 1293 146 0 0 20 0 28 0 420491450 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140471538100624 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24713] ppid=24708 vsize=28768328 memory=1380 CPUtime=14.29 cores=0-7 /proc/24710/task/24713/stat : 24713 (java) S 24708 24708 21430 0 -1 1077944384 44694 0 0 0 1285 144 0 0 20 0 28 0 420491450 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140471537047824 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24714] ppid=24708 vsize=28768328 memory=1128 CPUtime=14.34 cores=0-7 /proc/24710/task/24714/stat : 24714 (java) S 24708 24708 21430 0 -1 1077944384 41856 0 0 0 1291 143 0 0 20 0 28 0 420491450 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140471135230608 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24715] ppid=24708 vsize=28768328 memory=772 CPUtime=14.31 cores=0-7 /proc/24710/task/24715/stat : 24715 (java) S 24708 24708 21430 0 -1 1077944384 46809 0 0 0 1291 140 0 0 20 0 28 0 420491450 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140471134177808 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24716] ppid=24708 vsize=28768328 memory=4008 CPUtime=14.36 cores=0-7 /proc/24710/task/24716/stat : 24716 (java) S 24708 24708 21430 0 -1 1077944384 40143 0 0 0 1300 136 0 0 20 0 28 0 420491450 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140471133125520 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24717] ppid=24708 vsize=28768328 memory=948 CPUtime=14.19 cores=0-7 /proc/24710/task/24717/stat : 24717 (java) S 24708 24708 21430 0 -1 1077944384 40571 0 0 0 1294 125 0 0 20 0 28 0 420491450 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140471132072720 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24718] ppid=24708 vsize=28768328 memory=2832 CPUtime=14.31 cores=0-7 /proc/24710/task/24718/stat : 24718 (java) S 24708 24708 21430 0 -1 1077944384 43504 0 0 0 1296 135 0 0 20 0 28 0 420491450 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140471131020432 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24719] ppid=24708 vsize=28768328 memory=9404 CPUtime=14.38 cores=0-7 /proc/24710/task/24719/stat : 24719 (java) S 24708 24708 21430 0 -1 1077944384 44723 0 0 0 1292 146 0 0 20 0 28 0 420491450 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140471129967632 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24720] ppid=24708 vsize=28768328 memory=1548 CPUtime=2.08 cores=0-7 /proc/24710/task/24720/stat : 24720 (java) S 24708 24708 21430 0 -1 1077944384 26457 0 0 0 186 22 0 0 20 0 28 0 420491452 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140470701787248 140471585491586 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24721] ppid=24708 vsize=28768328 memory=628 CPUtime=0 cores=0-7 /proc/24710/task/24721/stat : 24721 (java) S 24708 24708 21430 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 420491452 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140470700733280 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24722] ppid=24708 vsize=28768328 memory=1056 CPUtime=0 cores=0-7 /proc/24710/task/24722/stat : 24722 (java) S 24708 24708 21430 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 28 0 420491452 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140470699680896 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24723] ppid=24708 vsize=28768328 memory=1556 CPUtime=0 cores=0-7 /proc/24710/task/24723/stat : 24723 (java) S 24708 24708 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420491455 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140470698629200 140471585499035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24724] ppid=24708 vsize=28768328 memory=2552 CPUtime=6.18 cores=0-7 /proc/24710/task/24724/stat : 24724 (java) S 24708 24708 21430 0 -1 1077944384 47368 0 0 0 612 6 0 0 20 0 28 0 420491455 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140470697577072 140471585491586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24725] ppid=24708 vsize=28768328 memory=1760 CPUtime=5.51 cores=0-7 /proc/24710/task/24725/stat : 24725 (java) S 24708 24708 21430 0 -1 1077944384 40842 0 0 0 544 7 0 0 20 0 28 0 420491455 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140470696524272 140471585491586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24726] ppid=24708 vsize=28768328 memory=111632 CPUtime=6.15 cores=0-7 /proc/24710/task/24726/stat : 24726 (java) S 24708 24708 21430 0 -1 1077944384 46672 0 0 0 605 10 0 0 20 0 28 0 420491455 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140470695471984 140471585491586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24727] ppid=24708 vsize=28768328 memory=800 CPUtime=1.45 cores=0-7 /proc/24710/task/24727/stat : 24727 (java) S 24708 24708 21430 0 -1 1077944384 27718 0 0 0 139 6 0 0 20 0 28 0 420491455 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140470694419184 140471585491586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24728] ppid=24708 vsize=28768328 memory=1808 CPUtime=0 cores=0-7 /proc/24710/task/24728/stat : 24728 (java) S 24708 24708 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420491455 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140470693366112 140471585490645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24729] ppid=24708 vsize=28768328 memory=920 CPUtime=1.22 cores=0-7 /proc/24710/task/24729/stat : 24729 (java) S 24708 24708 21430 0 -1 1077944384 3401 0 0 0 61 61 0 0 20 0 28 0 420491455 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140470692313392 140471585491586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 38 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24731] ppid=24708 vsize=28768328 memory=4744 CPUtime=2491.99 cores=0-7 /proc/24710/task/24731/stat : 24731 (java) R 24708 24708 21430 0 -1 4202560 243491 0 0 0 249109 90 0 0 20 0 28 0 420492310 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140470681004648 140471221551690 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24732] ppid=24708 vsize=28768328 memory=4096 CPUtime=2475.72 cores=0-7 /proc/24710/task/24732/stat : 24732 (java) R 24708 24708 21430 0 -1 4202560 87853 0 0 0 247508 64 0 0 20 0 28 0 420492310 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140470679953080 140471225126472 0 4 0 16800975 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24733] ppid=24708 vsize=28768328 memory=1412 CPUtime=2484.19 cores=0-7 /proc/24710/task/24733/stat : 24733 (java) R 24708 24708 21430 0 -1 4202560 361338 0 0 0 248239 180 0 0 20 0 28 0 420492310 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140470678900792 140471221483050 0 4 0 16800975 0 0 0 -1 5 0 0 13 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24734] ppid=24708 vsize=28768328 memory=3780 CPUtime=2493.16 cores=0-7 /proc/24710/task/24734/stat : 24734 (java) R 24708 24708 21430 0 -1 4202560 238147 0 0 0 249141 175 0 0 20 0 28 0 420492310 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140470677848328 140471223573648 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24735] ppid=24708 vsize=28768328 memory=1456 CPUtime=2492.61 cores=0-7 /proc/24710/task/24735/stat : 24735 (java) R 24708 24708 21430 0 -1 4202560 228408 0 0 0 249151 110 0 0 20 0 28 0 420492310 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140470676795744 140471223241073 0 4 0 16800975 0 0 0 -1 4 0 0 10 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24736] ppid=24708 vsize=28768328 memory=1456 CPUtime=2492.76 cores=0-7 /proc/24710/task/24736/stat : 24736 (java) R 24708 24708 21430 0 -1 4202560 284064 0 0 0 249191 85 0 0 20 0 28 0 420492310 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140470675742872 140471228129197 0 4 0 16800975 0 0 0 -1 6 0 0 11 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24737] ppid=24708 vsize=28768328 memory=1456 CPUtime=2485.99 cores=0-7 /proc/24710/task/24737/stat : 24737 (java) R 24708 24708 21430 0 -1 4202560 117244 0 0 0 248525 74 0 0 20 0 28 0 420492310 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140470674690152 140471228129371 0 4 0 16800975 0 0 0 -1 3 0 0 14 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 [pid=24710/tid=24738] ppid=24708 vsize=28768328 memory=8317482817917895235 CPUtime=2481.6 cores=0-7 /proc/24710/task/24738/stat : 24738 (java) R 24708 24708 21430 0 -1 4202560 180811 0 0 0 248060 100 0 0 20 0 28 0 420492310 29458767872 1664509 33554432000 4194304 4196468 140731452339296 140470673639632 140471228129529 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 31068160 140731452347370 140731452347542 140731452347542 140731452350415 0 Current children cumulated CPU time: 20042.6 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 6659492 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.04 s] # the end of solver process 24708 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001203 s, system=0.001203 s [startup+2520.14 s] # the end of solver process 24710 was just reported to runsolver # cumulated CPU time of all completed processes: user=20022.6 s, system=20.8182 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2520.13 s]* /proc/loadavg: 8.67 8.35 8.18 2/191 24950 /proc/meminfo: memFree=30397132/32770624 swapFree=66997824/67108860 Current cumulated CPU time of completed processes: 0.002406 s Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 143 Real time (s): 2520.14 CPU time (s): 20043.4 CPU user time (s): 20022.6 CPU system time (s): 20.8182 CPU usage (%): 795.328 Max. virtual memory (cumulated for all children) (KiB): 28881456 Max. memory (cumulated for all children) (KiB): 7036824 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20022.6 system time used= 20.8182 maximum resident set size= 7035496 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2284121 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2752 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 74413 involuntary context switches= 210972 # summary of solver processes directly reported to runsolver: # pid: 24708,24710 # total CPU time (s): 20043.4 # total CPU user time (s): 20022.6 # total CPU system time (s): 20.8182 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 19.9332 second user time and 32.0056 second system time The end
Begin job on node106 at 2019-09-14 07:24:51 IDJOB=4393759 IDBENCH=138647 IDSOLVER=2841 FILE ID=node106/4393759-1568442368 RUNJOBID= node106-1568429735-21457 PBS_JOBID= 21702316 Free space on /tmp= 59112 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-js20/SuperTaillard-js-20-20.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-4393759-1568442368/watcher-4393759-1568442368 -o /tmp/evaluation-result-4393759-1568442368/solver-4393759-1568442368 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568429735-21457 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1939621388 HOME/instance-4393759-1568442368.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= bd4660d9f641dd45473fddd00af9a0d0 RANDOM SEED=1939621388 node106.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.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30616652 kB MemAvailable: 31897856 kB Buffers: 189572 kB Cached: 1372744 kB SwapCached: 9288 kB Active: 491544 kB Inactive: 1086448 kB Active(anon): 15032 kB Inactive(anon): 34988 kB Active(file): 476512 kB Inactive(file): 1051460 kB Unevictable: 106756 kB Mlocked: 106756 kB SwapTotal: 67108860 kB SwapFree: 66997808 kB Dirty: 26324 kB Writeback: 0 kB AnonPages: 164460 kB Mapped: 38480 kB Shmem: 25424 kB Slab: 167436 kB SReclaimable: 138132 kB SUnreclaim: 29304 kB KernelStack: 3824 kB PageTables: 5728 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 490320 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 120832 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 59088 MiB End job on node106 at 2019-09-14 08:06:51