Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-20 | UNSAT | 7.08958 | 2.17594 |
Name | KnightTour/KnightTour-ext-s1/ KnightTour-17-ext02.xml |
MD5SUM | e012389e7b96b23a2cd1273ccb482cfe |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.030643 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 289 |
Number of constraints | 291 |
Number of domains | 1 |
Minimum domain size | 289 |
Maximum domain size | 289 |
Distribution of domain sizes | [{"size":289,"count":289}] |
Minimum variable degree | 2 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":2,"count":287},{"degree":3,"count":2}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 289 |
Distribution of constraint arities | [{"arity":2,"count":290},{"arity":289,"count":1}] |
Number of extensional constraints | 289 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":289},{"type":"allDifferent","count":1},{"type":"instantiation","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4403455-1568991981.xml" -tl '2520s' -p 4 0.11/0.19 c Choco 3fb4b153 0.11/0.20 c [HOME/instance-4403455-1568991981.xml, -tl, 2520s, -p, 4] 0.33/0.24 c 4 solvers in parallel 0.33/0.31 c parse instance... 2.52/1.01 c solve instance... 6.89/2.15 s UNSATISFIABLE
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 (11434 MiB free) memory of node 1: 16384 MiB (5268 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403455-1568991981/watcher-4403455-1568991981 -o /tmp/evaluation-result-4403455-1568991981/solver-4403455-1568991981 -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 1469664871 HOME/instance-4403455-1568991981.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 solver pid=2231, runsolver pid=2228 Current StackSize limit: 8192 KiB [startup+0.100128 s]* /proc/loadavg: 7.37 8.26 8.11 3/229 2247 /proc/meminfo: memFree=17088076/32770688 swapFree=66971764/67108860 [pid=2231] ppid=2228 vsize=113128 memory=1452 CPUtime=0 cores=0-3 /proc/2231/stat : 2231 (xcsp3-exec) S 2228 2231 29909 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475139754 115843072 363 33554432000 4194304 5098028 140725384823968 140725384822072 140092948107900 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 19558400 140725384827770 140725384828013 140725384828013 140725384830922 0 /proc/2231/statm: 28282 363 304 221 0 87 0 [pid=2233] ppid=2231 vsize=15144776 memory=29380 CPUtime=0.11 cores=0-3 /proc/2233/stat : 2233 (java) S 2231 2231 29909 0 -1 1077944320 5726 0 0 0 10 1 0 0 20 0 15 0 475139754 15508250624 7345 33554432000 4194304 4196468 140731281353664 140731281336208 139765259534071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 /proc/2233/statm: 3786194 7345 3152 1 0 3748377 0 [pid=2233/tid=2234] ppid=2231 vsize=15144776 memory=7031125463459224206 CPUtime=0.09 cores=0-3 /proc/2233/task/2234/stat : 2234 (java) R 2231 2231 29909 0 -1 4202560 3655 0 0 0 8 1 0 0 20 0 15 0 475139755 15508250624 7345 33554432000 4194304 4196468 140731281353664 139765263760416 139765259555997 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2235] ppid=2231 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=0-3 /proc/2233/task/2235/stat : 2235 (java) S 2231 2231 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475139755 15508250624 7345 33554432000 4194304 4196468 140731281353664 139764851465232 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2236] ppid=2231 vsize=15144776 memory=140388085065344 CPUtime=0 cores=0-3 /proc/2233/task/2236/stat : 2236 (java) S 2231 2231 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475139755 15508250624 7345 33554432000 4194304 4196468 140731281353664 139764850412688 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2237] ppid=2231 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/2233/task/2237/stat : 2237 (java) S 2231 2231 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475139755 15508250624 7345 33554432000 4194304 4196468 140731281353664 139764849359632 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2238] ppid=2231 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/2233/task/2238/stat : 2238 (java) S 2231 2231 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475139755 15508250624 7345 33554432000 4194304 4196468 140731281353664 139764848307088 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2239] ppid=2231 vsize=15144776 memory=140388085065344 CPUtime=0 cores=0-3 /proc/2233/task/2239/stat : 2239 (java) S 2231 2231 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475139757 15508250624 7345 33554432000 4194304 4196468 140731281353664 139764727638256 139765259545218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2240] ppid=2231 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/2233/task/2240/stat : 2240 (java) S 2231 2231 29909 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475139757 15508250624 7345 33554432000 4194304 4196468 140731281353664 139764726584480 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2241] ppid=2231 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/2233/task/2241/stat : 2241 (java) S 2231 2231 29909 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475139758 15508250624 7345 33554432000 4194304 4196468 140731281353664 139764725531376 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2242] ppid=2231 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/2233/task/2242/stat : 2242 (java) S 2231 2231 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475139760 15508250624 7345 33554432000 4194304 4196468 140731281353664 139764724479952 139765259552667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2243] ppid=2231 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/2233/task/2243/stat : 2243 (java) S 2231 2231 29909 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 475139760 15508250624 7345 33554432000 4194304 4196468 140731281353664 139764723428080 139765259545218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2244] ppid=2231 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/2233/task/2244/stat : 2244 (java) S 2231 2231 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475139760 15508250624 7345 33554432000 4194304 4196468 140731281353664 139764722375536 139765259545218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2245] ppid=2231 vsize=15144776 memory=140388085065344 CPUtime=0.01 cores=0-3 /proc/2233/task/2245/stat : 2245 (java) R 2231 2231 29909 0 -1 4202560 352 0 0 0 1 0 0 0 20 0 15 0 475139760 15508250624 7345 33554432000 4194304 4196468 140731281353664 139764721322480 139765259555418 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2246] ppid=2231 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/2233/task/2246/stat : 2246 (java) S 2231 2231 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475139761 15508250624 7345 33554432000 4194304 4196468 140731281353664 139764720270176 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2247] ppid=2231 vsize=15144776 memory=140388085065344 CPUtime=0 cores=0-3 /proc/2233/task/2247/stat : 2247 (java) S 2231 2231 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475139761 15508250624 7345 33554432000 4194304 4196468 140731281353664 139764719217200 139765259545218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 15257904 KiB Current children cumulated memory: 30832 KiB [startup+0.211246 s]* /proc/loadavg: 7.37 8.26 8.11 3/229 2247 /proc/meminfo: memFree=17074688/32770688 swapFree=66971764/67108860 [pid=2231] ppid=2228 vsize=113128 memory=1452 CPUtime=0 cores=0-3 /proc/2231/stat : 2231 (xcsp3-exec) S 2228 2231 29909 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475139754 115843072 363 33554432000 4194304 5098028 140725384823968 140725384822072 140092948107900 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 19558400 140725384827770 140725384828013 140725384828013 140725384830922 0 /proc/2231/statm: 28282 363 304 221 0 87 0 [pid=2233] ppid=2231 vsize=15144776 memory=40528 CPUtime=0.33 cores=0-3 /proc/2233/stat : 2233 (java) S 2231 2231 29909 0 -1 1077944320 9363 0 0 0 30 3 0 0 20 0 15 0 475139754 15508250624 10132 33554432000 4194304 4196468 140731281353664 140731281336208 139765259534071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 /proc/2233/statm: 3786194 10132 3287 1 0 3748377 0 [pid=2233/tid=2234] ppid=2231 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=0-3 /proc/2233/task/2234/stat : 2234 (java) R 2231 2231 29909 0 -1 4202560 6579 0 0 0 18 2 0 0 20 0 15 0 475139755 15508250624 10197 33554432000 4194304 4196468 140731281353664 139765263770512 139765259546006 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2235] ppid=2231 vsize=15144776 memory=4294976394 CPUtime=0 cores=0-3 /proc/2233/task/2235/stat : 2235 (java) S 2231 2231 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475139755 15508250624 10197 33554432000 4194304 4196468 140731281353664 139764851465232 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2236] ppid=2231 vsize=15144776 memory=3617428327414163104 CPUtime=0 cores=0-3 /proc/2233/task/2236/stat : 2236 (java) S 2231 2231 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475139755 15508250624 10197 33554432000 4194304 4196468 140731281353664 139764850412688 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2237] ppid=2231 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/2233/task/2237/stat : 2237 (java) S 2231 2231 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475139755 15508250624 10197 33554432000 4194304 4196468 140731281353664 139764849359632 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2238] ppid=2231 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/2233/task/2238/stat : 2238 (java) S 2231 2231 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475139755 15508250624 10197 33554432000 4194304 4196468 140731281353664 139764848307088 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2239] ppid=2231 vsize=15144776 memory=140388085065344 CPUtime=0 cores=0-3 /proc/2233/task/2239/stat : 2239 (java) S 2231 2231 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475139757 15508250624 10197 33554432000 4194304 4196468 140731281353664 139764727638256 139765259545218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2240] ppid=2231 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/2233/task/2240/stat : 2240 (java) S 2231 2231 29909 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475139757 15508250624 10197 33554432000 4194304 4196468 140731281353664 139764726584480 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2241] ppid=2231 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/2233/task/2241/stat : 2241 (java) S 2231 2231 29909 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475139758 15508250624 10197 33554432000 4194304 4196468 140731281353664 139764725531376 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2242] ppid=2231 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/2233/task/2242/stat : 2242 (java) S 2231 2231 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475139760 15508250624 10197 33554432000 4194304 4196468 140731281353664 139764724479952 139765259552667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2243] ppid=2231 vsize=15144776 memory=0 CPUtime=0.01 cores=0-3 /proc/2233/task/2243/stat : 2243 (java) S 2231 2231 29909 0 -1 1077944384 425 0 0 0 1 0 0 0 20 0 15 0 475139760 15508250624 10197 33554432000 4194304 4196468 140731281353664 139764723428080 139765259545218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2244] ppid=2231 vsize=15144776 memory=-1 CPUtime=0.03 cores=0-3 /proc/2233/task/2244/stat : 2244 (java) S 2231 2231 29909 0 -1 1077944384 307 0 0 0 3 0 0 0 20 0 15 0 475139760 15508250624 10197 33554432000 4194304 4196468 140731281353664 139764722375536 139765259545218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2245] ppid=2231 vsize=15144776 memory=140388085065344 CPUtime=0.07 cores=0-3 /proc/2233/task/2245/stat : 2245 (java) R 2231 2231 29909 0 -1 4202560 752 0 0 0 7 0 0 0 20 0 15 0 475139760 15508250624 10197 33554432000 4194304 4196468 140731281353664 139764721322480 139765251551666 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2246] ppid=2231 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/2233/task/2246/stat : 2246 (java) S 2231 2231 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475139761 15508250624 10197 33554432000 4194304 4196468 140731281353664 139764720270176 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2247] ppid=2231 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/2233/task/2247/stat : 2247 (java) S 2231 2231 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475139761 15508250624 10197 33554432000 4194304 4196468 140731281353664 139764719217200 139765259545218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 15257904 KiB Current children cumulated memory: 41980 KiB [startup+0.311445 s]* /proc/loadavg: 7.37 8.26 8.11 3/229 2247 /proc/meminfo: memFree=17069476/32770688 swapFree=66971764/67108860 [pid=2231] ppid=2228 vsize=113128 memory=1452 CPUtime=0 cores=0-3 /proc/2231/stat : 2231 (xcsp3-exec) S 2228 2231 29909 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475139754 115843072 363 33554432000 4194304 5098028 140725384823968 140725384822072 140092948107900 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 19558400 140725384827770 140725384828013 140725384828013 140725384830922 0 /proc/2231/statm: 28282 363 304 221 0 87 0 [pid=2233] ppid=2231 vsize=15149032 memory=46724 CPUtime=0.51 cores=0-3 /proc/2233/stat : 2233 (java) S 2231 2231 29909 0 -1 1077944320 10517 0 0 0 47 4 0 0 20 0 15 0 475139754 15512608768 11681 33554432000 4194304 4196468 140731281353664 140731281336208 139765259534071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 /proc/2233/statm: 3787258 11681 3311 1 0 3748377 0 [pid=2233/tid=2234] ppid=2231 vsize=15149032 memory=6935054825532540783 CPUtime=0.3 cores=0-3 /proc/2233/task/2234/stat : 2234 (java) R 2231 2231 29909 0 -1 4202560 7589 0 0 0 27 3 0 0 20 0 15 0 475139755 15512608768 11698 33554432000 4194304 4196468 140731281353664 139765263747488 139765243614558 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2235] ppid=2231 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0-3 /proc/2233/task/2235/stat : 2235 (java) S 2231 2231 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475139755 15512608768 11698 33554432000 4194304 4196468 140731281353664 139764851465232 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2236] ppid=2231 vsize=15149032 memory=2244 CPUtime=0 cores=0-3 /proc/2233/task/2236/stat : 2236 (java) S 2231 2231 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475139755 15512608768 11698 33554432000 4194304 4196468 140731281353664 139764850412688 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2237] ppid=2231 vsize=15149032 memory=6656426216303648864 CPUtime=0 cores=0-3 /proc/2233/task/2237/stat : 2237 (java) S 2231 2231 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475139755 15512608768 11698 33554432000 4194304 4196468 140731281353664 139764849359632 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2238] ppid=2231 vsize=15149032 memory=0 CPUtime=0 cores=0-3 /proc/2233/task/2238/stat : 2238 (java) S 2231 2231 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475139755 15512608768 11698 33554432000 4194304 4196468 140731281353664 139764848307088 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2239] ppid=2231 vsize=15149032 memory=0 CPUtime=0 cores=0-3 /proc/2233/task/2239/stat : 2239 (java) S 2231 2231 29909 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475139757 15512608768 11698 33554432000 4194304 4196468 140731281353664 139764727638256 139765259545218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2240] ppid=2231 vsize=15149032 memory=35809 CPUtime=0 cores=0-3 /proc/2233/task/2240/stat : 2240 (java) S 2231 2231 29909 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475139757 15512608768 11698 33554432000 4194304 4196468 140731281353664 139764726584480 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2241] ppid=2231 vsize=15149032 memory=0 CPUtime=0 cores=0-3 /proc/2233/task/2241/stat : 2241 (java) S 2231 2231 29909 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475139758 15512608768 11698 33554432000 4194304 4196468 140731281353664 139764725531376 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2242] ppid=2231 vsize=15149032 memory=-1598831813028945288 CPUtime=0 cores=0-3 /proc/2233/task/2242/stat : 2242 (java) S 2231 2231 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475139760 15512608768 11698 33554432000 4194304 4196468 140731281353664 139764724479952 139765259552667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2243] ppid=2231 vsize=15149032 memory=6944656592455359580 CPUtime=0.02 cores=0-3 /proc/2233/task/2243/stat : 2243 (java) S 2231 2231 29909 0 -1 1077944384 451 0 0 0 2 0 0 0 20 0 15 0 475139760 15512608768 11698 33554432000 4194304 4196468 140731281353664 139764723428080 139765259545218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2244] ppid=2231 vsize=15149032 memory=6655300316396806240 CPUtime=0.05 cores=0-3 /proc/2233/task/2244/stat : 2244 (java) S 2231 2231 29909 0 -1 1077944384 337 0 0 0 5 0 0 0 20 0 15 0 475139760 15512608768 11698 33554432000 4194304 4196468 140731281353664 139764722375536 139765259545218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2245] ppid=2231 vsize=15149032 memory=6655300316396806240 CPUtime=0.12 cores=0-3 /proc/2233/task/2245/stat : 2245 (java) S 2231 2231 29909 0 -1 1077944384 849 0 0 0 12 0 0 0 20 0 15 0 475139760 15512608768 11698 33554432000 4194304 4196468 140731281353664 139764721322480 139765259545218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2246] ppid=2231 vsize=15149032 memory=7976406965554101975 CPUtime=0 cores=0-3 /proc/2233/task/2246/stat : 2246 (java) S 2231 2231 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475139761 15512608768 11698 33554432000 4194304 4196468 140731281353664 139764720270176 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2247] ppid=2231 vsize=15149032 memory=7018104003582128280 CPUtime=0 cores=0-3 /proc/2233/task/2247/stat : 2247 (java) S 2231 2231 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475139761 15512608768 11698 33554432000 4194304 4196468 140731281353664 139764719217200 139765259545218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 15262160 KiB Current children cumulated memory: 48176 KiB [startup+0.701183 s] /proc/loadavg: 7.37 8.26 8.11 6/229 2247 /proc/meminfo: memFree=17055808/32770688 swapFree=66971764/67108860 [pid=2231] ppid=2228 vsize=113128 memory=1452 CPUtime=0 cores=0-3 /proc/2231/stat : 2231 (xcsp3-exec) S 2228 2231 29909 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475139754 115843072 363 33554432000 4194304 5098028 140725384823968 140725384822072 140092948107900 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 19558400 140725384827770 140725384828013 140725384828013 140725384830922 0 /proc/2231/statm: 28282 363 304 221 0 87 0 [pid=2233] ppid=2231 vsize=15151156 memory=99716 CPUtime=1.51 cores=0-3 /proc/2233/stat : 2233 (java) S 2231 2231 29909 0 -1 1077944320 13540 0 0 0 145 6 0 0 20 0 15 0 475139754 15514783744 24929 33554432000 4194304 4196468 140731281353664 140731281336208 139765259534071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 /proc/2233/statm: 3787789 24929 3447 1 0 3748889 0 [pid=2233/tid=2234] ppid=2231 vsize=15151156 memory=0 CPUtime=0.68 cores=0-3 /proc/2233/task/2234/stat : 2234 (java) R 2231 2231 29909 0 -1 4202560 9016 0 0 0 64 4 0 0 20 0 15 0 475139755 15514783744 24929 33554432000 4194304 4196468 140731281353664 139765263772352 139764900085686 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2235] ppid=2231 vsize=15151156 memory=0 CPUtime=0 cores=0-3 /proc/2233/task/2235/stat : 2235 (java) S 2231 2231 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475139755 15514783744 24929 33554432000 4194304 4196468 140731281353664 139764851465232 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2236] ppid=2231 vsize=15151156 memory=0 CPUtime=0 cores=0-3 /proc/2233/task/2236/stat : 2236 (java) S 2231 2231 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475139755 15514783744 24929 33554432000 4194304 4196468 140731281353664 139764850412688 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2237] ppid=2231 vsize=15151156 memory=0 CPUtime=0 cores=0-3 /proc/2233/task/2237/stat : 2237 (java) S 2231 2231 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475139755 15514783744 24929 33554432000 4194304 4196468 140731281353664 139764849359632 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2238] ppid=2231 vsize=15151156 memory=0 CPUtime=0 cores=0-3 /proc/2233/task/2238/stat : 2238 (java) S 2231 2231 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475139755 15514783744 24929 33554432000 4194304 4196468 140731281353664 139764848307088 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2239] ppid=2231 vsize=15151156 memory=0 CPUtime=0 cores=0-3 /proc/2233/task/2239/stat : 2239 (java) S 2231 2231 29909 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475139757 15514783744 24929 33554432000 4194304 4196468 140731281353664 139764727638256 139765259545218 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2240] ppid=2231 vsize=15151156 memory=0 CPUtime=0 cores=0-3 /proc/2233/task/2240/stat : 2240 (java) S 2231 2231 29909 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475139757 15514783744 24929 33554432000 4194304 4196468 140731281353664 139764726584480 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2241] ppid=2231 vsize=15151156 memory=165 CPUtime=0 cores=0-3 /proc/2233/task/2241/stat : 2241 (java) S 2231 2231 29909 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475139758 15514783744 24929 33554432000 4194304 4196468 140731281353664 139764725531376 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2242] ppid=2231 vsize=15151156 memory=0 CPUtime=0 cores=0-3 /proc/2233/task/2242/stat : 2242 (java) S 2231 2231 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475139760 15514783744 24929 33554432000 4194304 4196468 140731281353664 139764724479952 139765259552667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2243] ppid=2231 vsize=15151156 memory=2832 CPUtime=0.26 cores=0-3 /proc/2233/task/2243/stat : 2243 (java) R 2231 2231 29909 0 -1 4202560 995 0 0 0 26 0 0 0 20 0 15 0 475139760 15514783744 24929 33554432000 4194304 4196468 140731281353664 139764723414104 139765241055363 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2244] ppid=2231 vsize=15151156 memory=1564 CPUtime=0.22 cores=0-3 /proc/2233/task/2244/stat : 2244 (java) S 2231 2231 29909 0 -1 1077944384 732 0 0 0 22 0 0 0 20 0 15 0 475139760 15514783744 24929 33554432000 4194304 4196468 140731281353664 139764722375536 139765259545218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2245] ppid=2231 vsize=15151156 memory=8560 CPUtime=0.32 cores=0-3 /proc/2233/task/2245/stat : 2245 (java) R 2231 2231 29909 0 -1 4202560 1494 0 0 0 32 0 0 0 20 0 15 0 475139760 15514783744 24929 33554432000 4194304 4196468 140731281353664 139764721322480 139765252633918 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2246] ppid=2231 vsize=15151156 memory=14004 CPUtime=0 cores=0-3 /proc/2233/task/2246/stat : 2246 (java) S 2231 2231 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475139761 15514783744 24929 33554432000 4194304 4196468 140731281353664 139764720270176 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2247] ppid=2231 vsize=15151156 memory=27256 CPUtime=0 cores=0-3 /proc/2233/task/2247/stat : 2247 (java) S 2231 2231 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475139761 15514783744 24929 33554432000 4194304 4196468 140731281353664 139764719217200 139765259545218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 Current children cumulated CPU time: 1.51 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 101168 KiB [startup+1.5012 s] /proc/loadavg: 7.37 8.26 8.11 5/229 2247 /proc/meminfo: memFree=16897168/32770688 swapFree=66971764/67108860 [pid=2231] ppid=2228 vsize=113128 memory=1452 CPUtime=0 cores=0-3 /proc/2231/stat : 2231 (xcsp3-exec) S 2228 2231 29909 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475139754 115843072 363 33554432000 4194304 5098028 140725384823968 140725384822072 140092948107900 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 19558400 140725384827770 140725384828013 140725384828013 140725384830922 0 /proc/2231/statm: 28282 363 304 221 0 87 0 ################ # More data... # ################ /proc/2233/task/2243/stat : 2243 (java) S 2231 2231 29909 0 -1 1077944384 1488 0 0 0 63 0 0 0 20 0 19 0 475139760 15787429888 56030 33554432000 4194304 4196468 140731281353664 139764723428080 139765259545218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2244] ppid=2231 vsize=15417412 memory=1088 CPUtime=0.6 cores=0-3 /proc/2233/task/2244/stat : 2244 (java) S 2231 2231 29909 0 -1 1077944384 1457 0 0 0 60 0 0 0 20 0 19 0 475139760 15787429888 56030 33554432000 4194304 4196468 140731281353664 139764722375536 139765259545218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2245] ppid=2231 vsize=15417412 memory=2832 CPUtime=0.44 cores=0-3 /proc/2233/task/2245/stat : 2245 (java) S 2231 2231 29909 0 -1 1077944384 1965 0 0 0 44 0 0 0 20 0 19 0 475139760 15787429888 56030 33554432000 4194304 4196468 140731281353664 139764721322480 139765259545218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2246] ppid=2231 vsize=15417412 memory=1564 CPUtime=0 cores=0-3 /proc/2233/task/2246/stat : 2246 (java) S 2231 2231 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475139761 15787429888 56030 33554432000 4194304 4196468 140731281353664 139764720270176 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2247] ppid=2231 vsize=15417412 memory=8560 CPUtime=0 cores=0-3 /proc/2233/task/2247/stat : 2247 (java) S 2231 2231 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475139761 15787429888 56030 33554432000 4194304 4196468 140731281353664 139764719217200 139765259545218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 Current children cumulated CPU time: 4.46 s Current children cumulated vsize: 15530540 KiB Current children cumulated memory: 225572 KiB [startup+2.17588 s] # the end of solver process 2231 was just reported to runsolver # cumulated CPU time of all completed processes: user=6.95288 s, system=0.136692 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+1.6012 s] /proc/loadavg: 7.37 8.26 8.11 5/229 2247 /proc/meminfo: memFree=16897168/32770688 swapFree=66971764/67108860 [pid=2231] ppid=2228 vsize=113128 memory=1452 CPUtime=0 cores=0-3 /proc/2231/stat : 2231 (xcsp3-exec) S 2228 2231 29909 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475139754 115843072 363 33554432000 4194304 5098028 140725384823968 140725384822072 140092948107900 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 19558400 140725384827770 140725384828013 140725384828013 140725384830922 0 /proc/2231/statm: 28282 363 304 221 0 87 0 [pid=2233] ppid=2231 vsize=15417412 memory=224120 CPUtime=4.86 cores=0-3 /proc/2233/stat : 2233 (java) S 2231 2231 29909 0 -1 1077944320 15739 0 0 0 474 12 0 0 20 0 19 0 475139754 15787429888 56030 33554432000 4194304 4196468 140731281353664 140731281336208 139765259534071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 /proc/2233/statm: 3854353 56030 3478 1 0 3815453 0 [pid=2233/tid=2234] ppid=2231 vsize=15417412 memory=7019467087940104242 CPUtime=0.96 cores=0-3 /proc/2233/task/2234/stat : 2234 (java) S 2231 2231 29909 0 -1 1077944384 9194 0 0 0 91 5 0 0 20 0 19 0 475139755 15787429888 56030 33554432000 4194304 4196468 140731281353664 139765263774848 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2235] ppid=2231 vsize=15417412 memory=7020451900990031738 CPUtime=0.02 cores=0-3 /proc/2233/task/2235/stat : 2235 (java) S 2231 2231 29909 0 -1 1077944384 32 0 0 0 1 1 0 0 20 0 19 0 475139755 15787429888 56030 33554432000 4194304 4196468 140731281353664 139764851465232 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2236] ppid=2231 vsize=15417412 memory=5787214926557831268 CPUtime=0.02 cores=0-3 /proc/2233/task/2236/stat : 2236 (java) S 2231 2231 29909 0 -1 1077944384 34 0 0 0 1 1 0 0 20 0 19 0 475139755 15787429888 56030 33554432000 4194304 4196468 140731281353664 139764850412688 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2237] ppid=2231 vsize=15417412 memory=7668064905020790633 CPUtime=0.02 cores=0-3 /proc/2233/task/2237/stat : 2237 (java) S 2231 2231 29909 0 -1 1077944384 25 0 0 0 1 1 0 0 20 0 19 0 475139755 15787429888 56030 33554432000 4194304 4196468 140731281353664 139764849359632 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2238] ppid=2231 vsize=15417412 memory=6083358604262791271 CPUtime=0.02 cores=0-3 /proc/2233/task/2238/stat : 2238 (java) S 2231 2231 29909 0 -1 1077944384 30 0 0 0 1 1 0 0 20 0 19 0 475139755 15787429888 56030 33554432000 4194304 4196468 140731281353664 139764848307088 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2239] ppid=2231 vsize=15417412 memory=8026937816209450088 CPUtime=0 cores=0-3 /proc/2233/task/2239/stat : 2239 (java) S 2231 2231 29909 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 475139757 15787429888 56030 33554432000 4194304 4196468 140731281353664 139764727638256 139765259545218 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2240] ppid=2231 vsize=15417412 memory=7014470126395811431 CPUtime=0 cores=0-3 /proc/2233/task/2240/stat : 2240 (java) S 2231 2231 29909 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475139757 15787429888 56030 33554432000 4194304 4196468 140731281353664 139764726584480 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2241] ppid=2231 vsize=15417412 memory=1399094042734925955 CPUtime=0 cores=0-3 /proc/2233/task/2241/stat : 2241 (java) S 2231 2231 29909 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475139758 15787429888 56030 33554432000 4194304 4196468 140731281353664 139764725531376 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2242] ppid=2231 vsize=15417412 memory=4209357772117481859 CPUtime=0 cores=0-3 /proc/2233/task/2242/stat : 2242 (java) S 2231 2231 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475139760 15787429888 56030 33554432000 4194304 4196468 140731281353664 139764724479952 139765259552667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2243] ppid=2231 vsize=15417412 memory=-7966001734536614954 CPUtime=0.63 cores=0-3 /proc/2233/task/2243/stat : 2243 (java) S 2231 2231 29909 0 -1 1077944384 1488 0 0 0 63 0 0 0 20 0 19 0 475139760 15787429888 56030 33554432000 4194304 4196468 140731281353664 139764723428080 139765259545218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2244] ppid=2231 vsize=15417412 memory=-7812193691855986592 CPUtime=0.6 cores=0-3 /proc/2233/task/2244/stat : 2244 (java) S 2231 2231 29909 0 -1 1077944384 1457 0 0 0 60 0 0 0 20 0 19 0 475139760 15787429888 56030 33554432000 4194304 4196468 140731281353664 139764722375536 139765259545218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2245] ppid=2231 vsize=15417412 memory=7976406965554101975 CPUtime=0.44 cores=0-3 /proc/2233/task/2245/stat : 2245 (java) S 2231 2231 29909 0 -1 1077944384 1965 0 0 0 44 0 0 0 20 0 19 0 475139760 15787429888 56030 33554432000 4194304 4196468 140731281353664 139764721322480 139765259545218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2246] ppid=2231 vsize=15417412 memory=6944656592455359580 CPUtime=0 cores=0-3 /proc/2233/task/2246/stat : 2246 (java) S 2231 2231 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475139761 15787429888 56030 33554432000 4194304 4196468 140731281353664 139764720270176 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2247] ppid=2231 vsize=15417412 memory=6944656592455097440 CPUtime=0 cores=0-3 /proc/2233/task/2247/stat : 2247 (java) S 2231 2231 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475139761 15787429888 56030 33554432000 4194304 4196468 140731281353664 139764719217200 139765259545218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 Current children cumulated CPU time: 4.86 s Current children cumulated vsize: 15530540 KiB Current children cumulated memory: 225572 KiB [startup+2.00916 s]* /proc/loadavg: 7.37 8.26 8.11 9/233 2251 /proc/meminfo: memFree=16892120/32770688 swapFree=66971764/67108860 [pid=2231] ppid=2228 vsize=113128 memory=1452 CPUtime=0 cores=0-3 /proc/2231/stat : 2231 (xcsp3-exec) S 2228 2231 29909 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475139754 115843072 363 33554432000 4194304 5098028 140725384823968 140725384822072 140092948107900 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 19558400 140725384827770 140725384828013 140725384828013 140725384830922 0 /proc/2231/statm: 28282 363 304 221 0 87 0 [pid=2233] ppid=2231 vsize=15417412 memory=224644 CPUtime=6.52 cores=0-3 /proc/2233/stat : 2233 (java) S 2231 2231 29909 0 -1 1077944320 15883 0 0 0 639 13 0 0 20 0 19 0 475139754 15787429888 56161 33554432000 4194304 4196468 140731281353664 140731281336208 139765259534071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 /proc/2233/statm: 3854353 56161 3479 1 0 3815453 0 [pid=2233/tid=2234] ppid=2231 vsize=15417412 memory=7022364632946311227 CPUtime=0.96 cores=0-3 /proc/2233/task/2234/stat : 2234 (java) S 2231 2231 29909 0 -1 1077944384 9194 0 0 0 91 5 0 0 20 0 19 0 475139755 15787429888 56161 33554432000 4194304 4196468 140731281353664 139765263774848 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2235] ppid=2231 vsize=15417412 memory=4294976394 CPUtime=0.02 cores=0-3 /proc/2233/task/2235/stat : 2235 (java) S 2231 2231 29909 0 -1 1077944384 32 0 0 0 1 1 0 0 20 0 19 0 475139755 15787429888 56161 33554432000 4194304 4196468 140731281353664 139764851465232 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2236] ppid=2231 vsize=15417412 memory=3617428327414163104 CPUtime=0.02 cores=0-3 /proc/2233/task/2236/stat : 2236 (java) S 2231 2231 29909 0 -1 1077944384 34 0 0 0 1 1 0 0 20 0 19 0 475139755 15787429888 56161 33554432000 4194304 4196468 140731281353664 139764850412688 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2237] ppid=2231 vsize=15417412 memory=7667210610238907712 CPUtime=0.02 cores=0-3 /proc/2233/task/2237/stat : 2237 (java) S 2231 2231 29909 0 -1 1077944384 25 0 0 0 1 1 0 0 20 0 19 0 475139755 15787429888 56161 33554432000 4194304 4196468 140731281353664 139764849359632 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2238] ppid=2231 vsize=15417412 memory=3761692294704805936 CPUtime=0.02 cores=0-3 /proc/2233/task/2238/stat : 2238 (java) S 2231 2231 29909 0 -1 1077944384 30 0 0 0 1 1 0 0 20 0 19 0 475139755 15787429888 56161 33554432000 4194304 4196468 140731281353664 139764848307088 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2239] ppid=2231 vsize=15417412 memory=2319529587251483552 CPUtime=0 cores=0-3 /proc/2233/task/2239/stat : 2239 (java) S 2231 2231 29909 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 475139757 15787429888 56161 33554432000 4194304 4196468 140731281353664 139764727638256 139765259545218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2240] ppid=2231 vsize=15417412 memory=3761692294704805936 CPUtime=0 cores=0-3 /proc/2233/task/2240/stat : 2240 (java) S 2231 2231 29909 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475139757 15787429888 56161 33554432000 4194304 4196468 140731281353664 139764726584480 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2241] ppid=2231 vsize=15417412 memory=6082514196445294695 CPUtime=0 cores=0-3 /proc/2233/task/2241/stat : 2241 (java) S 2231 2231 29909 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475139758 15787429888 56161 33554432000 4194304 4196468 140731281353664 139764725531376 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2242] ppid=2231 vsize=15417412 memory=7740118113964155480 CPUtime=0 cores=0-3 /proc/2233/task/2242/stat : 2242 (java) S 2231 2231 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475139760 15787429888 56161 33554432000 4194304 4196468 140731281353664 139764724479952 139765259552667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2243] ppid=2231 vsize=15417412 memory=0 CPUtime=0.72 cores=0-3 /proc/2233/task/2243/stat : 2243 (java) R 2231 2231 29909 0 -1 4202560 1506 0 0 0 72 0 0 0 20 0 19 0 475139760 15787429888 56161 33554432000 4194304 4196468 140731281353664 139764723424448 139765243020089 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2244] ppid=2231 vsize=15417412 memory=2319389199166349359 CPUtime=0.75 cores=0-3 /proc/2233/task/2244/stat : 2244 (java) R 2231 2231 29909 0 -1 4202560 1487 0 0 0 75 0 0 0 20 0 19 0 475139760 15787429888 56161 33554432000 4194304 4196468 140731281353664 139764722374224 139765245556369 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2245] ppid=2231 vsize=15417412 memory=2320673101205608881 CPUtime=0.48 cores=0-3 /proc/2233/task/2245/stat : 2245 (java) S 2231 2231 29909 0 -1 1077944384 2045 0 0 0 48 0 0 0 20 0 19 0 475139760 15787429888 56161 33554432000 4194304 4196468 140731281353664 139764721322480 139765259545218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2246] ppid=2231 vsize=15417412 memory=3977863981685747999 CPUtime=0 cores=0-3 /proc/2233/task/2246/stat : 2246 (java) S 2231 2231 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475139761 15787429888 56161 33554432000 4194304 4196468 140731281353664 139764720270176 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2247] ppid=2231 vsize=15417412 memory=0 CPUtime=0 cores=0-3 /proc/2233/task/2247/stat : 2247 (java) S 2231 2231 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475139761 15787429888 56161 33554432000 4194304 4196468 140731281353664 139764719217200 139765259545218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2248] ppid=2231 vsize=15417412 memory=0 CPUtime=0.89 cores=0-3 /proc/2233/task/2248/stat : 2248 (java) R 2231 2231 29909 0 -1 4202560 60 0 0 0 89 0 0 0 20 0 19 0 475139856 15787429888 56161 33554432000 4194304 4196468 140731281353664 139764710235224 139764901554168 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2249] ppid=2231 vsize=15417412 memory=0 CPUtime=0.91 cores=0-3 /proc/2233/task/2249/stat : 2249 (java) R 2231 2231 29909 0 -1 4202560 30 0 0 0 91 0 0 0 20 0 19 0 475139857 15787429888 56161 33554432000 4194304 4196468 140731281353664 139764709182432 139764901554139 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2250] ppid=2231 vsize=15417412 memory=6935659220134027328 CPUtime=0.79 cores=0-3 /proc/2233/task/2250/stat : 2250 (java) R 2231 2231 29909 0 -1 4202560 33 0 0 0 79 0 0 0 20 0 19 0 475139857 15787429888 56161 33554432000 4194304 4196468 140731281353664 139764708133048 139764901554177 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2251] ppid=2231 vsize=15417412 memory=6011850731796653158 CPUtime=0.84 cores=0-3 /proc/2233/task/2251/stat : 2251 (java) R 2231 2231 29909 0 -1 4202560 26 0 0 0 84 0 0 0 20 0 19 0 475139857 15787429888 56161 33554432000 4194304 4196468 140731281353664 139764707078984 139764901292154 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 Current children cumulated CPU time: 6.52 s Current children cumulated vsize: 15530540 KiB Current children cumulated memory: 226096 KiB [startup+2.11216 s] /proc/loadavg: 7.37 8.26 8.11 9/233 2251 /proc/meminfo: memFree=16892120/32770688 swapFree=66971764/67108860 [pid=2231] ppid=2228 vsize=113128 memory=1452 CPUtime=0 cores=0-3 /proc/2231/stat : 2231 (xcsp3-exec) S 2228 2231 29909 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475139754 115843072 363 33554432000 4194304 5098028 140725384823968 140725384822072 140092948107900 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 19558400 140725384827770 140725384828013 140725384828013 140725384830922 0 /proc/2231/statm: 28282 363 304 221 0 87 0 [pid=2233] ppid=2231 vsize=15417412 memory=224752 CPUtime=6.89 cores=0-3 /proc/2233/stat : 2233 (java) S 2231 2231 29909 0 -1 1077944320 15916 0 0 0 676 13 0 0 20 0 19 0 475139754 15787429888 56188 33554432000 4194304 4196468 140731281353664 140731281336208 139765259534071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 /proc/2233/statm: 3854353 56188 3481 1 0 3815453 0 [pid=2233/tid=2234] ppid=2231 vsize=15417412 memory=224120 CPUtime=0.96 cores=0-3 /proc/2233/task/2234/stat : 2234 (java) S 2231 2231 29909 0 -1 1077944384 9194 0 0 0 91 5 0 0 20 0 19 0 475139755 15787429888 56188 33554432000 4194304 4196468 140731281353664 139765263774848 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2235] ppid=2231 vsize=15417412 memory=2 CPUtime=0.02 cores=0-3 /proc/2233/task/2235/stat : 2235 (java) S 2231 2231 29909 0 -1 1077944384 32 0 0 0 1 1 0 0 20 0 19 0 475139755 15787429888 56188 33554432000 4194304 4196468 140731281353664 139764851465232 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2236] ppid=2231 vsize=15417412 memory=2 CPUtime=0.02 cores=0-3 /proc/2233/task/2236/stat : 2236 (java) S 2231 2231 29909 0 -1 1077944384 34 0 0 0 1 1 0 0 20 0 19 0 475139755 15787429888 56188 33554432000 4194304 4196468 140731281353664 139764850412688 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2237] ppid=2231 vsize=15417412 memory=2 CPUtime=0.02 cores=0-3 /proc/2233/task/2237/stat : 2237 (java) S 2231 2231 29909 0 -1 1077944384 25 0 0 0 1 1 0 0 20 0 19 0 475139755 15787429888 56188 33554432000 4194304 4196468 140731281353664 139764849359632 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2238] ppid=2231 vsize=15417412 memory=1056 CPUtime=0.02 cores=0-3 /proc/2233/task/2238/stat : 2238 (java) S 2231 2231 29909 0 -1 1077944384 30 0 0 0 1 1 0 0 20 0 19 0 475139755 15787429888 56188 33554432000 4194304 4196468 140731281353664 139764848307088 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2239] ppid=2231 vsize=15417412 memory=788 CPUtime=0 cores=0-3 /proc/2233/task/2239/stat : 2239 (java) S 2231 2231 29909 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 475139757 15787429888 56188 33554432000 4194304 4196468 140731281353664 139764727638256 139765259545218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2240] ppid=2231 vsize=15417412 memory=1704 CPUtime=0 cores=0-3 /proc/2233/task/2240/stat : 2240 (java) S 2231 2231 29909 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475139757 15787429888 56188 33554432000 4194304 4196468 140731281353664 139764726584480 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2241] ppid=2231 vsize=15417412 memory=1280 CPUtime=0 cores=0-3 /proc/2233/task/2241/stat : 2241 (java) S 2231 2231 29909 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475139758 15787429888 56188 33554432000 4194304 4196468 140731281353664 139764725531376 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2242] ppid=2231 vsize=15417412 memory=6044 CPUtime=0 cores=0-3 /proc/2233/task/2242/stat : 2242 (java) S 2231 2231 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475139760 15787429888 56188 33554432000 4194304 4196468 140731281353664 139764724479952 139765259552667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2243] ppid=2231 vsize=15417412 memory=780 CPUtime=0.76 cores=0-3 /proc/2233/task/2243/stat : 2243 (java) R 2231 2231 29909 0 -1 4202560 1511 0 0 0 76 0 0 0 20 0 19 0 475139760 15787429888 56188 33554432000 4194304 4196468 140731281353664 139764723424448 139765237667672 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2244] ppid=2231 vsize=15417412 memory=3604 CPUtime=0.84 cores=0-3 /proc/2233/task/2244/stat : 2244 (java) R 2231 2231 29909 0 -1 4202560 1508 0 0 0 84 0 0 0 20 0 19 0 475139760 15787429888 56188 33554432000 4194304 4196468 140731281353664 139764722361560 139765242918936 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2245] ppid=2231 vsize=15417412 memory=1088 CPUtime=0.48 cores=0-3 /proc/2233/task/2245/stat : 2245 (java) S 2231 2231 29909 0 -1 1077944384 2046 0 0 0 48 0 0 0 20 0 19 0 475139760 15787429888 56188 33554432000 4194304 4196468 140731281353664 139764721322480 139765259545218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2246] ppid=2231 vsize=15417412 memory=2832 CPUtime=0 cores=0-3 /proc/2233/task/2246/stat : 2246 (java) S 2231 2231 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475139761 15787429888 56188 33554432000 4194304 4196468 140731281353664 139764720270176 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2247] ppid=2231 vsize=15417412 memory=1564 CPUtime=0 cores=0-3 /proc/2233/task/2247/stat : 2247 (java) S 2231 2231 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475139761 15787429888 56188 33554432000 4194304 4196468 140731281353664 139764719217200 139765259545218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2248] ppid=2231 vsize=15417412 memory=288230574492221466 CPUtime=0.93 cores=0-3 /proc/2233/task/2248/stat : 2248 (java) R 2231 2231 29909 0 -1 4202560 60 0 0 0 93 0 0 0 20 0 19 0 475139856 15787429888 56188 33554432000 4194304 4196468 140731281353664 139764710235224 139764901554173 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2249] ppid=2231 vsize=15417412 memory=0 CPUtime=0.96 cores=0-3 /proc/2233/task/2249/stat : 2249 (java) S 2231 2231 29909 0 -1 1077944384 37 0 0 0 96 0 0 0 20 0 19 0 475139857 15787429888 56188 33554432000 4194304 4196468 140731281353664 139764709188304 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2250] ppid=2231 vsize=15417412 memory=280775971293360 CPUtime=0.86 cores=0-3 /proc/2233/task/2250/stat : 2250 (java) R 2231 2231 29909 0 -1 4202560 33 0 0 0 86 0 0 0 20 0 19 0 475139857 15787429888 56188 33554432000 4194304 4196468 140731281353664 139764708133048 139764901554177 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 [pid=2233/tid=2251] ppid=2231 vsize=15417412 memory=-7595718148000617580 CPUtime=0.91 cores=0-3 /proc/2233/task/2251/stat : 2251 (java) S 2231 2231 29909 0 -1 1077944384 26 0 0 0 91 0 0 0 20 0 19 0 475139857 15787429888 56188 33554432000 4194304 4196468 140731281353664 139764707083728 139765259544277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21397504 140731281359855 140731281360026 140731281360026 140731281362895 0 Current children cumulated CPU time: 6.89 s Current children cumulated vsize: 15530540 KiB Current children cumulated memory: 226204 KiB Child status: 0 Real time (s): 2.17594 CPU time (s): 7.08958 CPU user time (s): 6.95288 CPU system time (s): 0.136692 CPU usage (%): 325.816 Max. virtual memory (cumulated for all children) (KiB): 15530540 Max. memory (cumulated for all children) (KiB): 226204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 6.95288 system time used= 0.136692 maximum resident set size= 226284 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16572 page faults= 0 swaps= 0 block input operations= 0 block output operations= 72 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1787 involuntary context switches= 139 # summary of solver processes directly reported to runsolver: # pid: 2231 # total CPU time (s): 7.08958 # total CPU user time (s): 6.95288 # total CPU system time (s): 0.136692 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.044861 second user time and 0.068933 second system time The end
Begin job on node116 at 2019-09-20 17:05:40 IDJOB=4403455 IDBENCH=134614 IDSOLVER=2863 FILE ID=node116/4403455-1568991981 RUNJOBID= node116-1568988007-29940 PBS_JOBID= 21704641 Free space on /tmp= 6256 MiB SOLVER NAME= choco-solver 2019-09-20 BENCH NAME= XCSP17/KnightTour/KnightTour-ext-s1/KnightTour-17-ext02.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-4403455-1568991981/watcher-4403455-1568991981 -o /tmp/evaluation-result-4403455-1568991981/solver-4403455-1568991981 -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 1469664871 HOME/instance-4403455-1568991981.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e012389e7b96b23a2cd1273ccb482cfe RANDOM SEED=1469664871 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: 17104524 kB MemAvailable: 31570560 kB Buffers: 97684 kB Cached: 14387104 kB SwapCached: 35344 kB Active: 7459028 kB Inactive: 7317000 kB Active(anon): 252264 kB Inactive(anon): 87272 kB Active(file): 7206764 kB Inactive(file): 7229728 kB Unevictable: 108548 kB Mlocked: 108548 kB SwapTotal: 67108860 kB SwapFree: 66971764 kB Dirty: 26472 kB Writeback: 0 kB AnonPages: 365436 kB Mapped: 64620 kB Shmem: 39680 kB Slab: 486828 kB SReclaimable: 458004 kB SUnreclaim: 28824 kB KernelStack: 3792 kB PageTables: 6940 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 1512232 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 239616 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 17:05:42